Integrand size = 82, antiderivative size = 23 \[ \int \frac {16 e^{e^x}-16 e^{e^x} \log (x) \log (\log (x)) \log (\log (\log (x)))-16 e^{e^x+x} x \log (x) \log (\log (x)) \log (\log (\log (x))) \log \left (\frac {\log (\log (\log (x)))}{x}\right )}{x \log (x) \log (\log (x)) \log (\log (\log (x))) \log ^2\left (\frac {\log (\log (\log (x)))}{x}\right )} \, dx=-2-16 \left (5+\frac {e^{e^x}}{\log \left (\frac {\log (\log (\log (x)))}{x}\right )}\right ) \]
[Out]
\[ \int \frac {16 e^{e^x}-16 e^{e^x} \log (x) \log (\log (x)) \log (\log (\log (x)))-16 e^{e^x+x} x \log (x) \log (\log (x)) \log (\log (\log (x))) \log \left (\frac {\log (\log (\log (x)))}{x}\right )}{x \log (x) \log (\log (x)) \log (\log (\log (x))) \log ^2\left (\frac {\log (\log (\log (x)))}{x}\right )} \, dx=\int \frac {16 e^{e^x}-16 e^{e^x} \log (x) \log (\log (x)) \log (\log (\log (x)))-16 e^{e^x+x} x \log (x) \log (\log (x)) \log (\log (\log (x))) \log \left (\frac {\log (\log (\log (x)))}{x}\right )}{x \log (x) \log (\log (x)) \log (\log (\log (x))) \log ^2\left (\frac {\log (\log (\log (x)))}{x}\right )} \, dx \]
[In]
[Out]
Rubi steps \begin{align*} \text {integral}& = \int \frac {16 e^{e^x} \left (1-\log (x) \log (\log (x)) \log (\log (\log (x))) \left (1+e^x x \log \left (\frac {\log (\log (\log (x)))}{x}\right )\right )\right )}{x \log (x) \log (\log (x)) \log (\log (\log (x))) \log ^2\left (\frac {\log (\log (\log (x)))}{x}\right )} \, dx \\ & = 16 \int \frac {e^{e^x} \left (1-\log (x) \log (\log (x)) \log (\log (\log (x))) \left (1+e^x x \log \left (\frac {\log (\log (\log (x)))}{x}\right )\right )\right )}{x \log (x) \log (\log (x)) \log (\log (\log (x))) \log ^2\left (\frac {\log (\log (\log (x)))}{x}\right )} \, dx \\ & = 16 \int \left (\frac {e^{e^x} (1-\log (x) \log (\log (x)) \log (\log (\log (x))))}{x \log (x) \log (\log (x)) \log (\log (\log (x))) \log ^2\left (\frac {\log (\log (\log (x)))}{x}\right )}-\frac {e^{e^x+x}}{\log \left (\frac {\log (\log (\log (x)))}{x}\right )}\right ) \, dx \\ & = 16 \int \frac {e^{e^x} (1-\log (x) \log (\log (x)) \log (\log (\log (x))))}{x \log (x) \log (\log (x)) \log (\log (\log (x))) \log ^2\left (\frac {\log (\log (\log (x)))}{x}\right )} \, dx-16 \int \frac {e^{e^x+x}}{\log \left (\frac {\log (\log (\log (x)))}{x}\right )} \, dx \\ & = 16 \int \left (-\frac {e^{e^x}}{x \log ^2\left (\frac {\log (\log (\log (x)))}{x}\right )}+\frac {e^{e^x}}{x \log (x) \log (\log (x)) \log (\log (\log (x))) \log ^2\left (\frac {\log (\log (\log (x)))}{x}\right )}\right ) \, dx-16 \int \frac {e^{e^x+x}}{\log \left (\frac {\log (\log (\log (x)))}{x}\right )} \, dx \\ & = -\left (16 \int \frac {e^{e^x}}{x \log ^2\left (\frac {\log (\log (\log (x)))}{x}\right )} \, dx\right )+16 \int \frac {e^{e^x}}{x \log (x) \log (\log (x)) \log (\log (\log (x))) \log ^2\left (\frac {\log (\log (\log (x)))}{x}\right )} \, dx-16 \int \frac {e^{e^x+x}}{\log \left (\frac {\log (\log (\log (x)))}{x}\right )} \, dx \\ \end{align*}
Time = 0.45 (sec) , antiderivative size = 18, normalized size of antiderivative = 0.78 \[ \int \frac {16 e^{e^x}-16 e^{e^x} \log (x) \log (\log (x)) \log (\log (\log (x)))-16 e^{e^x+x} x \log (x) \log (\log (x)) \log (\log (\log (x))) \log \left (\frac {\log (\log (\log (x)))}{x}\right )}{x \log (x) \log (\log (x)) \log (\log (\log (x))) \log ^2\left (\frac {\log (\log (\log (x)))}{x}\right )} \, dx=-\frac {16 e^{e^x}}{\log \left (\frac {\log (\log (\log (x)))}{x}\right )} \]
[In]
[Out]
Result contains higher order function than in optimal. Order 9 vs. order 3.
Time = 0.03 (sec) , antiderivative size = 113, normalized size of antiderivative = 4.91
\[-\frac {32 i {\mathrm e}^{{\mathrm e}^{x}}}{\pi \,\operatorname {csgn}\left (\frac {i}{x}\right ) \operatorname {csgn}\left (i \ln \left (\ln \left (\ln \left (x \right )\right )\right )\right ) \operatorname {csgn}\left (\frac {i \ln \left (\ln \left (\ln \left (x \right )\right )\right )}{x}\right )-\pi \,\operatorname {csgn}\left (\frac {i}{x}\right ) \operatorname {csgn}\left (\frac {i \ln \left (\ln \left (\ln \left (x \right )\right )\right )}{x}\right )^{2}-\pi \,\operatorname {csgn}\left (i \ln \left (\ln \left (\ln \left (x \right )\right )\right )\right ) \operatorname {csgn}\left (\frac {i \ln \left (\ln \left (\ln \left (x \right )\right )\right )}{x}\right )^{2}+\pi \operatorname {csgn}\left (\frac {i \ln \left (\ln \left (\ln \left (x \right )\right )\right )}{x}\right )^{3}-2 i \ln \left (x \right )+2 i \ln \left (\ln \left (\ln \left (\ln \left (x \right )\right )\right )\right )}\]
[In]
[Out]
none
Time = 0.25 (sec) , antiderivative size = 16, normalized size of antiderivative = 0.70 \[ \int \frac {16 e^{e^x}-16 e^{e^x} \log (x) \log (\log (x)) \log (\log (\log (x)))-16 e^{e^x+x} x \log (x) \log (\log (x)) \log (\log (\log (x))) \log \left (\frac {\log (\log (\log (x)))}{x}\right )}{x \log (x) \log (\log (x)) \log (\log (\log (x))) \log ^2\left (\frac {\log (\log (\log (x)))}{x}\right )} \, dx=-\frac {16 \, e^{\left (e^{x}\right )}}{\log \left (\frac {\log \left (\log \left (\log \left (x\right )\right )\right )}{x}\right )} \]
[In]
[Out]
Time = 95.22 (sec) , antiderivative size = 17, normalized size of antiderivative = 0.74 \[ \int \frac {16 e^{e^x}-16 e^{e^x} \log (x) \log (\log (x)) \log (\log (\log (x)))-16 e^{e^x+x} x \log (x) \log (\log (x)) \log (\log (\log (x))) \log \left (\frac {\log (\log (\log (x)))}{x}\right )}{x \log (x) \log (\log (x)) \log (\log (\log (x))) \log ^2\left (\frac {\log (\log (\log (x)))}{x}\right )} \, dx=- \frac {16 e^{e^{x}}}{\log {\left (\frac {\log {\left (\log {\left (\log {\left (x \right )} \right )} \right )}}{x} \right )}} \]
[In]
[Out]
none
Time = 0.24 (sec) , antiderivative size = 17, normalized size of antiderivative = 0.74 \[ \int \frac {16 e^{e^x}-16 e^{e^x} \log (x) \log (\log (x)) \log (\log (\log (x)))-16 e^{e^x+x} x \log (x) \log (\log (x)) \log (\log (\log (x))) \log \left (\frac {\log (\log (\log (x)))}{x}\right )}{x \log (x) \log (\log (x)) \log (\log (\log (x))) \log ^2\left (\frac {\log (\log (\log (x)))}{x}\right )} \, dx=\frac {16 \, e^{\left (e^{x}\right )}}{\log \left (x\right ) - \log \left (\log \left (\log \left (\log \left (x\right )\right )\right )\right )} \]
[In]
[Out]
none
Time = 0.25 (sec) , antiderivative size = 17, normalized size of antiderivative = 0.74 \[ \int \frac {16 e^{e^x}-16 e^{e^x} \log (x) \log (\log (x)) \log (\log (\log (x)))-16 e^{e^x+x} x \log (x) \log (\log (x)) \log (\log (\log (x))) \log \left (\frac {\log (\log (\log (x)))}{x}\right )}{x \log (x) \log (\log (x)) \log (\log (\log (x))) \log ^2\left (\frac {\log (\log (\log (x)))}{x}\right )} \, dx=\frac {16 \, e^{\left (e^{x}\right )}}{\log \left (x\right ) - \log \left (\log \left (\log \left (\log \left (x\right )\right )\right )\right )} \]
[In]
[Out]
Timed out. \[ \int \frac {16 e^{e^x}-16 e^{e^x} \log (x) \log (\log (x)) \log (\log (\log (x)))-16 e^{e^x+x} x \log (x) \log (\log (x)) \log (\log (\log (x))) \log \left (\frac {\log (\log (\log (x)))}{x}\right )}{x \log (x) \log (\log (x)) \log (\log (\log (x))) \log ^2\left (\frac {\log (\log (\log (x)))}{x}\right )} \, dx=\int -\frac {16\,\ln \left (\ln \left (x\right )\right )\,{\mathrm {e}}^{{\mathrm {e}}^x}\,\ln \left (\ln \left (\ln \left (x\right )\right )\right )\,\ln \left (x\right )-16\,{\mathrm {e}}^{{\mathrm {e}}^x}+16\,x\,\ln \left (\ln \left (x\right )\right )\,\ln \left (\frac {\ln \left (\ln \left (\ln \left (x\right )\right )\right )}{x}\right )\,{\mathrm {e}}^{{\mathrm {e}}^x}\,{\mathrm {e}}^x\,\ln \left (\ln \left (\ln \left (x\right )\right )\right )\,\ln \left (x\right )}{x\,\ln \left (\ln \left (x\right )\right )\,{\ln \left (\frac {\ln \left (\ln \left (\ln \left (x\right )\right )\right )}{x}\right )}^2\,\ln \left (\ln \left (\ln \left (x\right )\right )\right )\,\ln \left (x\right )} \,d x \]
[In]
[Out]