Optimal. Leaf size=21 \[ -\frac {1}{30 x}-x-\log (x)+\frac {\log (x)}{x} \]
________________________________________________________________________________________
Rubi [A] time = 0.02, antiderivative size = 21, normalized size of antiderivative = 1.00, number of steps used = 6, number of rules used = 3, integrand size = 21, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.143, Rules used = {12, 14, 2304} \begin {gather*} -x-\frac {1}{30 x}-\log (x)+\frac {\log (x)}{x} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 12
Rule 14
Rule 2304
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=\frac {1}{30} \int \frac {31-30 x-30 x^2-30 \log (x)}{x^2} \, dx\\ &=\frac {1}{30} \int \left (\frac {31-30 x-30 x^2}{x^2}-\frac {30 \log (x)}{x^2}\right ) \, dx\\ &=\frac {1}{30} \int \frac {31-30 x-30 x^2}{x^2} \, dx-\int \frac {\log (x)}{x^2} \, dx\\ &=\frac {1}{x}+\frac {\log (x)}{x}+\frac {1}{30} \int \left (-30+\frac {31}{x^2}-\frac {30}{x}\right ) \, dx\\ &=-\frac {1}{30 x}-x-\log (x)+\frac {\log (x)}{x}\\ \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [A] time = 0.00, size = 21, normalized size = 1.00 \begin {gather*} -\frac {1}{30 x}-x-\log (x)+\frac {\log (x)}{x} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.88, size = 19, normalized size = 0.90 \begin {gather*} -\frac {30 \, x^{2} + 30 \, {\left (x - 1\right )} \log \relax (x) + 1}{30 \, x} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 0.13, size = 19, normalized size = 0.90 \begin {gather*} -x + \frac {\log \relax (x)}{x} - \frac {1}{30 \, x} - \log \relax (x) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.02, size = 19, normalized size = 0.90
method | result | size |
norman | \(\frac {-\frac {1}{30}-x \ln \relax (x )-x^{2}+\ln \relax (x )}{x}\) | \(19\) |
default | \(\frac {\ln \relax (x )}{x}-x -\frac {1}{30 x}-\ln \relax (x )\) | \(20\) |
risch | \(\frac {\ln \relax (x )}{x}-\frac {30 x \ln \relax (x )+30 x^{2}+1}{30 x}\) | \(25\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 0.35, size = 19, normalized size = 0.90 \begin {gather*} -x + \frac {\log \relax (x)}{x} - \frac {1}{30 \, x} - \log \relax (x) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 3.18, size = 16, normalized size = 0.76 \begin {gather*} \frac {\ln \relax (x)-\frac {1}{30}}{x}-\ln \relax (x)-x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [A] time = 0.11, size = 14, normalized size = 0.67 \begin {gather*} - x - \log {\relax (x )} + \frac {\log {\relax (x )}}{x} - \frac {1}{30 x} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________