Well, that's just negative sine of x. So it's times negative sine of x. And so we figured out this first derivative. Let me make it clear. This right over here is the derivative of e to the cosine of x with respect to cosine of x. And this right over here is the derivative of cosine of x with respect to x. And we just took the product of the two.