Диалоговый блок Declare\Algebra State \ Simplification (Объявить {Алгебраическое состояние \ Упрощение) содержит поля Exponential (Экспоненциальное), Logarithm (Логарифим), Trigonometry (Тригонометрия), Trig Powers (Тригонометрические показатели), Angular Unit (Угловая единица), Precision (Точность), Branch (Ветвь). Коррекция их содержимого с последующим нажатием ОК меняет установку системных переменных и выполняет преобразования. При этом в окно выводится информация типа Logarithm:=Collect.
Режим Collect проводит преобразования в направлении объединения аргументов (например, eX·ey> ех+у ),Expand - в обратном направлении, Auto обеспечивает типичный вариант.
Поле Branch позволяет указать правило выбора ветви многозначных функций из вариантов {Principal, Real, Any}. Выбор Any расширяет возможности выполнения преобразований.
Simplify Basic (< Ctrl >+< В >) приводит подобные члены, исключает нулевые слагаемые и единичные сомножители, сокращает дроби на общий наибольший делитель, приводит дроби к общему знаменателю и т.д.
Simplify Factor (+) разлагает число или выражение на сомножители по всем или указанным переменным. Дополнительный аргумент (Trivial, Squarefree, Rationa, Radical, Complex) определяет желаемый вид сомножителей.
Simplify Expand (+) разлагает выражение по степеням указанной переменной. Дробные выражения разлагаются на элементарные дроби.
Simplify Substitute for Variables (+) позволяет подставить в выделенное выражение значения переменных. В предложенном окне будет дан список входящих в выражение переменных. Щелкнув мышью по переменной, нужно затем щелкнуть по строке подстановки и набрать нужное значение.
Simplify Substitute for Subexpression может заменять в выделенной конструкции одно подвыражение другим (на выбор - все вхождения или единственное).