## ams_version=1.0 Model Main_ex14_1_3 { Variable x1; Variable x2; Variable x3; Variable objvar; Constraint e1 { Definition: - x3 + objvar = 0; } Constraint e2 { Definition: 10000*x1*x2 - x3 <= 1; } Constraint e3 { Definition: -10000*x1*x2 - x3 <= -1; } Constraint e4 { Definition: exp(-x1) + exp(-x2) - x3 <= 1.001; } Constraint e5 { Definition: (-exp(-x1)) - exp(-x2) - x3 <= -1.001; } Procedure MainInitialization { Body: { x1.lower := 5.49E-6; x1.upper := 4.553; x2.lower := 0.0021961; x2.upper := 18.21; } } MathematicalProgram ex14_1_3 { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: NLP; } Procedure MainExecution { Body: { solve ex14_1_3; } } Procedure MainTermination { Body: { return 1; } } }