Optimal. Leaf size=82 \[ \frac{m e^{m x} \sin ^3(x)}{m^2+9}+\frac{6 m e^{m x} \sin (x)}{m^4+10 m^2+9}-\frac{6 e^{m x} \cos (x)}{m^4+10 m^2+9}-\frac{3 e^{m x} \sin ^2(x) \cos (x)}{m^2+9} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.0353972, antiderivative size = 82, normalized size of antiderivative = 1., number of steps used = 2, number of rules used = 2, integrand size = 10, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.2, Rules used = {4434, 4432} \[ \frac{m e^{m x} \sin ^3(x)}{m^2+9}+\frac{6 m e^{m x} \sin (x)}{m^4+10 m^2+9}-\frac{6 e^{m x} \cos (x)}{m^4+10 m^2+9}-\frac{3 e^{m x} \sin ^2(x) \cos (x)}{m^2+9} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 4434
Rule 4432
Rubi steps
\begin{align*} \int e^{m x} \sin ^3(x) \, dx &=-\frac{3 e^{m x} \cos (x) \sin ^2(x)}{9+m^2}+\frac{e^{m x} m \sin ^3(x)}{9+m^2}+\frac{6 \int e^{m x} \sin (x) \, dx}{9+m^2}\\ &=-\frac{6 e^{m x} \cos (x)}{9+10 m^2+m^4}+\frac{6 e^{m x} m \sin (x)}{9+10 m^2+m^4}-\frac{3 e^{m x} \cos (x) \sin ^2(x)}{9+m^2}+\frac{e^{m x} m \sin ^3(x)}{9+m^2}\\ \end{align*}
Mathematica [A] time = 0.166801, size = 64, normalized size = 0.78 \[ \frac{e^{m x} \left (-3 \left (m^2+9\right ) \cos (x)+3 \left (m^2+1\right ) \cos (3 x)-2 m \sin (x) \left (\left (m^2+1\right ) \cos (2 x)-m^2-13\right )\right )}{4 \left (m^4+10 m^2+9\right )} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.023, size = 68, normalized size = 0.8 \begin{align*} -{\frac{3\,{{\rm e}^{mx}}\cos \left ( x \right ) }{4\,{m}^{2}+4}}+{\frac{3\,m{{\rm e}^{mx}}\sin \left ( x \right ) }{4\,{m}^{2}+4}}+{\frac{3\,{{\rm e}^{mx}}\cos \left ( 3\,x \right ) }{4\,{m}^{2}+36}}-{\frac{m{{\rm e}^{mx}}\sin \left ( 3\,x \right ) }{4\,{m}^{2}+36}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 0.976098, size = 99, normalized size = 1.21 \begin{align*} \frac{3 \,{\left (m^{2} + 1\right )} \cos \left (3 \, x\right ) e^{\left (m x\right )} - 3 \,{\left (m^{2} + 9\right )} \cos \left (x\right ) e^{\left (m x\right )} -{\left (m^{3} + m\right )} e^{\left (m x\right )} \sin \left (3 \, x\right ) + 3 \,{\left (m^{3} + 9 \, m\right )} e^{\left (m x\right )} \sin \left (x\right )}{4 \,{\left (m^{4} + 10 \, m^{2} + 9\right )}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 1.89389, size = 165, normalized size = 2.01 \begin{align*} \frac{{\left (m^{3} -{\left (m^{3} + m\right )} \cos \left (x\right )^{2} + 7 \, m\right )} e^{\left (m x\right )} \sin \left (x\right ) + 3 \,{\left ({\left (m^{2} + 1\right )} \cos \left (x\right )^{3} -{\left (m^{2} + 3\right )} \cos \left (x\right )\right )} e^{\left (m x\right )}}{m^{4} + 10 \, m^{2} + 9} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A] time = 14.6775, size = 644, normalized size = 7.85 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.10856, size = 85, normalized size = 1.04 \begin{align*} -\frac{1}{4} \,{\left (\frac{m \sin \left (3 \, x\right )}{m^{2} + 9} - \frac{3 \, \cos \left (3 \, x\right )}{m^{2} + 9}\right )} e^{\left (m x\right )} + \frac{3}{4} \,{\left (\frac{m \sin \left (x\right )}{m^{2} + 1} - \frac{\cos \left (x\right )}{m^{2} + 1}\right )} e^{\left (m x\right )} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]