Optimal. Leaf size=101 \[ 2 \sqrt [4]{5 \sin ^2(x)-1}-\frac{\sqrt [4]{5 \sin ^2(x)-1}}{2 \left (\sqrt{5 \sin ^2(x)-1}+2\right )}-\frac{3 \tan ^{-1}\left (\frac{\sqrt [4]{5 \sin ^2(x)-1}}{\sqrt{2}}\right )}{\sqrt{2}}-\frac{\tanh ^{-1}\left (\frac{\sqrt [4]{5 \sin ^2(x)-1}}{\sqrt{2}}\right )}{2 \sqrt{2}} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 1.40508, antiderivative size = 126, normalized size of antiderivative = 1.25, number of steps used = 14, number of rules used = 10, integrand size = 52, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.192, Rules used = {4361, 6742, 6697, 341, 50, 63, 203, 470, 522, 207} \[ 2 \sqrt [4]{4-5 \cos ^2(x)}-\frac{\sqrt [4]{4-5 \cos ^2(x)}}{2 \left (\sqrt{4-5 \cos ^2(x)}+2\right )}-2 \sqrt{2} \tan ^{-1}\left (\frac{\sqrt [4]{4-5 \cos ^2(x)}}{\sqrt{2}}\right )+\frac{\tan ^{-1}\left (\frac{\sqrt [4]{4-5 \cos ^2(x)}}{\sqrt{2}}\right )}{\sqrt{2}}-\frac{\tanh ^{-1}\left (\frac{\sqrt [4]{4-5 \cos ^2(x)}}{\sqrt{2}}\right )}{2 \sqrt{2}} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 4361
Rule 6742
Rule 6697
Rule 341
Rule 50
Rule 63
Rule 203
Rule 470
Rule 522
Rule 207
Rubi steps
\begin{align*} \int \frac{\left (5 \cos ^2(x)-\sqrt{-1+5 \sin ^2(x)}\right ) \tan (x)}{\sqrt [4]{-1+5 \sin ^2(x)} \left (2+\sqrt{-1+5 \sin ^2(x)}\right )} \, dx &=-\operatorname{Subst}\left (\int \frac{5 x^2-\sqrt{4-5 x^2}}{\sqrt [4]{4-5 x^2} \left (2 x+x \sqrt{4-5 x^2}\right )} \, dx,x,\cos (x)\right )\\ &=-\operatorname{Subst}\left (\int \left (\frac{5 x}{\sqrt [4]{4-5 x^2} \left (2+\sqrt{4-5 x^2}\right )}-\frac{\sqrt [4]{4-5 x^2}}{x \left (2+\sqrt{4-5 x^2}\right )}\right ) \, dx,x,\cos (x)\right )\\ &=-\left (5 \operatorname{Subst}\left (\int \frac{x}{\sqrt [4]{4-5 x^2} \left (2+\sqrt{4-5 x^2}\right )} \, dx,x,\cos (x)\right )\right )+\operatorname{Subst}\left (\int \frac{\sqrt [4]{4-5 x^2}}{x \left (2+\sqrt{4-5 x^2}\right )} \, dx,x,\cos (x)\right )\\ &=\frac{1}{2} \operatorname{Subst}\left (\int \frac{\sqrt [4]{4-5 x}}{\left (2+\sqrt{4-5 x}\right ) x} \, dx,x,\cos ^2(x)\right )+\frac{1}{2} \operatorname{Subst}\left (\int \frac{1}{\left (2+\sqrt{x}\right ) \sqrt [4]{x}} \, dx,x,4-5 \cos ^2(x)\right )\\ &=2 \operatorname{Subst}\left (\int \frac{x^4}{\left (-2+x^2\right ) \left (2+x^2\right )^2} \, dx,x,\sqrt [4]{4-5 \cos ^2(x)}\right )+\operatorname{Subst}\left (\int \frac{\sqrt{x}}{2+x} \, dx,x,\sqrt{4-5 \cos ^2(x)}\right )\\ &=2 \sqrt [4]{4-5 \cos ^2(x)}-\frac{\sqrt [4]{4-5 \cos ^2(x)}}{2 \left (2+\sqrt{4-5 \cos ^2(x)}\right )}+\frac{1}{4} \operatorname{Subst}\left (\int \frac{-4+6 x^2}{\left (-2+x^2\right ) \left (2+x^2\right )} \, dx,x,\sqrt [4]{4-5 \cos ^2(x)}\right )-2 \operatorname{Subst}\left (\int \frac{1}{\sqrt{x} (2+x)} \, dx,x,\sqrt{4-5 \cos ^2(x)}\right )\\ &=2 \sqrt [4]{4-5 \cos ^2(x)}-\frac{\sqrt [4]{4-5 \cos ^2(x)}}{2 \left (2+\sqrt{4-5 \cos ^2(x)}\right )}+\frac{1}{2} \operatorname{Subst}\left (\int \frac{1}{-2+x^2} \, dx,x,\sqrt [4]{4-5 \cos ^2(x)}\right )-4 \operatorname{Subst}\left (\int \frac{1}{2+x^2} \, dx,x,\sqrt [4]{4-5 \cos ^2(x)}\right )+\operatorname{Subst}\left (\int \frac{1}{2+x^2} \, dx,x,\sqrt [4]{4-5 \cos ^2(x)}\right )\\ &=\frac{\tan ^{-1}\left (\frac{\sqrt [4]{4-5 \cos ^2(x)}}{\sqrt{2}}\right )}{\sqrt{2}}-2 \sqrt{2} \tan ^{-1}\left (\frac{\sqrt [4]{4-5 \cos ^2(x)}}{\sqrt{2}}\right )-\frac{\tanh ^{-1}\left (\frac{\sqrt [4]{4-5 \cos ^2(x)}}{\sqrt{2}}\right )}{2 \sqrt{2}}+2 \sqrt [4]{4-5 \cos ^2(x)}-\frac{\sqrt [4]{4-5 \cos ^2(x)}}{2 \left (2+\sqrt{4-5 \cos ^2(x)}\right )}\\ \end{align*}
Mathematica [A] time = 0.410263, size = 89, normalized size = 0.88 \[ \frac{1}{4} \left (-2 \sqrt [4]{4-5 \cos ^2(x)} \left (\frac{1}{\sqrt{4-5 \cos ^2(x)}+2}-4\right )-6 \sqrt{2} \tan ^{-1}\left (\frac{\sqrt [4]{3-5 \cos (2 x)}}{2^{3/4}}\right )-\sqrt{2} \tanh ^{-1}\left (\frac{\sqrt [4]{3-5 \cos (2 x)}}{2^{3/4}}\right )\right ) \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [F] time = 0.742, size = 0, normalized size = 0. \begin{align*} \int{\tan \left ( x \right ) \left ( 5\, \left ( \cos \left ( x \right ) \right ) ^{2}-\sqrt{-1+5\, \left ( \sin \left ( x \right ) \right ) ^{2}} \right ){\frac{1}{\sqrt [4]{-1+5\, \left ( \sin \left ( x \right ) \right ) ^{2}}}} \left ( 2+\sqrt{-1+5\, \left ( \sin \left ( x \right ) \right ) ^{2}} \right ) ^{-1}}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 1.47469, size = 135, normalized size = 1.34 \begin{align*} -\frac{3}{2} \, \sqrt{2} \arctan \left (\frac{1}{2} \, \sqrt{2}{\left (5 \, \sin \left (x\right )^{2} - 1\right )}^{\frac{1}{4}}\right ) + \frac{1}{8} \, \sqrt{2} \log \left (-\frac{\sqrt{2} -{\left (5 \, \sin \left (x\right )^{2} - 1\right )}^{\frac{1}{4}}}{\sqrt{2} +{\left (5 \, \sin \left (x\right )^{2} - 1\right )}^{\frac{1}{4}}}\right ) + 2 \,{\left (5 \, \sin \left (x\right )^{2} - 1\right )}^{\frac{1}{4}} - \frac{{\left (5 \, \sin \left (x\right )^{2} - 1\right )}^{\frac{1}{4}}}{2 \,{\left (\sqrt{5 \, \sin \left (x\right )^{2} - 1} + 2\right )}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [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]
________________________________________________________________________________________
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(-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]