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.008 * * * * [points]: Setting MPFR precision to 64
0.009 * * * * [points]: Setting MPFR precision to 320
0.010 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.016 * * * * [points]: Setting MPFR precision to 64
0.018 * * * * [points]: Setting MPFR precision to 320
0.020 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.025 * * * * [points]: Setting MPFR precision to 64
0.028 * * * * [points]: Setting MPFR precision to 320
0.031 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.040 * * * * [points]: Setting MPFR precision to 64
0.050 * * * * [points]: Setting MPFR precision to 320
0.058 * * * * [points]: Computing exacts for 256 points
0.063 * * * * [points]: Setting MPFR precision to 64
0.081 * * * * [points]: Setting MPFR precision to 320
0.114 * * * * [points]: Filtering points with unrepresentable outputs
0.115 * * * * [points]: Sampling 107 additional inputs, on iter 1 have 149 / 256
0.115 * * * * [points]: Computing exacts on every 6 of 107 points to ramp up precision
0.120 * * * * [points]: Setting MPFR precision to 64
0.121 * * * * [points]: Setting MPFR precision to 320
0.122 * * * * [points]: Computing exacts on every 3 of 107 points to ramp up precision
0.127 * * * * [points]: Setting MPFR precision to 64
0.129 * * * * [points]: Setting MPFR precision to 320
0.131 * * * * [points]: Computing exacts for 107 points
0.136 * * * * [points]: Setting MPFR precision to 64
0.143 * * * * [points]: Setting MPFR precision to 320
0.150 * * * * [points]: Filtering points with unrepresentable outputs
0.150 * * * * [points]: Sampling 47 additional inputs, on iter 2 have 209 / 256
0.150 * * * * [points]: Computing exacts on every 2 of 47 points to ramp up precision
0.156 * * * * [points]: Setting MPFR precision to 64
0.157 * * * * [points]: Setting MPFR precision to 320
0.158 * * * * [points]: Computing exacts for 47 points
0.163 * * * * [points]: Setting MPFR precision to 64
0.167 * * * * [points]: Setting MPFR precision to 320
0.171 * * * * [points]: Filtering points with unrepresentable outputs
0.171 * * * * [points]: Sampling 22 additional inputs, on iter 3 have 234 / 256
0.171 * * * * [points]: Computing exacts for 22 points
0.180 * * * * [points]: Setting MPFR precision to 64
0.183 * * * * [points]: Setting MPFR precision to 320
0.185 * * * * [points]: Filtering points with unrepresentable outputs
0.185 * * * * [points]: Sampling 12 additional inputs, on iter 4 have 244 / 256
0.186 * * * * [points]: Computing exacts for 12 points
0.217 * * * * [points]: Setting MPFR precision to 64
0.219 * * * * [points]: Setting MPFR precision to 320
0.220 * * * * [points]: Filtering points with unrepresentable outputs
0.221 * * * * [points]: Sampling 7 additional inputs, on iter 5 have 249 / 256
0.221 * * * * [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.243 * * * * [points]: Setting MPFR precision to 64
0.244 * * * * [points]: Setting MPFR precision to 320
0.245 * * * * [points]: Filtering points with unrepresentable outputs
0.245 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 255 / 256
0.245 * * * * [points]: Computing exacts for 4 points
0.249 * * * * [points]: Setting MPFR precision to 64
0.250 * * * * [points]: Setting MPFR precision to 320
0.250 * * * * [points]: Filtering points with unrepresentable outputs
0.250 * * * * [points]: Sampled 258 points with exact outputs
0.250 * * * [progress]: [2/2] Setting up program.
0.265 * [progress]: [Phase 2 of 3] Improving.
0.265 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
0.265 * [simplify]: Simplifying:
  (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)))
0.265 * * [simplify]: iteration 1: (18 enodes)
0.270 * * [simplify]: iteration 2: (46 enodes)
0.278 * * [simplify]: iteration 3: (118 enodes)
0.320 * * [simplify]: iteration 4: (502 enodes)
0.790 * * [simplify]: Extracting #0: cost 1 inf + 0
0.791 * * [simplify]: Extracting #1: cost 11 inf + 0
0.791 * * [simplify]: Extracting #2: cost 444 inf + 0
0.794 * * [simplify]: Extracting #3: cost 904 inf + 1411
0.799 * * [simplify]: Extracting #4: cost 913 inf + 5512
0.805 * * [simplify]: Extracting #5: cost 860 inf + 24534
0.828 * * [simplify]: Extracting #6: cost 557 inf + 257395
0.904 * * [simplify]: Extracting #7: cost 56 inf + 737704
1.010 * * [simplify]: Extracting #8: cost 0 inf + 794997
1.123 * * [simplify]: Extracting #9: cost 0 inf + 794710
1.230 * [simplify]: Simplified to:
  (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (*.p16 (+.p16 (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) beta) alpha) (*.p16 (+.p16 (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) beta) alpha) (+.p16 (+.p16 alpha (real->posit16 1.0)) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) beta)))))
1.274 * * [progress]: iteration 1 / 4
1.274 * * * [progress]: picking best candidate
1.323 * * * * [pick]: Picked  #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1.323 * * * [progress]: localizing error
1.671 * * * [progress]: generating rewritten candidates
1.671 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
1.759 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1)
1.768 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
1.815 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
1.878 * * * [progress]: generating series expansions
1.878 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
1.878 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1)
1.878 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
1.878 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
1.879 * * * [progress]: simplifying candidates
1.879 * * * * [progress]: [ 1 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 beta alpha))) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1.879 * * * * [progress]: [ 2 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (*.p16 beta alpha) (+.p16 alpha beta)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1.879 * * * * [progress]: [ 3 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 alpha beta) (+.p16 (*.p16 beta alpha) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1.879 * * * * [progress]: [ 4 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (real->posit16 1.0) (+.p16 (+.p16 alpha beta) (*.p16 beta alpha))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1.879 * * * * [progress]: [ 5 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1.879 * * * * [progress]: [ 6 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1.879 * * * * [progress]: [ 7 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1.879 * * * * [progress]: [ 8 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1.879 * * * * [progress]: [ 9 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1.880 * [simplify]: Simplifying:
  (+.p16 beta (*.p16 beta alpha))
  (+.p16 (*.p16 beta alpha) (real->posit16 1.0))
  (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))
  (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)))
  (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)))
  (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)))
  (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)))
1.880 * * [simplify]: iteration 1: (21 enodes)
1.890 * * [simplify]: iteration 2: (54 enodes)
1.902 * * [simplify]: iteration 3: (156 enodes)
1.976 * * [simplify]: iteration 4: (652 enodes)
2.688 * * [simplify]: Extracting #0: cost 4 inf + 0
2.689 * * [simplify]: Extracting #1: cost 101 inf + 0
2.690 * * [simplify]: Extracting #2: cost 689 inf + 1
2.695 * * [simplify]: Extracting #3: cost 910 inf + 9891
2.702 * * [simplify]: Extracting #4: cost 882 inf + 25275
2.731 * * [simplify]: Extracting #5: cost 471 inf + 394138
2.827 * * [simplify]: Extracting #6: cost 28 inf + 863132
2.927 * * [simplify]: Extracting #7: cost 0 inf + 884018
3.075 * [simplify]: Simplified to:
  (+.p16 (*.p16 alpha beta) beta)
  (+.p16 (real->posit16 1.0) (*.p16 alpha beta))
  (*.p16 (+.p16 (+.p16 beta (*.p16 (real->posit16 1) (real->posit16 2))) alpha) (+.p16 (+.p16 beta (*.p16 (real->posit16 1) (real->posit16 2))) alpha))
  (/.p16 (+.p16 (+.p16 beta (+.p16 (real->posit16 1.0) (*.p16 alpha beta))) alpha) (*.p16 (+.p16 (*.p16 (+.p16 (+.p16 beta (*.p16 (real->posit16 1) (real->posit16 2))) alpha) (+.p16 (+.p16 beta (*.p16 (real->posit16 1) (real->posit16 2))) alpha)) (+.p16 (+.p16 beta (*.p16 (real->posit16 1) (real->posit16 2))) alpha)) (+.p16 (+.p16 beta (*.p16 (real->posit16 1) (real->posit16 2))) alpha)))
  (/.p16 (+.p16 (+.p16 beta (+.p16 (real->posit16 1.0) (*.p16 alpha beta))) alpha) (*.p16 (+.p16 (*.p16 (+.p16 (+.p16 beta (*.p16 (real->posit16 1) (real->posit16 2))) alpha) (+.p16 (+.p16 beta (*.p16 (real->posit16 1) (real->posit16 2))) alpha)) (+.p16 (+.p16 beta (*.p16 (real->posit16 1) (real->posit16 2))) alpha)) (+.p16 (+.p16 beta (*.p16 (real->posit16 1) (real->posit16 2))) alpha)))
  (/.p16 (+.p16 (+.p16 beta (+.p16 (real->posit16 1.0) (*.p16 alpha beta))) alpha) (*.p16 (+.p16 (*.p16 (+.p16 (+.p16 beta (*.p16 (real->posit16 1) (real->posit16 2))) alpha) (+.p16 (+.p16 beta (*.p16 (real->posit16 1) (real->posit16 2))) alpha)) (+.p16 (+.p16 beta (*.p16 (real->posit16 1) (real->posit16 2))) alpha)) (+.p16 (+.p16 beta (*.p16 (real->posit16 1) (real->posit16 2))) alpha)))
  (/.p16 (+.p16 (+.p16 beta (+.p16 (real->posit16 1.0) (*.p16 alpha beta))) alpha) (*.p16 (+.p16 (*.p16 (+.p16 (+.p16 beta (*.p16 (real->posit16 1) (real->posit16 2))) alpha) (+.p16 (+.p16 beta (*.p16 (real->posit16 1) (real->posit16 2))) alpha)) (+.p16 (+.p16 beta (*.p16 (real->posit16 1) (real->posit16 2))) alpha)) (+.p16 (+.p16 beta (*.p16 (real->posit16 1) (real->posit16 2))) alpha)))
3.076 * * * [progress]: adding candidates to table
3.456 * * [progress]: iteration 2 / 4
3.456 * * * [progress]: picking best candidate
3.593 * * * * [pick]: Picked  #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 beta alpha))) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
3.594 * * * [progress]: localizing error
3.994 * * * [progress]: generating rewritten candidates
3.994 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
4.022 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1)
4.027 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
4.056 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
4.081 * * * [progress]: generating series expansions
4.081 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
4.081 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1)
4.082 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
4.082 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
4.082 * * * [progress]: simplifying candidates
4.082 * * * * [progress]: [ 1 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
4.082 * * * * [progress]: [ 2 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 beta (*.p16 beta alpha)) alpha) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
4.082 * * * * [progress]: [ 3 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 alpha (+.p16 (+.p16 beta (*.p16 beta alpha)) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
4.082 * * * * [progress]: [ 4 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (real->posit16 1.0) (+.p16 alpha (+.p16 beta (*.p16 beta alpha)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
4.082 * * * * [progress]: [ 5 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 beta alpha))) (real->posit16 1.0)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
4.082 * * * * [progress]: [ 6 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 beta alpha))) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
4.082 * * * * [progress]: [ 7 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 beta alpha))) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
4.082 * * * * [progress]: [ 8 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 beta alpha))) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
4.082 * * * * [progress]: [ 9 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 beta alpha))) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
4.082 * [simplify]: Simplifying:
  (+.p16 alpha beta)
  (+.p16 (+.p16 beta (*.p16 beta alpha)) (real->posit16 1.0))
  (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))
  (+.p16 beta (*.p16 beta alpha))
  (+.p16 beta (*.p16 beta alpha))
  (+.p16 beta (*.p16 beta alpha))
  (+.p16 beta (*.p16 beta alpha))
4.082 * * [simplify]: iteration 1: (15 enodes)
4.088 * * [simplify]: iteration 2: (40 enodes)
4.096 * * [simplify]: iteration 3: (100 enodes)
4.129 * * [simplify]: iteration 4: (340 enodes)
4.381 * * [simplify]: iteration 5: (1192 enodes)
6.005 * * [simplify]: Extracting #0: cost 4 inf + 0
6.006 * * [simplify]: Extracting #1: cost 166 inf + 0
6.022 * * [simplify]: Extracting #2: cost 886 inf + 2135
6.031 * * [simplify]: Extracting #3: cost 873 inf + 9367
6.040 * * [simplify]: Extracting #4: cost 855 inf + 13876
6.058 * * [simplify]: Extracting #5: cost 650 inf + 246983
6.148 * * [simplify]: Extracting #6: cost 89 inf + 980341
6.314 * * [simplify]: Extracting #7: cost 0 inf + 1049492
6.469 * * [simplify]: Extracting #8: cost 0 inf + 1047532
6.572 * [simplify]: Simplified to:
  (+.p16 beta alpha)
  (+.p16 (*.p16 beta alpha) (+.p16 beta (real->posit16 1.0)))
  (*.p16 (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 1) (real->posit16 2)))) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 1) (real->posit16 2)))))
  (+.p16 (*.p16 beta alpha) beta)
  (+.p16 (*.p16 beta alpha) beta)
  (+.p16 (*.p16 beta alpha) beta)
  (+.p16 (*.p16 beta alpha) beta)
6.573 * * * [progress]: adding candidates to table
6.924 * * [progress]: iteration 3 / 4
6.924 * * * [progress]: picking best candidate
7.033 * * * * [pick]: Picked  #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 alpha (+.p16 (+.p16 beta (*.p16 beta alpha)) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
7.033 * * * [progress]: localizing error
7.404 * * * [progress]: generating rewritten candidates
7.404 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
7.422 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
7.431 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
7.450 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2 1)
7.456 * * * [progress]: generating series expansions
7.456 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
7.456 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
7.456 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
7.456 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2 1)
7.456 * * * [progress]: simplifying candidates
7.456 * * * * [progress]: [ 1 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 beta alpha))) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
7.456 * * * * [progress]: [ 2 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 beta (*.p16 beta alpha)) (real->posit16 1.0)) alpha) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
7.456 * * * * [progress]: [ 3 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 alpha (+.p16 (+.p16 beta (*.p16 beta alpha)) (real->posit16 1.0))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
7.456 * * * * [progress]: [ 4 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 alpha (+.p16 (+.p16 (*.p16 beta alpha) beta) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
7.456 * * * * [progress]: [ 5 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 alpha (+.p16 (+.p16 beta (*.p16 beta alpha)) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
7.456 * * * * [progress]: [ 6 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 alpha (+.p16 (+.p16 beta (*.p16 beta alpha)) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
7.456 * * * * [progress]: [ 7 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 alpha (+.p16 (+.p16 beta (*.p16 beta alpha)) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
7.456 * * * * [progress]: [ 8 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 alpha (+.p16 (+.p16 beta (*.p16 beta alpha)) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
7.457 * [simplify]: Simplifying:
  (+.p16 alpha (+.p16 beta (*.p16 beta alpha)))
  (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))
  (+.p16 (+.p16 beta (*.p16 beta alpha)) (real->posit16 1.0))
  (+.p16 (+.p16 beta (*.p16 beta alpha)) (real->posit16 1.0))
  (+.p16 (+.p16 beta (*.p16 beta alpha)) (real->posit16 1.0))
  (+.p16 (+.p16 beta (*.p16 beta alpha)) (real->posit16 1.0))
7.457 * * [simplify]: iteration 1: (16 enodes)
7.461 * * [simplify]: iteration 2: (43 enodes)
7.471 * * [simplify]: iteration 3: (109 enodes)
7.499 * * [simplify]: iteration 4: (351 enodes)
7.778 * * [simplify]: iteration 5: (1249 enodes)
10.061 * * [simplify]: Extracting #0: cost 3 inf + 0
10.062 * * [simplify]: Extracting #1: cost 162 inf + 0
10.069 * * [simplify]: Extracting #2: cost 942 inf + 2134
10.074 * * [simplify]: Extracting #3: cost 928 inf + 7925
10.079 * * [simplify]: Extracting #4: cost 913 inf + 11633
10.097 * * [simplify]: Extracting #5: cost 723 inf + 202842
10.159 * * [simplify]: Extracting #6: cost 130 inf + 932572
10.255 * * [simplify]: Extracting #7: cost 0 inf + 1060077
10.420 * * [simplify]: Extracting #8: cost 0 inf + 1059477
10.542 * [simplify]: Simplified to:
  (+.p16 alpha (+.p16 beta (*.p16 beta alpha)))
  (*.p16 (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)))
  (+.p16 (+.p16 beta (*.p16 beta alpha)) (real->posit16 1.0))
  (+.p16 (+.p16 beta (*.p16 beta alpha)) (real->posit16 1.0))
  (+.p16 (+.p16 beta (*.p16 beta alpha)) (real->posit16 1.0))
  (+.p16 (+.p16 beta (*.p16 beta alpha)) (real->posit16 1.0))
10.542 * * * [progress]: adding candidates to table
10.788 * * [progress]: iteration 4 / 4
10.788 * * * [progress]: picking best candidate
10.852 * * * * [pick]: Picked  #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 alpha beta) (+.p16 (*.p16 beta alpha) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
10.852 * * * [progress]: localizing error
11.147 * * * [progress]: generating rewritten candidates
11.147 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
11.177 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
11.190 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
11.210 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
11.252 * * * [progress]: generating series expansions
11.252 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
11.252 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
11.252 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
11.252 * * * * [progress]: [ 4 / 4 ] generating series at (2)
11.252 * * * [progress]: simplifying candidates
11.252 * * * * [progress]: [ 1 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
11.252 * * * * [progress]: [ 2 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 alpha (+.p16 beta (+.p16 (*.p16 beta alpha) (real->posit16 1.0)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
11.252 * * * * [progress]: [ 3 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (*.p16 beta alpha) (real->posit16 1.0)) (+.p16 alpha beta)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
11.252 * * * * [progress]: [ 4 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (+.p16 alpha beta) (+.p16 (*.p16 beta alpha) (real->posit16 1.0))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
11.252 * * * * [progress]: [ 5 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (+.p16 alpha beta) (+.p16 (*.p16 beta alpha) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))))>
11.253 * * * * [progress]: [ 6 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 alpha beta) (+.p16 (*.p16 beta alpha) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
11.253 * * * * [progress]: [ 7 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 alpha beta) (+.p16 (*.p16 beta alpha) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
11.253 * * * * [progress]: [ 8 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 alpha beta) (+.p16 (*.p16 beta alpha) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
11.253 * * * * [progress]: [ 9 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 alpha beta) (+.p16 (*.p16 beta alpha) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
11.253 * [simplify]: Simplifying:
  (+.p16 (+.p16 alpha beta) (*.p16 beta alpha))
  (+.p16 beta (+.p16 (*.p16 beta alpha) (real->posit16 1.0)))
  (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))
  (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))
  (+.p16 (*.p16 beta alpha) (real->posit16 1.0))
  (+.p16 (*.p16 beta alpha) (real->posit16 1.0))
  (+.p16 (*.p16 beta alpha) (real->posit16 1.0))
  (+.p16 (*.p16 beta alpha) (real->posit16 1.0))
11.253 * * [simplify]: iteration 1: (18 enodes)
11.263 * * [simplify]: iteration 2: (55 enodes)
11.285 * * [simplify]: iteration 3: (186 enodes)
11.388 * * [simplify]: iteration 4: (1014 enodes)
15.000 * * [simplify]: Extracting #0: cost 5 inf + 0
15.002 * * [simplify]: Extracting #1: cost 349 inf + 0
15.012 * * [simplify]: Extracting #2: cost 1791 inf + 4303
15.043 * * [simplify]: Extracting #3: cost 1847 inf + 45609
15.064 * * [simplify]: Extracting #4: cost 1802 inf + 69698
15.079 * * [simplify]: Extracting #5: cost 1669 inf + 145209
15.142 * * [simplify]: Extracting #6: cost 578 inf + 1008732
15.302 * * [simplify]: Extracting #7: cost 25 inf + 1586535
15.521 * * [simplify]: Extracting #8: cost 0 inf + 1609450
15.677 * [simplify]: Simplified to:
  (+.p16 alpha (+.p16 beta (*.p16 alpha beta)))
  (+.p16 (+.p16 beta (*.p16 alpha beta)) (real->posit16 1.0))
  (*.p16 (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 alpha beta)))
  (+.p16 (*.p16 (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 alpha beta))) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 alpha beta)))
  (+.p16 (real->posit16 1.0) (*.p16 alpha beta))
  (+.p16 (real->posit16 1.0) (*.p16 alpha beta))
  (+.p16 (real->posit16 1.0) (*.p16 alpha beta))
  (+.p16 (real->posit16 1.0) (*.p16 alpha beta))
15.678 * * * [progress]: adding candidates to table
16.017 * [progress]: [Phase 3 of 3] Extracting.
16.017 * * [regime]: Finding splitpoints for: (#<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 beta alpha))) (real->posit16 1.0)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))> #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 alpha beta) (+.p16 (*.p16 beta alpha) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))> #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (+.p16 alpha beta) (+.p16 (*.p16 beta alpha) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))))> #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 alpha (+.p16 (+.p16 beta (*.p16 beta alpha)) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))> #<alt (λ (alpha beta) (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (*.p16 (+.p16 (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) beta) alpha) (*.p16 (+.p16 (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) beta) alpha) (+.p16 (+.p16 alpha (real->posit16 1.0)) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) beta))))))> #<alt (λ (alpha beta) (/.p16 (+.p16 (+.p16 beta (+.p16 (real->posit16 1.0) (*.p16 alpha beta))) alpha) (*.p16 (+.p16 (*.p16 (+.p16 (+.p16 beta (*.p16 (real->posit16 1) (real->posit16 2))) alpha) (+.p16 (+.p16 beta (*.p16 (real->posit16 1) (real->posit16 2))) alpha)) (+.p16 (+.p16 beta (*.p16 (real->posit16 1) (real->posit16 2))) alpha)) (+.p16 (+.p16 beta (*.p16 (real->posit16 1) (real->posit16 2))) alpha))))>)
16.024 * * * [regime-changes]: Trying 2 branch expressions: (beta alpha)
16.024 * * * * [regimes]: Trying to branch on beta from (#<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 beta alpha))) (real->posit16 1.0)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))> #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 alpha beta) (+.p16 (*.p16 beta alpha) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))> #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (+.p16 alpha beta) (+.p16 (*.p16 beta alpha) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))))> #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 alpha (+.p16 (+.p16 beta (*.p16 beta alpha)) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))> #<alt (λ (alpha beta) (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (*.p16 (+.p16 (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) beta) alpha) (*.p16 (+.p16 (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) beta) alpha) (+.p16 (+.p16 alpha (real->posit16 1.0)) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) beta))))))> #<alt (λ (alpha beta) (/.p16 (+.p16 (+.p16 beta (+.p16 (real->posit16 1.0) (*.p16 alpha beta))) alpha) (*.p16 (+.p16 (*.p16 (+.p16 (+.p16 beta (*.p16 (real->posit16 1) (real->posit16 2))) alpha) (+.p16 (+.p16 beta (*.p16 (real->posit16 1) (real->posit16 2))) alpha)) (+.p16 (+.p16 beta (*.p16 (real->posit16 1) (real->posit16 2))) alpha)) (+.p16 (+.p16 beta (*.p16 (real->posit16 1) (real->posit16 2))) alpha))))>)
16.171 * * * * [regimes]: Trying to branch on alpha from (#<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 beta alpha))) (real->posit16 1.0)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))> #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 alpha beta) (+.p16 (*.p16 beta alpha) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))> #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (+.p16 alpha beta) (+.p16 (*.p16 beta alpha) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))))> #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 alpha (+.p16 (+.p16 beta (*.p16 beta alpha)) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))> #<alt (λ (alpha beta) (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (*.p16 (+.p16 (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) beta) alpha) (*.p16 (+.p16 (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) beta) alpha) (+.p16 (+.p16 alpha (real->posit16 1.0)) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) beta))))))> #<alt (λ (alpha beta) (/.p16 (+.p16 (+.p16 beta (+.p16 (real->posit16 1.0) (*.p16 alpha beta))) alpha) (*.p16 (+.p16 (*.p16 (+.p16 (+.p16 beta (*.p16 (real->posit16 1) (real->posit16 2))) alpha) (+.p16 (+.p16 beta (*.p16 (real->posit16 1) (real->posit16 2))) alpha)) (+.p16 (+.p16 beta (*.p16 (real->posit16 1) (real->posit16 2))) alpha)) (+.p16 (+.p16 beta (*.p16 (real->posit16 1) (real->posit16 2))) alpha))))>)
16.345 * * * [regime]: Found split indices: #<option (#s(si 3 256))>
16.345 * [simplify]: Simplifying:
  (/.p16 (/.p16 (/.p16 (+.p16 alpha (+.p16 (+.p16 beta (*.p16 beta alpha)) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)))
16.345 * * [simplify]: iteration 1: (19 enodes)
16.348 * * [simplify]: iteration 2: (21 enodes)
16.350 * * [simplify]: Extracting #0: cost 1 inf + 0
16.350 * * [simplify]: Extracting #1: cost 3 inf + 0
16.351 * * [simplify]: Extracting #2: cost 6 inf + 0
16.351 * * [simplify]: Extracting #3: cost 10 inf + 0
16.351 * * [simplify]: Extracting #4: cost 13 inf + 2
16.351 * * [simplify]: Extracting #5: cost 14 inf + 4
16.351 * * [simplify]: Extracting #6: cost 12 inf + 48
16.351 * * [simplify]: Extracting #7: cost 7 inf + 1056
16.351 * * [simplify]: Extracting #8: cost 3 inf + 3591
16.352 * * [simplify]: Extracting #9: cost 0 inf + 7966
16.352 * [simplify]: Simplified to:
  (/.p16 (/.p16 (/.p16 (+.p16 alpha (+.p16 (+.p16 beta (*.p16 beta alpha)) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)))
16.352 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
16.385 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
16.390 * * * * [points]: Setting MPFR precision to 64
16.391 * * * * [points]: Setting MPFR precision to 320
16.393 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
16.397 * * * * [points]: Setting MPFR precision to 64
16.400 * * * * [points]: Setting MPFR precision to 320
16.402 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
16.407 * * * * [points]: Setting MPFR precision to 64
16.412 * * * * [points]: Setting MPFR precision to 320
16.419 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
16.429 * * * * [points]: Setting MPFR precision to 64
16.444 * * * * [points]: Setting MPFR precision to 320
16.459 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
16.469 * * * * [points]: Setting MPFR precision to 64
16.497 * * * * [points]: Setting MPFR precision to 320
16.558 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
16.572 * * * * [points]: Setting MPFR precision to 64
16.632 * * * * [points]: Setting MPFR precision to 320
16.667 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
16.673 * * * * [points]: Setting MPFR precision to 64
16.781 * * * * [points]: Setting MPFR precision to 320
16.861 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
16.866 * * * * [points]: Setting MPFR precision to 64
17.167 * * * * [points]: Setting MPFR precision to 320
17.363 * * * * [points]: Computing exacts for 8000 points
17.369 * * * * [points]: Setting MPFR precision to 64
18.382 * * * * [points]: Setting MPFR precision to 320
19.904 * * * * [points]: Filtering points with unrepresentable outputs
19.923 * * * * [points]: Sampling 3461 additional inputs, on iter 1 have 4539 / 8000
19.941 * * * * [points]: Computing exacts on every 216 of 3461 points to ramp up precision
19.952 * * * * [points]: Setting MPFR precision to 64
19.954 * * * * [points]: Setting MPFR precision to 320
19.988 * * * * [points]: Computing exacts on every 108 of 3461 points to ramp up precision
19.997 * * * * [points]: Setting MPFR precision to 64
20.003 * * * * [points]: Setting MPFR precision to 320
20.007 * * * * [points]: Computing exacts on every 54 of 3461 points to ramp up precision
20.016 * * * * [points]: Setting MPFR precision to 64
20.023 * * * * [points]: Setting MPFR precision to 320
20.031 * * * * [points]: Computing exacts on every 27 of 3461 points to ramp up precision
20.041 * * * * [points]: Setting MPFR precision to 64
20.057 * * * * [points]: Setting MPFR precision to 320
20.071 * * * * [points]: Computing exacts on every 13 of 3461 points to ramp up precision
20.081 * * * * [points]: Setting MPFR precision to 64
20.109 * * * * [points]: Setting MPFR precision to 320
20.137 * * * * [points]: Computing exacts on every 6 of 3461 points to ramp up precision
20.147 * * * * [points]: Setting MPFR precision to 64
20.213 * * * * [points]: Setting MPFR precision to 320
20.255 * * * * [points]: Computing exacts on every 3 of 3461 points to ramp up precision
20.265 * * * * [points]: Setting MPFR precision to 64
20.359 * * * * [points]: Setting MPFR precision to 320
20.421 * * * * [points]: Computing exacts for 3461 points
20.426 * * * * [points]: Setting MPFR precision to 64
20.848 * * * * [points]: Setting MPFR precision to 320
21.264 * * * * [points]: Filtering points with unrepresentable outputs
21.272 * * * * [points]: Sampling 1534 additional inputs, on iter 2 have 6466 / 8000
21.280 * * * * [points]: Computing exacts on every 95 of 1534 points to ramp up precision
21.291 * * * * [points]: Setting MPFR precision to 64
21.293 * * * * [points]: Setting MPFR precision to 320
21.295 * * * * [points]: Computing exacts on every 47 of 1534 points to ramp up precision
21.304 * * * * [points]: Setting MPFR precision to 64
21.308 * * * * [points]: Setting MPFR precision to 320
21.312 * * * * [points]: Computing exacts on every 23 of 1534 points to ramp up precision
21.317 * * * * [points]: Setting MPFR precision to 64
21.321 * * * * [points]: Setting MPFR precision to 320
21.326 * * * * [points]: Computing exacts on every 11 of 1534 points to ramp up precision
21.357 * * * * [points]: Setting MPFR precision to 64
21.376 * * * * [points]: Setting MPFR precision to 320
21.391 * * * * [points]: Computing exacts on every 5 of 1534 points to ramp up precision
21.400 * * * * [points]: Setting MPFR precision to 64
21.423 * * * * [points]: Setting MPFR precision to 320
21.439 * * * * [points]: Computing exacts on every 2 of 1534 points to ramp up precision
21.444 * * * * [points]: Setting MPFR precision to 64
21.478 * * * * [points]: Setting MPFR precision to 320
21.541 * * * * [points]: Computing exacts for 1534 points
21.546 * * * * [points]: Setting MPFR precision to 64
21.707 * * * * [points]: Setting MPFR precision to 320
21.808 * * * * [points]: Filtering points with unrepresentable outputs
21.811 * * * * [points]: Sampling 660 additional inputs, on iter 3 have 7340 / 8000
21.864 * * * * [points]: Computing exacts on every 41 of 660 points to ramp up precision
21.871 * * * * [points]: Setting MPFR precision to 64
21.875 * * * * [points]: Setting MPFR precision to 320
21.876 * * * * [points]: Computing exacts on every 20 of 660 points to ramp up precision
21.881 * * * * [points]: Setting MPFR precision to 64
21.883 * * * * [points]: Setting MPFR precision to 320
21.885 * * * * [points]: Computing exacts on every 10 of 660 points to ramp up precision
21.890 * * * * [points]: Setting MPFR precision to 64
21.894 * * * * [points]: Setting MPFR precision to 320
21.898 * * * * [points]: Computing exacts on every 5 of 660 points to ramp up precision
21.902 * * * * [points]: Setting MPFR precision to 64
21.914 * * * * [points]: Setting MPFR precision to 320
21.927 * * * * [points]: Computing exacts on every 2 of 660 points to ramp up precision
21.934 * * * * [points]: Setting MPFR precision to 64
21.948 * * * * [points]: Setting MPFR precision to 320
21.963 * * * * [points]: Computing exacts for 660 points
22.426 * * * * [points]: Setting MPFR precision to 64
22.511 * * * * [points]: Setting MPFR precision to 320
22.591 * * * * [points]: Filtering points with unrepresentable outputs
22.593 * * * * [points]: Sampling 297 additional inputs, on iter 4 have 7703 / 8000
22.594 * * * * [points]: Computing exacts on every 18 of 297 points to ramp up precision
22.605 * * * * [points]: Setting MPFR precision to 64
22.607 * * * * [points]: Setting MPFR precision to 320
22.609 * * * * [points]: Computing exacts on every 9 of 297 points to ramp up precision
22.618 * * * * [points]: Setting MPFR precision to 64
22.621 * * * * [points]: Setting MPFR precision to 320
22.624 * * * * [points]: Computing exacts on every 4 of 297 points to ramp up precision
22.677 * * * * [points]: Setting MPFR precision to 64
22.687 * * * * [points]: Setting MPFR precision to 320
22.694 * * * * [points]: Computing exacts on every 2 of 297 points to ramp up precision
22.704 * * * * [points]: Setting MPFR precision to 64
22.716 * * * * [points]: Setting MPFR precision to 320
22.727 * * * * [points]: Computing exacts for 297 points
22.737 * * * * [points]: Setting MPFR precision to 64
22.773 * * * * [points]: Setting MPFR precision to 320
22.809 * * * * [points]: Filtering points with unrepresentable outputs
22.810 * * * * [points]: Sampling 126 additional inputs, on iter 5 have 7874 / 8000
22.811 * * * * [points]: Computing exacts on every 7 of 126 points to ramp up precision
22.822 * * * * [points]: Setting MPFR precision to 64
22.824 * * * * [points]: Setting MPFR precision to 320
22.826 * * * * [points]: Computing exacts on every 3 of 126 points to ramp up precision
22.837 * * * * [points]: Setting MPFR precision to 64
22.841 * * * * [points]: Setting MPFR precision to 320
22.845 * * * * [points]: Computing exacts for 126 points
22.889 * * * * [points]: Setting MPFR precision to 64
22.908 * * * * [points]: Setting MPFR precision to 320
22.922 * * * * [points]: Filtering points with unrepresentable outputs
22.922 * * * * [points]: Sampling 52 additional inputs, on iter 6 have 7948 / 8000
22.922 * * * * [points]: Computing exacts on every 3 of 52 points to ramp up precision
22.932 * * * * [points]: Setting MPFR precision to 64
22.934 * * * * [points]: Setting MPFR precision to 320
22.935 * * * * [points]: Computing exacts for 52 points
22.946 * * * * [points]: Setting MPFR precision to 64
22.952 * * * * [points]: Setting MPFR precision to 320
22.958 * * * * [points]: Filtering points with unrepresentable outputs
22.958 * * * * [points]: Sampling 36 additional inputs, on iter 7 have 7964 / 8000
22.959 * * * * [points]: Computing exacts on every 2 of 36 points to ramp up precision
22.968 * * * * [points]: Setting MPFR precision to 64
22.970 * * * * [points]: Setting MPFR precision to 320
22.971 * * * * [points]: Computing exacts for 36 points
22.980 * * * * [points]: Setting MPFR precision to 64
22.985 * * * * [points]: Setting MPFR precision to 320
22.989 * * * * [points]: Filtering points with unrepresentable outputs
22.989 * * * * [points]: Sampling 16 additional inputs, on iter 8 have 7984 / 8000
22.989 * * * * [points]: Computing exacts for 16 points
22.998 * * * * [points]: Setting MPFR precision to 64
23.000 * * * * [points]: Setting MPFR precision to 320
23.003 * * * * [points]: Filtering points with unrepresentable outputs
23.003 * * * * [points]: Sampling 10 additional inputs, on iter 9 have 7990 / 8000
23.004 * * * * [points]: Computing exacts for 10 points
23.013 * * * * [points]: Setting MPFR precision to 64
23.015 * * * * [points]: Setting MPFR precision to 320
23.016 * * * * [points]: Filtering points with unrepresentable outputs
23.016 * * * * [points]: Sampling 4 additional inputs, on iter 10 have 7998 / 8000
23.016 * * * * [points]: Computing exacts for 4 points
23.026 * * * * [points]: Setting MPFR precision to 64
23.027 * * * * [points]: Setting MPFR precision to 320
23.027 * * * * [points]: Filtering points with unrepresentable outputs
23.027 * * * * [points]: Sampled 8001 points with exact outputs
28.003 * [regime-testing]: Baseline error score: 64.0
28.010 * [regime-testing]: Oracle error score: 64.0
28.024 * [regime-testing]: End program error score: 0.37292024313170197