Optimal. Leaf size=92 \[ \frac {3 \tan ^{-1}\left (\frac {(1-\cot (x)) \csc ^2(x) \sqrt {\sin ^4(x) \tan (x)}}{\sqrt {2}}\right )}{4 \sqrt {2}}+\frac {3 \log \left (\cos (x)+\sin (x)-\sqrt {2} \cot (x) \csc (x) \sqrt {\sin ^4(x) \tan (x)}\right )}{4 \sqrt {2}}-\frac {1}{2} \cot (x) \sqrt {\sin ^4(x) \tan (x)} \]
[Out]
________________________________________________________________________________________
Rubi [B] Leaf count is larger than twice the leaf count of optimal. \(204\) vs. \(2(92)=184\).
time = 0.16, antiderivative size = 204, normalized size of antiderivative = 2.22, number of steps
used = 13, number of rules used = 9, integrand size = 11, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.818, Rules used = {6851, 294,
335, 303, 1176, 631, 210, 1179, 642} \begin {gather*} -\frac {3 \sec ^2(x) \text {ArcTan}\left (1-\sqrt {2} \sqrt {\tan (x)}\right ) \sqrt {\sin ^4(x) \tan (x)}}{4 \sqrt {2} \tan ^{\frac {5}{2}}(x)}+\frac {3 \sec ^2(x) \text {ArcTan}\left (\sqrt {2} \sqrt {\tan (x)}+1\right ) \sqrt {\sin ^4(x) \tan (x)}}{4 \sqrt {2} \tan ^{\frac {5}{2}}(x)}-\frac {1}{2} \cot (x) \sqrt {\sin ^4(x) \tan (x)}+\frac {3 \sec ^2(x) \log \left (\tan (x)-\sqrt {2} \sqrt {\tan (x)}+1\right ) \sqrt {\sin ^4(x) \tan (x)}}{8 \sqrt {2} \tan ^{\frac {5}{2}}(x)}-\frac {3 \sec ^2(x) \log \left (\tan (x)+\sqrt {2} \sqrt {\tan (x)}+1\right ) \sqrt {\sin ^4(x) \tan (x)}}{8 \sqrt {2} \tan ^{\frac {5}{2}}(x)} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 210
Rule 294
Rule 303
Rule 335
Rule 631
Rule 642
Rule 1176
Rule 1179
Rule 6851
Rubi steps
\begin {align*} \int \sqrt {\sin ^4(x) \tan (x)} \, dx &=\text {Subst}\left (\int \frac {\sqrt {\frac {x^5}{\left (1+x^2\right )^2}}}{1+x^2} \, dx,x,\tan (x)\right )\\ &=\frac {\left (\sec ^2(x) \sqrt {\sin ^4(x) \tan (x)}\right ) \text {Subst}\left (\int \frac {x^{5/2}}{\left (1+x^2\right )^2} \, dx,x,\tan (x)\right )}{\tan ^{\frac {5}{2}}(x)}\\ &=-\frac {1}{2} \cot (x) \sqrt {\sin ^4(x) \tan (x)}+\frac {\left (3 \sec ^2(x) \sqrt {\sin ^4(x) \tan (x)}\right ) \text {Subst}\left (\int \frac {\sqrt {x}}{1+x^2} \, dx,x,\tan (x)\right )}{4 \tan ^{\frac {5}{2}}(x)}\\ &=-\frac {1}{2} \cot (x) \sqrt {\sin ^4(x) \tan (x)}+\frac {\left (3 \sec ^2(x) \sqrt {\sin ^4(x) \tan (x)}\right ) \text {Subst}\left (\int \frac {x^2}{1+x^4} \, dx,x,\sqrt {\tan (x)}\right )}{2 \tan ^{\frac {5}{2}}(x)}\\ &=-\frac {1}{2} \cot (x) \sqrt {\sin ^4(x) \tan (x)}-\frac {\left (3 \sec ^2(x) \sqrt {\sin ^4(x) \tan (x)}\right ) \text {Subst}\left (\int \frac {1-x^2}{1+x^4} \, dx,x,\sqrt {\tan (x)}\right )}{4 \tan ^{\frac {5}{2}}(x)}+\frac {\left (3 \sec ^2(x) \sqrt {\sin ^4(x) \tan (x)}\right ) \text {Subst}\left (\int \frac {1+x^2}{1+x^4} \, dx,x,\sqrt {\tan (x)}\right )}{4 \tan ^{\frac {5}{2}}(x)}\\ &=-\frac {1}{2} \cot (x) \sqrt {\sin ^4(x) \tan (x)}+\frac {\left (3 \sec ^2(x) \sqrt {\sin ^4(x) \tan (x)}\right ) \text {Subst}\left (\int \frac {1}{1-\sqrt {2} x+x^2} \, dx,x,\sqrt {\tan (x)}\right )}{8 \tan ^{\frac {5}{2}}(x)}+\frac {\left (3 \sec ^2(x) \sqrt {\sin ^4(x) \tan (x)}\right ) \text {Subst}\left (\int \frac {1}{1+\sqrt {2} x+x^2} \, dx,x,\sqrt {\tan (x)}\right )}{8 \tan ^{\frac {5}{2}}(x)}+\frac {\left (3 \sec ^2(x) \sqrt {\sin ^4(x) \tan (x)}\right ) \text {Subst}\left (\int \frac {\sqrt {2}+2 x}{-1-\sqrt {2} x-x^2} \, dx,x,\sqrt {\tan (x)}\right )}{8 \sqrt {2} \tan ^{\frac {5}{2}}(x)}+\frac {\left (3 \sec ^2(x) \sqrt {\sin ^4(x) \tan (x)}\right ) \text {Subst}\left (\int \frac {\sqrt {2}-2 x}{-1+\sqrt {2} x-x^2} \, dx,x,\sqrt {\tan (x)}\right )}{8 \sqrt {2} \tan ^{\frac {5}{2}}(x)}\\ &=-\frac {1}{2} \cot (x) \sqrt {\sin ^4(x) \tan (x)}+\frac {3 \log \left (1-\sqrt {2} \sqrt {\tan (x)}+\tan (x)\right ) \sec ^2(x) \sqrt {\sin ^4(x) \tan (x)}}{8 \sqrt {2} \tan ^{\frac {5}{2}}(x)}-\frac {3 \log \left (1+\sqrt {2} \sqrt {\tan (x)}+\tan (x)\right ) \sec ^2(x) \sqrt {\sin ^4(x) \tan (x)}}{8 \sqrt {2} \tan ^{\frac {5}{2}}(x)}+\frac {\left (3 \sec ^2(x) \sqrt {\sin ^4(x) \tan (x)}\right ) \text {Subst}\left (\int \frac {1}{-1-x^2} \, dx,x,1-\sqrt {2} \sqrt {\tan (x)}\right )}{4 \sqrt {2} \tan ^{\frac {5}{2}}(x)}-\frac {\left (3 \sec ^2(x) \sqrt {\sin ^4(x) \tan (x)}\right ) \text {Subst}\left (\int \frac {1}{-1-x^2} \, dx,x,1+\sqrt {2} \sqrt {\tan (x)}\right )}{4 \sqrt {2} \tan ^{\frac {5}{2}}(x)}\\ &=-\frac {1}{2} \cot (x) \sqrt {\sin ^4(x) \tan (x)}-\frac {3 \tan ^{-1}\left (1-\sqrt {2} \sqrt {\tan (x)}\right ) \sec ^2(x) \sqrt {\sin ^4(x) \tan (x)}}{4 \sqrt {2} \tan ^{\frac {5}{2}}(x)}+\frac {3 \tan ^{-1}\left (1+\sqrt {2} \sqrt {\tan (x)}\right ) \sec ^2(x) \sqrt {\sin ^4(x) \tan (x)}}{4 \sqrt {2} \tan ^{\frac {5}{2}}(x)}+\frac {3 \log \left (1-\sqrt {2} \sqrt {\tan (x)}+\tan (x)\right ) \sec ^2(x) \sqrt {\sin ^4(x) \tan (x)}}{8 \sqrt {2} \tan ^{\frac {5}{2}}(x)}-\frac {3 \log \left (1+\sqrt {2} \sqrt {\tan (x)}+\tan (x)\right ) \sec ^2(x) \sqrt {\sin ^4(x) \tan (x)}}{8 \sqrt {2} \tan ^{\frac {5}{2}}(x)}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.05, size = 66, normalized size = 0.72 \begin {gather*} -\frac {1}{8} \csc ^3(x) \left (3 \sin ^{-1}(\cos (x)-\sin (x))+3 \log \left (\cos (x)+\sin (x)+\sqrt {\sin (2 x)}\right )+2 \sin (x) \sqrt {\sin (2 x)}\right ) \sqrt {\sin (2 x)} \sqrt {\sin ^4(x) \tan (x)} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [C] Result contains higher order function than in optimal. Order 4 vs. order
3.
time = 0.26, size = 318, normalized size = 3.46
method | result | size |
default | \(-\frac {\sqrt {32}\, \left (\cos \left (x \right )-1\right ) \left (3 i \sqrt {\frac {\cos \left (x \right )-1}{\sin \left (x \right )}}\, \sqrt {\frac {-1+\cos \left (x \right )+\sin \left (x \right )}{\sin \left (x \right )}}\, \sqrt {-\frac {-1+\cos \left (x \right )-\sin \left (x \right )}{\sin \left (x \right )}}\, \EllipticPi \left (\sqrt {-\frac {-1+\cos \left (x \right )-\sin \left (x \right )}{\sin \left (x \right )}}, \frac {1}{2}-\frac {i}{2}, \frac {\sqrt {2}}{2}\right )-3 i \sqrt {\frac {\cos \left (x \right )-1}{\sin \left (x \right )}}\, \sqrt {\frac {-1+\cos \left (x \right )+\sin \left (x \right )}{\sin \left (x \right )}}\, \sqrt {-\frac {-1+\cos \left (x \right )-\sin \left (x \right )}{\sin \left (x \right )}}\, \EllipticPi \left (\sqrt {-\frac {-1+\cos \left (x \right )-\sin \left (x \right )}{\sin \left (x \right )}}, \frac {1}{2}+\frac {i}{2}, \frac {\sqrt {2}}{2}\right )-3 \sqrt {\frac {\cos \left (x \right )-1}{\sin \left (x \right )}}\, \sqrt {\frac {-1+\cos \left (x \right )+\sin \left (x \right )}{\sin \left (x \right )}}\, \sqrt {-\frac {-1+\cos \left (x \right )-\sin \left (x \right )}{\sin \left (x \right )}}\, \EllipticPi \left (\sqrt {-\frac {-1+\cos \left (x \right )-\sin \left (x \right )}{\sin \left (x \right )}}, \frac {1}{2}-\frac {i}{2}, \frac {\sqrt {2}}{2}\right )-3 \sqrt {\frac {\cos \left (x \right )-1}{\sin \left (x \right )}}\, \sqrt {\frac {-1+\cos \left (x \right )+\sin \left (x \right )}{\sin \left (x \right )}}\, \sqrt {-\frac {-1+\cos \left (x \right )-\sin \left (x \right )}{\sin \left (x \right )}}\, \EllipticPi \left (\sqrt {-\frac {-1+\cos \left (x \right )-\sin \left (x \right )}{\sin \left (x \right )}}, \frac {1}{2}+\frac {i}{2}, \frac {\sqrt {2}}{2}\right )+2 \left (\cos ^{2}\left (x \right )\right ) \sqrt {2}-2 \cos \left (x \right ) \sqrt {2}\right ) \left (1+\cos \left (x \right )\right )^{2} \sqrt {\frac {\sin ^{5}\left (x \right )}{\cos \left (x \right )}}}{32 \sin \left (x \right )^{5}}\) | \(318\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 1006 vs.
\(2 (71) = 142\).
time = 48.35, size = 1006, normalized size = 10.93 \begin {gather*} \text {Too large to display} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \sqrt {\frac {\sin ^{5}{\left (x \right )}}{\cos {\left (x \right )}}}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.01 \begin {gather*} \int \sqrt {\frac {{\sin \left (x\right )}^5}{\cos \left (x\right )}} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________