A::= 3 B::=5 C::= 2*A+-B B=A