Optimal. Leaf size=29 \[ x \left (9 e^{-x}+\frac {\frac {9}{4}+4 e^{-x} (-3+\log (3))}{x}\right ) \]
________________________________________________________________________________________
Rubi [A] time = 0.01, antiderivative size = 24, normalized size of antiderivative = 0.83, number of steps used = 2, number of rules used = 2, integrand size = 15, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.133, Rules used = {2176, 2194} \begin {gather*} 9 e^{-x}-e^{-x} (-9 x+21-4 \log (3)) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 2176
Rule 2194
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=-e^{-x} (21-9 x-4 \log (3))-9 \int e^{-x} \, dx\\ &=9 e^{-x}-e^{-x} (21-9 x-4 \log (3))\\ \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [A] time = 0.02, size = 13, normalized size = 0.45 \begin {gather*} e^{-x} (-12+9 x+\log (81)) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.82, size = 14, normalized size = 0.48 \begin {gather*} {\left (9 \, x + 4 \, \log \relax (3) - 12\right )} e^{\left (-x\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 0.21, size = 14, normalized size = 0.48 \begin {gather*} {\left (9 \, x + 4 \, \log \relax (3) - 12\right )} e^{\left (-x\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.03, size = 15, normalized size = 0.52
method | result | size |
gosper | \(\left (9 x +4 \ln \relax (3)-12\right ) {\mathrm e}^{-x}\) | \(15\) |
norman | \(\left (9 x +4 \ln \relax (3)-12\right ) {\mathrm e}^{-x}\) | \(15\) |
risch | \(\left (9 x +4 \ln \relax (3)-12\right ) {\mathrm e}^{-x}\) | \(15\) |
default | \(-12 \,{\mathrm e}^{-x}+9 x \,{\mathrm e}^{-x}+4 \,{\mathrm e}^{-x} \ln \relax (3)\) | \(23\) |
meijerg | \(-4 \ln \relax (3) \left (1-{\mathrm e}^{-x}\right )+12+\frac {9 \left (2 x +2\right ) {\mathrm e}^{-x}}{2}-21 \,{\mathrm e}^{-x}\) | \(32\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 0.36, size = 24, normalized size = 0.83 \begin {gather*} 9 \, {\left (x + 1\right )} e^{\left (-x\right )} + 4 \, e^{\left (-x\right )} \log \relax (3) - 21 \, e^{\left (-x\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 3.20, size = 12, normalized size = 0.41 \begin {gather*} {\mathrm {e}}^{-x}\,\left (9\,x+\ln \left (81\right )-12\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [A] time = 0.09, size = 12, normalized size = 0.41 \begin {gather*} \left (9 x - 12 + 4 \log {\relax (3 )}\right ) e^{- x} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________