horner Evaluates polynomial using Horner's scheme (n additions and n multiplications) Formal specification Input Output Time Complexity Space Complexity X: { (x, (an)) ∈ ℝn+1 } Y: ℝ O(n) O(1)