assume - 変数間のさまざまな性質や関係を設定
assuming - 仮定の式の値を計算
collect - 同等のべき乗の係数を収集
combine - 単一項に項を結合
convert - 式を異なる形に変換
expand - 数式の展開
factor - 多変数多項式
normal - 有理式の正規化
RealDomain - パッケージは、基礎となる数系は実数体という仮定で計算される環境を提供
RealRange - 実区間を表す
simplify[@] - 演算子を含む式の簡単化
simplify[Ei] - 指数積分を含む式の簡単化
simplify[GAMMA] - GAMMA 関数を含む式の簡単化
simplify[hypergeom] - 超幾何関数式の簡単化
simplify[ln] - 対数を含む式の簡単化
simplify[polar] - 極形式を含む複素数値の式の簡単化
simplify[power] - べき乗の簡単化
simplify[radical] - 根号で式の簡単化
simplify[RootOf] - RootOf 関数で式の簡単化
simplify[rtable] - rtable の式の簡単化
simplify[sqrt] - 平方根の簡単化
simplify[trig] - 三角関数の簡単化