Comparison of normal-order evaluation and applicative-order evaluation