Optimal. Leaf size=15 \[ \frac{\log (x)}{2}-\frac{1}{2} \text{CosIntegral}(2 x) \]
[Out]
_______________________________________________________________________________________
Rubi [A] time = 0.0554678, antiderivative size = 15, normalized size of antiderivative = 1., number of steps used = 3, number of rules used = 2, integrand size = 8, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.25 \[ \frac{\log (x)}{2}-\frac{1}{2} \text{CosIntegral}(2 x) \]
Antiderivative was successfully verified.
[In] Int[Sin[x]^2/x,x]
[Out]
_______________________________________________________________________________________
Rubi in Sympy [A] time = 2.13974, size = 10, normalized size = 0.67 \[ \frac{\log{\left (x \right )}}{2} - \frac{\operatorname{Ci}{\left (2 x \right )}}{2} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] rubi_integrate(sin(x)**2/x,x)
[Out]
_______________________________________________________________________________________
Mathematica [A] time = 0.00742617, size = 15, normalized size = 1. \[ \frac{\log (x)}{2}-\frac{1}{2} \text{CosIntegral}(2 x) \]
Antiderivative was successfully verified.
[In] Integrate[Sin[x]^2/x,x]
[Out]
_______________________________________________________________________________________
Maple [A] time = 0.008, size = 12, normalized size = 0.8 \[ -{\frac{{\it Ci} \left ( 2\,x \right ) }{2}}+{\frac{\ln \left ( x \right ) }{2}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] int(sin(x)^2/x,x)
[Out]
_______________________________________________________________________________________
Maxima [A] time = 1.47929, size = 23, normalized size = 1.53 \[ -\frac{1}{4} \,{\rm Ei}\left (2 i \, x\right ) - \frac{1}{4} \,{\rm Ei}\left (-2 i \, x\right ) + \frac{1}{2} \, \log \left (x\right ) \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate(sin(x)^2/x,x, algorithm="maxima")
[Out]
_______________________________________________________________________________________
Fricas [F] time = 0., size = 0, normalized size = 0. \[ -\frac{1}{4} \, \operatorname{Ci}\left (2 \, x\right ) - \frac{1}{4} \, \operatorname{Ci}\left (-2 \, x\right ) + \frac{1}{2} \, \log \left (x\right ) \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate(sin(x)^2/x,x, algorithm="fricas")
[Out]
_______________________________________________________________________________________
Sympy [A] time = 2.23092, size = 10, normalized size = 0.67 \[ \frac{\log{\left (x \right )}}{2} - \frac{\operatorname{Ci}{\left (2 x \right )}}{2} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate(sin(x)**2/x,x)
[Out]
_______________________________________________________________________________________
GIAC/XCAS [A] time = 0.199283, size = 15, normalized size = 1. \[ -\frac{1}{2} \,{\rm Ci}\left (2 \, x\right ) + \frac{1}{2} \,{\rm ln}\left (x\right ) \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate(sin(x)^2/x,x, algorithm="giac")
[Out]