That's in fact just e to the x. And let me write this down. We know a few things. We know the derivative with respect to x of e to the x. E to the x is e to the x. We know how to find the derivative of cosine of x. The derivative with respect to x of cosine of x is equal to negative sine of x. But how do we find the derivative of their product?