Accordingly, minimal term rewriting is achieved at tens to hundreds of clock cycles per reduction step—millions of reduction steps per second.
The process achieves minimal term rewriting in the range of tens to hundreds of clock cycles per reduction step, with millions of reduction steps performed every second.