Showing that $\int_{-\pi}^{\pi} \frac{d\theta}{1+\sin^2(\theta)} = \pi\sqrt{2}$