1554043281.675 * [progress]: [Phase 1 of 3] Setting up.
1554043281.675 * * * [progress]: [1/2] Preparing points
1554043281.677 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
1554043281.678 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
1554043281.682 * * * * [points]: Setting MPFR precision to 64
1554043281.685 * * * * [points]: Setting MPFR precision to 320
1554043281.687 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
1554043281.692 * * * * [points]: Setting MPFR precision to 64
1554043281.696 * * * * [points]: Setting MPFR precision to 320
1554043281.699 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
1554043281.705 * * * * [points]: Setting MPFR precision to 64
1554043281.710 * * * * [points]: Setting MPFR precision to 320
1554043281.717 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
1554043281.722 * * * * [points]: Setting MPFR precision to 64
1554043281.732 * * * * [points]: Setting MPFR precision to 320
1554043281.743 * * * * [points]: Computing exacts for 256 points
1554043281.749 * * * * [points]: Setting MPFR precision to 64
1554043281.792 * * * * [points]: Setting MPFR precision to 320
1554043281.826 * * * * [points]: Filtering points with unrepresentable outputs
1554043281.841 * * * * [points]: Sampling 110 additional inputs, on iter 1 have 146 / 256
1554043281.842 * * * * [points]: Computing exacts on every 6 of 110 points to ramp up precision
1554043281.848 * * * * [points]: Setting MPFR precision to 64
1554043281.850 * * * * [points]: Setting MPFR precision to 320
1554043281.852 * * * * [points]: Computing exacts on every 3 of 110 points to ramp up precision
1554043281.857 * * * * [points]: Setting MPFR precision to 64
1554043281.860 * * * * [points]: Setting MPFR precision to 320
1554043281.864 * * * * [points]: Computing exacts for 110 points
1554043281.869 * * * * [points]: Setting MPFR precision to 64
1554043281.881 * * * * [points]: Setting MPFR precision to 320
1554043281.894 * * * * [points]: Filtering points with unrepresentable outputs
1554043281.900 * * * * [points]: Sampling 52 additional inputs, on iter 2 have 204 / 256
1554043281.900 * * * * [points]: Computing exacts on every 3 of 52 points to ramp up precision
1554043281.906 * * * * [points]: Setting MPFR precision to 64
1554043281.907 * * * * [points]: Setting MPFR precision to 320
1554043281.909 * * * * [points]: Computing exacts for 52 points
1554043281.914 * * * * [points]: Setting MPFR precision to 64
1554043281.920 * * * * [points]: Setting MPFR precision to 320
1554043281.926 * * * * [points]: Filtering points with unrepresentable outputs
1554043281.929 * * * * [points]: Sampling 21 additional inputs, on iter 3 have 235 / 256
1554043281.929 * * * * [points]: Computing exacts for 21 points
1554043281.935 * * * * [points]: Setting MPFR precision to 64
1554043281.937 * * * * [points]: Setting MPFR precision to 320
1554043281.940 * * * * [points]: Filtering points with unrepresentable outputs
1554043281.941 * * * * [points]: Sampling 7 additional inputs, on iter 4 have 249 / 256
1554043281.941 * * * * [points]: Computing exacts for 7 points
1554043281.947 * * * * [points]: Setting MPFR precision to 64
1554043281.948 * * * * [points]: Setting MPFR precision to 320
1554043281.949 * * * * [points]: Filtering points with unrepresentable outputs
1554043281.950 * * * * [points]: Sampling 4 additional inputs, on iter 5 have 255 / 256
1554043281.950 * * * * [points]: Computing exacts for 4 points
1554043281.956 * * * * [points]: Setting MPFR precision to 64
1554043281.957 * * * * [points]: Setting MPFR precision to 320
1554043281.957 * * * * [points]: Filtering points with unrepresentable outputs
1554043281.957 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 255 / 256
1554043281.957 * * * * [points]: Computing exacts for 4 points
1554043281.962 * * * * [points]: Setting MPFR precision to 64
1554043281.962 * * * * [points]: Setting MPFR precision to 320
1554043281.963 * * * * [points]: Filtering points with unrepresentable outputs
1554043281.963 * * * * [points]: Sampled 258 points with exact outputs
1554043281.963 * * * [progress]: [2/2] Setting up program.
1554043282.004 * [progress]: [Phase 2 of 3] Improving.
1554043282.004 * * * * [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)))>
1554043282.004 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))
1554043282.004 * * [simplify]: iters left: 5 (12 enodes)
1554043282.007 * * [simplify]: iters left: 4 (29 enodes)
1554043282.012 * * [simplify]: iters left: 3 (46 enodes)
1554043282.019 * * [simplify]: iters left: 2 (97 enodes)
1554043282.040 * * [simplify]: iters left: 1 (335 enodes)
1554043282.243 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043282.243 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043282.243 * * [simplify]: Extracting #2: cost 6 inf + 0
1554043282.243 * * [simplify]: Extracting #3: cost 84 inf + 2
1554043282.245 * * [simplify]: Extracting #4: cost 417 inf + 3
1554043282.254 * * [simplify]: Extracting #5: cost 404 inf + 78485
1554043282.286 * * [simplify]: Extracting #6: cost 124 inf + 437558
1554043282.335 * * [simplify]: Extracting #7: cost 5 inf + 645994
1554043282.394 * * [simplify]: Extracting #8: cost 0 inf + 656284
1554043282.448 * [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))
1554043282.449 * [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)))
1554043282.497 * * [progress]: iteration 1 / 4
1554043282.497 * * * [progress]: picking best candidate
1554043282.546 * * * * [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)))>
1554043282.546 * * * [progress]: localizing error
1554043282.973 * * * [progress]: generating rewritten candidates
1554043282.973 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
1554043282.980 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
1554043282.986 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
1554043283.002 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
1554043283.020 * * * [progress]: generating series expansions
1554043283.021 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
1554043283.021 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
1554043283.021 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
1554043283.021 * * * * [progress]: [ 4 / 4 ] generating series at (2)
1554043283.021 * * * [progress]: simplifying candidates
1554043283.021 * * * * [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)))>
1554043283.021 * [simplify]: Simplifying (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))
1554043283.021 * * [simplify]: iters left: 2 (5 enodes)
1554043283.022 * * [simplify]: iters left: 1 (19 enodes)
1554043283.025 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043283.025 * * [simplify]: Extracting #1: cost 8 inf + 0
1554043283.025 * * [simplify]: Extracting #2: cost 16 inf + 0
1554043283.025 * * [simplify]: Extracting #3: cost 16 inf + 1766
1554043283.026 * * [simplify]: Extracting #4: cost 6 inf + 6819
1554043283.026 * * [simplify]: Extracting #5: cost 1 inf + 12227
1554043283.026 * * [simplify]: Extracting #6: cost 0 inf + 13549
1554043283.027 * [simplify]: Simplified to (*.p16 (-.p16 beta alpha) (+.p16 alpha beta))
1554043283.027 * [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)))
1554043283.027 * * * * [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)))>
1554043283.027 * * * * [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)))>
1554043283.027 * * * * [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)))>
1554043283.027 * * * * [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)))>
1554043283.027 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))
1554043283.027 * * [simplify]: iters left: 5 (12 enodes)
1554043283.031 * * [simplify]: iters left: 4 (29 enodes)
1554043283.036 * * [simplify]: iters left: 3 (46 enodes)
1554043283.043 * * [simplify]: iters left: 2 (97 enodes)
1554043283.065 * * [simplify]: iters left: 1 (335 enodes)
1554043283.385 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043283.385 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043283.385 * * [simplify]: Extracting #2: cost 6 inf + 0
1554043283.385 * * [simplify]: Extracting #3: cost 84 inf + 2
1554043283.387 * * [simplify]: Extracting #4: cost 417 inf + 3
1554043283.395 * * [simplify]: Extracting #5: cost 404 inf + 78485
1554043283.414 * * [simplify]: Extracting #6: cost 124 inf + 437558
1554043283.455 * * [simplify]: Extracting #7: cost 5 inf + 645994
1554043283.495 * * [simplify]: Extracting #8: cost 0 inf + 656284
1554043283.549 * [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))
1554043283.549 * [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)))
1554043283.550 * * * * [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)))>
1554043283.550 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))
1554043283.550 * * [simplify]: iters left: 5 (12 enodes)
1554043283.556 * * [simplify]: iters left: 4 (29 enodes)
1554043283.566 * * [simplify]: iters left: 3 (46 enodes)
1554043283.584 * * [simplify]: iters left: 2 (97 enodes)
1554043283.628 * * [simplify]: iters left: 1 (335 enodes)
1554043283.865 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043283.865 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043283.865 * * [simplify]: Extracting #2: cost 6 inf + 0
1554043283.866 * * [simplify]: Extracting #3: cost 84 inf + 2
1554043283.868 * * [simplify]: Extracting #4: cost 417 inf + 3
1554043283.876 * * [simplify]: Extracting #5: cost 404 inf + 78485
1554043283.908 * * [simplify]: Extracting #6: cost 124 inf + 437558
1554043283.958 * * [simplify]: Extracting #7: cost 5 inf + 645994
1554043284.013 * * [simplify]: Extracting #8: cost 0 inf + 656284
1554043284.070 * [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))
1554043284.070 * [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)))
1554043284.070 * * * * [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)))>
1554043284.070 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))
1554043284.070 * * [simplify]: iters left: 5 (12 enodes)
1554043284.076 * * [simplify]: iters left: 4 (29 enodes)
1554043284.086 * * [simplify]: iters left: 3 (46 enodes)
1554043284.101 * * [simplify]: iters left: 2 (97 enodes)
1554043284.145 * * [simplify]: iters left: 1 (335 enodes)
1554043284.417 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043284.417 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043284.417 * * [simplify]: Extracting #2: cost 6 inf + 0
1554043284.417 * * [simplify]: Extracting #3: cost 84 inf + 2
1554043284.419 * * [simplify]: Extracting #4: cost 417 inf + 3
1554043284.427 * * [simplify]: Extracting #5: cost 404 inf + 78485
1554043284.458 * * [simplify]: Extracting #6: cost 124 inf + 437558
1554043284.514 * * [simplify]: Extracting #7: cost 5 inf + 645994
1554043284.568 * * [simplify]: Extracting #8: cost 0 inf + 656284
1554043284.621 * [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))
1554043284.621 * [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)))
1554043284.621 * * * * [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)))>
1554043284.622 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))
1554043284.622 * * [simplify]: iters left: 5 (12 enodes)
1554043284.629 * * [simplify]: iters left: 4 (29 enodes)
1554043284.638 * * [simplify]: iters left: 3 (46 enodes)
1554043284.653 * * [simplify]: iters left: 2 (97 enodes)
1554043284.695 * * [simplify]: iters left: 1 (335 enodes)
1554043285.002 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043285.002 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043285.002 * * [simplify]: Extracting #2: cost 6 inf + 0
1554043285.002 * * [simplify]: Extracting #3: cost 84 inf + 2
1554043285.005 * * [simplify]: Extracting #4: cost 417 inf + 3
1554043285.013 * * [simplify]: Extracting #5: cost 404 inf + 78485
1554043285.029 * * [simplify]: Extracting #6: cost 124 inf + 437558
1554043285.070 * * [simplify]: Extracting #7: cost 5 inf + 645994
1554043285.133 * * [simplify]: Extracting #8: cost 0 inf + 656284
1554043285.188 * [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))
1554043285.188 * [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)))
1554043285.188 * * * [progress]: adding candidates to table
1554043285.728 * * [progress]: iteration 2 / 4
1554043285.728 * * * [progress]: picking best candidate
1554043285.820 * * * * [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)))>
1554043285.820 * * * [progress]: localizing error
1554043286.200 * * * [progress]: generating rewritten candidates
1554043286.200 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
1554043286.205 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
1554043286.211 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
1554043286.222 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
1554043286.233 * * * [progress]: generating series expansions
1554043286.233 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
1554043286.233 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
1554043286.233 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
1554043286.233 * * * * [progress]: [ 4 / 4 ] generating series at (2)
1554043286.234 * * * [progress]: simplifying candidates
1554043286.234 * * * * [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)))>
1554043286.234 * [simplify]: Simplifying (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))
1554043286.234 * * [simplify]: iters left: 2 (5 enodes)
1554043286.235 * * [simplify]: iters left: 1 (19 enodes)
1554043286.238 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043286.238 * * [simplify]: Extracting #1: cost 8 inf + 0
1554043286.238 * * [simplify]: Extracting #2: cost 16 inf + 0
1554043286.238 * * [simplify]: Extracting #3: cost 16 inf + 1766
1554043286.238 * * [simplify]: Extracting #4: cost 6 inf + 6819
1554043286.239 * * [simplify]: Extracting #5: cost 1 inf + 12227
1554043286.239 * * [simplify]: Extracting #6: cost 0 inf + 13549
1554043286.239 * [simplify]: Simplified to (*.p16 (-.p16 beta alpha) (+.p16 alpha beta))
1554043286.239 * [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)))
1554043286.239 * * * * [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)))>
1554043286.240 * * * * [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)))>
1554043286.240 * [simplify]: Simplifying (real->posit16 2.0)
1554043286.240 * * [simplify]: iters left: 1 (2 enodes)
1554043286.242 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043286.242 * * [simplify]: Extracting #1: cost 2 inf + 0
1554043286.242 * * [simplify]: Extracting #2: cost 1 inf + 1
1554043286.242 * * [simplify]: Extracting #3: cost 0 inf + 2
1554043286.242 * [simplify]: Simplified to (real->posit16 2.0)
1554043286.242 * [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)))
1554043286.242 * * * * [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)))>
1554043286.242 * * * * [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)))>
1554043286.242 * * * * [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)))>
1554043286.242 * * * * [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)))>
1554043286.242 * * * * [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)))>
1554043286.242 * * * [progress]: adding candidates to table
1554043286.733 * * [progress]: iteration 3 / 4
1554043286.733 * * * [progress]: picking best candidate
1554043286.758 * * * * [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)))>
1554043286.758 * * * [progress]: localizing error
1554043287.457 * * * [progress]: generating rewritten candidates
1554043287.457 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
1554043287.461 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
1554043287.467 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
1554043287.475 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
1554043287.478 * * * [progress]: generating series expansions
1554043287.479 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
1554043287.479 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
1554043287.479 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
1554043287.479 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
1554043287.479 * * * [progress]: simplifying candidates
1554043287.479 * * * * [progress]: [ 1 / 16 ] 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)))>
1554043287.479 * [simplify]: Simplifying (+.p16 beta alpha)
1554043287.479 * * [simplify]: iters left: 1 (3 enodes)
1554043287.480 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043287.480 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043287.480 * * [simplify]: Extracting #2: cost 1 inf + 2
1554043287.480 * * [simplify]: Extracting #3: cost 0 inf + 44
1554043287.480 * [simplify]: Simplified to (+.p16 alpha beta)
1554043287.480 * [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)))
1554043287.480 * * * * [progress]: [ 2 / 16 ] 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)))>
1554043287.480 * [simplify]: Simplifying (-.p16 beta alpha)
1554043287.480 * * [simplify]: iters left: 1 (3 enodes)
1554043287.481 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043287.481 * * [simplify]: Extracting #1: cost 6 inf + 0
1554043287.481 * * [simplify]: Extracting #2: cost 5 inf + 44
1554043287.481 * * [simplify]: Extracting #3: cost 0 inf + 1571
1554043287.481 * [simplify]: Simplified to (-.p16 beta alpha)
1554043287.481 * [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)))
1554043287.481 * * * * [progress]: [ 3 / 16 ] 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)))>
1554043287.481 * [simplify]: Simplifying (*.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (+.p16 alpha beta))
1554043287.481 * * [simplify]: iters left: 3 (7 enodes)
1554043287.483 * * [simplify]: iters left: 2 (28 enodes)
1554043287.488 * * [simplify]: iters left: 1 (79 enodes)
1554043287.505 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043287.505 * * [simplify]: Extracting #1: cost 23 inf + 0
1554043287.505 * * [simplify]: Extracting #2: cost 63 inf + 0
1554043287.505 * * [simplify]: Extracting #3: cost 75 inf + 1531
1554043287.506 * * [simplify]: Extracting #4: cost 37 inf + 47856
1554043287.509 * * [simplify]: Extracting #5: cost 1 inf + 91596
1554043287.512 * * [simplify]: Extracting #6: cost 0 inf + 94238
1554043287.516 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (-.p16 beta alpha))
1554043287.516 * [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)))
1554043287.516 * * * * [progress]: [ 4 / 16 ] 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)))>
1554043287.516 * [simplify]: Simplifying (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))
1554043287.516 * * [simplify]: iters left: 3 (8 enodes)
1554043287.518 * * [simplify]: iters left: 2 (23 enodes)
1554043287.522 * * [simplify]: iters left: 1 (40 enodes)
1554043287.531 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043287.531 * * [simplify]: Extracting #1: cost 10 inf + 0
1554043287.531 * * [simplify]: Extracting #2: cost 32 inf + 0
1554043287.531 * * [simplify]: Extracting #3: cost 33 inf + 1045
1554043287.531 * * [simplify]: Extracting #4: cost 25 inf + 6988
1554043287.532 * * [simplify]: Extracting #5: cost 2 inf + 20756
1554043287.533 * * [simplify]: Extracting #6: cost 0 inf + 22961
1554043287.534 * [simplify]: Simplified to (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))
1554043287.534 * [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)))
1554043287.534 * [simplify]: Simplifying (/.p16 (+.p16 alpha beta) (+.p16 beta alpha))
1554043287.534 * * [simplify]: iters left: 2 (5 enodes)
1554043287.535 * * [simplify]: iters left: 1 (9 enodes)
1554043287.537 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043287.537 * * [simplify]: Extracting #1: cost 2 inf + 0
1554043287.537 * * [simplify]: Extracting #2: cost 4 inf + 0
1554043287.537 * * [simplify]: Extracting #3: cost 2 inf + 2
1554043287.537 * * [simplify]: Extracting #4: cost 0 inf + 526
1554043287.537 * [simplify]: Simplified to (/.p16 (+.p16 beta alpha) (+.p16 beta alpha))
1554043287.537 * [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)))
1554043287.537 * * * * [progress]: [ 5 / 16 ] 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)))>
1554043287.537 * * * * [progress]: [ 6 / 16 ] 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)))>
1554043287.537 * [simplify]: Simplifying (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) alpha)
1554043287.538 * * [simplify]: iters left: 3 (7 enodes)
1554043287.539 * * [simplify]: iters left: 2 (17 enodes)
1554043287.543 * * [simplify]: iters left: 1 (36 enodes)
1554043287.549 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043287.549 * * [simplify]: Extracting #1: cost 10 inf + 0
1554043287.549 * * [simplify]: Extracting #2: cost 15 inf + 1
1554043287.550 * * [simplify]: Extracting #3: cost 14 inf + 323
1554043287.550 * * [simplify]: Extracting #4: cost 9 inf + 1372
1554043287.550 * * [simplify]: Extracting #5: cost 6 inf + 1498
1554043287.550 * * [simplify]: Extracting #6: cost 0 inf + 3353
1554043287.550 * [simplify]: Simplified to (*.p16 alpha (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))
1554043287.551 * [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)))
1554043287.551 * * * * [progress]: [ 7 / 16 ] 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)))>
1554043287.551 * [simplify]: Simplifying (*.p16 alpha (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))
1554043287.551 * * [simplify]: iters left: 3 (7 enodes)
1554043287.553 * * [simplify]: iters left: 2 (23 enodes)
1554043287.557 * * [simplify]: iters left: 1 (42 enodes)
1554043287.564 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043287.564 * * [simplify]: Extracting #1: cost 12 inf + 0
1554043287.564 * * [simplify]: Extracting #2: cost 16 inf + 1
1554043287.564 * * [simplify]: Extracting #3: cost 15 inf + 323
1554043287.564 * * [simplify]: Extracting #4: cost 11 inf + 1050
1554043287.564 * * [simplify]: Extracting #5: cost 5 inf + 2222
1554043287.565 * * [simplify]: Extracting #6: cost 0 inf + 4395
1554043287.565 * [simplify]: Simplified to (*.p16 alpha (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))
1554043287.565 * [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)))
1554043287.565 * * * * [progress]: [ 8 / 16 ] 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)))>
1554043287.565 * * * * [progress]: [ 9 / 16 ] 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)))>
1554043287.565 * [simplify]: Simplifying (*.p16 (-.p16 beta alpha) beta)
1554043287.565 * * [simplify]: iters left: 2 (4 enodes)
1554043287.566 * * [simplify]: iters left: 1 (16 enodes)
1554043287.569 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043287.569 * * [simplify]: Extracting #1: cost 9 inf + 0
1554043287.569 * * [simplify]: Extracting #2: cost 11 inf + 1
1554043287.569 * * [simplify]: Extracting #3: cost 13 inf + 323
1554043287.569 * * [simplify]: Extracting #4: cost 9 inf + 1933
1554043287.569 * * [simplify]: Extracting #5: cost 3 inf + 4862
1554043287.569 * * [simplify]: Extracting #6: cost 0 inf + 7748
1554043287.570 * [simplify]: Simplified to (*.p16 beta (-.p16 beta alpha))
1554043287.570 * [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)))
1554043287.570 * * * * [progress]: [ 10 / 16 ] 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)))>
1554043287.570 * [simplify]: Simplifying (*.p16 beta (-.p16 beta alpha))
1554043287.570 * * [simplify]: iters left: 2 (4 enodes)
1554043287.571 * * [simplify]: iters left: 1 (16 enodes)
1554043287.573 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043287.573 * * [simplify]: Extracting #1: cost 9 inf + 0
1554043287.573 * * [simplify]: Extracting #2: cost 11 inf + 1
1554043287.573 * * [simplify]: Extracting #3: cost 13 inf + 323
1554043287.573 * * [simplify]: Extracting #4: cost 9 inf + 1933
1554043287.574 * * [simplify]: Extracting #5: cost 3 inf + 4862
1554043287.574 * * [simplify]: Extracting #6: cost 0 inf + 7748
1554043287.574 * [simplify]: Simplified to (*.p16 beta (-.p16 beta alpha))
1554043287.574 * [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)))
1554043287.574 * * * * [progress]: [ 11 / 16 ] 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)))>
1554043287.574 * [simplify]: Simplifying (*.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (+.p16 alpha beta))
1554043287.574 * * [simplify]: iters left: 3 (7 enodes)
1554043287.576 * * [simplify]: iters left: 2 (28 enodes)
1554043287.581 * * [simplify]: iters left: 1 (79 enodes)
1554043287.599 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043287.599 * * [simplify]: Extracting #1: cost 23 inf + 0
1554043287.599 * * [simplify]: Extracting #2: cost 63 inf + 0
1554043287.599 * * [simplify]: Extracting #3: cost 75 inf + 1531
1554043287.600 * * [simplify]: Extracting #4: cost 37 inf + 47856
1554043287.603 * * [simplify]: Extracting #5: cost 1 inf + 91596
1554043287.606 * * [simplify]: Extracting #6: cost 0 inf + 94238
1554043287.609 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (-.p16 beta alpha))
1554043287.609 * [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)))
1554043287.609 * * * * [progress]: [ 12 / 16 ] 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)))>
1554043287.609 * * * * [progress]: [ 13 / 16 ] 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)))>
1554043287.610 * [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))
1554043287.610 * * [simplify]: iters left: 6 (15 enodes)
1554043287.614 * * [simplify]: iters left: 5 (52 enodes)
1554043287.625 * * [simplify]: iters left: 4 (152 enodes)
1554043287.682 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043287.682 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043287.682 * * [simplify]: Extracting #2: cost 6 inf + 0
1554043287.682 * * [simplify]: Extracting #3: cost 36 inf + 2
1554043287.682 * * [simplify]: Extracting #4: cost 104 inf + 3
1554043287.684 * * [simplify]: Extracting #5: cost 112 inf + 4517
1554043287.691 * * [simplify]: Extracting #6: cost 50 inf + 77491
1554043287.697 * * [simplify]: Extracting #7: cost 1 inf + 122190
1554043287.703 * * [simplify]: Extracting #8: cost 0 inf + 124192
1554043287.709 * [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))
1554043287.709 * [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)))
1554043287.709 * * * * [progress]: [ 14 / 16 ] 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)))>
1554043287.709 * [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))
1554043287.709 * * [simplify]: iters left: 6 (15 enodes)
1554043287.713 * * [simplify]: iters left: 5 (52 enodes)
1554043287.725 * * [simplify]: iters left: 4 (152 enodes)
1554043287.778 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043287.779 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043287.779 * * [simplify]: Extracting #2: cost 6 inf + 0
1554043287.779 * * [simplify]: Extracting #3: cost 36 inf + 2
1554043287.779 * * [simplify]: Extracting #4: cost 104 inf + 3
1554043287.780 * * [simplify]: Extracting #5: cost 112 inf + 4517
1554043287.786 * * [simplify]: Extracting #6: cost 50 inf + 77491
1554043287.795 * * [simplify]: Extracting #7: cost 1 inf + 122190
1554043287.805 * * [simplify]: Extracting #8: cost 0 inf + 124192
1554043287.816 * [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))
1554043287.816 * [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)))
1554043287.816 * * * * [progress]: [ 15 / 16 ] 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)))>
1554043287.816 * [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))
1554043287.816 * * [simplify]: iters left: 6 (15 enodes)
1554043287.823 * * [simplify]: iters left: 5 (52 enodes)
1554043287.836 * * [simplify]: iters left: 4 (152 enodes)
1554043287.896 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043287.896 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043287.896 * * [simplify]: Extracting #2: cost 6 inf + 0
1554043287.896 * * [simplify]: Extracting #3: cost 36 inf + 2
1554043287.896 * * [simplify]: Extracting #4: cost 104 inf + 3
1554043287.898 * * [simplify]: Extracting #5: cost 112 inf + 4517
1554043287.905 * * [simplify]: Extracting #6: cost 50 inf + 77491
1554043287.916 * * [simplify]: Extracting #7: cost 1 inf + 122190
1554043287.929 * * [simplify]: Extracting #8: cost 0 inf + 124192
1554043287.941 * [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))
1554043287.941 * [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)))
1554043287.941 * * * * [progress]: [ 16 / 16 ] 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)))>
1554043287.941 * [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))
1554043287.942 * * [simplify]: iters left: 6 (15 enodes)
1554043287.949 * * [simplify]: iters left: 5 (52 enodes)
1554043287.970 * * [simplify]: iters left: 4 (152 enodes)
1554043288.015 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043288.015 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043288.015 * * [simplify]: Extracting #2: cost 6 inf + 0
1554043288.016 * * [simplify]: Extracting #3: cost 36 inf + 2
1554043288.016 * * [simplify]: Extracting #4: cost 104 inf + 3
1554043288.016 * * [simplify]: Extracting #5: cost 112 inf + 4517
1554043288.020 * * [simplify]: Extracting #6: cost 50 inf + 77491
1554043288.025 * * [simplify]: Extracting #7: cost 1 inf + 122190
1554043288.034 * * [simplify]: Extracting #8: cost 0 inf + 124192
1554043288.046 * [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))
1554043288.046 * [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)))
1554043288.046 * * * [progress]: adding candidates to table
1554043289.161 * * [progress]: iteration 4 / 4
1554043289.161 * * * [progress]: picking best candidate
1554043289.492 * * * * [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)))>
1554043289.493 * * * [progress]: localizing error
1554043289.945 * * * [progress]: generating rewritten candidates
1554043289.945 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
1554043289.954 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
1554043289.967 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
1554043289.975 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
1554043289.997 * * * [progress]: generating series expansions
1554043289.997 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
1554043289.997 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
1554043289.997 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
1554043289.997 * * * * [progress]: [ 4 / 4 ] generating series at (2)
1554043289.998 * * * [progress]: simplifying candidates
1554043289.998 * * * * [progress]: [ 1 / 8 ] 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)))>
1554043289.998 * [simplify]: Simplifying (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))
1554043289.998 * * [simplify]: iters left: 2 (5 enodes)
1554043290.000 * * [simplify]: iters left: 1 (19 enodes)
1554043290.007 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043290.007 * * [simplify]: Extracting #1: cost 8 inf + 0
1554043290.007 * * [simplify]: Extracting #2: cost 16 inf + 0
1554043290.007 * * [simplify]: Extracting #3: cost 16 inf + 1766
1554043290.007 * * [simplify]: Extracting #4: cost 6 inf + 6819
1554043290.008 * * [simplify]: Extracting #5: cost 1 inf + 12227
1554043290.009 * * [simplify]: Extracting #6: cost 0 inf + 13549
1554043290.010 * [simplify]: Simplified to (*.p16 (-.p16 beta alpha) (+.p16 alpha beta))
1554043290.010 * [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)))
1554043290.010 * * * * [progress]: [ 2 / 8 ] 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)))>
1554043290.010 * * * * [progress]: [ 3 / 8 ] 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)))>
1554043290.010 * [simplify]: Simplifying (real->posit16 2.0)
1554043290.010 * * [simplify]: iters left: 1 (2 enodes)
1554043290.012 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043290.012 * * [simplify]: Extracting #1: cost 2 inf + 0
1554043290.012 * * [simplify]: Extracting #2: cost 1 inf + 1
1554043290.012 * * [simplify]: Extracting #3: cost 0 inf + 2
1554043290.012 * [simplify]: Simplified to (real->posit16 2.0)
1554043290.012 * [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)))
1554043290.012 * * * * [progress]: [ 4 / 8 ] 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)))>
1554043290.012 * * * * [progress]: [ 5 / 8 ] 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)))>
1554043290.012 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0))
1554043290.013 * * [simplify]: iters left: 6 (12 enodes)
1554043290.018 * * [simplify]: iters left: 5 (29 enodes)
1554043290.027 * * [simplify]: iters left: 4 (46 enodes)
1554043290.043 * * [simplify]: iters left: 3 (97 enodes)
1554043290.091 * * [simplify]: iters left: 2 (335 enodes)
1554043290.397 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043290.397 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043290.397 * * [simplify]: Extracting #2: cost 6 inf + 0
1554043290.398 * * [simplify]: Extracting #3: cost 84 inf + 2
1554043290.400 * * [simplify]: Extracting #4: cost 417 inf + 3
1554043290.406 * * [simplify]: Extracting #5: cost 428 inf + 54952
1554043290.443 * * [simplify]: Extracting #6: cost 141 inf + 421995
1554043290.494 * * [simplify]: Extracting #7: cost 6 inf + 644394
1554043290.550 * * [simplify]: Extracting #8: cost 0 inf + 656444
1554043290.608 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 (real->posit16 2.0) alpha)))) (real->posit16 2.0))
1554043290.608 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 (real->posit16 2.0) alpha)))) (real->posit16 2.0)))
1554043290.608 * * * * [progress]: [ 6 / 8 ] 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)))>
1554043290.609 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0))
1554043290.609 * * [simplify]: iters left: 6 (12 enodes)
1554043290.615 * * [simplify]: iters left: 5 (29 enodes)
1554043290.625 * * [simplify]: iters left: 4 (46 enodes)
1554043290.641 * * [simplify]: iters left: 3 (97 enodes)
1554043290.684 * * [simplify]: iters left: 2 (335 enodes)
1554043290.974 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043290.974 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043290.974 * * [simplify]: Extracting #2: cost 6 inf + 0
1554043290.974 * * [simplify]: Extracting #3: cost 84 inf + 2
1554043290.975 * * [simplify]: Extracting #4: cost 417 inf + 3
1554043290.978 * * [simplify]: Extracting #5: cost 428 inf + 54952
1554043290.995 * * [simplify]: Extracting #6: cost 141 inf + 421995
1554043291.037 * * [simplify]: Extracting #7: cost 6 inf + 644394
1554043291.071 * * [simplify]: Extracting #8: cost 0 inf + 656444
1554043291.099 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 (real->posit16 2.0) alpha)))) (real->posit16 2.0))
1554043291.099 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 (real->posit16 2.0) alpha)))) (real->posit16 2.0)))
1554043291.099 * * * * [progress]: [ 7 / 8 ] 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)))>
1554043291.099 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0))
1554043291.099 * * [simplify]: iters left: 6 (12 enodes)
1554043291.102 * * [simplify]: iters left: 5 (29 enodes)
1554043291.107 * * [simplify]: iters left: 4 (46 enodes)
1554043291.114 * * [simplify]: iters left: 3 (97 enodes)
1554043291.150 * * [simplify]: iters left: 2 (335 enodes)
1554043291.429 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043291.429 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043291.429 * * [simplify]: Extracting #2: cost 6 inf + 0
1554043291.429 * * [simplify]: Extracting #3: cost 84 inf + 2
1554043291.430 * * [simplify]: Extracting #4: cost 417 inf + 3
1554043291.433 * * [simplify]: Extracting #5: cost 428 inf + 54952
1554043291.452 * * [simplify]: Extracting #6: cost 141 inf + 421995
1554043291.479 * * [simplify]: Extracting #7: cost 6 inf + 644394
1554043291.507 * * [simplify]: Extracting #8: cost 0 inf + 656444
1554043291.536 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 (real->posit16 2.0) alpha)))) (real->posit16 2.0))
1554043291.536 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 (real->posit16 2.0) alpha)))) (real->posit16 2.0)))
1554043291.536 * * * * [progress]: [ 8 / 8 ] 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)))>
1554043291.536 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0))
1554043291.536 * * [simplify]: iters left: 6 (12 enodes)
1554043291.539 * * [simplify]: iters left: 5 (29 enodes)
1554043291.544 * * [simplify]: iters left: 4 (46 enodes)
1554043291.552 * * [simplify]: iters left: 3 (97 enodes)
1554043291.573 * * [simplify]: iters left: 2 (335 enodes)
1554043291.747 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043291.747 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043291.747 * * [simplify]: Extracting #2: cost 6 inf + 0
1554043291.747 * * [simplify]: Extracting #3: cost 84 inf + 2
1554043291.749 * * [simplify]: Extracting #4: cost 417 inf + 3
1554043291.756 * * [simplify]: Extracting #5: cost 428 inf + 54952
1554043291.788 * * [simplify]: Extracting #6: cost 141 inf + 421995
1554043291.843 * * [simplify]: Extracting #7: cost 6 inf + 644394
1554043291.888 * * [simplify]: Extracting #8: cost 0 inf + 656444
1554043291.916 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 (real->posit16 2.0) alpha)))) (real->posit16 2.0))
1554043291.916 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 (real->posit16 2.0) alpha)))) (real->posit16 2.0)))
1554043291.916 * * * [progress]: adding candidates to table
1554043292.236 * [progress]: [Phase 3 of 3] Extracting.
1554043292.236 * * [regime]: Finding splitpoints for: (#<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (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 (+.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 (*.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 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)))> #<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 (-.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)))> #<alt (λ (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)))>)
1554043292.238 * * * [regime-changes]: Trying 2 branch expressions: (alpha beta)
1554043292.238 * * * * [regimes]: Trying to branch on alpha from (#<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (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 (+.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 (*.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 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)))> #<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 (-.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)))> #<alt (λ (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)))>)
1554043292.636 * * * * [regimes]: Trying to branch on beta from (#<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (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 (+.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 (*.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 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)))> #<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 (-.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)))> #<alt (λ (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)))>)
1554043293.044 * * * [regime]: Found split indices: #<option (#s(si 0 256))>
1554043293.044 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))
1554043293.044 * * [simplify]: iters left: 5 (12 enodes)
1554043293.046 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043293.046 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043293.046 * * [simplify]: Extracting #2: cost 6 inf + 0
1554043293.046 * * [simplify]: Extracting #3: cost 7 inf + 2
1554043293.046 * * [simplify]: Extracting #4: cost 8 inf + 4
1554043293.046 * * [simplify]: Extracting #5: cost 6 inf + 6
1554043293.046 * * [simplify]: Extracting #6: cost 0 inf + 2544
1554043293.046 * [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))
1554043293.046 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1554043293.070 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
1554043293.072 * * * * [points]: Setting MPFR precision to 64
1554043293.074 * * * * [points]: Setting MPFR precision to 320
1554043293.075 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
1554043293.078 * * * * [points]: Setting MPFR precision to 64
1554043293.080 * * * * [points]: Setting MPFR precision to 320
1554043293.082 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
1554043293.085 * * * * [points]: Setting MPFR precision to 64
1554043293.090 * * * * [points]: Setting MPFR precision to 320
1554043293.094 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
1554043293.097 * * * * [points]: Setting MPFR precision to 64
1554043293.104 * * * * [points]: Setting MPFR precision to 320
1554043293.113 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
1554043293.118 * * * * [points]: Setting MPFR precision to 64
1554043293.136 * * * * [points]: Setting MPFR precision to 320
1554043293.169 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
1554043293.172 * * * * [points]: Setting MPFR precision to 64
1554043293.203 * * * * [points]: Setting MPFR precision to 320
1554043293.239 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
1554043293.242 * * * * [points]: Setting MPFR precision to 64
1554043293.342 * * * * [points]: Setting MPFR precision to 320
1554043293.464 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
1554043293.470 * * * * [points]: Setting MPFR precision to 64
1554043293.633 * * * * [points]: Setting MPFR precision to 320
1554043293.803 * * * * [points]: Computing exacts for 8000 points
1554043293.806 * * * * [points]: Setting MPFR precision to 64
1554043294.389 * * * * [points]: Setting MPFR precision to 320
1554043295.470 * * * * [points]: Filtering points with unrepresentable outputs
1554043295.832 * * * * [points]: Sampling 3565 additional inputs, on iter 1 have 4435 / 8000
1554043295.842 * * * * [points]: Computing exacts on every 222 of 3565 points to ramp up precision
1554043295.845 * * * * [points]: Setting MPFR precision to 64
1554043295.846 * * * * [points]: Setting MPFR precision to 320
1554043295.847 * * * * [points]: Computing exacts on every 111 of 3565 points to ramp up precision
1554043295.850 * * * * [points]: Setting MPFR precision to 64
1554043295.852 * * * * [points]: Setting MPFR precision to 320
1554043295.854 * * * * [points]: Computing exacts on every 55 of 3565 points to ramp up precision
1554043295.857 * * * * [points]: Setting MPFR precision to 64
1554043295.874 * * * * [points]: Setting MPFR precision to 320
1554043295.879 * * * * [points]: Computing exacts on every 27 of 3565 points to ramp up precision
1554043295.882 * * * * [points]: Setting MPFR precision to 64
1554043295.891 * * * * [points]: Setting MPFR precision to 320
1554043295.900 * * * * [points]: Computing exacts on every 13 of 3565 points to ramp up precision
1554043295.903 * * * * [points]: Setting MPFR precision to 64
1554043295.920 * * * * [points]: Setting MPFR precision to 320
1554043295.943 * * * * [points]: Computing exacts on every 6 of 3565 points to ramp up precision
1554043295.949 * * * * [points]: Setting MPFR precision to 64
1554043296.002 * * * * [points]: Setting MPFR precision to 320
1554043296.060 * * * * [points]: Computing exacts on every 3 of 3565 points to ramp up precision
1554043296.063 * * * * [points]: Setting MPFR precision to 64
1554043296.117 * * * * [points]: Setting MPFR precision to 320
1554043296.179 * * * * [points]: Computing exacts for 3565 points
1554043296.182 * * * * [points]: Setting MPFR precision to 64
1554043296.448 * * * * [points]: Setting MPFR precision to 320
1554043296.751 * * * * [points]: Filtering points with unrepresentable outputs
1554043296.877 * * * * [points]: Sampling 1548 additional inputs, on iter 2 have 6452 / 8000
1554043296.882 * * * * [points]: Computing exacts on every 96 of 1548 points to ramp up precision
1554043296.885 * * * * [points]: Setting MPFR precision to 64
1554043296.886 * * * * [points]: Setting MPFR precision to 320
1554043296.887 * * * * [points]: Computing exacts on every 48 of 1548 points to ramp up precision
1554043296.890 * * * * [points]: Setting MPFR precision to 64
1554043296.892 * * * * [points]: Setting MPFR precision to 320
1554043296.894 * * * * [points]: Computing exacts on every 24 of 1548 points to ramp up precision
1554043296.897 * * * * [points]: Setting MPFR precision to 64
1554043296.901 * * * * [points]: Setting MPFR precision to 320
1554043296.905 * * * * [points]: Computing exacts on every 12 of 1548 points to ramp up precision
1554043296.908 * * * * [points]: Setting MPFR precision to 64
1554043296.915 * * * * [points]: Setting MPFR precision to 320
1554043296.923 * * * * [points]: Computing exacts on every 6 of 1548 points to ramp up precision
1554043296.926 * * * * [points]: Setting MPFR precision to 64
1554043296.940 * * * * [points]: Setting MPFR precision to 320
1554043296.955 * * * * [points]: Computing exacts on every 3 of 1548 points to ramp up precision
1554043296.975 * * * * [points]: Setting MPFR precision to 64
1554043296.998 * * * * [points]: Setting MPFR precision to 320
1554043297.025 * * * * [points]: Computing exacts for 1548 points
1554043297.028 * * * * [points]: Setting MPFR precision to 64
1554043297.144 * * * * [points]: Setting MPFR precision to 320
1554043297.249 * * * * [points]: Filtering points with unrepresentable outputs
1554043297.328 * * * * [points]: Sampling 652 additional inputs, on iter 3 have 7348 / 8000
1554043297.330 * * * * [points]: Computing exacts on every 40 of 652 points to ramp up precision
1554043297.333 * * * * [points]: Setting MPFR precision to 64
1554043297.334 * * * * [points]: Setting MPFR precision to 320
1554043297.335 * * * * [points]: Computing exacts on every 20 of 652 points to ramp up precision
1554043297.338 * * * * [points]: Setting MPFR precision to 64
1554043297.340 * * * * [points]: Setting MPFR precision to 320
1554043297.342 * * * * [points]: Computing exacts on every 10 of 652 points to ramp up precision
1554043297.345 * * * * [points]: Setting MPFR precision to 64
1554043297.348 * * * * [points]: Setting MPFR precision to 320
1554043297.352 * * * * [points]: Computing exacts on every 5 of 652 points to ramp up precision
1554043297.355 * * * * [points]: Setting MPFR precision to 64
1554043297.361 * * * * [points]: Setting MPFR precision to 320
1554043297.368 * * * * [points]: Computing exacts on every 2 of 652 points to ramp up precision
1554043297.371 * * * * [points]: Setting MPFR precision to 64
1554043297.382 * * * * [points]: Setting MPFR precision to 320
1554043297.396 * * * * [points]: Computing exacts for 652 points
1554043297.419 * * * * [points]: Setting MPFR precision to 64
1554043297.456 * * * * [points]: Setting MPFR precision to 320
1554043297.498 * * * * [points]: Filtering points with unrepresentable outputs
1554043297.516 * * * * [points]: Sampling 296 additional inputs, on iter 4 have 7704 / 8000
1554043297.517 * * * * [points]: Computing exacts on every 18 of 296 points to ramp up precision
1554043297.519 * * * * [points]: Setting MPFR precision to 64
1554043297.520 * * * * [points]: Setting MPFR precision to 320
1554043297.522 * * * * [points]: Computing exacts on every 9 of 296 points to ramp up precision
1554043297.524 * * * * [points]: Setting MPFR precision to 64
1554043297.526 * * * * [points]: Setting MPFR precision to 320
1554043297.528 * * * * [points]: Computing exacts on every 4 of 296 points to ramp up precision
1554043297.531 * * * * [points]: Setting MPFR precision to 64
1554043297.559 * * * * [points]: Setting MPFR precision to 320
1554043297.563 * * * * [points]: Computing exacts on every 2 of 296 points to ramp up precision
1554043297.566 * * * * [points]: Setting MPFR precision to 64
1554043297.572 * * * * [points]: Setting MPFR precision to 320
1554043297.579 * * * * [points]: Computing exacts for 296 points
1554043297.582 * * * * [points]: Setting MPFR precision to 64
1554043297.600 * * * * [points]: Setting MPFR precision to 320
1554043297.621 * * * * [points]: Filtering points with unrepresentable outputs
1554043297.630 * * * * [points]: Sampling 120 additional inputs, on iter 5 have 7880 / 8000
1554043297.630 * * * * [points]: Computing exacts on every 7 of 120 points to ramp up precision
1554043297.633 * * * * [points]: Setting MPFR precision to 64
1554043297.634 * * * * [points]: Setting MPFR precision to 320
1554043297.635 * * * * [points]: Computing exacts on every 3 of 120 points to ramp up precision
1554043297.638 * * * * [points]: Setting MPFR precision to 64
1554043297.640 * * * * [points]: Setting MPFR precision to 320
1554043297.642 * * * * [points]: Computing exacts for 120 points
1554043297.645 * * * * [points]: Setting MPFR precision to 64
1554043297.652 * * * * [points]: Setting MPFR precision to 320
1554043297.660 * * * * [points]: Filtering points with unrepresentable outputs
1554043297.664 * * * * [points]: Sampling 49 additional inputs, on iter 6 have 7951 / 8000
1554043297.664 * * * * [points]: Computing exacts on every 3 of 49 points to ramp up precision
1554043297.667 * * * * [points]: Setting MPFR precision to 64
1554043297.668 * * * * [points]: Setting MPFR precision to 320
1554043297.669 * * * * [points]: Computing exacts for 49 points
1554043297.690 * * * * [points]: Setting MPFR precision to 64
1554043297.694 * * * * [points]: Setting MPFR precision to 320
1554043297.697 * * * * [points]: Filtering points with unrepresentable outputs
1554043297.699 * * * * [points]: Sampling 19 additional inputs, on iter 7 have 7981 / 8000
1554043297.699 * * * * [points]: Computing exacts for 19 points
1554043297.701 * * * * [points]: Setting MPFR precision to 64
1554043297.703 * * * * [points]: Setting MPFR precision to 320
1554043297.704 * * * * [points]: Filtering points with unrepresentable outputs
1554043297.705 * * * * [points]: Sampling 8 additional inputs, on iter 8 have 7992 / 8000
1554043297.705 * * * * [points]: Computing exacts for 8 points
1554043297.707 * * * * [points]: Setting MPFR precision to 64
1554043297.708 * * * * [points]: Setting MPFR precision to 320
1554043297.708 * * * * [points]: Filtering points with unrepresentable outputs
1554043297.709 * * * * [points]: Sampling 4 additional inputs, on iter 9 have 7998 / 8000
1554043297.709 * * * * [points]: Computing exacts for 4 points
1554043297.711 * * * * [points]: Setting MPFR precision to 64
1554043297.712 * * * * [points]: Setting MPFR precision to 320
1554043297.712 * * * * [points]: Filtering points with unrepresentable outputs
1554043297.712 * * * * [points]: Sampling 4 additional inputs, on iter 10 have 7998 / 8000
1554043297.712 * * * * [points]: Computing exacts for 4 points
1554043297.715 * * * * [points]: Setting MPFR precision to 64
1554043297.715 * * * * [points]: Setting MPFR precision to 320
1554043297.715 * * * * [points]: Filtering points with unrepresentable outputs
1554043297.716 * * * * [points]: Sampled 8001 points with exact outputs
1554043304.322 * [regime-testing]: Baseline error score: 64.0
1554043304.324 * [regime-testing]: Oracle error score: 64.0
1554043304.328 * [regime-testing]: End program error score: 0.7585749470312453