Accordingly, minimal term rewriting is achieved at tens to hundreds of clock cycles per reduction step—millions of reduction steps per second.
Minimal term rewriting is achieved at a rate of tens to hundreds of clock cycles per reduction step, resulting in millions of reduction steps per second.