d/dx ( ( cos (cos x) / cos (sin x) )^(1/ cos (2x)))