Optimal. Leaf size=300 \[ \frac{2 i z \sin (z) \text{PolyLog}\left (2,-e^{i z}\right )}{\sqrt{1-\cos (z)} \sqrt{\cos (z)+1}}-\frac{2 i z \sin (z) \text{PolyLog}\left (2,e^{i z}\right )}{\sqrt{1-\cos (z)} \sqrt{\cos (z)+1}}-\frac{i z \sin (z) \text{PolyLog}\left (2,e^{2 i z}\right )}{\sqrt{1-\cos (z)} \sqrt{\cos (z)+1}}-\frac{2 \sin (z) \text{PolyLog}\left (3,-e^{i z}\right )}{\sqrt{1-\cos (z)} \sqrt{\cos (z)+1}}+\frac{2 \sin (z) \text{PolyLog}\left (3,e^{i z}\right )}{\sqrt{1-\cos (z)} \sqrt{\cos (z)+1}}+\frac{\sin (z) \text{PolyLog}\left (3,e^{2 i z}\right )}{2 \sqrt{1-\cos (z)} \sqrt{\cos (z)+1}}-\frac{i z^3 \sin (z)}{3 \sqrt{1-\cos (z)} \sqrt{\cos (z)+1}}+\frac{z^2 \log \left (1-e^{2 i z}\right ) \sin (z)}{\sqrt{1-\cos (z)} \sqrt{\cos (z)+1}}-\frac{2 z^2 \sin (z) \tanh ^{-1}\left (e^{i z}\right )}{\sqrt{1-\cos (z)} \sqrt{\cos (z)+1}} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.438342, antiderivative size = 300, normalized size of antiderivative = 1., number of steps used = 15, number of rules used = 8, integrand size = 22, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.364, Rules used = {4605, 6742, 3717, 2190, 2531, 2282, 6589, 4183} \[ \frac{2 i z \sin (z) \text{PolyLog}\left (2,-e^{i z}\right )}{\sqrt{1-\cos (z)} \sqrt{\cos (z)+1}}-\frac{2 i z \sin (z) \text{PolyLog}\left (2,e^{i z}\right )}{\sqrt{1-\cos (z)} \sqrt{\cos (z)+1}}-\frac{i z \sin (z) \text{PolyLog}\left (2,e^{2 i z}\right )}{\sqrt{1-\cos (z)} \sqrt{\cos (z)+1}}-\frac{2 \sin (z) \text{PolyLog}\left (3,-e^{i z}\right )}{\sqrt{1-\cos (z)} \sqrt{\cos (z)+1}}+\frac{2 \sin (z) \text{PolyLog}\left (3,e^{i z}\right )}{\sqrt{1-\cos (z)} \sqrt{\cos (z)+1}}+\frac{\sin (z) \text{PolyLog}\left (3,e^{2 i z}\right )}{2 \sqrt{1-\cos (z)} \sqrt{\cos (z)+1}}-\frac{i z^3 \sin (z)}{3 \sqrt{1-\cos (z)} \sqrt{\cos (z)+1}}+\frac{z^2 \log \left (1-e^{2 i z}\right ) \sin (z)}{\sqrt{1-\cos (z)} \sqrt{\cos (z)+1}}-\frac{2 z^2 \sin (z) \tanh ^{-1}\left (e^{i z}\right )}{\sqrt{1-\cos (z)} \sqrt{\cos (z)+1}} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 4605
Rule 6742
Rule 3717
Rule 2190
Rule 2531
Rule 2282
Rule 6589
Rule 4183
Rubi steps
\begin{align*} \int \frac{z^2 \sqrt{1+\cos (z)}}{\sqrt{1-\cos (z)}} \, dz &=\frac{\sin (z) \int z^2 (1+\cos (z)) \csc (z) \, dz}{\sqrt{1-\cos (z)} \sqrt{1+\cos (z)}}\\ &=\frac{\sin (z) \int \left (z^2 \cot (z)+z^2 \csc (z)\right ) \, dz}{\sqrt{1-\cos (z)} \sqrt{1+\cos (z)}}\\ &=\frac{\sin (z) \int z^2 \cot (z) \, dz}{\sqrt{1-\cos (z)} \sqrt{1+\cos (z)}}+\frac{\sin (z) \int z^2 \csc (z) \, dz}{\sqrt{1-\cos (z)} \sqrt{1+\cos (z)}}\\ &=-\frac{i z^3 \sin (z)}{3 \sqrt{1-\cos (z)} \sqrt{1+\cos (z)}}-\frac{2 z^2 \tanh ^{-1}\left (e^{i z}\right ) \sin (z)}{\sqrt{1-\cos (z)} \sqrt{1+\cos (z)}}-\frac{(2 i \sin (z)) \int \frac{e^{2 i z} z^2}{1-e^{2 i z}} \, dz}{\sqrt{1-\cos (z)} \sqrt{1+\cos (z)}}-\frac{(2 \sin (z)) \int z \log \left (1-e^{i z}\right ) \, dz}{\sqrt{1-\cos (z)} \sqrt{1+\cos (z)}}+\frac{(2 \sin (z)) \int z \log \left (1+e^{i z}\right ) \, dz}{\sqrt{1-\cos (z)} \sqrt{1+\cos (z)}}\\ &=-\frac{i z^3 \sin (z)}{3 \sqrt{1-\cos (z)} \sqrt{1+\cos (z)}}-\frac{2 z^2 \tanh ^{-1}\left (e^{i z}\right ) \sin (z)}{\sqrt{1-\cos (z)} \sqrt{1+\cos (z)}}+\frac{z^2 \log \left (1-e^{2 i z}\right ) \sin (z)}{\sqrt{1-\cos (z)} \sqrt{1+\cos (z)}}+\frac{2 i z \text{Li}_2\left (-e^{i z}\right ) \sin (z)}{\sqrt{1-\cos (z)} \sqrt{1+\cos (z)}}-\frac{2 i z \text{Li}_2\left (e^{i z}\right ) \sin (z)}{\sqrt{1-\cos (z)} \sqrt{1+\cos (z)}}-\frac{(2 i \sin (z)) \int \text{Li}_2\left (-e^{i z}\right ) \, dz}{\sqrt{1-\cos (z)} \sqrt{1+\cos (z)}}+\frac{(2 i \sin (z)) \int \text{Li}_2\left (e^{i z}\right ) \, dz}{\sqrt{1-\cos (z)} \sqrt{1+\cos (z)}}-\frac{(2 \sin (z)) \int z \log \left (1-e^{2 i z}\right ) \, dz}{\sqrt{1-\cos (z)} \sqrt{1+\cos (z)}}\\ &=-\frac{i z^3 \sin (z)}{3 \sqrt{1-\cos (z)} \sqrt{1+\cos (z)}}-\frac{2 z^2 \tanh ^{-1}\left (e^{i z}\right ) \sin (z)}{\sqrt{1-\cos (z)} \sqrt{1+\cos (z)}}+\frac{z^2 \log \left (1-e^{2 i z}\right ) \sin (z)}{\sqrt{1-\cos (z)} \sqrt{1+\cos (z)}}+\frac{2 i z \text{Li}_2\left (-e^{i z}\right ) \sin (z)}{\sqrt{1-\cos (z)} \sqrt{1+\cos (z)}}-\frac{2 i z \text{Li}_2\left (e^{i z}\right ) \sin (z)}{\sqrt{1-\cos (z)} \sqrt{1+\cos (z)}}-\frac{i z \text{Li}_2\left (e^{2 i z}\right ) \sin (z)}{\sqrt{1-\cos (z)} \sqrt{1+\cos (z)}}+\frac{(i \sin (z)) \int \text{Li}_2\left (e^{2 i z}\right ) \, dz}{\sqrt{1-\cos (z)} \sqrt{1+\cos (z)}}-\frac{(2 \sin (z)) \operatorname{Subst}\left (\int \frac{\text{Li}_2(-z)}{z} \, dz,z,e^{i z}\right )}{\sqrt{1-\cos (z)} \sqrt{1+\cos (z)}}+\frac{(2 \sin (z)) \operatorname{Subst}\left (\int \frac{\text{Li}_2(z)}{z} \, dz,z,e^{i z}\right )}{\sqrt{1-\cos (z)} \sqrt{1+\cos (z)}}\\ &=-\frac{i z^3 \sin (z)}{3 \sqrt{1-\cos (z)} \sqrt{1+\cos (z)}}-\frac{2 z^2 \tanh ^{-1}\left (e^{i z}\right ) \sin (z)}{\sqrt{1-\cos (z)} \sqrt{1+\cos (z)}}+\frac{z^2 \log \left (1-e^{2 i z}\right ) \sin (z)}{\sqrt{1-\cos (z)} \sqrt{1+\cos (z)}}+\frac{2 i z \text{Li}_2\left (-e^{i z}\right ) \sin (z)}{\sqrt{1-\cos (z)} \sqrt{1+\cos (z)}}-\frac{2 i z \text{Li}_2\left (e^{i z}\right ) \sin (z)}{\sqrt{1-\cos (z)} \sqrt{1+\cos (z)}}-\frac{i z \text{Li}_2\left (e^{2 i z}\right ) \sin (z)}{\sqrt{1-\cos (z)} \sqrt{1+\cos (z)}}-\frac{2 \text{Li}_3\left (-e^{i z}\right ) \sin (z)}{\sqrt{1-\cos (z)} \sqrt{1+\cos (z)}}+\frac{2 \text{Li}_3\left (e^{i z}\right ) \sin (z)}{\sqrt{1-\cos (z)} \sqrt{1+\cos (z)}}+\frac{\sin (z) \operatorname{Subst}\left (\int \frac{\text{Li}_2(z)}{z} \, dz,z,e^{2 i z}\right )}{2 \sqrt{1-\cos (z)} \sqrt{1+\cos (z)}}\\ &=-\frac{i z^3 \sin (z)}{3 \sqrt{1-\cos (z)} \sqrt{1+\cos (z)}}-\frac{2 z^2 \tanh ^{-1}\left (e^{i z}\right ) \sin (z)}{\sqrt{1-\cos (z)} \sqrt{1+\cos (z)}}+\frac{z^2 \log \left (1-e^{2 i z}\right ) \sin (z)}{\sqrt{1-\cos (z)} \sqrt{1+\cos (z)}}+\frac{2 i z \text{Li}_2\left (-e^{i z}\right ) \sin (z)}{\sqrt{1-\cos (z)} \sqrt{1+\cos (z)}}-\frac{2 i z \text{Li}_2\left (e^{i z}\right ) \sin (z)}{\sqrt{1-\cos (z)} \sqrt{1+\cos (z)}}-\frac{i z \text{Li}_2\left (e^{2 i z}\right ) \sin (z)}{\sqrt{1-\cos (z)} \sqrt{1+\cos (z)}}-\frac{2 \text{Li}_3\left (-e^{i z}\right ) \sin (z)}{\sqrt{1-\cos (z)} \sqrt{1+\cos (z)}}+\frac{2 \text{Li}_3\left (e^{i z}\right ) \sin (z)}{\sqrt{1-\cos (z)} \sqrt{1+\cos (z)}}+\frac{\text{Li}_3\left (e^{2 i z}\right ) \sin (z)}{2 \sqrt{1-\cos (z)} \sqrt{1+\cos (z)}}\\ \end{align*}
Mathematica [A] time = 0.0838063, size = 85, normalized size = 0.28 \[ \frac{\sqrt{\cos (z)+1} \tan \left (\frac{z}{2}\right ) \left (12 i z \text{PolyLog}\left (2,e^{-i z}\right )+12 \text{PolyLog}\left (3,e^{-i z}\right )+i z^3+6 z^2 \log \left (1-e^{-i z}\right )-i \pi ^3\right )}{3 \sqrt{1-\cos (z)}} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.067, size = 154, normalized size = 0.5 \begin{align*}{\frac{ \left ({{\rm e}^{iz}}-1 \right ){z}^{3}}{3\,{{\rm e}^{iz}}+3}\sqrt{ \left ({{\rm e}^{iz}}+1 \right ) ^{2}{{\rm e}^{-iz}}}{\frac{1}{\sqrt{- \left ({{\rm e}^{iz}}-1 \right ) ^{2}{{\rm e}^{-iz}}}}}}+{\frac{2\,i \left ({{\rm e}^{iz}}-1 \right ) \left ({\frac{i}{3}}{z}^{3}-{z}^{2}\ln \left ( 1-{{\rm e}^{iz}} \right ) +2\,iz{\it polylog} \left ( 2,{{\rm e}^{iz}} \right ) -2\,{\it polylog} \left ( 3,{{\rm e}^{iz}} \right ) \right ) }{{{\rm e}^{iz}}+1}\sqrt{ \left ({{\rm e}^{iz}}+1 \right ) ^{2}{{\rm e}^{-iz}}}{\frac{1}{\sqrt{- \left ({{\rm e}^{iz}}-1 \right ) ^{2}{{\rm e}^{-iz}}}}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 1.56118, size = 76, normalized size = 0.25 \begin{align*} \frac{1}{3} i \, z^{3} + 2 i \, z^{2} \arctan \left (\sin \left (z\right ), -\cos \left (z\right ) + 1\right ) - z^{2} \log \left (\cos \left (z\right )^{2} + \sin \left (z\right )^{2} - 2 \, \cos \left (z\right ) + 1\right ) + 4 i \, z{\rm Li}_2\left (e^{\left (i \, z\right )}\right ) - 4 \,{\rm Li}_{3}(e^{\left (i \, z\right )}) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [C] time = 2.43017, size = 271, normalized size = 0.9 \begin{align*} z^{2} \log \left (-\cos \left (z\right ) + i \, \sin \left (z\right ) + 1\right ) + z^{2} \log \left (-\cos \left (z\right ) - i \, \sin \left (z\right ) + 1\right ) - 2 i \, z{\rm Li}_2\left (\cos \left (z\right ) + i \, \sin \left (z\right )\right ) + 2 i \, z{\rm Li}_2\left (\cos \left (z\right ) - i \, \sin \left (z\right )\right ) + 2 \,{\rm polylog}\left (3, \cos \left (z\right ) + i \, \sin \left (z\right )\right ) + 2 \,{\rm polylog}\left (3, \cos \left (z\right ) - i \, \sin \left (z\right )\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 \frac{z^{2} \sqrt{\cos{\left (z \right )} + 1}}{\sqrt{1 - \cos{\left (z \right )}}}\, dz \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 \frac{z^{2} \sqrt{\cos \left (z\right ) + 1}}{\sqrt{-\cos \left (z\right ) + 1}}\,{d z} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]