Simplifying an Expression (Algebra)