What is the derivative of #cos(tan x)#?