1552126579.396 * [progress]: [Phase 1 of 3] Setting up.
1552126579.396 * * * [progress]: [1/2] Preparing points
1552126579.397 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
1552126579.398 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
1552126579.401 * * * * [points]: Setting MPFR precision to 64
1552126579.402 * * * * [points]: Setting MPFR precision to 320
1552126579.403 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
1552126579.406 * * * * [points]: Setting MPFR precision to 64
1552126579.408 * * * * [points]: Setting MPFR precision to 320
1552126579.410 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
1552126579.413 * * * * [points]: Setting MPFR precision to 64
1552126579.416 * * * * [points]: Setting MPFR precision to 320
1552126579.420 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
1552126579.423 * * * * [points]: Setting MPFR precision to 64
1552126579.429 * * * * [points]: Setting MPFR precision to 320
1552126579.435 * * * * [points]: Computing exacts for 256 points
1552126579.438 * * * * [points]: Setting MPFR precision to 64
1552126579.453 * * * * [points]: Setting MPFR precision to 320
1552126579.472 * * * * [points]: Filtering points with unrepresentable outputs
1552126579.494 * * * * [points]: Sampling 119 additional inputs, on iter 1 have 137 / 256
1552126579.495 * * * * [points]: Computing exacts on every 7 of 119 points to ramp up precision
1552126579.498 * * * * [points]: Setting MPFR precision to 64
1552126579.499 * * * * [points]: Setting MPFR precision to 320
1552126579.500 * * * * [points]: Computing exacts on every 3 of 119 points to ramp up precision
1552126579.503 * * * * [points]: Setting MPFR precision to 64
1552126579.505 * * * * [points]: Setting MPFR precision to 320
1552126579.507 * * * * [points]: Computing exacts for 119 points
1552126579.509 * * * * [points]: Setting MPFR precision to 64
1552126579.517 * * * * [points]: Setting MPFR precision to 320
1552126579.525 * * * * [points]: Filtering points with unrepresentable outputs
1552126579.530 * * * * [points]: Sampling 48 additional inputs, on iter 2 have 208 / 256
1552126579.530 * * * * [points]: Computing exacts on every 3 of 48 points to ramp up precision
1552126579.533 * * * * [points]: Setting MPFR precision to 64
1552126579.533 * * * * [points]: Setting MPFR precision to 320
1552126579.534 * * * * [points]: Computing exacts for 48 points
1552126579.537 * * * * [points]: Setting MPFR precision to 64
1552126579.540 * * * * [points]: Setting MPFR precision to 320
1552126579.543 * * * * [points]: Filtering points with unrepresentable outputs
1552126579.545 * * * * [points]: Sampling 20 additional inputs, on iter 3 have 236 / 256
1552126579.545 * * * * [points]: Computing exacts for 20 points
1552126579.548 * * * * [points]: Setting MPFR precision to 64
1552126579.549 * * * * [points]: Setting MPFR precision to 320
1552126579.551 * * * * [points]: Filtering points with unrepresentable outputs
1552126579.552 * * * * [points]: Sampling 6 additional inputs, on iter 4 have 250 / 256
1552126579.552 * * * * [points]: Computing exacts for 6 points
1552126579.554 * * * * [points]: Setting MPFR precision to 64
1552126579.555 * * * * [points]: Setting MPFR precision to 320
1552126579.555 * * * * [points]: Filtering points with unrepresentable outputs
1552126579.556 * * * * [points]: Sampling 4 additional inputs, on iter 5 have 255 / 256
1552126579.556 * * * * [points]: Computing exacts for 4 points
1552126579.558 * * * * [points]: Setting MPFR precision to 64
1552126579.559 * * * * [points]: Setting MPFR precision to 320
1552126579.559 * * * * [points]: Filtering points with unrepresentable outputs
1552126579.559 * * * * [points]: Sampled 258 points with exact outputs
1552126579.559 * * * [progress]: [2/2] Setting up program.
1552126579.584 * [progress]: [Phase 2 of 3] Improving.
1552126579.584 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
1552126579.585 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))
1552126579.585 * * [simplify]: iters left: 5 (12 enodes)
1552126579.588 * * [simplify]: iters left: 4 (29 enodes)
1552126579.592 * * [simplify]: iters left: 3 (46 enodes)
1552126579.615 * * [simplify]: iters left: 2 (97 enodes)
1552126579.637 * * [simplify]: iters left: 1 (335 enodes)
1552126579.792 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126579.793 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126579.793 * * [simplify]: Extracting #2: cost 6 inf + 0
1552126579.793 * * [simplify]: Extracting #3: cost 84 inf + 2
1552126579.794 * * [simplify]: Extracting #4: cost 417 inf + 3
1552126579.798 * * [simplify]: Extracting #5: cost 404 inf + 78485
1552126579.814 * * [simplify]: Extracting #6: cost 124 inf + 437558
1552126579.840 * * [simplify]: Extracting #7: cost 5 inf + 645994
1552126579.870 * * [simplify]: Extracting #8: cost 0 inf + 656284
1552126579.898 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) (real->posit16 2.0))
1552126579.898 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) (real->posit16 2.0)))
1552126579.924 * * [progress]: iteration 1 / 4
1552126579.924 * * * [progress]: picking best candidate
1552126579.949 * * * * [pick]: Picked  #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
1552126579.949 * * * [progress]: localizing error
1552126580.197 * * * [progress]: generating rewritten candidates
1552126580.197 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
1552126580.200 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
1552126580.204 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
1552126580.206 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
1552126580.212 * * * [progress]: generating series expansions
1552126580.212 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
1552126580.212 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
1552126580.212 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
1552126580.212 * * * * [progress]: [ 4 / 4 ] generating series at (2)
1552126580.212 * * * [progress]: simplifying candidates
1552126580.212 * * * * [progress]: [ 1 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
1552126580.212 * [simplify]: Simplifying (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))
1552126580.212 * * [simplify]: iters left: 2 (5 enodes)
1552126580.213 * * [simplify]: iters left: 1 (19 enodes)
1552126580.216 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126580.216 * * [simplify]: Extracting #1: cost 8 inf + 0
1552126580.216 * * [simplify]: Extracting #2: cost 16 inf + 0
1552126580.217 * * [simplify]: Extracting #3: cost 16 inf + 1766
1552126580.217 * * [simplify]: Extracting #4: cost 6 inf + 6819
1552126580.217 * * [simplify]: Extracting #5: cost 1 inf + 12227
1552126580.217 * * [simplify]: Extracting #6: cost 0 inf + 13549
1552126580.218 * [simplify]: Simplified to (*.p16 (-.p16 beta alpha) (+.p16 alpha beta))
1552126580.218 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
1552126580.218 * * * * [progress]: [ 2 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) (real->posit16 2.0)))>
1552126580.218 * * * * [progress]: [ 3 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))>
1552126580.218 * * * * [progress]: [ 4 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (real->posit16 2.0) (+.p16 alpha beta))) (real->posit16 1.0)) (real->posit16 2.0)))>
1552126580.218 * * * * [progress]: [ 5 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
1552126580.218 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))
1552126580.218 * * [simplify]: iters left: 5 (12 enodes)
1552126580.221 * * [simplify]: iters left: 4 (29 enodes)
1552126580.226 * * [simplify]: iters left: 3 (46 enodes)
1552126580.234 * * [simplify]: iters left: 2 (97 enodes)
1552126580.261 * * [simplify]: iters left: 1 (335 enodes)
1552126580.415 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126580.415 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126580.415 * * [simplify]: Extracting #2: cost 6 inf + 0
1552126580.415 * * [simplify]: Extracting #3: cost 84 inf + 2
1552126580.416 * * [simplify]: Extracting #4: cost 417 inf + 3
1552126580.424 * * [simplify]: Extracting #5: cost 404 inf + 78485
1552126580.441 * * [simplify]: Extracting #6: cost 124 inf + 437558
1552126580.467 * * [simplify]: Extracting #7: cost 5 inf + 645994
1552126580.495 * * [simplify]: Extracting #8: cost 0 inf + 656284
1552126580.523 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) (real->posit16 2.0))
1552126580.523 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) (real->posit16 2.0)))
1552126580.524 * * * * [progress]: [ 6 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
1552126580.524 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))
1552126580.524 * * [simplify]: iters left: 5 (12 enodes)
1552126580.527 * * [simplify]: iters left: 4 (29 enodes)
1552126580.532 * * [simplify]: iters left: 3 (46 enodes)
1552126580.540 * * [simplify]: iters left: 2 (97 enodes)
1552126580.561 * * [simplify]: iters left: 1 (335 enodes)
1552126580.726 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126580.726 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126580.726 * * [simplify]: Extracting #2: cost 6 inf + 0
1552126580.726 * * [simplify]: Extracting #3: cost 84 inf + 2
1552126580.728 * * [simplify]: Extracting #4: cost 417 inf + 3
1552126580.732 * * [simplify]: Extracting #5: cost 404 inf + 78485
1552126580.748 * * [simplify]: Extracting #6: cost 124 inf + 437558
1552126580.778 * * [simplify]: Extracting #7: cost 5 inf + 645994
1552126580.806 * * [simplify]: Extracting #8: cost 0 inf + 656284
1552126580.834 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) (real->posit16 2.0))
1552126580.835 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) (real->posit16 2.0)))
1552126580.835 * * * * [progress]: [ 7 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
1552126580.835 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))
1552126580.835 * * [simplify]: iters left: 5 (12 enodes)
1552126580.838 * * [simplify]: iters left: 4 (29 enodes)
1552126580.843 * * [simplify]: iters left: 3 (46 enodes)
1552126580.852 * * [simplify]: iters left: 2 (97 enodes)
1552126580.874 * * [simplify]: iters left: 1 (335 enodes)
1552126581.082 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126581.082 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126581.082 * * [simplify]: Extracting #2: cost 6 inf + 0
1552126581.083 * * [simplify]: Extracting #3: cost 84 inf + 2
1552126581.085 * * [simplify]: Extracting #4: cost 417 inf + 3
1552126581.090 * * [simplify]: Extracting #5: cost 404 inf + 78485
1552126581.106 * * [simplify]: Extracting #6: cost 124 inf + 437558
1552126581.132 * * [simplify]: Extracting #7: cost 5 inf + 645994
1552126581.163 * * [simplify]: Extracting #8: cost 0 inf + 656284
1552126581.216 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) (real->posit16 2.0))
1552126581.216 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) (real->posit16 2.0)))
1552126581.216 * * * * [progress]: [ 8 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
1552126581.216 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))
1552126581.216 * * [simplify]: iters left: 5 (12 enodes)
1552126581.219 * * [simplify]: iters left: 4 (29 enodes)
1552126581.224 * * [simplify]: iters left: 3 (46 enodes)
1552126581.232 * * [simplify]: iters left: 2 (97 enodes)
1552126581.254 * * [simplify]: iters left: 1 (335 enodes)
1552126581.419 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126581.419 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126581.419 * * [simplify]: Extracting #2: cost 6 inf + 0
1552126581.419 * * [simplify]: Extracting #3: cost 84 inf + 2
1552126581.420 * * [simplify]: Extracting #4: cost 417 inf + 3
1552126581.424 * * [simplify]: Extracting #5: cost 404 inf + 78485
1552126581.444 * * [simplify]: Extracting #6: cost 124 inf + 437558
1552126581.483 * * [simplify]: Extracting #7: cost 5 inf + 645994
1552126581.510 * * [simplify]: Extracting #8: cost 0 inf + 656284
1552126581.546 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) (real->posit16 2.0))
1552126581.546 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) (real->posit16 2.0)))
1552126581.546 * * * [progress]: adding candidates to table
1552126582.066 * * [progress]: iteration 2 / 4
1552126582.066 * * * [progress]: picking best candidate
1552126582.152 * * * * [pick]: Picked  #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))>
1552126582.152 * * * [progress]: localizing error
1552126582.442 * * * [progress]: generating rewritten candidates
1552126582.442 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
1552126582.447 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
1552126582.455 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
1552126582.459 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
1552126582.471 * * * [progress]: generating series expansions
1552126582.471 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
1552126582.471 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
1552126582.471 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
1552126582.471 * * * * [progress]: [ 4 / 4 ] generating series at (2)
1552126582.471 * * * [progress]: simplifying candidates
1552126582.471 * * * * [progress]: [ 1 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
1552126582.472 * [simplify]: Simplifying (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))
1552126582.472 * * [simplify]: iters left: 2 (5 enodes)
1552126582.474 * * [simplify]: iters left: 1 (19 enodes)
1552126582.481 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126582.481 * * [simplify]: Extracting #1: cost 8 inf + 0
1552126582.481 * * [simplify]: Extracting #2: cost 16 inf + 0
1552126582.482 * * [simplify]: Extracting #3: cost 16 inf + 1766
1552126582.482 * * [simplify]: Extracting #4: cost 6 inf + 6819
1552126582.483 * * [simplify]: Extracting #5: cost 1 inf + 12227
1552126582.483 * * [simplify]: Extracting #6: cost 0 inf + 13549
1552126582.484 * [simplify]: Simplified to (*.p16 (-.p16 beta alpha) (+.p16 alpha beta))
1552126582.484 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
1552126582.484 * * * * [progress]: [ 2 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0))))) (real->posit16 2.0)))>
1552126582.484 * * * * [progress]: [ 3 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
1552126582.485 * [simplify]: Simplifying (real->posit16 2.0)
1552126582.485 * * [simplify]: iters left: 1 (2 enodes)
1552126582.486 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126582.486 * * [simplify]: Extracting #1: cost 2 inf + 0
1552126582.486 * * [simplify]: Extracting #2: cost 1 inf + 1
1552126582.486 * * [simplify]: Extracting #3: cost 0 inf + 2
1552126582.486 * [simplify]: Simplified to (real->posit16 2.0)
1552126582.487 * [simplify]: Simplified (2 1 1 2 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))
1552126582.487 * * * * [progress]: [ 4 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 beta (real->posit16 2.0)) alpha)) (real->posit16 1.0)) (real->posit16 2.0)))>
1552126582.487 * * * * [progress]: [ 5 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))>
1552126582.487 * * * * [progress]: [ 6 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))>
1552126582.487 * * * * [progress]: [ 7 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))>
1552126582.487 * * * * [progress]: [ 8 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))>
1552126582.487 * * * [progress]: adding candidates to table
1552126583.045 * * [progress]: iteration 3 / 4
1552126583.045 * * * [progress]: picking best candidate
1552126583.091 * * * * [pick]: Picked  #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
1552126583.091 * * * [progress]: localizing error
1552126583.448 * * * [progress]: generating rewritten candidates
1552126583.448 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
1552126583.456 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
1552126583.467 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1)
1552126583.470 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2)
1552126583.476 * * * [progress]: generating series expansions
1552126583.476 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
1552126583.476 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
1552126583.477 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1)
1552126583.477 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2)
1552126583.477 * * * [progress]: simplifying candidates
1552126583.477 * * * * [progress]: [ 1 / 14 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (+.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))>
1552126583.477 * [simplify]: Simplifying (+.p16 beta alpha)
1552126583.477 * * [simplify]: iters left: 1 (3 enodes)
1552126583.478 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126583.478 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126583.478 * * [simplify]: Extracting #2: cost 1 inf + 2
1552126583.478 * * [simplify]: Extracting #3: cost 0 inf + 44
1552126583.479 * [simplify]: Simplified to (+.p16 alpha beta)
1552126583.479 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (+.p16 alpha beta)) (real->posit16 1.0)) (real->posit16 2.0)))
1552126583.479 * * * * [progress]: [ 2 / 14 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (/.p16 (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha)) (+.p16 alpha beta))) (real->posit16 1.0)) (real->posit16 2.0)))>
1552126583.479 * [simplify]: Simplifying (-.p16 beta alpha)
1552126583.479 * * [simplify]: iters left: 1 (3 enodes)
1552126583.491 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126583.491 * * [simplify]: Extracting #1: cost 6 inf + 0
1552126583.491 * * [simplify]: Extracting #2: cost 5 inf + 44
1552126583.491 * * [simplify]: Extracting #3: cost 0 inf + 1571
1552126583.491 * [simplify]: Simplified to (-.p16 beta alpha)
1552126583.491 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (/.p16 (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha)) (+.p16 alpha beta))) (real->posit16 1.0)) (real->posit16 2.0)))
1552126583.492 * * * * [progress]: [ 3 / 14 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (+.p16 alpha beta)) (*.p16 (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
1552126583.492 * [simplify]: Simplifying (*.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (+.p16 alpha beta))
1552126583.492 * * [simplify]: iters left: 3 (7 enodes)
1552126583.495 * * [simplify]: iters left: 2 (28 enodes)
1552126583.506 * * [simplify]: iters left: 1 (79 enodes)
1552126583.544 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126583.544 * * [simplify]: Extracting #1: cost 23 inf + 0
1552126583.545 * * [simplify]: Extracting #2: cost 63 inf + 0
1552126583.545 * * [simplify]: Extracting #3: cost 75 inf + 1531
1552126583.548 * * [simplify]: Extracting #4: cost 37 inf + 47856
1552126583.553 * * [simplify]: Extracting #5: cost 1 inf + 91596
1552126583.560 * * [simplify]: Extracting #6: cost 0 inf + 94238
1552126583.566 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (-.p16 beta alpha))
1552126583.566 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (-.p16 beta alpha)) (*.p16 (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
1552126583.566 * * * * [progress]: [ 4 / 14 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (/.p16 (+.p16 alpha beta) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
1552126583.567 * [simplify]: Simplifying (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0))))
1552126583.567 * * [simplify]: iters left: 4 (8 enodes)
1552126583.571 * * [simplify]: iters left: 3 (24 enodes)
1552126583.580 * * [simplify]: iters left: 2 (40 enodes)
1552126583.593 * * [simplify]: iters left: 1 (73 enodes)
1552126583.622 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126583.622 * * [simplify]: Extracting #1: cost 10 inf + 0
1552126583.622 * * [simplify]: Extracting #2: cost 57 inf + 0
1552126583.623 * * [simplify]: Extracting #3: cost 81 inf + 2
1552126583.624 * * [simplify]: Extracting #4: cost 58 inf + 14591
1552126583.627 * * [simplify]: Extracting #5: cost 9 inf + 56006
1552126583.633 * * [simplify]: Extracting #6: cost 0 inf + 70542
1552126583.640 * [simplify]: Simplified to (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 beta (real->posit16 2.0)) alpha))
1552126583.640 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 beta (real->posit16 2.0)) alpha)) (/.p16 (+.p16 alpha beta) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
1552126583.641 * [simplify]: Simplifying (/.p16 (+.p16 alpha beta) (+.p16 beta alpha))
1552126583.641 * * [simplify]: iters left: 2 (5 enodes)
1552126583.643 * * [simplify]: iters left: 1 (9 enodes)
1552126583.645 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126583.645 * * [simplify]: Extracting #1: cost 2 inf + 0
1552126583.645 * * [simplify]: Extracting #2: cost 4 inf + 0
1552126583.645 * * [simplify]: Extracting #3: cost 2 inf + 2
1552126583.645 * * [simplify]: Extracting #4: cost 0 inf + 526
1552126583.645 * [simplify]: Simplified to (/.p16 (+.p16 beta alpha) (+.p16 beta alpha))
1552126583.646 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (/.p16 (+.p16 beta alpha) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
1552126583.646 * * * * [progress]: [ 5 / 14 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha)))) (real->posit16 2.0)))>
1552126583.646 * * * * [progress]: [ 6 / 14 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
1552126583.646 * [simplify]: Simplifying (real->posit16 2.0)
1552126583.646 * * [simplify]: iters left: 1 (2 enodes)
1552126583.648 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126583.648 * * [simplify]: Extracting #1: cost 2 inf + 0
1552126583.648 * * [simplify]: Extracting #2: cost 1 inf + 1
1552126583.648 * * [simplify]: Extracting #3: cost 0 inf + 2
1552126583.648 * [simplify]: Simplified to (real->posit16 2.0)
1552126583.648 * [simplify]: Simplified (2 1 1 2 1 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
1552126583.648 * * * * [progress]: [ 7 / 14 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 beta (real->posit16 2.0)) alpha) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
1552126583.648 * * * * [progress]: [ 8 / 14 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) beta) (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
1552126583.649 * [simplify]: Simplifying (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) alpha)
1552126583.649 * * [simplify]: iters left: 4 (7 enodes)
1552126583.652 * * [simplify]: iters left: 3 (17 enodes)
1552126583.658 * * [simplify]: iters left: 2 (36 enodes)
1552126583.671 * * [simplify]: iters left: 1 (55 enodes)
1552126583.689 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126583.689 * * [simplify]: Extracting #1: cost 9 inf + 0
1552126583.689 * * [simplify]: Extracting #2: cost 13 inf + 1
1552126583.690 * * [simplify]: Extracting #3: cost 11 inf + 365
1552126583.690 * * [simplify]: Extracting #4: cost 5 inf + 1176
1552126583.691 * * [simplify]: Extracting #5: cost 0 inf + 2668
1552126583.691 * [simplify]: Simplified to (*.p16 alpha (+.p16 (real->posit16 2.0) (+.p16 beta alpha)))
1552126583.691 * [simplify]: Simplified (2 1 1 2 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) beta) (*.p16 alpha (+.p16 (real->posit16 2.0) (+.p16 beta alpha))))) (real->posit16 1.0)) (real->posit16 2.0)))
1552126583.691 * * * * [progress]: [ 9 / 14 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (*.p16 beta (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (*.p16 alpha (+.p16 alpha (+.p16 beta (real->posit16 2.0)))))) (real->posit16 1.0)) (real->posit16 2.0)))>
1552126583.692 * [simplify]: Simplifying (*.p16 alpha (+.p16 alpha (+.p16 beta (real->posit16 2.0))))
1552126583.692 * * [simplify]: iters left: 4 (7 enodes)
1552126583.696 * * [simplify]: iters left: 3 (22 enodes)
1552126583.704 * * [simplify]: iters left: 2 (42 enodes)
1552126583.719 * * [simplify]: iters left: 1 (65 enodes)
1552126583.738 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126583.738 * * [simplify]: Extracting #1: cost 9 inf + 0
1552126583.738 * * [simplify]: Extracting #2: cost 13 inf + 1
1552126583.738 * * [simplify]: Extracting #3: cost 12 inf + 323
1552126583.738 * * [simplify]: Extracting #4: cost 7 inf + 772
1552126583.739 * * [simplify]: Extracting #5: cost 1 inf + 2305
1552126583.739 * * [simplify]: Extracting #6: cost 0 inf + 2668
1552126583.740 * [simplify]: Simplified to (*.p16 alpha (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))
1552126583.740 * [simplify]: Simplified (2 1 1 2 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (*.p16 beta (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (*.p16 alpha (+.p16 (+.p16 beta alpha) (real->posit16 2.0))))) (real->posit16 1.0)) (real->posit16 2.0)))
1552126583.740 * * * * [progress]: [ 10 / 14 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0))))) (real->posit16 1.0)) (real->posit16 2.0)))>
1552126583.740 * * * * [progress]: [ 11 / 14 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
1552126583.741 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))
1552126583.741 * * [simplify]: iters left: 6 (16 enodes)
1552126583.749 * * [simplify]: iters left: 5 (53 enodes)
1552126583.772 * * [simplify]: iters left: 4 (150 enodes)
1552126583.853 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126583.853 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126583.853 * * [simplify]: Extracting #2: cost 6 inf + 0
1552126583.854 * * [simplify]: Extracting #3: cost 33 inf + 2
1552126583.854 * * [simplify]: Extracting #4: cost 101 inf + 4
1552126583.854 * * [simplify]: Extracting #5: cost 106 inf + 5843
1552126583.857 * * [simplify]: Extracting #6: cost 58 inf + 70736
1552126583.863 * * [simplify]: Extracting #7: cost 0 inf + 127016
1552126583.868 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (real->posit16 2.0) (+.p16 alpha beta)))) (real->posit16 2.0))
1552126583.868 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (real->posit16 2.0) (+.p16 alpha beta)))) (real->posit16 2.0)))
1552126583.868 * * * * [progress]: [ 12 / 14 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
1552126583.869 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))
1552126583.869 * * [simplify]: iters left: 6 (16 enodes)
1552126583.873 * * [simplify]: iters left: 5 (53 enodes)
1552126583.886 * * [simplify]: iters left: 4 (150 enodes)
1552126583.927 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126583.927 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126583.927 * * [simplify]: Extracting #2: cost 6 inf + 0
1552126583.927 * * [simplify]: Extracting #3: cost 33 inf + 2
1552126583.927 * * [simplify]: Extracting #4: cost 101 inf + 4
1552126583.928 * * [simplify]: Extracting #5: cost 106 inf + 5843
1552126583.931 * * [simplify]: Extracting #6: cost 58 inf + 70736
1552126583.936 * * [simplify]: Extracting #7: cost 0 inf + 127016
1552126583.943 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (real->posit16 2.0) (+.p16 alpha beta)))) (real->posit16 2.0))
1552126583.943 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (real->posit16 2.0) (+.p16 alpha beta)))) (real->posit16 2.0)))
1552126583.943 * * * * [progress]: [ 13 / 14 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
1552126583.944 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))
1552126583.944 * * [simplify]: iters left: 6 (16 enodes)
1552126583.955 * * [simplify]: iters left: 5 (53 enodes)
1552126583.970 * * [simplify]: iters left: 4 (150 enodes)
1552126584.030 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126584.030 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126584.030 * * [simplify]: Extracting #2: cost 6 inf + 0
1552126584.030 * * [simplify]: Extracting #3: cost 33 inf + 2
1552126584.030 * * [simplify]: Extracting #4: cost 101 inf + 4
1552126584.032 * * [simplify]: Extracting #5: cost 106 inf + 5843
1552126584.038 * * [simplify]: Extracting #6: cost 58 inf + 70736
1552126584.048 * * [simplify]: Extracting #7: cost 0 inf + 127016
1552126584.057 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (real->posit16 2.0) (+.p16 alpha beta)))) (real->posit16 2.0))
1552126584.057 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (real->posit16 2.0) (+.p16 alpha beta)))) (real->posit16 2.0)))
1552126584.057 * * * * [progress]: [ 14 / 14 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
1552126584.057 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))
1552126584.057 * * [simplify]: iters left: 6 (16 enodes)
1552126584.061 * * [simplify]: iters left: 5 (53 enodes)
1552126584.072 * * [simplify]: iters left: 4 (150 enodes)
1552126584.115 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126584.115 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126584.115 * * [simplify]: Extracting #2: cost 6 inf + 0
1552126584.116 * * [simplify]: Extracting #3: cost 33 inf + 2
1552126584.116 * * [simplify]: Extracting #4: cost 101 inf + 4
1552126584.117 * * [simplify]: Extracting #5: cost 106 inf + 5843
1552126584.122 * * [simplify]: Extracting #6: cost 58 inf + 70736
1552126584.127 * * [simplify]: Extracting #7: cost 0 inf + 127016
1552126584.133 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (real->posit16 2.0) (+.p16 alpha beta)))) (real->posit16 2.0))
1552126584.133 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (real->posit16 2.0) (+.p16 alpha beta)))) (real->posit16 2.0)))
1552126584.133 * * * [progress]: adding candidates to table
1552126585.270 * * [progress]: iteration 4 / 4
1552126585.270 * * * [progress]: picking best candidate
1552126585.385 * * * * [pick]: Picked  #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) beta) (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
1552126585.386 * * * [progress]: localizing error
1552126585.585 * * * [progress]: generating rewritten candidates
1552126585.585 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
1552126585.588 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
1552126585.594 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
1552126585.597 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1)
1552126585.606 * * * [progress]: generating series expansions
1552126585.606 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
1552126585.606 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
1552126585.606 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
1552126585.606 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1)
1552126585.606 * * * [progress]: simplifying candidates
1552126585.606 * * * * [progress]: [ 1 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (+.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))>
1552126585.606 * [simplify]: Simplifying (+.p16 beta alpha)
1552126585.607 * * [simplify]: iters left: 1 (3 enodes)
1552126585.607 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126585.607 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126585.607 * * [simplify]: Extracting #2: cost 1 inf + 2
1552126585.607 * * [simplify]: Extracting #3: cost 0 inf + 44
1552126585.607 * [simplify]: Simplified to (+.p16 alpha beta)
1552126585.607 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (+.p16 alpha beta)) (real->posit16 1.0)) (real->posit16 2.0)))
1552126585.607 * * * * [progress]: [ 2 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (+.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))>
1552126585.608 * [simplify]: Simplifying (+.p16 beta alpha)
1552126585.608 * * [simplify]: iters left: 1 (3 enodes)
1552126585.608 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126585.608 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126585.608 * * [simplify]: Extracting #2: cost 1 inf + 2
1552126585.608 * * [simplify]: Extracting #3: cost 0 inf + 44
1552126585.608 * [simplify]: Simplified to (+.p16 alpha beta)
1552126585.608 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (+.p16 alpha beta)) (real->posit16 1.0)) (real->posit16 2.0)))
1552126585.608 * * * * [progress]: [ 3 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (/.p16 (+.p16 (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) beta) (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) alpha)) (+.p16 alpha beta))) (real->posit16 1.0)) (real->posit16 2.0)))>
1552126585.609 * [simplify]: Simplifying (-.p16 beta alpha)
1552126585.609 * * [simplify]: iters left: 1 (3 enodes)
1552126585.609 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126585.609 * * [simplify]: Extracting #1: cost 6 inf + 0
1552126585.609 * * [simplify]: Extracting #2: cost 5 inf + 44
1552126585.609 * * [simplify]: Extracting #3: cost 0 inf + 1571
1552126585.609 * [simplify]: Simplified to (-.p16 beta alpha)
1552126585.609 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (/.p16 (+.p16 (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) beta) (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) alpha)) (+.p16 alpha beta))) (real->posit16 1.0)) (real->posit16 2.0)))
1552126585.610 * * * * [progress]: [ 4 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (+.p16 alpha beta)) (*.p16 (+.p16 (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) beta) (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) alpha)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
1552126585.610 * [simplify]: Simplifying (*.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (+.p16 alpha beta))
1552126585.610 * * [simplify]: iters left: 3 (7 enodes)
1552126585.611 * * [simplify]: iters left: 2 (28 enodes)
1552126585.616 * * [simplify]: iters left: 1 (79 enodes)
1552126585.634 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126585.634 * * [simplify]: Extracting #1: cost 23 inf + 0
1552126585.634 * * [simplify]: Extracting #2: cost 63 inf + 0
1552126585.634 * * [simplify]: Extracting #3: cost 75 inf + 1531
1552126585.635 * * [simplify]: Extracting #4: cost 37 inf + 47856
1552126585.638 * * [simplify]: Extracting #5: cost 1 inf + 91596
1552126585.641 * * [simplify]: Extracting #6: cost 0 inf + 94238
1552126585.644 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (-.p16 beta alpha))
1552126585.644 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (-.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) beta) (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) alpha)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
1552126585.644 * * * * [progress]: [ 5 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (/.p16 (+.p16 alpha beta) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
1552126585.644 * [simplify]: Simplifying (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0))))
1552126585.644 * * [simplify]: iters left: 4 (8 enodes)
1552126585.646 * * [simplify]: iters left: 3 (24 enodes)
1552126585.650 * * [simplify]: iters left: 2 (40 enodes)
1552126585.659 * * [simplify]: iters left: 1 (73 enodes)
1552126585.686 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126585.687 * * [simplify]: Extracting #1: cost 10 inf + 0
1552126585.687 * * [simplify]: Extracting #2: cost 57 inf + 0
1552126585.687 * * [simplify]: Extracting #3: cost 81 inf + 2
1552126585.688 * * [simplify]: Extracting #4: cost 58 inf + 14591
1552126585.692 * * [simplify]: Extracting #5: cost 9 inf + 56006
1552126585.701 * * [simplify]: Extracting #6: cost 0 inf + 70542
1552126585.707 * [simplify]: Simplified to (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 beta (real->posit16 2.0)) alpha))
1552126585.707 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 beta (real->posit16 2.0)) alpha)) (/.p16 (+.p16 alpha beta) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
1552126585.707 * [simplify]: Simplifying (/.p16 (+.p16 alpha beta) (+.p16 beta alpha))
1552126585.707 * * [simplify]: iters left: 2 (5 enodes)
1552126585.709 * * [simplify]: iters left: 1 (9 enodes)
1552126585.711 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126585.711 * * [simplify]: Extracting #1: cost 2 inf + 0
1552126585.712 * * [simplify]: Extracting #2: cost 4 inf + 0
1552126585.712 * * [simplify]: Extracting #3: cost 2 inf + 2
1552126585.712 * * [simplify]: Extracting #4: cost 0 inf + 526
1552126585.712 * [simplify]: Simplified to (/.p16 (+.p16 beta alpha) (+.p16 beta alpha))
1552126585.712 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (/.p16 (+.p16 beta alpha) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
1552126585.712 * * * * [progress]: [ 6 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (/.p16 (+.p16 alpha beta) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
1552126585.712 * [simplify]: Simplifying (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0))))
1552126585.712 * * [simplify]: iters left: 4 (8 enodes)
1552126585.716 * * [simplify]: iters left: 3 (24 enodes)
1552126585.724 * * [simplify]: iters left: 2 (40 enodes)
1552126585.738 * * [simplify]: iters left: 1 (73 enodes)
1552126585.762 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126585.762 * * [simplify]: Extracting #1: cost 10 inf + 0
1552126585.762 * * [simplify]: Extracting #2: cost 57 inf + 0
1552126585.762 * * [simplify]: Extracting #3: cost 81 inf + 2
1552126585.763 * * [simplify]: Extracting #4: cost 58 inf + 14591
1552126585.765 * * [simplify]: Extracting #5: cost 9 inf + 56006
1552126585.767 * * [simplify]: Extracting #6: cost 0 inf + 70542
1552126585.770 * [simplify]: Simplified to (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 beta (real->posit16 2.0)) alpha))
1552126585.770 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 beta (real->posit16 2.0)) alpha)) (/.p16 (+.p16 alpha beta) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
1552126585.770 * [simplify]: Simplifying (/.p16 (+.p16 alpha beta) (+.p16 beta alpha))
1552126585.770 * * [simplify]: iters left: 2 (5 enodes)
1552126585.771 * * [simplify]: iters left: 1 (9 enodes)
1552126585.772 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126585.772 * * [simplify]: Extracting #1: cost 2 inf + 0
1552126585.772 * * [simplify]: Extracting #2: cost 4 inf + 0
1552126585.772 * * [simplify]: Extracting #3: cost 2 inf + 2
1552126585.772 * * [simplify]: Extracting #4: cost 0 inf + 526
1552126585.772 * [simplify]: Simplified to (/.p16 (+.p16 beta alpha) (+.p16 beta alpha))
1552126585.772 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (/.p16 (+.p16 beta alpha) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
1552126585.773 * * * * [progress]: [ 7 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) beta) (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) alpha)))) (real->posit16 2.0)))>
1552126585.773 * * * * [progress]: [ 8 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
1552126585.773 * [simplify]: Simplifying (+.p16 alpha (+.p16 beta (real->posit16 2.0)))
1552126585.773 * * [simplify]: iters left: 3 (6 enodes)
1552126585.774 * * [simplify]: iters left: 2 (15 enodes)
1552126585.777 * * [simplify]: iters left: 1 (21 enodes)
1552126585.780 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126585.780 * * [simplify]: Extracting #1: cost 7 inf + 0
1552126585.781 * * [simplify]: Extracting #2: cost 6 inf + 2
1552126585.781 * * [simplify]: Extracting #3: cost 4 inf + 45
1552126585.781 * * [simplify]: Extracting #4: cost 1 inf + 171
1552126585.781 * * [simplify]: Extracting #5: cost 0 inf + 213
1552126585.781 * [simplify]: Simplified to (+.p16 (+.p16 beta alpha) (real->posit16 2.0))
1552126585.781 * [simplify]: Simplified (2 1 1 2 1) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 beta alpha) (real->posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
1552126585.781 * [simplify]: Simplifying (+.p16 beta alpha)
1552126585.781 * * [simplify]: iters left: 1 (3 enodes)
1552126585.782 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126585.782 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126585.782 * * [simplify]: Extracting #2: cost 1 inf + 2
1552126585.782 * * [simplify]: Extracting #3: cost 0 inf + 44
1552126585.782 * [simplify]: Simplified to (+.p16 alpha beta)
1552126585.782 * [simplify]: Simplified (2 1 1 2 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 beta alpha) (real->posit16 2.0)) (+.p16 alpha beta))) (real->posit16 1.0)) (real->posit16 2.0)))
1552126585.782 * * * * [progress]: [ 9 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
1552126585.782 * [simplify]: Simplifying (+.p16 alpha (+.p16 beta (real->posit16 2.0)))
1552126585.783 * * [simplify]: iters left: 3 (6 enodes)
1552126585.784 * * [simplify]: iters left: 2 (15 enodes)
1552126585.787 * * [simplify]: iters left: 1 (21 enodes)
1552126585.790 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126585.790 * * [simplify]: Extracting #1: cost 7 inf + 0
1552126585.790 * * [simplify]: Extracting #2: cost 6 inf + 2
1552126585.790 * * [simplify]: Extracting #3: cost 4 inf + 45
1552126585.790 * * [simplify]: Extracting #4: cost 1 inf + 171
1552126585.790 * * [simplify]: Extracting #5: cost 0 inf + 213
1552126585.790 * [simplify]: Simplified to (+.p16 (+.p16 beta alpha) (real->posit16 2.0))
1552126585.790 * [simplify]: Simplified (2 1 1 2 1) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 beta alpha) (real->posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
1552126585.791 * [simplify]: Simplifying (+.p16 beta alpha)
1552126585.791 * * [simplify]: iters left: 1 (3 enodes)
1552126585.791 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126585.791 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126585.791 * * [simplify]: Extracting #2: cost 1 inf + 2
1552126585.791 * * [simplify]: Extracting #3: cost 0 inf + 44
1552126585.791 * [simplify]: Simplified to (+.p16 alpha beta)
1552126585.791 * [simplify]: Simplified (2 1 1 2 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 beta alpha) (real->posit16 2.0)) (+.p16 alpha beta))) (real->posit16 1.0)) (real->posit16 2.0)))
1552126585.791 * * * * [progress]: [ 10 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) alpha) (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) beta))) (real->posit16 1.0)) (real->posit16 2.0)))>
1552126585.792 * * * * [progress]: [ 11 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (*.p16 beta (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
1552126585.792 * * * * [progress]: [ 12 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) beta) (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
1552126585.792 * [simplify]: Simplifying (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) alpha)
1552126585.792 * * [simplify]: iters left: 4 (7 enodes)
1552126585.794 * * [simplify]: iters left: 3 (17 enodes)
1552126585.797 * * [simplify]: iters left: 2 (36 enodes)
1552126585.804 * * [simplify]: iters left: 1 (55 enodes)
1552126585.813 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126585.813 * * [simplify]: Extracting #1: cost 9 inf + 0
1552126585.813 * * [simplify]: Extracting #2: cost 13 inf + 1
1552126585.813 * * [simplify]: Extracting #3: cost 11 inf + 365
1552126585.813 * * [simplify]: Extracting #4: cost 5 inf + 1176
1552126585.813 * * [simplify]: Extracting #5: cost 0 inf + 2668
1552126585.814 * [simplify]: Simplified to (*.p16 alpha (+.p16 (real->posit16 2.0) (+.p16 beta alpha)))
1552126585.814 * [simplify]: Simplified (2 1 1 2 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) beta) (*.p16 alpha (+.p16 (real->posit16 2.0) (+.p16 beta alpha))))) (real->posit16 1.0)) (real->posit16 2.0)))
1552126585.814 * * * * [progress]: [ 13 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) beta) (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
1552126585.814 * [simplify]: Simplifying (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) alpha)
1552126585.814 * * [simplify]: iters left: 4 (7 enodes)
1552126585.816 * * [simplify]: iters left: 3 (17 enodes)
1552126585.819 * * [simplify]: iters left: 2 (36 enodes)
1552126585.825 * * [simplify]: iters left: 1 (55 enodes)
1552126585.834 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126585.834 * * [simplify]: Extracting #1: cost 9 inf + 0
1552126585.834 * * [simplify]: Extracting #2: cost 13 inf + 1
1552126585.834 * * [simplify]: Extracting #3: cost 11 inf + 365
1552126585.834 * * [simplify]: Extracting #4: cost 5 inf + 1176
1552126585.834 * * [simplify]: Extracting #5: cost 0 inf + 2668
1552126585.835 * [simplify]: Simplified to (*.p16 alpha (+.p16 (real->posit16 2.0) (+.p16 beta alpha)))
1552126585.835 * [simplify]: Simplified (2 1 1 2 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) beta) (*.p16 alpha (+.p16 (real->posit16 2.0) (+.p16 beta alpha))))) (real->posit16 1.0)) (real->posit16 2.0)))
1552126585.835 * * * * [progress]: [ 14 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) beta) (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
1552126585.835 * [simplify]: Simplifying (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) alpha)
1552126585.835 * * [simplify]: iters left: 4 (7 enodes)
1552126585.837 * * [simplify]: iters left: 3 (17 enodes)
1552126585.840 * * [simplify]: iters left: 2 (36 enodes)
1552126585.846 * * [simplify]: iters left: 1 (55 enodes)
1552126585.855 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126585.855 * * [simplify]: Extracting #1: cost 9 inf + 0
1552126585.855 * * [simplify]: Extracting #2: cost 13 inf + 1
1552126585.855 * * [simplify]: Extracting #3: cost 11 inf + 365
1552126585.855 * * [simplify]: Extracting #4: cost 5 inf + 1176
1552126585.855 * * [simplify]: Extracting #5: cost 0 inf + 2668
1552126585.856 * [simplify]: Simplified to (*.p16 alpha (+.p16 (real->posit16 2.0) (+.p16 beta alpha)))
1552126585.856 * [simplify]: Simplified (2 1 1 2 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) beta) (*.p16 alpha (+.p16 (real->posit16 2.0) (+.p16 beta alpha))))) (real->posit16 1.0)) (real->posit16 2.0)))
1552126585.856 * * * * [progress]: [ 15 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) beta) (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
1552126585.856 * [simplify]: Simplifying (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) alpha)
1552126585.856 * * [simplify]: iters left: 4 (7 enodes)
1552126585.858 * * [simplify]: iters left: 3 (17 enodes)
1552126585.860 * * [simplify]: iters left: 2 (36 enodes)
1552126585.866 * * [simplify]: iters left: 1 (55 enodes)
1552126585.876 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126585.876 * * [simplify]: Extracting #1: cost 9 inf + 0
1552126585.876 * * [simplify]: Extracting #2: cost 13 inf + 1
1552126585.876 * * [simplify]: Extracting #3: cost 11 inf + 365
1552126585.877 * * [simplify]: Extracting #4: cost 5 inf + 1176
1552126585.877 * * [simplify]: Extracting #5: cost 0 inf + 2668
1552126585.877 * [simplify]: Simplified to (*.p16 alpha (+.p16 (real->posit16 2.0) (+.p16 beta alpha)))
1552126585.877 * [simplify]: Simplified (2 1 1 2 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) beta) (*.p16 alpha (+.p16 (real->posit16 2.0) (+.p16 beta alpha))))) (real->posit16 1.0)) (real->posit16 2.0)))
1552126585.877 * * * [progress]: adding candidates to table
1552126586.886 * [progress]: [Phase 3 of 3] Extracting.
1552126586.886 * * [regime]: Finding splitpoints for: (#<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (-.p16 beta alpha)) (*.p16 (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) beta) (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (/.p16 (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha)) (+.p16 alpha beta))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (+.p16 alpha beta)) (real->posit16 1.0)) (real->posit16 2.0)))>)
1552126586.887 * * * [regime-changes]: Trying 2 branch expressions: (alpha beta)
1552126586.887 * * * * [regimes]: Trying to branch on alpha from (#<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (-.p16 beta alpha)) (*.p16 (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) beta) (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (/.p16 (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha)) (+.p16 alpha beta))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (+.p16 alpha beta)) (real->posit16 1.0)) (real->posit16 2.0)))>)
1552126587.184 * * * * [regimes]: Trying to branch on beta from (#<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (-.p16 beta alpha)) (*.p16 (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) beta) (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (/.p16 (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha)) (+.p16 alpha beta))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (+.p16 alpha beta)) (real->posit16 1.0)) (real->posit16 2.0)))>)
1552126587.451 * * * [regime]: Found split indices: #<option (#s(si 0 256))>
1552126587.452 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))
1552126587.452 * * [simplify]: iters left: 5 (12 enodes)
1552126587.453 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126587.453 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126587.453 * * [simplify]: Extracting #2: cost 6 inf + 0
1552126587.453 * * [simplify]: Extracting #3: cost 7 inf + 2
1552126587.453 * * [simplify]: Extracting #4: cost 8 inf + 4
1552126587.453 * * [simplify]: Extracting #5: cost 6 inf + 6
1552126587.453 * * [simplify]: Extracting #6: cost 0 inf + 2544
1552126587.453 * [simplify]: Simplified to (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))
1552126587.453 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1552126587.477 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
1552126587.480 * * * * [points]: Setting MPFR precision to 64
1552126587.490 * * * * [points]: Setting MPFR precision to 320
1552126587.491 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
1552126587.495 * * * * [points]: Setting MPFR precision to 64
1552126587.497 * * * * [points]: Setting MPFR precision to 320
1552126587.500 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
1552126587.503 * * * * [points]: Setting MPFR precision to 64
1552126587.507 * * * * [points]: Setting MPFR precision to 320
1552126587.511 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
1552126587.514 * * * * [points]: Setting MPFR precision to 64
1552126587.522 * * * * [points]: Setting MPFR precision to 320
1552126587.531 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
1552126587.534 * * * * [points]: Setting MPFR precision to 64
1552126587.549 * * * * [points]: Setting MPFR precision to 320
1552126587.566 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
1552126587.569 * * * * [points]: Setting MPFR precision to 64
1552126587.598 * * * * [points]: Setting MPFR precision to 320
1552126587.657 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
1552126587.660 * * * * [points]: Setting MPFR precision to 64
1552126587.720 * * * * [points]: Setting MPFR precision to 320
1552126587.818 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
1552126587.821 * * * * [points]: Setting MPFR precision to 64
1552126588.066 * * * * [points]: Setting MPFR precision to 320
1552126588.372 * * * * [points]: Computing exacts for 8000 points
1552126588.378 * * * * [points]: Setting MPFR precision to 64
1552126589.502 * * * * [points]: Setting MPFR precision to 320
1552126590.374 * * * * [points]: Filtering points with unrepresentable outputs
1552126590.789 * * * * [points]: Sampling 3506 additional inputs, on iter 1 have 4494 / 8000
1552126590.808 * * * * [points]: Computing exacts on every 219 of 3506 points to ramp up precision
1552126590.813 * * * * [points]: Setting MPFR precision to 64
1552126590.815 * * * * [points]: Setting MPFR precision to 320
1552126590.817 * * * * [points]: Computing exacts on every 109 of 3506 points to ramp up precision
1552126590.822 * * * * [points]: Setting MPFR precision to 64
1552126590.825 * * * * [points]: Setting MPFR precision to 320
1552126590.830 * * * * [points]: Computing exacts on every 54 of 3506 points to ramp up precision
1552126590.836 * * * * [points]: Setting MPFR precision to 64
1552126590.843 * * * * [points]: Setting MPFR precision to 320
1552126590.850 * * * * [points]: Computing exacts on every 27 of 3506 points to ramp up precision
1552126590.857 * * * * [points]: Setting MPFR precision to 64
1552126590.871 * * * * [points]: Setting MPFR precision to 320
1552126590.886 * * * * [points]: Computing exacts on every 13 of 3506 points to ramp up precision
1552126590.913 * * * * [points]: Setting MPFR precision to 64
1552126590.940 * * * * [points]: Setting MPFR precision to 320
1552126590.970 * * * * [points]: Computing exacts on every 6 of 3506 points to ramp up precision
1552126590.976 * * * * [points]: Setting MPFR precision to 64
1552126591.018 * * * * [points]: Setting MPFR precision to 320
1552126591.054 * * * * [points]: Computing exacts on every 3 of 3506 points to ramp up precision
1552126591.059 * * * * [points]: Setting MPFR precision to 64
1552126591.195 * * * * [points]: Setting MPFR precision to 320
1552126591.307 * * * * [points]: Computing exacts for 3506 points
1552126591.313 * * * * [points]: Setting MPFR precision to 64
1552126591.723 * * * * [points]: Setting MPFR precision to 320
1552126592.223 * * * * [points]: Filtering points with unrepresentable outputs
1552126592.463 * * * * [points]: Sampling 1455 additional inputs, on iter 2 have 6545 / 8000
1552126592.470 * * * * [points]: Computing exacts on every 90 of 1455 points to ramp up precision
1552126592.475 * * * * [points]: Setting MPFR precision to 64
1552126592.477 * * * * [points]: Setting MPFR precision to 320
1552126592.479 * * * * [points]: Computing exacts on every 45 of 1455 points to ramp up precision
1552126592.485 * * * * [points]: Setting MPFR precision to 64
1552126592.488 * * * * [points]: Setting MPFR precision to 320
1552126592.491 * * * * [points]: Computing exacts on every 22 of 1455 points to ramp up precision
1552126592.496 * * * * [points]: Setting MPFR precision to 64
1552126592.504 * * * * [points]: Setting MPFR precision to 320
1552126592.512 * * * * [points]: Computing exacts on every 11 of 1455 points to ramp up precision
1552126592.517 * * * * [points]: Setting MPFR precision to 64
1552126592.530 * * * * [points]: Setting MPFR precision to 320
1552126592.546 * * * * [points]: Computing exacts on every 5 of 1455 points to ramp up precision
1552126592.552 * * * * [points]: Setting MPFR precision to 64
1552126592.578 * * * * [points]: Setting MPFR precision to 320
1552126592.612 * * * * [points]: Computing exacts on every 2 of 1455 points to ramp up precision
1552126592.617 * * * * [points]: Setting MPFR precision to 64
1552126592.704 * * * * [points]: Setting MPFR precision to 320
1552126592.764 * * * * [points]: Computing exacts for 1455 points
1552126592.770 * * * * [points]: Setting MPFR precision to 64
1552126592.973 * * * * [points]: Setting MPFR precision to 320
1552126593.158 * * * * [points]: Filtering points with unrepresentable outputs
1552126593.264 * * * * [points]: Sampling 664 additional inputs, on iter 3 have 7336 / 8000
1552126593.267 * * * * [points]: Computing exacts on every 41 of 664 points to ramp up precision
1552126593.273 * * * * [points]: Setting MPFR precision to 64
1552126593.275 * * * * [points]: Setting MPFR precision to 320
1552126593.277 * * * * [points]: Computing exacts on every 20 of 664 points to ramp up precision
1552126593.282 * * * * [points]: Setting MPFR precision to 64
1552126593.286 * * * * [points]: Setting MPFR precision to 320
1552126593.289 * * * * [points]: Computing exacts on every 10 of 664 points to ramp up precision
1552126593.292 * * * * [points]: Setting MPFR precision to 64
1552126593.296 * * * * [points]: Setting MPFR precision to 320
1552126593.300 * * * * [points]: Computing exacts on every 5 of 664 points to ramp up precision
1552126593.302 * * * * [points]: Setting MPFR precision to 64
1552126593.309 * * * * [points]: Setting MPFR precision to 320
1552126593.317 * * * * [points]: Computing exacts on every 2 of 664 points to ramp up precision
1552126593.322 * * * * [points]: Setting MPFR precision to 64
1552126593.346 * * * * [points]: Setting MPFR precision to 320
1552126593.378 * * * * [points]: Computing exacts for 664 points
1552126593.383 * * * * [points]: Setting MPFR precision to 64
1552126593.924 * * * * [points]: Setting MPFR precision to 320
1552126594.010 * * * * [points]: Filtering points with unrepresentable outputs
1552126594.049 * * * * [points]: Sampling 292 additional inputs, on iter 4 have 7708 / 8000
1552126594.051 * * * * [points]: Computing exacts on every 18 of 292 points to ramp up precision
1552126594.058 * * * * [points]: Setting MPFR precision to 64
1552126594.060 * * * * [points]: Setting MPFR precision to 320
1552126594.062 * * * * [points]: Computing exacts on every 9 of 292 points to ramp up precision
1552126594.067 * * * * [points]: Setting MPFR precision to 64
1552126594.070 * * * * [points]: Setting MPFR precision to 320
1552126594.074 * * * * [points]: Computing exacts on every 4 of 292 points to ramp up precision
1552126594.079 * * * * [points]: Setting MPFR precision to 64
1552126594.086 * * * * [points]: Setting MPFR precision to 320
1552126594.094 * * * * [points]: Computing exacts on every 2 of 292 points to ramp up precision
1552126594.099 * * * * [points]: Setting MPFR precision to 64
1552126594.141 * * * * [points]: Setting MPFR precision to 320
1552126594.154 * * * * [points]: Computing exacts for 292 points
1552126594.160 * * * * [points]: Setting MPFR precision to 64
1552126594.191 * * * * [points]: Setting MPFR precision to 320
1552126594.228 * * * * [points]: Filtering points with unrepresentable outputs
1552126594.244 * * * * [points]: Sampling 138 additional inputs, on iter 5 have 7862 / 8000
1552126594.245 * * * * [points]: Computing exacts on every 8 of 138 points to ramp up precision
1552126594.248 * * * * [points]: Setting MPFR precision to 64
1552126594.249 * * * * [points]: Setting MPFR precision to 320
1552126594.250 * * * * [points]: Computing exacts on every 4 of 138 points to ramp up precision
1552126594.252 * * * * [points]: Setting MPFR precision to 64
1552126594.254 * * * * [points]: Setting MPFR precision to 320
1552126594.256 * * * * [points]: Computing exacts on every 2 of 138 points to ramp up precision
1552126594.259 * * * * [points]: Setting MPFR precision to 64
1552126594.262 * * * * [points]: Setting MPFR precision to 320
1552126594.265 * * * * [points]: Computing exacts for 138 points
1552126594.268 * * * * [points]: Setting MPFR precision to 64
1552126594.278 * * * * [points]: Setting MPFR precision to 320
1552126594.293 * * * * [points]: Filtering points with unrepresentable outputs
1552126594.301 * * * * [points]: Sampling 62 additional inputs, on iter 6 have 7938 / 8000
1552126594.301 * * * * [points]: Computing exacts on every 3 of 62 points to ramp up precision
1552126594.307 * * * * [points]: Setting MPFR precision to 64
1552126594.308 * * * * [points]: Setting MPFR precision to 320
1552126594.310 * * * * [points]: Computing exacts for 62 points
1552126594.315 * * * * [points]: Setting MPFR precision to 64
1552126594.351 * * * * [points]: Setting MPFR precision to 320
1552126594.361 * * * * [points]: Filtering points with unrepresentable outputs
1552126594.365 * * * * [points]: Sampling 30 additional inputs, on iter 7 have 7970 / 8000
1552126594.365 * * * * [points]: Computing exacts for 30 points
1552126594.371 * * * * [points]: Setting MPFR precision to 64
1552126594.374 * * * * [points]: Setting MPFR precision to 320
1552126594.378 * * * * [points]: Filtering points with unrepresentable outputs
1552126594.379 * * * * [points]: Sampling 18 additional inputs, on iter 8 have 7982 / 8000
1552126594.379 * * * * [points]: Computing exacts for 18 points
1552126594.384 * * * * [points]: Setting MPFR precision to 64
1552126594.386 * * * * [points]: Setting MPFR precision to 320
1552126594.389 * * * * [points]: Filtering points with unrepresentable outputs
1552126594.390 * * * * [points]: Sampling 9 additional inputs, on iter 9 have 7991 / 8000
1552126594.390 * * * * [points]: Computing exacts for 9 points
1552126594.395 * * * * [points]: Setting MPFR precision to 64
1552126594.396 * * * * [points]: Setting MPFR precision to 320
1552126594.397 * * * * [points]: Filtering points with unrepresentable outputs
1552126594.398 * * * * [points]: Sampling 5 additional inputs, on iter 10 have 7995 / 8000
1552126594.398 * * * * [points]: Computing exacts for 5 points
1552126594.403 * * * * [points]: Setting MPFR precision to 64
1552126594.404 * * * * [points]: Setting MPFR precision to 320
1552126594.404 * * * * [points]: Filtering points with unrepresentable outputs
1552126594.405 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7997 / 8000
1552126594.405 * * * * [points]: Computing exacts for 4 points
1552126594.410 * * * * [points]: Setting MPFR precision to 64
1552126594.411 * * * * [points]: Setting MPFR precision to 320
1552126594.411 * * * * [points]: Filtering points with unrepresentable outputs
1552126594.412 * * * * [points]: Sampled 8000 points with exact outputs
1552126599.204 * [regime-testing]: Baseline error score: 64.0
1552126599.206 * [regime-testing]: Oracle error score: 64.0
1552126599.210 * [regime-testing]: End program error score: 0.7229881983760764