integral(1/tan(x))