resolve #4 for speed up simplifier by using a map

- Remove code block which adds redundence rewrite rules