Integrand size = 78, antiderivative size = 20 \[ \int \frac {2 x+4 x^2+2 x^3+\left (2 x+6 x^2+4 x^3\right ) \log (x) \log (\log (x)) \log \left (\log ^2(\log (x))\right )}{-e^{25} \log (x) \log (\log (x))+\left (x^2+2 x^3+x^4\right ) \log (x) \log (\log (x)) \log \left (\log ^2(\log (x))\right )} \, dx=\log \left (e^{25}-\left (x+x^2\right )^2 \log \left (\log ^2(\log (x))\right )\right ) \]
[Out]
\[ \int \frac {2 x+4 x^2+2 x^3+\left (2 x+6 x^2+4 x^3\right ) \log (x) \log (\log (x)) \log \left (\log ^2(\log (x))\right )}{-e^{25} \log (x) \log (\log (x))+\left (x^2+2 x^3+x^4\right ) \log (x) \log (\log (x)) \log \left (\log ^2(\log (x))\right )} \, dx=\int \frac {2 x+4 x^2+2 x^3+\left (2 x+6 x^2+4 x^3\right ) \log (x) \log (\log (x)) \log \left (\log ^2(\log (x))\right )}{-e^{25} \log (x) \log (\log (x))+\left (x^2+2 x^3+x^4\right ) \log (x) \log (\log (x)) \log \left (\log ^2(\log (x))\right )} \, dx \]
[In]
[Out]
Rubi steps \begin{align*} \text {integral}& = \int \frac {2 x (1+x) \left (-1-x-\log (x) \log (\log (x)) \log \left (\log ^2(\log (x))\right )-2 x \log (x) \log (\log (x)) \log \left (\log ^2(\log (x))\right )\right )}{e^{25} \log (x) \log (\log (x))-\left (x^2+2 x^3+x^4\right ) \log (x) \log (\log (x)) \log \left (\log ^2(\log (x))\right )} \, dx \\ & = 2 \int \frac {x (1+x) \left (-1-x-\log (x) \log (\log (x)) \log \left (\log ^2(\log (x))\right )-2 x \log (x) \log (\log (x)) \log \left (\log ^2(\log (x))\right )\right )}{e^{25} \log (x) \log (\log (x))-\left (x^2+2 x^3+x^4\right ) \log (x) \log (\log (x)) \log \left (\log ^2(\log (x))\right )} \, dx \\ & = 2 \int \left (\frac {1+2 x}{x (1+x)}+\frac {x^2+3 x^3+3 x^4+x^5+e^{25} \log (x) \log (\log (x))+2 e^{25} x \log (x) \log (\log (x))}{x (1+x) \log (x) \log (\log (x)) \left (-e^{25}+x^2 \log \left (\log ^2(\log (x))\right )+2 x^3 \log \left (\log ^2(\log (x))\right )+x^4 \log \left (\log ^2(\log (x))\right )\right )}\right ) \, dx \\ & = 2 \int \frac {1+2 x}{x (1+x)} \, dx+2 \int \frac {x^2+3 x^3+3 x^4+x^5+e^{25} \log (x) \log (\log (x))+2 e^{25} x \log (x) \log (\log (x))}{x (1+x) \log (x) \log (\log (x)) \left (-e^{25}+x^2 \log \left (\log ^2(\log (x))\right )+2 x^3 \log \left (\log ^2(\log (x))\right )+x^4 \log \left (\log ^2(\log (x))\right )\right )} \, dx \\ & = 2 \int \left (\frac {1}{x}+\frac {1}{1+x}\right ) \, dx+2 \int \frac {-x^2 (1+x)^3-e^{25} (1+2 x) \log (x) \log (\log (x))}{x (1+x) \log (x) \log (\log (x)) \left (e^{25}-x^2 (1+x)^2 \log \left (\log ^2(\log (x))\right )\right )} \, dx \\ & = 2 \log (x)+2 \log (1+x)+2 \int \left (\frac {-x^2-3 x^3-3 x^4-x^5-e^{25} \log (x) \log (\log (x))-2 e^{25} x \log (x) \log (\log (x))}{(1+x) \log (x) \log (\log (x)) \left (-e^{25}+x^2 \log \left (\log ^2(\log (x))\right )+2 x^3 \log \left (\log ^2(\log (x))\right )+x^4 \log \left (\log ^2(\log (x))\right )\right )}+\frac {x^2+3 x^3+3 x^4+x^5+e^{25} \log (x) \log (\log (x))+2 e^{25} x \log (x) \log (\log (x))}{x \log (x) \log (\log (x)) \left (-e^{25}+x^2 \log \left (\log ^2(\log (x))\right )+2 x^3 \log \left (\log ^2(\log (x))\right )+x^4 \log \left (\log ^2(\log (x))\right )\right )}\right ) \, dx \\ & = 2 \log (x)+2 \log (1+x)+2 \int \frac {-x^2-3 x^3-3 x^4-x^5-e^{25} \log (x) \log (\log (x))-2 e^{25} x \log (x) \log (\log (x))}{(1+x) \log (x) \log (\log (x)) \left (-e^{25}+x^2 \log \left (\log ^2(\log (x))\right )+2 x^3 \log \left (\log ^2(\log (x))\right )+x^4 \log \left (\log ^2(\log (x))\right )\right )} \, dx+2 \int \frac {x^2+3 x^3+3 x^4+x^5+e^{25} \log (x) \log (\log (x))+2 e^{25} x \log (x) \log (\log (x))}{x \log (x) \log (\log (x)) \left (-e^{25}+x^2 \log \left (\log ^2(\log (x))\right )+2 x^3 \log \left (\log ^2(\log (x))\right )+x^4 \log \left (\log ^2(\log (x))\right )\right )} \, dx \\ & = 2 \log (x)+2 \log (1+x)+2 \int \frac {-x^2 (1+x)^3-e^{25} (1+2 x) \log (x) \log (\log (x))}{x \log (x) \log (\log (x)) \left (e^{25}-x^2 (1+x)^2 \log \left (\log ^2(\log (x))\right )\right )} \, dx+2 \int \frac {x^2 (1+x)^3+e^{25} (1+2 x) \log (x) \log (\log (x))}{(1+x) \log (x) \log (\log (x)) \left (e^{25}-x^2 (1+x)^2 \log \left (\log ^2(\log (x))\right )\right )} \, dx \\ & = 2 \log (x)+2 \log (1+x)+2 \int \left (-\frac {2 e^{25}}{e^{25}-x^2 \log \left (\log ^2(\log (x))\right )-2 x^3 \log \left (\log ^2(\log (x))\right )-x^4 \log \left (\log ^2(\log (x))\right )}-\frac {e^{25}}{x \left (e^{25}-x^2 \log \left (\log ^2(\log (x))\right )-2 x^3 \log \left (\log ^2(\log (x))\right )-x^4 \log \left (\log ^2(\log (x))\right )\right )}+\frac {x}{\log (x) \log (\log (x)) \left (-e^{25}+x^2 \log \left (\log ^2(\log (x))\right )+2 x^3 \log \left (\log ^2(\log (x))\right )+x^4 \log \left (\log ^2(\log (x))\right )\right )}+\frac {3 x^2}{\log (x) \log (\log (x)) \left (-e^{25}+x^2 \log \left (\log ^2(\log (x))\right )+2 x^3 \log \left (\log ^2(\log (x))\right )+x^4 \log \left (\log ^2(\log (x))\right )\right )}+\frac {3 x^3}{\log (x) \log (\log (x)) \left (-e^{25}+x^2 \log \left (\log ^2(\log (x))\right )+2 x^3 \log \left (\log ^2(\log (x))\right )+x^4 \log \left (\log ^2(\log (x))\right )\right )}+\frac {x^4}{\log (x) \log (\log (x)) \left (-e^{25}+x^2 \log \left (\log ^2(\log (x))\right )+2 x^3 \log \left (\log ^2(\log (x))\right )+x^4 \log \left (\log ^2(\log (x))\right )\right )}\right ) \, dx+2 \int \left (\frac {e^{25}}{(1+x) \left (e^{25}-x^2 \log \left (\log ^2(\log (x))\right )-2 x^3 \log \left (\log ^2(\log (x))\right )-x^4 \log \left (\log ^2(\log (x))\right )\right )}+\frac {2 e^{25} x}{(1+x) \left (e^{25}-x^2 \log \left (\log ^2(\log (x))\right )-2 x^3 \log \left (\log ^2(\log (x))\right )-x^4 \log \left (\log ^2(\log (x))\right )\right )}-\frac {x^2}{(1+x) \log (x) \log (\log (x)) \left (-e^{25}+x^2 \log \left (\log ^2(\log (x))\right )+2 x^3 \log \left (\log ^2(\log (x))\right )+x^4 \log \left (\log ^2(\log (x))\right )\right )}-\frac {3 x^3}{(1+x) \log (x) \log (\log (x)) \left (-e^{25}+x^2 \log \left (\log ^2(\log (x))\right )+2 x^3 \log \left (\log ^2(\log (x))\right )+x^4 \log \left (\log ^2(\log (x))\right )\right )}-\frac {3 x^4}{(1+x) \log (x) \log (\log (x)) \left (-e^{25}+x^2 \log \left (\log ^2(\log (x))\right )+2 x^3 \log \left (\log ^2(\log (x))\right )+x^4 \log \left (\log ^2(\log (x))\right )\right )}-\frac {x^5}{(1+x) \log (x) \log (\log (x)) \left (-e^{25}+x^2 \log \left (\log ^2(\log (x))\right )+2 x^3 \log \left (\log ^2(\log (x))\right )+x^4 \log \left (\log ^2(\log (x))\right )\right )}\right ) \, dx \\ & = 2 \log (x)+2 \log (1+x)+2 \int \frac {x}{\log (x) \log (\log (x)) \left (-e^{25}+x^2 \log \left (\log ^2(\log (x))\right )+2 x^3 \log \left (\log ^2(\log (x))\right )+x^4 \log \left (\log ^2(\log (x))\right )\right )} \, dx+2 \int \frac {x^4}{\log (x) \log (\log (x)) \left (-e^{25}+x^2 \log \left (\log ^2(\log (x))\right )+2 x^3 \log \left (\log ^2(\log (x))\right )+x^4 \log \left (\log ^2(\log (x))\right )\right )} \, dx-2 \int \frac {x^2}{(1+x) \log (x) \log (\log (x)) \left (-e^{25}+x^2 \log \left (\log ^2(\log (x))\right )+2 x^3 \log \left (\log ^2(\log (x))\right )+x^4 \log \left (\log ^2(\log (x))\right )\right )} \, dx-2 \int \frac {x^5}{(1+x) \log (x) \log (\log (x)) \left (-e^{25}+x^2 \log \left (\log ^2(\log (x))\right )+2 x^3 \log \left (\log ^2(\log (x))\right )+x^4 \log \left (\log ^2(\log (x))\right )\right )} \, dx+6 \int \frac {x^2}{\log (x) \log (\log (x)) \left (-e^{25}+x^2 \log \left (\log ^2(\log (x))\right )+2 x^3 \log \left (\log ^2(\log (x))\right )+x^4 \log \left (\log ^2(\log (x))\right )\right )} \, dx+6 \int \frac {x^3}{\log (x) \log (\log (x)) \left (-e^{25}+x^2 \log \left (\log ^2(\log (x))\right )+2 x^3 \log \left (\log ^2(\log (x))\right )+x^4 \log \left (\log ^2(\log (x))\right )\right )} \, dx-6 \int \frac {x^3}{(1+x) \log (x) \log (\log (x)) \left (-e^{25}+x^2 \log \left (\log ^2(\log (x))\right )+2 x^3 \log \left (\log ^2(\log (x))\right )+x^4 \log \left (\log ^2(\log (x))\right )\right )} \, dx-6 \int \frac {x^4}{(1+x) \log (x) \log (\log (x)) \left (-e^{25}+x^2 \log \left (\log ^2(\log (x))\right )+2 x^3 \log \left (\log ^2(\log (x))\right )+x^4 \log \left (\log ^2(\log (x))\right )\right )} \, dx-\left (2 e^{25}\right ) \int \frac {1}{x \left (e^{25}-x^2 \log \left (\log ^2(\log (x))\right )-2 x^3 \log \left (\log ^2(\log (x))\right )-x^4 \log \left (\log ^2(\log (x))\right )\right )} \, dx+\left (2 e^{25}\right ) \int \frac {1}{(1+x) \left (e^{25}-x^2 \log \left (\log ^2(\log (x))\right )-2 x^3 \log \left (\log ^2(\log (x))\right )-x^4 \log \left (\log ^2(\log (x))\right )\right )} \, dx-\left (4 e^{25}\right ) \int \frac {1}{e^{25}-x^2 \log \left (\log ^2(\log (x))\right )-2 x^3 \log \left (\log ^2(\log (x))\right )-x^4 \log \left (\log ^2(\log (x))\right )} \, dx+\left (4 e^{25}\right ) \int \frac {x}{(1+x) \left (e^{25}-x^2 \log \left (\log ^2(\log (x))\right )-2 x^3 \log \left (\log ^2(\log (x))\right )-x^4 \log \left (\log ^2(\log (x))\right )\right )} \, dx \\ & = 2 \log (x)+2 \log (1+x)-2 \int \frac {x^2}{(-1-x) \log (x) \log (\log (x)) \left (e^{25}-x^2 (1+x)^2 \log \left (\log ^2(\log (x))\right )\right )} \, dx-2 \int \frac {x^5}{(-1-x) \log (x) \log (\log (x)) \left (e^{25}-x^2 (1+x)^2 \log \left (\log ^2(\log (x))\right )\right )} \, dx+2 \int \frac {x}{\log (x) \log (\log (x)) \left (-e^{25}+x^2 (1+x)^2 \log \left (\log ^2(\log (x))\right )\right )} \, dx+2 \int \frac {x^4}{\log (x) \log (\log (x)) \left (-e^{25}+x^2 (1+x)^2 \log \left (\log ^2(\log (x))\right )\right )} \, dx-6 \int \frac {x^3}{(-1-x) \log (x) \log (\log (x)) \left (e^{25}-x^2 (1+x)^2 \log \left (\log ^2(\log (x))\right )\right )} \, dx-6 \int \frac {x^4}{(-1-x) \log (x) \log (\log (x)) \left (e^{25}-x^2 (1+x)^2 \log \left (\log ^2(\log (x))\right )\right )} \, dx+6 \int \frac {x^2}{\log (x) \log (\log (x)) \left (-e^{25}+x^2 (1+x)^2 \log \left (\log ^2(\log (x))\right )\right )} \, dx+6 \int \frac {x^3}{\log (x) \log (\log (x)) \left (-e^{25}+x^2 (1+x)^2 \log \left (\log ^2(\log (x))\right )\right )} \, dx+\left (2 e^{25}\right ) \int \frac {1}{(1+x) \left (e^{25}-x^2 (1+x)^2 \log \left (\log ^2(\log (x))\right )\right )} \, dx-\left (2 e^{25}\right ) \int \frac {1}{e^{25} x-x^3 (1+x)^2 \log \left (\log ^2(\log (x))\right )} \, dx-\left (4 e^{25}\right ) \int \frac {1}{e^{25}-x^2 (1+x)^2 \log \left (\log ^2(\log (x))\right )} \, dx+\left (4 e^{25}\right ) \int \frac {x}{(1+x) \left (e^{25}-x^2 (1+x)^2 \log \left (\log ^2(\log (x))\right )\right )} \, dx \\ & = \text {Too large to display} \\ \end{align*}
Time = 0.63 (sec) , antiderivative size = 38, normalized size of antiderivative = 1.90 \[ \int \frac {2 x+4 x^2+2 x^3+\left (2 x+6 x^2+4 x^3\right ) \log (x) \log (\log (x)) \log \left (\log ^2(\log (x))\right )}{-e^{25} \log (x) \log (\log (x))+\left (x^2+2 x^3+x^4\right ) \log (x) \log (\log (x)) \log \left (\log ^2(\log (x))\right )} \, dx=\log \left (e^{25}-x^2 \log \left (\log ^2(\log (x))\right )-2 x^3 \log \left (\log ^2(\log (x))\right )-x^4 \log \left (\log ^2(\log (x))\right )\right ) \]
[In]
[Out]
Time = 76.10 (sec) , antiderivative size = 38, normalized size of antiderivative = 1.90
method | result | size |
parallelrisch | \(\ln \left (\ln \left (\ln \left (\ln \left (x \right )\right )^{2}\right ) x^{4}+2 \ln \left (\ln \left (\ln \left (x \right )\right )^{2}\right ) x^{3}+x^{2} \ln \left (\ln \left (\ln \left (x \right )\right )^{2}\right )-{\mathrm e}^{25}\right )\) | \(38\) |
risch | \(2 \ln \left (x^{2}+x \right )+\ln \left (\ln \left (\ln \left (\ln \left (x \right )\right )\right )-\frac {i \left (\pi \,x^{4} \operatorname {csgn}\left (i \ln \left (\ln \left (x \right )\right )\right )^{2} \operatorname {csgn}\left (i \ln \left (\ln \left (x \right )\right )^{2}\right )-2 \pi \,x^{4} \operatorname {csgn}\left (i \ln \left (\ln \left (x \right )\right )\right ) \operatorname {csgn}\left (i \ln \left (\ln \left (x \right )\right )^{2}\right )^{2}+\pi \,x^{4} \operatorname {csgn}\left (i \ln \left (\ln \left (x \right )\right )^{2}\right )^{3}+2 \pi \,x^{3} \operatorname {csgn}\left (i \ln \left (\ln \left (x \right )\right )\right )^{2} \operatorname {csgn}\left (i \ln \left (\ln \left (x \right )\right )^{2}\right )-4 \pi \,x^{3} \operatorname {csgn}\left (i \ln \left (\ln \left (x \right )\right )\right ) \operatorname {csgn}\left (i \ln \left (\ln \left (x \right )\right )^{2}\right )^{2}+2 \pi \,x^{3} \operatorname {csgn}\left (i \ln \left (\ln \left (x \right )\right )^{2}\right )^{3}+\pi \,x^{2} \operatorname {csgn}\left (i \ln \left (\ln \left (x \right )\right )\right )^{2} \operatorname {csgn}\left (i \ln \left (\ln \left (x \right )\right )^{2}\right )-2 \pi \,x^{2} \operatorname {csgn}\left (i \ln \left (\ln \left (x \right )\right )\right ) \operatorname {csgn}\left (i \ln \left (\ln \left (x \right )\right )^{2}\right )^{2}+\pi \,x^{2} \operatorname {csgn}\left (i \ln \left (\ln \left (x \right )\right )^{2}\right )^{3}-2 i {\mathrm e}^{25}\right )}{4 x^{2} \left (x^{2}+2 x +1\right )}\right )\) | \(229\) |
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 49 vs. \(2 (19) = 38\).
Time = 0.26 (sec) , antiderivative size = 49, normalized size of antiderivative = 2.45 \[ \int \frac {2 x+4 x^2+2 x^3+\left (2 x+6 x^2+4 x^3\right ) \log (x) \log (\log (x)) \log \left (\log ^2(\log (x))\right )}{-e^{25} \log (x) \log (\log (x))+\left (x^2+2 x^3+x^4\right ) \log (x) \log (\log (x)) \log \left (\log ^2(\log (x))\right )} \, dx=2 \, \log \left (x^{2} + x\right ) + \log \left (\frac {{\left (x^{4} + 2 \, x^{3} + x^{2}\right )} \log \left (\log \left (\log \left (x\right )\right )^{2}\right ) - e^{25}}{x^{4} + 2 \, x^{3} + x^{2}}\right ) \]
[In]
[Out]
Time = 0.47 (sec) , antiderivative size = 32, normalized size of antiderivative = 1.60 \[ \int \frac {2 x+4 x^2+2 x^3+\left (2 x+6 x^2+4 x^3\right ) \log (x) \log (\log (x)) \log \left (\log ^2(\log (x))\right )}{-e^{25} \log (x) \log (\log (x))+\left (x^2+2 x^3+x^4\right ) \log (x) \log (\log (x)) \log \left (\log ^2(\log (x))\right )} \, dx=2 \log {\left (x^{2} + x \right )} + \log {\left (\log {\left (\log {\left (\log {\left (x \right )} \right )}^{2} \right )} - \frac {e^{25}}{x^{4} + 2 x^{3} + x^{2}} \right )} \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 51 vs. \(2 (19) = 38\).
Time = 0.24 (sec) , antiderivative size = 51, normalized size of antiderivative = 2.55 \[ \int \frac {2 x+4 x^2+2 x^3+\left (2 x+6 x^2+4 x^3\right ) \log (x) \log (\log (x)) \log \left (\log ^2(\log (x))\right )}{-e^{25} \log (x) \log (\log (x))+\left (x^2+2 x^3+x^4\right ) \log (x) \log (\log (x)) \log \left (\log ^2(\log (x))\right )} \, dx=2 \, \log \left (x + 1\right ) + 2 \, \log \left (x\right ) + \log \left (\frac {2 \, {\left (x^{4} + 2 \, x^{3} + x^{2}\right )} \log \left (\log \left (\log \left (x\right )\right )\right ) - e^{25}}{2 \, {\left (x^{4} + 2 \, x^{3} + x^{2}\right )}}\right ) \]
[In]
[Out]
none
Time = 0.37 (sec) , antiderivative size = 37, normalized size of antiderivative = 1.85 \[ \int \frac {2 x+4 x^2+2 x^3+\left (2 x+6 x^2+4 x^3\right ) \log (x) \log (\log (x)) \log \left (\log ^2(\log (x))\right )}{-e^{25} \log (x) \log (\log (x))+\left (x^2+2 x^3+x^4\right ) \log (x) \log (\log (x)) \log \left (\log ^2(\log (x))\right )} \, dx=\log \left (-x^{4} \log \left (\log \left (\log \left (x\right )\right )^{2}\right ) - 2 \, x^{3} \log \left (\log \left (\log \left (x\right )\right )^{2}\right ) - x^{2} \log \left (\log \left (\log \left (x\right )\right )^{2}\right ) + e^{25}\right ) \]
[In]
[Out]
Timed out. \[ \int \frac {2 x+4 x^2+2 x^3+\left (2 x+6 x^2+4 x^3\right ) \log (x) \log (\log (x)) \log \left (\log ^2(\log (x))\right )}{-e^{25} \log (x) \log (\log (x))+\left (x^2+2 x^3+x^4\right ) \log (x) \log (\log (x)) \log \left (\log ^2(\log (x))\right )} \, dx=-\int \frac {2\,x+4\,x^2+2\,x^3+\ln \left ({\ln \left (\ln \left (x\right )\right )}^2\right )\,\ln \left (\ln \left (x\right )\right )\,\ln \left (x\right )\,\left (4\,x^3+6\,x^2+2\,x\right )}{\ln \left (\ln \left (x\right )\right )\,{\mathrm {e}}^{25}\,\ln \left (x\right )-\ln \left ({\ln \left (\ln \left (x\right )\right )}^2\right )\,\ln \left (\ln \left (x\right )\right )\,\ln \left (x\right )\,\left (x^4+2\,x^3+x^2\right )} \,d x \]
[In]
[Out]