Optimal. Leaf size=35 \[ -\frac{\log (x-1)}{2 x^2}+\frac{1}{2 x}+\frac{1}{2} \log (1-x)-\frac{\log (x)}{2} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.0145775, antiderivative size = 35, 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, Rules used = {2395, 44} \[ -\frac{\log (x-1)}{2 x^2}+\frac{1}{2 x}+\frac{1}{2} \log (1-x)-\frac{\log (x)}{2} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 2395
Rule 44
Rubi steps
\begin{align*} \int \frac{\log (-1+x)}{x^3} \, dx &=-\frac{\log (-1+x)}{2 x^2}+\frac{1}{2} \int \frac{1}{(-1+x) x^2} \, dx\\ &=-\frac{\log (-1+x)}{2 x^2}+\frac{1}{2} \int \left (\frac{1}{-1+x}-\frac{1}{x^2}-\frac{1}{x}\right ) \, dx\\ &=\frac{1}{2 x}+\frac{1}{2} \log (1-x)-\frac{\log (-1+x)}{2 x^2}-\frac{\log (x)}{2}\\ \end{align*}
Mathematica [A] time = 0.0102805, size = 27, normalized size = 0.77 \[ \frac{1}{2} \left (-\frac{\log (x-1)}{x^2}+\frac{1}{x}+\log (1-x)-\log (x)\right ) \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.011, size = 26, normalized size = 0.7 \begin{align*} -{\frac{\ln \left ( x \right ) }{2}}+{\frac{1}{2\,x}}+{\frac{\ln \left ( -1+x \right ) \left ( -1+x \right ) \left ( 1+x \right ) }{2\,{x}^{2}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 0.944461, size = 34, normalized size = 0.97 \begin{align*} \frac{1}{2 \, x} - \frac{\log \left (x - 1\right )}{2 \, x^{2}} + \frac{1}{2} \, \log \left (x - 1\right ) - \frac{1}{2} \, \log \left (x\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 2.37088, size = 68, normalized size = 1.94 \begin{align*} -\frac{x^{2} \log \left (x\right ) -{\left (x^{2} - 1\right )} \log \left (x - 1\right ) - x}{2 \, x^{2}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A] time = 0.127624, size = 26, normalized size = 0.74 \begin{align*} - \frac{\log{\left (x \right )}}{2} + \frac{\log{\left (x - 1 \right )}}{2} + \frac{1}{2 x} - \frac{\log{\left (x - 1 \right )}}{2 x^{2}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.0585, size = 36, normalized size = 1.03 \begin{align*} \frac{1}{2 \, x} - \frac{\log \left (x - 1\right )}{2 \, x^{2}} + \frac{1}{2} \, \log \left ({\left | x - 1 \right |}\right ) - \frac{1}{2} \, \log \left ({\left | x \right |}\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]