Integrand size = 176, antiderivative size = 27 \[ \int \frac {\left (60 x+36 x^2\right ) \log (x)+\left (30 x+18 x^2+\left (20 x+72 x^2+36 x^3\right ) \log (x)\right ) \log \left (x^2\right )+\left (36 x \log (x)+\left (18 x+\left (42 x+54 x^2\right ) \log (x)\right ) \log \left (x^2\right )\right ) \log \left (\frac {\log (x)}{x}\right )+18 x \log (x) \log \left (x^2\right ) \log ^2\left (\frac {\log (x)}{x}\right )+\left (36 x \log (x)+\left (18 x+\left (42 x+54 x^2\right ) \log (x)\right ) \log \left (x^2\right )+36 x \log (x) \log \left (x^2\right ) \log \left (\frac {\log (x)}{x}\right )\right ) \log \left (\log \left (x^2\right )\right )+18 x \log (x) \log \left (x^2\right ) \log ^2\left (\log \left (x^2\right )\right )}{9 \log (x) \log \left (x^2\right )} \, dx=\frac {1}{9} x^2 \left (5+3 \left (x+\log \left (\frac {\log (x)}{x}\right )+\log \left (\log \left (x^2\right )\right )\right )\right )^2 \]
[Out]
Time = 0.19 (sec) , antiderivative size = 30, normalized size of antiderivative = 1.11, number of steps used = 4, number of rules used = 3, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.017, Rules used = {12, 6820, 6819} \[ \int \frac {\left (60 x+36 x^2\right ) \log (x)+\left (30 x+18 x^2+\left (20 x+72 x^2+36 x^3\right ) \log (x)\right ) \log \left (x^2\right )+\left (36 x \log (x)+\left (18 x+\left (42 x+54 x^2\right ) \log (x)\right ) \log \left (x^2\right )\right ) \log \left (\frac {\log (x)}{x}\right )+18 x \log (x) \log \left (x^2\right ) \log ^2\left (\frac {\log (x)}{x}\right )+\left (36 x \log (x)+\left (18 x+\left (42 x+54 x^2\right ) \log (x)\right ) \log \left (x^2\right )+36 x \log (x) \log \left (x^2\right ) \log \left (\frac {\log (x)}{x}\right )\right ) \log \left (\log \left (x^2\right )\right )+18 x \log (x) \log \left (x^2\right ) \log ^2\left (\log \left (x^2\right )\right )}{9 \log (x) \log \left (x^2\right )} \, dx=\frac {1}{9} x^2 \left (3 \log \left (\log \left (x^2\right )\right )+3 x+3 \log \left (\frac {\log (x)}{x}\right )+5\right )^2 \]
[In]
[Out]
Rule 12
Rule 6819
Rule 6820
Rubi steps \begin{align*} \text {integral}& = \frac {1}{9} \int \frac {\left (60 x+36 x^2\right ) \log (x)+\left (30 x+18 x^2+\left (20 x+72 x^2+36 x^3\right ) \log (x)\right ) \log \left (x^2\right )+\left (36 x \log (x)+\left (18 x+\left (42 x+54 x^2\right ) \log (x)\right ) \log \left (x^2\right )\right ) \log \left (\frac {\log (x)}{x}\right )+18 x \log (x) \log \left (x^2\right ) \log ^2\left (\frac {\log (x)}{x}\right )+\left (36 x \log (x)+\left (18 x+\left (42 x+54 x^2\right ) \log (x)\right ) \log \left (x^2\right )+36 x \log (x) \log \left (x^2\right ) \log \left (\frac {\log (x)}{x}\right )\right ) \log \left (\log \left (x^2\right )\right )+18 x \log (x) \log \left (x^2\right ) \log ^2\left (\log \left (x^2\right )\right )}{\log (x) \log \left (x^2\right )} \, dx \\ & = \frac {1}{9} \int \frac {2 x \left (5+3 x+3 \log \left (\frac {\log (x)}{x}\right )+3 \log \left (\log \left (x^2\right )\right )\right ) \left (3 \log \left (x^2\right )+\log (x) \left (6+\log \left (x^2\right ) \left (2+6 x+3 \log \left (\frac {\log (x)}{x}\right )+3 \log \left (\log \left (x^2\right )\right )\right )\right )\right )}{\log (x) \log \left (x^2\right )} \, dx \\ & = \frac {2}{9} \int \frac {x \left (5+3 x+3 \log \left (\frac {\log (x)}{x}\right )+3 \log \left (\log \left (x^2\right )\right )\right ) \left (3 \log \left (x^2\right )+\log (x) \left (6+\log \left (x^2\right ) \left (2+6 x+3 \log \left (\frac {\log (x)}{x}\right )+3 \log \left (\log \left (x^2\right )\right )\right )\right )\right )}{\log (x) \log \left (x^2\right )} \, dx \\ & = \frac {1}{9} x^2 \left (5+3 x+3 \log \left (\frac {\log (x)}{x}\right )+3 \log \left (\log \left (x^2\right )\right )\right )^2 \\ \end{align*}
Time = 0.95 (sec) , antiderivative size = 30, normalized size of antiderivative = 1.11 \[ \int \frac {\left (60 x+36 x^2\right ) \log (x)+\left (30 x+18 x^2+\left (20 x+72 x^2+36 x^3\right ) \log (x)\right ) \log \left (x^2\right )+\left (36 x \log (x)+\left (18 x+\left (42 x+54 x^2\right ) \log (x)\right ) \log \left (x^2\right )\right ) \log \left (\frac {\log (x)}{x}\right )+18 x \log (x) \log \left (x^2\right ) \log ^2\left (\frac {\log (x)}{x}\right )+\left (36 x \log (x)+\left (18 x+\left (42 x+54 x^2\right ) \log (x)\right ) \log \left (x^2\right )+36 x \log (x) \log \left (x^2\right ) \log \left (\frac {\log (x)}{x}\right )\right ) \log \left (\log \left (x^2\right )\right )+18 x \log (x) \log \left (x^2\right ) \log ^2\left (\log \left (x^2\right )\right )}{9 \log (x) \log \left (x^2\right )} \, dx=\frac {1}{9} x^2 \left (5+3 x+3 \log \left (\frac {\log (x)}{x}\right )+3 \log \left (\log \left (x^2\right )\right )\right )^2 \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. \(99\) vs. \(2(28)=56\).
Time = 4.06 (sec) , antiderivative size = 100, normalized size of antiderivative = 3.70
method | result | size |
parallelrisch | \(x^{2} {\ln \left (\ln \left (x^{2}\right )\right )}^{2}+\frac {10 x^{2} \ln \left (\ln \left (x^{2}\right )\right )}{3}+\frac {10 x^{2} \ln \left (\frac {\ln \left (x \right )}{x}\right )}{3}+x^{4}+\frac {10 x^{3}}{3}+\frac {25 x^{2}}{9}+2 \ln \left (\frac {\ln \left (x \right )}{x}\right ) \ln \left (\ln \left (x^{2}\right )\right ) x^{2}+2 x^{3} \ln \left (\ln \left (x^{2}\right )\right )+2 \ln \left (\frac {\ln \left (x \right )}{x}\right ) x^{3}+\ln \left (\frac {\ln \left (x \right )}{x}\right )^{2} x^{2}\) | \(100\) |
risch | \(\text {Expression too large to display}\) | \(935\) |
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 115 vs. \(2 (28) = 56\).
Time = 0.27 (sec) , antiderivative size = 115, normalized size of antiderivative = 4.26 \[ \int \frac {\left (60 x+36 x^2\right ) \log (x)+\left (30 x+18 x^2+\left (20 x+72 x^2+36 x^3\right ) \log (x)\right ) \log \left (x^2\right )+\left (36 x \log (x)+\left (18 x+\left (42 x+54 x^2\right ) \log (x)\right ) \log \left (x^2\right )\right ) \log \left (\frac {\log (x)}{x}\right )+18 x \log (x) \log \left (x^2\right ) \log ^2\left (\frac {\log (x)}{x}\right )+\left (36 x \log (x)+\left (18 x+\left (42 x+54 x^2\right ) \log (x)\right ) \log \left (x^2\right )+36 x \log (x) \log \left (x^2\right ) \log \left (\frac {\log (x)}{x}\right )\right ) \log \left (\log \left (x^2\right )\right )+18 x \log (x) \log \left (x^2\right ) \log ^2\left (\log \left (x^2\right )\right )}{9 \log (x) \log \left (x^2\right )} \, dx=x^{4} + x^{2} \log \left (2\right )^{2} + x^{2} \log \left (x\right )^{2} + 4 \, x^{2} \log \left (\frac {\log \left (x\right )}{x}\right )^{2} + \frac {10}{3} \, x^{3} + \frac {25}{9} \, x^{2} + \frac {2}{3} \, {\left (3 \, x^{3} + 5 \, x^{2}\right )} \log \left (2\right ) + \frac {2}{3} \, {\left (3 \, x^{3} + 3 \, x^{2} \log \left (2\right ) + 5 \, x^{2}\right )} \log \left (x\right ) + \frac {4}{3} \, {\left (3 \, x^{3} + 3 \, x^{2} \log \left (2\right ) + 3 \, x^{2} \log \left (x\right ) + 5 \, x^{2}\right )} \log \left (\frac {\log \left (x\right )}{x}\right ) \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 114 vs. \(2 (27) = 54\).
Time = 0.44 (sec) , antiderivative size = 114, normalized size of antiderivative = 4.22 \[ \int \frac {\left (60 x+36 x^2\right ) \log (x)+\left (30 x+18 x^2+\left (20 x+72 x^2+36 x^3\right ) \log (x)\right ) \log \left (x^2\right )+\left (36 x \log (x)+\left (18 x+\left (42 x+54 x^2\right ) \log (x)\right ) \log \left (x^2\right )\right ) \log \left (\frac {\log (x)}{x}\right )+18 x \log (x) \log \left (x^2\right ) \log ^2\left (\frac {\log (x)}{x}\right )+\left (36 x \log (x)+\left (18 x+\left (42 x+54 x^2\right ) \log (x)\right ) \log \left (x^2\right )+36 x \log (x) \log \left (x^2\right ) \log \left (\frac {\log (x)}{x}\right )\right ) \log \left (\log \left (x^2\right )\right )+18 x \log (x) \log \left (x^2\right ) \log ^2\left (\log \left (x^2\right )\right )}{9 \log (x) \log \left (x^2\right )} \, dx=x^{4} + x^{3} \cdot \left (\frac {10}{3} - 2 \log {\left (2 \right )}\right ) + x^{2} \log {\left (x \right )}^{2} + 4 x^{2} \log {\left (2 \log {\left (x \right )} \right )}^{2} + x^{2} \left (- \frac {10 \log {\left (2 \right )}}{3} + \log {\left (2 \right )}^{2} + \frac {25}{9}\right ) + \left (- 2 x^{3} - \frac {10 x^{2}}{3} + 2 x^{2} \log {\left (2 \right )}\right ) \log {\left (x \right )} + \left (4 x^{3} - 4 x^{2} \log {\left (x \right )} - 4 x^{2} \log {\left (2 \right )} + \frac {20 x^{2}}{3}\right ) \log {\left (2 \log {\left (x \right )} \right )} \]
[In]
[Out]
\[ \int \frac {\left (60 x+36 x^2\right ) \log (x)+\left (30 x+18 x^2+\left (20 x+72 x^2+36 x^3\right ) \log (x)\right ) \log \left (x^2\right )+\left (36 x \log (x)+\left (18 x+\left (42 x+54 x^2\right ) \log (x)\right ) \log \left (x^2\right )\right ) \log \left (\frac {\log (x)}{x}\right )+18 x \log (x) \log \left (x^2\right ) \log ^2\left (\frac {\log (x)}{x}\right )+\left (36 x \log (x)+\left (18 x+\left (42 x+54 x^2\right ) \log (x)\right ) \log \left (x^2\right )+36 x \log (x) \log \left (x^2\right ) \log \left (\frac {\log (x)}{x}\right )\right ) \log \left (\log \left (x^2\right )\right )+18 x \log (x) \log \left (x^2\right ) \log ^2\left (\log \left (x^2\right )\right )}{9 \log (x) \log \left (x^2\right )} \, dx=\int { \frac {2 \, {\left (9 \, x \log \left (x^{2}\right ) \log \left (x\right ) \log \left (\frac {\log \left (x\right )}{x}\right )^{2} + 9 \, x \log \left (x^{2}\right ) \log \left (x\right ) \log \left (\log \left (x^{2}\right )\right )^{2} + {\left (9 \, x^{2} + 2 \, {\left (9 \, x^{3} + 18 \, x^{2} + 5 \, x\right )} \log \left (x\right ) + 15 \, x\right )} \log \left (x^{2}\right ) + 6 \, {\left (3 \, x^{2} + 5 \, x\right )} \log \left (x\right ) + 3 \, {\left ({\left ({\left (9 \, x^{2} + 7 \, x\right )} \log \left (x\right ) + 3 \, x\right )} \log \left (x^{2}\right ) + 6 \, x \log \left (x\right )\right )} \log \left (\frac {\log \left (x\right )}{x}\right ) + 3 \, {\left (6 \, x \log \left (x^{2}\right ) \log \left (x\right ) \log \left (\frac {\log \left (x\right )}{x}\right ) + {\left ({\left (9 \, x^{2} + 7 \, x\right )} \log \left (x\right ) + 3 \, x\right )} \log \left (x^{2}\right ) + 6 \, x \log \left (x\right )\right )} \log \left (\log \left (x^{2}\right )\right )\right )}}{9 \, \log \left (x^{2}\right ) \log \left (x\right )} \,d x } \]
[In]
[Out]
\[ \int \frac {\left (60 x+36 x^2\right ) \log (x)+\left (30 x+18 x^2+\left (20 x+72 x^2+36 x^3\right ) \log (x)\right ) \log \left (x^2\right )+\left (36 x \log (x)+\left (18 x+\left (42 x+54 x^2\right ) \log (x)\right ) \log \left (x^2\right )\right ) \log \left (\frac {\log (x)}{x}\right )+18 x \log (x) \log \left (x^2\right ) \log ^2\left (\frac {\log (x)}{x}\right )+\left (36 x \log (x)+\left (18 x+\left (42 x+54 x^2\right ) \log (x)\right ) \log \left (x^2\right )+36 x \log (x) \log \left (x^2\right ) \log \left (\frac {\log (x)}{x}\right )\right ) \log \left (\log \left (x^2\right )\right )+18 x \log (x) \log \left (x^2\right ) \log ^2\left (\log \left (x^2\right )\right )}{9 \log (x) \log \left (x^2\right )} \, dx=\int { \frac {2 \, {\left (9 \, x \log \left (x^{2}\right ) \log \left (x\right ) \log \left (\frac {\log \left (x\right )}{x}\right )^{2} + 9 \, x \log \left (x^{2}\right ) \log \left (x\right ) \log \left (\log \left (x^{2}\right )\right )^{2} + {\left (9 \, x^{2} + 2 \, {\left (9 \, x^{3} + 18 \, x^{2} + 5 \, x\right )} \log \left (x\right ) + 15 \, x\right )} \log \left (x^{2}\right ) + 6 \, {\left (3 \, x^{2} + 5 \, x\right )} \log \left (x\right ) + 3 \, {\left ({\left ({\left (9 \, x^{2} + 7 \, x\right )} \log \left (x\right ) + 3 \, x\right )} \log \left (x^{2}\right ) + 6 \, x \log \left (x\right )\right )} \log \left (\frac {\log \left (x\right )}{x}\right ) + 3 \, {\left (6 \, x \log \left (x^{2}\right ) \log \left (x\right ) \log \left (\frac {\log \left (x\right )}{x}\right ) + {\left ({\left (9 \, x^{2} + 7 \, x\right )} \log \left (x\right ) + 3 \, x\right )} \log \left (x^{2}\right ) + 6 \, x \log \left (x\right )\right )} \log \left (\log \left (x^{2}\right )\right )\right )}}{9 \, \log \left (x^{2}\right ) \log \left (x\right )} \,d x } \]
[In]
[Out]
Time = 12.79 (sec) , antiderivative size = 90, normalized size of antiderivative = 3.33 \[ \int \frac {\left (60 x+36 x^2\right ) \log (x)+\left (30 x+18 x^2+\left (20 x+72 x^2+36 x^3\right ) \log (x)\right ) \log \left (x^2\right )+\left (36 x \log (x)+\left (18 x+\left (42 x+54 x^2\right ) \log (x)\right ) \log \left (x^2\right )\right ) \log \left (\frac {\log (x)}{x}\right )+18 x \log (x) \log \left (x^2\right ) \log ^2\left (\frac {\log (x)}{x}\right )+\left (36 x \log (x)+\left (18 x+\left (42 x+54 x^2\right ) \log (x)\right ) \log \left (x^2\right )+36 x \log (x) \log \left (x^2\right ) \log \left (\frac {\log (x)}{x}\right )\right ) \log \left (\log \left (x^2\right )\right )+18 x \log (x) \log \left (x^2\right ) \log ^2\left (\log \left (x^2\right )\right )}{9 \log (x) \log \left (x^2\right )} \, dx=x^2\,{\ln \left (\frac {\ln \left (x\right )}{x}\right )}^2+\ln \left (\frac {\ln \left (x\right )}{x}\right )\,\left (\frac {6\,x^4+10\,x^3}{3\,x}+2\,x^2\,\ln \left (\ln \left (x^2\right )\right )\right )+x^2\,{\ln \left (\ln \left (x^2\right )\right )}^2+\frac {25\,x^2}{9}+\frac {10\,x^3}{3}+x^4+\ln \left (\ln \left (x^2\right )\right )\,\left (2\,x^3+\frac {10\,x^2}{3}\right ) \]
[In]
[Out]