derivative cos(tan2x)