Optimal. Leaf size=76 \[ -\frac{35}{16} \sqrt{\cot ^2(x)}+\frac{1}{6} \cos ^6(x) \sqrt{\cot ^2(x)}+\frac{7}{24} \cos ^4(x) \sqrt{\cot ^2(x)}+\frac{35}{48} \cos ^2(x) \sqrt{\cot ^2(x)}-\frac{35}{16} x \tan (x) \sqrt{\cot ^2(x)} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.162233, antiderivative size = 84, normalized size of antiderivative = 1.11, number of steps used = 10, number of rules used = 8, integrand size = 23, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.348, Rules used = {3175, 4360, 25, 266, 47, 50, 63, 203} \[ -\frac{35}{16} \sqrt{\csc ^2(x)-1}+\frac{1}{6} \sin ^6(x) \left (\csc ^2(x)-1\right )^{7/2}+\frac{7}{24} \sin ^4(x) \left (\csc ^2(x)-1\right )^{5/2}+\frac{35}{48} \sin ^2(x) \left (\csc ^2(x)-1\right )^{3/2}+\frac{35}{16} \tan ^{-1}\left (\sqrt{\csc ^2(x)-1}\right ) \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 3175
Rule 4360
Rule 25
Rule 266
Rule 47
Rule 50
Rule 63
Rule 203
Rubi steps
\begin{align*} \int \cot (x) \sqrt{-1+\csc ^2(x)} \left (1-\sin ^2(x)\right )^3 \, dx &=\int \cos ^6(x) \cot (x) \sqrt{-1+\csc ^2(x)} \, dx\\ &=\operatorname{Subst}\left (\int \frac{\sqrt{-1+\frac{1}{x^2}} \left (1-x^2\right )^3}{x} \, dx,x,\sin (x)\right )\\ &=\operatorname{Subst}\left (\int \left (-1+\frac{1}{x^2}\right )^{7/2} x^5 \, dx,x,\sin (x)\right )\\ &=-\left (\frac{1}{2} \operatorname{Subst}\left (\int \frac{(-1+x)^{7/2}}{x^4} \, dx,x,\csc ^2(x)\right )\right )\\ &=\frac{1}{6} \cot ^2(x)^{7/2} \sin ^6(x)-\frac{7}{12} \operatorname{Subst}\left (\int \frac{(-1+x)^{5/2}}{x^3} \, dx,x,\csc ^2(x)\right )\\ &=\frac{7}{24} \cot ^2(x)^{5/2} \sin ^4(x)+\frac{1}{6} \cot ^2(x)^{7/2} \sin ^6(x)-\frac{35}{48} \operatorname{Subst}\left (\int \frac{(-1+x)^{3/2}}{x^2} \, dx,x,\csc ^2(x)\right )\\ &=\frac{35}{48} \cot ^2(x)^{3/2} \sin ^2(x)+\frac{7}{24} \cot ^2(x)^{5/2} \sin ^4(x)+\frac{1}{6} \cot ^2(x)^{7/2} \sin ^6(x)-\frac{35}{32} \operatorname{Subst}\left (\int \frac{\sqrt{-1+x}}{x} \, dx,x,\csc ^2(x)\right )\\ &=-\frac{35}{16} \sqrt{\cot ^2(x)}+\frac{35}{48} \cot ^2(x)^{3/2} \sin ^2(x)+\frac{7}{24} \cot ^2(x)^{5/2} \sin ^4(x)+\frac{1}{6} \cot ^2(x)^{7/2} \sin ^6(x)+\frac{35}{32} \operatorname{Subst}\left (\int \frac{1}{\sqrt{-1+x} x} \, dx,x,\csc ^2(x)\right )\\ &=-\frac{35}{16} \sqrt{\cot ^2(x)}+\frac{35}{48} \cot ^2(x)^{3/2} \sin ^2(x)+\frac{7}{24} \cot ^2(x)^{5/2} \sin ^4(x)+\frac{1}{6} \cot ^2(x)^{7/2} \sin ^6(x)+\frac{35}{16} \operatorname{Subst}\left (\int \frac{1}{1+x^2} \, dx,x,\sqrt{\cot ^2(x)}\right )\\ &=\frac{35}{16} \tan ^{-1}\left (\sqrt{\cot ^2(x)}\right )-\frac{35}{16} \sqrt{\cot ^2(x)}+\frac{35}{48} \cot ^2(x)^{3/2} \sin ^2(x)+\frac{7}{24} \cot ^2(x)^{5/2} \sin ^4(x)+\frac{1}{6} \cot ^2(x)^{7/2} \sin ^6(x)\\ \end{align*}
Mathematica [A] time = 0.0889674, size = 40, normalized size = 0.53 \[ \frac{1}{384} \sqrt{\cot ^2(x)} \sec (x) (-840 x \sin (x)-525 \cos (x)+126 \cos (3 x)+14 \cos (5 x)+\cos (7 x)) \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.194, size = 54, normalized size = 0.7 \begin{align*} -{\frac{\sqrt{4} \left ( -8\, \left ( \cos \left ( x \right ) \right ) ^{7}-14\, \left ( \cos \left ( x \right ) \right ) ^{5}-35\, \left ( \cos \left ( x \right ) \right ) ^{3}+105\,x\sin \left ( x \right ) +105\,\cos \left ( x \right ) \right ) }{96\,\cos \left ( x \right ) }\sqrt{-{\frac{ \left ( \cos \left ( x \right ) \right ) ^{2}}{-1+ \left ( \cos \left ( x \right ) \right ) ^{2}}}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [B] time = 1.47936, size = 184, normalized size = 2.42 \begin{align*} -\frac{3}{2} \, \sqrt{\frac{1}{\sin \left (x\right )^{2}} - 1} \sin \left (x\right )^{2} - \sqrt{\frac{1}{\sin \left (x\right )^{2}} - 1} + \frac{3 \,{\left (\frac{1}{\sin \left (x\right )^{2}} - 1\right )}^{\frac{5}{2}} + 8 \,{\left (\frac{1}{\sin \left (x\right )^{2}} - 1\right )}^{\frac{3}{2}} - 3 \, \sqrt{\frac{1}{\sin \left (x\right )^{2}} - 1}}{48 \,{\left ({\left (\frac{1}{\sin \left (x\right )^{2}} - 1\right )}^{3} + 3 \,{\left (\frac{1}{\sin \left (x\right )^{2}} - 1\right )}^{2} + \frac{3}{\sin \left (x\right )^{2}} - 2\right )}} - \frac{3 \,{\left ({\left (\frac{1}{\sin \left (x\right )^{2}} - 1\right )}^{\frac{3}{2}} - \sqrt{\frac{1}{\sin \left (x\right )^{2}} - 1}\right )}}{8 \,{\left ({\left (\frac{1}{\sin \left (x\right )^{2}} - 1\right )}^{2} + \frac{2}{\sin \left (x\right )^{2}} - 1\right )}} + \frac{35}{16} \, \arctan \left (\sqrt{\frac{1}{\sin \left (x\right )^{2}} - 1}\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 2.11007, size = 112, normalized size = 1.47 \begin{align*} -\frac{8 \, \cos \left (x\right )^{7} + 14 \, \cos \left (x\right )^{5} + 35 \, \cos \left (x\right )^{3} - 105 \, x \sin \left (x\right ) - 105 \, \cos \left (x\right )}{48 \, \sin \left (x\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.09798, size = 131, normalized size = 1.72 \begin{align*} -\frac{1}{48} \,{\left ({\left (2 \,{\left (4 \, \sin \left (x\right )^{2} - 19\right )} \sin \left (x\right )^{2} + 87\right )} \sqrt{-\sin \left (x\right )^{2} + 1} \sin \left (x\right ) - 105 \,{\left (\pi \left \lfloor \frac{x}{\pi } + \frac{1}{2} \right \rfloor - x\right )} \left (-1\right )^{\left \lfloor \frac{x}{\pi } + \frac{1}{2} \right \rfloor } + \frac{24 \,{\left (\sqrt{-\sin \left (x\right )^{2} + 1} - 1\right )}}{\sin \left (x\right )} - \frac{24 \, \sin \left (x\right )}{\sqrt{-\sin \left (x\right )^{2} + 1} - 1}\right )} \mathrm{sgn}\left (\sin \left (x\right )\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]