Optimal. Leaf size=23 \[ -x+625 \left (-4+\frac {(6+x) (2-\log (5))}{x}\right )^2 \]
________________________________________________________________________________________
Rubi [A] time = 0.02, antiderivative size = 30, normalized size of antiderivative = 1.30, number of steps used = 2, number of rules used = 1, integrand size = 28, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.036, Rules used = {14} \begin {gather*} \frac {22500 (2-\log (5))^2}{x^2}-x-\frac {7500 \left (4-\log ^2(5)\right )}{x} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 14
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=\int \left (-1-\frac {45000 (-2+\log (5))^2}{x^3}-\frac {7500 \left (-4+\log ^2(5)\right )}{x^2}\right ) \, dx\\ &=-x+\frac {22500 (2-\log (5))^2}{x^2}-\frac {7500 \left (4-\log ^2(5)\right )}{x}\\ \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [A] time = 0.01, size = 26, normalized size = 1.13 \begin {gather*} -x+\frac {22500 (-2+\log (5))^2}{x^2}+\frac {7500 \left (-4+\log ^2(5)\right )}{x} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.65, size = 26, normalized size = 1.13 \begin {gather*} -\frac {x^{3} - 7500 \, {\left (x + 3\right )} \log \relax (5)^{2} + 30000 \, x + 90000 \, \log \relax (5) - 90000}{x^{2}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 0.19, size = 30, normalized size = 1.30 \begin {gather*} -x + \frac {7500 \, {\left (x \log \relax (5)^{2} + 3 \, \log \relax (5)^{2} - 4 \, x - 12 \, \log \relax (5) + 12\right )}}{x^{2}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.04, size = 31, normalized size = 1.35
method | result | size |
risch | \(-x +\frac {\left (7500 \ln \relax (5)^{2}-30000\right ) x +22500 \ln \relax (5)^{2}-90000 \ln \relax (5)+90000}{x^{2}}\) | \(31\) |
gosper | \(\frac {7500 x \ln \relax (5)^{2}-x^{3}+22500 \ln \relax (5)^{2}-90000 \ln \relax (5)-30000 x +90000}{x^{2}}\) | \(32\) |
default | \(-x -\frac {-45000 \ln \relax (5)^{2}+180000 \ln \relax (5)-180000}{2 x^{2}}-\frac {-7500 \ln \relax (5)^{2}+30000}{x}\) | \(35\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 0.36, size = 29, normalized size = 1.26 \begin {gather*} -x + \frac {7500 \, {\left ({\left (\log \relax (5)^{2} - 4\right )} x + 3 \, \log \relax (5)^{2} - 12 \, \log \relax (5) + 12\right )}}{x^{2}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 4.15, size = 27, normalized size = 1.17 \begin {gather*} \frac {22500\,{\left (\ln \relax (5)-2\right )}^2}{x^2}-x+\frac {7500\,{\ln \relax (5)}^2-30000}{x} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [A] time = 0.28, size = 29, normalized size = 1.26 \begin {gather*} - x - \frac {x \left (30000 - 7500 \log {\relax (5 )}^{2}\right ) - 90000 - 22500 \log {\relax (5 )}^{2} + 90000 \log {\relax (5 )}}{x^{2}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________