How do you find the integral of 1/tan(x) dx?