Integrand size = 321, antiderivative size = 33 \[ \int \frac {\left (\left (16 x+e^x \left (-4 x-4 x^2\right )\right ) \log (x)+\left (-8 x^3+2 e^x x^3+\left (16-4 e^x\right ) \log (x)+\left (-16+4 e^x\right ) \log ^2(x)\right ) \log \left (-4 x+e^x x\right )+\left (16 x^2+e^x \left (-4 x^2-4 x^3\right )+\left (16 x-4 e^x x+\left (-16 x+4 e^x x\right ) \log (x)\right ) \log \left (-4 x+e^x x\right )\right ) \log \left (\frac {1}{3} \log \left (-4 x+e^x x\right )\right )\right ) \log \left (\frac {-x^3+\log ^2(x)+2 x \log (x) \log \left (\frac {1}{3} \log \left (-4 x+e^x x\right )\right )+x^2 \log ^2\left (\frac {1}{3} \log \left (-4 x+e^x x\right )\right )}{x^2}\right )}{\left (4 x^4-e^x x^4+\left (-4 x+e^x x\right ) \log ^2(x)\right ) \log \left (-4 x+e^x x\right )+\left (-8 x^2+2 e^x x^2\right ) \log (x) \log \left (-4 x+e^x x\right ) \log \left (\frac {1}{3} \log \left (-4 x+e^x x\right )\right )+\left (-4 x^3+e^x x^3\right ) \log \left (-4 x+e^x x\right ) \log ^2\left (\frac {1}{3} \log \left (-4 x+e^x x\right )\right )} \, dx=5-\log ^2\left (-x+\left (\frac {\log (x)}{x}+\log \left (\frac {1}{3} \log \left (\left (-4+e^x\right ) x\right )\right )\right )^2\right ) \]
[Out]
\[ \int \frac {\left (\left (16 x+e^x \left (-4 x-4 x^2\right )\right ) \log (x)+\left (-8 x^3+2 e^x x^3+\left (16-4 e^x\right ) \log (x)+\left (-16+4 e^x\right ) \log ^2(x)\right ) \log \left (-4 x+e^x x\right )+\left (16 x^2+e^x \left (-4 x^2-4 x^3\right )+\left (16 x-4 e^x x+\left (-16 x+4 e^x x\right ) \log (x)\right ) \log \left (-4 x+e^x x\right )\right ) \log \left (\frac {1}{3} \log \left (-4 x+e^x x\right )\right )\right ) \log \left (\frac {-x^3+\log ^2(x)+2 x \log (x) \log \left (\frac {1}{3} \log \left (-4 x+e^x x\right )\right )+x^2 \log ^2\left (\frac {1}{3} \log \left (-4 x+e^x x\right )\right )}{x^2}\right )}{\left (4 x^4-e^x x^4+\left (-4 x+e^x x\right ) \log ^2(x)\right ) \log \left (-4 x+e^x x\right )+\left (-8 x^2+2 e^x x^2\right ) \log (x) \log \left (-4 x+e^x x\right ) \log \left (\frac {1}{3} \log \left (-4 x+e^x x\right )\right )+\left (-4 x^3+e^x x^3\right ) \log \left (-4 x+e^x x\right ) \log ^2\left (\frac {1}{3} \log \left (-4 x+e^x x\right )\right )} \, dx=\int \frac {\left (\left (16 x+e^x \left (-4 x-4 x^2\right )\right ) \log (x)+\left (-8 x^3+2 e^x x^3+\left (16-4 e^x\right ) \log (x)+\left (-16+4 e^x\right ) \log ^2(x)\right ) \log \left (-4 x+e^x x\right )+\left (16 x^2+e^x \left (-4 x^2-4 x^3\right )+\left (16 x-4 e^x x+\left (-16 x+4 e^x x\right ) \log (x)\right ) \log \left (-4 x+e^x x\right )\right ) \log \left (\frac {1}{3} \log \left (-4 x+e^x x\right )\right )\right ) \log \left (\frac {-x^3+\log ^2(x)+2 x \log (x) \log \left (\frac {1}{3} \log \left (-4 x+e^x x\right )\right )+x^2 \log ^2\left (\frac {1}{3} \log \left (-4 x+e^x x\right )\right )}{x^2}\right )}{\left (4 x^4-e^x x^4+\left (-4 x+e^x x\right ) \log ^2(x)\right ) \log \left (-4 x+e^x x\right )+\left (-8 x^2+2 e^x x^2\right ) \log (x) \log \left (-4 x+e^x x\right ) \log \left (\frac {1}{3} \log \left (-4 x+e^x x\right )\right )+\left (-4 x^3+e^x x^3\right ) \log \left (-4 x+e^x x\right ) \log ^2\left (\frac {1}{3} \log \left (-4 x+e^x x\right )\right )} \, dx \]
[In]
[Out]
Rubi steps \begin{align*} \text {integral}& = \int \frac {\left (\left (16 x+e^x \left (-4 x-4 x^2\right )\right ) \log (x)+\left (-8 x^3+2 e^x x^3+\left (16-4 e^x\right ) \log (x)+\left (-16+4 e^x\right ) \log ^2(x)\right ) \log \left (-4 x+e^x x\right )+\left (16 x^2+e^x \left (-4 x^2-4 x^3\right )+\left (16 x-4 e^x x+\left (-16 x+4 e^x x\right ) \log (x)\right ) \log \left (-4 x+e^x x\right )\right ) \log \left (\frac {1}{3} \log \left (-4 x+e^x x\right )\right )\right ) \log \left (-x+\frac {\log ^2(x)}{x^2}+\frac {2 \log (x) \log \left (\frac {1}{3} \log \left (-4 x+e^x x\right )\right )}{x}+\log ^2\left (\frac {1}{3} \log \left (-4 x+e^x x\right )\right )\right )}{\left (4-e^x\right ) x \log \left (-4 x+e^x x\right ) \left (x^3-\log ^2(x)-2 x \log (x) \log \left (\frac {1}{3} \log \left (\left (-4+e^x\right ) x\right )\right )-x^2 \log ^2\left (\frac {1}{3} \log \left (\left (-4+e^x\right ) x\right )\right )\right )} \, dx \\ & = \int \left (\frac {16 x \left (-\log (x)-x \log \left (\frac {1}{3} \log \left (\left (-4+e^x\right ) x\right )\right )\right ) \log \left (-x+\frac {\log ^2(x)}{x^2}+\frac {2 \log (x) \log \left (\frac {1}{3} \log \left (\left (-4+e^x\right ) x\right )\right )}{x}+\log ^2\left (\frac {1}{3} \log \left (\left (-4+e^x\right ) x\right )\right )\right )}{\left (4-e^x\right ) \log \left (-4 x+e^x x\right ) \left (x^3-\log ^2(x)-2 x \log (x) \log \left (\frac {1}{3} \log \left (\left (-4+e^x\right ) x\right )\right )-x^2 \log ^2\left (\frac {1}{3} \log \left (\left (-4+e^x\right ) x\right )\right )\right )}+\frac {2 \left (2 x \log (x)+2 x^2 \log (x)-x^3 \log \left (\left (-4+e^x\right ) x\right )-x \log (9) \log \left (\left (-4+e^x\right ) x\right )+2 \log (x) \log \left (\left (-4+e^x\right ) x\right )+2 x \log (3) \log (x) \log \left (\left (-4+e^x\right ) x\right )-2 \log ^2(x) \log \left (\left (-4+e^x\right ) x\right )+2 x^2 \log \left (\frac {1}{3} \log \left (\left (-4+e^x\right ) x\right )\right )+2 x^3 \log \left (\frac {1}{3} \log \left (\left (-4+e^x\right ) x\right )\right )+2 x \log \left (\left (-4+e^x\right ) x\right ) \log \left (\log \left (\left (-4+e^x\right ) x\right )\right )-2 x \log (x) \log \left (\left (-4+e^x\right ) x\right ) \log \left (\log \left (\left (-4+e^x\right ) x\right )\right )\right ) \log \left (-x+\frac {\log ^2(x)}{x^2}+\frac {2 \log (x) \log \left (\frac {1}{3} \log \left (\left (-4+e^x\right ) x\right )\right )}{x}+\log ^2\left (\frac {1}{3} \log \left (\left (-4+e^x\right ) x\right )\right )\right )}{x \log \left (-4 x+e^x x\right ) \left (x^3-\log ^2(x)-2 x \log (x) \log \left (\frac {1}{3} \log \left (\left (-4+e^x\right ) x\right )\right )-x^2 \log ^2\left (\frac {1}{3} \log \left (\left (-4+e^x\right ) x\right )\right )\right )}\right ) \, dx \\ & = 2 \int \frac {\left (2 x \log (x)+2 x^2 \log (x)-x^3 \log \left (\left (-4+e^x\right ) x\right )-x \log (9) \log \left (\left (-4+e^x\right ) x\right )+2 \log (x) \log \left (\left (-4+e^x\right ) x\right )+2 x \log (3) \log (x) \log \left (\left (-4+e^x\right ) x\right )-2 \log ^2(x) \log \left (\left (-4+e^x\right ) x\right )+2 x^2 \log \left (\frac {1}{3} \log \left (\left (-4+e^x\right ) x\right )\right )+2 x^3 \log \left (\frac {1}{3} \log \left (\left (-4+e^x\right ) x\right )\right )+2 x \log \left (\left (-4+e^x\right ) x\right ) \log \left (\log \left (\left (-4+e^x\right ) x\right )\right )-2 x \log (x) \log \left (\left (-4+e^x\right ) x\right ) \log \left (\log \left (\left (-4+e^x\right ) x\right )\right )\right ) \log \left (-x+\frac {\log ^2(x)}{x^2}+\frac {2 \log (x) \log \left (\frac {1}{3} \log \left (\left (-4+e^x\right ) x\right )\right )}{x}+\log ^2\left (\frac {1}{3} \log \left (\left (-4+e^x\right ) x\right )\right )\right )}{x \log \left (-4 x+e^x x\right ) \left (x^3-\log ^2(x)-2 x \log (x) \log \left (\frac {1}{3} \log \left (\left (-4+e^x\right ) x\right )\right )-x^2 \log ^2\left (\frac {1}{3} \log \left (\left (-4+e^x\right ) x\right )\right )\right )} \, dx+16 \int \frac {x \left (-\log (x)-x \log \left (\frac {1}{3} \log \left (\left (-4+e^x\right ) x\right )\right )\right ) \log \left (-x+\frac {\log ^2(x)}{x^2}+\frac {2 \log (x) \log \left (\frac {1}{3} \log \left (\left (-4+e^x\right ) x\right )\right )}{x}+\log ^2\left (\frac {1}{3} \log \left (\left (-4+e^x\right ) x\right )\right )\right )}{\left (4-e^x\right ) \log \left (-4 x+e^x x\right ) \left (x^3-\log ^2(x)-2 x \log (x) \log \left (\frac {1}{3} \log \left (\left (-4+e^x\right ) x\right )\right )-x^2 \log ^2\left (\frac {1}{3} \log \left (\left (-4+e^x\right ) x\right )\right )\right )} \, dx \\ & = 2 \int \frac {\left (2 \log ^2(x) \log \left (\left (-4+e^x\right ) x\right )-x \left (2 x (1+x) \log \left (\frac {1}{3} \log \left (\left (-4+e^x\right ) x\right )\right )-\log \left (\left (-4+e^x\right ) x\right ) \left (x^2+\log (9)-2 \log \left (\log \left (\left (-4+e^x\right ) x\right )\right )\right )\right )-\log (x) \left (2 x (1+x)+\log \left (\left (-4+e^x\right ) x\right ) \left (2+x \log (9)-2 x \log \left (\log \left (\left (-4+e^x\right ) x\right )\right )\right )\right )\right ) \log \left (-x+\frac {\log ^2(x)}{x^2}+\frac {2 \log (x) \log \left (\frac {1}{3} \log \left (\left (-4+e^x\right ) x\right )\right )}{x}+\log ^2\left (\frac {1}{3} \log \left (\left (-4+e^x\right ) x\right )\right )\right )}{x \log \left (-4 x+e^x x\right ) \left (\log ^2(x)+2 x \log (x) \log \left (\frac {1}{3} \log \left (\left (-4+e^x\right ) x\right )\right )+x^2 \left (-x+\log ^2\left (\frac {1}{3} \log \left (\left (-4+e^x\right ) x\right )\right )\right )\right )} \, dx+16 \int \left (\frac {x \log (x) \log \left (-x+\frac {\log ^2(x)}{x^2}+\frac {2 \log (x) \log \left (\frac {1}{3} \log \left (\left (-4+e^x\right ) x\right )\right )}{x}+\log ^2\left (\frac {1}{3} \log \left (\left (-4+e^x\right ) x\right )\right )\right )}{\left (-4+e^x\right ) \log \left (-4 x+e^x x\right ) \left (x^3-\log ^2(x)-2 x \log (x) \log \left (\frac {1}{3} \log \left (\left (-4+e^x\right ) x\right )\right )-x^2 \log ^2\left (\frac {1}{3} \log \left (\left (-4+e^x\right ) x\right )\right )\right )}+\frac {x^2 \log \left (\frac {1}{3} \log \left (-4 x+e^x x\right )\right ) \log \left (-x+\frac {\log ^2(x)}{x^2}+\frac {2 \log (x) \log \left (\frac {1}{3} \log \left (\left (-4+e^x\right ) x\right )\right )}{x}+\log ^2\left (\frac {1}{3} \log \left (\left (-4+e^x\right ) x\right )\right )\right )}{\left (-4+e^x\right ) \log \left (-4 x+e^x x\right ) \left (x^3-\log ^2(x)-2 x \log (x) \log \left (\frac {1}{3} \log \left (\left (-4+e^x\right ) x\right )\right )-x^2 \log ^2\left (\frac {1}{3} \log \left (\left (-4+e^x\right ) x\right )\right )\right )}\right ) \, dx \\ & = \text {Too large to display} \\ \end{align*}
\[ \int \frac {\left (\left (16 x+e^x \left (-4 x-4 x^2\right )\right ) \log (x)+\left (-8 x^3+2 e^x x^3+\left (16-4 e^x\right ) \log (x)+\left (-16+4 e^x\right ) \log ^2(x)\right ) \log \left (-4 x+e^x x\right )+\left (16 x^2+e^x \left (-4 x^2-4 x^3\right )+\left (16 x-4 e^x x+\left (-16 x+4 e^x x\right ) \log (x)\right ) \log \left (-4 x+e^x x\right )\right ) \log \left (\frac {1}{3} \log \left (-4 x+e^x x\right )\right )\right ) \log \left (\frac {-x^3+\log ^2(x)+2 x \log (x) \log \left (\frac {1}{3} \log \left (-4 x+e^x x\right )\right )+x^2 \log ^2\left (\frac {1}{3} \log \left (-4 x+e^x x\right )\right )}{x^2}\right )}{\left (4 x^4-e^x x^4+\left (-4 x+e^x x\right ) \log ^2(x)\right ) \log \left (-4 x+e^x x\right )+\left (-8 x^2+2 e^x x^2\right ) \log (x) \log \left (-4 x+e^x x\right ) \log \left (\frac {1}{3} \log \left (-4 x+e^x x\right )\right )+\left (-4 x^3+e^x x^3\right ) \log \left (-4 x+e^x x\right ) \log ^2\left (\frac {1}{3} \log \left (-4 x+e^x x\right )\right )} \, dx=\int \frac {\left (\left (16 x+e^x \left (-4 x-4 x^2\right )\right ) \log (x)+\left (-8 x^3+2 e^x x^3+\left (16-4 e^x\right ) \log (x)+\left (-16+4 e^x\right ) \log ^2(x)\right ) \log \left (-4 x+e^x x\right )+\left (16 x^2+e^x \left (-4 x^2-4 x^3\right )+\left (16 x-4 e^x x+\left (-16 x+4 e^x x\right ) \log (x)\right ) \log \left (-4 x+e^x x\right )\right ) \log \left (\frac {1}{3} \log \left (-4 x+e^x x\right )\right )\right ) \log \left (\frac {-x^3+\log ^2(x)+2 x \log (x) \log \left (\frac {1}{3} \log \left (-4 x+e^x x\right )\right )+x^2 \log ^2\left (\frac {1}{3} \log \left (-4 x+e^x x\right )\right )}{x^2}\right )}{\left (4 x^4-e^x x^4+\left (-4 x+e^x x\right ) \log ^2(x)\right ) \log \left (-4 x+e^x x\right )+\left (-8 x^2+2 e^x x^2\right ) \log (x) \log \left (-4 x+e^x x\right ) \log \left (\frac {1}{3} \log \left (-4 x+e^x x\right )\right )+\left (-4 x^3+e^x x^3\right ) \log \left (-4 x+e^x x\right ) \log ^2\left (\frac {1}{3} \log \left (-4 x+e^x x\right )\right )} \, dx \]
[In]
[Out]
\[\int \frac {\left (\left (\left (\left (4 \,{\mathrm e}^{x} x -16 x \right ) \ln \left (x \right )-4 \,{\mathrm e}^{x} x +16 x \right ) \ln \left ({\mathrm e}^{x} x -4 x \right )+\left (-4 x^{3}-4 x^{2}\right ) {\mathrm e}^{x}+16 x^{2}\right ) \ln \left (\frac {\ln \left ({\mathrm e}^{x} x -4 x \right )}{3}\right )+\left (\left (4 \,{\mathrm e}^{x}-16\right ) \ln \left (x \right )^{2}+\left (-4 \,{\mathrm e}^{x}+16\right ) \ln \left (x \right )+2 \,{\mathrm e}^{x} x^{3}-8 x^{3}\right ) \ln \left ({\mathrm e}^{x} x -4 x \right )+\left (\left (-4 x^{2}-4 x \right ) {\mathrm e}^{x}+16 x \right ) \ln \left (x \right )\right ) \ln \left (\frac {x^{2} {\ln \left (\frac {\ln \left ({\mathrm e}^{x} x -4 x \right )}{3}\right )}^{2}+2 x \ln \left (x \right ) \ln \left (\frac {\ln \left ({\mathrm e}^{x} x -4 x \right )}{3}\right )+\ln \left (x \right )^{2}-x^{3}}{x^{2}}\right )}{\left ({\mathrm e}^{x} x^{3}-4 x^{3}\right ) \ln \left ({\mathrm e}^{x} x -4 x \right ) {\ln \left (\frac {\ln \left ({\mathrm e}^{x} x -4 x \right )}{3}\right )}^{2}+\left (2 \,{\mathrm e}^{x} x^{2}-8 x^{2}\right ) \ln \left (x \right ) \ln \left ({\mathrm e}^{x} x -4 x \right ) \ln \left (\frac {\ln \left ({\mathrm e}^{x} x -4 x \right )}{3}\right )+\left (\left ({\mathrm e}^{x} x -4 x \right ) \ln \left (x \right )^{2}-{\mathrm e}^{x} x^{4}+4 x^{4}\right ) \ln \left ({\mathrm e}^{x} x -4 x \right )}d x\]
[In]
[Out]
none
Time = 0.27 (sec) , antiderivative size = 54, normalized size of antiderivative = 1.64 \[ \int \frac {\left (\left (16 x+e^x \left (-4 x-4 x^2\right )\right ) \log (x)+\left (-8 x^3+2 e^x x^3+\left (16-4 e^x\right ) \log (x)+\left (-16+4 e^x\right ) \log ^2(x)\right ) \log \left (-4 x+e^x x\right )+\left (16 x^2+e^x \left (-4 x^2-4 x^3\right )+\left (16 x-4 e^x x+\left (-16 x+4 e^x x\right ) \log (x)\right ) \log \left (-4 x+e^x x\right )\right ) \log \left (\frac {1}{3} \log \left (-4 x+e^x x\right )\right )\right ) \log \left (\frac {-x^3+\log ^2(x)+2 x \log (x) \log \left (\frac {1}{3} \log \left (-4 x+e^x x\right )\right )+x^2 \log ^2\left (\frac {1}{3} \log \left (-4 x+e^x x\right )\right )}{x^2}\right )}{\left (4 x^4-e^x x^4+\left (-4 x+e^x x\right ) \log ^2(x)\right ) \log \left (-4 x+e^x x\right )+\left (-8 x^2+2 e^x x^2\right ) \log (x) \log \left (-4 x+e^x x\right ) \log \left (\frac {1}{3} \log \left (-4 x+e^x x\right )\right )+\left (-4 x^3+e^x x^3\right ) \log \left (-4 x+e^x x\right ) \log ^2\left (\frac {1}{3} \log \left (-4 x+e^x x\right )\right )} \, dx=-\log \left (\frac {x^{2} \log \left (\frac {1}{3} \, \log \left (x e^{x} - 4 \, x\right )\right )^{2} - x^{3} + 2 \, x \log \left (x\right ) \log \left (\frac {1}{3} \, \log \left (x e^{x} - 4 \, x\right )\right ) + \log \left (x\right )^{2}}{x^{2}}\right )^{2} \]
[In]
[Out]
Timed out. \[ \int \frac {\left (\left (16 x+e^x \left (-4 x-4 x^2\right )\right ) \log (x)+\left (-8 x^3+2 e^x x^3+\left (16-4 e^x\right ) \log (x)+\left (-16+4 e^x\right ) \log ^2(x)\right ) \log \left (-4 x+e^x x\right )+\left (16 x^2+e^x \left (-4 x^2-4 x^3\right )+\left (16 x-4 e^x x+\left (-16 x+4 e^x x\right ) \log (x)\right ) \log \left (-4 x+e^x x\right )\right ) \log \left (\frac {1}{3} \log \left (-4 x+e^x x\right )\right )\right ) \log \left (\frac {-x^3+\log ^2(x)+2 x \log (x) \log \left (\frac {1}{3} \log \left (-4 x+e^x x\right )\right )+x^2 \log ^2\left (\frac {1}{3} \log \left (-4 x+e^x x\right )\right )}{x^2}\right )}{\left (4 x^4-e^x x^4+\left (-4 x+e^x x\right ) \log ^2(x)\right ) \log \left (-4 x+e^x x\right )+\left (-8 x^2+2 e^x x^2\right ) \log (x) \log \left (-4 x+e^x x\right ) \log \left (\frac {1}{3} \log \left (-4 x+e^x x\right )\right )+\left (-4 x^3+e^x x^3\right ) \log \left (-4 x+e^x x\right ) \log ^2\left (\frac {1}{3} \log \left (-4 x+e^x x\right )\right )} \, dx=\text {Timed out} \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 191 vs. \(2 (30) = 60\).
Time = 0.63 (sec) , antiderivative size = 191, normalized size of antiderivative = 5.79 \[ \int \frac {\left (\left (16 x+e^x \left (-4 x-4 x^2\right )\right ) \log (x)+\left (-8 x^3+2 e^x x^3+\left (16-4 e^x\right ) \log (x)+\left (-16+4 e^x\right ) \log ^2(x)\right ) \log \left (-4 x+e^x x\right )+\left (16 x^2+e^x \left (-4 x^2-4 x^3\right )+\left (16 x-4 e^x x+\left (-16 x+4 e^x x\right ) \log (x)\right ) \log \left (-4 x+e^x x\right )\right ) \log \left (\frac {1}{3} \log \left (-4 x+e^x x\right )\right )\right ) \log \left (\frac {-x^3+\log ^2(x)+2 x \log (x) \log \left (\frac {1}{3} \log \left (-4 x+e^x x\right )\right )+x^2 \log ^2\left (\frac {1}{3} \log \left (-4 x+e^x x\right )\right )}{x^2}\right )}{\left (4 x^4-e^x x^4+\left (-4 x+e^x x\right ) \log ^2(x)\right ) \log \left (-4 x+e^x x\right )+\left (-8 x^2+2 e^x x^2\right ) \log (x) \log \left (-4 x+e^x x\right ) \log \left (\frac {1}{3} \log \left (-4 x+e^x x\right )\right )+\left (-4 x^3+e^x x^3\right ) \log \left (-4 x+e^x x\right ) \log ^2\left (\frac {1}{3} \log \left (-4 x+e^x x\right )\right )} \, dx=\log \left (\frac {x^{2} \log \left (3\right )^{2} + x^{2} \log \left (\log \left (x\right ) + \log \left (e^{x} - 4\right )\right )^{2} - x^{3} - 2 \, x \log \left (3\right ) \log \left (x\right ) + \log \left (x\right )^{2} - 2 \, {\left (x^{2} \log \left (3\right ) - x \log \left (x\right )\right )} \log \left (\log \left (x\right ) + \log \left (e^{x} - 4\right )\right )}{x^{2}}\right )^{2} - 2 \, \log \left (\frac {x^{2} \log \left (3\right )^{2} + x^{2} \log \left (\log \left (x\right ) + \log \left (e^{x} - 4\right )\right )^{2} - x^{3} - 2 \, x \log \left (3\right ) \log \left (x\right ) + \log \left (x\right )^{2} - 2 \, {\left (x^{2} \log \left (3\right ) - x \log \left (x\right )\right )} \log \left (\log \left (x\right ) + \log \left (e^{x} - 4\right )\right )}{x^{2}}\right ) \log \left (\frac {x^{2} \log \left (\frac {1}{3} \, \log \left (x e^{x} - 4 \, x\right )\right )^{2} - x^{3} + 2 \, x \log \left (x\right ) \log \left (\frac {1}{3} \, \log \left (x e^{x} - 4 \, x\right )\right ) + \log \left (x\right )^{2}}{x^{2}}\right ) \]
[In]
[Out]
\[ \int \frac {\left (\left (16 x+e^x \left (-4 x-4 x^2\right )\right ) \log (x)+\left (-8 x^3+2 e^x x^3+\left (16-4 e^x\right ) \log (x)+\left (-16+4 e^x\right ) \log ^2(x)\right ) \log \left (-4 x+e^x x\right )+\left (16 x^2+e^x \left (-4 x^2-4 x^3\right )+\left (16 x-4 e^x x+\left (-16 x+4 e^x x\right ) \log (x)\right ) \log \left (-4 x+e^x x\right )\right ) \log \left (\frac {1}{3} \log \left (-4 x+e^x x\right )\right )\right ) \log \left (\frac {-x^3+\log ^2(x)+2 x \log (x) \log \left (\frac {1}{3} \log \left (-4 x+e^x x\right )\right )+x^2 \log ^2\left (\frac {1}{3} \log \left (-4 x+e^x x\right )\right )}{x^2}\right )}{\left (4 x^4-e^x x^4+\left (-4 x+e^x x\right ) \log ^2(x)\right ) \log \left (-4 x+e^x x\right )+\left (-8 x^2+2 e^x x^2\right ) \log (x) \log \left (-4 x+e^x x\right ) \log \left (\frac {1}{3} \log \left (-4 x+e^x x\right )\right )+\left (-4 x^3+e^x x^3\right ) \log \left (-4 x+e^x x\right ) \log ^2\left (\frac {1}{3} \log \left (-4 x+e^x x\right )\right )} \, dx=\int { \frac {2 \, {\left ({\left (x^{3} e^{x} - 4 \, x^{3} + 2 \, {\left (e^{x} - 4\right )} \log \left (x\right )^{2} - 2 \, {\left (e^{x} - 4\right )} \log \left (x\right )\right )} \log \left (x e^{x} - 4 \, x\right ) - 2 \, {\left ({\left (x^{2} + x\right )} e^{x} - 4 \, x\right )} \log \left (x\right ) + 2 \, {\left (4 \, x^{2} - {\left (x^{3} + x^{2}\right )} e^{x} - {\left (x e^{x} - {\left (x e^{x} - 4 \, x\right )} \log \left (x\right ) - 4 \, x\right )} \log \left (x e^{x} - 4 \, x\right )\right )} \log \left (\frac {1}{3} \, \log \left (x e^{x} - 4 \, x\right )\right )\right )} \log \left (\frac {x^{2} \log \left (\frac {1}{3} \, \log \left (x e^{x} - 4 \, x\right )\right )^{2} - x^{3} + 2 \, x \log \left (x\right ) \log \left (\frac {1}{3} \, \log \left (x e^{x} - 4 \, x\right )\right ) + \log \left (x\right )^{2}}{x^{2}}\right )}{2 \, {\left (x^{2} e^{x} - 4 \, x^{2}\right )} \log \left (x e^{x} - 4 \, x\right ) \log \left (x\right ) \log \left (\frac {1}{3} \, \log \left (x e^{x} - 4 \, x\right )\right ) + {\left (x^{3} e^{x} - 4 \, x^{3}\right )} \log \left (x e^{x} - 4 \, x\right ) \log \left (\frac {1}{3} \, \log \left (x e^{x} - 4 \, x\right )\right )^{2} - {\left (x^{4} e^{x} - 4 \, x^{4} - {\left (x e^{x} - 4 \, x\right )} \log \left (x\right )^{2}\right )} \log \left (x e^{x} - 4 \, x\right )} \,d x } \]
[In]
[Out]
Time = 9.53 (sec) , antiderivative size = 54, normalized size of antiderivative = 1.64 \[ \int \frac {\left (\left (16 x+e^x \left (-4 x-4 x^2\right )\right ) \log (x)+\left (-8 x^3+2 e^x x^3+\left (16-4 e^x\right ) \log (x)+\left (-16+4 e^x\right ) \log ^2(x)\right ) \log \left (-4 x+e^x x\right )+\left (16 x^2+e^x \left (-4 x^2-4 x^3\right )+\left (16 x-4 e^x x+\left (-16 x+4 e^x x\right ) \log (x)\right ) \log \left (-4 x+e^x x\right )\right ) \log \left (\frac {1}{3} \log \left (-4 x+e^x x\right )\right )\right ) \log \left (\frac {-x^3+\log ^2(x)+2 x \log (x) \log \left (\frac {1}{3} \log \left (-4 x+e^x x\right )\right )+x^2 \log ^2\left (\frac {1}{3} \log \left (-4 x+e^x x\right )\right )}{x^2}\right )}{\left (4 x^4-e^x x^4+\left (-4 x+e^x x\right ) \log ^2(x)\right ) \log \left (-4 x+e^x x\right )+\left (-8 x^2+2 e^x x^2\right ) \log (x) \log \left (-4 x+e^x x\right ) \log \left (\frac {1}{3} \log \left (-4 x+e^x x\right )\right )+\left (-4 x^3+e^x x^3\right ) \log \left (-4 x+e^x x\right ) \log ^2\left (\frac {1}{3} \log \left (-4 x+e^x x\right )\right )} \, dx=-{\ln \left (\frac {-x^3+x^2\,{\ln \left (\frac {\ln \left (x\,{\mathrm {e}}^x-4\,x\right )}{3}\right )}^2+2\,x\,\ln \left (\frac {\ln \left (x\,{\mathrm {e}}^x-4\,x\right )}{3}\right )\,\ln \left (x\right )+{\ln \left (x\right )}^2}{x^2}\right )}^2 \]
[In]
[Out]