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