3.41.2 1224x20e6x4e6xlog(x)36x+24x2+4x3+(12x+4x2)log(x)+xlog2(x)dx

Optimal. Leaf size=24 3e6x1+14(2+2x+log(x))

________________________________________________________________________________________

Rubi [F]  time = 0.51, 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 = {} 1224x20e6x4e6xlog(x)36x+24x2+4x3+(12x+4x2)log(x)+xlog2(x)dx

Verification is not applicable to the result.

[In]

Int[(-12 - 24*x - 20*E^6*x - 4*E^6*x*Log[x])/(36*x + 24*x^2 + 4*x^3 + (12*x + 4*x^2)*Log[x] + x*Log[x]^2),x]

[Out]

-4*(6 - E^6)*Defer[Int][(6 + 2*x + Log[x])^(-2), x] - 12*Defer[Int][1/(x*(6 + 2*x + Log[x])^2), x] + 8*E^6*Def
er[Int][x/(6 + 2*x + Log[x])^2, x] - 4*E^6*Defer[Int][(6 + 2*x + Log[x])^(-1), x]

Rubi steps

integral=12+(2420e6)x4e6xlog(x)36x+24x2+4x3+(12x+4x2)log(x)+xlog2(x)dx=4(3(6+5e6)xe6xlog(x))x(6+2x+log(x))2dx=43(6+5e6)xe6xlog(x)x(6+2x+log(x))2dx=4(3(6e6)x+2e6x2x(6+2x+log(x))2e66+2x+log(x))dx=43(6e6)x+2e6x2x(6+2x+log(x))2dx(4e6)16+2x+log(x)dx=4(6(1e66)(6+2x+log(x))23x(6+2x+log(x))2+2e6x(6+2x+log(x))2)dx(4e6)16+2x+log(x)dx=(121x(6+2x+log(x))2dx)(4e6)16+2x+log(x)dx+(8e6)x(6+2x+log(x))2dx(4(6e6))1(6+2x+log(x))2dx

________________________________________________________________________________________

Mathematica [A]  time = 0.18, size = 18, normalized size = 0.75 4(3+e6x)6+2x+log(x)

Antiderivative was successfully verified.

[In]

Integrate[(-12 - 24*x - 20*E^6*x - 4*E^6*x*Log[x])/(36*x + 24*x^2 + 4*x^3 + (12*x + 4*x^2)*Log[x] + x*Log[x]^2
),x]

[Out]

(-4*(-3 + E^6*x))/(6 + 2*x + Log[x])

________________________________________________________________________________________

fricas [A]  time = 0.52, size = 17, normalized size = 0.71 4(xe63)2x+log(x)+6

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((-4*x*exp(6)*log(x)-20*x*exp(6)-24*x-12)/(x*log(x)^2+(4*x^2+12*x)*log(x)+4*x^3+24*x^2+36*x),x, algor
ithm="fricas")

[Out]

-4*(x*e^6 - 3)/(2*x + log(x) + 6)

________________________________________________________________________________________

giac [A]  time = 0.15, size = 17, normalized size = 0.71 4(xe63)2x+log(x)+6

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((-4*x*exp(6)*log(x)-20*x*exp(6)-24*x-12)/(x*log(x)^2+(4*x^2+12*x)*log(x)+4*x^3+24*x^2+36*x),x, algor
ithm="giac")

[Out]

-4*(x*e^6 - 3)/(2*x + log(x) + 6)

________________________________________________________________________________________

maple [A]  time = 0.05, size = 18, normalized size = 0.75




method result size



risch 4(xe63)6+ln(x)+2x 18
norman 2e6ln(x)+12+12e66+ln(x)+2x 23



Verification of antiderivative is not currently implemented for this CAS.

[In]

int((-4*x*exp(6)*ln(x)-20*x*exp(6)-24*x-12)/(x*ln(x)^2+(4*x^2+12*x)*ln(x)+4*x^3+24*x^2+36*x),x,method=_RETURNV
ERBOSE)

[Out]

-4*(x*exp(6)-3)/(6+ln(x)+2*x)

________________________________________________________________________________________

maxima [A]  time = 0.40, size = 17, normalized size = 0.71 4(xe63)2x+log(x)+6

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((-4*x*exp(6)*log(x)-20*x*exp(6)-24*x-12)/(x*log(x)^2+(4*x^2+12*x)*log(x)+4*x^3+24*x^2+36*x),x, algor
ithm="maxima")

[Out]

-4*(x*e^6 - 3)/(2*x + log(x) + 6)

________________________________________________________________________________________

mupad [B]  time = 2.62, size = 18, normalized size = 0.75 4xe6122x+ln(x)+6

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(-(24*x + 20*x*exp(6) + 4*x*exp(6)*log(x) + 12)/(36*x + x*log(x)^2 + log(x)*(12*x + 4*x^2) + 24*x^2 + 4*x^3
),x)

[Out]

-(4*x*exp(6) - 12)/(2*x + log(x) + 6)

________________________________________________________________________________________

sympy [A]  time = 0.11, size = 15, normalized size = 0.62 4xe6+122x+log(x)+6

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((-4*x*exp(6)*ln(x)-20*x*exp(6)-24*x-12)/(x*ln(x)**2+(4*x**2+12*x)*ln(x)+4*x**3+24*x**2+36*x),x)

[Out]

(-4*x*exp(6) + 12)/(2*x + log(x) + 6)

________________________________________________________________________________________