Integrand size = 115, antiderivative size = 23 \[ \int \frac {-960 x+1152 x \log (150 x \log (5))+(592 x-960 x \log (150 x \log (5))) \log \left (\log ^2(150 x \log (5))\right )+(-120 x+296 x \log (150 x \log (5))) \log ^2\left (\log ^2(150 x \log (5))\right )+(8 x-40 x \log (150 x \log (5))) \log ^3\left (\log ^2(150 x \log (5))\right )+2 x \log (150 x \log (5)) \log ^4\left (\log ^2(150 x \log (5))\right )}{\log (150 x \log (5))} \, dx=\left (x+x \left (-2+\left (5-\log \left (\log ^2(150 x \log (5))\right )\right )^2\right )\right )^2 \]
[Out]
Time = 0.09 (sec) , antiderivative size = 30, normalized size of antiderivative = 1.30, number of steps used = 3, number of rules used = 3, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.026, Rules used = {6820, 12, 6819} \[ \int \frac {-960 x+1152 x \log (150 x \log (5))+(592 x-960 x \log (150 x \log (5))) \log \left (\log ^2(150 x \log (5))\right )+(-120 x+296 x \log (150 x \log (5))) \log ^2\left (\log ^2(150 x \log (5))\right )+(8 x-40 x \log (150 x \log (5))) \log ^3\left (\log ^2(150 x \log (5))\right )+2 x \log (150 x \log (5)) \log ^4\left (\log ^2(150 x \log (5))\right )}{\log (150 x \log (5))} \, dx=x^2 \left (\log ^2\left (\log ^2(150 x \log (5))\right )-10 \log \left (\log ^2(150 x \log (5))\right )+24\right )^2 \]
[In]
[Out]
Rule 12
Rule 6819
Rule 6820
Rubi steps \begin{align*} \text {integral}& = \int \frac {2 x \left (24-10 \log \left (\log ^2(150 x \log (5))\right )+\log ^2\left (\log ^2(150 x \log (5))\right )\right ) \left (4 \left (-5+\log \left (\log ^2(150 x \log (5))\right )\right )+\log (150 x \log (5)) \left (24-10 \log \left (\log ^2(150 x \log (5))\right )+\log ^2\left (\log ^2(150 x \log (5))\right )\right )\right )}{\log (150 x \log (5))} \, dx \\ & = 2 \int \frac {x \left (24-10 \log \left (\log ^2(150 x \log (5))\right )+\log ^2\left (\log ^2(150 x \log (5))\right )\right ) \left (4 \left (-5+\log \left (\log ^2(150 x \log (5))\right )\right )+\log (150 x \log (5)) \left (24-10 \log \left (\log ^2(150 x \log (5))\right )+\log ^2\left (\log ^2(150 x \log (5))\right )\right )\right )}{\log (150 x \log (5))} \, dx \\ & = x^2 \left (24-10 \log \left (\log ^2(150 x \log (5))\right )+\log ^2\left (\log ^2(150 x \log (5))\right )\right )^2 \\ \end{align*}
Leaf count is larger than twice the leaf count of optimal. \(67\) vs. \(2(23)=46\).
Time = 0.51 (sec) , antiderivative size = 67, normalized size of antiderivative = 2.91 \[ \int \frac {-960 x+1152 x \log (150 x \log (5))+(592 x-960 x \log (150 x \log (5))) \log \left (\log ^2(150 x \log (5))\right )+(-120 x+296 x \log (150 x \log (5))) \log ^2\left (\log ^2(150 x \log (5))\right )+(8 x-40 x \log (150 x \log (5))) \log ^3\left (\log ^2(150 x \log (5))\right )+2 x \log (150 x \log (5)) \log ^4\left (\log ^2(150 x \log (5))\right )}{\log (150 x \log (5))} \, dx=576 x^2-480 x^2 \log \left (\log ^2(150 x \log (5))\right )+148 x^2 \log ^2\left (\log ^2(150 x \log (5))\right )-20 x^2 \log ^3\left (\log ^2(150 x \log (5))\right )+x^2 \log ^4\left (\log ^2(150 x \log (5))\right ) \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. \(67\) vs. \(2(23)=46\).
Time = 5.56 (sec) , antiderivative size = 68, normalized size of antiderivative = 2.96
method | result | size |
parallelrisch | \(x^{2} \ln \left (\ln \left (150 x \ln \left (5\right )\right )^{2}\right )^{4}-20 \ln \left (\ln \left (150 x \ln \left (5\right )\right )^{2}\right )^{3} x^{2}+148 \ln \left (\ln \left (150 x \ln \left (5\right )\right )^{2}\right )^{2} x^{2}-480 x^{2} \ln \left (\ln \left (150 x \ln \left (5\right )\right )^{2}\right )+576 x^{2}\) | \(68\) |
risch | \(\text {Expression too large to display}\) | \(1463\) |
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 67 vs. \(2 (21) = 42\).
Time = 0.24 (sec) , antiderivative size = 67, normalized size of antiderivative = 2.91 \[ \int \frac {-960 x+1152 x \log (150 x \log (5))+(592 x-960 x \log (150 x \log (5))) \log \left (\log ^2(150 x \log (5))\right )+(-120 x+296 x \log (150 x \log (5))) \log ^2\left (\log ^2(150 x \log (5))\right )+(8 x-40 x \log (150 x \log (5))) \log ^3\left (\log ^2(150 x \log (5))\right )+2 x \log (150 x \log (5)) \log ^4\left (\log ^2(150 x \log (5))\right )}{\log (150 x \log (5))} \, dx=x^{2} \log \left (\log \left (150 \, x \log \left (5\right )\right )^{2}\right )^{4} - 20 \, x^{2} \log \left (\log \left (150 \, x \log \left (5\right )\right )^{2}\right )^{3} + 148 \, x^{2} \log \left (\log \left (150 \, x \log \left (5\right )\right )^{2}\right )^{2} - 480 \, x^{2} \log \left (\log \left (150 \, x \log \left (5\right )\right )^{2}\right ) + 576 \, x^{2} \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 75 vs. \(2 (20) = 40\).
Time = 0.31 (sec) , antiderivative size = 75, normalized size of antiderivative = 3.26 \[ \int \frac {-960 x+1152 x \log (150 x \log (5))+(592 x-960 x \log (150 x \log (5))) \log \left (\log ^2(150 x \log (5))\right )+(-120 x+296 x \log (150 x \log (5))) \log ^2\left (\log ^2(150 x \log (5))\right )+(8 x-40 x \log (150 x \log (5))) \log ^3\left (\log ^2(150 x \log (5))\right )+2 x \log (150 x \log (5)) \log ^4\left (\log ^2(150 x \log (5))\right )}{\log (150 x \log (5))} \, dx=x^{2} \log {\left (\log {\left (150 x \log {\left (5 \right )} \right )}^{2} \right )}^{4} - 20 x^{2} \log {\left (\log {\left (150 x \log {\left (5 \right )} \right )}^{2} \right )}^{3} + 148 x^{2} \log {\left (\log {\left (150 x \log {\left (5 \right )} \right )}^{2} \right )}^{2} - 480 x^{2} \log {\left (\log {\left (150 x \log {\left (5 \right )} \right )}^{2} \right )} + 576 x^{2} \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 86 vs. \(2 (21) = 42\).
Time = 0.36 (sec) , antiderivative size = 86, normalized size of antiderivative = 3.74 \[ \int \frac {-960 x+1152 x \log (150 x \log (5))+(592 x-960 x \log (150 x \log (5))) \log \left (\log ^2(150 x \log (5))\right )+(-120 x+296 x \log (150 x \log (5))) \log ^2\left (\log ^2(150 x \log (5))\right )+(8 x-40 x \log (150 x \log (5))) \log ^3\left (\log ^2(150 x \log (5))\right )+2 x \log (150 x \log (5)) \log ^4\left (\log ^2(150 x \log (5))\right )}{\log (150 x \log (5))} \, dx=16 \, x^{2} \log \left (2 \, \log \left (5\right ) + \log \left (3\right ) + \log \left (2\right ) + \log \left (x\right ) + \log \left (\log \left (5\right )\right )\right )^{4} - 160 \, x^{2} \log \left (2 \, \log \left (5\right ) + \log \left (3\right ) + \log \left (2\right ) + \log \left (x\right ) + \log \left (\log \left (5\right )\right )\right )^{3} + 592 \, x^{2} \log \left (2 \, \log \left (5\right ) + \log \left (3\right ) + \log \left (2\right ) + \log \left (x\right ) + \log \left (\log \left (5\right )\right )\right )^{2} - 480 \, x^{2} \log \left (\log \left (150 \, x \log \left (5\right )\right )^{2}\right ) + 576 \, x^{2} \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 64 vs. \(2 (21) = 42\).
Time = 1.03 (sec) , antiderivative size = 64, normalized size of antiderivative = 2.78 \[ \int \frac {-960 x+1152 x \log (150 x \log (5))+(592 x-960 x \log (150 x \log (5))) \log \left (\log ^2(150 x \log (5))\right )+(-120 x+296 x \log (150 x \log (5))) \log ^2\left (\log ^2(150 x \log (5))\right )+(8 x-40 x \log (150 x \log (5))) \log ^3\left (\log ^2(150 x \log (5))\right )+2 x \log (150 x \log (5)) \log ^4\left (\log ^2(150 x \log (5))\right )}{\log (150 x \log (5))} \, dx=16 \, x^{2} \log \left ({\left | \log \left (150 \, x \log \left (5\right )\right ) \right |}\right )^{4} - 160 \, x^{2} \log \left ({\left | \log \left (150 \, x \log \left (5\right )\right ) \right |}\right )^{3} + 592 \, x^{2} \log \left ({\left | \log \left (150 \, x \log \left (5\right )\right ) \right |}\right )^{2} - 960 \, x^{2} \log \left ({\left | \log \left (150 \, x \log \left (5\right )\right ) \right |}\right ) + 576 \, x^{2} \]
[In]
[Out]
Time = 7.90 (sec) , antiderivative size = 67, normalized size of antiderivative = 2.91 \[ \int \frac {-960 x+1152 x \log (150 x \log (5))+(592 x-960 x \log (150 x \log (5))) \log \left (\log ^2(150 x \log (5))\right )+(-120 x+296 x \log (150 x \log (5))) \log ^2\left (\log ^2(150 x \log (5))\right )+(8 x-40 x \log (150 x \log (5))) \log ^3\left (\log ^2(150 x \log (5))\right )+2 x \log (150 x \log (5)) \log ^4\left (\log ^2(150 x \log (5))\right )}{\log (150 x \log (5))} \, dx=x^2\,{\ln \left ({\ln \left (150\,x\,\ln \left (5\right )\right )}^2\right )}^4-20\,x^2\,{\ln \left ({\ln \left (150\,x\,\ln \left (5\right )\right )}^2\right )}^3+148\,x^2\,{\ln \left ({\ln \left (150\,x\,\ln \left (5\right )\right )}^2\right )}^2-480\,x^2\,\ln \left ({\ln \left (150\,x\,\ln \left (5\right )\right )}^2\right )+576\,x^2 \]
[In]
[Out]