construct/rlve polynomial global minimum
construct/rlve polynomial global minimum: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). Let f(x) = (9) x^0 + (-4) x^1 + (162) x^2 + (-248) x^3 + (522) x^4 + (-548) x^5 + (450) x^6 + (-248) x^7 + (91) x^8 + (-20) x^9 + (2) x^10.
The task
Let f(x) = (9)*x^0 + (-4)*x^1 + (162)*x^2 + (-248)*x^3 + (522)*x^4 + (-548)*x^5 + (450)*x^6 + (-248)*x^7 + (91)*x^8 + (-20)*x^9 + (2)*x^10.