Integrand size = 70, antiderivative size = 21 \[ \int \frac {-4+9 x-2 x^2+\left (-x^2+2 x^3\right ) \log (2)+\left (-12+x-x^2+\left (24 x-2 x^2+2 x^3\right ) \log (2)\right ) \log \left (-12+x-x^2\right )}{12-x+x^2} \, dx=\left (4-x+x^2 \log (2)\right ) \log \left (-12+x-x^2\right ) \]
[Out]
Leaf count is larger than twice the leaf count of optimal. \(162\) vs. \(2(21)=42\).
Time = 0.21 (sec) , antiderivative size = 162, normalized size of antiderivative = 7.71, number of steps used = 15, number of rules used = 8, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.114, Rules used = {6860, 1642, 648, 632, 210, 642, 2605, 814} \[ \int \frac {-4+9 x-2 x^2+\left (-x^2+2 x^3\right ) \log (2)+\left (-12+x-x^2+\left (24 x-2 x^2+2 x^3\right ) \log (2)\right ) \log \left (-12+x-x^2\right )}{12-x+x^2} \, dx=\frac {1}{2} \sqrt {47} (2-\log (4)) \arctan \left (\frac {1-2 x}{\sqrt {47}}\right )-\sqrt {47} (1-\log (2)) \arctan \left (\frac {1-2 x}{\sqrt {47}}\right )-\frac {\left (2-23 \log ^2(4)-\log (16)\right ) \log \left (x^2-x+12\right )}{4 \log (4)}-\frac {1}{2} x^2 \log (4)+x^2 \log (2)+\frac {(1-x \log (4))^2 \log \left (-x^2+x-12\right )}{2 \log (4)}+\frac {1}{2} (7-23 \log (2)) \log \left (x^2-x+12\right )+\frac {1}{2} x (4-\log (4))-x (2-\log (2)) \]
[In]
[Out]
Rule 210
Rule 632
Rule 642
Rule 648
Rule 814
Rule 1642
Rule 2605
Rule 6860
Rubi steps \begin{align*} \text {integral}& = \int \left (\frac {(-1+2 x) \left (4-x+x^2 \log (2)\right )}{12-x+x^2}+(-1+x \log (4)) \log \left (-12+x-x^2\right )\right ) \, dx \\ & = \int \frac {(-1+2 x) \left (4-x+x^2 \log (2)\right )}{12-x+x^2} \, dx+\int (-1+x \log (4)) \log \left (-12+x-x^2\right ) \, dx \\ & = \frac {(1-x \log (4))^2 \log \left (-12+x-x^2\right )}{2 \log (4)}-\frac {\int \frac {(1-2 x) (-1+x \log (4))^2}{-12+x-x^2} \, dx}{2 \log (4)}+\int \left (-2+\frac {x (7-23 \log (2))+4 (5-3 \log (2))}{12-x+x^2}+\log (2)+2 x \log (2)\right ) \, dx \\ & = -x (2-\log (2))+x^2 \log (2)+\frac {(1-x \log (4))^2 \log \left (-12+x-x^2\right )}{2 \log (4)}-\frac {\int \left (-((4-\log (4)) \log (4))+2 x \log ^2(4)-\frac {-1+48 \log (4)-12 \log ^2(4)+x \left (2-2 \log (4)-23 \log ^2(4)\right )}{-12+x-x^2}\right ) \, dx}{2 \log (4)}+\int \frac {x (7-23 \log (2))+4 (5-3 \log (2))}{12-x+x^2} \, dx \\ & = -x (2-\log (2))+x^2 \log (2)+\frac {1}{2} x (4-\log (4))-\frac {1}{2} x^2 \log (4)+\frac {(1-x \log (4))^2 \log \left (-12+x-x^2\right )}{2 \log (4)}+\frac {1}{2} (7-23 \log (2)) \int \frac {-1+2 x}{12-x+x^2} \, dx+\frac {1}{2} (47 (1-\log (2))) \int \frac {1}{12-x+x^2} \, dx+\frac {\int \frac {-1+48 \log (4)-12 \log ^2(4)+x \left (2-2 \log (4)-23 \log ^2(4)\right )}{-12+x-x^2} \, dx}{2 \log (4)} \\ & = -x (2-\log (2))+x^2 \log (2)+\frac {1}{2} x (4-\log (4))-\frac {1}{2} x^2 \log (4)+\frac {(1-x \log (4))^2 \log \left (-12+x-x^2\right )}{2 \log (4)}+\frac {1}{2} (7-23 \log (2)) \log \left (12-x+x^2\right )-(47 (1-\log (2))) \text {Subst}\left (\int \frac {1}{-47-x^2} \, dx,x,-1+2 x\right )+\frac {1}{4} (47 (2-\log (4))) \int \frac {1}{-12+x-x^2} \, dx+\frac {\left (-2+23 \log ^2(4)+\log (16)\right ) \int \frac {1-2 x}{-12+x-x^2} \, dx}{4 \log (4)} \\ & = -\sqrt {47} \arctan \left (\frac {1-2 x}{\sqrt {47}}\right ) (1-\log (2))-x (2-\log (2))+x^2 \log (2)+\frac {1}{2} x (4-\log (4))-\frac {1}{2} x^2 \log (4)+\frac {(1-x \log (4))^2 \log \left (-12+x-x^2\right )}{2 \log (4)}+\frac {1}{2} (7-23 \log (2)) \log \left (12-x+x^2\right )-\frac {\left (2-23 \log ^2(4)-\log (16)\right ) \log \left (12-x+x^2\right )}{4 \log (4)}-\frac {1}{2} (47 (2-\log (4))) \text {Subst}\left (\int \frac {1}{-47-x^2} \, dx,x,1-2 x\right ) \\ & = -\sqrt {47} \arctan \left (\frac {1-2 x}{\sqrt {47}}\right ) (1-\log (2))-x (2-\log (2))+x^2 \log (2)+\frac {1}{2} \sqrt {47} \arctan \left (\frac {1-2 x}{\sqrt {47}}\right ) (2-\log (4))+\frac {1}{2} x (4-\log (4))-\frac {1}{2} x^2 \log (4)+\frac {(1-x \log (4))^2 \log \left (-12+x-x^2\right )}{2 \log (4)}+\frac {1}{2} (7-23 \log (2)) \log \left (12-x+x^2\right )-\frac {\left (2-23 \log ^2(4)-\log (16)\right ) \log \left (12-x+x^2\right )}{4 \log (4)} \\ \end{align*}
Time = 0.15 (sec) , antiderivative size = 29, normalized size of antiderivative = 1.38 \[ \int \frac {-4+9 x-2 x^2+\left (-x^2+2 x^3\right ) \log (2)+\left (-12+x-x^2+\left (24 x-2 x^2+2 x^3\right ) \log (2)\right ) \log \left (-12+x-x^2\right )}{12-x+x^2} \, dx=x (-1+x \log (2)) \log \left (-12+x-x^2\right )+4 \log \left (12-x+x^2\right ) \]
[In]
[Out]
Time = 4.17 (sec) , antiderivative size = 33, normalized size of antiderivative = 1.57
method | result | size |
risch | \(\left (x^{2} \ln \left (2\right )-x \right ) \ln \left (-x^{2}+x -12\right )+4 \ln \left (x^{2}-x +12\right )\) | \(33\) |
default | \(\ln \left (2\right ) \ln \left (-x^{2}+x -12\right ) x^{2}+4 \ln \left (x^{2}-x +12\right )-\ln \left (-x^{2}+x -12\right ) x\) | \(40\) |
norman | \(4 \ln \left (-x^{2}+x -12\right )+\ln \left (2\right ) \ln \left (-x^{2}+x -12\right ) x^{2}-\ln \left (-x^{2}+x -12\right ) x\) | \(40\) |
parallelrisch | \(4 \ln \left (-x^{2}+x -12\right )+\ln \left (2\right ) \ln \left (-x^{2}+x -12\right ) x^{2}-\ln \left (-x^{2}+x -12\right ) x\) | \(40\) |
parts | \(2 \ln \left (2\right ) \left (\frac {\ln \left (-x^{2}+x -12\right ) x^{2}}{2}-\frac {x}{2}-\frac {x^{2}}{2}+\frac {23 \ln \left (x^{2}-x +12\right )}{4}+\frac {\sqrt {47}\, \arctan \left (\frac {\left (-1+2 x \right ) \sqrt {47}}{47}\right )}{2}\right )-\ln \left (-x^{2}+x -12\right ) x +\frac {\ln \left (x^{2}-x +12\right )}{2}-\sqrt {47}\, \arctan \left (\frac {\left (-1+2 x \right ) \sqrt {47}}{47}\right )+x^{2} \ln \left (2\right )+x \ln \left (2\right )+\frac {\left (7-23 \ln \left (2\right )\right ) \ln \left (x^{2}-x +12\right )}{2}+\frac {2 \left (\frac {47}{2}-\frac {47 \ln \left (2\right )}{2}\right ) \sqrt {47}\, \arctan \left (\frac {\left (-1+2 x \right ) \sqrt {47}}{47}\right )}{47}\) | \(144\) |
[In]
[Out]
none
Time = 0.26 (sec) , antiderivative size = 21, normalized size of antiderivative = 1.00 \[ \int \frac {-4+9 x-2 x^2+\left (-x^2+2 x^3\right ) \log (2)+\left (-12+x-x^2+\left (24 x-2 x^2+2 x^3\right ) \log (2)\right ) \log \left (-12+x-x^2\right )}{12-x+x^2} \, dx={\left (x^{2} \log \left (2\right ) - x + 4\right )} \log \left (-x^{2} + x - 12\right ) \]
[In]
[Out]
Time = 0.09 (sec) , antiderivative size = 26, normalized size of antiderivative = 1.24 \[ \int \frac {-4+9 x-2 x^2+\left (-x^2+2 x^3\right ) \log (2)+\left (-12+x-x^2+\left (24 x-2 x^2+2 x^3\right ) \log (2)\right ) \log \left (-12+x-x^2\right )}{12-x+x^2} \, dx=\left (x^{2} \log {\left (2 \right )} - x\right ) \log {\left (- x^{2} + x - 12 \right )} + 4 \log {\left (x^{2} - x + 12 \right )} \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 165 vs. \(2 (21) = 42\).
Time = 0.51 (sec) , antiderivative size = 165, normalized size of antiderivative = 7.86 \[ \int \frac {-4+9 x-2 x^2+\left (-x^2+2 x^3\right ) \log (2)+\left (-12+x-x^2+\left (24 x-2 x^2+2 x^3\right ) \log (2)\right ) \log \left (-12+x-x^2\right )}{12-x+x^2} \, dx=-x^{2} \log \left (2\right ) + \sqrt {47} {\left (\log \left (2\right ) - 1\right )} \arctan \left (\frac {1}{47} \, \sqrt {47} {\left (2 \, x - 1\right )}\right ) - x {\left (\log \left (2\right ) - 2\right )} + \frac {1}{47} \, {\left (47 \, x^{2} - 70 \, \sqrt {47} \arctan \left (\frac {1}{47} \, \sqrt {47} {\left (2 \, x - 1\right )}\right ) + 94 \, x - 517 \, \log \left (x^{2} - x + 12\right )\right )} \log \left (2\right ) + \frac {1}{94} \, {\left (46 \, \sqrt {47} \arctan \left (\frac {1}{47} \, \sqrt {47} {\left (2 \, x - 1\right )}\right ) - 94 \, x - 47 \, \log \left (x^{2} - x + 12\right )\right )} \log \left (2\right ) + \frac {1}{2} \, {\left (2 \, x^{2} \log \left (2\right ) - 2 \, x + 23 \, \log \left (2\right ) + 1\right )} \log \left (-x^{2} + x - 12\right ) + \sqrt {47} \arctan \left (\frac {1}{47} \, \sqrt {47} {\left (2 \, x - 1\right )}\right ) - 2 \, x + \frac {7}{2} \, \log \left (x^{2} - x + 12\right ) \]
[In]
[Out]
none
Time = 0.29 (sec) , antiderivative size = 32, normalized size of antiderivative = 1.52 \[ \int \frac {-4+9 x-2 x^2+\left (-x^2+2 x^3\right ) \log (2)+\left (-12+x-x^2+\left (24 x-2 x^2+2 x^3\right ) \log (2)\right ) \log \left (-12+x-x^2\right )}{12-x+x^2} \, dx={\left (x^{2} \log \left (2\right ) - x\right )} \log \left (-x^{2} + x - 12\right ) + 4 \, \log \left (x^{2} - x + 12\right ) \]
[In]
[Out]
Time = 0.37 (sec) , antiderivative size = 21, normalized size of antiderivative = 1.00 \[ \int \frac {-4+9 x-2 x^2+\left (-x^2+2 x^3\right ) \log (2)+\left (-12+x-x^2+\left (24 x-2 x^2+2 x^3\right ) \log (2)\right ) \log \left (-12+x-x^2\right )}{12-x+x^2} \, dx=\ln \left (-x^2+x-12\right )\,\left (\ln \left (2\right )\,x^2-x+4\right ) \]
[In]
[Out]