Optimal. Leaf size=341 \[ 3 i x^2 \cos (x) \text{PolyLog}\left (2,-e^{i x}\right ) \sqrt{a \sec ^2(x)}-3 i x^2 \cos (x) \text{PolyLog}\left (2,e^{i x}\right ) \sqrt{a \sec ^2(x)}-6 i x \cos (x) \text{PolyLog}\left (2,-i e^{i x}\right ) \sqrt{a \sec ^2(x)}+6 i x \cos (x) \text{PolyLog}\left (2,i e^{i x}\right ) \sqrt{a \sec ^2(x)}-6 x \cos (x) \text{PolyLog}\left (3,-e^{i x}\right ) \sqrt{a \sec ^2(x)}+6 x \cos (x) \text{PolyLog}\left (3,e^{i x}\right ) \sqrt{a \sec ^2(x)}+6 \cos (x) \text{PolyLog}\left (3,-i e^{i x}\right ) \sqrt{a \sec ^2(x)}-6 \cos (x) \text{PolyLog}\left (3,i e^{i x}\right ) \sqrt{a \sec ^2(x)}-6 i \cos (x) \text{PolyLog}\left (4,-e^{i x}\right ) \sqrt{a \sec ^2(x)}+6 i \cos (x) \text{PolyLog}\left (4,e^{i x}\right ) \sqrt{a \sec ^2(x)}+x^3 \sqrt{a \sec ^2(x)}+6 i x^2 \cos (x) \tan ^{-1}\left (e^{i x}\right ) \sqrt{a \sec ^2(x)}-2 x^3 \cos (x) \tanh ^{-1}\left (e^{i x}\right ) \sqrt{a \sec ^2(x)} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.62853, antiderivative size = 341, normalized size of antiderivative = 1., number of steps used = 21, number of rules used = 13, integrand size = 18, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.722, Rules used = {6720, 2622, 321, 207, 4420, 14, 6273, 4183, 2531, 6609, 2282, 6589, 4181} \[ 3 i x^2 \cos (x) \text{PolyLog}\left (2,-e^{i x}\right ) \sqrt{a \sec ^2(x)}-3 i x^2 \cos (x) \text{PolyLog}\left (2,e^{i x}\right ) \sqrt{a \sec ^2(x)}-6 i x \cos (x) \text{PolyLog}\left (2,-i e^{i x}\right ) \sqrt{a \sec ^2(x)}+6 i x \cos (x) \text{PolyLog}\left (2,i e^{i x}\right ) \sqrt{a \sec ^2(x)}-6 x \cos (x) \text{PolyLog}\left (3,-e^{i x}\right ) \sqrt{a \sec ^2(x)}+6 x \cos (x) \text{PolyLog}\left (3,e^{i x}\right ) \sqrt{a \sec ^2(x)}+6 \cos (x) \text{PolyLog}\left (3,-i e^{i x}\right ) \sqrt{a \sec ^2(x)}-6 \cos (x) \text{PolyLog}\left (3,i e^{i x}\right ) \sqrt{a \sec ^2(x)}-6 i \cos (x) \text{PolyLog}\left (4,-e^{i x}\right ) \sqrt{a \sec ^2(x)}+6 i \cos (x) \text{PolyLog}\left (4,e^{i x}\right ) \sqrt{a \sec ^2(x)}+x^3 \sqrt{a \sec ^2(x)}+6 i x^2 \cos (x) \tan ^{-1}\left (e^{i x}\right ) \sqrt{a \sec ^2(x)}-2 x^3 \cos (x) \tanh ^{-1}\left (e^{i x}\right ) \sqrt{a \sec ^2(x)} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 6720
Rule 2622
Rule 321
Rule 207
Rule 4420
Rule 14
Rule 6273
Rule 4183
Rule 2531
Rule 6609
Rule 2282
Rule 6589
Rule 4181
Rubi steps
\begin{align*} \int x^3 \csc (x) \sec (x) \sqrt{a \sec ^2(x)} \, dx &=\left (\cos (x) \sqrt{a \sec ^2(x)}\right ) \int x^3 \csc (x) \sec ^2(x) \, dx\\ &=x^3 \sqrt{a \sec ^2(x)}-x^3 \tanh ^{-1}(\cos (x)) \cos (x) \sqrt{a \sec ^2(x)}-\left (3 \cos (x) \sqrt{a \sec ^2(x)}\right ) \int x^2 \left (-\tanh ^{-1}(\cos (x))+\sec (x)\right ) \, dx\\ &=x^3 \sqrt{a \sec ^2(x)}-x^3 \tanh ^{-1}(\cos (x)) \cos (x) \sqrt{a \sec ^2(x)}-\left (3 \cos (x) \sqrt{a \sec ^2(x)}\right ) \int \left (-x^2 \tanh ^{-1}(\cos (x))+x^2 \sec (x)\right ) \, dx\\ &=x^3 \sqrt{a \sec ^2(x)}-x^3 \tanh ^{-1}(\cos (x)) \cos (x) \sqrt{a \sec ^2(x)}+\left (3 \cos (x) \sqrt{a \sec ^2(x)}\right ) \int x^2 \tanh ^{-1}(\cos (x)) \, dx-\left (3 \cos (x) \sqrt{a \sec ^2(x)}\right ) \int x^2 \sec (x) \, dx\\ &=x^3 \sqrt{a \sec ^2(x)}+6 i x^2 \tan ^{-1}\left (e^{i x}\right ) \cos (x) \sqrt{a \sec ^2(x)}+\left (\cos (x) \sqrt{a \sec ^2(x)}\right ) \int x^3 \csc (x) \, dx+\left (6 \cos (x) \sqrt{a \sec ^2(x)}\right ) \int x \log \left (1-i e^{i x}\right ) \, dx-\left (6 \cos (x) \sqrt{a \sec ^2(x)}\right ) \int x \log \left (1+i e^{i x}\right ) \, dx\\ &=x^3 \sqrt{a \sec ^2(x)}+6 i x^2 \tan ^{-1}\left (e^{i x}\right ) \cos (x) \sqrt{a \sec ^2(x)}-2 x^3 \tanh ^{-1}\left (e^{i x}\right ) \cos (x) \sqrt{a \sec ^2(x)}-6 i x \cos (x) \text{Li}_2\left (-i e^{i x}\right ) \sqrt{a \sec ^2(x)}+6 i x \cos (x) \text{Li}_2\left (i e^{i x}\right ) \sqrt{a \sec ^2(x)}+\left (6 i \cos (x) \sqrt{a \sec ^2(x)}\right ) \int \text{Li}_2\left (-i e^{i x}\right ) \, dx-\left (6 i \cos (x) \sqrt{a \sec ^2(x)}\right ) \int \text{Li}_2\left (i e^{i x}\right ) \, dx-\left (3 \cos (x) \sqrt{a \sec ^2(x)}\right ) \int x^2 \log \left (1-e^{i x}\right ) \, dx+\left (3 \cos (x) \sqrt{a \sec ^2(x)}\right ) \int x^2 \log \left (1+e^{i x}\right ) \, dx\\ &=x^3 \sqrt{a \sec ^2(x)}+6 i x^2 \tan ^{-1}\left (e^{i x}\right ) \cos (x) \sqrt{a \sec ^2(x)}-2 x^3 \tanh ^{-1}\left (e^{i x}\right ) \cos (x) \sqrt{a \sec ^2(x)}+3 i x^2 \cos (x) \text{Li}_2\left (-e^{i x}\right ) \sqrt{a \sec ^2(x)}-6 i x \cos (x) \text{Li}_2\left (-i e^{i x}\right ) \sqrt{a \sec ^2(x)}+6 i x \cos (x) \text{Li}_2\left (i e^{i x}\right ) \sqrt{a \sec ^2(x)}-3 i x^2 \cos (x) \text{Li}_2\left (e^{i x}\right ) \sqrt{a \sec ^2(x)}-\left (6 i \cos (x) \sqrt{a \sec ^2(x)}\right ) \int x \text{Li}_2\left (-e^{i x}\right ) \, dx+\left (6 i \cos (x) \sqrt{a \sec ^2(x)}\right ) \int x \text{Li}_2\left (e^{i x}\right ) \, dx+\left (6 \cos (x) \sqrt{a \sec ^2(x)}\right ) \operatorname{Subst}\left (\int \frac{\text{Li}_2(-i x)}{x} \, dx,x,e^{i x}\right )-\left (6 \cos (x) \sqrt{a \sec ^2(x)}\right ) \operatorname{Subst}\left (\int \frac{\text{Li}_2(i x)}{x} \, dx,x,e^{i x}\right )\\ &=x^3 \sqrt{a \sec ^2(x)}+6 i x^2 \tan ^{-1}\left (e^{i x}\right ) \cos (x) \sqrt{a \sec ^2(x)}-2 x^3 \tanh ^{-1}\left (e^{i x}\right ) \cos (x) \sqrt{a \sec ^2(x)}+3 i x^2 \cos (x) \text{Li}_2\left (-e^{i x}\right ) \sqrt{a \sec ^2(x)}-6 i x \cos (x) \text{Li}_2\left (-i e^{i x}\right ) \sqrt{a \sec ^2(x)}+6 i x \cos (x) \text{Li}_2\left (i e^{i x}\right ) \sqrt{a \sec ^2(x)}-3 i x^2 \cos (x) \text{Li}_2\left (e^{i x}\right ) \sqrt{a \sec ^2(x)}-6 x \cos (x) \text{Li}_3\left (-e^{i x}\right ) \sqrt{a \sec ^2(x)}+6 \cos (x) \text{Li}_3\left (-i e^{i x}\right ) \sqrt{a \sec ^2(x)}-6 \cos (x) \text{Li}_3\left (i e^{i x}\right ) \sqrt{a \sec ^2(x)}+6 x \cos (x) \text{Li}_3\left (e^{i x}\right ) \sqrt{a \sec ^2(x)}+\left (6 \cos (x) \sqrt{a \sec ^2(x)}\right ) \int \text{Li}_3\left (-e^{i x}\right ) \, dx-\left (6 \cos (x) \sqrt{a \sec ^2(x)}\right ) \int \text{Li}_3\left (e^{i x}\right ) \, dx\\ &=x^3 \sqrt{a \sec ^2(x)}+6 i x^2 \tan ^{-1}\left (e^{i x}\right ) \cos (x) \sqrt{a \sec ^2(x)}-2 x^3 \tanh ^{-1}\left (e^{i x}\right ) \cos (x) \sqrt{a \sec ^2(x)}+3 i x^2 \cos (x) \text{Li}_2\left (-e^{i x}\right ) \sqrt{a \sec ^2(x)}-6 i x \cos (x) \text{Li}_2\left (-i e^{i x}\right ) \sqrt{a \sec ^2(x)}+6 i x \cos (x) \text{Li}_2\left (i e^{i x}\right ) \sqrt{a \sec ^2(x)}-3 i x^2 \cos (x) \text{Li}_2\left (e^{i x}\right ) \sqrt{a \sec ^2(x)}-6 x \cos (x) \text{Li}_3\left (-e^{i x}\right ) \sqrt{a \sec ^2(x)}+6 \cos (x) \text{Li}_3\left (-i e^{i x}\right ) \sqrt{a \sec ^2(x)}-6 \cos (x) \text{Li}_3\left (i e^{i x}\right ) \sqrt{a \sec ^2(x)}+6 x \cos (x) \text{Li}_3\left (e^{i x}\right ) \sqrt{a \sec ^2(x)}-\left (6 i \cos (x) \sqrt{a \sec ^2(x)}\right ) \operatorname{Subst}\left (\int \frac{\text{Li}_3(-x)}{x} \, dx,x,e^{i x}\right )+\left (6 i \cos (x) \sqrt{a \sec ^2(x)}\right ) \operatorname{Subst}\left (\int \frac{\text{Li}_3(x)}{x} \, dx,x,e^{i x}\right )\\ &=x^3 \sqrt{a \sec ^2(x)}+6 i x^2 \tan ^{-1}\left (e^{i x}\right ) \cos (x) \sqrt{a \sec ^2(x)}-2 x^3 \tanh ^{-1}\left (e^{i x}\right ) \cos (x) \sqrt{a \sec ^2(x)}+3 i x^2 \cos (x) \text{Li}_2\left (-e^{i x}\right ) \sqrt{a \sec ^2(x)}-6 i x \cos (x) \text{Li}_2\left (-i e^{i x}\right ) \sqrt{a \sec ^2(x)}+6 i x \cos (x) \text{Li}_2\left (i e^{i x}\right ) \sqrt{a \sec ^2(x)}-3 i x^2 \cos (x) \text{Li}_2\left (e^{i x}\right ) \sqrt{a \sec ^2(x)}-6 x \cos (x) \text{Li}_3\left (-e^{i x}\right ) \sqrt{a \sec ^2(x)}+6 \cos (x) \text{Li}_3\left (-i e^{i x}\right ) \sqrt{a \sec ^2(x)}-6 \cos (x) \text{Li}_3\left (i e^{i x}\right ) \sqrt{a \sec ^2(x)}+6 x \cos (x) \text{Li}_3\left (e^{i x}\right ) \sqrt{a \sec ^2(x)}-6 i \cos (x) \text{Li}_4\left (-e^{i x}\right ) \sqrt{a \sec ^2(x)}+6 i \cos (x) \text{Li}_4\left (e^{i x}\right ) \sqrt{a \sec ^2(x)}\\ \end{align*}
Mathematica [A] time = 0.432337, size = 290, normalized size = 0.85 \[ \frac{1}{8} \sqrt{a \sec ^2(x)} \left (24 i x^2 \cos (x) \text{PolyLog}\left (2,e^{-i x}\right )+24 i x^2 \cos (x) \text{PolyLog}\left (2,-e^{i x}\right )-48 i x \cos (x) \text{PolyLog}\left (2,-i e^{i x}\right )+48 i x \cos (x) \text{PolyLog}\left (2,i e^{i x}\right )+48 x \cos (x) \text{PolyLog}\left (3,e^{-i x}\right )-48 x \cos (x) \text{PolyLog}\left (3,-e^{i x}\right )+48 \cos (x) \text{PolyLog}\left (3,-i e^{i x}\right )-48 \cos (x) \text{PolyLog}\left (3,i e^{i x}\right )-48 i \cos (x) \text{PolyLog}\left (4,e^{-i x}\right )-48 i \cos (x) \text{PolyLog}\left (4,-e^{i x}\right )+8 x^3+2 i x^4 \cos (x)+8 x^3 \log \left (1-e^{-i x}\right ) \cos (x)-8 x^3 \log \left (1+e^{i x}\right ) \cos (x)-24 x^2 \log \left (1-i e^{i x}\right ) \cos (x)+24 x^2 \log \left (1+i e^{i x}\right ) \cos (x)-i \pi ^4 \cos (x)\right ) \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.226, size = 250, normalized size = 0.7 \begin{align*} 2\,\sqrt{{\frac{a{{\rm e}^{2\,ix}}}{ \left ( 1+{{\rm e}^{2\,ix}} \right ) ^{2}}}}{x}^{3}+4\,\sqrt{{\frac{a{{\rm e}^{2\,ix}}}{ \left ( 1+{{\rm e}^{2\,ix}} \right ) ^{2}}}} \left ( -3/2\,{x}^{2}\ln \left ( 1-i{{\rm e}^{ix}} \right ) +3\,ix{\it polylog} \left ( 2,i{{\rm e}^{ix}} \right ) -3\,{\it polylog} \left ( 3,i{{\rm e}^{ix}} \right ) +3/2\,{x}^{2}\ln \left ( 1+i{{\rm e}^{ix}} \right ) -3\,ix{\it polylog} \left ( 2,-i{{\rm e}^{ix}} \right ) +3\,{\it polylog} \left ( 3,-i{{\rm e}^{ix}} \right ) +i/2 \left ( 1/4\,{x}^{4}+i{x}^{3}\ln \left ({{\rm e}^{ix}}+1 \right ) +3\,{x}^{2}{\it polylog} \left ( 2,-{{\rm e}^{ix}} \right ) +6\,ix{\it polylog} \left ( 3,-{{\rm e}^{ix}} \right ) -6\,{\it polylog} \left ( 4,-{{\rm e}^{ix}} \right ) \right ) +i/2 \left ( -1/4\,{x}^{4}-i{x}^{3}\ln \left ( 1-{{\rm e}^{ix}} \right ) -3\,{x}^{2}{\it polylog} \left ( 2,{{\rm e}^{ix}} \right ) -6\,ix{\it polylog} \left ( 3,{{\rm e}^{ix}} \right ) +6\,{\it polylog} \left ( 4,{{\rm e}^{ix}} \right ) \right ) \right ) \cos \left ( x \right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [B] time = 1.65314, size = 790, normalized size = 2.32 \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 = 3.03825, size = 1906, normalized size = 5.59 \begin{align*} \text{result too large to display} \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 [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \sqrt{a \sec \left (x\right )^{2}} x^{3} \csc \left (x\right ) \sec \left (x\right )\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]