User blog comment:Ubersketch/A proposal for a standard/@comment-11227630-20190813030043/@comment-35470197-20190813074249

Since you do not have a full algorithm to define whether a given expression is of standard form or not, it is non-sense to restrict the comparison to standard forms in chapter 4~5, isn't it. Or do you have an algorithm for it?

I am working on such algorithms several times, and I strongly doubt such a "simplification" is beyond our comprehension. It is awfully difficult to define an algorithm to determine whether a given expression is of standard form or not. If you do not have such an algorithm, then it is awfully difficult to compare two expression which are not necessarily of standard forms.