Optimal. Leaf size=19 \[ \frac {1}{2} e^{-6-x} \left (-10+e-x^2\right ) \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.07, antiderivative size = 31, normalized size of antiderivative = 1.63, number of steps
used = 9, number of rules used = 4, integrand size = 22, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.182, Rules used = {12, 2227, 2225,
2207} \begin {gather*} -\frac {1}{2} e^{-x-6} x^2-\frac {1}{2} (10-e) e^{-x-6} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 12
Rule 2207
Rule 2225
Rule 2227
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=\frac {1}{2} \int e^{-6-x} \left (10-e-2 x+x^2\right ) \, dx\\ &=\frac {1}{2} \int \left (10 \left (1-\frac {e}{10}\right ) e^{-6-x}-2 e^{-6-x} x+e^{-6-x} x^2\right ) \, dx\\ &=\frac {1}{2} \int e^{-6-x} x^2 \, dx+\frac {1}{2} (10-e) \int e^{-6-x} \, dx-\int e^{-6-x} x \, dx\\ &=-\frac {1}{2} (10-e) e^{-6-x}+e^{-6-x} x-\frac {1}{2} e^{-6-x} x^2-\int e^{-6-x} \, dx+\int e^{-6-x} x \, dx\\ &=e^{-6-x}-\frac {1}{2} (10-e) e^{-6-x}-\frac {1}{2} e^{-6-x} x^2+\int e^{-6-x} \, dx\\ &=-\frac {1}{2} (10-e) e^{-6-x}-\frac {1}{2} e^{-6-x} x^2\\ \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [A]
time = 0.07, size = 19, normalized size = 1.00 \begin {gather*} \frac {1}{2} e^{-6-x} \left (-10+e-x^2\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] Leaf count of result is larger than twice the leaf count of optimal. \(48\) vs.
\(2(21)=42\).
time = 0.05, size = 49, normalized size = 2.58
method | result | size |
risch | \(\frac {\left ({\mathrm e}-x^{2}-10\right ) {\mathrm e}^{-x -6}}{2}\) | \(18\) |
gosper | \(\frac {{\mathrm e}^{-3} \left ({\mathrm e}-x^{2}-10\right ) {\mathrm e}^{-3-x}}{2}\) | \(22\) |
norman | \(\left (-\frac {{\mathrm e}^{-3} x^{2}}{2}+\frac {{\mathrm e}^{-3} \left ({\mathrm e}-10\right )}{2}\right ) {\mathrm e}^{-3-x}\) | \(28\) |
derivativedivides | \(\frac {{\mathrm e}^{-3} \left (-{\mathrm e}^{-3-x} \left (3+x \right )^{2}+6 \,{\mathrm e}^{-3-x} \left (3+x \right )-19 \,{\mathrm e}^{-3-x}+{\mathrm e}^{-3-x} {\mathrm e}\right )}{2}\) | \(49\) |
default | \(\frac {{\mathrm e}^{-3} \left (-{\mathrm e}^{-3-x} \left (3+x \right )^{2}+6 \,{\mathrm e}^{-3-x} \left (3+x \right )-19 \,{\mathrm e}^{-3-x}+{\mathrm e}^{-3-x} {\mathrm e}\right )}{2}\) | \(49\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [B] Leaf count of result is larger than twice the leaf count of optimal. 43 vs.
\(2 (17) = 34\).
time = 0.27, size = 43, normalized size = 2.26 \begin {gather*} -\frac {1}{2} \, {\left (x^{2} + 2 \, x + 2\right )} e^{\left (-x - 6\right )} + {\left (x + 1\right )} e^{\left (-x - 6\right )} + \frac {1}{2} \, e^{\left (-x - 5\right )} - 5 \, e^{\left (-x - 6\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.39, size = 17, normalized size = 0.89 \begin {gather*} -\frac {1}{2} \, {\left (x^{2} - e + 10\right )} e^{\left (-x - 6\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A]
time = 0.05, size = 19, normalized size = 1.00 \begin {gather*} \frac {\left (- x^{2} - 10 + e\right ) e^{- x - 3}}{2 e^{3}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 0.41, size = 27, normalized size = 1.42 \begin {gather*} -\frac {1}{2} \, {\left ({\left (x + 6\right )}^{2} - 12 \, x - 26\right )} e^{\left (-x - 6\right )} + \frac {1}{2} \, e^{\left (-x - 5\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 0.07, size = 19, normalized size = 1.00 \begin {gather*} -{\mathrm {e}}^{-x-6}\,\left (\frac {x^2}{2}-\frac {\mathrm {e}}{2}+5\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________