int \frac{1}{tan^2(x)} dx