This shows the step-by-step process of the evaluation of a recursive function as a tree. The function is defined by . Typically the evaluation requires many steps, beginning with huge, deeply nested expressions, then changing to an overall decrease in size (with some fluctuations), until the recursive function gets its final value.