0.002 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.003 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.004 * * * * [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.014 * * * * [points]: Setting MPFR precision to 64
0.017 * * * * [points]: Setting MPFR precision to 320
0.020 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.028 * * * * [points]: Setting MPFR precision to 64
0.034 * * * * [points]: Setting MPFR precision to 320
0.039 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.047 * * * * [points]: Setting MPFR precision to 64
0.052 * * * * [points]: Setting MPFR precision to 320
0.058 * * * * [points]: Computing exacts for 256 points
0.063 * * * * [points]: Setting MPFR precision to 64
0.089 * * * * [points]: Setting MPFR precision to 320
0.120 * * * * [points]: Filtering points with unrepresentable outputs
0.120 * * * * [points]: Sampling 114 additional inputs, on iter 1 have 142 / 256
0.121 * * * * [points]: Computing exacts on every 7 of 114 points to ramp up precision
0.129 * * * * [points]: Setting MPFR precision to 64
0.131 * * * * [points]: Setting MPFR precision to 320
0.132 * * * * [points]: Computing exacts on every 3 of 114 points to ramp up precision
0.166 * * * * [points]: Setting MPFR precision to 64
0.170 * * * * [points]: Setting MPFR precision to 320
0.177 * * * * [points]: Computing exacts for 114 points
0.186 * * * * [points]: Setting MPFR precision to 64
0.199 * * * * [points]: Setting MPFR precision to 320
0.213 * * * * [points]: Filtering points with unrepresentable outputs
0.214 * * * * [points]: Sampling 50 additional inputs, on iter 2 have 206 / 256
0.214 * * * * [points]: Computing exacts on every 3 of 50 points to ramp up precision
0.223 * * * * [points]: Setting MPFR precision to 64
0.225 * * * * [points]: Setting MPFR precision to 320
0.226 * * * * [points]: Computing exacts for 50 points
0.236 * * * * [points]: Setting MPFR precision to 64
0.242 * * * * [points]: Setting MPFR precision to 320
0.248 * * * * [points]: Filtering points with unrepresentable outputs
0.248 * * * * [points]: Sampling 17 additional inputs, on iter 3 have 239 / 256
0.249 * * * * [points]: Computing exacts for 17 points
0.258 * * * * [points]: Setting MPFR precision to 64
0.261 * * * * [points]: Setting MPFR precision to 320
0.263 * * * * [points]: Filtering points with unrepresentable outputs
0.263 * * * * [points]: Sampling 9 additional inputs, on iter 4 have 247 / 256
0.263 * * * * [points]: Computing exacts for 9 points
0.274 * * * * [points]: Setting MPFR precision to 64
0.276 * * * * [points]: Setting MPFR precision to 320
0.277 * * * * [points]: Filtering points with unrepresentable outputs
0.277 * * * * [points]: Sampling 4 additional inputs, on iter 5 have 254 / 256
0.277 * * * * [points]: Computing exacts for 4 points
0.287 * * * * [points]: Setting MPFR precision to 64
0.288 * * * * [points]: Setting MPFR precision to 320
0.288 * * * * [points]: Filtering points with unrepresentable outputs
0.288 * * * * [points]: Sampled 257 points with exact outputs
0.288 * * * [progress]: [2/2] Setting up program.
0.316 * [progress]: [Phase 2 of 3] Improving.
0.316 * * * * [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.316 * [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.317 * * [simplify]: iteration 1: (18 enodes)
0.347 * * [simplify]: iteration 2: (46 enodes)
0.368 * * [simplify]: iteration 3: (118 enodes)
0.431 * * [simplify]: iteration 4: (502 enodes)
1.046 * * [simplify]: Extracting #0: cost 1 inf + 0
1.047 * * [simplify]: Extracting #1: cost 11 inf + 0
1.047 * * [simplify]: Extracting #2: cost 444 inf + 0
1.050 * * [simplify]: Extracting #3: cost 904 inf + 1411
1.054 * * [simplify]: Extracting #4: cost 913 inf + 5512
1.059 * * [simplify]: Extracting #5: cost 860 inf + 24534
1.083 * * [simplify]: Extracting #6: cost 557 inf + 257395
1.141 * * [simplify]: Extracting #7: cost 56 inf + 737704
1.239 * * [simplify]: Extracting #8: cost 0 inf + 794997
1.360 * * [simplify]: Extracting #9: cost 0 inf + 794710
1.487 * [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.540 * * [progress]: iteration 1 / 4
1.540 * * * [progress]: picking best candidate
1.590 * * * * [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.590 * * * [progress]: localizing error
1.957 * * * [progress]: generating rewritten candidates
1.957 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
2.052 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1)
2.069 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
2.161 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
2.225 * * * [progress]: generating series expansions
2.225 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
2.226 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1)
2.226 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
2.226 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
2.226 * * * [progress]: simplifying candidates
2.226 * * * * [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.226 * * * * [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.226 * * * * [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.227 * * * * [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.227 * * * * [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.227 * * * * [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.227 * * * * [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.227 * * * * [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.227 * * * * [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.227 * [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.228 * * [simplify]: iteration 1: (21 enodes)
2.238 * * [simplify]: iteration 2: (54 enodes)
2.256 * * [simplify]: iteration 3: (156 enodes)
2.336 * * [simplify]: iteration 4: (661 enodes)
3.382 * * [simplify]: Extracting #0: cost 4 inf + 0
3.382 * * [simplify]: Extracting #1: cost 101 inf + 0
3.385 * * [simplify]: Extracting #2: cost 665 inf + 1
3.393 * * [simplify]: Extracting #3: cost 924 inf + 6405
3.404 * * [simplify]: Extracting #4: cost 895 inf + 23463
3.426 * * [simplify]: Extracting #5: cost 748 inf + 169866
3.532 * * [simplify]: Extracting #6: cost 193 inf + 828900
3.629 * * [simplify]: Extracting #7: cost 0 inf + 917980
3.717 * * [simplify]: Extracting #8: cost 0 inf + 910335
3.833 * [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.834 * * * [progress]: adding candidates to table
4.117 * * [progress]: iteration 2 / 4
4.117 * * * [progress]: picking best candidate
4.174 * * * * [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))))>
4.175 * * * [progress]: localizing error
4.433 * * * [progress]: generating rewritten candidates
4.433 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
4.461 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
4.481 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
4.527 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2)
4.534 * * * [progress]: generating series expansions
4.534 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
4.534 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
4.534 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
4.534 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2)
4.534 * * * [progress]: simplifying candidates
4.534 * * * * [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.534 * * * * [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))))>
4.534 * * * * [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))))>
4.534 * * * * [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))))>
4.535 * * * * [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))))>
4.535 * * * * [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))))>
4.535 * * * * [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))))>
4.535 * * * * [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))))>
4.535 * * * * [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))))>
4.535 * [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))
4.535 * * [simplify]: iteration 1: (16 enodes)
4.544 * * [simplify]: iteration 2: (43 enodes)
4.562 * * [simplify]: iteration 3: (108 enodes)
4.606 * * [simplify]: iteration 4: (347 enodes)
4.839 * * [simplify]: iteration 5: (1247 enodes)
6.471 * * [simplify]: Extracting #0: cost 4 inf + 0
6.471 * * [simplify]: Extracting #1: cost 154 inf + 0
6.474 * * [simplify]: Extracting #2: cost 830 inf + 2175
6.479 * * [simplify]: Extracting #3: cost 817 inf + 7283
6.484 * * [simplify]: Extracting #4: cost 800 inf + 14476
6.496 * * [simplify]: Extracting #5: cost 754 inf + 48171
6.581 * * [simplify]: Extracting #6: cost 282 inf + 632873
6.693 * * [simplify]: Extracting #7: cost 7 inf + 947868
6.854 * * [simplify]: Extracting #8: cost 0 inf + 949936
6.980 * [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))
6.980 * * * [progress]: adding candidates to table
7.350 * * [progress]: iteration 3 / 4
7.350 * * * [progress]: picking best candidate
7.470 * * * * [pick]: Picked  #<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.470 * * * [progress]: localizing error
7.992 * * * [progress]: generating rewritten candidates
7.992 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
8.019 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
8.031 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
8.059 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2)
8.067 * * * [progress]: generating series expansions
8.067 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
8.067 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
8.067 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
8.068 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2)
8.068 * * * [progress]: simplifying candidates
8.068 * * * * [progress]: [ 1 / 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))))>
8.068 * * * * [progress]: [ 2 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 beta (+.p16 (*.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))))>
8.068 * * * * [progress]: [ 3 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 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 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
8.068 * * * * [progress]: [ 4 / 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))))>
8.068 * * * * [progress]: [ 5 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 alpha (+.p16 (+.p16 (*.p16 beta alpha) (real->posit16 1.0)) 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))))>
8.068 * * * * [progress]: [ 6 / 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))))>
8.068 * * * * [progress]: [ 7 / 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))))>
8.068 * * * * [progress]: [ 8 / 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))))>
8.068 * * * * [progress]: [ 9 / 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))))>
8.069 * [simplify]: Simplifying (+.p16 alpha 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 beta (*.p16 beta alpha)), (+.p16 beta (+.p16 (*.p16 beta alpha) (real->posit16 1.0))), (+.p16 beta (+.p16 (*.p16 beta alpha) (real->posit16 1.0))), (+.p16 beta (+.p16 (*.p16 beta alpha) (real->posit16 1.0))), (+.p16 beta (+.p16 (*.p16 beta alpha) (real->posit16 1.0)))
8.069 * * [simplify]: iteration 1: (16 enodes)
8.079 * * [simplify]: iteration 2: (41 enodes)
8.095 * * [simplify]: iteration 3: (101 enodes)
8.155 * * [simplify]: iteration 4: (339 enodes)
8.388 * * [simplify]: iteration 5: (1213 enodes)
10.068 * * [simplify]: Extracting #0: cost 4 inf + 0
10.069 * * [simplify]: Extracting #1: cost 159 inf + 0
10.075 * * [simplify]: Extracting #2: cost 951 inf + 1089
10.084 * * [simplify]: Extracting #3: cost 939 inf + 5759
10.089 * * [simplify]: Extracting #4: cost 926 inf + 11624
10.100 * * [simplify]: Extracting #5: cost 772 inf + 198091
10.204 * * [simplify]: Extracting #6: cost 139 inf + 1031432
10.360 * * [simplify]: Extracting #7: cost 0 inf + 1111573
10.540 * * [simplify]: Extracting #8: cost 0 inf + 1105973
10.720 * [simplify]: Simplified to (+.p16 beta alpha), (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) (real->posit16 1)) beta)) (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) (real->posit16 1)) beta))), (+.p16 beta (*.p16 beta alpha)), (+.p16 (real->posit16 1.0) (+.p16 beta (*.p16 beta alpha))), (+.p16 (real->posit16 1.0) (+.p16 beta (*.p16 beta alpha))), (+.p16 (real->posit16 1.0) (+.p16 beta (*.p16 beta alpha))), (+.p16 (real->posit16 1.0) (+.p16 beta (*.p16 beta alpha)))
10.721 * * * [progress]: adding candidates to table
11.236 * * [progress]: iteration 4 / 4
11.236 * * * [progress]: picking best candidate
11.368 * * * * [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))))>
11.368 * * * [progress]: localizing error
11.812 * * * [progress]: generating rewritten candidates
11.812 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
11.848 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
11.874 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
11.913 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2 1)
11.919 * * * [progress]: generating series expansions
11.919 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
11.920 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
11.920 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
11.920 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2 1)
11.920 * * * [progress]: simplifying candidates
11.920 * * * * [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))))>
11.920 * * * * [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))))>
11.920 * * * * [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))))>
11.920 * * * * [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))))>
11.920 * * * * [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))))>
11.920 * * * * [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))))>
11.920 * * * * [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))))>
11.920 * * * * [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))))>
11.921 * [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 beta (*.p16 beta alpha)), (+.p16 beta (*.p16 beta alpha)), (+.p16 beta (*.p16 beta alpha)), (+.p16 beta (*.p16 beta alpha))
11.921 * * [simplify]: iteration 1: (13 enodes)
11.927 * * [simplify]: iteration 2: (36 enodes)
11.942 * * [simplify]: iteration 3: (98 enodes)
11.985 * * [simplify]: iteration 4: (335 enodes)
12.294 * * [simplify]: iteration 5: (1240 enodes)
14.158 * * [simplify]: Extracting #0: cost 3 inf + 0
14.158 * * [simplify]: Extracting #1: cost 156 inf + 0
14.162 * * [simplify]: Extracting #2: cost 909 inf + 2454
14.166 * * [simplify]: Extracting #3: cost 897 inf + 9688
14.171 * * [simplify]: Extracting #4: cost 887 inf + 10500
14.187 * * [simplify]: Extracting #5: cost 675 inf + 223762
14.322 * * [simplify]: Extracting #6: cost 65 inf + 977475
14.470 * * [simplify]: Extracting #7: cost 0 inf + 1070335
14.611 * [simplify]: Simplified to (+.p16 alpha (+.p16 beta (*.p16 beta alpha))), (*.p16 (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 1) (real->posit16 2)))) (+.p16 beta (+.p16 alpha (*.p16 (real->posit16 1) (real->posit16 2))))), (+.p16 beta (*.p16 beta alpha)), (+.p16 beta (*.p16 beta alpha)), (+.p16 beta (*.p16 beta alpha)), (+.p16 beta (*.p16 beta alpha))
14.612 * * * [progress]: adding candidates to table
14.799 * [progress]: [Phase 3 of 3] Extracting.
14.799 * * [regime]: Finding splitpoints for: (#<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))))> #<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 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 (+.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))))))>)
14.801 * * * [regime-changes]: Trying 2 branch expressions: (beta alpha)
14.801 * * * * [regimes]: Trying to branch on beta from (#<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))))> #<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 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 (+.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))))))>)
14.966 * * * * [regimes]: Trying to branch on alpha from (#<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))))> #<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 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 (+.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.098 * * * [regime]: Found split indices: #<option (#s(si 1 256))>
15.098 * [simplify]: Simplifying (/.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)))
15.098 * * [simplify]: iteration 1: (18 enodes)
15.101 * * [simplify]: iteration 2: (20 enodes)
15.102 * * [simplify]: Extracting #0: cost 1 inf + 0
15.102 * * [simplify]: Extracting #1: cost 3 inf + 0
15.102 * * [simplify]: Extracting #2: cost 6 inf + 0
15.102 * * [simplify]: Extracting #3: cost 10 inf + 0
15.102 * * [simplify]: Extracting #4: cost 13 inf + 2
15.102 * * [simplify]: Extracting #5: cost 14 inf + 4
15.102 * * [simplify]: Extracting #6: cost 8 inf + 372
15.103 * * [simplify]: Extracting #7: cost 4 inf + 1904
15.103 * * [simplify]: Extracting #8: cost 1 inf + 5279
15.103 * * [simplify]: Extracting #9: cost 0 inf + 7444
15.103 * [simplify]: Simplified to (/.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)))
15.103 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
15.145 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
15.154 * * * * [points]: Setting MPFR precision to 64
15.156 * * * * [points]: Setting MPFR precision to 320
15.158 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
15.167 * * * * [points]: Setting MPFR precision to 64
15.171 * * * * [points]: Setting MPFR precision to 320
15.175 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
15.184 * * * * [points]: Setting MPFR precision to 64
15.191 * * * * [points]: Setting MPFR precision to 320
15.198 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
15.207 * * * * [points]: Setting MPFR precision to 64
15.221 * * * * [points]: Setting MPFR precision to 320
15.237 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
15.246 * * * * [points]: Setting MPFR precision to 64
15.302 * * * * [points]: Setting MPFR precision to 320
15.330 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
15.340 * * * * [points]: Setting MPFR precision to 64
15.396 * * * * [points]: Setting MPFR precision to 320
15.452 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
15.462 * * * * [points]: Setting MPFR precision to 64
15.623 * * * * [points]: Setting MPFR precision to 320
15.735 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
15.785 * * * * [points]: Setting MPFR precision to 64
16.039 * * * * [points]: Setting MPFR precision to 320
16.721 * * * * [points]: Computing exacts for 8000 points
16.726 * * * * [points]: Setting MPFR precision to 64
17.656 * * * * [points]: Setting MPFR precision to 320
18.832 * * * * [points]: Filtering points with unrepresentable outputs
18.892 * * * * [points]: Sampling 3521 additional inputs, on iter 1 have 4479 / 8000
18.914 * * * * [points]: Computing exacts on every 220 of 3521 points to ramp up precision
18.924 * * * * [points]: Setting MPFR precision to 64
18.926 * * * * [points]: Setting MPFR precision to 320
18.928 * * * * [points]: Computing exacts on every 110 of 3521 points to ramp up precision
18.937 * * * * [points]: Setting MPFR precision to 64
18.941 * * * * [points]: Setting MPFR precision to 320
18.945 * * * * [points]: Computing exacts on every 55 of 3521 points to ramp up precision
18.954 * * * * [points]: Setting MPFR precision to 64
18.960 * * * * [points]: Setting MPFR precision to 320
18.964 * * * * [points]: Computing exacts on every 27 of 3521 points to ramp up precision
18.970 * * * * [points]: Setting MPFR precision to 64
18.978 * * * * [points]: Setting MPFR precision to 320
18.986 * * * * [points]: Computing exacts on every 13 of 3521 points to ramp up precision
18.992 * * * * [points]: Setting MPFR precision to 64
19.012 * * * * [points]: Setting MPFR precision to 320
19.070 * * * * [points]: Computing exacts on every 6 of 3521 points to ramp up precision
19.083 * * * * [points]: Setting MPFR precision to 64
19.123 * * * * [points]: Setting MPFR precision to 320
19.156 * * * * [points]: Computing exacts on every 3 of 3521 points to ramp up precision
19.161 * * * * [points]: Setting MPFR precision to 64
19.283 * * * * [points]: Setting MPFR precision to 320
19.358 * * * * [points]: Computing exacts for 3521 points
19.365 * * * * [points]: Setting MPFR precision to 64
19.806 * * * * [points]: Setting MPFR precision to 320
20.561 * * * * [points]: Filtering points with unrepresentable outputs
20.566 * * * * [points]: Sampling 1587 additional inputs, on iter 2 have 6413 / 8000
20.572 * * * * [points]: Computing exacts on every 99 of 1587 points to ramp up precision
20.581 * * * * [points]: Setting MPFR precision to 64
20.583 * * * * [points]: Setting MPFR precision to 320
20.584 * * * * [points]: Computing exacts on every 49 of 1587 points to ramp up precision
20.615 * * * * [points]: Setting MPFR precision to 64
20.617 * * * * [points]: Setting MPFR precision to 320
20.619 * * * * [points]: Computing exacts on every 24 of 1587 points to ramp up precision
20.626 * * * * [points]: Setting MPFR precision to 64
20.630 * * * * [points]: Setting MPFR precision to 320
20.635 * * * * [points]: Computing exacts on every 12 of 1587 points to ramp up precision
20.640 * * * * [points]: Setting MPFR precision to 64
20.648 * * * * [points]: Setting MPFR precision to 320
20.656 * * * * [points]: Computing exacts on every 6 of 1587 points to ramp up precision
20.661 * * * * [points]: Setting MPFR precision to 64
20.675 * * * * [points]: Setting MPFR precision to 320
20.697 * * * * [points]: Computing exacts on every 3 of 1587 points to ramp up precision
20.703 * * * * [points]: Setting MPFR precision to 64
20.751 * * * * [points]: Setting MPFR precision to 320
20.780 * * * * [points]: Computing exacts for 1587 points
20.785 * * * * [points]: Setting MPFR precision to 64
20.916 * * * * [points]: Setting MPFR precision to 320
21.102 * * * * [points]: Filtering points with unrepresentable outputs
21.106 * * * * [points]: Sampling 742 additional inputs, on iter 3 have 7258 / 8000
21.110 * * * * [points]: Computing exacts on every 46 of 742 points to ramp up precision
21.119 * * * * [points]: Setting MPFR precision to 64
21.122 * * * * [points]: Setting MPFR precision to 320
21.123 * * * * [points]: Computing exacts on every 23 of 742 points to ramp up precision
21.133 * * * * [points]: Setting MPFR precision to 64
21.137 * * * * [points]: Setting MPFR precision to 320
21.140 * * * * [points]: Computing exacts on every 11 of 742 points to ramp up precision
21.150 * * * * [points]: Setting MPFR precision to 64
21.156 * * * * [points]: Setting MPFR precision to 320
21.159 * * * * [points]: Computing exacts on every 5 of 742 points to ramp up precision
21.164 * * * * [points]: Setting MPFR precision to 64
21.172 * * * * [points]: Setting MPFR precision to 320
21.180 * * * * [points]: Computing exacts on every 2 of 742 points to ramp up precision
21.184 * * * * [points]: Setting MPFR precision to 64
21.200 * * * * [points]: Setting MPFR precision to 320
21.259 * * * * [points]: Computing exacts for 742 points
21.268 * * * * [points]: Setting MPFR precision to 64
21.357 * * * * [points]: Setting MPFR precision to 320
21.424 * * * * [points]: Filtering points with unrepresentable outputs
21.426 * * * * [points]: Sampling 305 additional inputs, on iter 4 have 7695 / 8000
21.427 * * * * [points]: Computing exacts on every 19 of 305 points to ramp up precision
21.473 * * * * [points]: Setting MPFR precision to 64
21.475 * * * * [points]: Setting MPFR precision to 320
21.480 * * * * [points]: Computing exacts on every 9 of 305 points to ramp up precision
21.490 * * * * [points]: Setting MPFR precision to 64
21.494 * * * * [points]: Setting MPFR precision to 320
21.498 * * * * [points]: Computing exacts on every 4 of 305 points to ramp up precision
21.507 * * * * [points]: Setting MPFR precision to 64
21.514 * * * * [points]: Setting MPFR precision to 320
21.521 * * * * [points]: Computing exacts on every 2 of 305 points to ramp up precision
21.529 * * * * [points]: Setting MPFR precision to 64
21.539 * * * * [points]: Setting MPFR precision to 320
21.550 * * * * [points]: Computing exacts for 305 points
21.560 * * * * [points]: Setting MPFR precision to 64
21.595 * * * * [points]: Setting MPFR precision to 320
21.633 * * * * [points]: Filtering points with unrepresentable outputs
21.634 * * * * [points]: Sampling 126 additional inputs, on iter 5 have 7874 / 8000
21.635 * * * * [points]: Computing exacts on every 7 of 126 points to ramp up precision
21.681 * * * * [points]: Setting MPFR precision to 64
21.683 * * * * [points]: Setting MPFR precision to 320
21.688 * * * * [points]: Computing exacts on every 3 of 126 points to ramp up precision
21.698 * * * * [points]: Setting MPFR precision to 64
21.702 * * * * [points]: Setting MPFR precision to 320
21.705 * * * * [points]: Computing exacts for 126 points
21.715 * * * * [points]: Setting MPFR precision to 64
21.729 * * * * [points]: Setting MPFR precision to 320
21.745 * * * * [points]: Filtering points with unrepresentable outputs
21.745 * * * * [points]: Sampling 56 additional inputs, on iter 6 have 7944 / 8000
21.745 * * * * [points]: Computing exacts on every 3 of 56 points to ramp up precision
21.756 * * * * [points]: Setting MPFR precision to 64
21.758 * * * * [points]: Setting MPFR precision to 320
21.760 * * * * [points]: Computing exacts for 56 points
21.771 * * * * [points]: Setting MPFR precision to 64
21.778 * * * * [points]: Setting MPFR precision to 320
21.785 * * * * [points]: Filtering points with unrepresentable outputs
21.785 * * * * [points]: Sampling 22 additional inputs, on iter 7 have 7978 / 8000
21.786 * * * * [points]: Computing exacts for 22 points
21.795 * * * * [points]: Setting MPFR precision to 64
21.798 * * * * [points]: Setting MPFR precision to 320
21.801 * * * * [points]: Filtering points with unrepresentable outputs
21.801 * * * * [points]: Sampling 12 additional inputs, on iter 8 have 7988 / 8000
21.801 * * * * [points]: Computing exacts for 12 points
21.811 * * * * [points]: Setting MPFR precision to 64
21.813 * * * * [points]: Setting MPFR precision to 320
21.814 * * * * [points]: Filtering points with unrepresentable outputs
21.814 * * * * [points]: Sampling 7 additional inputs, on iter 9 have 7993 / 8000
21.814 * * * * [points]: Computing exacts for 7 points
21.824 * * * * [points]: Setting MPFR precision to 64
21.825 * * * * [points]: Setting MPFR precision to 320
21.826 * * * * [points]: Filtering points with unrepresentable outputs
21.826 * * * * [points]: Sampling 4 additional inputs, on iter 10 have 7998 / 8000
21.826 * * * * [points]: Computing exacts for 4 points
21.859 * * * * [points]: Setting MPFR precision to 64
21.860 * * * * [points]: Setting MPFR precision to 320
21.860 * * * * [points]: Filtering points with unrepresentable outputs
21.861 * * * * [points]: Sampled 8002 points with exact outputs
26.715 * [regime-testing]: Baseline error score: 64.0
26.722 * [regime-testing]: Oracle error score: 64.0
26.735 * [regime-testing]: End program error score: 0.3697643635406794