Derivative of Cosine Function

Theorem

 * $D_x \left({\cos x}\right) = -\sin x$