1550842872.576 * [misc]progress:  [Phase 1 of 3] Setting up.
1550842872.576 * * * [misc]progress:  [1/2] Preparing points
1550842872.577 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1550842872.577 * * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
1550842872.580 * * * * [misc]points:  Setting MPFR precision to 64
1550842872.582 * * * * [misc]points:  Setting MPFR precision to 320
1550842872.584 * * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
1550842872.591 * * * * [misc]points:  Setting MPFR precision to 64
1550842872.594 * * * * [misc]points:  Setting MPFR precision to 320
1550842872.597 * * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
1550842872.603 * * * * [misc]points:  Setting MPFR precision to 64
1550842872.614 * * * * [misc]points:  Setting MPFR precision to 320
1550842872.621 * * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
1550842872.627 * * * * [misc]points:  Setting MPFR precision to 64
1550842872.636 * * * * [misc]points:  Setting MPFR precision to 320
1550842872.647 * * * * [misc]points:  Computing exacts for 256 points
1550842872.652 * * * * [misc]points:  Setting MPFR precision to 64
1550842872.676 * * * * [misc]points:  Setting MPFR precision to 320
1550842872.694 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550842872.701 * * * * [misc]points:  Sampling 127 additional inputs, on iter 1 have 129 / 256
1550842872.701 * * * * [misc]points:  Computing exacts on every 7 of 127 points to ramp up precision
1550842872.704 * * * * [misc]points:  Setting MPFR precision to 64
1550842872.705 * * * * [misc]points:  Setting MPFR precision to 320
1550842872.706 * * * * [misc]points:  Computing exacts on every 3 of 127 points to ramp up precision
1550842872.709 * * * * [misc]points:  Setting MPFR precision to 64
1550842872.712 * * * * [misc]points:  Setting MPFR precision to 320
1550842872.714 * * * * [misc]points:  Computing exacts for 127 points
1550842872.717 * * * * [misc]points:  Setting MPFR precision to 64
1550842872.726 * * * * [misc]points:  Setting MPFR precision to 320
1550842872.734 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550842872.737 * * * * [misc]points:  Sampling 64 additional inputs, on iter 2 have 192 / 256
1550842872.737 * * * * [misc]points:  Computing exacts on every 4 of 64 points to ramp up precision
1550842872.741 * * * * [misc]points:  Setting MPFR precision to 64
1550842872.742 * * * * [misc]points:  Setting MPFR precision to 320
1550842872.743 * * * * [misc]points:  Computing exacts on every 2 of 64 points to ramp up precision
1550842872.746 * * * * [misc]points:  Setting MPFR precision to 64
1550842872.747 * * * * [misc]points:  Setting MPFR precision to 320
1550842872.749 * * * * [misc]points:  Computing exacts for 64 points
1550842872.775 * * * * [misc]points:  Setting MPFR precision to 64
1550842872.786 * * * * [misc]points:  Setting MPFR precision to 320
1550842872.795 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550842872.798 * * * * [misc]points:  Sampling 32 additional inputs, on iter 3 have 224 / 256
1550842872.798 * * * * [misc]points:  Computing exacts on every 2 of 32 points to ramp up precision
1550842872.804 * * * * [misc]points:  Setting MPFR precision to 64
1550842872.806 * * * * [misc]points:  Setting MPFR precision to 320
1550842872.807 * * * * [misc]points:  Computing exacts for 32 points
1550842872.812 * * * * [misc]points:  Setting MPFR precision to 64
1550842872.816 * * * * [misc]points:  Setting MPFR precision to 320
1550842872.820 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550842872.821 * * * * [misc]points:  Sampling 19 additional inputs, on iter 4 have 237 / 256
1550842872.821 * * * * [misc]points:  Computing exacts for 19 points
1550842872.826 * * * * [misc]points:  Setting MPFR precision to 64
1550842872.827 * * * * [misc]points:  Setting MPFR precision to 320
1550842872.828 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550842872.829 * * * * [misc]points:  Sampling 10 additional inputs, on iter 5 have 246 / 256
1550842872.829 * * * * [misc]points:  Computing exacts for 10 points
1550842872.832 * * * * [misc]points:  Setting MPFR precision to 64
1550842872.832 * * * * [misc]points:  Setting MPFR precision to 320
1550842872.833 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550842872.834 * * * * [misc]points:  Sampling 5 additional inputs, on iter 6 have 251 / 256
1550842872.834 * * * * [misc]points:  Computing exacts for 5 points
1550842872.836 * * * * [misc]points:  Setting MPFR precision to 64
1550842872.837 * * * * [misc]points:  Setting MPFR precision to 320
1550842872.837 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550842872.838 * * * * [misc]points:  Sampling 4 additional inputs, on iter 7 have 255 / 256
1550842872.838 * * * * [misc]points:  Computing exacts for 4 points
1550842872.840 * * * * [misc]points:  Setting MPFR precision to 64
1550842872.841 * * * * [misc]points:  Setting MPFR precision to 320
1550842872.841 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550842872.841 * * * * [exit]points:  Sampled 257 points with exact outputs
1550842872.841 * * * [misc]progress:  [2/2] Setting up program.
1550842872.864 * [misc]progress:  [Phase 2 of 3] Improving.
1550842872.864 * * * * [misc]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)))>
1550842872.864 * [enter]simplify:  Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))
1550842872.864 * * [misc]simplify:  iters left: 5 (12 enodes)
1550842872.868 * * [misc]simplify:  iters left: 4 (29 enodes)
1550842872.874 * * [misc]simplify:  iters left: 3 (46 enodes)
1550842872.888 * * [misc]simplify:  iters left: 2 (97 enodes)
1550842872.941 * * [misc]simplify:  iters left: 1 (335 enodes)
1550842873.134 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842873.134 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550842873.134 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550842873.134 * * [misc]simplify:  Extracting #3: cost 84 inf + 2
1550842873.135 * * [misc]simplify:  Extracting #4: cost 417 inf + 3
1550842873.144 * * [misc]simplify:  Extracting #5: cost 404 inf + 78485
1550842873.161 * * [misc]simplify:  Extracting #6: cost 124 inf + 437558
1550842873.187 * * [misc]simplify:  Extracting #7: cost 5 inf + 645994
1550842873.214 * * [misc]simplify:  Extracting #8: cost 0 inf + 656284
1550842873.263 * [exit]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))
1550842873.263 * [misc]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)))
1550842873.302 * * [misc]progress:  iteration 1 / 4
1550842873.302 * * * [misc]progress:  picking best candidate
1550842873.339 * * * * [misc]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)))>
1550842873.339 * * * [misc]progress:  localizing error
1550842873.746 * * * [misc]progress:  generating rewritten candidates
1550842873.746 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 1)
1550842873.751 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1)
1550842873.759 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 2)
1550842873.764 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2)
1550842873.777 * * * [misc]progress:  generating series expansions
1550842873.777 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 1)
1550842873.777 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1)
1550842873.777 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 2)
1550842873.777 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2)
1550842873.777 * * * [misc]progress:  simplifying candidates
1550842873.777 * * * * [misc]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)))>
1550842873.777 * [enter]simplify:  Simplifying (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))
1550842873.777 * * [misc]simplify:  iters left: 2 (5 enodes)
1550842873.779 * * [misc]simplify:  iters left: 1 (19 enodes)
1550842873.786 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842873.786 * * [misc]simplify:  Extracting #1: cost 8 inf + 0
1550842873.786 * * [misc]simplify:  Extracting #2: cost 16 inf + 0
1550842873.787 * * [misc]simplify:  Extracting #3: cost 16 inf + 1766
1550842873.787 * * [misc]simplify:  Extracting #4: cost 6 inf + 6819
1550842873.788 * * [misc]simplify:  Extracting #5: cost 1 inf + 12227
1550842873.788 * * [misc]simplify:  Extracting #6: cost 0 inf + 13549
1550842873.789 * [exit]simplify:  Simplified to (*.p16 (-.p16 beta alpha) (+.p16 alpha beta))
1550842873.789 * [misc]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)))
1550842873.789 * * * * [misc]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)))>
1550842873.789 * * * * [misc]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)))>
1550842873.789 * * * * [misc]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)))>
1550842873.789 * * * * [misc]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)))>
1550842873.790 * [enter]simplify:  Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))
1550842873.790 * * [misc]simplify:  iters left: 5 (12 enodes)
1550842873.796 * * [misc]simplify:  iters left: 4 (29 enodes)
1550842873.806 * * [misc]simplify:  iters left: 3 (46 enodes)
1550842873.824 * * [misc]simplify:  iters left: 2 (97 enodes)
1550842873.872 * * [misc]simplify:  iters left: 1 (335 enodes)
1550842874.135 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842874.135 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550842874.135 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550842874.136 * * [misc]simplify:  Extracting #3: cost 84 inf + 2
1550842874.138 * * [misc]simplify:  Extracting #4: cost 417 inf + 3
1550842874.146 * * [misc]simplify:  Extracting #5: cost 404 inf + 78485
1550842874.174 * * [misc]simplify:  Extracting #6: cost 124 inf + 437558
1550842874.199 * * [misc]simplify:  Extracting #7: cost 5 inf + 645994
1550842874.237 * * [misc]simplify:  Extracting #8: cost 0 inf + 656284
1550842874.295 * [exit]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))
1550842874.295 * [misc]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)))
1550842874.295 * * * * [misc]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)))>
1550842874.295 * [enter]simplify:  Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))
1550842874.296 * * [misc]simplify:  iters left: 5 (12 enodes)
1550842874.302 * * [misc]simplify:  iters left: 4 (29 enodes)
1550842874.312 * * [misc]simplify:  iters left: 3 (46 enodes)
1550842874.327 * * [misc]simplify:  iters left: 2 (97 enodes)
1550842874.372 * * [misc]simplify:  iters left: 1 (335 enodes)
1550842874.620 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842874.620 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550842874.620 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550842874.621 * * [misc]simplify:  Extracting #3: cost 84 inf + 2
1550842874.623 * * [misc]simplify:  Extracting #4: cost 417 inf + 3
1550842874.631 * * [misc]simplify:  Extracting #5: cost 404 inf + 78485
1550842874.652 * * [misc]simplify:  Extracting #6: cost 124 inf + 437558
1550842874.699 * * [misc]simplify:  Extracting #7: cost 5 inf + 645994
1550842874.741 * * [misc]simplify:  Extracting #8: cost 0 inf + 656284
1550842874.768 * [exit]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))
1550842874.768 * [misc]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)))
1550842874.768 * * * * [misc]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)))>
1550842874.768 * [enter]simplify:  Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))
1550842874.769 * * [misc]simplify:  iters left: 5 (12 enodes)
1550842874.772 * * [misc]simplify:  iters left: 4 (29 enodes)
1550842874.777 * * [misc]simplify:  iters left: 3 (46 enodes)
1550842874.786 * * [misc]simplify:  iters left: 2 (97 enodes)
1550842874.825 * * [misc]simplify:  iters left: 1 (335 enodes)
1550842874.997 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842874.997 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550842874.997 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550842874.998 * * [misc]simplify:  Extracting #3: cost 84 inf + 2
1550842874.999 * * [misc]simplify:  Extracting #4: cost 417 inf + 3
1550842875.006 * * [misc]simplify:  Extracting #5: cost 404 inf + 78485
1550842875.023 * * [misc]simplify:  Extracting #6: cost 124 inf + 437558
1550842875.049 * * [misc]simplify:  Extracting #7: cost 5 inf + 645994
1550842875.077 * * [misc]simplify:  Extracting #8: cost 0 inf + 656284
1550842875.105 * [exit]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))
1550842875.105 * [misc]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)))
1550842875.105 * * * * [misc]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)))>
1550842875.106 * [enter]simplify:  Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))
1550842875.106 * * [misc]simplify:  iters left: 5 (12 enodes)
1550842875.109 * * [misc]simplify:  iters left: 4 (29 enodes)
1550842875.113 * * [misc]simplify:  iters left: 3 (46 enodes)
1550842875.121 * * [misc]simplify:  iters left: 2 (97 enodes)
1550842875.144 * * [misc]simplify:  iters left: 1 (335 enodes)
1550842875.385 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842875.385 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550842875.385 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550842875.385 * * [misc]simplify:  Extracting #3: cost 84 inf + 2
1550842875.388 * * [misc]simplify:  Extracting #4: cost 417 inf + 3
1550842875.394 * * [misc]simplify:  Extracting #5: cost 404 inf + 78485
1550842875.411 * * [misc]simplify:  Extracting #6: cost 124 inf + 437558
1550842875.442 * * [misc]simplify:  Extracting #7: cost 5 inf + 645994
1550842875.470 * * [misc]simplify:  Extracting #8: cost 0 inf + 656284
1550842875.499 * [exit]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))
1550842875.499 * [misc]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)))
1550842875.500 * * * [misc]progress:  adding candidates to table
1550842875.861 * * [misc]progress:  iteration 2 / 4
1550842875.861 * * * [misc]progress:  picking best candidate
1550842875.943 * * * * [misc]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)))>
1550842875.943 * * * [misc]progress:  localizing error
1550842876.163 * * * [misc]progress:  generating rewritten candidates
1550842876.163 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 1)
1550842876.167 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1)
1550842876.175 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 2)
1550842876.178 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2)
1550842876.189 * * * [misc]progress:  generating series expansions
1550842876.189 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 1)
1550842876.189 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1)
1550842876.189 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 2)
1550842876.190 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2)
1550842876.190 * * * [misc]progress:  simplifying candidates
1550842876.190 * * * * [misc]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)))>
1550842876.190 * [enter]simplify:  Simplifying (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))
1550842876.190 * * [misc]simplify:  iters left: 2 (5 enodes)
1550842876.192 * * [misc]simplify:  iters left: 1 (19 enodes)
1550842876.200 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842876.200 * * [misc]simplify:  Extracting #1: cost 8 inf + 0
1550842876.200 * * [misc]simplify:  Extracting #2: cost 16 inf + 0
1550842876.200 * * [misc]simplify:  Extracting #3: cost 16 inf + 1766
1550842876.201 * * [misc]simplify:  Extracting #4: cost 6 inf + 6819
1550842876.201 * * [misc]simplify:  Extracting #5: cost 1 inf + 12227
1550842876.202 * * [misc]simplify:  Extracting #6: cost 0 inf + 13549
1550842876.203 * [exit]simplify:  Simplified to (*.p16 (-.p16 beta alpha) (+.p16 alpha beta))
1550842876.203 * [misc]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)))
1550842876.203 * * * * [misc]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)))>
1550842876.203 * * * * [misc]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)))>
1550842876.203 * [enter]simplify:  Simplifying (real->posit16 2.0)
1550842876.203 * * [misc]simplify:  iters left: 1 (2 enodes)
1550842876.205 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842876.205 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1550842876.205 * * [misc]simplify:  Extracting #2: cost 1 inf + 1
1550842876.205 * * [misc]simplify:  Extracting #3: cost 0 inf + 2
1550842876.205 * [exit]simplify:  Simplified to (real->posit16 2.0)
1550842876.205 * [misc]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)))
1550842876.205 * * * * [misc]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)))>
1550842876.205 * * * * [misc]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)))>
1550842876.205 * * * * [misc]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)))>
1550842876.205 * * * * [misc]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)))>
1550842876.206 * * * * [misc]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)))>
1550842876.206 * * * [misc]progress:  adding candidates to table
1550842876.687 * * [misc]progress:  iteration 3 / 4
1550842876.687 * * * [misc]progress:  picking best candidate
1550842876.724 * * * * [misc]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)))>
1550842876.724 * * * [misc]progress:  localizing error
1550842876.996 * * * [misc]progress:  generating rewritten candidates
1550842876.996 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 1)
1550842876.999 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1)
1550842877.005 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 2)
1550842877.008 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1 2 1)
1550842877.011 * * * [misc]progress:  generating series expansions
1550842877.011 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 1)
1550842877.011 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1)
1550842877.011 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 2)
1550842877.011 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1 2 1)
1550842877.011 * * * [misc]progress:  simplifying candidates
1550842877.011 * * * * [misc]progress:  [ 1 / 14 ] 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)))>
1550842877.011 * [enter]simplify:  Simplifying (+.p16 beta alpha)
1550842877.011 * * [misc]simplify:  iters left: 1 (3 enodes)
1550842877.012 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842877.012 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550842877.012 * * [misc]simplify:  Extracting #2: cost 1 inf + 2
1550842877.012 * * [misc]simplify:  Extracting #3: cost 0 inf + 44
1550842877.012 * [exit]simplify:  Simplified to (+.p16 alpha beta)
1550842877.012 * [misc]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)))
1550842877.012 * * * * [misc]progress:  [ 2 / 14 ] 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)))>
1550842877.012 * [enter]simplify:  Simplifying (-.p16 beta alpha)
1550842877.012 * * [misc]simplify:  iters left: 1 (3 enodes)
1550842877.013 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842877.013 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1550842877.013 * * [misc]simplify:  Extracting #2: cost 5 inf + 44
1550842877.013 * * [misc]simplify:  Extracting #3: cost 0 inf + 1571
1550842877.013 * [exit]simplify:  Simplified to (-.p16 beta alpha)
1550842877.013 * [misc]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)))
1550842877.013 * * * * [misc]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 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
1550842877.014 * [enter]simplify:  Simplifying (*.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (+.p16 alpha beta))
1550842877.014 * * [misc]simplify:  iters left: 3 (7 enodes)
1550842877.015 * * [misc]simplify:  iters left: 2 (28 enodes)
1550842877.021 * * [misc]simplify:  iters left: 1 (79 enodes)
1550842877.058 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842877.058 * * [misc]simplify:  Extracting #1: cost 23 inf + 0
1550842877.058 * * [misc]simplify:  Extracting #2: cost 63 inf + 0
1550842877.059 * * [misc]simplify:  Extracting #3: cost 75 inf + 1531
1550842877.061 * * [misc]simplify:  Extracting #4: cost 37 inf + 47856
1550842877.067 * * [misc]simplify:  Extracting #5: cost 1 inf + 91596
1550842877.074 * * [misc]simplify:  Extracting #6: cost 0 inf + 94238
1550842877.080 * [exit]simplify:  Simplified to (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (-.p16 beta alpha))
1550842877.080 * [misc]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)))
1550842877.080 * * * * [misc]progress:  [ 4 / 14 ] 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)))>
1550842877.081 * [enter]simplify:  Simplifying (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))
1550842877.081 * * [misc]simplify:  iters left: 3 (8 enodes)
1550842877.085 * * [misc]simplify:  iters left: 2 (23 enodes)
1550842877.093 * * [misc]simplify:  iters left: 1 (40 enodes)
1550842877.107 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842877.107 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1550842877.107 * * [misc]simplify:  Extracting #2: cost 32 inf + 0
1550842877.108 * * [misc]simplify:  Extracting #3: cost 33 inf + 1045
1550842877.108 * * [misc]simplify:  Extracting #4: cost 25 inf + 6988
1550842877.110 * * [misc]simplify:  Extracting #5: cost 2 inf + 20756
1550842877.111 * * [misc]simplify:  Extracting #6: cost 0 inf + 22961
1550842877.113 * [exit]simplify:  Simplified to (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))
1550842877.113 * [misc]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)))
1550842877.113 * [enter]simplify:  Simplifying (/.p16 (+.p16 alpha beta) (+.p16 beta alpha))
1550842877.114 * * [misc]simplify:  iters left: 2 (5 enodes)
1550842877.115 * * [misc]simplify:  iters left: 1 (9 enodes)
1550842877.118 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842877.118 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1550842877.118 * * [misc]simplify:  Extracting #2: cost 4 inf + 0
1550842877.118 * * [misc]simplify:  Extracting #3: cost 2 inf + 2
1550842877.118 * * [misc]simplify:  Extracting #4: cost 0 inf + 526
1550842877.118 * [exit]simplify:  Simplified to (/.p16 (+.p16 beta alpha) (+.p16 beta alpha))
1550842877.118 * [misc]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)))
1550842877.118 * * * * [misc]progress:  [ 5 / 14 ] 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)))>
1550842877.119 * * * * [misc]progress:  [ 6 / 14 ] 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)))>
1550842877.119 * [enter]simplify:  Simplifying (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) alpha)
1550842877.119 * * [misc]simplify:  iters left: 3 (7 enodes)
1550842877.123 * * [misc]simplify:  iters left: 2 (17 enodes)
1550842877.129 * * [misc]simplify:  iters left: 1 (36 enodes)
1550842877.142 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842877.142 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1550842877.142 * * [misc]simplify:  Extracting #2: cost 15 inf + 1
1550842877.142 * * [misc]simplify:  Extracting #3: cost 14 inf + 323
1550842877.143 * * [misc]simplify:  Extracting #4: cost 9 inf + 1372
1550842877.143 * * [misc]simplify:  Extracting #5: cost 6 inf + 1498
1550842877.144 * * [misc]simplify:  Extracting #6: cost 0 inf + 3353
1550842877.145 * [exit]simplify:  Simplified to (*.p16 alpha (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))
1550842877.145 * [misc]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)))
1550842877.145 * * * * [misc]progress:  [ 7 / 14 ] 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)))>
1550842877.146 * [enter]simplify:  Simplifying (*.p16 alpha (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))
1550842877.146 * * [misc]simplify:  iters left: 3 (7 enodes)
1550842877.150 * * [misc]simplify:  iters left: 2 (23 enodes)
1550842877.158 * * [misc]simplify:  iters left: 1 (42 enodes)
1550842877.172 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842877.172 * * [misc]simplify:  Extracting #1: cost 12 inf + 0
1550842877.172 * * [misc]simplify:  Extracting #2: cost 16 inf + 1
1550842877.172 * * [misc]simplify:  Extracting #3: cost 15 inf + 323
1550842877.172 * * [misc]simplify:  Extracting #4: cost 11 inf + 1050
1550842877.173 * * [misc]simplify:  Extracting #5: cost 5 inf + 2222
1550842877.173 * * [misc]simplify:  Extracting #6: cost 0 inf + 4395
1550842877.174 * [exit]simplify:  Simplified to (*.p16 alpha (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))
1550842877.174 * [misc]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)))
1550842877.174 * * * * [misc]progress:  [ 8 / 14 ] 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)))>
1550842877.174 * * * * [misc]progress:  [ 9 / 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)))>
1550842877.174 * * * * [misc]progress:  [ 10 / 14 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 (real->posit16 2.0) (+.p16 alpha beta)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
1550842877.174 * * * * [misc]progress:  [ 11 / 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)))>
1550842877.175 * [enter]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))
1550842877.175 * * [misc]simplify:  iters left: 6 (15 enodes)
1550842877.185 * * [misc]simplify:  iters left: 5 (52 enodes)
1550842877.208 * * [misc]simplify:  iters left: 4 (152 enodes)
1550842877.276 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842877.276 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550842877.276 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550842877.276 * * [misc]simplify:  Extracting #3: cost 36 inf + 2
1550842877.276 * * [misc]simplify:  Extracting #4: cost 104 inf + 3
1550842877.277 * * [misc]simplify:  Extracting #5: cost 112 inf + 4517
1550842877.281 * * [misc]simplify:  Extracting #6: cost 50 inf + 77491
1550842877.286 * * [misc]simplify:  Extracting #7: cost 1 inf + 122190
1550842877.294 * * [misc]simplify:  Extracting #8: cost 0 inf + 124192
1550842877.300 * [exit]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))
1550842877.300 * [misc]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)))
1550842877.300 * * * * [misc]progress:  [ 12 / 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)))>
1550842877.301 * [enter]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))
1550842877.301 * * [misc]simplify:  iters left: 6 (15 enodes)
1550842877.305 * * [misc]simplify:  iters left: 5 (52 enodes)
1550842877.321 * * [misc]simplify:  iters left: 4 (152 enodes)
1550842877.407 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842877.407 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550842877.407 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550842877.407 * * [misc]simplify:  Extracting #3: cost 36 inf + 2
1550842877.407 * * [misc]simplify:  Extracting #4: cost 104 inf + 3
1550842877.409 * * [misc]simplify:  Extracting #5: cost 112 inf + 4517
1550842877.416 * * [misc]simplify:  Extracting #6: cost 50 inf + 77491
1550842877.428 * * [misc]simplify:  Extracting #7: cost 1 inf + 122190
1550842877.438 * * [misc]simplify:  Extracting #8: cost 0 inf + 124192
1550842877.444 * [exit]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))
1550842877.444 * [misc]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)))
1550842877.444 * * * * [misc]progress:  [ 13 / 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)))>
1550842877.445 * [enter]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))
1550842877.445 * * [misc]simplify:  iters left: 6 (15 enodes)
1550842877.448 * * [misc]simplify:  iters left: 5 (52 enodes)
1550842877.459 * * [misc]simplify:  iters left: 4 (152 enodes)
1550842877.506 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842877.506 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550842877.506 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550842877.506 * * [misc]simplify:  Extracting #3: cost 36 inf + 2
1550842877.506 * * [misc]simplify:  Extracting #4: cost 104 inf + 3
1550842877.507 * * [misc]simplify:  Extracting #5: cost 112 inf + 4517
1550842877.510 * * [misc]simplify:  Extracting #6: cost 50 inf + 77491
1550842877.515 * * [misc]simplify:  Extracting #7: cost 1 inf + 122190
1550842877.522 * * [misc]simplify:  Extracting #8: cost 0 inf + 124192
1550842877.528 * [exit]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))
1550842877.528 * [misc]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)))
1550842877.528 * * * * [misc]progress:  [ 14 / 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)))>
1550842877.528 * [enter]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))
1550842877.528 * * [misc]simplify:  iters left: 6 (15 enodes)
1550842877.532 * * [misc]simplify:  iters left: 5 (52 enodes)
1550842877.543 * * [misc]simplify:  iters left: 4 (152 enodes)
1550842877.588 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842877.588 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550842877.588 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550842877.588 * * [misc]simplify:  Extracting #3: cost 36 inf + 2
1550842877.589 * * [misc]simplify:  Extracting #4: cost 104 inf + 3
1550842877.590 * * [misc]simplify:  Extracting #5: cost 112 inf + 4517
1550842877.597 * * [misc]simplify:  Extracting #6: cost 50 inf + 77491
1550842877.608 * * [misc]simplify:  Extracting #7: cost 1 inf + 122190
1550842877.619 * * [misc]simplify:  Extracting #8: cost 0 inf + 124192
1550842877.630 * [exit]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))
1550842877.630 * [misc]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)))
1550842877.630 * * * [misc]progress:  adding candidates to table
1550842878.517 * * [misc]progress:  iteration 4 / 4
1550842878.517 * * * [misc]progress:  picking best candidate
1550842878.618 * * * * [misc]pick:  Picked  #<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)))>
1550842878.618 * * * [misc]progress:  localizing error
1550842878.810 * * * [misc]progress:  generating rewritten candidates
1550842878.810 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 1 2)
1550842878.816 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1)
1550842878.821 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1)
1550842878.829 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1 2 1)
1550842878.836 * * * [misc]progress:  generating series expansions
1550842878.836 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 1 2)
1550842878.836 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1)
1550842878.836 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1)
1550842878.836 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1 2 1)
1550842878.836 * * * [misc]progress:  simplifying candidates
1550842878.836 * * * * [misc]progress:  [ 1 / 11 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (/.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (/.p16 (+.p16 alpha beta) (+.p16 beta alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))>
1550842878.836 * [enter]simplify:  Simplifying (+.p16 (+.p16 alpha beta) (real->posit16 2.0))
1550842878.836 * * [misc]simplify:  iters left: 2 (6 enodes)
1550842878.841 * * [misc]simplify:  iters left: 1 (15 enodes)
1550842878.846 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842878.846 * * [misc]simplify:  Extracting #1: cost 8 inf + 0
1550842878.846 * * [misc]simplify:  Extracting #2: cost 7 inf + 2
1550842878.846 * * [misc]simplify:  Extracting #3: cost 5 inf + 45
1550842878.846 * * [misc]simplify:  Extracting #4: cost 1 inf + 213
1550842878.846 * * [misc]simplify:  Extracting #5: cost 0 inf + 255
1550842878.847 * [exit]simplify:  Simplified to (+.p16 (+.p16 beta alpha) (real->posit16 2.0))
1550842878.847 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (/.p16 (+.p16 (+.p16 beta alpha) (real->posit16 2.0)) (/.p16 (+.p16 alpha beta) (+.p16 beta alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))
1550842878.847 * * * * [misc]progress:  [ 2 / 11 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (+.p16 alpha beta)) (real->posit16 1.0)) (real->posit16 2.0)))>
1550842878.847 * [enter]simplify:  Simplifying (+.p16 alpha beta)
1550842878.847 * * [misc]simplify:  iters left: 1 (3 enodes)
1550842878.848 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842878.848 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550842878.848 * * [misc]simplify:  Extracting #2: cost 1 inf + 2
1550842878.848 * * [misc]simplify:  Extracting #3: cost 0 inf + 44
1550842878.849 * [exit]simplify:  Simplified to (+.p16 beta alpha)
1550842878.849 * [misc]simplify:  Simplified (2 1 1 2) to (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (+.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))
1550842878.849 * * * * [misc]progress:  [ 3 / 11 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (*.p16 (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha)) (+.p16 alpha beta)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
1550842878.849 * [enter]simplify:  Simplifying (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))
1550842878.849 * * [misc]simplify:  iters left: 2 (5 enodes)
1550842878.850 * * [misc]simplify:  iters left: 1 (19 enodes)
1550842878.853 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842878.853 * * [misc]simplify:  Extracting #1: cost 8 inf + 0
1550842878.853 * * [misc]simplify:  Extracting #2: cost 16 inf + 0
1550842878.853 * * [misc]simplify:  Extracting #3: cost 16 inf + 1766
1550842878.854 * * [misc]simplify:  Extracting #4: cost 6 inf + 6819
1550842878.854 * * [misc]simplify:  Extracting #5: cost 1 inf + 12227
1550842878.854 * * [misc]simplify:  Extracting #6: cost 0 inf + 13549
1550842878.855 * [exit]simplify:  Simplified to (*.p16 (-.p16 beta alpha) (+.p16 alpha beta))
1550842878.855 * [misc]simplify:  Simplified (2 1 1 1) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha)) (+.p16 alpha beta)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
1550842878.855 * * * * [misc]progress:  [ 4 / 11 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha)) (+.p16 alpha beta)))) (real->posit16 2.0)))>
1550842878.855 * * * * [misc]progress:  [ 5 / 11 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (/.p16 (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) beta) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) alpha)) (+.p16 alpha beta))) (real->posit16 1.0)) (real->posit16 2.0)))>
1550842878.855 * [enter]simplify:  Simplifying (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) alpha)
1550842878.855 * * [misc]simplify:  iters left: 3 (7 enodes)
1550842878.864 * * [misc]simplify:  iters left: 2 (17 enodes)
1550842878.867 * * [misc]simplify:  iters left: 1 (36 enodes)
1550842878.873 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842878.873 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1550842878.873 * * [misc]simplify:  Extracting #2: cost 15 inf + 1
1550842878.873 * * [misc]simplify:  Extracting #3: cost 14 inf + 323
1550842878.873 * * [misc]simplify:  Extracting #4: cost 9 inf + 1372
1550842878.873 * * [misc]simplify:  Extracting #5: cost 6 inf + 1498
1550842878.873 * * [misc]simplify:  Extracting #6: cost 0 inf + 3353
1550842878.874 * [exit]simplify:  Simplified to (*.p16 alpha (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))
1550842878.874 * [misc]simplify:  Simplified (2 1 1 2 1 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (/.p16 (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) beta) (*.p16 alpha (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))) (+.p16 alpha beta))) (real->posit16 1.0)) (real->posit16 2.0)))
1550842878.874 * * * * [misc]progress:  [ 6 / 11 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (/.p16 (+.p16 (*.p16 beta (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (*.p16 alpha (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) (+.p16 alpha beta))) (real->posit16 1.0)) (real->posit16 2.0)))>
1550842878.874 * [enter]simplify:  Simplifying (*.p16 alpha (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))
1550842878.874 * * [misc]simplify:  iters left: 3 (7 enodes)
1550842878.876 * * [misc]simplify:  iters left: 2 (23 enodes)
1550842878.880 * * [misc]simplify:  iters left: 1 (42 enodes)
1550842878.887 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842878.887 * * [misc]simplify:  Extracting #1: cost 12 inf + 0
1550842878.887 * * [misc]simplify:  Extracting #2: cost 16 inf + 1
1550842878.887 * * [misc]simplify:  Extracting #3: cost 15 inf + 323
1550842878.887 * * [misc]simplify:  Extracting #4: cost 11 inf + 1050
1550842878.887 * * [misc]simplify:  Extracting #5: cost 5 inf + 2222
1550842878.888 * * [misc]simplify:  Extracting #6: cost 0 inf + 4395
1550842878.888 * [exit]simplify:  Simplified to (*.p16 alpha (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))
1550842878.888 * [misc]simplify:  Simplified (2 1 1 2 1 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (/.p16 (+.p16 (*.p16 beta (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (*.p16 alpha (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))) (+.p16 alpha beta))) (real->posit16 1.0)) (real->posit16 2.0)))
1550842878.888 * * * * [misc]progress:  [ 7 / 11 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (/.p16 (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (+.p16 alpha beta))) (real->posit16 1.0)) (real->posit16 2.0)))>
1550842878.888 * * * * [misc]progress:  [ 8 / 11 ] 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)))>
1550842878.888 * [enter]simplify:  Simplifying (-.p16 beta alpha)
1550842878.888 * * [misc]simplify:  iters left: 1 (3 enodes)
1550842878.889 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842878.889 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1550842878.889 * * [misc]simplify:  Extracting #2: cost 5 inf + 44
1550842878.889 * * [misc]simplify:  Extracting #3: cost 0 inf + 1571
1550842878.889 * [exit]simplify:  Simplified to (-.p16 beta alpha)
1550842878.889 * [misc]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)))
1550842878.890 * * * * [misc]progress:  [ 9 / 11 ] 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)))>
1550842878.890 * [enter]simplify:  Simplifying (-.p16 beta alpha)
1550842878.890 * * [misc]simplify:  iters left: 1 (3 enodes)
1550842878.890 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842878.890 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1550842878.890 * * [misc]simplify:  Extracting #2: cost 5 inf + 44
1550842878.890 * * [misc]simplify:  Extracting #3: cost 0 inf + 1571
1550842878.891 * [exit]simplify:  Simplified to (-.p16 beta alpha)
1550842878.891 * [misc]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)))
1550842878.891 * * * * [misc]progress:  [ 10 / 11 ] 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)))>
1550842878.891 * [enter]simplify:  Simplifying (-.p16 beta alpha)
1550842878.891 * * [misc]simplify:  iters left: 1 (3 enodes)
1550842878.891 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842878.892 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1550842878.892 * * [misc]simplify:  Extracting #2: cost 5 inf + 44
1550842878.892 * * [misc]simplify:  Extracting #3: cost 0 inf + 1571
1550842878.892 * [exit]simplify:  Simplified to (-.p16 beta alpha)
1550842878.892 * [misc]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)))
1550842878.892 * * * * [misc]progress:  [ 11 / 11 ] 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)))>
1550842878.892 * [enter]simplify:  Simplifying (-.p16 beta alpha)
1550842878.892 * * [misc]simplify:  iters left: 1 (3 enodes)
1550842878.893 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842878.893 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1550842878.893 * * [misc]simplify:  Extracting #2: cost 5 inf + 44
1550842878.893 * * [misc]simplify:  Extracting #3: cost 0 inf + 1571
1550842878.893 * [exit]simplify:  Simplified to (-.p16 beta alpha)
1550842878.893 * [misc]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)))
1550842878.893 * * * [misc]progress:  adding candidates to table
1550842879.495 * [misc]progress:  [Phase 3 of 3] Extracting.
1550842879.495 * * [misc]regime:  Finding splitpoints for: (#<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 (-.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 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 beta alpha) (*.p16 (+.p16 (+.p16 alpha 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 beta alpha) (/.p16 (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) beta) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) alpha)) (+.p16 alpha beta))) (real->posit16 1.0)) (real->posit16 2.0)))>)
1550842879.496 * * * [misc]regime-changes:  Trying 2 branch expressions: (alpha beta)
1550842879.496 * * * * [misc]regimes:  Trying to branch on alpha from (#<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 (-.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 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 beta alpha) (*.p16 (+.p16 (+.p16 alpha 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 beta alpha) (/.p16 (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) beta) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) alpha)) (+.p16 alpha beta))) (real->posit16 1.0)) (real->posit16 2.0)))>)
1550842880.049 * * * * [misc]regimes:  Trying to branch on beta from (#<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 (-.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 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 beta alpha) (*.p16 (+.p16 (+.p16 alpha 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 beta alpha) (/.p16 (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) beta) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) alpha)) (+.p16 alpha beta))) (real->posit16 1.0)) (real->posit16 2.0)))>)
1550842880.989 * * * [misc]regime:  Found split indices: #<option (#s(si 3 256))>
1550842880.989 * [enter]simplify:  Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))
1550842880.990 * * [misc]simplify:  iters left: 5 (12 enodes)
1550842880.991 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550842880.992 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550842880.992 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550842880.992 * * [misc]simplify:  Extracting #3: cost 7 inf + 2
1550842880.992 * * [misc]simplify:  Extracting #4: cost 8 inf + 4
1550842880.992 * * [misc]simplify:  Extracting #5: cost 6 inf + 6
1550842880.992 * * [misc]simplify:  Extracting #6: cost 0 inf + 2544
1550842880.992 * [exit]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))
1550842880.992 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1550842881.032 * * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
1550842881.038 * * * * [misc]points:  Setting MPFR precision to 64
1550842881.040 * * * * [misc]points:  Setting MPFR precision to 320
1550842881.042 * * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
1550842881.049 * * * * [misc]points:  Setting MPFR precision to 64
1550842881.052 * * * * [misc]points:  Setting MPFR precision to 320
1550842881.056 * * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
1550842881.076 * * * * [misc]points:  Setting MPFR precision to 64
1550842881.085 * * * * [misc]points:  Setting MPFR precision to 320
1550842881.093 * * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
1550842881.099 * * * * [misc]points:  Setting MPFR precision to 64
1550842881.113 * * * * [misc]points:  Setting MPFR precision to 320
1550842881.129 * * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
1550842881.135 * * * * [misc]points:  Setting MPFR precision to 64
1550842881.162 * * * * [misc]points:  Setting MPFR precision to 320
1550842881.194 * * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
1550842881.200 * * * * [misc]points:  Setting MPFR precision to 64
1550842881.249 * * * * [misc]points:  Setting MPFR precision to 320
1550842881.352 * * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
1550842881.358 * * * * [misc]points:  Setting MPFR precision to 64
1550842881.466 * * * * [misc]points:  Setting MPFR precision to 320
1550842881.631 * * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
1550842881.637 * * * * [misc]points:  Setting MPFR precision to 64
1550842881.886 * * * * [misc]points:  Setting MPFR precision to 320
1550842882.136 * * * * [misc]points:  Computing exacts for 8000 points
1550842882.142 * * * * [misc]points:  Setting MPFR precision to 64
1550842883.173 * * * * [misc]points:  Setting MPFR precision to 320
1550842884.275 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550842884.755 * * * * [misc]points:  Sampling 3512 additional inputs, on iter 1 have 4488 / 8000
1550842884.773 * * * * [misc]points:  Computing exacts on every 219 of 3512 points to ramp up precision
1550842884.779 * * * * [misc]points:  Setting MPFR precision to 64
1550842884.781 * * * * [misc]points:  Setting MPFR precision to 320
1550842884.783 * * * * [misc]points:  Computing exacts on every 109 of 3512 points to ramp up precision
1550842884.789 * * * * [misc]points:  Setting MPFR precision to 64
1550842884.793 * * * * [misc]points:  Setting MPFR precision to 320
1550842884.797 * * * * [misc]points:  Computing exacts on every 54 of 3512 points to ramp up precision
1550842884.804 * * * * [misc]points:  Setting MPFR precision to 64
1550842884.811 * * * * [misc]points:  Setting MPFR precision to 320
1550842884.819 * * * * [misc]points:  Computing exacts on every 27 of 3512 points to ramp up precision
1550842884.825 * * * * [misc]points:  Setting MPFR precision to 64
1550842884.832 * * * * [misc]points:  Setting MPFR precision to 320
1550842884.840 * * * * [misc]points:  Computing exacts on every 13 of 3512 points to ramp up precision
1550842884.857 * * * * [misc]points:  Setting MPFR precision to 64
1550842884.873 * * * * [misc]points:  Setting MPFR precision to 320
1550842884.892 * * * * [misc]points:  Computing exacts on every 6 of 3512 points to ramp up precision
1550842884.898 * * * * [misc]points:  Setting MPFR precision to 64
1550842884.935 * * * * [misc]points:  Setting MPFR precision to 320
1550842884.986 * * * * [misc]points:  Computing exacts on every 3 of 3512 points to ramp up precision
1550842884.989 * * * * [misc]points:  Setting MPFR precision to 64
1550842885.095 * * * * [misc]points:  Setting MPFR precision to 320
1550842885.189 * * * * [misc]points:  Computing exacts for 3512 points
1550842885.192 * * * * [misc]points:  Setting MPFR precision to 64
1550842886.031 * * * * [misc]points:  Setting MPFR precision to 320
1550842886.457 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550842886.660 * * * * [misc]points:  Sampling 1578 additional inputs, on iter 2 have 6422 / 8000
1550842886.668 * * * * [misc]points:  Computing exacts on every 98 of 1578 points to ramp up precision
1550842886.674 * * * * [misc]points:  Setting MPFR precision to 64
1550842886.675 * * * * [misc]points:  Setting MPFR precision to 320
1550842886.677 * * * * [misc]points:  Computing exacts on every 49 of 1578 points to ramp up precision
1550842886.683 * * * * [misc]points:  Setting MPFR precision to 64
1550842886.686 * * * * [misc]points:  Setting MPFR precision to 320
1550842886.690 * * * * [misc]points:  Computing exacts on every 24 of 1578 points to ramp up precision
1550842886.696 * * * * [misc]points:  Setting MPFR precision to 64
1550842886.703 * * * * [misc]points:  Setting MPFR precision to 320
1550842886.711 * * * * [misc]points:  Computing exacts on every 12 of 1578 points to ramp up precision
1550842886.717 * * * * [misc]points:  Setting MPFR precision to 64
1550842886.730 * * * * [misc]points:  Setting MPFR precision to 320
1550842886.746 * * * * [misc]points:  Computing exacts on every 6 of 1578 points to ramp up precision
1550842886.751 * * * * [misc]points:  Setting MPFR precision to 64
1550842886.775 * * * * [misc]points:  Setting MPFR precision to 320
1550842886.795 * * * * [misc]points:  Computing exacts on every 3 of 1578 points to ramp up precision
1550842886.798 * * * * [misc]points:  Setting MPFR precision to 64
1550842886.821 * * * * [misc]points:  Setting MPFR precision to 320
1550842886.867 * * * * [misc]points:  Computing exacts for 1578 points
1550842886.870 * * * * [misc]points:  Setting MPFR precision to 64
1550842886.963 * * * * [misc]points:  Setting MPFR precision to 320
1550842887.097 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550842887.173 * * * * [misc]points:  Sampling 719 additional inputs, on iter 3 have 7281 / 8000
1550842887.175 * * * * [misc]points:  Computing exacts on every 44 of 719 points to ramp up precision
1550842887.178 * * * * [misc]points:  Setting MPFR precision to 64
1550842887.180 * * * * [misc]points:  Setting MPFR precision to 320
1550842887.181 * * * * [misc]points:  Computing exacts on every 22 of 719 points to ramp up precision
1550842887.184 * * * * [misc]points:  Setting MPFR precision to 64
1550842887.186 * * * * [misc]points:  Setting MPFR precision to 320
1550842887.188 * * * * [misc]points:  Computing exacts on every 11 of 719 points to ramp up precision
1550842887.191 * * * * [misc]points:  Setting MPFR precision to 64
1550842887.195 * * * * [misc]points:  Setting MPFR precision to 320
1550842887.200 * * * * [misc]points:  Computing exacts on every 5 of 719 points to ramp up precision
1550842887.203 * * * * [misc]points:  Setting MPFR precision to 64
1550842887.210 * * * * [misc]points:  Setting MPFR precision to 320
1550842887.219 * * * * [misc]points:  Computing exacts on every 2 of 719 points to ramp up precision
1550842887.222 * * * * [misc]points:  Setting MPFR precision to 64
1550842887.237 * * * * [misc]points:  Setting MPFR precision to 320
1550842887.252 * * * * [misc]points:  Computing exacts for 719 points
1550842887.255 * * * * [misc]points:  Setting MPFR precision to 64
1550842887.318 * * * * [misc]points:  Setting MPFR precision to 320
1550842887.389 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550842887.433 * * * * [misc]points:  Sampling 287 additional inputs, on iter 4 have 7713 / 8000
1550842887.435 * * * * [misc]points:  Computing exacts on every 17 of 287 points to ramp up precision
1550842887.441 * * * * [misc]points:  Setting MPFR precision to 64
1550842887.443 * * * * [misc]points:  Setting MPFR precision to 320
1550842887.445 * * * * [misc]points:  Computing exacts on every 8 of 287 points to ramp up precision
1550842887.450 * * * * [misc]points:  Setting MPFR precision to 64
1550842887.454 * * * * [misc]points:  Setting MPFR precision to 320
1550842887.457 * * * * [misc]points:  Computing exacts on every 4 of 287 points to ramp up precision
1550842887.498 * * * * [misc]points:  Setting MPFR precision to 64
1550842887.504 * * * * [misc]points:  Setting MPFR precision to 320
1550842887.514 * * * * [misc]points:  Computing exacts on every 2 of 287 points to ramp up precision
1550842887.520 * * * * [misc]points:  Setting MPFR precision to 64
1550842887.530 * * * * [misc]points:  Setting MPFR precision to 320
1550842887.541 * * * * [misc]points:  Computing exacts for 287 points
1550842887.548 * * * * [misc]points:  Setting MPFR precision to 64
1550842887.579 * * * * [misc]points:  Setting MPFR precision to 320
1550842887.618 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550842887.636 * * * * [misc]points:  Sampling 109 additional inputs, on iter 5 have 7891 / 8000
1550842887.637 * * * * [misc]points:  Computing exacts on every 6 of 109 points to ramp up precision
1550842887.643 * * * * [misc]points:  Setting MPFR precision to 64
1550842887.644 * * * * [misc]points:  Setting MPFR precision to 320
1550842887.646 * * * * [misc]points:  Computing exacts on every 3 of 109 points to ramp up precision
1550842887.652 * * * * [misc]points:  Setting MPFR precision to 64
1550842887.655 * * * * [misc]points:  Setting MPFR precision to 320
1550842887.659 * * * * [misc]points:  Computing exacts for 109 points
1550842887.664 * * * * [misc]points:  Setting MPFR precision to 64
1550842887.676 * * * * [misc]points:  Setting MPFR precision to 320
1550842887.689 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550842887.696 * * * * [misc]points:  Sampling 43 additional inputs, on iter 6 have 7957 / 8000
1550842887.696 * * * * [misc]points:  Computing exacts on every 2 of 43 points to ramp up precision
1550842887.701 * * * * [misc]points:  Setting MPFR precision to 64
1550842887.702 * * * * [misc]points:  Setting MPFR precision to 320
1550842887.703 * * * * [misc]points:  Computing exacts for 43 points
1550842887.726 * * * * [misc]points:  Setting MPFR precision to 64
1550842887.728 * * * * [misc]points:  Setting MPFR precision to 320
1550842887.731 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550842887.734 * * * * [misc]points:  Sampling 14 additional inputs, on iter 7 have 7986 / 8000
1550842887.734 * * * * [misc]points:  Computing exacts for 14 points
1550842887.737 * * * * [misc]points:  Setting MPFR precision to 64
1550842887.738 * * * * [misc]points:  Setting MPFR precision to 320
1550842887.739 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550842887.740 * * * * [misc]points:  Sampling 7 additional inputs, on iter 8 have 7993 / 8000
1550842887.740 * * * * [misc]points:  Computing exacts for 7 points
1550842887.743 * * * * [misc]points:  Setting MPFR precision to 64
1550842887.743 * * * * [misc]points:  Setting MPFR precision to 320
1550842887.744 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550842887.744 * * * * [misc]points:  Sampling 4 additional inputs, on iter 9 have 7999 / 8000
1550842887.744 * * * * [misc]points:  Computing exacts for 4 points
1550842887.747 * * * * [misc]points:  Setting MPFR precision to 64
1550842887.748 * * * * [misc]points:  Setting MPFR precision to 320
1550842887.748 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550842887.748 * * * * [exit]points:  Sampled 8001 points with exact outputs
1550842892.659 * [misc]regime-testing:  Baseline error score: 64.0
1550842892.663 * [misc]regime-testing:  Oracle error score: 64.0
1550842892.673 * [misc]regime-testing:  End program error score: 0.7204290396047626