Updates to simplifying expressions