Use the nice simplifying ^ rules we made.