Optimal. Leaf size=16 \[ 5+x (-3+x \log (4 (15-x))) \]
________________________________________________________________________________________
Rubi [A] time = 0.08, antiderivative size = 14, normalized size of antiderivative = 0.88, number of steps used = 7, number of rules used = 4, integrand size = 30, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.133, Rules used = {6742, 698, 2395, 43} \begin {gather*} x^2 \log (60-4 x)-3 x \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 43
Rule 698
Rule 2395
Rule 6742
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=\int \left (\frac {45-3 x+x^2}{-15+x}+2 x \log (60-4 x)\right ) \, dx\\ &=2 \int x \log (60-4 x) \, dx+\int \frac {45-3 x+x^2}{-15+x} \, dx\\ &=x^2 \log (60-4 x)+4 \int \frac {x^2}{60-4 x} \, dx+\int \left (12+\frac {225}{-15+x}+x\right ) \, dx\\ &=12 x+\frac {x^2}{2}+x^2 \log (60-4 x)+225 \log (15-x)+4 \int \left (-\frac {15}{4}-\frac {225}{4 (-15+x)}-\frac {x}{4}\right ) \, dx\\ &=-3 x+x^2 \log (60-4 x)\\ \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [A] time = 0.03, size = 14, normalized size = 0.88 \begin {gather*} -3 x+x^2 \log (60-4 x) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.55, size = 14, normalized size = 0.88 \begin {gather*} x^{2} \log \left (-4 \, x + 60\right ) - 3 \, x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 0.17, size = 14, normalized size = 0.88 \begin {gather*} x^{2} \log \left (-4 \, x + 60\right ) - 3 \, x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.38, size = 15, normalized size = 0.94
method | result | size |
norman | \(\ln \left (-4 x +60\right ) x^{2}-3 x\) | \(15\) |
risch | \(\ln \left (-4 x +60\right ) x^{2}-3 x\) | \(15\) |
derivativedivides | \(\frac {\ln \left (-4 x +60\right ) \left (-4 x +60\right )^{2}}{16}-\frac {15 \ln \left (-4 x +60\right ) \left (-4 x +60\right )}{2}-3 x +45+225 \ln \left (-4 x +60\right )\) | \(42\) |
default | \(\frac {\ln \left (-4 x +60\right ) \left (-4 x +60\right )^{2}}{16}-\frac {15 \ln \left (-4 x +60\right ) \left (-4 x +60\right )}{2}-3 x +45+225 \ln \left (-4 x +60\right )\) | \(42\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [B] time = 0.34, size = 40, normalized size = 2.50 \begin {gather*} {\left (x^{2} + 30 \, x + 450 \, \log \left (x - 15\right )\right )} \log \left (-4 \, x + 60\right ) - 30 \, {\left (x + 15 \, \log \left (x - 15\right )\right )} \log \left (-4 \, x + 60\right ) - 3 \, x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 5.22, size = 14, normalized size = 0.88 \begin {gather*} x^2\,\ln \left (60-4\,x\right )-3\,x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [A] time = 0.11, size = 12, normalized size = 0.75 \begin {gather*} x^{2} \log {\left (60 - 4 x \right )} - 3 x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________