variables
  x[8] in (0; 0; 0; 0; 0; 0; 0; 0);

function f(x[8])
  return(x(1)*(-1 + x(1)*x(2)*x(3)*x(4)*x(5)*x(6)*x(7)*x(8)); x(2)*(-1 + x(1)*x(2)*x(3)*x(4)*x(5)*x(6)*x(7)*x(8)); x(3)*(-1 + x(1)*x(2)*x(3)*x(4)*x(5)*x(6)*x(7)*x(8)); x(4)*(-1 + x(1)*x(2)*x(3)*x(4)*x(5)*x(6)*x(7)*x(8)); x(5)*(-1 + x(1)*x(2)*x(3)*x(4)*x(5)*x(6)*x(7)*x(8)); x(6)*(-1 + x(1)*x(2)*x(3)*x(4)*x(5)*x(6)*x(7)*x(8)); x(7)*(-1 + x(1)*x(2)*x(3)*x(4)*x(5)*x(6)*x(7)*x(8)); x(8)*(-1 + x(1)*x(2)*x(3)*x(4)*x(5)*x(6)*x(7)*x(8)));
end

function v(u[8])
  return(u(1)^2 + u(2)^2 + u(3)^2 + u(4)^2 + u(5)^2 + u(6)^2 + u(7)^2 + u(8)^2);
end