Integrand size = 129, antiderivative size = 33 \[ \int \frac {\left (-20+104 x-40 x^2+4 x^3+\left (100 x-40 x^2+4 x^3\right ) \log (4)-20 \log (x)\right ) \log \left (\frac {5-x+5 x^2-x^3+\left (5 x^2-x^3\right ) \log (4)-2 x \log (x)}{-25+5 x}\right )}{25-10 x+26 x^2-10 x^3+x^4+\left (25 x^2-10 x^3+x^4\right ) \log (4)+\left (-10 x+2 x^2\right ) \log (x)} \, dx=\log ^2\left (\frac {1}{5} \left (-1-x^2-x^2 \log (4)+\frac {2 x \log (x)}{5-x}\right )\right ) \]
[Out]
\[ \int \frac {\left (-20+104 x-40 x^2+4 x^3+\left (100 x-40 x^2+4 x^3\right ) \log (4)-20 \log (x)\right ) \log \left (\frac {5-x+5 x^2-x^3+\left (5 x^2-x^3\right ) \log (4)-2 x \log (x)}{-25+5 x}\right )}{25-10 x+26 x^2-10 x^3+x^4+\left (25 x^2-10 x^3+x^4\right ) \log (4)+\left (-10 x+2 x^2\right ) \log (x)} \, dx=\int \frac {\left (-20+104 x-40 x^2+4 x^3+\left (100 x-40 x^2+4 x^3\right ) \log (4)-20 \log (x)\right ) \log \left (\frac {5-x+5 x^2-x^3+\left (5 x^2-x^3\right ) \log (4)-2 x \log (x)}{-25+5 x}\right )}{25-10 x+26 x^2-10 x^3+x^4+\left (25 x^2-10 x^3+x^4\right ) \log (4)+\left (-10 x+2 x^2\right ) \log (x)} \, dx \]
[In]
[Out]
Rubi steps \begin{align*} \text {integral}& = \int \frac {4 \left (-\left ((-5+x) \left (1-5 x (1+\log (4))+x^2 (1+\log (4))\right )\right )+5 \log (x)\right ) \log \left (\frac {1}{5} \left (-1-x^2 (1+\log (4))-\frac {2 x \log (x)}{-5+x}\right )\right )}{(5-x) \left ((-5+x) \left (1+x^2 (1+\log (4))\right )+2 x \log (x)\right )} \, dx \\ & = 4 \int \frac {\left (-\left ((-5+x) \left (1-5 x (1+\log (4))+x^2 (1+\log (4))\right )\right )+5 \log (x)\right ) \log \left (\frac {1}{5} \left (-1-x^2 (1+\log (4))-\frac {2 x \log (x)}{-5+x}\right )\right )}{(5-x) \left ((-5+x) \left (1+x^2 (1+\log (4))\right )+2 x \log (x)\right )} \, dx \\ & = 4 \int \left (\frac {5 \log \left (\frac {1}{5} \left (-1-x^2 (1+\log (4))-\frac {2 x \log (x)}{-5+x}\right )\right )}{(-5+x) \left (5-x+5 x^2 (1+\log (4))-x^3 (1+\log (4))-2 x \log (x)\right )}+\frac {10 x^2 (-1-\log (4)) \log \left (\frac {1}{5} \left (-1-x^2 (1+\log (4))-\frac {2 x \log (x)}{-5+x}\right )\right )}{(5-x) \left (5-x+5 x^2 (1+\log (4))-x^3 (1+\log (4))-2 x \log (x)\right )}+\frac {x^3 (1+\log (4)) \log \left (\frac {1}{5} \left (-1-x^2 (1+\log (4))-\frac {2 x \log (x)}{-5+x}\right )\right )}{(5-x) \left (5-x+5 x^2 (1+\log (4))-x^3 (1+\log (4))-2 x \log (x)\right )}+\frac {x (1+25 (1+\log (4))) \log \left (\frac {1}{5} \left (-1-x^2 (1+\log (4))-\frac {2 x \log (x)}{-5+x}\right )\right )}{(5-x) \left (5-x+5 x^2 (1+\log (4))-x^3 (1+\log (4))-2 x \log (x)\right )}+\frac {5 \log (x) \log \left (\frac {1}{5} \left (-1-x^2 (1+\log (4))-\frac {2 x \log (x)}{-5+x}\right )\right )}{(-5+x) \left (5-x+5 x^2 (1+\log (4))-x^3 (1+\log (4))-2 x \log (x)\right )}\right ) \, dx \\ & = 20 \int \frac {\log \left (\frac {1}{5} \left (-1-x^2 (1+\log (4))-\frac {2 x \log (x)}{-5+x}\right )\right )}{(-5+x) \left (5-x+5 x^2 (1+\log (4))-x^3 (1+\log (4))-2 x \log (x)\right )} \, dx+20 \int \frac {\log (x) \log \left (\frac {1}{5} \left (-1-x^2 (1+\log (4))-\frac {2 x \log (x)}{-5+x}\right )\right )}{(-5+x) \left (5-x+5 x^2 (1+\log (4))-x^3 (1+\log (4))-2 x \log (x)\right )} \, dx+(4 (1+\log (4))) \int \frac {x^3 \log \left (\frac {1}{5} \left (-1-x^2 (1+\log (4))-\frac {2 x \log (x)}{-5+x}\right )\right )}{(5-x) \left (5-x+5 x^2 (1+\log (4))-x^3 (1+\log (4))-2 x \log (x)\right )} \, dx-(40 (1+\log (4))) \int \frac {x^2 \log \left (\frac {1}{5} \left (-1-x^2 (1+\log (4))-\frac {2 x \log (x)}{-5+x}\right )\right )}{(5-x) \left (5-x+5 x^2 (1+\log (4))-x^3 (1+\log (4))-2 x \log (x)\right )} \, dx+(4 (26+25 \log (4))) \int \frac {x \log \left (\frac {1}{5} \left (-1-x^2 (1+\log (4))-\frac {2 x \log (x)}{-5+x}\right )\right )}{(5-x) \left (5-x+5 x^2 (1+\log (4))-x^3 (1+\log (4))-2 x \log (x)\right )} \, dx \\ & = 20 \int \frac {\log \left (\frac {1}{5} \left (-1-x^2 (1+\log (4))-\frac {2 x \log (x)}{-5+x}\right )\right )}{(-5+x) \left (5-x+5 x^2 (1+\log (4))-x^3 (1+\log (4))-2 x \log (x)\right )} \, dx+20 \int \frac {\log (x) \log \left (\frac {1}{5} \left (-1-x^2 (1+\log (4))-\frac {2 x \log (x)}{-5+x}\right )\right )}{(-5+x) \left (5-x+5 x^2 (1+\log (4))-x^3 (1+\log (4))-2 x \log (x)\right )} \, dx+(4 (1+\log (4))) \int \frac {x^3 \log \left (\frac {1}{5} \left (-1-x^2 (1+\log (4))-\frac {2 x \log (x)}{-5+x}\right )\right )}{(-5+x) \left ((-5+x) \left (1+x^2 (1+\log (4))\right )+2 x \log (x)\right )} \, dx-(40 (1+\log (4))) \int \frac {x^2 \log \left (\frac {1}{5} \left (-1-x^2 (1+\log (4))-\frac {2 x \log (x)}{-5+x}\right )\right )}{(-5+x) \left ((-5+x) \left (1+x^2 (1+\log (4))\right )+2 x \log (x)\right )} \, dx+(4 (26+25 \log (4))) \int \frac {x \log \left (\frac {1}{5} \left (-1-x^2 (1+\log (4))-\frac {2 x \log (x)}{-5+x}\right )\right )}{(-5+x) \left ((-5+x) \left (1+x^2 (1+\log (4))\right )+2 x \log (x)\right )} \, dx \\ & = 20 \int \frac {\log \left (\frac {1}{5} \left (-1-x^2 (1+\log (4))-\frac {2 x \log (x)}{-5+x}\right )\right )}{(-5+x) \left (5-x+5 x^2 (1+\log (4))-x^3 (1+\log (4))-2 x \log (x)\right )} \, dx+20 \int \frac {\log (x) \log \left (\frac {1}{5} \left (-1-x^2 (1+\log (4))-\frac {2 x \log (x)}{-5+x}\right )\right )}{(-5+x) \left (5-x+5 x^2 (1+\log (4))-x^3 (1+\log (4))-2 x \log (x)\right )} \, dx+(4 (1+\log (4))) \int \left (\frac {125 \log \left (\frac {1}{5} \left (-1-x^2 (1+\log (4))-\frac {2 x \log (x)}{-5+x}\right )\right )}{(5-x) \left (5-x+5 x^2 (1+\log (4))-x^3 (1+\log (4))-2 x \log (x)\right )}+\frac {25 \log \left (\frac {1}{5} \left (-1-x^2 (1+\log (4))-\frac {2 x \log (x)}{-5+x}\right )\right )}{-5+x-5 x^2 (1+\log (4))+x^3 (1+\log (4))+2 x \log (x)}+\frac {5 x \log \left (\frac {1}{5} \left (-1-x^2 (1+\log (4))-\frac {2 x \log (x)}{-5+x}\right )\right )}{-5+x-5 x^2 (1+\log (4))+x^3 (1+\log (4))+2 x \log (x)}+\frac {x^2 \log \left (\frac {1}{5} \left (-1-x^2 (1+\log (4))-\frac {2 x \log (x)}{-5+x}\right )\right )}{-5+x-5 x^2 (1+\log (4))+x^3 (1+\log (4))+2 x \log (x)}\right ) \, dx-(40 (1+\log (4))) \int \left (\frac {25 \log \left (\frac {1}{5} \left (-1-x^2 (1+\log (4))-\frac {2 x \log (x)}{-5+x}\right )\right )}{(5-x) \left (5-x+5 x^2 (1+\log (4))-x^3 (1+\log (4))-2 x \log (x)\right )}+\frac {5 \log \left (\frac {1}{5} \left (-1-x^2 (1+\log (4))-\frac {2 x \log (x)}{-5+x}\right )\right )}{-5+x-5 x^2 (1+\log (4))+x^3 (1+\log (4))+2 x \log (x)}+\frac {x \log \left (\frac {1}{5} \left (-1-x^2 (1+\log (4))-\frac {2 x \log (x)}{-5+x}\right )\right )}{-5+x-5 x^2 (1+\log (4))+x^3 (1+\log (4))+2 x \log (x)}\right ) \, dx+(4 (26+25 \log (4))) \int \left (\frac {5 \log \left (\frac {1}{5} \left (-1-x^2 (1+\log (4))-\frac {2 x \log (x)}{-5+x}\right )\right )}{(5-x) \left (5-x+5 x^2 (1+\log (4))-x^3 (1+\log (4))-2 x \log (x)\right )}+\frac {\log \left (\frac {1}{5} \left (-1-x^2 (1+\log (4))-\frac {2 x \log (x)}{-5+x}\right )\right )}{-5+x-5 x^2 (1+\log (4))+x^3 (1+\log (4))+2 x \log (x)}\right ) \, dx \\ & = 20 \int \frac {\log \left (\frac {1}{5} \left (-1-x^2 (1+\log (4))-\frac {2 x \log (x)}{-5+x}\right )\right )}{(-5+x) \left (5-x+5 x^2 (1+\log (4))-x^3 (1+\log (4))-2 x \log (x)\right )} \, dx+20 \int \frac {\log (x) \log \left (\frac {1}{5} \left (-1-x^2 (1+\log (4))-\frac {2 x \log (x)}{-5+x}\right )\right )}{(-5+x) \left (5-x+5 x^2 (1+\log (4))-x^3 (1+\log (4))-2 x \log (x)\right )} \, dx+(4 (1+\log (4))) \int \frac {x^2 \log \left (\frac {1}{5} \left (-1-x^2 (1+\log (4))-\frac {2 x \log (x)}{-5+x}\right )\right )}{-5+x-5 x^2 (1+\log (4))+x^3 (1+\log (4))+2 x \log (x)} \, dx+(20 (1+\log (4))) \int \frac {x \log \left (\frac {1}{5} \left (-1-x^2 (1+\log (4))-\frac {2 x \log (x)}{-5+x}\right )\right )}{-5+x-5 x^2 (1+\log (4))+x^3 (1+\log (4))+2 x \log (x)} \, dx-(40 (1+\log (4))) \int \frac {x \log \left (\frac {1}{5} \left (-1-x^2 (1+\log (4))-\frac {2 x \log (x)}{-5+x}\right )\right )}{-5+x-5 x^2 (1+\log (4))+x^3 (1+\log (4))+2 x \log (x)} \, dx+(100 (1+\log (4))) \int \frac {\log \left (\frac {1}{5} \left (-1-x^2 (1+\log (4))-\frac {2 x \log (x)}{-5+x}\right )\right )}{-5+x-5 x^2 (1+\log (4))+x^3 (1+\log (4))+2 x \log (x)} \, dx-(200 (1+\log (4))) \int \frac {\log \left (\frac {1}{5} \left (-1-x^2 (1+\log (4))-\frac {2 x \log (x)}{-5+x}\right )\right )}{-5+x-5 x^2 (1+\log (4))+x^3 (1+\log (4))+2 x \log (x)} \, dx+(500 (1+\log (4))) \int \frac {\log \left (\frac {1}{5} \left (-1-x^2 (1+\log (4))-\frac {2 x \log (x)}{-5+x}\right )\right )}{(5-x) \left (5-x+5 x^2 (1+\log (4))-x^3 (1+\log (4))-2 x \log (x)\right )} \, dx-(1000 (1+\log (4))) \int \frac {\log \left (\frac {1}{5} \left (-1-x^2 (1+\log (4))-\frac {2 x \log (x)}{-5+x}\right )\right )}{(5-x) \left (5-x+5 x^2 (1+\log (4))-x^3 (1+\log (4))-2 x \log (x)\right )} \, dx+(4 (26+25 \log (4))) \int \frac {\log \left (\frac {1}{5} \left (-1-x^2 (1+\log (4))-\frac {2 x \log (x)}{-5+x}\right )\right )}{-5+x-5 x^2 (1+\log (4))+x^3 (1+\log (4))+2 x \log (x)} \, dx+(20 (26+25 \log (4))) \int \frac {\log \left (\frac {1}{5} \left (-1-x^2 (1+\log (4))-\frac {2 x \log (x)}{-5+x}\right )\right )}{(5-x) \left (5-x+5 x^2 (1+\log (4))-x^3 (1+\log (4))-2 x \log (x)\right )} \, dx \\ & = 20 \int \frac {\log \left (\frac {1}{5} \left (-1-x^2 (1+\log (4))-\frac {2 x \log (x)}{-5+x}\right )\right )}{(-5+x) \left (5-x+5 x^2 (1+\log (4))-x^3 (1+\log (4))-2 x \log (x)\right )} \, dx+20 \int \frac {\log (x) \log \left (\frac {1}{5} \left (-1-x^2 (1+\log (4))-\frac {2 x \log (x)}{-5+x}\right )\right )}{(-5+x) \left (5-x+5 x^2 (1+\log (4))-x^3 (1+\log (4))-2 x \log (x)\right )} \, dx+(4 (1+\log (4))) \int \frac {x^2 \log \left (\frac {1}{5} \left (-1-x^2 (1+\log (4))-\frac {2 x \log (x)}{-5+x}\right )\right )}{-5+x-5 x^2 (1+\log (4))+x^3 (1+\log (4))+2 x \log (x)} \, dx+(20 (1+\log (4))) \int \frac {x \log \left (\frac {1}{5} \left (-1-x^2 (1+\log (4))-\frac {2 x \log (x)}{-5+x}\right )\right )}{-5+x-5 x^2 (1+\log (4))+x^3 (1+\log (4))+2 x \log (x)} \, dx-(40 (1+\log (4))) \int \frac {x \log \left (\frac {1}{5} \left (-1-x^2 (1+\log (4))-\frac {2 x \log (x)}{-5+x}\right )\right )}{-5+x-5 x^2 (1+\log (4))+x^3 (1+\log (4))+2 x \log (x)} \, dx+(100 (1+\log (4))) \int \frac {\log \left (\frac {1}{5} \left (-1-x^2 (1+\log (4))-\frac {2 x \log (x)}{-5+x}\right )\right )}{-5+x-5 x^2 (1+\log (4))+x^3 (1+\log (4))+2 x \log (x)} \, dx-(200 (1+\log (4))) \int \frac {\log \left (\frac {1}{5} \left (-1-x^2 (1+\log (4))-\frac {2 x \log (x)}{-5+x}\right )\right )}{-5+x-5 x^2 (1+\log (4))+x^3 (1+\log (4))+2 x \log (x)} \, dx+(500 (1+\log (4))) \int \frac {\log \left (\frac {1}{5} \left (-1-x^2 (1+\log (4))-\frac {2 x \log (x)}{-5+x}\right )\right )}{(-5+x) \left ((-5+x) \left (1+x^2 (1+\log (4))\right )+2 x \log (x)\right )} \, dx-(1000 (1+\log (4))) \int \frac {\log \left (\frac {1}{5} \left (-1-x^2 (1+\log (4))-\frac {2 x \log (x)}{-5+x}\right )\right )}{(-5+x) \left ((-5+x) \left (1+x^2 (1+\log (4))\right )+2 x \log (x)\right )} \, dx+(4 (26+25 \log (4))) \int \frac {\log \left (\frac {1}{5} \left (-1-x^2 (1+\log (4))-\frac {2 x \log (x)}{-5+x}\right )\right )}{-5+x-5 x^2 (1+\log (4))+x^3 (1+\log (4))+2 x \log (x)} \, dx+(20 (26+25 \log (4))) \int \frac {\log \left (\frac {1}{5} \left (-1-x^2 (1+\log (4))-\frac {2 x \log (x)}{-5+x}\right )\right )}{(-5+x) \left ((-5+x) \left (1+x^2 (1+\log (4))\right )+2 x \log (x)\right )} \, dx \\ \end{align*}
Time = 0.05 (sec) , antiderivative size = 28, normalized size of antiderivative = 0.85 \[ \int \frac {\left (-20+104 x-40 x^2+4 x^3+\left (100 x-40 x^2+4 x^3\right ) \log (4)-20 \log (x)\right ) \log \left (\frac {5-x+5 x^2-x^3+\left (5 x^2-x^3\right ) \log (4)-2 x \log (x)}{-25+5 x}\right )}{25-10 x+26 x^2-10 x^3+x^4+\left (25 x^2-10 x^3+x^4\right ) \log (4)+\left (-10 x+2 x^2\right ) \log (x)} \, dx=\log ^2\left (\frac {1}{5} \left (-1-x^2 (1+\log (4))-\frac {2 x \log (x)}{-5+x}\right )\right ) \]
[In]
[Out]
Result contains higher order function than in optimal. Order 9 vs. order 3.
Time = 7.93 (sec) , antiderivative size = 1052, normalized size of antiderivative = 31.88
[In]
[Out]
none
Time = 0.26 (sec) , antiderivative size = 39, normalized size of antiderivative = 1.18 \[ \int \frac {\left (-20+104 x-40 x^2+4 x^3+\left (100 x-40 x^2+4 x^3\right ) \log (4)-20 \log (x)\right ) \log \left (\frac {5-x+5 x^2-x^3+\left (5 x^2-x^3\right ) \log (4)-2 x \log (x)}{-25+5 x}\right )}{25-10 x+26 x^2-10 x^3+x^4+\left (25 x^2-10 x^3+x^4\right ) \log (4)+\left (-10 x+2 x^2\right ) \log (x)} \, dx=\log \left (-\frac {x^{3} - 5 \, x^{2} + 2 \, {\left (x^{3} - 5 \, x^{2}\right )} \log \left (2\right ) + 2 \, x \log \left (x\right ) + x - 5}{5 \, {\left (x - 5\right )}}\right )^{2} \]
[In]
[Out]
Time = 0.27 (sec) , antiderivative size = 39, normalized size of antiderivative = 1.18 \[ \int \frac {\left (-20+104 x-40 x^2+4 x^3+\left (100 x-40 x^2+4 x^3\right ) \log (4)-20 \log (x)\right ) \log \left (\frac {5-x+5 x^2-x^3+\left (5 x^2-x^3\right ) \log (4)-2 x \log (x)}{-25+5 x}\right )}{25-10 x+26 x^2-10 x^3+x^4+\left (25 x^2-10 x^3+x^4\right ) \log (4)+\left (-10 x+2 x^2\right ) \log (x)} \, dx=\log {\left (\frac {- x^{3} + 5 x^{2} - 2 x \log {\left (x \right )} - x + \left (- 2 x^{3} + 10 x^{2}\right ) \log {\left (2 \right )} + 5}{5 x - 25} \right )}^{2} \]
[In]
[Out]
\[ \int \frac {\left (-20+104 x-40 x^2+4 x^3+\left (100 x-40 x^2+4 x^3\right ) \log (4)-20 \log (x)\right ) \log \left (\frac {5-x+5 x^2-x^3+\left (5 x^2-x^3\right ) \log (4)-2 x \log (x)}{-25+5 x}\right )}{25-10 x+26 x^2-10 x^3+x^4+\left (25 x^2-10 x^3+x^4\right ) \log (4)+\left (-10 x+2 x^2\right ) \log (x)} \, dx=\int { \frac {4 \, {\left (x^{3} - 10 \, x^{2} + 2 \, {\left (x^{3} - 10 \, x^{2} + 25 \, x\right )} \log \left (2\right ) + 26 \, x - 5 \, \log \left (x\right ) - 5\right )} \log \left (-\frac {x^{3} - 5 \, x^{2} + 2 \, {\left (x^{3} - 5 \, x^{2}\right )} \log \left (2\right ) + 2 \, x \log \left (x\right ) + x - 5}{5 \, {\left (x - 5\right )}}\right )}{x^{4} - 10 \, x^{3} + 26 \, x^{2} + 2 \, {\left (x^{4} - 10 \, x^{3} + 25 \, x^{2}\right )} \log \left (2\right ) + 2 \, {\left (x^{2} - 5 \, x\right )} \log \left (x\right ) - 10 \, x + 25} \,d x } \]
[In]
[Out]
\[ \int \frac {\left (-20+104 x-40 x^2+4 x^3+\left (100 x-40 x^2+4 x^3\right ) \log (4)-20 \log (x)\right ) \log \left (\frac {5-x+5 x^2-x^3+\left (5 x^2-x^3\right ) \log (4)-2 x \log (x)}{-25+5 x}\right )}{25-10 x+26 x^2-10 x^3+x^4+\left (25 x^2-10 x^3+x^4\right ) \log (4)+\left (-10 x+2 x^2\right ) \log (x)} \, dx=\int { \frac {4 \, {\left (x^{3} - 10 \, x^{2} + 2 \, {\left (x^{3} - 10 \, x^{2} + 25 \, x\right )} \log \left (2\right ) + 26 \, x - 5 \, \log \left (x\right ) - 5\right )} \log \left (-\frac {x^{3} - 5 \, x^{2} + 2 \, {\left (x^{3} - 5 \, x^{2}\right )} \log \left (2\right ) + 2 \, x \log \left (x\right ) + x - 5}{5 \, {\left (x - 5\right )}}\right )}{x^{4} - 10 \, x^{3} + 26 \, x^{2} + 2 \, {\left (x^{4} - 10 \, x^{3} + 25 \, x^{2}\right )} \log \left (2\right ) + 2 \, {\left (x^{2} - 5 \, x\right )} \log \left (x\right ) - 10 \, x + 25} \,d x } \]
[In]
[Out]
Time = 14.54 (sec) , antiderivative size = 43, normalized size of antiderivative = 1.30 \[ \int \frac {\left (-20+104 x-40 x^2+4 x^3+\left (100 x-40 x^2+4 x^3\right ) \log (4)-20 \log (x)\right ) \log \left (\frac {5-x+5 x^2-x^3+\left (5 x^2-x^3\right ) \log (4)-2 x \log (x)}{-25+5 x}\right )}{25-10 x+26 x^2-10 x^3+x^4+\left (25 x^2-10 x^3+x^4\right ) \log (4)+\left (-10 x+2 x^2\right ) \log (x)} \, dx={\ln \left (-\frac {x-2\,\ln \left (2\right )\,\left (5\,x^2-x^3\right )+2\,x\,\ln \left (x\right )-5\,x^2+x^3-5}{5\,x-25}\right )}^2 \]
[In]
[Out]