Derivative of sin tan x