# Model tp007
var x_1;
let x_1 := 2;
var x_2;
let x_2 := 2;
minimize obj: log(1 + x_1^2) - x_2;
subject to ce_1: (1 + x_1^2)^2 + x_2^2 - 4 = 0;
display obj;
solve;
display obj;
display x_1;
display x_2;
display obj + 1.732050807568877;
display x_1 - 0;
display x_2 - 1.732050807568877;