3.41.74 x3+x2(2+x2+2x2log(x))dx

Optimal. Leaf size=15 225x2+xx2x2

________________________________________________________________________________________

Rubi [F]  time = 0.09, antiderivative size = 0, normalized size of antiderivative = 0.00, number of steps used = 0, number of rules used = 0, integrand size = 0, number of rulesintegrand size = 0.000, Rules used = {} x3+x2(2+x2+2x2log(x))dx

Verification is not applicable to the result.

[In]

Int[x^(-3 + x^2)*(-2 + x^2 + 2*x^2*Log[x]),x]

[Out]

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

Rubi steps

integral=(2x3+x2+x1+x2+2x1+x2log(x))dx=(2x3+x2dx)+2x1+x2log(x)dx+x1+x2dx=(2x3+x2dx)2x1+x2dxxdx+(2log(x))x1+x2dx+x1+x2dx

________________________________________________________________________________________

Mathematica [A]  time = 0.04, size = 7, normalized size = 0.47 x2+x2

Antiderivative was successfully verified.

[In]

Integrate[x^(-3 + x^2)*(-2 + x^2 + 2*x^2*Log[x]),x]

[Out]

x^(-2 + x^2)

________________________________________________________________________________________

fricas [A]  time = 0.76, size = 9, normalized size = 0.60 x(x2)x2

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((2*x^2*log(x)+x^2-2)*exp(x^2*log(x))/x^3,x, algorithm="fricas")

[Out]

x^(x^2)/x^2

________________________________________________________________________________________

giac [A]  time = 0.18, size = 9, normalized size = 0.60 x(x2)x2

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((2*x^2*log(x)+x^2-2)*exp(x^2*log(x))/x^3,x, algorithm="giac")

[Out]

x^(x^2)/x^2

________________________________________________________________________________________

maple [A]  time = 0.03, size = 10, normalized size = 0.67




method result size



risch xx2x2 10
norman ex2ln(x)x2 12



Verification of antiderivative is not currently implemented for this CAS.

[In]

int((2*x^2*ln(x)+x^2-2)*exp(x^2*ln(x))/x^3,x,method=_RETURNVERBOSE)

[Out]

x^(x^2)/x^2

________________________________________________________________________________________

maxima [A]  time = 0.41, size = 9, normalized size = 0.60 x(x2)x2

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((2*x^2*log(x)+x^2-2)*exp(x^2*log(x))/x^3,x, algorithm="maxima")

[Out]

x^(x^2)/x^2

________________________________________________________________________________________

mupad [B]  time = 3.13, size = 7, normalized size = 0.47 xx22

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((exp(x^2*log(x))*(2*x^2*log(x) + x^2 - 2))/x^3,x)

[Out]

x^(x^2 - 2)

________________________________________________________________________________________

sympy [A]  time = 0.24, size = 10, normalized size = 0.67 ex2log(x)x2

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((2*x**2*ln(x)+x**2-2)*exp(x**2*ln(x))/x**3,x)

[Out]

exp(x**2*log(x))/x**2

________________________________________________________________________________________