∫ 4/sin^2x dx