Optimal. Leaf size=26 \[ 4-e^3-x-\frac {60 (1+x)}{x^2}+\frac {x^2}{\log ^2(2)} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.02, antiderivative size = 22, normalized size of antiderivative = 0.85, number of steps
used = 3, number of rules used = 2, integrand size = 29, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.069, Rules used = {12, 14}
\begin {gather*} -\frac {60}{x^2}+\frac {x^2}{\log ^2(2)}-x-\frac {60}{x} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 12
Rule 14
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=\frac {\int \frac {2 x^4+\left (120+60 x-x^3\right ) \log ^2(2)}{x^3} \, dx}{\log ^2(2)}\\ &=\frac {\int \left (2 x-\log ^2(2)+\frac {120 \log ^2(2)}{x^3}+\frac {60 \log ^2(2)}{x^2}\right ) \, dx}{\log ^2(2)}\\ &=-\frac {60}{x^2}-\frac {60}{x}-x+\frac {x^2}{\log ^2(2)}\\ \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [A]
time = 0.00, size = 22, normalized size = 0.85 \begin {gather*} -\frac {60}{x^2}-\frac {60}{x}-x+\frac {x^2}{\log ^2(2)} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.40, size = 35, normalized size = 1.35
method | result | size |
norman | \(\frac {\frac {x^{4}}{\ln \left (2\right )}-60 x \ln \left (2\right )-x^{3} \ln \left (2\right )-60 \ln \left (2\right )}{x^{2} \ln \left (2\right )}\) | \(34\) |
default | \(\frac {x^{2}-x \ln \left (2\right )^{2}-\frac {60 \ln \left (2\right )^{2}}{x^{2}}-\frac {60 \ln \left (2\right )^{2}}{x}}{\ln \left (2\right )^{2}}\) | \(35\) |
risch | \(-x +\frac {x^{2}}{\ln \left (2\right )^{2}}+\frac {-60 x \ln \left (2\right )^{2}-60 \ln \left (2\right )^{2}}{\ln \left (2\right )^{2} x^{2}}\) | \(35\) |
gosper | \(-\frac {-x^{4}+x^{3} \ln \left (2\right )^{2}+60 x \ln \left (2\right )^{2}+60 \ln \left (2\right )^{2}}{\ln \left (2\right )^{2} x^{2}}\) | \(37\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.27, size = 34, normalized size = 1.31 \begin {gather*} -\frac {x \log \left (2\right )^{2} - x^{2} + \frac {60 \, {\left (x \log \left (2\right )^{2} + \log \left (2\right )^{2}\right )}}{x^{2}}}{\log \left (2\right )^{2}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.37, size = 26, normalized size = 1.00 \begin {gather*} \frac {x^{4} - {\left (x^{3} + 60 \, x + 60\right )} \log \left (2\right )^{2}}{x^{2} \log \left (2\right )^{2}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A]
time = 0.04, size = 34, normalized size = 1.31 \begin {gather*} \frac {x^{2} - x \log {\left (2 \right )}^{2} + \frac {- 60 x \log {\left (2 \right )}^{2} - 60 \log {\left (2 \right )}^{2}}{x^{2}}}{\log {\left (2 \right )}^{2}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 0.42, size = 34, normalized size = 1.31 \begin {gather*} -\frac {x \log \left (2\right )^{2} - x^{2} + \frac {60 \, {\left (x \log \left (2\right )^{2} + \log \left (2\right )^{2}\right )}}{x^{2}}}{\log \left (2\right )^{2}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 0.06, size = 22, normalized size = 0.85 \begin {gather*} \frac {x^2}{{\ln \left (2\right )}^2}-x-\frac {60\,x+60}{x^2} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________