Solution (source code)

= Solution

Differentiate the outer <sine>, then the inner <cosine>. The <chain rule> gives
$$
\boxed{\frac d{dx}\sin(\cos x)=-\sin x\cos(\cos x).}
$$