3.41.62 \(\int \frac {e^{9 e^{\frac {5 x}{\log (e^{e^x}-\log (x))}}+\frac {5 x}{\log (e^{e^x}-\log (x))}} (45-45 e^{e^x+x} x+(45 e^{e^x}-45 \log (x)) \log (e^{e^x}-\log (x)))}{(e^{e^x}-\log (x)) \log ^2(e^{e^x}-\log (x))} \, dx\)

Optimal. Leaf size=22 \[ e^{9 e^{\frac {5 x}{\log \left (e^{e^x}-\log (x)\right )}}} \]

________________________________________________________________________________________

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

Verification is not applicable to the result.

[In]

Int[(E^(9*E^((5*x)/Log[E^E^x - Log[x]]) + (5*x)/Log[E^E^x - Log[x]])*(45 - 45*E^(E^x + x)*x + (45*E^E^x - 45*L
og[x])*Log[E^E^x - Log[x]]))/((E^E^x - Log[x])*Log[E^E^x - Log[x]]^2),x]

[Out]

45*Defer[Int][E^(9*E^((5*x)/Log[E^E^x - Log[x]]) + (5*x)/Log[E^E^x - Log[x]])/((E^E^x - Log[x])*Log[E^E^x - Lo
g[x]]^2), x] - 45*Defer[Int][(E^(E^x + 9*E^((5*x)/Log[E^E^x - Log[x]]) + x + (5*x)/Log[E^E^x - Log[x]])*x)/((E
^E^x - Log[x])*Log[E^E^x - Log[x]]^2), x] + 45*Defer[Int][E^(9*E^((5*x)/Log[E^E^x - Log[x]]) + (5*x)/Log[E^E^x
- Log[x]])/Log[E^E^x - Log[x]], x]

Rubi steps

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

________________________________________________________________________________________

Mathematica [A]  time = 0.11, size = 22, normalized size = 1.00 \begin {gather*} e^{9 e^{\frac {5 x}{\log \left (e^{e^x}-\log (x)\right )}}} \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[(E^(9*E^((5*x)/Log[E^E^x - Log[x]]) + (5*x)/Log[E^E^x - Log[x]])*(45 - 45*E^(E^x + x)*x + (45*E^E^x
- 45*Log[x])*Log[E^E^x - Log[x]]))/((E^E^x - Log[x])*Log[E^E^x - Log[x]]^2),x]

[Out]

E^(9*E^((5*x)/Log[E^E^x - Log[x]]))

________________________________________________________________________________________

fricas [B]  time = 0.66, size = 102, normalized size = 4.64 \begin {gather*} e^{\left (\frac {9 \, e^{\left (\frac {5 \, x}{\log \left (-{\left (e^{x} \log \relax (x) - e^{\left (x + e^{x}\right )}\right )} e^{\left (-x\right )}\right )}\right )} \log \left (-{\left (e^{x} \log \relax (x) - e^{\left (x + e^{x}\right )}\right )} e^{\left (-x\right )}\right ) + 5 \, x}{\log \left (-{\left (e^{x} \log \relax (x) - e^{\left (x + e^{x}\right )}\right )} e^{\left (-x\right )}\right )} - \frac {5 \, x}{\log \left (-{\left (e^{x} \log \relax (x) - e^{\left (x + e^{x}\right )}\right )} e^{\left (-x\right )}\right )}\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((45*exp(exp(x))-45*log(x))*log(exp(exp(x))-log(x))-45*x*exp(x)*exp(exp(x))+45)*exp(5*x/log(exp(exp(
x))-log(x)))*exp(9*exp(5*x/log(exp(exp(x))-log(x))))/(exp(exp(x))-log(x))/log(exp(exp(x))-log(x))^2,x, algorit
hm="fricas")

[Out]

e^((9*e^(5*x/log(-(e^x*log(x) - e^(x + e^x))*e^(-x)))*log(-(e^x*log(x) - e^(x + e^x))*e^(-x)) + 5*x)/log(-(e^x
*log(x) - e^(x + e^x))*e^(-x)) - 5*x/log(-(e^x*log(x) - e^(x + e^x))*e^(-x)))

________________________________________________________________________________________

giac [F]  time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \mathit {undef} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((45*exp(exp(x))-45*log(x))*log(exp(exp(x))-log(x))-45*x*exp(x)*exp(exp(x))+45)*exp(5*x/log(exp(exp(
x))-log(x)))*exp(9*exp(5*x/log(exp(exp(x))-log(x))))/(exp(exp(x))-log(x))/log(exp(exp(x))-log(x))^2,x, algorit
hm="giac")

[Out]

undef

________________________________________________________________________________________

maple [A]  time = 0.08, size = 19, normalized size = 0.86

method	result	size
risch	\({\mathrm e}^{9 \,{\mathrm e}^{\frac {5 x}{\ln \left ({\mathrm e}^{{\mathrm e}^{x}}-\ln \relax (x )\right )}}}\)	\(19\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(((45*exp(exp(x))-45*ln(x))*ln(exp(exp(x))-ln(x))-45*x*exp(x)*exp(exp(x))+45)*exp(5*x/ln(exp(exp(x))-ln(x))
)*exp(9*exp(5*x/ln(exp(exp(x))-ln(x))))/(exp(exp(x))-ln(x))/ln(exp(exp(x))-ln(x))^2,x,method=_RETURNVERBOSE)

[Out]

exp(9*exp(5*x/ln(exp(exp(x))-ln(x))))

________________________________________________________________________________________

maxima [A]  time = 0.78, size = 18, normalized size = 0.82 \begin {gather*} e^{\left (9 \, e^{\left (\frac {5 \, x}{\log \left (e^{\left (e^{x}\right )} - \log \relax (x)\right )}\right )}\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((45*exp(exp(x))-45*log(x))*log(exp(exp(x))-log(x))-45*x*exp(x)*exp(exp(x))+45)*exp(5*x/log(exp(exp(
x))-log(x)))*exp(9*exp(5*x/log(exp(exp(x))-log(x))))/(exp(exp(x))-log(x))/log(exp(exp(x))-log(x))^2,x, algorit
hm="maxima")

[Out]

e^(9*e^(5*x/log(e^(e^x) - log(x))))

________________________________________________________________________________________

mupad [B]  time = 3.37, size = 18, normalized size = 0.82 \begin {gather*} {\mathrm {e}}^{9\,{\mathrm {e}}^{\frac {5\,x}{\ln \left ({\mathrm {e}}^{{\mathrm {e}}^x}-\ln \relax (x)\right )}}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((exp(9*exp((5*x)/log(exp(exp(x)) - log(x))))*exp((5*x)/log(exp(exp(x)) - log(x)))*(log(exp(exp(x)) - log(x
))*(45*exp(exp(x)) - 45*log(x)) - 45*x*exp(exp(x))*exp(x) + 45))/(log(exp(exp(x)) - log(x))^2*(exp(exp(x)) - l
og(x))),x)

[Out]

exp(9*exp((5*x)/log(exp(exp(x)) - log(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(((45*exp(exp(x))-45*ln(x))*ln(exp(exp(x))-ln(x))-45*x*exp(x)*exp(exp(x))+45)*exp(5*x/ln(exp(exp(x))-
ln(x)))*exp(9*exp(5*x/ln(exp(exp(x))-ln(x))))/(exp(exp(x))-ln(x))/ln(exp(exp(x))-ln(x))**2,x)

[Out]

Timed out

________________________________________________________________________________________