Major updates to simplifying expressions.