Encapsulated evaluation into a separate routine that uses an iterative
loop to evaluate tail recursive expressions.