I suppose one could write a compiler to translate it differently, but as long as a compiler isn't making up new algebraic rules, then yes. A compiler will also see it that way.