Formal Arithmetics Parser