What is the derivative of 2cos*x?