Optimal. Leaf size=153 \[ -\frac{23}{5} i x \text{PolyLog}\left (2,-e^{2 i x}\right )+\frac{23}{10} \text{PolyLog}\left (3,-e^{2 i x}\right )-\frac{x^4}{4}-\frac{23 i x^3}{15}+\frac{19 x^2}{20}+\frac{23}{5} x^2 \log \left (1+e^{2 i x}\right )+\frac{1}{5} x^3 \tan ^5(x)-\frac{3}{20} x^2 \tan ^4(x)-\frac{1}{3} x^3 \tan ^3(x)+\frac{4}{5} x^2 \tan ^2(x)+x^3 \tan (x)+\frac{1}{10} x \tan ^3(x)-\frac{\tan ^2(x)}{20}-\frac{19}{10} x \tan (x)-2 \log (\cos (x)) \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.40749, antiderivative size = 153, normalized size of antiderivative = 1., number of steps used = 34, number of rules used = 9, integrand size = 8, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 1.125, Rules used = {3720, 3473, 3475, 30, 3719, 2190, 2531, 2282, 6589} \[ -\frac{23}{5} i x \text{PolyLog}\left (2,-e^{2 i x}\right )+\frac{23}{10} \text{PolyLog}\left (3,-e^{2 i x}\right )-\frac{x^4}{4}-\frac{23 i x^3}{15}+\frac{19 x^2}{20}+\frac{23}{5} x^2 \log \left (1+e^{2 i x}\right )+\frac{1}{5} x^3 \tan ^5(x)-\frac{3}{20} x^2 \tan ^4(x)-\frac{1}{3} x^3 \tan ^3(x)+\frac{4}{5} x^2 \tan ^2(x)+x^3 \tan (x)+\frac{1}{10} x \tan ^3(x)-\frac{\tan ^2(x)}{20}-\frac{19}{10} x \tan (x)-2 \log (\cos (x)) \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 3720
Rule 3473
Rule 3475
Rule 30
Rule 3719
Rule 2190
Rule 2531
Rule 2282
Rule 6589
Rubi steps
\begin{align*} \int x^3 \tan ^6(x) \, dx &=\frac{1}{5} x^3 \tan ^5(x)-\frac{3}{5} \int x^2 \tan ^5(x) \, dx-\int x^3 \tan ^4(x) \, dx\\ &=-\frac{1}{3} x^3 \tan ^3(x)-\frac{3}{20} x^2 \tan ^4(x)+\frac{1}{5} x^3 \tan ^5(x)+\frac{3}{10} \int x \tan ^4(x) \, dx+\frac{3}{5} \int x^2 \tan ^3(x) \, dx+\int x^3 \tan ^2(x) \, dx+\int x^2 \tan ^3(x) \, dx\\ &=x^3 \tan (x)+\frac{4}{5} x^2 \tan ^2(x)+\frac{1}{10} x \tan ^3(x)-\frac{1}{3} x^3 \tan ^3(x)-\frac{3}{20} x^2 \tan ^4(x)+\frac{1}{5} x^3 \tan ^5(x)-\frac{1}{10} \int \tan ^3(x) \, dx-\frac{3}{10} \int x \tan ^2(x) \, dx-\frac{3}{5} \int x^2 \tan (x) \, dx-\frac{3}{5} \int x \tan ^2(x) \, dx-3 \int x^2 \tan (x) \, dx-\int x^3 \, dx-\int x^2 \tan (x) \, dx-\int x \tan ^2(x) \, dx\\ &=-\frac{23 i x^3}{15}-\frac{x^4}{4}-\frac{19}{10} x \tan (x)+x^3 \tan (x)-\frac{\tan ^2(x)}{20}+\frac{4}{5} x^2 \tan ^2(x)+\frac{1}{10} x \tan ^3(x)-\frac{1}{3} x^3 \tan ^3(x)-\frac{3}{20} x^2 \tan ^4(x)+\frac{1}{5} x^3 \tan ^5(x)+\frac{6}{5} i \int \frac{e^{2 i x} x^2}{1+e^{2 i x}} \, dx+2 i \int \frac{e^{2 i x} x^2}{1+e^{2 i x}} \, dx+6 i \int \frac{e^{2 i x} x^2}{1+e^{2 i x}} \, dx+\frac{1}{10} \int \tan (x) \, dx+\frac{3 \int x \, dx}{10}+\frac{3}{10} \int \tan (x) \, dx+\frac{3 \int x \, dx}{5}+\frac{3}{5} \int \tan (x) \, dx+\int x \, dx+\int \tan (x) \, dx\\ &=\frac{19 x^2}{20}-\frac{23 i x^3}{15}-\frac{x^4}{4}+\frac{23}{5} x^2 \log \left (1+e^{2 i x}\right )-2 \log (\cos (x))-\frac{19}{10} x \tan (x)+x^3 \tan (x)-\frac{\tan ^2(x)}{20}+\frac{4}{5} x^2 \tan ^2(x)+\frac{1}{10} x \tan ^3(x)-\frac{1}{3} x^3 \tan ^3(x)-\frac{3}{20} x^2 \tan ^4(x)+\frac{1}{5} x^3 \tan ^5(x)-\frac{6}{5} \int x \log \left (1+e^{2 i x}\right ) \, dx-2 \int x \log \left (1+e^{2 i x}\right ) \, dx-6 \int x \log \left (1+e^{2 i x}\right ) \, dx\\ &=\frac{19 x^2}{20}-\frac{23 i x^3}{15}-\frac{x^4}{4}+\frac{23}{5} x^2 \log \left (1+e^{2 i x}\right )-2 \log (\cos (x))-\frac{23}{5} i x \text{Li}_2\left (-e^{2 i x}\right )-\frac{19}{10} x \tan (x)+x^3 \tan (x)-\frac{\tan ^2(x)}{20}+\frac{4}{5} x^2 \tan ^2(x)+\frac{1}{10} x \tan ^3(x)-\frac{1}{3} x^3 \tan ^3(x)-\frac{3}{20} x^2 \tan ^4(x)+\frac{1}{5} x^3 \tan ^5(x)+\frac{3}{5} i \int \text{Li}_2\left (-e^{2 i x}\right ) \, dx+i \int \text{Li}_2\left (-e^{2 i x}\right ) \, dx+3 i \int \text{Li}_2\left (-e^{2 i x}\right ) \, dx\\ &=\frac{19 x^2}{20}-\frac{23 i x^3}{15}-\frac{x^4}{4}+\frac{23}{5} x^2 \log \left (1+e^{2 i x}\right )-2 \log (\cos (x))-\frac{23}{5} i x \text{Li}_2\left (-e^{2 i x}\right )-\frac{19}{10} x \tan (x)+x^3 \tan (x)-\frac{\tan ^2(x)}{20}+\frac{4}{5} x^2 \tan ^2(x)+\frac{1}{10} x \tan ^3(x)-\frac{1}{3} x^3 \tan ^3(x)-\frac{3}{20} x^2 \tan ^4(x)+\frac{1}{5} x^3 \tan ^5(x)+\frac{3}{10} \operatorname{Subst}\left (\int \frac{\text{Li}_2(-x)}{x} \, dx,x,e^{2 i x}\right )+\frac{1}{2} \operatorname{Subst}\left (\int \frac{\text{Li}_2(-x)}{x} \, dx,x,e^{2 i x}\right )+\frac{3}{2} \operatorname{Subst}\left (\int \frac{\text{Li}_2(-x)}{x} \, dx,x,e^{2 i x}\right )\\ &=\frac{19 x^2}{20}-\frac{23 i x^3}{15}-\frac{x^4}{4}+\frac{23}{5} x^2 \log \left (1+e^{2 i x}\right )-2 \log (\cos (x))-\frac{23}{5} i x \text{Li}_2\left (-e^{2 i x}\right )+\frac{23}{10} \text{Li}_3\left (-e^{2 i x}\right )-\frac{19}{10} x \tan (x)+x^3 \tan (x)-\frac{\tan ^2(x)}{20}+\frac{4}{5} x^2 \tan ^2(x)+\frac{1}{10} x \tan ^3(x)-\frac{1}{3} x^3 \tan ^3(x)-\frac{3}{20} x^2 \tan ^4(x)+\frac{1}{5} x^3 \tan ^5(x)\\ \end{align*}
Mathematica [A] time = 0.310905, size = 133, normalized size = 0.87 \[ \frac{1}{60} \left (-276 i x \text{PolyLog}\left (2,-e^{2 i x}\right )+138 \text{PolyLog}\left (3,-e^{2 i x}\right )-15 x^4-92 i x^3+276 x^2 \log \left (1+e^{2 i x}\right )+92 x^3 \tan (x)-9 x^2 \sec ^4(x)+66 x^2 \sec ^2(x)+12 x^3 \tan (x) \sec ^4(x)-44 x^3 \tan (x) \sec ^2(x)-120 x \tan (x)-3 \sec ^2(x)-120 \log (\cos (x))+6 x \tan (x) \sec ^2(x)\right ) \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.069, size = 237, normalized size = 1.6 \begin{align*} -{\frac{{x}^{4}}{4}}+{\frac{{\frac{i}{15}} \left ( -66\,i{x}^{2}{{\rm e}^{2\,ix}}+90\,{x}^{3}{{\rm e}^{8\,ix}}-162\,i{x}^{2}{{\rm e}^{6\,ix}}-162\,i{x}^{2}{{\rm e}^{4\,ix}}+180\,{x}^{3}{{\rm e}^{6\,ix}}-66\,x{{\rm e}^{8\,ix}}+3\,i{{\rm e}^{2\,ix}}+9\,i{{\rm e}^{6\,ix}}+280\,{x}^{3}{{\rm e}^{4\,ix}}-246\,x{{\rm e}^{6\,ix}}+3\,i{{\rm e}^{8\,ix}}+9\,i{{\rm e}^{4\,ix}}+140\,{x}^{3}{{\rm e}^{2\,ix}}-354\,x{{\rm e}^{4\,ix}}-66\,i{x}^{2}{{\rm e}^{8\,ix}}+46\,{x}^{3}-234\,x{{\rm e}^{2\,ix}}-60\,x \right ) }{ \left ( 1+{{\rm e}^{2\,ix}} \right ) ^{5}}}+4\,\ln \left ({{\rm e}^{ix}} \right ) -2\,\ln \left ( 1+{{\rm e}^{2\,ix}} \right ) -{\frac{46\,i}{15}}{x}^{3}+{\frac{23\,{x}^{2}\ln \left ( 1+{{\rm e}^{2\,ix}} \right ) }{5}}-{\frac{23\,i}{5}}x{\it polylog} \left ( 2,-{{\rm e}^{2\,ix}} \right ) +{\frac{23\,{\it polylog} \left ( 3,-{{\rm e}^{2\,ix}} \right ) }{10}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [B] time = 3.09721, size = 1034, normalized size = 6.76 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [C] time = 1.84195, size = 683, normalized size = 4.46 \begin{align*} \frac{1}{5} \, x^{3} \tan \left (x\right )^{5} - \frac{3}{20} \, x^{2} \tan \left (x\right )^{4} - \frac{1}{4} \, x^{4} - \frac{1}{30} \,{\left (10 \, x^{3} - 3 \, x\right )} \tan \left (x\right )^{3} + \frac{1}{20} \,{\left (16 \, x^{2} - 1\right )} \tan \left (x\right )^{2} + \frac{19}{20} \, x^{2} + \frac{23}{10} i \, x{\rm Li}_2\left (\frac{2 \,{\left (i \, \tan \left (x\right ) - 1\right )}}{\tan \left (x\right )^{2} + 1} + 1\right ) - \frac{23}{10} i \, x{\rm Li}_2\left (\frac{2 \,{\left (-i \, \tan \left (x\right ) - 1\right )}}{\tan \left (x\right )^{2} + 1} + 1\right ) + \frac{1}{10} \,{\left (23 \, x^{2} - 10\right )} \log \left (-\frac{2 \,{\left (i \, \tan \left (x\right ) - 1\right )}}{\tan \left (x\right )^{2} + 1}\right ) + \frac{1}{10} \,{\left (23 \, x^{2} - 10\right )} \log \left (-\frac{2 \,{\left (-i \, \tan \left (x\right ) - 1\right )}}{\tan \left (x\right )^{2} + 1}\right ) + \frac{1}{10} \,{\left (10 \, x^{3} - 19 \, x\right )} \tan \left (x\right ) + \frac{23}{20} \,{\rm polylog}\left (3, \frac{\tan \left (x\right )^{2} + 2 i \, \tan \left (x\right ) - 1}{\tan \left (x\right )^{2} + 1}\right ) + \frac{23}{20} \,{\rm polylog}\left (3, \frac{\tan \left (x\right )^{2} - 2 i \, \tan \left (x\right ) - 1}{\tan \left (x\right )^{2} + 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 x^{3} \tan ^{6}{\left (x \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 x^{3} \tan \left (x\right )^{6}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]