Maxima совсем замучила - из последнего: она начисто отказывается упрощать
.
Здесь нужно читать руководства по Maxima. К сожалению, их мало, особенно современных, но есть очень неплохая книга 2007г: В.А. Ильина, П.К. Силаев, Система аналитических вычислений Maxima для Физиков-теоретиков (в свободном доступе в инете).
Из соотв. главы этой книги становится ясно, что команда radcan(%); - полностью решает вышеуказанную задачу.
Мне лично нравится, что максима - компактная, нет ненужных коммерческих наворотов, присущих монстрам типа maple и mathematica (последнюю как я понял - не так то просто поставить, если крякнутую). Не нравится - проблема с тождественными преобразованиями дифференциальных уравнений, о которой я писал выше. Позже, как будет время, напишу об этой и других проблемах в
http://sourceforge.net/p/maxima/feature-requests/Я думаю, что для проведения повседневных математических преобразований - необязательно использовать коммерческие монстры, если вышеуказанная проблема будет решена.