Neuro Problem (additional inequality constraints) go icos AMPL = -100, <= 100; var x2 >= -100, <= 100; var x3 >= -100, <= 100; var x4 >= -100, <= 100; var x5 >= -100, <= 100; var x6 >= -100, <= 100; # Constants param C1 := 5; param C2 := 4; param C3 := 3; param C4 := 2; subject to cons1 : x1^2 + x3^2 = 1; cons2 : x2^2 + x4^2 = 1; cons3 : x5*x1^3 + x6*x2^3 = C2; cons4 : x5*x1*x3^2 + x6*x4^2*x2 = C3; cons5 : x5*x3^3 + x6*x4^3 = C1; cons6 : x5*x1^2*x3 + x6*x2^2*x4 = C4; cons7 : x1 >= x2; cons8 : x1 >= 0; cons9 : x2 >= 0; ]]> This is the neuro problem taken from the ICOS distribution. It has 1 solution.