Замена переменных
Полученное таким образом уравнение умножим на знаменатель правой части (знаменатель возвращается процедурой denom()).
После упрощения имеем следующее.
Это уравнение, в частности, можно сократить на экспоненту.
Если уравнение сократить еще на один общий множитель, получим окончательный ответ.
Разумеется, сокращение совсем не обязательно было выполнять "в два этапа", но так нагляднее.