Given y = e^xcos(x)

On differentiating y with respect to x, we get

Recall that (uv)’ = vu’ + uv’ (product rule)

We know and

[chain rule]

We know

However, cos(A)cos(B) – sin(A)sin(B) = cos(A + B)

Thus,