\(\int \frac {e^{-3-e^x+e^{\frac {-3-e^3 x}{e^3 x}}-x} (3 e^{\frac {-3-e^3 x}{e^3 x}}-e^3 x^2-e^{3+x} x^2)}{x^2} \, dx\) [4159]

Optimal result

Integrand size = 71, antiderivative size = 23 \[ \int \frac {e^{-3-e^x+e^{\frac {-3-e^3 x}{e^3 x}}-x} \left (3 e^{\frac {-3-e^3 x}{e^3 x}}-e^3 x^2-e^{3+x} x^2\right )}{x^2} \, dx=e^{e^{-1-\frac {3}{e^3 x}}-e^x-x} \]

[Out]

exp(exp(-1-3/x/exp(3))-exp(x)-x)

Rubi [A] (verified)

Time = 0.43 (sec) , antiderivative size = 28, normalized size of antiderivative = 1.22, number of steps used = 1, number of rules used = 1, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.014, Rules used = {6838} \[ \int \frac {e^{-3-e^x+e^{\frac {-3-e^3 x}{e^3 x}}-x} \left (3 e^{\frac {-3-e^3 x}{e^3 x}}-e^3 x^2-e^{3+x} x^2\right )}{x^2} \, dx=e^{-x-e^x+e^{-\frac {e^3 x+3}{e^3 x}}} \]

[In]

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

[Out]

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

Rule 6838

Int[(F_)^(v_)*(u_), x_Symbol] :> With[{q = DerivativeDivides[v, u, x]}, Simp[q*(F^v/Log[F]), x] /;  !FalseQ[q]
] /; FreeQ[F, x]

Rubi steps \begin{align*} \text {integral}& = e^{-e^x+e^{-\frac {3+e^3 x}{e^3 x}}-x} \\ \end{align*}

Mathematica [A] (verified)

Time = 1.00 (sec) , antiderivative size = 23, normalized size of antiderivative = 1.00 \[ \int \frac {e^{-3-e^x+e^{\frac {-3-e^3 x}{e^3 x}}-x} \left (3 e^{\frac {-3-e^3 x}{e^3 x}}-e^3 x^2-e^{3+x} x^2\right )}{x^2} \, dx=e^{e^{-1-\frac {3}{e^3 x}}-e^x-x} \]

[In]

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

[Out]

E^(E^(-1 - 3/(E^3*x)) - E^x - x)

Maple [A] (verified)

Time = 7.67 (sec) , antiderivative size = 24, normalized size of antiderivative = 1.04

method	result	size
risch	\({\mathrm e}^{-{\mathrm e}^{x}+{\mathrm e}^{-\frac {\left (x \,{\mathrm e}^{3}+3\right ) {\mathrm e}^{-3}}{x}}-x}\)	\(24\)
norman	\({\mathrm e}^{-{\mathrm e}^{x}+{\mathrm e}^{\frac {\left (-x \,{\mathrm e}^{3}-3\right ) {\mathrm e}^{-3}}{x}}-x}\)	\(26\)
parallelrisch	\({\mathrm e}^{-{\mathrm e}^{x}+{\mathrm e}^{-\frac {\left (x \,{\mathrm e}^{3}+3\right ) {\mathrm e}^{-3}}{x}}-x}\)	\(26\)

[In]

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

[Out]

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

Fricas [A] (verification not implemented)

none

Time = 0.24 (sec) , antiderivative size = 36, normalized size of antiderivative = 1.57 \[ \int \frac {e^{-3-e^x+e^{\frac {-3-e^3 x}{e^3 x}}-x} \left (3 e^{\frac {-3-e^3 x}{e^3 x}}-e^3 x^2-e^{3+x} x^2\right )}{x^2} \, dx=e^{\left (-{\left ({\left (x + 3\right )} e^{3} + e^{\left (x + 3\right )} - e^{\left (-\frac {{\left (x e^{3} + 3\right )} e^{\left (-3\right )}}{x} + 3\right )}\right )} e^{\left (-3\right )} + 3\right )} \]

[In]

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

[Out]

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

Sympy [A] (verification not implemented)

Time = 0.22 (sec) , antiderivative size = 20, normalized size of antiderivative = 0.87 \[ \int \frac {e^{-3-e^x+e^{\frac {-3-e^3 x}{e^3 x}}-x} \left (3 e^{\frac {-3-e^3 x}{e^3 x}}-e^3 x^2-e^{3+x} x^2\right )}{x^2} \, dx=e^{- x - e^{x} + e^{\frac {- x e^{3} - 3}{x e^{3}}}} \]

[In]

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

[Out]

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

Maxima [F]

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

[In]

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

[Out]

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

Giac [A] (verification not implemented)

none

Time = 0.28 (sec) , antiderivative size = 19, normalized size of antiderivative = 0.83 \[ \int \frac {e^{-3-e^x+e^{\frac {-3-e^3 x}{e^3 x}}-x} \left (3 e^{\frac {-3-e^3 x}{e^3 x}}-e^3 x^2-e^{3+x} x^2\right )}{x^2} \, dx=e^{\left (-x - e^{x} + e^{\left (-\frac {3 \, e^{\left (-3\right )}}{x} - 1\right )}\right )} \]

[In]

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

[Out]

e^(-x - e^x + e^(-3*e^(-3)/x - 1))

Mupad [B] (verification not implemented)

Time = 10.04 (sec) , antiderivative size = 22, normalized size of antiderivative = 0.96 \[ \int \frac {e^{-3-e^x+e^{\frac {-3-e^3 x}{e^3 x}}-x} \left (3 e^{\frac {-3-e^3 x}{e^3 x}}-e^3 x^2-e^{3+x} x^2\right )}{x^2} \, dx={\mathrm {e}}^{{\mathrm {e}}^{-\frac {3\,{\mathrm {e}}^{-3}}{x}}\,{\mathrm {e}}^{-1}}\,{\mathrm {e}}^{-x}\,{\mathrm {e}}^{-{\mathrm {e}}^x} \]

[In]

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

[Out]

exp(exp(-(3*exp(-3))/x)*exp(-1))*exp(-x)*exp(-exp(x))