Rewrite formulas.