3.91.20 \(\int e^{-x} x^{4+e^{e^{e^{16 e^{-x}}}}} (5 e^x+e^{e^{e^{16 e^{-x}}}} (e^x-16 e^{e^{16 e^{-x}}+16 e^{-x}} x \log (x))) \, dx\)

Optimal. Leaf size=17 \[ x^{5+e^{e^{e^{16 e^{-x}}}}} \]

________________________________________________________________________________________

Rubi [F]  time = 1.29, 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^{-x} x^{4+e^{e^{e^{16 e^{-x}}}}} \left (5 e^x+e^{e^{e^{16 e^{-x}}}} \left (e^x-16 e^{e^{16 e^{-x}}+16 e^{-x}} x \log (x)\right )\right ) \, dx \end {gather*}

Verification is not applicable to the result.

[In]

Int[(x^(4 + E^E^E^(16/E^x))*(5*E^x + E^E^E^(16/E^x)*(E^x - 16*E^(E^(16/E^x) + 16/E^x)*x*Log[x])))/E^x,x]

[Out]

5*Defer[Int][x^(4 + E^E^E^(16/E^x)), x] + Defer[Int][E^E^E^(16/E^x)*x^(4 + E^E^E^(16/E^x)), x] - 16*Log[x]*Def
er[Int][E^(E^E^(16/E^x) + (16 + E^(16/E^x + x))/E^x - x)*x^(5 + E^E^E^(16/E^x)), x] + 16*Defer[Int][Defer[Int]
[E^(E^E^(16/E^x) + E^(16/E^x) + 16/E^x - x)*x^(5 + E^E^E^(16/E^x)), x]/x, x]

Rubi steps

\begin {gather*} \begin {aligned} \text {integral} &=\int \left (5 x^{4+e^{e^{e^{16 e^{-x}}}}}+e^{e^{e^{16 e^{-x}}}-x} x^{4+e^{e^{e^{16 e^{-x}}}}} \left (e^x-16 e^{e^{16 e^{-x}}+16 e^{-x}} x \log (x)\right )\right ) \, dx\\ &=5 \int x^{4+e^{e^{e^{16 e^{-x}}}}} \, dx+\int e^{e^{e^{16 e^{-x}}}-x} x^{4+e^{e^{e^{16 e^{-x}}}}} \left (e^x-16 e^{e^{16 e^{-x}}+16 e^{-x}} x \log (x)\right ) \, dx\\ &=5 \int x^{4+e^{e^{e^{16 e^{-x}}}}} \, dx+\int \left (e^{e^{e^{16 e^{-x}}}} x^{4+e^{e^{e^{16 e^{-x}}}}}-16 \exp \left (e^{e^{16 e^{-x}}}+e^{-x} \left (16+e^{16 e^{-x}+x}\right )-x\right ) x^{5+e^{e^{e^{16 e^{-x}}}}} \log (x)\right ) \, dx\\ &=5 \int x^{4+e^{e^{e^{16 e^{-x}}}}} \, dx-16 \int \exp \left (e^{e^{16 e^{-x}}}+e^{-x} \left (16+e^{16 e^{-x}+x}\right )-x\right ) x^{5+e^{e^{e^{16 e^{-x}}}}} \log (x) \, dx+\int e^{e^{e^{16 e^{-x}}}} x^{4+e^{e^{e^{16 e^{-x}}}}} \, dx\\ &=5 \int x^{4+e^{e^{e^{16 e^{-x}}}}} \, dx+16 \int \frac {\int e^{e^{e^{16 e^{-x}}}+e^{16 e^{-x}}+16 e^{-x}-x} x^{5+e^{e^{e^{16 e^{-x}}}}} \, dx}{x} \, dx-(16 \log (x)) \int \exp \left (e^{e^{16 e^{-x}}}+e^{-x} \left (16+e^{16 e^{-x}+x}\right )-x\right ) x^{5+e^{e^{e^{16 e^{-x}}}}} \, dx+\int e^{e^{e^{16 e^{-x}}}} x^{4+e^{e^{e^{16 e^{-x}}}}} \, dx\\ \end {aligned} \end {gather*}

________________________________________________________________________________________

Mathematica [A]  time = 0.59, size = 17, normalized size = 1.00 \begin {gather*} x^{5+e^{e^{e^{16 e^{-x}}}}} \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[(x^(4 + E^E^E^(16/E^x))*(5*E^x + E^E^E^(16/E^x)*(E^x - 16*E^(E^(16/E^x) + 16/E^x)*x*Log[x])))/E^x,x]

[Out]

x^(5 + E^E^E^(16/E^x))

________________________________________________________________________________________

fricas [B]  time = 0.54, size = 34, normalized size = 2.00 \begin {gather*} e^{\left (e^{\left (e^{\left ({\left (e^{\left (x + 16 \, e^{\left (-x\right )}\right )} + 16\right )} e^{\left (-x\right )} - 16 \, e^{\left (-x\right )}\right )}\right )} \log \relax (x) + 5 \, \log \relax (x)\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

e^(e^(e^((e^(x + 16*e^(-x)) + 16)*e^(-x) - 16*e^(-x)))*log(x) + 5*log(x))

________________________________________________________________________________________

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

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

integrate(-((16*x*e^(16*e^(-x) + e^(16*e^(-x)))*log(x) - e^x)*e^(e^(e^(16*e^(-x)))) - 5*e^x)*e^(e^(e^(e^(16*e^
(-x))))*log(x) - x + 5*log(x))/x, x)

________________________________________________________________________________________

maple [A]  time = 0.12, size = 16, normalized size = 0.94

method	result	size
risch	\(x^{{\mathrm e}^{{\mathrm e}^{{\mathrm e}^{16 \,{\mathrm e}^{-x}}}}} x^{5}\)	\(16\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(((-16*x*ln(x)*exp(4/exp(x))^4*exp(exp(4/exp(x))^4)+exp(x))*exp(exp(exp(4/exp(x))^4))+5*exp(x))*exp(ln(x)*e
xp(exp(exp(4/exp(x))^4))+5*ln(x))/exp(x)/x,x,method=_RETURNVERBOSE)

[Out]

x^exp(exp(exp(16*exp(-x))))*x^5

________________________________________________________________________________________

maxima [A]  time = 0.67, size = 15, normalized size = 0.88 \begin {gather*} x^{5} x^{e^{\left (e^{\left (e^{\left (16 \, e^{\left (-x\right )}\right )}\right )}\right )}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

x^5*x^e^(e^(e^(16*e^(-x))))

________________________________________________________________________________________

mupad [B]  time = 6.90, size = 15, normalized size = 0.88 \begin {gather*} x^{{\mathrm {e}}^{{\mathrm {e}}^{{\mathrm {e}}^{16\,{\mathrm {e}}^{-x}}}}}\,x^5 \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((exp(5*log(x) + exp(exp(exp(16*exp(-x))))*log(x))*exp(-x)*(5*exp(x) + exp(exp(exp(16*exp(-x))))*(exp(x) -
16*x*exp(16*exp(-x))*exp(exp(16*exp(-x)))*log(x))))/x,x)

[Out]

x^exp(exp(exp(16*exp(-x))))*x^5

________________________________________________________________________________________

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*ln(x)*exp(4/exp(x))**4*exp(exp(4/exp(x))**4)+exp(x))*exp(exp(exp(4/exp(x))**4))+5*exp(x))*ex
p(ln(x)*exp(exp(exp(4/exp(x))**4))+5*ln(x))/exp(x)/x,x)

[Out]

Timed out

________________________________________________________________________________________