Updated simplifying expressions