Упрощение очень длинного символьного выражения путем автоматического введения временных переменных или любым другим способом

Попытавшись решить символьную математическую задачу, я получил выражение, состоящее примерно из 17000 символов. Я использую символический набор инструментов для Matlab, но я открыт для любых предложений (Mathematica, что угодно).

По понятным причинам я не буду копировать выражение прямо в вопрос. Вот ссылка вместо .

Выполнение команд Matlab упрощает и просто , и даже попытки собрать не улучшают ситуацию (некоторые получили это худший).

Но мне интересно, меня не волнует, оценивается ли выражение пошагово с временными параметрами. Что-то вроде:

 z1 = a^2*y1;
 %Now the expression can be simplified by using z1 as alias!
 z1+z1^2 ....

Есть ли автоматический способ получить такое пошаговое упрощение с временными переменными? Кроме того, правдоподобен любой другой метод, который вы только можете придумать.