What is the derivative of #f(x) = cot(x)sin(x)#?