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.006 * * * * [points]: Setting MPFR precision to 64
0.008 * * * * [points]: Setting MPFR precision to 320
0.009 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.012 * * * * [points]: Setting MPFR precision to 64
0.013 * * * * [points]: Setting MPFR precision to 320
0.015 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.018 * * * * [points]: Setting MPFR precision to 64
0.021 * * * * [points]: Setting MPFR precision to 320
0.024 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.027 * * * * [points]: Setting MPFR precision to 64
0.032 * * * * [points]: Setting MPFR precision to 320
0.041 * * * * [points]: Computing exacts for 256 points
0.046 * * * * [points]: Setting MPFR precision to 64
0.072 * * * * [points]: Setting MPFR precision to 320
0.090 * * * * [points]: Filtering points with unrepresentable outputs
0.090 * * * * [points]: Sampling 119 additional inputs, on iter 1 have 137 / 256
0.091 * * * * [points]: Computing exacts on every 7 of 119 points to ramp up precision
0.093 * * * * [points]: Setting MPFR precision to 64
0.094 * * * * [points]: Setting MPFR precision to 320
0.095 * * * * [points]: Computing exacts on every 3 of 119 points to ramp up precision
0.098 * * * * [points]: Setting MPFR precision to 64
0.100 * * * * [points]: Setting MPFR precision to 320
0.101 * * * * [points]: Computing exacts for 119 points
0.104 * * * * [points]: Setting MPFR precision to 64
0.111 * * * * [points]: Setting MPFR precision to 320
0.122 * * * * [points]: Filtering points with unrepresentable outputs
0.122 * * * * [points]: Sampling 55 additional inputs, on iter 2 have 201 / 256
0.123 * * * * [points]: Computing exacts on every 3 of 55 points to ramp up precision
0.128 * * * * [points]: Setting MPFR precision to 64
0.130 * * * * [points]: Setting MPFR precision to 320
0.131 * * * * [points]: Computing exacts for 55 points
0.166 * * * * [points]: Setting MPFR precision to 64
0.172 * * * * [points]: Setting MPFR precision to 320
0.181 * * * * [points]: Filtering points with unrepresentable outputs
0.181 * * * * [points]: Sampling 19 additional inputs, on iter 3 have 237 / 256
0.181 * * * * [points]: Computing exacts for 19 points
0.187 * * * * [points]: Setting MPFR precision to 64
0.189 * * * * [points]: Setting MPFR precision to 320
0.191 * * * * [points]: Filtering points with unrepresentable outputs
0.191 * * * * [points]: Sampling 10 additional inputs, on iter 4 have 246 / 256
0.191 * * * * [points]: Computing exacts for 10 points
0.196 * * * * [points]: Setting MPFR precision to 64
0.197 * * * * [points]: Setting MPFR precision to 320
0.198 * * * * [points]: Filtering points with unrepresentable outputs
0.198 * * * * [points]: Sampling 4 additional inputs, on iter 5 have 253 / 256
0.199 * * * * [points]: Computing exacts for 4 points
0.204 * * * * [points]: Setting MPFR precision to 64
0.204 * * * * [points]: Setting MPFR precision to 320
0.205 * * * * [points]: Filtering points with unrepresentable outputs
0.205 * * * * [points]: Sampled 256 points with exact outputs
0.205 * * * [progress]: [2/2] Setting up program.
0.228 * [progress]: [Phase 2 of 3] Improving.
0.228 * * * * [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.228 * [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.229 * * [simplify]: iters left: 5 (12 enodes)
0.234 * * [simplify]: iters left: 4 (29 enodes)
0.244 * * [simplify]: iters left: 3 (46 enodes)
0.254 * * [simplify]: iters left: 2 (97 enodes)
0.276 * * [simplify]: iters left: 1 (335 enodes)
0.453 * * [simplify]: Extracting #0: cost 1 inf + 0
0.453 * * [simplify]: Extracting #1: cost 3 inf + 0
0.453 * * [simplify]: Extracting #2: cost 6 inf + 0
0.453 * * [simplify]: Extracting #3: cost 84 inf + 2
0.454 * * [simplify]: Extracting #4: cost 416 inf + 3
0.458 * * [simplify]: Extracting #5: cost 425 inf + 60948
0.476 * * [simplify]: Extracting #6: cost 131 inf + 418696
0.509 * * [simplify]: Extracting #7: cost 6 inf + 631428
0.566 * * [simplify]: Extracting #8: cost 0 inf + 646441
0.620 * [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.620 * [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.647 * * [progress]: iteration 1 / 4
0.647 * * * [progress]: picking best candidate
0.675 * * * * [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.675 * * * [progress]: localizing error
0.853 * * * [progress]: generating rewritten candidates
0.853 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
0.867 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
0.881 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
0.893 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
0.904 * * * [progress]: generating series expansions
0.905 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
0.905 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
0.905 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
0.905 * * * * [progress]: [ 4 / 4 ] generating series at (2)
0.905 * * * [progress]: simplifying candidates
0.905 * * * * [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.905 * [simplify]: Simplifying (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))
0.905 * * [simplify]: iters left: 3 (8 enodes)
0.907 * * [simplify]: iters left: 2 (23 enodes)
0.912 * * [simplify]: iters left: 1 (69 enodes)
0.933 * * [simplify]: Extracting #0: cost 1 inf + 0
0.933 * * [simplify]: Extracting #1: cost 33 inf + 0
0.934 * * [simplify]: Extracting #2: cost 43 inf + 0
0.934 * * [simplify]: Extracting #3: cost 42 inf + 2
0.935 * * [simplify]: Extracting #4: cost 29 inf + 3307
0.937 * * [simplify]: Extracting #5: cost 12 inf + 10512
0.940 * * [simplify]: Extracting #6: cost 0 inf + 19027
0.943 * [simplify]: Simplified to (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))
0.943 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))
0.943 * * * * [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.944 * * * * [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.944 * [simplify]: Simplifying (+.p16 beta (real->posit16 2.0))
0.944 * * [simplify]: iters left: 2 (4 enodes)
0.946 * * [simplify]: iters left: 1 (8 enodes)
0.949 * * [simplify]: Extracting #0: cost 1 inf + 0
0.949 * * [simplify]: Extracting #1: cost 3 inf + 0
0.949 * * [simplify]: Extracting #2: cost 3 inf + 1
0.949 * * [simplify]: Extracting #3: cost 0 inf + 45
0.949 * [simplify]: Simplified to (+.p16 (real->posit16 2.0) beta)
0.949 * [simplify]: Simplified (2 1 1 2 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 (real->posit16 2.0) beta))) (real->posit16 1.0)) (real->posit16 2.0)))
0.949 * * * * [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.949 * * * * [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.949 * [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.950 * * [simplify]: iters left: 5 (12 enodes)
0.956 * * [simplify]: iters left: 4 (29 enodes)
0.961 * * [simplify]: iters left: 3 (46 enodes)
0.970 * * [simplify]: iters left: 2 (97 enodes)
0.993 * * [simplify]: iters left: 1 (335 enodes)
1.213 * * [simplify]: Extracting #0: cost 1 inf + 0
1.213 * * [simplify]: Extracting #1: cost 3 inf + 0
1.213 * * [simplify]: Extracting #2: cost 6 inf + 0
1.214 * * [simplify]: Extracting #3: cost 84 inf + 2
1.216 * * [simplify]: Extracting #4: cost 416 inf + 3
1.222 * * [simplify]: Extracting #5: cost 425 inf + 60948
1.255 * * [simplify]: Extracting #6: cost 131 inf + 418696
1.306 * * [simplify]: Extracting #7: cost 6 inf + 631428
1.365 * * [simplify]: Extracting #8: cost 0 inf + 646441
1.420 * [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.420 * [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.421 * * * * [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.421 * [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.421 * * [simplify]: iters left: 5 (12 enodes)
1.427 * * [simplify]: iters left: 4 (29 enodes)
1.438 * * [simplify]: iters left: 3 (46 enodes)
1.456 * * [simplify]: iters left: 2 (97 enodes)
1.502 * * [simplify]: iters left: 1 (335 enodes)
1.770 * * [simplify]: Extracting #0: cost 1 inf + 0
1.770 * * [simplify]: Extracting #1: cost 3 inf + 0
1.770 * * [simplify]: Extracting #2: cost 6 inf + 0
1.770 * * [simplify]: Extracting #3: cost 84 inf + 2
1.771 * * [simplify]: Extracting #4: cost 416 inf + 3
1.774 * * [simplify]: Extracting #5: cost 425 inf + 60948
1.791 * * [simplify]: Extracting #6: cost 131 inf + 418696
1.837 * * [simplify]: Extracting #7: cost 6 inf + 631428
1.891 * * [simplify]: Extracting #8: cost 0 inf + 646441
1.949 * [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.949 * [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.949 * * * * [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.949 * [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.949 * * [simplify]: iters left: 5 (12 enodes)
1.955 * * [simplify]: iters left: 4 (29 enodes)
1.965 * * [simplify]: iters left: 3 (46 enodes)
1.981 * * [simplify]: iters left: 2 (97 enodes)
2.025 * * [simplify]: iters left: 1 (335 enodes)
2.321 * * [simplify]: Extracting #0: cost 1 inf + 0
2.321 * * [simplify]: Extracting #1: cost 3 inf + 0
2.321 * * [simplify]: Extracting #2: cost 6 inf + 0
2.321 * * [simplify]: Extracting #3: cost 84 inf + 2
2.323 * * [simplify]: Extracting #4: cost 416 inf + 3
2.330 * * [simplify]: Extracting #5: cost 425 inf + 60948
2.363 * * [simplify]: Extracting #6: cost 131 inf + 418696
2.415 * * [simplify]: Extracting #7: cost 6 inf + 631428
2.475 * * [simplify]: Extracting #8: cost 0 inf + 646441
2.531 * [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.531 * [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.531 * * * * [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.531 * [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.531 * * [simplify]: iters left: 5 (12 enodes)
2.537 * * [simplify]: iters left: 4 (29 enodes)
2.546 * * [simplify]: iters left: 3 (46 enodes)
2.562 * * [simplify]: iters left: 2 (97 enodes)
2.606 * * [simplify]: iters left: 1 (335 enodes)
2.889 * * [simplify]: Extracting #0: cost 1 inf + 0
2.889 * * [simplify]: Extracting #1: cost 3 inf + 0
2.889 * * [simplify]: Extracting #2: cost 6 inf + 0
2.889 * * [simplify]: Extracting #3: cost 84 inf + 2
2.890 * * [simplify]: Extracting #4: cost 416 inf + 3
2.893 * * [simplify]: Extracting #5: cost 425 inf + 60948
2.909 * * [simplify]: Extracting #6: cost 131 inf + 418696
2.938 * * [simplify]: Extracting #7: cost 6 inf + 631428
2.966 * * [simplify]: Extracting #8: cost 0 inf + 646441
2.994 * [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.995 * [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.995 * * * [progress]: adding candidates to table
3.166 * * [progress]: iteration 2 / 4
3.167 * * * [progress]: picking best candidate
3.194 * * * * [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)))>
3.194 * * * [progress]: localizing error
3.346 * * * [progress]: generating rewritten candidates
3.346 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
3.351 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
3.358 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
3.362 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
3.378 * * * [progress]: generating series expansions
3.379 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
3.379 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
3.379 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
3.379 * * * * [progress]: [ 4 / 4 ] generating series at (2)
3.379 * * * [progress]: simplifying candidates
3.379 * * * * [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)))>
3.379 * [simplify]: Simplifying (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha))
3.379 * * [simplify]: iters left: 4 (8 enodes)
3.382 * * [simplify]: iters left: 3 (24 enodes)
3.387 * * [simplify]: iters left: 2 (72 enodes)
3.412 * * [simplify]: iters left: 1 (184 enodes)
3.494 * * [simplify]: Extracting #0: cost 1 inf + 0
3.494 * * [simplify]: Extracting #1: cost 36 inf + 0
3.495 * * [simplify]: Extracting #2: cost 118 inf + 0
3.496 * * [simplify]: Extracting #3: cost 115 inf + 365
3.497 * * [simplify]: Extracting #4: cost 89 inf + 12377
3.505 * * [simplify]: Extracting #5: cost 15 inf + 61993
3.515 * * [simplify]: Extracting #6: cost 0 inf + 72958
3.525 * [simplify]: Simplified to (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))
3.525 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))
3.526 * * * * [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)))>
3.526 * * * * [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)))>
3.526 * [simplify]: Simplifying (+.p16 alpha beta)
3.526 * * [simplify]: iters left: 1 (3 enodes)
3.527 * * [simplify]: Extracting #0: cost 1 inf + 0
3.527 * * [simplify]: Extracting #1: cost 3 inf + 0
3.527 * * [simplify]: Extracting #2: cost 1 inf + 2
3.528 * * [simplify]: Extracting #3: cost 0 inf + 44
3.528 * [simplify]: Simplified to (+.p16 beta alpha)
3.528 * [simplify]: Simplified (2 1 1 2 1) 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)))
3.528 * * * * [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)))>
3.528 * * * * [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)))>
3.528 * [simplify]: Simplifying (+.p16 beta (real->posit16 2.0))
3.528 * * [simplify]: iters left: 2 (4 enodes)
3.530 * * [simplify]: iters left: 1 (8 enodes)
3.533 * * [simplify]: Extracting #0: cost 1 inf + 0
3.533 * * [simplify]: Extracting #1: cost 3 inf + 0
3.533 * * [simplify]: Extracting #2: cost 3 inf + 1
3.533 * * [simplify]: Extracting #3: cost 0 inf + 45
3.533 * [simplify]: Simplified to (+.p16 (real->posit16 2.0) beta)
3.533 * [simplify]: Simplified (2 1 1 2 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 (real->posit16 2.0) beta))) (real->posit16 1.0)) (real->posit16 2.0)))
3.534 * * * * [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)))>
3.534 * [simplify]: Simplifying (+.p16 beta (real->posit16 2.0))
3.534 * * [simplify]: iters left: 2 (4 enodes)
3.536 * * [simplify]: iters left: 1 (8 enodes)
3.538 * * [simplify]: Extracting #0: cost 1 inf + 0
3.539 * * [simplify]: Extracting #1: cost 3 inf + 0
3.539 * * [simplify]: Extracting #2: cost 3 inf + 1
3.539 * * [simplify]: Extracting #3: cost 0 inf + 45
3.539 * [simplify]: Simplified to (+.p16 (real->posit16 2.0) beta)
3.539 * [simplify]: Simplified (2 1 1 2 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 (real->posit16 2.0) beta))) (real->posit16 1.0)) (real->posit16 2.0)))
3.539 * * * * [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)))>
3.539 * [simplify]: Simplifying (+.p16 beta (real->posit16 2.0))
3.539 * * [simplify]: iters left: 2 (4 enodes)
3.541 * * [simplify]: iters left: 1 (8 enodes)
3.544 * * [simplify]: Extracting #0: cost 1 inf + 0
3.544 * * [simplify]: Extracting #1: cost 3 inf + 0
3.544 * * [simplify]: Extracting #2: cost 3 inf + 1
3.544 * * [simplify]: Extracting #3: cost 0 inf + 45
3.544 * [simplify]: Simplified to (+.p16 (real->posit16 2.0) beta)
3.544 * [simplify]: Simplified (2 1 1 2 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 (real->posit16 2.0) beta))) (real->posit16 1.0)) (real->posit16 2.0)))
3.544 * * * * [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)))>
3.545 * [simplify]: Simplifying (+.p16 beta (real->posit16 2.0))
3.545 * * [simplify]: iters left: 2 (4 enodes)
3.547 * * [simplify]: iters left: 1 (8 enodes)
3.549 * * [simplify]: Extracting #0: cost 1 inf + 0
3.550 * * [simplify]: Extracting #1: cost 3 inf + 0
3.550 * * [simplify]: Extracting #2: cost 3 inf + 1
3.550 * * [simplify]: Extracting #3: cost 0 inf + 45
3.550 * [simplify]: Simplified to (+.p16 (real->posit16 2.0) beta)
3.550 * [simplify]: Simplified (2 1 1 2 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 (real->posit16 2.0) beta))) (real->posit16 1.0)) (real->posit16 2.0)))
3.550 * * * [progress]: adding candidates to table
3.815 * * [progress]: iteration 3 / 4
3.815 * * * [progress]: picking best candidate
3.835 * * * * [pick]: Picked  #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))>
3.835 * * * [progress]: localizing error
4.122 * * * [progress]: generating rewritten candidates
4.123 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
4.127 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
4.141 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
4.147 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2)
4.167 * * * [progress]: generating series expansions
4.167 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
4.167 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
4.167 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
4.167 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2)
4.167 * * * [progress]: simplifying candidates
4.167 * * * * [progress]: [ 1 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (+.p16 beta alpha)) (+.p16 (+.p16 beta alpha) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
4.167 * [simplify]: Simplifying (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (+.p16 beta alpha))
4.167 * * [simplify]: iters left: 3 (7 enodes)
4.169 * * [simplify]: iters left: 2 (21 enodes)
4.173 * * [simplify]: iters left: 1 (46 enodes)
4.182 * * [simplify]: Extracting #0: cost 1 inf + 0
4.182 * * [simplify]: Extracting #1: cost 17 inf + 0
4.183 * * [simplify]: Extracting #2: cost 51 inf + 688
4.183 * * [simplify]: Extracting #3: cost 44 inf + 11523
4.184 * * [simplify]: Extracting #4: cost 16 inf + 42404
4.188 * * [simplify]: Extracting #5: cost 0 inf + 65834
4.192 * * [simplify]: Extracting #6: cost 0 inf + 65554
4.195 * [simplify]: Simplified to (-.p16 beta alpha)
4.196 * [simplify]: Simplified (2 1 1 1) 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)))
4.196 * * * * [progress]: [ 2 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (+.p16 beta alpha) (/.p16 (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0))) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
4.196 * [simplify]: Simplifying (/.p16 (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0))) (-.p16 beta alpha))
4.196 * * [simplify]: iters left: 4 (9 enodes)
4.202 * * [simplify]: iters left: 3 (32 enodes)
4.213 * * [simplify]: iters left: 2 (82 enodes)
4.233 * * [simplify]: iters left: 1 (264 enodes)
4.368 * * [simplify]: Extracting #0: cost 1 inf + 0
4.368 * * [simplify]: Extracting #1: cost 45 inf + 0
4.369 * * [simplify]: Extracting #2: cost 183 inf + 0
4.371 * * [simplify]: Extracting #3: cost 216 inf + 4303
4.377 * * [simplify]: Extracting #4: cost 129 inf + 88748
4.395 * * [simplify]: Extracting #5: cost 3 inf + 212282
4.415 * * [simplify]: Extracting #6: cost 0 inf + 215690
4.436 * [simplify]: Simplified to (/.p16 (*.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (-.p16 beta alpha))
4.436 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (+.p16 beta alpha) (/.p16 (*.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
4.436 * * * * [progress]: [ 3 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 (*.p16 (*.p16 beta beta) (*.p16 beta beta)) (*.p16 (*.p16 alpha alpha) (*.p16 alpha alpha))) (*.p16 (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0))) (+.p16 (*.p16 beta beta) (*.p16 alpha alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))>
4.436 * [simplify]: Simplifying (*.p16 (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0))) (+.p16 (*.p16 beta beta) (*.p16 alpha alpha)))
4.436 * * [simplify]: iters left: 4 (11 enodes)
4.439 * * [simplify]: iters left: 3 (36 enodes)
4.449 * * [simplify]: iters left: 2 (138 enodes)
4.522 * * [simplify]: Extracting #0: cost 1 inf + 0
4.522 * * [simplify]: Extracting #1: cost 43 inf + 0
4.522 * * [simplify]: Extracting #2: cost 165 inf + 0
4.523 * * [simplify]: Extracting #3: cost 200 inf + 4736
4.526 * * [simplify]: Extracting #4: cost 109 inf + 78434
4.535 * * [simplify]: Extracting #5: cost 10 inf + 173148
4.547 * * [simplify]: Extracting #6: cost 0 inf + 183618
4.555 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (+.p16 (*.p16 beta beta) (*.p16 alpha alpha)))
4.555 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 (*.p16 (*.p16 beta beta) (*.p16 beta beta)) (*.p16 (*.p16 alpha alpha) (*.p16 alpha alpha))) (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (+.p16 (*.p16 beta beta) (*.p16 alpha alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))
4.556 * * * * [progress]: [ 4 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (+.p16 beta alpha) (+.p16 beta alpha)) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))>
4.556 * [simplify]: Simplifying (/.p16 (+.p16 beta alpha) (+.p16 beta alpha))
4.556 * * [simplify]: iters left: 2 (4 enodes)
4.557 * * [simplify]: iters left: 1 (11 enodes)
4.559 * * [simplify]: Extracting #0: cost 1 inf + 0
4.559 * * [simplify]: Extracting #1: cost 3 inf + 0
4.559 * * [simplify]: Extracting #2: cost 4 inf + 1
4.559 * * [simplify]: Extracting #3: cost 1 inf + 4
4.559 * * [simplify]: Extracting #4: cost 0 inf + 46
4.559 * [simplify]: Simplified to (real->posit16 1.0)
4.559 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta) (/.p16 (+.p16 (*.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))
4.559 * [simplify]: Simplifying (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))
4.559 * * [simplify]: iters left: 3 (8 enodes)
4.561 * * [simplify]: iters left: 2 (23 enodes)
4.565 * * [simplify]: iters left: 1 (40 enodes)
4.572 * * [simplify]: Extracting #0: cost 1 inf + 0
4.572 * * [simplify]: Extracting #1: cost 10 inf + 0
4.572 * * [simplify]: Extracting #2: cost 32 inf + 0
4.572 * * [simplify]: Extracting #3: cost 33 inf + 1045
4.573 * * [simplify]: Extracting #4: cost 25 inf + 6988
4.573 * * [simplify]: Extracting #5: cost 2 inf + 20756
4.574 * * [simplify]: Extracting #6: cost 0 inf + 22961
4.575 * [simplify]: Simplified to (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))
4.575 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta) (/.p16 (+.p16 (*.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))
4.575 * * * * [progress]: [ 5 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0))))) (real->posit16 2.0)))>
4.575 * * * * [progress]: [ 6 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (+.p16 beta alpha) (-.p16 beta alpha)) (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))>
4.575 * [simplify]: Simplifying (+.p16 beta alpha)
4.575 * * [simplify]: iters left: 1 (3 enodes)
4.576 * * [simplify]: Extracting #0: cost 1 inf + 0
4.576 * * [simplify]: Extracting #1: cost 3 inf + 0
4.576 * * [simplify]: Extracting #2: cost 1 inf + 2
4.576 * * [simplify]: Extracting #3: cost 0 inf + 44
4.576 * [simplify]: Simplified to (+.p16 alpha beta)
4.576 * [simplify]: Simplified (2 1 1 1 1) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))
4.576 * [simplify]: Simplifying (-.p16 beta alpha)
4.576 * * [simplify]: iters left: 1 (3 enodes)
4.577 * * [simplify]: Extracting #0: cost 1 inf + 0
4.577 * * [simplify]: Extracting #1: cost 6 inf + 0
4.577 * * [simplify]: Extracting #2: cost 5 inf + 44
4.577 * * [simplify]: Extracting #3: cost 0 inf + 1571
4.577 * [simplify]: Simplified to (-.p16 beta alpha)
4.577 * [simplify]: Simplified (2 1 1 1 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (+.p16 beta alpha) (-.p16 beta alpha)) (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))
4.577 * * * * [progress]: [ 7 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (+.p16 (*.p16 beta beta) (neg.p16 (*.p16 alpha alpha))) (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))>
4.578 * [simplify]: Simplifying (neg.p16 (*.p16 alpha alpha))
4.578 * * [simplify]: iters left: 2 (3 enodes)
4.578 * * [simplify]: iters left: 1 (5 enodes)
4.579 * * [simplify]: Extracting #0: cost 1 inf + 0
4.579 * * [simplify]: Extracting #1: cost 2 inf + 0
4.579 * * [simplify]: Extracting #2: cost 3 inf + 0
4.579 * * [simplify]: Extracting #3: cost 2 inf + 1
4.579 * * [simplify]: Extracting #4: cost 0 inf + 723
4.579 * [simplify]: Simplified to (neg.p16 (*.p16 alpha alpha))
4.579 * [simplify]: Simplified (2 1 1 1 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (+.p16 (*.p16 beta beta) (neg.p16 (*.p16 alpha alpha))) (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))
4.579 * * * * [progress]: [ 8 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 beta beta) (*.p16 beta beta)) (*.p16 (*.p16 alpha alpha) (*.p16 alpha alpha))) (+.p16 (*.p16 beta beta) (*.p16 alpha alpha))) (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))>
4.579 * [simplify]: Simplifying (-.p16 (*.p16 (*.p16 beta beta) (*.p16 beta beta)) (*.p16 (*.p16 alpha alpha) (*.p16 alpha alpha)))
4.579 * * [simplify]: iters left: 3 (7 enodes)
4.581 * * [simplify]: iters left: 2 (29 enodes)
4.586 * * [simplify]: iters left: 1 (69 enodes)
4.616 * * [simplify]: Extracting #0: cost 1 inf + 0
4.616 * * [simplify]: Extracting #1: cost 25 inf + 0
4.617 * * [simplify]: Extracting #2: cost 52 inf + 0
4.617 * * [simplify]: Extracting #3: cost 77 inf + 2089
4.620 * * [simplify]: Extracting #4: cost 41 inf + 48461
4.626 * * [simplify]: Extracting #5: cost 3 inf + 104118
4.633 * * [simplify]: Extracting #6: cost 0 inf + 111242
4.640 * [simplify]: Simplified to (-.p16 (*.p16 (*.p16 beta beta) (*.p16 beta beta)) (*.p16 (*.p16 alpha alpha) (*.p16 alpha alpha)))
4.640 * [simplify]: Simplified (2 1 1 1 1) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 beta beta) (*.p16 beta beta)) (*.p16 (*.p16 alpha alpha) (*.p16 alpha alpha))) (+.p16 (*.p16 beta beta) (*.p16 alpha alpha))) (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))
4.642 * [simplify]: Simplifying (+.p16 (*.p16 beta beta) (*.p16 alpha alpha))
4.642 * * [simplify]: iters left: 2 (5 enodes)
4.644 * * [simplify]: iters left: 1 (10 enodes)
4.647 * * [simplify]: Extracting #0: cost 1 inf + 0
4.647 * * [simplify]: Extracting #1: cost 3 inf + 0
4.647 * * [simplify]: Extracting #2: cost 5 inf + 0
4.647 * * [simplify]: Extracting #3: cost 2 inf + 323
4.647 * * [simplify]: Extracting #4: cost 0 inf + 1326
4.647 * [simplify]: Simplified to (+.p16 (*.p16 alpha alpha) (*.p16 beta beta))
4.647 * [simplify]: Simplified (2 1 1 1 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 beta beta) (*.p16 beta beta)) (*.p16 (*.p16 alpha alpha) (*.p16 alpha alpha))) (+.p16 (*.p16 alpha alpha) (*.p16 beta beta))) (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))
4.648 * * * * [progress]: [ 9 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (+.p16 (*.p16 (+.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 beta alpha) (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))>
4.648 * [simplify]: Simplifying (*.p16 (+.p16 beta alpha) (+.p16 beta alpha))
4.648 * * [simplify]: iters left: 2 (4 enodes)
4.649 * * [simplify]: iters left: 1 (15 enodes)
4.652 * * [simplify]: Extracting #0: cost 1 inf + 0
4.652 * * [simplify]: Extracting #1: cost 4 inf + 0
4.652 * * [simplify]: Extracting #2: cost 10 inf + 0
4.652 * * [simplify]: Extracting #3: cost 7 inf + 323
4.652 * * [simplify]: Extracting #4: cost 0 inf + 2416
4.652 * [simplify]: Simplified to (*.p16 (+.p16 alpha beta) (+.p16 alpha beta))
4.652 * [simplify]: Simplified (2 1 1 2 1) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (+.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (*.p16 (+.p16 beta alpha) (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))
4.652 * [simplify]: Simplifying (*.p16 (+.p16 beta alpha) (real->posit16 2.0))
4.652 * * [simplify]: iters left: 2 (6 enodes)
4.654 * * [simplify]: iters left: 1 (13 enodes)
4.656 * * [simplify]: Extracting #0: cost 1 inf + 0
4.656 * * [simplify]: Extracting #1: cost 7 inf + 0
4.656 * * [simplify]: Extracting #2: cost 10 inf + 0
4.656 * * [simplify]: Extracting #3: cost 7 inf + 3
4.656 * * [simplify]: Extracting #4: cost 1 inf + 1375
4.656 * * [simplify]: Extracting #5: cost 0 inf + 1697
4.657 * [simplify]: Simplified to (*.p16 (+.p16 alpha beta) (real->posit16 2.0))
4.657 * [simplify]: Simplified (2 1 1 2 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (+.p16 (*.p16 (+.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 alpha beta) (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))
4.657 * * * * [progress]: [ 10 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (+.p16 (*.p16 (+.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (real->posit16 2.0) (+.p16 beta alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))>
4.657 * [simplify]: Simplifying (*.p16 (+.p16 beta alpha) (+.p16 beta alpha))
4.657 * * [simplify]: iters left: 2 (4 enodes)
4.658 * * [simplify]: iters left: 1 (15 enodes)
4.660 * * [simplify]: Extracting #0: cost 1 inf + 0
4.660 * * [simplify]: Extracting #1: cost 4 inf + 0
4.660 * * [simplify]: Extracting #2: cost 10 inf + 0
4.661 * * [simplify]: Extracting #3: cost 7 inf + 323
4.661 * * [simplify]: Extracting #4: cost 0 inf + 2416
4.661 * [simplify]: Simplified to (*.p16 (+.p16 alpha beta) (+.p16 alpha beta))
4.661 * [simplify]: Simplified (2 1 1 2 1) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (+.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (*.p16 (real->posit16 2.0) (+.p16 beta alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))
4.661 * [simplify]: Simplifying (*.p16 (real->posit16 2.0) (+.p16 beta alpha))
4.661 * * [simplify]: iters left: 2 (6 enodes)
4.663 * * [simplify]: iters left: 1 (19 enodes)
4.666 * * [simplify]: Extracting #0: cost 1 inf + 0
4.666 * * [simplify]: Extracting #1: cost 5 inf + 0
4.666 * * [simplify]: Extracting #2: cost 8 inf + 0
4.666 * * [simplify]: Extracting #3: cost 4 inf + 45
4.666 * * [simplify]: Extracting #4: cost 0 inf + 1053
4.666 * [simplify]: Simplified to (*.p16 (+.p16 beta alpha) (real->posit16 2.0))
4.666 * [simplify]: Simplified (2 1 1 2 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (+.p16 (*.p16 (+.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 beta alpha) (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))
4.667 * * * * [progress]: [ 11 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (*.p16 (+.p16 (+.p16 beta alpha) (real->posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
4.667 * * * * [progress]: [ 12 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))>
4.667 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0))
4.667 * * [simplify]: iters left: 6 (15 enodes)
4.671 * * [simplify]: iters left: 5 (43 enodes)
4.680 * * [simplify]: iters left: 4 (113 enodes)
4.706 * * [simplify]: iters left: 3 (362 enodes)
5.088 * * [simplify]: Extracting #0: cost 1 inf + 0
5.088 * * [simplify]: Extracting #1: cost 3 inf + 0
5.088 * * [simplify]: Extracting #2: cost 6 inf + 0
5.089 * * [simplify]: Extracting #3: cost 106 inf + 2
5.091 * * [simplify]: Extracting #4: cost 471 inf + 4
5.098 * * [simplify]: Extracting #5: cost 522 inf + 76957
5.139 * * [simplify]: Extracting #6: cost 100 inf + 636000
5.177 * * [simplify]: Extracting #7: cost 2 inf + 792539
5.220 * * [simplify]: Extracting #8: cost 0 inf + 797424
5.258 * [simplify]: Simplified to (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (real->posit16 2.0) (+.p16 alpha beta))) (real->posit16 1.0)) (real->posit16 2.0))
5.258 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (real->posit16 2.0) (+.p16 alpha beta))) (real->posit16 1.0)) (real->posit16 2.0)))
5.258 * * * * [progress]: [ 13 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))>
5.258 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0))
5.258 * * [simplify]: iters left: 6 (15 enodes)
5.262 * * [simplify]: iters left: 5 (43 enodes)
5.277 * * [simplify]: iters left: 4 (113 enodes)
5.310 * * [simplify]: iters left: 3 (362 enodes)
5.621 * * [simplify]: Extracting #0: cost 1 inf + 0
5.621 * * [simplify]: Extracting #1: cost 3 inf + 0
5.621 * * [simplify]: Extracting #2: cost 6 inf + 0
5.621 * * [simplify]: Extracting #3: cost 106 inf + 2
5.622 * * [simplify]: Extracting #4: cost 471 inf + 4
5.626 * * [simplify]: Extracting #5: cost 522 inf + 76957
5.647 * * [simplify]: Extracting #6: cost 100 inf + 636000
5.708 * * [simplify]: Extracting #7: cost 2 inf + 792539
5.778 * * [simplify]: Extracting #8: cost 0 inf + 797424
5.836 * [simplify]: Simplified to (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (real->posit16 2.0) (+.p16 alpha beta))) (real->posit16 1.0)) (real->posit16 2.0))
5.836 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (real->posit16 2.0) (+.p16 alpha beta))) (real->posit16 1.0)) (real->posit16 2.0)))
5.836 * * * * [progress]: [ 14 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))>
5.836 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0))
5.836 * * [simplify]: iters left: 6 (15 enodes)
5.840 * * [simplify]: iters left: 5 (43 enodes)
5.849 * * [simplify]: iters left: 4 (113 enodes)
5.875 * * [simplify]: iters left: 3 (362 enodes)
6.263 * * [simplify]: Extracting #0: cost 1 inf + 0
6.263 * * [simplify]: Extracting #1: cost 3 inf + 0
6.263 * * [simplify]: Extracting #2: cost 6 inf + 0
6.264 * * [simplify]: Extracting #3: cost 106 inf + 2
6.266 * * [simplify]: Extracting #4: cost 471 inf + 4
6.697 * * [simplify]: Extracting #5: cost 522 inf + 76957
6.731 * * [simplify]: Extracting #6: cost 100 inf + 636000
6.772 * * [simplify]: Extracting #7: cost 2 inf + 792539
6.835 * * [simplify]: Extracting #8: cost 0 inf + 797424
6.893 * [simplify]: Simplified to (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (real->posit16 2.0) (+.p16 alpha beta))) (real->posit16 1.0)) (real->posit16 2.0))
6.893 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (real->posit16 2.0) (+.p16 alpha beta))) (real->posit16 1.0)) (real->posit16 2.0)))
6.894 * * * * [progress]: [ 15 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))>
6.894 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0))
6.894 * * [simplify]: iters left: 6 (15 enodes)
6.901 * * [simplify]: iters left: 5 (43 enodes)
6.916 * * [simplify]: iters left: 4 (113 enodes)
6.962 * * [simplify]: iters left: 3 (362 enodes)
7.390 * * [simplify]: Extracting #0: cost 1 inf + 0
7.390 * * [simplify]: Extracting #1: cost 3 inf + 0
7.390 * * [simplify]: Extracting #2: cost 6 inf + 0
7.390 * * [simplify]: Extracting #3: cost 106 inf + 2
7.391 * * [simplify]: Extracting #4: cost 471 inf + 4
7.398 * * [simplify]: Extracting #5: cost 522 inf + 76957
7.445 * * [simplify]: Extracting #6: cost 100 inf + 636000
7.511 * * [simplify]: Extracting #7: cost 2 inf + 792539
7.573 * * [simplify]: Extracting #8: cost 0 inf + 797424
7.618 * [simplify]: Simplified to (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (real->posit16 2.0) (+.p16 alpha beta))) (real->posit16 1.0)) (real->posit16 2.0))
7.618 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (real->posit16 2.0) (+.p16 alpha beta))) (real->posit16 1.0)) (real->posit16 2.0)))
7.618 * * * [progress]: adding candidates to table
8.275 * * [progress]: iteration 4 / 4
8.275 * * * [progress]: picking best candidate
8.333 * * * * [pick]: Picked  #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (+.p16 beta alpha) (-.p16 beta alpha)) (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))>
8.333 * * * [progress]: localizing error
8.589 * * * [progress]: generating rewritten candidates
8.589 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
8.593 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
8.599 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
8.608 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
8.617 * * * [progress]: generating series expansions
8.617 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
8.617 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
8.617 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
8.617 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
8.617 * * * [progress]: simplifying candidates
8.617 * * * * [progress]: [ 1 / 16 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 beta alpha) (-.p16 beta alpha)) (+.p16 beta alpha)) (+.p16 (+.p16 beta alpha) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
8.617 * [simplify]: Simplifying (/.p16 (*.p16 (+.p16 beta alpha) (-.p16 beta alpha)) (+.p16 beta alpha))
8.618 * * [simplify]: iters left: 3 (6 enodes)
8.620 * * [simplify]: iters left: 2 (20 enodes)
8.627 * * [simplify]: iters left: 1 (54 enodes)
8.658 * * [simplify]: Extracting #0: cost 1 inf + 0
8.658 * * [simplify]: Extracting #1: cost 18 inf + 0
8.659 * * [simplify]: Extracting #2: cost 57 inf + 2
8.660 * * [simplify]: Extracting #3: cost 43 inf + 16618
8.664 * * [simplify]: Extracting #4: cost 2 inf + 49051
8.672 * * [simplify]: Extracting #5: cost 0 inf + 49255
8.676 * [simplify]: Simplified to (-.p16 beta alpha)
8.676 * [simplify]: Simplified (2 1 1 1) 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)))
8.676 * * * * [progress]: [ 2 / 16 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (+.p16 beta alpha) (/.p16 (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0))) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
8.677 * [simplify]: Simplifying (/.p16 (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0))) (-.p16 beta alpha))
8.677 * * [simplify]: iters left: 4 (9 enodes)
8.682 * * [simplify]: iters left: 3 (32 enodes)
8.694 * * [simplify]: iters left: 2 (82 enodes)
8.731 * * [simplify]: iters left: 1 (264 enodes)
8.853 * * [simplify]: Extracting #0: cost 1 inf + 0
8.854 * * [simplify]: Extracting #1: cost 45 inf + 0
8.855 * * [simplify]: Extracting #2: cost 183 inf + 0
8.857 * * [simplify]: Extracting #3: cost 216 inf + 4303
8.864 * * [simplify]: Extracting #4: cost 129 inf + 88748
8.882 * * [simplify]: Extracting #5: cost 3 inf + 212282
8.902 * * [simplify]: Extracting #6: cost 0 inf + 215690
8.912 * [simplify]: Simplified to (/.p16 (*.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (-.p16 beta alpha))
8.912 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (+.p16 beta alpha) (/.p16 (*.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
8.912 * * * * [progress]: [ 3 / 16 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (+.p16 beta alpha) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))) (*.p16 (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
8.912 * [simplify]: Simplifying (*.p16 (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0))) (+.p16 beta alpha))
8.912 * * [simplify]: iters left: 4 (8 enodes)
8.915 * * [simplify]: iters left: 3 (30 enodes)
8.922 * * [simplify]: iters left: 2 (107 enodes)
8.976 * * [simplify]: Extracting #0: cost 1 inf + 0
8.976 * * [simplify]: Extracting #1: cost 30 inf + 0
8.977 * * [simplify]: Extracting #2: cost 99 inf + 0
8.978 * * [simplify]: Extracting #3: cost 111 inf + 406
8.980 * * [simplify]: Extracting #4: cost 82 inf + 16310
8.986 * * [simplify]: Extracting #5: cost 22 inf + 57319
8.995 * * [simplify]: Extracting #6: cost 0 inf + 70702
9.004 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (+.p16 alpha beta))
9.004 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (+.p16 beta alpha) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))) (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (+.p16 alpha beta))) (real->posit16 1.0)) (real->posit16 2.0)))
9.005 * * * * [progress]: [ 4 / 16 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (+.p16 beta alpha) (+.p16 beta alpha)) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))>
9.005 * [simplify]: Simplifying (/.p16 (+.p16 beta alpha) (+.p16 beta alpha))
9.005 * * [simplify]: iters left: 2 (4 enodes)
9.007 * * [simplify]: iters left: 1 (11 enodes)
9.011 * * [simplify]: Extracting #0: cost 1 inf + 0
9.011 * * [simplify]: Extracting #1: cost 3 inf + 0
9.011 * * [simplify]: Extracting #2: cost 4 inf + 1
9.011 * * [simplify]: Extracting #3: cost 1 inf + 4
9.011 * * [simplify]: Extracting #4: cost 0 inf + 46
9.011 * [simplify]: Simplified to (real->posit16 1.0)
9.011 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta) (/.p16 (+.p16 (*.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))
9.012 * [simplify]: Simplifying (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))
9.012 * * [simplify]: iters left: 3 (8 enodes)
9.016 * * [simplify]: iters left: 2 (23 enodes)
9.023 * * [simplify]: iters left: 1 (40 enodes)
9.037 * * [simplify]: Extracting #0: cost 1 inf + 0
9.037 * * [simplify]: Extracting #1: cost 10 inf + 0
9.037 * * [simplify]: Extracting #2: cost 32 inf + 0
9.037 * * [simplify]: Extracting #3: cost 33 inf + 1045
9.037 * * [simplify]: Extracting #4: cost 25 inf + 6988
9.039 * * [simplify]: Extracting #5: cost 2 inf + 20756
9.040 * * [simplify]: Extracting #6: cost 0 inf + 22961
9.042 * [simplify]: Simplified to (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))
9.042 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta) (/.p16 (+.p16 (*.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))
9.042 * * * * [progress]: [ 5 / 16 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (*.p16 (+.p16 beta alpha) (-.p16 beta alpha)) (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0))))) (real->posit16 2.0)))>
9.043 * * * * [progress]: [ 6 / 16 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (+.p16 beta alpha) (-.p16 beta alpha)) (+.p16 (*.p16 (+.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 beta alpha) (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))>
9.043 * [simplify]: Simplifying (*.p16 (+.p16 beta alpha) (+.p16 beta alpha))
9.043 * * [simplify]: iters left: 2 (4 enodes)
9.045 * * [simplify]: iters left: 1 (15 enodes)
9.050 * * [simplify]: Extracting #0: cost 1 inf + 0
9.050 * * [simplify]: Extracting #1: cost 4 inf + 0
9.050 * * [simplify]: Extracting #2: cost 10 inf + 0
9.050 * * [simplify]: Extracting #3: cost 7 inf + 323
9.051 * * [simplify]: Extracting #4: cost 0 inf + 2416
9.051 * [simplify]: Simplified to (*.p16 (+.p16 alpha beta) (+.p16 alpha beta))
9.051 * [simplify]: Simplified (2 1 1 2 1) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (+.p16 beta alpha) (-.p16 beta alpha)) (+.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (*.p16 (+.p16 beta alpha) (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))
9.051 * [simplify]: Simplifying (*.p16 (+.p16 beta alpha) (real->posit16 2.0))
9.051 * * [simplify]: iters left: 2 (6 enodes)
9.054 * * [simplify]: iters left: 1 (13 enodes)
9.059 * * [simplify]: Extracting #0: cost 1 inf + 0
9.059 * * [simplify]: Extracting #1: cost 7 inf + 0
9.059 * * [simplify]: Extracting #2: cost 10 inf + 0
9.059 * * [simplify]: Extracting #3: cost 7 inf + 3
9.059 * * [simplify]: Extracting #4: cost 1 inf + 1375
9.059 * * [simplify]: Extracting #5: cost 0 inf + 1697
9.059 * [simplify]: Simplified to (*.p16 (+.p16 alpha beta) (real->posit16 2.0))
9.060 * [simplify]: Simplified (2 1 1 2 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (+.p16 beta alpha) (-.p16 beta alpha)) (+.p16 (*.p16 (+.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 alpha beta) (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))
9.060 * * * * [progress]: [ 7 / 16 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (+.p16 beta alpha) (-.p16 beta alpha)) (+.p16 (*.p16 (+.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (real->posit16 2.0) (+.p16 beta alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))>
9.060 * [simplify]: Simplifying (*.p16 (+.p16 beta alpha) (+.p16 beta alpha))
9.060 * * [simplify]: iters left: 2 (4 enodes)
9.062 * * [simplify]: iters left: 1 (15 enodes)
9.067 * * [simplify]: Extracting #0: cost 1 inf + 0
9.067 * * [simplify]: Extracting #1: cost 4 inf + 0
9.067 * * [simplify]: Extracting #2: cost 10 inf + 0
9.067 * * [simplify]: Extracting #3: cost 7 inf + 323
9.068 * * [simplify]: Extracting #4: cost 0 inf + 2416
9.068 * [simplify]: Simplified to (*.p16 (+.p16 alpha beta) (+.p16 alpha beta))
9.068 * [simplify]: Simplified (2 1 1 2 1) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (+.p16 beta alpha) (-.p16 beta alpha)) (+.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (*.p16 (real->posit16 2.0) (+.p16 beta alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))
9.069 * [simplify]: Simplifying (*.p16 (real->posit16 2.0) (+.p16 beta alpha))
9.069 * * [simplify]: iters left: 2 (6 enodes)
9.072 * * [simplify]: iters left: 1 (19 enodes)
9.079 * * [simplify]: Extracting #0: cost 1 inf + 0
9.079 * * [simplify]: Extracting #1: cost 5 inf + 0
9.079 * * [simplify]: Extracting #2: cost 8 inf + 0
9.079 * * [simplify]: Extracting #3: cost 4 inf + 45
9.079 * * [simplify]: Extracting #4: cost 0 inf + 1053
9.079 * [simplify]: Simplified to (*.p16 (+.p16 beta alpha) (real->posit16 2.0))
9.079 * [simplify]: Simplified (2 1 1 2 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (+.p16 beta alpha) (-.p16 beta alpha)) (+.p16 (*.p16 (+.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 beta alpha) (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))
9.079 * * * * [progress]: [ 8 / 16 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (+.p16 beta alpha) (-.p16 beta alpha)) (*.p16 (+.p16 (+.p16 beta alpha) (real->posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
9.080 * * * * [progress]: [ 9 / 16 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (+.p16 (*.p16 (+.p16 beta alpha) beta) (*.p16 (+.p16 beta alpha) (neg.p16 alpha))) (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))>
9.080 * [simplify]: Simplifying (*.p16 (+.p16 beta alpha) beta)
9.080 * * [simplify]: iters left: 2 (4 enodes)
9.082 * * [simplify]: iters left: 1 (10 enodes)
9.085 * * [simplify]: Extracting #0: cost 1 inf + 0
9.085 * * [simplify]: Extracting #1: cost 6 inf + 0
9.085 * * [simplify]: Extracting #2: cost 6 inf + 1
9.085 * * [simplify]: Extracting #3: cost 0 inf + 1371
9.085 * [simplify]: Simplified to (*.p16 beta (+.p16 alpha beta))
9.085 * [simplify]: Simplified (2 1 1 1 1) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (+.p16 (*.p16 beta (+.p16 alpha beta)) (*.p16 (+.p16 beta alpha) (neg.p16 alpha))) (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))
9.086 * [simplify]: Simplifying (*.p16 (+.p16 beta alpha) (neg.p16 alpha))
9.086 * * [simplify]: iters left: 2 (5 enodes)
9.088 * * [simplify]: iters left: 1 (11 enodes)
9.091 * * [simplify]: Extracting #0: cost 1 inf + 0
9.091 * * [simplify]: Extracting #1: cost 7 inf + 0
9.091 * * [simplify]: Extracting #2: cost 9 inf + 0
9.092 * * [simplify]: Extracting #3: cost 2 inf + 1689
9.092 * * [simplify]: Extracting #4: cost 0 inf + 2173
9.092 * [simplify]: Simplified to (*.p16 (neg.p16 alpha) (+.p16 alpha beta))
9.092 * [simplify]: Simplified (2 1 1 1 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (+.p16 (*.p16 (+.p16 beta alpha) beta) (*.p16 (neg.p16 alpha) (+.p16 alpha beta))) (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))
9.092 * * * * [progress]: [ 10 / 16 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (+.p16 (*.p16 beta (+.p16 beta alpha)) (*.p16 (neg.p16 alpha) (+.p16 beta alpha))) (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))>
9.093 * [simplify]: Simplifying (*.p16 beta (+.p16 beta alpha))
9.093 * * [simplify]: iters left: 2 (4 enodes)
9.095 * * [simplify]: iters left: 1 (15 enodes)
9.099 * * [simplify]: Extracting #0: cost 1 inf + 0
9.100 * * [simplify]: Extracting #1: cost 5 inf + 0
9.100 * * [simplify]: Extracting #2: cost 5 inf + 1
9.100 * * [simplify]: Extracting #3: cost 0 inf + 1049
9.100 * [simplify]: Simplified to (*.p16 beta (+.p16 alpha beta))
9.100 * [simplify]: Simplified (2 1 1 1 1) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (+.p16 (*.p16 beta (+.p16 alpha beta)) (*.p16 (neg.p16 alpha) (+.p16 beta alpha))) (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))
9.100 * [simplify]: Simplifying (*.p16 (neg.p16 alpha) (+.p16 beta alpha))
9.100 * * [simplify]: iters left: 2 (5 enodes)
9.104 * * [simplify]: iters left: 1 (17 enodes)
9.109 * * [simplify]: Extracting #0: cost 1 inf + 0
9.109 * * [simplify]: Extracting #1: cost 5 inf + 0
9.110 * * [simplify]: Extracting #2: cost 7 inf + 0
9.110 * * [simplify]: Extracting #3: cost 5 inf + 2
9.110 * * [simplify]: Extracting #4: cost 0 inf + 1370
9.110 * [simplify]: Simplified to (*.p16 (neg.p16 alpha) (+.p16 beta alpha))
9.110 * [simplify]: Simplified (2 1 1 1 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (+.p16 (*.p16 beta (+.p16 beta alpha)) (*.p16 (neg.p16 alpha) (+.p16 beta alpha))) (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))
9.110 * * * * [progress]: [ 11 / 16 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 beta alpha) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))) (+.p16 beta alpha)) (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))>
9.110 * [simplify]: Simplifying (*.p16 (+.p16 beta alpha) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)))
9.111 * * [simplify]: iters left: 3 (7 enodes)
9.114 * * [simplify]: iters left: 2 (22 enodes)
9.124 * * [simplify]: iters left: 1 (65 enodes)
9.153 * * [simplify]: Extracting #0: cost 1 inf + 0
9.154 * * [simplify]: Extracting #1: cost 19 inf + 0
9.154 * * [simplify]: Extracting #2: cost 69 inf + 0
9.154 * * [simplify]: Extracting #3: cost 73 inf + 2
9.156 * * [simplify]: Extracting #4: cost 48 inf + 30431
9.161 * * [simplify]: Extracting #5: cost 1 inf + 79346
9.166 * * [simplify]: Extracting #6: cost 0 inf + 81668
9.171 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (-.p16 beta alpha))
9.172 * [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 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))
9.172 * * * * [progress]: [ 12 / 16 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))>
9.172 * * * * [progress]: [ 13 / 16 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (+.p16 beta alpha) (-.p16 beta alpha)) (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))>
9.172 * [simplify]: Simplifying (+.p16 beta alpha)
9.172 * * [simplify]: iters left: 1 (3 enodes)
9.173 * * [simplify]: Extracting #0: cost 1 inf + 0
9.174 * * [simplify]: Extracting #1: cost 3 inf + 0
9.174 * * [simplify]: Extracting #2: cost 1 inf + 2
9.174 * * [simplify]: Extracting #3: cost 0 inf + 44
9.174 * [simplify]: Simplified to (+.p16 alpha beta)
9.174 * [simplify]: Simplified (2 1 1 1 1) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))
9.174 * [simplify]: Simplifying (-.p16 beta alpha)
9.174 * * [simplify]: iters left: 1 (3 enodes)
9.175 * * [simplify]: Extracting #0: cost 1 inf + 0
9.176 * * [simplify]: Extracting #1: cost 6 inf + 0
9.176 * * [simplify]: Extracting #2: cost 5 inf + 44
9.176 * * [simplify]: Extracting #3: cost 0 inf + 1571
9.176 * [simplify]: Simplified to (-.p16 beta alpha)
9.176 * [simplify]: Simplified (2 1 1 1 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (+.p16 beta alpha) (-.p16 beta alpha)) (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))
9.176 * * * * [progress]: [ 14 / 16 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (+.p16 beta alpha) (-.p16 beta alpha)) (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))>
9.176 * [simplify]: Simplifying (+.p16 beta alpha)
9.176 * * [simplify]: iters left: 1 (3 enodes)
9.178 * * [simplify]: Extracting #0: cost 1 inf + 0
9.178 * * [simplify]: Extracting #1: cost 3 inf + 0
9.178 * * [simplify]: Extracting #2: cost 1 inf + 2
9.178 * * [simplify]: Extracting #3: cost 0 inf + 44
9.178 * [simplify]: Simplified to (+.p16 alpha beta)
9.178 * [simplify]: Simplified (2 1 1 1 1) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))
9.178 * [simplify]: Simplifying (-.p16 beta alpha)
9.178 * * [simplify]: iters left: 1 (3 enodes)
9.180 * * [simplify]: Extracting #0: cost 1 inf + 0
9.180 * * [simplify]: Extracting #1: cost 6 inf + 0
9.180 * * [simplify]: Extracting #2: cost 5 inf + 44
9.180 * * [simplify]: Extracting #3: cost 0 inf + 1571
9.180 * [simplify]: Simplified to (-.p16 beta alpha)
9.180 * [simplify]: Simplified (2 1 1 1 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (+.p16 beta alpha) (-.p16 beta alpha)) (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))
9.180 * * * * [progress]: [ 15 / 16 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (+.p16 beta alpha) (-.p16 beta alpha)) (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))>
9.181 * [simplify]: Simplifying (+.p16 beta alpha)
9.181 * * [simplify]: iters left: 1 (3 enodes)
9.182 * * [simplify]: Extracting #0: cost 1 inf + 0
9.182 * * [simplify]: Extracting #1: cost 3 inf + 0
9.182 * * [simplify]: Extracting #2: cost 1 inf + 2
9.182 * * [simplify]: Extracting #3: cost 0 inf + 44
9.182 * [simplify]: Simplified to (+.p16 alpha beta)
9.182 * [simplify]: Simplified (2 1 1 1 1) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))
9.183 * [simplify]: Simplifying (-.p16 beta alpha)
9.183 * * [simplify]: iters left: 1 (3 enodes)
9.184 * * [simplify]: Extracting #0: cost 1 inf + 0
9.184 * * [simplify]: Extracting #1: cost 6 inf + 0
9.184 * * [simplify]: Extracting #2: cost 5 inf + 44
9.184 * * [simplify]: Extracting #3: cost 0 inf + 1571
9.184 * [simplify]: Simplified to (-.p16 beta alpha)
9.184 * [simplify]: Simplified (2 1 1 1 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (+.p16 beta alpha) (-.p16 beta alpha)) (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))
9.185 * * * * [progress]: [ 16 / 16 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (+.p16 beta alpha) (-.p16 beta alpha)) (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))>
9.185 * [simplify]: Simplifying (+.p16 beta alpha)
9.185 * * [simplify]: iters left: 1 (3 enodes)
9.186 * * [simplify]: Extracting #0: cost 1 inf + 0
9.186 * * [simplify]: Extracting #1: cost 3 inf + 0
9.186 * * [simplify]: Extracting #2: cost 1 inf + 2
9.186 * * [simplify]: Extracting #3: cost 0 inf + 44
9.186 * [simplify]: Simplified to (+.p16 alpha beta)
9.186 * [simplify]: Simplified (2 1 1 1 1) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))
9.187 * [simplify]: Simplifying (-.p16 beta alpha)
9.187 * * [simplify]: iters left: 1 (3 enodes)
9.188 * * [simplify]: Extracting #0: cost 1 inf + 0
9.188 * * [simplify]: Extracting #1: cost 6 inf + 0
9.188 * * [simplify]: Extracting #2: cost 5 inf + 44
9.188 * * [simplify]: Extracting #3: cost 0 inf + 1571
9.188 * [simplify]: Simplified to (-.p16 beta alpha)
9.189 * [simplify]: Simplified (2 1 1 1 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (+.p16 beta alpha) (-.p16 beta alpha)) (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))
9.189 * * * [progress]: adding candidates to table
10.127 * [progress]: [Phase 3 of 3] Extracting.
10.127 * * [regime]: Finding splitpoints for: (#<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (+.p16 (*.p16 beta (+.p16 beta alpha)) (*.p16 (neg.p16 alpha) (+.p16 beta alpha))) (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (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 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (+.p16 beta alpha) (-.p16 beta alpha)) (+.p16 (*.p16 (+.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (real->posit16 2.0) (+.p16 beta alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (+.p16 (*.p16 (+.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 beta alpha) (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (+.p16 beta alpha) (/.p16 (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (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 beta beta) (*.p16 beta beta)) (*.p16 (*.p16 alpha alpha) (*.p16 alpha alpha))) (*.p16 (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0))) (+.p16 (*.p16 beta beta) (*.p16 alpha alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))>)
10.129 * * * [regime-changes]: Trying 2 branch expressions: (alpha beta)
10.129 * * * * [regimes]: Trying to branch on alpha from (#<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (+.p16 (*.p16 beta (+.p16 beta alpha)) (*.p16 (neg.p16 alpha) (+.p16 beta alpha))) (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (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 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (+.p16 beta alpha) (-.p16 beta alpha)) (+.p16 (*.p16 (+.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (real->posit16 2.0) (+.p16 beta alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (+.p16 (*.p16 (+.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 beta alpha) (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (+.p16 beta alpha) (/.p16 (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (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 beta beta) (*.p16 beta beta)) (*.p16 (*.p16 alpha alpha) (*.p16 alpha alpha))) (*.p16 (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0))) (+.p16 (*.p16 beta beta) (*.p16 alpha alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))>)
10.409 * * * * [regimes]: Trying to branch on beta from (#<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (+.p16 (*.p16 beta (+.p16 beta alpha)) (*.p16 (neg.p16 alpha) (+.p16 beta alpha))) (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (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 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (+.p16 beta alpha) (-.p16 beta alpha)) (+.p16 (*.p16 (+.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (real->posit16 2.0) (+.p16 beta alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (+.p16 (*.p16 (+.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 beta alpha) (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (+.p16 beta alpha) (/.p16 (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (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 beta beta) (*.p16 beta beta)) (*.p16 (*.p16 alpha alpha) (*.p16 alpha alpha))) (*.p16 (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0))) (+.p16 (*.p16 beta beta) (*.p16 alpha alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))>)
10.619 * * * [regime]: Found split indices: #<option (#s(si 5 256))>
10.619 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0))
10.619 * * [simplify]: iters left: 6 (12 enodes)
10.621 * * [simplify]: Extracting #0: cost 1 inf + 0
10.621 * * [simplify]: Extracting #1: cost 3 inf + 0
10.621 * * [simplify]: Extracting #2: cost 6 inf + 0
10.621 * * [simplify]: Extracting #3: cost 8 inf + 1
10.621 * * [simplify]: Extracting #4: cost 8 inf + 4
10.621 * * [simplify]: Extracting #5: cost 6 inf + 6
10.621 * * [simplify]: Extracting #6: cost 0 inf + 2544
10.621 * [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))
10.622 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
10.660 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
10.666 * * * * [points]: Setting MPFR precision to 64
10.669 * * * * [points]: Setting MPFR precision to 320
10.671 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
10.676 * * * * [points]: Setting MPFR precision to 64
10.679 * * * * [points]: Setting MPFR precision to 320
10.683 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
10.688 * * * * [points]: Setting MPFR precision to 64
10.695 * * * * [points]: Setting MPFR precision to 320
10.701 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
10.707 * * * * [points]: Setting MPFR precision to 64
10.719 * * * * [points]: Setting MPFR precision to 320
10.731 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
10.737 * * * * [points]: Setting MPFR precision to 64
10.750 * * * * [points]: Setting MPFR precision to 320
10.764 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
10.767 * * * * [points]: Setting MPFR precision to 64
10.817 * * * * [points]: Setting MPFR precision to 320
10.846 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
10.849 * * * * [points]: Setting MPFR precision to 64
10.904 * * * * [points]: Setting MPFR precision to 320
10.989 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
10.993 * * * * [points]: Setting MPFR precision to 64
11.155 * * * * [points]: Setting MPFR precision to 320
11.312 * * * * [points]: Computing exacts for 8000 points
11.315 * * * * [points]: Setting MPFR precision to 64
11.860 * * * * [points]: Setting MPFR precision to 320
12.763 * * * * [points]: Filtering points with unrepresentable outputs
12.795 * * * * [points]: Sampling 3528 additional inputs, on iter 1 have 4472 / 8000
12.807 * * * * [points]: Computing exacts on every 220 of 3528 points to ramp up precision
12.810 * * * * [points]: Setting MPFR precision to 64
12.811 * * * * [points]: Setting MPFR precision to 320
12.812 * * * * [points]: Computing exacts on every 110 of 3528 points to ramp up precision
12.815 * * * * [points]: Setting MPFR precision to 64
12.817 * * * * [points]: Setting MPFR precision to 320
12.819 * * * * [points]: Computing exacts on every 55 of 3528 points to ramp up precision
12.822 * * * * [points]: Setting MPFR precision to 64
12.826 * * * * [points]: Setting MPFR precision to 320
12.830 * * * * [points]: Computing exacts on every 27 of 3528 points to ramp up precision
12.832 * * * * [points]: Setting MPFR precision to 64
12.840 * * * * [points]: Setting MPFR precision to 320
12.847 * * * * [points]: Computing exacts on every 13 of 3528 points to ramp up precision
12.850 * * * * [points]: Setting MPFR precision to 64
12.865 * * * * [points]: Setting MPFR precision to 320
12.890 * * * * [points]: Computing exacts on every 6 of 3528 points to ramp up precision
12.895 * * * * [points]: Setting MPFR precision to 64
12.981 * * * * [points]: Setting MPFR precision to 320
13.036 * * * * [points]: Computing exacts on every 3 of 3528 points to ramp up precision
13.042 * * * * [points]: Setting MPFR precision to 64
13.115 * * * * [points]: Setting MPFR precision to 320
13.594 * * * * [points]: Computing exacts for 3528 points
13.599 * * * * [points]: Setting MPFR precision to 64
13.988 * * * * [points]: Setting MPFR precision to 320
14.430 * * * * [points]: Filtering points with unrepresentable outputs
14.434 * * * * [points]: Sampling 1546 additional inputs, on iter 2 have 6454 / 8000
14.438 * * * * [points]: Computing exacts on every 96 of 1546 points to ramp up precision
14.441 * * * * [points]: Setting MPFR precision to 64
14.442 * * * * [points]: Setting MPFR precision to 320
14.443 * * * * [points]: Computing exacts on every 48 of 1546 points to ramp up precision
14.446 * * * * [points]: Setting MPFR precision to 64
14.448 * * * * [points]: Setting MPFR precision to 320
14.450 * * * * [points]: Computing exacts on every 24 of 1546 points to ramp up precision
14.453 * * * * [points]: Setting MPFR precision to 64
14.456 * * * * [points]: Setting MPFR precision to 320
14.460 * * * * [points]: Computing exacts on every 12 of 1546 points to ramp up precision
14.463 * * * * [points]: Setting MPFR precision to 64
14.470 * * * * [points]: Setting MPFR precision to 320
14.477 * * * * [points]: Computing exacts on every 6 of 1546 points to ramp up precision
14.480 * * * * [points]: Setting MPFR precision to 64
14.517 * * * * [points]: Setting MPFR precision to 320
14.530 * * * * [points]: Computing exacts on every 3 of 1546 points to ramp up precision
14.533 * * * * [points]: Setting MPFR precision to 64
14.555 * * * * [points]: Setting MPFR precision to 320
14.577 * * * * [points]: Computing exacts for 1546 points
14.580 * * * * [points]: Setting MPFR precision to 64
14.698 * * * * [points]: Setting MPFR precision to 320
14.818 * * * * [points]: Filtering points with unrepresentable outputs
14.820 * * * * [points]: Sampling 655 additional inputs, on iter 3 have 7345 / 8000
14.821 * * * * [points]: Computing exacts on every 40 of 655 points to ramp up precision
14.826 * * * * [points]: Setting MPFR precision to 64
14.828 * * * * [points]: Setting MPFR precision to 320
14.829 * * * * [points]: Computing exacts on every 20 of 655 points to ramp up precision
14.831 * * * * [points]: Setting MPFR precision to 64
14.833 * * * * [points]: Setting MPFR precision to 320
14.835 * * * * [points]: Computing exacts on every 10 of 655 points to ramp up precision
14.838 * * * * [points]: Setting MPFR precision to 64
14.842 * * * * [points]: Setting MPFR precision to 320
14.845 * * * * [points]: Computing exacts on every 5 of 655 points to ramp up precision
14.848 * * * * [points]: Setting MPFR precision to 64
14.854 * * * * [points]: Setting MPFR precision to 320
14.861 * * * * [points]: Computing exacts on every 2 of 655 points to ramp up precision
14.864 * * * * [points]: Setting MPFR precision to 64
14.876 * * * * [points]: Setting MPFR precision to 320
14.890 * * * * [points]: Computing exacts for 655 points
14.893 * * * * [points]: Setting MPFR precision to 64
14.968 * * * * [points]: Setting MPFR precision to 320
15.040 * * * * [points]: Filtering points with unrepresentable outputs
15.042 * * * * [points]: Sampling 294 additional inputs, on iter 4 have 7706 / 8000
15.043 * * * * [points]: Computing exacts on every 18 of 294 points to ramp up precision
15.049 * * * * [points]: Setting MPFR precision to 64
15.050 * * * * [points]: Setting MPFR precision to 320
15.052 * * * * [points]: Computing exacts on every 9 of 294 points to ramp up precision
15.057 * * * * [points]: Setting MPFR precision to 64
15.060 * * * * [points]: Setting MPFR precision to 320
15.063 * * * * [points]: Computing exacts on every 4 of 294 points to ramp up precision
15.069 * * * * [points]: Setting MPFR precision to 64
15.075 * * * * [points]: Setting MPFR precision to 320
15.081 * * * * [points]: Computing exacts on every 2 of 294 points to ramp up precision
15.086 * * * * [points]: Setting MPFR precision to 64
15.097 * * * * [points]: Setting MPFR precision to 320
15.106 * * * * [points]: Computing exacts for 294 points
15.111 * * * * [points]: Setting MPFR precision to 64
15.137 * * * * [points]: Setting MPFR precision to 320
15.207 * * * * [points]: Filtering points with unrepresentable outputs
15.207 * * * * [points]: Sampling 131 additional inputs, on iter 5 have 7869 / 8000
15.208 * * * * [points]: Computing exacts on every 8 of 131 points to ramp up precision
15.213 * * * * [points]: Setting MPFR precision to 64
15.215 * * * * [points]: Setting MPFR precision to 320
15.217 * * * * [points]: Computing exacts on every 4 of 131 points to ramp up precision
15.222 * * * * [points]: Setting MPFR precision to 64
15.225 * * * * [points]: Setting MPFR precision to 320
15.227 * * * * [points]: Computing exacts on every 2 of 131 points to ramp up precision
15.233 * * * * [points]: Setting MPFR precision to 64
15.237 * * * * [points]: Setting MPFR precision to 320
15.242 * * * * [points]: Computing exacts for 131 points
15.247 * * * * [points]: Setting MPFR precision to 64
15.261 * * * * [points]: Setting MPFR precision to 320
15.276 * * * * [points]: Filtering points with unrepresentable outputs
15.276 * * * * [points]: Sampling 56 additional inputs, on iter 6 have 7944 / 8000
15.276 * * * * [points]: Computing exacts on every 3 of 56 points to ramp up precision
15.282 * * * * [points]: Setting MPFR precision to 64
15.283 * * * * [points]: Setting MPFR precision to 320
15.285 * * * * [points]: Computing exacts for 56 points
15.290 * * * * [points]: Setting MPFR precision to 64
15.296 * * * * [points]: Setting MPFR precision to 320
15.302 * * * * [points]: Filtering points with unrepresentable outputs
15.302 * * * * [points]: Sampling 29 additional inputs, on iter 7 have 7971 / 8000
15.302 * * * * [points]: Computing exacts for 29 points
15.307 * * * * [points]: Setting MPFR precision to 64
15.310 * * * * [points]: Setting MPFR precision to 320
15.312 * * * * [points]: Filtering points with unrepresentable outputs
15.313 * * * * [points]: Sampling 13 additional inputs, on iter 8 have 7987 / 8000
15.313 * * * * [points]: Computing exacts for 13 points
15.318 * * * * [points]: Setting MPFR precision to 64
15.319 * * * * [points]: Setting MPFR precision to 320
15.321 * * * * [points]: Filtering points with unrepresentable outputs
15.321 * * * * [points]: Sampling 4 additional inputs, on iter 9 have 7998 / 8000
15.321 * * * * [points]: Computing exacts for 4 points
15.326 * * * * [points]: Setting MPFR precision to 64
15.326 * * * * [points]: Setting MPFR precision to 320
15.327 * * * * [points]: Filtering points with unrepresentable outputs
15.327 * * * * [points]: Sampled 8001 points with exact outputs
20.814 * [regime-testing]: Baseline error score: 64.0
20.822 * [regime-testing]: Oracle error score: 64.0
20.836 * [regime-testing]: End program error score: 0.7123590136387346