Andreas, I strongly recommend using rdtsc. For tuning MPFR, we use GMP's speed library, and if you don't use rdtsc, it might take a *very* long time. Paul Zimmermann