3.38.17 \(\int e^{-9+4 e^{e^{-9-x} x}-x} (e^{9+x} (4-4 e^x)+e^{e^{-9-x} x} (16 x-16 x^2+e^x (-16+16 x))) \, dx\)

Optimal. Leaf size=26 \[ 1+4 e^{4 e^{e^{-9-x} x}} \left (-e^x+x\right ) \]

________________________________________________________________________________________

Rubi [F]  time = 1.53, antiderivative size = 0, normalized size of antiderivative = 0.00, number of steps used = 0, number of rules used = 0, integrand size = 0, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.000, Rules used = {} \begin {gather*} \int e^{-9+4 e^{e^{-9-x} x}-x} \left (e^{9+x} \left (4-4 e^x\right )+e^{e^{-9-x} x} \left (16 x-16 x^2+e^x (-16+16 x)\right )\right ) \, dx \end {gather*}

Verification is not applicable to the result.

[In]

Int[E^(-9 + 4*E^(E^(-9 - x)*x) - x)*(E^(9 + x)*(4 - 4*E^x) + E^(E^(-9 - x)*x)*(16*x - 16*x^2 + E^x*(-16 + 16*x
))),x]

[Out]

4*Defer[Int][E^(4*E^(E^(-9 - x)*x)), x] - 4*Defer[Int][E^(4*E^(E^(-9 - x)*x) + x), x] - 16*Defer[Int][E^(-9 +
4*E^(E^(-9 - x)*x) + E^(-9 - x)*x), x] + 16*Defer[Int][E^(-9 + 4*E^(E^(-9 - x)*x) + E^(-9 - x)*x)*x, x] + 16*D
efer[Int][E^(-9 + 4*E^(E^(-9 - x)*x) - x + E^(-9 - x)*x)*x, x] - 16*Defer[Int][E^(-9 + 4*E^(E^(-9 - x)*x) - x
+ E^(-9 - x)*x)*x^2, x]

Rubi steps

\begin {gather*} \begin {aligned} \text {integral} &=\int \left (-4 e^{4 e^{e^{-9-x} x}} \left (-1+e^x\right )+16 e^{-9+4 e^{e^{-9-x} x}-x+e^{-9-x} x} \left (e^x-x\right ) (-1+x)\right ) \, dx\\ &=-\left (4 \int e^{4 e^{e^{-9-x} x}} \left (-1+e^x\right ) \, dx\right )+16 \int e^{-9+4 e^{e^{-9-x} x}-x+e^{-9-x} x} \left (e^x-x\right ) (-1+x) \, dx\\ &=-\left (4 \int \left (-e^{4 e^{e^{-9-x} x}}+e^{4 e^{e^{-9-x} x}+x}\right ) \, dx\right )+16 \int \left (e^{-9+4 e^{e^{-9-x} x}+e^{-9-x} x} (-1+x)-e^{-9+4 e^{e^{-9-x} x}-x+e^{-9-x} x} (-1+x) x\right ) \, dx\\ &=4 \int e^{4 e^{e^{-9-x} x}} \, dx-4 \int e^{4 e^{e^{-9-x} x}+x} \, dx+16 \int e^{-9+4 e^{e^{-9-x} x}+e^{-9-x} x} (-1+x) \, dx-16 \int e^{-9+4 e^{e^{-9-x} x}-x+e^{-9-x} x} (-1+x) x \, dx\\ &=4 \int e^{4 e^{e^{-9-x} x}} \, dx-4 \int e^{4 e^{e^{-9-x} x}+x} \, dx+16 \int \left (-e^{-9+4 e^{e^{-9-x} x}+e^{-9-x} x}+e^{-9+4 e^{e^{-9-x} x}+e^{-9-x} x} x\right ) \, dx-16 \int \left (-e^{-9+4 e^{e^{-9-x} x}-x+e^{-9-x} x} x+e^{-9+4 e^{e^{-9-x} x}-x+e^{-9-x} x} x^2\right ) \, dx\\ &=4 \int e^{4 e^{e^{-9-x} x}} \, dx-4 \int e^{4 e^{e^{-9-x} x}+x} \, dx-16 \int e^{-9+4 e^{e^{-9-x} x}+e^{-9-x} x} \, dx+16 \int e^{-9+4 e^{e^{-9-x} x}+e^{-9-x} x} x \, dx+16 \int e^{-9+4 e^{e^{-9-x} x}-x+e^{-9-x} x} x \, dx-16 \int e^{-9+4 e^{e^{-9-x} x}-x+e^{-9-x} x} x^2 \, dx\\ \end {aligned} \end {gather*}

________________________________________________________________________________________

Mathematica [A]  time = 0.95, size = 25, normalized size = 0.96 \begin {gather*} e^{4 e^{e^{-9-x} x}} \left (-4 e^x+4 x\right ) \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[E^(-9 + 4*E^(E^(-9 - x)*x) - x)*(E^(9 + x)*(4 - 4*E^x) + E^(E^(-9 - x)*x)*(16*x - 16*x^2 + E^x*(-16
+ 16*x))),x]

[Out]

E^(4*E^(E^(-9 - x)*x))*(-4*E^x + 4*x)

________________________________________________________________________________________

fricas [A]  time = 0.76, size = 34, normalized size = 1.31 \begin {gather*} 4 \, {\left (x e^{\left (x + 18\right )} - e^{\left (2 \, x + 18\right )}\right )} e^{\left (-x + 4 \, e^{\left (x e^{\left (-x - 9\right )}\right )} - 18\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

4*(x*e^(x + 18) - e^(2*x + 18))*e^(-x + 4*e^(x*e^(-x - 9)) - 18)

________________________________________________________________________________________

giac [F]  time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int -4 \, {\left (4 \, {\left (x^{2} - {\left (x - 1\right )} e^{x} - x\right )} e^{\left (x e^{\left (-x - 9\right )}\right )} + {\left (e^{x} - 1\right )} e^{\left (x + 9\right )}\right )} e^{\left (-x + 4 \, e^{\left (x e^{\left (-x - 9\right )}\right )} - 9\right )}\,{d x} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

integrate(-4*(4*(x^2 - (x - 1)*e^x - x)*e^(x*e^(-x - 9)) + (e^x - 1)*e^(x + 9))*e^(-x + 4*e^(x*e^(-x - 9)) - 9
), x)

________________________________________________________________________________________

maple [A]  time = 0.08, size = 21, normalized size = 0.81

method	result	size
risch	\(4 \left (x -{\mathrm e}^{x}\right ) {\mathrm e}^{4 \,{\mathrm e}^{x \,{\mathrm e}^{-x -9}}}\)	\(21\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((((16*x-16)*exp(x)-16*x^2+16*x)*exp(x/exp(x+9))+(-4*exp(x)+4)*exp(x+9))*exp(exp(x/exp(x+9)))^4/exp(x+9),x,
method=_RETURNVERBOSE)

[Out]

4*(x-exp(x))*exp(4*exp(x*exp(-x-9)))

________________________________________________________________________________________

maxima [A]  time = 0.43, size = 20, normalized size = 0.77 \begin {gather*} 4 \, {\left (x - e^{x}\right )} e^{\left (4 \, e^{\left (x e^{\left (-x - 9\right )}\right )}\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

4*(x - e^x)*e^(4*e^(x*e^(-x - 9)))

________________________________________________________________________________________

mupad [B]  time = 2.43, size = 20, normalized size = 0.77 \begin {gather*} 4\,{\mathrm {e}}^{4\,{\mathrm {e}}^{x\,{\mathrm {e}}^{-x}\,{\mathrm {e}}^{-9}}}\,\left (x-{\mathrm {e}}^x\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(exp(- x - 9)*exp(4*exp(x*exp(- x - 9)))*(exp(x*exp(- x - 9))*(16*x + exp(x)*(16*x - 16) - 16*x^2) - exp(x
+ 9)*(4*exp(x) - 4)),x)

[Out]

4*exp(4*exp(x*exp(-x)*exp(-9)))*(x - exp(x))

________________________________________________________________________________________

sympy [F(-1)]  time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((16*x-16)*exp(x)-16*x**2+16*x)*exp(x/exp(x+9))+(-4*exp(x)+4)*exp(x+9))*exp(exp(x/exp(x+9)))**4/exp
(x+9),x)

[Out]

Timed out

________________________________________________________________________________________