Optimal. Leaf size=93 \[ \frac{1}{2} \sqrt [3]{x \left (1-x^2\right )} x-\frac{1}{4} \log \left (\sqrt [3]{x \left (1-x^2\right )}+x\right )+\frac{\tan ^{-1}\left (\frac{2 x-\sqrt [3]{x \left (1-x^2\right )}}{\sqrt{3} \sqrt [3]{x \left (1-x^2\right )}}\right )}{2 \sqrt{3}}+\frac{\log (x)}{12} \]
[Out]
________________________________________________________________________________________
Rubi [B] time = 0.143999, antiderivative size = 200, normalized size of antiderivative = 2.15, number of steps used = 12, number of rules used = 12, integrand size = 13, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.923, Rules used = {1979, 2004, 2032, 329, 275, 331, 292, 31, 634, 618, 204, 628} \[ \frac{1}{2} \sqrt [3]{x-x^3} x+\frac{\left (1-x^2\right )^{2/3} x^{2/3} \log \left (\frac{x^{4/3}}{\left (1-x^2\right )^{2/3}}-\frac{x^{2/3}}{\sqrt [3]{1-x^2}}+1\right )}{12 \left (x-x^3\right )^{2/3}}-\frac{\left (1-x^2\right )^{2/3} x^{2/3} \log \left (\frac{x^{2/3}}{\sqrt [3]{1-x^2}}+1\right )}{6 \left (x-x^3\right )^{2/3}}-\frac{\left (1-x^2\right )^{2/3} x^{2/3} \tan ^{-1}\left (\frac{1-\frac{2 x^{2/3}}{\sqrt [3]{1-x^2}}}{\sqrt{3}}\right )}{2 \sqrt{3} \left (x-x^3\right )^{2/3}} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 1979
Rule 2004
Rule 2032
Rule 329
Rule 275
Rule 331
Rule 292
Rule 31
Rule 634
Rule 618
Rule 204
Rule 628
Rubi steps
\begin{align*} \int \sqrt [3]{x \left (1-x^2\right )} \, dx &=\int \sqrt [3]{x-x^3} \, dx\\ &=\frac{1}{2} x \sqrt [3]{x-x^3}+\frac{1}{3} \int \frac{x}{\left (x-x^3\right )^{2/3}} \, dx\\ &=\frac{1}{2} x \sqrt [3]{x-x^3}+\frac{\left (x^{2/3} \left (1-x^2\right )^{2/3}\right ) \int \frac{\sqrt [3]{x}}{\left (1-x^2\right )^{2/3}} \, dx}{3 \left (x-x^3\right )^{2/3}}\\ &=\frac{1}{2} x \sqrt [3]{x-x^3}+\frac{\left (x^{2/3} \left (1-x^2\right )^{2/3}\right ) \operatorname{Subst}\left (\int \frac{x^3}{\left (1-x^6\right )^{2/3}} \, dx,x,\sqrt [3]{x}\right )}{\left (x-x^3\right )^{2/3}}\\ &=\frac{1}{2} x \sqrt [3]{x-x^3}+\frac{\left (x^{2/3} \left (1-x^2\right )^{2/3}\right ) \operatorname{Subst}\left (\int \frac{x}{\left (1-x^3\right )^{2/3}} \, dx,x,x^{2/3}\right )}{2 \left (x-x^3\right )^{2/3}}\\ &=\frac{1}{2} x \sqrt [3]{x-x^3}+\frac{\left (x^{2/3} \left (1-x^2\right )^{2/3}\right ) \operatorname{Subst}\left (\int \frac{x}{1+x^3} \, dx,x,\frac{x^{2/3}}{\sqrt [3]{1-x^2}}\right )}{2 \left (x-x^3\right )^{2/3}}\\ &=\frac{1}{2} x \sqrt [3]{x-x^3}-\frac{\left (x^{2/3} \left (1-x^2\right )^{2/3}\right ) \operatorname{Subst}\left (\int \frac{1}{1+x} \, dx,x,\frac{x^{2/3}}{\sqrt [3]{1-x^2}}\right )}{6 \left (x-x^3\right )^{2/3}}+\frac{\left (x^{2/3} \left (1-x^2\right )^{2/3}\right ) \operatorname{Subst}\left (\int \frac{1+x}{1-x+x^2} \, dx,x,\frac{x^{2/3}}{\sqrt [3]{1-x^2}}\right )}{6 \left (x-x^3\right )^{2/3}}\\ &=\frac{1}{2} x \sqrt [3]{x-x^3}-\frac{x^{2/3} \left (1-x^2\right )^{2/3} \log \left (1+\frac{x^{2/3}}{\sqrt [3]{1-x^2}}\right )}{6 \left (x-x^3\right )^{2/3}}+\frac{\left (x^{2/3} \left (1-x^2\right )^{2/3}\right ) \operatorname{Subst}\left (\int \frac{-1+2 x}{1-x+x^2} \, dx,x,\frac{x^{2/3}}{\sqrt [3]{1-x^2}}\right )}{12 \left (x-x^3\right )^{2/3}}+\frac{\left (x^{2/3} \left (1-x^2\right )^{2/3}\right ) \operatorname{Subst}\left (\int \frac{1}{1-x+x^2} \, dx,x,\frac{x^{2/3}}{\sqrt [3]{1-x^2}}\right )}{4 \left (x-x^3\right )^{2/3}}\\ &=\frac{1}{2} x \sqrt [3]{x-x^3}+\frac{x^{2/3} \left (1-x^2\right )^{2/3} \log \left (1+\frac{x^{4/3}}{\left (1-x^2\right )^{2/3}}-\frac{x^{2/3}}{\sqrt [3]{1-x^2}}\right )}{12 \left (x-x^3\right )^{2/3}}-\frac{x^{2/3} \left (1-x^2\right )^{2/3} \log \left (1+\frac{x^{2/3}}{\sqrt [3]{1-x^2}}\right )}{6 \left (x-x^3\right )^{2/3}}-\frac{\left (x^{2/3} \left (1-x^2\right )^{2/3}\right ) \operatorname{Subst}\left (\int \frac{1}{-3-x^2} \, dx,x,-1+\frac{2 x^{2/3}}{\sqrt [3]{1-x^2}}\right )}{2 \left (x-x^3\right )^{2/3}}\\ &=\frac{1}{2} x \sqrt [3]{x-x^3}-\frac{x^{2/3} \left (1-x^2\right )^{2/3} \tan ^{-1}\left (\frac{1-\frac{2 x^{2/3}}{\sqrt [3]{1-x^2}}}{\sqrt{3}}\right )}{2 \sqrt{3} \left (x-x^3\right )^{2/3}}+\frac{x^{2/3} \left (1-x^2\right )^{2/3} \log \left (1+\frac{x^{4/3}}{\left (1-x^2\right )^{2/3}}-\frac{x^{2/3}}{\sqrt [3]{1-x^2}}\right )}{12 \left (x-x^3\right )^{2/3}}-\frac{x^{2/3} \left (1-x^2\right )^{2/3} \log \left (1+\frac{x^{2/3}}{\sqrt [3]{1-x^2}}\right )}{6 \left (x-x^3\right )^{2/3}}\\ \end{align*}
Mathematica [C] time = 0.0088829, size = 40, normalized size = 0.43 \[ \frac{3 x \sqrt [3]{x-x^3} \, _2F_1\left (-\frac{1}{3},\frac{2}{3};\frac{5}{3};x^2\right )}{4 \sqrt [3]{1-x^2}} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [C] time = 0.026, size = 15, normalized size = 0.2 \begin{align*}{\frac{3}{4}{x}^{{\frac{4}{3}}}{\mbox{$_2$F$_1$}(-{\frac{1}{3}},{\frac{2}{3}};\,{\frac{5}{3}};\,{x}^{2})}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \left (-{\left (x^{2} - 1\right )} x\right )^{\frac{1}{3}}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 3.46897, size = 347, normalized size = 3.73 \begin{align*} -\frac{1}{6} \, \sqrt{3} \arctan \left (\frac{44032959556 \, \sqrt{3}{\left (-x^{3} + x\right )}^{\frac{1}{3}} x - \sqrt{3}{\left (16754327161 \, x^{2} - 2707204793\right )} + 10524305234 \, \sqrt{3}{\left (-x^{3} + x\right )}^{\frac{2}{3}}}{81835897185 \, x^{2} - 1102302937}\right ) + \frac{1}{2} \,{\left (-x^{3} + x\right )}^{\frac{1}{3}} x - \frac{1}{12} \, \log \left (3 \,{\left (-x^{3} + x\right )}^{\frac{1}{3}} x + 3 \,{\left (-x^{3} + x\right )}^{\frac{2}{3}} + 1\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \sqrt [3]{x \left (1 - x^{2}\right )}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \left (-{\left (x^{2} - 1\right )} x\right )^{\frac{1}{3}}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]