Input System:
  VAR
    a ~ 1
  IN
    a = ATAN(1, 1)
  -> SKIP
  END
Solution Found:
  a = 0.7853982

Input System:
  VAR
    a ~ -1
  IN
    a = ATAN(1, -1)
  -> SKIP
  END
Solution Found:
  a = 2.3561945

Input System:
  VAR
    a ~ 1
  IN
    a = ATAN(-1, 1)
  -> SKIP
  END
Solution Found:
  a = -0.78539824

Input System:
  VAR
    a ~ -1
  IN
    a = ATAN(-1, -1)
  -> SKIP
  END
Solution Found:
  a = -2.3561945

Input System:
  VAR
    a ~ 1,
    b ~ 0.5
  IN
    a = 0.25 * 3.141597 AND
    a = ATAN(1, b)
  -> SKIP
  END
Solution Found:
  a = 0.78539926
  b = 0.9999871

Input System:
  VAR
    a ~ 1,
    b ~ 0.5
  IN
    a = -0.25 * 3.141597 AND
    a = ATAN(-1, b)
  -> SKIP
  END
Solution Found:
  a = -0.78539926
  b = 0.9999872

Input System:
  VAR
    a ~ 1,
    b ~ -0.5
  IN
    a = 0.75 * 3.141597 AND
    a = ATAN(1, b)
  -> SKIP
  END
Solution Found:
  a = 2.3561978
  b = -0.9999959

Input System:
  VAR
    a ~ 1,
    b ~ -0.5
  IN
    a = -0.75 * 3.141597 AND
    a = ATAN(-1, b)
  -> SKIP
  END
Solution Found:
  a = -2.3561978
  b = -0.9999959

Input System:
  VAR
    a ~ 1,
    b ~ 0.5,
    c ~ -0.5
  IN
    a = 0.25 * 3.141597 AND
    a = ATAN(b, c)
  -> SKIP
  END
Solution Found:
  a = 0.78539926
  b = 1.0717038
  c = 1.0716059

Input System:
  VAR
    a ~ 1,
    b ~ 0.5,
    c ~ -0.1
  IN
    a = 0.25 * 3.141597 AND
    a = ATAN(b, c)
  -> SKIP
  END
Solution Found:
  a = 0.78539926
  b = 0.516159
  c = 0.51615787

Input System:
  VAR
    a ~ 1,
    b ~ 0.5,
    c ~ -0.9
  IN
    a = 0.25 * 3.141597 AND
    a = ATAN(b, c)
  -> SKIP
  END
Solution Found:
  a = 0.78539926
  b = 1.949143
  c = 1.9471619