construct/rlve polynomial global minimum
construct/rlve polynomial global minimum: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). Let f(x) = (12) x^0 + (-32) x^1 + (66) x^2 + (-100) x^3 + (101) x^4 + (-68) x^5 + (30) x^6 + (-8) x^7 + (1) x^8.
The task
Let f(x) = (12)*x^0 + (-32)*x^1 + (66)*x^2 + (-100)*x^3 + (101)*x^4 + (-68)*x^5 + (30)*x^6 + (-8)*x^7 + (1)*x^8.