Optimal. Leaf size=43 \[ \frac {2}{5} \text {ArcTan}\left (x \sqrt [4]{-b x+a x^6}\right )-\frac {2}{5} \tanh ^{-1}\left (x \sqrt [4]{-b x+a x^6}\right ) \]
[Out]
________________________________________________________________________________________
Rubi [C] Result contains higher order function than in optimal. Order 6 vs. order 3 in
optimal.
time = 1.04, antiderivative size = 189, normalized size of antiderivative = 4.40, number of steps
used = 12, number of rules used = 7, integrand size = 43, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.163, Rules used = {1607, 2081,
6860, 477, 476, 525, 524} \begin {gather*} -\frac {8 a x^4 \sqrt [4]{1-\frac {a x^5}{b}} F_1\left (\frac {3}{4};1,\frac {1}{4};\frac {7}{4};\frac {2 a x^5}{b-\sqrt {b^2+4 a}},\frac {a x^5}{b}\right )}{15 \left (b-\sqrt {4 a+b^2}\right ) \sqrt [4]{a x^6-b x}}-\frac {8 a x^4 \sqrt [4]{1-\frac {a x^5}{b}} F_1\left (\frac {3}{4};1,\frac {1}{4};\frac {7}{4};\frac {2 a x^5}{b+\sqrt {b^2+4 a}},\frac {a x^5}{b}\right )}{15 \left (\sqrt {4 a+b^2}+b\right ) \sqrt [4]{a x^6-b x}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 476
Rule 477
Rule 524
Rule 525
Rule 1607
Rule 2081
Rule 6860
Rubi steps
\begin {align*} \int \frac {-b x^3+2 a x^8}{\sqrt [4]{-b x+a x^6} \left (-1-b x^5+a x^{10}\right )} \, dx &=\int \frac {x^3 \left (-b+2 a x^5\right )}{\sqrt [4]{-b x+a x^6} \left (-1-b x^5+a x^{10}\right )} \, dx\\ &=\frac {\left (\sqrt [4]{x} \sqrt [4]{-b+a x^5}\right ) \int \frac {x^{11/4} \left (-b+2 a x^5\right )}{\sqrt [4]{-b+a x^5} \left (-1-b x^5+a x^{10}\right )} \, dx}{\sqrt [4]{-b x+a x^6}}\\ &=\frac {\left (\sqrt [4]{x} \sqrt [4]{-b+a x^5}\right ) \int \left (\frac {2 a x^{11/4}}{\sqrt [4]{-b+a x^5} \left (-b-\sqrt {4 a+b^2}+2 a x^5\right )}+\frac {2 a x^{11/4}}{\sqrt [4]{-b+a x^5} \left (-b+\sqrt {4 a+b^2}+2 a x^5\right )}\right ) \, dx}{\sqrt [4]{-b x+a x^6}}\\ &=\frac {\left (2 a \sqrt [4]{x} \sqrt [4]{-b+a x^5}\right ) \int \frac {x^{11/4}}{\sqrt [4]{-b+a x^5} \left (-b-\sqrt {4 a+b^2}+2 a x^5\right )} \, dx}{\sqrt [4]{-b x+a x^6}}+\frac {\left (2 a \sqrt [4]{x} \sqrt [4]{-b+a x^5}\right ) \int \frac {x^{11/4}}{\sqrt [4]{-b+a x^5} \left (-b+\sqrt {4 a+b^2}+2 a x^5\right )} \, dx}{\sqrt [4]{-b x+a x^6}}\\ &=\frac {\left (8 a \sqrt [4]{x} \sqrt [4]{-b+a x^5}\right ) \text {Subst}\left (\int \frac {x^{14}}{\sqrt [4]{-b+a x^{20}} \left (-b-\sqrt {4 a+b^2}+2 a x^{20}\right )} \, dx,x,\sqrt [4]{x}\right )}{\sqrt [4]{-b x+a x^6}}+\frac {\left (8 a \sqrt [4]{x} \sqrt [4]{-b+a x^5}\right ) \text {Subst}\left (\int \frac {x^{14}}{\sqrt [4]{-b+a x^{20}} \left (-b+\sqrt {4 a+b^2}+2 a x^{20}\right )} \, dx,x,\sqrt [4]{x}\right )}{\sqrt [4]{-b x+a x^6}}\\ &=\frac {\left (8 a \sqrt [4]{x} \sqrt [4]{-b+a x^5}\right ) \text {Subst}\left (\int \frac {x^2}{\sqrt [4]{-b+a x^4} \left (-b-\sqrt {4 a+b^2}+2 a x^4\right )} \, dx,x,x^{5/4}\right )}{5 \sqrt [4]{-b x+a x^6}}+\frac {\left (8 a \sqrt [4]{x} \sqrt [4]{-b+a x^5}\right ) \text {Subst}\left (\int \frac {x^2}{\sqrt [4]{-b+a x^4} \left (-b+\sqrt {4 a+b^2}+2 a x^4\right )} \, dx,x,x^{5/4}\right )}{5 \sqrt [4]{-b x+a x^6}}\\ &=\frac {\left (8 a \sqrt [4]{x} \sqrt [4]{1-\frac {a x^5}{b}}\right ) \text {Subst}\left (\int \frac {x^2}{\left (-b-\sqrt {4 a+b^2}+2 a x^4\right ) \sqrt [4]{1-\frac {a x^4}{b}}} \, dx,x,x^{5/4}\right )}{5 \sqrt [4]{-b x+a x^6}}+\frac {\left (8 a \sqrt [4]{x} \sqrt [4]{1-\frac {a x^5}{b}}\right ) \text {Subst}\left (\int \frac {x^2}{\left (-b+\sqrt {4 a+b^2}+2 a x^4\right ) \sqrt [4]{1-\frac {a x^4}{b}}} \, dx,x,x^{5/4}\right )}{5 \sqrt [4]{-b x+a x^6}}\\ &=-\frac {8 a x^4 \sqrt [4]{1-\frac {a x^5}{b}} F_1\left (\frac {3}{4};1,\frac {1}{4};\frac {7}{4};\frac {2 a x^5}{b-\sqrt {4 a+b^2}},\frac {a x^5}{b}\right )}{15 \left (b-\sqrt {4 a+b^2}\right ) \sqrt [4]{-b x+a x^6}}-\frac {8 a x^4 \sqrt [4]{1-\frac {a x^5}{b}} F_1\left (\frac {3}{4};1,\frac {1}{4};\frac {7}{4};\frac {2 a x^5}{b+\sqrt {4 a+b^2}},\frac {a x^5}{b}\right )}{15 \left (b+\sqrt {4 a+b^2}\right ) \sqrt [4]{-b x+a x^6}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [F]
time = 10.23, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {-b x^3+2 a x^8}{\sqrt [4]{-b x+a x^6} \left (-1-b x^5+a x^{10}\right )} \, dx \end {gather*}
Verification is not applicable to the result.
[In]
[Out]
________________________________________________________________________________________
Maple [F]
time = 0.17, size = 0, normalized size = 0.00 \[\int \frac {2 a \,x^{8}-b \,x^{3}}{\left (a \,x^{6}-b x \right )^{\frac {1}{4}} \left (a \,x^{10}-b \,x^{5}-1\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 {2\,a\,x^8-b\,x^3}{{\left (a\,x^6-b\,x\right )}^{1/4}\,\left (-a\,x^{10}+b\,x^5+1\right )} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________