* [misc]progress:  [Phase 1 of 3] Setting up.
* * * [misc]progress:  [1/2] Preparing points
* * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
* * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Setting MPFR precision to 832
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 832
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 832
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Setting MPFR precision to 1600
* * * * [misc]points:  Setting MPFR precision to 1856
* * * * [misc]points:  Computing exacts for 256 points
* * * * [misc]points:  Setting MPFR precision to 1600
* * * * [misc]points:  Setting MPFR precision to 1856
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Setting MPFR precision to 2624
* * * * [misc]points:  Setting MPFR precision to 2880
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 84 additional inputs, on iter 1 have 172 / 256
* * * * [misc]points:  Computing exacts on every 5 of 84 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2624
* * * * [misc]points:  Setting MPFR precision to 2880
* * * * [misc]points:  Computing exacts on every 2 of 84 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2624
* * * * [misc]points:  Setting MPFR precision to 2880
* * * * [misc]points:  Computing exacts for 84 points
* * * * [misc]points:  Setting MPFR precision to 2624
* * * * [misc]points:  Setting MPFR precision to 2880
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 28 additional inputs, on iter 2 have 228 / 256
* * * * [misc]points:  Computing exacts for 28 points
* * * * [misc]points:  Setting MPFR precision to 2624
* * * * [misc]points:  Setting MPFR precision to 2880
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 7 additional inputs, on iter 3 have 249 / 256
* * * * [misc]points:  Computing exacts for 7 points
* * * * [misc]points:  Setting MPFR precision to 2624
* * * * [misc]points:  Setting MPFR precision to 2880
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 4 additional inputs, on iter 4 have 252 / 256
* * * * [misc]points:  Computing exacts for 4 points
* * * * [misc]points:  Setting MPFR precision to 2624
* * * * [misc]points:  Setting MPFR precision to 2880
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [exit]points:  Sampled 256 points with exact outputs
* * * [misc]progress:  [2/2] Setting up program.
* [misc]progress:  [Phase 2 of 3] Improving.
* [enter]simplify:  Simplifying (/ (+ (- b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a))
* * [misc]simplify:  iters left: 6 (14 enodes)
* * [misc]simplify:  iters left: 5 (24 enodes)