Integrand size = 309, antiderivative size = 34 \[ \int \frac {-20 x+12 e^{x/5} x+\left (-60 e^{x/5}+20 x\right ) \log \left (\frac {1}{4} \left (-3 e^{2+\frac {x}{5}} \log (2)+e^2 x \log (2)\right )\right ) \log \left (\log \left (\frac {1}{4} \left (-3 e^{2+\frac {x}{5}} \log (2)+e^2 x \log (2)\right )\right )\right ) \log \left (\log \left (\log \left (\frac {1}{4} \left (-3 e^{2+\frac {x}{5}} \log (2)+e^2 x \log (2)\right )\right )\right )\right )+\left (15 e^{x/5}-5 x\right ) \log \left (\frac {1}{4} \left (-3 e^{2+\frac {x}{5}} \log (2)+e^2 x \log (2)\right )\right ) \log \left (\log \left (\frac {1}{4} \left (-3 e^{2+\frac {x}{5}} \log (2)+e^2 x \log (2)\right )\right )\right ) \log ^2\left (\log \left (\log \left (\frac {1}{4} \left (-3 e^{2+\frac {x}{5}} \log (2)+e^2 x \log (2)\right )\right )\right )\right )}{\left (60 e^{x/5}-20 x\right ) \log \left (\frac {1}{4} \left (-3 e^{2+\frac {x}{5}} \log (2)+e^2 x \log (2)\right )\right ) \log \left (\log \left (\frac {1}{4} \left (-3 e^{2+\frac {x}{5}} \log (2)+e^2 x \log (2)\right )\right )\right ) \log ^2\left (\log \left (\log \left (\frac {1}{4} \left (-3 e^{2+\frac {x}{5}} \log (2)+e^2 x \log (2)\right )\right )\right )\right )} \, dx=\frac {x}{4}-\frac {x}{\log \left (\log \left (\log \left (\frac {1}{4} e^2 \left (-3 e^{x/5}+x\right ) \log (2)\right )\right )\right )} \]
[Out]
\[ \int \frac {-20 x+12 e^{x/5} x+\left (-60 e^{x/5}+20 x\right ) \log \left (\frac {1}{4} \left (-3 e^{2+\frac {x}{5}} \log (2)+e^2 x \log (2)\right )\right ) \log \left (\log \left (\frac {1}{4} \left (-3 e^{2+\frac {x}{5}} \log (2)+e^2 x \log (2)\right )\right )\right ) \log \left (\log \left (\log \left (\frac {1}{4} \left (-3 e^{2+\frac {x}{5}} \log (2)+e^2 x \log (2)\right )\right )\right )\right )+\left (15 e^{x/5}-5 x\right ) \log \left (\frac {1}{4} \left (-3 e^{2+\frac {x}{5}} \log (2)+e^2 x \log (2)\right )\right ) \log \left (\log \left (\frac {1}{4} \left (-3 e^{2+\frac {x}{5}} \log (2)+e^2 x \log (2)\right )\right )\right ) \log ^2\left (\log \left (\log \left (\frac {1}{4} \left (-3 e^{2+\frac {x}{5}} \log (2)+e^2 x \log (2)\right )\right )\right )\right )}{\left (60 e^{x/5}-20 x\right ) \log \left (\frac {1}{4} \left (-3 e^{2+\frac {x}{5}} \log (2)+e^2 x \log (2)\right )\right ) \log \left (\log \left (\frac {1}{4} \left (-3 e^{2+\frac {x}{5}} \log (2)+e^2 x \log (2)\right )\right )\right ) \log ^2\left (\log \left (\log \left (\frac {1}{4} \left (-3 e^{2+\frac {x}{5}} \log (2)+e^2 x \log (2)\right )\right )\right )\right )} \, dx=\int \frac {-20 x+12 e^{x/5} x+\left (-60 e^{x/5}+20 x\right ) \log \left (\frac {1}{4} \left (-3 e^{2+\frac {x}{5}} \log (2)+e^2 x \log (2)\right )\right ) \log \left (\log \left (\frac {1}{4} \left (-3 e^{2+\frac {x}{5}} \log (2)+e^2 x \log (2)\right )\right )\right ) \log \left (\log \left (\log \left (\frac {1}{4} \left (-3 e^{2+\frac {x}{5}} \log (2)+e^2 x \log (2)\right )\right )\right )\right )+\left (15 e^{x/5}-5 x\right ) \log \left (\frac {1}{4} \left (-3 e^{2+\frac {x}{5}} \log (2)+e^2 x \log (2)\right )\right ) \log \left (\log \left (\frac {1}{4} \left (-3 e^{2+\frac {x}{5}} \log (2)+e^2 x \log (2)\right )\right )\right ) \log ^2\left (\log \left (\log \left (\frac {1}{4} \left (-3 e^{2+\frac {x}{5}} \log (2)+e^2 x \log (2)\right )\right )\right )\right )}{\left (60 e^{x/5}-20 x\right ) \log \left (\frac {1}{4} \left (-3 e^{2+\frac {x}{5}} \log (2)+e^2 x \log (2)\right )\right ) \log \left (\log \left (\frac {1}{4} \left (-3 e^{2+\frac {x}{5}} \log (2)+e^2 x \log (2)\right )\right )\right ) \log ^2\left (\log \left (\log \left (\frac {1}{4} \left (-3 e^{2+\frac {x}{5}} \log (2)+e^2 x \log (2)\right )\right )\right )\right )} \, dx \]
[In]
[Out]
Rubi steps \begin{align*} \text {integral}& = \int \left (\frac {1}{4}+\frac {\left (-5+3 e^{x/5}\right ) x}{5 \left (3 e^{x/5}-x\right ) \left (\log \left (-3 e^{x/5}+x\right )+2 \left (1+\frac {1}{2} \log \left (\frac {\log (2)}{4}\right )\right )\right ) \log \left (\log \left (-3 e^{x/5}+x\right )+2 \left (1+\frac {1}{2} \log \left (\frac {\log (2)}{4}\right )\right )\right ) \log ^2\left (\log \left (\log \left (-3 e^{x/5}+x\right )+2 \left (1+\frac {1}{2} \log \left (\frac {\log (2)}{4}\right )\right )\right )\right )}-\frac {1}{\log \left (\log \left (\log \left (-3 e^{x/5}+x\right )+2 \left (1+\frac {1}{2} \log \left (\frac {\log (2)}{4}\right )\right )\right )\right )}\right ) \, dx \\ & = \frac {x}{4}+\frac {1}{5} \int \frac {\left (-5+3 e^{x/5}\right ) x}{\left (3 e^{x/5}-x\right ) \left (\log \left (-3 e^{x/5}+x\right )+2 \left (1+\frac {1}{2} \log \left (\frac {\log (2)}{4}\right )\right )\right ) \log \left (\log \left (-3 e^{x/5}+x\right )+2 \left (1+\frac {1}{2} \log \left (\frac {\log (2)}{4}\right )\right )\right ) \log ^2\left (\log \left (\log \left (-3 e^{x/5}+x\right )+2 \left (1+\frac {1}{2} \log \left (\frac {\log (2)}{4}\right )\right )\right )\right )} \, dx-\int \frac {1}{\log \left (\log \left (\log \left (-3 e^{x/5}+x\right )+2 \left (1+\frac {1}{2} \log \left (\frac {\log (2)}{4}\right )\right )\right )\right )} \, dx \\ & = \frac {x}{4}+\frac {1}{5} \int \left (\frac {x}{\left (\log \left (-3 e^{x/5}+x\right )+2 \left (1+\frac {1}{2} \log \left (\frac {\log (2)}{4}\right )\right )\right ) \log \left (\log \left (-3 e^{x/5}+x\right )+2 \left (1+\frac {1}{2} \log \left (\frac {\log (2)}{4}\right )\right )\right ) \log ^2\left (\log \left (\log \left (-3 e^{x/5}+x\right )+2 \left (1+\frac {1}{2} \log \left (\frac {\log (2)}{4}\right )\right )\right )\right )}+\frac {(-5+x) x}{\left (3 e^{x/5}-x\right ) \left (\log \left (-3 e^{x/5}+x\right )+2 \left (1+\frac {1}{2} \log \left (\frac {\log (2)}{4}\right )\right )\right ) \log \left (\log \left (-3 e^{x/5}+x\right )+2 \left (1+\frac {1}{2} \log \left (\frac {\log (2)}{4}\right )\right )\right ) \log ^2\left (\log \left (\log \left (-3 e^{x/5}+x\right )+2 \left (1+\frac {1}{2} \log \left (\frac {\log (2)}{4}\right )\right )\right )\right )}\right ) \, dx-5 \text {Subst}\left (\int \frac {1}{\log \left (\log \left (\log \left (-3 e^x+5 x\right )+2 \left (1+\frac {1}{2} \log \left (\frac {\log (2)}{4}\right )\right )\right )\right )} \, dx,x,\frac {x}{5}\right ) \\ & = \frac {x}{4}+\frac {1}{5} \int \frac {x}{\left (\log \left (-3 e^{x/5}+x\right )+2 \left (1+\frac {1}{2} \log \left (\frac {\log (2)}{4}\right )\right )\right ) \log \left (\log \left (-3 e^{x/5}+x\right )+2 \left (1+\frac {1}{2} \log \left (\frac {\log (2)}{4}\right )\right )\right ) \log ^2\left (\log \left (\log \left (-3 e^{x/5}+x\right )+2 \left (1+\frac {1}{2} \log \left (\frac {\log (2)}{4}\right )\right )\right )\right )} \, dx+\frac {1}{5} \int \frac {(-5+x) x}{\left (3 e^{x/5}-x\right ) \left (\log \left (-3 e^{x/5}+x\right )+2 \left (1+\frac {1}{2} \log \left (\frac {\log (2)}{4}\right )\right )\right ) \log \left (\log \left (-3 e^{x/5}+x\right )+2 \left (1+\frac {1}{2} \log \left (\frac {\log (2)}{4}\right )\right )\right ) \log ^2\left (\log \left (\log \left (-3 e^{x/5}+x\right )+2 \left (1+\frac {1}{2} \log \left (\frac {\log (2)}{4}\right )\right )\right )\right )} \, dx-5 \text {Subst}\left (\int \frac {1}{\log \left (\log \left (\log \left (-3 e^x+5 x\right )+2 \left (1+\frac {1}{2} \log \left (\frac {\log (2)}{4}\right )\right )\right )\right )} \, dx,x,\frac {x}{5}\right ) \\ & = \frac {x}{4}+\frac {1}{5} \int \left (\frac {x^2}{\left (3 e^{x/5}-x\right ) \left (\log \left (-3 e^{x/5}+x\right )+2 \left (1+\frac {1}{2} \log \left (\frac {\log (2)}{4}\right )\right )\right ) \log \left (\log \left (-3 e^{x/5}+x\right )+2 \left (1+\frac {1}{2} \log \left (\frac {\log (2)}{4}\right )\right )\right ) \log ^2\left (\log \left (\log \left (-3 e^{x/5}+x\right )+2 \left (1+\frac {1}{2} \log \left (\frac {\log (2)}{4}\right )\right )\right )\right )}+\frac {5 x}{\left (-3 e^{x/5}+x\right ) \left (\log \left (-3 e^{x/5}+x\right )+2 \left (1+\frac {1}{2} \log \left (\frac {\log (2)}{4}\right )\right )\right ) \log \left (\log \left (-3 e^{x/5}+x\right )+2 \left (1+\frac {1}{2} \log \left (\frac {\log (2)}{4}\right )\right )\right ) \log ^2\left (\log \left (\log \left (-3 e^{x/5}+x\right )+2 \left (1+\frac {1}{2} \log \left (\frac {\log (2)}{4}\right )\right )\right )\right )}\right ) \, dx+\frac {1}{5} \int \frac {x}{\left (\log \left (-3 e^{x/5}+x\right )+2 \left (1+\frac {1}{2} \log \left (\frac {\log (2)}{4}\right )\right )\right ) \log \left (\log \left (-3 e^{x/5}+x\right )+2 \left (1+\frac {1}{2} \log \left (\frac {\log (2)}{4}\right )\right )\right ) \log ^2\left (\log \left (\log \left (-3 e^{x/5}+x\right )+2 \left (1+\frac {1}{2} \log \left (\frac {\log (2)}{4}\right )\right )\right )\right )} \, dx-5 \text {Subst}\left (\int \frac {1}{\log \left (\log \left (\log \left (-3 e^x+5 x\right )+2 \left (1+\frac {1}{2} \log \left (\frac {\log (2)}{4}\right )\right )\right )\right )} \, dx,x,\frac {x}{5}\right ) \\ & = \frac {x}{4}+\frac {1}{5} \int \frac {x}{\left (\log \left (-3 e^{x/5}+x\right )+2 \left (1+\frac {1}{2} \log \left (\frac {\log (2)}{4}\right )\right )\right ) \log \left (\log \left (-3 e^{x/5}+x\right )+2 \left (1+\frac {1}{2} \log \left (\frac {\log (2)}{4}\right )\right )\right ) \log ^2\left (\log \left (\log \left (-3 e^{x/5}+x\right )+2 \left (1+\frac {1}{2} \log \left (\frac {\log (2)}{4}\right )\right )\right )\right )} \, dx+\frac {1}{5} \int \frac {x^2}{\left (3 e^{x/5}-x\right ) \left (\log \left (-3 e^{x/5}+x\right )+2 \left (1+\frac {1}{2} \log \left (\frac {\log (2)}{4}\right )\right )\right ) \log \left (\log \left (-3 e^{x/5}+x\right )+2 \left (1+\frac {1}{2} \log \left (\frac {\log (2)}{4}\right )\right )\right ) \log ^2\left (\log \left (\log \left (-3 e^{x/5}+x\right )+2 \left (1+\frac {1}{2} \log \left (\frac {\log (2)}{4}\right )\right )\right )\right )} \, dx-5 \text {Subst}\left (\int \frac {1}{\log \left (\log \left (\log \left (-3 e^x+5 x\right )+2 \left (1+\frac {1}{2} \log \left (\frac {\log (2)}{4}\right )\right )\right )\right )} \, dx,x,\frac {x}{5}\right )+\int \frac {x}{\left (-3 e^{x/5}+x\right ) \left (\log \left (-3 e^{x/5}+x\right )+2 \left (1+\frac {1}{2} \log \left (\frac {\log (2)}{4}\right )\right )\right ) \log \left (\log \left (-3 e^{x/5}+x\right )+2 \left (1+\frac {1}{2} \log \left (\frac {\log (2)}{4}\right )\right )\right ) \log ^2\left (\log \left (\log \left (-3 e^{x/5}+x\right )+2 \left (1+\frac {1}{2} \log \left (\frac {\log (2)}{4}\right )\right )\right )\right )} \, dx \\ \end{align*}
Time = 0.30 (sec) , antiderivative size = 34, normalized size of antiderivative = 1.00 \[ \int \frac {-20 x+12 e^{x/5} x+\left (-60 e^{x/5}+20 x\right ) \log \left (\frac {1}{4} \left (-3 e^{2+\frac {x}{5}} \log (2)+e^2 x \log (2)\right )\right ) \log \left (\log \left (\frac {1}{4} \left (-3 e^{2+\frac {x}{5}} \log (2)+e^2 x \log (2)\right )\right )\right ) \log \left (\log \left (\log \left (\frac {1}{4} \left (-3 e^{2+\frac {x}{5}} \log (2)+e^2 x \log (2)\right )\right )\right )\right )+\left (15 e^{x/5}-5 x\right ) \log \left (\frac {1}{4} \left (-3 e^{2+\frac {x}{5}} \log (2)+e^2 x \log (2)\right )\right ) \log \left (\log \left (\frac {1}{4} \left (-3 e^{2+\frac {x}{5}} \log (2)+e^2 x \log (2)\right )\right )\right ) \log ^2\left (\log \left (\log \left (\frac {1}{4} \left (-3 e^{2+\frac {x}{5}} \log (2)+e^2 x \log (2)\right )\right )\right )\right )}{\left (60 e^{x/5}-20 x\right ) \log \left (\frac {1}{4} \left (-3 e^{2+\frac {x}{5}} \log (2)+e^2 x \log (2)\right )\right ) \log \left (\log \left (\frac {1}{4} \left (-3 e^{2+\frac {x}{5}} \log (2)+e^2 x \log (2)\right )\right )\right ) \log ^2\left (\log \left (\log \left (\frac {1}{4} \left (-3 e^{2+\frac {x}{5}} \log (2)+e^2 x \log (2)\right )\right )\right )\right )} \, dx=\frac {x}{4}-\frac {x}{\log \left (\log \left (2+\log \left (-3 e^{x/5}+x\right )+\log \left (\frac {\log (2)}{4}\right )\right )\right )} \]
[In]
[Out]
Time = 10.09 (sec) , antiderivative size = 31, normalized size of antiderivative = 0.91
method | result | size |
risch | \(\frac {x}{4}-\frac {x}{\ln \left (\ln \left (\ln \left (-\frac {3 \ln \left (2\right ) {\mathrm e}^{2+\frac {x}{5}}}{4}+\frac {x \,{\mathrm e}^{2} \ln \left (2\right )}{4}\right )\right )\right )}\) | \(31\) |
parallelrisch | \(\frac {30 \ln \left (\ln \left (\ln \left (-\frac {{\mathrm e}^{2} \ln \left (2\right ) \left (3 \,{\mathrm e}^{\frac {x}{5}}-x \right )}{4}\right )\right )\right ) x -120 x}{120 \ln \left (\ln \left (\ln \left (-\frac {{\mathrm e}^{2} \ln \left (2\right ) \left (3 \,{\mathrm e}^{\frac {x}{5}}-x \right )}{4}\right )\right )\right )}\) | \(50\) |
[In]
[Out]
none
Time = 0.28 (sec) , antiderivative size = 52, normalized size of antiderivative = 1.53 \[ \int \frac {-20 x+12 e^{x/5} x+\left (-60 e^{x/5}+20 x\right ) \log \left (\frac {1}{4} \left (-3 e^{2+\frac {x}{5}} \log (2)+e^2 x \log (2)\right )\right ) \log \left (\log \left (\frac {1}{4} \left (-3 e^{2+\frac {x}{5}} \log (2)+e^2 x \log (2)\right )\right )\right ) \log \left (\log \left (\log \left (\frac {1}{4} \left (-3 e^{2+\frac {x}{5}} \log (2)+e^2 x \log (2)\right )\right )\right )\right )+\left (15 e^{x/5}-5 x\right ) \log \left (\frac {1}{4} \left (-3 e^{2+\frac {x}{5}} \log (2)+e^2 x \log (2)\right )\right ) \log \left (\log \left (\frac {1}{4} \left (-3 e^{2+\frac {x}{5}} \log (2)+e^2 x \log (2)\right )\right )\right ) \log ^2\left (\log \left (\log \left (\frac {1}{4} \left (-3 e^{2+\frac {x}{5}} \log (2)+e^2 x \log (2)\right )\right )\right )\right )}{\left (60 e^{x/5}-20 x\right ) \log \left (\frac {1}{4} \left (-3 e^{2+\frac {x}{5}} \log (2)+e^2 x \log (2)\right )\right ) \log \left (\log \left (\frac {1}{4} \left (-3 e^{2+\frac {x}{5}} \log (2)+e^2 x \log (2)\right )\right )\right ) \log ^2\left (\log \left (\log \left (\frac {1}{4} \left (-3 e^{2+\frac {x}{5}} \log (2)+e^2 x \log (2)\right )\right )\right )\right )} \, dx=\frac {x \log \left (\log \left (\log \left (\frac {1}{4} \, x e^{2} \log \left (2\right ) - \frac {3}{4} \, e^{\left (\frac {1}{5} \, x + 2\right )} \log \left (2\right )\right )\right )\right ) - 4 \, x}{4 \, \log \left (\log \left (\log \left (\frac {1}{4} \, x e^{2} \log \left (2\right ) - \frac {3}{4} \, e^{\left (\frac {1}{5} \, x + 2\right )} \log \left (2\right )\right )\right )\right )} \]
[In]
[Out]
Time = 7.64 (sec) , antiderivative size = 34, normalized size of antiderivative = 1.00 \[ \int \frac {-20 x+12 e^{x/5} x+\left (-60 e^{x/5}+20 x\right ) \log \left (\frac {1}{4} \left (-3 e^{2+\frac {x}{5}} \log (2)+e^2 x \log (2)\right )\right ) \log \left (\log \left (\frac {1}{4} \left (-3 e^{2+\frac {x}{5}} \log (2)+e^2 x \log (2)\right )\right )\right ) \log \left (\log \left (\log \left (\frac {1}{4} \left (-3 e^{2+\frac {x}{5}} \log (2)+e^2 x \log (2)\right )\right )\right )\right )+\left (15 e^{x/5}-5 x\right ) \log \left (\frac {1}{4} \left (-3 e^{2+\frac {x}{5}} \log (2)+e^2 x \log (2)\right )\right ) \log \left (\log \left (\frac {1}{4} \left (-3 e^{2+\frac {x}{5}} \log (2)+e^2 x \log (2)\right )\right )\right ) \log ^2\left (\log \left (\log \left (\frac {1}{4} \left (-3 e^{2+\frac {x}{5}} \log (2)+e^2 x \log (2)\right )\right )\right )\right )}{\left (60 e^{x/5}-20 x\right ) \log \left (\frac {1}{4} \left (-3 e^{2+\frac {x}{5}} \log (2)+e^2 x \log (2)\right )\right ) \log \left (\log \left (\frac {1}{4} \left (-3 e^{2+\frac {x}{5}} \log (2)+e^2 x \log (2)\right )\right )\right ) \log ^2\left (\log \left (\log \left (\frac {1}{4} \left (-3 e^{2+\frac {x}{5}} \log (2)+e^2 x \log (2)\right )\right )\right )\right )} \, dx=\frac {x}{4} - \frac {x}{\log {\left (\log {\left (\log {\left (\frac {x e^{2} \log {\left (2 \right )}}{4} - \frac {3 e^{2} e^{\frac {x}{5}} \log {\left (2 \right )}}{4} \right )} \right )} \right )}} \]
[In]
[Out]
none
Time = 0.47 (sec) , antiderivative size = 50, normalized size of antiderivative = 1.47 \[ \int \frac {-20 x+12 e^{x/5} x+\left (-60 e^{x/5}+20 x\right ) \log \left (\frac {1}{4} \left (-3 e^{2+\frac {x}{5}} \log (2)+e^2 x \log (2)\right )\right ) \log \left (\log \left (\frac {1}{4} \left (-3 e^{2+\frac {x}{5}} \log (2)+e^2 x \log (2)\right )\right )\right ) \log \left (\log \left (\log \left (\frac {1}{4} \left (-3 e^{2+\frac {x}{5}} \log (2)+e^2 x \log (2)\right )\right )\right )\right )+\left (15 e^{x/5}-5 x\right ) \log \left (\frac {1}{4} \left (-3 e^{2+\frac {x}{5}} \log (2)+e^2 x \log (2)\right )\right ) \log \left (\log \left (\frac {1}{4} \left (-3 e^{2+\frac {x}{5}} \log (2)+e^2 x \log (2)\right )\right )\right ) \log ^2\left (\log \left (\log \left (\frac {1}{4} \left (-3 e^{2+\frac {x}{5}} \log (2)+e^2 x \log (2)\right )\right )\right )\right )}{\left (60 e^{x/5}-20 x\right ) \log \left (\frac {1}{4} \left (-3 e^{2+\frac {x}{5}} \log (2)+e^2 x \log (2)\right )\right ) \log \left (\log \left (\frac {1}{4} \left (-3 e^{2+\frac {x}{5}} \log (2)+e^2 x \log (2)\right )\right )\right ) \log ^2\left (\log \left (\log \left (\frac {1}{4} \left (-3 e^{2+\frac {x}{5}} \log (2)+e^2 x \log (2)\right )\right )\right )\right )} \, dx=\frac {x \log \left (\log \left (-2 \, \log \left (2\right ) + \log \left (x - 3 \, e^{\left (\frac {1}{5} \, x\right )}\right ) + \log \left (\log \left (2\right )\right ) + 2\right )\right ) - 4 \, x}{4 \, \log \left (\log \left (-2 \, \log \left (2\right ) + \log \left (x - 3 \, e^{\left (\frac {1}{5} \, x\right )}\right ) + \log \left (\log \left (2\right )\right ) + 2\right )\right )} \]
[In]
[Out]
none
Time = 0.67 (sec) , antiderivative size = 50, normalized size of antiderivative = 1.47 \[ \int \frac {-20 x+12 e^{x/5} x+\left (-60 e^{x/5}+20 x\right ) \log \left (\frac {1}{4} \left (-3 e^{2+\frac {x}{5}} \log (2)+e^2 x \log (2)\right )\right ) \log \left (\log \left (\frac {1}{4} \left (-3 e^{2+\frac {x}{5}} \log (2)+e^2 x \log (2)\right )\right )\right ) \log \left (\log \left (\log \left (\frac {1}{4} \left (-3 e^{2+\frac {x}{5}} \log (2)+e^2 x \log (2)\right )\right )\right )\right )+\left (15 e^{x/5}-5 x\right ) \log \left (\frac {1}{4} \left (-3 e^{2+\frac {x}{5}} \log (2)+e^2 x \log (2)\right )\right ) \log \left (\log \left (\frac {1}{4} \left (-3 e^{2+\frac {x}{5}} \log (2)+e^2 x \log (2)\right )\right )\right ) \log ^2\left (\log \left (\log \left (\frac {1}{4} \left (-3 e^{2+\frac {x}{5}} \log (2)+e^2 x \log (2)\right )\right )\right )\right )}{\left (60 e^{x/5}-20 x\right ) \log \left (\frac {1}{4} \left (-3 e^{2+\frac {x}{5}} \log (2)+e^2 x \log (2)\right )\right ) \log \left (\log \left (\frac {1}{4} \left (-3 e^{2+\frac {x}{5}} \log (2)+e^2 x \log (2)\right )\right )\right ) \log ^2\left (\log \left (\log \left (\frac {1}{4} \left (-3 e^{2+\frac {x}{5}} \log (2)+e^2 x \log (2)\right )\right )\right )\right )} \, dx=\frac {x \log \left (\log \left (-2 \, \log \left (2\right ) + \log \left (x - 3 \, e^{\left (\frac {1}{5} \, x\right )}\right ) + \log \left (\log \left (2\right )\right ) + 2\right )\right ) - 4 \, x}{4 \, \log \left (\log \left (-2 \, \log \left (2\right ) + \log \left (x - 3 \, e^{\left (\frac {1}{5} \, x\right )}\right ) + \log \left (\log \left (2\right )\right ) + 2\right )\right )} \]
[In]
[Out]
Time = 20.77 (sec) , antiderivative size = 30, normalized size of antiderivative = 0.88 \[ \int \frac {-20 x+12 e^{x/5} x+\left (-60 e^{x/5}+20 x\right ) \log \left (\frac {1}{4} \left (-3 e^{2+\frac {x}{5}} \log (2)+e^2 x \log (2)\right )\right ) \log \left (\log \left (\frac {1}{4} \left (-3 e^{2+\frac {x}{5}} \log (2)+e^2 x \log (2)\right )\right )\right ) \log \left (\log \left (\log \left (\frac {1}{4} \left (-3 e^{2+\frac {x}{5}} \log (2)+e^2 x \log (2)\right )\right )\right )\right )+\left (15 e^{x/5}-5 x\right ) \log \left (\frac {1}{4} \left (-3 e^{2+\frac {x}{5}} \log (2)+e^2 x \log (2)\right )\right ) \log \left (\log \left (\frac {1}{4} \left (-3 e^{2+\frac {x}{5}} \log (2)+e^2 x \log (2)\right )\right )\right ) \log ^2\left (\log \left (\log \left (\frac {1}{4} \left (-3 e^{2+\frac {x}{5}} \log (2)+e^2 x \log (2)\right )\right )\right )\right )}{\left (60 e^{x/5}-20 x\right ) \log \left (\frac {1}{4} \left (-3 e^{2+\frac {x}{5}} \log (2)+e^2 x \log (2)\right )\right ) \log \left (\log \left (\frac {1}{4} \left (-3 e^{2+\frac {x}{5}} \log (2)+e^2 x \log (2)\right )\right )\right ) \log ^2\left (\log \left (\log \left (\frac {1}{4} \left (-3 e^{2+\frac {x}{5}} \log (2)+e^2 x \log (2)\right )\right )\right )\right )} \, dx=\frac {x}{4}-\frac {x}{\ln \left (\ln \left (\ln \left (\frac {x\,{\mathrm {e}}^2\,\ln \left (2\right )}{4}-\frac {3\,{\mathrm {e}}^2\,\ln \left (2\right )\,{\left ({\mathrm {e}}^x\right )}^{1/5}}{4}\right )\right )\right )} \]
[In]
[Out]