Integrand size = 75, antiderivative size = 31 \[ \int \frac {9 x^2-15 x^3+9 x^4+\left (-6 x+13 x^2-9 x^3\right ) \log \left (\frac {x^3}{-1+x}\right )+\left (-2 x+2 x^2\right ) \log ^2\left (\frac {x^3}{-1+x}\right )}{(-2+2 x) \log ^2(5)} \, dx=\frac {x^2 \left (\frac {3 x}{2}-\log \left (\frac {x^3}{-1+x}\right )\right )^2}{2 \log ^2(5)} \]
[Out]
Time = 0.27 (sec) , antiderivative size = 62, normalized size of antiderivative = 2.00, number of steps used = 42, number of rules used = 16, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.213, Rules used = {12, 6874, 907, 2594, 2579, 29, 8, 2580, 2437, 2338, 2441, 2352, 2581, 45, 30, 2584} \[ \int \frac {9 x^2-15 x^3+9 x^4+\left (-6 x+13 x^2-9 x^3\right ) \log \left (\frac {x^3}{-1+x}\right )+\left (-2 x+2 x^2\right ) \log ^2\left (\frac {x^3}{-1+x}\right )}{(-2+2 x) \log ^2(5)} \, dx=\frac {9 x^4}{8 \log ^2(5)}-\frac {3 x^3 \log \left (-\frac {x^3}{1-x}\right )}{2 \log ^2(5)}+\frac {x^2 \log ^2\left (-\frac {x^3}{1-x}\right )}{2 \log ^2(5)} \]
[In]
[Out]
Rule 8
Rule 12
Rule 29
Rule 30
Rule 45
Rule 907
Rule 2338
Rule 2352
Rule 2437
Rule 2441
Rule 2579
Rule 2580
Rule 2581
Rule 2584
Rule 2594
Rule 6874
Rubi steps \begin{align*} \text {integral}& = \frac {\int \frac {9 x^2-15 x^3+9 x^4+\left (-6 x+13 x^2-9 x^3\right ) \log \left (\frac {x^3}{-1+x}\right )+\left (-2 x+2 x^2\right ) \log ^2\left (\frac {x^3}{-1+x}\right )}{-2+2 x} \, dx}{\log ^2(5)} \\ & = \frac {\int \left (\frac {3 x^2 \left (3-5 x+3 x^2\right )}{2 (-1+x)}-\frac {x \left (6-13 x+9 x^2\right ) \log \left (\frac {x^3}{-1+x}\right )}{2 (-1+x)}+x \log ^2\left (\frac {x^3}{-1+x}\right )\right ) \, dx}{\log ^2(5)} \\ & = -\frac {\int \frac {x \left (6-13 x+9 x^2\right ) \log \left (\frac {x^3}{-1+x}\right )}{-1+x} \, dx}{2 \log ^2(5)}+\frac {\int x \log ^2\left (\frac {x^3}{-1+x}\right ) \, dx}{\log ^2(5)}+\frac {3 \int \frac {x^2 \left (3-5 x+3 x^2\right )}{-1+x} \, dx}{2 \log ^2(5)} \\ & = \frac {x^2 \log ^2\left (-\frac {x^3}{1-x}\right )}{2 \log ^2(5)}-\frac {\int \left (2 \log \left (\frac {x^3}{-1+x}\right )+\frac {2 \log \left (\frac {x^3}{-1+x}\right )}{-1+x}-4 x \log \left (\frac {x^3}{-1+x}\right )+9 x^2 \log \left (\frac {x^3}{-1+x}\right )\right ) \, dx}{2 \log ^2(5)}+\frac {\int \frac {x^2 \log \left (\frac {x^3}{-1+x}\right )}{-1+x} \, dx}{\log ^2(5)}+\frac {3 \int \left (1+\frac {1}{-1+x}+x-2 x^2+3 x^3\right ) \, dx}{2 \log ^2(5)}-\frac {3 \int x \log \left (\frac {x^3}{-1+x}\right ) \, dx}{\log ^2(5)} \\ & = \frac {3 x}{2 \log ^2(5)}+\frac {3 x^2}{4 \log ^2(5)}-\frac {x^3}{\log ^2(5)}+\frac {9 x^4}{8 \log ^2(5)}+\frac {3 \log (1-x)}{2 \log ^2(5)}-\frac {3 x^2 \log \left (-\frac {x^3}{1-x}\right )}{2 \log ^2(5)}+\frac {x^2 \log ^2\left (-\frac {x^3}{1-x}\right )}{2 \log ^2(5)}-\frac {\int \log \left (\frac {x^3}{-1+x}\right ) \, dx}{\log ^2(5)}-\frac {\int \frac {\log \left (\frac {x^3}{-1+x}\right )}{-1+x} \, dx}{\log ^2(5)}+\frac {\int \left (\log \left (\frac {x^3}{-1+x}\right )+\frac {\log \left (\frac {x^3}{-1+x}\right )}{-1+x}+x \log \left (\frac {x^3}{-1+x}\right )\right ) \, dx}{\log ^2(5)}-\frac {3 \int \frac {x^2}{-1+x} \, dx}{2 \log ^2(5)}+\frac {2 \int x \log \left (\frac {x^3}{-1+x}\right ) \, dx}{\log ^2(5)}+\frac {9 \int x \, dx}{2 \log ^2(5)}-\frac {9 \int x^2 \log \left (\frac {x^3}{-1+x}\right ) \, dx}{2 \log ^2(5)} \\ & = \frac {3 x}{2 \log ^2(5)}+\frac {3 x^2}{\log ^2(5)}-\frac {x^3}{\log ^2(5)}+\frac {9 x^4}{8 \log ^2(5)}+\frac {3 \log (1-x)}{2 \log ^2(5)}+\frac {(1-x) \log \left (-\frac {x^3}{1-x}\right )}{\log ^2(5)}-\frac {x^2 \log \left (-\frac {x^3}{1-x}\right )}{2 \log ^2(5)}-\frac {3 x^3 \log \left (-\frac {x^3}{1-x}\right )}{2 \log ^2(5)}-\frac {\log (-1+x) \log \left (-\frac {x^3}{1-x}\right )}{\log ^2(5)}+\frac {x^2 \log ^2\left (-\frac {x^3}{1-x}\right )}{2 \log ^2(5)}+\frac {\int \frac {x^2}{-1+x} \, dx}{\log ^2(5)}-\frac {\int \frac {\log (-1+x)}{-1+x} \, dx}{\log ^2(5)}+\frac {\int \log \left (\frac {x^3}{-1+x}\right ) \, dx}{\log ^2(5)}+\frac {\int \frac {\log \left (\frac {x^3}{-1+x}\right )}{-1+x} \, dx}{\log ^2(5)}+\frac {\int x \log \left (\frac {x^3}{-1+x}\right ) \, dx}{\log ^2(5)}-\frac {3 \int \frac {x^3}{-1+x} \, dx}{2 \log ^2(5)}-\frac {3 \int \left (1+\frac {1}{-1+x}+x\right ) \, dx}{2 \log ^2(5)}+\frac {2 \int 1 \, dx}{\log ^2(5)}-\frac {3 \int \frac {1}{x} \, dx}{\log ^2(5)}-\frac {3 \int x \, dx}{\log ^2(5)}+\frac {3 \int \frac {\log (-1+x)}{x} \, dx}{\log ^2(5)}+\frac {9 \int x^2 \, dx}{2 \log ^2(5)} \\ & = \frac {2 x}{\log ^2(5)}+\frac {3 x^2}{4 \log ^2(5)}+\frac {x^3}{2 \log ^2(5)}+\frac {9 x^4}{8 \log ^2(5)}-\frac {3 \log (x)}{\log ^2(5)}+\frac {3 \log (-1+x) \log (x)}{\log ^2(5)}-\frac {3 x^3 \log \left (-\frac {x^3}{1-x}\right )}{2 \log ^2(5)}+\frac {x^2 \log ^2\left (-\frac {x^3}{1-x}\right )}{2 \log ^2(5)}+\frac {\int \frac {x^2}{-1+x} \, dx}{2 \log ^2(5)}+\frac {\int \left (1+\frac {1}{-1+x}+x\right ) \, dx}{\log ^2(5)}+\frac {\int \frac {\log (-1+x)}{-1+x} \, dx}{\log ^2(5)}-\frac {\text {Subst}\left (\int \frac {\log (x)}{x} \, dx,x,-1+x\right )}{\log ^2(5)}-\frac {3 \int x \, dx}{2 \log ^2(5)}-\frac {3 \int \left (1+\frac {1}{-1+x}+x+x^2\right ) \, dx}{2 \log ^2(5)}-\frac {2 \int 1 \, dx}{\log ^2(5)}+\frac {3 \int \frac {1}{x} \, dx}{\log ^2(5)}-\frac {3 \int \frac {\log (-1+x)}{x} \, dx}{\log ^2(5)}-\frac {3 \int \frac {\log (x)}{-1+x} \, dx}{\log ^2(5)} \\ & = -\frac {x}{2 \log ^2(5)}-\frac {x^2}{4 \log ^2(5)}+\frac {9 x^4}{8 \log ^2(5)}-\frac {\log (1-x)}{2 \log ^2(5)}-\frac {\log ^2(-1+x)}{2 \log ^2(5)}-\frac {3 x^3 \log \left (-\frac {x^3}{1-x}\right )}{2 \log ^2(5)}+\frac {x^2 \log ^2\left (-\frac {x^3}{1-x}\right )}{2 \log ^2(5)}+\frac {3 \text {Li}_2(1-x)}{\log ^2(5)}+\frac {\int \left (1+\frac {1}{-1+x}+x\right ) \, dx}{2 \log ^2(5)}+\frac {\text {Subst}\left (\int \frac {\log (x)}{x} \, dx,x,-1+x\right )}{\log ^2(5)}+\frac {3 \int \frac {\log (x)}{-1+x} \, dx}{\log ^2(5)} \\ & = \frac {9 x^4}{8 \log ^2(5)}-\frac {3 x^3 \log \left (-\frac {x^3}{1-x}\right )}{2 \log ^2(5)}+\frac {x^2 \log ^2\left (-\frac {x^3}{1-x}\right )}{2 \log ^2(5)} \\ \end{align*}
Result contains higher order function than in optimal. Order 4 vs. order 3 in optimal.
Time = 0.12 (sec) , antiderivative size = 142, normalized size of antiderivative = 4.58 \[ \int \frac {9 x^2-15 x^3+9 x^4+\left (-6 x+13 x^2-9 x^3\right ) \log \left (\frac {x^3}{-1+x}\right )+\left (-2 x+2 x^2\right ) \log ^2\left (\frac {x^3}{-1+x}\right )}{(-2+2 x) \log ^2(5)} \, dx=\frac {\frac {9 x^4}{4}-3 \log (1-x)+\log ^2(1-x)+3 \log (-1+x)-\log ^2(-1+x)+6 \log (-1+x) \log (x)-3 x^3 \log \left (-\frac {x^3}{1-x}\right )+2 \log (1-x) \log \left (-\frac {x^3}{1-x}\right )+x^2 \log ^2\left (-\frac {x^3}{1-x}\right )-2 \log (-1+x) \log \left (\frac {x^3}{-1+x}\right )+6 \operatorname {PolyLog}(2,1-x)+6 \operatorname {PolyLog}(2,x)}{2 \log ^2(5)} \]
[In]
[Out]
Time = 1.19 (sec) , antiderivative size = 44, normalized size of antiderivative = 1.42
method | result | size |
parallelrisch | \(\frac {\frac {\ln \left (\frac {x^{3}}{-1+x}\right )^{2} x^{2}}{2}-\frac {3 \ln \left (\frac {x^{3}}{-1+x}\right ) x^{3}}{2}+\frac {9 x^{4}}{8}}{\ln \left (5\right )^{2}}\) | \(44\) |
risch | \(\frac {\ln \left (\frac {x^{3}}{-1+x}\right )^{2} x^{2}}{2 \ln \left (5\right )^{2}}-\frac {3 \ln \left (\frac {x^{3}}{-1+x}\right ) x^{3}}{2 \ln \left (5\right )^{2}}+\frac {9 x^{4}}{8 \ln \left (5\right )^{2}}\) | \(51\) |
norman | \(\frac {\frac {9 x^{4}}{8 \ln \left (5\right )}+\frac {x^{2} \ln \left (\frac {x^{3}}{-1+x}\right )^{2}}{2 \ln \left (5\right )}-\frac {3 x^{3} \ln \left (\frac {x^{3}}{-1+x}\right )}{2 \ln \left (5\right )}}{\ln \left (5\right )}\) | \(56\) |
[In]
[Out]
none
Time = 0.26 (sec) , antiderivative size = 44, normalized size of antiderivative = 1.42 \[ \int \frac {9 x^2-15 x^3+9 x^4+\left (-6 x+13 x^2-9 x^3\right ) \log \left (\frac {x^3}{-1+x}\right )+\left (-2 x+2 x^2\right ) \log ^2\left (\frac {x^3}{-1+x}\right )}{(-2+2 x) \log ^2(5)} \, dx=\frac {9 \, x^{4} - 12 \, x^{3} \log \left (\frac {x^{3}}{x - 1}\right ) + 4 \, x^{2} \log \left (\frac {x^{3}}{x - 1}\right )^{2}}{8 \, \log \left (5\right )^{2}} \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 51 vs. \(2 (24) = 48\).
Time = 0.13 (sec) , antiderivative size = 51, normalized size of antiderivative = 1.65 \[ \int \frac {9 x^2-15 x^3+9 x^4+\left (-6 x+13 x^2-9 x^3\right ) \log \left (\frac {x^3}{-1+x}\right )+\left (-2 x+2 x^2\right ) \log ^2\left (\frac {x^3}{-1+x}\right )}{(-2+2 x) \log ^2(5)} \, dx=\frac {9 x^{4}}{8 \log {\left (5 \right )}^{2}} - \frac {3 x^{3} \log {\left (\frac {x^{3}}{x - 1} \right )}}{2 \log {\left (5 \right )}^{2}} + \frac {x^{2} \log {\left (\frac {x^{3}}{x - 1} \right )}^{2}}{2 \log {\left (5 \right )}^{2}} \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 63 vs. \(2 (27) = 54\).
Time = 0.23 (sec) , antiderivative size = 63, normalized size of antiderivative = 2.03 \[ \int \frac {9 x^2-15 x^3+9 x^4+\left (-6 x+13 x^2-9 x^3\right ) \log \left (\frac {x^3}{-1+x}\right )+\left (-2 x+2 x^2\right ) \log ^2\left (\frac {x^3}{-1+x}\right )}{(-2+2 x) \log ^2(5)} \, dx=\frac {9 \, x^{4} + 4 \, x^{2} \log \left (x - 1\right )^{2} - 36 \, x^{3} \log \left (x\right ) + 36 \, x^{2} \log \left (x\right )^{2} + 12 \, {\left (x^{3} - 2 \, x^{2} \log \left (x\right ) - 1\right )} \log \left (x - 1\right ) + 12 \, \log \left (x - 1\right )}{8 \, \log \left (5\right )^{2}} \]
[In]
[Out]
none
Time = 0.28 (sec) , antiderivative size = 44, normalized size of antiderivative = 1.42 \[ \int \frac {9 x^2-15 x^3+9 x^4+\left (-6 x+13 x^2-9 x^3\right ) \log \left (\frac {x^3}{-1+x}\right )+\left (-2 x+2 x^2\right ) \log ^2\left (\frac {x^3}{-1+x}\right )}{(-2+2 x) \log ^2(5)} \, dx=\frac {9 \, x^{4} - 12 \, x^{3} \log \left (\frac {x^{3}}{x - 1}\right ) + 4 \, x^{2} \log \left (\frac {x^{3}}{x - 1}\right )^{2}}{8 \, \log \left (5\right )^{2}} \]
[In]
[Out]
Time = 9.05 (sec) , antiderivative size = 27, normalized size of antiderivative = 0.87 \[ \int \frac {9 x^2-15 x^3+9 x^4+\left (-6 x+13 x^2-9 x^3\right ) \log \left (\frac {x^3}{-1+x}\right )+\left (-2 x+2 x^2\right ) \log ^2\left (\frac {x^3}{-1+x}\right )}{(-2+2 x) \log ^2(5)} \, dx=\frac {x^2\,{\left (3\,x-2\,\ln \left (\frac {x^3}{x-1}\right )\right )}^2}{8\,{\ln \left (5\right )}^2} \]
[In]
[Out]