Integrand size = 175, antiderivative size = 29 \[ \int \frac {2 e^x+\left (-45-3 e^x\right ) \log (x) \log (\log (x)) \log \left (144 \log ^2(\log (x))\right )+\left (-15-e^x\right ) \log (x) \log (\log (x)) \log \left (144 \log ^2(\log (x))\right ) \log \left (\log \left (144 \log ^2(\log (x))\right )\right )+\left (e^x (-3+3 x) \log (x) \log (\log (x)) \log \left (144 \log ^2(\log (x))\right )+e^x (-1+x) \log (x) \log (\log (x)) \log \left (144 \log ^2(\log (x))\right ) \log \left (\log \left (144 \log ^2(\log (x))\right )\right )\right ) \log \left (\frac {3+\log \left (\log \left (144 \log ^2(\log (x))\right )\right )}{x}\right )}{15 x^2 \log (x) \log (\log (x)) \log \left (144 \log ^2(\log (x))\right )+5 x^2 \log (x) \log (\log (x)) \log \left (144 \log ^2(\log (x))\right ) \log \left (\log \left (144 \log ^2(\log (x))\right )\right )} \, dx=\frac {3+\frac {1}{5} e^x \log \left (\frac {3+\log \left (\log \left (144 \log ^2(\log (x))\right )\right )}{x}\right )}{x} \]
[Out]
\[ \int \frac {2 e^x+\left (-45-3 e^x\right ) \log (x) \log (\log (x)) \log \left (144 \log ^2(\log (x))\right )+\left (-15-e^x\right ) \log (x) \log (\log (x)) \log \left (144 \log ^2(\log (x))\right ) \log \left (\log \left (144 \log ^2(\log (x))\right )\right )+\left (e^x (-3+3 x) \log (x) \log (\log (x)) \log \left (144 \log ^2(\log (x))\right )+e^x (-1+x) \log (x) \log (\log (x)) \log \left (144 \log ^2(\log (x))\right ) \log \left (\log \left (144 \log ^2(\log (x))\right )\right )\right ) \log \left (\frac {3+\log \left (\log \left (144 \log ^2(\log (x))\right )\right )}{x}\right )}{15 x^2 \log (x) \log (\log (x)) \log \left (144 \log ^2(\log (x))\right )+5 x^2 \log (x) \log (\log (x)) \log \left (144 \log ^2(\log (x))\right ) \log \left (\log \left (144 \log ^2(\log (x))\right )\right )} \, dx=\int \frac {2 e^x+\left (-45-3 e^x\right ) \log (x) \log (\log (x)) \log \left (144 \log ^2(\log (x))\right )+\left (-15-e^x\right ) \log (x) \log (\log (x)) \log \left (144 \log ^2(\log (x))\right ) \log \left (\log \left (144 \log ^2(\log (x))\right )\right )+\left (e^x (-3+3 x) \log (x) \log (\log (x)) \log \left (144 \log ^2(\log (x))\right )+e^x (-1+x) \log (x) \log (\log (x)) \log \left (144 \log ^2(\log (x))\right ) \log \left (\log \left (144 \log ^2(\log (x))\right )\right )\right ) \log \left (\frac {3+\log \left (\log \left (144 \log ^2(\log (x))\right )\right )}{x}\right )}{15 x^2 \log (x) \log (\log (x)) \log \left (144 \log ^2(\log (x))\right )+5 x^2 \log (x) \log (\log (x)) \log \left (144 \log ^2(\log (x))\right ) \log \left (\log \left (144 \log ^2(\log (x))\right )\right )} \, dx \]
[In]
[Out]
Rubi steps \begin{align*} \text {integral}& = \int \frac {-15-e^x+\frac {2 e^x}{\log (x) \log (\log (x)) \log \left (144 \log ^2(\log (x))\right ) \left (3+\log \left (\log \left (144 \log ^2(\log (x))\right )\right )\right )}+e^x (-1+x) \log \left (\frac {3+\log \left (\log \left (144 \log ^2(\log (x))\right )\right )}{x}\right )}{5 x^2} \, dx \\ & = \frac {1}{5} \int \frac {-15-e^x+\frac {2 e^x}{\log (x) \log (\log (x)) \log \left (144 \log ^2(\log (x))\right ) \left (3+\log \left (\log \left (144 \log ^2(\log (x))\right )\right )\right )}+e^x (-1+x) \log \left (\frac {3+\log \left (\log \left (144 \log ^2(\log (x))\right )\right )}{x}\right )}{x^2} \, dx \\ & = \frac {1}{5} \int \left (-\frac {15}{x^2}+\frac {e^x \left (2-3 \log (x) \log (\log (x)) \log \left (144 \log ^2(\log (x))\right )-\log (x) \log (\log (x)) \log \left (144 \log ^2(\log (x))\right ) \log \left (\log \left (144 \log ^2(\log (x))\right )\right )-3 \log (x) \log (\log (x)) \log \left (144 \log ^2(\log (x))\right ) \log \left (\frac {3+\log \left (\log \left (144 \log ^2(\log (x))\right )\right )}{x}\right )+3 x \log (x) \log (\log (x)) \log \left (144 \log ^2(\log (x))\right ) \log \left (\frac {3+\log \left (\log \left (144 \log ^2(\log (x))\right )\right )}{x}\right )-\log (x) \log (\log (x)) \log \left (144 \log ^2(\log (x))\right ) \log \left (\log \left (144 \log ^2(\log (x))\right )\right ) \log \left (\frac {3+\log \left (\log \left (144 \log ^2(\log (x))\right )\right )}{x}\right )+x \log (x) \log (\log (x)) \log \left (144 \log ^2(\log (x))\right ) \log \left (\log \left (144 \log ^2(\log (x))\right )\right ) \log \left (\frac {3+\log \left (\log \left (144 \log ^2(\log (x))\right )\right )}{x}\right )\right )}{x^2 \log (x) \log (\log (x)) \log \left (144 \log ^2(\log (x))\right ) \left (3+\log \left (\log \left (144 \log ^2(\log (x))\right )\right )\right )}\right ) \, dx \\ & = \frac {3}{x}+\frac {1}{5} \int \frac {e^x \left (2-3 \log (x) \log (\log (x)) \log \left (144 \log ^2(\log (x))\right )-\log (x) \log (\log (x)) \log \left (144 \log ^2(\log (x))\right ) \log \left (\log \left (144 \log ^2(\log (x))\right )\right )-3 \log (x) \log (\log (x)) \log \left (144 \log ^2(\log (x))\right ) \log \left (\frac {3+\log \left (\log \left (144 \log ^2(\log (x))\right )\right )}{x}\right )+3 x \log (x) \log (\log (x)) \log \left (144 \log ^2(\log (x))\right ) \log \left (\frac {3+\log \left (\log \left (144 \log ^2(\log (x))\right )\right )}{x}\right )-\log (x) \log (\log (x)) \log \left (144 \log ^2(\log (x))\right ) \log \left (\log \left (144 \log ^2(\log (x))\right )\right ) \log \left (\frac {3+\log \left (\log \left (144 \log ^2(\log (x))\right )\right )}{x}\right )+x \log (x) \log (\log (x)) \log \left (144 \log ^2(\log (x))\right ) \log \left (\log \left (144 \log ^2(\log (x))\right )\right ) \log \left (\frac {3+\log \left (\log \left (144 \log ^2(\log (x))\right )\right )}{x}\right )\right )}{x^2 \log (x) \log (\log (x)) \log \left (144 \log ^2(\log (x))\right ) \left (3+\log \left (\log \left (144 \log ^2(\log (x))\right )\right )\right )} \, dx \\ & = \frac {3}{x}+\frac {1}{5} \int \frac {e^x \left (-1+\frac {2}{\log (x) \log (\log (x)) \log \left (144 \log ^2(\log (x))\right ) \left (3+\log \left (\log \left (144 \log ^2(\log (x))\right )\right )\right )}+(-1+x) \log \left (\frac {3+\log \left (\log \left (144 \log ^2(\log (x))\right )\right )}{x}\right )\right )}{x^2} \, dx \\ & = \frac {3}{x}+\frac {1}{5} \int \left (\frac {e^x \left (2-3 \log (x) \log (\log (x)) \log \left (144 \log ^2(\log (x))\right )-\log (x) \log (\log (x)) \log \left (144 \log ^2(\log (x))\right ) \log \left (\log \left (144 \log ^2(\log (x))\right )\right )\right )}{x^2 \log (x) \log (\log (x)) \log \left (144 \log ^2(\log (x))\right ) \left (3+\log \left (\log \left (144 \log ^2(\log (x))\right )\right )\right )}+\frac {e^x (-1+x) \log \left (\frac {3}{x}+\frac {\log \left (\log \left (144 \log ^2(\log (x))\right )\right )}{x}\right )}{x^2}\right ) \, dx \\ & = \frac {3}{x}+\frac {1}{5} \int \frac {e^x \left (2-3 \log (x) \log (\log (x)) \log \left (144 \log ^2(\log (x))\right )-\log (x) \log (\log (x)) \log \left (144 \log ^2(\log (x))\right ) \log \left (\log \left (144 \log ^2(\log (x))\right )\right )\right )}{x^2 \log (x) \log (\log (x)) \log \left (144 \log ^2(\log (x))\right ) \left (3+\log \left (\log \left (144 \log ^2(\log (x))\right )\right )\right )} \, dx+\frac {1}{5} \int \frac {e^x (-1+x) \log \left (\frac {3}{x}+\frac {\log \left (\log \left (144 \log ^2(\log (x))\right )\right )}{x}\right )}{x^2} \, dx \\ & = \frac {3}{x}+\frac {1}{5} \int \frac {e^x \left (-1+\frac {2}{\log (x) \log (\log (x)) \log \left (144 \log ^2(\log (x))\right ) \left (3+\log \left (\log \left (144 \log ^2(\log (x))\right )\right )\right )}\right )}{x^2} \, dx+\frac {1}{5} \int \left (-\frac {e^x \log \left (\frac {3}{x}+\frac {\log \left (\log \left (144 \log ^2(\log (x))\right )\right )}{x}\right )}{x^2}+\frac {e^x \log \left (\frac {3}{x}+\frac {\log \left (\log \left (144 \log ^2(\log (x))\right )\right )}{x}\right )}{x}\right ) \, dx \\ & = \frac {3}{x}+\frac {1}{5} \int \left (-\frac {e^x}{x^2}+\frac {2 e^x}{x^2 \log (x) \log (\log (x)) \log \left (144 \log ^2(\log (x))\right ) \left (3+\log \left (\log \left (144 \log ^2(\log (x))\right )\right )\right )}\right ) \, dx-\frac {1}{5} \int \frac {e^x \log \left (\frac {3}{x}+\frac {\log \left (\log \left (144 \log ^2(\log (x))\right )\right )}{x}\right )}{x^2} \, dx+\frac {1}{5} \int \frac {e^x \log \left (\frac {3}{x}+\frac {\log \left (\log \left (144 \log ^2(\log (x))\right )\right )}{x}\right )}{x} \, dx \\ & = \frac {3}{x}-\frac {1}{5} \int \frac {e^x}{x^2} \, dx-\frac {1}{5} \int \frac {e^x \log \left (\frac {3}{x}+\frac {\log \left (\log \left (144 \log ^2(\log (x))\right )\right )}{x}\right )}{x^2} \, dx+\frac {1}{5} \int \frac {e^x \log \left (\frac {3}{x}+\frac {\log \left (\log \left (144 \log ^2(\log (x))\right )\right )}{x}\right )}{x} \, dx+\frac {2}{5} \int \frac {e^x}{x^2 \log (x) \log (\log (x)) \log \left (144 \log ^2(\log (x))\right ) \left (3+\log \left (\log \left (144 \log ^2(\log (x))\right )\right )\right )} \, dx \\ & = \frac {3}{x}+\frac {e^x}{5 x}-\frac {1}{5} \int \frac {e^x}{x} \, dx-\frac {1}{5} \int \frac {e^x \log \left (\frac {3}{x}+\frac {\log \left (\log \left (144 \log ^2(\log (x))\right )\right )}{x}\right )}{x^2} \, dx+\frac {1}{5} \int \frac {e^x \log \left (\frac {3}{x}+\frac {\log \left (\log \left (144 \log ^2(\log (x))\right )\right )}{x}\right )}{x} \, dx+\frac {2}{5} \int \frac {e^x}{x^2 \log (x) \log (\log (x)) \log \left (144 \log ^2(\log (x))\right ) \left (3+\log \left (\log \left (144 \log ^2(\log (x))\right )\right )\right )} \, dx \\ & = \frac {3}{x}+\frac {e^x}{5 x}-\frac {\operatorname {ExpIntegralEi}(x)}{5}-\frac {1}{5} \int \frac {e^x \log \left (\frac {3}{x}+\frac {\log \left (\log \left (144 \log ^2(\log (x))\right )\right )}{x}\right )}{x^2} \, dx+\frac {1}{5} \int \frac {e^x \log \left (\frac {3}{x}+\frac {\log \left (\log \left (144 \log ^2(\log (x))\right )\right )}{x}\right )}{x} \, dx+\frac {2}{5} \int \frac {e^x}{x^2 \log (x) \log (\log (x)) \log \left (144 \log ^2(\log (x))\right ) \left (3+\log \left (\log \left (144 \log ^2(\log (x))\right )\right )\right )} \, dx \\ \end{align*}
Time = 5.21 (sec) , antiderivative size = 29, normalized size of antiderivative = 1.00 \[ \int \frac {2 e^x+\left (-45-3 e^x\right ) \log (x) \log (\log (x)) \log \left (144 \log ^2(\log (x))\right )+\left (-15-e^x\right ) \log (x) \log (\log (x)) \log \left (144 \log ^2(\log (x))\right ) \log \left (\log \left (144 \log ^2(\log (x))\right )\right )+\left (e^x (-3+3 x) \log (x) \log (\log (x)) \log \left (144 \log ^2(\log (x))\right )+e^x (-1+x) \log (x) \log (\log (x)) \log \left (144 \log ^2(\log (x))\right ) \log \left (\log \left (144 \log ^2(\log (x))\right )\right )\right ) \log \left (\frac {3+\log \left (\log \left (144 \log ^2(\log (x))\right )\right )}{x}\right )}{15 x^2 \log (x) \log (\log (x)) \log \left (144 \log ^2(\log (x))\right )+5 x^2 \log (x) \log (\log (x)) \log \left (144 \log ^2(\log (x))\right ) \log \left (\log \left (144 \log ^2(\log (x))\right )\right )} \, dx=\frac {15+e^x \log \left (\frac {3+\log \left (\log \left (144 \log ^2(\log (x))\right )\right )}{x}\right )}{5 x} \]
[In]
[Out]
Result contains higher order function than in optimal. Order 9 vs. order 3.
Time = 0.82 (sec) , antiderivative size = 443, normalized size of antiderivative = 15.28
\[\frac {{\mathrm e}^{x} \ln \left (\ln \left (2 \ln \left (3\right )+4 \ln \left (2\right )+2 \ln \left (\ln \left (\ln \left (x \right )\right )\right )-\frac {i \pi \,\operatorname {csgn}\left (i \ln \left (\ln \left (x \right )\right )^{2}\right ) {\left (-\operatorname {csgn}\left (i \ln \left (\ln \left (x \right )\right )^{2}\right )+\operatorname {csgn}\left (i \ln \left (\ln \left (x \right )\right )\right )\right )}^{2}}{2}\right )+3\right )}{5 x}-\frac {i \pi \,\operatorname {csgn}\left (\frac {i}{x}\right ) \operatorname {csgn}\left (i \left (\ln \left (2 \ln \left (12\right )+2 \ln \left (\ln \left (\ln \left (x \right )\right )\right )-\frac {i \pi \,\operatorname {csgn}\left (i \ln \left (\ln \left (x \right )\right )^{2}\right ) {\left (-\operatorname {csgn}\left (i \ln \left (\ln \left (x \right )\right )^{2}\right )+\operatorname {csgn}\left (i \ln \left (\ln \left (x \right )\right )\right )\right )}^{2}}{2}\right )+3\right )\right ) \operatorname {csgn}\left (\frac {i \left (\ln \left (2 \ln \left (12\right )+2 \ln \left (\ln \left (\ln \left (x \right )\right )\right )-\frac {i \pi \,\operatorname {csgn}\left (i \ln \left (\ln \left (x \right )\right )^{2}\right ) {\left (-\operatorname {csgn}\left (i \ln \left (\ln \left (x \right )\right )^{2}\right )+\operatorname {csgn}\left (i \ln \left (\ln \left (x \right )\right )\right )\right )}^{2}}{2}\right )+3\right )}{x}\right ) {\mathrm e}^{x}-i \pi \,\operatorname {csgn}\left (\frac {i}{x}\right ) {\operatorname {csgn}\left (\frac {i \left (\ln \left (2 \ln \left (12\right )+2 \ln \left (\ln \left (\ln \left (x \right )\right )\right )-\frac {i \pi \,\operatorname {csgn}\left (i \ln \left (\ln \left (x \right )\right )^{2}\right ) {\left (-\operatorname {csgn}\left (i \ln \left (\ln \left (x \right )\right )^{2}\right )+\operatorname {csgn}\left (i \ln \left (\ln \left (x \right )\right )\right )\right )}^{2}}{2}\right )+3\right )}{x}\right )}^{2} {\mathrm e}^{x}-i \pi \,\operatorname {csgn}\left (i \left (\ln \left (2 \ln \left (12\right )+2 \ln \left (\ln \left (\ln \left (x \right )\right )\right )-\frac {i \pi \,\operatorname {csgn}\left (i \ln \left (\ln \left (x \right )\right )^{2}\right ) {\left (-\operatorname {csgn}\left (i \ln \left (\ln \left (x \right )\right )^{2}\right )+\operatorname {csgn}\left (i \ln \left (\ln \left (x \right )\right )\right )\right )}^{2}}{2}\right )+3\right )\right ) {\operatorname {csgn}\left (\frac {i \left (\ln \left (2 \ln \left (12\right )+2 \ln \left (\ln \left (\ln \left (x \right )\right )\right )-\frac {i \pi \,\operatorname {csgn}\left (i \ln \left (\ln \left (x \right )\right )^{2}\right ) {\left (-\operatorname {csgn}\left (i \ln \left (\ln \left (x \right )\right )^{2}\right )+\operatorname {csgn}\left (i \ln \left (\ln \left (x \right )\right )\right )\right )}^{2}}{2}\right )+3\right )}{x}\right )}^{2} {\mathrm e}^{x}+i \pi {\operatorname {csgn}\left (\frac {i \left (\ln \left (2 \ln \left (12\right )+2 \ln \left (\ln \left (\ln \left (x \right )\right )\right )-\frac {i \pi \,\operatorname {csgn}\left (i \ln \left (\ln \left (x \right )\right )^{2}\right ) {\left (-\operatorname {csgn}\left (i \ln \left (\ln \left (x \right )\right )^{2}\right )+\operatorname {csgn}\left (i \ln \left (\ln \left (x \right )\right )\right )\right )}^{2}}{2}\right )+3\right )}{x}\right )}^{3} {\mathrm e}^{x}+2 \,{\mathrm e}^{x} \ln \left (x \right )-30}{10 x}\]
[In]
[Out]
none
Time = 0.24 (sec) , antiderivative size = 26, normalized size of antiderivative = 0.90 \[ \int \frac {2 e^x+\left (-45-3 e^x\right ) \log (x) \log (\log (x)) \log \left (144 \log ^2(\log (x))\right )+\left (-15-e^x\right ) \log (x) \log (\log (x)) \log \left (144 \log ^2(\log (x))\right ) \log \left (\log \left (144 \log ^2(\log (x))\right )\right )+\left (e^x (-3+3 x) \log (x) \log (\log (x)) \log \left (144 \log ^2(\log (x))\right )+e^x (-1+x) \log (x) \log (\log (x)) \log \left (144 \log ^2(\log (x))\right ) \log \left (\log \left (144 \log ^2(\log (x))\right )\right )\right ) \log \left (\frac {3+\log \left (\log \left (144 \log ^2(\log (x))\right )\right )}{x}\right )}{15 x^2 \log (x) \log (\log (x)) \log \left (144 \log ^2(\log (x))\right )+5 x^2 \log (x) \log (\log (x)) \log \left (144 \log ^2(\log (x))\right ) \log \left (\log \left (144 \log ^2(\log (x))\right )\right )} \, dx=\frac {e^{x} \log \left (\frac {\log \left (\log \left (144 \, \log \left (\log \left (x\right )\right )^{2}\right )\right ) + 3}{x}\right ) + 15}{5 \, x} \]
[In]
[Out]
Timed out. \[ \int \frac {2 e^x+\left (-45-3 e^x\right ) \log (x) \log (\log (x)) \log \left (144 \log ^2(\log (x))\right )+\left (-15-e^x\right ) \log (x) \log (\log (x)) \log \left (144 \log ^2(\log (x))\right ) \log \left (\log \left (144 \log ^2(\log (x))\right )\right )+\left (e^x (-3+3 x) \log (x) \log (\log (x)) \log \left (144 \log ^2(\log (x))\right )+e^x (-1+x) \log (x) \log (\log (x)) \log \left (144 \log ^2(\log (x))\right ) \log \left (\log \left (144 \log ^2(\log (x))\right )\right )\right ) \log \left (\frac {3+\log \left (\log \left (144 \log ^2(\log (x))\right )\right )}{x}\right )}{15 x^2 \log (x) \log (\log (x)) \log \left (144 \log ^2(\log (x))\right )+5 x^2 \log (x) \log (\log (x)) \log \left (144 \log ^2(\log (x))\right ) \log \left (\log \left (144 \log ^2(\log (x))\right )\right )} \, dx=\text {Timed out} \]
[In]
[Out]
none
Time = 0.39 (sec) , antiderivative size = 33, normalized size of antiderivative = 1.14 \[ \int \frac {2 e^x+\left (-45-3 e^x\right ) \log (x) \log (\log (x)) \log \left (144 \log ^2(\log (x))\right )+\left (-15-e^x\right ) \log (x) \log (\log (x)) \log \left (144 \log ^2(\log (x))\right ) \log \left (\log \left (144 \log ^2(\log (x))\right )\right )+\left (e^x (-3+3 x) \log (x) \log (\log (x)) \log \left (144 \log ^2(\log (x))\right )+e^x (-1+x) \log (x) \log (\log (x)) \log \left (144 \log ^2(\log (x))\right ) \log \left (\log \left (144 \log ^2(\log (x))\right )\right )\right ) \log \left (\frac {3+\log \left (\log \left (144 \log ^2(\log (x))\right )\right )}{x}\right )}{15 x^2 \log (x) \log (\log (x)) \log \left (144 \log ^2(\log (x))\right )+5 x^2 \log (x) \log (\log (x)) \log \left (144 \log ^2(\log (x))\right ) \log \left (\log \left (144 \log ^2(\log (x))\right )\right )} \, dx=-\frac {e^{x} \log \left (x\right ) - e^{x} \log \left (\log \left (2\right ) + \log \left (\log \left (3\right ) + 2 \, \log \left (2\right ) + \log \left (\log \left (\log \left (x\right )\right )\right )\right ) + 3\right ) - 15}{5 \, x} \]
[In]
[Out]
none
Time = 2.07 (sec) , antiderivative size = 28, normalized size of antiderivative = 0.97 \[ \int \frac {2 e^x+\left (-45-3 e^x\right ) \log (x) \log (\log (x)) \log \left (144 \log ^2(\log (x))\right )+\left (-15-e^x\right ) \log (x) \log (\log (x)) \log \left (144 \log ^2(\log (x))\right ) \log \left (\log \left (144 \log ^2(\log (x))\right )\right )+\left (e^x (-3+3 x) \log (x) \log (\log (x)) \log \left (144 \log ^2(\log (x))\right )+e^x (-1+x) \log (x) \log (\log (x)) \log \left (144 \log ^2(\log (x))\right ) \log \left (\log \left (144 \log ^2(\log (x))\right )\right )\right ) \log \left (\frac {3+\log \left (\log \left (144 \log ^2(\log (x))\right )\right )}{x}\right )}{15 x^2 \log (x) \log (\log (x)) \log \left (144 \log ^2(\log (x))\right )+5 x^2 \log (x) \log (\log (x)) \log \left (144 \log ^2(\log (x))\right ) \log \left (\log \left (144 \log ^2(\log (x))\right )\right )} \, dx=-\frac {e^{x} \log \left (x\right ) - e^{x} \log \left (\log \left (\log \left (144 \, \log \left (\log \left (x\right )\right )^{2}\right )\right ) + 3\right ) - 15}{5 \, x} \]
[In]
[Out]
Timed out. \[ \int \frac {2 e^x+\left (-45-3 e^x\right ) \log (x) \log (\log (x)) \log \left (144 \log ^2(\log (x))\right )+\left (-15-e^x\right ) \log (x) \log (\log (x)) \log \left (144 \log ^2(\log (x))\right ) \log \left (\log \left (144 \log ^2(\log (x))\right )\right )+\left (e^x (-3+3 x) \log (x) \log (\log (x)) \log \left (144 \log ^2(\log (x))\right )+e^x (-1+x) \log (x) \log (\log (x)) \log \left (144 \log ^2(\log (x))\right ) \log \left (\log \left (144 \log ^2(\log (x))\right )\right )\right ) \log \left (\frac {3+\log \left (\log \left (144 \log ^2(\log (x))\right )\right )}{x}\right )}{15 x^2 \log (x) \log (\log (x)) \log \left (144 \log ^2(\log (x))\right )+5 x^2 \log (x) \log (\log (x)) \log \left (144 \log ^2(\log (x))\right ) \log \left (\log \left (144 \log ^2(\log (x))\right )\right )} \, dx=\int \frac {2\,{\mathrm {e}}^x+\ln \left (\frac {\ln \left (\ln \left (144\,{\ln \left (\ln \left (x\right )\right )}^2\right )\right )+3}{x}\right )\,\left (\ln \left (\ln \left (x\right )\right )\,{\mathrm {e}}^x\,\ln \left (144\,{\ln \left (\ln \left (x\right )\right )}^2\right )\,\ln \left (x\right )\,\left (3\,x-3\right )+\ln \left (\ln \left (x\right )\right )\,{\mathrm {e}}^x\,\ln \left (144\,{\ln \left (\ln \left (x\right )\right )}^2\right )\,\ln \left (x\right )\,\ln \left (\ln \left (144\,{\ln \left (\ln \left (x\right )\right )}^2\right )\right )\,\left (x-1\right )\right )-\ln \left (\ln \left (x\right )\right )\,\ln \left (144\,{\ln \left (\ln \left (x\right )\right )}^2\right )\,\ln \left (x\right )\,\left (3\,{\mathrm {e}}^x+45\right )-\ln \left (\ln \left (x\right )\right )\,\ln \left (144\,{\ln \left (\ln \left (x\right )\right )}^2\right )\,\ln \left (x\right )\,\ln \left (\ln \left (144\,{\ln \left (\ln \left (x\right )\right )}^2\right )\right )\,\left ({\mathrm {e}}^x+15\right )}{15\,x^2\,\ln \left (\ln \left (x\right )\right )\,\ln \left (144\,{\ln \left (\ln \left (x\right )\right )}^2\right )\,\ln \left (x\right )+5\,x^2\,\ln \left (\ln \left (x\right )\right )\,\ln \left (144\,{\ln \left (\ln \left (x\right )\right )}^2\right )\,\ln \left (x\right )\,\ln \left (\ln \left (144\,{\ln \left (\ln \left (x\right )\right )}^2\right )\right )} \,d x \]
[In]
[Out]