Before we were trying to reevaluate the entire computation on the two children.  Here we substitute out the already evaluated sub-expressions for leaves.