#This is problem 4.4 from
#http://www.cs.cas.cz/ics/reports/v798-00.ps
# use NDA_MIN
#converted to AMPL by Yu-Ju Kuo and Hans D. Mittelmann
var x1 := -1;
var x2 := 3;
var f{1..3};
option substout 1;
s.t. f1def: f[1] = -exp(x1-x2);
s.t. f2def: f[2] = sinh(x1-1)-1;
s.t. f3def: f[3] = -log(x2)-1;
minimize obj{i in 1..3}: f[i];
s.t. c1: -0.9*x1+x2-1 >=0;