Integrand size = 275, antiderivative size = 34 \[ \int \frac {-8+\left (-8-16 x^2\right ) \log (x)+\left (x^2-8 x^3-2 x^4+e^x \left (1-x+2 x^2\right )\right ) \log ^2(x)+\left (8 x^2 \log (x)+\left (-e^x x^2+4 x^3+x^4\right ) \log ^2(x)+\left (-8 \log (x)+\left (e^x-4 x-x^2\right ) \log ^2(x)\right ) \log \left (\frac {8+\left (-e^x+4 x+x^2\right ) \log (x)}{x \log (x)}\right )\right ) \log \left (x^2-\log \left (\frac {8+\left (-e^x+4 x+x^2\right ) \log (x)}{x \log (x)}\right )\right )}{\left (8 x^2 \log (x)+\left (-e^x x^2+4 x^3+x^4\right ) \log ^2(x)+\left (-8 \log (x)+\left (e^x-4 x-x^2\right ) \log ^2(x)\right ) \log \left (\frac {8+\left (-e^x+4 x+x^2\right ) \log (x)}{x \log (x)}\right )\right ) \log ^2\left (x^2-\log \left (\frac {8+\left (-e^x+4 x+x^2\right ) \log (x)}{x \log (x)}\right )\right )} \, dx=5+\frac {x}{\log \left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right )} \]
[Out]
\[ \int \frac {-8+\left (-8-16 x^2\right ) \log (x)+\left (x^2-8 x^3-2 x^4+e^x \left (1-x+2 x^2\right )\right ) \log ^2(x)+\left (8 x^2 \log (x)+\left (-e^x x^2+4 x^3+x^4\right ) \log ^2(x)+\left (-8 \log (x)+\left (e^x-4 x-x^2\right ) \log ^2(x)\right ) \log \left (\frac {8+\left (-e^x+4 x+x^2\right ) \log (x)}{x \log (x)}\right )\right ) \log \left (x^2-\log \left (\frac {8+\left (-e^x+4 x+x^2\right ) \log (x)}{x \log (x)}\right )\right )}{\left (8 x^2 \log (x)+\left (-e^x x^2+4 x^3+x^4\right ) \log ^2(x)+\left (-8 \log (x)+\left (e^x-4 x-x^2\right ) \log ^2(x)\right ) \log \left (\frac {8+\left (-e^x+4 x+x^2\right ) \log (x)}{x \log (x)}\right )\right ) \log ^2\left (x^2-\log \left (\frac {8+\left (-e^x+4 x+x^2\right ) \log (x)}{x \log (x)}\right )\right )} \, dx=\int \frac {-8+\left (-8-16 x^2\right ) \log (x)+\left (x^2-8 x^3-2 x^4+e^x \left (1-x+2 x^2\right )\right ) \log ^2(x)+\left (8 x^2 \log (x)+\left (-e^x x^2+4 x^3+x^4\right ) \log ^2(x)+\left (-8 \log (x)+\left (e^x-4 x-x^2\right ) \log ^2(x)\right ) \log \left (\frac {8+\left (-e^x+4 x+x^2\right ) \log (x)}{x \log (x)}\right )\right ) \log \left (x^2-\log \left (\frac {8+\left (-e^x+4 x+x^2\right ) \log (x)}{x \log (x)}\right )\right )}{\left (8 x^2 \log (x)+\left (-e^x x^2+4 x^3+x^4\right ) \log ^2(x)+\left (-8 \log (x)+\left (e^x-4 x-x^2\right ) \log ^2(x)\right ) \log \left (\frac {8+\left (-e^x+4 x+x^2\right ) \log (x)}{x \log (x)}\right )\right ) \log ^2\left (x^2-\log \left (\frac {8+\left (-e^x+4 x+x^2\right ) \log (x)}{x \log (x)}\right )\right )} \, dx \]
[In]
[Out]
Rubi steps \begin{align*} \text {integral}& = \int \frac {-8-8 \left (1+2 x^2\right ) \log (x)+\left (x^2-8 x^3-2 x^4+e^x \left (1-x+2 x^2\right )\right ) \log ^2(x)+\log (x) \left (8+\left (-e^x+x (4+x)\right ) \log (x)\right ) \left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right ) \log \left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right )}{\log (x) \left (8+\left (-e^x+x (4+x)\right ) \log (x)\right ) \left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right ) \log ^2\left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right )} \, dx \\ & = \int \left (\frac {8+8 x \log (x)-4 x \log ^2(x)+2 x^2 \log ^2(x)+x^3 \log ^2(x)}{\log (x) \left (-8+e^x \log (x)-4 x \log (x)-x^2 \log (x)\right ) \left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right ) \log ^2\left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right )}+\frac {-1+x-2 x^2+x^2 \log \left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right )-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right ) \log \left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right )}{\left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right ) \log ^2\left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right )}\right ) \, dx \\ & = \int \frac {8+8 x \log (x)-4 x \log ^2(x)+2 x^2 \log ^2(x)+x^3 \log ^2(x)}{\log (x) \left (-8+e^x \log (x)-4 x \log (x)-x^2 \log (x)\right ) \left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right ) \log ^2\left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right )} \, dx+\int \frac {-1+x-2 x^2+x^2 \log \left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right )-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right ) \log \left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right )}{\left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right ) \log ^2\left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right )} \, dx \\ & = \int \left (\frac {8}{\log (x) \left (-8+e^x \log (x)-4 x \log (x)-x^2 \log (x)\right ) \left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right ) \log ^2\left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right )}-\frac {8 x}{\left (8-e^x \log (x)+4 x \log (x)+x^2 \log (x)\right ) \left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right ) \log ^2\left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right )}+\frac {4 x \log (x)}{\left (8-e^x \log (x)+4 x \log (x)+x^2 \log (x)\right ) \left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right ) \log ^2\left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right )}-\frac {2 x^2 \log (x)}{\left (8-e^x \log (x)+4 x \log (x)+x^2 \log (x)\right ) \left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right ) \log ^2\left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right )}-\frac {x^3 \log (x)}{\left (8-e^x \log (x)+4 x \log (x)+x^2 \log (x)\right ) \left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right ) \log ^2\left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right )}\right ) \, dx+\int \frac {-1+x-2 x^2+\left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right ) \log \left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right )}{\left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right ) \log ^2\left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right )} \, dx \\ & = -\left (2 \int \frac {x^2 \log (x)}{\left (8-e^x \log (x)+4 x \log (x)+x^2 \log (x)\right ) \left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right ) \log ^2\left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right )} \, dx\right )+4 \int \frac {x \log (x)}{\left (8-e^x \log (x)+4 x \log (x)+x^2 \log (x)\right ) \left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right ) \log ^2\left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right )} \, dx+8 \int \frac {1}{\log (x) \left (-8+e^x \log (x)-4 x \log (x)-x^2 \log (x)\right ) \left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right ) \log ^2\left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right )} \, dx-8 \int \frac {x}{\left (8-e^x \log (x)+4 x \log (x)+x^2 \log (x)\right ) \left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right ) \log ^2\left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right )} \, dx+\int \left (\frac {-1+x-2 x^2}{\left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right ) \log ^2\left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right )}+\frac {1}{\log \left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right )}\right ) \, dx-\int \frac {x^3 \log (x)}{\left (8-e^x \log (x)+4 x \log (x)+x^2 \log (x)\right ) \left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right ) \log ^2\left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right )} \, dx \\ & = -\left (2 \int \frac {x^2 \log (x)}{\left (8-e^x \log (x)+4 x \log (x)+x^2 \log (x)\right ) \left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right ) \log ^2\left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right )} \, dx\right )+4 \int \frac {x \log (x)}{\left (8-e^x \log (x)+4 x \log (x)+x^2 \log (x)\right ) \left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right ) \log ^2\left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right )} \, dx+8 \int \frac {1}{\log (x) \left (-8+e^x \log (x)-4 x \log (x)-x^2 \log (x)\right ) \left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right ) \log ^2\left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right )} \, dx-8 \int \frac {x}{\left (8-e^x \log (x)+4 x \log (x)+x^2 \log (x)\right ) \left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right ) \log ^2\left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right )} \, dx+\int \frac {-1+x-2 x^2}{\left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right ) \log ^2\left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right )} \, dx-\int \frac {x^3 \log (x)}{\left (8-e^x \log (x)+4 x \log (x)+x^2 \log (x)\right ) \left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right ) \log ^2\left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right )} \, dx+\int \frac {1}{\log \left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right )} \, dx \\ & = -\left (2 \int \frac {x^2 \log (x)}{\left (8-e^x \log (x)+4 x \log (x)+x^2 \log (x)\right ) \left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right ) \log ^2\left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right )} \, dx\right )+4 \int \frac {x \log (x)}{\left (8-e^x \log (x)+4 x \log (x)+x^2 \log (x)\right ) \left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right ) \log ^2\left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right )} \, dx+8 \int \frac {1}{\log (x) \left (-8+e^x \log (x)-4 x \log (x)-x^2 \log (x)\right ) \left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right ) \log ^2\left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right )} \, dx-8 \int \frac {x}{\left (8-e^x \log (x)+4 x \log (x)+x^2 \log (x)\right ) \left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right ) \log ^2\left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right )} \, dx+\int \left (-\frac {1}{\left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right ) \log ^2\left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right )}+\frac {x}{\left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right ) \log ^2\left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right )}-\frac {2 x^2}{\left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right ) \log ^2\left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right )}\right ) \, dx-\int \frac {x^3 \log (x)}{\left (8-e^x \log (x)+4 x \log (x)+x^2 \log (x)\right ) \left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right ) \log ^2\left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right )} \, dx+\int \frac {1}{\log \left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right )} \, dx \\ & = -\left (2 \int \frac {x^2}{\left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right ) \log ^2\left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right )} \, dx\right )-2 \int \frac {x^2 \log (x)}{\left (8-e^x \log (x)+4 x \log (x)+x^2 \log (x)\right ) \left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right ) \log ^2\left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right )} \, dx+4 \int \frac {x \log (x)}{\left (8-e^x \log (x)+4 x \log (x)+x^2 \log (x)\right ) \left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right ) \log ^2\left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right )} \, dx+8 \int \frac {1}{\log (x) \left (-8+e^x \log (x)-4 x \log (x)-x^2 \log (x)\right ) \left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right ) \log ^2\left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right )} \, dx-8 \int \frac {x}{\left (8-e^x \log (x)+4 x \log (x)+x^2 \log (x)\right ) \left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right ) \log ^2\left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right )} \, dx-\int \frac {1}{\left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right ) \log ^2\left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right )} \, dx+\int \frac {x}{\left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right ) \log ^2\left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right )} \, dx-\int \frac {x^3 \log (x)}{\left (8-e^x \log (x)+4 x \log (x)+x^2 \log (x)\right ) \left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right ) \log ^2\left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right )} \, dx+\int \frac {1}{\log \left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right )} \, dx \\ \end{align*}
Time = 0.29 (sec) , antiderivative size = 32, normalized size of antiderivative = 0.94 \[ \int \frac {-8+\left (-8-16 x^2\right ) \log (x)+\left (x^2-8 x^3-2 x^4+e^x \left (1-x+2 x^2\right )\right ) \log ^2(x)+\left (8 x^2 \log (x)+\left (-e^x x^2+4 x^3+x^4\right ) \log ^2(x)+\left (-8 \log (x)+\left (e^x-4 x-x^2\right ) \log ^2(x)\right ) \log \left (\frac {8+\left (-e^x+4 x+x^2\right ) \log (x)}{x \log (x)}\right )\right ) \log \left (x^2-\log \left (\frac {8+\left (-e^x+4 x+x^2\right ) \log (x)}{x \log (x)}\right )\right )}{\left (8 x^2 \log (x)+\left (-e^x x^2+4 x^3+x^4\right ) \log ^2(x)+\left (-8 \log (x)+\left (e^x-4 x-x^2\right ) \log ^2(x)\right ) \log \left (\frac {8+\left (-e^x+4 x+x^2\right ) \log (x)}{x \log (x)}\right )\right ) \log ^2\left (x^2-\log \left (\frac {8+\left (-e^x+4 x+x^2\right ) \log (x)}{x \log (x)}\right )\right )} \, dx=\frac {x}{\log \left (x^2-\log \left (4-\frac {e^x}{x}+x+\frac {8}{x \log (x)}\right )\right )} \]
[In]
[Out]
Result contains higher order function than in optimal. Order 9 vs. order 3.
Time = 0.35 (sec) , antiderivative size = 289, normalized size of antiderivative = 8.50
\[\frac {x}{\ln \left (\ln \left (x \right )+\ln \left (\ln \left (x \right )\right )-\ln \left (x^{2} \ln \left (x \right )-{\mathrm e}^{x} \ln \left (x \right )+4 x \ln \left (x \right )+8\right )-\frac {i \pi \,\operatorname {csgn}\left (\frac {i \left (-x^{2} \ln \left (x \right )+{\mathrm e}^{x} \ln \left (x \right )-4 x \ln \left (x \right )-8\right )}{\ln \left (x \right )}\right ) \left (\operatorname {csgn}\left (\frac {i \left (-x^{2} \ln \left (x \right )+{\mathrm e}^{x} \ln \left (x \right )-4 x \ln \left (x \right )-8\right )}{\ln \left (x \right )}\right )+\operatorname {csgn}\left (\frac {i}{\ln \left (x \right )}\right )\right ) \left (\operatorname {csgn}\left (\frac {i \left (-x^{2} \ln \left (x \right )+{\mathrm e}^{x} \ln \left (x \right )-4 x \ln \left (x \right )-8\right )}{\ln \left (x \right )}\right )-\operatorname {csgn}\left (i \left (-x^{2} \ln \left (x \right )+{\mathrm e}^{x} \ln \left (x \right )-4 x \ln \left (x \right )-8\right )\right )\right )}{2}-\frac {i \pi \,\operatorname {csgn}\left (\frac {i \left (-x^{2} \ln \left (x \right )+{\mathrm e}^{x} \ln \left (x \right )-4 x \ln \left (x \right )-8\right )}{\ln \left (x \right ) x}\right ) \left (\operatorname {csgn}\left (\frac {i \left (-x^{2} \ln \left (x \right )+{\mathrm e}^{x} \ln \left (x \right )-4 x \ln \left (x \right )-8\right )}{\ln \left (x \right ) x}\right )+\operatorname {csgn}\left (\frac {i}{x}\right )\right ) \left (\operatorname {csgn}\left (\frac {i \left (-x^{2} \ln \left (x \right )+{\mathrm e}^{x} \ln \left (x \right )-4 x \ln \left (x \right )-8\right )}{\ln \left (x \right ) x}\right )-\operatorname {csgn}\left (\frac {i \left (-x^{2} \ln \left (x \right )+{\mathrm e}^{x} \ln \left (x \right )-4 x \ln \left (x \right )-8\right )}{\ln \left (x \right )}\right )\right )}{2}+x^{2}\right )}\]
[In]
[Out]
none
Time = 0.25 (sec) , antiderivative size = 36, normalized size of antiderivative = 1.06 \[ \int \frac {-8+\left (-8-16 x^2\right ) \log (x)+\left (x^2-8 x^3-2 x^4+e^x \left (1-x+2 x^2\right )\right ) \log ^2(x)+\left (8 x^2 \log (x)+\left (-e^x x^2+4 x^3+x^4\right ) \log ^2(x)+\left (-8 \log (x)+\left (e^x-4 x-x^2\right ) \log ^2(x)\right ) \log \left (\frac {8+\left (-e^x+4 x+x^2\right ) \log (x)}{x \log (x)}\right )\right ) \log \left (x^2-\log \left (\frac {8+\left (-e^x+4 x+x^2\right ) \log (x)}{x \log (x)}\right )\right )}{\left (8 x^2 \log (x)+\left (-e^x x^2+4 x^3+x^4\right ) \log ^2(x)+\left (-8 \log (x)+\left (e^x-4 x-x^2\right ) \log ^2(x)\right ) \log \left (\frac {8+\left (-e^x+4 x+x^2\right ) \log (x)}{x \log (x)}\right )\right ) \log ^2\left (x^2-\log \left (\frac {8+\left (-e^x+4 x+x^2\right ) \log (x)}{x \log (x)}\right )\right )} \, dx=\frac {x}{\log \left (x^{2} - \log \left (\frac {{\left (x^{2} + 4 \, x - e^{x}\right )} \log \left (x\right ) + 8}{x \log \left (x\right )}\right )\right )} \]
[In]
[Out]
Timed out. \[ \int \frac {-8+\left (-8-16 x^2\right ) \log (x)+\left (x^2-8 x^3-2 x^4+e^x \left (1-x+2 x^2\right )\right ) \log ^2(x)+\left (8 x^2 \log (x)+\left (-e^x x^2+4 x^3+x^4\right ) \log ^2(x)+\left (-8 \log (x)+\left (e^x-4 x-x^2\right ) \log ^2(x)\right ) \log \left (\frac {8+\left (-e^x+4 x+x^2\right ) \log (x)}{x \log (x)}\right )\right ) \log \left (x^2-\log \left (\frac {8+\left (-e^x+4 x+x^2\right ) \log (x)}{x \log (x)}\right )\right )}{\left (8 x^2 \log (x)+\left (-e^x x^2+4 x^3+x^4\right ) \log ^2(x)+\left (-8 \log (x)+\left (e^x-4 x-x^2\right ) \log ^2(x)\right ) \log \left (\frac {8+\left (-e^x+4 x+x^2\right ) \log (x)}{x \log (x)}\right )\right ) \log ^2\left (x^2-\log \left (\frac {8+\left (-e^x+4 x+x^2\right ) \log (x)}{x \log (x)}\right )\right )} \, dx=\text {Timed out} \]
[In]
[Out]
none
Time = 0.37 (sec) , antiderivative size = 33, normalized size of antiderivative = 0.97 \[ \int \frac {-8+\left (-8-16 x^2\right ) \log (x)+\left (x^2-8 x^3-2 x^4+e^x \left (1-x+2 x^2\right )\right ) \log ^2(x)+\left (8 x^2 \log (x)+\left (-e^x x^2+4 x^3+x^4\right ) \log ^2(x)+\left (-8 \log (x)+\left (e^x-4 x-x^2\right ) \log ^2(x)\right ) \log \left (\frac {8+\left (-e^x+4 x+x^2\right ) \log (x)}{x \log (x)}\right )\right ) \log \left (x^2-\log \left (\frac {8+\left (-e^x+4 x+x^2\right ) \log (x)}{x \log (x)}\right )\right )}{\left (8 x^2 \log (x)+\left (-e^x x^2+4 x^3+x^4\right ) \log ^2(x)+\left (-8 \log (x)+\left (e^x-4 x-x^2\right ) \log ^2(x)\right ) \log \left (\frac {8+\left (-e^x+4 x+x^2\right ) \log (x)}{x \log (x)}\right )\right ) \log ^2\left (x^2-\log \left (\frac {8+\left (-e^x+4 x+x^2\right ) \log (x)}{x \log (x)}\right )\right )} \, dx=\frac {x}{\log \left (x^{2} - \log \left ({\left (x^{2} + 4 \, x - e^{x}\right )} \log \left (x\right ) + 8\right ) + \log \left (x\right ) + \log \left (\log \left (x\right )\right )\right )} \]
[In]
[Out]
none
Time = 1.30 (sec) , antiderivative size = 36, normalized size of antiderivative = 1.06 \[ \int \frac {-8+\left (-8-16 x^2\right ) \log (x)+\left (x^2-8 x^3-2 x^4+e^x \left (1-x+2 x^2\right )\right ) \log ^2(x)+\left (8 x^2 \log (x)+\left (-e^x x^2+4 x^3+x^4\right ) \log ^2(x)+\left (-8 \log (x)+\left (e^x-4 x-x^2\right ) \log ^2(x)\right ) \log \left (\frac {8+\left (-e^x+4 x+x^2\right ) \log (x)}{x \log (x)}\right )\right ) \log \left (x^2-\log \left (\frac {8+\left (-e^x+4 x+x^2\right ) \log (x)}{x \log (x)}\right )\right )}{\left (8 x^2 \log (x)+\left (-e^x x^2+4 x^3+x^4\right ) \log ^2(x)+\left (-8 \log (x)+\left (e^x-4 x-x^2\right ) \log ^2(x)\right ) \log \left (\frac {8+\left (-e^x+4 x+x^2\right ) \log (x)}{x \log (x)}\right )\right ) \log ^2\left (x^2-\log \left (\frac {8+\left (-e^x+4 x+x^2\right ) \log (x)}{x \log (x)}\right )\right )} \, dx=\frac {x}{\log \left (x^{2} - \log \left (x^{2} \log \left (x\right ) + 4 \, x \log \left (x\right ) - e^{x} \log \left (x\right ) + 8\right ) + \log \left (x\right ) + \log \left (\log \left (x\right )\right )\right )} \]
[In]
[Out]
Timed out. \[ \int \frac {-8+\left (-8-16 x^2\right ) \log (x)+\left (x^2-8 x^3-2 x^4+e^x \left (1-x+2 x^2\right )\right ) \log ^2(x)+\left (8 x^2 \log (x)+\left (-e^x x^2+4 x^3+x^4\right ) \log ^2(x)+\left (-8 \log (x)+\left (e^x-4 x-x^2\right ) \log ^2(x)\right ) \log \left (\frac {8+\left (-e^x+4 x+x^2\right ) \log (x)}{x \log (x)}\right )\right ) \log \left (x^2-\log \left (\frac {8+\left (-e^x+4 x+x^2\right ) \log (x)}{x \log (x)}\right )\right )}{\left (8 x^2 \log (x)+\left (-e^x x^2+4 x^3+x^4\right ) \log ^2(x)+\left (-8 \log (x)+\left (e^x-4 x-x^2\right ) \log ^2(x)\right ) \log \left (\frac {8+\left (-e^x+4 x+x^2\right ) \log (x)}{x \log (x)}\right )\right ) \log ^2\left (x^2-\log \left (\frac {8+\left (-e^x+4 x+x^2\right ) \log (x)}{x \log (x)}\right )\right )} \, dx=\int \frac {\ln \left (x^2-\ln \left (\frac {\ln \left (x\right )\,\left (4\,x-{\mathrm {e}}^x+x^2\right )+8}{x\,\ln \left (x\right )}\right )\right )\,\left (8\,x^2\,\ln \left (x\right )+{\ln \left (x\right )}^2\,\left (4\,x^3-x^2\,{\mathrm {e}}^x+x^4\right )-\ln \left (\frac {\ln \left (x\right )\,\left (4\,x-{\mathrm {e}}^x+x^2\right )+8}{x\,\ln \left (x\right )}\right )\,\left (\left (4\,x-{\mathrm {e}}^x+x^2\right )\,{\ln \left (x\right )}^2+8\,\ln \left (x\right )\right )\right )-\ln \left (x\right )\,\left (16\,x^2+8\right )+{\ln \left (x\right )}^2\,\left ({\mathrm {e}}^x\,\left (2\,x^2-x+1\right )+x^2-8\,x^3-2\,x^4\right )-8}{{\ln \left (x^2-\ln \left (\frac {\ln \left (x\right )\,\left (4\,x-{\mathrm {e}}^x+x^2\right )+8}{x\,\ln \left (x\right )}\right )\right )}^2\,\left (8\,x^2\,\ln \left (x\right )+{\ln \left (x\right )}^2\,\left (4\,x^3-x^2\,{\mathrm {e}}^x+x^4\right )-\ln \left (\frac {\ln \left (x\right )\,\left (4\,x-{\mathrm {e}}^x+x^2\right )+8}{x\,\ln \left (x\right )}\right )\,\left (\left (4\,x-{\mathrm {e}}^x+x^2\right )\,{\ln \left (x\right )}^2+8\,\ln \left (x\right )\right )\right )} \,d x \]
[In]
[Out]