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