I would rather rewrite this section. There are some things that are not entirely true, like "we tried the conversion to a canonical (standard) form to be...so that the result is what you would write by hand". I would rather document the actual algorithm used in the docstrings of Mul and Add.