3.41.45 1+log(x)x2dx

Optimal. Leaf size=20 13x(1+2log(3))log(x)x

________________________________________________________________________________________

Rubi [A]  time = 0.01, antiderivative size = 7, normalized size of antiderivative = 0.35, number of steps used = 1, number of rules used = 1, integrand size = 8, number of rulesintegrand size = 0.125, Rules used = {2303} log(x)x

Antiderivative was successfully verified.

[In]

Int[(-1 + Log[x])/x^2,x]

[Out]

-(Log[x]/x)

Rule 2303

Int[((a_.) + Log[(c_.)*(x_)^(n_.)]*(b_.))*((d_.)*(x_))^(m_.), x_Symbol] :> Simp[(b*(d*x)^(m + 1)*Log[c*x^n])/(
d*(m + 1)), x] /; FreeQ[{a, b, c, d, m, n}, x] && NeQ[m, -1] && EqQ[a*(m + 1) - b*n, 0]

Rubi steps

integral=log(x)x

________________________________________________________________________________________

Mathematica [A]  time = 0.00, size = 7, normalized size = 0.35 log(x)x

Antiderivative was successfully verified.

[In]

Integrate[(-1 + Log[x])/x^2,x]

[Out]

-(Log[x]/x)

________________________________________________________________________________________

fricas [A]  time = 0.63, size = 7, normalized size = 0.35 log(x)x

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((log(x)-1)/x^2,x, algorithm="fricas")

[Out]

-log(x)/x

________________________________________________________________________________________

giac [A]  time = 0.13, size = 7, normalized size = 0.35 log(x)x

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((log(x)-1)/x^2,x, algorithm="giac")

[Out]

-log(x)/x

________________________________________________________________________________________

maple [A]  time = 0.01, size = 8, normalized size = 0.40




method result size



default ln(x)x 8
norman ln(x)x 8
risch ln(x)x 8



Verification of antiderivative is not currently implemented for this CAS.

[In]

int((ln(x)-1)/x^2,x,method=_RETURNVERBOSE)

[Out]

-ln(x)/x

________________________________________________________________________________________

maxima [A]  time = 0.36, size = 13, normalized size = 0.65 log(x)+1x+1x

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((log(x)-1)/x^2,x, algorithm="maxima")

[Out]

-(log(x) + 1)/x + 1/x

________________________________________________________________________________________

mupad [B]  time = 2.96, size = 7, normalized size = 0.35 ln(x)x

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((log(x) - 1)/x^2,x)

[Out]

-log(x)/x

________________________________________________________________________________________

sympy [A]  time = 0.08, size = 5, normalized size = 0.25 log(x)x

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((ln(x)-1)/x**2,x)

[Out]

-log(x)/x

________________________________________________________________________________________