Optimal. Leaf size=71 \[ \frac {\text {RootSum}\left [a+b-3 b \text {$\#$1}^3+3 b \text {$\#$1}^6-b \text {$\#$1}^9\& ,\frac {-\log (x) \text {$\#$1}+\log \left (\sqrt [3]{-x+x^3}-x \text {$\#$1}\right ) \text {$\#$1}}{-1+\text {$\#$1}^3}\& \right ]}{6 b} \]
[Out]
________________________________________________________________________________________
Rubi [B] Leaf count is larger than twice the leaf count of optimal. \(1382\) vs. \(2(71)=142\).
time = 3.61, antiderivative size = 1382, normalized size of antiderivative = 19.46, number of
steps used = 61, number of rules used = 10, integrand size = 21, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.476, Rules used = {2081,
6857, 973, 477, 476, 495, 337, 503, 525, 524} \begin {gather*} \frac {(-1)^{2/3} \sqrt [3]{x^3-x} \text {ArcTan}\left (\frac {\frac {2 x^{2/3}}{\sqrt [3]{x^2-1}}+1}{\sqrt {3}}\right )}{2 \sqrt {3} \sqrt [3]{-a} b^{2/3} \sqrt [3]{x} \sqrt [3]{x^2-1}}-\frac {\sqrt [3]{-1} \sqrt [3]{x^3-x} \text {ArcTan}\left (\frac {\frac {2 x^{2/3}}{\sqrt [3]{x^2-1}}+1}{\sqrt {3}}\right )}{2 \sqrt {3} \sqrt [3]{-a} b^{2/3} \sqrt [3]{x} \sqrt [3]{x^2-1}}+\frac {\sqrt [3]{x^3-x} \text {ArcTan}\left (\frac {\frac {2 x^{2/3}}{\sqrt [3]{x^2-1}}+1}{\sqrt {3}}\right )}{2 \sqrt {3} \sqrt [3]{-a} b^{2/3} \sqrt [3]{x} \sqrt [3]{x^2-1}}+\frac {\sqrt [3]{\sqrt [3]{-a}-\sqrt [3]{b}} \sqrt [3]{x^3-x} \text {ArcTan}\left (\frac {1-\frac {2 \sqrt [3]{\sqrt [3]{-a}-\sqrt [3]{b}} x^{2/3}}{\sqrt [9]{b} \sqrt [3]{x^2-1}}}{\sqrt {3}}\right )}{2 \sqrt {3} \sqrt [3]{-a} b^{7/9} \sqrt [3]{x} \sqrt [3]{x^2-1}}-\frac {(-1)^{2/3} \sqrt [3]{\sqrt [3]{-1} \sqrt [3]{-a}+\sqrt [3]{b}} \sqrt [3]{x^3-x} \text {ArcTan}\left (\frac {\frac {2 \sqrt [3]{\sqrt [3]{-1} \sqrt [3]{-a}+\sqrt [3]{b}} x^{2/3}}{\sqrt [9]{b} \sqrt [3]{x^2-1}}+1}{\sqrt {3}}\right )}{2 \sqrt {3} \sqrt [3]{-a} b^{7/9} \sqrt [3]{x} \sqrt [3]{x^2-1}}+\frac {\sqrt [3]{-1} \sqrt [3]{\sqrt [3]{b}-(-1)^{2/3} \sqrt [3]{-a}} \sqrt [3]{x^3-x} \text {ArcTan}\left (\frac {\frac {2 \sqrt [3]{\sqrt [3]{b}-(-1)^{2/3} \sqrt [3]{-a}} x^{2/3}}{\sqrt [9]{b} \sqrt [3]{x^2-1}}+1}{\sqrt {3}}\right )}{2 \sqrt {3} \sqrt [3]{-a} b^{7/9} \sqrt [3]{x} \sqrt [3]{x^2-1}}-\frac {\sqrt [3]{\sqrt [3]{-a}-\sqrt [3]{b}} \sqrt [3]{x^3-x} \log \left (\sqrt [3]{b}-\sqrt [3]{-a} x^2\right )}{12 \sqrt [3]{-a} b^{7/9} \sqrt [3]{x} \sqrt [3]{x^2-1}}+\frac {(-1)^{2/3} \sqrt [3]{\sqrt [3]{-1} \sqrt [3]{-a}+\sqrt [3]{b}} \sqrt [3]{x^3-x} \log \left (\sqrt [3]{-1} \sqrt [3]{-a} x^2+\sqrt [3]{b}\right )}{12 \sqrt [3]{-a} b^{7/9} \sqrt [3]{x} \sqrt [3]{x^2-1}}-\frac {\sqrt [3]{-1} \sqrt [3]{\sqrt [3]{b}-(-1)^{2/3} \sqrt [3]{-a}} \sqrt [3]{x^3-x} \log \left (\sqrt [3]{b}-(-1)^{2/3} \sqrt [3]{-a} x^2\right )}{12 \sqrt [3]{-a} b^{7/9} \sqrt [3]{x} \sqrt [3]{x^2-1}}+\frac {(-1)^{2/3} \sqrt [3]{x^3-x} \log \left (x^{2/3}-\sqrt [3]{x^2-1}\right )}{4 \sqrt [3]{-a} b^{2/3} \sqrt [3]{x} \sqrt [3]{x^2-1}}-\frac {\sqrt [3]{-1} \sqrt [3]{x^3-x} \log \left (x^{2/3}-\sqrt [3]{x^2-1}\right )}{4 \sqrt [3]{-a} b^{2/3} \sqrt [3]{x} \sqrt [3]{x^2-1}}+\frac {\sqrt [3]{x^3-x} \log \left (x^{2/3}-\sqrt [3]{x^2-1}\right )}{4 \sqrt [3]{-a} b^{2/3} \sqrt [3]{x} \sqrt [3]{x^2-1}}-\frac {(-1)^{2/3} \sqrt [3]{\sqrt [3]{-1} \sqrt [3]{-a}+\sqrt [3]{b}} \sqrt [3]{x^3-x} \log \left (\sqrt [3]{\sqrt [3]{-1} \sqrt [3]{-a}+\sqrt [3]{b}} x^{2/3}-\sqrt [9]{b} \sqrt [3]{x^2-1}\right )}{4 \sqrt [3]{-a} b^{7/9} \sqrt [3]{x} \sqrt [3]{x^2-1}}+\frac {\sqrt [3]{-1} \sqrt [3]{\sqrt [3]{b}-(-1)^{2/3} \sqrt [3]{-a}} \sqrt [3]{x^3-x} \log \left (\sqrt [3]{\sqrt [3]{b}-(-1)^{2/3} \sqrt [3]{-a}} x^{2/3}-\sqrt [9]{b} \sqrt [3]{x^2-1}\right )}{4 \sqrt [3]{-a} b^{7/9} \sqrt [3]{x} \sqrt [3]{x^2-1}}+\frac {\sqrt [3]{\sqrt [3]{-a}-\sqrt [3]{b}} \sqrt [3]{x^3-x} \log \left (\sqrt [3]{\sqrt [3]{-a}-\sqrt [3]{b}} x^{2/3}+\sqrt [9]{b} \sqrt [3]{x^2-1}\right )}{4 \sqrt [3]{-a} b^{7/9} \sqrt [3]{x} \sqrt [3]{x^2-1}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 337
Rule 476
Rule 477
Rule 495
Rule 503
Rule 524
Rule 525
Rule 973
Rule 2081
Rule 6857
Rubi steps
\begin {align*} \int \frac {\sqrt [3]{-x+x^3}}{b+a x^6} \, dx &=\frac {\sqrt [3]{-x+x^3} \int \frac {\sqrt [3]{x} \sqrt [3]{-1+x^2}}{b+a x^6} \, dx}{\sqrt [3]{x} \sqrt [3]{-1+x^2}}\\ &=\frac {\sqrt [3]{-x+x^3} \int \left (\frac {\sqrt [3]{x} \sqrt [3]{-1+x^2}}{2 \sqrt {b} \left (\sqrt {b}-\sqrt {-a} x^3\right )}+\frac {\sqrt [3]{x} \sqrt [3]{-1+x^2}}{2 \sqrt {b} \left (\sqrt {b}+\sqrt {-a} x^3\right )}\right ) \, dx}{\sqrt [3]{x} \sqrt [3]{-1+x^2}}\\ &=\frac {\sqrt [3]{-x+x^3} \int \frac {\sqrt [3]{x} \sqrt [3]{-1+x^2}}{\sqrt {b}-\sqrt {-a} x^3} \, dx}{2 \sqrt {b} \sqrt [3]{x} \sqrt [3]{-1+x^2}}+\frac {\sqrt [3]{-x+x^3} \int \frac {\sqrt [3]{x} \sqrt [3]{-1+x^2}}{\sqrt {b}+\sqrt {-a} x^3} \, dx}{2 \sqrt {b} \sqrt [3]{x} \sqrt [3]{-1+x^2}}\\ &=\frac {\sqrt [3]{-x+x^3} \int \left (-\frac {\sqrt [3]{x} \sqrt [3]{-1+x^2}}{3 \sqrt [3]{b} \left (-\sqrt [6]{b}-\sqrt [6]{-a} x\right )}-\frac {\sqrt [3]{x} \sqrt [3]{-1+x^2}}{3 \sqrt [3]{b} \left (-\sqrt [6]{b}+\sqrt [3]{-1} \sqrt [6]{-a} x\right )}-\frac {\sqrt [3]{x} \sqrt [3]{-1+x^2}}{3 \sqrt [3]{b} \left (-\sqrt [6]{b}-(-1)^{2/3} \sqrt [6]{-a} x\right )}\right ) \, dx}{2 \sqrt {b} \sqrt [3]{x} \sqrt [3]{-1+x^2}}+\frac {\sqrt [3]{-x+x^3} \int \left (\frac {\sqrt [3]{x} \sqrt [3]{-1+x^2}}{3 \sqrt [3]{b} \left (\sqrt [6]{b}-\sqrt [6]{-a} x\right )}+\frac {\sqrt [3]{x} \sqrt [3]{-1+x^2}}{3 \sqrt [3]{b} \left (\sqrt [6]{b}+\sqrt [3]{-1} \sqrt [6]{-a} x\right )}+\frac {\sqrt [3]{x} \sqrt [3]{-1+x^2}}{3 \sqrt [3]{b} \left (\sqrt [6]{b}-(-1)^{2/3} \sqrt [6]{-a} x\right )}\right ) \, dx}{2 \sqrt {b} \sqrt [3]{x} \sqrt [3]{-1+x^2}}\\ &=-\frac {\sqrt [3]{-x+x^3} \int \frac {\sqrt [3]{x} \sqrt [3]{-1+x^2}}{-\sqrt [6]{b}-\sqrt [6]{-a} x} \, dx}{6 b^{5/6} \sqrt [3]{x} \sqrt [3]{-1+x^2}}+\frac {\sqrt [3]{-x+x^3} \int \frac {\sqrt [3]{x} \sqrt [3]{-1+x^2}}{\sqrt [6]{b}-\sqrt [6]{-a} x} \, dx}{6 b^{5/6} \sqrt [3]{x} \sqrt [3]{-1+x^2}}-\frac {\sqrt [3]{-x+x^3} \int \frac {\sqrt [3]{x} \sqrt [3]{-1+x^2}}{-\sqrt [6]{b}+\sqrt [3]{-1} \sqrt [6]{-a} x} \, dx}{6 b^{5/6} \sqrt [3]{x} \sqrt [3]{-1+x^2}}+\frac {\sqrt [3]{-x+x^3} \int \frac {\sqrt [3]{x} \sqrt [3]{-1+x^2}}{\sqrt [6]{b}+\sqrt [3]{-1} \sqrt [6]{-a} x} \, dx}{6 b^{5/6} \sqrt [3]{x} \sqrt [3]{-1+x^2}}-\frac {\sqrt [3]{-x+x^3} \int \frac {\sqrt [3]{x} \sqrt [3]{-1+x^2}}{-\sqrt [6]{b}-(-1)^{2/3} \sqrt [6]{-a} x} \, dx}{6 b^{5/6} \sqrt [3]{x} \sqrt [3]{-1+x^2}}+\frac {\sqrt [3]{-x+x^3} \int \frac {\sqrt [3]{x} \sqrt [3]{-1+x^2}}{\sqrt [6]{b}-(-1)^{2/3} \sqrt [6]{-a} x} \, dx}{6 b^{5/6} \sqrt [3]{x} \sqrt [3]{-1+x^2}}\\ &=2 \frac {\sqrt [3]{-x+x^3} \int \frac {\sqrt [3]{x} \sqrt [3]{-1+x^2}}{\sqrt [3]{b}-\sqrt [3]{-a} x^2} \, dx}{6 b^{2/3} \sqrt [3]{x} \sqrt [3]{-1+x^2}}+2 \frac {\sqrt [3]{-x+x^3} \int \frac {\sqrt [3]{x} \sqrt [3]{-1+x^2}}{\sqrt [3]{b}+\sqrt [3]{-1} \sqrt [3]{-a} x^2} \, dx}{6 b^{2/3} \sqrt [3]{x} \sqrt [3]{-1+x^2}}+2 \frac {\sqrt [3]{-x+x^3} \int \frac {\sqrt [3]{x} \sqrt [3]{-1+x^2}}{\sqrt [3]{b}-(-1)^{2/3} \sqrt [3]{-a} x^2} \, dx}{6 b^{2/3} \sqrt [3]{x} \sqrt [3]{-1+x^2}}\\ &=2 \frac {\sqrt [3]{-x+x^3} \text {Subst}\left (\int \frac {x^3 \sqrt [3]{-1+x^6}}{\sqrt [3]{b}-\sqrt [3]{-a} x^6} \, dx,x,\sqrt [3]{x}\right )}{2 b^{2/3} \sqrt [3]{x} \sqrt [3]{-1+x^2}}+2 \frac {\sqrt [3]{-x+x^3} \text {Subst}\left (\int \frac {x^3 \sqrt [3]{-1+x^6}}{\sqrt [3]{b}+\sqrt [3]{-1} \sqrt [3]{-a} x^6} \, dx,x,\sqrt [3]{x}\right )}{2 b^{2/3} \sqrt [3]{x} \sqrt [3]{-1+x^2}}+2 \frac {\sqrt [3]{-x+x^3} \text {Subst}\left (\int \frac {x^3 \sqrt [3]{-1+x^6}}{\sqrt [3]{b}-(-1)^{2/3} \sqrt [3]{-a} x^6} \, dx,x,\sqrt [3]{x}\right )}{2 b^{2/3} \sqrt [3]{x} \sqrt [3]{-1+x^2}}\\ &=2 \frac {\sqrt [3]{-x+x^3} \text {Subst}\left (\int \frac {x \sqrt [3]{-1+x^3}}{\sqrt [3]{b}-\sqrt [3]{-a} x^3} \, dx,x,x^{2/3}\right )}{4 b^{2/3} \sqrt [3]{x} \sqrt [3]{-1+x^2}}+2 \frac {\sqrt [3]{-x+x^3} \text {Subst}\left (\int \frac {x \sqrt [3]{-1+x^3}}{\sqrt [3]{b}+\sqrt [3]{-1} \sqrt [3]{-a} x^3} \, dx,x,x^{2/3}\right )}{4 b^{2/3} \sqrt [3]{x} \sqrt [3]{-1+x^2}}+2 \frac {\sqrt [3]{-x+x^3} \text {Subst}\left (\int \frac {x \sqrt [3]{-1+x^3}}{\sqrt [3]{b}-(-1)^{2/3} \sqrt [3]{-a} x^3} \, dx,x,x^{2/3}\right )}{4 b^{2/3} \sqrt [3]{x} \sqrt [3]{-1+x^2}}\\ &=2 \frac {\sqrt [3]{-x+x^3} \text {Subst}\left (\int \frac {x \sqrt [3]{1-x^3}}{\sqrt [3]{b}-\sqrt [3]{-a} x^3} \, dx,x,x^{2/3}\right )}{4 b^{2/3} \sqrt [3]{x} \sqrt [3]{1-x^2}}+2 \frac {\sqrt [3]{-x+x^3} \text {Subst}\left (\int \frac {x \sqrt [3]{1-x^3}}{\sqrt [3]{b}+\sqrt [3]{-1} \sqrt [3]{-a} x^3} \, dx,x,x^{2/3}\right )}{4 b^{2/3} \sqrt [3]{x} \sqrt [3]{1-x^2}}+2 \frac {\sqrt [3]{-x+x^3} \text {Subst}\left (\int \frac {x \sqrt [3]{1-x^3}}{\sqrt [3]{b}-(-1)^{2/3} \sqrt [3]{-a} x^3} \, dx,x,x^{2/3}\right )}{4 b^{2/3} \sqrt [3]{x} \sqrt [3]{1-x^2}}\\ &=\frac {x \sqrt [3]{-x+x^3} F_1\left (\frac {2}{3};-\frac {1}{3},1;\frac {5}{3};x^2,\frac {\sqrt [3]{-a} x^2}{\sqrt [3]{b}}\right )}{4 b \sqrt [3]{1-x^2}}+\frac {x \sqrt [3]{-x+x^3} F_1\left (\frac {2}{3};-\frac {1}{3},1;\frac {5}{3};x^2,-\frac {\sqrt [3]{-1} \sqrt [3]{-a} x^2}{\sqrt [3]{b}}\right )}{4 b \sqrt [3]{1-x^2}}+\frac {x \sqrt [3]{-x+x^3} F_1\left (\frac {2}{3};-\frac {1}{3},1;\frac {5}{3};x^2,\frac {(-1)^{2/3} \sqrt [3]{-a} x^2}{\sqrt [3]{b}}\right )}{4 b \sqrt [3]{1-x^2}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.00, size = 102, normalized size = 1.44 \begin {gather*} \frac {\sqrt [3]{x \left (-1+x^2\right )} \text {RootSum}\left [a+b-3 b \text {$\#$1}^3+3 b \text {$\#$1}^6-b \text {$\#$1}^9\&,\frac {-2 \log \left (\sqrt [3]{x}\right ) \text {$\#$1}+\log \left (\sqrt [3]{-1+x^2}-x^{2/3} \text {$\#$1}\right ) \text {$\#$1}}{-1+\text {$\#$1}^3}\&\right ]}{6 b \sqrt [3]{x} \sqrt [3]{-1+x^2}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [F]
time = 0.04, size = 0, normalized size = 0.00 \[\int \frac {\left (x^{3}-x \right )^{\frac {1}{3}}}{a \,x^{6}+b}\, 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(-2)]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: TypeError} \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 {\sqrt [3]{x \left (x - 1\right ) \left (x + 1\right )}}{a x^{6} + b}\, dx \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.01 \begin {gather*} \int \frac {{\left (x^3-x\right )}^{1/3}}{a\,x^6+b} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________