1552480264.334 * [progress]: [Phase 1 of 3] Setting up.
1552480264.334 * * * [progress]: [1/2] Preparing points
1552480264.335 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
1552480264.336 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
1552480264.342 * * * * [points]: Setting MPFR precision to 64
1552480264.344 * * * * [points]: Setting MPFR precision to 320
1552480264.346 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
1552480264.351 * * * * [points]: Setting MPFR precision to 64
1552480264.355 * * * * [points]: Setting MPFR precision to 320
1552480264.358 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
1552480264.363 * * * * [points]: Setting MPFR precision to 64
1552480264.368 * * * * [points]: Setting MPFR precision to 320
1552480264.374 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
1552480264.380 * * * * [points]: Setting MPFR precision to 64
1552480264.388 * * * * [points]: Setting MPFR precision to 320
1552480264.398 * * * * [points]: Computing exacts for 256 points
1552480264.403 * * * * [points]: Setting MPFR precision to 64
1552480264.428 * * * * [points]: Setting MPFR precision to 320
1552480264.457 * * * * [points]: Filtering points with unrepresentable outputs
1552480264.468 * * * * [points]: Sampling 107 additional inputs, on iter 1 have 149 / 256
1552480264.469 * * * * [points]: Computing exacts on every 6 of 107 points to ramp up precision
1552480264.474 * * * * [points]: Setting MPFR precision to 64
1552480264.476 * * * * [points]: Setting MPFR precision to 320
1552480264.478 * * * * [points]: Computing exacts on every 3 of 107 points to ramp up precision
1552480264.483 * * * * [points]: Setting MPFR precision to 64
1552480264.486 * * * * [points]: Setting MPFR precision to 320
1552480264.489 * * * * [points]: Computing exacts for 107 points
1552480264.494 * * * * [points]: Setting MPFR precision to 64
1552480264.522 * * * * [points]: Setting MPFR precision to 320
1552480264.530 * * * * [points]: Filtering points with unrepresentable outputs
1552480264.534 * * * * [points]: Sampling 39 additional inputs, on iter 2 have 217 / 256
1552480264.534 * * * * [points]: Computing exacts on every 2 of 39 points to ramp up precision
1552480264.537 * * * * [points]: Setting MPFR precision to 64
1552480264.538 * * * * [points]: Setting MPFR precision to 320
1552480264.538 * * * * [points]: Computing exacts for 39 points
1552480264.541 * * * * [points]: Setting MPFR precision to 64
1552480264.543 * * * * [points]: Setting MPFR precision to 320
1552480264.546 * * * * [points]: Filtering points with unrepresentable outputs
1552480264.547 * * * * [points]: Sampling 14 additional inputs, on iter 3 have 242 / 256
1552480264.547 * * * * [points]: Computing exacts for 14 points
1552480264.550 * * * * [points]: Setting MPFR precision to 64
1552480264.551 * * * * [points]: Setting MPFR precision to 320
1552480264.552 * * * * [points]: Filtering points with unrepresentable outputs
1552480264.552 * * * * [points]: Sampling 5 additional inputs, on iter 4 have 251 / 256
1552480264.552 * * * * [points]: Computing exacts for 5 points
1552480264.555 * * * * [points]: Setting MPFR precision to 64
1552480264.556 * * * * [points]: Setting MPFR precision to 320
1552480264.556 * * * * [points]: Filtering points with unrepresentable outputs
1552480264.556 * * * * [points]: Sampling 4 additional inputs, on iter 5 have 255 / 256
1552480264.556 * * * * [points]: Computing exacts for 4 points
1552480264.559 * * * * [points]: Setting MPFR precision to 64
1552480264.559 * * * * [points]: Setting MPFR precision to 320
1552480264.560 * * * * [points]: Filtering points with unrepresentable outputs
1552480264.560 * * * * [points]: Sampled 257 points with exact outputs
1552480264.560 * * * [progress]: [2/2] Setting up program.
1552480264.580 * [progress]: [Phase 2 of 3] Improving.
1552480264.580 * * * * [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)))>
1552480264.581 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))
1552480264.581 * * [simplify]: iters left: 5 (12 enodes)
1552480264.584 * * [simplify]: iters left: 4 (29 enodes)
1552480264.589 * * [simplify]: iters left: 3 (46 enodes)
1552480264.597 * * [simplify]: iters left: 2 (97 enodes)
1552480264.629 * * [simplify]: iters left: 1 (335 enodes)
1552480264.906 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480264.906 * * [simplify]: Extracting #1: cost 3 inf + 0
1552480264.906 * * [simplify]: Extracting #2: cost 6 inf + 0
1552480264.907 * * [simplify]: Extracting #3: cost 84 inf + 2
1552480264.908 * * [simplify]: Extracting #4: cost 417 inf + 3
1552480264.912 * * [simplify]: Extracting #5: cost 404 inf + 78485
1552480264.950 * * [simplify]: Extracting #6: cost 124 inf + 437558
1552480264.988 * * [simplify]: Extracting #7: cost 5 inf + 645994
1552480265.022 * * [simplify]: Extracting #8: cost 0 inf + 656284
1552480265.059 * [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))
1552480265.060 * [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)))
1552480265.101 * * [progress]: iteration 1 / 4
1552480265.101 * * * [progress]: picking best candidate
1552480265.141 * * * * [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)))>
1552480265.141 * * * [progress]: localizing error
1552480265.506 * * * [progress]: generating rewritten candidates
1552480265.506 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
1552480265.521 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
1552480265.530 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
1552480265.539 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
1552480265.550 * * * [progress]: generating series expansions
1552480265.551 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
1552480265.551 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
1552480265.551 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
1552480265.551 * * * * [progress]: [ 4 / 4 ] generating series at (2)
1552480265.551 * * * [progress]: simplifying candidates
1552480265.551 * * * * [progress]: [ 1 / 9 ] 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)))>
1552480265.551 * [simplify]: Simplifying (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))
1552480265.551 * * [simplify]: iters left: 2 (5 enodes)
1552480265.552 * * [simplify]: iters left: 1 (19 enodes)
1552480265.556 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480265.556 * * [simplify]: Extracting #1: cost 8 inf + 0
1552480265.556 * * [simplify]: Extracting #2: cost 16 inf + 0
1552480265.556 * * [simplify]: Extracting #3: cost 16 inf + 1766
1552480265.556 * * [simplify]: Extracting #4: cost 6 inf + 6819
1552480265.556 * * [simplify]: Extracting #5: cost 1 inf + 12227
1552480265.557 * * [simplify]: Extracting #6: cost 0 inf + 13549
1552480265.557 * [simplify]: Simplified to (*.p16 (-.p16 beta alpha) (+.p16 alpha beta))
1552480265.557 * [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)))
1552480265.557 * * * * [progress]: [ 2 / 9 ] 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)))>
1552480265.557 * * * * [progress]: [ 3 / 9 ] 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)))>
1552480265.557 * * * * [progress]: [ 4 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))>
1552480265.557 * * * * [progress]: [ 5 / 9 ] 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)))>
1552480265.557 * * * * [progress]: [ 6 / 9 ] 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)))>
1552480265.558 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))
1552480265.558 * * [simplify]: iters left: 5 (12 enodes)
1552480265.561 * * [simplify]: iters left: 4 (29 enodes)
1552480265.570 * * [simplify]: iters left: 3 (46 enodes)
1552480265.579 * * [simplify]: iters left: 2 (97 enodes)
1552480265.614 * * [simplify]: iters left: 1 (335 enodes)
1552480265.825 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480265.826 * * [simplify]: Extracting #1: cost 3 inf + 0
1552480265.826 * * [simplify]: Extracting #2: cost 6 inf + 0
1552480265.826 * * [simplify]: Extracting #3: cost 84 inf + 2
1552480265.827 * * [simplify]: Extracting #4: cost 417 inf + 3
1552480265.831 * * [simplify]: Extracting #5: cost 404 inf + 78485
1552480265.849 * * [simplify]: Extracting #6: cost 124 inf + 437558
1552480265.884 * * [simplify]: Extracting #7: cost 5 inf + 645994
1552480265.916 * * [simplify]: Extracting #8: cost 0 inf + 656284
1552480265.968 * [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))
1552480265.968 * [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)))
1552480265.968 * * * * [progress]: [ 7 / 9 ] 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)))>
1552480265.969 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))
1552480265.969 * * [simplify]: iters left: 5 (12 enodes)
1552480265.975 * * [simplify]: iters left: 4 (29 enodes)
1552480265.984 * * [simplify]: iters left: 3 (46 enodes)
1552480266.000 * * [simplify]: iters left: 2 (97 enodes)
1552480266.042 * * [simplify]: iters left: 1 (335 enodes)
1552480266.253 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480266.253 * * [simplify]: Extracting #1: cost 3 inf + 0
1552480266.253 * * [simplify]: Extracting #2: cost 6 inf + 0
1552480266.253 * * [simplify]: Extracting #3: cost 84 inf + 2
1552480266.256 * * [simplify]: Extracting #4: cost 417 inf + 3
1552480266.265 * * [simplify]: Extracting #5: cost 404 inf + 78485
1552480266.305 * * [simplify]: Extracting #6: cost 124 inf + 437558
1552480266.333 * * [simplify]: Extracting #7: cost 5 inf + 645994
1552480266.362 * * [simplify]: Extracting #8: cost 0 inf + 656284
1552480266.393 * [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))
1552480266.393 * [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)))
1552480266.393 * * * * [progress]: [ 8 / 9 ] 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)))>
1552480266.393 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))
1552480266.393 * * [simplify]: iters left: 5 (12 enodes)
1552480266.396 * * [simplify]: iters left: 4 (29 enodes)
1552480266.401 * * [simplify]: iters left: 3 (46 enodes)
1552480266.409 * * [simplify]: iters left: 2 (97 enodes)
1552480266.440 * * [simplify]: iters left: 1 (335 enodes)
1552480266.639 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480266.639 * * [simplify]: Extracting #1: cost 3 inf + 0
1552480266.639 * * [simplify]: Extracting #2: cost 6 inf + 0
1552480266.639 * * [simplify]: Extracting #3: cost 84 inf + 2
1552480266.641 * * [simplify]: Extracting #4: cost 417 inf + 3
1552480266.650 * * [simplify]: Extracting #5: cost 404 inf + 78485
1552480266.671 * * [simplify]: Extracting #6: cost 124 inf + 437558
1552480266.700 * * [simplify]: Extracting #7: cost 5 inf + 645994
1552480266.742 * * [simplify]: Extracting #8: cost 0 inf + 656284
1552480266.789 * [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))
1552480266.789 * [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)))
1552480266.789 * * * * [progress]: [ 9 / 9 ] 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)))>
1552480266.789 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))
1552480266.789 * * [simplify]: iters left: 5 (12 enodes)
1552480266.792 * * [simplify]: iters left: 4 (29 enodes)
1552480266.797 * * [simplify]: iters left: 3 (46 enodes)
1552480266.805 * * [simplify]: iters left: 2 (97 enodes)
1552480266.839 * * [simplify]: iters left: 1 (335 enodes)
1552480267.118 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480267.118 * * [simplify]: Extracting #1: cost 3 inf + 0
1552480267.118 * * [simplify]: Extracting #2: cost 6 inf + 0
1552480267.118 * * [simplify]: Extracting #3: cost 84 inf + 2
1552480267.120 * * [simplify]: Extracting #4: cost 417 inf + 3
1552480267.125 * * [simplify]: Extracting #5: cost 404 inf + 78485
1552480267.147 * * [simplify]: Extracting #6: cost 124 inf + 437558
1552480267.198 * * [simplify]: Extracting #7: cost 5 inf + 645994
1552480267.254 * * [simplify]: Extracting #8: cost 0 inf + 656284
1552480267.311 * [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))
1552480267.311 * [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)))
1552480267.311 * * * [progress]: adding candidates to table
1552480267.895 * * [progress]: iteration 2 / 4
1552480267.895 * * * [progress]: picking best candidate
1552480267.968 * * * * [pick]: Picked  #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))>
1552480267.968 * * * [progress]: localizing error
1552480268.118 * * * [progress]: generating rewritten candidates
1552480268.118 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
1552480268.123 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
1552480268.130 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
1552480268.135 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
1552480268.147 * * * [progress]: generating series expansions
1552480268.147 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
1552480268.147 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
1552480268.147 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
1552480268.147 * * * * [progress]: [ 4 / 4 ] generating series at (2)
1552480268.147 * * * [progress]: simplifying candidates
1552480268.147 * * * * [progress]: [ 1 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (*.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
1552480268.147 * [simplify]: Simplifying (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))
1552480268.147 * * [simplify]: iters left: 2 (5 enodes)
1552480268.148 * * [simplify]: iters left: 1 (19 enodes)
1552480268.158 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480268.158 * * [simplify]: Extracting #1: cost 8 inf + 0
1552480268.158 * * [simplify]: Extracting #2: cost 16 inf + 0
1552480268.158 * * [simplify]: Extracting #3: cost 16 inf + 1766
1552480268.158 * * [simplify]: Extracting #4: cost 6 inf + 6819
1552480268.158 * * [simplify]: Extracting #5: cost 1 inf + 12227
1552480268.159 * * [simplify]: Extracting #6: cost 0 inf + 13549
1552480268.159 * [simplify]: Simplified to (*.p16 (-.p16 beta alpha) (+.p16 alpha beta))
1552480268.159 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
1552480268.159 * * * * [progress]: [ 2 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0))))) (real->posit16 2.0)))>
1552480268.159 * * * * [progress]: [ 3 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
1552480268.160 * [simplify]: Simplifying (real->posit16 2.0)
1552480268.160 * * [simplify]: iters left: 1 (2 enodes)
1552480268.162 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480268.162 * * [simplify]: Extracting #1: cost 2 inf + 0
1552480268.162 * * [simplify]: Extracting #2: cost 1 inf + 1
1552480268.162 * * [simplify]: Extracting #3: cost 0 inf + 2
1552480268.162 * [simplify]: Simplified to (real->posit16 2.0)
1552480268.162 * [simplify]: Simplified (2 1 1 2 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))
1552480268.162 * * * * [progress]: [ 4 / 9 ] 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)))>
1552480268.162 * * * * [progress]: [ 5 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha (real->posit16 2.0)) beta)) (real->posit16 1.0)) (real->posit16 2.0)))>
1552480268.162 * * * * [progress]: [ 6 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))>
1552480268.162 * * * * [progress]: [ 7 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))>
1552480268.162 * * * * [progress]: [ 8 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))>
1552480268.162 * * * * [progress]: [ 9 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))>
1552480268.162 * * * [progress]: adding candidates to table
1552480268.679 * * [progress]: iteration 3 / 4
1552480268.679 * * * [progress]: picking best candidate
1552480268.811 * * * * [pick]: Picked  #<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)))>
1552480268.811 * * * [progress]: localizing error
1552480268.959 * * * [progress]: generating rewritten candidates
1552480268.959 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
1552480268.967 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
1552480268.974 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
1552480268.982 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
1552480268.994 * * * [progress]: generating series expansions
1552480268.994 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
1552480268.994 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
1552480268.994 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
1552480268.994 * * * * [progress]: [ 4 / 4 ] generating series at (2)
1552480268.994 * * * [progress]: simplifying candidates
1552480268.994 * * * * [progress]: [ 1 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (*.p16 (+.p16 (+.p16 beta (real->posit16 2.0)) alpha) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
1552480268.994 * [simplify]: Simplifying (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))
1552480268.994 * * [simplify]: iters left: 2 (5 enodes)
1552480268.995 * * [simplify]: iters left: 1 (19 enodes)
1552480268.999 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480268.999 * * [simplify]: Extracting #1: cost 8 inf + 0
1552480268.999 * * [simplify]: Extracting #2: cost 16 inf + 0
1552480268.999 * * [simplify]: Extracting #3: cost 16 inf + 1766
1552480268.999 * * [simplify]: Extracting #4: cost 6 inf + 6819
1552480269.000 * * [simplify]: Extracting #5: cost 1 inf + 12227
1552480269.000 * * [simplify]: Extracting #6: cost 0 inf + 13549
1552480269.004 * [simplify]: Simplified to (*.p16 (-.p16 beta alpha) (+.p16 alpha beta))
1552480269.004 * [simplify]: Simplified (2 1 1 1) to (λ (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)))
1552480269.004 * * * * [progress]: [ 2 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 beta (real->posit16 2.0)) alpha))) (real->posit16 2.0)))>
1552480269.004 * * * * [progress]: [ 3 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 (real->posit16 2.0) alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
1552480269.004 * * * * [progress]: [ 4 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (real->posit16 2.0) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
1552480269.004 * [simplify]: Simplifying (real->posit16 2.0)
1552480269.004 * * [simplify]: iters left: 1 (2 enodes)
1552480269.005 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480269.006 * * [simplify]: Extracting #1: cost 2 inf + 0
1552480269.006 * * [simplify]: Extracting #2: cost 1 inf + 1
1552480269.006 * * [simplify]: Extracting #3: cost 0 inf + 2
1552480269.006 * [simplify]: Simplified to (real->posit16 2.0)
1552480269.006 * [simplify]: Simplified (2 1 1 2 1) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (real->posit16 2.0) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
1552480269.006 * * * * [progress]: [ 5 / 9 ] 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)))>
1552480269.006 * * * * [progress]: [ 6 / 9 ] 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)))>
1552480269.006 * * * * [progress]: [ 7 / 9 ] 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)))>
1552480269.006 * * * * [progress]: [ 8 / 9 ] 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)))>
1552480269.006 * * * * [progress]: [ 9 / 9 ] 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)))>
1552480269.006 * * * [progress]: adding candidates to table
1552480269.334 * * [progress]: iteration 4 / 4
1552480269.334 * * * [progress]: picking best candidate
1552480269.386 * * * * [pick]: Picked  #<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)))>
1552480269.386 * * * [progress]: localizing error
1552480269.566 * * * [progress]: generating rewritten candidates
1552480269.566 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
1552480269.586 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
1552480269.641 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
1552480269.650 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
1552480269.656 * * * [progress]: generating series expansions
1552480269.656 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
1552480269.656 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
1552480269.657 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
1552480269.657 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
1552480269.657 * * * [progress]: simplifying candidates
1552480269.657 * * * * [progress]: [ 1 / 25 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (+.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))>
1552480269.657 * [simplify]: Simplifying (+.p16 beta alpha)
1552480269.657 * * [simplify]: iters left: 1 (3 enodes)
1552480269.658 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480269.658 * * [simplify]: Extracting #1: cost 3 inf + 0
1552480269.658 * * [simplify]: Extracting #2: cost 1 inf + 2
1552480269.658 * * [simplify]: Extracting #3: cost 0 inf + 44
1552480269.658 * [simplify]: Simplified to (+.p16 alpha beta)
1552480269.658 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (+.p16 alpha beta)) (real->posit16 1.0)) (real->posit16 2.0)))
1552480269.658 * * * * [progress]: [ 2 / 25 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
1552480269.658 * [simplify]: Simplifying (+.p16 (+.p16 alpha beta) (real->posit16 2.0))
1552480269.658 * * [simplify]: iters left: 2 (6 enodes)
1552480269.660 * * [simplify]: iters left: 1 (15 enodes)
1552480269.663 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480269.663 * * [simplify]: Extracting #1: cost 8 inf + 0
1552480269.663 * * [simplify]: Extracting #2: cost 7 inf + 2
1552480269.663 * * [simplify]: Extracting #3: cost 5 inf + 45
1552480269.663 * * [simplify]: Extracting #4: cost 1 inf + 213
1552480269.663 * * [simplify]: Extracting #5: cost 0 inf + 255
1552480269.663 * [simplify]: Simplified to (+.p16 (+.p16 beta alpha) (real->posit16 2.0))
1552480269.663 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 beta alpha)) (+.p16 (+.p16 beta alpha) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))
1552480269.663 * * * * [progress]: [ 3 / 25 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha)) (+.p16 alpha beta))) (real->posit16 1.0)) (real->posit16 2.0)))>
1552480269.663 * [simplify]: Simplifying (-.p16 beta alpha)
1552480269.663 * * [simplify]: iters left: 1 (3 enodes)
1552480269.664 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480269.664 * * [simplify]: Extracting #1: cost 6 inf + 0
1552480269.664 * * [simplify]: Extracting #2: cost 5 inf + 44
1552480269.664 * * [simplify]: Extracting #3: cost 0 inf + 1571
1552480269.664 * [simplify]: Simplified to (-.p16 beta alpha)
1552480269.664 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha)) (+.p16 alpha beta))) (real->posit16 1.0)) (real->posit16 2.0)))
1552480269.664 * * * * [progress]: [ 4 / 25 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
1552480269.665 * [simplify]: Simplifying (+.p16 alpha beta)
1552480269.665 * * [simplify]: iters left: 1 (3 enodes)
1552480269.665 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480269.665 * * [simplify]: Extracting #1: cost 3 inf + 0
1552480269.665 * * [simplify]: Extracting #2: cost 1 inf + 2
1552480269.665 * * [simplify]: Extracting #3: cost 0 inf + 44
1552480269.665 * [simplify]: Simplified to (+.p16 beta alpha)
1552480269.665 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (+.p16 beta alpha) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
1552480269.666 * * * * [progress]: [ 5 / 25 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (+.p16 alpha beta)) (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
1552480269.666 * [simplify]: Simplifying (*.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (+.p16 alpha beta))
1552480269.666 * * [simplify]: iters left: 3 (7 enodes)
1552480269.667 * * [simplify]: iters left: 2 (28 enodes)
1552480269.673 * * [simplify]: iters left: 1 (79 enodes)
1552480269.705 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480269.705 * * [simplify]: Extracting #1: cost 23 inf + 0
1552480269.705 * * [simplify]: Extracting #2: cost 63 inf + 0
1552480269.706 * * [simplify]: Extracting #3: cost 75 inf + 1531
1552480269.708 * * [simplify]: Extracting #4: cost 37 inf + 47856
1552480269.713 * * [simplify]: Extracting #5: cost 1 inf + 91596
1552480269.720 * * [simplify]: Extracting #6: cost 0 inf + 94238
1552480269.727 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (-.p16 beta alpha))
1552480269.727 * [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 beta) (real->posit16 2.0)) (+.p16 beta alpha)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
1552480269.727 * * * * [progress]: [ 6 / 25 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (/.p16 (+.p16 alpha beta) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
1552480269.727 * [simplify]: Simplifying (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))
1552480269.728 * * [simplify]: iters left: 3 (8 enodes)
1552480269.732 * * [simplify]: iters left: 2 (23 enodes)
1552480269.740 * * [simplify]: iters left: 1 (40 enodes)
1552480269.748 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480269.748 * * [simplify]: Extracting #1: cost 10 inf + 0
1552480269.748 * * [simplify]: Extracting #2: cost 32 inf + 0
1552480269.748 * * [simplify]: Extracting #3: cost 33 inf + 1045
1552480269.748 * * [simplify]: Extracting #4: cost 25 inf + 6988
1552480269.749 * * [simplify]: Extracting #5: cost 2 inf + 20756
1552480269.750 * * [simplify]: Extracting #6: cost 0 inf + 22961
1552480269.751 * [simplify]: Simplified to (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))
1552480269.751 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (/.p16 (+.p16 alpha beta) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
1552480269.751 * [simplify]: Simplifying (/.p16 (+.p16 alpha beta) (+.p16 beta alpha))
1552480269.751 * * [simplify]: iters left: 2 (5 enodes)
1552480269.752 * * [simplify]: iters left: 1 (9 enodes)
1552480269.753 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480269.753 * * [simplify]: Extracting #1: cost 2 inf + 0
1552480269.753 * * [simplify]: Extracting #2: cost 4 inf + 0
1552480269.753 * * [simplify]: Extracting #3: cost 2 inf + 2
1552480269.753 * * [simplify]: Extracting #4: cost 0 inf + 526
1552480269.753 * [simplify]: Simplified to (/.p16 (+.p16 beta alpha) (+.p16 beta alpha))
1552480269.753 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (/.p16 (+.p16 beta alpha) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
1552480269.753 * * * * [progress]: [ 7 / 25 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))>
1552480269.753 * [simplify]: Simplifying (/.p16 (-.p16 beta alpha) (+.p16 beta alpha))
1552480269.754 * * [simplify]: iters left: 2 (5 enodes)
1552480269.755 * * [simplify]: iters left: 1 (16 enodes)
1552480269.757 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480269.757 * * [simplify]: Extracting #1: cost 5 inf + 0
1552480269.757 * * [simplify]: Extracting #2: cost 13 inf + 0
1552480269.757 * * [simplify]: Extracting #3: cost 12 inf + 83
1552480269.757 * * [simplify]: Extracting #4: cost 5 inf + 2614
1552480269.757 * * [simplify]: Extracting #5: cost 0 inf + 5942
1552480269.758 * [simplify]: Simplified to (/.p16 (-.p16 beta alpha) (+.p16 alpha beta))
1552480269.758 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))
1552480269.758 * [simplify]: Simplifying (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))
1552480269.758 * * [simplify]: iters left: 3 (7 enodes)
1552480269.760 * * [simplify]: iters left: 2 (16 enodes)
1552480269.762 * * [simplify]: iters left: 1 (22 enodes)
1552480269.765 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480269.765 * * [simplify]: Extracting #1: cost 3 inf + 0
1552480269.765 * * [simplify]: Extracting #2: cost 8 inf + 0
1552480269.766 * * [simplify]: Extracting #3: cost 7 inf + 2
1552480269.766 * * [simplify]: Extracting #4: cost 1 inf + 213
1552480269.766 * * [simplify]: Extracting #5: cost 0 inf + 776
1552480269.766 * [simplify]: Simplified to (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 alpha (real->posit16 2.0)) beta))
1552480269.766 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 alpha (real->posit16 2.0)) beta))) (real->posit16 1.0)) (real->posit16 2.0)))
1552480269.766 * * * * [progress]: [ 8 / 25 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (/.p16 (-.p16 beta alpha) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
1552480269.766 * [simplify]: Simplifying (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))
1552480269.766 * * [simplify]: iters left: 3 (7 enodes)
1552480269.768 * * [simplify]: iters left: 2 (16 enodes)
1552480269.771 * * [simplify]: iters left: 1 (22 enodes)
1552480269.774 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480269.774 * * [simplify]: Extracting #1: cost 3 inf + 0
1552480269.775 * * [simplify]: Extracting #2: cost 8 inf + 0
1552480269.775 * * [simplify]: Extracting #3: cost 7 inf + 2
1552480269.775 * * [simplify]: Extracting #4: cost 1 inf + 213
1552480269.775 * * [simplify]: Extracting #5: cost 0 inf + 776
1552480269.775 * [simplify]: Simplified to (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 alpha (real->posit16 2.0)) beta))
1552480269.775 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 alpha (real->posit16 2.0)) beta)) (/.p16 (-.p16 beta alpha) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
1552480269.776 * [simplify]: Simplifying (/.p16 (-.p16 beta alpha) (+.p16 beta alpha))
1552480269.776 * * [simplify]: iters left: 2 (5 enodes)
1552480269.778 * * [simplify]: iters left: 1 (16 enodes)
1552480269.783 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480269.783 * * [simplify]: Extracting #1: cost 5 inf + 0
1552480269.783 * * [simplify]: Extracting #2: cost 13 inf + 0
1552480269.783 * * [simplify]: Extracting #3: cost 12 inf + 83
1552480269.784 * * [simplify]: Extracting #4: cost 5 inf + 2614
1552480269.784 * * [simplify]: Extracting #5: cost 0 inf + 5942
1552480269.784 * [simplify]: Simplified to (/.p16 (-.p16 beta alpha) (+.p16 alpha beta))
1552480269.785 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (/.p16 (-.p16 beta alpha) (+.p16 alpha beta))) (real->posit16 1.0)) (real->posit16 2.0)))
1552480269.785 * * * * [progress]: [ 9 / 25 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (+.p16 alpha beta) (+.p16 beta alpha)) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))>
1552480269.785 * [simplify]: Simplifying (/.p16 (+.p16 alpha beta) (+.p16 beta alpha))
1552480269.785 * * [simplify]: iters left: 2 (5 enodes)
1552480269.787 * * [simplify]: iters left: 1 (9 enodes)
1552480269.790 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480269.790 * * [simplify]: Extracting #1: cost 2 inf + 0
1552480269.790 * * [simplify]: Extracting #2: cost 4 inf + 0
1552480269.790 * * [simplify]: Extracting #3: cost 2 inf + 2
1552480269.790 * * [simplify]: Extracting #4: cost 0 inf + 526
1552480269.790 * [simplify]: Simplified to (/.p16 (+.p16 beta alpha) (+.p16 beta alpha))
1552480269.790 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (+.p16 beta alpha) (+.p16 beta alpha)) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))
1552480269.790 * [simplify]: Simplifying (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))
1552480269.791 * * [simplify]: iters left: 3 (8 enodes)
1552480269.795 * * [simplify]: iters left: 2 (23 enodes)
1552480269.805 * * [simplify]: iters left: 1 (40 enodes)
1552480269.820 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480269.820 * * [simplify]: Extracting #1: cost 10 inf + 0
1552480269.821 * * [simplify]: Extracting #2: cost 32 inf + 0
1552480269.821 * * [simplify]: Extracting #3: cost 33 inf + 1045
1552480269.821 * * [simplify]: Extracting #4: cost 25 inf + 6988
1552480269.823 * * [simplify]: Extracting #5: cost 2 inf + 20756
1552480269.825 * * [simplify]: Extracting #6: cost 0 inf + 22961
1552480269.826 * [simplify]: Simplified to (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))
1552480269.827 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (+.p16 alpha beta) (+.p16 beta alpha)) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))
1552480269.827 * * * * [progress]: [ 10 / 25 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha)))) (real->posit16 2.0)))>
1552480269.827 * * * * [progress]: [ 11 / 25 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) beta) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
1552480269.827 * [simplify]: Simplifying (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) alpha)
1552480269.827 * * [simplify]: iters left: 3 (7 enodes)
1552480269.831 * * [simplify]: iters left: 2 (17 enodes)
1552480269.837 * * [simplify]: iters left: 1 (36 enodes)
1552480269.850 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480269.850 * * [simplify]: Extracting #1: cost 10 inf + 0
1552480269.850 * * [simplify]: Extracting #2: cost 15 inf + 1
1552480269.850 * * [simplify]: Extracting #3: cost 14 inf + 323
1552480269.850 * * [simplify]: Extracting #4: cost 9 inf + 1372
1552480269.850 * * [simplify]: Extracting #5: cost 6 inf + 1498
1552480269.850 * * [simplify]: Extracting #6: cost 0 inf + 3353
1552480269.851 * [simplify]: Simplified to (*.p16 alpha (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))
1552480269.851 * [simplify]: Simplified (2 1 1 2 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) beta) (*.p16 alpha (+.p16 (+.p16 beta alpha) (real->posit16 2.0))))) (real->posit16 1.0)) (real->posit16 2.0)))
1552480269.851 * * * * [progress]: [ 12 / 25 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) alpha) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) beta))) (real->posit16 1.0)) (real->posit16 2.0)))>
1552480269.851 * [simplify]: Simplifying (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) beta)
1552480269.851 * * [simplify]: iters left: 3 (7 enodes)
1552480269.853 * * [simplify]: iters left: 2 (17 enodes)
1552480269.856 * * [simplify]: iters left: 1 (37 enodes)
1552480269.863 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480269.863 * * [simplify]: Extracting #1: cost 10 inf + 0
1552480269.863 * * [simplify]: Extracting #2: cost 13 inf + 322
1552480269.863 * * [simplify]: Extracting #3: cost 13 inf + 323
1552480269.863 * * [simplify]: Extracting #4: cost 10 inf + 688
1552480269.863 * * [simplify]: Extracting #5: cost 3 inf + 2222
1552480269.863 * * [simplify]: Extracting #6: cost 0 inf + 3030
1552480269.864 * [simplify]: Simplified to (*.p16 (+.p16 (+.p16 beta alpha) (real->posit16 2.0)) beta)
1552480269.864 * [simplify]: Simplified (2 1 1 2 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) alpha) (*.p16 (+.p16 (+.p16 beta alpha) (real->posit16 2.0)) beta))) (real->posit16 1.0)) (real->posit16 2.0)))
1552480269.864 * * * * [progress]: [ 13 / 25 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (*.p16 beta (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (*.p16 alpha (+.p16 (+.p16 alpha beta) (real->posit16 2.0))))) (real->posit16 1.0)) (real->posit16 2.0)))>
1552480269.864 * [simplify]: Simplifying (*.p16 alpha (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))
1552480269.864 * * [simplify]: iters left: 3 (7 enodes)
1552480269.866 * * [simplify]: iters left: 2 (23 enodes)
1552480269.870 * * [simplify]: iters left: 1 (42 enodes)
1552480269.877 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480269.877 * * [simplify]: Extracting #1: cost 12 inf + 0
1552480269.877 * * [simplify]: Extracting #2: cost 16 inf + 1
1552480269.877 * * [simplify]: Extracting #3: cost 15 inf + 323
1552480269.878 * * [simplify]: Extracting #4: cost 11 inf + 1050
1552480269.878 * * [simplify]: Extracting #5: cost 5 inf + 2222
1552480269.878 * * [simplify]: Extracting #6: cost 0 inf + 4395
1552480269.879 * [simplify]: Simplified to (*.p16 alpha (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))
1552480269.879 * [simplify]: Simplified (2 1 1 2 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (*.p16 beta (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (*.p16 alpha (+.p16 (+.p16 beta alpha) (real->posit16 2.0))))) (real->posit16 1.0)) (real->posit16 2.0)))
1552480269.879 * * * * [progress]: [ 14 / 25 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (*.p16 alpha (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (*.p16 beta (+.p16 (+.p16 alpha beta) (real->posit16 2.0))))) (real->posit16 1.0)) (real->posit16 2.0)))>
1552480269.879 * [simplify]: Simplifying (*.p16 beta (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))
1552480269.879 * * [simplify]: iters left: 3 (7 enodes)
1552480269.881 * * [simplify]: iters left: 2 (23 enodes)
1552480269.889 * * [simplify]: iters left: 1 (42 enodes)
1552480269.904 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480269.904 * * [simplify]: Extracting #1: cost 12 inf + 0
1552480269.904 * * [simplify]: Extracting #2: cost 16 inf + 1
1552480269.904 * * [simplify]: Extracting #3: cost 15 inf + 323
1552480269.905 * * [simplify]: Extracting #4: cost 11 inf + 1050
1552480269.905 * * [simplify]: Extracting #5: cost 3 inf + 3268
1552480269.906 * * [simplify]: Extracting #6: cost 0 inf + 4396
1552480269.907 * [simplify]: Simplified to (*.p16 beta (+.p16 beta (+.p16 (real->posit16 2.0) alpha)))
1552480269.907 * [simplify]: Simplified (2 1 1 2 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (*.p16 alpha (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (*.p16 beta (+.p16 beta (+.p16 (real->posit16 2.0) alpha))))) (real->posit16 1.0)) (real->posit16 2.0)))
1552480269.907 * * * * [progress]: [ 15 / 25 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))>
1552480269.907 * * * * [progress]: [ 16 / 25 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (+.p16 (*.p16 (-.p16 beta alpha) alpha) (*.p16 (-.p16 beta alpha) beta)) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
1552480269.908 * [simplify]: Simplifying (*.p16 (-.p16 beta alpha) beta)
1552480269.908 * * [simplify]: iters left: 2 (4 enodes)
1552480269.909 * * [simplify]: iters left: 1 (16 enodes)
1552480269.914 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480269.915 * * [simplify]: Extracting #1: cost 9 inf + 0
1552480269.915 * * [simplify]: Extracting #2: cost 11 inf + 1
1552480269.915 * * [simplify]: Extracting #3: cost 13 inf + 323
1552480269.915 * * [simplify]: Extracting #4: cost 9 inf + 1933
1552480269.915 * * [simplify]: Extracting #5: cost 3 inf + 4862
1552480269.916 * * [simplify]: Extracting #6: cost 0 inf + 7748
1552480269.916 * [simplify]: Simplified to (*.p16 beta (-.p16 beta alpha))
1552480269.916 * [simplify]: Simplified (2 1 1 1 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (+.p16 (*.p16 (-.p16 beta alpha) alpha) (*.p16 beta (-.p16 beta alpha))) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
1552480269.917 * * * * [progress]: [ 17 / 25 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (+.p16 (*.p16 (-.p16 beta alpha) beta) (*.p16 (-.p16 beta alpha) alpha)) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
1552480269.917 * [simplify]: Simplifying (*.p16 (-.p16 beta alpha) alpha)
1552480269.917 * * [simplify]: iters left: 2 (4 enodes)
1552480269.919 * * [simplify]: iters left: 1 (16 enodes)
1552480269.926 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480269.926 * * [simplify]: Extracting #1: cost 10 inf + 0
1552480269.926 * * [simplify]: Extracting #2: cost 12 inf + 1
1552480269.926 * * [simplify]: Extracting #3: cost 13 inf + 885
1552480269.927 * * [simplify]: Extracting #4: cost 8 inf + 2697
1552480269.927 * * [simplify]: Extracting #5: cost 2 inf + 6266
1552480269.927 * * [simplify]: Extracting #6: cost 0 inf + 8390
1552480269.928 * [simplify]: Simplified to (*.p16 (-.p16 beta alpha) alpha)
1552480269.928 * [simplify]: Simplified (2 1 1 1 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (+.p16 (*.p16 (-.p16 beta alpha) beta) (*.p16 (-.p16 beta alpha) alpha)) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
1552480269.928 * * * * [progress]: [ 18 / 25 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (+.p16 (*.p16 alpha (-.p16 beta alpha)) (*.p16 beta (-.p16 beta alpha))) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
1552480269.929 * [simplify]: Simplifying (*.p16 beta (-.p16 beta alpha))
1552480269.929 * * [simplify]: iters left: 2 (4 enodes)
1552480269.930 * * [simplify]: iters left: 1 (16 enodes)
1552480269.934 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480269.934 * * [simplify]: Extracting #1: cost 9 inf + 0
1552480269.935 * * [simplify]: Extracting #2: cost 11 inf + 1
1552480269.935 * * [simplify]: Extracting #3: cost 13 inf + 323
1552480269.935 * * [simplify]: Extracting #4: cost 9 inf + 1933
1552480269.935 * * [simplify]: Extracting #5: cost 3 inf + 4862
1552480269.935 * * [simplify]: Extracting #6: cost 0 inf + 7748
1552480269.935 * [simplify]: Simplified to (*.p16 beta (-.p16 beta alpha))
1552480269.935 * [simplify]: Simplified (2 1 1 1 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (+.p16 (*.p16 alpha (-.p16 beta alpha)) (*.p16 beta (-.p16 beta alpha))) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
1552480269.936 * * * * [progress]: [ 19 / 25 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (+.p16 (*.p16 beta (-.p16 beta alpha)) (*.p16 alpha (-.p16 beta alpha))) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
1552480269.936 * [simplify]: Simplifying (*.p16 alpha (-.p16 beta alpha))
1552480269.936 * * [simplify]: iters left: 2 (4 enodes)
1552480269.937 * * [simplify]: iters left: 1 (16 enodes)
1552480269.939 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480269.939 * * [simplify]: Extracting #1: cost 10 inf + 0
1552480269.939 * * [simplify]: Extracting #2: cost 12 inf + 1
1552480269.939 * * [simplify]: Extracting #3: cost 11 inf + 1249
1552480269.939 * * [simplify]: Extracting #4: cost 6 inf + 3901
1552480269.940 * * [simplify]: Extracting #5: cost 1 inf + 7028
1552480269.940 * * [simplify]: Extracting #6: cost 0 inf + 8390
1552480269.940 * [simplify]: Simplified to (*.p16 alpha (-.p16 beta alpha))
1552480269.940 * [simplify]: Simplified (2 1 1 1 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (+.p16 (*.p16 beta (-.p16 beta alpha)) (*.p16 alpha (-.p16 beta alpha))) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
1552480269.940 * * * * [progress]: [ 20 / 25 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (+.p16 alpha beta)) (+.p16 beta alpha)) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
1552480269.941 * [simplify]: Simplifying (*.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (+.p16 alpha beta))
1552480269.941 * * [simplify]: iters left: 3 (7 enodes)
1552480269.942 * * [simplify]: iters left: 2 (28 enodes)
1552480269.948 * * [simplify]: iters left: 1 (79 enodes)
1552480269.966 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480269.966 * * [simplify]: Extracting #1: cost 23 inf + 0
1552480269.967 * * [simplify]: Extracting #2: cost 63 inf + 0
1552480269.967 * * [simplify]: Extracting #3: cost 75 inf + 1531
1552480269.968 * * [simplify]: Extracting #4: cost 37 inf + 47856
1552480269.971 * * [simplify]: Extracting #5: cost 1 inf + 91596
1552480269.974 * * [simplify]: Extracting #6: cost 0 inf + 94238
1552480269.978 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (-.p16 beta alpha))
1552480269.978 * [simplify]: Simplified (2 1 1 1 1) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (-.p16 beta alpha)) (+.p16 beta alpha)) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
1552480269.978 * * * * [progress]: [ 21 / 25 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
1552480269.978 * * * * [progress]: [ 22 / 25 ] 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)))>
1552480269.978 * [simplify]: Simplifying (/.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))
1552480269.978 * * [simplify]: iters left: 6 (15 enodes)
1552480269.983 * * [simplify]: iters left: 5 (52 enodes)
1552480270.002 * * [simplify]: iters left: 4 (152 enodes)
1552480270.066 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480270.066 * * [simplify]: Extracting #1: cost 3 inf + 0
1552480270.066 * * [simplify]: Extracting #2: cost 6 inf + 0
1552480270.066 * * [simplify]: Extracting #3: cost 36 inf + 2
1552480270.067 * * [simplify]: Extracting #4: cost 104 inf + 3
1552480270.067 * * [simplify]: Extracting #5: cost 112 inf + 4517
1552480270.071 * * [simplify]: Extracting #6: cost 50 inf + 77491
1552480270.077 * * [simplify]: Extracting #7: cost 1 inf + 122190
1552480270.085 * * [simplify]: Extracting #8: cost 0 inf + 124192
1552480270.092 * [simplify]: Simplified to (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0))
1552480270.092 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))
1552480270.092 * * * * [progress]: [ 23 / 25 ] 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)))>
1552480270.092 * [simplify]: Simplifying (/.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))
1552480270.092 * * [simplify]: iters left: 6 (15 enodes)
1552480270.096 * * [simplify]: iters left: 5 (52 enodes)
1552480270.122 * * [simplify]: iters left: 4 (152 enodes)
1552480270.175 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480270.175 * * [simplify]: Extracting #1: cost 3 inf + 0
1552480270.175 * * [simplify]: Extracting #2: cost 6 inf + 0
1552480270.175 * * [simplify]: Extracting #3: cost 36 inf + 2
1552480270.175 * * [simplify]: Extracting #4: cost 104 inf + 3
1552480270.176 * * [simplify]: Extracting #5: cost 112 inf + 4517
1552480270.180 * * [simplify]: Extracting #6: cost 50 inf + 77491
1552480270.186 * * [simplify]: Extracting #7: cost 1 inf + 122190
1552480270.192 * * [simplify]: Extracting #8: cost 0 inf + 124192
1552480270.203 * [simplify]: Simplified to (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0))
1552480270.203 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))
1552480270.203 * * * * [progress]: [ 24 / 25 ] 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)))>
1552480270.204 * [simplify]: Simplifying (/.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))
1552480270.204 * * [simplify]: iters left: 6 (15 enodes)
1552480270.212 * * [simplify]: iters left: 5 (52 enodes)
1552480270.230 * * [simplify]: iters left: 4 (152 enodes)
1552480270.293 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480270.293 * * [simplify]: Extracting #1: cost 3 inf + 0
1552480270.293 * * [simplify]: Extracting #2: cost 6 inf + 0
1552480270.293 * * [simplify]: Extracting #3: cost 36 inf + 2
1552480270.294 * * [simplify]: Extracting #4: cost 104 inf + 3
1552480270.295 * * [simplify]: Extracting #5: cost 112 inf + 4517
1552480270.304 * * [simplify]: Extracting #6: cost 50 inf + 77491
1552480270.315 * * [simplify]: Extracting #7: cost 1 inf + 122190
1552480270.328 * * [simplify]: Extracting #8: cost 0 inf + 124192
1552480270.337 * [simplify]: Simplified to (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0))
1552480270.337 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))
1552480270.337 * * * * [progress]: [ 25 / 25 ] 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)))>
1552480270.337 * [simplify]: Simplifying (/.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))
1552480270.337 * * [simplify]: iters left: 6 (15 enodes)
1552480270.342 * * [simplify]: iters left: 5 (52 enodes)
1552480270.353 * * [simplify]: iters left: 4 (152 enodes)
1552480270.410 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480270.410 * * [simplify]: Extracting #1: cost 3 inf + 0
1552480270.410 * * [simplify]: Extracting #2: cost 6 inf + 0
1552480270.410 * * [simplify]: Extracting #3: cost 36 inf + 2
1552480270.410 * * [simplify]: Extracting #4: cost 104 inf + 3
1552480270.411 * * [simplify]: Extracting #5: cost 112 inf + 4517
1552480270.414 * * [simplify]: Extracting #6: cost 50 inf + 77491
1552480270.420 * * [simplify]: Extracting #7: cost 1 inf + 122190
1552480270.427 * * [simplify]: Extracting #8: cost 0 inf + 124192
1552480270.433 * [simplify]: Simplified to (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0))
1552480270.433 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))
1552480270.433 * * * [progress]: adding candidates to table
1552480272.115 * [progress]: [Phase 3 of 3] Extracting.
1552480272.115 * * [regime]: Finding splitpoints for: (#<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<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)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (+.p16 alpha beta)) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (/.p16 (*.p16 (+.p16 (+.p16 alpha 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 (-.p16 beta alpha) (+.p16 alpha beta)) (+.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 (+.p16 alpha 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 beta) (real->posit16 2.0)) (+.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 alpha (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (*.p16 beta (+.p16 (+.p16 alpha beta) (real->posit16 2.0))))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (/.p16 (-.p16 beta alpha) (+.p16 alpha beta))) (real->posit16 1.0)) (real->posit16 2.0)))>)
1552480272.117 * * * [regime-changes]: Trying 2 branch expressions: (alpha beta)
1552480272.117 * * * * [regimes]: Trying to branch on alpha from (#<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<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)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (+.p16 alpha beta)) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (/.p16 (*.p16 (+.p16 (+.p16 alpha 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 (-.p16 beta alpha) (+.p16 alpha beta)) (+.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 (+.p16 alpha 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 beta) (real->posit16 2.0)) (+.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 alpha (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (*.p16 beta (+.p16 (+.p16 alpha beta) (real->posit16 2.0))))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (/.p16 (-.p16 beta alpha) (+.p16 alpha beta))) (real->posit16 1.0)) (real->posit16 2.0)))>)
1552480272.769 * * * * [regimes]: Trying to branch on beta from (#<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<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)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (+.p16 alpha beta)) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (+.p16 alpha beta) (/.p16 (*.p16 (+.p16 (+.p16 alpha 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 (-.p16 beta alpha) (+.p16 alpha beta)) (+.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 (+.p16 alpha 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 beta) (real->posit16 2.0)) (+.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 alpha (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (*.p16 beta (+.p16 (+.p16 alpha beta) (real->posit16 2.0))))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (/.p16 (-.p16 beta alpha) (+.p16 alpha beta))) (real->posit16 1.0)) (real->posit16 2.0)))>)
1552480273.203 * * * [regime]: Found split indices: #<option (#s(si 8 256))>
1552480273.204 * [simplify]: Simplifying (/.p16 (+.p16 (*.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (/.p16 (-.p16 beta alpha) (+.p16 alpha beta))) (real->posit16 1.0)) (real->posit16 2.0))
1552480273.204 * * [simplify]: iters left: 6 (14 enodes)
1552480273.205 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480273.205 * * [simplify]: Extracting #1: cost 3 inf + 0
1552480273.205 * * [simplify]: Extracting #2: cost 6 inf + 0
1552480273.205 * * [simplify]: Extracting #3: cost 8 inf + 1
1552480273.205 * * [simplify]: Extracting #4: cost 8 inf + 4
1552480273.205 * * [simplify]: Extracting #5: cost 10 inf + 4
1552480273.205 * * [simplify]: Extracting #6: cost 8 inf + 6
1552480273.205 * * [simplify]: Extracting #7: cost 5 inf + 213
1552480273.205 * * [simplify]: Extracting #8: cost 2 inf + 2661
1552480273.205 * * [simplify]: Extracting #9: cost 0 inf + 5909
1552480273.206 * [simplify]: Simplified to (/.p16 (+.p16 (*.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (/.p16 (-.p16 beta alpha) (+.p16 alpha beta))) (real->posit16 1.0)) (real->posit16 2.0))
1552480273.206 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1552480273.229 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
1552480273.232 * * * * [points]: Setting MPFR precision to 64
1552480273.233 * * * * [points]: Setting MPFR precision to 320
1552480273.234 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
1552480273.237 * * * * [points]: Setting MPFR precision to 64
1552480273.239 * * * * [points]: Setting MPFR precision to 320
1552480273.241 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
1552480273.244 * * * * [points]: Setting MPFR precision to 64
1552480273.248 * * * * [points]: Setting MPFR precision to 320
1552480273.253 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
1552480273.256 * * * * [points]: Setting MPFR precision to 64
1552480273.278 * * * * [points]: Setting MPFR precision to 320
1552480273.286 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
1552480273.289 * * * * [points]: Setting MPFR precision to 64
1552480273.313 * * * * [points]: Setting MPFR precision to 320
1552480273.345 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
1552480273.351 * * * * [points]: Setting MPFR precision to 64
1552480273.408 * * * * [points]: Setting MPFR precision to 320
1552480273.461 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
1552480273.464 * * * * [points]: Setting MPFR precision to 64
1552480273.602 * * * * [points]: Setting MPFR precision to 320
1552480273.719 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
1552480273.769 * * * * [points]: Setting MPFR precision to 64
1552480273.920 * * * * [points]: Setting MPFR precision to 320
1552480274.071 * * * * [points]: Computing exacts for 8000 points
1552480274.102 * * * * [points]: Setting MPFR precision to 64
1552480274.780 * * * * [points]: Setting MPFR precision to 320
1552480275.639 * * * * [points]: Filtering points with unrepresentable outputs
1552480275.924 * * * * [points]: Sampling 3530 additional inputs, on iter 1 have 4470 / 8000
1552480275.934 * * * * [points]: Computing exacts on every 220 of 3530 points to ramp up precision
1552480275.937 * * * * [points]: Setting MPFR precision to 64
1552480275.938 * * * * [points]: Setting MPFR precision to 320
1552480275.939 * * * * [points]: Computing exacts on every 110 of 3530 points to ramp up precision
1552480275.942 * * * * [points]: Setting MPFR precision to 64
1552480275.944 * * * * [points]: Setting MPFR precision to 320
1552480275.946 * * * * [points]: Computing exacts on every 55 of 3530 points to ramp up precision
1552480275.949 * * * * [points]: Setting MPFR precision to 64
1552480275.954 * * * * [points]: Setting MPFR precision to 320
1552480275.958 * * * * [points]: Computing exacts on every 27 of 3530 points to ramp up precision
1552480275.961 * * * * [points]: Setting MPFR precision to 64
1552480275.969 * * * * [points]: Setting MPFR precision to 320
1552480275.978 * * * * [points]: Computing exacts on every 13 of 3530 points to ramp up precision
1552480275.982 * * * * [points]: Setting MPFR precision to 64
1552480275.996 * * * * [points]: Setting MPFR precision to 320
1552480276.012 * * * * [points]: Computing exacts on every 6 of 3530 points to ramp up precision
1552480276.015 * * * * [points]: Setting MPFR precision to 64
1552480276.068 * * * * [points]: Setting MPFR precision to 320
1552480276.118 * * * * [points]: Computing exacts on every 3 of 3530 points to ramp up precision
1552480276.122 * * * * [points]: Setting MPFR precision to 64
1552480276.202 * * * * [points]: Setting MPFR precision to 320
1552480276.329 * * * * [points]: Computing exacts for 3530 points
1552480276.332 * * * * [points]: Setting MPFR precision to 64
1552480276.920 * * * * [points]: Setting MPFR precision to 320
1552480277.388 * * * * [points]: Filtering points with unrepresentable outputs
1552480277.604 * * * * [points]: Sampling 1526 additional inputs, on iter 2 have 6474 / 8000
1552480277.609 * * * * [points]: Computing exacts on every 95 of 1526 points to ramp up precision
1552480277.612 * * * * [points]: Setting MPFR precision to 64
1552480277.613 * * * * [points]: Setting MPFR precision to 320
1552480277.614 * * * * [points]: Computing exacts on every 47 of 1526 points to ramp up precision
1552480277.617 * * * * [points]: Setting MPFR precision to 64
1552480277.619 * * * * [points]: Setting MPFR precision to 320
1552480277.621 * * * * [points]: Computing exacts on every 23 of 1526 points to ramp up precision
1552480277.625 * * * * [points]: Setting MPFR precision to 64
1552480277.644 * * * * [points]: Setting MPFR precision to 320
1552480277.656 * * * * [points]: Computing exacts on every 11 of 1526 points to ramp up precision
1552480277.660 * * * * [points]: Setting MPFR precision to 64
1552480277.667 * * * * [points]: Setting MPFR precision to 320
1552480277.676 * * * * [points]: Computing exacts on every 5 of 1526 points to ramp up precision
1552480277.679 * * * * [points]: Setting MPFR precision to 64
1552480277.702 * * * * [points]: Setting MPFR precision to 320
1552480277.721 * * * * [points]: Computing exacts on every 2 of 1526 points to ramp up precision
1552480277.724 * * * * [points]: Setting MPFR precision to 64
1552480277.753 * * * * [points]: Setting MPFR precision to 320
1552480277.820 * * * * [points]: Computing exacts for 1526 points
1552480277.827 * * * * [points]: Setting MPFR precision to 64
1552480277.914 * * * * [points]: Setting MPFR precision to 320
1552480278.104 * * * * [points]: Filtering points with unrepresentable outputs
1552480278.190 * * * * [points]: Sampling 681 additional inputs, on iter 3 have 7319 / 8000
1552480278.194 * * * * [points]: Computing exacts on every 42 of 681 points to ramp up precision
1552480278.231 * * * * [points]: Setting MPFR precision to 64
1552480278.233 * * * * [points]: Setting MPFR precision to 320
1552480278.234 * * * * [points]: Computing exacts on every 21 of 681 points to ramp up precision
1552480278.241 * * * * [points]: Setting MPFR precision to 64
1552480278.244 * * * * [points]: Setting MPFR precision to 320
1552480278.248 * * * * [points]: Computing exacts on every 10 of 681 points to ramp up precision
1552480278.254 * * * * [points]: Setting MPFR precision to 64
1552480278.260 * * * * [points]: Setting MPFR precision to 320
1552480278.268 * * * * [points]: Computing exacts on every 5 of 681 points to ramp up precision
1552480278.273 * * * * [points]: Setting MPFR precision to 64
1552480278.286 * * * * [points]: Setting MPFR precision to 320
1552480278.301 * * * * [points]: Computing exacts on every 2 of 681 points to ramp up precision
1552480278.306 * * * * [points]: Setting MPFR precision to 64
1552480278.330 * * * * [points]: Setting MPFR precision to 320
1552480278.359 * * * * [points]: Computing exacts for 681 points
1552480278.363 * * * * [points]: Setting MPFR precision to 64
1552480278.402 * * * * [points]: Setting MPFR precision to 320
1552480278.474 * * * * [points]: Filtering points with unrepresentable outputs
1552480278.494 * * * * [points]: Sampling 294 additional inputs, on iter 4 have 7706 / 8000
1552480278.494 * * * * [points]: Computing exacts on every 18 of 294 points to ramp up precision
1552480278.497 * * * * [points]: Setting MPFR precision to 64
1552480278.499 * * * * [points]: Setting MPFR precision to 320
1552480278.500 * * * * [points]: Computing exacts on every 9 of 294 points to ramp up precision
1552480278.502 * * * * [points]: Setting MPFR precision to 64
1552480278.504 * * * * [points]: Setting MPFR precision to 320
1552480278.507 * * * * [points]: Computing exacts on every 4 of 294 points to ramp up precision
1552480278.510 * * * * [points]: Setting MPFR precision to 64
1552480278.513 * * * * [points]: Setting MPFR precision to 320
1552480278.517 * * * * [points]: Computing exacts on every 2 of 294 points to ramp up precision
1552480278.519 * * * * [points]: Setting MPFR precision to 64
1552480278.525 * * * * [points]: Setting MPFR precision to 320
1552480278.531 * * * * [points]: Computing exacts for 294 points
1552480278.534 * * * * [points]: Setting MPFR precision to 64
1552480278.592 * * * * [points]: Setting MPFR precision to 320
1552480278.616 * * * * [points]: Filtering points with unrepresentable outputs
1552480278.626 * * * * [points]: Sampling 129 additional inputs, on iter 5 have 7871 / 8000
1552480278.627 * * * * [points]: Computing exacts on every 8 of 129 points to ramp up precision
1552480278.630 * * * * [points]: Setting MPFR precision to 64
1552480278.631 * * * * [points]: Setting MPFR precision to 320
1552480278.632 * * * * [points]: Computing exacts on every 4 of 129 points to ramp up precision
1552480278.635 * * * * [points]: Setting MPFR precision to 64
1552480278.636 * * * * [points]: Setting MPFR precision to 320
1552480278.638 * * * * [points]: Computing exacts on every 2 of 129 points to ramp up precision
1552480278.641 * * * * [points]: Setting MPFR precision to 64
1552480278.643 * * * * [points]: Setting MPFR precision to 320
1552480278.646 * * * * [points]: Computing exacts for 129 points
1552480278.649 * * * * [points]: Setting MPFR precision to 64
1552480278.657 * * * * [points]: Setting MPFR precision to 320
1552480278.665 * * * * [points]: Filtering points with unrepresentable outputs
1552480278.668 * * * * [points]: Sampling 65 additional inputs, on iter 6 have 7935 / 8000
1552480278.669 * * * * [points]: Computing exacts on every 4 of 65 points to ramp up precision
1552480278.671 * * * * [points]: Setting MPFR precision to 64
1552480278.672 * * * * [points]: Setting MPFR precision to 320
1552480278.673 * * * * [points]: Computing exacts on every 2 of 65 points to ramp up precision
1552480278.676 * * * * [points]: Setting MPFR precision to 64
1552480278.677 * * * * [points]: Setting MPFR precision to 320
1552480278.679 * * * * [points]: Computing exacts for 65 points
1552480278.682 * * * * [points]: Setting MPFR precision to 64
1552480278.685 * * * * [points]: Setting MPFR precision to 320
1552480278.690 * * * * [points]: Filtering points with unrepresentable outputs
1552480278.691 * * * * [points]: Sampling 33 additional inputs, on iter 7 have 7967 / 8000
1552480278.692 * * * * [points]: Computing exacts on every 2 of 33 points to ramp up precision
1552480278.713 * * * * [points]: Setting MPFR precision to 64
1552480278.714 * * * * [points]: Setting MPFR precision to 320
1552480278.715 * * * * [points]: Computing exacts for 33 points
1552480278.718 * * * * [points]: Setting MPFR precision to 64
1552480278.720 * * * * [points]: Setting MPFR precision to 320
1552480278.722 * * * * [points]: Filtering points with unrepresentable outputs
1552480278.723 * * * * [points]: Sampling 16 additional inputs, on iter 8 have 7984 / 8000
1552480278.723 * * * * [points]: Computing exacts for 16 points
1552480278.726 * * * * [points]: Setting MPFR precision to 64
1552480278.727 * * * * [points]: Setting MPFR precision to 320
1552480278.728 * * * * [points]: Filtering points with unrepresentable outputs
1552480278.728 * * * * [points]: Sampling 7 additional inputs, on iter 9 have 7993 / 8000
1552480278.729 * * * * [points]: Computing exacts for 7 points
1552480278.732 * * * * [points]: Setting MPFR precision to 64
1552480278.732 * * * * [points]: Setting MPFR precision to 320
1552480278.733 * * * * [points]: Filtering points with unrepresentable outputs
1552480278.733 * * * * [points]: Sampling 4 additional inputs, on iter 10 have 7996 / 8000
1552480278.733 * * * * [points]: Computing exacts for 4 points
1552480278.736 * * * * [points]: Setting MPFR precision to 64
1552480278.736 * * * * [points]: Setting MPFR precision to 320
1552480278.737 * * * * [points]: Filtering points with unrepresentable outputs
1552480278.737 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7998 / 8000
1552480278.737 * * * * [points]: Computing exacts for 4 points
1552480278.740 * * * * [points]: Setting MPFR precision to 64
1552480278.740 * * * * [points]: Setting MPFR precision to 320
1552480278.741 * * * * [points]: Filtering points with unrepresentable outputs
1552480278.741 * * * * [points]: Sampled 8001 points with exact outputs
1552480286.353 * [regime-testing]: Baseline error score: 64.0
1552480286.356 * [regime-testing]: Oracle error score: 64.0
1552480286.363 * [regime-testing]: End program error score: 0.7988842773549093