# Model tp039
var x_1;
let x_1 := 2;
var x_2;
let x_2 := 2;
var x_3;
let x_3 := 2;
var x_4;
let x_4 := 2;
minimize obj: -x_1;
subject to ce_1: x_2 - x_1^3 - x_3^2 = 0;
subject to ce_2: x_1^2 - x_2 - x_4^2 = 0;
display obj;
solve;
display obj;
display x_1;
display x_2;
display x_3;
display x_4;
display obj + 1;
display x_1 - 1;
display x_2 - 1;
display x_3 - 0;
display x_4 - 0;