println(simp(Iterator.iterate(ONE:Rexp)(r => ALT(r, r)).drop(40).next))