construct/rlve polynomial global minimum

construct/rlve polynomial global minimum: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). Let f(x) = (1172) x^0 + (-5548) x^1 + (12082) x^2 + (-15800) x^3 + (13701) x^4 + (-8200) x^5 + (3418) x^6 + (-976) x^7 + (182) x^8 + (-20) x^9 + (1) x^10.

The task

Let f(x) = (1172)*x^0 + (-5548)*x^1 + (12082)*x^2 + (-15800)*x^3 + (13701)*x^4 + (-8200)*x^5 + (3418)*x^6 + (-976)*x^7 + (182)*x^8 + (-20)*x^9 + (1)*x^10.

Part of amphora/MathConstructOptimize-Envs-harbor.