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