Derivative of Sine Function

Theorem

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