simplifying expressions with variables