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