integrate Sqrt[x^2 + 3]