0.003 * [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.013 * * * * [points]: Setting MPFR precision to 64
0.015 * * * * [points]: Setting MPFR precision to 320
0.018 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.027 * * * * [points]: Setting MPFR precision to 64
0.030 * * * * [points]: Setting MPFR precision to 320
0.033 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.042 * * * * [points]: Setting MPFR precision to 64
0.047 * * * * [points]: Setting MPFR precision to 320
0.052 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.059 * * * * [points]: Setting MPFR precision to 64
0.065 * * * * [points]: Setting MPFR precision to 320
0.070 * * * * [points]: Computing exacts for 256 points
0.085 * * * * [points]: Setting MPFR precision to 64
0.109 * * * * [points]: Setting MPFR precision to 320
0.127 * * * * [points]: Filtering points with unrepresentable outputs
0.128 * * * * [points]: Sampling 119 additional inputs, on iter 1 have 137 / 256
0.128 * * * * [points]: Computing exacts on every 7 of 119 points to ramp up precision
0.136 * * * * [points]: Setting MPFR precision to 64
0.137 * * * * [points]: Setting MPFR precision to 320
0.139 * * * * [points]: Computing exacts on every 3 of 119 points to ramp up precision
0.148 * * * * [points]: Setting MPFR precision to 64
0.151 * * * * [points]: Setting MPFR precision to 320
0.155 * * * * [points]: Computing exacts for 119 points
0.163 * * * * [points]: Setting MPFR precision to 64
0.178 * * * * [points]: Setting MPFR precision to 320
0.191 * * * * [points]: Filtering points with unrepresentable outputs
0.191 * * * * [points]: Sampling 35 additional inputs, on iter 2 have 221 / 256
0.192 * * * * [points]: Computing exacts on every 2 of 35 points to ramp up precision
0.201 * * * * [points]: Setting MPFR precision to 64
0.202 * * * * [points]: Setting MPFR precision to 320
0.203 * * * * [points]: Computing exacts for 35 points
0.212 * * * * [points]: Setting MPFR precision to 64
0.215 * * * * [points]: Setting MPFR precision to 320
0.217 * * * * [points]: Filtering points with unrepresentable outputs
0.217 * * * * [points]: Sampling 18 additional inputs, on iter 3 have 238 / 256
0.217 * * * * [points]: Computing exacts for 18 points
0.240 * * * * [points]: Setting MPFR precision to 64
0.242 * * * * [points]: Setting MPFR precision to 320
0.243 * * * * [points]: Filtering points with unrepresentable outputs
0.243 * * * * [points]: Sampling 9 additional inputs, on iter 4 have 247 / 256
0.243 * * * * [points]: Computing exacts for 9 points
0.252 * * * * [points]: Setting MPFR precision to 64
0.254 * * * * [points]: Setting MPFR precision to 320
0.256 * * * * [points]: Filtering points with unrepresentable outputs
0.256 * * * * [points]: Sampling 4 additional inputs, on iter 5 have 254 / 256
0.256 * * * * [points]: Computing exacts for 4 points
0.261 * * * * [points]: Setting MPFR precision to 64
0.261 * * * * [points]: Setting MPFR precision to 320
0.262 * * * * [points]: Filtering points with unrepresentable outputs
0.262 * * * * [points]: Sampled 257 points with exact outputs
0.262 * * * [progress]: [2/2] Setting up program.
0.275 * [progress]: [Phase 2 of 3] Improving.
0.275 * * * * [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.275 * [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.275 * * [simplify]: iteration 1: (18 enodes)
0.280 * * [simplify]: iteration 2: (46 enodes)
0.297 * * [simplify]: iteration 3: (118 enodes)
0.372 * * [simplify]: iteration 4: (502 enodes)
0.984 * * [simplify]: Extracting #0: cost 1 inf + 0
0.984 * * [simplify]: Extracting #1: cost 11 inf + 0
0.985 * * [simplify]: Extracting #2: cost 444 inf + 0
0.989 * * [simplify]: Extracting #3: cost 904 inf + 1411
0.993 * * [simplify]: Extracting #4: cost 913 inf + 5512
0.999 * * [simplify]: Extracting #5: cost 860 inf + 24534
1.038 * * [simplify]: Extracting #6: cost 557 inf + 257395
1.150 * * [simplify]: Extracting #7: cost 56 inf + 737704
1.240 * * [simplify]: Extracting #8: cost 0 inf + 794997
1.349 * * [simplify]: Extracting #9: cost 0 inf + 794710
1.479 * [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.507 * * [progress]: iteration 1 / 4
1.507 * * * [progress]: picking best candidate
1.533 * * * * [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.533 * * * [progress]: localizing error
1.790 * * * [progress]: generating rewritten candidates
1.790 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
1.908 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1)
1.927 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
2.049 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
2.117 * * * [progress]: generating series expansions
2.117 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
2.118 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1)
2.118 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
2.118 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
2.118 * * * [progress]: simplifying candidates
2.118 * * * * [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))))>
2.118 * * * * [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))))>
2.118 * * * * [progress]: [ 3 / 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))))>
2.118 * * * * [progress]: [ 4 / 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))))>
2.118 * * * * [progress]: [ 5 / 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))))>
2.118 * * * * [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))))>
2.118 * * * * [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))))>
2.118 * * * * [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))))>
2.118 * * * * [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))))>
2.119 * [simplify]: Simplifying:
  (+.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 alpha) (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)))
  (/.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)))
2.119 * * [simplify]: iteration 1: (21 enodes)
2.129 * * [simplify]: iteration 2: (54 enodes)
2.151 * * [simplify]: iteration 3: (156 enodes)
2.216 * * [simplify]: iteration 4: (661 enodes)
2.888 * * [simplify]: Extracting #0: cost 4 inf + 0
2.889 * * [simplify]: Extracting #1: cost 101 inf + 0
2.892 * * [simplify]: Extracting #2: cost 665 inf + 1
2.900 * * [simplify]: Extracting #3: cost 924 inf + 6405
2.911 * * [simplify]: Extracting #4: cost 895 inf + 23463
2.929 * * [simplify]: Extracting #5: cost 748 inf + 169866
3.014 * * [simplify]: Extracting #6: cost 193 inf + 828900
3.112 * * [simplify]: Extracting #7: cost 0 inf + 917980
3.225 * * [simplify]: Extracting #8: cost 0 inf + 910335
3.368 * [simplify]: Simplified to:
  (+.p16 (*.p16 alpha beta) beta)
  (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))
  (+.p16 (real->posit16 1.0) (*.p16 alpha beta))
  (/.p16 (+.p16 (real->posit16 1.0) (+.p16 (+.p16 (*.p16 alpha beta) beta) alpha)) (*.p16 (+.p16 (*.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 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))))
  (/.p16 (+.p16 (real->posit16 1.0) (+.p16 (+.p16 (*.p16 alpha beta) beta) alpha)) (*.p16 (+.p16 (*.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 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))))
  (/.p16 (+.p16 (real->posit16 1.0) (+.p16 (+.p16 (*.p16 alpha beta) beta) alpha)) (*.p16 (+.p16 (*.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 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))))
  (/.p16 (+.p16 (real->posit16 1.0) (+.p16 (+.p16 (*.p16 alpha beta) beta) alpha)) (*.p16 (+.p16 (*.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 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))))
3.369 * * * [progress]: adding candidates to table
3.796 * * [progress]: iteration 2 / 4
3.796 * * * [progress]: picking best candidate
3.874 * * * * [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.874 * * * [progress]: localizing error
4.233 * * * [progress]: generating rewritten candidates
4.233 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
4.273 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
4.322 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1)
4.326 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 2)
4.330 * * * [progress]: generating series expansions
4.330 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
4.330 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
4.330 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1)
4.330 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 2)
4.330 * * * [progress]: simplifying candidates
4.330 * * * * [progress]: [ 1 / 8 ] 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.330 * * * * [progress]: [ 2 / 8 ] 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.330 * * * * [progress]: [ 3 / 8 ] 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.330 * * * * [progress]: [ 4 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 alpha (+.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))))>
4.330 * * * * [progress]: [ 5 / 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))))>
4.330 * * * * [progress]: [ 6 / 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))))>
4.330 * * * * [progress]: [ 7 / 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))))>
4.331 * * * * [progress]: [ 8 / 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))))>
4.331 * [simplify]: Simplifying:
  (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))
  (+.p16 alpha beta)
  (+.p16 beta (*.p16 beta alpha))
  (+.p16 beta (*.p16 beta alpha))
  (+.p16 beta (*.p16 beta alpha))
  (+.p16 beta (*.p16 beta alpha))
4.331 * * [simplify]: iteration 1: (12 enodes)
4.334 * * [simplify]: iteration 2: (33 enodes)
4.341 * * [simplify]: iteration 3: (89 enodes)
4.382 * * [simplify]: iteration 4: (328 enodes)
4.607 * * [simplify]: iteration 5: (1213 enodes)
5.984 * * [simplify]: Extracting #0: cost 3 inf + 0
5.985 * * [simplify]: Extracting #1: cost 156 inf + 0
5.991 * * [simplify]: Extracting #2: cost 849 inf + 1089
5.996 * * [simplify]: Extracting #3: cost 833 inf + 9366
6.001 * * [simplify]: Extracting #4: cost 829 inf + 10051
6.007 * * [simplify]: Extracting #5: cost 750 inf + 80078
6.073 * * [simplify]: Extracting #6: cost 210 inf + 775511
6.161 * * [simplify]: Extracting #7: cost 0 inf + 984179
6.259 * * [simplify]: Extracting #8: cost 0 inf + 966659
6.368 * [simplify]: Simplified to:
  (*.p16 (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 2) (real->posit16 1)))))
  (+.p16 beta alpha)
  (+.p16 beta (*.p16 beta alpha))
  (+.p16 beta (*.p16 beta alpha))
  (+.p16 beta (*.p16 beta alpha))
  (+.p16 beta (*.p16 beta alpha))
6.369 * * * [progress]: adding candidates to table
6.596 * * [progress]: iteration 3 / 4
6.596 * * * [progress]: picking best candidate
6.690 * * * * [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))))>
6.690 * * * [progress]: localizing error
6.962 * * * [progress]: generating rewritten candidates
6.962 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
6.982 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
7.000 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
7.020 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2)
7.023 * * * [progress]: generating series expansions
7.023 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
7.023 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
7.023 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
7.023 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2)
7.023 * * * [progress]: simplifying candidates
7.023 * * * * [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))))>
7.023 * * * * [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))))>
7.023 * * * * [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))))>
7.023 * * * * [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))))>
7.024 * * * * [progress]: [ 5 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 alpha beta) (+.p16 (real->posit16 1.0) (*.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))))>
7.024 * * * * [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))))>
7.024 * * * * [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))))>
7.024 * * * * [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))))>
7.024 * * * * [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))))>
7.024 * [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 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))
7.024 * * [simplify]: iteration 1: (16 enodes)
7.028 * * [simplify]: iteration 2: (43 enodes)
7.037 * * [simplify]: iteration 3: (108 enodes)
7.066 * * [simplify]: iteration 4: (347 enodes)
7.285 * * [simplify]: iteration 5: (1247 enodes)
8.704 * * [simplify]: Extracting #0: cost 4 inf + 0
8.705 * * [simplify]: Extracting #1: cost 154 inf + 0
8.712 * * [simplify]: Extracting #2: cost 830 inf + 2175
8.720 * * [simplify]: Extracting #3: cost 817 inf + 7283
8.729 * * [simplify]: Extracting #4: cost 800 inf + 14476
8.740 * * [simplify]: Extracting #5: cost 754 inf + 48171
8.801 * * [simplify]: Extracting #6: cost 282 inf + 632873
8.897 * * [simplify]: Extracting #7: cost 7 inf + 947868
9.049 * * [simplify]: Extracting #8: cost 0 inf + 949936
9.213 * [simplify]: Simplified to:
  (+.p16 (+.p16 alpha (*.p16 beta alpha)) beta)
  (+.p16 (real->posit16 1.0) (+.p16 (*.p16 beta alpha) beta))
  (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) beta)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) beta)))
  (+.p16 (real->posit16 1.0) (*.p16 beta alpha))
  (+.p16 (real->posit16 1.0) (*.p16 beta alpha))
  (+.p16 (real->posit16 1.0) (*.p16 beta alpha))
  (+.p16 (real->posit16 1.0) (*.p16 beta alpha))
9.214 * * * [progress]: adding candidates to table
9.426 * * [progress]: iteration 4 / 4
9.426 * * * [progress]: picking best candidate
9.511 * * * * [pick]: Picked  #<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))))>
9.512 * * * [progress]: localizing error
9.852 * * * [progress]: generating rewritten candidates
9.852 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
9.926 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
9.946 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
9.964 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
9.999 * * * [progress]: generating series expansions
9.999 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
9.999 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
9.999 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
9.999 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
9.999 * * * [progress]: simplifying candidates
9.999 * * * * [progress]: [ 1 / 12 ] 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))))>
9.999 * * * * [progress]: [ 2 / 12 ] 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))))>
9.999 * * * * [progress]: [ 3 / 12 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (+.p16 (*.p16 beta alpha) (+.p16 alpha beta)) (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))))>
9.999 * * * * [progress]: [ 4 / 12 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
9.999 * * * * [progress]: [ 5 / 12 ] 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 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (*.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))))>
9.999 * * * * [progress]: [ 6 / 12 ] 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))))>
9.999 * * * * [progress]: [ 7 / 12 ] 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))))>
9.999 * * * * [progress]: [ 8 / 12 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (real->posit16 1.0) (+.p16 (+.p16 alpha 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 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
9.999 * * * * [progress]: [ 9 / 12 ] 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))))>
9.999 * * * * [progress]: [ 10 / 12 ] 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))))>
9.999 * * * * [progress]: [ 11 / 12 ] 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))))>
10.000 * * * * [progress]: [ 12 / 12 ] 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))))>
10.000 * [simplify]: Simplifying:
  (/.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 beta (*.p16 beta alpha))
  (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 alpha beta))
  (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (*.p16 (real->posit16 2) (real->posit16 1)))
  (*.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))
  (*.p16 (*.p16 (real->posit16 2) (real->posit16 1)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))
  (+.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))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))
  (*.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))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))
10.000 * * [simplify]: iteration 1: (22 enodes)
10.006 * * [simplify]: iteration 2: (63 enodes)
10.021 * * [simplify]: iteration 3: (183 enodes)
10.089 * * [simplify]: iteration 4: (544 enodes)
10.394 * * [simplify]: iteration 5: (1896 enodes)
14.373 * * [simplify]: Extracting #0: cost 6 inf + 0
14.374 * * [simplify]: Extracting #1: cost 226 inf + 0
14.382 * * [simplify]: Extracting #2: cost 817 inf + 322
14.393 * * [simplify]: Extracting #3: cost 802 inf + 7532
14.426 * * [simplify]: Extracting #4: cost 579 inf + 237736
14.543 * * [simplify]: Extracting #5: cost 80 inf + 875441
14.646 * * [simplify]: Extracting #6: cost 0 inf + 939439
14.839 * * [simplify]: Extracting #7: cost 0 inf + 937479
15.038 * [simplify]: Simplified to:
  (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 alpha (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) beta)))
  (+.p16 (*.p16 beta alpha) beta)
  (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) beta)) (+.p16 beta alpha))
  (*.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) beta)))
  (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) beta)) (+.p16 beta alpha))
  (*.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) beta)))
  (+.p16 (real->posit16 1.0) (*.p16 beta alpha))
  (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) beta)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) beta)))
  (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) beta)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) beta)))
  (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) beta)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) beta)))
  (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) beta)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) beta)))
15.040 * * * [progress]: adding candidates to table
15.507 * [progress]: [Phase 3 of 3] Extracting.
15.507 * * [regime]: Finding splitpoints for: (#<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 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 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (*.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (*.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 (+.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))))> #<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))))> #<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))))> #<alt (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (+.p16 (+.p16 (*.p16 alpha beta) beta) alpha)) (*.p16 (+.p16 (*.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 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))))>)
15.509 * * * [regime-changes]: Trying 2 branch expressions: (beta alpha)
15.509 * * * * [regimes]: Trying to branch on beta from (#<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 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 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (*.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (*.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 (+.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))))> #<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))))> #<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))))> #<alt (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (+.p16 (+.p16 (*.p16 alpha beta) beta) alpha)) (*.p16 (+.p16 (*.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 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))))>)
15.754 * * * * [regimes]: Trying to branch on alpha from (#<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 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 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (*.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (*.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 (+.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))))> #<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))))> #<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))))> #<alt (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (+.p16 (+.p16 (*.p16 alpha beta) beta) alpha)) (*.p16 (+.p16 (*.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 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))))>)
15.902 * * * [regime]: Found split indices: #<option (#s(si 2 256))>
15.902 * [simplify]: Simplifying:
  (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (*.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (*.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)))
15.902 * * [simplify]: iteration 1: (20 enodes)
15.905 * * [simplify]: iteration 2: (22 enodes)
15.907 * * [simplify]: Extracting #0: cost 1 inf + 0
15.907 * * [simplify]: Extracting #1: cost 3 inf + 0
15.907 * * [simplify]: Extracting #2: cost 7 inf + 0
15.907 * * [simplify]: Extracting #3: cost 13 inf + 0
15.907 * * [simplify]: Extracting #4: cost 17 inf + 1
15.907 * * [simplify]: Extracting #5: cost 16 inf + 4
15.907 * * [simplify]: Extracting #6: cost 10 inf + 372
15.907 * * [simplify]: Extracting #7: cost 5 inf + 2667
15.908 * * [simplify]: Extracting #8: cost 2 inf + 4920
15.908 * * [simplify]: Extracting #9: cost 0 inf + 9250
15.908 * [simplify]: Simplified to:
  (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (*.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (*.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)))
15.908 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
15.938 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
15.942 * * * * [points]: Setting MPFR precision to 64
15.944 * * * * [points]: Setting MPFR precision to 320
15.945 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
15.950 * * * * [points]: Setting MPFR precision to 64
15.952 * * * * [points]: Setting MPFR precision to 320
15.954 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
15.959 * * * * [points]: Setting MPFR precision to 64
15.963 * * * * [points]: Setting MPFR precision to 320
15.967 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
15.972 * * * * [points]: Setting MPFR precision to 64
15.980 * * * * [points]: Setting MPFR precision to 320
15.987 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
15.992 * * * * [points]: Setting MPFR precision to 64
16.007 * * * * [points]: Setting MPFR precision to 320
16.035 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
16.045 * * * * [points]: Setting MPFR precision to 64
16.145 * * * * [points]: Setting MPFR precision to 320
16.203 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
16.212 * * * * [points]: Setting MPFR precision to 64
16.373 * * * * [points]: Setting MPFR precision to 320
16.447 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
16.453 * * * * [points]: Setting MPFR precision to 64
16.656 * * * * [points]: Setting MPFR precision to 320
16.832 * * * * [points]: Computing exacts for 8000 points
16.873 * * * * [points]: Setting MPFR precision to 64
17.518 * * * * [points]: Setting MPFR precision to 320
18.731 * * * * [points]: Filtering points with unrepresentable outputs
18.750 * * * * [points]: Sampling 3476 additional inputs, on iter 1 have 4524 / 8000
18.760 * * * * [points]: Computing exacts on every 217 of 3476 points to ramp up precision
18.765 * * * * [points]: Setting MPFR precision to 64
18.767 * * * * [points]: Setting MPFR precision to 320
18.769 * * * * [points]: Computing exacts on every 108 of 3476 points to ramp up precision
18.778 * * * * [points]: Setting MPFR precision to 64
18.782 * * * * [points]: Setting MPFR precision to 320
18.786 * * * * [points]: Computing exacts on every 54 of 3476 points to ramp up precision
18.796 * * * * [points]: Setting MPFR precision to 64
18.803 * * * * [points]: Setting MPFR precision to 320
18.807 * * * * [points]: Computing exacts on every 27 of 3476 points to ramp up precision
18.812 * * * * [points]: Setting MPFR precision to 64
18.820 * * * * [points]: Setting MPFR precision to 320
18.829 * * * * [points]: Computing exacts on every 13 of 3476 points to ramp up precision
18.857 * * * * [points]: Setting MPFR precision to 64
18.880 * * * * [points]: Setting MPFR precision to 320
18.895 * * * * [points]: Computing exacts on every 6 of 3476 points to ramp up precision
18.899 * * * * [points]: Setting MPFR precision to 64
18.931 * * * * [points]: Setting MPFR precision to 320
18.984 * * * * [points]: Computing exacts on every 3 of 3476 points to ramp up precision
19.016 * * * * [points]: Setting MPFR precision to 64
19.124 * * * * [points]: Setting MPFR precision to 320
19.199 * * * * [points]: Computing exacts for 3476 points
19.256 * * * * [points]: Setting MPFR precision to 64
19.666 * * * * [points]: Setting MPFR precision to 320
20.193 * * * * [points]: Filtering points with unrepresentable outputs
20.201 * * * * [points]: Sampling 1523 additional inputs, on iter 2 have 6477 / 8000
20.260 * * * * [points]: Computing exacts on every 95 of 1523 points to ramp up precision
20.271 * * * * [points]: Setting MPFR precision to 64
20.273 * * * * [points]: Setting MPFR precision to 320
20.275 * * * * [points]: Computing exacts on every 47 of 1523 points to ramp up precision
20.283 * * * * [points]: Setting MPFR precision to 64
20.287 * * * * [points]: Setting MPFR precision to 320
20.291 * * * * [points]: Computing exacts on every 23 of 1523 points to ramp up precision
20.299 * * * * [points]: Setting MPFR precision to 64
20.307 * * * * [points]: Setting MPFR precision to 320
20.315 * * * * [points]: Computing exacts on every 11 of 1523 points to ramp up precision
20.323 * * * * [points]: Setting MPFR precision to 64
20.331 * * * * [points]: Setting MPFR precision to 320
20.338 * * * * [points]: Computing exacts on every 5 of 1523 points to ramp up precision
20.343 * * * * [points]: Setting MPFR precision to 64
20.359 * * * * [points]: Setting MPFR precision to 320
20.375 * * * * [points]: Computing exacts on every 2 of 1523 points to ramp up precision
20.402 * * * * [points]: Setting MPFR precision to 64
20.438 * * * * [points]: Setting MPFR precision to 320
20.469 * * * * [points]: Computing exacts for 1523 points
20.474 * * * * [points]: Setting MPFR precision to 64
20.603 * * * * [points]: Setting MPFR precision to 320
20.755 * * * * [points]: Filtering points with unrepresentable outputs
20.757 * * * * [points]: Sampling 653 additional inputs, on iter 3 have 7347 / 8000
20.759 * * * * [points]: Computing exacts on every 40 of 653 points to ramp up precision
20.764 * * * * [points]: Setting MPFR precision to 64
20.765 * * * * [points]: Setting MPFR precision to 320
20.766 * * * * [points]: Computing exacts on every 20 of 653 points to ramp up precision
20.771 * * * * [points]: Setting MPFR precision to 64
20.773 * * * * [points]: Setting MPFR precision to 320
20.775 * * * * [points]: Computing exacts on every 10 of 653 points to ramp up precision
20.779 * * * * [points]: Setting MPFR precision to 64
20.783 * * * * [points]: Setting MPFR precision to 320
20.787 * * * * [points]: Computing exacts on every 5 of 653 points to ramp up precision
20.791 * * * * [points]: Setting MPFR precision to 64
20.798 * * * * [points]: Setting MPFR precision to 320
20.804 * * * * [points]: Computing exacts on every 2 of 653 points to ramp up precision
20.831 * * * * [points]: Setting MPFR precision to 64
20.846 * * * * [points]: Setting MPFR precision to 320
20.861 * * * * [points]: Computing exacts for 653 points
20.866 * * * * [points]: Setting MPFR precision to 64
20.905 * * * * [points]: Setting MPFR precision to 320
21.357 * * * * [points]: Filtering points with unrepresentable outputs
21.362 * * * * [points]: Sampling 297 additional inputs, on iter 4 have 7703 / 8000
21.364 * * * * [points]: Computing exacts on every 18 of 297 points to ramp up precision
21.371 * * * * [points]: Setting MPFR precision to 64
21.372 * * * * [points]: Setting MPFR precision to 320
21.373 * * * * [points]: Computing exacts on every 9 of 297 points to ramp up precision
21.378 * * * * [points]: Setting MPFR precision to 64
21.380 * * * * [points]: Setting MPFR precision to 320
21.382 * * * * [points]: Computing exacts on every 4 of 297 points to ramp up precision
21.387 * * * * [points]: Setting MPFR precision to 64
21.391 * * * * [points]: Setting MPFR precision to 320
21.395 * * * * [points]: Computing exacts on every 2 of 297 points to ramp up precision
21.400 * * * * [points]: Setting MPFR precision to 64
21.408 * * * * [points]: Setting MPFR precision to 320
21.422 * * * * [points]: Computing exacts for 297 points
21.432 * * * * [points]: Setting MPFR precision to 64
21.451 * * * * [points]: Setting MPFR precision to 320
21.488 * * * * [points]: Filtering points with unrepresentable outputs
21.489 * * * * [points]: Sampling 148 additional inputs, on iter 5 have 7852 / 8000
21.489 * * * * [points]: Computing exacts on every 9 of 148 points to ramp up precision
21.494 * * * * [points]: Setting MPFR precision to 64
21.495 * * * * [points]: Setting MPFR precision to 320
21.498 * * * * [points]: Computing exacts on every 4 of 148 points to ramp up precision
21.507 * * * * [points]: Setting MPFR precision to 64
21.511 * * * * [points]: Setting MPFR precision to 320
21.514 * * * * [points]: Computing exacts on every 2 of 148 points to ramp up precision
21.525 * * * * [points]: Setting MPFR precision to 64
21.531 * * * * [points]: Setting MPFR precision to 320
21.536 * * * * [points]: Computing exacts for 148 points
21.545 * * * * [points]: Setting MPFR precision to 64
21.562 * * * * [points]: Setting MPFR precision to 320
21.580 * * * * [points]: Filtering points with unrepresentable outputs
21.580 * * * * [points]: Sampling 64 additional inputs, on iter 6 have 7936 / 8000
21.581 * * * * [points]: Computing exacts on every 4 of 64 points to ramp up precision
21.588 * * * * [points]: Setting MPFR precision to 64
21.589 * * * * [points]: Setting MPFR precision to 320
21.590 * * * * [points]: Computing exacts on every 2 of 64 points to ramp up precision
21.594 * * * * [points]: Setting MPFR precision to 64
21.596 * * * * [points]: Setting MPFR precision to 320
21.597 * * * * [points]: Computing exacts for 64 points
21.602 * * * * [points]: Setting MPFR precision to 64
21.606 * * * * [points]: Setting MPFR precision to 320
21.610 * * * * [points]: Filtering points with unrepresentable outputs
21.610 * * * * [points]: Sampling 27 additional inputs, on iter 7 have 7973 / 8000
21.610 * * * * [points]: Computing exacts for 27 points
21.635 * * * * [points]: Setting MPFR precision to 64
21.637 * * * * [points]: Setting MPFR precision to 320
21.641 * * * * [points]: Filtering points with unrepresentable outputs
21.641 * * * * [points]: Sampling 14 additional inputs, on iter 8 have 7986 / 8000
21.641 * * * * [points]: Computing exacts for 14 points
21.654 * * * * [points]: Setting MPFR precision to 64
21.656 * * * * [points]: Setting MPFR precision to 320
21.657 * * * * [points]: Filtering points with unrepresentable outputs
21.657 * * * * [points]: Sampling 7 additional inputs, on iter 9 have 7993 / 8000
21.658 * * * * [points]: Computing exacts for 7 points
21.667 * * * * [points]: Setting MPFR precision to 64
21.668 * * * * [points]: Setting MPFR precision to 320
21.669 * * * * [points]: Filtering points with unrepresentable outputs
21.669 * * * * [points]: Sampling 4 additional inputs, on iter 10 have 7998 / 8000
21.669 * * * * [points]: Computing exacts for 4 points
21.679 * * * * [points]: Setting MPFR precision to 64
21.679 * * * * [points]: Setting MPFR precision to 320
21.680 * * * * [points]: Filtering points with unrepresentable outputs
21.680 * * * * [points]: Sampled 8000 points with exact outputs
26.990 * [regime-testing]: Baseline error score: 0.43642691307870285
26.992 * [regime-testing]: Oracle error score: 0.0977906480370251
26.998 * [regime-testing]: End program error score: 0.43642691307870285