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