How do you find the derivative of 2x cos(x)?