int (dx/(3x^2-1)^(1/2))