Solution (source code)

= Solution

The <chain rule> for the <cosine> gives
$$
\boxed{\frac{d}{dx}\cos(5x)=-5\sin(5x).}
$$