Simplifying and ordering expressions