Optimal. Leaf size=29 \[ 3 \left (5-x+\frac {\left (-4+(-5+x)^2-x\right ) x}{e^9+\log ^2(16)}\right ) \]
________________________________________________________________________________________
Rubi [A] time = 0.02, antiderivative size = 57, normalized size of antiderivative = 1.97, number of steps used = 2, number of rules used = 1, integrand size = 32, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.031, Rules used = {12} \begin {gather*} \frac {3 x^3}{e^9+\log ^2(16)}-\frac {33 x^2}{e^9+\log ^2(16)}+\frac {3 x \left (21-e^9-\log ^2(16)\right )}{e^9+\log ^2(16)} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 12
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=\frac {\int \left (63-3 e^9-66 x+9 x^2-3 \log ^2(16)\right ) \, dx}{e^9+\log ^2(16)}\\ &=-\frac {33 x^2}{e^9+\log ^2(16)}+\frac {3 x^3}{e^9+\log ^2(16)}+\frac {3 x \left (21-e^9-\log ^2(16)\right )}{e^9+\log ^2(16)}\\ \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [A] time = 0.00, size = 37, normalized size = 1.28 \begin {gather*} -\frac {3 \left (-21 x+e^9 x+11 x^2-x^3+x \log ^2(16)\right )}{e^9+\log ^2(16)} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.54, size = 37, normalized size = 1.28 \begin {gather*} \frac {3 \, {\left (x^{3} - 16 \, x \log \relax (2)^{2} - 11 \, x^{2} - x e^{9} + 21 \, x\right )}}{16 \, \log \relax (2)^{2} + e^{9}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 0.14, size = 37, normalized size = 1.28 \begin {gather*} \frac {3 \, {\left (x^{3} - 16 \, x \log \relax (2)^{2} - 11 \, x^{2} - x e^{9} + 21 \, x\right )}}{16 \, \log \relax (2)^{2} + e^{9}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.05, size = 33, normalized size = 1.14
method | result | size |
gosper | \(-\frac {3 x \left (16 \ln \relax (2)^{2}-x^{2}+{\mathrm e}^{9}+11 x -21\right )}{16 \ln \relax (2)^{2}+{\mathrm e}^{9}}\) | \(33\) |
default | \(\frac {-48 x \ln \relax (2)^{2}-3 x \,{\mathrm e}^{9}+3 x^{3}-33 x^{2}+63 x}{16 \ln \relax (2)^{2}+{\mathrm e}^{9}}\) | \(39\) |
norman | \(-\frac {33 x^{2}}{16 \ln \relax (2)^{2}+{\mathrm e}^{9}}+\frac {3 x^{3}}{16 \ln \relax (2)^{2}+{\mathrm e}^{9}}-\frac {3 \left (16 \ln \relax (2)^{2}+{\mathrm e}^{9}-21\right ) x}{16 \ln \relax (2)^{2}+{\mathrm e}^{9}}\) | \(58\) |
risch | \(-\frac {48 x \ln \relax (2)^{2}}{16 \ln \relax (2)^{2}+{\mathrm e}^{9}}-\frac {3 x \,{\mathrm e}^{9}}{16 \ln \relax (2)^{2}+{\mathrm e}^{9}}+\frac {3 x^{3}}{16 \ln \relax (2)^{2}+{\mathrm e}^{9}}-\frac {33 x^{2}}{16 \ln \relax (2)^{2}+{\mathrm e}^{9}}+\frac {63 x}{16 \ln \relax (2)^{2}+{\mathrm e}^{9}}\) | \(82\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 0.35, size = 37, normalized size = 1.28 \begin {gather*} \frac {3 \, {\left (x^{3} - 16 \, x \log \relax (2)^{2} - 11 \, x^{2} - x e^{9} + 21 \, x\right )}}{16 \, \log \relax (2)^{2} + e^{9}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 3.22, size = 32, normalized size = 1.10 \begin {gather*} -\frac {3\,x\,\left (-x^2+11\,x+{\mathrm {e}}^9+16\,{\ln \relax (2)}^2-21\right )}{{\mathrm {e}}^9+16\,{\ln \relax (2)}^2} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [B] time = 0.07, size = 54, normalized size = 1.86 \begin {gather*} \frac {3 x^{3}}{16 \log {\relax (2 )}^{2} + e^{9}} - \frac {33 x^{2}}{16 \log {\relax (2 )}^{2} + e^{9}} + \frac {x \left (- 3 e^{9} - 48 \log {\relax (2 )}^{2} + 63\right )}{16 \log {\relax (2 )}^{2} + e^{9}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________