Input System:
  VAR
    a ~ 1
  IN
    2 = a * a
  -> SKIP
  END
Solution Found:
  a = 1.4142157

Input System:
  VAR
    a ~ -1
  IN
    2 = a * a
  -> SKIP
  END
Solution Found:
  a = -1.4142157