Optimal. Leaf size=238 \[ -\frac {a^{4/3} \log \left (\sqrt [3]{2} 3^{2/3} \sqrt [3]{a x^3+b}-3 \sqrt [3]{a} x\right )}{2 \sqrt [3]{2} 3^{2/3} b}-\frac {a^{4/3} \tan ^{-1}\left (\frac {3^{5/6} \sqrt [3]{a} x}{2 \sqrt [3]{2} \sqrt [3]{a x^3+b}+\sqrt [3]{3} \sqrt [3]{a} x}\right )}{2 \sqrt [3]{2} \sqrt [6]{3} b}+\frac {a^{4/3} \log \left (3 a^{2/3} x^2+\sqrt [3]{2} 3^{2/3} \sqrt [3]{a} x \sqrt [3]{a x^3+b}+2^{2/3} \sqrt [3]{3} \left (a x^3+b\right )^{2/3}\right )}{4 \sqrt [3]{2} 3^{2/3} b}+\frac {\left (-2 a x^3-b\right ) \sqrt [3]{a x^3+b}}{2 b x^4} \]
________________________________________________________________________________________
Rubi [A] time = 0.35, antiderivative size = 226, normalized size of antiderivative = 0.95, number of steps used = 10, number of rules used = 10, integrand size = 35, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.286, Rules used = {580, 583, 12, 494, 292, 31, 634, 617, 204, 628} \begin {gather*} -\frac {a^{4/3} \log \left (\sqrt [3]{2}-\frac {\sqrt [3]{3} \sqrt [3]{a} x}{\sqrt [3]{a x^3+b}}\right )}{2 \sqrt [3]{2} 3^{2/3} b}-\frac {a^{4/3} \tan ^{-1}\left (\frac {2^{2/3} \sqrt [3]{a} x}{\sqrt [6]{3} \sqrt [3]{a x^3+b}}+\frac {1}{\sqrt {3}}\right )}{2 \sqrt [3]{2} \sqrt [6]{3} b}+\frac {a^{4/3} \log \left (\frac {3^{2/3} a^{2/3} x^2}{\left (a x^3+b\right )^{2/3}}+\frac {\sqrt [3]{6} \sqrt [3]{a} x}{\sqrt [3]{a x^3+b}}+2^{2/3}\right )}{4 \sqrt [3]{2} 3^{2/3} b}-\frac {a \sqrt [3]{a x^3+b}}{b x}-\frac {\sqrt [3]{a x^3+b}}{2 x^4} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 12
Rule 31
Rule 204
Rule 292
Rule 494
Rule 580
Rule 583
Rule 617
Rule 628
Rule 634
Rubi steps
\begin {align*} \int \frac {\left (-4 b+a x^3\right ) \sqrt [3]{b+a x^3}}{x^5 \left (-2 b+a x^3\right )} \, dx &=-\frac {\sqrt [3]{b+a x^3}}{2 x^4}-\frac {\int \frac {16 a b^2+4 a^2 b x^3}{x^2 \left (-2 b+a x^3\right ) \left (b+a x^3\right )^{2/3}} \, dx}{8 b}\\ &=-\frac {\sqrt [3]{b+a x^3}}{2 x^4}-\frac {a \sqrt [3]{b+a x^3}}{b x}-\frac {\int \frac {24 a^2 b^3 x}{\left (-2 b+a x^3\right ) \left (b+a x^3\right )^{2/3}} \, dx}{16 b^3}\\ &=-\frac {\sqrt [3]{b+a x^3}}{2 x^4}-\frac {a \sqrt [3]{b+a x^3}}{b x}-\frac {1}{2} \left (3 a^2\right ) \int \frac {x}{\left (-2 b+a x^3\right ) \left (b+a x^3\right )^{2/3}} \, dx\\ &=-\frac {\sqrt [3]{b+a x^3}}{2 x^4}-\frac {a \sqrt [3]{b+a x^3}}{b x}-\frac {1}{2} \left (3 a^2\right ) \operatorname {Subst}\left (\int \frac {x}{-2 b+3 a b x^3} \, dx,x,\frac {x}{\sqrt [3]{b+a x^3}}\right )\\ &=-\frac {\sqrt [3]{b+a x^3}}{2 x^4}-\frac {a \sqrt [3]{b+a x^3}}{b x}-\frac {a^{5/3} \operatorname {Subst}\left (\int \frac {1}{-\sqrt [3]{2} \sqrt [3]{b}+\sqrt [3]{3} \sqrt [3]{a} \sqrt [3]{b} x} \, dx,x,\frac {x}{\sqrt [3]{b+a x^3}}\right )}{2 \sqrt [3]{6} b^{2/3}}+\frac {a^{5/3} \operatorname {Subst}\left (\int \frac {-\sqrt [3]{2} \sqrt [3]{b}+\sqrt [3]{3} \sqrt [3]{a} \sqrt [3]{b} x}{2^{2/3} b^{2/3}+\sqrt [3]{6} \sqrt [3]{a} b^{2/3} x+3^{2/3} a^{2/3} b^{2/3} x^2} \, dx,x,\frac {x}{\sqrt [3]{b+a x^3}}\right )}{2 \sqrt [3]{6} b^{2/3}}\\ &=-\frac {\sqrt [3]{b+a x^3}}{2 x^4}-\frac {a \sqrt [3]{b+a x^3}}{b x}-\frac {a^{4/3} \log \left (\sqrt [3]{2}-\frac {\sqrt [3]{3} \sqrt [3]{a} x}{\sqrt [3]{b+a x^3}}\right )}{2 \sqrt [3]{2} 3^{2/3} b}+\frac {a^{4/3} \operatorname {Subst}\left (\int \frac {\sqrt [3]{6} \sqrt [3]{a} b^{2/3}+2\ 3^{2/3} a^{2/3} b^{2/3} x}{2^{2/3} b^{2/3}+\sqrt [3]{6} \sqrt [3]{a} b^{2/3} x+3^{2/3} a^{2/3} b^{2/3} x^2} \, dx,x,\frac {x}{\sqrt [3]{b+a x^3}}\right )}{4 \sqrt [3]{2} 3^{2/3} b}-\frac {\left (3^{2/3} a^{5/3}\right ) \operatorname {Subst}\left (\int \frac {1}{2^{2/3} b^{2/3}+\sqrt [3]{6} \sqrt [3]{a} b^{2/3} x+3^{2/3} a^{2/3} b^{2/3} x^2} \, dx,x,\frac {x}{\sqrt [3]{b+a x^3}}\right )}{4 \sqrt [3]{b}}\\ &=-\frac {\sqrt [3]{b+a x^3}}{2 x^4}-\frac {a \sqrt [3]{b+a x^3}}{b x}-\frac {a^{4/3} \log \left (\sqrt [3]{2}-\frac {\sqrt [3]{3} \sqrt [3]{a} x}{\sqrt [3]{b+a x^3}}\right )}{2 \sqrt [3]{2} 3^{2/3} b}+\frac {a^{4/3} \log \left (2^{2/3}+\frac {3^{2/3} a^{2/3} x^2}{\left (b+a x^3\right )^{2/3}}+\frac {\sqrt [3]{6} \sqrt [3]{a} x}{\sqrt [3]{b+a x^3}}\right )}{4 \sqrt [3]{2} 3^{2/3} b}+\frac {\left (\sqrt [3]{\frac {3}{2}} a^{4/3}\right ) \operatorname {Subst}\left (\int \frac {1}{-3-x^2} \, dx,x,1+\frac {2^{2/3} \sqrt [3]{3} \sqrt [3]{a} x}{\sqrt [3]{b+a x^3}}\right )}{2 b}\\ &=-\frac {\sqrt [3]{b+a x^3}}{2 x^4}-\frac {a \sqrt [3]{b+a x^3}}{b x}-\frac {a^{4/3} \tan ^{-1}\left (\frac {1+\frac {2^{2/3} \sqrt [3]{3} \sqrt [3]{a} x}{\sqrt [3]{b+a x^3}}}{\sqrt {3}}\right )}{2 \sqrt [3]{2} \sqrt [6]{3} b}-\frac {a^{4/3} \log \left (\sqrt [3]{2}-\frac {\sqrt [3]{3} \sqrt [3]{a} x}{\sqrt [3]{b+a x^3}}\right )}{2 \sqrt [3]{2} 3^{2/3} b}+\frac {a^{4/3} \log \left (2^{2/3}+\frac {3^{2/3} a^{2/3} x^2}{\left (b+a x^3\right )^{2/3}}+\frac {\sqrt [3]{6} \sqrt [3]{a} x}{\sqrt [3]{b+a x^3}}\right )}{4 \sqrt [3]{2} 3^{2/3} b}\\ \end {align*}
________________________________________________________________________________________
Mathematica [C] time = 0.24, size = 108, normalized size = 0.45 \begin {gather*} \frac {\frac {3 a^2 x^6 \left (\frac {2 a x^3}{b}+2\right )^{2/3} \, _2F_1\left (\frac {2}{3},\frac {2}{3};\frac {5}{3};\frac {3 a x^3}{a x^3-2 b}\right )}{\left (2-\frac {a x^3}{b}\right )^{2/3}}-4 \left (2 a^2 x^6+3 a b x^3+b^2\right )}{8 b x^4 \left (a x^3+b\right )^{2/3}} \end {gather*}
Warning: Unable to verify antiderivative.
[In]
[Out]
________________________________________________________________________________________
IntegrateAlgebraic [A] time = 0.57, size = 238, normalized size = 1.00 \begin {gather*} \frac {\left (-b-2 a x^3\right ) \sqrt [3]{b+a x^3}}{2 b x^4}-\frac {a^{4/3} \tan ^{-1}\left (\frac {3^{5/6} \sqrt [3]{a} x}{\sqrt [3]{3} \sqrt [3]{a} x+2 \sqrt [3]{2} \sqrt [3]{b+a x^3}}\right )}{2 \sqrt [3]{2} \sqrt [6]{3} b}-\frac {a^{4/3} \log \left (-3 \sqrt [3]{a} x+\sqrt [3]{2} 3^{2/3} \sqrt [3]{b+a x^3}\right )}{2 \sqrt [3]{2} 3^{2/3} b}+\frac {a^{4/3} \log \left (3 a^{2/3} x^2+\sqrt [3]{2} 3^{2/3} \sqrt [3]{a} x \sqrt [3]{b+a x^3}+2^{2/3} \sqrt [3]{3} \left (b+a x^3\right )^{2/3}\right )}{4 \sqrt [3]{2} 3^{2/3} b} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [B] time = 17.59, size = 418, normalized size = 1.76 \begin {gather*} -\frac {2 \cdot 18^{\frac {2}{3}} \sqrt {3} \left (-a\right )^{\frac {1}{3}} a x^{4} \arctan \left (\frac {4 \cdot 18^{\frac {2}{3}} \sqrt {3} {\left (4 \, a^{2} x^{7} - 7 \, a b x^{4} - 2 \, b^{2} x\right )} {\left (a x^{3} + b\right )}^{\frac {2}{3}} \left (-a\right )^{\frac {1}{3}} + 6 \cdot 18^{\frac {1}{3}} \sqrt {3} {\left (55 \, a^{2} x^{8} + 50 \, a b x^{5} + 4 \, b^{2} x^{2}\right )} {\left (a x^{3} + b\right )}^{\frac {1}{3}} \left (-a\right )^{\frac {2}{3}} + \sqrt {3} {\left (377 \, a^{3} x^{9} + 600 \, a^{2} b x^{6} + 204 \, a b^{2} x^{3} + 8 \, b^{3}\right )}}{3 \, {\left (487 \, a^{3} x^{9} + 480 \, a^{2} b x^{6} + 12 \, a b^{2} x^{3} - 8 \, b^{3}\right )}}\right ) - 2 \cdot 18^{\frac {2}{3}} \left (-a\right )^{\frac {1}{3}} a x^{4} \log \left (-\frac {3 \cdot 18^{\frac {2}{3}} {\left (a x^{3} + b\right )}^{\frac {1}{3}} \left (-a\right )^{\frac {1}{3}} a x^{2} + 18 \, {\left (a x^{3} + b\right )}^{\frac {2}{3}} a x + 18^{\frac {1}{3}} {\left (a x^{3} - 2 \, b\right )} \left (-a\right )^{\frac {2}{3}}}{18 \, {\left (a x^{3} - 2 \, b\right )}}\right ) + 18^{\frac {2}{3}} \left (-a\right )^{\frac {1}{3}} a x^{4} \log \left (\frac {36 \cdot 18^{\frac {1}{3}} {\left (4 \, a x^{4} + b x\right )} {\left (a x^{3} + b\right )}^{\frac {2}{3}} \left (-a\right )^{\frac {2}{3}} - 18^{\frac {2}{3}} {\left (55 \, a^{2} x^{6} + 50 \, a b x^{3} + 4 \, b^{2}\right )} \left (-a\right )^{\frac {1}{3}} + 54 \, {\left (7 \, a^{2} x^{5} + 4 \, a b x^{2}\right )} {\left (a x^{3} + b\right )}^{\frac {1}{3}}}{18 \, {\left (a^{2} x^{6} - 4 \, a b x^{3} + 4 \, b^{2}\right )}}\right ) + 108 \, {\left (2 \, a x^{3} + b\right )} {\left (a x^{3} + b\right )}^{\frac {1}{3}}}{216 \, b x^{4}} \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*} \int \frac {{\left (a x^{3} + b\right )}^{\frac {1}{3}} {\left (a x^{3} - 4 \, b\right )}}{{\left (a x^{3} - 2 \, b\right )} x^{5}}\,{d x} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [F] time = 0.02, size = 0, normalized size = 0.00 \[\int \frac {\left (a \,x^{3}-4 b \right ) \left (a \,x^{3}+b \right )^{\frac {1}{3}}}{x^{5} \left (a \,x^{3}-2 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*} \int \frac {{\left (a x^{3} + b\right )}^{\frac {1}{3}} {\left (a x^{3} - 4 \, b\right )}}{{\left (a x^{3} - 2 \, b\right )} x^{5}}\,{d x} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [F] time = 0.00, size = -1, normalized size = -0.00 \begin {gather*} \int \frac {{\left (a\,x^3+b\right )}^{1/3}\,\left (4\,b-a\,x^3\right )}{x^5\,\left (2\,b-a\,x^3\right )} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F] time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {\left (a x^{3} - 4 b\right ) \sqrt [3]{a x^{3} + b}}{x^{5} \left (a x^{3} - 2 b\right )}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________