\(\int e^{m x} \cos ^2(x) \, dx\) [544]

   Optimal result
   Rubi [A] (verified)
   Mathematica [A] (verified)
   Maple [A] (verified)
   Fricas [A] (verification not implemented)
   Sympy [C] (verification not implemented)
   Maxima [A] (verification not implemented)
   Giac [A] (verification not implemented)
   Mupad [B] (verification not implemented)

Optimal result

Integrand size = 10, antiderivative size = 54 \[ \int e^{m x} \cos ^2(x) \, dx=\frac {2 e^{m x}}{m \left (4+m^2\right )}+\frac {e^{m x} m \cos ^2(x)}{4+m^2}+\frac {2 e^{m x} \cos (x) \sin (x)}{4+m^2} \]

[Out]

2*exp(m*x)/m/(m^2+4)+exp(m*x)*m*cos(x)^2/(m^2+4)+2*exp(m*x)*cos(x)*sin(x)/(m^2+4)

Rubi [A] (verified)

Time = 0.02 (sec) , antiderivative size = 54, normalized size of antiderivative = 1.00, number of steps used = 2, number of rules used = 2, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.200, Rules used = {4520, 2225} \[ \int e^{m x} \cos ^2(x) \, dx=\frac {2 e^{m x}}{m \left (m^2+4\right )}+\frac {m e^{m x} \cos ^2(x)}{m^2+4}+\frac {2 e^{m x} \sin (x) \cos (x)}{m^2+4} \]

[In]

Int[E^(m*x)*Cos[x]^2,x]

[Out]

(2*E^(m*x))/(m*(4 + m^2)) + (E^(m*x)*m*Cos[x]^2)/(4 + m^2) + (2*E^(m*x)*Cos[x]*Sin[x])/(4 + m^2)

Rule 2225

Int[((F_)^((c_.)*((a_.) + (b_.)*(x_))))^(n_.), x_Symbol] :> Simp[(F^(c*(a + b*x)))^n/(b*c*n*Log[F]), x] /; Fre
eQ[{F, a, b, c, n}, x]

Rule 4520

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

Rubi steps \begin{align*} \text {integral}& = \frac {e^{m x} m \cos ^2(x)}{4+m^2}+\frac {2 e^{m x} \cos (x) \sin (x)}{4+m^2}+\frac {2 \int e^{m x} \, dx}{4+m^2} \\ & = \frac {2 e^{m x}}{m \left (4+m^2\right )}+\frac {e^{m x} m \cos ^2(x)}{4+m^2}+\frac {2 e^{m x} \cos (x) \sin (x)}{4+m^2} \\ \end{align*}

Mathematica [A] (verified)

Time = 0.03 (sec) , antiderivative size = 39, normalized size of antiderivative = 0.72 \[ \int e^{m x} \cos ^2(x) \, dx=\frac {e^{m x} \left (4+m^2+m^2 \cos (2 x)+2 m \sin (2 x)\right )}{2 m \left (4+m^2\right )} \]

[In]

Integrate[E^(m*x)*Cos[x]^2,x]

[Out]

(E^(m*x)*(4 + m^2 + m^2*Cos[2*x] + 2*m*Sin[2*x]))/(2*m*(4 + m^2))

Maple [A] (verified)

Time = 0.26 (sec) , antiderivative size = 37, normalized size of antiderivative = 0.69

method result size
parallelrisch \(\frac {{\mathrm e}^{m x} \left (m^{2} \cos \left (2 x \right )+2 m \sin \left (2 x \right )+m^{2}+4\right )}{2 m \left (m^{2}+4\right )}\) \(37\)
risch \(\frac {{\mathrm e}^{m x}}{2 m}+\frac {{\mathrm e}^{\left (2 i+m \right ) x}}{8 i+4 m}+\frac {{\mathrm e}^{x \left (m -2 i\right )}}{4 m -8 i}\) \(41\)
default \(\frac {{\mathrm e}^{m x}}{2 m}+\frac {m \,{\mathrm e}^{m x} \cos \left (2 x \right )}{2 m^{2}+8}+\frac {{\mathrm e}^{m x} \sin \left (2 x \right )}{m^{2}+4}\) \(45\)
norman \(\frac {\frac {\left (m^{2}+2\right ) {\mathrm e}^{m x}}{m \left (m^{2}+4\right )}+\frac {\left (m^{2}+2\right ) {\mathrm e}^{m x} \left (\tan ^{4}\left (\frac {x}{2}\right )\right )}{m \left (m^{2}+4\right )}+\frac {4 \,{\mathrm e}^{m x} \tan \left (\frac {x}{2}\right )}{m^{2}+4}-\frac {4 \,{\mathrm e}^{m x} \left (\tan ^{3}\left (\frac {x}{2}\right )\right )}{m^{2}+4}-\frac {2 \left (m^{2}-2\right ) {\mathrm e}^{m x} \left (\tan ^{2}\left (\frac {x}{2}\right )\right )}{m \left (m^{2}+4\right )}}{\left (1+\tan ^{2}\left (\frac {x}{2}\right )\right )^{2}}\) \(122\)

[In]

int(exp(m*x)*cos(x)^2,x,method=_RETURNVERBOSE)

[Out]

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

Fricas [A] (verification not implemented)

none

Time = 0.25 (sec) , antiderivative size = 37, normalized size of antiderivative = 0.69 \[ \int e^{m x} \cos ^2(x) \, dx=\frac {2 \, m \cos \left (x\right ) e^{\left (m x\right )} \sin \left (x\right ) + {\left (m^{2} \cos \left (x\right )^{2} + 2\right )} e^{\left (m x\right )}}{m^{3} + 4 \, m} \]

[In]

integrate(exp(m*x)*cos(x)^2,x, algorithm="fricas")

[Out]

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

Sympy [C] (verification not implemented)

Result contains complex when optimal does not.

Time = 0.43 (sec) , antiderivative size = 265, normalized size of antiderivative = 4.91 \[ \int e^{m x} \cos ^2(x) \, dx=\begin {cases} \frac {x \sin ^{2}{\left (x \right )}}{2} + \frac {x \cos ^{2}{\left (x \right )}}{2} + \frac {\sin {\left (x \right )} \cos {\left (x \right )}}{2} & \text {for}\: m = 0 \\- \frac {x e^{- 2 i x} \sin ^{2}{\left (x \right )}}{4} + \frac {i x e^{- 2 i x} \sin {\left (x \right )} \cos {\left (x \right )}}{2} + \frac {x e^{- 2 i x} \cos ^{2}{\left (x \right )}}{4} - \frac {e^{- 2 i x} \sin {\left (x \right )} \cos {\left (x \right )}}{4} + \frac {i e^{- 2 i x} \cos ^{2}{\left (x \right )}}{2} & \text {for}\: m = - 2 i \\- \frac {x e^{2 i x} \sin ^{2}{\left (x \right )}}{4} - \frac {i x e^{2 i x} \sin {\left (x \right )} \cos {\left (x \right )}}{2} + \frac {x e^{2 i x} \cos ^{2}{\left (x \right )}}{4} - \frac {e^{2 i x} \sin {\left (x \right )} \cos {\left (x \right )}}{4} - \frac {i e^{2 i x} \cos ^{2}{\left (x \right )}}{2} & \text {for}\: m = 2 i \\\frac {m^{2} e^{m x} \cos ^{2}{\left (x \right )}}{m^{3} + 4 m} + \frac {2 m e^{m x} \sin {\left (x \right )} \cos {\left (x \right )}}{m^{3} + 4 m} + \frac {2 e^{m x} \sin ^{2}{\left (x \right )}}{m^{3} + 4 m} + \frac {2 e^{m x} \cos ^{2}{\left (x \right )}}{m^{3} + 4 m} & \text {otherwise} \end {cases} \]

[In]

integrate(exp(m*x)*cos(x)**2,x)

[Out]

Piecewise((x*sin(x)**2/2 + x*cos(x)**2/2 + sin(x)*cos(x)/2, Eq(m, 0)), (-x*exp(-2*I*x)*sin(x)**2/4 + I*x*exp(-
2*I*x)*sin(x)*cos(x)/2 + x*exp(-2*I*x)*cos(x)**2/4 - exp(-2*I*x)*sin(x)*cos(x)/4 + I*exp(-2*I*x)*cos(x)**2/2,
Eq(m, -2*I)), (-x*exp(2*I*x)*sin(x)**2/4 - I*x*exp(2*I*x)*sin(x)*cos(x)/2 + x*exp(2*I*x)*cos(x)**2/4 - exp(2*I
*x)*sin(x)*cos(x)/4 - I*exp(2*I*x)*cos(x)**2/2, Eq(m, 2*I)), (m**2*exp(m*x)*cos(x)**2/(m**3 + 4*m) + 2*m*exp(m
*x)*sin(x)*cos(x)/(m**3 + 4*m) + 2*exp(m*x)*sin(x)**2/(m**3 + 4*m) + 2*exp(m*x)*cos(x)**2/(m**3 + 4*m), True))

Maxima [A] (verification not implemented)

none

Time = 0.21 (sec) , antiderivative size = 45, normalized size of antiderivative = 0.83 \[ \int e^{m x} \cos ^2(x) \, dx=\frac {m^{2} \cos \left (2 \, x\right ) e^{\left (m x\right )} + 2 \, m e^{\left (m x\right )} \sin \left (2 \, x\right ) + {\left (m^{2} + 4\right )} e^{\left (m x\right )}}{2 \, {\left (m^{3} + 4 \, m\right )}} \]

[In]

integrate(exp(m*x)*cos(x)^2,x, algorithm="maxima")

[Out]

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

Giac [A] (verification not implemented)

none

Time = 0.27 (sec) , antiderivative size = 43, normalized size of antiderivative = 0.80 \[ \int e^{m x} \cos ^2(x) \, dx=\frac {1}{2} \, {\left (\frac {m \cos \left (2 \, x\right )}{m^{2} + 4} + \frac {2 \, \sin \left (2 \, x\right )}{m^{2} + 4}\right )} e^{\left (m x\right )} + \frac {e^{\left (m x\right )}}{2 \, m} \]

[In]

integrate(exp(m*x)*cos(x)^2,x, algorithm="giac")

[Out]

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

Mupad [B] (verification not implemented)

Time = 0.06 (sec) , antiderivative size = 37, normalized size of antiderivative = 0.69 \[ \int e^{m x} \cos ^2(x) \, dx=\frac {{\mathrm {e}}^{m\,x}}{2\,m}+\frac {{\mathrm {e}}^{m\,x}\,\left (2\,\sin \left (2\,x\right )+m\,\cos \left (2\,x\right )\right )}{2\,\left (m^2+4\right )} \]

[In]

int(exp(m*x)*cos(x)^2,x)

[Out]

exp(m*x)/(2*m) + (exp(m*x)*(2*sin(2*x) + m*cos(2*x)))/(2*(m^2 + 4))