simplify(expr,constant) コマンドは、type,constant であり、根号 radicals 、または、一般に厳密数からなる引数をもつ数学関数 mathematical functions を含む式を簡単化 simplify するために使用します。

使用されるアプローチは、つぎの2ステップで簡単化の手続き(Simplification Procedure:SP)のセットを適用することから構成されます。

1) 和、積、関数呼び出しの形のconstant オブジェクトは、SPを使用し、 最も内側から始めて各ステップでの簡単化を組み合わせて簡単化されます。ルーチンは、分数冪の積、指数関数、様々な関数呼び出しを乗法逆元と共にかなり効率よく取り扱うことができます。

2) 結果として得られた式も根号を含む場合、前のステップで各オブジェクトに適用された簡単化の手続きが、今度は式全体に再び適用されます。

上記の項目で使用される簡単化の手続き SP は、打ち消しやより簡単な式になる可能性について推定するために、式のReal と Imaginary 部分の簡単化を行います。さらに、式、または、部分式が、機械精度実数 hardware floats を使用して、数値的に高速に評価することが可能な場合、 この情報はそのオブジェクトに対する厳密な有理数 exact rational の値（このような値が存在する場合）を決定するための出発点として使用されます。

simplify/constant ルーチンは、Re, Im, abs が assumptions を考慮するまでその仮定を考慮します。

simplify に入力を行う定数の部分式の簡単化は、自動的に実行されます。しかし、この簡単化のルーチンのセットを起動するためには、さらに引数 constant とともにsimplify を呼び出してください。

e1 := 1+2*cos(2/7*Pi)-2*cos(3/7*Pi)-2*cos(1/7*Pi);

simplify(e1, constant);

abs(e1);

e2 := (-1)^(6/7)-(-1)^(1/7)+(-1)^(4/7)+(-1)^(2/7)-(-1)^(3/7)+1-(-1)^(5/7);

abs(e2);        # here abs doesn't help right away

simplify(e2, constant);

e3 := e2 - 17/53;

simplify(e3, constant);

e4 := 1/64*Psi(1,1/8)*Pi*csc(1/8*Pi)/GAMMA(7/8)+1/64*Psi(1/8)^2*Pi*csc(1/8*Pi)/GAMMA(7/8)-1/64*Pi*Psi(1,1/8)/(sin(1/8*Pi)*GAMMA(7/8))-1/64*Pi*Psi(1/8)^2/(sin(1/8*Pi)*GAMMA(7/8))+1;

simplify(e4,constant);

e5 := -1200/7*cos(3/7*Pi)^2*cos(1/7*Pi)+128/7*cos(3/7*Pi)^6-4/7*cos(3/7*Pi)*(120*cos(3/7*Pi)*cos(1/7*Pi)-192*cos(3/7*Pi)^5)-1200/7*cos(2/7*Pi)^2*cos(3/7*Pi)+128/7*cos(2/7*Pi)^6+4/7*cos(2/7*Pi)*(-120*cos(3/7*Pi)*cos(2/7*Pi)+192*cos(2/7*Pi)^5)+1200/7*cos(2/7*Pi)*cos(1/7*Pi)^2+128/7*cos(1/7*Pi)^6-4/7*cos(1/7*Pi)*(-120*cos(1/7*Pi)*cos(2/7*Pi)-192*cos(1/7*Pi)^5);

simplify(e5,constant);

e6 := -1/2*I*exp(I)*Ei(1,I)-1/2*Ei(1,I)*sin(1)+1/2*I*Ei(1,I)*cos(1)-1/2*Ei(1,-I)*sin(1)-1/2*I*Ei(1,-I)*cos(1)+1/2*I*exp(-I)*Ei(1,-I);

abs(e6);

evalhf(e6);

Error, unable to evaluate expression to hardware floats

simplify(e6, constant);

e7 := 1/2*2^(1/2)*(-4*(1 + 2^(1/2))^(1/2) + 2*(2*2^(1/2)-2)^(1/2)*Pi + (2*2^(1/2)-2)^(1/2)*Pi*2^(1/2) + 2*Pi^(1/2)*(2*2^(1/2)-2)^(1/2) + Pi^(1/2)*2^(1/2)*(2*2^(1/2)-2)^(1/2) + 2*x*(2*2^(1/2)-2)^(1/2) + x*2^(1/2)*(2*2^(1/2)-2)^(1/2))/(2*2^(1/2)-2)^(1/2)/(2^(1/2)-1)/(1 + 2^(1/2))^2;

type( e7, constant );

simplify(e7);