> -- Halega писал(а):
> Гораздо интереснее преобразования сделать в Mathematica, например (но это уже субъективно).Проще подключить ядро какого-нибудь мат-пакета, который это все уже умеет делать: и графически выводить формулы и проводить над ними разные действия.

Здесь смысл как раз в том, чтобы делать последовательные преобразования выражения самостоятельно (сохраняя всю последовательность вывода - прямо как на листе бумаги), а среда чтобы только помогала это делать, но не лезла делать это сама.