int_0^1 sqrt(x^2-3) dx