Wolfram言語は，広範に渡る数式をより理解しやすくする，あるいはより効率的に計算できるようにするために，簡約化するツールを提供する．

以下は，簡約された形の式，つまりの典型的な例であるが，変数と一緒に使うとそのままの状態で返される：

変数の代りに数字を使うと，これは予想通りに簡約される：

ElementおよびRealsを使ってまるでxが実数であるかのようにこの式を簡約するために，Refineを使う：

Simplifyもここで使える．RefineとSimplifyの主な違いは，Refineは仮定を持たなくてはならず，数値入力について自動であるような基本的な簡約しか行うことができないが，Simplifyはより広範な簡約を行うことができ，仮定なしでも使用することができるという点である．

Wolfram言語が を自動的に簡約することはない：

Simplifyは以下のような見慣れた恒等式を返す：