derivative (cos x) / (2 sin^2 x)