Optimal. Leaf size=9 \[ -\frac{1}{3} \sin ^{-1}\left (\cos ^3(x)\right ) \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.0718241, antiderivative size = 9, normalized size of antiderivative = 1., number of steps used = 3, number of rules used = 3, integrand size = 19, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.158, Rules used = {4335, 275, 216} \[ -\frac{1}{3} \sin ^{-1}\left (\cos ^3(x)\right ) \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 4335
Rule 275
Rule 216
Rubi steps
\begin{align*} \int \frac{\cos ^2(x) \sin (x)}{\sqrt{1-\cos ^6(x)}} \, dx &=-\operatorname{Subst}\left (\int \frac{x^2}{\sqrt{1-x^6}} \, dx,x,\cos (x)\right )\\ &=-\left (\frac{1}{3} \operatorname{Subst}\left (\int \frac{1}{\sqrt{1-x^2}} \, dx,x,\cos ^3(x)\right )\right )\\ &=-\frac{1}{3} \sin ^{-1}\left (\cos ^3(x)\right )\\ \end{align*}
Mathematica [C] time = 2.25209, size = 162, normalized size = 18. \[ -\frac{i \sin (x) \cos ^2(x) \sqrt{1-\frac{2 i \tan ^2(x)}{\sqrt{3}-3 i}} \sqrt{1+\frac{2 i \tan ^2(x)}{\sqrt{3}+3 i}} \Pi \left (\frac{3}{2}+\frac{i \sqrt{3}}{2};i \sinh ^{-1}\left (\sqrt{-\frac{2 i}{-3 i+\sqrt{3}}} \tan (x)\right )|\frac{3 i-\sqrt{3}}{3 i+\sqrt{3}}\right )}{\sqrt{2} \sqrt{-\frac{i}{\sqrt{3}-3 i}} \sqrt{1-\cos ^6(x)}} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [F] time = 0.518, size = 0, normalized size = 0. \begin{align*} \int{ \left ( \cos \left ( x \right ) \right ) ^{2}\sin \left ( x \right ){\frac{1}{\sqrt{1- \left ( \cos \left ( x \right ) \right ) ^{6}}}}}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [B] time = 1.44395, size = 24, normalized size = 2.67 \begin{align*} \frac{1}{3} \, \arctan \left (\frac{\sqrt{-\cos \left (x\right )^{6} + 1}}{\cos \left (x\right )^{3}}\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] time = 2.85505, size = 82, normalized size = 9.11 \begin{align*} \frac{1}{6} \, \arctan \left (\frac{2 \, \sqrt{-\cos \left (x\right )^{6} + 1} \cos \left (x\right )^{3}}{2 \, \cos \left (x\right )^{6} - 1}\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.09013, size = 9, normalized size = 1. \begin{align*} -\frac{1}{3} \, \arcsin \left (\cos \left (x\right )^{3}\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]