integral (1 / (cosxcotx))