3.17.49 ee5+2xx(e5(3x)9x2x2)x5dx

Optimal. Leaf size=18 e2+e5x(3+x)x3

________________________________________________________________________________________

Rubi [B]  time = 0.06, antiderivative size = 41, normalized size of antiderivative = 2.28, number of steps used = 1, number of rules used = 1, integrand size = 38, number of rulesintegrand size = 0.026, Rules used = {2288} ee52xx+5(x+3)(e52xx2+2x)x5

Antiderivative was successfully verified.

[In]

Int[(E^5*(-3 - x) - 9*x - 2*x^2)/(E^((-E^5 + 2*x)/x)*x^5),x]

[Out]

(E^(5 + (E^5 - 2*x)/x)*(3 + x))/(((E^5 - 2*x)/x^2 + 2/x)*x^5)

Rule 2288

Int[(y_.)*(F_)^(u_)*((v_) + (w_)), x_Symbol] :> With[{z = (v*y)/(Log[F]*D[u, x])}, Simp[F^u*z, x] /; EqQ[D[z,
x], w*y]] /; FreeQ[F, x]

Rubi steps

integral=e5+e52xx(3+x)(e52xx2+2x)x5

________________________________________________________________________________________

Mathematica [A]  time = 0.01, size = 18, normalized size = 1.00 e2+e5x(3+x)x3

Antiderivative was successfully verified.

[In]

Integrate[(E^5*(-3 - x) - 9*x - 2*x^2)/(E^((-E^5 + 2*x)/x)*x^5),x]

[Out]

(E^(-2 + E^5/x)*(3 + x))/x^3

________________________________________________________________________________________

fricas [A]  time = 0.74, size = 21, normalized size = 1.17 (x+3)e(2xe5x)x3

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

(x + 3)*e^(-(2*x - e^5)/x)/x^3

________________________________________________________________________________________

giac [B]  time = 0.28, size = 190, normalized size = 10.56 ((2xe5)2e(2xe5x+10)x24(2xe5)e(2xe5x+10)x3(2xe5)3e(2xe5x+5)x3+18(2xe5)2e(2xe5x+5)x236(2xe5)e(2xe5x+5)x+4e(2xe5x+10)+24e(2xe5x+5))e(20)

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

((2*x - e^5)^2*e^(-(2*x - e^5)/x + 10)/x^2 - 4*(2*x - e^5)*e^(-(2*x - e^5)/x + 10)/x - 3*(2*x - e^5)^3*e^(-(2*
x - e^5)/x + 5)/x^3 + 18*(2*x - e^5)^2*e^(-(2*x - e^5)/x + 5)/x^2 - 36*(2*x - e^5)*e^(-(2*x - e^5)/x + 5)/x +
4*e^(-(2*x - e^5)/x + 10) + 24*e^(-(2*x - e^5)/x + 5))*e^(-20)

________________________________________________________________________________________

maple [A]  time = 0.18, size = 19, normalized size = 1.06




method result size



risch (3+x)ee52xxx3 19
gosper (3+x)ee52xxx3 22
norman (x2+3x)ee5+2xxx4 27
meijerg 2e8+e5xe3x(1(22e3x)ee3x2)+e11+e5xe3x(e59)(2(3e6x26e3x+6)ee3x3)+3e9+e5xe3x(6(4e9x3+12e6x224e3x+24)ee3x4) 142
derivativedivides e20(e10(((2e5x)24e5x+16)ee5x28e2\expIntegralEi(1,e5x))24ee5x2e5+16e10(ee5x2xe5+e2\expIntegralEi(1,e5x))+72e5e2\expIntegralEi(1,e5x)+8e10e2\expIntegralEi(1,e5x)36e5(ee5x2(2e5x)ee5x2)+18e5(ee5x2(2e5x)22ee5x2(2e5x)2ee5x2)3e5(ee5x2(2e5x)33ee5x2(2e5x)26ee5x2(2e5x)6ee5x2)24e10(2ee5x2xe5+e2\expIntegralEi(1,e5x))+12e10(ee5x2+4ee5x2xe5)2e10((e5x+7)ee5x2+8ee5x2xe54e2\expIntegralEi(1,e5x))+108e5(ee5x22e2\expIntegralEi(1,e5x))54e5(ee5x2(e5x+5)4e2\expIntegralEi(1,e5x))+9e5(((2e5x)24e5x+16)ee5x28e2\expIntegralEi(1,e5x))+12e10(ee5x22e2\expIntegralEi(1,e5x))6e10(ee5x2(e5x+5)4e2\expIntegralEi(1,e5x))) 653
default e20(e10(((2e5x)24e5x+16)ee5x28e2\expIntegralEi(1,e5x))24ee5x2e5+16e10(ee5x2xe5+e2\expIntegralEi(1,e5x))+72e5e2\expIntegralEi(1,e5x)+8e10e2\expIntegralEi(1,e5x)36e5(ee5x2(2e5x)ee5x2)+18e5(ee5x2(2e5x)22ee5x2(2e5x)2ee5x2)3e5(ee5x2(2e5x)33ee5x2(2e5x)26ee5x2(2e5x)6ee5x2)24e10(2ee5x2xe5+e2\expIntegralEi(1,e5x))+12e10(ee5x2+4ee5x2xe5)2e10((e5x+7)ee5x2+8ee5x2xe54e2\expIntegralEi(1,e5x))+108e5(ee5x22e2\expIntegralEi(1,e5x))54e5(ee5x2(e5x+5)4e2\expIntegralEi(1,e5x))+9e5(((2e5x)24e5x+16)ee5x28e2\expIntegralEi(1,e5x))+12e10(ee5x22e2\expIntegralEi(1,e5x))6e10(ee5x2(e5x+5)4e2\expIntegralEi(1,e5x))) 653



Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

(3+x)/x^3*exp((exp(5)-2*x)/x)

________________________________________________________________________________________

maxima [C]  time = 0.46, size = 52, normalized size = 2.89 3e(17)Γ(4,e5x)+e(12)Γ(3,e5x)+9e(17)Γ(3,e5x)2e(12)Γ(2,e5x)

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

-3*e^(-17)*gamma(4, -e^5/x) + e^(-12)*gamma(3, -e^5/x) + 9*e^(-17)*gamma(3, -e^5/x) - 2*e^(-12)*gamma(2, -e^5/
x)

________________________________________________________________________________________

mupad [B]  time = 1.05, size = 16, normalized size = 0.89 ee5x2(x+3)x3

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

(exp(exp(5)/x - 2)*(x + 3))/x^3

________________________________________________________________________________________

sympy [A]  time = 0.13, size = 15, normalized size = 0.83 (x+3)e2xe5xx3

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

(x + 3)*exp(-(2*x - exp(5))/x)/x**3

________________________________________________________________________________________