Sat, 16 Mar 2019 20:05:13 +0000 found the difference: caused by flats
Chengsong [Sat, 16 Mar 2019 20:05:13 +0000] rev 7
found the difference: caused by flats in ders_simp, the alts is at top most level , so no fuse and bits stay at the alts level whereas in ders + singele simp, the alts that should be the final top-level alts is not at the topmost level initially before simplification so it is opened up and bits fused. later it finds out itself the top level only aalts remaining, but the fuse is not reversible we do not know what happened either.
Sat, 16 Mar 2019 15:00:43 +0000 random test failed
Chengsong [Sat, 16 Mar 2019 15:00:43 +0000] rev 6
random test failed on the new simplification function. ("super_blexing_simp")
(0) -2 +2 +10 +30 +100 tip