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)
\[ \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]
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
Result contains higher order function than in optimal. Order 9 vs. order 3.
Time = 0.19 (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:
x^(-2*x^2*ln(5)*exp(-x))*x^(-2*exp(-x)*x^3)*5^(-2*I*x^2*Pi*exp(-x))*x^(2*I *Pi*x)*ln(x)^(2*I*Pi*x)*(-2+x)^(-2*I*x*Pi)*ln(x)^(2*x*ln(x))*(-2+x)^(-2*x* ln(x))*ln(x)^(-2*x*ln(-2+x))*25^(exp(-2*x)*x^4)*ln(x)^(-2*x^2*ln(5)*exp(-x ))*(-2+x)^(2*x^2*ln(5)*exp(-x))*ln(x)^(-2*exp(-x)*x^3)*(-2+x)^(2*exp(-x)*x ^3)*x^(I*x*csgn(I/(-2+x))*Pi)*ln(x)^(I*x*csgn(I*ln(x))*Pi)*ln(x)^(I*x*csgn (I/(-2+x))*Pi)*5^(-I*x^2*csgn(I*ln(x))*Pi*exp(-x))*5^(-I*x^2*csgn(I/(-2+x) )*Pi*exp(-x))*(-2+x)^(-I*x*csgn(I*ln(x))*Pi)*(-2+x)^(-I*x*csgn(I/(-2+x))*P i)*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)/(-2+x))*Pi)*x^(-2*I*x*Pi)*ln(x)^(-2*I*x*Pi)*(-2+x)^(2 *I*Pi*x)*ln(x)^(I*x*csgn(I*ln(x)/(-2+x))*Pi)*5^(I*x^2*csgn(I/(-2+x))*csgn( I*ln(x))*csgn(I*ln(x)/(-2+x))*Pi*exp(-x))*(-2+x)^(I*x*csgn(I/(-2+x))*csgn( I*ln(x))*csgn(I*ln(x)/(-2+x))*Pi)*ln(x)^(-I*x*csgn(I/(-2+x))*csgn(I*ln(x)) *csgn(I*ln(x)/(-2+x))*Pi)*x^(I*x*csgn(I*ln(x))*Pi)*x^(I*x*csgn(I*ln(x)/(-2 +x))*Pi)*x^(-I*x*csgn(I/(-2+x))*csgn(I*ln(x))*csgn(I*ln(x)/(-2+x))*Pi)*exp (-1/4*x*(csgn(I*ln(x)/(-2+x))^6*Pi^2+4*Pi^2-4*ln(ln(x))^2-4*ln(x)^2+4*I*x^ 2*csgn(I/(-2+x))*csgn(I*ln(x)/(-2+x))^2*Pi*exp(-x)+4*I*x^2*csgn(I*ln(x))*c sgn(I*ln(x)/(-2+x))^2*Pi*exp(-x)-8*csgn(I*ln(x)/(-2+x))^2*Pi^2+4*I*x^2*csg n(I*ln(x)/(-2+x))^3*Pi*exp(-x)-8*I*x^2*csgn(I*ln(x)/(-2+x))^2*Pi*exp(-x)-4 *exp(-2*x)*x^4+2*csgn(I*ln(x))*csgn(I*ln(x)/(-2+x))^5*Pi^2-4*ln(-2+x)^2-4* csgn(I*ln(x)/(-2+x))^5*Pi^2-2*csgn(I/(-2+x))*csgn(I*ln(x))^2*csgn(I*ln(...
Leaf count of result is larger than twice the leaf count of optimal. 115 vs. \(2 (32) = 64\).
Time = 0.11 (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="fricas")
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)
Leaf count of result is larger than twice the leaf count of optimal. 119 vs. \(2 (26) = 52\).
Time = 69.79 (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))
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="maxima")
Output:
Exception raised: RuntimeError >> ECL says: THROW: The catch RAT-ERR is un defined.
\[ \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="giac")
Output:
undef
Time = 4.28 (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)))
\[ \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 {too large to display} \] Input:
int(((-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)*log(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*l og(x)+(-2*x^2*log(5)-2*x^3)*exp(x))*log(-log(x)/(-2+x))+x*exp(x)^2*log(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)
Output:
int((e**((e**(2*x)*log(( - log(x))/(x - 2))**2*x + e**(2*x)*log(x)**2*x + log(5)**2*x**3 + 2*log(5)*x**4 + x**5)/e**(2*x))*( - 1)**(2*log(x)*x)*log( x)**(2*log(x)*x)*log(( - log(x))/(x - 2))**2*x)/(e**((2*log(( - log(x))/(x - 2))*log(5)*x**2 + 2*log(( - log(x))/(x - 2))*x**3 + 2*log(x)*log(5)*x** 2 + 2*log(x)*x**3)/e**x)*(x - 2)**(2*log(x)*x)*x - 2*e**((2*log(( - log(x) )/(x - 2))*log(5)*x**2 + 2*log(( - log(x))/(x - 2))*x**3 + 2*log(x)*log(5) *x**2 + 2*log(x)*x**3)/e**x)*(x - 2)**(2*log(x)*x)),x) - 2*int((e**((e**(2 *x)*log(( - log(x))/(x - 2))**2*x + e**(2*x)*log(x)**2*x + log(5)**2*x**3 + 2*log(5)*x**4 + x**5)/e**(2*x))*( - 1)**(2*log(x)*x)*log(x)**(2*log(x)*x )*log(( - log(x))/(x - 2))**2)/(e**((2*log(( - log(x))/(x - 2))*log(5)*x** 2 + 2*log(( - log(x))/(x - 2))*x**3 + 2*log(x)*log(5)*x**2 + 2*log(x)*x**3 )/e**x)*(x - 2)**(2*log(x)*x)*x - 2*e**((2*log(( - log(x))/(x - 2))*log(5) *x**2 + 2*log(( - log(x))/(x - 2))*x**3 + 2*log(x)*log(5)*x**2 + 2*log(x)* x**3)/e**x)*(x - 2)**(2*log(x)*x)),x) + int((e**((e**(2*x)*log(( - log(x)) /(x - 2))**2*x + e**(2*x)*log(x)**2*x + log(5)**2*x**3 + 2*log(5)*x**4 + x **5)/e**(2*x))*( - 1)**(2*log(x)*x)*log(x)**(2*log(x)*x)*log(x)**2*x)/(e** ((2*log(( - log(x))/(x - 2))*log(5)*x**2 + 2*log(( - log(x))/(x - 2))*x**3 + 2*log(x)*log(5)*x**2 + 2*log(x)*x**3)/e**x)*(x - 2)**(2*log(x)*x)*x - 2 *e**((2*log(( - log(x))/(x - 2))*log(5)*x**2 + 2*log(( - log(x))/(x - 2))* x**3 + 2*log(x)*log(5)*x**2 + 2*log(x)*x**3)/e**x)*(x - 2)**(2*log(x)*x...