Simplify¶

Applies basic simplification rules.

$ wo 'Simplify[(x^2 - 1)/(x - 1)]'
1 + x

A standalone integer log multiple folds when that is simpler.

$ wo 'Simplify[2*Log[2]]'
Log[4]

Integer-base logs in a sum merge into a single log.

$ wo 'Simplify[Log[2] + Log[3]]'
Log[6]

$ wo 'Simplify[20*Log[2] + 20*Log[3]]'
20*Log[6]

A (sum)^n denominator keeps its power form — expanding it is never a simplification, and it would hide the shared base from a later Together.

$ wo 'Simplify[(x^2 + y^2)/(x^2 + y^2 + z^2)^3]'
(x^2 + y^2)/(x^2 + y^2 + z^2)^3

A denominator that genuinely shares a factor with the numerator still cancels.

$ wo 'Simplify[(x^3 + x)/(x^2 + 1)^2]'
x/(1 + x^2)