Comment clarification
Add cancellation of common variables in 'simplify'