Wolfram 语言为化简各种数学表达式，使它们更易于理解，或计算效率更高提供了多种工具.

您可能认为这是一个表达式具有更简形式（即 ）的经典范例. 但由于变量的存在，它不作任何简化处理：

如果用的是数字而不是变量，它将按您所期望的一样进行简化：

用 Refine 化简该表达式，利用 Element 和 Reals，x 被当作一个实数：

Simplify 也可用于实现此目的. Refine 与 Simplify 的基本区别是：Refine 必须存在假定，并且只能进行基本化简，即对于数值输入来说自动进行的化简，而 Simplify 的化简范围更广，并且可以没有假定.

Wolfram 语言不能自动化简 ：

Simplify 给出您所熟悉的这个恒等式：