Proof of Concept for Horner's method with HAX extraction and CompPoly spec - View it on GitHub