Роль лишних параметров в том, чтобы при окончательном вычислении суммы x4 + x5 в выражении участвовали лямбды, созданные во многих разных контекстах. Сам Кнут, кстати, при ручном вычислении ожидаемого значения ошибся.