Символьный вывод выражений, которое не удалось упростить

Листинг 3.11. Символьный вывод выражений, которое не удалось упростить