3.6.45 \(\int e^{m x} \sin ^3(x) \, dx\) [545]

Optimal. Leaf size=82 \[ -\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} \]

[Out]

-6*exp(m*x)*cos(x)/(m^4+10*m^2+9)+6*exp(m*x)*m*sin(x)/(m^4+10*m^2+9)-3*exp(m*x)*cos(x)*sin(x)^2/(m^2+9)+exp(m*
x)*m*sin(x)^3/(m^2+9)

________________________________________________________________________________________

Rubi [A]
time = 0.03, antiderivative size = 82, normalized size of antiderivative = 1.00, number of steps used = 2, number of rules used = 2, integrand size = 10, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.200, Rules used = {4519, 4517} \begin {gather*} \frac {m e^{m x} \sin ^3(x)}{m^2+9}-\frac {3 e^{m x} \sin ^2(x) \cos (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} \end {gather*}

Antiderivative was successfully verified.

[In]

Int[E^(m*x)*Sin[x]^3,x]

[Out]

(-6*E^(m*x)*Cos[x])/(9 + 10*m^2 + m^4) + (6*E^(m*x)*m*Sin[x])/(9 + 10*m^2 + m^4) - (3*E^(m*x)*Cos[x]*Sin[x]^2)
/(9 + m^2) + (E^(m*x)*m*Sin[x]^3)/(9 + m^2)

Rule 4517

Int[(F_)^((c_.)*((a_.) + (b_.)*(x_)))*Sin[(d_.) + (e_.)*(x_)], x_Symbol] :> Simp[b*c*Log[F]*F^(c*(a + b*x))*(S
in[d + e*x]/(e^2 + b^2*c^2*Log[F]^2)), x] - Simp[e*F^(c*(a + b*x))*(Cos[d + e*x]/(e^2 + b^2*c^2*Log[F]^2)), x]
/; FreeQ[{F, a, b, c, d, e}, x] && NeQ[e^2 + b^2*c^2*Log[F]^2, 0]

Rule 4519

Int[(F_)^((c_.)*((a_.) + (b_.)*(x_)))*Sin[(d_.) + (e_.)*(x_)]^(n_), x_Symbol] :> Simp[b*c*Log[F]*F^(c*(a + b*x
))*(Sin[d + e*x]^n/(e^2*n^2 + b^2*c^2*Log[F]^2)), x] + (Dist[(n*(n - 1)*e^2)/(e^2*n^2 + b^2*c^2*Log[F]^2), Int
[F^(c*(a + b*x))*Sin[d + e*x]^(n - 2), x], x] - Simp[e*n*F^(c*(a + b*x))*Cos[d + e*x]*(Sin[d + e*x]^(n - 1)/(e
^2*n^2 + b^2*c^2*Log[F]^2)), x]) /; FreeQ[{F, a, b, c, d, e}, x] && NeQ[e^2*n^2 + b^2*c^2*Log[F]^2, 0] && GtQ[
n, 1]

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.13, size = 64, normalized size = 0.78 \begin {gather*} \frac {e^{m x} \left (-3 \left (9+m^2\right ) \cos (x)+3 \left (1+m^2\right ) \cos (3 x)-2 m \left (-13-m^2+\left (1+m^2\right ) \cos (2 x)\right ) \sin (x)\right )}{4 \left (9+10 m^2+m^4\right )} \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[E^(m*x)*Sin[x]^3,x]

[Out]

(E^(m*x)*(-3*(9 + m^2)*Cos[x] + 3*(1 + m^2)*Cos[3*x] - 2*m*(-13 - m^2 + (1 + m^2)*Cos[2*x])*Sin[x]))/(4*(9 + 1
0*m^2 + m^4))

________________________________________________________________________________________

Maple [A]
time = 0.10, size = 68, normalized size = 0.83

method	result	size
risch	\(\frac {i {\mathrm e}^{\left (3 i+m \right ) x}}{24 i+8 m}-\frac {3 i {\mathrm e}^{\left (i+m \right ) x}}{8 \left (i+m \right )}+\frac {3 i {\mathrm e}^{x \left (m -i\right )}}{8 \left (m -i\right )}-\frac {i {\mathrm e}^{x \left (m -3 i\right )}}{8 \left (m -3 i\right )}\)	\(66\)
default	\(-\frac {3 \,{\mathrm e}^{m x} \cos \left (x \right )}{4 \left (m^{2}+1\right )}+\frac {3 m \,{\mathrm e}^{m x} \sin \left (x \right )}{4 \left (m^{2}+1\right )}+\frac {3 \,{\mathrm e}^{m x} \cos \left (3 x \right )}{4 \left (m^{2}+9\right )}-\frac {m \,{\mathrm e}^{m x} \sin \left (3 x \right )}{4 \left (m^{2}+9\right )}\)	\(68\)
norman	\(\frac {-\frac {6 \,{\mathrm e}^{m x}}{m^{4}+10 m^{2}+9}+\frac {6 \,{\mathrm e}^{m x} \left (\tan ^{6}\left (\frac {x}{2}\right )\right )}{m^{4}+10 m^{2}+9}+\frac {12 m \,{\mathrm e}^{m x} \tan \left (\frac {x}{2}\right )}{m^{4}+10 m^{2}+9}+\frac {12 m \,{\mathrm e}^{m x} \left (\tan ^{5}\left (\frac {x}{2}\right )\right )}{m^{4}+10 m^{2}+9}-\frac {6 \left (2 m^{2}+3\right ) {\mathrm e}^{m x} \left (\tan ^{2}\left (\frac {x}{2}\right )\right )}{m^{4}+10 m^{2}+9}+\frac {6 \left (2 m^{2}+3\right ) {\mathrm e}^{m x} \left (\tan ^{4}\left (\frac {x}{2}\right )\right )}{m^{4}+10 m^{2}+9}+\frac {8 m \left (m^{2}+4\right ) {\mathrm e}^{m x} \left (\tan ^{3}\left (\frac {x}{2}\right )\right )}{m^{4}+10 m^{2}+9}}{\left (1+\tan ^{2}\left (\frac {x}{2}\right )\right )^{3}}\)	\(195\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(exp(m*x)*sin(x)^3,x,method=_RETURNVERBOSE)

[Out]

-3/4/(m^2+1)*exp(m*x)*cos(x)+3/4*m/(m^2+1)*exp(m*x)*sin(x)+3/4/(m^2+9)*exp(m*x)*cos(3*x)-1/4*m/(m^2+9)*exp(m*x
)*sin(3*x)

________________________________________________________________________________________

Maxima [A]
time = 2.64, size = 73, normalized size = 0.89 \begin {gather*} \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 {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(exp(m*x)*sin(x)^3,x, algorithm="maxima")

[Out]

1/4*(3*(m^2 + 1)*cos(3*x)*e^(m*x) - 3*(m^2 + 9)*cos(x)*e^(m*x) - (m^3 + m)*e^(m*x)*sin(3*x) + 3*(m^3 + 9*m)*e^
(m*x)*sin(x))/(m^4 + 10*m^2 + 9)

________________________________________________________________________________________

Fricas [A]
time = 0.68, size = 65, normalized size = 0.79 \begin {gather*} \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 {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(exp(m*x)*sin(x)^3,x, algorithm="fricas")

[Out]

((m^3 - (m^3 + m)*cos(x)^2 + 7*m)*e^(m*x)*sin(x) + 3*((m^2 + 1)*cos(x)^3 - (m^2 + 3)*cos(x))*e^(m*x))/(m^4 + 1
0*m^2 + 9)

________________________________________________________________________________________

Sympy [C] Result contains complex when optimal does not.
time = 1.29, size = 638, normalized size = 7.78 \begin {gather*} \begin {cases} \frac {x e^{- 3 i x} \sin ^{3}{\left (x \right )}}{8} - \frac {3 i x e^{- 3 i x} \sin ^{2}{\left (x \right )} \cos {\left (x \right )}}{8} - \frac {3 x e^{- 3 i x} \sin {\left (x \right )} \cos ^{2}{\left (x \right )}}{8} + \frac {i x e^{- 3 i x} \cos ^{3}{\left (x \right )}}{8} + \frac {7 i e^{- 3 i x} \sin ^{3}{\left (x \right )}}{24} + \frac {i e^{- 3 i x} \sin {\left (x \right )} \cos ^{2}{\left (x \right )}}{4} + \frac {e^{- 3 i x} \cos ^{3}{\left (x \right )}}{8} & \text {for}\: m = - 3 i \\\frac {3 x e^{- i x} \sin ^{3}{\left (x \right )}}{8} - \frac {3 i x e^{- i x} \sin ^{2}{\left (x \right )} \cos {\left (x \right )}}{8} + \frac {3 x e^{- i x} \sin {\left (x \right )} \cos ^{2}{\left (x \right )}}{8} - \frac {3 i x e^{- i x} \cos ^{3}{\left (x \right )}}{8} + \frac {5 i e^{- i x} \sin ^{3}{\left (x \right )}}{8} + \frac {3 i e^{- i x} \sin {\left (x \right )} \cos ^{2}{\left (x \right )}}{4} + \frac {3 e^{- i x} \cos ^{3}{\left (x \right )}}{8} & \text {for}\: m = - i \\\frac {3 x e^{i x} \sin ^{3}{\left (x \right )}}{8} + \frac {3 i x e^{i x} \sin ^{2}{\left (x \right )} \cos {\left (x \right )}}{8} + \frac {3 x e^{i x} \sin {\left (x \right )} \cos ^{2}{\left (x \right )}}{8} + \frac {3 i x e^{i x} \cos ^{3}{\left (x \right )}}{8} - \frac {5 i e^{i x} \sin ^{3}{\left (x \right )}}{8} - \frac {3 i e^{i x} \sin {\left (x \right )} \cos ^{2}{\left (x \right )}}{4} + \frac {3 e^{i x} \cos ^{3}{\left (x \right )}}{8} & \text {for}\: m = i \\\frac {x e^{3 i x} \sin ^{3}{\left (x \right )}}{8} + \frac {3 i x e^{3 i x} \sin ^{2}{\left (x \right )} \cos {\left (x \right )}}{8} - \frac {3 x e^{3 i x} \sin {\left (x \right )} \cos ^{2}{\left (x \right )}}{8} - \frac {i x e^{3 i x} \cos ^{3}{\left (x \right )}}{8} - \frac {7 i e^{3 i x} \sin ^{3}{\left (x \right )}}{24} - \frac {i e^{3 i x} \sin {\left (x \right )} \cos ^{2}{\left (x \right )}}{4} + \frac {e^{3 i x} \cos ^{3}{\left (x \right )}}{8} & \text {for}\: m = 3 i \\\frac {m^{3} e^{m x} \sin ^{3}{\left (x \right )}}{m^{4} + 10 m^{2} + 9} - \frac {3 m^{2} e^{m x} \sin ^{2}{\left (x \right )} \cos {\left (x \right )}}{m^{4} + 10 m^{2} + 9} + \frac {7 m e^{m x} \sin ^{3}{\left (x \right )}}{m^{4} + 10 m^{2} + 9} + \frac {6 m e^{m x} \sin {\left (x \right )} \cos ^{2}{\left (x \right )}}{m^{4} + 10 m^{2} + 9} - \frac {9 e^{m x} \sin ^{2}{\left (x \right )} \cos {\left (x \right )}}{m^{4} + 10 m^{2} + 9} - \frac {6 e^{m x} \cos ^{3}{\left (x \right )}}{m^{4} + 10 m^{2} + 9} & \text {otherwise} \end {cases} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(exp(m*x)*sin(x)**3,x)

[Out]

Piecewise((x*exp(-3*I*x)*sin(x)**3/8 - 3*I*x*exp(-3*I*x)*sin(x)**2*cos(x)/8 - 3*x*exp(-3*I*x)*sin(x)*cos(x)**2
/8 + I*x*exp(-3*I*x)*cos(x)**3/8 + 7*I*exp(-3*I*x)*sin(x)**3/24 + I*exp(-3*I*x)*sin(x)*cos(x)**2/4 + exp(-3*I*
x)*cos(x)**3/8, Eq(m, -3*I)), (3*x*exp(-I*x)*sin(x)**3/8 - 3*I*x*exp(-I*x)*sin(x)**2*cos(x)/8 + 3*x*exp(-I*x)*
sin(x)*cos(x)**2/8 - 3*I*x*exp(-I*x)*cos(x)**3/8 + 5*I*exp(-I*x)*sin(x)**3/8 + 3*I*exp(-I*x)*sin(x)*cos(x)**2/
4 + 3*exp(-I*x)*cos(x)**3/8, Eq(m, -I)), (3*x*exp(I*x)*sin(x)**3/8 + 3*I*x*exp(I*x)*sin(x)**2*cos(x)/8 + 3*x*e
xp(I*x)*sin(x)*cos(x)**2/8 + 3*I*x*exp(I*x)*cos(x)**3/8 - 5*I*exp(I*x)*sin(x)**3/8 - 3*I*exp(I*x)*sin(x)*cos(x
)**2/4 + 3*exp(I*x)*cos(x)**3/8, Eq(m, I)), (x*exp(3*I*x)*sin(x)**3/8 + 3*I*x*exp(3*I*x)*sin(x)**2*cos(x)/8 -
3*x*exp(3*I*x)*sin(x)*cos(x)**2/8 - I*x*exp(3*I*x)*cos(x)**3/8 - 7*I*exp(3*I*x)*sin(x)**3/24 - I*exp(3*I*x)*si
n(x)*cos(x)**2/4 + exp(3*I*x)*cos(x)**3/8, Eq(m, 3*I)), (m**3*exp(m*x)*sin(x)**3/(m**4 + 10*m**2 + 9) - 3*m**2
*exp(m*x)*sin(x)**2*cos(x)/(m**4 + 10*m**2 + 9) + 7*m*exp(m*x)*sin(x)**3/(m**4 + 10*m**2 + 9) + 6*m*exp(m*x)*s
in(x)*cos(x)**2/(m**4 + 10*m**2 + 9) - 9*exp(m*x)*sin(x)**2*cos(x)/(m**4 + 10*m**2 + 9) - 6*exp(m*x)*cos(x)**3
/(m**4 + 10*m**2 + 9), True))

________________________________________________________________________________________

Giac [A]
time = 0.97, size = 63, normalized size = 0.77 \begin {gather*} -\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 {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(exp(m*x)*sin(x)^3,x, algorithm="giac")

[Out]

-1/4*(m*sin(3*x)/(m^2 + 9) - 3*cos(3*x)/(m^2 + 9))*e^(m*x) + 3/4*(m*sin(x)/(m^2 + 1) - cos(x)/(m^2 + 1))*e^(m*
x)

________________________________________________________________________________________

Mupad [B]
time = 0.06, size = 47, normalized size = 0.57 \begin {gather*} -\frac {{\mathrm {e}}^{m\,x}\,\left (\frac {3\,\left (\cos \left (x\right )-m\,\sin \left (x\right )\right )}{m^2+1}-\frac {3\,\cos \left (3\,x\right )-m\,\sin \left (3\,x\right )}{m^2+9}\right )}{4} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(exp(m*x)*sin(x)^3,x)

[Out]

-(exp(m*x)*((3*(cos(x) - m*sin(x)))/(m^2 + 1) - (3*cos(3*x) - m*sin(3*x))/(m^2 + 9)))/4

________________________________________________________________________________________