The derivative of cosine (formula with example)