Add cancellation of common variables in 'simplify'