Speedup retransform-tseitin