Integrand size = 209, antiderivative size = 30 \[ \int \frac {-720+540 x+3 e^{4+x} x^3+\left (180 x-6 e^{4+x} x^2\right ) \log \left (\frac {x}{\log (5)}\right )+3 e^{4+x} x \log ^2\left (\frac {x}{\log (5)}\right )+\left (-720 x-180 x^2+3 e^{4+x} x^2+\left (720+180 x-6 e^{4+x} x\right ) \log \left (\frac {x}{\log (5)}\right )+3 e^{4+x} \log ^2\left (\frac {x}{\log (5)}\right )\right ) \log \left (\frac {-240-60 x+e^{4+x} x-e^{4+x} \log \left (\frac {x}{\log (5)}\right )}{-x+\log \left (\frac {x}{\log (5)}\right )}\right )}{-240 x-60 x^2+e^{4+x} x^2+\left (240+60 x-2 e^{4+x} x\right ) \log \left (\frac {x}{\log (5)}\right )+e^{4+x} \log ^2\left (\frac {x}{\log (5)}\right )} \, dx=3 x \log \left (-e^{4+x}+\frac {60 (4+x)}{x-\log \left (\frac {x}{\log (5)}\right )}\right ) \]
[Out]
\[ \int \frac {-720+540 x+3 e^{4+x} x^3+\left (180 x-6 e^{4+x} x^2\right ) \log \left (\frac {x}{\log (5)}\right )+3 e^{4+x} x \log ^2\left (\frac {x}{\log (5)}\right )+\left (-720 x-180 x^2+3 e^{4+x} x^2+\left (720+180 x-6 e^{4+x} x\right ) \log \left (\frac {x}{\log (5)}\right )+3 e^{4+x} \log ^2\left (\frac {x}{\log (5)}\right )\right ) \log \left (\frac {-240-60 x+e^{4+x} x-e^{4+x} \log \left (\frac {x}{\log (5)}\right )}{-x+\log \left (\frac {x}{\log (5)}\right )}\right )}{-240 x-60 x^2+e^{4+x} x^2+\left (240+60 x-2 e^{4+x} x\right ) \log \left (\frac {x}{\log (5)}\right )+e^{4+x} \log ^2\left (\frac {x}{\log (5)}\right )} \, dx=\int \frac {-720+540 x+3 e^{4+x} x^3+\left (180 x-6 e^{4+x} x^2\right ) \log \left (\frac {x}{\log (5)}\right )+3 e^{4+x} x \log ^2\left (\frac {x}{\log (5)}\right )+\left (-720 x-180 x^2+3 e^{4+x} x^2+\left (720+180 x-6 e^{4+x} x\right ) \log \left (\frac {x}{\log (5)}\right )+3 e^{4+x} \log ^2\left (\frac {x}{\log (5)}\right )\right ) \log \left (\frac {-240-60 x+e^{4+x} x-e^{4+x} \log \left (\frac {x}{\log (5)}\right )}{-x+\log \left (\frac {x}{\log (5)}\right )}\right )}{-240 x-60 x^2+e^{4+x} x^2+\left (240+60 x-2 e^{4+x} x\right ) \log \left (\frac {x}{\log (5)}\right )+e^{4+x} \log ^2\left (\frac {x}{\log (5)}\right )} \, dx \]
[In]
[Out]
Rubi steps \begin{align*} \text {integral}& = \int \frac {720-540 x-3 e^{4+x} x^3-\left (180 x-6 e^{4+x} x^2\right ) \log \left (\frac {x}{\log (5)}\right )-3 e^{4+x} x \log ^2\left (\frac {x}{\log (5)}\right )-\left (-720 x-180 x^2+3 e^{4+x} x^2+\left (720+180 x-6 e^{4+x} x\right ) \log \left (\frac {x}{\log (5)}\right )+3 e^{4+x} \log ^2\left (\frac {x}{\log (5)}\right )\right ) \log \left (\frac {-240-60 x+e^{4+x} x-e^{4+x} \log \left (\frac {x}{\log (5)}\right )}{-x+\log \left (\frac {x}{\log (5)}\right )}\right )}{\left (240+60 x-e^{4+x} x+e^{4+x} \log \left (\frac {x}{\log (5)}\right )\right ) (x-\log (x)+\log (\log (5)))} \, dx \\ & = \int \left (\frac {180 \left (-4+3 x+4 x^2+x^3-3 x \log \left (\frac {x}{\log (5)}\right )-x^2 \log \left (\frac {x}{\log (5)}\right )\right )}{\left (-240-60 x+e^{4+x} x-e^{4+x} \log \left (\frac {x}{\log (5)}\right )\right ) (x-\log (x)+\log (\log (5)))}+3 \left (x+\log \left (\frac {240+60 x-e^{4+x} x+e^{4+x} \log \left (\frac {x}{\log (5)}\right )}{x-\log (x)+\log (\log (5))}\right )\right )\right ) \, dx \\ & = 3 \int \left (x+\log \left (\frac {240+60 x-e^{4+x} x+e^{4+x} \log \left (\frac {x}{\log (5)}\right )}{x-\log (x)+\log (\log (5))}\right )\right ) \, dx+180 \int \frac {-4+3 x+4 x^2+x^3-3 x \log \left (\frac {x}{\log (5)}\right )-x^2 \log \left (\frac {x}{\log (5)}\right )}{\left (-240-60 x+e^{4+x} x-e^{4+x} \log \left (\frac {x}{\log (5)}\right )\right ) (x-\log (x)+\log (\log (5)))} \, dx \\ & = \frac {3 x^2}{2}+3 \int \log \left (\frac {240+60 x-e^{4+x} x+e^{4+x} \log \left (\frac {x}{\log (5)}\right )}{x-\log (x)+\log (\log (5))}\right ) \, dx+180 \int \left (-\frac {4}{\left (-240-60 x+e^{4+x} x-e^{4+x} \log \left (\frac {x}{\log (5)}\right )\right ) (x-\log (x)+\log (\log (5)))}+\frac {3 x}{\left (-240-60 x+e^{4+x} x-e^{4+x} \log \left (\frac {x}{\log (5)}\right )\right ) (x-\log (x)+\log (\log (5)))}+\frac {4 x^2}{\left (-240-60 x+e^{4+x} x-e^{4+x} \log \left (\frac {x}{\log (5)}\right )\right ) (x-\log (x)+\log (\log (5)))}+\frac {x^3}{\left (-240-60 x+e^{4+x} x-e^{4+x} \log \left (\frac {x}{\log (5)}\right )\right ) (x-\log (x)+\log (\log (5)))}-\frac {3 x \log \left (\frac {x}{\log (5)}\right )}{\left (-240-60 x+e^{4+x} x-e^{4+x} \log \left (\frac {x}{\log (5)}\right )\right ) (x-\log (x)+\log (\log (5)))}-\frac {x^2 \log \left (\frac {x}{\log (5)}\right )}{\left (-240-60 x+e^{4+x} x-e^{4+x} \log \left (\frac {x}{\log (5)}\right )\right ) (x-\log (x)+\log (\log (5)))}\right ) \, dx \\ & = \frac {3 x^2}{2}+3 x \log \left (\frac {240+60 x-e^{4+x} x+e^{4+x} \log \left (\frac {x}{\log (5)}\right )}{x-\log (x)+\log (\log (5))}\right )-3 \int \frac {-240+e^{4+x} x^3+e^{4+x} x \log ^2(x)+2 e^{4+x} x^2 \log (\log (5))+x \left (180-60 \log (\log (5))+e^{4+x} \log ^2(\log (5))\right )-2 x \log (x) \left (-30+e^{4+x} (x+\log (\log (5)))\right )}{\left (-240+\left (-60+e^{4+x}\right ) x-e^{4+x} \log \left (\frac {x}{\log (5)}\right )\right ) (x-\log (x)+\log (\log (5)))} \, dx+180 \int \frac {x^3}{\left (-240-60 x+e^{4+x} x-e^{4+x} \log \left (\frac {x}{\log (5)}\right )\right ) (x-\log (x)+\log (\log (5)))} \, dx-180 \int \frac {x^2 \log \left (\frac {x}{\log (5)}\right )}{\left (-240-60 x+e^{4+x} x-e^{4+x} \log \left (\frac {x}{\log (5)}\right )\right ) (x-\log (x)+\log (\log (5)))} \, dx+540 \int \frac {x}{\left (-240-60 x+e^{4+x} x-e^{4+x} \log \left (\frac {x}{\log (5)}\right )\right ) (x-\log (x)+\log (\log (5)))} \, dx-540 \int \frac {x \log \left (\frac {x}{\log (5)}\right )}{\left (-240-60 x+e^{4+x} x-e^{4+x} \log \left (\frac {x}{\log (5)}\right )\right ) (x-\log (x)+\log (\log (5)))} \, dx-720 \int \frac {1}{\left (-240-60 x+e^{4+x} x-e^{4+x} \log \left (\frac {x}{\log (5)}\right )\right ) (x-\log (x)+\log (\log (5)))} \, dx+720 \int \frac {x^2}{\left (-240-60 x+e^{4+x} x-e^{4+x} \log \left (\frac {x}{\log (5)}\right )\right ) (x-\log (x)+\log (\log (5)))} \, dx \\ & = \frac {3 x^2}{2}+3 x \log \left (\frac {240+60 x-e^{4+x} x+e^{4+x} \log \left (\frac {x}{\log (5)}\right )}{x-\log (x)+\log (\log (5))}\right )-3 \int \left (x+\frac {60 \left (4-x^3+3 x \log (x)+x^2 \log (x)-4 x^2 \left (1+\frac {1}{4} \log (\log (5))\right )-3 x (1+\log (\log (5)))\right )}{\left (240+60 x-e^{4+x} x+e^{4+x} \log \left (\frac {x}{\log (5)}\right )\right ) (x-\log (x)+\log (\log (5)))}\right ) \, dx+180 \int \frac {x^3}{\left (-240-60 x+e^{4+x} x-e^{4+x} \log \left (\frac {x}{\log (5)}\right )\right ) (x-\log (x)+\log (\log (5)))} \, dx-180 \int \frac {x^2 \log \left (\frac {x}{\log (5)}\right )}{\left (-240-60 x+e^{4+x} x-e^{4+x} \log \left (\frac {x}{\log (5)}\right )\right ) (x-\log (x)+\log (\log (5)))} \, dx+540 \int \frac {x}{\left (-240-60 x+e^{4+x} x-e^{4+x} \log \left (\frac {x}{\log (5)}\right )\right ) (x-\log (x)+\log (\log (5)))} \, dx-540 \int \frac {x \log \left (\frac {x}{\log (5)}\right )}{\left (-240-60 x+e^{4+x} x-e^{4+x} \log \left (\frac {x}{\log (5)}\right )\right ) (x-\log (x)+\log (\log (5)))} \, dx-720 \int \frac {1}{\left (-240-60 x+e^{4+x} x-e^{4+x} \log \left (\frac {x}{\log (5)}\right )\right ) (x-\log (x)+\log (\log (5)))} \, dx+720 \int \frac {x^2}{\left (-240-60 x+e^{4+x} x-e^{4+x} \log \left (\frac {x}{\log (5)}\right )\right ) (x-\log (x)+\log (\log (5)))} \, dx \\ & = 3 x \log \left (\frac {240+60 x-e^{4+x} x+e^{4+x} \log \left (\frac {x}{\log (5)}\right )}{x-\log (x)+\log (\log (5))}\right )+180 \int \frac {x^3}{\left (-240-60 x+e^{4+x} x-e^{4+x} \log \left (\frac {x}{\log (5)}\right )\right ) (x-\log (x)+\log (\log (5)))} \, dx-180 \int \frac {x^2 \log \left (\frac {x}{\log (5)}\right )}{\left (-240-60 x+e^{4+x} x-e^{4+x} \log \left (\frac {x}{\log (5)}\right )\right ) (x-\log (x)+\log (\log (5)))} \, dx-180 \int \frac {4-x^3+3 x \log (x)+x^2 \log (x)-4 x^2 \left (1+\frac {1}{4} \log (\log (5))\right )-3 x (1+\log (\log (5)))}{\left (240+60 x-e^{4+x} x+e^{4+x} \log \left (\frac {x}{\log (5)}\right )\right ) (x-\log (x)+\log (\log (5)))} \, dx+540 \int \frac {x}{\left (-240-60 x+e^{4+x} x-e^{4+x} \log \left (\frac {x}{\log (5)}\right )\right ) (x-\log (x)+\log (\log (5)))} \, dx-540 \int \frac {x \log \left (\frac {x}{\log (5)}\right )}{\left (-240-60 x+e^{4+x} x-e^{4+x} \log \left (\frac {x}{\log (5)}\right )\right ) (x-\log (x)+\log (\log (5)))} \, dx-720 \int \frac {1}{\left (-240-60 x+e^{4+x} x-e^{4+x} \log \left (\frac {x}{\log (5)}\right )\right ) (x-\log (x)+\log (\log (5)))} \, dx+720 \int \frac {x^2}{\left (-240-60 x+e^{4+x} x-e^{4+x} \log \left (\frac {x}{\log (5)}\right )\right ) (x-\log (x)+\log (\log (5)))} \, dx \\ & = 3 x \log \left (\frac {240+60 x-e^{4+x} x+e^{4+x} \log \left (\frac {x}{\log (5)}\right )}{x-\log (x)+\log (\log (5))}\right )+180 \int \frac {x^3}{\left (-240-60 x+e^{4+x} x-e^{4+x} \log \left (\frac {x}{\log (5)}\right )\right ) (x-\log (x)+\log (\log (5)))} \, dx-180 \int \frac {x^2 \log \left (\frac {x}{\log (5)}\right )}{\left (-240-60 x+e^{4+x} x-e^{4+x} \log \left (\frac {x}{\log (5)}\right )\right ) (x-\log (x)+\log (\log (5)))} \, dx-180 \int \left (-\frac {4}{\left (-240-60 x+e^{4+x} x-e^{4+x} \log \left (\frac {x}{\log (5)}\right )\right ) (x-\log (x)+\log (\log (5)))}+\frac {x^3}{\left (-240-60 x+e^{4+x} x-e^{4+x} \log \left (\frac {x}{\log (5)}\right )\right ) (x-\log (x)+\log (\log (5)))}-\frac {3 x \log (x)}{\left (-240-60 x+e^{4+x} x-e^{4+x} \log \left (\frac {x}{\log (5)}\right )\right ) (x-\log (x)+\log (\log (5)))}-\frac {x^2 \log (x)}{\left (-240-60 x+e^{4+x} x-e^{4+x} \log \left (\frac {x}{\log (5)}\right )\right ) (x-\log (x)+\log (\log (5)))}+\frac {3 x (1+\log (\log (5)))}{\left (-240-60 x+e^{4+x} x-e^{4+x} \log \left (\frac {x}{\log (5)}\right )\right ) (x-\log (x)+\log (\log (5)))}+\frac {x^2 (4+\log (\log (5)))}{\left (-240-60 x+e^{4+x} x-e^{4+x} \log \left (\frac {x}{\log (5)}\right )\right ) (x-\log (x)+\log (\log (5)))}\right ) \, dx+540 \int \frac {x}{\left (-240-60 x+e^{4+x} x-e^{4+x} \log \left (\frac {x}{\log (5)}\right )\right ) (x-\log (x)+\log (\log (5)))} \, dx-540 \int \frac {x \log \left (\frac {x}{\log (5)}\right )}{\left (-240-60 x+e^{4+x} x-e^{4+x} \log \left (\frac {x}{\log (5)}\right )\right ) (x-\log (x)+\log (\log (5)))} \, dx-720 \int \frac {1}{\left (-240-60 x+e^{4+x} x-e^{4+x} \log \left (\frac {x}{\log (5)}\right )\right ) (x-\log (x)+\log (\log (5)))} \, dx+720 \int \frac {x^2}{\left (-240-60 x+e^{4+x} x-e^{4+x} \log \left (\frac {x}{\log (5)}\right )\right ) (x-\log (x)+\log (\log (5)))} \, dx \\ & = 3 x \log \left (\frac {240+60 x-e^{4+x} x+e^{4+x} \log \left (\frac {x}{\log (5)}\right )}{x-\log (x)+\log (\log (5))}\right )+180 \int \frac {x^2 \log (x)}{\left (-240-60 x+e^{4+x} x-e^{4+x} \log \left (\frac {x}{\log (5)}\right )\right ) (x-\log (x)+\log (\log (5)))} \, dx-180 \int \frac {x^2 \log \left (\frac {x}{\log (5)}\right )}{\left (-240-60 x+e^{4+x} x-e^{4+x} \log \left (\frac {x}{\log (5)}\right )\right ) (x-\log (x)+\log (\log (5)))} \, dx+540 \int \frac {x}{\left (-240-60 x+e^{4+x} x-e^{4+x} \log \left (\frac {x}{\log (5)}\right )\right ) (x-\log (x)+\log (\log (5)))} \, dx+540 \int \frac {x \log (x)}{\left (-240-60 x+e^{4+x} x-e^{4+x} \log \left (\frac {x}{\log (5)}\right )\right ) (x-\log (x)+\log (\log (5)))} \, dx-540 \int \frac {x \log \left (\frac {x}{\log (5)}\right )}{\left (-240-60 x+e^{4+x} x-e^{4+x} \log \left (\frac {x}{\log (5)}\right )\right ) (x-\log (x)+\log (\log (5)))} \, dx+720 \int \frac {x^2}{\left (-240-60 x+e^{4+x} x-e^{4+x} \log \left (\frac {x}{\log (5)}\right )\right ) (x-\log (x)+\log (\log (5)))} \, dx-(540 (1+\log (\log (5)))) \int \frac {x}{\left (-240-60 x+e^{4+x} x-e^{4+x} \log \left (\frac {x}{\log (5)}\right )\right ) (x-\log (x)+\log (\log (5)))} \, dx-(180 (4+\log (\log (5)))) \int \frac {x^2}{\left (-240-60 x+e^{4+x} x-e^{4+x} \log \left (\frac {x}{\log (5)}\right )\right ) (x-\log (x)+\log (\log (5)))} \, dx \\ \end{align*}
\[ \int \frac {-720+540 x+3 e^{4+x} x^3+\left (180 x-6 e^{4+x} x^2\right ) \log \left (\frac {x}{\log (5)}\right )+3 e^{4+x} x \log ^2\left (\frac {x}{\log (5)}\right )+\left (-720 x-180 x^2+3 e^{4+x} x^2+\left (720+180 x-6 e^{4+x} x\right ) \log \left (\frac {x}{\log (5)}\right )+3 e^{4+x} \log ^2\left (\frac {x}{\log (5)}\right )\right ) \log \left (\frac {-240-60 x+e^{4+x} x-e^{4+x} \log \left (\frac {x}{\log (5)}\right )}{-x+\log \left (\frac {x}{\log (5)}\right )}\right )}{-240 x-60 x^2+e^{4+x} x^2+\left (240+60 x-2 e^{4+x} x\right ) \log \left (\frac {x}{\log (5)}\right )+e^{4+x} \log ^2\left (\frac {x}{\log (5)}\right )} \, dx=\int \frac {-720+540 x+3 e^{4+x} x^3+\left (180 x-6 e^{4+x} x^2\right ) \log \left (\frac {x}{\log (5)}\right )+3 e^{4+x} x \log ^2\left (\frac {x}{\log (5)}\right )+\left (-720 x-180 x^2+3 e^{4+x} x^2+\left (720+180 x-6 e^{4+x} x\right ) \log \left (\frac {x}{\log (5)}\right )+3 e^{4+x} \log ^2\left (\frac {x}{\log (5)}\right )\right ) \log \left (\frac {-240-60 x+e^{4+x} x-e^{4+x} \log \left (\frac {x}{\log (5)}\right )}{-x+\log \left (\frac {x}{\log (5)}\right )}\right )}{-240 x-60 x^2+e^{4+x} x^2+\left (240+60 x-2 e^{4+x} x\right ) \log \left (\frac {x}{\log (5)}\right )+e^{4+x} \log ^2\left (\frac {x}{\log (5)}\right )} \, dx \]
[In]
[Out]
Time = 11.23 (sec) , antiderivative size = 44, normalized size of antiderivative = 1.47
method | result | size |
parallelrisch | \(3 \ln \left (-\frac {{\mathrm e}^{4+x} \ln \left (\frac {x}{\ln \left (5\right )}\right )-x \,{\mathrm e}^{4+x}+60 x +240}{\ln \left (\frac {x}{\ln \left (5\right )}\right )-x}\right ) x\) | \(44\) |
risch | \(3 x \ln \left (\left ({\mathrm e}^{4+x}-60\right ) x -{\mathrm e}^{4+x} \ln \left (\frac {x}{\ln \left (5\right )}\right )-240\right )-3 x \ln \left (-\ln \left (\frac {x}{\ln \left (5\right )}\right )+x \right )-3 i \pi x {\operatorname {csgn}\left (\frac {i \left (\left ({\mathrm e}^{4+x}-60\right ) x -{\mathrm e}^{4+x} \ln \left (\frac {x}{\ln \left (5\right )}\right )-240\right )}{-\ln \left (\frac {x}{\ln \left (5\right )}\right )+x}\right )}^{2}-\frac {3 i \pi x \,\operatorname {csgn}\left (\frac {i}{-\ln \left (\frac {x}{\ln \left (5\right )}\right )+x}\right ) \operatorname {csgn}\left (i \left (\left ({\mathrm e}^{4+x}-60\right ) x -{\mathrm e}^{4+x} \ln \left (\frac {x}{\ln \left (5\right )}\right )-240\right )\right ) \operatorname {csgn}\left (\frac {i \left (\left ({\mathrm e}^{4+x}-60\right ) x -{\mathrm e}^{4+x} \ln \left (\frac {x}{\ln \left (5\right )}\right )-240\right )}{-\ln \left (\frac {x}{\ln \left (5\right )}\right )+x}\right )}{2}+\frac {3 i \pi x \,\operatorname {csgn}\left (\frac {i}{-\ln \left (\frac {x}{\ln \left (5\right )}\right )+x}\right ) {\operatorname {csgn}\left (\frac {i \left (\left ({\mathrm e}^{4+x}-60\right ) x -{\mathrm e}^{4+x} \ln \left (\frac {x}{\ln \left (5\right )}\right )-240\right )}{-\ln \left (\frac {x}{\ln \left (5\right )}\right )+x}\right )}^{2}}{2}+\frac {3 i \pi x \,\operatorname {csgn}\left (i \left (\left ({\mathrm e}^{4+x}-60\right ) x -{\mathrm e}^{4+x} \ln \left (\frac {x}{\ln \left (5\right )}\right )-240\right )\right ) {\operatorname {csgn}\left (\frac {i \left (\left ({\mathrm e}^{4+x}-60\right ) x -{\mathrm e}^{4+x} \ln \left (\frac {x}{\ln \left (5\right )}\right )-240\right )}{-\ln \left (\frac {x}{\ln \left (5\right )}\right )+x}\right )}^{2}}{2}+\frac {3 i \pi x {\operatorname {csgn}\left (\frac {i \left (\left ({\mathrm e}^{4+x}-60\right ) x -{\mathrm e}^{4+x} \ln \left (\frac {x}{\ln \left (5\right )}\right )-240\right )}{-\ln \left (\frac {x}{\ln \left (5\right )}\right )+x}\right )}^{3}}{2}+3 i \pi x\) | \(370\) |
[In]
[Out]
none
Time = 0.25 (sec) , antiderivative size = 43, normalized size of antiderivative = 1.43 \[ \int \frac {-720+540 x+3 e^{4+x} x^3+\left (180 x-6 e^{4+x} x^2\right ) \log \left (\frac {x}{\log (5)}\right )+3 e^{4+x} x \log ^2\left (\frac {x}{\log (5)}\right )+\left (-720 x-180 x^2+3 e^{4+x} x^2+\left (720+180 x-6 e^{4+x} x\right ) \log \left (\frac {x}{\log (5)}\right )+3 e^{4+x} \log ^2\left (\frac {x}{\log (5)}\right )\right ) \log \left (\frac {-240-60 x+e^{4+x} x-e^{4+x} \log \left (\frac {x}{\log (5)}\right )}{-x+\log \left (\frac {x}{\log (5)}\right )}\right )}{-240 x-60 x^2+e^{4+x} x^2+\left (240+60 x-2 e^{4+x} x\right ) \log \left (\frac {x}{\log (5)}\right )+e^{4+x} \log ^2\left (\frac {x}{\log (5)}\right )} \, dx=3 \, x \log \left (-\frac {x e^{\left (x + 4\right )} - e^{\left (x + 4\right )} \log \left (\frac {x}{\log \left (5\right )}\right ) - 60 \, x - 240}{x - \log \left (\frac {x}{\log \left (5\right )}\right )}\right ) \]
[In]
[Out]
Exception generated. \[ \int \frac {-720+540 x+3 e^{4+x} x^3+\left (180 x-6 e^{4+x} x^2\right ) \log \left (\frac {x}{\log (5)}\right )+3 e^{4+x} x \log ^2\left (\frac {x}{\log (5)}\right )+\left (-720 x-180 x^2+3 e^{4+x} x^2+\left (720+180 x-6 e^{4+x} x\right ) \log \left (\frac {x}{\log (5)}\right )+3 e^{4+x} \log ^2\left (\frac {x}{\log (5)}\right )\right ) \log \left (\frac {-240-60 x+e^{4+x} x-e^{4+x} \log \left (\frac {x}{\log (5)}\right )}{-x+\log \left (\frac {x}{\log (5)}\right )}\right )}{-240 x-60 x^2+e^{4+x} x^2+\left (240+60 x-2 e^{4+x} x\right ) \log \left (\frac {x}{\log (5)}\right )+e^{4+x} \log ^2\left (\frac {x}{\log (5)}\right )} \, dx=\text {Exception raised: TypeError} \]
[In]
[Out]
none
Time = 0.34 (sec) , antiderivative size = 45, normalized size of antiderivative = 1.50 \[ \int \frac {-720+540 x+3 e^{4+x} x^3+\left (180 x-6 e^{4+x} x^2\right ) \log \left (\frac {x}{\log (5)}\right )+3 e^{4+x} x \log ^2\left (\frac {x}{\log (5)}\right )+\left (-720 x-180 x^2+3 e^{4+x} x^2+\left (720+180 x-6 e^{4+x} x\right ) \log \left (\frac {x}{\log (5)}\right )+3 e^{4+x} \log ^2\left (\frac {x}{\log (5)}\right )\right ) \log \left (\frac {-240-60 x+e^{4+x} x-e^{4+x} \log \left (\frac {x}{\log (5)}\right )}{-x+\log \left (\frac {x}{\log (5)}\right )}\right )}{-240 x-60 x^2+e^{4+x} x^2+\left (240+60 x-2 e^{4+x} x\right ) \log \left (\frac {x}{\log (5)}\right )+e^{4+x} \log ^2\left (\frac {x}{\log (5)}\right )} \, dx=3 \, x \log \left (-{\left (x e^{4} + e^{4} \log \left (\log \left (5\right )\right )\right )} e^{x} + e^{\left (x + 4\right )} \log \left (x\right ) + 60 \, x + 240\right ) - 3 \, x \log \left (x - \log \left (x\right ) + \log \left (\log \left (5\right )\right )\right ) \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 109 vs. \(2 (29) = 58\).
Time = 0.84 (sec) , antiderivative size = 109, normalized size of antiderivative = 3.63 \[ \int \frac {-720+540 x+3 e^{4+x} x^3+\left (180 x-6 e^{4+x} x^2\right ) \log \left (\frac {x}{\log (5)}\right )+3 e^{4+x} x \log ^2\left (\frac {x}{\log (5)}\right )+\left (-720 x-180 x^2+3 e^{4+x} x^2+\left (720+180 x-6 e^{4+x} x\right ) \log \left (\frac {x}{\log (5)}\right )+3 e^{4+x} \log ^2\left (\frac {x}{\log (5)}\right )\right ) \log \left (\frac {-240-60 x+e^{4+x} x-e^{4+x} \log \left (\frac {x}{\log (5)}\right )}{-x+\log \left (\frac {x}{\log (5)}\right )}\right )}{-240 x-60 x^2+e^{4+x} x^2+\left (240+60 x-2 e^{4+x} x\right ) \log \left (\frac {x}{\log (5)}\right )+e^{4+x} \log ^2\left (\frac {x}{\log (5)}\right )} \, dx=3 \, {\left (x + 4\right )} \log \left (-{\left (x + 4\right )} e^{\left (x + 4\right )} + e^{\left (x + 4\right )} \log \left (x\right ) - e^{\left (x + 4\right )} \log \left (\log \left (5\right )\right ) + 60 \, x + 4 \, e^{\left (x + 4\right )} + 240\right ) - 3 \, {\left (x + 4\right )} \log \left (x - \log \left (x\right ) + \log \left (\log \left (5\right )\right )\right ) - 12 \, \log \left (-{\left (x + 4\right )} e^{\left (x + 4\right )} + e^{\left (x + 4\right )} \log \left (x\right ) - e^{\left (x + 4\right )} \log \left (\log \left (5\right )\right ) + 60 \, x + 4 \, e^{\left (x + 4\right )} + 240\right ) + 12 \, \log \left (x - \log \left (x\right ) + \log \left (\log \left (5\right )\right )\right ) \]
[In]
[Out]
Time = 14.20 (sec) , antiderivative size = 42, normalized size of antiderivative = 1.40 \[ \int \frac {-720+540 x+3 e^{4+x} x^3+\left (180 x-6 e^{4+x} x^2\right ) \log \left (\frac {x}{\log (5)}\right )+3 e^{4+x} x \log ^2\left (\frac {x}{\log (5)}\right )+\left (-720 x-180 x^2+3 e^{4+x} x^2+\left (720+180 x-6 e^{4+x} x\right ) \log \left (\frac {x}{\log (5)}\right )+3 e^{4+x} \log ^2\left (\frac {x}{\log (5)}\right )\right ) \log \left (\frac {-240-60 x+e^{4+x} x-e^{4+x} \log \left (\frac {x}{\log (5)}\right )}{-x+\log \left (\frac {x}{\log (5)}\right )}\right )}{-240 x-60 x^2+e^{4+x} x^2+\left (240+60 x-2 e^{4+x} x\right ) \log \left (\frac {x}{\log (5)}\right )+e^{4+x} \log ^2\left (\frac {x}{\log (5)}\right )} \, dx=3\,x\,\ln \left (\frac {60\,x-x\,{\mathrm {e}}^4\,{\mathrm {e}}^x+\ln \left (\frac {x}{\ln \left (5\right )}\right )\,{\mathrm {e}}^4\,{\mathrm {e}}^x+240}{x-\ln \left (\frac {x}{\ln \left (5\right )}\right )}\right ) \]
[In]
[Out]