Optimal. Leaf size=29 \[ \frac {2 x^2 \left (x+\frac {x \left (-x+x^2\right )^2}{(4+x)^2}\right )}{2+\log (3)} \]
________________________________________________________________________________________
Rubi [B] time = 0.12, antiderivative size = 80, normalized size of antiderivative = 2.76, number of steps used = 2, number of rules used = 1, integrand size = 65, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.015, Rules used = {2074} \begin {gather*} \frac {2 x^5}{2+\log (3)}-\frac {20 x^4}{2+\log (3)}+\frac {132 x^3}{2+\log (3)}-\frac {720 x^2}{2+\log (3)}+\frac {3680 x}{2+\log (3)}+\frac {84480}{(x+4) (2+\log (3))}-\frac {51200}{(x+4)^2 (2+\log (3))} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 2074
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=\int \left (\frac {3680}{2+\log (3)}-\frac {1440 x}{2+\log (3)}+\frac {396 x^2}{2+\log (3)}-\frac {80 x^3}{2+\log (3)}+\frac {10 x^4}{2+\log (3)}+\frac {102400}{(4+x)^3 (2+\log (3))}-\frac {84480}{(4+x)^2 (2+\log (3))}\right ) \, dx\\ &=\frac {3680 x}{2+\log (3)}-\frac {720 x^2}{2+\log (3)}+\frac {132 x^3}{2+\log (3)}-\frac {20 x^4}{2+\log (3)}+\frac {2 x^5}{2+\log (3)}-\frac {51200}{(4+x)^2 (2+\log (3))}+\frac {84480}{(4+x) (2+\log (3))}\\ \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [A] time = 0.02, size = 46, normalized size = 1.59 \begin {gather*} \frac {2 \left (478208+239104 x+29888 x^2+16 x^3+8 x^4+2 x^5-2 x^6+x^7\right )}{(4+x)^2 (2+\log (3))} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.66, size = 58, normalized size = 2.00 \begin {gather*} \frac {2 \, {\left (x^{7} - 2 \, x^{6} + 2 \, x^{5} + 8 \, x^{4} + 16 \, x^{3} + 8960 \, x^{2} + 71680 \, x + 143360\right )}}{2 \, x^{2} + {\left (x^{2} + 8 \, x + 16\right )} \log \relax (3) + 16 \, x + 32} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [B] time = 0.36, size = 236, normalized size = 8.14 \begin {gather*} \frac {2 \, {\left (x^{5} \log \relax (3)^{4} + 8 \, x^{5} \log \relax (3)^{3} - 10 \, x^{4} \log \relax (3)^{4} + 24 \, x^{5} \log \relax (3)^{2} - 80 \, x^{4} \log \relax (3)^{3} + 66 \, x^{3} \log \relax (3)^{4} + 32 \, x^{5} \log \relax (3) - 240 \, x^{4} \log \relax (3)^{2} + 528 \, x^{3} \log \relax (3)^{3} - 360 \, x^{2} \log \relax (3)^{4} + 16 \, x^{5} - 320 \, x^{4} \log \relax (3) + 1584 \, x^{3} \log \relax (3)^{2} - 2880 \, x^{2} \log \relax (3)^{3} + 1840 \, x \log \relax (3)^{4} - 160 \, x^{4} + 2112 \, x^{3} \log \relax (3) - 8640 \, x^{2} \log \relax (3)^{2} + 14720 \, x \log \relax (3)^{3} + 1056 \, x^{3} - 11520 \, x^{2} \log \relax (3) + 44160 \, x \log \relax (3)^{2} - 5760 \, x^{2} + 58880 \, x \log \relax (3) + 29440 \, x\right )}}{\log \relax (3)^{5} + 10 \, \log \relax (3)^{4} + 40 \, \log \relax (3)^{3} + 80 \, \log \relax (3)^{2} + 80 \, \log \relax (3) + 32} + \frac {2560 \, {\left (33 \, x + 112\right )}}{{\left (x + 4\right )}^{2} {\left (\log \relax (3) + 2\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.06, size = 45, normalized size = 1.55
method | result | size |
default | \(\frac {2 x^{5}-20 x^{4}+132 x^{3}-720 x^{2}+3680 x -\frac {51200}{\left (4+x \right )^{2}}+\frac {84480}{4+x}}{2+\ln \relax (3)}\) | \(45\) |
gosper | \(\frac {2 x^{3} \left (x^{4}-2 x^{3}+2 x^{2}+8 x +16\right )}{x^{2} \ln \relax (3)+8 x \ln \relax (3)+2 x^{2}+16 \ln \relax (3)+16 x +32}\) | \(51\) |
norman | \(\frac {\frac {32 x^{3}}{2+\ln \relax (3)}+\frac {16 x^{4}}{2+\ln \relax (3)}+\frac {4 x^{5}}{2+\ln \relax (3)}-\frac {4 x^{6}}{2+\ln \relax (3)}+\frac {2 x^{7}}{2+\ln \relax (3)}}{\left (4+x \right )^{2}}\) | \(63\) |
risch | \(\frac {2 x^{5}}{2+\ln \relax (3)}-\frac {20 x^{4}}{2+\ln \relax (3)}+\frac {132 x^{3}}{2+\ln \relax (3)}-\frac {720 x^{2}}{2+\ln \relax (3)}+\frac {3680 x}{2+\ln \relax (3)}+\frac {\left (84480 \ln \relax (3)+168960\right ) x +286720 \ln \relax (3)+573440}{\left (2+\ln \relax (3)\right ) \left (x^{2} \ln \relax (3)+8 x \ln \relax (3)+2 x^{2}+16 \ln \relax (3)+16 x +32\right )}\) | \(103\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [B] time = 0.44, size = 61, normalized size = 2.10 \begin {gather*} \frac {2560 \, {\left (33 \, x + 112\right )}}{x^{2} {\left (\log \relax (3) + 2\right )} + 8 \, x {\left (\log \relax (3) + 2\right )} + 16 \, \log \relax (3) + 32} + \frac {2 \, {\left (x^{5} - 10 \, x^{4} + 66 \, x^{3} - 360 \, x^{2} + 1840 \, x\right )}}{\log \relax (3) + 2} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 0.70, size = 541, normalized size = 18.66 \begin {gather*} x\,\left (\frac {288}{\ln \relax (3)+2}-\frac {\left (64\,\ln \relax (3)+128\right )\,\left (\frac {40}{\ln \relax (3)+2}-\frac {10\,\left (12\,\ln \relax (3)+24\right )}{{\left (\ln \relax (3)+2\right )}^2}\right )}{\ln \relax (3)+2}-\frac {\left (12\,\ln \relax (3)+24\right )\,\left (\frac {112}{\ln \relax (3)+2}-\frac {10\,\left (64\,\ln \relax (3)+128\right )}{{\left (\ln \relax (3)+2\right )}^2}-\frac {\left (48\,\ln \relax (3)+96\right )\,\left (\frac {40}{\ln \relax (3)+2}-\frac {10\,\left (12\,\ln \relax (3)+24\right )}{{\left (\ln \relax (3)+2\right )}^2}\right )}{\ln \relax (3)+2}+\frac {\left (12\,\ln \relax (3)+24\right )\,\left (\frac {84}{\ln \relax (3)+2}+\frac {10\,\left (48\,\ln \relax (3)+96\right )}{{\left (\ln \relax (3)+2\right )}^2}+\frac {\left (12\,\ln \relax (3)+24\right )\,\left (\frac {40}{\ln \relax (3)+2}-\frac {10\,\left (12\,\ln \relax (3)+24\right )}{{\left (\ln \relax (3)+2\right )}^2}\right )}{\ln \relax (3)+2}\right )}{\ln \relax (3)+2}\right )}{\ln \relax (3)+2}+\frac {\left (48\,\ln \relax (3)+96\right )\,\left (\frac {84}{\ln \relax (3)+2}+\frac {10\,\left (48\,\ln \relax (3)+96\right )}{{\left (\ln \relax (3)+2\right )}^2}+\frac {\left (12\,\ln \relax (3)+24\right )\,\left (\frac {40}{\ln \relax (3)+2}-\frac {10\,\left (12\,\ln \relax (3)+24\right )}{{\left (\ln \relax (3)+2\right )}^2}\right )}{\ln \relax (3)+2}\right )}{\ln \relax (3)+2}\right )+\frac {84480\,x+286720}{\left (\ln \relax (3)+2\right )\,x^2+\left (8\,\ln \relax (3)+16\right )\,x+16\,\ln \relax (3)+32}-x^3\,\left (\frac {28}{\ln \relax (3)+2}+\frac {10\,\left (48\,\ln \relax (3)+96\right )}{3\,{\left (\ln \relax (3)+2\right )}^2}+\frac {\left (12\,\ln \relax (3)+24\right )\,\left (\frac {40}{\ln \relax (3)+2}-\frac {10\,\left (12\,\ln \relax (3)+24\right )}{{\left (\ln \relax (3)+2\right )}^2}\right )}{3\,\left (\ln \relax (3)+2\right )}\right )+\frac {2\,x^5}{\ln \relax (3)+2}+x^4\,\left (\frac {10}{\ln \relax (3)+2}-\frac {5\,\left (12\,\ln \relax (3)+24\right )}{2\,{\left (\ln \relax (3)+2\right )}^2}\right )+x^2\,\left (\frac {56}{\ln \relax (3)+2}-\frac {5\,\left (64\,\ln \relax (3)+128\right )}{{\left (\ln \relax (3)+2\right )}^2}-\frac {\left (48\,\ln \relax (3)+96\right )\,\left (\frac {40}{\ln \relax (3)+2}-\frac {10\,\left (12\,\ln \relax (3)+24\right )}{{\left (\ln \relax (3)+2\right )}^2}\right )}{2\,\left (\ln \relax (3)+2\right )}+\frac {\left (12\,\ln \relax (3)+24\right )\,\left (\frac {84}{\ln \relax (3)+2}+\frac {10\,\left (48\,\ln \relax (3)+96\right )}{{\left (\ln \relax (3)+2\right )}^2}+\frac {\left (12\,\ln \relax (3)+24\right )\,\left (\frac {40}{\ln \relax (3)+2}-\frac {10\,\left (12\,\ln \relax (3)+24\right )}{{\left (\ln \relax (3)+2\right )}^2}\right )}{\ln \relax (3)+2}\right )}{2\,\left (\ln \relax (3)+2\right )}\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [B] time = 0.68, size = 76, normalized size = 2.62 \begin {gather*} \frac {2 x^{5}}{\log {\relax (3 )} + 2} - \frac {20 x^{4}}{\log {\relax (3 )} + 2} + \frac {132 x^{3}}{\log {\relax (3 )} + 2} - \frac {720 x^{2}}{\log {\relax (3 )} + 2} + \frac {3680 x}{\log {\relax (3 )} + 2} + \frac {84480 x + 286720}{x^{2} \left (\log {\relax (3 )} + 2\right ) + x \left (8 \log {\relax (3 )} + 16\right ) + 16 \log {\relax (3 )} + 32} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________