Optimal. Leaf size=25 \[ 4+\frac {4 x}{\left (-3+\frac {x}{144}\right )^2 (5-x+x \log (3))} \]
________________________________________________________________________________________
Rubi [B] time = 0.21, antiderivative size = 64, normalized size of antiderivative = 2.56, number of steps used = 3, number of rules used = 2, integrand size = 94, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.021, Rules used = {6, 2074} \begin {gather*} \frac {414720 (1-\log (3))}{(427-432 \log (3))^2 (5-x (1-\log (3)))}-\frac {414720}{(432-x) (427-432 \log (3))^2}-\frac {35831808}{(432-x)^2 (427-432 \log (3))} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 6
Rule 2074
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=\int \frac {-179159040-414720 x+x^2 (165888-165888 \log (3))}{-2015539200+820212480 x-86252688 x^2+572857 x^3-1306 x^4+x^5+\left (-806215680 x+166841856 x^2-1132704 x^3+2602 x^4-2 x^5\right ) \log (3)+\left (-80621568 x^2+559872 x^3-1296 x^4+x^5\right ) \log ^2(3)} \, dx\\ &=\int \left (\frac {414720 (1-\log (3))^2}{(5-x (1-\log (3)))^2 (427-432 \log (3))^2}-\frac {414720}{(-432+x)^2 (-427+432 \log (3))^2}-\frac {71663616}{(-432+x)^3 (-427+432 \log (3))}\right ) \, dx\\ &=-\frac {414720}{(432-x) (427-432 \log (3))^2}-\frac {35831808}{(432-x)^2 (427-432 \log (3))}+\frac {414720 (1-\log (3))}{(5-x (1-\log (3))) (427-432 \log (3))^2}\\ \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [B] time = 0.07, size = 54, normalized size = 2.16 \begin {gather*} -\frac {82944 x \left (77854483-41753664 \log (9)-1119744 \log ^2(3) (-67+36 \log (9))+432 \log (3) (-353683+189864 \log (9))\right )}{(-432+x)^2 (5+x (-1+\log (3))) (-427+432 \log (3))^3} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.56, size = 34, normalized size = 1.36 \begin {gather*} -\frac {82944 \, x}{x^{3} - 869 \, x^{2} - {\left (x^{3} - 864 \, x^{2} + 186624 \, x\right )} \log \relax (3) + 190944 \, x - 933120} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [B] time = 0.32, size = 62, normalized size = 2.48 \begin {gather*} -\frac {414720 \, {\left (\log \relax (3) - 1\right )}}{{\left (x \log \relax (3) - x + 5\right )} {\left (186624 \, \log \relax (3)^{2} - 368928 \, \log \relax (3) + 182329\right )}} + \frac {82944 \, {\left (5 \, x + 186624 \, \log \relax (3) - 186624\right )}}{{\left (186624 \, \log \relax (3)^{2} - 368928 \, \log \relax (3) + 182329\right )} {\left (x - 432\right )}^{2}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.17, size = 20, normalized size = 0.80
method | result | size |
norman | \(\frac {82944 x}{\left (x -432\right )^{2} \left (5+x \ln \relax (3)-x \right )}\) | \(20\) |
gosper | \(\frac {82944 x}{x^{3} \ln \relax (3)-864 x^{2} \ln \relax (3)-x^{3}+186624 x \ln \relax (3)+869 x^{2}-190944 x +933120}\) | \(39\) |
risch | \(\frac {82944 x}{x^{3} \ln \relax (3)-864 x^{2} \ln \relax (3)-x^{3}+186624 x \ln \relax (3)+869 x^{2}-190944 x +933120}\) | \(39\) |
default | \(\frac {414720}{\left (-427+432 \ln \relax (3)\right )^{2} \left (x -432\right )}+\frac {35831808}{\left (-427+432 \ln \relax (3)\right ) \left (x -432\right )^{2}}-\frac {414720 \left (\ln \relax (3)-1\right )}{\left (-427+432 \ln \relax (3)\right )^{2} \left (5+x \ln \relax (3)-x \right )}\) | \(57\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 0.61, size = 35, normalized size = 1.40 \begin {gather*} \frac {82944 \, x}{x^{3} {\left (\log \relax (3) - 1\right )} - x^{2} {\left (864 \, \log \relax (3) - 869\right )} + 864 \, x {\left (216 \, \log \relax (3) - 221\right )} + 933120} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 3.32, size = 342, normalized size = 13.68 \begin {gather*} \sum _{k=1}^5\ln \left (-{\left (\ln \relax (3)-1\right )}^6\,\left (194567695554960\,\mathrm {root}\left (-55037657088\,{\left (432\,\ln \relax (3)-427\right )}^5\,{\left (\ln \relax (3)-1\right )}^4,z,k\right )-625131806240\,x-142004620247040\,\ln \relax (3)-\mathrm {root}\left (-55037657088\,{\left (432\,\ln \relax (3)-427\right )}^5\,{\left (\ln \relax (3)-1\right )}^4,z,k\right )\,\ln \relax (3)\,784264884560640-\mathrm {root}\left (-55037657088\,{\left (432\,\ln \relax (3)-427\right )}^5\,{\left (\ln \relax (3)-1\right )}^4,z,k\right )\,x\,38747319789787+1869451038720\,x\,\ln \relax (3)+\mathrm {root}\left (-55037657088\,{\left (432\,\ln \relax (3)-427\right )}^5\,{\left (\ln \relax (3)-1\right )}^4,z,k\right )\,{\ln \relax (3)}^2\,1185438977372160-\mathrm {root}\left (-55037657088\,{\left (432\,\ln \relax (3)-427\right )}^5\,{\left (\ln \relax (3)-1\right )}^4,z,k\right )\,{\ln \relax (3)}^3\,796354049802240+\mathrm {root}\left (-55037657088\,{\left (432\,\ln \relax (3)-427\right )}^5\,{\left (\ln \relax (3)-1\right )}^4,z,k\right )\,{\ln \relax (3)}^4\,200612260085760-1863492894720\,x\,{\ln \relax (3)}^2+619173642240\,x\,{\ln \relax (3)}^3+137869331005440\,{\ln \relax (3)}^2-44580502241280\,{\ln \relax (3)}^3+\mathrm {root}\left (-55037657088\,{\left (432\,\ln \relax (3)-427\right )}^5\,{\left (\ln \relax (3)-1\right )}^4,z,k\right )\,x\,\ln \relax (3)\,195093853290000-\mathrm {root}\left (-55037657088\,{\left (432\,\ln \relax (3)-427\right )}^5\,{\left (\ln \relax (3)-1\right )}^4,z,k\right )\,x\,{\ln \relax (3)}^2\,392919963367680+\mathrm {root}\left (-55037657088\,{\left (432\,\ln \relax (3)-427\right )}^5\,{\left (\ln \relax (3)-1\right )}^4,z,k\right )\,x\,{\ln \relax (3)}^3\,395670097244160-\mathrm {root}\left (-55037657088\,{\left (432\,\ln \relax (3)-427\right )}^5\,{\left (\ln \relax (3)-1\right )}^4,z,k\right )\,x\,{\ln \relax (3)}^4\,199219119390720+\mathrm {root}\left (-55037657088\,{\left (432\,\ln \relax (3)-427\right )}^5\,{\left (\ln \relax (3)-1\right )}^4,z,k\right )\,x\,{\ln \relax (3)}^5\,40122452017152+48715782842880\right )\,1479074071160291328\right )\,\mathrm {root}\left (-55037657088\,{\left (432\,\ln \relax (3)-427\right )}^5\,{\left (\ln \relax (3)-1\right )}^4,z,k\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [A] time = 1.47, size = 31, normalized size = 1.24 \begin {gather*} \frac {82944 x}{x^{3} \left (-1 + \log {\relax (3 )}\right ) + x^{2} \left (869 - 864 \log {\relax (3 )}\right ) + x \left (-190944 + 186624 \log {\relax (3 )}\right ) + 933120} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________