\(\int \frac {e^{-x} (-e^x x+e^{-24-e^{\frac {16 e^{-x}}{x}}+10 x-x^2+e^{\frac {8 e^{-x}}{x}} (-10+2 x)} (e^{\frac {16 e^{-x}}{x}} (16+16 x)+e^{\frac {8 e^{-x}}{x}} (80+64 x-16 x^2+2 e^x x^2)+e^x (10 x^2-2 x^3)))}{x^2} \, dx\) [493]

Optimal result
Mathematica [A] (verified)
Rubi [F]
Maple [A] (verified)
Fricas [A] (verification not implemented)
Sympy [A] (verification not implemented)
Maxima [A] (verification not implemented)
Giac [F]
Mupad [B] (verification not implemented)
Reduce [B] (verification not implemented)

Optimal result

Integrand size = 126, antiderivative size = 31 \[ \int \frac {e^{-x} \left (-e^x x+e^{-24-e^{\frac {16 e^{-x}}{x}}+10 x-x^2+e^{\frac {8 e^{-x}}{x}} (-10+2 x)} \left (e^{\frac {16 e^{-x}}{x}} (16+16 x)+e^{\frac {8 e^{-x}}{x}} \left (80+64 x-16 x^2+2 e^x x^2\right )+e^x \left (10 x^2-2 x^3\right )\right )\right )}{x^2} \, dx=3+e^{1-\left (5+e^{\frac {8 e^{-x}}{x}}-x\right )^2}-\log (x) \] Output:

3-ln(x)+exp(1-(exp(4/exp(x)/x)^2-x+5)^2)
 

Mathematica [A] (verified)

Time = 0.14 (sec) , antiderivative size = 48, normalized size of antiderivative = 1.55 \[ \int \frac {e^{-x} \left (-e^x x+e^{-24-e^{\frac {16 e^{-x}}{x}}+10 x-x^2+e^{\frac {8 e^{-x}}{x}} (-10+2 x)} \left (e^{\frac {16 e^{-x}}{x}} (16+16 x)+e^{\frac {8 e^{-x}}{x}} \left (80+64 x-16 x^2+2 e^x x^2\right )+e^x \left (10 x^2-2 x^3\right )\right )\right )}{x^2} \, dx=e^{-24-e^{\frac {16 e^{-x}}{x}}+2 e^{\frac {8 e^{-x}}{x}} (-5+x)+10 x-x^2}-\log (x) \] Input:

Integrate[(-(E^x*x) + E^(-24 - E^(16/(E^x*x)) + 10*x - x^2 + E^(8/(E^x*x)) 
*(-10 + 2*x))*(E^(16/(E^x*x))*(16 + 16*x) + E^(8/(E^x*x))*(80 + 64*x - 16* 
x^2 + 2*E^x*x^2) + E^x*(10*x^2 - 2*x^3)))/(E^x*x^2),x]
 

Output:

E^(-24 - E^(16/(E^x*x)) + 2*E^(8/(E^x*x))*(-5 + x) + 10*x - x^2) - Log[x]
 

Rubi [F]

Below are the steps used by Rubi to obtain the solution. The rule number used for the transformation is given above next to the arrow. The rules definitions used are listed below.

\(\displaystyle \int \frac {e^{-x} \left (\left (e^{\frac {8 e^{-x}}{x}} \left (2 e^x x^2-16 x^2+64 x+80\right )+e^x \left (10 x^2-2 x^3\right )+e^{\frac {16 e^{-x}}{x}} (16 x+16)\right ) \exp \left (-x^2+10 x-e^{\frac {16 e^{-x}}{x}}+e^{\frac {8 e^{-x}}{x}} (2 x-10)-24\right )-e^x x\right )}{x^2} \, dx\)

\(\Big \downarrow \) 7293

\(\displaystyle \int \left (\frac {2 \left (-x+e^{\frac {8 e^{-x}}{x}}+5\right ) \left (e^x x^2+8 e^{\frac {8 e^{-x}}{x}} x+8 e^{\frac {8 e^{-x}}{x}}\right ) \exp \left (-x^2+9 x-e^{\frac {16 e^{-x}}{x}}+2 e^{\frac {8 e^{-x}}{x}} (x-5)-24\right )}{x^2}-\frac {1}{x}\right )dx\)

\(\Big \downarrow \) 2009

\(\displaystyle -16 \int \exp \left (-x^2+9 x-e^{\frac {16 e^{-x}}{x}}+2 e^{\frac {8 e^{-x}}{x}} (x-5)-24+\frac {8 e^{-x}}{x}\right )dx+10 \int \exp \left (-x^2+10 x-e^{\frac {16 e^{-x}}{x}}+2 e^{\frac {8 e^{-x}}{x}} (x-5)-24\right )dx+2 \int \exp \left (-x^2+10 x-e^{\frac {16 e^{-x}}{x}}+2 e^{\frac {8 e^{-x}}{x}} (x-5)-24+\frac {8 e^{-x}}{x}\right )dx+80 \int \frac {\exp \left (-x^2+9 x-e^{\frac {16 e^{-x}}{x}}+2 e^{\frac {8 e^{-x}}{x}} (x-5)-24+\frac {8 e^{-x}}{x}\right )}{x^2}dx+16 \int \frac {\exp \left (-x^2+9 x-e^{\frac {16 e^{-x}}{x}}+2 e^{\frac {8 e^{-x}}{x}} (x-5)-24+\frac {16 e^{-x}}{x}\right )}{x^2}dx+64 \int \frac {\exp \left (-x^2+9 x-e^{\frac {16 e^{-x}}{x}}+2 e^{\frac {8 e^{-x}}{x}} (x-5)-24+\frac {8 e^{-x}}{x}\right )}{x}dx+16 \int \frac {\exp \left (-x^2+9 x-e^{\frac {16 e^{-x}}{x}}+2 e^{\frac {8 e^{-x}}{x}} (x-5)-24+\frac {16 e^{-x}}{x}\right )}{x}dx-2 \int \exp \left (-x^2+10 x-e^{\frac {16 e^{-x}}{x}}+2 e^{\frac {8 e^{-x}}{x}} (x-5)-24\right ) xdx-\log (x)\)

Input:

Int[(-(E^x*x) + E^(-24 - E^(16/(E^x*x)) + 10*x - x^2 + E^(8/(E^x*x))*(-10 
+ 2*x))*(E^(16/(E^x*x))*(16 + 16*x) + E^(8/(E^x*x))*(80 + 64*x - 16*x^2 + 
2*E^x*x^2) + E^x*(10*x^2 - 2*x^3)))/(E^x*x^2),x]
 

Output:

$Aborted
 
Maple [A] (verified)

Time = 1.81 (sec) , antiderivative size = 49, normalized size of antiderivative = 1.58

method result size
parallelrisch \(-\ln \left (x \right )+{\mathrm e}^{-{\mathrm e}^{\frac {16 \,{\mathrm e}^{-x}}{x}}+\left (2 x -10\right ) {\mathrm e}^{\frac {8 \,{\mathrm e}^{-x}}{x}}-x^{2}+10 x -24}\) \(49\)
risch \(-\ln \left (x \right )+{\mathrm e}^{2 \,{\mathrm e}^{\frac {8 \,{\mathrm e}^{-x}}{x}} x -x^{2}-{\mathrm e}^{\frac {16 \,{\mathrm e}^{-x}}{x}}-10 \,{\mathrm e}^{\frac {8 \,{\mathrm e}^{-x}}{x}}+10 x -24}\) \(54\)

Input:

int((((16*x+16)*exp(4/exp(x)/x)^4+(2*exp(x)*x^2-16*x^2+64*x+80)*exp(4/exp( 
x)/x)^2+(-2*x^3+10*x^2)*exp(x))*exp(-exp(4/exp(x)/x)^4+(2*x-10)*exp(4/exp( 
x)/x)^2-x^2+10*x-24)-exp(x)*x)/exp(x)/x^2,x,method=_RETURNVERBOSE)
 

Output:

-ln(x)+exp(-exp(4/exp(x)/x)^4+(2*x-10)*exp(4/exp(x)/x)^2-x^2+10*x-24)
 

Fricas [A] (verification not implemented)

Time = 0.10 (sec) , antiderivative size = 43, normalized size of antiderivative = 1.39 \[ \int \frac {e^{-x} \left (-e^x x+e^{-24-e^{\frac {16 e^{-x}}{x}}+10 x-x^2+e^{\frac {8 e^{-x}}{x}} (-10+2 x)} \left (e^{\frac {16 e^{-x}}{x}} (16+16 x)+e^{\frac {8 e^{-x}}{x}} \left (80+64 x-16 x^2+2 e^x x^2\right )+e^x \left (10 x^2-2 x^3\right )\right )\right )}{x^2} \, dx=e^{\left (-x^{2} + 2 \, {\left (x - 5\right )} e^{\left (\frac {8 \, e^{\left (-x\right )}}{x}\right )} + 10 \, x - e^{\left (\frac {16 \, e^{\left (-x\right )}}{x}\right )} - 24\right )} - \log \left (x\right ) \] Input:

integrate((((16*x+16)*exp(4/exp(x)/x)^4+(2*exp(x)*x^2-16*x^2+64*x+80)*exp( 
4/exp(x)/x)^2+(-2*x^3+10*x^2)*exp(x))*exp(-exp(4/exp(x)/x)^4+(2*x-10)*exp( 
4/exp(x)/x)^2-x^2+10*x-24)-exp(x)*x)/exp(x)/x^2,x, algorithm="fricas")
 

Output:

e^(-x^2 + 2*(x - 5)*e^(8*e^(-x)/x) + 10*x - e^(16*e^(-x)/x) - 24) - log(x)
 

Sympy [A] (verification not implemented)

Time = 1.90 (sec) , antiderivative size = 34, normalized size of antiderivative = 1.10 \[ \int \frac {e^{-x} \left (-e^x x+e^{-24-e^{\frac {16 e^{-x}}{x}}+10 x-x^2+e^{\frac {8 e^{-x}}{x}} (-10+2 x)} \left (e^{\frac {16 e^{-x}}{x}} (16+16 x)+e^{\frac {8 e^{-x}}{x}} \left (80+64 x-16 x^2+2 e^x x^2\right )+e^x \left (10 x^2-2 x^3\right )\right )\right )}{x^2} \, dx=e^{- x^{2} + 10 x + \left (2 x - 10\right ) e^{\frac {8 e^{- x}}{x}} - e^{\frac {16 e^{- x}}{x}} - 24} - \log {\left (x \right )} \] Input:

integrate((((16*x+16)*exp(4/exp(x)/x)**4+(2*exp(x)*x**2-16*x**2+64*x+80)*e 
xp(4/exp(x)/x)**2+(-2*x**3+10*x**2)*exp(x))*exp(-exp(4/exp(x)/x)**4+(2*x-1 
0)*exp(4/exp(x)/x)**2-x**2+10*x-24)-exp(x)*x)/exp(x)/x**2,x)
 

Output:

exp(-x**2 + 10*x + (2*x - 10)*exp(8*exp(-x)/x) - exp(16*exp(-x)/x) - 24) - 
 log(x)
 

Maxima [A] (verification not implemented)

Time = 0.28 (sec) , antiderivative size = 53, normalized size of antiderivative = 1.71 \[ \int \frac {e^{-x} \left (-e^x x+e^{-24-e^{\frac {16 e^{-x}}{x}}+10 x-x^2+e^{\frac {8 e^{-x}}{x}} (-10+2 x)} \left (e^{\frac {16 e^{-x}}{x}} (16+16 x)+e^{\frac {8 e^{-x}}{x}} \left (80+64 x-16 x^2+2 e^x x^2\right )+e^x \left (10 x^2-2 x^3\right )\right )\right )}{x^2} \, dx=e^{\left (-x^{2} + 2 \, x e^{\left (\frac {8 \, e^{\left (-x\right )}}{x}\right )} + 10 \, x - e^{\left (\frac {16 \, e^{\left (-x\right )}}{x}\right )} - 10 \, e^{\left (\frac {8 \, e^{\left (-x\right )}}{x}\right )} - 24\right )} - \log \left (x\right ) \] Input:

integrate((((16*x+16)*exp(4/exp(x)/x)^4+(2*exp(x)*x^2-16*x^2+64*x+80)*exp( 
4/exp(x)/x)^2+(-2*x^3+10*x^2)*exp(x))*exp(-exp(4/exp(x)/x)^4+(2*x-10)*exp( 
4/exp(x)/x)^2-x^2+10*x-24)-exp(x)*x)/exp(x)/x^2,x, algorithm="maxima")
 

Output:

e^(-x^2 + 2*x*e^(8*e^(-x)/x) + 10*x - e^(16*e^(-x)/x) - 10*e^(8*e^(-x)/x) 
- 24) - log(x)
 

Giac [F]

\[ \int \frac {e^{-x} \left (-e^x x+e^{-24-e^{\frac {16 e^{-x}}{x}}+10 x-x^2+e^{\frac {8 e^{-x}}{x}} (-10+2 x)} \left (e^{\frac {16 e^{-x}}{x}} (16+16 x)+e^{\frac {8 e^{-x}}{x}} \left (80+64 x-16 x^2+2 e^x x^2\right )+e^x \left (10 x^2-2 x^3\right )\right )\right )}{x^2} \, dx=\int { -\frac {{\left (2 \, {\left ({\left (x^{3} - 5 \, x^{2}\right )} e^{x} - 8 \, {\left (x + 1\right )} e^{\left (\frac {16 \, e^{\left (-x\right )}}{x}\right )} - {\left (x^{2} e^{x} - 8 \, x^{2} + 32 \, x + 40\right )} e^{\left (\frac {8 \, e^{\left (-x\right )}}{x}\right )}\right )} e^{\left (-x^{2} + 2 \, {\left (x - 5\right )} e^{\left (\frac {8 \, e^{\left (-x\right )}}{x}\right )} + 10 \, x - e^{\left (\frac {16 \, e^{\left (-x\right )}}{x}\right )} - 24\right )} + x e^{x}\right )} e^{\left (-x\right )}}{x^{2}} \,d x } \] Input:

integrate((((16*x+16)*exp(4/exp(x)/x)^4+(2*exp(x)*x^2-16*x^2+64*x+80)*exp( 
4/exp(x)/x)^2+(-2*x^3+10*x^2)*exp(x))*exp(-exp(4/exp(x)/x)^4+(2*x-10)*exp( 
4/exp(x)/x)^2-x^2+10*x-24)-exp(x)*x)/exp(x)/x^2,x, algorithm="giac")
 

Output:

integrate(-(2*((x^3 - 5*x^2)*e^x - 8*(x + 1)*e^(16*e^(-x)/x) - (x^2*e^x - 
8*x^2 + 32*x + 40)*e^(8*e^(-x)/x))*e^(-x^2 + 2*(x - 5)*e^(8*e^(-x)/x) + 10 
*x - e^(16*e^(-x)/x) - 24) + x*e^x)*e^(-x)/x^2, x)
 

Mupad [B] (verification not implemented)

Time = 4.44 (sec) , antiderivative size = 58, normalized size of antiderivative = 1.87 \[ \int \frac {e^{-x} \left (-e^x x+e^{-24-e^{\frac {16 e^{-x}}{x}}+10 x-x^2+e^{\frac {8 e^{-x}}{x}} (-10+2 x)} \left (e^{\frac {16 e^{-x}}{x}} (16+16 x)+e^{\frac {8 e^{-x}}{x}} \left (80+64 x-16 x^2+2 e^x x^2\right )+e^x \left (10 x^2-2 x^3\right )\right )\right )}{x^2} \, dx={\mathrm {e}}^{2\,x\,{\mathrm {e}}^{\frac {8\,{\mathrm {e}}^{-x}}{x}}}\,{\mathrm {e}}^{10\,x}\,{\mathrm {e}}^{-24}\,{\mathrm {e}}^{-x^2}\,{\mathrm {e}}^{-{\mathrm {e}}^{\frac {16\,{\mathrm {e}}^{-x}}{x}}}\,{\mathrm {e}}^{-10\,{\mathrm {e}}^{\frac {8\,{\mathrm {e}}^{-x}}{x}}}-\ln \left (x\right ) \] Input:

int((exp(-x)*(exp(10*x - exp((16*exp(-x))/x) + exp((8*exp(-x))/x)*(2*x - 1 
0) - x^2 - 24)*(exp(x)*(10*x^2 - 2*x^3) + exp((16*exp(-x))/x)*(16*x + 16) 
+ exp((8*exp(-x))/x)*(64*x + 2*x^2*exp(x) - 16*x^2 + 80)) - x*exp(x)))/x^2 
,x)
 

Output:

exp(2*x*exp((8*exp(-x))/x))*exp(10*x)*exp(-24)*exp(-x^2)*exp(-exp((16*exp( 
-x))/x))*exp(-10*exp((8*exp(-x))/x)) - log(x)
 

Reduce [B] (verification not implemented)

Time = 0.55 (sec) , antiderivative size = 99, normalized size of antiderivative = 3.19 \[ \int \frac {e^{-x} \left (-e^x x+e^{-24-e^{\frac {16 e^{-x}}{x}}+10 x-x^2+e^{\frac {8 e^{-x}}{x}} (-10+2 x)} \left (e^{\frac {16 e^{-x}}{x}} (16+16 x)+e^{\frac {8 e^{-x}}{x}} \left (80+64 x-16 x^2+2 e^x x^2\right )+e^x \left (10 x^2-2 x^3\right )\right )\right )}{x^2} \, dx=\frac {-e^{e^{\frac {16}{e^{x} x}}+10 e^{\frac {8}{e^{x} x}}+x^{2}} \mathrm {log}\left (x \right ) e^{24}+e^{2 e^{\frac {8}{e^{x} x}} x +10 x}}{e^{e^{\frac {16}{e^{x} x}}+10 e^{\frac {8}{e^{x} x}}+x^{2}} e^{24}} \] Input:

int((((16*x+16)*exp(4/exp(x)/x)^4+(2*exp(x)*x^2-16*x^2+64*x+80)*exp(4/exp( 
x)/x)^2+(-2*x^3+10*x^2)*exp(x))*exp(-exp(4/exp(x)/x)^4+(2*x-10)*exp(4/exp( 
x)/x)^2-x^2+10*x-24)-exp(x)*x)/exp(x)/x^2,x)
 

Output:

( - e**(e**(16/(e**x*x)) + 10*e**(8/(e**x*x)) + x**2)*log(x)*e**24 + e**(2 
*e**(8/(e**x*x))*x + 10*x))/(e**(e**(16/(e**x*x)) + 10*e**(8/(e**x*x)) + x 
**2)*e**24)