Optimal. Leaf size=30 \[ \frac{1}{3} x \sec ^3(x)-x \sec (x)+\frac{5}{6} \tanh ^{-1}(\sin (x))-\frac{1}{6} \tan (x) \sec (x) \]
[Out]
_______________________________________________________________________________________
Rubi [A] time = 0.061406, antiderivative size = 30, normalized size of antiderivative = 1., number of steps used = 5, number of rules used = 4, integrand size = 8, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.5 \[ \frac{1}{3} x \sec ^3(x)-x \sec (x)+\frac{5}{6} \tanh ^{-1}(\sin (x))-\frac{1}{6} \tan (x) \sec (x) \]
Antiderivative was successfully verified.
[In] Int[x*Sec[x]*Tan[x]^3,x]
[Out]
_______________________________________________________________________________________
Rubi in Sympy [F] time = 0., size = 0, normalized size = 0. \[ \int \frac{x \sin ^{3}{\left (x \right )}}{\cos ^{4}{\left (x \right )}}\, dx \]
Verification of antiderivative is not currently implemented for this CAS.
[In] rubi_integrate(x*sin(x)**3/cos(x)**4,x)
[Out]
_______________________________________________________________________________________
Mathematica [B] time = 0.182542, size = 104, normalized size = 3.47 \[ -\frac{1}{24} \sec ^3(x) \left (4 x+2 \sin (2 x)+12 x \cos (2 x)+5 \cos (3 x) \log \left (\cos \left (\frac{x}{2}\right )-\sin \left (\frac{x}{2}\right )\right )+15 \cos (x) \left (\log \left (\cos \left (\frac{x}{2}\right )-\sin \left (\frac{x}{2}\right )\right )-\log \left (\sin \left (\frac{x}{2}\right )+\cos \left (\frac{x}{2}\right )\right )\right )-5 \cos (3 x) \log \left (\sin \left (\frac{x}{2}\right )+\cos \left (\frac{x}{2}\right )\right )\right ) \]
Antiderivative was successfully verified.
[In] Integrate[x*Sec[x]*Tan[x]^3,x]
[Out]
_______________________________________________________________________________________
Maple [A] time = 0.174, size = 30, normalized size = 1. \[ -{\frac{x}{\cos \left ( x \right ) }}+{\frac{5\,\ln \left ( \sec \left ( x \right ) +\tan \left ( x \right ) \right ) }{6}}+{\frac{x}{3\, \left ( \cos \left ( x \right ) \right ) ^{3}}}-{\frac{\sec \left ( x \right ) \tan \left ( x \right ) }{6}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] int(x*sin(x)^3/cos(x)^4,x)
[Out]
_______________________________________________________________________________________
Maxima [A] time = 1.58442, size = 836, normalized size = 27.87 \[ \text{result too large to display} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate(x*sin(x)^3/cos(x)^4,x, algorithm="maxima")
[Out]
_______________________________________________________________________________________
Fricas [A] time = 0.228565, size = 63, normalized size = 2.1 \[ \frac{5 \, \cos \left (x\right )^{3} \log \left (\sin \left (x\right ) + 1\right ) - 5 \, \cos \left (x\right )^{3} \log \left (-\sin \left (x\right ) + 1\right ) - 12 \, x \cos \left (x\right )^{2} - 2 \, \cos \left (x\right ) \sin \left (x\right ) + 4 \, x}{12 \, \cos \left (x\right )^{3}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate(x*sin(x)^3/cos(x)^4,x, algorithm="fricas")
[Out]
_______________________________________________________________________________________
Sympy [A] time = 3.74601, size = 551, normalized size = 18.37 \[ \text{result too large to display} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate(x*sin(x)**3/cos(x)**4,x)
[Out]
_______________________________________________________________________________________
GIAC/XCAS [A] time = 0.436535, size = 460, normalized size = 15.33 \[ \text{result too large to display} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate(x*sin(x)^3/cos(x)^4,x, algorithm="giac")
[Out]