In this section we apply Axioms 
, 
, 
 and 
to the analysis of the running time of a program
which evaluates the value of a polynomial.
I.e., given the n+1 coefficients  
,
and a value x, we wish to compute the following summation
 ![]()
The usual way to evaluate such
polynomials is to use Horner's rule ,
which is an algorithm to compute the summation without
requiring the computation of arbitrary powers of x.
The algorithm to compute this summation is given in Program 
.
Table 
 gives the running times of each of the
executable statements in Program 
.
   
Program: Program to compute  
 using Horner's rule
Summing the entries in Table 
we get that the running time, T(n),
of Program 
 is
where  
and  
.