1538416206.310 * [misc]progress:  [Phase 1 of 3] Setting up.
1538416206.310 * * * [misc]progress:  [1/2] Preparing points
1538416206.310 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1538416206.310 * * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
1538416206.315 * * * * [misc]points:  Setting MPFR precision to 64
1538416206.316 * * * * [misc]points:  Setting MPFR precision to 320
1538416206.317 * * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
1538416206.327 * * * * [misc]points:  Setting MPFR precision to 64
1538416206.328 * * * * [misc]points:  Setting MPFR precision to 320
1538416206.329 * * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
1538416206.338 * * * * [misc]points:  Setting MPFR precision to 64
1538416206.340 * * * * [misc]points:  Setting MPFR precision to 320
1538416206.342 * * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
1538416206.352 * * * * [misc]points:  Setting MPFR precision to 64
1538416206.355 * * * * [misc]points:  Setting MPFR precision to 320
1538416206.358 * * * * [misc]points:  Computing exacts for 256 points
1538416206.379 * * * * [misc]points:  Setting MPFR precision to 64
1538416206.384 * * * * [misc]points:  Setting MPFR precision to 320
1538416206.388 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538416206.388 * * * * [exit]points:  Sampled 256 points with exact outputs
1538416206.388 * * * [misc]progress:  [2/2] Setting up program.
1538416206.391 * [misc]progress:  [Phase 2 of 3] Improving.
1538416206.391 * [enter]simplify:  Simplifying (* 2 (+ (+ (* 1 (/ 1 9)) (* (/ 1 9) (/ 1 9))) (* (/ 1 9) 1)))
1538416206.391 * * [misc]simplify:  iters left: 6 (10 enodes)
1538416206.396 * * [misc]simplify:  iters left: 5 (34 enodes)
1538416206.419 * * [misc]simplify:  iters left: 4 (89 enodes)
1538416206.426 * * [misc]simplify:  iters left: 3 (91 enodes)
1538416206.429 * [exit]simplify:  Simplified to 38/81
1538416206.434 * * [misc]progress:  iteration 1 / 4
1538416206.434 * * * [misc]progress:  picking best candidate
1538416206.436 * * * * [misc]pick:  Picked  #<alt (λ () 38/81)>
1538416206.436 * * * [misc]progress:  localizing error
1538416206.437 * * * [misc]progress:  generating rewritten candidates
1538416206.437 * * * [misc]progress:  generating series expansions
1538416206.437 * * * [misc]progress:  simplifying candidates
1538416206.437 * * * [misc]progress:  adding candidates to table
1538416206.437 * [misc]progress:  [Phase 3 of 3] Extracting.
1538416206.439 * [enter]simplify:  Simplifying 38/81
1538416206.439 * * [misc]simplify:  iters left: 0 (1 enodes)
1538416206.439 * [exit]simplify:  Simplified to 38/81
1538416206.439 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1538416206.443 * * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
1538416206.453 * * * * [misc]points:  Setting MPFR precision to 64
1538416206.453 * * * * [misc]points:  Setting MPFR precision to 320
1538416206.454 * * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
1538416206.464 * * * * [misc]points:  Setting MPFR precision to 64
1538416206.465 * * * * [misc]points:  Setting MPFR precision to 320
1538416206.466 * * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
1538416206.485 * * * * [misc]points:  Setting MPFR precision to 64
1538416206.488 * * * * [misc]points:  Setting MPFR precision to 320
1538416206.490 * * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
1538416206.501 * * * * [misc]points:  Setting MPFR precision to 64
1538416206.505 * * * * [misc]points:  Setting MPFR precision to 320
1538416206.509 * * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
1538416206.518 * * * * [misc]points:  Setting MPFR precision to 64
1538416206.526 * * * * [misc]points:  Setting MPFR precision to 320
1538416206.534 * * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
1538416206.543 * * * * [misc]points:  Setting MPFR precision to 64
1538416206.558 * * * * [misc]points:  Setting MPFR precision to 320
1538416206.574 * * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
1538416206.583 * * * * [misc]points:  Setting MPFR precision to 64
1538416206.614 * * * * [misc]points:  Setting MPFR precision to 320
1538416206.683 * * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
1538416206.693 * * * * [misc]points:  Setting MPFR precision to 64
1538416206.761 * * * * [misc]points:  Setting MPFR precision to 320
1538416206.838 * * * * [misc]points:  Computing exacts for 8000 points
1538416206.843 * * * * [misc]points:  Setting MPFR precision to 64
1538416207.071 * * * * [misc]points:  Setting MPFR precision to 320
1538416207.360 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538416207.363 * * * * [exit]points:  Sampled 8000 points with exact outputs
1538416207.511 * [misc]regime-testing:  Baseline error score: 0
1538416207.511 * [misc]regime-testing:  End program error score: 0
1538416207.513 * [misc]regime-testing:  Oracle error score: 0
1538416207.557 * [misc]regime-testing:  Target error score: 0