3.11.76 \(\int \frac {e^{-2 x+e^{-2 x} (x^5+2 x^4 \log (5)+x^3 \log ^2(5)+e^x (-2 x^3-2 x^2 \log (5)) \log (x)+e^{2 x} x \log ^2(x)+(e^x (-2 x^3-2 x^2 \log (5))+2 e^{2 x} x \log (x)) \log (-\frac {\log (x)}{-2+x})+e^{2 x} x \log ^2(-\frac {\log (x)}{-2+x}))} (e^x (4 x^2-2 x^3+(4 x-2 x^2) \log (5))+(-10 x^4+9 x^5-2 x^6+e^{2 x} (-4+2 x)+(-16 x^3+16 x^4-4 x^5) \log (5)+(-6 x^2+7 x^3-2 x^4) \log ^2(5)+e^x (4 x^2+4 x \log (5))) \log (x)+(-4 e^{2 x}+e^x (12 x^2-10 x^3+2 x^4+(8 x-8 x^2+2 x^3) \log (5))) \log ^2(x)+e^{2 x} (-2+x) \log ^3(x)+(e^{2 x} (-4+2 x)+(-4 e^{2 x}+e^x (12 x^2-10 x^3+2 x^4+(8 x-8 x^2+2 x^3) \log (5))) \log (x)+e^{2 x} (-4+2 x) \log ^2(x)) \log (-\frac {\log (x)}{-2+x})+e^{2 x} (-2+x) \log (x) \log ^2(-\frac {\log (x)}{-2+x}))}{(-2+x) \log (x)} \, dx\) [1076]

3.11.76.1 Optimal result

Integrand size = 414, antiderivative size = 32 \[ \int \frac {e^{-2 x+e^{-2 x} \left (x^5+2 x^4 \log (5)+x^3 \log ^2(5)+e^x \left (-2 x^3-2 x^2 \log (5)\right ) \log (x)+e^{2 x} x \log ^2(x)+\left (e^x \left (-2 x^3-2 x^2 \log (5)\right )+2 e^{2 x} x \log (x)\right ) \log \left (-\frac {\log (x)}{-2+x}\right )+e^{2 x} x \log ^2\left (-\frac {\log (x)}{-2+x}\right )\right )} \left (e^x \left (4 x^2-2 x^3+\left (4 x-2 x^2\right ) \log (5)\right )+\left (-10 x^4+9 x^5-2 x^6+e^{2 x} (-4+2 x)+\left (-16 x^3+16 x^4-4 x^5\right ) \log (5)+\left (-6 x^2+7 x^3-2 x^4\right ) \log ^2(5)+e^x \left (4 x^2+4 x \log (5)\right )\right ) \log (x)+\left (-4 e^{2 x}+e^x \left (12 x^2-10 x^3+2 x^4+\left (8 x-8 x^2+2 x^3\right ) \log (5)\right )\right ) \log ^2(x)+e^{2 x} (-2+x) \log ^3(x)+\left (e^{2 x} (-4+2 x)+\left (-4 e^{2 x}+e^x \left (12 x^2-10 x^3+2 x^4+\left (8 x-8 x^2+2 x^3\right ) \log (5)\right )\right ) \log (x)+e^{2 x} (-4+2 x) \log ^2(x)\right ) \log \left (-\frac {\log (x)}{-2+x}\right )+e^{2 x} (-2+x) \log (x) \log ^2\left (-\frac {\log (x)}{-2+x}\right )\right )}{(-2+x) \log (x)} \, dx=e^{x \left (-e^{-x} x (x+\log (5))+\log (x)+\log \left (\frac {\log (x)}{2-x}\right )\right )^2} \]

output

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

3.11.76.2 Mathematica [F]

\[ \int \frac {e^{-2 x+e^{-2 x} \left (x^5+2 x^4 \log (5)+x^3 \log ^2(5)+e^x \left (-2 x^3-2 x^2 \log (5)\right ) \log (x)+e^{2 x} x \log ^2(x)+\left (e^x \left (-2 x^3-2 x^2 \log (5)\right )+2 e^{2 x} x \log (x)\right ) \log \left (-\frac {\log (x)}{-2+x}\right )+e^{2 x} x \log ^2\left (-\frac {\log (x)}{-2+x}\right )\right )} \left (e^x \left (4 x^2-2 x^3+\left (4 x-2 x^2\right ) \log (5)\right )+\left (-10 x^4+9 x^5-2 x^6+e^{2 x} (-4+2 x)+\left (-16 x^3+16 x^4-4 x^5\right ) \log (5)+\left (-6 x^2+7 x^3-2 x^4\right ) \log ^2(5)+e^x \left (4 x^2+4 x \log (5)\right )\right ) \log (x)+\left (-4 e^{2 x}+e^x \left (12 x^2-10 x^3+2 x^4+\left (8 x-8 x^2+2 x^3\right ) \log (5)\right )\right ) \log ^2(x)+e^{2 x} (-2+x) \log ^3(x)+\left (e^{2 x} (-4+2 x)+\left (-4 e^{2 x}+e^x \left (12 x^2-10 x^3+2 x^4+\left (8 x-8 x^2+2 x^3\right ) \log (5)\right )\right ) \log (x)+e^{2 x} (-4+2 x) \log ^2(x)\right ) \log \left (-\frac {\log (x)}{-2+x}\right )+e^{2 x} (-2+x) \log (x) \log ^2\left (-\frac {\log (x)}{-2+x}\right )\right )}{(-2+x) \log (x)} \, dx=\int \frac {e^{-2 x+e^{-2 x} \left (x^5+2 x^4 \log (5)+x^3 \log ^2(5)+e^x \left (-2 x^3-2 x^2 \log (5)\right ) \log (x)+e^{2 x} x \log ^2(x)+\left (e^x \left (-2 x^3-2 x^2 \log (5)\right )+2 e^{2 x} x \log (x)\right ) \log \left (-\frac {\log (x)}{-2+x}\right )+e^{2 x} x \log ^2\left (-\frac {\log (x)}{-2+x}\right )\right )} \left (e^x \left (4 x^2-2 x^3+\left (4 x-2 x^2\right ) \log (5)\right )+\left (-10 x^4+9 x^5-2 x^6+e^{2 x} (-4+2 x)+\left (-16 x^3+16 x^4-4 x^5\right ) \log (5)+\left (-6 x^2+7 x^3-2 x^4\right ) \log ^2(5)+e^x \left (4 x^2+4 x \log (5)\right )\right ) \log (x)+\left (-4 e^{2 x}+e^x \left (12 x^2-10 x^3+2 x^4+\left (8 x-8 x^2+2 x^3\right ) \log (5)\right )\right ) \log ^2(x)+e^{2 x} (-2+x) \log ^3(x)+\left (e^{2 x} (-4+2 x)+\left (-4 e^{2 x}+e^x \left (12 x^2-10 x^3+2 x^4+\left (8 x-8 x^2+2 x^3\right ) \log (5)\right )\right ) \log (x)+e^{2 x} (-4+2 x) \log ^2(x)\right ) \log \left (-\frac {\log (x)}{-2+x}\right )+e^{2 x} (-2+x) \log (x) \log ^2\left (-\frac {\log (x)}{-2+x}\right )\right )}{(-2+x) \log (x)} \, dx \]

input

Integrate[(E^(-2*x + (x^5 + 2*x^4*Log[5] + x^3*Log[5]^2 + E^x*(-2*x^3 - 2* 
x^2*Log[5])*Log[x] + E^(2*x)*x*Log[x]^2 + (E^x*(-2*x^3 - 2*x^2*Log[5]) + 2 
*E^(2*x)*x*Log[x])*Log[-(Log[x]/(-2 + x))] + E^(2*x)*x*Log[-(Log[x]/(-2 + 
x))]^2)/E^(2*x))*(E^x*(4*x^2 - 2*x^3 + (4*x - 2*x^2)*Log[5]) + (-10*x^4 + 
9*x^5 - 2*x^6 + E^(2*x)*(-4 + 2*x) + (-16*x^3 + 16*x^4 - 4*x^5)*Log[5] + ( 
-6*x^2 + 7*x^3 - 2*x^4)*Log[5]^2 + E^x*(4*x^2 + 4*x*Log[5]))*Log[x] + (-4* 
E^(2*x) + E^x*(12*x^2 - 10*x^3 + 2*x^4 + (8*x - 8*x^2 + 2*x^3)*Log[5]))*Lo 
g[x]^2 + E^(2*x)*(-2 + x)*Log[x]^3 + (E^(2*x)*(-4 + 2*x) + (-4*E^(2*x) + E 
^x*(12*x^2 - 10*x^3 + 2*x^4 + (8*x - 8*x^2 + 2*x^3)*Log[5]))*Log[x] + E^(2 
*x)*(-4 + 2*x)*Log[x]^2)*Log[-(Log[x]/(-2 + x))] + E^(2*x)*(-2 + x)*Log[x] 
*Log[-(Log[x]/(-2 + x))]^2))/((-2 + x)*Log[x]),x]
 

output

Integrate[(E^(-2*x + (x^5 + 2*x^4*Log[5] + x^3*Log[5]^2 + E^x*(-2*x^3 - 2* 
x^2*Log[5])*Log[x] + E^(2*x)*x*Log[x]^2 + (E^x*(-2*x^3 - 2*x^2*Log[5]) + 2 
*E^(2*x)*x*Log[x])*Log[-(Log[x]/(-2 + x))] + E^(2*x)*x*Log[-(Log[x]/(-2 + 
x))]^2)/E^(2*x))*(E^x*(4*x^2 - 2*x^3 + (4*x - 2*x^2)*Log[5]) + (-10*x^4 + 
9*x^5 - 2*x^6 + E^(2*x)*(-4 + 2*x) + (-16*x^3 + 16*x^4 - 4*x^5)*Log[5] + ( 
-6*x^2 + 7*x^3 - 2*x^4)*Log[5]^2 + E^x*(4*x^2 + 4*x*Log[5]))*Log[x] + (-4* 
E^(2*x) + E^x*(12*x^2 - 10*x^3 + 2*x^4 + (8*x - 8*x^2 + 2*x^3)*Log[5]))*Lo 
g[x]^2 + E^(2*x)*(-2 + x)*Log[x]^3 + (E^(2*x)*(-4 + 2*x) + (-4*E^(2*x) + E 
^x*(12*x^2 - 10*x^3 + 2*x^4 + (8*x - 8*x^2 + 2*x^3)*Log[5]))*Log[x] + E^(2 
*x)*(-4 + 2*x)*Log[x]^2)*Log[-(Log[x]/(-2 + x))] + E^(2*x)*(-2 + x)*Log[x] 
*Log[-(Log[x]/(-2 + x))]^2))/((-2 + x)*Log[x]), x]
 

3.11.76.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 (e^x \left (-2 x^3+4 x^2+\left (4 x-2 x^2\right ) \log (5)\right )+\left (e^x \left (2 x^4-10 x^3+12 x^2+\left (2 x^3-8 x^2+8 x\right ) \log (5)\right )-4 e^{2 x}\right ) \log ^2(x)+\left (\left (e^x \left (2 x^4-10 x^3+12 x^2+\left (2 x^3-8 x^2+8 x\right ) \log (5)\right )-4 e^{2 x}\right ) \log (x)+e^{2 x} (2 x-4)+e^{2 x} (2 x-4) \log ^2(x)\right ) \log \left (-\frac {\log (x)}{x-2}\right )+\left (-2 x^6+9 x^5-10 x^4+e^x \left (4 x^2+4 x \log (5)\right )+\left (-4 x^5+16 x^4-16 x^3\right ) \log (5)+\left (-2 x^4+7 x^3-6 x^2\right ) \log ^2(5)+e^{2 x} (2 x-4)\right ) \log (x)+e^{2 x} (x-2) \log ^3(x)+e^{2 x} (x-2) \log ^2\left (-\frac {\log (x)}{x-2}\right ) \log (x)\right ) \exp \left (e^{-2 x} \left (x^5+2 x^4 \log (5)+x^3 \log ^2(5)+e^x \left (-2 x^3-2 x^2 \log (5)\right ) \log (x)+\left (e^x \left (-2 x^3-2 x^2 \log (5)\right )+2 e^{2 x} x \log (x)\right ) \log \left (-\frac {\log (x)}{x-2}\right )+e^{2 x} x \log ^2(x)+e^{2 x} x \log ^2\left (-\frac {\log (x)}{x-2}\right )\right )-2 x\right )}{(x-2) \log (x)} \, dx\)

\(\Big \downarrow \) 7293

\(\displaystyle \int \left (x^2 \left (-2 x^3+x^2 (5-\log (625))+2 x (4-\log (5)) \log (5)+3 \log ^2(5)\right ) \exp \left (e^{-2 x} \left (x^5+2 x^4 \log (5)+x^3 \log ^2(5)+e^x \left (-2 x^3-2 x^2 \log (5)\right ) \log (x)+\left (e^x \left (-2 x^3-2 x^2 \log (5)\right )+2 e^{2 x} x \log (x)\right ) \log \left (-\frac {\log (x)}{x-2}\right )+e^{2 x} x \log ^2(x)+e^{2 x} x \log ^2\left (-\frac {\log (x)}{x-2}\right )\right )-2 x\right )+\frac {2 x \left (x^3 \left (-\log ^2(x)\right )-x^3 \log (x) \log \left (-\frac {\log (x)}{x-2}\right )+x^2+5 x^2 \left (1-\frac {\log (5)}{5}\right ) \log ^2(x)+5 x^2 \left (1-\frac {\log (5)}{5}\right ) \log (x) \log \left (-\frac {\log (x)}{x-2}\right )-6 x \left (1-\frac {2 \log (5)}{3}\right ) \log ^2(x)-4 \log (5) \log ^2(x)-2 x \log (x)-6 x \left (1-\frac {2 \log (5)}{3}\right ) \log (x) \log \left (-\frac {\log (x)}{x-2}\right )-2 x \left (1-\frac {\log (5)}{2}\right )-\log (25) \log (x)-4 \log (5) \log (x) \log \left (-\frac {\log (x)}{x-2}\right )-\log (25)\right ) \exp \left (e^{-2 x} \left (x^5+2 x^4 \log (5)+x^3 \log ^2(5)+e^x \left (-2 x^3-2 x^2 \log (5)\right ) \log (x)+\left (e^x \left (-2 x^3-2 x^2 \log (5)\right )+2 e^{2 x} x \log (x)\right ) \log \left (-\frac {\log (x)}{x-2}\right )+e^{2 x} x \log ^2(x)+e^{2 x} x \log ^2\left (-\frac {\log (x)}{x-2}\right )\right )-x\right )}{(2-x) \log (x)}+\frac {\left (\log (x)+\log \left (-\frac {\log (x)}{x-2}\right )\right ) \left (2 x+x \log ^2(x)-2 \log ^2(x)+x \log \left (-\frac {\log (x)}{x-2}\right ) \log (x)-2 \log \left (-\frac {\log (x)}{x-2}\right ) \log (x)-4 \log (x)-4\right ) \exp \left (e^{-2 x} \left (x^5+2 x^4 \log (5)+x^3 \log ^2(5)+e^x \left (-2 x^3-2 x^2 \log (5)\right ) \log (x)+\left (e^x \left (-2 x^3-2 x^2 \log (5)\right )+2 e^{2 x} x \log (x)\right ) \log \left (-\frac {\log (x)}{x-2}\right )+e^{2 x} x \log ^2(x)+e^{2 x} x \log ^2\left (-\frac {\log (x)}{x-2}\right )\right )\right )}{(x-2) \log (x)}\right )dx\)

\(\Big \downarrow \) 7239

\(\displaystyle \int \frac {25^{e^{-2 x} x^4} x^{-2 e^{-x} x^2 (x+\log (5))} \left (-\frac {\log (x)}{x-2}\right )^{2 x \left (\log (x)-e^{-x} x (x+\log (5))\right )+1} \left (-2 e^x \left ((x-2) x \left (x^2+x (\log (5)-3)-2 \log (5)\right )-2 e^x+e^x (x-2) \log \left (-\frac {\log (x)}{x-2}\right )\right ) \log ^2(x)-2 e^x \left (x \left (-x^2-x (\log (5)-2)+\log (25)\right )+e^x (x-2) \log \left (-\frac {\log (x)}{x-2}\right )\right )-\left (-2 e^x \left (2 e^x-(x-2) x \left (x^2+x (\log (5)-3)-2 \log (5)\right )\right ) \log \left (-\frac {\log (x)}{x-2}\right )-\left ((x-2) x^2 \left (2 x^3+x^2 (\log (625)-5)+2 x (\log (5)-4) \log (5)-3 \log ^2(5)\right )\right )+2 e^{2 x} (x-2)+e^{2 x} (x-2) \log ^2\left (-\frac {\log (x)}{x-2}\right )+e^x x (4 x+\log (625))\right ) \log (x)-e^{2 x} (x-2) \log ^3(x)\right ) \exp \left (e^{-2 x} x^5+e^{-2 x} x^3 \log ^2(5)-2 x+x \log ^2(x)+x \log ^2\left (-\frac {\log (x)}{x-2}\right )\right )}{\log ^2(x)}dx\)

\(\Big \downarrow \) 7293

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

\(\Big \downarrow \) 7239

\(\displaystyle \int \frac {25^{e^{-2 x} x^4} x^{-2 e^{-x} x^2 (x+\log (5))} \left (-\frac {\log (x)}{x-2}\right )^{2 x \left (\log (x)-e^{-x} x (x+\log (5))\right )+1} \left (-2 e^x \left ((x-2) x \left (x^2+x (\log (5)-3)-2 \log (5)\right )-2 e^x+e^x (x-2) \log \left (-\frac {\log (x)}{x-2}\right )\right ) \log ^2(x)-e^x \left (x \left (-2 x^2-2 x (\log (5)-2)+\log (625)\right )+2 e^x (x-2) \log \left (-\frac {\log (x)}{x-2}\right )\right )-\left (-2 e^x \left (2 e^x-(x-2) x \left (x^2+x (\log (5)-3)-2 \log (5)\right )\right ) \log \left (-\frac {\log (x)}{x-2}\right )-\left ((x-2) x^2 \left (2 x^3+x^2 (\log (625)-5)+2 x (\log (5)-4) \log (5)-3 \log ^2(5)\right )\right )+2 e^{2 x} (x-2)+e^{2 x} (x-2) \log ^2\left (-\frac {\log (x)}{x-2}\right )+e^x x (4 x+\log (625))\right ) \log (x)-e^{2 x} (x-2) \log ^3(x)\right ) \exp \left (e^{-2 x} x^5+e^{-2 x} x^3 \log ^2(5)-2 x+x \log ^2(x)+x \log ^2\left (-\frac {\log (x)}{x-2}\right )\right )}{\log ^2(x)}dx\)

\(\Big \downarrow \) 7293

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

\(\Big \downarrow \) 7239

\(\displaystyle \int \frac {25^{e^{-2 x} x^4} x^{-2 e^{-x} x^2 (x+\log (5))} \left (-\frac {\log (x)}{x-2}\right )^{2 x \left (\log (x)-e^{-x} x (x+\log (5))\right )+1} \left (-2 e^x \left ((x-2) x \left (x^2+x (\log (5)-3)-2 \log (5)\right )-2 e^x+e^x (x-2) \log \left (-\frac {\log (x)}{x-2}\right )\right ) \log ^2(x)-e^x \left (x \left (-2 x^2-2 x (\log (5)-2)+\log (625)\right )+2 e^x (x-2) \log \left (-\frac {\log (x)}{x-2}\right )\right )-\left (-2 e^x \left (2 e^x-(x-2) x \left (x^2+x (\log (5)-3)-2 \log (5)\right )\right ) \log \left (-\frac {\log (x)}{x-2}\right )-\left ((x-2) x^2 \left (2 x^3+x^2 (\log (625)-5)+2 x (\log (5)-4) \log (5)-3 \log ^2(5)\right )\right )+2 e^{2 x} (x-2)+e^{2 x} (x-2) \log ^2\left (-\frac {\log (x)}{x-2}\right )+e^x x (4 x+\log (625))\right ) \log (x)-e^{2 x} (x-2) \log ^3(x)\right ) \exp \left (e^{-2 x} x^5+e^{-2 x} x^3 \log ^2(5)-2 x+x \log ^2(x)+x \log ^2\left (-\frac {\log (x)}{x-2}\right )\right )}{\log ^2(x)}dx\)

\(\Big \downarrow \) 7293

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

\(\Big \downarrow \) 7239

\(\displaystyle \int \frac {25^{e^{-2 x} x^4} x^{-2 e^{-x} x^2 (x+\log (5))} \left (-\frac {\log (x)}{x-2}\right )^{2 x \left (\log (x)-e^{-x} x (x+\log (5))\right )+1} \left (-2 e^x \left ((x-2) x \left (x^2+x (\log (5)-3)-2 \log (5)\right )-2 e^x+e^x (x-2) \log \left (-\frac {\log (x)}{x-2}\right )\right ) \log ^2(x)-e^x \left (x \left (-2 x^2-2 x (\log (5)-2)+\log (625)\right )+2 e^x (x-2) \log \left (-\frac {\log (x)}{x-2}\right )\right )-\left (-2 e^x \left (2 e^x-(x-2) x \left (x^2+x (\log (5)-3)-2 \log (5)\right )\right ) \log \left (-\frac {\log (x)}{x-2}\right )-\left ((x-2) x^2 \left (2 x^3+x^2 (\log (625)-5)+2 x (\log (5)-4) \log (5)-3 \log ^2(5)\right )\right )+2 e^{2 x} (x-2)+e^{2 x} (x-2) \log ^2\left (-\frac {\log (x)}{x-2}\right )+e^x x (4 x+\log (625))\right ) \log (x)-e^{2 x} (x-2) \log ^3(x)\right ) \exp \left (e^{-2 x} x^5+e^{-2 x} x^3 \log ^2(5)-2 x+x \log ^2(x)+x \log ^2\left (-\frac {\log (x)}{x-2}\right )\right )}{\log ^2(x)}dx\)

\(\Big \downarrow \) 7293

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

\(\Big \downarrow \) 7239

\(\displaystyle \int \frac {25^{e^{-2 x} x^4} x^{-2 e^{-x} x^2 (x+\log (5))} \left (-\frac {\log (x)}{x-2}\right )^{2 x \left (\log (x)-e^{-x} x (x+\log (5))\right )+1} \left (-2 e^x \left ((x-2) x \left (x^2+x (\log (5)-3)-2 \log (5)\right )-2 e^x+e^x (x-2) \log \left (-\frac {\log (x)}{x-2}\right )\right ) \log ^2(x)-e^x \left (x \left (-2 x^2-2 x (\log (5)-2)+\log (625)\right )+2 e^x (x-2) \log \left (-\frac {\log (x)}{x-2}\right )\right )-\left (-2 e^x \left (2 e^x-(x-2) x \left (x^2+x (\log (5)-3)-2 \log (5)\right )\right ) \log \left (-\frac {\log (x)}{x-2}\right )-\left ((x-2) x^2 \left (2 x^3+x^2 (\log (625)-5)+2 x (\log (5)-4) \log (5)-3 \log ^2(5)\right )\right )+2 e^{2 x} (x-2)+e^{2 x} (x-2) \log ^2\left (-\frac {\log (x)}{x-2}\right )+e^x x (4 x+\log (625))\right ) \log (x)-e^{2 x} (x-2) \log ^3(x)\right ) \exp \left (e^{-2 x} x^5+e^{-2 x} x^3 \log ^2(5)-2 x+x \log ^2(x)+x \log ^2\left (-\frac {\log (x)}{x-2}\right )\right )}{\log ^2(x)}dx\)

\(\Big \downarrow \) 7293

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

\(\Big \downarrow \) 7239

\(\displaystyle \int \frac {25^{e^{-2 x} x^4} x^{-2 e^{-x} x^2 (x+\log (5))} \left (-\frac {\log (x)}{x-2}\right )^{2 x \left (\log (x)-e^{-x} x (x+\log (5))\right )+1} \left (-2 e^x \left ((x-2) x \left (x^2+x (\log (5)-3)-2 \log (5)\right )-2 e^x+e^x (x-2) \log \left (-\frac {\log (x)}{x-2}\right )\right ) \log ^2(x)-e^x \left (x \left (-2 x^2-2 x (\log (5)-2)+\log (625)\right )+2 e^x (x-2) \log \left (-\frac {\log (x)}{x-2}\right )\right )-\left (-2 e^x \left (2 e^x-(x-2) x \left (x^2+x (\log (5)-3)-2 \log (5)\right )\right ) \log \left (-\frac {\log (x)}{x-2}\right )-\left ((x-2) x^2 \left (2 x^3+x^2 (\log (625)-5)+2 x (\log (5)-4) \log (5)-3 \log ^2(5)\right )\right )+2 e^{2 x} (x-2)+e^{2 x} (x-2) \log ^2\left (-\frac {\log (x)}{x-2}\right )+e^x x (4 x+\log (625))\right ) \log (x)-e^{2 x} (x-2) \log ^3(x)\right ) \exp \left (e^{-2 x} x^5+e^{-2 x} x^3 \log ^2(5)-2 x+x \log ^2(x)+x \log ^2\left (-\frac {\log (x)}{x-2}\right )\right )}{\log ^2(x)}dx\)

\(\Big \downarrow \) 7293

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

\(\Big \downarrow \) 7239

\(\displaystyle \int \frac {25^{e^{-2 x} x^4} x^{-2 e^{-x} x^2 (x+\log (5))} \left (-\frac {\log (x)}{x-2}\right )^{2 x \left (\log (x)-e^{-x} x (x+\log (5))\right )+1} \left (-2 e^x \left ((x-2) x \left (x^2+x (\log (5)-3)-2 \log (5)\right )-2 e^x+e^x (x-2) \log \left (-\frac {\log (x)}{x-2}\right )\right ) \log ^2(x)-e^x \left (x \left (-2 x^2-2 x (\log (5)-2)+\log (625)\right )+2 e^x (x-2) \log \left (-\frac {\log (x)}{x-2}\right )\right )-\left (-2 e^x \left (2 e^x-(x-2) x \left (x^2+x (\log (5)-3)-2 \log (5)\right )\right ) \log \left (-\frac {\log (x)}{x-2}\right )-\left ((x-2) x^2 \left (2 x^3+x^2 (\log (625)-5)+2 x (\log (5)-4) \log (5)-3 \log ^2(5)\right )\right )+2 e^{2 x} (x-2)+e^{2 x} (x-2) \log ^2\left (-\frac {\log (x)}{x-2}\right )+e^x x (4 x+\log (625))\right ) \log (x)-e^{2 x} (x-2) \log ^3(x)\right ) \exp \left (e^{-2 x} x^5+e^{-2 x} x^3 \log ^2(5)-2 x+x \log ^2(x)+x \log ^2\left (-\frac {\log (x)}{x-2}\right )\right )}{\log ^2(x)}dx\)

\(\Big \downarrow \) 7293

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

\(\Big \downarrow \) 7239

\(\displaystyle \int \frac {25^{e^{-2 x} x^4} x^{-2 e^{-x} x^2 (x+\log (5))} \left (-\frac {\log (x)}{x-2}\right )^{2 x \left (\log (x)-e^{-x} x (x+\log (5))\right )+1} \left (-2 e^x \left ((x-2) x \left (x^2+x (\log (5)-3)-2 \log (5)\right )-2 e^x+e^x (x-2) \log \left (-\frac {\log (x)}{x-2}\right )\right ) \log ^2(x)-e^x \left (x \left (-2 x^2-2 x (\log (5)-2)+\log (625)\right )+2 e^x (x-2) \log \left (-\frac {\log (x)}{x-2}\right )\right )-\left (-2 e^x \left (2 e^x-(x-2) x \left (x^2+x (\log (5)-3)-2 \log (5)\right )\right ) \log \left (-\frac {\log (x)}{x-2}\right )-\left ((x-2) x^2 \left (2 x^3+x^2 (\log (625)-5)+2 x (\log (5)-4) \log (5)-3 \log ^2(5)\right )\right )+2 e^{2 x} (x-2)+e^{2 x} (x-2) \log ^2\left (-\frac {\log (x)}{x-2}\right )+e^x x (4 x+\log (625))\right ) \log (x)-e^{2 x} (x-2) \log ^3(x)\right ) \exp \left (e^{-2 x} x^5+e^{-2 x} x^3 \log ^2(5)-2 x+x \log ^2(x)+x \log ^2\left (-\frac {\log (x)}{x-2}\right )\right )}{\log ^2(x)}dx\)

\(\Big \downarrow \) 7293

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

\(\Big \downarrow \) 7239

\(\displaystyle \int \frac {25^{e^{-2 x} x^4} x^{-2 e^{-x} x^2 (x+\log (5))} \left (-\frac {\log (x)}{x-2}\right )^{2 x \left (\log (x)-e^{-x} x (x+\log (5))\right )+1} \left (-2 e^x \left ((x-2) x \left (x^2+x (\log (5)-3)-2 \log (5)\right )-2 e^x+e^x (x-2) \log \left (-\frac {\log (x)}{x-2}\right )\right ) \log ^2(x)-e^x \left (x \left (-2 x^2-2 x (\log (5)-2)+\log (625)\right )+2 e^x (x-2) \log \left (-\frac {\log (x)}{x-2}\right )\right )-\left (-2 e^x \left (2 e^x-(x-2) x \left (x^2+x (\log (5)-3)-2 \log (5)\right )\right ) \log \left (-\frac {\log (x)}{x-2}\right )-\left ((x-2) x^2 \left (2 x^3+x^2 (\log (625)-5)+2 x (\log (5)-4) \log (5)-3 \log ^2(5)\right )\right )+2 e^{2 x} (x-2)+e^{2 x} (x-2) \log ^2\left (-\frac {\log (x)}{x-2}\right )+e^x x (4 x+\log (625))\right ) \log (x)-e^{2 x} (x-2) \log ^3(x)\right ) \exp \left (e^{-2 x} x^5+e^{-2 x} x^3 \log ^2(5)-2 x+x \log ^2(x)+x \log ^2\left (-\frac {\log (x)}{x-2}\right )\right )}{\log ^2(x)}dx\)

\(\Big \downarrow \) 7293

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

\(\Big \downarrow \) 7239

\(\displaystyle \int \frac {25^{e^{-2 x} x^4} x^{-2 e^{-x} x^2 (x+\log (5))} \left (-\frac {\log (x)}{x-2}\right )^{2 x \left (\log (x)-e^{-x} x (x+\log (5))\right )+1} \left (-2 e^x \left ((x-2) x \left (x^2+x (\log (5)-3)-2 \log (5)\right )-2 e^x+e^x (x-2) \log \left (-\frac {\log (x)}{x-2}\right )\right ) \log ^2(x)-e^x \left (x \left (-2 x^2-2 x (\log (5)-2)+\log (625)\right )+2 e^x (x-2) \log \left (-\frac {\log (x)}{x-2}\right )\right )-\left (-2 e^x \left (2 e^x-(x-2) x \left (x^2+x (\log (5)-3)-2 \log (5)\right )\right ) \log \left (-\frac {\log (x)}{x-2}\right )-\left ((x-2) x^2 \left (2 x^3+x^2 (\log (625)-5)+2 x (\log (5)-4) \log (5)-3 \log ^2(5)\right )\right )+2 e^{2 x} (x-2)+e^{2 x} (x-2) \log ^2\left (-\frac {\log (x)}{x-2}\right )+e^x x (4 x+\log (625))\right ) \log (x)-e^{2 x} (x-2) \log ^3(x)\right ) \exp \left (e^{-2 x} x^5+e^{-2 x} x^3 \log ^2(5)-2 x+x \log ^2(x)+x \log ^2\left (-\frac {\log (x)}{x-2}\right )\right )}{\log ^2(x)}dx\)

\(\Big \downarrow \) 7293

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

\(\Big \downarrow \) 7239

\(\displaystyle \int \frac {25^{e^{-2 x} x^4} x^{-2 e^{-x} x^2 (x+\log (5))} \left (-\frac {\log (x)}{x-2}\right )^{2 x \left (\log (x)-e^{-x} x (x+\log (5))\right )+1} \left (-2 e^x \left ((x-2) x \left (x^2+x (\log (5)-3)-2 \log (5)\right )-2 e^x+e^x (x-2) \log \left (-\frac {\log (x)}{x-2}\right )\right ) \log ^2(x)-e^x \left (x \left (-2 x^2-2 x (\log (5)-2)+\log (625)\right )+2 e^x (x-2) \log \left (-\frac {\log (x)}{x-2}\right )\right )-\left (-2 e^x \left (2 e^x-(x-2) x \left (x^2+x (\log (5)-3)-2 \log (5)\right )\right ) \log \left (-\frac {\log (x)}{x-2}\right )-\left ((x-2) x^2 \left (2 x^3+x^2 (\log (625)-5)+2 x (\log (5)-4) \log (5)-3 \log ^2(5)\right )\right )+2 e^{2 x} (x-2)+e^{2 x} (x-2) \log ^2\left (-\frac {\log (x)}{x-2}\right )+e^x x (4 x+\log (625))\right ) \log (x)-e^{2 x} (x-2) \log ^3(x)\right ) \exp \left (e^{-2 x} x^5+e^{-2 x} x^3 \log ^2(5)-2 x+x \log ^2(x)+x \log ^2\left (-\frac {\log (x)}{x-2}\right )\right )}{\log ^2(x)}dx\)

\(\Big \downarrow \) 7293

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

\(\Big \downarrow \) 7239

\(\displaystyle \int \frac {25^{e^{-2 x} x^4} x^{-2 e^{-x} x^2 (x+\log (5))} \left (-\frac {\log (x)}{x-2}\right )^{2 x \left (\log (x)-e^{-x} x (x+\log (5))\right )+1} \left (-2 e^x \left ((x-2) x \left (x^2+x (\log (5)-3)-2 \log (5)\right )-2 e^x+e^x (x-2) \log \left (-\frac {\log (x)}{x-2}\right )\right ) \log ^2(x)-e^x \left (x \left (-2 x^2-2 x (\log (5)-2)+\log (625)\right )+2 e^x (x-2) \log \left (-\frac {\log (x)}{x-2}\right )\right )-\left (-2 e^x \left (2 e^x-(x-2) x \left (x^2+x (\log (5)-3)-2 \log (5)\right )\right ) \log \left (-\frac {\log (x)}{x-2}\right )-\left ((x-2) x^2 \left (2 x^3+x^2 (\log (625)-5)+2 x (\log (5)-4) \log (5)-3 \log ^2(5)\right )\right )+2 e^{2 x} (x-2)+e^{2 x} (x-2) \log ^2\left (-\frac {\log (x)}{x-2}\right )+e^x x (4 x+\log (625))\right ) \log (x)-e^{2 x} (x-2) \log ^3(x)\right ) \exp \left (e^{-2 x} x^5+e^{-2 x} x^3 \log ^2(5)-2 x+x \log ^2(x)+x \log ^2\left (-\frac {\log (x)}{x-2}\right )\right )}{\log ^2(x)}dx\)

\(\Big \downarrow \) 7293

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

\(\Big \downarrow \) 7239

\(\displaystyle \int \frac {25^{e^{-2 x} x^4} x^{-2 e^{-x} x^2 (x+\log (5))} \left (-\frac {\log (x)}{x-2}\right )^{2 x \left (\log (x)-e^{-x} x (x+\log (5))\right )+1} \left (-2 e^x \left ((x-2) x \left (x^2+x (\log (5)-3)-2 \log (5)\right )-2 e^x+e^x (x-2) \log \left (-\frac {\log (x)}{x-2}\right )\right ) \log ^2(x)-e^x \left (x \left (-2 x^2-2 x (\log (5)-2)+\log (625)\right )+2 e^x (x-2) \log \left (-\frac {\log (x)}{x-2}\right )\right )-\left (-2 e^x \left (2 e^x-(x-2) x \left (x^2+x (\log (5)-3)-2 \log (5)\right )\right ) \log \left (-\frac {\log (x)}{x-2}\right )-\left ((x-2) x^2 \left (2 x^3+x^2 (\log (625)-5)+2 x (\log (5)-4) \log (5)-3 \log ^2(5)\right )\right )+2 e^{2 x} (x-2)+e^{2 x} (x-2) \log ^2\left (-\frac {\log (x)}{x-2}\right )+e^x x (4 x+\log (625))\right ) \log (x)-e^{2 x} (x-2) \log ^3(x)\right ) \exp \left (e^{-2 x} x^5+e^{-2 x} x^3 \log ^2(5)-2 x+x \log ^2(x)+x \log ^2\left (-\frac {\log (x)}{x-2}\right )\right )}{\log ^2(x)}dx\)

\(\Big \downarrow \) 7293

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

\(\Big \downarrow \) 7239

\(\displaystyle \int \frac {25^{e^{-2 x} x^4} x^{-2 e^{-x} x^2 (x+\log (5))} \left (-\frac {\log (x)}{x-2}\right )^{2 x \left (\log (x)-e^{-x} x (x+\log (5))\right )+1} \left (-2 e^x \left ((x-2) x \left (x^2+x (\log (5)-3)-2 \log (5)\right )-2 e^x+e^x (x-2) \log \left (-\frac {\log (x)}{x-2}\right )\right ) \log ^2(x)-e^x \left (x \left (-2 x^2-2 x (\log (5)-2)+\log (625)\right )+2 e^x (x-2) \log \left (-\frac {\log (x)}{x-2}\right )\right )-\left (-2 e^x \left (2 e^x-(x-2) x \left (x^2+x (\log (5)-3)-2 \log (5)\right )\right ) \log \left (-\frac {\log (x)}{x-2}\right )-\left ((x-2) x^2 \left (2 x^3+x^2 (\log (625)-5)+2 x (\log (5)-4) \log (5)-3 \log ^2(5)\right )\right )+2 e^{2 x} (x-2)+e^{2 x} (x-2) \log ^2\left (-\frac {\log (x)}{x-2}\right )+e^x x (4 x+\log (625))\right ) \log (x)-e^{2 x} (x-2) \log ^3(x)\right ) \exp \left (e^{-2 x} x^5+e^{-2 x} x^3 \log ^2(5)-2 x+x \log ^2(x)+x \log ^2\left (-\frac {\log (x)}{x-2}\right )\right )}{\log ^2(x)}dx\)

\(\Big \downarrow \) 7293

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

\(\Big \downarrow \) 7239

\(\displaystyle \int \frac {25^{e^{-2 x} x^4} x^{-2 e^{-x} x^2 (x+\log (5))} \left (-\frac {\log (x)}{x-2}\right )^{2 x \left (\log (x)-e^{-x} x (x+\log (5))\right )+1} \left (-2 e^x \left ((x-2) x \left (x^2+x (\log (5)-3)-2 \log (5)\right )-2 e^x+e^x (x-2) \log \left (-\frac {\log (x)}{x-2}\right )\right ) \log ^2(x)-e^x \left (x \left (-2 x^2-2 x (\log (5)-2)+\log (625)\right )+2 e^x (x-2) \log \left (-\frac {\log (x)}{x-2}\right )\right )-\left (-2 e^x \left (2 e^x-(x-2) x \left (x^2+x (\log (5)-3)-2 \log (5)\right )\right ) \log \left (-\frac {\log (x)}{x-2}\right )-\left ((x-2) x^2 \left (2 x^3+x^2 (\log (625)-5)+2 x (\log (5)-4) \log (5)-3 \log ^2(5)\right )\right )+2 e^{2 x} (x-2)+e^{2 x} (x-2) \log ^2\left (-\frac {\log (x)}{x-2}\right )+e^x x (4 x+\log (625))\right ) \log (x)-e^{2 x} (x-2) \log ^3(x)\right ) \exp \left (e^{-2 x} x^5+e^{-2 x} x^3 \log ^2(5)-2 x+x \log ^2(x)+x \log ^2\left (-\frac {\log (x)}{x-2}\right )\right )}{\log ^2(x)}dx\)

input

Int[(E^(-2*x + (x^5 + 2*x^4*Log[5] + x^3*Log[5]^2 + E^x*(-2*x^3 - 2*x^2*Lo 
g[5])*Log[x] + E^(2*x)*x*Log[x]^2 + (E^x*(-2*x^3 - 2*x^2*Log[5]) + 2*E^(2* 
x)*x*Log[x])*Log[-(Log[x]/(-2 + x))] + E^(2*x)*x*Log[-(Log[x]/(-2 + x))]^2 
)/E^(2*x))*(E^x*(4*x^2 - 2*x^3 + (4*x - 2*x^2)*Log[5]) + (-10*x^4 + 9*x^5 
- 2*x^6 + E^(2*x)*(-4 + 2*x) + (-16*x^3 + 16*x^4 - 4*x^5)*Log[5] + (-6*x^2 
 + 7*x^3 - 2*x^4)*Log[5]^2 + E^x*(4*x^2 + 4*x*Log[5]))*Log[x] + (-4*E^(2*x 
) + E^x*(12*x^2 - 10*x^3 + 2*x^4 + (8*x - 8*x^2 + 2*x^3)*Log[5]))*Log[x]^2 
 + E^(2*x)*(-2 + x)*Log[x]^3 + (E^(2*x)*(-4 + 2*x) + (-4*E^(2*x) + E^x*(12 
*x^2 - 10*x^3 + 2*x^4 + (8*x - 8*x^2 + 2*x^3)*Log[5]))*Log[x] + E^(2*x)*(- 
4 + 2*x)*Log[x]^2)*Log[-(Log[x]/(-2 + x))] + E^(2*x)*(-2 + x)*Log[x]*Log[- 
(Log[x]/(-2 + x))]^2))/((-2 + x)*Log[x]),x]
 

output

$Aborted
 

3.11.76.3.1 Defintions of rubi rules used

rule 7239

Int[u_, x_Symbol] :> With[{v = SimplifyIntegrand[u, x]}, Int[v, x] /; Simpl 
erIntegrandQ[v, u, x]]
 

rule 7293

Int[u_, x_Symbol] :> With[{v = ExpandIntegrand[u, x]}, Int[v, x] /; SumQ[v] 
]
 

3.11.76.4 Maple [C] (warning: unable to verify)

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

Time = 0.20 (sec) , antiderivative size = 1224, normalized size of antiderivative = 38.25

\[\text {Expression too large to display}\]

input

int(((-2+x)*exp(x)^2*ln(x)*ln(-ln(x)/(-2+x))^2+((2*x-4)*exp(x)^2*ln(x)^2+( 
-4*exp(x)^2+((2*x^3-8*x^2+8*x)*ln(5)+2*x^4-10*x^3+12*x^2)*exp(x))*ln(x)+(2 
*x-4)*exp(x)^2)*ln(-ln(x)/(-2+x))+(-2+x)*exp(x)^2*ln(x)^3+(-4*exp(x)^2+((2 
*x^3-8*x^2+8*x)*ln(5)+2*x^4-10*x^3+12*x^2)*exp(x))*ln(x)^2+((2*x-4)*exp(x) 
^2+(4*x*ln(5)+4*x^2)*exp(x)+(-2*x^4+7*x^3-6*x^2)*ln(5)^2+(-4*x^5+16*x^4-16 
*x^3)*ln(5)-2*x^6+9*x^5-10*x^4)*ln(x)+((-2*x^2+4*x)*ln(5)-2*x^3+4*x^2)*exp 
(x))*exp((x*exp(x)^2*ln(-ln(x)/(-2+x))^2+(2*x*exp(x)^2*ln(x)+(-2*x^2*ln(5) 
-2*x^3)*exp(x))*ln(-ln(x)/(-2+x))+x*exp(x)^2*ln(x)^2+(-2*x^2*ln(5)-2*x^3)* 
exp(x)*ln(x)+x^3*ln(5)^2+2*x^4*ln(5)+x^5)/exp(x)^2)/(-2+x)/exp(x)^2/ln(x), 
x)
 

output

(-2+x)^(-I*x*csgn(I/(-2+x))*Pi)*x^(-2*x^2*ln(5)*exp(-x))*ln(x)^(-2*x^2*ln( 
5)*exp(-x))*ln(x)^(I*x*csgn(I/(-2+x))*Pi)*5^(I*x^2*csgn(I/(-2+x))*csgn(I*l 
n(x))*csgn(I*ln(x)/(-2+x))*Pi*exp(-x))*x^(I*x*csgn(I*ln(x)/(-2+x))*Pi)*ln( 
x)^(-2*x^3*exp(-x))*5^(2*I*x^2*Pi*exp(-x))*(-2+x)^(-2*I*x*Pi)*5^(-I*x^2*cs 
gn(I*ln(x))*Pi*exp(-x))*ln(x)^(2*x*ln(x))*x^(I*x*csgn(I*ln(x))*Pi)*ln(x)^( 
I*x*csgn(I*ln(x))*Pi)*ln(x)^(-2*I*x*Pi)*(-2+x)^(-2*x*ln(x))*(-2+x)^(2*x^3* 
exp(-x))*(-2+x)^(2*I*x*Pi)*25^(exp(-2*x)*x^4)*ln(x)^(2*I*x*Pi)*5^(-I*x^2*c 
sgn(I/(-2+x))*Pi*exp(-x))*(-2+x)^(-I*x*csgn(I*ln(x)/(-2+x))*Pi)*ln(x)^(-2* 
x*ln(-2+x))*5^(-I*x^2*csgn(I*ln(x)/(-2+x))*Pi*exp(-x))*5^(-2*I*x^2*Pi*exp( 
-x))*(-2+x)^(-I*x*csgn(I*ln(x))*Pi)*ln(x)^(I*x*csgn(I*ln(x)/(-2+x))*Pi)*x^ 
(-2*I*x*Pi)*(-2+x)^(2*x^2*ln(5)*exp(-x))*x^(2*I*x*Pi)*ln(x)^(-I*x*csgn(I/( 
-2+x))*csgn(I*ln(x))*csgn(I*ln(x)/(-2+x))*Pi)*(-2+x)^(I*x*csgn(I/(-2+x))*c 
sgn(I*ln(x))*csgn(I*ln(x)/(-2+x))*Pi)*x^(I*x*csgn(I/(-2+x))*Pi)*x^(-2*x^3* 
exp(-x))*x^(-I*x*csgn(I/(-2+x))*csgn(I*ln(x))*csgn(I*ln(x)/(-2+x))*Pi)*exp 
(-1/4*x*(-4*exp(-2*x)*x^4+4*Pi^2-4*ln(-2+x)^2-4*ln(ln(x))^2-4*ln(x)^2-4*ln 
(5)^2*exp(-2*x)*x^2+4*csgn(I*ln(x)/(-2+x))^4*Pi^2+8*I*x^2*Pi*exp(-x)+4*csg 
n(I*ln(x))*csgn(I*ln(x)/(-2+x))^2*Pi^2+4*csgn(I/(-2+x))*csgn(I*ln(x)/(-2+x 
))^2*Pi^2-2*csgn(I/(-2+x))*csgn(I*ln(x))^2*csgn(I*ln(x)/(-2+x))^3*Pi^2-2*c 
sgn(I*ln(x))*csgn(I/(-2+x))^2*csgn(I*ln(x)/(-2+x))^3*Pi^2+csgn(I/(-2+x))^2 
*csgn(I*ln(x))^2*csgn(I*ln(x)/(-2+x))^2*Pi^2+4*csgn(I/(-2+x))*csgn(I*ln...
 

3.11.76.5 Fricas [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 115 vs. \(2 (32) = 64\).

Time = 0.27 (sec) , antiderivative size = 115, normalized size of antiderivative = 3.59 \[ \int \frac {e^{-2 x+e^{-2 x} \left (x^5+2 x^4 \log (5)+x^3 \log ^2(5)+e^x \left (-2 x^3-2 x^2 \log (5)\right ) \log (x)+e^{2 x} x \log ^2(x)+\left (e^x \left (-2 x^3-2 x^2 \log (5)\right )+2 e^{2 x} x \log (x)\right ) \log \left (-\frac {\log (x)}{-2+x}\right )+e^{2 x} x \log ^2\left (-\frac {\log (x)}{-2+x}\right )\right )} \left (e^x \left (4 x^2-2 x^3+\left (4 x-2 x^2\right ) \log (5)\right )+\left (-10 x^4+9 x^5-2 x^6+e^{2 x} (-4+2 x)+\left (-16 x^3+16 x^4-4 x^5\right ) \log (5)+\left (-6 x^2+7 x^3-2 x^4\right ) \log ^2(5)+e^x \left (4 x^2+4 x \log (5)\right )\right ) \log (x)+\left (-4 e^{2 x}+e^x \left (12 x^2-10 x^3+2 x^4+\left (8 x-8 x^2+2 x^3\right ) \log (5)\right )\right ) \log ^2(x)+e^{2 x} (-2+x) \log ^3(x)+\left (e^{2 x} (-4+2 x)+\left (-4 e^{2 x}+e^x \left (12 x^2-10 x^3+2 x^4+\left (8 x-8 x^2+2 x^3\right ) \log (5)\right )\right ) \log (x)+e^{2 x} (-4+2 x) \log ^2(x)\right ) \log \left (-\frac {\log (x)}{-2+x}\right )+e^{2 x} (-2+x) \log (x) \log ^2\left (-\frac {\log (x)}{-2+x}\right )\right )}{(-2+x) \log (x)} \, dx=e^{\left ({\left (x^{5} + 2 \, x^{4} \log \left (5\right ) + x^{3} \log \left (5\right )^{2} + x e^{\left (2 \, x\right )} \log \left (x\right )^{2} + x e^{\left (2 \, x\right )} \log \left (-\frac {\log \left (x\right )}{x - 2}\right )^{2} - 2 \, {\left (x^{3} + x^{2} \log \left (5\right )\right )} e^{x} \log \left (x\right ) - 2 \, x e^{\left (2 \, x\right )} + 2 \, {\left (x e^{\left (2 \, x\right )} \log \left (x\right ) - {\left (x^{3} + x^{2} \log \left (5\right )\right )} e^{x}\right )} \log \left (-\frac {\log \left (x\right )}{x - 2}\right )\right )} e^{\left (-2 \, x\right )} + 2 \, x\right )} \]

input

integrate(((-2+x)*exp(x)^2*log(x)*log(-log(x)/(-2+x))^2+((2*x-4)*exp(x)^2* 
log(x)^2+(-4*exp(x)^2+((2*x^3-8*x^2+8*x)*log(5)+2*x^4-10*x^3+12*x^2)*exp(x 
))*log(x)+(2*x-4)*exp(x)^2)*log(-log(x)/(-2+x))+(-2+x)*exp(x)^2*log(x)^3+( 
-4*exp(x)^2+((2*x^3-8*x^2+8*x)*log(5)+2*x^4-10*x^3+12*x^2)*exp(x))*log(x)^ 
2+((2*x-4)*exp(x)^2+(4*x*log(5)+4*x^2)*exp(x)+(-2*x^4+7*x^3-6*x^2)*log(5)^ 
2+(-4*x^5+16*x^4-16*x^3)*log(5)-2*x^6+9*x^5-10*x^4)*log(x)+((-2*x^2+4*x)*l 
og(5)-2*x^3+4*x^2)*exp(x))*exp((x*exp(x)^2*log(-log(x)/(-2+x))^2+(2*x*exp( 
x)^2*log(x)+(-2*x^2*log(5)-2*x^3)*exp(x))*log(-log(x)/(-2+x))+x*exp(x)^2*l 
og(x)^2+(-2*x^2*log(5)-2*x^3)*exp(x)*log(x)+x^3*log(5)^2+2*x^4*log(5)+x^5) 
/exp(x)^2)/(-2+x)/exp(x)^2/log(x),x, algorithm=\
 

output

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

3.11.76.6 Sympy [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 119 vs. \(2 (26) = 52\).

Time = 65.10 (sec) , antiderivative size = 119, normalized size of antiderivative = 3.72 \[ \int \frac {e^{-2 x+e^{-2 x} \left (x^5+2 x^4 \log (5)+x^3 \log ^2(5)+e^x \left (-2 x^3-2 x^2 \log (5)\right ) \log (x)+e^{2 x} x \log ^2(x)+\left (e^x \left (-2 x^3-2 x^2 \log (5)\right )+2 e^{2 x} x \log (x)\right ) \log \left (-\frac {\log (x)}{-2+x}\right )+e^{2 x} x \log ^2\left (-\frac {\log (x)}{-2+x}\right )\right )} \left (e^x \left (4 x^2-2 x^3+\left (4 x-2 x^2\right ) \log (5)\right )+\left (-10 x^4+9 x^5-2 x^6+e^{2 x} (-4+2 x)+\left (-16 x^3+16 x^4-4 x^5\right ) \log (5)+\left (-6 x^2+7 x^3-2 x^4\right ) \log ^2(5)+e^x \left (4 x^2+4 x \log (5)\right )\right ) \log (x)+\left (-4 e^{2 x}+e^x \left (12 x^2-10 x^3+2 x^4+\left (8 x-8 x^2+2 x^3\right ) \log (5)\right )\right ) \log ^2(x)+e^{2 x} (-2+x) \log ^3(x)+\left (e^{2 x} (-4+2 x)+\left (-4 e^{2 x}+e^x \left (12 x^2-10 x^3+2 x^4+\left (8 x-8 x^2+2 x^3\right ) \log (5)\right )\right ) \log (x)+e^{2 x} (-4+2 x) \log ^2(x)\right ) \log \left (-\frac {\log (x)}{-2+x}\right )+e^{2 x} (-2+x) \log (x) \log ^2\left (-\frac {\log (x)}{-2+x}\right )\right )}{(-2+x) \log (x)} \, dx=e^{\left (x^{5} + 2 x^{4} \log {\left (5 \right )} + x^{3} \log {\left (5 \right )}^{2} + x e^{2 x} \log {\left (x \right )}^{2} + x e^{2 x} \log {\left (- \frac {\log {\left (x \right )}}{x - 2} \right )}^{2} + \left (- 2 x^{3} - 2 x^{2} \log {\left (5 \right )}\right ) e^{x} \log {\left (x \right )} + \left (2 x e^{2 x} \log {\left (x \right )} + \left (- 2 x^{3} - 2 x^{2} \log {\left (5 \right )}\right ) e^{x}\right ) \log {\left (- \frac {\log {\left (x \right )}}{x - 2} \right )}\right ) e^{- 2 x}} \]

input

integrate(((-2+x)*exp(x)**2*ln(x)*ln(-ln(x)/(-2+x))**2+((2*x-4)*exp(x)**2* 
ln(x)**2+(-4*exp(x)**2+((2*x**3-8*x**2+8*x)*ln(5)+2*x**4-10*x**3+12*x**2)* 
exp(x))*ln(x)+(2*x-4)*exp(x)**2)*ln(-ln(x)/(-2+x))+(-2+x)*exp(x)**2*ln(x)* 
*3+(-4*exp(x)**2+((2*x**3-8*x**2+8*x)*ln(5)+2*x**4-10*x**3+12*x**2)*exp(x) 
)*ln(x)**2+((2*x-4)*exp(x)**2+(4*x*ln(5)+4*x**2)*exp(x)+(-2*x**4+7*x**3-6* 
x**2)*ln(5)**2+(-4*x**5+16*x**4-16*x**3)*ln(5)-2*x**6+9*x**5-10*x**4)*ln(x 
)+((-2*x**2+4*x)*ln(5)-2*x**3+4*x**2)*exp(x))*exp((x*exp(x)**2*ln(-ln(x)/( 
-2+x))**2+(2*x*exp(x)**2*ln(x)+(-2*x**2*ln(5)-2*x**3)*exp(x))*ln(-ln(x)/(- 
2+x))+x*exp(x)**2*ln(x)**2+(-2*x**2*ln(5)-2*x**3)*exp(x)*ln(x)+x**3*ln(5)* 
*2+2*x**4*ln(5)+x**5)/exp(x)**2)/(-2+x)/exp(x)**2/ln(x),x)
 

output

exp((x**5 + 2*x**4*log(5) + x**3*log(5)**2 + x*exp(2*x)*log(x)**2 + x*exp( 
2*x)*log(-log(x)/(x - 2))**2 + (-2*x**3 - 2*x**2*log(5))*exp(x)*log(x) + ( 
2*x*exp(2*x)*log(x) + (-2*x**3 - 2*x**2*log(5))*exp(x))*log(-log(x)/(x - 2 
)))*exp(-2*x))
 

3.11.76.7 Maxima [F(-2)]

Exception generated. \[ \int \frac {e^{-2 x+e^{-2 x} \left (x^5+2 x^4 \log (5)+x^3 \log ^2(5)+e^x \left (-2 x^3-2 x^2 \log (5)\right ) \log (x)+e^{2 x} x \log ^2(x)+\left (e^x \left (-2 x^3-2 x^2 \log (5)\right )+2 e^{2 x} x \log (x)\right ) \log \left (-\frac {\log (x)}{-2+x}\right )+e^{2 x} x \log ^2\left (-\frac {\log (x)}{-2+x}\right )\right )} \left (e^x \left (4 x^2-2 x^3+\left (4 x-2 x^2\right ) \log (5)\right )+\left (-10 x^4+9 x^5-2 x^6+e^{2 x} (-4+2 x)+\left (-16 x^3+16 x^4-4 x^5\right ) \log (5)+\left (-6 x^2+7 x^3-2 x^4\right ) \log ^2(5)+e^x \left (4 x^2+4 x \log (5)\right )\right ) \log (x)+\left (-4 e^{2 x}+e^x \left (12 x^2-10 x^3+2 x^4+\left (8 x-8 x^2+2 x^3\right ) \log (5)\right )\right ) \log ^2(x)+e^{2 x} (-2+x) \log ^3(x)+\left (e^{2 x} (-4+2 x)+\left (-4 e^{2 x}+e^x \left (12 x^2-10 x^3+2 x^4+\left (8 x-8 x^2+2 x^3\right ) \log (5)\right )\right ) \log (x)+e^{2 x} (-4+2 x) \log ^2(x)\right ) \log \left (-\frac {\log (x)}{-2+x}\right )+e^{2 x} (-2+x) \log (x) \log ^2\left (-\frac {\log (x)}{-2+x}\right )\right )}{(-2+x) \log (x)} \, dx=\text {Exception raised: RuntimeError} \]

input

integrate(((-2+x)*exp(x)^2*log(x)*log(-log(x)/(-2+x))^2+((2*x-4)*exp(x)^2* 
log(x)^2+(-4*exp(x)^2+((2*x^3-8*x^2+8*x)*log(5)+2*x^4-10*x^3+12*x^2)*exp(x 
))*log(x)+(2*x-4)*exp(x)^2)*log(-log(x)/(-2+x))+(-2+x)*exp(x)^2*log(x)^3+( 
-4*exp(x)^2+((2*x^3-8*x^2+8*x)*log(5)+2*x^4-10*x^3+12*x^2)*exp(x))*log(x)^ 
2+((2*x-4)*exp(x)^2+(4*x*log(5)+4*x^2)*exp(x)+(-2*x^4+7*x^3-6*x^2)*log(5)^ 
2+(-4*x^5+16*x^4-16*x^3)*log(5)-2*x^6+9*x^5-10*x^4)*log(x)+((-2*x^2+4*x)*l 
og(5)-2*x^3+4*x^2)*exp(x))*exp((x*exp(x)^2*log(-log(x)/(-2+x))^2+(2*x*exp( 
x)^2*log(x)+(-2*x^2*log(5)-2*x^3)*exp(x))*log(-log(x)/(-2+x))+x*exp(x)^2*l 
og(x)^2+(-2*x^2*log(5)-2*x^3)*exp(x)*log(x)+x^3*log(5)^2+2*x^4*log(5)+x^5) 
/exp(x)^2)/(-2+x)/exp(x)^2/log(x),x, algorithm=\
 

output

Exception raised: RuntimeError >> ECL says: THROW: The catch RAT-ERR is un 
defined.
 

3.11.76.8 Giac [F]

\[ \int \frac {e^{-2 x+e^{-2 x} \left (x^5+2 x^4 \log (5)+x^3 \log ^2(5)+e^x \left (-2 x^3-2 x^2 \log (5)\right ) \log (x)+e^{2 x} x \log ^2(x)+\left (e^x \left (-2 x^3-2 x^2 \log (5)\right )+2 e^{2 x} x \log (x)\right ) \log \left (-\frac {\log (x)}{-2+x}\right )+e^{2 x} x \log ^2\left (-\frac {\log (x)}{-2+x}\right )\right )} \left (e^x \left (4 x^2-2 x^3+\left (4 x-2 x^2\right ) \log (5)\right )+\left (-10 x^4+9 x^5-2 x^6+e^{2 x} (-4+2 x)+\left (-16 x^3+16 x^4-4 x^5\right ) \log (5)+\left (-6 x^2+7 x^3-2 x^4\right ) \log ^2(5)+e^x \left (4 x^2+4 x \log (5)\right )\right ) \log (x)+\left (-4 e^{2 x}+e^x \left (12 x^2-10 x^3+2 x^4+\left (8 x-8 x^2+2 x^3\right ) \log (5)\right )\right ) \log ^2(x)+e^{2 x} (-2+x) \log ^3(x)+\left (e^{2 x} (-4+2 x)+\left (-4 e^{2 x}+e^x \left (12 x^2-10 x^3+2 x^4+\left (8 x-8 x^2+2 x^3\right ) \log (5)\right )\right ) \log (x)+e^{2 x} (-4+2 x) \log ^2(x)\right ) \log \left (-\frac {\log (x)}{-2+x}\right )+e^{2 x} (-2+x) \log (x) \log ^2\left (-\frac {\log (x)}{-2+x}\right )\right )}{(-2+x) \log (x)} \, dx=\int { \frac {{\left ({\left (x - 2\right )} e^{\left (2 \, x\right )} \log \left (x\right )^{3} + {\left (x - 2\right )} e^{\left (2 \, x\right )} \log \left (x\right ) \log \left (-\frac {\log \left (x\right )}{x - 2}\right )^{2} + 2 \, {\left ({\left (x^{4} - 5 \, x^{3} + 6 \, x^{2} + {\left (x^{3} - 4 \, x^{2} + 4 \, x\right )} \log \left (5\right )\right )} e^{x} - 2 \, e^{\left (2 \, x\right )}\right )} \log \left (x\right )^{2} - 2 \, {\left (x^{3} - 2 \, x^{2} + {\left (x^{2} - 2 \, x\right )} \log \left (5\right )\right )} e^{x} - {\left (2 \, x^{6} - 9 \, x^{5} + 10 \, x^{4} + {\left (2 \, x^{4} - 7 \, x^{3} + 6 \, x^{2}\right )} \log \left (5\right )^{2} - 2 \, {\left (x - 2\right )} e^{\left (2 \, x\right )} - 4 \, {\left (x^{2} + x \log \left (5\right )\right )} e^{x} + 4 \, {\left (x^{5} - 4 \, x^{4} + 4 \, x^{3}\right )} \log \left (5\right )\right )} \log \left (x\right ) + 2 \, {\left ({\left (x - 2\right )} e^{\left (2 \, x\right )} \log \left (x\right )^{2} + {\left (x - 2\right )} e^{\left (2 \, x\right )} + {\left ({\left (x^{4} - 5 \, x^{3} + 6 \, x^{2} + {\left (x^{3} - 4 \, x^{2} + 4 \, x\right )} \log \left (5\right )\right )} e^{x} - 2 \, e^{\left (2 \, x\right )}\right )} \log \left (x\right )\right )} \log \left (-\frac {\log \left (x\right )}{x - 2}\right )\right )} e^{\left ({\left (x^{5} + 2 \, x^{4} \log \left (5\right ) + x^{3} \log \left (5\right )^{2} + x e^{\left (2 \, x\right )} \log \left (x\right )^{2} + x e^{\left (2 \, x\right )} \log \left (-\frac {\log \left (x\right )}{x - 2}\right )^{2} - 2 \, {\left (x^{3} + x^{2} \log \left (5\right )\right )} e^{x} \log \left (x\right ) + 2 \, {\left (x e^{\left (2 \, x\right )} \log \left (x\right ) - {\left (x^{3} + x^{2} \log \left (5\right )\right )} e^{x}\right )} \log \left (-\frac {\log \left (x\right )}{x - 2}\right )\right )} e^{\left (-2 \, x\right )} - 2 \, x\right )}}{{\left (x - 2\right )} \log \left (x\right )} \,d x } \]

input

integrate(((-2+x)*exp(x)^2*log(x)*log(-log(x)/(-2+x))^2+((2*x-4)*exp(x)^2* 
log(x)^2+(-4*exp(x)^2+((2*x^3-8*x^2+8*x)*log(5)+2*x^4-10*x^3+12*x^2)*exp(x 
))*log(x)+(2*x-4)*exp(x)^2)*log(-log(x)/(-2+x))+(-2+x)*exp(x)^2*log(x)^3+( 
-4*exp(x)^2+((2*x^3-8*x^2+8*x)*log(5)+2*x^4-10*x^3+12*x^2)*exp(x))*log(x)^ 
2+((2*x-4)*exp(x)^2+(4*x*log(5)+4*x^2)*exp(x)+(-2*x^4+7*x^3-6*x^2)*log(5)^ 
2+(-4*x^5+16*x^4-16*x^3)*log(5)-2*x^6+9*x^5-10*x^4)*log(x)+((-2*x^2+4*x)*l 
og(5)-2*x^3+4*x^2)*exp(x))*exp((x*exp(x)^2*log(-log(x)/(-2+x))^2+(2*x*exp( 
x)^2*log(x)+(-2*x^2*log(5)-2*x^3)*exp(x))*log(-log(x)/(-2+x))+x*exp(x)^2*l 
og(x)^2+(-2*x^2*log(5)-2*x^3)*exp(x)*log(x)+x^3*log(5)^2+2*x^4*log(5)+x^5) 
/exp(x)^2)/(-2+x)/exp(x)^2/log(x),x, algorithm=\
 

output

undef
 

3.11.76.9 Mupad [B] (verification not implemented)

Time = 16.03 (sec) , antiderivative size = 143, normalized size of antiderivative = 4.47 \[ \int \frac {e^{-2 x+e^{-2 x} \left (x^5+2 x^4 \log (5)+x^3 \log ^2(5)+e^x \left (-2 x^3-2 x^2 \log (5)\right ) \log (x)+e^{2 x} x \log ^2(x)+\left (e^x \left (-2 x^3-2 x^2 \log (5)\right )+2 e^{2 x} x \log (x)\right ) \log \left (-\frac {\log (x)}{-2+x}\right )+e^{2 x} x \log ^2\left (-\frac {\log (x)}{-2+x}\right )\right )} \left (e^x \left (4 x^2-2 x^3+\left (4 x-2 x^2\right ) \log (5)\right )+\left (-10 x^4+9 x^5-2 x^6+e^{2 x} (-4+2 x)+\left (-16 x^3+16 x^4-4 x^5\right ) \log (5)+\left (-6 x^2+7 x^3-2 x^4\right ) \log ^2(5)+e^x \left (4 x^2+4 x \log (5)\right )\right ) \log (x)+\left (-4 e^{2 x}+e^x \left (12 x^2-10 x^3+2 x^4+\left (8 x-8 x^2+2 x^3\right ) \log (5)\right )\right ) \log ^2(x)+e^{2 x} (-2+x) \log ^3(x)+\left (e^{2 x} (-4+2 x)+\left (-4 e^{2 x}+e^x \left (12 x^2-10 x^3+2 x^4+\left (8 x-8 x^2+2 x^3\right ) \log (5)\right )\right ) \log (x)+e^{2 x} (-4+2 x) \log ^2(x)\right ) \log \left (-\frac {\log (x)}{-2+x}\right )+e^{2 x} (-2+x) \log (x) \log ^2\left (-\frac {\log (x)}{-2+x}\right )\right )}{(-2+x) \log (x)} \, dx=\frac {5^{2\,x^4\,{\mathrm {e}}^{-2\,x}}\,x^{2\,x\,\ln \left (-\frac {\ln \left (x\right )}{x-2}\right )}\,{\mathrm {e}}^{x\,{\ln \left (x\right )}^2}\,{\mathrm {e}}^{x\,{\ln \left (-\frac {\ln \left (x\right )}{x-2}\right )}^2}\,{\mathrm {e}}^{x^3\,{\mathrm {e}}^{-2\,x}\,{\ln \left (5\right )}^2}\,{\mathrm {e}}^{x^5\,{\mathrm {e}}^{-2\,x}}}{x^{2\,x^3\,{\mathrm {e}}^{-x}}\,x^{2\,x^2\,{\mathrm {e}}^{-x}\,\ln \left (5\right )}\,{\left (-\frac {\ln \left (x\right )}{x-2}\right )}^{2\,x^3\,{\mathrm {e}}^{-x}}\,{\left (-\frac {\ln \left (x\right )}{x-2}\right )}^{2\,x^2\,{\mathrm {e}}^{-x}\,\ln \left (5\right )}} \]

input

int((exp(exp(-2*x)*(x^3*log(5)^2 - log(-log(x)/(x - 2))*(exp(x)*(2*x^2*log 
(5) + 2*x^3) - 2*x*exp(2*x)*log(x)) + 2*x^4*log(5) + x^5 + x*exp(2*x)*log( 
x)^2 + x*exp(2*x)*log(-log(x)/(x - 2))^2 - exp(x)*log(x)*(2*x^2*log(5) + 2 
*x^3)))*exp(-2*x)*(exp(x)*(log(5)*(4*x - 2*x^2) + 4*x^2 - 2*x^3) - log(x)* 
(log(5)^2*(6*x^2 - 7*x^3 + 2*x^4) - exp(x)*(4*x*log(5) + 4*x^2) + log(5)*( 
16*x^3 - 16*x^4 + 4*x^5) - exp(2*x)*(2*x - 4) + 10*x^4 - 9*x^5 + 2*x^6) - 
log(x)^2*(4*exp(2*x) - exp(x)*(log(5)*(8*x - 8*x^2 + 2*x^3) + 12*x^2 - 10* 
x^3 + 2*x^4)) + log(-log(x)/(x - 2))*(exp(2*x)*(2*x - 4) - log(x)*(4*exp(2 
*x) - exp(x)*(log(5)*(8*x - 8*x^2 + 2*x^3) + 12*x^2 - 10*x^3 + 2*x^4)) + e 
xp(2*x)*log(x)^2*(2*x - 4)) + exp(2*x)*log(x)^3*(x - 2) + exp(2*x)*log(x)* 
log(-log(x)/(x - 2))^2*(x - 2)))/(log(x)*(x - 2)),x)
 

output

(5^(2*x^4*exp(-2*x))*x^(2*x*log(-log(x)/(x - 2)))*exp(x*log(x)^2)*exp(x*lo 
g(-log(x)/(x - 2))^2)*exp(x^3*exp(-2*x)*log(5)^2)*exp(x^5*exp(-2*x)))/(x^( 
2*x^3*exp(-x))*x^(2*x^2*exp(-x)*log(5))*(-log(x)/(x - 2))^(2*x^3*exp(-x))* 
(-log(x)/(x - 2))^(2*x^2*exp(-x)*log(5)))