Simplifying expressions, Finding the difference