Optimal. Leaf size=34 \[ -\sqrt{x^2+1}+\sqrt{x^2+1} \log (x)+\tanh ^{-1}\left (\sqrt{x^2+1}\right ) \]
[Out]
_______________________________________________________________________________________
Rubi [A] time = 0.066878, antiderivative size = 34, normalized size of antiderivative = 1., number of steps used = 5, number of rules used = 5, integrand size = 13, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.385 \[ -\sqrt{x^2+1}+\sqrt{x^2+1} \log (x)+\tanh ^{-1}\left (\sqrt{x^2+1}\right ) \]
Antiderivative was successfully verified.
[In] Int[(x*Log[x])/Sqrt[1 + x^2],x]
[Out]
_______________________________________________________________________________________
Rubi in Sympy [A] time = 6.47028, size = 29, normalized size = 0.85 \[ \sqrt{x^{2} + 1} \log{\left (x \right )} - \sqrt{x^{2} + 1} + \operatorname{atanh}{\left (\sqrt{x^{2} + 1} \right )} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] rubi_integrate(x*ln(x)/(x**2+1)**(1/2),x)
[Out]
_______________________________________________________________________________________
Mathematica [A] time = 0.0207106, size = 40, normalized size = 1.18 \[ -\sqrt{x^2+1}+\sqrt{x^2+1} \log (x)+\log \left (\sqrt{x^2+1}+1\right )-\log (x) \]
Antiderivative was successfully verified.
[In] Integrate[(x*Log[x])/Sqrt[1 + x^2],x]
[Out]
_______________________________________________________________________________________
Maple [A] time = 0.038, size = 39, normalized size = 1.2 \[ 1-\sqrt{{x}^{2}+1}+{\frac{\ln \left ( x \right ) }{2} \left ( -2+2\,\sqrt{{x}^{2}+1} \right ) }+\ln \left ({\frac{1}{2}}+{\frac{1}{2}\sqrt{{x}^{2}+1}} \right ) \]
Verification of antiderivative is not currently implemented for this CAS.
[In] int(x*ln(x)/(x^2+1)^(1/2),x)
[Out]
_______________________________________________________________________________________
Maxima [A] time = 1.60265, size = 34, normalized size = 1. \[ \sqrt{x^{2} + 1} \log \left (x\right ) - \sqrt{x^{2} + 1} + \operatorname{arsinh}\left (\frac{1}{{\left | x \right |}}\right ) \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate(x*log(x)/sqrt(x^2 + 1),x, algorithm="maxima")
[Out]
_______________________________________________________________________________________
Fricas [A] time = 0.241642, size = 128, normalized size = 3.76 \[ \frac{x^{2} -{\left (x^{2} + 1\right )} \log \left (x\right ) +{\left (x - \sqrt{x^{2} + 1}\right )} \log \left (-x + \sqrt{x^{2} + 1} + 1\right ) -{\left (x - \sqrt{x^{2} + 1}\right )} \log \left (-x + \sqrt{x^{2} + 1} - 1\right ) + \sqrt{x^{2} + 1}{\left (x \log \left (x\right ) - x\right )} + 1}{x - \sqrt{x^{2} + 1}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate(x*log(x)/sqrt(x^2 + 1),x, algorithm="fricas")
[Out]
_______________________________________________________________________________________
Sympy [A] time = 6.75978, size = 41, normalized size = 1.21 \[ - \frac{x}{\sqrt{1 + \frac{1}{x^{2}}}} + \sqrt{x^{2} + 1} \log{\left (x \right )} + \operatorname{asinh}{\left (\frac{1}{x} \right )} - \frac{1}{x \sqrt{1 + \frac{1}{x^{2}}}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate(x*ln(x)/(x**2+1)**(1/2),x)
[Out]
_______________________________________________________________________________________
GIAC/XCAS [A] time = 0.201371, size = 59, normalized size = 1.74 \[ \sqrt{x^{2} + 1}{\rm ln}\left (x\right ) - \sqrt{x^{2} + 1} + \frac{1}{2} \,{\rm ln}\left (\sqrt{x^{2} + 1} + 1\right ) - \frac{1}{2} \,{\rm ln}\left (\sqrt{x^{2} + 1} - 1\right ) \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate(x*log(x)/sqrt(x^2 + 1),x, algorithm="giac")
[Out]