Optimal. Leaf size=41 \[ \frac{\tan ^5(x)}{5}+\frac{5 \tan ^3(x)}{3}+10 \tan (x)-\frac{1}{5} \cot ^5(x)-\frac{5 \cot ^3(x)}{3}-10 \cot (x) \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.0338857, antiderivative size = 41, normalized size of antiderivative = 1., number of steps used = 3, number of rules used = 2, integrand size = 9, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.222, Rules used = {2620, 270} \[ \frac{\tan ^5(x)}{5}+\frac{5 \tan ^3(x)}{3}+10 \tan (x)-\frac{1}{5} \cot ^5(x)-\frac{5 \cot ^3(x)}{3}-10 \cot (x) \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 2620
Rule 270
Rubi steps
\begin{align*} \int \csc ^6(x) \sec ^6(x) \, dx &=\operatorname{Subst}\left (\int \frac{\left (1+x^2\right )^5}{x^6} \, dx,x,\tan (x)\right )\\ &=\operatorname{Subst}\left (\int \left (10+\frac{1}{x^6}+\frac{5}{x^4}+\frac{10}{x^2}+5 x^2+x^4\right ) \, dx,x,\tan (x)\right )\\ &=-10 \cot (x)-\frac{5 \cot ^3(x)}{3}-\frac{\cot ^5(x)}{5}+10 \tan (x)+\frac{5 \tan ^3(x)}{3}+\frac{\tan ^5(x)}{5}\\ \end{align*}
Mathematica [A] time = 0.0363721, size = 53, normalized size = 1.29 \[ \frac{128 \tan (x)}{15}-\frac{128 \cot (x)}{15}-\frac{1}{5} \cot (x) \csc ^4(x)-\frac{19}{15} \cot (x) \csc ^2(x)+\frac{1}{5} \tan (x) \sec ^4(x)+\frac{19}{15} \tan (x) \sec ^2(x) \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.011, size = 56, normalized size = 1.4 \begin{align*}{\frac{1}{5\, \left ( \sin \left ( x \right ) \right ) ^{5} \left ( \cos \left ( x \right ) \right ) ^{5}}}-{\frac{2}{5\, \left ( \sin \left ( x \right ) \right ) ^{5} \left ( \cos \left ( x \right ) \right ) ^{3}}}+{\frac{16}{15\, \left ( \cos \left ( x \right ) \right ) ^{3} \left ( \sin \left ( x \right ) \right ) ^{3}}}-{\frac{32}{15\,\cos \left ( x \right ) \left ( \sin \left ( x \right ) \right ) ^{3}}}+{\frac{128}{15\,\cos \left ( x \right ) \sin \left ( x \right ) }}-{\frac{256\,\cot \left ( x \right ) }{15}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 0.943402, size = 50, normalized size = 1.22 \begin{align*} \frac{1}{5} \, \tan \left (x\right )^{5} + \frac{5}{3} \, \tan \left (x\right )^{3} - \frac{150 \, \tan \left (x\right )^{4} + 25 \, \tan \left (x\right )^{2} + 3}{15 \, \tan \left (x\right )^{5}} + 10 \, \tan \left (x\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 1.93181, size = 174, normalized size = 4.24 \begin{align*} -\frac{256 \, \cos \left (x\right )^{10} - 640 \, \cos \left (x\right )^{8} + 480 \, \cos \left (x\right )^{6} - 80 \, \cos \left (x\right )^{4} - 10 \, \cos \left (x\right )^{2} - 3}{15 \,{\left (\cos \left (x\right )^{9} - 2 \, \cos \left (x\right )^{7} + \cos \left (x\right )^{5}\right )} \sin \left (x\right )} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A] time = 0.067319, size = 44, normalized size = 1.07 \begin{align*} - \frac{256 \cos{\left (2 x \right )}}{15 \sin{\left (2 x \right )}} - \frac{128 \cos{\left (2 x \right )}}{15 \sin ^{3}{\left (2 x \right )}} - \frac{32 \cos{\left (2 x \right )}}{5 \sin ^{5}{\left (2 x \right )}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.06296, size = 35, normalized size = 0.85 \begin{align*} -\frac{32 \,{\left (15 \, \tan \left (2 \, x\right )^{4} + 10 \, \tan \left (2 \, x\right )^{2} + 3\right )}}{15 \, \tan \left (2 \, x\right )^{5}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]