Optimal. Leaf size=26 \[ \left (1+x-x^2-\frac {x}{3+16 x}+x^2 \log (3)\right )^2 \]
________________________________________________________________________________________
Rubi [B] time = 0.18, antiderivative size = 72, normalized size of antiderivative = 2.77, number of steps used = 2, number of rules used = 1, integrand size = 106, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.009, Rules used = {2074} \begin {gather*} x^4 (1-\log (3))^2-2 x^3 (1-\log (3))-\frac {1}{8} x^2 (7-15 \log (3))+\frac {9}{256 (16 x+3)^2}+\frac {3}{128} x (79+\log (3))+\frac {9 (61+\log (27))}{2048 (16 x+3)} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 2074
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=\int \left (-\frac {9}{8 (3+16 x)^3}+6 x^2 (-1+\log (3))+4 x^3 (-1+\log (3))^2+\frac {3}{128} (79+\log (3))+\frac {1}{4} x (-7+15 \log (3))-\frac {9 (61+\log (27))}{128 (3+16 x)^2}\right ) \, dx\\ &=\frac {9}{256 (3+16 x)^2}-\frac {1}{8} x^2 (7-15 \log (3))-2 x^3 (1-\log (3))+x^4 (1-\log (3))^2+\frac {3}{128} x (79+\log (3))+\frac {9 (61+\log (27))}{2048 (3+16 x)}\\ \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [B] time = 0.08, size = 140, normalized size = 5.38 \begin {gather*} \frac {16777216 x^6 (-1+\log (3))^2-6912 x^2 \left (-2493+370 \log (3)+3 \log ^2(3)-220 \log (9)\right )+65536 x^4 \left (-407+714 \log (3)+9 \log ^2(3)-30 \log (9)\right )+98304 x^3 (248+106 \log (3)+15 \log (9))-288 x \left (-12709+1170 \log (3)+27 \log ^2(3)-900 \log (9)+512 \log (27)\right )-9 \left (-29935+270 \log (3)+81 \log ^2(3)-1080 \log (9)+1536 \log (27)\right )+2097152 x^5 \left (-13+3 \log ^2(3)+\log (59049)\right )}{65536 (3+16 x)^2} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [B] time = 0.59, size = 100, normalized size = 3.85 \begin {gather*} \frac {524288 \, x^{6} - 851968 \, x^{5} - 833536 \, x^{4} + 761856 \, x^{3} + 2048 \, {\left (256 \, x^{6} + 96 \, x^{5} + 9 \, x^{4}\right )} \log \relax (3)^{2} + 347904 \, x^{2} - {\left (1048576 \, x^{6} - 655360 \, x^{5} - 1339392 \, x^{4} - 417792 \, x^{3} - 39168 \, x^{2} - 864 \, x - 81\right )} \log \relax (3) + 42912 \, x + 1719}{2048 \, {\left (256 \, x^{2} + 96 \, x + 9\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [B] time = 0.16, size = 74, normalized size = 2.85 \begin {gather*} x^{4} \log \relax (3)^{2} - 2 \, x^{4} \log \relax (3) + x^{4} + 2 \, x^{3} \log \relax (3) - 2 \, x^{3} + \frac {15}{8} \, x^{2} \log \relax (3) - \frac {7}{8} \, x^{2} + \frac {3}{128} \, x \log \relax (3) + \frac {237}{128} \, x + \frac {9 \, {\left (48 \, x \log \relax (3) + 976 \, x + 9 \, \log \relax (3) + 191\right )}}{2048 \, {\left (16 \, x + 3\right )}^{2}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [B] time = 0.09, size = 76, normalized size = 2.92
method | result | size |
default | \(x^{4} \ln \relax (3)^{2}-2 x^{4} \ln \relax (3)+x^{4}+2 x^{3} \ln \relax (3)-2 x^{3}+\frac {15 x^{2} \ln \relax (3)}{8}-\frac {7 x^{2}}{8}+\frac {3 x \ln \relax (3)}{128}+\frac {237 x}{128}+\frac {9}{256 \left (16 x +3\right )^{2}}-\frac {4 \left (-\frac {27 \ln \relax (3)}{8192}-\frac {549}{8192}\right )}{16 x +3}\) | \(76\) |
risch | \(x^{4} \ln \relax (3)^{2}-2 x^{4} \ln \relax (3)+2 x^{3} \ln \relax (3)+x^{4}+\frac {15 x^{2} \ln \relax (3)}{8}-2 x^{3}+\frac {3 x \ln \relax (3)}{128}-\frac {7 x^{2}}{8}+\frac {237 x}{128}+\frac {\frac {\left (\frac {549}{256}+\frac {27 \ln \relax (3)}{256}\right ) x}{128}+\frac {1719}{524288}+\frac {81 \ln \relax (3)}{524288}}{x^{2}+\frac {3}{8} x +\frac {9}{256}}\) | \(78\) |
norman | \(\frac {\left (372+204 \ln \relax (3)\right ) x^{3}+12 x +\left (-416+96 \ln \relax (3)^{2}+320 \ln \relax (3)\right ) x^{5}+\left (-407+654 \ln \relax (3)+9 \ln \relax (3)^{2}\right ) x^{4}+\left (146+18 \ln \relax (3)\right ) x^{2}+\left (256 \ln \relax (3)^{2}-512 \ln \relax (3)+256\right ) x^{6}}{\left (16 x +3\right )^{2}}\) | \(81\) |
gosper | \(\frac {x \left (256 x^{5} \ln \relax (3)^{2}+96 x^{4} \ln \relax (3)^{2}-512 x^{5} \ln \relax (3)+9 x^{3} \ln \relax (3)^{2}+320 x^{4} \ln \relax (3)+256 x^{5}+654 x^{3} \ln \relax (3)-416 x^{4}+204 x^{2} \ln \relax (3)-407 x^{3}+18 x \ln \relax (3)+372 x^{2}+146 x +12\right )}{256 x^{2}+96 x +9}\) | \(100\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [B] time = 0.34, size = 71, normalized size = 2.73 \begin {gather*} {\left (\log \relax (3)^{2} - 2 \, \log \relax (3) + 1\right )} x^{4} + 2 \, x^{3} {\left (\log \relax (3) - 1\right )} + \frac {1}{8} \, x^{2} {\left (15 \, \log \relax (3) - 7\right )} + \frac {3}{128} \, x {\left (\log \relax (3) + 79\right )} + \frac {9 \, {\left (16 \, x {\left (3 \, \log \relax (3) + 61\right )} + 9 \, \log \relax (3) + 191\right )}}{2048 \, {\left (256 \, x^{2} + 96 \, x + 9\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 5.65, size = 109, normalized size = 4.19 \begin {gather*} x^3\,\left (\frac {\ln \relax (3)}{2}-\frac {3\,{\left (\ln \relax (3)-1\right )}^2}{4}+\frac {3\,{\ln \relax (3)}^2}{4}-\frac {5}{4}\right )+x^2\,\left (\frac {87\,\ln \relax (3)}{32}+\frac {27\,{\left (\ln \relax (3)-1\right )}^2}{64}-\frac {27\,{\ln \relax (3)}^2}{64}-\frac {83}{64}\right )+\frac {\frac {81\,\ln \relax (3)}{16}+x\,\left (27\,\ln \relax (3)+549\right )+\frac {1719}{16}}{32768\,x^2+12288\,x+1152}+x^4\,{\left (\ln \relax (3)-1\right )}^2-x\,\left (\frac {129\,\ln \relax (3)}{256}+\frac {135\,{\left (\ln \relax (3)-1\right )}^2}{512}-\frac {135\,{\ln \relax (3)}^2}{512}-\frac {1083}{512}\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [B] time = 0.37, size = 75, normalized size = 2.88 \begin {gather*} x^{4} \left (- 2 \log {\relax (3 )} + 1 + \log {\relax (3 )}^{2}\right ) + x^{3} \left (-2 + 2 \log {\relax (3 )}\right ) + x^{2} \left (- \frac {7}{8} + \frac {15 \log {\relax (3 )}}{8}\right ) + x \left (\frac {3 \log {\relax (3 )}}{128} + \frac {237}{128}\right ) + \frac {x \left (432 \log {\relax (3 )} + 8784\right ) + 81 \log {\relax (3 )} + 1719}{524288 x^{2} + 196608 x + 18432} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________