lim (x->pi/8) (cotg 2x - 1)/(1 - 2 cos^2 2x)