Optimal. Leaf size=22 \[ -x+\tan (x)-\frac {\tan ^3(x)}{3}+\frac {\tan ^5(x)}{5} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.01, antiderivative size = 22, normalized size of antiderivative = 1.00, number of steps
used = 4, number of rules used = 2, integrand size = 4, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.500, Rules used = {3554, 8}
\begin {gather*} -x+\frac {\tan ^5(x)}{5}-\frac {\tan ^3(x)}{3}+\tan (x) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 8
Rule 3554
Rubi steps
\begin {align*} \int \tan ^6(x) \, dx &=\frac {\tan ^5(x)}{5}-\int \tan ^4(x) \, dx\\ &=-\frac {1}{3} \tan ^3(x)+\frac {\tan ^5(x)}{5}+\int \tan ^2(x) \, dx\\ &=\tan (x)-\frac {\tan ^3(x)}{3}+\frac {\tan ^5(x)}{5}-\int 1 \, dx\\ &=-x+\tan (x)-\frac {\tan ^3(x)}{3}+\frac {\tan ^5(x)}{5}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.00, size = 30, normalized size = 1.36 \begin {gather*} -x+\frac {23 \tan (x)}{15}-\frac {11}{15} \sec ^2(x) \tan (x)+\frac {1}{5} \sec ^4(x) \tan (x) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.01, size = 21, normalized size = 0.95
method | result | size |
norman | \(-x +\tan \left (x \right )-\frac {\left (\tan ^{3}\left (x \right )\right )}{3}+\frac {\left (\tan ^{5}\left (x \right )\right )}{5}\) | \(19\) |
derivativedivides | \(\frac {\left (\tan ^{5}\left (x \right )\right )}{5}-\frac {\left (\tan ^{3}\left (x \right )\right )}{3}+\tan \left (x \right )-\arctan \left (\tan \left (x \right )\right )\) | \(21\) |
default | \(\frac {\left (\tan ^{5}\left (x \right )\right )}{5}-\frac {\left (\tan ^{3}\left (x \right )\right )}{3}+\tan \left (x \right )-\arctan \left (\tan \left (x \right )\right )\) | \(21\) |
risch | \(-x +\frac {2 i \left (45 \,{\mathrm e}^{8 i x}+90 \,{\mathrm e}^{6 i x}+140 \,{\mathrm e}^{4 i x}+70 \,{\mathrm e}^{2 i x}+23\right )}{15 \left ({\mathrm e}^{2 i x}+1\right )^{5}}\) | \(47\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 2.88, size = 18, normalized size = 0.82 \begin {gather*} \frac {1}{5} \, \tan \left (x\right )^{5} - \frac {1}{3} \, \tan \left (x\right )^{3} - x + \tan \left (x\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 1.16, size = 18, normalized size = 0.82 \begin {gather*} \frac {1}{5} \, \tan \left (x\right )^{5} - \frac {1}{3} \, \tan \left (x\right )^{3} - x + \tan \left (x\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A]
time = 0.02, size = 31, normalized size = 1.41 \begin {gather*} - x + \frac {\sin ^{5}{\left (x \right )}}{5 \cos ^{5}{\left (x \right )}} - \frac {\sin ^{3}{\left (x \right )}}{3 \cos ^{3}{\left (x \right )}} + \frac {\sin {\left (x \right )}}{\cos {\left (x \right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 1.49, size = 18, normalized size = 0.82 \begin {gather*} \frac {1}{5} \, \tan \left (x\right )^{5} - \frac {1}{3} \, \tan \left (x\right )^{3} - x + \tan \left (x\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 0.03, size = 18, normalized size = 0.82 \begin {gather*} \frac {{\mathrm {tan}\left (x\right )}^5}{5}-\frac {{\mathrm {tan}\left (x\right )}^3}{3}+\mathrm {tan}\left (x\right )-x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________