\(\int e^{-1-e^x} (e^{1+e^x}-18 e^x+80 e^{2 x}-32 e^{3 x}) \, dx\) [685]

Optimal result

Integrand size = 37, antiderivative size = 22 \[ \int e^{-1-e^x} \left (e^{1+e^x}-18 e^x+80 e^{2 x}-32 e^{3 x}\right ) \, dx=2 e^{-1-e^x} \left (-1+4 e^x\right )^2+x \]

[Out]

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

Rubi [A] (verified)

Time = 0.08 (sec) , antiderivative size = 39, normalized size of antiderivative = 1.77, number of steps used = 11, number of rules used = 5, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.135, Rules used = {2320, 14, 2227, 2225, 2207} \[ \int e^{-1-e^x} \left (e^{1+e^x}-18 e^x+80 e^{2 x}-32 e^{3 x}\right ) \, dx=x+2 e^{-e^x-1}-16 e^{x-e^x-1}+32 e^{2 x-e^x-1} \]

[In]

Int[E^(-1 - E^x)*(E^(1 + E^x) - 18*E^x + 80*E^(2*x) - 32*E^(3*x)),x]

[Out]

2*E^(-1 - E^x) - 16*E^(-1 - E^x + x) + 32*E^(-1 - E^x + 2*x) + x

Rule 14

Int[(u_)*((c_.)*(x_))^(m_.), x_Symbol] :> Int[ExpandIntegrand[(c*x)^m*u, x], x] /; FreeQ[{c, m}, x] && SumQ[u]
&&  !LinearQ[u, x] &&  !MatchQ[u, (a_) + (b_.)*(v_) /; FreeQ[{a, b}, x] && InverseFunctionQ[v]]

Rule 2207

Int[((b_.)*(F_)^((g_.)*((e_.) + (f_.)*(x_))))^(n_.)*((c_.) + (d_.)*(x_))^(m_.), x_Symbol] :> Simp[(c + d*x)^m*
((b*F^(g*(e + f*x)))^n/(f*g*n*Log[F])), x] - Dist[d*(m/(f*g*n*Log[F])), Int[(c + d*x)^(m - 1)*(b*F^(g*(e + f*x
)))^n, x], x] /; FreeQ[{F, b, c, d, e, f, g, n}, x] && GtQ[m, 0] && IntegerQ[2*m] &&  !TrueQ[$UseGamma]

Rule 2225

Int[((F_)^((c_.)*((a_.) + (b_.)*(x_))))^(n_.), x_Symbol] :> Simp[(F^(c*(a + b*x)))^n/(b*c*n*Log[F]), x] /; Fre
eQ[{F, a, b, c, n}, x]

Rule 2227

Int[(F_)^((c_.)*(v_))*(u_), x_Symbol] :> Int[ExpandIntegrand[F^(c*ExpandToSum[v, x]), u, x], x] /; FreeQ[{F, c
}, x] && PolynomialQ[u, x] && LinearQ[v, x] &&  !TrueQ[$UseGamma]

Rule 2320

Int[u_, x_Symbol] :> With[{v = FunctionOfExponential[u, x]}, Dist[v/D[v, x], Subst[Int[FunctionOfExponentialFu
nction[u, x]/x, x], x, v], x]] /; FunctionOfExponentialQ[u, x] &&  !MatchQ[u, (w_)*((a_.)*(v_)^(n_))^(m_) /; F
reeQ[{a, m, n}, x] && IntegerQ[m*n]] &&  !MatchQ[u, E^((c_.)*((a_.) + (b_.)*x))*(F_)[v_] /; FreeQ[{a, b, c}, x
] && InverseFunctionQ[F[x]]]

Rubi steps \begin{align*} \text {integral}& = \text {Subst}\left (\int \frac {1-2 e^{-1-x} x \left (9-40 x+16 x^2\right )}{x} \, dx,x,e^x\right ) \\ & = \text {Subst}\left (\int \left (\frac {1}{x}-2 e^{-1-x} (-9+4 x) (-1+4 x)\right ) \, dx,x,e^x\right ) \\ & = x-2 \text {Subst}\left (\int e^{-1-x} (-9+4 x) (-1+4 x) \, dx,x,e^x\right ) \\ & = x-2 \text {Subst}\left (\int \left (9 e^{-1-x}-40 e^{-1-x} x+16 e^{-1-x} x^2\right ) \, dx,x,e^x\right ) \\ & = x-18 \text {Subst}\left (\int e^{-1-x} \, dx,x,e^x\right )-32 \text {Subst}\left (\int e^{-1-x} x^2 \, dx,x,e^x\right )+80 \text {Subst}\left (\int e^{-1-x} x \, dx,x,e^x\right ) \\ & = 18 e^{-1-e^x}-80 e^{-1-e^x+x}+32 e^{-1-e^x+2 x}+x-64 \text {Subst}\left (\int e^{-1-x} x \, dx,x,e^x\right )+80 \text {Subst}\left (\int e^{-1-x} \, dx,x,e^x\right ) \\ & = -62 e^{-1-e^x}-16 e^{-1-e^x+x}+32 e^{-1-e^x+2 x}+x-64 \text {Subst}\left (\int e^{-1-x} \, dx,x,e^x\right ) \\ & = 2 e^{-1-e^x}-16 e^{-1-e^x+x}+32 e^{-1-e^x+2 x}+x \\ \end{align*}

Mathematica [A] (verified)

Time = 0.14 (sec) , antiderivative size = 32, normalized size of antiderivative = 1.45 \[ \int e^{-1-e^x} \left (e^{1+e^x}-18 e^x+80 e^{2 x}-32 e^{3 x}\right ) \, dx=e^{-e^x} \left (\frac {2}{e}-16 e^{-1+x}+32 e^{-1+2 x}\right )+x \]

[In]

Integrate[E^(-1 - E^x)*(E^(1 + E^x) - 18*E^x + 80*E^(2*x) - 32*E^(3*x)),x]

[Out]

(2/E - 16*E^(-1 + x) + 32*E^(-1 + 2*x))/E^E^x + x

Maple [A] (verified)

Time = 0.10 (sec) , antiderivative size = 23, normalized size of antiderivative = 1.05

method	result	size
risch	\(x +\left (32 \,{\mathrm e}^{2 x}-16 \,{\mathrm e}^{x}+2\right ) {\mathrm e}^{-{\mathrm e}^{x}-1}\)	\(23\)
parallelrisch	\({\mathrm e}^{-4} \left ({\mathrm e}^{4} x \,{\mathrm e}^{{\mathrm e}^{x}-3}+2+32 \,{\mathrm e}^{2 x}-16 \,{\mathrm e}^{x}\right ) {\mathrm e}^{-{\mathrm e}^{x}+3}\)	\(34\)
norman	\(\left (x \,{\mathrm e}^{{\mathrm e}^{x}-3}+2 \,{\mathrm e}^{-4}+32 \,{\mathrm e}^{-4} {\mathrm e}^{2 x}-16 \,{\mathrm e}^{x} {\mathrm e}^{-4}\right ) {\mathrm e}^{-{\mathrm e}^{x}+3}\)	\(41\)
derivativedivides	\({\mathrm e}^{-4} \left ({\mathrm e}^{4} \ln \left ({\mathrm e}^{x}\right )+402 \,{\mathrm e}^{-{\mathrm e}^{x}+3}+208 \left ({\mathrm e}^{x}-5\right ) {\mathrm e}^{-{\mathrm e}^{x}+3}+32 \left (\left ({\mathrm e}^{x}-3\right )^{2}+11-{\mathrm e}^{x}\right ) {\mathrm e}^{-{\mathrm e}^{x}+3}\right )\)	\(56\)
default	\({\mathrm e}^{-4} \left ({\mathrm e}^{4} \ln \left ({\mathrm e}^{x}\right )+402 \,{\mathrm e}^{-{\mathrm e}^{x}+3}+208 \left ({\mathrm e}^{x}-5\right ) {\mathrm e}^{-{\mathrm e}^{x}+3}+32 \left (\left ({\mathrm e}^{x}-3\right )^{2}+11-{\mathrm e}^{x}\right ) {\mathrm e}^{-{\mathrm e}^{x}+3}\right )\)	\(56\)
parts	\(x +18 \,{\mathrm e}^{-4} {\mathrm e}^{-{\mathrm e}^{x}+3}+80 \,{\mathrm e}^{-4} \left (-\left ({\mathrm e}^{x}-3\right ) {\mathrm e}^{-{\mathrm e}^{x}+3}-4 \,{\mathrm e}^{-{\mathrm e}^{x}+3}\right )-32 \,{\mathrm e}^{-4} \left (-{\mathrm e}^{-{\mathrm e}^{x}+3} \left ({\mathrm e}^{x}-3\right )^{2}-8 \left ({\mathrm e}^{x}-3\right ) {\mathrm e}^{-{\mathrm e}^{x}+3}-17 \,{\mathrm e}^{-{\mathrm e}^{x}+3}\right )\)	\(89\)

[In]

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

[Out]

x+(32*exp(2*x)-16*exp(x)+2)*exp(-exp(x)-1)

Fricas [A] (verification not implemented)

none

Time = 0.26 (sec) , antiderivative size = 27, normalized size of antiderivative = 1.23 \[ \int e^{-1-e^x} \left (e^{1+e^x}-18 e^x+80 e^{2 x}-32 e^{3 x}\right ) \, dx={\left (x e^{\left (e^{x} + 1\right )} + 32 \, e^{\left (2 \, x\right )} - 16 \, e^{x} + 2\right )} e^{\left (-e^{x} - 1\right )} \]

[In]

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

[Out]

(x*e^(e^x + 1) + 32*e^(2*x) - 16*e^x + 2)*e^(-e^x - 1)

Sympy [A] (verification not implemented)

Time = 0.11 (sec) , antiderivative size = 24, normalized size of antiderivative = 1.09 \[ \int e^{-1-e^x} \left (e^{1+e^x}-18 e^x+80 e^{2 x}-32 e^{3 x}\right ) \, dx=x + \frac {\left (32 e^{2 x} - 16 e^{x} + 2\right ) e^{3 - e^{x}}}{e^{4}} \]

[In]

integrate((exp(4)*exp(exp(x)-3)-32*exp(x)**3+80*exp(x)**2-18*exp(x))/exp(4)/exp(exp(x)-3),x)

[Out]

x + (32*exp(2*x) - 16*exp(x) + 2)*exp(-4)*exp(3 - exp(x))

Maxima [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 43 vs. \(2 (19) = 38\).

Time = 0.17 (sec) , antiderivative size = 43, normalized size of antiderivative = 1.95 \[ \int e^{-1-e^x} \left (e^{1+e^x}-18 e^x+80 e^{2 x}-32 e^{3 x}\right ) \, dx=32 \, {\left (e^{\left (2 \, x\right )} + 2 \, e^{x} + 2\right )} e^{\left (-e^{x} - 1\right )} - 80 \, {\left (e^{x} + 1\right )} e^{\left (-e^{x} - 1\right )} + x + 18 \, e^{\left (-e^{x} - 1\right )} \]

[In]

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

[Out]

32*(e^(2*x) + 2*e^x + 2)*e^(-e^x - 1) - 80*(e^x + 1)*e^(-e^x - 1) + x + 18*e^(-e^x - 1)

Giac [A] (verification not implemented)

none

Time = 0.28 (sec) , antiderivative size = 35, normalized size of antiderivative = 1.59 \[ \int e^{-1-e^x} \left (e^{1+e^x}-18 e^x+80 e^{2 x}-32 e^{3 x}\right ) \, dx={\left (x e + 32 \, e^{\left (2 \, x - e^{x}\right )} - 16 \, e^{\left (x - e^{x}\right )} + 2 \, e^{\left (-e^{x}\right )}\right )} e^{\left (-1\right )} \]

[In]

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

[Out]

(x*e + 32*e^(2*x - e^x) - 16*e^(x - e^x) + 2*e^(-e^x))*e^(-1)

Mupad [B] (verification not implemented)

Time = 8.37 (sec) , antiderivative size = 33, normalized size of antiderivative = 1.50 \[ \int e^{-1-e^x} \left (e^{1+e^x}-18 e^x+80 e^{2 x}-32 e^{3 x}\right ) \, dx=x+2\,{\mathrm {e}}^{-{\mathrm {e}}^x-1}-16\,{\mathrm {e}}^{x-{\mathrm {e}}^x-1}+32\,{\mathrm {e}}^{2\,x-{\mathrm {e}}^x-1} \]

[In]

int(exp(3 - exp(x))*exp(-4)*(80*exp(2*x) - 32*exp(3*x) - 18*exp(x) + exp(4)*exp(exp(x) - 3)),x)

[Out]

x + 2*exp(- exp(x) - 1) - 16*exp(x - exp(x) - 1) + 32*exp(2*x - exp(x) - 1)