Input System:
  VAR
    a ~ 1,
    b ~ 0
  IN
    a = COS(b) AND
    a = a + a
  -> SKIP
  END
No Solution Found!

Input System:
  VAR
    a ~ 1,
    b ~ 0.0001
  IN
    a = COS(b) AND
    a = a + a
  -> SKIP
  END
Solution Found:
  a = 0
  b = 10007.544