integral of 1/tan(x)