new parser, toString && simplify