Optimal. Leaf size=57 \[ -\frac {\text {ArcTan}\left (\frac {\sqrt [4]{c} x}{\sqrt [4]{b+a x^8}}\right )}{2 \sqrt [4]{c}}-\frac {\tanh ^{-1}\left (\frac {\sqrt [4]{c} x}{\sqrt [4]{b+a x^8}}\right )}{2 \sqrt [4]{c}} \]
[Out]
________________________________________________________________________________________
Rubi [C] Result contains higher order function than in optimal. Order 6 vs. order 3 in
optimal.
time = 1.03, antiderivative size = 461, normalized size of antiderivative = 8.09, number of steps
used = 18, number of rules used = 8, integrand size = 36, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.222, Rules used = {6860, 252,
251, 1452, 441, 440, 525, 524} \begin {gather*} -\frac {x \sqrt [4]{\frac {a x^8}{b}+1} F_1\left (\frac {1}{8};1,\frac {1}{4};\frac {9}{8};-\frac {2 a^2 x^8}{2 a b-c \left (c-\sqrt {c^2-4 a b}\right )},-\frac {a x^8}{b}\right )}{\sqrt [4]{a x^8+b}}-\frac {x \sqrt [4]{\frac {a x^8}{b}+1} F_1\left (\frac {1}{8};1,\frac {1}{4};\frac {9}{8};-\frac {2 a^2 x^8}{2 a b-c \left (c+\sqrt {c^2-4 a b}\right )},-\frac {a x^8}{b}\right )}{\sqrt [4]{a x^8+b}}+\frac {a x^5 \left (c-\sqrt {c^2-4 a b}\right ) \sqrt [4]{\frac {a x^8}{b}+1} F_1\left (\frac {5}{8};1,\frac {1}{4};\frac {13}{8};-\frac {2 a^2 x^8}{2 a b-c \left (c-\sqrt {c^2-4 a b}\right )},-\frac {a x^8}{b}\right )}{5 \left (2 a b-c \left (c-\sqrt {c^2-4 a b}\right )\right ) \sqrt [4]{a x^8+b}}+\frac {a x^5 \left (\sqrt {c^2-4 a b}+c\right ) \sqrt [4]{\frac {a x^8}{b}+1} F_1\left (\frac {5}{8};1,\frac {1}{4};\frac {13}{8};-\frac {2 a^2 x^8}{2 a b-c \left (c+\sqrt {c^2-4 a b}\right )},-\frac {a x^8}{b}\right )}{5 \left (2 a b-c \left (\sqrt {c^2-4 a b}+c\right )\right ) \sqrt [4]{a x^8+b}}+\frac {x \sqrt [4]{\frac {a x^8}{b}+1} \, _2F_1\left (\frac {1}{8},\frac {1}{4};\frac {9}{8};-\frac {a x^8}{b}\right )}{\sqrt [4]{a x^8+b}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 251
Rule 252
Rule 440
Rule 441
Rule 524
Rule 525
Rule 1452
Rule 6860
Rubi steps
\begin {align*} \int \frac {-b+a x^8}{\sqrt [4]{b+a x^8} \left (b-c x^4+a x^8\right )} \, dx &=\int \left (\frac {1}{\sqrt [4]{b+a x^8}}-\frac {2 b-c x^4}{\sqrt [4]{b+a x^8} \left (b-c x^4+a x^8\right )}\right ) \, dx\\ &=\int \frac {1}{\sqrt [4]{b+a x^8}} \, dx-\int \frac {2 b-c x^4}{\sqrt [4]{b+a x^8} \left (b-c x^4+a x^8\right )} \, dx\\ &=\frac {\sqrt [4]{1+\frac {a x^8}{b}} \int \frac {1}{\sqrt [4]{1+\frac {a x^8}{b}}} \, dx}{\sqrt [4]{b+a x^8}}-\int \left (\frac {-c-\sqrt {-4 a b+c^2}}{\left (-c-\sqrt {-4 a b+c^2}+2 a x^4\right ) \sqrt [4]{b+a x^8}}+\frac {-c+\sqrt {-4 a b+c^2}}{\left (-c+\sqrt {-4 a b+c^2}+2 a x^4\right ) \sqrt [4]{b+a x^8}}\right ) \, dx\\ &=\frac {x \sqrt [4]{1+\frac {a x^8}{b}} \, _2F_1\left (\frac {1}{8},\frac {1}{4};\frac {9}{8};-\frac {a x^8}{b}\right )}{\sqrt [4]{b+a x^8}}-\left (-c-\sqrt {-4 a b+c^2}\right ) \int \frac {1}{\left (-c-\sqrt {-4 a b+c^2}+2 a x^4\right ) \sqrt [4]{b+a x^8}} \, dx-\left (-c+\sqrt {-4 a b+c^2}\right ) \int \frac {1}{\left (-c+\sqrt {-4 a b+c^2}+2 a x^4\right ) \sqrt [4]{b+a x^8}} \, dx\\ &=\frac {x \sqrt [4]{1+\frac {a x^8}{b}} \, _2F_1\left (\frac {1}{8},\frac {1}{4};\frac {9}{8};-\frac {a x^8}{b}\right )}{\sqrt [4]{b+a x^8}}-\left (-c-\sqrt {-4 a b+c^2}\right ) \int \left (\frac {-c-\sqrt {-4 a b+c^2}}{2 \sqrt [4]{b+a x^8} \left (-2 a b+c^2+c \sqrt {-4 a b+c^2}-2 a^2 x^8\right )}+\frac {a x^4}{\sqrt [4]{b+a x^8} \left (2 a b-c^2-c \sqrt {-4 a b+c^2}+2 a^2 x^8\right )}\right ) \, dx-\left (-c+\sqrt {-4 a b+c^2}\right ) \int \left (\frac {c-\sqrt {-4 a b+c^2}}{2 \sqrt [4]{b+a x^8} \left (2 a b-c^2+c \sqrt {-4 a b+c^2}+2 a^2 x^8\right )}+\frac {a x^4}{\sqrt [4]{b+a x^8} \left (2 a b-c^2+c \sqrt {-4 a b+c^2}+2 a^2 x^8\right )}\right ) \, dx\\ &=\frac {x \sqrt [4]{1+\frac {a x^8}{b}} \, _2F_1\left (\frac {1}{8},\frac {1}{4};\frac {9}{8};-\frac {a x^8}{b}\right )}{\sqrt [4]{b+a x^8}}+\left (a \left (c-\sqrt {-4 a b+c^2}\right )\right ) \int \frac {x^4}{\sqrt [4]{b+a x^8} \left (2 a b-c^2+c \sqrt {-4 a b+c^2}+2 a^2 x^8\right )} \, dx+\frac {1}{2} \left (c-\sqrt {-4 a b+c^2}\right )^2 \int \frac {1}{\sqrt [4]{b+a x^8} \left (2 a b-c^2+c \sqrt {-4 a b+c^2}+2 a^2 x^8\right )} \, dx+\left (a \left (c+\sqrt {-4 a b+c^2}\right )\right ) \int \frac {x^4}{\sqrt [4]{b+a x^8} \left (2 a b-c^2-c \sqrt {-4 a b+c^2}+2 a^2 x^8\right )} \, dx-\frac {1}{2} \left (c+\sqrt {-4 a b+c^2}\right )^2 \int \frac {1}{\sqrt [4]{b+a x^8} \left (-2 a b+c^2+c \sqrt {-4 a b+c^2}-2 a^2 x^8\right )} \, dx\\ &=\frac {x \sqrt [4]{1+\frac {a x^8}{b}} \, _2F_1\left (\frac {1}{8},\frac {1}{4};\frac {9}{8};-\frac {a x^8}{b}\right )}{\sqrt [4]{b+a x^8}}+\frac {\left (a \left (c-\sqrt {-4 a b+c^2}\right ) \sqrt [4]{1+\frac {a x^8}{b}}\right ) \int \frac {x^4}{\left (2 a b-c^2+c \sqrt {-4 a b+c^2}+2 a^2 x^8\right ) \sqrt [4]{1+\frac {a x^8}{b}}} \, dx}{\sqrt [4]{b+a x^8}}+\frac {\left (\left (c-\sqrt {-4 a b+c^2}\right )^2 \sqrt [4]{1+\frac {a x^8}{b}}\right ) \int \frac {1}{\left (2 a b-c^2+c \sqrt {-4 a b+c^2}+2 a^2 x^8\right ) \sqrt [4]{1+\frac {a x^8}{b}}} \, dx}{2 \sqrt [4]{b+a x^8}}+\frac {\left (a \left (c+\sqrt {-4 a b+c^2}\right ) \sqrt [4]{1+\frac {a x^8}{b}}\right ) \int \frac {x^4}{\left (2 a b-c^2-c \sqrt {-4 a b+c^2}+2 a^2 x^8\right ) \sqrt [4]{1+\frac {a x^8}{b}}} \, dx}{\sqrt [4]{b+a x^8}}-\frac {\left (\left (c+\sqrt {-4 a b+c^2}\right )^2 \sqrt [4]{1+\frac {a x^8}{b}}\right ) \int \frac {1}{\left (-2 a b+c^2+c \sqrt {-4 a b+c^2}-2 a^2 x^8\right ) \sqrt [4]{1+\frac {a x^8}{b}}} \, dx}{2 \sqrt [4]{b+a x^8}}\\ &=-\frac {x \sqrt [4]{1+\frac {a x^8}{b}} F_1\left (\frac {1}{8};1,\frac {1}{4};\frac {9}{8};-\frac {2 a^2 x^8}{2 a b-c \left (c-\sqrt {-4 a b+c^2}\right )},-\frac {a x^8}{b}\right )}{\sqrt [4]{b+a x^8}}-\frac {x \sqrt [4]{1+\frac {a x^8}{b}} F_1\left (\frac {1}{8};1,\frac {1}{4};\frac {9}{8};-\frac {2 a^2 x^8}{2 a b-c \left (c+\sqrt {-4 a b+c^2}\right )},-\frac {a x^8}{b}\right )}{\sqrt [4]{b+a x^8}}+\frac {a \left (c-\sqrt {-4 a b+c^2}\right ) x^5 \sqrt [4]{1+\frac {a x^8}{b}} F_1\left (\frac {5}{8};1,\frac {1}{4};\frac {13}{8};-\frac {2 a^2 x^8}{2 a b-c \left (c-\sqrt {-4 a b+c^2}\right )},-\frac {a x^8}{b}\right )}{5 \left (2 a b-c \left (c-\sqrt {-4 a b+c^2}\right )\right ) \sqrt [4]{b+a x^8}}+\frac {a \left (c+\sqrt {-4 a b+c^2}\right ) x^5 \sqrt [4]{1+\frac {a x^8}{b}} F_1\left (\frac {5}{8};1,\frac {1}{4};\frac {13}{8};-\frac {2 a^2 x^8}{2 a b-c \left (c+\sqrt {-4 a b+c^2}\right )},-\frac {a x^8}{b}\right )}{5 \left (2 a b-c \left (c+\sqrt {-4 a b+c^2}\right )\right ) \sqrt [4]{b+a x^8}}+\frac {x \sqrt [4]{1+\frac {a x^8}{b}} \, _2F_1\left (\frac {1}{8},\frac {1}{4};\frac {9}{8};-\frac {a x^8}{b}\right )}{\sqrt [4]{b+a x^8}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 7.48, size = 48, normalized size = 0.84 \begin {gather*} -\frac {\text {ArcTan}\left (\frac {\sqrt [4]{c} x}{\sqrt [4]{b+a x^8}}\right )+\tanh ^{-1}\left (\frac {\sqrt [4]{c} x}{\sqrt [4]{b+a x^8}}\right )}{2 \sqrt [4]{c}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [F]
time = 0.18, size = 0, normalized size = 0.00 \[\int \frac {a \,x^{8}-b}{\left (a \,x^{8}+b \right )^{\frac {1}{4}} \left (a \,x^{8}-c \,x^{4}+b \right )}\, dx\]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F(-1)] Timed out
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] Timed out
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.02 \begin {gather*} \int -\frac {b-a\,x^8}{{\left (a\,x^8+b\right )}^{1/4}\,\left (a\,x^8-c\,x^4+b\right )} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________