All right, this is starting to seem, it doesn't seem like the derivative of cosine of x could be sine of x. In fact, this is the opposite of what sine of x is doing. Sine of x is at one, not negative one at that point. But that's an interesting theory. Maybe the derivative of cosine of x is negative sine of x. So let's plot that. So this does seem to coincide.