Integrand size = 181, antiderivative size = 29 \[ \int \frac {-16 x^2+\left (-16 x-32 x^2\right ) \log (2)+\left (16 x+32 x^2\right ) \log (3)+(8 x+(8+16 x) \log (2)+(-8-16 x) \log (3)) \log (5)+\left (8 x^2+\left (24 x+16 x^2\right ) \log (2)+\left (-24 x-16 x^2\right ) \log (3)+(-8 x+(-16-16 x) \log (2)+(16+16 x) \log (3)) \log (5)\right ) \log (-x+\log (5))+(-8 x \log (2)+8 x \log (3)+(8 \log (2)-8 \log (3)) \log (5)) \log ^2(-x+\log (5))}{x^4 \log (2)-x^4 \log (3)+\left (-x^3 \log (2)+x^3 \log (3)\right ) \log (5)} \, dx=\left (-4+\frac {2 \left (-1+\frac {x}{-\log (2)+\log (3)}+\log (-x+\log (5))\right )}{x}\right )^2 \]
[Out]
Result contains higher order function than in optimal. Order 4 vs. order 3 in optimal.
Time = 0.64 (sec) , antiderivative size = 404, normalized size of antiderivative = 13.93, number of steps used = 27, number of rules used = 20, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.110, Rules used = {6, 6820, 12, 6874, 147, 2465, 2442, 46, 2439, 2438, 2437, 2338, 36, 29, 31, 2445, 2458, 2389, 2379, 2351} \[ \int \frac {-16 x^2+\left (-16 x-32 x^2\right ) \log (2)+\left (16 x+32 x^2\right ) \log (3)+(8 x+(8+16 x) \log (2)+(-8-16 x) \log (3)) \log (5)+\left (8 x^2+\left (24 x+16 x^2\right ) \log (2)+\left (-24 x-16 x^2\right ) \log (3)+(-8 x+(-16-16 x) \log (2)+(16+16 x) \log (3)) \log (5)\right ) \log (-x+\log (5))+(-8 x \log (2)+8 x \log (3)+(8 \log (2)-8 \log (3)) \log (5)) \log ^2(-x+\log (5))}{x^4 \log (2)-x^4 \log (3)+\left (-x^3 \log (2)+x^3 \log (3)\right ) \log (5)} \, dx=\frac {8 \operatorname {PolyLog}\left (2,\frac {x}{\log (5)}\right )}{\log ^2(5)}-\frac {8 \operatorname {PolyLog}\left (2,-\frac {\log (5)}{x-\log (5)}\right )}{\log ^2(5)}+\frac {4}{x^2}+\frac {4 \log ^2(\log (5)-x)}{x^2}-\frac {4 \log \left (\frac {9}{4}\right ) \log (\log (5)-x)}{x^2 \log \left (\frac {3}{2}\right )}+\frac {4 \log ^2(\log (5)-x)}{\log ^2(5)}+\frac {8 \log \left (\frac {\log (5)}{x-\log (5)}+1\right ) \log (\log (5)-x)}{\log ^2(5)}+\frac {8 (x-\log (5)) \log (\log (5)-x)}{x \log ^2(5)}-\frac {8 \left (\log \left (\frac {9}{4}\right ) \log (5)-\log \left (\frac {15}{2}\right )\right ) \log (x)}{\log \left (\frac {3}{2}\right ) \log ^2(5)}-\frac {8 \left (\log \left (\frac {10}{3}\right )-\log \left (\frac {9}{4}\right ) \log (5)\right ) \log (x)}{\log \left (\frac {3}{2}\right ) \log ^2(5)}-\frac {4 \log \left (\frac {9}{4}\right ) \log (x)}{\log \left (\frac {3}{2}\right ) \log ^2(5)}-\frac {8 \log (x)}{\log ^2(5)}+\frac {8 \left (\log \left (\frac {9}{4}\right ) \log (5)-\log \left (\frac {15}{2}\right )\right ) \log (x-\log (5))}{\log \left (\frac {3}{2}\right ) \log ^2(5)}+\frac {8 \left (\log \left (\frac {10}{3}\right )-\log \left (\frac {9}{4}\right ) \log (5)\right ) \log (x-\log (5))}{\log \left (\frac {3}{2}\right ) \log ^2(5)}+\frac {4 \log \left (\frac {9}{4}\right ) \log (x-\log (5))}{\log \left (\frac {3}{2}\right ) \log ^2(5)}-\frac {8 \log (\log (5)) \log (x)}{\log ^2(5)}-\frac {8 \left (\log \left (\frac {9}{4}\right ) \log (5)-\log \left (\frac {15}{2}\right )\right ) \log (\log (5)-x)}{x \log \left (\frac {3}{2}\right ) \log (5)}+\frac {8 \left (\log \left (\frac {9}{4}\right ) \log (5)-\log \left (\frac {15}{2}\right )\right )}{x \log \left (\frac {3}{2}\right ) \log (5)}+\frac {4 \log \left (\frac {9}{4}\right )}{x \log \left (\frac {3}{2}\right ) \log (5)} \]
[In]
[Out]
Rule 6
Rule 12
Rule 29
Rule 31
Rule 36
Rule 46
Rule 147
Rule 2338
Rule 2351
Rule 2379
Rule 2389
Rule 2437
Rule 2438
Rule 2439
Rule 2442
Rule 2445
Rule 2458
Rule 2465
Rule 6820
Rule 6874
Rubi steps \begin{align*} \text {integral}& = \int \frac {-16 x^2+\left (-16 x-32 x^2\right ) \log (2)+\left (16 x+32 x^2\right ) \log (3)+(8 x+(8+16 x) \log (2)+(-8-16 x) \log (3)) \log (5)+\left (8 x^2+\left (24 x+16 x^2\right ) \log (2)+\left (-24 x-16 x^2\right ) \log (3)+(-8 x+(-16-16 x) \log (2)+(16+16 x) \log (3)) \log (5)\right ) \log (-x+\log (5))+(-8 x \log (2)+8 x \log (3)+(8 \log (2)-8 \log (3)) \log (5)) \log ^2(-x+\log (5))}{x^4 (\log (2)-\log (3))+\left (-x^3 \log (2)+x^3 \log (3)\right ) \log (5)} \, dx \\ & = \int \frac {8 \left (\log \left (\frac {3}{2}\right )+x \left (-1+\log \left (\frac {9}{4}\right )\right )-\log \left (\frac {3}{2}\right ) \log (-x+\log (5))\right ) (-2 x+\log (5)+(x-\log (5)) \log (-x+\log (5)))}{x^3 \log \left (\frac {3}{2}\right ) (x-\log (5))} \, dx \\ & = \frac {8 \int \frac {\left (\log \left (\frac {3}{2}\right )+x \left (-1+\log \left (\frac {9}{4}\right )\right )-\log \left (\frac {3}{2}\right ) \log (-x+\log (5))\right ) (-2 x+\log (5)+(x-\log (5)) \log (-x+\log (5)))}{x^3 (x-\log (5))} \, dx}{\log \left (\frac {3}{2}\right )} \\ & = \frac {8 \int \left (\frac {\left (\log \left (\frac {3}{2}\right )-x \left (1-\log \left (\frac {9}{4}\right )\right )\right ) (-2 x+\log (5))}{x^3 (x-\log (5))}+\frac {\left (-x^2 \left (1-\log \left (\frac {9}{4}\right )\right )-\log \left (\frac {9}{4}\right ) \log (5)-x \left (\log \left (\frac {9}{4}\right ) \log (5)-\log \left (\frac {135}{8}\right )\right )\right ) \log (-x+\log (5))}{x^3 (x-\log (5))}-\frac {\log \left (\frac {3}{2}\right ) \log ^2(-x+\log (5))}{x^3}\right ) \, dx}{\log \left (\frac {3}{2}\right )} \\ & = -\left (8 \int \frac {\log ^2(-x+\log (5))}{x^3} \, dx\right )+\frac {8 \int \frac {\left (\log \left (\frac {3}{2}\right )+x \left (-1+\log \left (\frac {9}{4}\right )\right )\right ) (-2 x+\log (5))}{x^3 (x-\log (5))} \, dx}{\log \left (\frac {3}{2}\right )}+\frac {8 \int \frac {\left (-x^2 \left (1-\log \left (\frac {9}{4}\right )\right )-\log \left (\frac {9}{4}\right ) \log (5)-x \left (\log \left (\frac {9}{4}\right ) \log (5)-\log \left (\frac {135}{8}\right )\right )\right ) \log (-x+\log (5))}{x^3 (x-\log (5))} \, dx}{\log \left (\frac {3}{2}\right )} \\ & = \frac {4 \log ^2(-x+\log (5))}{x^2}+8 \int \frac {\log (-x+\log (5))}{x^2 (-x+\log (5))} \, dx+\frac {8 \int \left (-\frac {\log \left (\frac {3}{2}\right )}{x^3}+\frac {\log \left (\frac {10}{3}\right )-\log \left (\frac {9}{4}\right ) \log (5)}{(x-\log (5)) \log ^2(5)}+\frac {-\log \left (\frac {10}{3}\right )+\log \left (\frac {9}{4}\right ) \log (5)}{x \log ^2(5)}+\frac {-\log \left (\frac {9}{4}\right ) \log (5)+\log \left (\frac {15}{2}\right )}{x^2 \log (5)}\right ) \, dx}{\log \left (\frac {3}{2}\right )}+\frac {8 \int \left (\frac {\log \left (\frac {9}{4}\right ) \log (-x+\log (5))}{x^3}-\frac {\log \left (\frac {3}{2}\right ) \log (-x+\log (5))}{x \log ^2(5)}+\frac {\log \left (\frac {3}{2}\right ) \log (-x+\log (5))}{(x-\log (5)) \log ^2(5)}+\frac {\left (\log \left (\frac {9}{4}\right ) \log (5)-\log \left (\frac {15}{2}\right )\right ) \log (-x+\log (5))}{x^2 \log (5)}\right ) \, dx}{\log \left (\frac {3}{2}\right )} \\ & = \frac {4}{x^2}+\frac {8 \left (\log \left (\frac {9}{4}\right ) \log (5)-\log \left (\frac {15}{2}\right )\right )}{x \log \left (\frac {3}{2}\right ) \log (5)}-\frac {8 \left (\log \left (\frac {10}{3}\right )-\log \left (\frac {9}{4}\right ) \log (5)\right ) \log (x)}{\log \left (\frac {3}{2}\right ) \log ^2(5)}+\frac {8 \left (\log \left (\frac {10}{3}\right )-\log \left (\frac {9}{4}\right ) \log (5)\right ) \log (x-\log (5))}{\log \left (\frac {3}{2}\right ) \log ^2(5)}+\frac {4 \log ^2(-x+\log (5))}{x^2}-8 \text {Subst}\left (\int \frac {\log (x)}{x (-x+\log (5))^2} \, dx,x,-x+\log (5)\right )+\frac {\left (8 \log \left (\frac {9}{4}\right )\right ) \int \frac {\log (-x+\log (5))}{x^3} \, dx}{\log \left (\frac {3}{2}\right )}-\frac {8 \int \frac {\log (-x+\log (5))}{x} \, dx}{\log ^2(5)}+\frac {8 \int \frac {\log (-x+\log (5))}{x-\log (5)} \, dx}{\log ^2(5)}+\frac {\left (8 \left (\log \left (\frac {9}{4}\right ) \log (5)-\log \left (\frac {15}{2}\right )\right )\right ) \int \frac {\log (-x+\log (5))}{x^2} \, dx}{\log \left (\frac {3}{2}\right ) \log (5)} \\ & = \frac {4}{x^2}+\frac {8 \left (\log \left (\frac {9}{4}\right ) \log (5)-\log \left (\frac {15}{2}\right )\right )}{x \log \left (\frac {3}{2}\right ) \log (5)}-\frac {8 \left (\log \left (\frac {10}{3}\right )-\log \left (\frac {9}{4}\right ) \log (5)\right ) \log (x)}{\log \left (\frac {3}{2}\right ) \log ^2(5)}+\frac {8 \left (\log \left (\frac {10}{3}\right )-\log \left (\frac {9}{4}\right ) \log (5)\right ) \log (x-\log (5))}{\log \left (\frac {3}{2}\right ) \log ^2(5)}-\frac {8 \log (x) \log (\log (5))}{\log ^2(5)}-\frac {4 \log \left (\frac {9}{4}\right ) \log (-x+\log (5))}{x^2 \log \left (\frac {3}{2}\right )}-\frac {8 \left (\log \left (\frac {9}{4}\right ) \log (5)-\log \left (\frac {15}{2}\right )\right ) \log (-x+\log (5))}{x \log \left (\frac {3}{2}\right ) \log (5)}+\frac {4 \log ^2(-x+\log (5))}{x^2}-\frac {\left (4 \log \left (\frac {9}{4}\right )\right ) \int \frac {1}{x^2 (-x+\log (5))} \, dx}{\log \left (\frac {3}{2}\right )}-\frac {8 \int \frac {\log \left (1-\frac {x}{\log (5)}\right )}{x} \, dx}{\log ^2(5)}+\frac {8 \text {Subst}\left (\int \frac {\log (x)}{x} \, dx,x,-x+\log (5)\right )}{\log ^2(5)}-\frac {8 \text {Subst}\left (\int \frac {\log (x)}{(-x+\log (5))^2} \, dx,x,-x+\log (5)\right )}{\log (5)}-\frac {8 \text {Subst}\left (\int \frac {\log (x)}{x (-x+\log (5))} \, dx,x,-x+\log (5)\right )}{\log (5)}-\frac {\left (8 \left (\log \left (\frac {9}{4}\right ) \log (5)-\log \left (\frac {15}{2}\right )\right )\right ) \int \frac {1}{x (-x+\log (5))} \, dx}{\log \left (\frac {3}{2}\right ) \log (5)} \\ & = \frac {4}{x^2}+\frac {8 \left (\log \left (\frac {9}{4}\right ) \log (5)-\log \left (\frac {15}{2}\right )\right )}{x \log \left (\frac {3}{2}\right ) \log (5)}-\frac {8 \left (\log \left (\frac {10}{3}\right )-\log \left (\frac {9}{4}\right ) \log (5)\right ) \log (x)}{\log \left (\frac {3}{2}\right ) \log ^2(5)}+\frac {8 \left (\log \left (\frac {10}{3}\right )-\log \left (\frac {9}{4}\right ) \log (5)\right ) \log (x-\log (5))}{\log \left (\frac {3}{2}\right ) \log ^2(5)}-\frac {8 \log (x) \log (\log (5))}{\log ^2(5)}-\frac {4 \log \left (\frac {9}{4}\right ) \log (-x+\log (5))}{x^2 \log \left (\frac {3}{2}\right )}+\frac {8 (x-\log (5)) \log (-x+\log (5))}{x \log ^2(5)}-\frac {8 \left (\log \left (\frac {9}{4}\right ) \log (5)-\log \left (\frac {15}{2}\right )\right ) \log (-x+\log (5))}{x \log \left (\frac {3}{2}\right ) \log (5)}+\frac {4 \log ^2(-x+\log (5))}{x^2}+\frac {4 \log ^2(-x+\log (5))}{\log ^2(5)}+\frac {8 \log (-x+\log (5)) \log \left (1+\frac {\log (5)}{x-\log (5)}\right )}{\log ^2(5)}+\frac {8 \operatorname {PolyLog}\left (2,\frac {x}{\log (5)}\right )}{\log ^2(5)}-\frac {\left (4 \log \left (\frac {9}{4}\right )\right ) \int \left (\frac {1}{x \log ^2(5)}-\frac {1}{(x-\log (5)) \log ^2(5)}+\frac {1}{x^2 \log (5)}\right ) \, dx}{\log \left (\frac {3}{2}\right )}+\frac {8 \text {Subst}\left (\int \frac {1}{-x+\log (5)} \, dx,x,-x+\log (5)\right )}{\log ^2(5)}-\frac {8 \text {Subst}\left (\int \frac {\log \left (1-\frac {\log (5)}{x}\right )}{x} \, dx,x,-x+\log (5)\right )}{\log ^2(5)}-\frac {\left (8 \left (\log \left (\frac {9}{4}\right ) \log (5)-\log \left (\frac {15}{2}\right )\right )\right ) \int \frac {1}{x} \, dx}{\log \left (\frac {3}{2}\right ) \log ^2(5)}-\frac {\left (8 \left (\log \left (\frac {9}{4}\right ) \log (5)-\log \left (\frac {15}{2}\right )\right )\right ) \int \frac {1}{-x+\log (5)} \, dx}{\log \left (\frac {3}{2}\right ) \log ^2(5)} \\ & = \frac {4}{x^2}+\frac {4 \log \left (\frac {9}{4}\right )}{x \log \left (\frac {3}{2}\right ) \log (5)}+\frac {8 \left (\log \left (\frac {9}{4}\right ) \log (5)-\log \left (\frac {15}{2}\right )\right )}{x \log \left (\frac {3}{2}\right ) \log (5)}-\frac {8 \log (x)}{\log ^2(5)}-\frac {4 \log \left (\frac {9}{4}\right ) \log (x)}{\log \left (\frac {3}{2}\right ) \log ^2(5)}-\frac {8 \left (\log \left (\frac {10}{3}\right )-\log \left (\frac {9}{4}\right ) \log (5)\right ) \log (x)}{\log \left (\frac {3}{2}\right ) \log ^2(5)}-\frac {8 \left (\log \left (\frac {9}{4}\right ) \log (5)-\log \left (\frac {15}{2}\right )\right ) \log (x)}{\log \left (\frac {3}{2}\right ) \log ^2(5)}+\frac {4 \log \left (\frac {9}{4}\right ) \log (x-\log (5))}{\log \left (\frac {3}{2}\right ) \log ^2(5)}+\frac {8 \left (\log \left (\frac {10}{3}\right )-\log \left (\frac {9}{4}\right ) \log (5)\right ) \log (x-\log (5))}{\log \left (\frac {3}{2}\right ) \log ^2(5)}+\frac {8 \left (\log \left (\frac {9}{4}\right ) \log (5)-\log \left (\frac {15}{2}\right )\right ) \log (x-\log (5))}{\log \left (\frac {3}{2}\right ) \log ^2(5)}-\frac {8 \log (x) \log (\log (5))}{\log ^2(5)}-\frac {4 \log \left (\frac {9}{4}\right ) \log (-x+\log (5))}{x^2 \log \left (\frac {3}{2}\right )}+\frac {8 (x-\log (5)) \log (-x+\log (5))}{x \log ^2(5)}-\frac {8 \left (\log \left (\frac {9}{4}\right ) \log (5)-\log \left (\frac {15}{2}\right )\right ) \log (-x+\log (5))}{x \log \left (\frac {3}{2}\right ) \log (5)}+\frac {4 \log ^2(-x+\log (5))}{x^2}+\frac {4 \log ^2(-x+\log (5))}{\log ^2(5)}+\frac {8 \log (-x+\log (5)) \log \left (1+\frac {\log (5)}{x-\log (5)}\right )}{\log ^2(5)}+\frac {8 \operatorname {PolyLog}\left (2,\frac {x}{\log (5)}\right )}{\log ^2(5)}-\frac {8 \operatorname {PolyLog}\left (2,-\frac {\log (5)}{x-\log (5)}\right )}{\log ^2(5)} \\ \end{align*}
Leaf count is larger than twice the leaf count of optimal. \(316\) vs. \(2(29)=58\).
Time = 0.26 (sec) , antiderivative size = 316, normalized size of antiderivative = 10.90 \[ \int \frac {-16 x^2+\left (-16 x-32 x^2\right ) \log (2)+\left (16 x+32 x^2\right ) \log (3)+(8 x+(8+16 x) \log (2)+(-8-16 x) \log (3)) \log (5)+\left (8 x^2+\left (24 x+16 x^2\right ) \log (2)+\left (-24 x-16 x^2\right ) \log (3)+(-8 x+(-16-16 x) \log (2)+(16+16 x) \log (3)) \log (5)\right ) \log (-x+\log (5))+(-8 x \log (2)+8 x \log (3)+(8 \log (2)-8 \log (3)) \log (5)) \log ^2(-x+\log (5))}{x^4 \log (2)-x^4 \log (3)+\left (-x^3 \log (2)+x^3 \log (3)\right ) \log (5)} \, dx=\frac {8 \left (\frac {\log \left (\frac {3}{2}\right )}{x \log (5)}+\frac {\log \left (\frac {9}{4}\right ) \log (5)-\log \left (\frac {15}{2}\right )}{x \log (5)}-\frac {\log \left (\frac {3}{2}\right ) \log (x)}{\log ^2(5)}-\frac {\log \left (\frac {10}{3}\right ) \log (x)}{\log ^2(5)}+\frac {\log \left (\frac {9}{4}\right ) \log (x)}{\log (5)}-\frac {\left (\log \left (\frac {9}{4}\right ) \log (5)-\log \left (\frac {15}{2}\right )\right ) \log (x)}{\log ^2(5)}+\frac {\log \left (\frac {3}{2}\right ) \log (x-\log (5))}{\log ^2(5)}+\frac {\left (\log \left (\frac {9}{4}\right ) \log (5)-\log \left (\frac {15}{2}\right )\right ) \log (x-\log (5))}{\log ^2(5)}-\frac {\log \left (\frac {3}{2}\right ) \log (x) (1-\log (\log (5)))}{\log ^2(5)}-\frac {\log \left (\frac {3}{2}\right ) \log (x) \log (\log (5))}{\log ^2(5)}+\frac {\log \left (\frac {3}{2}\right ) (1-\log (-x+\log (5)))^2}{2 x^2}-\frac {\log \left (\frac {3}{2}\right ) (1-\log (-x+\log (5)))^2}{2 \log ^2(5)}-\frac {\log \left (\frac {3}{2}\right ) \log (-x+\log (5))}{x \log (5)}-\frac {\left (\log \left (\frac {9}{4}\right ) \log (5)-\log \left (\frac {15}{2}\right )\right ) \log (-x+\log (5))}{x \log (5)}+\frac {\left (\log \left (\frac {10}{3}\right )-\log \left (\frac {9}{4}\right ) \log (5)+\log \left (\frac {3}{2}\right ) \log (-x+\log (5))\right )^2}{2 \log \left (\frac {3}{2}\right ) \log ^2(5)}\right )}{\log \left (\frac {3}{2}\right )} \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. \(77\) vs. \(2(29)=58\).
Time = 1.10 (sec) , antiderivative size = 78, normalized size of antiderivative = 2.69
method | result | size |
norman | \(\frac {4+4 \ln \left (\ln \left (5\right )-x \right )^{2}+\frac {8 \left (-2 \ln \left (3\right )+2 \ln \left (2\right )+1\right ) x}{-\ln \left (3\right )+\ln \left (2\right )}-\frac {8 \left (-2 \ln \left (3\right )+2 \ln \left (2\right )+1\right ) x \ln \left (\ln \left (5\right )-x \right )}{-\ln \left (3\right )+\ln \left (2\right )}-8 \ln \left (\ln \left (5\right )-x \right )}{x^{2}}\) | \(78\) |
risch | \(\frac {4 \ln \left (\ln \left (5\right )-x \right )^{2}}{x^{2}}-\frac {8 \left (2 x \ln \left (2\right )-2 x \ln \left (3\right )+\ln \left (2\right )-\ln \left (3\right )+x \right ) \ln \left (\ln \left (5\right )-x \right )}{\left (-\ln \left (3\right )+\ln \left (2\right )\right ) x^{2}}+\frac {16 x \ln \left (2\right )-16 x \ln \left (3\right )+4 \ln \left (2\right )-4 \ln \left (3\right )+8 x}{\left (-\ln \left (3\right )+\ln \left (2\right )\right ) x^{2}}\) | \(89\) |
parallelrisch | \(\frac {-16 \ln \left (2\right ) \ln \left (\ln \left (5\right )-x \right ) x +4 \ln \left (2\right ) \ln \left (\ln \left (5\right )-x \right )^{2}+16 \ln \left (3\right ) \ln \left (\ln \left (5\right )-x \right ) x -4 \ln \left (3\right ) \ln \left (\ln \left (5\right )-x \right )^{2}+16 x \ln \left (2\right )-8 \ln \left (2\right ) \ln \left (\ln \left (5\right )-x \right )-16 x \ln \left (3\right )+8 \ln \left (3\right ) \ln \left (\ln \left (5\right )-x \right )-8 x \ln \left (\ln \left (5\right )-x \right )+4 \ln \left (2\right )-4 \ln \left (3\right )+8 x}{x^{2} \left (-\ln \left (3\right )+\ln \left (2\right )\right )}\) | \(118\) |
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 86 vs. \(2 (30) = 60\).
Time = 0.27 (sec) , antiderivative size = 86, normalized size of antiderivative = 2.97 \[ \int \frac {-16 x^2+\left (-16 x-32 x^2\right ) \log (2)+\left (16 x+32 x^2\right ) \log (3)+(8 x+(8+16 x) \log (2)+(-8-16 x) \log (3)) \log (5)+\left (8 x^2+\left (24 x+16 x^2\right ) \log (2)+\left (-24 x-16 x^2\right ) \log (3)+(-8 x+(-16-16 x) \log (2)+(16+16 x) \log (3)) \log (5)\right ) \log (-x+\log (5))+(-8 x \log (2)+8 x \log (3)+(8 \log (2)-8 \log (3)) \log (5)) \log ^2(-x+\log (5))}{x^4 \log (2)-x^4 \log (3)+\left (-x^3 \log (2)+x^3 \log (3)\right ) \log (5)} \, dx=\frac {4 \, {\left ({\left (\log \left (3\right ) - \log \left (2\right )\right )} \log \left (-x + \log \left (5\right )\right )^{2} + {\left (4 \, x + 1\right )} \log \left (3\right ) - {\left (4 \, x + 1\right )} \log \left (2\right ) - 2 \, {\left ({\left (2 \, x + 1\right )} \log \left (3\right ) - {\left (2 \, x + 1\right )} \log \left (2\right ) - x\right )} \log \left (-x + \log \left (5\right )\right ) - 2 \, x\right )}}{x^{2} \log \left (3\right ) - x^{2} \log \left (2\right )} \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 94 vs. \(2 (24) = 48\).
Time = 0.34 (sec) , antiderivative size = 94, normalized size of antiderivative = 3.24 \[ \int \frac {-16 x^2+\left (-16 x-32 x^2\right ) \log (2)+\left (16 x+32 x^2\right ) \log (3)+(8 x+(8+16 x) \log (2)+(-8-16 x) \log (3)) \log (5)+\left (8 x^2+\left (24 x+16 x^2\right ) \log (2)+\left (-24 x-16 x^2\right ) \log (3)+(-8 x+(-16-16 x) \log (2)+(16+16 x) \log (3)) \log (5)\right ) \log (-x+\log (5))+(-8 x \log (2)+8 x \log (3)+(8 \log (2)-8 \log (3)) \log (5)) \log ^2(-x+\log (5))}{x^4 \log (2)-x^4 \log (3)+\left (-x^3 \log (2)+x^3 \log (3)\right ) \log (5)} \, dx=\frac {\left (- 16 x \log {\left (2 \right )} - 8 x + 16 x \log {\left (3 \right )} - 8 \log {\left (2 \right )} + 8 \log {\left (3 \right )}\right ) \log {\left (- x + \log {\left (5 \right )} \right )}}{- x^{2} \log {\left (3 \right )} + x^{2} \log {\left (2 \right )}} - \frac {x \left (- 16 \log {\left (2 \right )} - 8 + 16 \log {\left (3 \right )}\right ) - 4 \log {\left (2 \right )} + 4 \log {\left (3 \right )}}{x^{2} \left (- \log {\left (3 \right )} + \log {\left (2 \right )}\right )} + \frac {4 \log {\left (- x + \log {\left (5 \right )} \right )}^{2}}{x^{2}} \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 295 vs. \(2 (30) = 60\).
Time = 0.35 (sec) , antiderivative size = 295, normalized size of antiderivative = 10.17 \[ \int \frac {-16 x^2+\left (-16 x-32 x^2\right ) \log (2)+\left (16 x+32 x^2\right ) \log (3)+(8 x+(8+16 x) \log (2)+(-8-16 x) \log (3)) \log (5)+\left (8 x^2+\left (24 x+16 x^2\right ) \log (2)+\left (-24 x-16 x^2\right ) \log (3)+(-8 x+(-16-16 x) \log (2)+(16+16 x) \log (3)) \log (5)\right ) \log (-x+\log (5))+(-8 x \log (2)+8 x \log (3)+(8 \log (2)-8 \log (3)) \log (5)) \log ^2(-x+\log (5))}{x^4 \log (2)-x^4 \log (3)+\left (-x^3 \log (2)+x^3 \log (3)\right ) \log (5)} \, dx=4 \, {\left (\frac {2 \, \log \left (x - \log \left (5\right )\right )}{{\left (\log \left (3\right ) - \log \left (2\right )\right )} \log \left (5\right )^{3}} - \frac {2 \, \log \left (x\right )}{{\left (\log \left (3\right ) - \log \left (2\right )\right )} \log \left (5\right )^{3}} + \frac {2 \, x + \log \left (5\right )}{x^{2} {\left (\log \left (3\right ) - \log \left (2\right )\right )} \log \left (5\right )^{2}}\right )} \log \left (5\right ) \log \left (3\right ) - 4 \, {\left (\frac {2 \, \log \left (x - \log \left (5\right )\right )}{{\left (\log \left (3\right ) - \log \left (2\right )\right )} \log \left (5\right )^{3}} - \frac {2 \, \log \left (x\right )}{{\left (\log \left (3\right ) - \log \left (2\right )\right )} \log \left (5\right )^{3}} + \frac {2 \, x + \log \left (5\right )}{x^{2} {\left (\log \left (3\right ) - \log \left (2\right )\right )} \log \left (5\right )^{2}}\right )} \log \left (5\right ) \log \left (2\right ) + \frac {8 \, \log \left (x\right )}{\log \left (5\right )^{2}} + \frac {4 \, {\left ({\left (\log \left (5\right )^{2} \log \left (3\right ) - \log \left (5\right )^{2} \log \left (2\right )\right )} \log \left (-x + \log \left (5\right )\right )^{2} - 2 \, {\left (\log \left (5\right )^{2} - {\left (2 \, \log \left (5\right )^{2} - \log \left (5\right )\right )} \log \left (3\right ) + {\left (2 \, \log \left (5\right )^{2} - \log \left (5\right )\right )} \log \left (2\right )\right )} x - 2 \, {\left (x^{2} {\left (\log \left (3\right ) - \log \left (2\right )\right )} + \log \left (5\right )^{2} \log \left (3\right ) - \log \left (5\right )^{2} \log \left (2\right ) + {\left (2 \, \log \left (5\right )^{2} \log \left (3\right ) - 2 \, \log \left (5\right )^{2} \log \left (2\right ) - \log \left (5\right )^{2}\right )} x\right )} \log \left (-x + \log \left (5\right )\right )\right )}}{{\left (\log \left (5\right )^{2} \log \left (3\right ) - \log \left (5\right )^{2} \log \left (2\right )\right )} x^{2}} \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 262 vs. \(2 (30) = 60\).
Time = 0.28 (sec) , antiderivative size = 262, normalized size of antiderivative = 9.03 \[ \int \frac {-16 x^2+\left (-16 x-32 x^2\right ) \log (2)+\left (16 x+32 x^2\right ) \log (3)+(8 x+(8+16 x) \log (2)+(-8-16 x) \log (3)) \log (5)+\left (8 x^2+\left (24 x+16 x^2\right ) \log (2)+\left (-24 x-16 x^2\right ) \log (3)+(-8 x+(-16-16 x) \log (2)+(16+16 x) \log (3)) \log (5)\right ) \log (-x+\log (5))+(-8 x \log (2)+8 x \log (3)+(8 \log (2)-8 \log (3)) \log (5)) \log ^2(-x+\log (5))}{x^4 \log (2)-x^4 \log (3)+\left (-x^3 \log (2)+x^3 \log (3)\right ) \log (5)} \, dx=-\frac {8 \, {\left (2 \, {\left (x - \log \left (5\right )\right )} \log \left (3\right ) + 2 \, \log \left (5\right ) \log \left (3\right ) - 2 \, {\left (x - \log \left (5\right )\right )} \log \left (2\right ) - 2 \, \log \left (5\right ) \log \left (2\right ) - x + \log \left (3\right ) - \log \left (2\right )\right )} \log \left (-x + \log \left (5\right )\right )}{{\left (x - \log \left (5\right )\right )}^{2} \log \left (3\right ) + 2 \, {\left (x - \log \left (5\right )\right )} \log \left (5\right ) \log \left (3\right ) + \log \left (5\right )^{2} \log \left (3\right ) - {\left (x - \log \left (5\right )\right )}^{2} \log \left (2\right ) - 2 \, {\left (x - \log \left (5\right )\right )} \log \left (5\right ) \log \left (2\right ) - \log \left (5\right )^{2} \log \left (2\right )} + \frac {4 \, \log \left (-x + \log \left (5\right )\right )^{2}}{{\left (x - \log \left (5\right )\right )}^{2} + 2 \, {\left (x - \log \left (5\right )\right )} \log \left (5\right ) + \log \left (5\right )^{2}} + \frac {4 \, {\left (4 \, {\left (x - \log \left (5\right )\right )} \log \left (3\right ) + 4 \, \log \left (5\right ) \log \left (3\right ) - 4 \, {\left (x - \log \left (5\right )\right )} \log \left (2\right ) - 4 \, \log \left (5\right ) \log \left (2\right ) - 2 \, x + \log \left (3\right ) - \log \left (2\right )\right )}}{{\left (x - \log \left (5\right )\right )}^{2} \log \left (3\right ) + 2 \, {\left (x - \log \left (5\right )\right )} \log \left (5\right ) \log \left (3\right ) + \log \left (5\right )^{2} \log \left (3\right ) - {\left (x - \log \left (5\right )\right )}^{2} \log \left (2\right ) - 2 \, {\left (x - \log \left (5\right )\right )} \log \left (5\right ) \log \left (2\right ) - \log \left (5\right )^{2} \log \left (2\right )} \]
[In]
[Out]
Timed out. \[ \int \frac {-16 x^2+\left (-16 x-32 x^2\right ) \log (2)+\left (16 x+32 x^2\right ) \log (3)+(8 x+(8+16 x) \log (2)+(-8-16 x) \log (3)) \log (5)+\left (8 x^2+\left (24 x+16 x^2\right ) \log (2)+\left (-24 x-16 x^2\right ) \log (3)+(-8 x+(-16-16 x) \log (2)+(16+16 x) \log (3)) \log (5)\right ) \log (-x+\log (5))+(-8 x \log (2)+8 x \log (3)+(8 \log (2)-8 \log (3)) \log (5)) \log ^2(-x+\log (5))}{x^4 \log (2)-x^4 \log (3)+\left (-x^3 \log (2)+x^3 \log (3)\right ) \log (5)} \, dx=\int -\frac {\ln \left (5\right )\,\left (8\,x+\ln \left (2\right )\,\left (16\,x+8\right )-\ln \left (3\right )\,\left (16\,x+8\right )\right )-\ln \left (2\right )\,\left (32\,x^2+16\,x\right )+\ln \left (3\right )\,\left (32\,x^2+16\,x\right )+{\ln \left (\ln \left (5\right )-x\right )}^2\,\left (8\,x\,\ln \left (3\right )-8\,x\,\ln \left (2\right )+\ln \left (5\right )\,\left (8\,\ln \left (2\right )-8\,\ln \left (3\right )\right )\right )-\ln \left (\ln \left (5\right )-x\right )\,\left (\ln \left (5\right )\,\left (8\,x+\ln \left (2\right )\,\left (16\,x+16\right )-\ln \left (3\right )\,\left (16\,x+16\right )\right )-\ln \left (2\right )\,\left (16\,x^2+24\,x\right )+\ln \left (3\right )\,\left (16\,x^2+24\,x\right )-8\,x^2\right )-16\,x^2}{\ln \left (5\right )\,\left (x^3\,\ln \left (2\right )-x^3\,\ln \left (3\right )\right )-x^4\,\ln \left (2\right )+x^4\,\ln \left (3\right )} \,d x \]
[In]
[Out]