3.6.32 1log(x)x2dx

Optimal. Leaf size=12 2x+xlog(x)x2

________________________________________________________________________________________

Rubi [A]  time = 0.01, antiderivative size = 12, normalized size of antiderivative = 1.00, number of steps used = 1, number of rules used = 1, integrand size = 10, number of rulesintegrand size = 0.100, Rules used = {2304} 1x+log(x)+1x

Antiderivative was successfully verified.

[In]

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

[Out]

x^(-1) + (1 + Log[x])/x

Rule 2304

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

Rubi steps

integral=1x+1+log(x)x

________________________________________________________________________________________

Mathematica [A]  time = 0.00, size = 12, normalized size = 1.00 2x+log(x)x

Antiderivative was successfully verified.

[In]

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

[Out]

2/x + Log[x]/x

________________________________________________________________________________________

fricas [A]  time = 0.63, size = 8, normalized size = 0.67 log(x)+2x

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

(log(x) + 2)/x

________________________________________________________________________________________

giac [A]  time = 0.66, size = 12, normalized size = 1.00 log(x)x+2x

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

log(x)/x + 2/x

________________________________________________________________________________________

maple [A]  time = 0.02, size = 9, normalized size = 0.75




method result size



norman ln(x)+2x 9
default ln(x)x+2x 13
risch ln(x)x+2x 13



Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

1/x*(ln(x)+2)

________________________________________________________________________________________

maxima [A]  time = 0.42, size = 12, normalized size = 1.00 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 = 0.46, size = 8, normalized size = 0.67 ln(x)+2x

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

(log(x) + 2)/x

________________________________________________________________________________________

sympy [A]  time = 0.09, size = 7, normalized size = 0.58 log(x)x+2x

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

log(x)/x + 2/x

________________________________________________________________________________________