3.73.8 ex+x2128(1024x16x2)+128ex+x2128log(x)+ex+x2128(64x+x2)log2(x)64xdx

Optimal. Leaf size=18 ex+x2128(16+log2(x))

________________________________________________________________________________________

Rubi [F]  time = 0.29, 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 = {} ex+x2128(1024x16x2)+128ex+x2128log(x)+ex+x2128(64x+x2)log2(x)64xdx

Verification is not applicable to the result.

[In]

Int[(E^(x + x^2/128)*(-1024*x - 16*x^2) + 128*E^(x + x^2/128)*Log[x] + E^(x + x^2/128)*(64*x + x^2)*Log[x]^2)/
(64*x),x]

[Out]

-16*E^(x + x^2/128) + 2*Log[x]*Defer[Int][E^(x + x^2/128)/x, x] + Defer[Int][E^(x + x^2/128)*Log[x]^2, x] + De
fer[Int][E^(x + x^2/128)*x*Log[x]^2, x]/64 - 2*Defer[Int][Defer[Int][E^(x + x^2/128)/x, x]/x, x]

Rubi steps

integral=164ex+x2128(1024x16x2)+128ex+x2128log(x)+ex+x2128(64x+x2)log2(x)xdx=164(1024ex+x212816ex+x2128x+128ex+x2128log(x)x+64ex+x2128log2(x)+ex+x2128xlog2(x))dx=164ex+x2128xlog2(x)dx14ex+x2128xdx+2ex+x2128log(x)xdx16ex+x2128dx+ex+x2128log2(x)dx=16ex+x2128+164ex+x2128xlog2(x)dx2ex+x2128xdxxdx+16ex+x2128dx16e32(1+x64)2dxe32+(2log(x))ex+x2128xdx+ex+x2128log2(x)dx=16ex+x2128642πerfi(64+x82)e32+164ex+x2128xlog2(x)dx2ex+x2128xdxxdx+16e32(1+x64)2dxe32+(2log(x))ex+x2128xdx+ex+x2128log2(x)dx=16ex+x2128+164ex+x2128xlog2(x)dx2ex+x2128xdxxdx+(2log(x))ex+x2128xdx+ex+x2128log2(x)dx

________________________________________________________________________________________

Mathematica [A]  time = 0.02, size = 18, normalized size = 1.00 ex+x2128(16+log2(x))

Antiderivative was successfully verified.

[In]

Integrate[(E^(x + x^2/128)*(-1024*x - 16*x^2) + 128*E^(x + x^2/128)*Log[x] + E^(x + x^2/128)*(64*x + x^2)*Log[
x]^2)/(64*x),x]

[Out]

E^(x + x^2/128)*(-16 + Log[x]^2)

________________________________________________________________________________________

fricas [A]  time = 0.63, size = 24, normalized size = 1.33 e(1128x2+x)log(x)216e(1128x2+x)

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(1/64*((x^2+64*x)*exp(x)*exp(1/128*x^2)*log(x)^2+128*exp(x)*exp(1/128*x^2)*log(x)+(-16*x^2-1024*x)*ex
p(x)*exp(1/128*x^2))/x,x, algorithm="fricas")

[Out]

e^(1/128*x^2 + x)*log(x)^2 - 16*e^(1/128*x^2 + x)

________________________________________________________________________________________

giac [A]  time = 1.80, size = 24, normalized size = 1.33 e(1128x2+x)log(x)216e(1128x2+x)

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(1/64*((x^2+64*x)*exp(x)*exp(1/128*x^2)*log(x)^2+128*exp(x)*exp(1/128*x^2)*log(x)+(-16*x^2-1024*x)*ex
p(x)*exp(1/128*x^2))/x,x, algorithm="giac")

[Out]

e^(1/128*x^2 + x)*log(x)^2 - 16*e^(1/128*x^2 + x)

________________________________________________________________________________________

maple [A]  time = 0.03, size = 23, normalized size = 1.28




method result size



risch ln(x)2ex(128+x)12816ex(128+x)128 23



Verification of antiderivative is not currently implemented for this CAS.

[In]

int(1/64*((x^2+64*x)*exp(x)*exp(1/128*x^2)*ln(x)^2+128*exp(x)*exp(1/128*x^2)*ln(x)+(-16*x^2-1024*x)*exp(x)*exp
(1/128*x^2))/x,x,method=_RETURNVERBOSE)

[Out]

ln(x)^2*exp(1/128*x*(128+x))-16*exp(1/128*x*(128+x))

________________________________________________________________________________________

maxima [C]  time = 0.56, size = 98, normalized size = 5.44 64i2πerf(116i2x+4i2)e(32)+e(1128x2+x)log(x)2+82(8212π(x+64)(erf(1812(x+64)2)1)(x+64)22e(1128(x+64)2))e(32)

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(1/64*((x^2+64*x)*exp(x)*exp(1/128*x^2)*log(x)^2+128*exp(x)*exp(1/128*x^2)*log(x)+(-16*x^2-1024*x)*ex
p(x)*exp(1/128*x^2))/x,x, algorithm="maxima")

[Out]

64*I*sqrt(2)*sqrt(pi)*erf(1/16*I*sqrt(2)*x + 4*I*sqrt(2))*e^(-32) + e^(1/128*x^2 + x)*log(x)^2 + 8*sqrt(2)*(8*
sqrt(2)*sqrt(1/2)*sqrt(pi)*(x + 64)*(erf(1/8*sqrt(1/2)*sqrt(-(x + 64)^2)) - 1)/sqrt(-(x + 64)^2) - sqrt(2)*e^(
1/128*(x + 64)^2))*e^(-32)

________________________________________________________________________________________

mupad [B]  time = 4.48, size = 15, normalized size = 0.83 ex2128+x(ln(x)216)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((2*exp(x^2/128)*exp(x)*log(x) - (exp(x^2/128)*exp(x)*(1024*x + 16*x^2))/64 + (exp(x^2/128)*exp(x)*log(x)^2
*(64*x + x^2))/64)/x,x)

[Out]

exp(x + x^2/128)*(log(x)^2 - 16)

________________________________________________________________________________________

sympy [A]  time = 28.91, size = 19, normalized size = 1.06 (exlog(x)216ex)ex2128

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(1/64*((x**2+64*x)*exp(x)*exp(1/128*x**2)*ln(x)**2+128*exp(x)*exp(1/128*x**2)*ln(x)+(-16*x**2-1024*x)
*exp(x)*exp(1/128*x**2))/x,x)

[Out]

(exp(x)*log(x)**2 - 16*exp(x))*exp(x**2/128)

________________________________________________________________________________________