integral of dx/(3x^2+1)