0.001 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.002 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.003 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.005 * * * * [points]: Setting MPFR precision to 64
0.006 * * * * [points]: Setting MPFR precision to 320
0.007 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.010 * * * * [points]: Setting MPFR precision to 64
0.012 * * * * [points]: Setting MPFR precision to 320
0.013 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.016 * * * * [points]: Setting MPFR precision to 64
0.019 * * * * [points]: Setting MPFR precision to 320
0.022 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.024 * * * * [points]: Setting MPFR precision to 64
0.029 * * * * [points]: Setting MPFR precision to 320
0.035 * * * * [points]: Computing exacts for 256 points
0.040 * * * * [points]: Setting MPFR precision to 64
0.077 * * * * [points]: Setting MPFR precision to 320
0.103 * * * * [points]: Filtering points with unrepresentable outputs
0.104 * * * * [points]: Sampling 111 additional inputs, on iter 1 have 145 / 256
0.104 * * * * [points]: Computing exacts on every 6 of 111 points to ramp up precision
0.110 * * * * [points]: Setting MPFR precision to 64
0.112 * * * * [points]: Setting MPFR precision to 320
0.114 * * * * [points]: Computing exacts on every 3 of 111 points to ramp up precision
0.119 * * * * [points]: Setting MPFR precision to 64
0.122 * * * * [points]: Setting MPFR precision to 320
0.125 * * * * [points]: Computing exacts for 111 points
0.129 * * * * [points]: Setting MPFR precision to 64
0.139 * * * * [points]: Setting MPFR precision to 320
0.150 * * * * [points]: Filtering points with unrepresentable outputs
0.150 * * * * [points]: Sampling 51 additional inputs, on iter 2 have 205 / 256
0.151 * * * * [points]: Computing exacts on every 3 of 51 points to ramp up precision
0.155 * * * * [points]: Setting MPFR precision to 64
0.157 * * * * [points]: Setting MPFR precision to 320
0.158 * * * * [points]: Computing exacts for 51 points
0.163 * * * * [points]: Setting MPFR precision to 64
0.167 * * * * [points]: Setting MPFR precision to 320
0.172 * * * * [points]: Filtering points with unrepresentable outputs
0.172 * * * * [points]: Sampling 19 additional inputs, on iter 3 have 237 / 256
0.173 * * * * [points]: Computing exacts for 19 points
0.177 * * * * [points]: Setting MPFR precision to 64
0.179 * * * * [points]: Setting MPFR precision to 320
0.181 * * * * [points]: Filtering points with unrepresentable outputs
0.181 * * * * [points]: Sampling 8 additional inputs, on iter 4 have 248 / 256
0.181 * * * * [points]: Computing exacts for 8 points
0.184 * * * * [points]: Setting MPFR precision to 64
0.184 * * * * [points]: Setting MPFR precision to 320
0.185 * * * * [points]: Filtering points with unrepresentable outputs
0.185 * * * * [points]: Sampling 5 additional inputs, on iter 5 have 251 / 256
0.185 * * * * [points]: Computing exacts for 5 points
0.188 * * * * [points]: Setting MPFR precision to 64
0.188 * * * * [points]: Setting MPFR precision to 320
0.188 * * * * [points]: Filtering points with unrepresentable outputs
0.188 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 255 / 256
0.188 * * * * [points]: Computing exacts for 4 points
0.191 * * * * [points]: Setting MPFR precision to 64
0.192 * * * * [points]: Setting MPFR precision to 320
0.192 * * * * [points]: Filtering points with unrepresentable outputs
0.192 * * * * [points]: Sampled 257 points with exact outputs
0.192 * * * [progress]: [2/2] Setting up program.
0.206 * [progress]: [Phase 2 of 3] Improving.
0.206 * * * * [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)))>
0.206 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))
0.206 * * [simplify]: iters left: 5 (12 enodes)
0.211 * * [simplify]: iters left: 4 (29 enodes)
0.240 * * [simplify]: iters left: 3 (46 enodes)
0.249 * * [simplify]: iters left: 2 (97 enodes)
0.271 * * [simplify]: iters left: 1 (335 enodes)
0.469 * * [simplify]: Extracting #0: cost 1 inf + 0
0.469 * * [simplify]: Extracting #1: cost 3 inf + 0
0.469 * * [simplify]: Extracting #2: cost 6 inf + 0
0.470 * * [simplify]: Extracting #3: cost 84 inf + 2
0.472 * * [simplify]: Extracting #4: cost 417 inf + 3
0.478 * * [simplify]: Extracting #5: cost 426 inf + 60948
0.507 * * [simplify]: Extracting #6: cost 131 inf + 419299
0.551 * * [simplify]: Extracting #7: cost 6 inf + 632031
0.599 * * [simplify]: Extracting #8: cost 0 inf + 647044
0.645 * [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))
0.646 * [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)))
0.668 * * [progress]: iteration 1 / 4
0.668 * * * [progress]: picking best candidate
0.690 * * * * [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)))>
0.690 * * * [progress]: localizing error
0.900 * * * [progress]: generating rewritten candidates
0.900 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
0.907 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
0.920 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
0.929 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
0.940 * * * [progress]: generating series expansions
0.940 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
0.940 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
0.940 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
0.940 * * * * [progress]: [ 4 / 4 ] generating series at (2)
0.940 * * * [progress]: simplifying candidates
0.940 * * * * [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)))>
0.940 * [simplify]: Simplifying (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))
0.940 * * [simplify]: iters left: 2 (5 enodes)
0.941 * * [simplify]: iters left: 1 (19 enodes)
0.944 * * [simplify]: Extracting #0: cost 1 inf + 0
0.945 * * [simplify]: Extracting #1: cost 8 inf + 0
0.945 * * [simplify]: Extracting #2: cost 16 inf + 0
0.945 * * [simplify]: Extracting #3: cost 16 inf + 1766
0.945 * * [simplify]: Extracting #4: cost 6 inf + 6819
0.945 * * [simplify]: Extracting #5: cost 1 inf + 12227
0.945 * * [simplify]: Extracting #6: cost 0 inf + 13549
0.946 * [simplify]: Simplified to (*.p16 (-.p16 beta alpha) (+.p16 alpha beta))
0.946 * [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)))
0.946 * * * * [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)))>
0.946 * * * * [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)))>
0.946 * * * * [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)))>
0.946 * * * * [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)))>
0.946 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))
0.946 * * [simplify]: iters left: 5 (12 enodes)
0.951 * * [simplify]: iters left: 4 (29 enodes)
0.960 * * [simplify]: iters left: 3 (46 enodes)
0.968 * * [simplify]: iters left: 2 (97 enodes)
0.990 * * [simplify]: iters left: 1 (335 enodes)
1.177 * * [simplify]: Extracting #0: cost 1 inf + 0
1.177 * * [simplify]: Extracting #1: cost 3 inf + 0
1.177 * * [simplify]: Extracting #2: cost 6 inf + 0
1.177 * * [simplify]: Extracting #3: cost 84 inf + 2
1.179 * * [simplify]: Extracting #4: cost 417 inf + 3
1.186 * * [simplify]: Extracting #5: cost 426 inf + 60948
1.208 * * [simplify]: Extracting #6: cost 131 inf + 419299
1.253 * * [simplify]: Extracting #7: cost 6 inf + 632031
1.292 * * [simplify]: Extracting #8: cost 0 inf + 647044
1.319 * [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))
1.319 * [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)))
1.319 * * * * [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)))>
1.320 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))
1.320 * * [simplify]: iters left: 5 (12 enodes)
1.324 * * [simplify]: iters left: 4 (29 enodes)
1.329 * * [simplify]: iters left: 3 (46 enodes)
1.337 * * [simplify]: iters left: 2 (97 enodes)
1.358 * * [simplify]: iters left: 1 (335 enodes)
1.589 * * [simplify]: Extracting #0: cost 1 inf + 0
1.590 * * [simplify]: Extracting #1: cost 3 inf + 0
1.590 * * [simplify]: Extracting #2: cost 6 inf + 0
1.590 * * [simplify]: Extracting #3: cost 84 inf + 2
1.592 * * [simplify]: Extracting #4: cost 417 inf + 3
1.595 * * [simplify]: Extracting #5: cost 426 inf + 60948
1.611 * * [simplify]: Extracting #6: cost 131 inf + 419299
1.638 * * [simplify]: Extracting #7: cost 6 inf + 632031
1.667 * * [simplify]: Extracting #8: cost 0 inf + 647044
1.695 * [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))
1.695 * [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)))
1.695 * * * * [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)))>
1.695 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))
1.695 * * [simplify]: iters left: 5 (12 enodes)
1.698 * * [simplify]: iters left: 4 (29 enodes)
1.703 * * [simplify]: iters left: 3 (46 enodes)
1.711 * * [simplify]: iters left: 2 (97 enodes)
1.734 * * [simplify]: iters left: 1 (335 enodes)
2.027 * * [simplify]: Extracting #0: cost 1 inf + 0
2.027 * * [simplify]: Extracting #1: cost 3 inf + 0
2.027 * * [simplify]: Extracting #2: cost 6 inf + 0
2.027 * * [simplify]: Extracting #3: cost 84 inf + 2
2.029 * * [simplify]: Extracting #4: cost 417 inf + 3
2.036 * * [simplify]: Extracting #5: cost 426 inf + 60948
2.073 * * [simplify]: Extracting #6: cost 131 inf + 419299
2.115 * * [simplify]: Extracting #7: cost 6 inf + 632031
2.142 * * [simplify]: Extracting #8: cost 0 inf + 647044
2.171 * [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))
2.171 * [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)))
2.171 * * * * [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)))>
2.171 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))
2.171 * * [simplify]: iters left: 5 (12 enodes)
2.174 * * [simplify]: iters left: 4 (29 enodes)
2.179 * * [simplify]: iters left: 3 (46 enodes)
2.187 * * [simplify]: iters left: 2 (97 enodes)
2.208 * * [simplify]: iters left: 1 (335 enodes)
2.363 * * [simplify]: Extracting #0: cost 1 inf + 0
2.364 * * [simplify]: Extracting #1: cost 3 inf + 0
2.364 * * [simplify]: Extracting #2: cost 6 inf + 0
2.364 * * [simplify]: Extracting #3: cost 84 inf + 2
2.365 * * [simplify]: Extracting #4: cost 417 inf + 3
2.368 * * [simplify]: Extracting #5: cost 426 inf + 60948
2.386 * * [simplify]: Extracting #6: cost 131 inf + 419299
2.411 * * [simplify]: Extracting #7: cost 6 inf + 632031
2.441 * * [simplify]: Extracting #8: cost 0 inf + 647044
2.468 * [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))
2.469 * [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)))
2.469 * * * [progress]: adding candidates to table
2.652 * * [progress]: iteration 2 / 4
2.652 * * * [progress]: picking best candidate
2.683 * * * * [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)))>
2.683 * * * [progress]: localizing error
2.850 * * * [progress]: generating rewritten candidates
2.850 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
2.855 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
2.861 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
2.865 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
2.876 * * * [progress]: generating series expansions
2.876 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
2.876 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
2.876 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
2.876 * * * * [progress]: [ 4 / 4 ] generating series at (2)
2.876 * * * [progress]: simplifying candidates
2.876 * * * * [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)))>
2.876 * [simplify]: Simplifying (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))
2.876 * * [simplify]: iters left: 2 (5 enodes)
2.877 * * [simplify]: iters left: 1 (19 enodes)
2.880 * * [simplify]: Extracting #0: cost 1 inf + 0
2.880 * * [simplify]: Extracting #1: cost 8 inf + 0
2.880 * * [simplify]: Extracting #2: cost 16 inf + 0
2.880 * * [simplify]: Extracting #3: cost 16 inf + 1766
2.881 * * [simplify]: Extracting #4: cost 6 inf + 6819
2.881 * * [simplify]: Extracting #5: cost 1 inf + 12227
2.881 * * [simplify]: Extracting #6: cost 0 inf + 13549
2.882 * [simplify]: Simplified to (*.p16 (-.p16 beta alpha) (+.p16 alpha beta))
2.882 * [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)))
2.882 * * * * [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)))>
2.882 * * * * [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)))>
2.882 * [simplify]: Simplifying (real->posit16 2.0)
2.882 * * [simplify]: iters left: 1 (2 enodes)
2.883 * * [simplify]: Extracting #0: cost 1 inf + 0
2.883 * * [simplify]: Extracting #1: cost 2 inf + 0
2.883 * * [simplify]: Extracting #2: cost 1 inf + 1
2.883 * * [simplify]: Extracting #3: cost 0 inf + 2
2.883 * [simplify]: Simplified to (real->posit16 2.0)
2.883 * [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)))
2.883 * * * * [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)))>
2.883 * * * * [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)))>
2.883 * * * * [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)))>
2.883 * * * * [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)))>
2.883 * * * * [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)))>
2.883 * * * [progress]: adding candidates to table
3.080 * * [progress]: iteration 3 / 4
3.080 * * * [progress]: picking best candidate
3.096 * * * * [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)))>
3.096 * * * [progress]: localizing error
3.334 * * * [progress]: generating rewritten candidates
3.334 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
3.338 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
3.345 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
3.352 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
3.356 * * * [progress]: generating series expansions
3.356 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
3.356 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
3.356 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
3.356 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
3.356 * * * [progress]: simplifying candidates
3.356 * * * * [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)))>
3.356 * [simplify]: Simplifying (+.p16 beta alpha)
3.356 * * [simplify]: iters left: 1 (3 enodes)
3.357 * * [simplify]: Extracting #0: cost 1 inf + 0
3.357 * * [simplify]: Extracting #1: cost 3 inf + 0
3.357 * * [simplify]: Extracting #2: cost 1 inf + 2
3.357 * * [simplify]: Extracting #3: cost 0 inf + 44
3.357 * [simplify]: Simplified to (+.p16 alpha beta)
3.357 * [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)))
3.357 * * * * [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)))>
3.357 * [simplify]: Simplifying (-.p16 beta alpha)
3.357 * * [simplify]: iters left: 1 (3 enodes)
3.358 * * [simplify]: Extracting #0: cost 1 inf + 0
3.358 * * [simplify]: Extracting #1: cost 6 inf + 0
3.358 * * [simplify]: Extracting #2: cost 5 inf + 44
3.358 * * [simplify]: Extracting #3: cost 0 inf + 1571
3.358 * [simplify]: Simplified to (-.p16 beta alpha)
3.358 * [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)))
3.358 * * * * [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)))>
3.358 * [simplify]: Simplifying (*.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (+.p16 alpha beta))
3.359 * * [simplify]: iters left: 3 (7 enodes)
3.360 * * [simplify]: iters left: 2 (28 enodes)
3.365 * * [simplify]: iters left: 1 (79 enodes)
3.382 * * [simplify]: Extracting #0: cost 1 inf + 0
3.382 * * [simplify]: Extracting #1: cost 22 inf + 0
3.382 * * [simplify]: Extracting #2: cost 62 inf + 0
3.382 * * [simplify]: Extracting #3: cost 71 inf + 3215
3.384 * * [simplify]: Extracting #4: cost 37 inf + 46934
3.386 * * [simplify]: Extracting #5: cost 1 inf + 91154
3.390 * * [simplify]: Extracting #6: cost 0 inf + 93796
3.393 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (-.p16 beta alpha))
3.393 * [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)))
3.393 * * * * [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)))>
3.393 * [simplify]: Simplifying (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))
3.393 * * [simplify]: iters left: 3 (8 enodes)
3.395 * * [simplify]: iters left: 2 (23 enodes)
3.401 * * [simplify]: iters left: 1 (40 enodes)
3.407 * * [simplify]: Extracting #0: cost 1 inf + 0
3.408 * * [simplify]: Extracting #1: cost 10 inf + 0
3.408 * * [simplify]: Extracting #2: cost 32 inf + 0
3.408 * * [simplify]: Extracting #3: cost 33 inf + 1045
3.408 * * [simplify]: Extracting #4: cost 25 inf + 6988
3.409 * * [simplify]: Extracting #5: cost 2 inf + 20756
3.409 * * [simplify]: Extracting #6: cost 0 inf + 22961
3.410 * [simplify]: Simplified to (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))
3.410 * [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)))
3.411 * [simplify]: Simplifying (/.p16 (+.p16 alpha beta) (+.p16 beta alpha))
3.411 * * [simplify]: iters left: 2 (5 enodes)
3.412 * * [simplify]: iters left: 1 (9 enodes)
3.413 * * [simplify]: Extracting #0: cost 1 inf + 0
3.413 * * [simplify]: Extracting #1: cost 2 inf + 0
3.413 * * [simplify]: Extracting #2: cost 4 inf + 0
3.413 * * [simplify]: Extracting #3: cost 2 inf + 2
3.413 * * [simplify]: Extracting #4: cost 0 inf + 526
3.413 * [simplify]: Simplified to (/.p16 (+.p16 beta alpha) (+.p16 beta alpha))
3.413 * [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)))
3.413 * * * * [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)))>
3.413 * * * * [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)))>
3.413 * [simplify]: Simplifying (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) alpha)
3.413 * * [simplify]: iters left: 3 (7 enodes)
3.415 * * [simplify]: iters left: 2 (17 enodes)
3.418 * * [simplify]: iters left: 1 (36 enodes)
3.424 * * [simplify]: Extracting #0: cost 1 inf + 0
3.424 * * [simplify]: Extracting #1: cost 10 inf + 0
3.424 * * [simplify]: Extracting #2: cost 15 inf + 1
3.425 * * [simplify]: Extracting #3: cost 14 inf + 323
3.425 * * [simplify]: Extracting #4: cost 9 inf + 1372
3.425 * * [simplify]: Extracting #5: cost 6 inf + 1498
3.425 * * [simplify]: Extracting #6: cost 0 inf + 3353
3.426 * [simplify]: Simplified to (*.p16 alpha (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))
3.426 * [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)))
3.426 * * * * [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)))>
3.426 * [simplify]: Simplifying (*.p16 alpha (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))
3.426 * * [simplify]: iters left: 3 (7 enodes)
3.428 * * [simplify]: iters left: 2 (23 enodes)
3.432 * * [simplify]: iters left: 1 (42 enodes)
3.441 * * [simplify]: Extracting #0: cost 1 inf + 0
3.441 * * [simplify]: Extracting #1: cost 12 inf + 0
3.441 * * [simplify]: Extracting #2: cost 16 inf + 1
3.441 * * [simplify]: Extracting #3: cost 15 inf + 323
3.442 * * [simplify]: Extracting #4: cost 11 inf + 1050
3.442 * * [simplify]: Extracting #5: cost 5 inf + 2222
3.443 * * [simplify]: Extracting #6: cost 0 inf + 4395
3.443 * [simplify]: Simplified to (*.p16 alpha (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))
3.443 * [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)))
3.444 * * * * [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)))>
3.444 * * * * [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)))>
3.444 * [simplify]: Simplifying (*.p16 (-.p16 beta alpha) beta)
3.444 * * [simplify]: iters left: 2 (4 enodes)
3.446 * * [simplify]: iters left: 1 (16 enodes)
3.451 * * [simplify]: Extracting #0: cost 1 inf + 0
3.451 * * [simplify]: Extracting #1: cost 9 inf + 0
3.451 * * [simplify]: Extracting #2: cost 11 inf + 1
3.451 * * [simplify]: Extracting #3: cost 13 inf + 323
3.451 * * [simplify]: Extracting #4: cost 9 inf + 1933
3.452 * * [simplify]: Extracting #5: cost 3 inf + 4862
3.452 * * [simplify]: Extracting #6: cost 0 inf + 7748
3.453 * [simplify]: Simplified to (*.p16 beta (-.p16 beta alpha))
3.453 * [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)))
3.453 * * * * [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)))>
3.453 * [simplify]: Simplifying (*.p16 beta (-.p16 beta alpha))
3.453 * * [simplify]: iters left: 2 (4 enodes)
3.455 * * [simplify]: iters left: 1 (16 enodes)
3.461 * * [simplify]: Extracting #0: cost 1 inf + 0
3.461 * * [simplify]: Extracting #1: cost 9 inf + 0
3.461 * * [simplify]: Extracting #2: cost 11 inf + 1
3.461 * * [simplify]: Extracting #3: cost 13 inf + 323
3.461 * * [simplify]: Extracting #4: cost 9 inf + 1933
3.462 * * [simplify]: Extracting #5: cost 3 inf + 4862
3.462 * * [simplify]: Extracting #6: cost 0 inf + 7748
3.463 * [simplify]: Simplified to (*.p16 beta (-.p16 beta alpha))
3.463 * [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)))
3.463 * * * * [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)))>
3.463 * [simplify]: Simplifying (*.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (+.p16 alpha beta))
3.464 * * [simplify]: iters left: 3 (7 enodes)
3.467 * * [simplify]: iters left: 2 (28 enodes)
3.480 * * [simplify]: iters left: 1 (79 enodes)
3.519 * * [simplify]: Extracting #0: cost 1 inf + 0
3.519 * * [simplify]: Extracting #1: cost 22 inf + 0
3.519 * * [simplify]: Extracting #2: cost 62 inf + 0
3.520 * * [simplify]: Extracting #3: cost 71 inf + 3215
3.521 * * [simplify]: Extracting #4: cost 37 inf + 46934
3.523 * * [simplify]: Extracting #5: cost 1 inf + 91154
3.526 * * [simplify]: Extracting #6: cost 0 inf + 93796
3.529 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (-.p16 beta alpha))
3.529 * [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)))
3.529 * * * * [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)))>
3.529 * * * * [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)))>
3.530 * [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))
3.530 * * [simplify]: iters left: 6 (15 enodes)
3.534 * * [simplify]: iters left: 5 (52 enodes)
3.544 * * [simplify]: iters left: 4 (152 enodes)
3.588 * * [simplify]: Extracting #0: cost 1 inf + 0
3.588 * * [simplify]: Extracting #1: cost 3 inf + 0
3.588 * * [simplify]: Extracting #2: cost 6 inf + 0
3.588 * * [simplify]: Extracting #3: cost 36 inf + 2
3.588 * * [simplify]: Extracting #4: cost 103 inf + 4
3.589 * * [simplify]: Extracting #5: cost 112 inf + 4517
3.592 * * [simplify]: Extracting #6: cost 53 inf + 74883
3.598 * * [simplify]: Extracting #7: cost 1 inf + 122190
3.604 * * [simplify]: Extracting #8: cost 0 inf + 124192
3.610 * [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))
3.610 * [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)))
3.610 * * * * [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)))>
3.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))
3.610 * * [simplify]: iters left: 6 (15 enodes)
3.614 * * [simplify]: iters left: 5 (52 enodes)
3.625 * * [simplify]: iters left: 4 (152 enodes)
3.670 * * [simplify]: Extracting #0: cost 1 inf + 0
3.670 * * [simplify]: Extracting #1: cost 3 inf + 0
3.670 * * [simplify]: Extracting #2: cost 6 inf + 0
3.671 * * [simplify]: Extracting #3: cost 36 inf + 2
3.671 * * [simplify]: Extracting #4: cost 103 inf + 4
3.672 * * [simplify]: Extracting #5: cost 112 inf + 4517
3.675 * * [simplify]: Extracting #6: cost 53 inf + 74883
3.680 * * [simplify]: Extracting #7: cost 1 inf + 122190
3.686 * * [simplify]: Extracting #8: cost 0 inf + 124192
3.692 * [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))
3.692 * [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)))
3.693 * * * * [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)))>
3.693 * [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))
3.693 * * [simplify]: iters left: 6 (15 enodes)
3.697 * * [simplify]: iters left: 5 (52 enodes)
3.707 * * [simplify]: iters left: 4 (152 enodes)
3.769 * * [simplify]: Extracting #0: cost 1 inf + 0
3.769 * * [simplify]: Extracting #1: cost 3 inf + 0
3.769 * * [simplify]: Extracting #2: cost 6 inf + 0
3.769 * * [simplify]: Extracting #3: cost 36 inf + 2
3.770 * * [simplify]: Extracting #4: cost 103 inf + 4
3.771 * * [simplify]: Extracting #5: cost 112 inf + 4517
3.778 * * [simplify]: Extracting #6: cost 53 inf + 74883
3.789 * * [simplify]: Extracting #7: cost 1 inf + 122190
3.803 * * [simplify]: Extracting #8: cost 0 inf + 124192
3.809 * [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))
3.810 * [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)))
3.810 * * * * [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)))>
3.810 * [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))
3.810 * * [simplify]: iters left: 6 (15 enodes)
3.814 * * [simplify]: iters left: 5 (52 enodes)
3.827 * * [simplify]: iters left: 4 (152 enodes)
3.866 * * [simplify]: Extracting #0: cost 1 inf + 0
3.866 * * [simplify]: Extracting #1: cost 3 inf + 0
3.866 * * [simplify]: Extracting #2: cost 6 inf + 0
3.866 * * [simplify]: Extracting #3: cost 36 inf + 2
3.866 * * [simplify]: Extracting #4: cost 103 inf + 4
3.867 * * [simplify]: Extracting #5: cost 112 inf + 4517
3.870 * * [simplify]: Extracting #6: cost 53 inf + 74883
3.876 * * [simplify]: Extracting #7: cost 1 inf + 122190
3.882 * * [simplify]: Extracting #8: cost 0 inf + 124192
3.887 * [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))
3.888 * [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)))
3.888 * * * [progress]: adding candidates to table
4.649 * * [progress]: iteration 4 / 4
4.649 * * * [progress]: picking best candidate
4.813 * * * * [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)))>
4.813 * * * [progress]: localizing error
5.110 * * * [progress]: generating rewritten candidates
5.110 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
5.120 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
5.133 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
5.141 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
5.163 * * * [progress]: generating series expansions
5.163 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
5.163 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
5.163 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
5.163 * * * * [progress]: [ 4 / 4 ] generating series at (2)
5.163 * * * [progress]: simplifying candidates
5.163 * * * * [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)))>
5.164 * [simplify]: Simplifying (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))
5.164 * * [simplify]: iters left: 2 (5 enodes)
5.166 * * [simplify]: iters left: 1 (19 enodes)
5.173 * * [simplify]: Extracting #0: cost 1 inf + 0
5.173 * * [simplify]: Extracting #1: cost 8 inf + 0
5.173 * * [simplify]: Extracting #2: cost 16 inf + 0
5.173 * * [simplify]: Extracting #3: cost 16 inf + 1766
5.173 * * [simplify]: Extracting #4: cost 6 inf + 6819
5.174 * * [simplify]: Extracting #5: cost 1 inf + 12227
5.175 * * [simplify]: Extracting #6: cost 0 inf + 13549
5.176 * [simplify]: Simplified to (*.p16 (-.p16 beta alpha) (+.p16 alpha beta))
5.176 * [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)))
5.176 * * * * [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)))>
5.176 * * * * [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)))>
5.176 * [simplify]: Simplifying (real->posit16 2.0)
5.176 * * [simplify]: iters left: 1 (2 enodes)
5.178 * * [simplify]: Extracting #0: cost 1 inf + 0
5.178 * * [simplify]: Extracting #1: cost 2 inf + 0
5.178 * * [simplify]: Extracting #2: cost 1 inf + 1
5.178 * * [simplify]: Extracting #3: cost 0 inf + 2
5.178 * [simplify]: Simplified to (real->posit16 2.0)
5.178 * [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)))
5.179 * * * * [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)))>
5.179 * * * * [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)))>
5.179 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0))
5.179 * * [simplify]: iters left: 6 (12 enodes)
5.185 * * [simplify]: iters left: 5 (29 enodes)
5.194 * * [simplify]: iters left: 4 (46 enodes)
5.210 * * [simplify]: iters left: 3 (97 enodes)
5.252 * * [simplify]: iters left: 2 (335 enodes)
5.548 * * [simplify]: Extracting #0: cost 1 inf + 0
5.548 * * [simplify]: Extracting #1: cost 3 inf + 0
5.548 * * [simplify]: Extracting #2: cost 6 inf + 0
5.549 * * [simplify]: Extracting #3: cost 84 inf + 2
5.551 * * [simplify]: Extracting #4: cost 417 inf + 3
5.558 * * [simplify]: Extracting #5: cost 441 inf + 41835
5.593 * * [simplify]: Extracting #6: cost 164 inf + 376458
5.645 * * [simplify]: Extracting #7: cost 10 inf + 632823
5.699 * * [simplify]: Extracting #8: cost 0 inf + 655164
5.756 * [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))
5.756 * [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)))
5.757 * * * * [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)))>
5.757 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0))
5.757 * * [simplify]: iters left: 6 (12 enodes)
5.763 * * [simplify]: iters left: 5 (29 enodes)
5.773 * * [simplify]: iters left: 4 (46 enodes)
5.789 * * [simplify]: iters left: 3 (97 enodes)
5.835 * * [simplify]: iters left: 2 (335 enodes)
6.107 * * [simplify]: Extracting #0: cost 1 inf + 0
6.107 * * [simplify]: Extracting #1: cost 3 inf + 0
6.107 * * [simplify]: Extracting #2: cost 6 inf + 0
6.107 * * [simplify]: Extracting #3: cost 84 inf + 2
6.108 * * [simplify]: Extracting #4: cost 417 inf + 3
6.111 * * [simplify]: Extracting #5: cost 441 inf + 41835
6.126 * * [simplify]: Extracting #6: cost 164 inf + 376458
6.159 * * [simplify]: Extracting #7: cost 10 inf + 632823
6.212 * * [simplify]: Extracting #8: cost 0 inf + 655164
6.260 * [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))
6.260 * [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)))
6.260 * * * * [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)))>
6.261 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0))
6.261 * * [simplify]: iters left: 6 (12 enodes)
6.266 * * [simplify]: iters left: 5 (29 enodes)
6.275 * * [simplify]: iters left: 4 (46 enodes)
6.291 * * [simplify]: iters left: 3 (97 enodes)
6.333 * * [simplify]: iters left: 2 (335 enodes)
6.636 * * [simplify]: Extracting #0: cost 1 inf + 0
6.636 * * [simplify]: Extracting #1: cost 3 inf + 0
6.636 * * [simplify]: Extracting #2: cost 6 inf + 0
6.637 * * [simplify]: Extracting #3: cost 84 inf + 2
6.639 * * [simplify]: Extracting #4: cost 417 inf + 3
6.645 * * [simplify]: Extracting #5: cost 441 inf + 41835
6.680 * * [simplify]: Extracting #6: cost 164 inf + 376458
6.729 * * [simplify]: Extracting #7: cost 10 inf + 632823
6.786 * * [simplify]: Extracting #8: cost 0 inf + 655164
6.824 * [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))
6.824 * [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)))
6.825 * * * * [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)))>
6.825 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0))
6.825 * * [simplify]: iters left: 6 (12 enodes)
6.828 * * [simplify]: iters left: 5 (29 enodes)
6.835 * * [simplify]: iters left: 4 (46 enodes)
6.852 * * [simplify]: iters left: 3 (97 enodes)
6.896 * * [simplify]: iters left: 2 (335 enodes)
7.146 * * [simplify]: Extracting #0: cost 1 inf + 0
7.146 * * [simplify]: Extracting #1: cost 3 inf + 0
7.146 * * [simplify]: Extracting #2: cost 6 inf + 0
7.147 * * [simplify]: Extracting #3: cost 84 inf + 2
7.149 * * [simplify]: Extracting #4: cost 417 inf + 3
7.155 * * [simplify]: Extracting #5: cost 441 inf + 41835
7.182 * * [simplify]: Extracting #6: cost 164 inf + 376458
7.241 * * [simplify]: Extracting #7: cost 10 inf + 632823
7.298 * * [simplify]: Extracting #8: cost 0 inf + 655164
7.355 * [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))
7.355 * [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)))
7.355 * * * [progress]: adding candidates to table
7.681 * [progress]: [Phase 3 of 3] Extracting.
7.681 * * [regime]: Finding splitpoints for: (#<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 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 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 (+.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)))> #<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 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)))> #<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 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))>)
7.684 * * * [regime-changes]: Trying 2 branch expressions: (alpha beta)
7.684 * * * * [regimes]: Trying to branch on alpha from (#<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 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 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 (+.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)))> #<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 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)))> #<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 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))>)
7.969 * * * * [regimes]: Trying to branch on beta from (#<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 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 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 (+.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)))> #<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 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)))> #<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 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))>)
8.141 * * * [regime]: Found split indices: #<option (#s(si 1 256))>
8.141 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0))
8.141 * * [simplify]: iters left: 6 (12 enodes)
8.143 * * [simplify]: Extracting #0: cost 1 inf + 0
8.143 * * [simplify]: Extracting #1: cost 3 inf + 0
8.143 * * [simplify]: Extracting #2: cost 6 inf + 0
8.143 * * [simplify]: Extracting #3: cost 8 inf + 1
8.143 * * [simplify]: Extracting #4: cost 8 inf + 4
8.143 * * [simplify]: Extracting #5: cost 6 inf + 6
8.143 * * [simplify]: Extracting #6: cost 0 inf + 2544
8.143 * [simplify]: Simplified to (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0))
8.143 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
8.166 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
8.169 * * * * [points]: Setting MPFR precision to 64
8.170 * * * * [points]: Setting MPFR precision to 320
8.171 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
8.174 * * * * [points]: Setting MPFR precision to 64
8.176 * * * * [points]: Setting MPFR precision to 320
8.178 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
8.181 * * * * [points]: Setting MPFR precision to 64
8.187 * * * * [points]: Setting MPFR precision to 320
8.193 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
8.212 * * * * [points]: Setting MPFR precision to 64
8.227 * * * * [points]: Setting MPFR precision to 320
8.238 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
8.243 * * * * [points]: Setting MPFR precision to 64
8.264 * * * * [points]: Setting MPFR precision to 320
8.287 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
8.292 * * * * [points]: Setting MPFR precision to 64
8.335 * * * * [points]: Setting MPFR precision to 320
8.382 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
8.387 * * * * [points]: Setting MPFR precision to 64
8.528 * * * * [points]: Setting MPFR precision to 320
8.632 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
8.638 * * * * [points]: Setting MPFR precision to 64
9.329 * * * * [points]: Setting MPFR precision to 320
9.590 * * * * [points]: Computing exacts for 8000 points
9.598 * * * * [points]: Setting MPFR precision to 64
10.354 * * * * [points]: Setting MPFR precision to 320
10.978 * * * * [points]: Filtering points with unrepresentable outputs
10.986 * * * * [points]: Sampling 3458 additional inputs, on iter 1 have 4542 / 8000
10.996 * * * * [points]: Computing exacts on every 216 of 3458 points to ramp up precision
10.999 * * * * [points]: Setting MPFR precision to 64
11.000 * * * * [points]: Setting MPFR precision to 320
11.001 * * * * [points]: Computing exacts on every 108 of 3458 points to ramp up precision
11.004 * * * * [points]: Setting MPFR precision to 64
11.006 * * * * [points]: Setting MPFR precision to 320
11.008 * * * * [points]: Computing exacts on every 54 of 3458 points to ramp up precision
11.010 * * * * [points]: Setting MPFR precision to 64
11.014 * * * * [points]: Setting MPFR precision to 320
11.019 * * * * [points]: Computing exacts on every 27 of 3458 points to ramp up precision
11.044 * * * * [points]: Setting MPFR precision to 64
11.051 * * * * [points]: Setting MPFR precision to 320
11.060 * * * * [points]: Computing exacts on every 13 of 3458 points to ramp up precision
11.063 * * * * [points]: Setting MPFR precision to 64
11.078 * * * * [points]: Setting MPFR precision to 320
11.092 * * * * [points]: Computing exacts on every 6 of 3458 points to ramp up precision
11.095 * * * * [points]: Setting MPFR precision to 64
11.124 * * * * [points]: Setting MPFR precision to 320
11.154 * * * * [points]: Computing exacts on every 3 of 3458 points to ramp up precision
11.158 * * * * [points]: Setting MPFR precision to 64
11.240 * * * * [points]: Setting MPFR precision to 320
11.293 * * * * [points]: Computing exacts for 3458 points
11.297 * * * * [points]: Setting MPFR precision to 64
11.740 * * * * [points]: Setting MPFR precision to 320
12.200 * * * * [points]: Filtering points with unrepresentable outputs
12.211 * * * * [points]: Sampling 1492 additional inputs, on iter 2 have 6508 / 8000
12.219 * * * * [points]: Computing exacts on every 93 of 1492 points to ramp up precision
12.224 * * * * [points]: Setting MPFR precision to 64
12.226 * * * * [points]: Setting MPFR precision to 320
12.228 * * * * [points]: Computing exacts on every 46 of 1492 points to ramp up precision
12.234 * * * * [points]: Setting MPFR precision to 64
12.237 * * * * [points]: Setting MPFR precision to 320
12.240 * * * * [points]: Computing exacts on every 23 of 1492 points to ramp up precision
12.246 * * * * [points]: Setting MPFR precision to 64
12.253 * * * * [points]: Setting MPFR precision to 320
12.260 * * * * [points]: Computing exacts on every 11 of 1492 points to ramp up precision
12.265 * * * * [points]: Setting MPFR precision to 64
12.278 * * * * [points]: Setting MPFR precision to 320
12.291 * * * * [points]: Computing exacts on every 5 of 1492 points to ramp up precision
12.297 * * * * [points]: Setting MPFR precision to 64
12.323 * * * * [points]: Setting MPFR precision to 320
12.349 * * * * [points]: Computing exacts on every 2 of 1492 points to ramp up precision
12.357 * * * * [points]: Setting MPFR precision to 64
12.448 * * * * [points]: Setting MPFR precision to 320
12.502 * * * * [points]: Computing exacts for 1492 points
12.508 * * * * [points]: Setting MPFR precision to 64
13.146 * * * * [points]: Setting MPFR precision to 320
13.308 * * * * [points]: Filtering points with unrepresentable outputs
13.311 * * * * [points]: Sampling 666 additional inputs, on iter 3 have 7334 / 8000
13.315 * * * * [points]: Computing exacts on every 41 of 666 points to ramp up precision
13.321 * * * * [points]: Setting MPFR precision to 64
13.323 * * * * [points]: Setting MPFR precision to 320
13.324 * * * * [points]: Computing exacts on every 20 of 666 points to ramp up precision
13.330 * * * * [points]: Setting MPFR precision to 64
13.333 * * * * [points]: Setting MPFR precision to 320
13.337 * * * * [points]: Computing exacts on every 10 of 666 points to ramp up precision
13.342 * * * * [points]: Setting MPFR precision to 64
13.349 * * * * [points]: Setting MPFR precision to 320
13.389 * * * * [points]: Computing exacts on every 5 of 666 points to ramp up precision
13.397 * * * * [points]: Setting MPFR precision to 64
13.409 * * * * [points]: Setting MPFR precision to 320
13.421 * * * * [points]: Computing exacts on every 2 of 666 points to ramp up precision
13.426 * * * * [points]: Setting MPFR precision to 64
13.451 * * * * [points]: Setting MPFR precision to 320
13.475 * * * * [points]: Computing exacts for 666 points
13.480 * * * * [points]: Setting MPFR precision to 64
13.551 * * * * [points]: Setting MPFR precision to 320
13.644 * * * * [points]: Filtering points with unrepresentable outputs
13.645 * * * * [points]: Sampling 289 additional inputs, on iter 4 have 7711 / 8000
13.645 * * * * [points]: Computing exacts on every 18 of 289 points to ramp up precision
13.648 * * * * [points]: Setting MPFR precision to 64
13.650 * * * * [points]: Setting MPFR precision to 320
13.651 * * * * [points]: Computing exacts on every 9 of 289 points to ramp up precision
13.653 * * * * [points]: Setting MPFR precision to 64
13.655 * * * * [points]: Setting MPFR precision to 320
13.657 * * * * [points]: Computing exacts on every 4 of 289 points to ramp up precision
13.659 * * * * [points]: Setting MPFR precision to 64
13.663 * * * * [points]: Setting MPFR precision to 320
13.666 * * * * [points]: Computing exacts on every 2 of 289 points to ramp up precision
13.669 * * * * [points]: Setting MPFR precision to 64
13.675 * * * * [points]: Setting MPFR precision to 320
13.681 * * * * [points]: Computing exacts for 289 points
13.683 * * * * [points]: Setting MPFR precision to 64
13.701 * * * * [points]: Setting MPFR precision to 320
13.718 * * * * [points]: Filtering points with unrepresentable outputs
13.719 * * * * [points]: Sampling 137 additional inputs, on iter 5 have 7863 / 8000
13.719 * * * * [points]: Computing exacts on every 8 of 137 points to ramp up precision
13.722 * * * * [points]: Setting MPFR precision to 64
13.723 * * * * [points]: Setting MPFR precision to 320
13.724 * * * * [points]: Computing exacts on every 4 of 137 points to ramp up precision
13.727 * * * * [points]: Setting MPFR precision to 64
13.729 * * * * [points]: Setting MPFR precision to 320
13.731 * * * * [points]: Computing exacts on every 2 of 137 points to ramp up precision
13.733 * * * * [points]: Setting MPFR precision to 64
13.736 * * * * [points]: Setting MPFR precision to 320
13.763 * * * * [points]: Computing exacts for 137 points
13.768 * * * * [points]: Setting MPFR precision to 64
13.776 * * * * [points]: Setting MPFR precision to 320
13.784 * * * * [points]: Filtering points with unrepresentable outputs
13.784 * * * * [points]: Sampling 71 additional inputs, on iter 6 have 7929 / 8000
13.784 * * * * [points]: Computing exacts on every 4 of 71 points to ramp up precision
13.787 * * * * [points]: Setting MPFR precision to 64
13.788 * * * * [points]: Setting MPFR precision to 320
13.789 * * * * [points]: Computing exacts on every 2 of 71 points to ramp up precision
13.792 * * * * [points]: Setting MPFR precision to 64
13.793 * * * * [points]: Setting MPFR precision to 320
13.795 * * * * [points]: Computing exacts for 71 points
13.797 * * * * [points]: Setting MPFR precision to 64
13.802 * * * * [points]: Setting MPFR precision to 320
13.806 * * * * [points]: Filtering points with unrepresentable outputs
13.806 * * * * [points]: Sampling 32 additional inputs, on iter 7 have 7968 / 8000
13.806 * * * * [points]: Computing exacts on every 2 of 32 points to ramp up precision
13.809 * * * * [points]: Setting MPFR precision to 64
13.810 * * * * [points]: Setting MPFR precision to 320
13.810 * * * * [points]: Computing exacts for 32 points
13.813 * * * * [points]: Setting MPFR precision to 64
13.815 * * * * [points]: Setting MPFR precision to 320
13.817 * * * * [points]: Filtering points with unrepresentable outputs
13.817 * * * * [points]: Sampling 13 additional inputs, on iter 8 have 7987 / 8000
13.817 * * * * [points]: Computing exacts for 13 points
13.820 * * * * [points]: Setting MPFR precision to 64
13.820 * * * * [points]: Setting MPFR precision to 320
13.821 * * * * [points]: Filtering points with unrepresentable outputs
13.821 * * * * [points]: Sampling 8 additional inputs, on iter 9 have 7992 / 8000
13.821 * * * * [points]: Computing exacts for 8 points
13.824 * * * * [points]: Setting MPFR precision to 64
13.825 * * * * [points]: Setting MPFR precision to 320
13.825 * * * * [points]: Filtering points with unrepresentable outputs
13.825 * * * * [points]: Sampling 4 additional inputs, on iter 10 have 7997 / 8000
13.825 * * * * [points]: Computing exacts for 4 points
13.828 * * * * [points]: Setting MPFR precision to 64
13.828 * * * * [points]: Setting MPFR precision to 320
13.828 * * * * [points]: Filtering points with unrepresentable outputs
13.829 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7999 / 8000
13.829 * * * * [points]: Computing exacts for 4 points
13.831 * * * * [points]: Setting MPFR precision to 64
13.831 * * * * [points]: Setting MPFR precision to 320
13.832 * * * * [points]: Filtering points with unrepresentable outputs
13.832 * * * * [points]: Sampled 8001 points with exact outputs
19.595 * [regime-testing]: Baseline error score: 64.0
19.601 * [regime-testing]: Oracle error score: 64.0
19.622 * [regime-testing]: End program error score: 0.7174420086733515