0.002 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
0.004 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.006 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.010 * * * * [points]: Setting MPFR precision to 64
0.012 * * * * [points]: Setting MPFR precision to 320
0.014 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.019 * * * * [points]: Setting MPFR precision to 64
0.022 * * * * [points]: Setting MPFR precision to 320
0.025 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.031 * * * * [points]: Setting MPFR precision to 64
0.037 * * * * [points]: Setting MPFR precision to 320
0.042 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.047 * * * * [points]: Setting MPFR precision to 64
0.055 * * * * [points]: Setting MPFR precision to 320
0.063 * * * * [points]: Computing exacts for 256 points
0.069 * * * * [points]: Setting MPFR precision to 64
0.093 * * * * [points]: Setting MPFR precision to 320
0.119 * * * * [points]: Filtering points with unrepresentable outputs
0.120 * * * * [points]: Sampling 101 additional inputs, on iter 1 have 155 / 256
0.120 * * * * [points]: Computing exacts on every 6 of 101 points to ramp up precision
0.146 * * * * [points]: Setting MPFR precision to 64
0.148 * * * * [points]: Setting MPFR precision to 320
0.149 * * * * [points]: Computing exacts on every 3 of 101 points to ramp up precision
0.156 * * * * [points]: Setting MPFR precision to 64
0.159 * * * * [points]: Setting MPFR precision to 320
0.161 * * * * [points]: Computing exacts for 101 points
0.167 * * * * [points]: Setting MPFR precision to 64
0.177 * * * * [points]: Setting MPFR precision to 320
0.187 * * * * [points]: Filtering points with unrepresentable outputs
0.187 * * * * [points]: Sampling 43 additional inputs, on iter 2 have 213 / 256
0.187 * * * * [points]: Computing exacts on every 2 of 43 points to ramp up precision
0.193 * * * * [points]: Setting MPFR precision to 64
0.194 * * * * [points]: Setting MPFR precision to 320
0.196 * * * * [points]: Computing exacts for 43 points
0.225 * * * * [points]: Setting MPFR precision to 64
0.230 * * * * [points]: Setting MPFR precision to 320
0.234 * * * * [points]: Filtering points with unrepresentable outputs
0.235 * * * * [points]: Sampling 14 additional inputs, on iter 3 have 242 / 256
0.235 * * * * [points]: Computing exacts for 14 points
0.241 * * * * [points]: Setting MPFR precision to 64
0.242 * * * * [points]: Setting MPFR precision to 320
0.244 * * * * [points]: Filtering points with unrepresentable outputs
0.244 * * * * [points]: Sampling 7 additional inputs, on iter 4 have 249 / 256
0.244 * * * * [points]: Computing exacts for 7 points
0.250 * * * * [points]: Setting MPFR precision to 64
0.251 * * * * [points]: Setting MPFR precision to 320
0.252 * * * * [points]: Filtering points with unrepresentable outputs
0.252 * * * * [points]: Sampling 4 additional inputs, on iter 5 have 253 / 256
0.252 * * * * [points]: Computing exacts for 4 points
0.258 * * * * [points]: Setting MPFR precision to 64
0.259 * * * * [points]: Setting MPFR precision to 320
0.259 * * * * [points]: Filtering points with unrepresentable outputs
0.260 * * * * [points]: Sampled 256 points with exact outputs
0.260 * * * [progress]: [2/2] Setting up program.
0.285 * [progress]: [Phase 2 of 3] Improving.
0.285 * * * * [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.285 * [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.286 * * [simplify]: iteration 1: (12 enodes)
0.292 * * [simplify]: iteration 2: (29 enodes)
0.302 * * [simplify]: iteration 3: (46 enodes)
0.319 * * [simplify]: iteration 4: (97 enodes)
0.376 * * [simplify]: iteration 5: (335 enodes)
0.651 * * [simplify]: iteration 6: (1742 enodes)
18.423 * * [simplify]: Extracting #0: cost 1 inf + 0
18.423 * * [simplify]: Extracting #1: cost 3 inf + 0
18.424 * * [simplify]: Extracting #2: cost 12 inf + 0
18.425 * * [simplify]: Extracting #3: cost 288 inf + 1
18.439 * * [simplify]: Extracting #4: cost 2458 inf + 4
18.496 * * [simplify]: Extracting #5: cost 3760 inf + 156794
18.796 * * [simplify]: Extracting #6: cost 1636 inf + 3674161
19.402 * * [simplify]: Extracting #7: cost 44 inf + 6594597
19.979 * * [simplify]: Extracting #8: cost 0 inf + 6635954
20.515 * * [simplify]: Extracting #9: cost 0 inf + 6633914
20.946 * [simplify]: Simplified to (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 beta (real->posit16 2.0)) alpha)) (real->posit16 1.0)) (real->posit16 2.0))
20.961 * * [progress]: iteration 1 / 4
20.961 * * * [progress]: picking best candidate
20.976 * * * * [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)))>
20.976 * * * [progress]: localizing error
21.137 * * * [progress]: generating rewritten candidates
21.137 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
21.146 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
21.153 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
21.162 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
21.175 * * * [progress]: generating series expansions
21.175 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
21.175 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
21.175 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
21.175 * * * * [progress]: [ 4 / 4 ] generating series at (2)
21.175 * * * [progress]: simplifying candidates
21.175 * * * * [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)))>
21.175 * * * * [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)))>
21.175 * * * * [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)))>
21.175 * * * * [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)))>
21.175 * * * * [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)))>
21.175 * * * * [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)))>
21.175 * * * * [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)))>
21.175 * * * * [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)))>
21.175 * [simplify]: Simplifying (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha)), (+.p16 beta (real->posit16 2.0)), (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)), (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)), (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)), (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))
21.175 * * [simplify]: iteration 1: (15 enodes)
21.180 * * [simplify]: iteration 2: (38 enodes)
21.188 * * [simplify]: iteration 3: (94 enodes)
21.218 * * [simplify]: iteration 4: (247 enodes)
21.282 * * [simplify]: iteration 5: (770 enodes)
21.712 * * [simplify]: Extracting #0: cost 3 inf + 0
21.712 * * [simplify]: Extracting #1: cost 59 inf + 0
21.713 * * [simplify]: Extracting #2: cost 88 inf + 1
21.714 * * [simplify]: Extracting #3: cost 143 inf + 3424
21.717 * * [simplify]: Extracting #4: cost 373 inf + 30056
21.736 * * [simplify]: Extracting #5: cost 237 inf + 277539
21.763 * * [simplify]: Extracting #6: cost 77 inf + 525685
21.796 * * [simplify]: Extracting #7: cost 1 inf + 655281
21.831 * * [simplify]: Extracting #8: cost 0 inf + 658563
21.864 * [simplify]: Simplified to (*.p16 (+.p16 beta alpha) (+.p16 alpha (+.p16 (real->posit16 2.0) beta))), (+.p16 (real->posit16 2.0) beta), (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 (real->posit16 2.0) beta))) (real->posit16 1.0)) (real->posit16 2.0)), (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 (real->posit16 2.0) beta))) (real->posit16 1.0)) (real->posit16 2.0)), (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 (real->posit16 2.0) beta))) (real->posit16 1.0)) (real->posit16 2.0)), (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 (real->posit16 2.0) beta))) (real->posit16 1.0)) (real->posit16 2.0))
21.865 * * * [progress]: adding candidates to table
22.039 * * [progress]: iteration 2 / 4
22.039 * * * [progress]: picking best candidate
22.066 * * * * [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)))>
22.067 * * * [progress]: localizing error
22.228 * * * [progress]: generating rewritten candidates
22.228 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
22.234 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
22.241 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
22.246 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
22.258 * * * [progress]: generating series expansions
22.259 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
22.259 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
22.259 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
22.259 * * * * [progress]: [ 4 / 4 ] generating series at (2)
22.259 * * * [progress]: simplifying candidates
22.259 * * * * [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)))>
22.259 * * * * [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)))>
22.259 * * * * [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)))>
22.259 * * * * [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)))>
22.259 * * * * [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)))>
22.259 * * * * [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)))>
22.259 * * * * [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)))>
22.259 * * * * [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)))>
22.259 * [simplify]: Simplifying (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha)), (+.p16 alpha beta), (+.p16 beta (real->posit16 2.0)), (+.p16 beta (real->posit16 2.0)), (+.p16 beta (real->posit16 2.0)), (+.p16 beta (real->posit16 2.0))
22.259 * * [simplify]: iteration 1: (9 enodes)
22.263 * * [simplify]: iteration 2: (24 enodes)
22.268 * * [simplify]: iteration 3: (72 enodes)
22.294 * * [simplify]: iteration 4: (184 enodes)
22.335 * * [simplify]: iteration 5: (477 enodes)
22.946 * * [simplify]: iteration 6: (915 enodes)
23.364 * * [simplify]: iteration 7: (1064 enodes)
23.760 * * [simplify]: iteration 8: (1087 enodes)
24.015 * * [simplify]: Extracting #0: cost 3 inf + 0
24.015 * * [simplify]: Extracting #1: cost 53 inf + 0
24.016 * * [simplify]: Extracting #2: cost 61 inf + 2
24.018 * * [simplify]: Extracting #3: cost 27 inf + 10317
24.029 * * [simplify]: Extracting #4: cost 0 inf + 26433
24.040 * [simplify]: Simplified to (*.p16 (+.p16 beta alpha) (+.p16 alpha (+.p16 (real->posit16 2.0) beta))), (+.p16 beta alpha), (+.p16 (real->posit16 2.0) beta), (+.p16 (real->posit16 2.0) beta), (+.p16 (real->posit16 2.0) beta), (+.p16 (real->posit16 2.0) beta)
24.041 * * * [progress]: adding candidates to table
24.298 * * [progress]: iteration 3 / 4
24.298 * * * [progress]: picking best candidate
24.328 * * * * [pick]: Picked  #<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)))>
24.328 * * * [progress]: localizing error
24.669 * * * [progress]: generating rewritten candidates
24.670 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
24.674 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
24.680 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
24.700 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2)
24.713 * * * [progress]: generating series expansions
24.713 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
24.713 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
24.713 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
24.713 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2)
24.713 * * * [progress]: simplifying candidates
24.713 * * * * [progress]: [ 1 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (+.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))>
24.713 * * * * [progress]: [ 2 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (+.p16 beta alpha) (/.p16 (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
24.713 * * * * [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 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha)) (+.p16 (*.p16 beta beta) (*.p16 alpha alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))>
24.713 * * * * [progress]: [ 4 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (+.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (/.p16 (-.p16 beta alpha) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
24.713 * * * * [progress]: [ 5 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (+.p16 beta alpha) (-.p16 beta alpha)) (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
24.714 * * * * [progress]: [ 6 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (+.p16 (*.p16 beta beta) (neg.p16 (*.p16 alpha alpha))) (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
24.714 * * * * [progress]: [ 7 / 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 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
24.714 * * * * [progress]: [ 8 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha)))) (real->posit16 2.0)))>
24.714 * * * * [progress]: [ 9 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (+.p16 (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) beta) (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
24.714 * * * * [progress]: [ 10 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (+.p16 (*.p16 beta (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (*.p16 alpha (+.p16 alpha (+.p16 beta (real->posit16 2.0)))))) (real->posit16 1.0)) (real->posit16 2.0)))>
24.714 * * * * [progress]: [ 11 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (*.p16 (+.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0))))) (real->posit16 1.0)) (real->posit16 2.0)))>
24.714 * * * * [progress]: [ 12 / 15 ] 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)))>
24.714 * * * * [progress]: [ 13 / 15 ] 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)))>
24.714 * * * * [progress]: [ 14 / 15 ] 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)))>
24.714 * * * * [progress]: [ 15 / 15 ] 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)))>
24.715 * [simplify]: Simplifying (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))), (/.p16 (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha)) (-.p16 beta alpha)), (*.p16 (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha)) (+.p16 (*.p16 beta beta) (*.p16 alpha alpha))), (/.p16 (+.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))), (/.p16 (-.p16 beta alpha) (+.p16 beta alpha)), (+.p16 beta alpha), (-.p16 beta alpha), (neg.p16 (*.p16 alpha alpha)), (-.p16 (*.p16 (*.p16 beta beta) (*.p16 beta beta)) (*.p16 (*.p16 alpha alpha) (*.p16 alpha alpha))), (+.p16 (*.p16 beta beta) (*.p16 alpha alpha)), (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) beta), (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) alpha), (*.p16 beta (+.p16 alpha (+.p16 beta (real->posit16 2.0)))), (*.p16 alpha (+.p16 alpha (+.p16 beta (real->posit16 2.0)))), (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha)), (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha)), (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha)), (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha))
24.715 * * [simplify]: iteration 1: (26 enodes)
24.730 * * [simplify]: iteration 2: (81 enodes)
24.772 * * [simplify]: iteration 3: (250 enodes)
24.983 * * [simplify]: iteration 4: (1313 enodes)
27.088 * * [simplify]: Extracting #0: cost 13 inf + 0
27.089 * * [simplify]: Extracting #1: cost 509 inf + 0
27.105 * * [simplify]: Extracting #2: cost 1573 inf + 54347
27.133 * * [simplify]: Extracting #3: cost 1417 inf + 641044
27.195 * * [simplify]: Extracting #4: cost 981 inf + 1483854
27.310 * * [simplify]: Extracting #5: cost 256 inf + 2453699
27.461 * * [simplify]: Extracting #6: cost 1 inf + 2854658
27.688 * * [simplify]: Extracting #7: cost 0 inf + 2855702
27.841 * [simplify]: Simplified to (*.p16 (-.p16 beta alpha) (/.p16 (+.p16 alpha beta) (+.p16 beta (+.p16 alpha (real->posit16 2.0))))), (*.p16 (/.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))), (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 (*.p16 alpha alpha) (*.p16 beta beta))) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))), (/.p16 (+.p16 alpha beta) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))), (/.p16 (-.p16 beta alpha) (+.p16 alpha beta)), (+.p16 alpha beta), (-.p16 beta alpha), (neg.p16 (*.p16 alpha alpha)), (*.p16 (+.p16 (*.p16 alpha alpha) (*.p16 beta beta)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))), (+.p16 (*.p16 alpha alpha) (*.p16 beta beta)), (*.p16 beta (+.p16 beta (+.p16 alpha (real->posit16 2.0)))), (*.p16 alpha (+.p16 beta (+.p16 alpha (real->posit16 2.0)))), (*.p16 beta (+.p16 beta (+.p16 alpha (real->posit16 2.0)))), (*.p16 alpha (+.p16 beta (+.p16 alpha (real->posit16 2.0)))), (*.p16 (+.p16 alpha beta) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))), (*.p16 (+.p16 alpha beta) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))), (*.p16 (+.p16 alpha beta) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))), (*.p16 (+.p16 alpha beta) (+.p16 beta (+.p16 alpha (real->posit16 2.0))))
27.843 * * * [progress]: adding candidates to table
28.421 * * [progress]: iteration 4 / 4
28.421 * * * [progress]: picking best candidate
28.517 * * * * [pick]: Picked  #<alt (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (+.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (/.p16 (-.p16 beta alpha) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
28.517 * * * [progress]: localizing error
28.740 * * * [progress]: generating rewritten candidates
28.740 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2)
28.758 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
28.764 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
28.769 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
28.773 * * * [progress]: generating series expansions
28.773 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2)
28.773 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
28.773 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
28.773 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
28.773 * * * [progress]: simplifying candidates
28.773 * * * * [progress]: [ 1 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (+.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (*.p16 (+.p16 beta alpha) (+.p16 beta alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))>
28.773 * * * * [progress]: [ 2 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (/.p16 (+.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (-.p16 beta alpha)) (+.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))>
28.773 * * * * [progress]: [ 3 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (+.p16 beta alpha) (/.p16 (-.p16 beta alpha) (+.p16 beta alpha))) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))>
28.773 * * * * [progress]: [ 4 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (/.p16 (+.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0))))) (real->posit16 1.0)) (real->posit16 2.0)))>
28.773 * * * * [progress]: [ 5 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (*.p16 (/.p16 (+.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (/.p16 (-.p16 beta alpha) (+.p16 beta alpha)))) (real->posit16 2.0)))>
28.773 * * * * [progress]: [ 6 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (+.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (/.p16 (-.p16 beta alpha) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
28.773 * * * * [progress]: [ 7 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (+.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (/.p16 (-.p16 beta alpha) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
28.773 * * * * [progress]: [ 8 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (+.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (/.p16 (-.p16 beta alpha) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
28.773 * * * * [progress]: [ 9 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (+.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (/.p16 (-.p16 beta alpha) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
28.774 * [simplify]: Simplifying (*.p16 (+.p16 beta alpha) (+.p16 beta alpha)), (*.p16 (/.p16 (+.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (-.p16 beta alpha)), (*.p16 (+.p16 beta alpha) (/.p16 (-.p16 beta alpha) (+.p16 beta alpha))), (/.p16 (+.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))), (/.p16 (-.p16 beta alpha) (+.p16 beta alpha)), (/.p16 (+.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))), (/.p16 (-.p16 beta alpha) (+.p16 beta alpha)), (/.p16 (+.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))), (/.p16 (-.p16 beta alpha) (+.p16 beta alpha)), (/.p16 (+.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))), (/.p16 (-.p16 beta alpha) (+.p16 beta alpha))
28.774 * * [simplify]: iteration 1: (13 enodes)
28.779 * * [simplify]: iteration 2: (39 enodes)
28.786 * * [simplify]: iteration 3: (97 enodes)
28.811 * * [simplify]: iteration 4: (313 enodes)
28.971 * * [simplify]: iteration 5: (1550 enodes)
44.922 * * [simplify]: Extracting #0: cost 5 inf + 0
44.923 * * [simplify]: Extracting #1: cost 258 inf + 0
44.929 * * [simplify]: Extracting #2: cost 1833 inf + 2493
44.944 * * [simplify]: Extracting #3: cost 2664 inf + 66601
45.023 * * [simplify]: Extracting #4: cost 1478 inf + 1496452
45.206 * * [simplify]: Extracting #5: cost 391 inf + 3325883
45.429 * * [simplify]: Extracting #6: cost 2 inf + 4013402
45.782 * * [simplify]: Extracting #7: cost 0 inf + 4016686
46.036 * [simplify]: Simplified to (*.p16 (+.p16 beta alpha) (+.p16 beta alpha)), (*.p16 (+.p16 beta alpha) (/.p16 (-.p16 beta alpha) (+.p16 (real->posit16 2.0) (+.p16 beta alpha)))), (-.p16 beta alpha), (/.p16 (+.p16 beta alpha) (+.p16 (real->posit16 2.0) (+.p16 beta alpha))), (/.p16 (-.p16 beta alpha) (+.p16 beta alpha)), (/.p16 (+.p16 beta alpha) (+.p16 (real->posit16 2.0) (+.p16 beta alpha))), (/.p16 (-.p16 beta alpha) (+.p16 beta alpha)), (/.p16 (+.p16 beta alpha) (+.p16 (real->posit16 2.0) (+.p16 beta alpha))), (/.p16 (-.p16 beta alpha) (+.p16 beta alpha)), (/.p16 (+.p16 beta alpha) (+.p16 (real->posit16 2.0) (+.p16 beta alpha))), (/.p16 (-.p16 beta alpha) (+.p16 beta alpha))
46.038 * * * [progress]: adding candidates to table
46.427 * [progress]: [Phase 3 of 3] Extracting.
46.427 * * [regime]: Finding splitpoints for: (#<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 beta alpha) (/.p16 (-.p16 beta alpha) (+.p16 (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 beta) (*.p16 alpha alpha)) (*.p16 (+.p16 alpha (+.p16 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 (*.p16 (+.p16 alpha (+.p16 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 (+.p16 alpha beta) (+.p16 beta (+.p16 alpha (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 beta) (*.p16 beta beta)) (*.p16 (*.p16 alpha alpha) (*.p16 alpha alpha))) (*.p16 (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha)) (+.p16 (*.p16 beta beta) (*.p16 alpha alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (+.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (/.p16 (-.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 (+.p16 beta (real->posit16 2.0)))) (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (*.p16 (+.p16 beta alpha) (+.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 beta (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (*.p16 alpha (+.p16 alpha (+.p16 beta (real->posit16 2.0)))))) (real->posit16 1.0)) (real->posit16 2.0)))>)
46.430 * * * [regime-changes]: Trying 2 branch expressions: (alpha beta)
46.430 * * * * [regimes]: Trying to branch on alpha from (#<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 beta alpha) (/.p16 (-.p16 beta alpha) (+.p16 (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 beta) (*.p16 alpha alpha)) (*.p16 (+.p16 alpha (+.p16 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 (*.p16 (+.p16 alpha (+.p16 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 (+.p16 alpha beta) (+.p16 beta (+.p16 alpha (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 beta) (*.p16 beta beta)) (*.p16 (*.p16 alpha alpha) (*.p16 alpha alpha))) (*.p16 (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha)) (+.p16 (*.p16 beta beta) (*.p16 alpha alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (+.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (/.p16 (-.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 (+.p16 beta (real->posit16 2.0)))) (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (*.p16 (+.p16 beta alpha) (+.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 beta (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (*.p16 alpha (+.p16 alpha (+.p16 beta (real->posit16 2.0)))))) (real->posit16 1.0)) (real->posit16 2.0)))>)
46.704 * * * * [regimes]: Trying to branch on beta from (#<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 beta alpha) (/.p16 (-.p16 beta alpha) (+.p16 (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 beta) (*.p16 alpha alpha)) (*.p16 (+.p16 alpha (+.p16 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 (*.p16 (+.p16 alpha (+.p16 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 (+.p16 alpha beta) (+.p16 beta (+.p16 alpha (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 beta) (*.p16 beta beta)) (*.p16 (*.p16 alpha alpha) (*.p16 alpha alpha))) (*.p16 (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha)) (+.p16 (*.p16 beta beta) (*.p16 alpha alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (+.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (/.p16 (-.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 (+.p16 beta (real->posit16 2.0)))) (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (*.p16 (+.p16 beta alpha) (+.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 beta (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (*.p16 alpha (+.p16 alpha (+.p16 beta (real->posit16 2.0)))))) (real->posit16 1.0)) (real->posit16 2.0)))>)
47.042 * * * [regime]: Found split indices: #<option (#s(si 0 256))>
47.043 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0))
47.043 * * [simplify]: iteration 1: (12 enodes)
47.046 * * [simplify]: Extracting #0: cost 1 inf + 0
47.046 * * [simplify]: Extracting #1: cost 3 inf + 0
47.046 * * [simplify]: Extracting #2: cost 6 inf + 0
47.046 * * [simplify]: Extracting #3: cost 8 inf + 1
47.046 * * [simplify]: Extracting #4: cost 8 inf + 4
47.046 * * [simplify]: Extracting #5: cost 6 inf + 6
47.046 * * [simplify]: Extracting #6: cost 0 inf + 2544
47.046 * [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))
47.047 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
47.087 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
47.092 * * * * [points]: Setting MPFR precision to 64
47.094 * * * * [points]: Setting MPFR precision to 320
47.096 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
47.101 * * * * [points]: Setting MPFR precision to 64
47.104 * * * * [points]: Setting MPFR precision to 320
47.107 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
47.112 * * * * [points]: Setting MPFR precision to 64
47.119 * * * * [points]: Setting MPFR precision to 320
47.127 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
47.133 * * * * [points]: Setting MPFR precision to 64
47.147 * * * * [points]: Setting MPFR precision to 320
47.160 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
47.167 * * * * [points]: Setting MPFR precision to 64
47.194 * * * * [points]: Setting MPFR precision to 320
47.220 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
47.226 * * * * [points]: Setting MPFR precision to 64
47.304 * * * * [points]: Setting MPFR precision to 320
47.335 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
47.341 * * * * [points]: Setting MPFR precision to 64
47.400 * * * * [points]: Setting MPFR precision to 320
47.504 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
47.508 * * * * [points]: Setting MPFR precision to 64
47.655 * * * * [points]: Setting MPFR precision to 320
47.804 * * * * [points]: Computing exacts for 8000 points
47.809 * * * * [points]: Setting MPFR precision to 64
48.718 * * * * [points]: Setting MPFR precision to 320
49.735 * * * * [points]: Filtering points with unrepresentable outputs
49.794 * * * * [points]: Sampling 3503 additional inputs, on iter 1 have 4497 / 8000
49.812 * * * * [points]: Computing exacts on every 218 of 3503 points to ramp up precision
49.818 * * * * [points]: Setting MPFR precision to 64
49.820 * * * * [points]: Setting MPFR precision to 320
49.822 * * * * [points]: Computing exacts on every 109 of 3503 points to ramp up precision
49.828 * * * * [points]: Setting MPFR precision to 64
49.832 * * * * [points]: Setting MPFR precision to 320
49.836 * * * * [points]: Computing exacts on every 54 of 3503 points to ramp up precision
49.842 * * * * [points]: Setting MPFR precision to 64
49.849 * * * * [points]: Setting MPFR precision to 320
49.856 * * * * [points]: Computing exacts on every 27 of 3503 points to ramp up precision
49.862 * * * * [points]: Setting MPFR precision to 64
49.876 * * * * [points]: Setting MPFR precision to 320
49.889 * * * * [points]: Computing exacts on every 13 of 3503 points to ramp up precision
49.895 * * * * [points]: Setting MPFR precision to 64
49.923 * * * * [points]: Setting MPFR precision to 320
49.950 * * * * [points]: Computing exacts on every 6 of 3503 points to ramp up precision
49.956 * * * * [points]: Setting MPFR precision to 64
50.046 * * * * [points]: Setting MPFR precision to 320
50.101 * * * * [points]: Computing exacts on every 3 of 3503 points to ramp up precision
50.108 * * * * [points]: Setting MPFR precision to 64
50.187 * * * * [points]: Setting MPFR precision to 320
50.296 * * * * [points]: Computing exacts for 3503 points
50.299 * * * * [points]: Setting MPFR precision to 64
50.705 * * * * [points]: Setting MPFR precision to 320
51.188 * * * * [points]: Filtering points with unrepresentable outputs
51.197 * * * * [points]: Sampling 1580 additional inputs, on iter 2 have 6420 / 8000
51.206 * * * * [points]: Computing exacts on every 98 of 1580 points to ramp up precision
51.211 * * * * [points]: Setting MPFR precision to 64
51.213 * * * * [points]: Setting MPFR precision to 320
51.215 * * * * [points]: Computing exacts on every 49 of 1580 points to ramp up precision
51.221 * * * * [points]: Setting MPFR precision to 64
51.224 * * * * [points]: Setting MPFR precision to 320
51.228 * * * * [points]: Computing exacts on every 24 of 1580 points to ramp up precision
51.234 * * * * [points]: Setting MPFR precision to 64
51.241 * * * * [points]: Setting MPFR precision to 320
51.248 * * * * [points]: Computing exacts on every 12 of 1580 points to ramp up precision
51.254 * * * * [points]: Setting MPFR precision to 64
51.267 * * * * [points]: Setting MPFR precision to 320
51.280 * * * * [points]: Computing exacts on every 6 of 1580 points to ramp up precision
51.319 * * * * [points]: Setting MPFR precision to 64
51.346 * * * * [points]: Setting MPFR precision to 320
51.371 * * * * [points]: Computing exacts on every 3 of 1580 points to ramp up precision
51.377 * * * * [points]: Setting MPFR precision to 64
51.420 * * * * [points]: Setting MPFR precision to 320
51.464 * * * * [points]: Computing exacts for 1580 points
51.471 * * * * [points]: Setting MPFR precision to 64
51.684 * * * * [points]: Setting MPFR precision to 320
51.907 * * * * [points]: Filtering points with unrepresentable outputs
51.911 * * * * [points]: Sampling 697 additional inputs, on iter 3 have 7303 / 8000
51.914 * * * * [points]: Computing exacts on every 43 of 697 points to ramp up precision
51.920 * * * * [points]: Setting MPFR precision to 64
51.922 * * * * [points]: Setting MPFR precision to 320
51.924 * * * * [points]: Computing exacts on every 21 of 697 points to ramp up precision
51.929 * * * * [points]: Setting MPFR precision to 64
51.933 * * * * [points]: Setting MPFR precision to 320
51.936 * * * * [points]: Computing exacts on every 10 of 697 points to ramp up precision
51.942 * * * * [points]: Setting MPFR precision to 64
51.949 * * * * [points]: Setting MPFR precision to 320
51.956 * * * * [points]: Computing exacts on every 5 of 697 points to ramp up precision
51.962 * * * * [points]: Setting MPFR precision to 64
51.974 * * * * [points]: Setting MPFR precision to 320
51.988 * * * * [points]: Computing exacts on every 2 of 697 points to ramp up precision
51.993 * * * * [points]: Setting MPFR precision to 64
52.019 * * * * [points]: Setting MPFR precision to 320
52.044 * * * * [points]: Computing exacts for 697 points
52.049 * * * * [points]: Setting MPFR precision to 64
52.144 * * * * [points]: Setting MPFR precision to 320
52.212 * * * * [points]: Filtering points with unrepresentable outputs
52.213 * * * * [points]: Sampling 313 additional inputs, on iter 4 have 7687 / 8000
52.214 * * * * [points]: Computing exacts on every 19 of 313 points to ramp up precision
52.217 * * * * [points]: Setting MPFR precision to 64
52.218 * * * * [points]: Setting MPFR precision to 320
52.219 * * * * [points]: Computing exacts on every 9 of 313 points to ramp up precision
52.221 * * * * [points]: Setting MPFR precision to 64
52.224 * * * * [points]: Setting MPFR precision to 320
52.226 * * * * [points]: Computing exacts on every 4 of 313 points to ramp up precision
52.229 * * * * [points]: Setting MPFR precision to 64
52.232 * * * * [points]: Setting MPFR precision to 320
52.236 * * * * [points]: Computing exacts on every 2 of 313 points to ramp up precision
52.240 * * * * [points]: Setting MPFR precision to 64
52.252 * * * * [points]: Setting MPFR precision to 320
52.263 * * * * [points]: Computing exacts for 313 points
52.687 * * * * [points]: Setting MPFR precision to 64
52.723 * * * * [points]: Setting MPFR precision to 320
52.759 * * * * [points]: Filtering points with unrepresentable outputs
52.760 * * * * [points]: Sampling 137 additional inputs, on iter 5 have 7863 / 8000
52.760 * * * * [points]: Computing exacts on every 8 of 137 points to ramp up precision
52.766 * * * * [points]: Setting MPFR precision to 64
52.768 * * * * [points]: Setting MPFR precision to 320
52.770 * * * * [points]: Computing exacts on every 4 of 137 points to ramp up precision
52.775 * * * * [points]: Setting MPFR precision to 64
52.778 * * * * [points]: Setting MPFR precision to 320
52.781 * * * * [points]: Computing exacts on every 2 of 137 points to ramp up precision
52.787 * * * * [points]: Setting MPFR precision to 64
52.792 * * * * [points]: Setting MPFR precision to 320
52.796 * * * * [points]: Computing exacts for 137 points
52.802 * * * * [points]: Setting MPFR precision to 64
52.817 * * * * [points]: Setting MPFR precision to 320
52.831 * * * * [points]: Filtering points with unrepresentable outputs
52.832 * * * * [points]: Sampling 56 additional inputs, on iter 6 have 7944 / 8000
52.832 * * * * [points]: Computing exacts on every 3 of 56 points to ramp up precision
52.838 * * * * [points]: Setting MPFR precision to 64
52.839 * * * * [points]: Setting MPFR precision to 320
52.841 * * * * [points]: Computing exacts for 56 points
52.847 * * * * [points]: Setting MPFR precision to 64
52.853 * * * * [points]: Setting MPFR precision to 320
52.860 * * * * [points]: Filtering points with unrepresentable outputs
52.860 * * * * [points]: Sampling 28 additional inputs, on iter 7 have 7972 / 8000
52.860 * * * * [points]: Computing exacts for 28 points
52.867 * * * * [points]: Setting MPFR precision to 64
52.870 * * * * [points]: Setting MPFR precision to 320
52.873 * * * * [points]: Filtering points with unrepresentable outputs
52.873 * * * * [points]: Sampling 11 additional inputs, on iter 8 have 7989 / 8000
52.873 * * * * [points]: Computing exacts for 11 points
52.879 * * * * [points]: Setting MPFR precision to 64
52.911 * * * * [points]: Setting MPFR precision to 320
52.912 * * * * [points]: Filtering points with unrepresentable outputs
52.912 * * * * [points]: Sampling 4 additional inputs, on iter 9 have 7997 / 8000
52.912 * * * * [points]: Computing exacts for 4 points
52.921 * * * * [points]: Setting MPFR precision to 64
52.922 * * * * [points]: Setting MPFR precision to 320
52.922 * * * * [points]: Filtering points with unrepresentable outputs
52.922 * * * * [points]: Sampled 8000 points with exact outputs
59.114 * [regime-testing]: Baseline error score: 64.0
59.124 * [regime-testing]: Oracle error score: 64.0
59.132 * [regime-testing]: End program error score: 0.7629318989036127