3.6.53 \(\int \frac {-16 x+(32 x^2+8 e^x x^2) \log ^2(x)+e^{\frac {2 e^{2 x}-10 x}{x}} (8 x+e^{2 x} (-16+32 x) \log (x)+(-16 x^2-4 e^x x^2+e^{2 x} (-32 x+64 x^2+e^x (-8+16 x))) \log ^2(x))}{4 x^2 \log ^2(x)-4 e^{\frac {2 e^{2 x}-10 x}{x}} x^2 \log ^2(x)+e^{\frac {2 (2 e^{2 x}-10 x)}{x}} x^2 \log ^2(x)} \, dx\) [553]

3.6.53.1 Optimal result
3.6.53.2 Mathematica [A] (verified)
3.6.53.3 Rubi [F]
3.6.53.4 Maple [A] (verified)
3.6.53.5 Fricas [A] (verification not implemented)
3.6.53.6 Sympy [A] (verification not implemented)
3.6.53.7 Maxima [A] (verification not implemented)
3.6.53.8 Giac [B] (verification not implemented)
3.6.53.9 Mupad [B] (verification not implemented)

3.6.53.1 Optimal result

Integrand size = 166, antiderivative size = 36 \[ \int \frac {-16 x+\left (32 x^2+8 e^x x^2\right ) \log ^2(x)+e^{\frac {2 e^{2 x}-10 x}{x}} \left (8 x+e^{2 x} (-16+32 x) \log (x)+\left (-16 x^2-4 e^x x^2+e^{2 x} \left (-32 x+64 x^2+e^x (-8+16 x)\right )\right ) \log ^2(x)\right )}{4 x^2 \log ^2(x)-4 e^{\frac {2 e^{2 x}-10 x}{x}} x^2 \log ^2(x)+e^{\frac {2 \left (2 e^{2 x}-10 x\right )}{x}} x^2 \log ^2(x)} \, dx=\frac {4 \left (e^x+4 x+\frac {2}{\log (x)}\right )}{2-e^{2 \left (-5+\frac {e^{2 x}}{x}\right )}} \]

output
4*(4*x+2/ln(x)+exp(x))/(2-exp(2*exp(2*x)/x-10))
 
3.6.53.2 Mathematica [A] (verified)

Time = 0.32 (sec) , antiderivative size = 42, normalized size of antiderivative = 1.17 \[ \int \frac {-16 x+\left (32 x^2+8 e^x x^2\right ) \log ^2(x)+e^{\frac {2 e^{2 x}-10 x}{x}} \left (8 x+e^{2 x} (-16+32 x) \log (x)+\left (-16 x^2-4 e^x x^2+e^{2 x} \left (-32 x+64 x^2+e^x (-8+16 x)\right )\right ) \log ^2(x)\right )}{4 x^2 \log ^2(x)-4 e^{\frac {2 e^{2 x}-10 x}{x}} x^2 \log ^2(x)+e^{\frac {2 \left (2 e^{2 x}-10 x\right )}{x}} x^2 \log ^2(x)} \, dx=-\frac {4 e^{10} \left (2+e^x \log (x)+4 x \log (x)\right )}{\left (-2 e^{10}+e^{\frac {2 e^{2 x}}{x}}\right ) \log (x)} \]

input
Integrate[(-16*x + (32*x^2 + 8*E^x*x^2)*Log[x]^2 + E^((2*E^(2*x) - 10*x)/x 
)*(8*x + E^(2*x)*(-16 + 32*x)*Log[x] + (-16*x^2 - 4*E^x*x^2 + E^(2*x)*(-32 
*x + 64*x^2 + E^x*(-8 + 16*x)))*Log[x]^2))/(4*x^2*Log[x]^2 - 4*E^((2*E^(2* 
x) - 10*x)/x)*x^2*Log[x]^2 + E^((2*(2*E^(2*x) - 10*x))/x)*x^2*Log[x]^2),x]
 
output
(-4*E^10*(2 + E^x*Log[x] + 4*x*Log[x]))/((-2*E^10 + E^((2*E^(2*x))/x))*Log 
[x])
 
3.6.53.3 Rubi [F]

Below are the steps used by Rubi to obtain the solution. The rule number used for the transformation is given above next to the arrow. The rules definitions used are listed below.

\(\displaystyle \int \frac {\left (8 e^x x^2+32 x^2\right ) \log ^2(x)+e^{\frac {2 e^{2 x}-10 x}{x}} \left (\left (-4 e^x x^2-16 x^2+e^{2 x} \left (64 x^2-32 x+e^x (16 x-8)\right )\right ) \log ^2(x)+8 x+e^{2 x} (32 x-16) \log (x)\right )-16 x}{-4 e^{\frac {2 e^{2 x}-10 x}{x}} x^2 \log ^2(x)+e^{\frac {2 \left (2 e^{2 x}-10 x\right )}{x}} x^2 \log ^2(x)+4 x^2 \log ^2(x)} \, dx\)

\(\Big \downarrow \) 7292

\(\displaystyle \int \frac {e^{20} \left (\left (8 e^x x^2+32 x^2\right ) \log ^2(x)+e^{\frac {2 e^{2 x}-10 x}{x}} \left (\left (-4 e^x x^2-16 x^2+e^{2 x} \left (64 x^2-32 x+e^x (16 x-8)\right )\right ) \log ^2(x)+8 x+e^{2 x} (32 x-16) \log (x)\right )-16 x\right )}{\left (2 e^{10}-e^{\frac {2 e^{2 x}}{x}}\right )^2 x^2 \log ^2(x)}dx\)

\(\Big \downarrow \) 27

\(\displaystyle e^{20} \int -\frac {4 \left (-2 \left (e^x x^2+4 x^2\right ) \log ^2(x)+4 x-e^{\frac {2 \left (e^{2 x}-5 x\right )}{x}} \left (-\left (\left (e^x x^2+4 x^2+2 e^{2 x} \left (-8 x^2+4 x+e^x (1-2 x)\right )\right ) \log ^2(x)\right )-4 e^{2 x} (1-2 x) \log (x)+2 x\right )\right )}{\left (2 e^{10}-e^{\frac {2 e^{2 x}}{x}}\right )^2 x^2 \log ^2(x)}dx\)

\(\Big \downarrow \) 27

\(\displaystyle -4 e^{20} \int \frac {-2 \left (e^x x^2+4 x^2\right ) \log ^2(x)+4 x-e^{\frac {2 \left (e^{2 x}-5 x\right )}{x}} \left (-\left (\left (e^x x^2+4 x^2+2 e^{2 x} \left (-8 x^2+4 x+e^x (1-2 x)\right )\right ) \log ^2(x)\right )-4 e^{2 x} (1-2 x) \log (x)+2 x\right )}{\left (2 e^{10}-e^{\frac {2 e^{2 x}}{x}}\right )^2 x^2 \log ^2(x)}dx\)

\(\Big \downarrow \) 7293

\(\displaystyle -4 e^{20} \int \left (-\frac {2 e^{3 x-10+\frac {2 e^{2 x}}{x}} (2 x-1)}{\left (-2 e^{10}+e^{\frac {2 e^{2 x}}{x}}\right )^2 x^2}+\frac {4 e^{\frac {2 \left (x^2-5 x+e^{2 x}\right )}{x}} (1-2 x) (2 x \log (x)+1)}{\left (2 e^{10}-e^{\frac {2 e^{2 x}}{x}}\right )^2 x^2 \log (x)}-\frac {e^{x-10}}{2 e^{10}-e^{\frac {2 e^{2 x}}{x}}}+\frac {4 e^{\frac {2 \left (e^{2 x}-5 x\right )}{x}}}{\left (2 e^{10}-e^{\frac {2 e^{2 x}}{x}}\right )^2}-\frac {8}{\left (-2 e^{10}+e^{\frac {2 e^{2 x}}{x}}\right )^2}-\frac {2 e^{\frac {2 \left (e^{2 x}-5 x\right )}{x}}}{\left (2 e^{10}-e^{\frac {2 e^{2 x}}{x}}\right )^2 x \log ^2(x)}+\frac {4}{\left (-2 e^{10}+e^{\frac {2 e^{2 x}}{x}}\right )^2 x \log ^2(x)}\right )dx\)

\(\Big \downarrow \) 2009

\(\displaystyle -4 e^{20} \left (-16 \int \frac {e^{\frac {2 \left (x^2-5 x+e^{2 x}\right )}{x}}}{\left (-2 e^{10}+e^{\frac {2 e^{2 x}}{x}}\right )^2}dx+2 \int \frac {e^{3 x-10+\frac {2 e^{2 x}}{x}}}{\left (-2 e^{10}+e^{\frac {2 e^{2 x}}{x}}\right )^2 x^2}dx+8 \int \frac {e^{\frac {2 \left (x^2-5 x+e^{2 x}\right )}{x}}}{\left (-2 e^{10}+e^{\frac {2 e^{2 x}}{x}}\right )^2 x}dx+4 \int \frac {e^{\frac {2 \left (x^2-5 x+e^{2 x}\right )}{x}}}{\left (-2 e^{10}+e^{\frac {2 e^{2 x}}{x}}\right )^2 x^2 \log (x)}dx-8 \int \frac {e^{\frac {2 \left (x^2-5 x+e^{2 x}\right )}{x}}}{\left (-2 e^{10}+e^{\frac {2 e^{2 x}}{x}}\right )^2 x \log (x)}dx+4 \int \frac {e^{\frac {2 \left (e^{2 x}-5 x\right )}{x}}}{\left (2 e^{10}-e^{\frac {2 e^{2 x}}{x}}\right )^2}dx-\int \frac {e^{x-10}}{2 e^{10}-e^{\frac {2 e^{2 x}}{x}}}dx-8 \int \frac {1}{\left (-2 e^{10}+e^{\frac {2 e^{2 x}}{x}}\right )^2}dx-4 \int \frac {e^{3 x-10+\frac {2 e^{2 x}}{x}}}{\left (-2 e^{10}+e^{\frac {2 e^{2 x}}{x}}\right )^2 x}dx-2 \int \frac {e^{\frac {2 \left (e^{2 x}-5 x\right )}{x}}}{\left (2 e^{10}-e^{\frac {2 e^{2 x}}{x}}\right )^2 x \log ^2(x)}dx+4 \int \frac {1}{\left (-2 e^{10}+e^{\frac {2 e^{2 x}}{x}}\right )^2 x \log ^2(x)}dx\right )\)

input
Int[(-16*x + (32*x^2 + 8*E^x*x^2)*Log[x]^2 + E^((2*E^(2*x) - 10*x)/x)*(8*x 
 + E^(2*x)*(-16 + 32*x)*Log[x] + (-16*x^2 - 4*E^x*x^2 + E^(2*x)*(-32*x + 6 
4*x^2 + E^x*(-8 + 16*x)))*Log[x]^2))/(4*x^2*Log[x]^2 - 4*E^((2*E^(2*x) - 1 
0*x)/x)*x^2*Log[x]^2 + E^((2*(2*E^(2*x) - 10*x))/x)*x^2*Log[x]^2),x]
 
output
$Aborted
 

3.6.53.3.1 Defintions of rubi rules used

rule 27
Int[(a_)*(Fx_), x_Symbol] :> Simp[a   Int[Fx, x], x] /; FreeQ[a, x] &&  !Ma 
tchQ[Fx, (b_)*(Gx_) /; FreeQ[b, x]]
 

rule 2009
Int[u_, x_Symbol] :> Simp[IntSum[u, x], x] /; SumQ[u]
 

rule 7292
Int[u_, x_Symbol] :> With[{v = NormalizeIntegrand[u, x]}, Int[v, x] /; v =! 
= u]
 

rule 7293
Int[u_, x_Symbol] :> With[{v = ExpandIntegrand[u, x]}, Int[v, x] /; SumQ[v] 
]
 
3.6.53.4 Maple [A] (verified)

Time = 12.19 (sec) , antiderivative size = 38, normalized size of antiderivative = 1.06

method result size
parallelrisch \(-\frac {8+16 x \ln \left (x \right )+4 \,{\mathrm e}^{x} \ln \left (x \right )}{\left ({\mathrm e}^{\frac {2 \,{\mathrm e}^{2 x}-10 x}{x}}-2\right ) \ln \left (x \right )}\) \(38\)
risch \(-\frac {4 \left (4 x \ln \left (x \right )+{\mathrm e}^{x} \ln \left (x \right )+2\right )}{\ln \left (x \right ) \left ({\mathrm e}^{-\frac {2 \left (-{\mathrm e}^{2 x}+5 x \right )}{x}}-2\right )}\) \(39\)

input
int((((((16*x-8)*exp(x)+64*x^2-32*x)*exp(2*x)-4*exp(x)*x^2-16*x^2)*ln(x)^2 
+(32*x-16)*exp(2*x)*ln(x)+8*x)*exp((2*exp(2*x)-10*x)/x)+(8*exp(x)*x^2+32*x 
^2)*ln(x)^2-16*x)/(x^2*ln(x)^2*exp((2*exp(2*x)-10*x)/x)^2-4*x^2*ln(x)^2*ex 
p((2*exp(2*x)-10*x)/x)+4*x^2*ln(x)^2),x,method=_RETURNVERBOSE)
 
output
-(8+16*x*ln(x)+4*exp(x)*ln(x))/(exp(2*(exp(2*x)-5*x)/x)-2)/ln(x)
 
3.6.53.5 Fricas [A] (verification not implemented)

Time = 0.25 (sec) , antiderivative size = 39, normalized size of antiderivative = 1.08 \[ \int \frac {-16 x+\left (32 x^2+8 e^x x^2\right ) \log ^2(x)+e^{\frac {2 e^{2 x}-10 x}{x}} \left (8 x+e^{2 x} (-16+32 x) \log (x)+\left (-16 x^2-4 e^x x^2+e^{2 x} \left (-32 x+64 x^2+e^x (-8+16 x)\right )\right ) \log ^2(x)\right )}{4 x^2 \log ^2(x)-4 e^{\frac {2 e^{2 x}-10 x}{x}} x^2 \log ^2(x)+e^{\frac {2 \left (2 e^{2 x}-10 x\right )}{x}} x^2 \log ^2(x)} \, dx=-\frac {4 \, {\left ({\left (4 \, x + e^{x}\right )} \log \left (x\right ) + 2\right )}}{e^{\left (-\frac {2 \, {\left (5 \, x - e^{\left (2 \, x\right )}\right )}}{x}\right )} \log \left (x\right ) - 2 \, \log \left (x\right )} \]

input
integrate((((((16*x-8)*exp(x)+64*x^2-32*x)*exp(2*x)-4*exp(x)*x^2-16*x^2)*l 
og(x)^2+(32*x-16)*exp(2*x)*log(x)+8*x)*exp((2*exp(2*x)-10*x)/x)+(8*exp(x)* 
x^2+32*x^2)*log(x)^2-16*x)/(x^2*log(x)^2*exp((2*exp(2*x)-10*x)/x)^2-4*x^2* 
log(x)^2*exp((2*exp(2*x)-10*x)/x)+4*x^2*log(x)^2),x, algorithm=\
 
output
-4*((4*x + e^x)*log(x) + 2)/(e^(-2*(5*x - e^(2*x))/x)*log(x) - 2*log(x))
 
3.6.53.6 Sympy [A] (verification not implemented)

Time = 0.18 (sec) , antiderivative size = 39, normalized size of antiderivative = 1.08 \[ \int \frac {-16 x+\left (32 x^2+8 e^x x^2\right ) \log ^2(x)+e^{\frac {2 e^{2 x}-10 x}{x}} \left (8 x+e^{2 x} (-16+32 x) \log (x)+\left (-16 x^2-4 e^x x^2+e^{2 x} \left (-32 x+64 x^2+e^x (-8+16 x)\right )\right ) \log ^2(x)\right )}{4 x^2 \log ^2(x)-4 e^{\frac {2 e^{2 x}-10 x}{x}} x^2 \log ^2(x)+e^{\frac {2 \left (2 e^{2 x}-10 x\right )}{x}} x^2 \log ^2(x)} \, dx=\frac {- 16 x \log {\left (x \right )} - 4 e^{x} \log {\left (x \right )} - 8}{e^{\frac {- 10 x + 2 e^{2 x}}{x}} \log {\left (x \right )} - 2 \log {\left (x \right )}} \]

input
integrate((((((16*x-8)*exp(x)+64*x**2-32*x)*exp(2*x)-4*exp(x)*x**2-16*x**2 
)*ln(x)**2+(32*x-16)*exp(2*x)*ln(x)+8*x)*exp((2*exp(2*x)-10*x)/x)+(8*exp(x 
)*x**2+32*x**2)*ln(x)**2-16*x)/(x**2*ln(x)**2*exp((2*exp(2*x)-10*x)/x)**2- 
4*x**2*ln(x)**2*exp((2*exp(2*x)-10*x)/x)+4*x**2*ln(x)**2),x)
 
output
(-16*x*log(x) - 4*exp(x)*log(x) - 8)/(exp((-10*x + 2*exp(2*x))/x)*log(x) - 
 2*log(x))
 
3.6.53.7 Maxima [A] (verification not implemented)

Time = 0.25 (sec) , antiderivative size = 44, normalized size of antiderivative = 1.22 \[ \int \frac {-16 x+\left (32 x^2+8 e^x x^2\right ) \log ^2(x)+e^{\frac {2 e^{2 x}-10 x}{x}} \left (8 x+e^{2 x} (-16+32 x) \log (x)+\left (-16 x^2-4 e^x x^2+e^{2 x} \left (-32 x+64 x^2+e^x (-8+16 x)\right )\right ) \log ^2(x)\right )}{4 x^2 \log ^2(x)-4 e^{\frac {2 e^{2 x}-10 x}{x}} x^2 \log ^2(x)+e^{\frac {2 \left (2 e^{2 x}-10 x\right )}{x}} x^2 \log ^2(x)} \, dx=\frac {4 \, {\left (4 \, x e^{10} \log \left (x\right ) + e^{\left (x + 10\right )} \log \left (x\right ) + 2 \, e^{10}\right )}}{2 \, e^{10} \log \left (x\right ) - e^{\left (\frac {2 \, e^{\left (2 \, x\right )}}{x}\right )} \log \left (x\right )} \]

input
integrate((((((16*x-8)*exp(x)+64*x^2-32*x)*exp(2*x)-4*exp(x)*x^2-16*x^2)*l 
og(x)^2+(32*x-16)*exp(2*x)*log(x)+8*x)*exp((2*exp(2*x)-10*x)/x)+(8*exp(x)* 
x^2+32*x^2)*log(x)^2-16*x)/(x^2*log(x)^2*exp((2*exp(2*x)-10*x)/x)^2-4*x^2* 
log(x)^2*exp((2*exp(2*x)-10*x)/x)+4*x^2*log(x)^2),x, algorithm=\
 
output
4*(4*x*e^10*log(x) + e^(x + 10)*log(x) + 2*e^10)/(2*e^10*log(x) - e^(2*e^( 
2*x)/x)*log(x))
 
3.6.53.8 Giac [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 8877 vs. \(2 (30) = 60\).

Time = 0.34 (sec) , antiderivative size = 8877, normalized size of antiderivative = 246.58 \[ \int \frac {-16 x+\left (32 x^2+8 e^x x^2\right ) \log ^2(x)+e^{\frac {2 e^{2 x}-10 x}{x}} \left (8 x+e^{2 x} (-16+32 x) \log (x)+\left (-16 x^2-4 e^x x^2+e^{2 x} \left (-32 x+64 x^2+e^x (-8+16 x)\right )\right ) \log ^2(x)\right )}{4 x^2 \log ^2(x)-4 e^{\frac {2 e^{2 x}-10 x}{x}} x^2 \log ^2(x)+e^{\frac {2 \left (2 e^{2 x}-10 x\right )}{x}} x^2 \log ^2(x)} \, dx=\text {Too large to display} \]

input
integrate((((((16*x-8)*exp(x)+64*x^2-32*x)*exp(2*x)-4*exp(x)*x^2-16*x^2)*l 
og(x)^2+(32*x-16)*exp(2*x)*log(x)+8*x)*exp((2*exp(2*x)-10*x)/x)+(8*exp(x)* 
x^2+32*x^2)*log(x)^2-16*x)/(x^2*log(x)^2*exp((2*exp(2*x)-10*x)/x)^2-4*x^2* 
log(x)^2*exp((2*exp(2*x)-10*x)/x)+4*x^2*log(x)^2),x, algorithm=\
 
output
2*(64*x^2*e^(8*x - 2*(5*x - e^(2*x))/x + 2*e^(2*x)/x + 30)*log(x)^2 - 128* 
x^2*e^(8*x - 2*(5*x - e^(2*x))/x + 40)*log(x)^2 - 128*x^2*e^(8*x + 2*e^(2* 
x)/x + 30)*log(x)^2 + 256*x^2*e^(8*x + 40)*log(x)^2 - 32*x^2*e^(7*x + (x^2 
 + 2*e^(2*x))/x - 2*(5*x - e^(2*x))/x + 2*e^(2*x)/x + 20)*log(x)^2 + 64*x^ 
2*e^(7*x + (x^2 + 2*e^(2*x))/x - 2*(5*x - e^(2*x))/x + 30)*log(x)^2 + 64*x 
^2*e^(7*x + (x^2 + 2*e^(2*x))/x + 2*e^(2*x)/x + 20)*log(x)^2 - 128*x^2*e^( 
7*x + (x^2 + 2*e^(2*x))/x + 30)*log(x)^2 - 4*x^2*e^(7*x - 2*(5*x - e^(2*x) 
)/x + 2*e^(2*x)/x + 30)*log(x)^2 + 8*x^2*e^(7*x - 2*(5*x - e^(2*x))/x + 40 
)*log(x)^2 + 4*x^2*e^(6*x + (x^2 + 2*e^(2*x))/x + 2*e^(2*x)/x + 20)*log(x) 
^2 - 8*x^2*e^(6*x + (x^2 + 2*e^(2*x))/x + 30)*log(x)^2 + 32*x^2*e^(6*x - 2 
*(5*x - e^(2*x))/x + 40)*log(x)^2 - 32*x^2*e^(6*x + 2*e^(2*x)/x + 30)*log( 
x)^2 - 32*x^2*e^(5*x + (3*x^2 + 2*e^(2*x))/x - 2*(5*x - e^(2*x))/x + 2*e^( 
2*x)/x + 20)*log(x)^2 + 64*x^2*e^(5*x + (3*x^2 + 2*e^(2*x))/x - 2*(5*x - e 
^(2*x))/x + 30)*log(x)^2 + 64*x^2*e^(5*x + (3*x^2 + 2*e^(2*x))/x + 2*e^(2* 
x)/x + 20)*log(x)^2 - 128*x^2*e^(5*x + (3*x^2 + 2*e^(2*x))/x + 30)*log(x)^ 
2 - 16*x^2*e^(5*x + (x^2 + 2*e^(2*x))/x - 2*(5*x - e^(2*x))/x + 30)*log(x) 
^2 + 16*x^2*e^(5*x + (x^2 + 2*e^(2*x))/x + 2*e^(2*x)/x + 20)*log(x)^2 + 2* 
x^2*e^(5*x + 2*(x^2 + e^(2*x))/x - 2*(5*x - e^(2*x))/x + 2*e^(2*x)/x + 20) 
*log(x)^2 - 4*x^2*e^(5*x + 2*(x^2 + e^(2*x))/x - 2*(5*x - e^(2*x))/x + 30) 
*log(x)^2 + 16*x^2*e^(4*x + (3*x^2 + 2*e^(2*x))/x + (x^2 + 2*e^(2*x))/x...
 
3.6.53.9 Mupad [B] (verification not implemented)

Time = 12.30 (sec) , antiderivative size = 34, normalized size of antiderivative = 0.94 \[ \int \frac {-16 x+\left (32 x^2+8 e^x x^2\right ) \log ^2(x)+e^{\frac {2 e^{2 x}-10 x}{x}} \left (8 x+e^{2 x} (-16+32 x) \log (x)+\left (-16 x^2-4 e^x x^2+e^{2 x} \left (-32 x+64 x^2+e^x (-8+16 x)\right )\right ) \log ^2(x)\right )}{4 x^2 \log ^2(x)-4 e^{\frac {2 e^{2 x}-10 x}{x}} x^2 \log ^2(x)+e^{\frac {2 \left (2 e^{2 x}-10 x\right )}{x}} x^2 \log ^2(x)} \, dx=-\frac {4\,\left ({\mathrm {e}}^x\,\ln \left (x\right )+4\,x\,\ln \left (x\right )+2\right )}{\ln \left (x\right )\,\left ({\mathrm {e}}^{\frac {2\,{\mathrm {e}}^{2\,x}}{x}-10}-2\right )} \]

input
int((log(x)^2*(8*x^2*exp(x) + 32*x^2) - 16*x + exp(-(10*x - 2*exp(2*x))/x) 
*(8*x - log(x)^2*(4*x^2*exp(x) - exp(2*x)*(exp(x)*(16*x - 8) - 32*x + 64*x 
^2) + 16*x^2) + exp(2*x)*log(x)*(32*x - 16)))/(4*x^2*log(x)^2 - 4*x^2*exp( 
-(10*x - 2*exp(2*x))/x)*log(x)^2 + x^2*exp(-(2*(10*x - 2*exp(2*x)))/x)*log 
(x)^2),x)
 
output
-(4*(exp(x)*log(x) + 4*x*log(x) + 2))/(log(x)*(exp((2*exp(2*x))/x - 10) - 
2))