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.011 * * * * [points]: Setting MPFR precision to 64
0.013 * * * * [points]: Setting MPFR precision to 320
0.014 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.020 * * * * [points]: Setting MPFR precision to 64
0.023 * * * * [points]: Setting MPFR precision to 320
0.026 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.031 * * * * [points]: Setting MPFR precision to 64
0.036 * * * * [points]: Setting MPFR precision to 320
0.041 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.047 * * * * [points]: Setting MPFR precision to 64
0.056 * * * * [points]: Setting MPFR precision to 320
0.064 * * * * [points]: Computing exacts for 256 points
0.070 * * * * [points]: Setting MPFR precision to 64
0.094 * * * * [points]: Setting MPFR precision to 320
0.131 * * * * [points]: Filtering points with unrepresentable outputs
0.131 * * * * [points]: Sampling 107 additional inputs, on iter 1 have 149 / 256
0.132 * * * * [points]: Computing exacts on every 6 of 107 points to ramp up precision
0.138 * * * * [points]: Setting MPFR precision to 64
0.140 * * * * [points]: Setting MPFR precision to 320
0.141 * * * * [points]: Computing exacts on every 3 of 107 points to ramp up precision
0.147 * * * * [points]: Setting MPFR precision to 64
0.150 * * * * [points]: Setting MPFR precision to 320
0.153 * * * * [points]: Computing exacts for 107 points
0.158 * * * * [points]: Setting MPFR precision to 64
0.169 * * * * [points]: Setting MPFR precision to 320
0.179 * * * * [points]: Filtering points with unrepresentable outputs
0.180 * * * * [points]: Sampling 47 additional inputs, on iter 2 have 209 / 256
0.180 * * * * [points]: Computing exacts on every 2 of 47 points to ramp up precision
0.186 * * * * [points]: Setting MPFR precision to 64
0.188 * * * * [points]: Setting MPFR precision to 320
0.189 * * * * [points]: Computing exacts for 47 points
0.195 * * * * [points]: Setting MPFR precision to 64
0.200 * * * * [points]: Setting MPFR precision to 320
0.205 * * * * [points]: Filtering points with unrepresentable outputs
0.205 * * * * [points]: Sampling 22 additional inputs, on iter 3 have 234 / 256
0.205 * * * * [points]: Computing exacts for 22 points
0.211 * * * * [points]: Setting MPFR precision to 64
0.214 * * * * [points]: Setting MPFR precision to 320
0.216 * * * * [points]: Filtering points with unrepresentable outputs
0.216 * * * * [points]: Sampling 12 additional inputs, on iter 4 have 244 / 256
0.216 * * * * [points]: Computing exacts for 12 points
0.222 * * * * [points]: Setting MPFR precision to 64
0.224 * * * * [points]: Setting MPFR precision to 320
0.225 * * * * [points]: Filtering points with unrepresentable outputs
0.225 * * * * [points]: Sampling 7 additional inputs, on iter 5 have 249 / 256
0.226 * * * * [points]: Computing exacts for 7 points
0.232 * * * * [points]: Setting MPFR precision to 64
0.233 * * * * [points]: Setting MPFR precision to 320
0.234 * * * * [points]: Filtering points with unrepresentable outputs
0.234 * * * * [points]: Sampling 6 additional inputs, on iter 6 have 250 / 256
0.234 * * * * [points]: Computing exacts for 6 points
0.239 * * * * [points]: Setting MPFR precision to 64
0.239 * * * * [points]: Setting MPFR precision to 320
0.240 * * * * [points]: Filtering points with unrepresentable outputs
0.240 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 255 / 256
0.240 * * * * [points]: Computing exacts for 4 points
0.243 * * * * [points]: Setting MPFR precision to 64
0.243 * * * * [points]: Setting MPFR precision to 320
0.243 * * * * [points]: Filtering points with unrepresentable outputs
0.244 * * * * [points]: Sampled 258 points with exact outputs
0.244 * * * [progress]: [2/2] Setting up program.
0.255 * [progress]: [Phase 2 of 3] Improving.
0.256 * * * * [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.256 * [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.256 * * [simplify]: iteration 1: (12 enodes)
0.259 * * [simplify]: iteration 2: (29 enodes)
0.264 * * [simplify]: iteration 3: (46 enodes)
0.286 * * [simplify]: iteration 4: (97 enodes)
0.312 * * [simplify]: iteration 5: (335 enodes)
0.536 * * [simplify]: iteration 6: (1742 enodes)
18.594 * * [simplify]: Extracting #0: cost 1 inf + 0
18.594 * * [simplify]: Extracting #1: cost 3 inf + 0
18.594 * * [simplify]: Extracting #2: cost 12 inf + 0
18.595 * * [simplify]: Extracting #3: cost 288 inf + 1
18.610 * * [simplify]: Extracting #4: cost 2458 inf + 4
18.654 * * [simplify]: Extracting #5: cost 3760 inf + 156794
18.905 * * [simplify]: Extracting #6: cost 1636 inf + 3674161
19.259 * * [simplify]: Extracting #7: cost 44 inf + 6594597
19.828 * * [simplify]: Extracting #8: cost 0 inf + 6635954
20.351 * * [simplify]: Extracting #9: cost 0 inf + 6633914
20.848 * [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.872 * * [progress]: iteration 1 / 4
20.872 * * * [progress]: picking best candidate
20.895 * * * * [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.895 * * * [progress]: localizing error
21.097 * * * [progress]: generating rewritten candidates
21.097 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
21.123 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
21.137 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
21.156 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
21.183 * * * [progress]: generating series expansions
21.183 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
21.183 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
21.183 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
21.183 * * * * [progress]: [ 4 / 4 ] generating series at (2)
21.183 * * * [progress]: simplifying candidates
21.183 * * * * [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.183 * * * * [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.183 * * * * [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.183 * * * * [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.183 * * * * [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.184 * * * * [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.184 * * * * [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.184 * * * * [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.184 * [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.184 * * [simplify]: iteration 1: (15 enodes)
21.191 * * [simplify]: iteration 2: (38 enodes)
21.205 * * [simplify]: iteration 3: (94 enodes)
21.228 * * [simplify]: iteration 4: (247 enodes)
21.282 * * [simplify]: iteration 5: (770 enodes)
21.762 * * [simplify]: Extracting #0: cost 3 inf + 0
21.762 * * [simplify]: Extracting #1: cost 59 inf + 0
21.763 * * [simplify]: Extracting #2: cost 88 inf + 1
21.764 * * [simplify]: Extracting #3: cost 143 inf + 3424
21.767 * * [simplify]: Extracting #4: cost 373 inf + 30056
21.780 * * [simplify]: Extracting #5: cost 237 inf + 277539
21.807 * * [simplify]: Extracting #6: cost 77 inf + 525685
21.871 * * [simplify]: Extracting #7: cost 1 inf + 655281
21.936 * * [simplify]: Extracting #8: cost 0 inf + 658563
22.002 * [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))
22.003 * * * [progress]: adding candidates to table
22.317 * * [progress]: iteration 2 / 4
22.318 * * * [progress]: picking best candidate
22.367 * * * * [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.368 * * * [progress]: localizing error
22.637 * * * [progress]: generating rewritten candidates
22.637 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
22.647 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
22.671 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
22.681 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
22.708 * * * [progress]: generating series expansions
22.708 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
22.708 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
22.708 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
22.708 * * * * [progress]: [ 4 / 4 ] generating series at (2)
22.708 * * * [progress]: simplifying candidates
22.708 * * * * [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.708 * * * * [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.708 * * * * [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.708 * * * * [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.708 * * * * [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.709 * * * * [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.709 * * * * [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.709 * * * * [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.709 * [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.709 * * [simplify]: iteration 1: (9 enodes)
22.714 * * [simplify]: iteration 2: (24 enodes)
22.723 * * [simplify]: iteration 3: (72 enodes)
22.757 * * [simplify]: iteration 4: (184 enodes)
22.836 * * [simplify]: iteration 5: (477 enodes)
23.133 * * [simplify]: iteration 6: (915 enodes)
23.764 * * [simplify]: iteration 7: (1064 enodes)
24.332 * * [simplify]: iteration 8: (1087 enodes)
24.613 * * [simplify]: Extracting #0: cost 3 inf + 0
24.613 * * [simplify]: Extracting #1: cost 53 inf + 0
24.614 * * [simplify]: Extracting #2: cost 61 inf + 2
24.616 * * [simplify]: Extracting #3: cost 27 inf + 10317
24.622 * * [simplify]: Extracting #4: cost 0 inf + 26433
24.628 * [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.628 * * * [progress]: adding candidates to table
24.833 * * [progress]: iteration 3 / 4
24.833 * * * [progress]: picking best candidate
24.887 * * * * [pick]: Picked  #<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)))>
24.887 * * * [progress]: localizing error
25.299 * * * [progress]: generating rewritten candidates
25.299 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
25.307 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
25.313 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
25.332 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2)
25.349 * * * [progress]: generating series expansions
25.350 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
25.350 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
25.350 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
25.350 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2)
25.350 * * * [progress]: simplifying candidates
25.350 * * * * [progress]: [ 1 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (+.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))>
25.350 * * * * [progress]: [ 2 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (+.p16 beta alpha) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
25.350 * * * * [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 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha)) (+.p16 (*.p16 beta beta) (*.p16 alpha alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))>
25.350 * * * * [progress]: [ 4 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (/.p16 (-.p16 beta alpha) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
25.350 * * * * [progress]: [ 5 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (+.p16 beta alpha) (-.p16 beta alpha)) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
25.350 * * * * [progress]: [ 6 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (+.p16 (*.p16 beta beta) (neg.p16 (*.p16 alpha alpha))) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
25.350 * * * * [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 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
25.350 * * * * [progress]: [ 8 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha)))) (real->posit16 2.0)))>
25.350 * * * * [progress]: [ 9 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) beta) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
25.351 * * * * [progress]: [ 10 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (+.p16 (*.p16 beta (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (*.p16 alpha (+.p16 (+.p16 alpha beta) (real->posit16 2.0))))) (real->posit16 1.0)) (real->posit16 2.0)))>
25.351 * * * * [progress]: [ 11 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))>
25.351 * * * * [progress]: [ 12 / 15 ] 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)))>
25.351 * * * * [progress]: [ 13 / 15 ] 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)))>
25.351 * * * * [progress]: [ 14 / 15 ] 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)))>
25.351 * * * * [progress]: [ 15 / 15 ] 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)))>
25.351 * [simplify]: Simplifying:
  (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))
  (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha)) (-.p16 beta alpha))
  (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha)) (+.p16 (*.p16 beta beta) (*.p16 alpha alpha)))
  (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 alpha 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 (+.p16 alpha beta) (real->posit16 2.0)) beta)
  (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) alpha)
  (*.p16 beta (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))
  (*.p16 alpha (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))
  (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))
  (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))
  (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))
  (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))
25.352 * * [simplify]: iteration 1: (26 enodes)
25.364 * * [simplify]: iteration 2: (82 enodes)
25.406 * * [simplify]: iteration 3: (278 enodes)
25.593 * * [simplify]: iteration 4: (1312 enodes)
27.654 * * [simplify]: Extracting #0: cost 13 inf + 0
27.657 * * [simplify]: Extracting #1: cost 475 inf + 0
27.669 * * [simplify]: Extracting #2: cost 1446 inf + 26262
27.706 * * [simplify]: Extracting #3: cost 1371 inf + 459263
27.779 * * [simplify]: Extracting #4: cost 976 inf + 1249922
27.888 * * [simplify]: Extracting #5: cost 478 inf + 2031787
28.017 * * [simplify]: Extracting #6: cost 18 inf + 2617290
28.153 * * [simplify]: Extracting #7: cost 0 inf + 2631744
28.371 * [simplify]: Simplified to:
  (*.p16 (-.p16 beta alpha) (/.p16 (+.p16 alpha beta) (+.p16 (real->posit16 2.0) (+.p16 alpha beta))))
  (*.p16 (/.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 (real->posit16 2.0) (+.p16 alpha beta)))
  (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 (*.p16 alpha alpha) (*.p16 beta beta))) (+.p16 (real->posit16 2.0) (+.p16 alpha beta)))
  (/.p16 (+.p16 alpha beta) (+.p16 (real->posit16 2.0) (+.p16 alpha beta)))
  (/.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 (real->posit16 2.0) (+.p16 alpha beta)))
  (*.p16 alpha (+.p16 (real->posit16 2.0) (+.p16 alpha beta)))
  (*.p16 beta (+.p16 (real->posit16 2.0) (+.p16 alpha beta)))
  (*.p16 alpha (+.p16 (real->posit16 2.0) (+.p16 alpha beta)))
  (*.p16 (+.p16 (real->posit16 2.0) (+.p16 alpha beta)) (+.p16 alpha beta))
  (*.p16 (+.p16 (real->posit16 2.0) (+.p16 alpha beta)) (+.p16 alpha beta))
  (*.p16 (+.p16 (real->posit16 2.0) (+.p16 alpha beta)) (+.p16 alpha beta))
  (*.p16 (+.p16 (real->posit16 2.0) (+.p16 alpha beta)) (+.p16 alpha beta))
28.373 * * * [progress]: adding candidates to table
28.918 * * [progress]: iteration 4 / 4
28.918 * * * [progress]: picking best candidate
29.406 * * * * [pick]: Picked  #<alt (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (/.p16 (-.p16 beta alpha) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
29.406 * * * [progress]: localizing error
29.673 * * * [progress]: generating rewritten candidates
29.673 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2)
29.677 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
29.682 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
29.691 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
29.695 * * * [progress]: generating series expansions
29.695 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2)
29.695 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
29.695 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
29.695 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
29.695 * * * [progress]: simplifying candidates
29.695 * * * * [progress]: [ 1 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 alpha 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)))>
29.695 * * * * [progress]: [ 2 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (-.p16 beta alpha)) (+.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))>
29.695 * * * * [progress]: [ 3 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (+.p16 beta alpha) (/.p16 (-.p16 beta alpha) (+.p16 beta alpha))) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
29.695 * * * * [progress]: [ 4 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))>
29.695 * * * * [progress]: [ 5 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (*.p16 (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (/.p16 (-.p16 beta alpha) (+.p16 beta alpha)))) (real->posit16 2.0)))>
29.695 * * * * [progress]: [ 6 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (/.p16 (-.p16 beta alpha) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
29.695 * * * * [progress]: [ 7 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (/.p16 (-.p16 beta alpha) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
29.696 * * * * [progress]: [ 8 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (/.p16 (-.p16 beta alpha) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
29.696 * * * * [progress]: [ 9 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (/.p16 (-.p16 beta alpha) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
29.696 * [simplify]: Simplifying:
  (*.p16 (+.p16 beta alpha) (+.p16 beta alpha))
  (*.p16 (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (-.p16 beta alpha))
  (*.p16 (+.p16 beta alpha) (/.p16 (-.p16 beta alpha) (+.p16 beta alpha)))
  (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))
  (/.p16 (-.p16 beta alpha) (+.p16 beta alpha))
  (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))
  (/.p16 (-.p16 beta alpha) (+.p16 beta alpha))
  (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))
  (/.p16 (-.p16 beta alpha) (+.p16 beta alpha))
  (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))
  (/.p16 (-.p16 beta alpha) (+.p16 beta alpha))
29.696 * * [simplify]: iteration 1: (13 enodes)
29.699 * * [simplify]: iteration 2: (38 enodes)
29.706 * * [simplify]: iteration 3: (96 enodes)
29.731 * * [simplify]: iteration 4: (312 enodes)
29.878 * * [simplify]: iteration 5: (1552 enodes)
46.753 * * [simplify]: Extracting #0: cost 5 inf + 0
46.755 * * [simplify]: Extracting #1: cost 268 inf + 0
46.766 * * [simplify]: Extracting #2: cost 1860 inf + 2493
46.805 * * [simplify]: Extracting #3: cost 2571 inf + 225102
46.889 * * [simplify]: Extracting #4: cost 1316 inf + 1891560
47.032 * * [simplify]: Extracting #5: cost 648 inf + 2907324
47.238 * * [simplify]: Extracting #6: cost 28 inf + 4017351
47.630 * * [simplify]: Extracting #7: cost 0 inf + 4069358
48.019 * [simplify]: Simplified to:
  (*.p16 (+.p16 alpha beta) (+.p16 alpha beta))
  (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 alpha (+.p16 beta (real->posit16 2.0))))
  (-.p16 beta alpha)
  (/.p16 (+.p16 alpha beta) (+.p16 alpha (+.p16 beta (real->posit16 2.0))))
  (/.p16 (-.p16 beta alpha) (+.p16 alpha beta))
  (/.p16 (+.p16 alpha beta) (+.p16 alpha (+.p16 beta (real->posit16 2.0))))
  (/.p16 (-.p16 beta alpha) (+.p16 alpha beta))
  (/.p16 (+.p16 alpha beta) (+.p16 alpha (+.p16 beta (real->posit16 2.0))))
  (/.p16 (-.p16 beta alpha) (+.p16 alpha beta))
  (/.p16 (+.p16 alpha beta) (+.p16 alpha (+.p16 beta (real->posit16 2.0))))
  (/.p16 (-.p16 beta alpha) (+.p16 alpha beta))
48.021 * * * [progress]: adding candidates to table
48.414 * [progress]: [Phase 3 of 3] Extracting.
48.414 * * [regime]: Finding splitpoints for: (#<alt (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (/.p16 (-.p16 beta alpha) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (+.p16 beta alpha) (-.p16 beta alpha)) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<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 beta) (+.p16 (*.p16 alpha alpha) (*.p16 beta beta))) (+.p16 (real->posit16 2.0) (+.p16 alpha beta)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 (*.p16 alpha alpha) (*.p16 beta beta)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))) (+.p16 (*.p16 alpha alpha) (*.p16 beta beta))) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (+.p16 beta alpha) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 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 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 (+.p16 beta alpha) (+.p16 (+.p16 alpha 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 (+.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (-.p16 beta alpha)) (+.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))>)
48.418 * * * [regime-changes]: Trying 2 branch expressions: (alpha beta)
48.418 * * * * [regimes]: Trying to branch on alpha from (#<alt (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (/.p16 (-.p16 beta alpha) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (+.p16 beta alpha) (-.p16 beta alpha)) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<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 beta) (+.p16 (*.p16 alpha alpha) (*.p16 beta beta))) (+.p16 (real->posit16 2.0) (+.p16 alpha beta)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 (*.p16 alpha alpha) (*.p16 beta beta)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))) (+.p16 (*.p16 alpha alpha) (*.p16 beta beta))) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (+.p16 beta alpha) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 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 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 (+.p16 beta alpha) (+.p16 (+.p16 alpha 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 (+.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (-.p16 beta alpha)) (+.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))>)
48.768 * * * * [regimes]: Trying to branch on beta from (#<alt (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (/.p16 (-.p16 beta alpha) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (+.p16 beta alpha) (-.p16 beta alpha)) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<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 beta) (+.p16 (*.p16 alpha alpha) (*.p16 beta beta))) (+.p16 (real->posit16 2.0) (+.p16 alpha beta)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 (*.p16 alpha alpha) (*.p16 beta beta)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))) (+.p16 (*.p16 alpha alpha) (*.p16 beta beta))) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (+.p16 beta alpha) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 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 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 (+.p16 beta alpha) (+.p16 (+.p16 alpha 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 (+.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (-.p16 beta alpha)) (+.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))>)
49.099 * * * [regime]: Found split indices: #<option (#s(si 5 256))>
49.100 * [simplify]: Simplifying:
  (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0))
49.100 * * [simplify]: iteration 1: (12 enodes)
49.102 * * [simplify]: Extracting #0: cost 1 inf + 0
49.102 * * [simplify]: Extracting #1: cost 3 inf + 0
49.102 * * [simplify]: Extracting #2: cost 6 inf + 0
49.102 * * [simplify]: Extracting #3: cost 8 inf + 1
49.102 * * [simplify]: Extracting #4: cost 8 inf + 4
49.102 * * [simplify]: Extracting #5: cost 6 inf + 6
49.102 * * [simplify]: Extracting #6: cost 0 inf + 2544
49.103 * [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))
49.103 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
49.134 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
49.137 * * * * [points]: Setting MPFR precision to 64
49.139 * * * * [points]: Setting MPFR precision to 320
49.140 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
49.143 * * * * [points]: Setting MPFR precision to 64
49.144 * * * * [points]: Setting MPFR precision to 320
49.146 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
49.149 * * * * [points]: Setting MPFR precision to 64
49.153 * * * * [points]: Setting MPFR precision to 320
49.157 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
49.160 * * * * [points]: Setting MPFR precision to 64
49.167 * * * * [points]: Setting MPFR precision to 320
49.174 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
49.177 * * * * [points]: Setting MPFR precision to 64
49.206 * * * * [points]: Setting MPFR precision to 320
49.221 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
49.225 * * * * [points]: Setting MPFR precision to 64
49.263 * * * * [points]: Setting MPFR precision to 320
49.310 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
49.315 * * * * [points]: Setting MPFR precision to 64
49.451 * * * * [points]: Setting MPFR precision to 320
49.544 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
49.550 * * * * [points]: Setting MPFR precision to 64
49.784 * * * * [points]: Setting MPFR precision to 320
50.020 * * * * [points]: Computing exacts for 8000 points
50.026 * * * * [points]: Setting MPFR precision to 64
50.951 * * * * [points]: Setting MPFR precision to 320
52.185 * * * * [points]: Filtering points with unrepresentable outputs
52.200 * * * * [points]: Sampling 3461 additional inputs, on iter 1 have 4539 / 8000
52.217 * * * * [points]: Computing exacts on every 216 of 3461 points to ramp up precision
52.220 * * * * [points]: Setting MPFR precision to 64
52.221 * * * * [points]: Setting MPFR precision to 320
52.222 * * * * [points]: Computing exacts on every 108 of 3461 points to ramp up precision
52.225 * * * * [points]: Setting MPFR precision to 64
52.227 * * * * [points]: Setting MPFR precision to 320
52.228 * * * * [points]: Computing exacts on every 54 of 3461 points to ramp up precision
52.231 * * * * [points]: Setting MPFR precision to 64
52.234 * * * * [points]: Setting MPFR precision to 320
52.238 * * * * [points]: Computing exacts on every 27 of 3461 points to ramp up precision
52.240 * * * * [points]: Setting MPFR precision to 64
52.249 * * * * [points]: Setting MPFR precision to 320
52.290 * * * * [points]: Computing exacts on every 13 of 3461 points to ramp up precision
52.298 * * * * [points]: Setting MPFR precision to 64
52.323 * * * * [points]: Setting MPFR precision to 320
52.348 * * * * [points]: Computing exacts on every 6 of 3461 points to ramp up precision
52.353 * * * * [points]: Setting MPFR precision to 64
52.404 * * * * [points]: Setting MPFR precision to 320
52.453 * * * * [points]: Computing exacts on every 3 of 3461 points to ramp up precision
52.459 * * * * [points]: Setting MPFR precision to 64
52.534 * * * * [points]: Setting MPFR precision to 320
52.600 * * * * [points]: Computing exacts for 3461 points
52.605 * * * * [points]: Setting MPFR precision to 64
52.975 * * * * [points]: Setting MPFR precision to 320
53.235 * * * * [points]: Filtering points with unrepresentable outputs
53.239 * * * * [points]: Sampling 1534 additional inputs, on iter 2 have 6466 / 8000
53.243 * * * * [points]: Computing exacts on every 95 of 1534 points to ramp up precision
53.273 * * * * [points]: Setting MPFR precision to 64
53.274 * * * * [points]: Setting MPFR precision to 320
53.275 * * * * [points]: Computing exacts on every 47 of 1534 points to ramp up precision
53.278 * * * * [points]: Setting MPFR precision to 64
53.282 * * * * [points]: Setting MPFR precision to 320
53.283 * * * * [points]: Computing exacts on every 23 of 1534 points to ramp up precision
53.287 * * * * [points]: Setting MPFR precision to 64
53.290 * * * * [points]: Setting MPFR precision to 320
53.294 * * * * [points]: Computing exacts on every 11 of 1534 points to ramp up precision
53.297 * * * * [points]: Setting MPFR precision to 64
53.304 * * * * [points]: Setting MPFR precision to 320
53.311 * * * * [points]: Computing exacts on every 5 of 1534 points to ramp up precision
53.314 * * * * [points]: Setting MPFR precision to 64
53.328 * * * * [points]: Setting MPFR precision to 320
53.342 * * * * [points]: Computing exacts on every 2 of 1534 points to ramp up precision
53.345 * * * * [points]: Setting MPFR precision to 64
53.373 * * * * [points]: Setting MPFR precision to 320
53.426 * * * * [points]: Computing exacts for 1534 points
53.429 * * * * [points]: Setting MPFR precision to 64
53.511 * * * * [points]: Setting MPFR precision to 320
53.623 * * * * [points]: Filtering points with unrepresentable outputs
53.625 * * * * [points]: Sampling 660 additional inputs, on iter 3 have 7340 / 8000
53.627 * * * * [points]: Computing exacts on every 41 of 660 points to ramp up precision
53.630 * * * * [points]: Setting MPFR precision to 64
53.631 * * * * [points]: Setting MPFR precision to 320
53.632 * * * * [points]: Computing exacts on every 20 of 660 points to ramp up precision
53.635 * * * * [points]: Setting MPFR precision to 64
53.637 * * * * [points]: Setting MPFR precision to 320
53.638 * * * * [points]: Computing exacts on every 10 of 660 points to ramp up precision
53.641 * * * * [points]: Setting MPFR precision to 64
53.644 * * * * [points]: Setting MPFR precision to 320
53.647 * * * * [points]: Computing exacts on every 5 of 660 points to ramp up precision
53.650 * * * * [points]: Setting MPFR precision to 64
53.678 * * * * [points]: Setting MPFR precision to 320
53.684 * * * * [points]: Computing exacts on every 2 of 660 points to ramp up precision
53.688 * * * * [points]: Setting MPFR precision to 64
53.700 * * * * [points]: Setting MPFR precision to 320
53.711 * * * * [points]: Computing exacts for 660 points
53.715 * * * * [points]: Setting MPFR precision to 64
53.753 * * * * [points]: Setting MPFR precision to 320
53.799 * * * * [points]: Filtering points with unrepresentable outputs
53.801 * * * * [points]: Sampling 297 additional inputs, on iter 4 have 7703 / 8000
53.802 * * * * [points]: Computing exacts on every 18 of 297 points to ramp up precision
53.841 * * * * [points]: Setting MPFR precision to 64
53.843 * * * * [points]: Setting MPFR precision to 320
53.844 * * * * [points]: Computing exacts on every 9 of 297 points to ramp up precision
53.852 * * * * [points]: Setting MPFR precision to 64
53.855 * * * * [points]: Setting MPFR precision to 320
53.857 * * * * [points]: Computing exacts on every 4 of 297 points to ramp up precision
53.862 * * * * [points]: Setting MPFR precision to 64
53.867 * * * * [points]: Setting MPFR precision to 320
53.872 * * * * [points]: Computing exacts on every 2 of 297 points to ramp up precision
53.878 * * * * [points]: Setting MPFR precision to 64
53.886 * * * * [points]: Setting MPFR precision to 320
53.895 * * * * [points]: Computing exacts for 297 points
53.900 * * * * [points]: Setting MPFR precision to 64
53.926 * * * * [points]: Setting MPFR precision to 320
53.954 * * * * [points]: Filtering points with unrepresentable outputs
53.955 * * * * [points]: Sampling 126 additional inputs, on iter 5 have 7874 / 8000
53.955 * * * * [points]: Computing exacts on every 7 of 126 points to ramp up precision
53.959 * * * * [points]: Setting MPFR precision to 64
53.960 * * * * [points]: Setting MPFR precision to 320
53.961 * * * * [points]: Computing exacts on every 3 of 126 points to ramp up precision
53.965 * * * * [points]: Setting MPFR precision to 64
53.968 * * * * [points]: Setting MPFR precision to 320
53.971 * * * * [points]: Computing exacts for 126 points
53.975 * * * * [points]: Setting MPFR precision to 64
53.986 * * * * [points]: Setting MPFR precision to 320
54.029 * * * * [points]: Filtering points with unrepresentable outputs
54.029 * * * * [points]: Sampling 52 additional inputs, on iter 6 have 7948 / 8000
54.029 * * * * [points]: Computing exacts on every 3 of 52 points to ramp up precision
54.034 * * * * [points]: Setting MPFR precision to 64
54.036 * * * * [points]: Setting MPFR precision to 320
54.037 * * * * [points]: Computing exacts for 52 points
54.044 * * * * [points]: Setting MPFR precision to 64
54.048 * * * * [points]: Setting MPFR precision to 320
54.053 * * * * [points]: Filtering points with unrepresentable outputs
54.053 * * * * [points]: Sampling 36 additional inputs, on iter 7 have 7964 / 8000
54.053 * * * * [points]: Computing exacts on every 2 of 36 points to ramp up precision
54.058 * * * * [points]: Setting MPFR precision to 64
54.060 * * * * [points]: Setting MPFR precision to 320
54.061 * * * * [points]: Computing exacts for 36 points
54.065 * * * * [points]: Setting MPFR precision to 64
54.069 * * * * [points]: Setting MPFR precision to 320
54.072 * * * * [points]: Filtering points with unrepresentable outputs
54.072 * * * * [points]: Sampling 16 additional inputs, on iter 8 have 7984 / 8000
54.072 * * * * [points]: Computing exacts for 16 points
54.077 * * * * [points]: Setting MPFR precision to 64
54.078 * * * * [points]: Setting MPFR precision to 320
54.079 * * * * [points]: Filtering points with unrepresentable outputs
54.079 * * * * [points]: Sampling 10 additional inputs, on iter 9 have 7990 / 8000
54.079 * * * * [points]: Computing exacts for 10 points
54.082 * * * * [points]: Setting MPFR precision to 64
54.082 * * * * [points]: Setting MPFR precision to 320
54.083 * * * * [points]: Filtering points with unrepresentable outputs
54.083 * * * * [points]: Sampling 4 additional inputs, on iter 10 have 7998 / 8000
54.083 * * * * [points]: Computing exacts for 4 points
54.086 * * * * [points]: Setting MPFR precision to 64
54.086 * * * * [points]: Setting MPFR precision to 320
54.086 * * * * [points]: Filtering points with unrepresentable outputs
54.086 * * * * [points]: Sampled 8001 points with exact outputs
60.695 * [regime-testing]: Baseline error score: 64.0
60.702 * [regime-testing]: Oracle error score: 64.0
60.715 * [regime-testing]: End program error score: 0.734361847967907