Simplifying expressions using the box method