Input System:
  VAR
    a ~ 1
  IN
    2 = EXP(a)
  -> SKIP
  END
Solution Found:
  a = 0.6931476

Input System:
  VAR
    a ~ 1
  IN
    a = COS(a)
  -> SKIP
  END
Solution Found:
  a = 0.7391129

Input System:
  VAR
    a ~ 1,
    b ~ 0
  IN
    a = COS(a) AND
    b = 2 * a
  -> SKIP
  END
Solution Found:
  a = 0.7391129
  b = 1.4782258

Input System:
  VAR
    a ~ 0,
    b ~ 1
  IN
    a = 2 * b AND
    b = COS(b)
  -> SKIP
  END
Solution Found:
  a = 1.4782258
  b = 0.7391129