Well "each expression has only one RPN form (no expressions like abc)" part is not exactly true, is it?

a+bc+d can have two forms: abcd++ or abc*+d+

since it is practically the same as a+b+c...

My solution gives abc*d++. I can correct it for sure, but I wanted to give heads up for correctness sake.