Integrand size = 238, antiderivative size = 29 \[ \int \frac {\left (4 x^6+8 x^3 \log (4)\right ) \log \left (\frac {121 x^4-110 x^5+25 x^6+\left (110 x^2-50 x^3\right ) \log (4)+25 \log ^2(4)}{4 x^4-4 x^5+x^6+\left (4 x^2-2 x^3\right ) \log (4)+\log ^2(4)}\right )+\left (44 x^5-42 x^6+10 x^7+\left (42 x^3-20 x^4\right ) \log (4)+10 x \log ^2(4)\right ) \log ^2\left (\frac {121 x^4-110 x^5+25 x^6+\left (110 x^2-50 x^3\right ) \log (4)+25 \log ^2(4)}{4 x^4-4 x^5+x^6+\left (4 x^2-2 x^3\right ) \log (4)+\log ^2(4)}\right )}{22 x^4-21 x^5+5 x^6+\left (21 x^2-10 x^3\right ) \log (4)+5 \log ^2(4)} \, dx=x^2 \log ^2\left (\left (-5+\frac {x}{-2 x+x^2-\frac {\log (4)}{x}}\right )^2\right ) \]
[Out]
Time = 145.85 (sec) , antiderivative size = 40, normalized size of antiderivative = 1.38, number of steps used = 61, number of rules used = 19, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.080, Rules used = {6820, 6874, 2125, 2106, 2104, 814, 648, 632, 210, 642, 2605, 12, 2608, 2603, 1642, 2092, 2090, 719, 31} \[ \int \frac {\left (4 x^6+8 x^3 \log (4)\right ) \log \left (\frac {121 x^4-110 x^5+25 x^6+\left (110 x^2-50 x^3\right ) \log (4)+25 \log ^2(4)}{4 x^4-4 x^5+x^6+\left (4 x^2-2 x^3\right ) \log (4)+\log ^2(4)}\right )+\left (44 x^5-42 x^6+10 x^7+\left (42 x^3-20 x^4\right ) \log (4)+10 x \log ^2(4)\right ) \log ^2\left (\frac {121 x^4-110 x^5+25 x^6+\left (110 x^2-50 x^3\right ) \log (4)+25 \log ^2(4)}{4 x^4-4 x^5+x^6+\left (4 x^2-2 x^3\right ) \log (4)+\log ^2(4)}\right )}{22 x^4-21 x^5+5 x^6+\left (21 x^2-10 x^3\right ) \log (4)+5 \log ^2(4)} \, dx=x^2 \log ^2\left (\frac {\left (-5 x^3+11 x^2+5 \log (4)\right )^2}{\left (-x^3+2 x^2+\log (4)\right )^2}\right ) \]
[In]
[Out]
Rule 12
Rule 31
Rule 210
Rule 632
Rule 642
Rule 648
Rule 719
Rule 814
Rule 1642
Rule 2090
Rule 2092
Rule 2104
Rule 2106
Rule 2125
Rule 2603
Rule 2605
Rule 2608
Rule 6820
Rule 6874
Rubi steps \begin{align*} \text {integral}& = \int \frac {\log \left (\frac {\left (11 x^2-5 x^3+5 \log (4)\right )^2}{\left (2 x^2-x^3+\log (4)\right )^2}\right ) \left (4 x^6+8 x^3 \log (4)+2 \left (22 x^5-21 x^6+5 x^7+21 x^3 \log (4)-10 x^4 \log (4)+5 x \log ^2(4)\right ) \log \left (\frac {\left (11 x^2-5 x^3+5 \log (4)\right )^2}{\left (2 x^2-x^3+\log (4)\right )^2}\right )\right )}{22 x^4-21 x^5+5 x^6+21 x^2 \log (4)-10 x^3 \log (4)+5 \log ^2(4)} \, dx \\ & = \int \left (\frac {4 x^3 \left (x^3+\log (16)\right ) \log \left (\frac {\left (11 x^2-5 x^3+5 \log (4)\right )^2}{\left (2 x^2-x^3+\log (4)\right )^2}\right )}{\left (-11 x^2+5 x^3-5 \log (4)\right ) \left (-2 x^2+x^3-\log (4)\right )}+2 x \log ^2\left (\frac {\left (11 x^2-5 x^3+5 \log (4)\right )^2}{\left (2 x^2-x^3+\log (4)\right )^2}\right )\right ) \, dx \\ & = 2 \int x \log ^2\left (\frac {\left (11 x^2-5 x^3+5 \log (4)\right )^2}{\left (2 x^2-x^3+\log (4)\right )^2}\right ) \, dx+4 \int \frac {x^3 \left (x^3+\log (16)\right ) \log \left (\frac {\left (11 x^2-5 x^3+5 \log (4)\right )^2}{\left (2 x^2-x^3+\log (4)\right )^2}\right )}{\left (-11 x^2+5 x^3-5 \log (4)\right ) \left (-2 x^2+x^3-\log (4)\right )} \, dx \\ & = x^2 \log ^2\left (\frac {\left (11 x^2-5 x^3+5 \log (4)\right )^2}{\left (2 x^2-x^3+\log (4)\right )^2}\right )-2 \int \frac {2 x^3 \left (x^3+\log (16)\right ) \log \left (\frac {\left (11 x^2-5 x^3+5 \log (4)\right )^2}{\left (2 x^2-x^3+\log (4)\right )^2}\right )}{\left (2 x^2-x^3+\log (4)\right ) \left (11 x^2-5 x^3+5 \log (4)\right )} \, dx+4 \int \left (\frac {1}{5} \log \left (\frac {\left (11 x^2-5 x^3+5 \log (4)\right )^2}{\left (2 x^2-x^3+\log (4)\right )^2}\right )+\frac {\left (-4 x^2-\log (16)-x \log (64)\right ) \log \left (\frac {\left (11 x^2-5 x^3+5 \log (4)\right )^2}{\left (2 x^2-x^3+\log (4)\right )^2}\right )}{-2 x^2+x^3-\log (4)}+\frac {\left (121 x^2+55 \log (4)+25 x \log (64)\right ) \log \left (\frac {\left (11 x^2-5 x^3+5 \log (4)\right )^2}{\left (2 x^2-x^3+\log (4)\right )^2}\right )}{5 \left (-11 x^2+5 x^3-5 \log (4)\right )}\right ) \, dx \\ & = x^2 \log ^2\left (\frac {\left (11 x^2-5 x^3+5 \log (4)\right )^2}{\left (2 x^2-x^3+\log (4)\right )^2}\right )+\frac {4}{5} \int \log \left (\frac {\left (11 x^2-5 x^3+5 \log (4)\right )^2}{\left (2 x^2-x^3+\log (4)\right )^2}\right ) \, dx+\frac {4}{5} \int \frac {\left (121 x^2+55 \log (4)+25 x \log (64)\right ) \log \left (\frac {\left (11 x^2-5 x^3+5 \log (4)\right )^2}{\left (2 x^2-x^3+\log (4)\right )^2}\right )}{-11 x^2+5 x^3-5 \log (4)} \, dx-4 \int \frac {x^3 \left (x^3+\log (16)\right ) \log \left (\frac {\left (11 x^2-5 x^3+5 \log (4)\right )^2}{\left (2 x^2-x^3+\log (4)\right )^2}\right )}{\left (2 x^2-x^3+\log (4)\right ) \left (11 x^2-5 x^3+5 \log (4)\right )} \, dx+4 \int \frac {\left (-4 x^2-\log (16)-x \log (64)\right ) \log \left (\frac {\left (11 x^2-5 x^3+5 \log (4)\right )^2}{\left (2 x^2-x^3+\log (4)\right )^2}\right )}{-2 x^2+x^3-\log (4)} \, dx \\ & = \frac {4}{5} x \log \left (\frac {\left (11 x^2-5 x^3+5 \log (4)\right )^2}{\left (2 x^2-x^3+\log (4)\right )^2}\right )+x^2 \log ^2\left (\frac {\left (11 x^2-5 x^3+5 \log (4)\right )^2}{\left (2 x^2-x^3+\log (4)\right )^2}\right )-\frac {4}{5} \int \frac {2 x^2 \left (x^3+\log (16)\right )}{\left (2 x^2-x^3+\log (4)\right ) \left (11 x^2-5 x^3+5 \log (4)\right )} \, dx+\frac {4}{5} \int \left (\frac {121 x^2 \log \left (\frac {\left (11 x^2-5 x^3+5 \log (4)\right )^2}{\left (2 x^2-x^3+\log (4)\right )^2}\right )}{-11 x^2+5 x^3-5 \log (4)}+\frac {55 \log (4) \log \left (\frac {\left (11 x^2-5 x^3+5 \log (4)\right )^2}{\left (2 x^2-x^3+\log (4)\right )^2}\right )}{-11 x^2+5 x^3-5 \log (4)}+\frac {25 x \log (64) \log \left (\frac {\left (11 x^2-5 x^3+5 \log (4)\right )^2}{\left (2 x^2-x^3+\log (4)\right )^2}\right )}{-11 x^2+5 x^3-5 \log (4)}\right ) \, dx+4 \int \left (-\frac {4 x^2 \log \left (\frac {\left (11 x^2-5 x^3+5 \log (4)\right )^2}{\left (2 x^2-x^3+\log (4)\right )^2}\right )}{-2 x^2+x^3-\log (4)}-\frac {\log (16) \log \left (\frac {\left (11 x^2-5 x^3+5 \log (4)\right )^2}{\left (2 x^2-x^3+\log (4)\right )^2}\right )}{-2 x^2+x^3-\log (4)}-\frac {x \log (64) \log \left (\frac {\left (11 x^2-5 x^3+5 \log (4)\right )^2}{\left (2 x^2-x^3+\log (4)\right )^2}\right )}{-2 x^2+x^3-\log (4)}\right ) \, dx-4 \int \left (\frac {1}{5} \log \left (\frac {\left (11 x^2-5 x^3+5 \log (4)\right )^2}{\left (2 x^2-x^3+\log (4)\right )^2}\right )+\frac {\left (-4 x^2-\log (16)-x \log (64)\right ) \log \left (\frac {\left (11 x^2-5 x^3+5 \log (4)\right )^2}{\left (2 x^2-x^3+\log (4)\right )^2}\right )}{-2 x^2+x^3-\log (4)}+\frac {\left (121 x^2+55 \log (4)+25 x \log (64)\right ) \log \left (\frac {\left (11 x^2-5 x^3+5 \log (4)\right )^2}{\left (2 x^2-x^3+\log (4)\right )^2}\right )}{5 \left (-11 x^2+5 x^3-5 \log (4)\right )}\right ) \, dx \\ & = \frac {4}{5} x \log \left (\frac {\left (11 x^2-5 x^3+5 \log (4)\right )^2}{\left (2 x^2-x^3+\log (4)\right )^2}\right )+x^2 \log ^2\left (\frac {\left (11 x^2-5 x^3+5 \log (4)\right )^2}{\left (2 x^2-x^3+\log (4)\right )^2}\right )-\frac {4}{5} \int \log \left (\frac {\left (11 x^2-5 x^3+5 \log (4)\right )^2}{\left (2 x^2-x^3+\log (4)\right )^2}\right ) \, dx-\frac {4}{5} \int \frac {\left (121 x^2+55 \log (4)+25 x \log (64)\right ) \log \left (\frac {\left (11 x^2-5 x^3+5 \log (4)\right )^2}{\left (2 x^2-x^3+\log (4)\right )^2}\right )}{-11 x^2+5 x^3-5 \log (4)} \, dx-\frac {8}{5} \int \frac {x^2 \left (x^3+\log (16)\right )}{\left (2 x^2-x^3+\log (4)\right ) \left (11 x^2-5 x^3+5 \log (4)\right )} \, dx-4 \int \frac {\left (-4 x^2-\log (16)-x \log (64)\right ) \log \left (\frac {\left (11 x^2-5 x^3+5 \log (4)\right )^2}{\left (2 x^2-x^3+\log (4)\right )^2}\right )}{-2 x^2+x^3-\log (4)} \, dx-16 \int \frac {x^2 \log \left (\frac {\left (11 x^2-5 x^3+5 \log (4)\right )^2}{\left (2 x^2-x^3+\log (4)\right )^2}\right )}{-2 x^2+x^3-\log (4)} \, dx+\frac {484}{5} \int \frac {x^2 \log \left (\frac {\left (11 x^2-5 x^3+5 \log (4)\right )^2}{\left (2 x^2-x^3+\log (4)\right )^2}\right )}{-11 x^2+5 x^3-5 \log (4)} \, dx+(44 \log (4)) \int \frac {\log \left (\frac {\left (11 x^2-5 x^3+5 \log (4)\right )^2}{\left (2 x^2-x^3+\log (4)\right )^2}\right )}{-11 x^2+5 x^3-5 \log (4)} \, dx-(4 \log (16)) \int \frac {\log \left (\frac {\left (11 x^2-5 x^3+5 \log (4)\right )^2}{\left (2 x^2-x^3+\log (4)\right )^2}\right )}{-2 x^2+x^3-\log (4)} \, dx-(4 \log (64)) \int \frac {x \log \left (\frac {\left (11 x^2-5 x^3+5 \log (4)\right )^2}{\left (2 x^2-x^3+\log (4)\right )^2}\right )}{-2 x^2+x^3-\log (4)} \, dx+(20 \log (64)) \int \frac {x \log \left (\frac {\left (11 x^2-5 x^3+5 \log (4)\right )^2}{\left (2 x^2-x^3+\log (4)\right )^2}\right )}{-11 x^2+5 x^3-5 \log (4)} \, dx \\ & = x^2 \log ^2\left (\frac {\left (11 x^2-5 x^3+5 \log (4)\right )^2}{\left (2 x^2-x^3+\log (4)\right )^2}\right )+\frac {4}{5} \int \frac {2 x^2 \left (x^3+\log (16)\right )}{\left (2 x^2-x^3+\log (4)\right ) \left (11 x^2-5 x^3+5 \log (4)\right )} \, dx-\frac {4}{5} \int \left (\frac {121 x^2 \log \left (\frac {\left (11 x^2-5 x^3+5 \log (4)\right )^2}{\left (2 x^2-x^3+\log (4)\right )^2}\right )}{-11 x^2+5 x^3-5 \log (4)}+\frac {55 \log (4) \log \left (\frac {\left (11 x^2-5 x^3+5 \log (4)\right )^2}{\left (2 x^2-x^3+\log (4)\right )^2}\right )}{-11 x^2+5 x^3-5 \log (4)}+\frac {25 x \log (64) \log \left (\frac {\left (11 x^2-5 x^3+5 \log (4)\right )^2}{\left (2 x^2-x^3+\log (4)\right )^2}\right )}{-11 x^2+5 x^3-5 \log (4)}\right ) \, dx-\frac {8}{5} \int \left (\frac {-2 x^2-\log (64)}{-2 x^2+x^3-\log (4)}+\frac {11 x^2+5 \log (64)}{-11 x^2+5 x^3-5 \log (4)}\right ) \, dx-4 \int \left (-\frac {4 x^2 \log \left (\frac {\left (11 x^2-5 x^3+5 \log (4)\right )^2}{\left (2 x^2-x^3+\log (4)\right )^2}\right )}{-2 x^2+x^3-\log (4)}-\frac {\log (16) \log \left (\frac {\left (11 x^2-5 x^3+5 \log (4)\right )^2}{\left (2 x^2-x^3+\log (4)\right )^2}\right )}{-2 x^2+x^3-\log (4)}-\frac {x \log (64) \log \left (\frac {\left (11 x^2-5 x^3+5 \log (4)\right )^2}{\left (2 x^2-x^3+\log (4)\right )^2}\right )}{-2 x^2+x^3-\log (4)}\right ) \, dx-16 \int \frac {x^2 \log \left (\frac {\left (11 x^2-5 x^3+5 \log (4)\right )^2}{\left (2 x^2-x^3+\log (4)\right )^2}\right )}{-2 x^2+x^3-\log (4)} \, dx+\frac {484}{5} \int \frac {x^2 \log \left (\frac {\left (11 x^2-5 x^3+5 \log (4)\right )^2}{\left (2 x^2-x^3+\log (4)\right )^2}\right )}{-11 x^2+5 x^3-5 \log (4)} \, dx+(44 \log (4)) \int \frac {\log \left (\frac {\left (11 x^2-5 x^3+5 \log (4)\right )^2}{\left (2 x^2-x^3+\log (4)\right )^2}\right )}{-11 x^2+5 x^3-5 \log (4)} \, dx-(4 \log (16)) \int \frac {\log \left (\frac {\left (11 x^2-5 x^3+5 \log (4)\right )^2}{\left (2 x^2-x^3+\log (4)\right )^2}\right )}{-2 x^2+x^3-\log (4)} \, dx-(4 \log (64)) \int \frac {x \log \left (\frac {\left (11 x^2-5 x^3+5 \log (4)\right )^2}{\left (2 x^2-x^3+\log (4)\right )^2}\right )}{-2 x^2+x^3-\log (4)} \, dx+(20 \log (64)) \int \frac {x \log \left (\frac {\left (11 x^2-5 x^3+5 \log (4)\right )^2}{\left (2 x^2-x^3+\log (4)\right )^2}\right )}{-11 x^2+5 x^3-5 \log (4)} \, dx \\ & = x^2 \log ^2\left (\frac {\left (11 x^2-5 x^3+5 \log (4)\right )^2}{\left (2 x^2-x^3+\log (4)\right )^2}\right )+\frac {8}{5} \int \frac {x^2 \left (x^3+\log (16)\right )}{\left (2 x^2-x^3+\log (4)\right ) \left (11 x^2-5 x^3+5 \log (4)\right )} \, dx-\frac {8}{5} \int \frac {-2 x^2-\log (64)}{-2 x^2+x^3-\log (4)} \, dx-\frac {8}{5} \int \frac {11 x^2+5 \log (64)}{-11 x^2+5 x^3-5 \log (4)} \, dx \\ & = -\frac {88}{75} \log \left (-11 x^2+5 x^3-5 \log (4)\right )+\frac {16}{15} \log \left (-2 x^2+x^3-\log (4)\right )+x^2 \log ^2\left (\frac {\left (11 x^2-5 x^3+5 \log (4)\right )^2}{\left (2 x^2-x^3+\log (4)\right )^2}\right )-\frac {8}{75} \int \frac {242 x+75 \log (64)}{-11 x^2+5 x^3-5 \log (4)} \, dx-\frac {8}{15} \int \frac {-8 x-3 \log (64)}{-2 x^2+x^3-\log (4)} \, dx+\frac {8}{5} \int \left (\frac {-2 x^2-\log (64)}{-2 x^2+x^3-\log (4)}+\frac {11 x^2+5 \log (64)}{-11 x^2+5 x^3-5 \log (4)}\right ) \, dx \\ & = -\frac {88}{75} \log \left (-11 x^2+5 x^3-5 \log (4)\right )+\frac {16}{15} \log \left (-2 x^2+x^3-\log (4)\right )+x^2 \log ^2\left (\frac {\left (11 x^2-5 x^3+5 \log (4)\right )^2}{\left (2 x^2-x^3+\log (4)\right )^2}\right )-\frac {8}{75} \text {Subst}\left (\int \frac {242 x+\frac {1}{15} (2662+1125 \log (64))}{-\frac {121 x}{15}+5 x^3+\frac {1}{675} (-2662-3375 \log (4))} \, dx,x,-\frac {11}{15}+x\right )-\frac {8}{15} \text {Subst}\left (\int \frac {-8 x+\frac {1}{3} (-16-9 \log (64))}{-\frac {4 x}{3}+x^3+\frac {1}{27} (-16-27 \log (4))} \, dx,x,-\frac {2}{3}+x\right )+\frac {8}{5} \int \frac {-2 x^2-\log (64)}{-2 x^2+x^3-\log (4)} \, dx+\frac {8}{5} \int \frac {11 x^2+5 \log (64)}{-11 x^2+5 x^3-5 \log (4)} \, dx \\ & = x^2 \log ^2\left (\frac {\left (11 x^2-5 x^3+5 \log (4)\right )^2}{\left (2 x^2-x^3+\log (4)\right )^2}\right )+\frac {8}{75} \int \frac {242 x+75 \log (64)}{-11 x^2+5 x^3-5 \log (4)} \, dx+\frac {8}{15} \int \frac {-8 x-3 \log (64)}{-2 x^2+x^3-\log (4)} \, dx-\frac {8}{15} \text {Subst}\left (\int \frac {-8 x+\frac {1}{3} (-16-9 \log (64))}{\left (x^2+\frac {1}{3} x \left (4 \sqrt [3]{\frac {2}{16+27 \log (4)+3 \sqrt {3 \log (4) (32+27 \log (4))}}}+\sqrt [3]{\frac {1}{2} \left (16+27 \log (4)+3 \sqrt {3 \log (4) (32+27 \log (4))}\right )}\right )+\frac {1}{18} \left (-8+32 \left (\frac {2}{16+27 \log (4)+3 \sqrt {3 \log (4) (32+27 \log (4))}}\right )^{2/3}+\sqrt [3]{2} \left (16+27 \log (4)+3 \sqrt {3 \log (4) (32+27 \log (4))}\right )^{2/3}\right )\right ) \left (x-\frac {\frac {8}{\sqrt [3]{16+27 \log (4)+3 \sqrt {3 \log (4) (32+27 \log (4))}}}+\sqrt [3]{2 \left (16+27 \log (4)+3 \sqrt {3 \log (4) (32+27 \log (4))}\right )}}{3\ 2^{2/3}}\right )} \, dx,x,-\frac {2}{3}+x\right )-\frac {8}{3} \text {Subst}\left (\int \frac {242 x+\frac {1}{15} (2662+1125 \log (64))}{\left (25 x^2+\frac {5}{3} x \left (121 \sqrt [3]{\frac {2}{2662+3375 \log (4)+15 \sqrt {15 \log (4) (5324+3375 \log (4))}}}+\sqrt [3]{\frac {1}{2} \left (2662+3375 \log (4)+15 \sqrt {15 \log (4) (5324+3375 \log (4))}\right )}\right )+\frac {1}{18} \left (-242+29282 \left (\frac {2}{2662+3375 \log (4)+15 \sqrt {15 \log (4) (5324+3375 \log (4))}}\right )^{2/3}+\sqrt [3]{2} \left (2662+3375 \log (4)+15 \sqrt {15 \log (4) (5324+3375 \log (4))}\right )^{2/3}\right )\right ) \left (5 x-\frac {\frac {242}{\sqrt [3]{2662+3375 \log (4)+15 \sqrt {15 \log (4) (5324+3375 \log (4))}}}+\sqrt [3]{2 \left (2662+3375 \log (4)+15 \sqrt {15 \log (4) (5324+3375 \log (4))}\right )}}{3\ 2^{2/3}}\right )} \, dx,x,-\frac {11}{15}+x\right ) \\ & = \text {Too large to display} \\ \end{align*}
Result contains higher order function than in optimal. Order 9 vs. order 3 in optimal.
Time = 15.12 (sec) , antiderivative size = 57407, normalized size of antiderivative = 1979.55 \[ \int \frac {\left (4 x^6+8 x^3 \log (4)\right ) \log \left (\frac {121 x^4-110 x^5+25 x^6+\left (110 x^2-50 x^3\right ) \log (4)+25 \log ^2(4)}{4 x^4-4 x^5+x^6+\left (4 x^2-2 x^3\right ) \log (4)+\log ^2(4)}\right )+\left (44 x^5-42 x^6+10 x^7+\left (42 x^3-20 x^4\right ) \log (4)+10 x \log ^2(4)\right ) \log ^2\left (\frac {121 x^4-110 x^5+25 x^6+\left (110 x^2-50 x^3\right ) \log (4)+25 \log ^2(4)}{4 x^4-4 x^5+x^6+\left (4 x^2-2 x^3\right ) \log (4)+\log ^2(4)}\right )}{22 x^4-21 x^5+5 x^6+\left (21 x^2-10 x^3\right ) \log (4)+5 \log ^2(4)} \, dx=\text {Result too large to show} \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. \(81\) vs. \(2(29)=58\).
Time = 1.28 (sec) , antiderivative size = 82, normalized size of antiderivative = 2.83
method | result | size |
parallelrisch | \(x^{2} \ln \left (\frac {100 \ln \left (2\right )^{2}+2 \left (-50 x^{3}+110 x^{2}\right ) \ln \left (2\right )+25 x^{6}-110 x^{5}+121 x^{4}}{x^{6}-4 x^{5}-4 x^{3} \ln \left (2\right )+4 x^{4}+8 x^{2} \ln \left (2\right )+4 \ln \left (2\right )^{2}}\right )^{2}\) | \(82\) |
norman | \(x^{2} \ln \left (\frac {100 \ln \left (2\right )^{2}+2 \left (-50 x^{3}+110 x^{2}\right ) \ln \left (2\right )+25 x^{6}-110 x^{5}+121 x^{4}}{4 \ln \left (2\right )^{2}+2 \left (-2 x^{3}+4 x^{2}\right ) \ln \left (2\right )+x^{6}-4 x^{5}+4 x^{4}}\right )^{2}\) | \(83\) |
risch | \(x^{2} \ln \left (\frac {100 \ln \left (2\right )^{2}+2 \left (-50 x^{3}+110 x^{2}\right ) \ln \left (2\right )+25 x^{6}-110 x^{5}+121 x^{4}}{4 \ln \left (2\right )^{2}+2 \left (-2 x^{3}+4 x^{2}\right ) \ln \left (2\right )+x^{6}-4 x^{5}+4 x^{4}}\right )^{2}\) | \(83\) |
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 80 vs. \(2 (29) = 58\).
Time = 0.27 (sec) , antiderivative size = 80, normalized size of antiderivative = 2.76 \[ \int \frac {\left (4 x^6+8 x^3 \log (4)\right ) \log \left (\frac {121 x^4-110 x^5+25 x^6+\left (110 x^2-50 x^3\right ) \log (4)+25 \log ^2(4)}{4 x^4-4 x^5+x^6+\left (4 x^2-2 x^3\right ) \log (4)+\log ^2(4)}\right )+\left (44 x^5-42 x^6+10 x^7+\left (42 x^3-20 x^4\right ) \log (4)+10 x \log ^2(4)\right ) \log ^2\left (\frac {121 x^4-110 x^5+25 x^6+\left (110 x^2-50 x^3\right ) \log (4)+25 \log ^2(4)}{4 x^4-4 x^5+x^6+\left (4 x^2-2 x^3\right ) \log (4)+\log ^2(4)}\right )}{22 x^4-21 x^5+5 x^6+\left (21 x^2-10 x^3\right ) \log (4)+5 \log ^2(4)} \, dx=x^{2} \log \left (\frac {25 \, x^{6} - 110 \, x^{5} + 121 \, x^{4} - 20 \, {\left (5 \, x^{3} - 11 \, x^{2}\right )} \log \left (2\right ) + 100 \, \log \left (2\right )^{2}}{x^{6} - 4 \, x^{5} + 4 \, x^{4} - 4 \, {\left (x^{3} - 2 \, x^{2}\right )} \log \left (2\right ) + 4 \, \log \left (2\right )^{2}}\right )^{2} \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 75 vs. \(2 (24) = 48\).
Time = 0.20 (sec) , antiderivative size = 75, normalized size of antiderivative = 2.59 \[ \int \frac {\left (4 x^6+8 x^3 \log (4)\right ) \log \left (\frac {121 x^4-110 x^5+25 x^6+\left (110 x^2-50 x^3\right ) \log (4)+25 \log ^2(4)}{4 x^4-4 x^5+x^6+\left (4 x^2-2 x^3\right ) \log (4)+\log ^2(4)}\right )+\left (44 x^5-42 x^6+10 x^7+\left (42 x^3-20 x^4\right ) \log (4)+10 x \log ^2(4)\right ) \log ^2\left (\frac {121 x^4-110 x^5+25 x^6+\left (110 x^2-50 x^3\right ) \log (4)+25 \log ^2(4)}{4 x^4-4 x^5+x^6+\left (4 x^2-2 x^3\right ) \log (4)+\log ^2(4)}\right )}{22 x^4-21 x^5+5 x^6+\left (21 x^2-10 x^3\right ) \log (4)+5 \log ^2(4)} \, dx=x^{2} \log {\left (\frac {25 x^{6} - 110 x^{5} + 121 x^{4} + \left (- 100 x^{3} + 220 x^{2}\right ) \log {\left (2 \right )} + 100 \log {\left (2 \right )}^{2}}{x^{6} - 4 x^{5} + 4 x^{4} + \left (- 4 x^{3} + 8 x^{2}\right ) \log {\left (2 \right )} + 4 \log {\left (2 \right )}^{2}} \right )}^{2} \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 80 vs. \(2 (29) = 58\).
Time = 0.33 (sec) , antiderivative size = 80, normalized size of antiderivative = 2.76 \[ \int \frac {\left (4 x^6+8 x^3 \log (4)\right ) \log \left (\frac {121 x^4-110 x^5+25 x^6+\left (110 x^2-50 x^3\right ) \log (4)+25 \log ^2(4)}{4 x^4-4 x^5+x^6+\left (4 x^2-2 x^3\right ) \log (4)+\log ^2(4)}\right )+\left (44 x^5-42 x^6+10 x^7+\left (42 x^3-20 x^4\right ) \log (4)+10 x \log ^2(4)\right ) \log ^2\left (\frac {121 x^4-110 x^5+25 x^6+\left (110 x^2-50 x^3\right ) \log (4)+25 \log ^2(4)}{4 x^4-4 x^5+x^6+\left (4 x^2-2 x^3\right ) \log (4)+\log ^2(4)}\right )}{22 x^4-21 x^5+5 x^6+\left (21 x^2-10 x^3\right ) \log (4)+5 \log ^2(4)} \, dx=4 \, x^{2} \log \left (5 \, x^{3} - 11 \, x^{2} - 10 \, \log \left (2\right )\right )^{2} - 8 \, x^{2} \log \left (5 \, x^{3} - 11 \, x^{2} - 10 \, \log \left (2\right )\right ) \log \left (x^{3} - 2 \, x^{2} - 2 \, \log \left (2\right )\right ) + 4 \, x^{2} \log \left (x^{3} - 2 \, x^{2} - 2 \, \log \left (2\right )\right )^{2} \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 162 vs. \(2 (29) = 58\).
Time = 3.86 (sec) , antiderivative size = 162, normalized size of antiderivative = 5.59 \[ \int \frac {\left (4 x^6+8 x^3 \log (4)\right ) \log \left (\frac {121 x^4-110 x^5+25 x^6+\left (110 x^2-50 x^3\right ) \log (4)+25 \log ^2(4)}{4 x^4-4 x^5+x^6+\left (4 x^2-2 x^3\right ) \log (4)+\log ^2(4)}\right )+\left (44 x^5-42 x^6+10 x^7+\left (42 x^3-20 x^4\right ) \log (4)+10 x \log ^2(4)\right ) \log ^2\left (\frac {121 x^4-110 x^5+25 x^6+\left (110 x^2-50 x^3\right ) \log (4)+25 \log ^2(4)}{4 x^4-4 x^5+x^6+\left (4 x^2-2 x^3\right ) \log (4)+\log ^2(4)}\right )}{22 x^4-21 x^5+5 x^6+\left (21 x^2-10 x^3\right ) \log (4)+5 \log ^2(4)} \, dx=x^{2} \log \left (25 \, x^{6} - 110 \, x^{5} + 121 \, x^{4} - 100 \, x^{3} \log \left (2\right ) + 220 \, x^{2} \log \left (2\right ) + 100 \, \log \left (2\right )^{2}\right )^{2} - 2 \, x^{2} \log \left (25 \, x^{6} - 110 \, x^{5} + 121 \, x^{4} - 100 \, x^{3} \log \left (2\right ) + 220 \, x^{2} \log \left (2\right ) + 100 \, \log \left (2\right )^{2}\right ) \log \left (x^{6} - 4 \, x^{5} + 4 \, x^{4} - 4 \, x^{3} \log \left (2\right ) + 8 \, x^{2} \log \left (2\right ) + 4 \, \log \left (2\right )^{2}\right ) + x^{2} \log \left (x^{6} - 4 \, x^{5} + 4 \, x^{4} - 4 \, x^{3} \log \left (2\right ) + 8 \, x^{2} \log \left (2\right ) + 4 \, \log \left (2\right )^{2}\right )^{2} \]
[In]
[Out]
Timed out. \[ \int \frac {\left (4 x^6+8 x^3 \log (4)\right ) \log \left (\frac {121 x^4-110 x^5+25 x^6+\left (110 x^2-50 x^3\right ) \log (4)+25 \log ^2(4)}{4 x^4-4 x^5+x^6+\left (4 x^2-2 x^3\right ) \log (4)+\log ^2(4)}\right )+\left (44 x^5-42 x^6+10 x^7+\left (42 x^3-20 x^4\right ) \log (4)+10 x \log ^2(4)\right ) \log ^2\left (\frac {121 x^4-110 x^5+25 x^6+\left (110 x^2-50 x^3\right ) \log (4)+25 \log ^2(4)}{4 x^4-4 x^5+x^6+\left (4 x^2-2 x^3\right ) \log (4)+\log ^2(4)}\right )}{22 x^4-21 x^5+5 x^6+\left (21 x^2-10 x^3\right ) \log (4)+5 \log ^2(4)} \, dx=\int \frac {\left (2\,\ln \left (2\right )\,\left (42\,x^3-20\,x^4\right )+40\,x\,{\ln \left (2\right )}^2+44\,x^5-42\,x^6+10\,x^7\right )\,{\ln \left (\frac {2\,\ln \left (2\right )\,\left (110\,x^2-50\,x^3\right )+100\,{\ln \left (2\right )}^2+121\,x^4-110\,x^5+25\,x^6}{2\,\ln \left (2\right )\,\left (4\,x^2-2\,x^3\right )+4\,{\ln \left (2\right )}^2+4\,x^4-4\,x^5+x^6}\right )}^2+\left (4\,x^6+16\,\ln \left (2\right )\,x^3\right )\,\ln \left (\frac {2\,\ln \left (2\right )\,\left (110\,x^2-50\,x^3\right )+100\,{\ln \left (2\right )}^2+121\,x^4-110\,x^5+25\,x^6}{2\,\ln \left (2\right )\,\left (4\,x^2-2\,x^3\right )+4\,{\ln \left (2\right )}^2+4\,x^4-4\,x^5+x^6}\right )}{2\,\ln \left (2\right )\,\left (21\,x^2-10\,x^3\right )+20\,{\ln \left (2\right )}^2+22\,x^4-21\,x^5+5\,x^6} \,d x \]
[In]
[Out]