Optimal. Leaf size=24 \[ (2 x+3 x (-((1+x) (9+x-\log (2)))+\log (4)))^2 \]
[Out]
________________________________________________________________________________________
Rubi [B] Leaf count is larger than twice the leaf count of optimal. \(127\) vs. \(2(24)=48\).
time = 0.05, antiderivative size = 127, normalized size of antiderivative = 5.29, number of steps
used = 6, number of rules used = 1, integrand size = 101, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.010, Rules used = {6}
\begin {gather*} 9 x^6+180 x^5-18 x^5 \log (2)+1050 x^4+9 x^4 \log ^2(2)-18 x^4 \log (4)-198 x^4 \log (2)+1500 x^3+18 x^3 \log ^2(2)+18 x^3 \log (2) \log (4)-180 x^3 \log (4)-330 x^3 \log (2)+x^2 \left (625+9 \log ^2(4)\right )+9 x^2 \log ^2(2)+18 x^2 \log (2) \log (4)-150 x^2 \log (4)-150 x^2 \log (2) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 6
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=\int \left (4500 x^2+4200 x^3+900 x^4+54 x^5+\left (-300 x-990 x^2-792 x^3-90 x^4\right ) \log (2)+\left (18 x+54 x^2+36 x^3\right ) \log ^2(2)+\left (-300 x-540 x^2-72 x^3+\left (36 x+54 x^2\right ) \log (2)\right ) \log (4)+x \left (1250+18 \log ^2(4)\right )\right ) \, dx\\ &=1500 x^3+1050 x^4+180 x^5+9 x^6+x^2 \left (625+9 \log ^2(4)\right )+\log (2) \int \left (-300 x-990 x^2-792 x^3-90 x^4\right ) \, dx+\log ^2(2) \int \left (18 x+54 x^2+36 x^3\right ) \, dx+\log (4) \int \left (-300 x-540 x^2-72 x^3+\left (36 x+54 x^2\right ) \log (2)\right ) \, dx\\ &=1500 x^3+1050 x^4+180 x^5+9 x^6-150 x^2 \log (2)-330 x^3 \log (2)-198 x^4 \log (2)-18 x^5 \log (2)+9 x^2 \log ^2(2)+18 x^3 \log ^2(2)+9 x^4 \log ^2(2)-150 x^2 \log (4)-180 x^3 \log (4)-18 x^4 \log (4)+x^2 \left (625+9 \log ^2(4)\right )+(\log (2) \log (4)) \int \left (36 x+54 x^2\right ) \, dx\\ &=1500 x^3+1050 x^4+180 x^5+9 x^6-150 x^2 \log (2)-330 x^3 \log (2)-198 x^4 \log (2)-18 x^5 \log (2)+9 x^2 \log ^2(2)+18 x^3 \log ^2(2)+9 x^4 \log ^2(2)-150 x^2 \log (4)-180 x^3 \log (4)-18 x^4 \log (4)+18 x^2 \log (2) \log (4)+18 x^3 \log (2) \log (4)+x^2 \left (625+9 \log ^2(4)\right )\\ \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [B] Leaf count is larger than twice the leaf count of optimal. \(57\) vs. \(2(24)=48\).
time = 0.03, size = 57, normalized size = 2.38 \begin {gather*} x^2 \left (9 x^4-18 x^3 (-10+\log (2))+3 x^2 \left (350-66 \log (2)+3 \log ^2(2)-6 \log (4)\right )+6 x (-10+\log (2)) (-25+\log (512))+(-25+\log (512))^2\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] Leaf count of result is larger than twice the leaf count of optimal. \(85\) vs.
\(2(26)=52\).
time = 1.87, size = 86, normalized size = 3.58
method | result | size |
gosper | \(x^{2} \left (3 x \ln \left (2\right )-3 x^{2}+9 \ln \left (2\right )-30 x -25\right )^{2}\) | \(26\) |
norman | \(\left (-18 \ln \left (2\right )+180\right ) x^{5}+\left (9 \ln \left (2\right )^{2}-234 \ln \left (2\right )+1050\right ) x^{4}+\left (54 \ln \left (2\right )^{2}-690 \ln \left (2\right )+1500\right ) x^{3}+\left (81 \ln \left (2\right )^{2}-450 \ln \left (2\right )+625\right ) x^{2}+9 x^{6}\) | \(65\) |
risch | \(9 x^{4} \ln \left (2\right )^{2}-18 x^{5} \ln \left (2\right )+9 x^{6}+54 x^{3} \ln \left (2\right )^{2}-234 x^{4} \ln \left (2\right )+180 x^{5}+81 x^{2} \ln \left (2\right )^{2}-690 x^{3} \ln \left (2\right )+1050 x^{4}-450 x^{2} \ln \left (2\right )+1500 x^{3}+625 x^{2}\) | \(82\) |
default | \(9 x^{6}+\frac {2 \left (-45 \ln \left (2\right )+450\right ) x^{5}}{5}+\frac {\left (-108 \ln \left (2\right )+300+\left (3 \ln \left (2\right )-30\right ) \left (6 \ln \left (2\right )-60\right )\right ) x^{4}}{2}+\frac {2 \left (\left (9 \ln \left (2\right )-25\right ) \left (6 \ln \left (2\right )-60\right )+\left (3 \ln \left (2\right )-30\right ) \left (9 \ln \left (2\right )-25\right )\right ) x^{3}}{3}+\left (9 \ln \left (2\right )-25\right )^{2} x^{2}\) | \(86\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [B] Leaf count of result is larger than twice the leaf count of optimal. 109 vs.
\(2 (25) = 50\).
time = 0.28, size = 109, normalized size = 4.54 \begin {gather*} 9 \, x^{6} + 180 \, x^{5} + 1050 \, x^{4} + 36 \, x^{2} \log \left (2\right )^{2} + 1500 \, x^{3} + 9 \, {\left (x^{4} + 2 \, x^{3} + x^{2}\right )} \log \left (2\right )^{2} + 625 \, x^{2} - 6 \, {\left (3 \, x^{5} + 33 \, x^{4} + 55 \, x^{3} + 25 \, x^{2}\right )} \log \left (2\right ) - 12 \, {\left (3 \, x^{4} + 30 \, x^{3} + 25 \, x^{2} - 3 \, {\left (x^{3} + x^{2}\right )} \log \left (2\right )\right )} \log \left (2\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 71 vs.
\(2 (25) = 50\).
time = 0.43, size = 71, normalized size = 2.96 \begin {gather*} 9 \, x^{6} + 180 \, x^{5} + 1050 \, x^{4} + 1500 \, x^{3} + 9 \, {\left (x^{4} + 6 \, x^{3} + 9 \, x^{2}\right )} \log \left (2\right )^{2} + 625 \, x^{2} - 6 \, {\left (3 \, x^{5} + 39 \, x^{4} + 115 \, x^{3} + 75 \, x^{2}\right )} \log \left (2\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [B] Leaf count of result is larger than twice the leaf count of optimal. 65 vs.
\(2 (22) = 44\).
time = 0.02, size = 65, normalized size = 2.71 \begin {gather*} 9 x^{6} + x^{5} \cdot \left (180 - 18 \log {\left (2 \right )}\right ) + x^{4} \left (- 234 \log {\left (2 \right )} + 9 \log {\left (2 \right )}^{2} + 1050\right ) + x^{3} \left (- 690 \log {\left (2 \right )} + 54 \log {\left (2 \right )}^{2} + 1500\right ) + x^{2} \left (- 450 \log {\left (2 \right )} + 81 \log {\left (2 \right )}^{2} + 625\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] Leaf count of result is larger than twice the leaf count of optimal. 109 vs.
\(2 (25) = 50\).
time = 0.40, size = 109, normalized size = 4.54 \begin {gather*} 9 \, x^{6} + 180 \, x^{5} + 1050 \, x^{4} + 36 \, x^{2} \log \left (2\right )^{2} + 1500 \, x^{3} + 9 \, {\left (x^{4} + 2 \, x^{3} + x^{2}\right )} \log \left (2\right )^{2} + 625 \, x^{2} - 6 \, {\left (3 \, x^{5} + 33 \, x^{4} + 55 \, x^{3} + 25 \, x^{2}\right )} \log \left (2\right ) - 12 \, {\left (3 \, x^{4} + 30 \, x^{3} + 25 \, x^{2} - 3 \, {\left (x^{3} + x^{2}\right )} \log \left (2\right )\right )} \log \left (2\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 5.34, size = 59, normalized size = 2.46 \begin {gather*} 9\,x^6+\left (180-18\,\ln \left (2\right )\right )\,x^5+\left (9\,{\ln \left (2\right )}^2-234\,\ln \left (2\right )+1050\right )\,x^4+\left (54\,{\ln \left (2\right )}^2-690\,\ln \left (2\right )+1500\right )\,x^3+{\left (\ln \left (512\right )-25\right )}^2\,x^2 \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________