Force simplifier to rewrite an expression. Typically used for a new expression created by simplifying another expression.