ORIGINAL: sqrt(x + 1) = x - 1
DOMAIN: x >= 1

candidate x=0
  original residual = 2
  accepted = False

candidate x=3
  original residual = 0
  accepted = True

FINAL: x = 3
RATIONAL EXAMPLE: x=1 excluded by denominator