integral (dx) / sqrt(x^2-x+7)