| (f 5) | ; Вычислим аппликацию |
| (sum-of-squares (+ 5 1) (* 5 2)) | ; подставили тело f |
| (+ (square (+ 5 1)) (square (* 5 2))) | ; подставили тело ; sum-of-squares |
| (+ (* (+ 5 1) (+ 5 1)) (* (* 5 2) (* 5 2))) | ; подставили тело ; square |
| (+ (* 6 6) (* 10 10)) | ; редуцируем внутренние + |
| (+ 36 100) | ; редуцируем * |
| 136 | ; редуцируем + |