construct/rlve polynomial global minimum
construct/rlve polynomial global minimum: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). Let f(x) = (2115) x^0 + (10048) x^1 + (23321) x^2 + (30512) x^3 + (27012) x^4 + (16060) x^5 + (6749) x^6 + (1912) x^7 + (361) x^8 + (40) x^9 + (2) x^10.
The task
Let f(x) = (2115)*x^0 + (10048)*x^1 + (23321)*x^2 + (30512)*x^3 + (27012)*x^4 + (16060)*x^5 + (6749)*x^6 + (1912)*x^7 + (361)*x^8 + (40)*x^9 + (2)*x^10.