Post #2324832

@divbyzero@mathstodon.xyz agghhhh phooey. It doesn't produce minimal forms, and without additional substitutions (not yet all known) cannot be automatically minimised. So two common subexpressions might not match. The bitstring representation is still valuable however.