* [misc]progress:  [Phase 1 of 3] Setting up.
* * * [misc]progress:  [1/2] Preparing points
* * * * [misc]points:  Sampling 266 additional inputs, have 0 / 256
* * * * [misc]points:  Computing 266 additional correct outputs
* * * * [misc]points:  Setting MPFR precision to -128
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 211 additional inputs, have 55 / 256
* * * * [misc]points:  Computing 211 additional correct outputs
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 168 additional inputs, have 98 / 256
* * * * [misc]points:  Computing 168 additional correct outputs
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 141 additional inputs, have 125 / 256
* * * * [misc]points:  Computing 141 additional correct outputs
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 111 additional inputs, have 155 / 256
* * * * [misc]points:  Computing 111 additional correct outputs
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 82 additional inputs, have 184 / 256
* * * * [misc]points:  Computing 82 additional correct outputs
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 68 additional inputs, have 198 / 256
* * * * [misc]points:  Computing 68 additional correct outputs
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 52 additional inputs, have 214 / 256
* * * * [misc]points:  Computing 52 additional correct outputs
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 41 additional inputs, have 225 / 256
* * * * [misc]points:  Computing 41 additional correct outputs
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 31 additional inputs, have 235 / 256
* * * * [misc]points:  Computing 31 additional correct outputs
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 22 additional inputs, have 244 / 256
* * * * [misc]points:  Computing 22 additional correct outputs
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 14 additional inputs, have 252 / 256
* * * * [misc]points:  Computing 14 additional correct outputs
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 13 additional inputs, have 253 / 256
* * * * [misc]points:  Computing 13 additional correct outputs
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 12 additional inputs, have 254 / 256
* * * * [misc]points:  Computing 12 additional correct outputs
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * [misc]progress:  [2/2] Setting up program.
* [misc]progress:  [Phase 2 of 3] Improving.
* [enter]simplify:  Simplifying (exp (+ (log a) (log b)))
* * [misc]simplify:  iters left: 4 (6 enodes)
* * [misc]simplify:  iters left: 3 (10 enodes)
* * [misc]simplify:  iters left: 2 (11 enodes)
* [exit]simplify:  Simplified to (* a b)
* * [misc]progress:  iteration 1 / 4
* * * [misc]progress:  picking best candidate
* * * * [misc]pick:  Picked  #<alt-delta (λ (a b) (* a b))>
* * * [misc]progress:  localizing error
* * * [misc]progress:  generating rewritten candidates
* * * [misc]progress:  generating series expansions
* * * [misc]progress:  simplifying candidates
* * * [misc]progress:  adding candidates to table
* [misc]progress:  [Phase 3 of 3] Extracting.
* * * * [misc]points:  Sampling 8010 additional inputs, have 0 / 8000
* * * * [misc]points:  Computing 8010 additional correct outputs
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 6256 additional inputs, have 1754 / 8000
* * * * [misc]points:  Computing 6256 additional correct outputs
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 4888 additional inputs, have 3122 / 8000
* * * * [misc]points:  Computing 4888 additional correct outputs
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 3795 additional inputs, have 4215 / 8000
* * * * [misc]points:  Computing 3795 additional correct outputs
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 2997 additional inputs, have 5013 / 8000
* * * * [misc]points:  Computing 2997 additional correct outputs
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 2341 additional inputs, have 5669 / 8000
* * * * [misc]points:  Computing 2341 additional correct outputs
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 1817 additional inputs, have 6193 / 8000
* * * * [misc]points:  Computing 1817 additional correct outputs
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 1432 additional inputs, have 6578 / 8000
* * * * [misc]points:  Computing 1432 additional correct outputs
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 1121 additional inputs, have 6889 / 8000
* * * * [misc]points:  Computing 1121 additional correct outputs
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 868 additional inputs, have 7142 / 8000
* * * * [misc]points:  Computing 868 additional correct outputs
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 678 additional inputs, have 7332 / 8000
* * * * [misc]points:  Computing 678 additional correct outputs
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 537 additional inputs, have 7473 / 8000
* * * * [misc]points:  Computing 537 additional correct outputs
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 421 additional inputs, have 7589 / 8000
* * * * [misc]points:  Computing 421 additional correct outputs
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 329 additional inputs, have 7681 / 8000
* * * * [misc]points:  Computing 329 additional correct outputs
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 247 additional inputs, have 7763 / 8000
* * * * [misc]points:  Computing 247 additional correct outputs
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 191 additional inputs, have 7819 / 8000
* * * * [misc]points:  Computing 191 additional correct outputs
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 158 additional inputs, have 7852 / 8000
* * * * [misc]points:  Computing 158 additional correct outputs
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 123 additional inputs, have 7887 / 8000
* * * * [misc]points:  Computing 123 additional correct outputs
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 101 additional inputs, have 7909 / 8000
* * * * [misc]points:  Computing 101 additional correct outputs
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 73 additional inputs, have 7937 / 8000
* * * * [misc]points:  Computing 73 additional correct outputs
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 57 additional inputs, have 7953 / 8000
* * * * [misc]points:  Computing 57 additional correct outputs
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 46 additional inputs, have 7964 / 8000
* * * * [misc]points:  Computing 46 additional correct outputs
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 32 additional inputs, have 7978 / 8000
* * * * [misc]points:  Computing 32 additional correct outputs
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 27 additional inputs, have 7983 / 8000
* * * * [misc]points:  Computing 27 additional correct outputs
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 20 additional inputs, have 7990 / 8000
* * * * [misc]points:  Computing 20 additional correct outputs
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 18 additional inputs, have 7992 / 8000
* * * * [misc]points:  Computing 18 additional correct outputs
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 14 additional inputs, have 7996 / 8000
* * * * [misc]points:  Computing 14 additional correct outputs
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 12 additional inputs, have 7998 / 8000
* * * * [misc]points:  Computing 12 additional correct outputs
* * * * [misc]points:  Setting MPFR precision to 128
* * * * [misc]points:  Setting MPFR precision to 384
* * * * [misc]points:  Filtering points with unrepresentable outputs