Use Simplify monad in simplifier.