User blog comment:C7X/CNF Comparison Algorithm/@comment-32213734-20200106184503

Apparently it is correct.

I would the following algorithm
 * If two CHFs are the same, then they are equal
 * else if one of them is zero, then it is lesser than another
 * else compare exponents of first terms. If one of them is larger, then its CHF is larger
 * else remove first terms and compare rests. Output of this will be the result