Optimal. Leaf size=18 \[ 2-(e+x) \left (20+\frac {7 x}{3 \log (4)}\right ) \]
________________________________________________________________________________________
Rubi [A] time = 0.00, antiderivative size = 21, normalized size of antiderivative = 1.17, number of steps used = 1, number of rules used = 1, integrand size = 19, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.053, Rules used = {9} \begin {gather*} -\frac {(14 x+7 e+60 \log (4))^2}{84 \log (4)} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 9
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=-\frac {(7 e+14 x+60 \log (4))^2}{84 \log (4)}\\ \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [A] time = 0.00, size = 21, normalized size = 1.17 \begin {gather*} -\frac {7 e x+7 x^2+60 x \log (4)}{\log (64)} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.55, size = 22, normalized size = 1.22 \begin {gather*} -\frac {7 \, x^{2} + 7 \, x e + 120 \, x \log \relax (2)}{6 \, \log \relax (2)} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 0.14, size = 22, normalized size = 1.22 \begin {gather*} -\frac {7 \, x^{2} + 7 \, x e + 120 \, x \log \relax (2)}{6 \, \log \relax (2)} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.03, size = 20, normalized size = 1.11
method | result | size |
gosper | \(-\frac {x \left (7 x +7 \,{\mathrm e}+120 \ln \relax (2)\right )}{6 \ln \relax (2)}\) | \(20\) |
default | \(\frac {-120 x \ln \relax (2)-7 x \,{\mathrm e}-7 x^{2}}{6 \ln \relax (2)}\) | \(23\) |
risch | \(-20 x -\frac {7 x \,{\mathrm e}}{6 \ln \relax (2)}-\frac {7 x^{2}}{6 \ln \relax (2)}\) | \(23\) |
norman | \(-\frac {7 x^{2}}{6 \ln \relax (2)}-\frac {\left (7 \,{\mathrm e}+120 \ln \relax (2)\right ) x}{6 \ln \relax (2)}\) | \(27\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 0.36, size = 22, normalized size = 1.22 \begin {gather*} -\frac {7 \, x^{2} + 7 \, x e + 120 \, x \log \relax (2)}{6 \, \log \relax (2)} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 3.24, size = 20, normalized size = 1.11 \begin {gather*} -\frac {3\,{\left (\frac {7\,x}{3}+\frac {7\,\mathrm {e}}{6}+20\,\ln \relax (2)\right )}^2}{14\,\ln \relax (2)} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [A] time = 0.05, size = 27, normalized size = 1.50 \begin {gather*} - \frac {7 x^{2}}{6 \log {\relax (2 )}} + \frac {x \left (- 120 \log {\relax (2 )} - 7 e\right )}{6 \log {\relax (2 )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________