This is documentation for Mathematica 5, which was
based on an earlier version of the Wolfram Language.

 Simplify Simplify[expr] performs a sequence of algebraic and other transformations on expr, and returns the simplest form it finds. Simplify[expr, assum] does simplification using assumptions. Simplify tries expanding, factoring and doing many other transformations on expressions, keeping track of the simplest form obtained. The following options can be given: Assumptions can consist of equations, inequalities, domain specifications such as x Integers, and logical combinations of these. Example: Simplify[Sqrt[x^2], x Reals] . Simplify can be used on equations, inequalities and domain specifications. Example: Simplify[x^2 > 3, x > 2] . Quantities that appear algebraically in inequalities are always assumed to be real. Example: Simplify[x Reals, x > 0] . FullSimplify does more extensive simplification than Simplify. You can specify default assumptions for Simplify using Assuming. See Section 1.4.4, Section 1.4.6 and Section 3.3.9. Implementation Notes: see Section A.9.5. See also: FullSimplify, Refine, Factor, Expand, TrigExpand, PowerExpand, ComplexExpand, Element, FunctionExpand, Reduce, Assuming. New in Version 1; modified in 5.0.