Question

$$\int_{0}^{\pi/2}\frac{dx}{1+cotx}$$