What is the derivative of cos(tan x)?