\(\int \frac {e^{-\frac {-5 x+e^5 x+(-5+e^5) \log (x)+\log (\frac {x}{\log (x)})}{x+\log (x)}} (e^{\frac {-5 x+e^5 x+(-5+e^5) \log (x)+\log (\frac {x}{\log (x)})}{x+\log (x)}} (x^2 \log (x)+2 x \log ^2(x)+\log ^3(x))+e^{e^{-\frac {-5 x+e^5 x+(-5+e^5) \log (x)+\log (\frac {x}{\log (x)})}{x+\log (x)}} (-2 e^{\frac {-5 x+e^5 x+(-5+e^5) \log (x)+\log (\frac {x}{\log (x)})}{x+\log (x)}}+x)} (x+(1-x+x^2) \log (x)+(-1+2 x) \log ^2(x)+\log ^3(x)+(1+x) \log (x) \log (\frac {x}{\log (x)})))}{x^2 \log (x)+2 x \log ^2(x)+\log ^3(x)} \, dx\) [10148]

Optimal result

Integrand size = 223, antiderivative size = 32 \[ \int \frac {e^{-\frac {-5 x+e^5 x+\left (-5+e^5\right ) \log (x)+\log \left (\frac {x}{\log (x)}\right )}{x+\log (x)}} \left (e^{\frac {-5 x+e^5 x+\left (-5+e^5\right ) \log (x)+\log \left (\frac {x}{\log (x)}\right )}{x+\log (x)}} \left (x^2 \log (x)+2 x \log ^2(x)+\log ^3(x)\right )+e^{e^{-\frac {-5 x+e^5 x+\left (-5+e^5\right ) \log (x)+\log \left (\frac {x}{\log (x)}\right )}{x+\log (x)}} \left (-2 e^{\frac {-5 x+e^5 x+\left (-5+e^5\right ) \log (x)+\log \left (\frac {x}{\log (x)}\right )}{x+\log (x)}}+x\right )} \left (x+\left (1-x+x^2\right ) \log (x)+(-1+2 x) \log ^2(x)+\log ^3(x)+(1+x) \log (x) \log \left (\frac {x}{\log (x)}\right )\right )\right )}{x^2 \log (x)+2 x \log ^2(x)+\log ^3(x)} \, dx=e^{-2+e^{5-e^5-\frac {\log \left (\frac {x}{\log (x)}\right )}{x+\log (x)}} x}+x \]

[Out]

exp(-2+x/exp(ln(x/ln(x))/(x+ln(x))+exp(5)-5))+x

Rubi [F]

\[ \int \frac {e^{-\frac {-5 x+e^5 x+\left (-5+e^5\right ) \log (x)+\log \left (\frac {x}{\log (x)}\right )}{x+\log (x)}} \left (e^{\frac {-5 x+e^5 x+\left (-5+e^5\right ) \log (x)+\log \left (\frac {x}{\log (x)}\right )}{x+\log (x)}} \left (x^2 \log (x)+2 x \log ^2(x)+\log ^3(x)\right )+e^{e^{-\frac {-5 x+e^5 x+\left (-5+e^5\right ) \log (x)+\log \left (\frac {x}{\log (x)}\right )}{x+\log (x)}} \left (-2 e^{\frac {-5 x+e^5 x+\left (-5+e^5\right ) \log (x)+\log \left (\frac {x}{\log (x)}\right )}{x+\log (x)}}+x\right )} \left (x+\left (1-x+x^2\right ) \log (x)+(-1+2 x) \log ^2(x)+\log ^3(x)+(1+x) \log (x) \log \left (\frac {x}{\log (x)}\right )\right )\right )}{x^2 \log (x)+2 x \log ^2(x)+\log ^3(x)} \, dx=\int \frac {\exp \left (-\frac {-5 x+e^5 x+\left (-5+e^5\right ) \log (x)+\log \left (\frac {x}{\log (x)}\right )}{x+\log (x)}\right ) \left (\exp \left (\frac {-5 x+e^5 x+\left (-5+e^5\right ) \log (x)+\log \left (\frac {x}{\log (x)}\right )}{x+\log (x)}\right ) \left (x^2 \log (x)+2 x \log ^2(x)+\log ^3(x)\right )+\exp \left (\exp \left (-\frac {-5 x+e^5 x+\left (-5+e^5\right ) \log (x)+\log \left (\frac {x}{\log (x)}\right )}{x+\log (x)}\right ) \left (-2 \exp \left (\frac {-5 x+e^5 x+\left (-5+e^5\right ) \log (x)+\log \left (\frac {x}{\log (x)}\right )}{x+\log (x)}\right )+x\right )\right ) \left (x+\left (1-x+x^2\right ) \log (x)+(-1+2 x) \log ^2(x)+\log ^3(x)+(1+x) \log (x) \log \left (\frac {x}{\log (x)}\right )\right )\right )}{x^2 \log (x)+2 x \log ^2(x)+\log ^3(x)} \, dx \]

[In]

Int[(E^((-5*x + E^5*x + (-5 + E^5)*Log[x] + Log[x/Log[x]])/(x + Log[x]))*(x^2*Log[x] + 2*x*Log[x]^2 + Log[x]^3
) + E^((-2*E^((-5*x + E^5*x + (-5 + E^5)*Log[x] + Log[x/Log[x]])/(x + Log[x])) + x)/E^((-5*x + E^5*x + (-5 + E
^5)*Log[x] + Log[x/Log[x]])/(x + Log[x])))*(x + (1 - x + x^2)*Log[x] + (-1 + 2*x)*Log[x]^2 + Log[x]^3 + (1 + x
)*Log[x]*Log[x/Log[x]]))/(E^((-5*x + E^5*x + (-5 + E^5)*Log[x] + Log[x/Log[x]])/(x + Log[x]))*(x^2*Log[x] + 2*
x*Log[x]^2 + Log[x]^3)),x]

[Out]

x + Defer[Int][(E^(-2 + x^((5 - E^5 + x + Log[x])/(x + Log[x]))/(E^(((-5 + E^5)*x)/(x + Log[x]))*(x/Log[x])^(x
+ Log[x])^(-1)) + (5*(1 - E^5/5)*x)/(x + Log[x]))*x^((5 - E^5)/(x + Log[x])))/(x/Log[x])^(x + Log[x])^(-1), x
] + Defer[Int][(E^(-2 + x^((5 - E^5 + x + Log[x])/(x + Log[x]))/(E^(((-5 + E^5)*x)/(x + Log[x]))*(x/Log[x])^(x
+ Log[x])^(-1)) + (5*(1 - E^5/5)*x)/(x + Log[x]))*x^((5 - E^5)/(x + Log[x])))/((-x - Log[x])*(x/Log[x])^(x +
Log[x])^(-1)), x] + Defer[Int][(E^(-2 + x^((5 - E^5 + x + Log[x])/(x + Log[x]))/(E^(((-5 + E^5)*x)/(x + Log[x]
))*(x/Log[x])^(x + Log[x])^(-1)) + (5*(1 - E^5/5)*x)/(x + Log[x]))*x^((5*(1 - E^5/5) - x - Log[x])/(x + Log[x]
)))/((x/Log[x])^(x + Log[x])^(-1)*Log[x]), x] - 2*Defer[Int][(E^(-2 + x^((5 - E^5 + x + Log[x])/(x + Log[x]))/
(E^(((-5 + E^5)*x)/(x + Log[x]))*(x/Log[x])^(x + Log[x])^(-1)) + (5*(1 - E^5/5)*x)/(x + Log[x]))*x^((5*(1 - E^
5/5) + 2*x + 2*Log[x])/(x + Log[x])))/((x/Log[x])^(x + Log[x])^(-1)*(x + Log[x])^2), x] + 2*Defer[Int][(E^(-2
+ x^((5 - E^5 + x + Log[x])/(x + Log[x]))/(E^(((-5 + E^5)*x)/(x + Log[x]))*(x/Log[x])^(x + Log[x])^(-1)) + (5*
(1 - E^5/5)*x)/(x + Log[x]))*x^(2 + (5 - E^5)/(x + Log[x])))/((x/Log[x])^(x + Log[x])^(-1)*(x + Log[x])^2), x]
- Defer[Int][(E^(-2 + x^((5 - E^5 + x + Log[x])/(x + Log[x]))/(E^(((-5 + E^5)*x)/(x + Log[x]))*(x/Log[x])^(x
+ Log[x])^(-1)) + (5*(1 - E^5/5)*x)/(x + Log[x]))*x^((5*(1 - E^5/5) - x - Log[x])/(x + Log[x])))/((x/Log[x])^(
x + Log[x])^(-1)*(x + Log[x])), x] + Defer[Int][(E^(-2 + x^((5 - E^5 + x + Log[x])/(x + Log[x]))/(E^(((-5 + E^
5)*x)/(x + Log[x]))*(x/Log[x])^(x + Log[x])^(-1)) + (5*(1 - E^5/5)*x)/(x + Log[x]))*x^((5 - E^5)/(x + Log[x]))
*Log[x/Log[x]])/((x/Log[x])^(x + Log[x])^(-1)*(x + Log[x])^2), x] + Defer[Int][(E^(-2 + x^((5 - E^5 + x + Log[
x])/(x + Log[x]))/(E^(((-5 + E^5)*x)/(x + Log[x]))*(x/Log[x])^(x + Log[x])^(-1)) + (5*(1 - E^5/5)*x)/(x + Log[
x]))*x^((5*(1 - E^5/5) + x + Log[x])/(x + Log[x]))*Log[x/Log[x]])/((x/Log[x])^(x + Log[x])^(-1)*(x + Log[x])^2
), x]

Rubi steps Aborted

Mathematica [A] (verified)

Time = 2.12 (sec) , antiderivative size = 56, normalized size of antiderivative = 1.75 \[ \int \frac {e^{-\frac {-5 x+e^5 x+\left (-5+e^5\right ) \log (x)+\log \left (\frac {x}{\log (x)}\right )}{x+\log (x)}} \left (e^{\frac {-5 x+e^5 x+\left (-5+e^5\right ) \log (x)+\log \left (\frac {x}{\log (x)}\right )}{x+\log (x)}} \left (x^2 \log (x)+2 x \log ^2(x)+\log ^3(x)\right )+e^{e^{-\frac {-5 x+e^5 x+\left (-5+e^5\right ) \log (x)+\log \left (\frac {x}{\log (x)}\right )}{x+\log (x)}} \left (-2 e^{\frac {-5 x+e^5 x+\left (-5+e^5\right ) \log (x)+\log \left (\frac {x}{\log (x)}\right )}{x+\log (x)}}+x\right )} \left (x+\left (1-x+x^2\right ) \log (x)+(-1+2 x) \log ^2(x)+\log ^3(x)+(1+x) \log (x) \log \left (\frac {x}{\log (x)}\right )\right )\right )}{x^2 \log (x)+2 x \log ^2(x)+\log ^3(x)} \, dx=e^{-2+e^{-\frac {\left (-5+e^5\right ) x}{x+\log (x)}+\frac {\left (5-e^5\right ) \log (x)}{x+\log (x)}} x \left (\frac {x}{\log (x)}\right )^{-\frac {1}{x+\log (x)}}}+x \]

[In]

Integrate[(E^((-5*x + E^5*x + (-5 + E^5)*Log[x] + Log[x/Log[x]])/(x + Log[x]))*(x^2*Log[x] + 2*x*Log[x]^2 + Lo
g[x]^3) + E^((-2*E^((-5*x + E^5*x + (-5 + E^5)*Log[x] + Log[x/Log[x]])/(x + Log[x])) + x)/E^((-5*x + E^5*x + (
-5 + E^5)*Log[x] + Log[x/Log[x]])/(x + Log[x])))*(x + (1 - x + x^2)*Log[x] + (-1 + 2*x)*Log[x]^2 + Log[x]^3 +
(1 + x)*Log[x]*Log[x/Log[x]]))/(E^((-5*x + E^5*x + (-5 + E^5)*Log[x] + Log[x/Log[x]])/(x + Log[x]))*(x^2*Log[x
] + 2*x*Log[x]^2 + Log[x]^3)),x]

[Out]

E^(-2 + (E^(-(((-5 + E^5)*x)/(x + Log[x])) + ((5 - E^5)*Log[x])/(x + Log[x]))*x)/(x/Log[x])^(x + Log[x])^(-1))
+ x

Maple [C] (warning: unable to verify)

Result contains higher order function than in optimal. Order 9 vs. order 3.

Time = 90.03 (sec) , antiderivative size = 155, normalized size of antiderivative = 4.84

method	result	size
risch	\(x +{\mathrm e}^{\left (x \ln \left (x \right )^{\frac {1}{x +\ln \left (x \right )}} x^{\frac {4}{x +\ln \left (x \right )}} {\mathrm e}^{-\frac {-i \pi \operatorname {csgn}\left (\frac {i x}{\ln \left (x \right )}\right )^{3}+i \pi \operatorname {csgn}\left (\frac {i x}{\ln \left (x \right )}\right )^{2} \operatorname {csgn}\left (i x \right )+i \pi \operatorname {csgn}\left (\frac {i x}{\ln \left (x \right )}\right )^{2} \operatorname {csgn}\left (\frac {i}{\ln \left (x \right )}\right )-i \pi \,\operatorname {csgn}\left (\frac {i x}{\ln \left (x \right )}\right ) \operatorname {csgn}\left (i x \right ) \operatorname {csgn}\left (\frac {i}{\ln \left (x \right )}\right )+2 x \,{\mathrm e}^{5}-10 x}{2 \left (x +\ln \left (x \right )\right )}}-2 x^{\frac {{\mathrm e}^{5}}{x +\ln \left (x \right )}}\right ) x^{-\frac {{\mathrm e}^{5}}{x +\ln \left (x \right )}}}\)	\(155\)
parallelrisch	\(\frac {8 \ln \left (x \right ) \ln \left (\ln \left (x \right )\right )+4 x \ln \left (x \right )+8 x \ln \left (\ln \left (x \right )\right )+8 \ln \left (x \right ) \ln \left (\frac {x}{\ln \left (x \right )}\right )-8 \ln \left (x \right )^{2}+12 x^{2}+12 \ln \left (x \right ) {\mathrm e}^{\left (-2 \,{\mathrm e}^{\frac {\ln \left (\frac {x}{\ln \left (x \right )}\right )+\left ({\mathrm e}^{5}-5\right ) \ln \left (x \right )+x \,{\mathrm e}^{5}-5 x}{x +\ln \left (x \right )}}+x \right ) {\mathrm e}^{-\frac {\ln \left (\frac {x}{\ln \left (x \right )}\right )+\left ({\mathrm e}^{5}-5\right ) \ln \left (x \right )+x \,{\mathrm e}^{5}-5 x}{x +\ln \left (x \right )}}}+12 \,{\mathrm e}^{\left (-2 \,{\mathrm e}^{\frac {\ln \left (\frac {x}{\ln \left (x \right )}\right )+\left ({\mathrm e}^{5}-5\right ) \ln \left (x \right )+x \,{\mathrm e}^{5}-5 x}{x +\ln \left (x \right )}}+x \right ) {\mathrm e}^{-\frac {\ln \left (\frac {x}{\ln \left (x \right )}\right )+\left ({\mathrm e}^{5}-5\right ) \ln \left (x \right )+x \,{\mathrm e}^{5}-5 x}{x +\ln \left (x \right )}}} x +8 \ln \left (\frac {x}{\ln \left (x \right )}\right ) x}{12 x +12 \ln \left (x \right )}\)	\(203\)

[In]

int((((1+x)*ln(x)*ln(x/ln(x))+ln(x)^3+(-1+2*x)*ln(x)^2+(x^2-x+1)*ln(x)+x)*exp((-2*exp((ln(x/ln(x))+(exp(5)-5)*
ln(x)+x*exp(5)-5*x)/(x+ln(x)))+x)/exp((ln(x/ln(x))+(exp(5)-5)*ln(x)+x*exp(5)-5*x)/(x+ln(x))))+(ln(x)^3+2*x*ln(
x)^2+x^2*ln(x))*exp((ln(x/ln(x))+(exp(5)-5)*ln(x)+x*exp(5)-5*x)/(x+ln(x))))/(ln(x)^3+2*x*ln(x)^2+x^2*ln(x))/ex
p((ln(x/ln(x))+(exp(5)-5)*ln(x)+x*exp(5)-5*x)/(x+ln(x))),x,method=_RETURNVERBOSE)

[Out]

x+exp((x*ln(x)^(1/(x+ln(x)))*(x^(1/(x+ln(x))))^4*exp(-1/2*(-I*Pi*csgn(I*x/ln(x))^3+I*Pi*csgn(I*x/ln(x))^2*csgn
(I*x)+I*Pi*csgn(I*x/ln(x))^2*csgn(I/ln(x))-I*Pi*csgn(I*x/ln(x))*csgn(I*x)*csgn(I/ln(x))+2*x*exp(5)-10*x)/(x+ln
(x)))-2*x^(1/(x+ln(x))*exp(5)))/(x^(1/(x+ln(x))*exp(5))))

Fricas [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 69 vs. \(2 (29) = 58\).

Time = 0.27 (sec) , antiderivative size = 69, normalized size of antiderivative = 2.16 \[ \int \frac {e^{-\frac {-5 x+e^5 x+\left (-5+e^5\right ) \log (x)+\log \left (\frac {x}{\log (x)}\right )}{x+\log (x)}} \left (e^{\frac {-5 x+e^5 x+\left (-5+e^5\right ) \log (x)+\log \left (\frac {x}{\log (x)}\right )}{x+\log (x)}} \left (x^2 \log (x)+2 x \log ^2(x)+\log ^3(x)\right )+e^{e^{-\frac {-5 x+e^5 x+\left (-5+e^5\right ) \log (x)+\log \left (\frac {x}{\log (x)}\right )}{x+\log (x)}} \left (-2 e^{\frac {-5 x+e^5 x+\left (-5+e^5\right ) \log (x)+\log \left (\frac {x}{\log (x)}\right )}{x+\log (x)}}+x\right )} \left (x+\left (1-x+x^2\right ) \log (x)+(-1+2 x) \log ^2(x)+\log ^3(x)+(1+x) \log (x) \log \left (\frac {x}{\log (x)}\right )\right )\right )}{x^2 \log (x)+2 x \log ^2(x)+\log ^3(x)} \, dx=x + e^{\left ({\left (x - 2 \, e^{\left (\frac {x e^{5} + {\left (e^{5} - 5\right )} \log \left (x\right ) - 5 \, x + \log \left (\frac {x}{\log \left (x\right )}\right )}{x + \log \left (x\right )}\right )}\right )} e^{\left (-\frac {x e^{5} + {\left (e^{5} - 5\right )} \log \left (x\right ) - 5 \, x + \log \left (\frac {x}{\log \left (x\right )}\right )}{x + \log \left (x\right )}\right )}\right )} \]

[In]

integrate((((1+x)*log(x)*log(x/log(x))+log(x)^3+(-1+2*x)*log(x)^2+(x^2-x+1)*log(x)+x)*exp((-2*exp((log(x/log(x
))+(exp(5)-5)*log(x)+x*exp(5)-5*x)/(x+log(x)))+x)/exp((log(x/log(x))+(exp(5)-5)*log(x)+x*exp(5)-5*x)/(x+log(x)
)))+(log(x)^3+2*x*log(x)^2+x^2*log(x))*exp((log(x/log(x))+(exp(5)-5)*log(x)+x*exp(5)-5*x)/(x+log(x))))/(log(x)
^3+2*x*log(x)^2+x^2*log(x))/exp((log(x/log(x))+(exp(5)-5)*log(x)+x*exp(5)-5*x)/(x+log(x))),x, algorithm="frica
s")

[Out]

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

Sympy [F(-2)]

Exception generated. \[ \int \frac {e^{-\frac {-5 x+e^5 x+\left (-5+e^5\right ) \log (x)+\log \left (\frac {x}{\log (x)}\right )}{x+\log (x)}} \left (e^{\frac {-5 x+e^5 x+\left (-5+e^5\right ) \log (x)+\log \left (\frac {x}{\log (x)}\right )}{x+\log (x)}} \left (x^2 \log (x)+2 x \log ^2(x)+\log ^3(x)\right )+e^{e^{-\frac {-5 x+e^5 x+\left (-5+e^5\right ) \log (x)+\log \left (\frac {x}{\log (x)}\right )}{x+\log (x)}} \left (-2 e^{\frac {-5 x+e^5 x+\left (-5+e^5\right ) \log (x)+\log \left (\frac {x}{\log (x)}\right )}{x+\log (x)}}+x\right )} \left (x+\left (1-x+x^2\right ) \log (x)+(-1+2 x) \log ^2(x)+\log ^3(x)+(1+x) \log (x) \log \left (\frac {x}{\log (x)}\right )\right )\right )}{x^2 \log (x)+2 x \log ^2(x)+\log ^3(x)} \, dx=\text {Exception raised: TypeError} \]

[In]

integrate((((1+x)*ln(x)*ln(x/ln(x))+ln(x)**3+(-1+2*x)*ln(x)**2+(x**2-x+1)*ln(x)+x)*exp((-2*exp((ln(x/ln(x))+(e
xp(5)-5)*ln(x)+x*exp(5)-5*x)/(x+ln(x)))+x)/exp((ln(x/ln(x))+(exp(5)-5)*ln(x)+x*exp(5)-5*x)/(x+ln(x))))+(ln(x)*
*3+2*x*ln(x)**2+x**2*ln(x))*exp((ln(x/ln(x))+(exp(5)-5)*ln(x)+x*exp(5)-5*x)/(x+ln(x))))/(ln(x)**3+2*x*ln(x)**2
+x**2*ln(x))/exp((ln(x/ln(x))+(exp(5)-5)*ln(x)+x*exp(5)-5*x)/(x+ln(x))),x)

[Out]

Exception raised: TypeError >> '>' not supported between instances of 'Poly' and 'int'

Maxima [A] (verification not implemented)

none

Time = 1.07 (sec) , antiderivative size = 38, normalized size of antiderivative = 1.19 \[ \int \frac {e^{-\frac {-5 x+e^5 x+\left (-5+e^5\right ) \log (x)+\log \left (\frac {x}{\log (x)}\right )}{x+\log (x)}} \left (e^{\frac {-5 x+e^5 x+\left (-5+e^5\right ) \log (x)+\log \left (\frac {x}{\log (x)}\right )}{x+\log (x)}} \left (x^2 \log (x)+2 x \log ^2(x)+\log ^3(x)\right )+e^{e^{-\frac {-5 x+e^5 x+\left (-5+e^5\right ) \log (x)+\log \left (\frac {x}{\log (x)}\right )}{x+\log (x)}} \left (-2 e^{\frac {-5 x+e^5 x+\left (-5+e^5\right ) \log (x)+\log \left (\frac {x}{\log (x)}\right )}{x+\log (x)}}+x\right )} \left (x+\left (1-x+x^2\right ) \log (x)+(-1+2 x) \log ^2(x)+\log ^3(x)+(1+x) \log (x) \log \left (\frac {x}{\log (x)}\right )\right )\right )}{x^2 \log (x)+2 x \log ^2(x)+\log ^3(x)} \, dx={\left (x e^{2} + e^{\left (x e^{\left (-\frac {\log \left (x\right )}{x + \log \left (x\right )} + \frac {\log \left (\log \left (x\right )\right )}{x + \log \left (x\right )} - e^{5} + 5\right )}\right )}\right )} e^{\left (-2\right )} \]

[In]

integrate((((1+x)*log(x)*log(x/log(x))+log(x)^3+(-1+2*x)*log(x)^2+(x^2-x+1)*log(x)+x)*exp((-2*exp((log(x/log(x
))+(exp(5)-5)*log(x)+x*exp(5)-5*x)/(x+log(x)))+x)/exp((log(x/log(x))+(exp(5)-5)*log(x)+x*exp(5)-5*x)/(x+log(x)
)))+(log(x)^3+2*x*log(x)^2+x^2*log(x))*exp((log(x/log(x))+(exp(5)-5)*log(x)+x*exp(5)-5*x)/(x+log(x))))/(log(x)
^3+2*x*log(x)^2+x^2*log(x))/exp((log(x/log(x))+(exp(5)-5)*log(x)+x*exp(5)-5*x)/(x+log(x))),x, algorithm="maxim
a")

[Out]

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

Giac [F]

\[ \int \frac {e^{-\frac {-5 x+e^5 x+\left (-5+e^5\right ) \log (x)+\log \left (\frac {x}{\log (x)}\right )}{x+\log (x)}} \left (e^{\frac {-5 x+e^5 x+\left (-5+e^5\right ) \log (x)+\log \left (\frac {x}{\log (x)}\right )}{x+\log (x)}} \left (x^2 \log (x)+2 x \log ^2(x)+\log ^3(x)\right )+e^{e^{-\frac {-5 x+e^5 x+\left (-5+e^5\right ) \log (x)+\log \left (\frac {x}{\log (x)}\right )}{x+\log (x)}} \left (-2 e^{\frac {-5 x+e^5 x+\left (-5+e^5\right ) \log (x)+\log \left (\frac {x}{\log (x)}\right )}{x+\log (x)}}+x\right )} \left (x+\left (1-x+x^2\right ) \log (x)+(-1+2 x) \log ^2(x)+\log ^3(x)+(1+x) \log (x) \log \left (\frac {x}{\log (x)}\right )\right )\right )}{x^2 \log (x)+2 x \log ^2(x)+\log ^3(x)} \, dx=\int { \frac {{\left ({\left ({\left (2 \, x - 1\right )} \log \left (x\right )^{2} + \log \left (x\right )^{3} + {\left (x + 1\right )} \log \left (x\right ) \log \left (\frac {x}{\log \left (x\right )}\right ) + {\left (x^{2} - x + 1\right )} \log \left (x\right ) + x\right )} e^{\left ({\left (x - 2 \, e^{\left (\frac {x e^{5} + {\left (e^{5} - 5\right )} \log \left (x\right ) - 5 \, x + \log \left (\frac {x}{\log \left (x\right )}\right )}{x + \log \left (x\right )}\right )}\right )} e^{\left (-\frac {x e^{5} + {\left (e^{5} - 5\right )} \log \left (x\right ) - 5 \, x + \log \left (\frac {x}{\log \left (x\right )}\right )}{x + \log \left (x\right )}\right )}\right )} + {\left (x^{2} \log \left (x\right ) + 2 \, x \log \left (x\right )^{2} + \log \left (x\right )^{3}\right )} e^{\left (\frac {x e^{5} + {\left (e^{5} - 5\right )} \log \left (x\right ) - 5 \, x + \log \left (\frac {x}{\log \left (x\right )}\right )}{x + \log \left (x\right )}\right )}\right )} e^{\left (-\frac {x e^{5} + {\left (e^{5} - 5\right )} \log \left (x\right ) - 5 \, x + \log \left (\frac {x}{\log \left (x\right )}\right )}{x + \log \left (x\right )}\right )}}{x^{2} \log \left (x\right ) + 2 \, x \log \left (x\right )^{2} + \log \left (x\right )^{3}} \,d x } \]

[In]

integrate((((1+x)*log(x)*log(x/log(x))+log(x)^3+(-1+2*x)*log(x)^2+(x^2-x+1)*log(x)+x)*exp((-2*exp((log(x/log(x
))+(exp(5)-5)*log(x)+x*exp(5)-5*x)/(x+log(x)))+x)/exp((log(x/log(x))+(exp(5)-5)*log(x)+x*exp(5)-5*x)/(x+log(x)
)))+(log(x)^3+2*x*log(x)^2+x^2*log(x))*exp((log(x/log(x))+(exp(5)-5)*log(x)+x*exp(5)-5*x)/(x+log(x))))/(log(x)
^3+2*x*log(x)^2+x^2*log(x))/exp((log(x/log(x))+(exp(5)-5)*log(x)+x*exp(5)-5*x)/(x+log(x))),x, algorithm="giac"
)

[Out]

undef

Mupad [B] (verification not implemented)

Time = 17.84 (sec) , antiderivative size = 68, normalized size of antiderivative = 2.12 \[ \int \frac {e^{-\frac {-5 x+e^5 x+\left (-5+e^5\right ) \log (x)+\log \left (\frac {x}{\log (x)}\right )}{x+\log (x)}} \left (e^{\frac {-5 x+e^5 x+\left (-5+e^5\right ) \log (x)+\log \left (\frac {x}{\log (x)}\right )}{x+\log (x)}} \left (x^2 \log (x)+2 x \log ^2(x)+\log ^3(x)\right )+e^{e^{-\frac {-5 x+e^5 x+\left (-5+e^5\right ) \log (x)+\log \left (\frac {x}{\log (x)}\right )}{x+\log (x)}} \left (-2 e^{\frac {-5 x+e^5 x+\left (-5+e^5\right ) \log (x)+\log \left (\frac {x}{\log (x)}\right )}{x+\log (x)}}+x\right )} \left (x+\left (1-x+x^2\right ) \log (x)+(-1+2 x) \log ^2(x)+\log ^3(x)+(1+x) \log (x) \log \left (\frac {x}{\log (x)}\right )\right )\right )}{x^2 \log (x)+2 x \log ^2(x)+\log ^3(x)} \, dx=x+{\mathrm {e}}^{\frac {x\,x^{\frac {5}{x+\ln \left (x\right )}}\,{\mathrm {e}}^{\frac {5\,x}{x+\ln \left (x\right )}}\,{\mathrm {e}}^{-\frac {x\,{\mathrm {e}}^5}{x+\ln \left (x\right )}}}{x^{\frac {{\mathrm {e}}^5}{x+\ln \left (x\right )}}\,{\left (\frac {x}{\ln \left (x\right )}\right )}^{\frac {1}{x+\ln \left (x\right )}}}}\,{\mathrm {e}}^{-2} \]

[In]

int((exp(-(log(x/log(x)) - 5*x + log(x)*(exp(5) - 5) + x*exp(5))/(x + log(x)))*(exp(exp(-(log(x/log(x)) - 5*x
+ log(x)*(exp(5) - 5) + x*exp(5))/(x + log(x)))*(x - 2*exp((log(x/log(x)) - 5*x + log(x)*(exp(5) - 5) + x*exp(
5))/(x + log(x)))))*(x + log(x)^3 + log(x)*(x^2 - x + 1) + log(x)^2*(2*x - 1) + log(x/log(x))*log(x)*(x + 1))
+ exp((log(x/log(x)) - 5*x + log(x)*(exp(5) - 5) + x*exp(5))/(x + log(x)))*(2*x*log(x)^2 + x^2*log(x) + log(x)
^3)))/(2*x*log(x)^2 + x^2*log(x) + log(x)^3),x)

[Out]

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