3.68.23 \(\int e^{-6+e^{5 x}-e^{32 e^{-1+e^{5 x}}} x^2} (e^{32 e^{-1+e^{5 x}}} x^x (-2 e^{1-e^{5 x}} x-160 e^{5 x} x^2)+e^{1-e^{5 x}} x^x (1+\log (x))) \, dx\)

Optimal. Leaf size=26 \[ e^{-5-e^{32 e^{-1+e^{5 x}}} x^2} x^x \]

________________________________________________________________________________________

Rubi [F]  time = 1.90, 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^{-6+e^{5 x}-e^{32 e^{-1+e^{5 x}}} x^2} \left (e^{32 e^{-1+e^{5 x}}} x^x \left (-2 e^{1-e^{5 x}} x-160 e^{5 x} x^2\right )+e^{1-e^{5 x}} x^x (1+\log (x))\right ) \, dx \end {gather*}

Verification is not applicable to the result.

[In]

Int[E^(-6 + E^(5*x) - E^(32*E^(-1 + E^(5*x)))*x^2)*(E^(32*E^(-1 + E^(5*x)))*x^x*(-2*E^(1 - E^(5*x))*x - 160*E^
(5*x)*x^2) + E^(1 - E^(5*x))*x^x*(1 + Log[x])),x]

[Out]

Defer[Int][E^(-5 - E^(32*E^(-1 + E^(5*x)))*x^2)*x^x, x] + Log[x]*Defer[Int][E^(-5 - E^(32*E^(-1 + E^(5*x)))*x^
2)*x^x, x] - 2*Defer[Int][E^(-5 + 32*E^(-1 + E^(5*x)) - E^(32*E^(-1 + E^(5*x)))*x^2)*x^(1 + x), x] - 160*Defer
[Int][E^(-6 + 32*E^(-1 + E^(5*x)) + E^(5*x) + 5*x - E^(32*E^(-1 + E^(5*x)))*x^2)*x^(2 + x), x] - Defer[Int][De
fer[Int][E^(-5 - E^(32*E^(-1 + E^(5*x)))*x^2)*x^x, x]/x, x]

Rubi steps

\begin {gather*} \begin {aligned} \text {integral} &=\int \left (-2 \exp \left (-6+32 e^{-1+e^{5 x}}-e^{32 e^{-1+e^{5 x}}} x^2\right ) x^{1+x} \left (e+80 e^{e^{5 x}+5 x} x\right )+e^{-5-e^{32 e^{-1+e^{5 x}}} x^2} x^x (1+\log (x))\right ) \, dx\\ &=-\left (2 \int \exp \left (-6+32 e^{-1+e^{5 x}}-e^{32 e^{-1+e^{5 x}}} x^2\right ) x^{1+x} \left (e+80 e^{e^{5 x}+5 x} x\right ) \, dx\right )+\int e^{-5-e^{32 e^{-1+e^{5 x}}} x^2} x^x (1+\log (x)) \, dx\\ &=-\left (2 \int \left (\exp \left (-5+32 e^{-1+e^{5 x}}-e^{32 e^{-1+e^{5 x}}} x^2\right ) x^{1+x}+80 \exp \left (-6+32 e^{-1+e^{5 x}}+e^{5 x}+5 x-e^{32 e^{-1+e^{5 x}}} x^2\right ) x^{2+x}\right ) \, dx\right )+\int \left (e^{-5-e^{32 e^{-1+e^{5 x}}} x^2} x^x+e^{-5-e^{32 e^{-1+e^{5 x}}} x^2} x^x \log (x)\right ) \, dx\\ &=-\left (2 \int \exp \left (-5+32 e^{-1+e^{5 x}}-e^{32 e^{-1+e^{5 x}}} x^2\right ) x^{1+x} \, dx\right )-160 \int \exp \left (-6+32 e^{-1+e^{5 x}}+e^{5 x}+5 x-e^{32 e^{-1+e^{5 x}}} x^2\right ) x^{2+x} \, dx+\int e^{-5-e^{32 e^{-1+e^{5 x}}} x^2} x^x \, dx+\int e^{-5-e^{32 e^{-1+e^{5 x}}} x^2} x^x \log (x) \, dx\\ &=-\left (2 \int \exp \left (-5+32 e^{-1+e^{5 x}}-e^{32 e^{-1+e^{5 x}}} x^2\right ) x^{1+x} \, dx\right )-160 \int \exp \left (-6+32 e^{-1+e^{5 x}}+e^{5 x}+5 x-e^{32 e^{-1+e^{5 x}}} x^2\right ) x^{2+x} \, dx+\log (x) \int e^{-5-e^{32 e^{-1+e^{5 x}}} x^2} x^x \, dx+\int e^{-5-e^{32 e^{-1+e^{5 x}}} x^2} x^x \, dx-\int \frac {\int e^{-5-e^{32 e^{-1+e^{5 x}}} x^2} x^x \, dx}{x} \, dx\\ \end {aligned} \end {gather*}

________________________________________________________________________________________

Mathematica [A]  time = 0.45, size = 26, normalized size = 1.00 \begin {gather*} e^{-5-e^{32 e^{-1+e^{5 x}}} x^2} x^x \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[E^(-6 + E^(5*x) - E^(32*E^(-1 + E^(5*x)))*x^2)*(E^(32*E^(-1 + E^(5*x)))*x^x*(-2*E^(1 - E^(5*x))*x -
160*E^(5*x)*x^2) + E^(1 - E^(5*x))*x^x*(1 + Log[x])),x]

[Out]

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

________________________________________________________________________________________

fricas [A]  time = 0.60, size = 22, normalized size = 0.85 \begin {gather*} x^{x} e^{\left (-x^{2} e^{\left (32 \, e^{\left (e^{\left (5 \, x\right )} - 1\right )}\right )} - 5\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((-2*x*exp(-exp(5*x)+1)-160*x^2*exp(5*x))*exp(x*log(x))*exp(16/exp(-exp(5*x)+1))^2+(log(x)+1)*exp(-e
xp(5*x)+1)*exp(x*log(x)))/exp(-exp(5*x)+1)/exp(x^2*exp(16/exp(-exp(5*x)+1))^2+5),x, algorithm="fricas")

[Out]

x^x*e^(-x^2*e^(32*e^(e^(5*x) - 1)) - 5)

________________________________________________________________________________________

giac [F]  time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int -{\left (2 \, {\left (80 \, x^{2} e^{\left (5 \, x\right )} + x e^{\left (-e^{\left (5 \, x\right )} + 1\right )}\right )} x^{x} e^{\left (32 \, e^{\left (e^{\left (5 \, x\right )} - 1\right )}\right )} - x^{x} {\left (\log \relax (x) + 1\right )} e^{\left (-e^{\left (5 \, x\right )} + 1\right )}\right )} e^{\left (-x^{2} e^{\left (32 \, e^{\left (e^{\left (5 \, x\right )} - 1\right )}\right )} + e^{\left (5 \, x\right )} - 6\right )}\,{d x} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((-2*x*exp(-exp(5*x)+1)-160*x^2*exp(5*x))*exp(x*log(x))*exp(16/exp(-exp(5*x)+1))^2+(log(x)+1)*exp(-e
xp(5*x)+1)*exp(x*log(x)))/exp(-exp(5*x)+1)/exp(x^2*exp(16/exp(-exp(5*x)+1))^2+5),x, algorithm="giac")

[Out]

integrate(-(2*(80*x^2*e^(5*x) + x*e^(-e^(5*x) + 1))*x^x*e^(32*e^(e^(5*x) - 1)) - x^x*(log(x) + 1)*e^(-e^(5*x)
+ 1))*e^(-x^2*e^(32*e^(e^(5*x) - 1)) + e^(5*x) - 6), x)

________________________________________________________________________________________

maple [A]  time = 0.10, size = 23, normalized size = 0.88

method	result	size
risch	\(x^{x} {\mathrm e}^{-x^{2} {\mathrm e}^{32 \,{\mathrm e}^{{\mathrm e}^{5 x}-1}}-5}\)	\(23\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(((-2*x*exp(-exp(5*x)+1)-160*x^2*exp(5*x))*exp(x*ln(x))*exp(16/exp(-exp(5*x)+1))^2+(ln(x)+1)*exp(-exp(5*x)+
1)*exp(x*ln(x)))/exp(-exp(5*x)+1)/exp(x^2*exp(16/exp(-exp(5*x)+1))^2+5),x,method=_RETURNVERBOSE)

[Out]

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

________________________________________________________________________________________

maxima [A]  time = 0.49, size = 22, normalized size = 0.85 \begin {gather*} e^{\left (-x^{2} e^{\left (32 \, e^{\left (e^{\left (5 \, x\right )} - 1\right )}\right )} + x \log \relax (x) - 5\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((-2*x*exp(-exp(5*x)+1)-160*x^2*exp(5*x))*exp(x*log(x))*exp(16/exp(-exp(5*x)+1))^2+(log(x)+1)*exp(-e
xp(5*x)+1)*exp(x*log(x)))/exp(-exp(5*x)+1)/exp(x^2*exp(16/exp(-exp(5*x)+1))^2+5),x, algorithm="maxima")

[Out]

e^(-x^2*e^(32*e^(e^(5*x) - 1)) + x*log(x) - 5)

________________________________________________________________________________________

mupad [B]  time = 4.19, size = 22, normalized size = 0.85 \begin {gather*} x^x\,{\mathrm {e}}^{-5}\,{\mathrm {e}}^{-x^2\,{\mathrm {e}}^{32\,{\mathrm {e}}^{-1}\,{\mathrm {e}}^{{\mathrm {e}}^{5\,x}}}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(exp(exp(5*x) - 1)*exp(- x^2*exp(32*exp(exp(5*x) - 1)) - 5)*(exp(x*log(x))*exp(1 - exp(5*x))*(log(x) + 1) -
exp(x*log(x))*exp(32*exp(exp(5*x) - 1))*(2*x*exp(1 - exp(5*x)) + 160*x^2*exp(5*x))),x)

[Out]

x^x*exp(-5)*exp(-x^2*exp(32*exp(-1)*exp(exp(5*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(((-2*x*exp(-exp(5*x)+1)-160*x**2*exp(5*x))*exp(x*ln(x))*exp(16/exp(-exp(5*x)+1))**2+(ln(x)+1)*exp(-e
xp(5*x)+1)*exp(x*ln(x)))/exp(-exp(5*x)+1)/exp(x**2*exp(16/exp(-exp(5*x)+1))**2+5),x)

[Out]

Timed out

________________________________________________________________________________________