What is the derivative of #sin( x ) cos( 5 x )#?