\(\int \frac {e^{-e^x-2 x} (10 e^{2 x}+5 e^{3 x} x-50 e^{e^x} x^3+e^{2 e^x+x} (e^{3 x} x^2+e^{2 x} (-x+x^2)))}{x^3} \, dx\) [8997]

   Optimal result
   Rubi [F]
   Mathematica [A] (verified)
   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)

Optimal result

Integrand size = 74, antiderivative size = 34 \[ \int \frac {e^{-e^x-2 x} \left (10 e^{2 x}+5 e^{3 x} x-50 e^{e^x} x^3+e^{2 e^x+x} \left (e^{3 x} x^2+e^{2 x} \left (-x+x^2\right )\right )\right )}{x^3} \, dx=25 e^{-2 x}+\frac {e^{e^x+x}-\frac {5 e^{-e^x}}{x}}{x}+\log (3) \]

[Out]

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

Rubi [F]

\[ \int \frac {e^{-e^x-2 x} \left (10 e^{2 x}+5 e^{3 x} x-50 e^{e^x} x^3+e^{2 e^x+x} \left (e^{3 x} x^2+e^{2 x} \left (-x+x^2\right )\right )\right )}{x^3} \, dx=\int \frac {e^{-e^x-2 x} \left (10 e^{2 x}+5 e^{3 x} x-50 e^{e^x} x^3+e^{2 e^x+x} \left (e^{3 x} x^2+e^{2 x} \left (-x+x^2\right )\right )\right )}{x^3} \, dx \]

[In]

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

[Out]

25/E^(2*x) + 10*Defer[Int][1/(E^E^x*x^3), x] + 5*Defer[Int][E^(-E^x + x)/x^2, x] - Defer[Int][E^(E^x + x)/x^2,
 x] + Defer[Int][E^(E^x + x)/x, x] + Defer[Int][E^(E^x + 2*x)/x, x]

Rubi steps \begin{align*} \text {integral}& = \int \left (-50 e^{-2 x}+\frac {10 e^{-e^x}}{x^3}+\frac {e^{-e^x-2 x+2 \left (e^x+2 x\right )}}{x}+\frac {e^{-e^x+x} \left (5-e^{2 e^x}+e^{2 e^x} x\right )}{x^2}\right ) \, dx \\ & = 10 \int \frac {e^{-e^x}}{x^3} \, dx-50 \int e^{-2 x} \, dx+\int \frac {e^{-e^x-2 x+2 \left (e^x+2 x\right )}}{x} \, dx+\int \frac {e^{-e^x+x} \left (5-e^{2 e^x}+e^{2 e^x} x\right )}{x^2} \, dx \\ & = 25 e^{-2 x}+10 \int \frac {e^{-e^x}}{x^3} \, dx+\int \frac {e^{-e^x+x} \left (5+e^{2 e^x} (-1+x)\right )}{x^2} \, dx+\int \frac {e^{e^x+2 x}}{x} \, dx \\ & = 25 e^{-2 x}+10 \int \frac {e^{-e^x}}{x^3} \, dx+\int \left (\frac {5 e^{-e^x+x}}{x^2}+\frac {e^{e^x+x} (-1+x)}{x^2}\right ) \, dx+\int \frac {e^{e^x+2 x}}{x} \, dx \\ & = 25 e^{-2 x}+5 \int \frac {e^{-e^x+x}}{x^2} \, dx+10 \int \frac {e^{-e^x}}{x^3} \, dx+\int \frac {e^{e^x+x} (-1+x)}{x^2} \, dx+\int \frac {e^{e^x+2 x}}{x} \, dx \\ & = 25 e^{-2 x}+5 \int \frac {e^{-e^x+x}}{x^2} \, dx+10 \int \frac {e^{-e^x}}{x^3} \, dx+\int \left (-\frac {e^{e^x+x}}{x^2}+\frac {e^{e^x+x}}{x}\right ) \, dx+\int \frac {e^{e^x+2 x}}{x} \, dx \\ & = 25 e^{-2 x}+5 \int \frac {e^{-e^x+x}}{x^2} \, dx+10 \int \frac {e^{-e^x}}{x^3} \, dx-\int \frac {e^{e^x+x}}{x^2} \, dx+\int \frac {e^{e^x+x}}{x} \, dx+\int \frac {e^{e^x+2 x}}{x} \, dx \\ \end{align*}

Mathematica [A] (verified)

Time = 0.10 (sec) , antiderivative size = 31, normalized size of antiderivative = 0.91 \[ \int \frac {e^{-e^x-2 x} \left (10 e^{2 x}+5 e^{3 x} x-50 e^{e^x} x^3+e^{2 e^x+x} \left (e^{3 x} x^2+e^{2 x} \left (-x+x^2\right )\right )\right )}{x^3} \, dx=25 e^{-2 x}-\frac {5 e^{-e^x}}{x^2}+\frac {e^{e^x+x}}{x} \]

[In]

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

[Out]

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

Maple [A] (verified)

Time = 0.25 (sec) , antiderivative size = 27, normalized size of antiderivative = 0.79

method result size
risch \(25 \,{\mathrm e}^{-2 x}+\frac {{\mathrm e}^{{\mathrm e}^{x}+x}}{x}-\frac {5 \,{\mathrm e}^{-{\mathrm e}^{x}}}{x^{2}}\) \(27\)
parallelrisch \(\frac {\left ({\mathrm e}^{2 x} {\mathrm e}^{{\mathrm e}^{x}} {\mathrm e}^{{\mathrm e}^{x}+x} x +25 \,{\mathrm e}^{{\mathrm e}^{x}} x^{2}-5 \,{\mathrm e}^{2 x}\right ) {\mathrm e}^{-{\mathrm e}^{x}} {\mathrm e}^{-2 x}}{x^{2}}\) \(43\)

[In]

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

[Out]

25*exp(-2*x)+1/x*exp(exp(x)+x)-5/x^2*exp(-exp(x))

Fricas [A] (verification not implemented)

none

Time = 0.26 (sec) , antiderivative size = 39, normalized size of antiderivative = 1.15 \[ \int \frac {e^{-e^x-2 x} \left (10 e^{2 x}+5 e^{3 x} x-50 e^{e^x} x^3+e^{2 e^x+x} \left (e^{3 x} x^2+e^{2 x} \left (-x+x^2\right )\right )\right )}{x^3} \, dx=\frac {{\left (25 \, x^{2} e^{\left (e^{x}\right )} + x e^{\left (3 \, x + 2 \, e^{x}\right )} - 5 \, e^{\left (2 \, x\right )}\right )} e^{\left (-2 \, x - e^{x}\right )}}{x^{2}} \]

[In]

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

[Out]

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

Sympy [A] (verification not implemented)

Time = 0.10 (sec) , antiderivative size = 29, normalized size of antiderivative = 0.85 \[ \int \frac {e^{-e^x-2 x} \left (10 e^{2 x}+5 e^{3 x} x-50 e^{e^x} x^3+e^{2 e^x+x} \left (e^{3 x} x^2+e^{2 x} \left (-x+x^2\right )\right )\right )}{x^3} \, dx=25 e^{- 2 x} + \frac {x^{2} e^{x} e^{e^{x}} - 5 x e^{- e^{x}}}{x^{3}} \]

[In]

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

[Out]

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

Maxima [A] (verification not implemented)

none

Time = 0.26 (sec) , antiderivative size = 26, normalized size of antiderivative = 0.76 \[ \int \frac {e^{-e^x-2 x} \left (10 e^{2 x}+5 e^{3 x} x-50 e^{e^x} x^3+e^{2 e^x+x} \left (e^{3 x} x^2+e^{2 x} \left (-x+x^2\right )\right )\right )}{x^3} \, dx=\frac {x e^{\left (x + e^{x}\right )} - 5 \, e^{\left (-e^{x}\right )}}{x^{2}} + 25 \, e^{\left (-2 \, x\right )} \]

[In]

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

[Out]

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

Giac [F]

\[ \int \frac {e^{-e^x-2 x} \left (10 e^{2 x}+5 e^{3 x} x-50 e^{e^x} x^3+e^{2 e^x+x} \left (e^{3 x} x^2+e^{2 x} \left (-x+x^2\right )\right )\right )}{x^3} \, dx=\int { -\frac {{\left (50 \, x^{3} e^{\left (e^{x}\right )} - 5 \, x e^{\left (3 \, x\right )} - {\left (x^{2} e^{\left (3 \, x\right )} + {\left (x^{2} - x\right )} e^{\left (2 \, x\right )}\right )} e^{\left (x + 2 \, e^{x}\right )} - 10 \, e^{\left (2 \, x\right )}\right )} e^{\left (-2 \, x - e^{x}\right )}}{x^{3}} \,d x } \]

[In]

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

[Out]

integrate(-(50*x^3*e^(e^x) - 5*x*e^(3*x) - (x^2*e^(3*x) + (x^2 - x)*e^(2*x))*e^(x + 2*e^x) - 10*e^(2*x))*e^(-2
*x - e^x)/x^3, x)

Mupad [B] (verification not implemented)

Time = 12.64 (sec) , antiderivative size = 26, normalized size of antiderivative = 0.76 \[ \int \frac {e^{-e^x-2 x} \left (10 e^{2 x}+5 e^{3 x} x-50 e^{e^x} x^3+e^{2 e^x+x} \left (e^{3 x} x^2+e^{2 x} \left (-x+x^2\right )\right )\right )}{x^3} \, dx=25\,{\mathrm {e}}^{-2\,x}+\frac {{\mathrm {e}}^{x+{\mathrm {e}}^x}}{x}-\frac {5\,{\mathrm {e}}^{-{\mathrm {e}}^x}}{x^2} \]

[In]

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

[Out]

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