Optimal. Leaf size=31 \[ -\frac {5}{x}+\frac {x^2}{\left (x+\frac {9}{5+\frac {5}{4 x \log (2)}}\right )^2} \]
________________________________________________________________________________________
Rubi [A] time = 0.10, antiderivative size = 42, normalized size of antiderivative = 1.35, number of steps used = 2, number of rules used = 1, integrand size = 115, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.009, Rules used = {2074} \begin {gather*} -\frac {5}{x}+\frac {1296 \log ^2(2)}{(20 x \log (2)+5+36 \log (2))^2}-\frac {72 \log (2)}{20 x \log (2)+5+36 \log (2)} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 2074
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=\int \left (\frac {5}{x^2}-\frac {51840 \log ^3(2)}{(5+36 \log (2)+20 x \log (2))^3}+\frac {1440 \log ^2(2)}{(5+36 \log (2)+20 x \log (2))^2}\right ) \, dx\\ &=-\frac {5}{x}+\frac {1296 \log ^2(2)}{(5+36 \log (2)+20 x \log (2))^2}-\frac {72 \log (2)}{5+36 \log (2)+20 x \log (2)}\\ \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [A] time = 0.05, size = 38, normalized size = 1.23 \begin {gather*} 5 \left (-\frac {1}{x}-\frac {72 \log (2) (5+18 \log (2)+20 x \log (2))}{5 (5+36 \log (2)+20 x \log (2))^2}\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [B] time = 0.76, size = 68, normalized size = 2.19 \begin {gather*} -\frac {16 \, {\left (215 \, x^{2} + 531 \, x + 405\right )} \log \relax (2)^{2} + 40 \, {\left (34 \, x + 45\right )} \log \relax (2) + 125}{16 \, {\left (25 \, x^{3} + 90 \, x^{2} + 81 \, x\right )} \log \relax (2)^{2} + 40 \, {\left (5 \, x^{2} + 9 \, x\right )} \log \relax (2) + 25 \, x} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 0.17, size = 39, normalized size = 1.26 \begin {gather*} -\frac {72 \, {\left (20 \, x \log \relax (2)^{2} + 18 \, \log \relax (2)^{2} + 5 \, \log \relax (2)\right )}}{{\left (20 \, x \log \relax (2) + 36 \, \log \relax (2) + 5\right )}^{2}} - \frac {5}{x} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.14, size = 43, normalized size = 1.39
method | result | size |
default | \(-\frac {72 \ln \relax (2)}{20 x \ln \relax (2)+36 \ln \relax (2)+5}+\frac {1296 \ln \relax (2)^{2}}{\left (20 x \ln \relax (2)+36 \ln \relax (2)+5\right )^{2}}-\frac {5}{x}\) | \(43\) |
norman | \(\frac {-3440 x^{2} \ln \relax (2)^{2}-\frac {\left (3398400 \ln \relax (2)^{4}+544000 \ln \relax (2)^{3}\right ) x}{400 \ln \relax (2)^{2}}-6480 \ln \relax (2)^{2}-1800 \ln \relax (2)-125}{x \left (20 x \ln \relax (2)+36 \ln \relax (2)+5\right )^{2}}\) | \(59\) |
gosper | \(-\frac {3440 x^{2} \ln \relax (2)^{2}+8496 x \ln \relax (2)^{2}+6480 \ln \relax (2)^{2}+1360 x \ln \relax (2)+1800 \ln \relax (2)+125}{x \left (400 x^{2} \ln \relax (2)^{2}+1440 x \ln \relax (2)^{2}+1296 \ln \relax (2)^{2}+200 x \ln \relax (2)+360 \ln \relax (2)+25\right )}\) | \(74\) |
risch | \(\frac {-3440 x^{2} \ln \relax (2)^{2}+400 \left (-\frac {531 \ln \relax (2)^{2}}{25}-\frac {17 \ln \relax (2)}{5}\right ) x -6480 \ln \relax (2)^{2}-1800 \ln \relax (2)-125}{x \left (400 x^{2} \ln \relax (2)^{2}+1440 x \ln \relax (2)^{2}+1296 \ln \relax (2)^{2}+200 x \ln \relax (2)+360 \ln \relax (2)+25\right )}\) | \(75\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [B] time = 0.50, size = 79, normalized size = 2.55 \begin {gather*} -\frac {3440 \, x^{2} \log \relax (2)^{2} + 16 \, {\left (531 \, \log \relax (2)^{2} + 85 \, \log \relax (2)\right )} x + 6480 \, \log \relax (2)^{2} + 1800 \, \log \relax (2) + 125}{400 \, x^{3} \log \relax (2)^{2} + 40 \, {\left (36 \, \log \relax (2)^{2} + 5 \, \log \relax (2)\right )} x^{2} + {\left (1296 \, \log \relax (2)^{2} + 360 \, \log \relax (2) + 25\right )} x} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 2.39, size = 42, normalized size = 1.35 \begin {gather*} \frac {1296\,{\ln \relax (2)}^2}{{\left (36\,\ln \relax (2)+20\,x\,\ln \relax (2)+5\right )}^2}-\frac {5}{x}-\frac {72\,\ln \relax (2)}{36\,\ln \relax (2)+20\,x\,\ln \relax (2)+5} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [B] time = 1.60, size = 78, normalized size = 2.52 \begin {gather*} \frac {- 3440 x^{2} \log {\relax (2 )}^{2} + x \left (- 8496 \log {\relax (2 )}^{2} - 1360 \log {\relax (2 )}\right ) - 6480 \log {\relax (2 )}^{2} - 1800 \log {\relax (2 )} - 125}{400 x^{3} \log {\relax (2 )}^{2} + x^{2} \left (200 \log {\relax (2 )} + 1440 \log {\relax (2 )}^{2}\right ) + x \left (25 + 360 \log {\relax (2 )} + 1296 \log {\relax (2 )}^{2}\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________