int sqrt(x^2-3)dx