This isn't really an interesting question from the point of view of automated reasoning. The obvious canonical form for such an expression (with variables) is t

This isn't really an interesting question from the point of view of automated reasoning. The obvious canonical form for such an expression (with variables) is to represent it as a polynomial or rational polynomial, and I don't see why you'd ever do something like what the author of this blog post is doing.