Crude procedure checking for each value of x, the computed value of y, taking the positive square root