\(\int (1+e^{-25+e^{-1-e^x+2 x}-9 x-x^2} (-9+e^{-1-e^x+2 x} (2-e^x)-2 x)) \, dx\) [8895]

Optimal result

Integrand size = 52, antiderivative size = 25 \[ \int \left (1+e^{-25+e^{-1-e^x+2 x}-9 x-x^2} \left (-9+e^{-1-e^x+2 x} \left (2-e^x\right )-2 x\right )\right ) \, dx=e^{e^{-1-e^x+2 x}+x-(5+x)^2}+x \]

[Out]

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

Rubi [A] (verified)

Time = 0.20 (sec) , antiderivative size = 26, normalized size of antiderivative = 1.04, number of steps used = 2, number of rules used = 1, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.019, Rules used = {6838} \[ \int \left (1+e^{-25+e^{-1-e^x+2 x}-9 x-x^2} \left (-9+e^{-1-e^x+2 x} \left (2-e^x\right )-2 x\right )\right ) \, dx=e^{-x^2-9 x+e^{2 x-e^x-1}-25}+x \]

[In]

Int[1 + E^(-25 + E^(-1 - E^x + 2*x) - 9*x - x^2)*(-9 + E^(-1 - E^x + 2*x)*(2 - E^x) - 2*x),x]

[Out]

E^(-25 + E^(-1 - E^x + 2*x) - 9*x - x^2) + 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}& = x+\int e^{-25+e^{-1-e^x+2 x}-9 x-x^2} \left (-9+e^{-1-e^x+2 x} \left (2-e^x\right )-2 x\right ) \, dx \\ & = e^{-25+e^{-1-e^x+2 x}-9 x-x^2}+x \\ \end{align*}

Mathematica [A] (verified)

Time = 1.68 (sec) , antiderivative size = 26, normalized size of antiderivative = 1.04 \[ \int \left (1+e^{-25+e^{-1-e^x+2 x}-9 x-x^2} \left (-9+e^{-1-e^x+2 x} \left (2-e^x\right )-2 x\right )\right ) \, dx=e^{-25+e^{-1-e^x+2 x}-9 x-x^2}+x \]

[In]

Integrate[1 + E^(-25 + E^(-1 - E^x + 2*x) - 9*x - x^2)*(-9 + E^(-1 - E^x + 2*x)*(2 - E^x) - 2*x),x]

[Out]

E^(-25 + E^(-1 - E^x + 2*x) - 9*x - x^2) + x

Maple [A] (verified)

Time = 0.14 (sec) , antiderivative size = 24, normalized size of antiderivative = 0.96

method	result	size
default	\(x +{\mathrm e}^{{\mathrm e}^{-{\mathrm e}^{x}+2 x -1}-x^{2}-9 x -25}\)	\(24\)
norman	\(x +{\mathrm e}^{{\mathrm e}^{-{\mathrm e}^{x}+2 x -1}-x^{2}-9 x -25}\)	\(24\)
risch	\(x +{\mathrm e}^{{\mathrm e}^{-{\mathrm e}^{x}+2 x -1}-x^{2}-9 x -25}\)	\(24\)
parallelrisch	\(x +{\mathrm e}^{{\mathrm e}^{-{\mathrm e}^{x}+2 x -1}-x^{2}-9 x -25}\)	\(24\)

[In]

int(((-exp(x)+2)*exp(-exp(x)+2*x-1)-2*x-9)*exp(exp(-exp(x)+2*x-1)-x^2-9*x-25)+1,x,method=_RETURNVERBOSE)

[Out]

x+exp(exp(-exp(x)+2*x-1)-x^2-9*x-25)

Fricas [A] (verification not implemented)

none

Time = 0.26 (sec) , antiderivative size = 23, normalized size of antiderivative = 0.92 \[ \int \left (1+e^{-25+e^{-1-e^x+2 x}-9 x-x^2} \left (-9+e^{-1-e^x+2 x} \left (2-e^x\right )-2 x\right )\right ) \, dx=x + e^{\left (-x^{2} - 9 \, x + e^{\left (2 \, x - e^{x} - 1\right )} - 25\right )} \]

[In]

integrate(((-exp(x)+2)*exp(-exp(x)+2*x-1)-2*x-9)*exp(exp(-exp(x)+2*x-1)-x^2-9*x-25)+1,x, algorithm="fricas")

[Out]

x + e^(-x^2 - 9*x + e^(2*x - e^x - 1) - 25)

Sympy [A] (verification not implemented)

Time = 0.19 (sec) , antiderivative size = 20, normalized size of antiderivative = 0.80 \[ \int \left (1+e^{-25+e^{-1-e^x+2 x}-9 x-x^2} \left (-9+e^{-1-e^x+2 x} \left (2-e^x\right )-2 x\right )\right ) \, dx=x + e^{- x^{2} - 9 x + e^{2 x - e^{x} - 1} - 25} \]

[In]

integrate(((-exp(x)+2)*exp(-exp(x)+2*x-1)-2*x-9)*exp(exp(-exp(x)+2*x-1)-x**2-9*x-25)+1,x)

[Out]

x + exp(-x**2 - 9*x + exp(2*x - exp(x) - 1) - 25)

Maxima [A] (verification not implemented)

none

Time = 0.47 (sec) , antiderivative size = 23, normalized size of antiderivative = 0.92 \[ \int \left (1+e^{-25+e^{-1-e^x+2 x}-9 x-x^2} \left (-9+e^{-1-e^x+2 x} \left (2-e^x\right )-2 x\right )\right ) \, dx=x + e^{\left (-x^{2} - 9 \, x + e^{\left (2 \, x - e^{x} - 1\right )} - 25\right )} \]

[In]

integrate(((-exp(x)+2)*exp(-exp(x)+2*x-1)-2*x-9)*exp(exp(-exp(x)+2*x-1)-x^2-9*x-25)+1,x, algorithm="maxima")

[Out]

x + e^(-x^2 - 9*x + e^(2*x - e^x - 1) - 25)

Giac [A] (verification not implemented)

none

Time = 0.29 (sec) , antiderivative size = 23, normalized size of antiderivative = 0.92 \[ \int \left (1+e^{-25+e^{-1-e^x+2 x}-9 x-x^2} \left (-9+e^{-1-e^x+2 x} \left (2-e^x\right )-2 x\right )\right ) \, dx=x + e^{\left (-x^{2} - 9 \, x + e^{\left (2 \, x - e^{x} - 1\right )} - 25\right )} \]

[In]

integrate(((-exp(x)+2)*exp(-exp(x)+2*x-1)-2*x-9)*exp(exp(-exp(x)+2*x-1)-x^2-9*x-25)+1,x, algorithm="giac")

[Out]

x + e^(-x^2 - 9*x + e^(2*x - e^x - 1) - 25)

Mupad [B] (verification not implemented)

Time = 0.19 (sec) , antiderivative size = 28, normalized size of antiderivative = 1.12 \[ \int \left (1+e^{-25+e^{-1-e^x+2 x}-9 x-x^2} \left (-9+e^{-1-e^x+2 x} \left (2-e^x\right )-2 x\right )\right ) \, dx=x+{\mathrm {e}}^{{\mathrm {e}}^{2\,x}\,{\mathrm {e}}^{-1}\,{\mathrm {e}}^{-{\mathrm {e}}^x}}\,{\mathrm {e}}^{-9\,x}\,{\mathrm {e}}^{-25}\,{\mathrm {e}}^{-x^2} \]

[In]

int(1 - exp(exp(2*x - exp(x) - 1) - 9*x - x^2 - 25)*(2*x + exp(2*x - exp(x) - 1)*(exp(x) - 2) + 9),x)

[Out]

x + exp(exp(2*x)*exp(-1)*exp(-exp(x)))*exp(-9*x)*exp(-25)*exp(-x^2)