SWAPPER: A framework for automatic generation of formula simplifiers based on conditional rewrite rules.