Optimal. Leaf size=75 \[ -\frac{3}{10} e^{-3 x} x^2 \sin (x)-\frac{1}{10} e^{-3 x} x^2 \cos (x)-\frac{4}{25} e^{-3 x} x \sin (x)-\frac{9}{250} e^{-3 x} \sin (x)-\frac{3}{25} e^{-3 x} x \cos (x)-\frac{13}{250} e^{-3 x} \cos (x) \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.140277, antiderivative size = 75, normalized size of antiderivative = 1., number of steps used = 11, number of rules used = 5, integrand size = 11, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.454, Rules used = {4432, 4465, 14, 4433, 4466} \[ -\frac{3}{10} e^{-3 x} x^2 \sin (x)-\frac{1}{10} e^{-3 x} x^2 \cos (x)-\frac{4}{25} e^{-3 x} x \sin (x)-\frac{9}{250} e^{-3 x} \sin (x)-\frac{3}{25} e^{-3 x} x \cos (x)-\frac{13}{250} e^{-3 x} \cos (x) \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 4432
Rule 4465
Rule 14
Rule 4433
Rule 4466
Rubi steps
\begin{align*} \int e^{-3 x} x^2 \sin (x) \, dx &=-\frac{1}{10} e^{-3 x} x^2 \cos (x)-\frac{3}{10} e^{-3 x} x^2 \sin (x)-2 \int x \left (-\frac{1}{10} e^{-3 x} \cos (x)-\frac{3}{10} e^{-3 x} \sin (x)\right ) \, dx\\ &=-\frac{1}{10} e^{-3 x} x^2 \cos (x)-\frac{3}{10} e^{-3 x} x^2 \sin (x)-2 \int \left (-\frac{1}{10} e^{-3 x} x \cos (x)-\frac{3}{10} e^{-3 x} x \sin (x)\right ) \, dx\\ &=-\frac{1}{10} e^{-3 x} x^2 \cos (x)-\frac{3}{10} e^{-3 x} x^2 \sin (x)+\frac{1}{5} \int e^{-3 x} x \cos (x) \, dx+\frac{3}{5} \int e^{-3 x} x \sin (x) \, dx\\ &=-\frac{3}{25} e^{-3 x} x \cos (x)-\frac{1}{10} e^{-3 x} x^2 \cos (x)-\frac{4}{25} e^{-3 x} x \sin (x)-\frac{3}{10} e^{-3 x} x^2 \sin (x)-\frac{1}{5} \int \left (-\frac{3}{10} e^{-3 x} \cos (x)+\frac{1}{10} e^{-3 x} \sin (x)\right ) \, dx-\frac{3}{5} \int \left (-\frac{1}{10} e^{-3 x} \cos (x)-\frac{3}{10} e^{-3 x} \sin (x)\right ) \, dx\\ &=-\frac{3}{25} e^{-3 x} x \cos (x)-\frac{1}{10} e^{-3 x} x^2 \cos (x)-\frac{4}{25} e^{-3 x} x \sin (x)-\frac{3}{10} e^{-3 x} x^2 \sin (x)-\frac{1}{50} \int e^{-3 x} \sin (x) \, dx+2 \left (\frac{3}{50} \int e^{-3 x} \cos (x) \, dx\right )+\frac{9}{50} \int e^{-3 x} \sin (x) \, dx\\ &=-\frac{2}{125} e^{-3 x} \cos (x)-\frac{3}{25} e^{-3 x} x \cos (x)-\frac{1}{10} e^{-3 x} x^2 \cos (x)-\frac{6}{125} e^{-3 x} \sin (x)-\frac{4}{25} e^{-3 x} x \sin (x)-\frac{3}{10} e^{-3 x} x^2 \sin (x)+2 \left (-\frac{9}{500} e^{-3 x} \cos (x)+\frac{3}{500} e^{-3 x} \sin (x)\right )\\ \end{align*}
Mathematica [A] time = 0.0347447, size = 38, normalized size = 0.51 \[ \frac{1}{250} e^{-3 x} \left (-\left (75 x^2+40 x+9\right ) \sin (x)-\left (25 x^2+30 x+13\right ) \cos (x)\right ) \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.006, size = 36, normalized size = 0.5 \begin{align*} \left ( -{\frac{{x}^{2}}{10}}-{\frac{3\,x}{25}}-{\frac{13}{250}} \right ){{\rm e}^{-3\,x}}\cos \left ( x \right ) + \left ( -{\frac{3\,{x}^{2}}{10}}-{\frac{4\,x}{25}}-{\frac{9}{250}} \right ){{\rm e}^{-3\,x}}\sin \left ( x \right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 0.969134, size = 45, normalized size = 0.6 \begin{align*} -\frac{1}{250} \,{\left ({\left (25 \, x^{2} + 30 \, x + 13\right )} \cos \left (x\right ) +{\left (75 \, x^{2} + 40 \, x + 9\right )} \sin \left (x\right )\right )} e^{\left (-3 \, x\right )} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 1.90528, size = 120, normalized size = 1.6 \begin{align*} -\frac{1}{250} \,{\left (25 \, x^{2} + 30 \, x + 13\right )} \cos \left (x\right ) e^{\left (-3 \, x\right )} - \frac{1}{250} \,{\left (75 \, x^{2} + 40 \, x + 9\right )} e^{\left (-3 \, x\right )} \sin \left (x\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A] time = 2.22796, size = 80, normalized size = 1.07 \begin{align*} - \frac{3 x^{2} e^{- 3 x} \sin{\left (x \right )}}{10} - \frac{x^{2} e^{- 3 x} \cos{\left (x \right )}}{10} - \frac{4 x e^{- 3 x} \sin{\left (x \right )}}{25} - \frac{3 x e^{- 3 x} \cos{\left (x \right )}}{25} - \frac{9 e^{- 3 x} \sin{\left (x \right )}}{250} - \frac{13 e^{- 3 x} \cos{\left (x \right )}}{250} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.15373, size = 45, normalized size = 0.6 \begin{align*} -\frac{1}{250} \,{\left ({\left (25 \, x^{2} + 30 \, x + 13\right )} \cos \left (x\right ) +{\left (75 \, x^{2} + 40 \, x + 9\right )} \sin \left (x\right )\right )} e^{\left (-3 \, x\right )} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]