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.005 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.008 * * * * [points]: Setting MPFR precision to 64
0.010 * * * * [points]: Setting MPFR precision to 320
0.012 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.016 * * * * [points]: Setting MPFR precision to 64
0.019 * * * * [points]: Setting MPFR precision to 320
0.022 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.027 * * * * [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.044 * * * * [points]: Setting MPFR precision to 64
0.053 * * * * [points]: Setting MPFR precision to 320
0.063 * * * * [points]: Computing exacts for 256 points
0.067 * * * * [points]: Setting MPFR precision to 64
0.109 * * * * [points]: Setting MPFR precision to 320
0.137 * * * * [points]: Filtering points with unrepresentable outputs
0.138 * * * * [points]: Sampled 256 points with exact outputs
0.138 * * * [progress]: [2/2] Setting up program.
0.165 * [progress]: [Phase 2 of 3] Improving.
0.165 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (d1 d2 d3) (+.p16 (+.p16 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1)) (*.p16 d1 (real->posit16 32))))>
0.166 * [simplify]: Simplifying (+.p16 (+.p16 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1)) (*.p16 d1 (real->posit16 32)))
0.166 * * [simplify]: iters left: 5 (13 enodes)
0.172 * * [simplify]: iters left: 4 (29 enodes)
0.183 * * [simplify]: iters left: 3 (49 enodes)
0.194 * * [simplify]: iters left: 2 (122 enodes)
0.228 * * [simplify]: iters left: 1 (229 enodes)
0.282 * * [simplify]: Extracting #0: cost 1 inf + 0
0.283 * * [simplify]: Extracting #1: cost 25 inf + 0
0.284 * * [simplify]: Extracting #2: cost 49 inf + 1
0.284 * * [simplify]: Extracting #3: cost 48 inf + 325
0.285 * * [simplify]: Extracting #4: cost 31 inf + 3607
0.286 * * [simplify]: Extracting #5: cost 5 inf + 12328
0.288 * * [simplify]: Extracting #6: cost 0 inf + 12623
0.290 * [simplify]: Simplified to (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1)
0.290 * [simplify]: Simplified (2) to (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1))
0.319 * * [progress]: iteration 1 / 4
0.319 * * * [progress]: picking best candidate
0.346 * * * * [pick]: Picked  #<alt (λ (d1 d2 d3) (+.p16 (+.p16 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1)) (*.p16 d1 (real->posit16 32))))>
0.347 * * * [progress]: localizing error
0.503 * * * [progress]: generating rewritten candidates
0.503 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1)
0.507 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
0.511 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 2)
0.514 * * * [progress]: generating series expansions
0.514 * * * * [progress]: [ 1 / 3 ] generating series at (2 1)
0.514 * * * * [progress]: [ 2 / 3 ] generating series at (2)
0.514 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 2)
0.514 * * * [progress]: simplifying candidates
0.514 * * * * [progress]: [ 1 / 7 ] simplifiying candidate #<alt (λ (d1 d2 d3) (+.p16 (+.p16 (*.p16 (+.p16 d3 (real->posit16 5)) d1) (*.p16 d1 d2)) (*.p16 d1 (real->posit16 32))))>
0.514 * * * * [progress]: [ 2 / 7 ] simplifiying candidate #<alt (λ (d1 d2 d3) (+.p16 (*.p16 d1 d2) (+.p16 (*.p16 (+.p16 d3 (real->posit16 5)) d1) (*.p16 d1 (real->posit16 32)))))>
0.515 * [simplify]: Simplifying (+.p16 (*.p16 (+.p16 d3 (real->posit16 5)) d1) (*.p16 d1 (real->posit16 32)))
0.515 * * [simplify]: iters left: 4 (10 enodes)
0.517 * * [simplify]: iters left: 3 (20 enodes)
0.528 * * [simplify]: iters left: 2 (32 enodes)
0.534 * * [simplify]: iters left: 1 (57 enodes)
0.543 * * [simplify]: Extracting #0: cost 1 inf + 0
0.543 * * [simplify]: Extracting #1: cost 11 inf + 0
0.543 * * [simplify]: Extracting #2: cost 16 inf + 1
0.543 * * [simplify]: Extracting #3: cost 17 inf + 2
0.543 * * [simplify]: Extracting #4: cost 13 inf + 327
0.544 * * [simplify]: Extracting #5: cost 6 inf + 1863
0.544 * * [simplify]: Extracting #6: cost 0 inf + 3720
0.544 * * [simplify]: Extracting #7: cost 0 inf + 3400
0.545 * [simplify]: Simplified to (*.p16 d1 (+.p16 (real->posit16 5) (+.p16 d3 (real->posit16 32))))
0.545 * [simplify]: Simplified (2 2) to (λ (d1 d2 d3) (+.p16 (*.p16 d1 d2) (*.p16 d1 (+.p16 (real->posit16 5) (+.p16 d3 (real->posit16 32))))))
0.545 * * * * [progress]: [ 3 / 7 ] simplifiying candidate #<alt (λ (d1 d2 d3) (+.p16 (*.p16 d1 (real->posit16 32)) (+.p16 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1))))>
0.545 * * * * [progress]: [ 4 / 7 ] simplifiying candidate #<alt (λ (d1 d2 d3) (+.p16 (+.p16 (*.p16 d1 d2) (*.p16 d1 (+.p16 d3 (real->posit16 5)))) (*.p16 d1 (real->posit16 32))))>
0.545 * * * * [progress]: [ 5 / 7 ] simplifiying candidate #<alt (λ (d1 d2 d3) (+.p16 (+.p16 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1)) (*.p16 d1 (real->posit16 32))))>
0.545 * [simplify]: Simplifying (+.p16 (+.p16 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1)) (*.p16 d1 (real->posit16 32)))
0.545 * * [simplify]: iters left: 5 (13 enodes)
0.548 * * [simplify]: iters left: 4 (29 enodes)
0.553 * * [simplify]: iters left: 3 (49 enodes)
0.564 * * [simplify]: iters left: 2 (122 enodes)
0.594 * * [simplify]: iters left: 1 (229 enodes)
0.671 * * [simplify]: Extracting #0: cost 1 inf + 0
0.671 * * [simplify]: Extracting #1: cost 25 inf + 0
0.671 * * [simplify]: Extracting #2: cost 49 inf + 1
0.671 * * [simplify]: Extracting #3: cost 48 inf + 325
0.672 * * [simplify]: Extracting #4: cost 31 inf + 3607
0.673 * * [simplify]: Extracting #5: cost 5 inf + 12328
0.676 * * [simplify]: Extracting #6: cost 0 inf + 12623
0.678 * [simplify]: Simplified to (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1)
0.678 * [simplify]: Simplified (2) to (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1))
0.678 * * * * [progress]: [ 6 / 7 ] simplifiying candidate #<alt (λ (d1 d2 d3) (+.p16 (+.p16 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1)) (*.p16 d1 (real->posit16 32))))>
0.678 * [simplify]: Simplifying (+.p16 (+.p16 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1)) (*.p16 d1 (real->posit16 32)))
0.678 * * [simplify]: iters left: 5 (13 enodes)
0.682 * * [simplify]: iters left: 4 (29 enodes)
0.687 * * [simplify]: iters left: 3 (49 enodes)
0.697 * * [simplify]: iters left: 2 (122 enodes)
0.720 * * [simplify]: iters left: 1 (229 enodes)
0.775 * * [simplify]: Extracting #0: cost 1 inf + 0
0.775 * * [simplify]: Extracting #1: cost 25 inf + 0
0.776 * * [simplify]: Extracting #2: cost 49 inf + 1
0.776 * * [simplify]: Extracting #3: cost 48 inf + 325
0.776 * * [simplify]: Extracting #4: cost 31 inf + 3607
0.778 * * [simplify]: Extracting #5: cost 5 inf + 12328
0.780 * * [simplify]: Extracting #6: cost 0 inf + 12623
0.782 * [simplify]: Simplified to (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1)
0.782 * [simplify]: Simplified (2) to (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1))
0.782 * * * * [progress]: [ 7 / 7 ] simplifiying candidate #<alt (λ (d1 d2 d3) (+.p16 (+.p16 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1)) (*.p16 d1 (real->posit16 32))))>
0.782 * [simplify]: Simplifying (+.p16 (+.p16 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1)) (*.p16 d1 (real->posit16 32)))
0.782 * * [simplify]: iters left: 5 (13 enodes)
0.786 * * [simplify]: iters left: 4 (29 enodes)
0.791 * * [simplify]: iters left: 3 (49 enodes)
0.804 * * [simplify]: iters left: 2 (122 enodes)
0.839 * * [simplify]: iters left: 1 (229 enodes)
0.891 * * [simplify]: Extracting #0: cost 1 inf + 0
0.891 * * [simplify]: Extracting #1: cost 25 inf + 0
0.891 * * [simplify]: Extracting #2: cost 49 inf + 1
0.892 * * [simplify]: Extracting #3: cost 48 inf + 325
0.892 * * [simplify]: Extracting #4: cost 31 inf + 3607
0.893 * * [simplify]: Extracting #5: cost 5 inf + 12328
0.895 * * [simplify]: Extracting #6: cost 0 inf + 12623
0.897 * [simplify]: Simplified to (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1)
0.897 * [simplify]: Simplified (2) to (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1))
0.897 * * * [progress]: adding candidates to table
1.105 * * [progress]: iteration 2 / 4
1.105 * * * [progress]: picking best candidate
1.132 * * * * [pick]: Picked  #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1))>
1.132 * * * [progress]: localizing error
1.249 * * * [progress]: generating rewritten candidates
1.249 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
1.260 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1)
1.264 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
1.276 * * * [progress]: generating series expansions
1.276 * * * * [progress]: [ 1 / 3 ] generating series at (2)
1.276 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1)
1.276 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
1.276 * * * [progress]: simplifying candidates
1.276 * * * * [progress]: [ 1 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 d1 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32))))>
1.276 * * * * [progress]: [ 2 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (+.p16 (real->posit16 5) d3) d2) (real->posit16 32)) d1))>
1.276 * [simplify]: Simplifying (+.p16 (real->posit16 5) d3)
1.277 * * [simplify]: iters left: 2 (4 enodes)
1.278 * * [simplify]: iters left: 1 (8 enodes)
1.279 * * [simplify]: Extracting #0: cost 1 inf + 0
1.279 * * [simplify]: Extracting #1: cost 3 inf + 0
1.279 * * [simplify]: Extracting #2: cost 3 inf + 1
1.279 * * [simplify]: Extracting #3: cost 2 inf + 2
1.279 * * [simplify]: Extracting #4: cost 0 inf + 45
1.279 * [simplify]: Simplified to (+.p16 (real->posit16 5) d3)
1.279 * [simplify]: Simplified (2 1 1 1) to (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (+.p16 (real->posit16 5) d3) d2) (real->posit16 32)) d1))
1.279 * * * * [progress]: [ 3 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (+.p16 d3 d2) (real->posit16 5)) (real->posit16 32)) d1))>
1.279 * * * * [progress]: [ 4 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (real->posit16 5) (+.p16 (+.p16 d3 d2) (real->posit16 32))) d1))>
1.280 * [simplify]: Simplifying (+.p16 (+.p16 d3 d2) (real->posit16 32))
1.280 * * [simplify]: iters left: 2 (6 enodes)
1.281 * * [simplify]: iters left: 1 (15 enodes)
1.289 * * [simplify]: Extracting #0: cost 1 inf + 0
1.289 * * [simplify]: Extracting #1: cost 8 inf + 0
1.289 * * [simplify]: Extracting #2: cost 7 inf + 2
1.289 * * [simplify]: Extracting #3: cost 5 inf + 45
1.289 * * [simplify]: Extracting #4: cost 1 inf + 213
1.290 * * [simplify]: Extracting #5: cost 0 inf + 255
1.290 * [simplify]: Simplified to (+.p16 (+.p16 d2 d3) (real->posit16 32))
1.290 * [simplify]: Simplified (2 1 2) to (λ (d1 d2 d3) (*.p16 (+.p16 (real->posit16 5) (+.p16 (+.p16 d2 d3) (real->posit16 32))) d1))
1.290 * * * * [progress]: [ 5 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (real->posit16 32) (+.p16 (real->posit16 5) (+.p16 d3 d2))) d1))>
1.290 * * * * [progress]: [ 6 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1))>
1.290 * [simplify]: Simplifying (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1)
1.290 * * [simplify]: iters left: 4 (11 enodes)
1.293 * * [simplify]: iters left: 3 (27 enodes)
1.297 * * [simplify]: iters left: 2 (60 enodes)
1.308 * * [simplify]: iters left: 1 (128 enodes)
1.337 * * [simplify]: Extracting #0: cost 1 inf + 0
1.337 * * [simplify]: Extracting #1: cost 27 inf + 0
1.337 * * [simplify]: Extracting #2: cost 47 inf + 1
1.337 * * [simplify]: Extracting #3: cost 43 inf + 1052
1.337 * * [simplify]: Extracting #4: cost 37 inf + 1461
1.338 * * [simplify]: Extracting #5: cost 9 inf + 9226
1.340 * * [simplify]: Extracting #6: cost 0 inf + 13500
1.342 * [simplify]: Simplified to (*.p16 (+.p16 d3 (+.p16 (+.p16 d2 (real->posit16 32)) (real->posit16 5))) d1)
1.342 * [simplify]: Simplified (2) to (λ (d1 d2 d3) (*.p16 (+.p16 d3 (+.p16 (+.p16 d2 (real->posit16 32)) (real->posit16 5))) d1))
1.342 * * * * [progress]: [ 7 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1))>
1.342 * [simplify]: Simplifying (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1)
1.342 * * [simplify]: iters left: 4 (11 enodes)
1.345 * * [simplify]: iters left: 3 (27 enodes)
1.351 * * [simplify]: iters left: 2 (60 enodes)
1.362 * * [simplify]: iters left: 1 (128 enodes)
1.391 * * [simplify]: Extracting #0: cost 1 inf + 0
1.391 * * [simplify]: Extracting #1: cost 27 inf + 0
1.391 * * [simplify]: Extracting #2: cost 47 inf + 1
1.391 * * [simplify]: Extracting #3: cost 43 inf + 1052
1.391 * * [simplify]: Extracting #4: cost 37 inf + 1461
1.392 * * [simplify]: Extracting #5: cost 9 inf + 9226
1.394 * * [simplify]: Extracting #6: cost 0 inf + 13500
1.396 * [simplify]: Simplified to (*.p16 (+.p16 d3 (+.p16 (+.p16 d2 (real->posit16 32)) (real->posit16 5))) d1)
1.396 * [simplify]: Simplified (2) to (λ (d1 d2 d3) (*.p16 (+.p16 d3 (+.p16 (+.p16 d2 (real->posit16 32)) (real->posit16 5))) d1))
1.396 * * * * [progress]: [ 8 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1))>
1.396 * [simplify]: Simplifying (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1)
1.396 * * [simplify]: iters left: 4 (11 enodes)
1.399 * * [simplify]: iters left: 3 (27 enodes)
1.403 * * [simplify]: iters left: 2 (60 enodes)
1.416 * * [simplify]: iters left: 1 (128 enodes)
1.445 * * [simplify]: Extracting #0: cost 1 inf + 0
1.446 * * [simplify]: Extracting #1: cost 27 inf + 0
1.446 * * [simplify]: Extracting #2: cost 47 inf + 1
1.446 * * [simplify]: Extracting #3: cost 43 inf + 1052
1.446 * * [simplify]: Extracting #4: cost 37 inf + 1461
1.447 * * [simplify]: Extracting #5: cost 9 inf + 9226
1.449 * * [simplify]: Extracting #6: cost 0 inf + 13500
1.451 * [simplify]: Simplified to (*.p16 (+.p16 d3 (+.p16 (+.p16 d2 (real->posit16 32)) (real->posit16 5))) d1)
1.451 * [simplify]: Simplified (2) to (λ (d1 d2 d3) (*.p16 (+.p16 d3 (+.p16 (+.p16 d2 (real->posit16 32)) (real->posit16 5))) d1))
1.451 * * * [progress]: adding candidates to table
1.639 * * [progress]: iteration 3 / 4
1.639 * * * [progress]: picking best candidate
1.668 * * * * [pick]: Picked  #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (real->posit16 5) (+.p16 (+.p16 d3 d2) (real->posit16 32))) d1))>
1.668 * * * [progress]: localizing error
1.788 * * * [progress]: generating rewritten candidates
1.788 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
1.798 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2)
1.805 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
1.814 * * * [progress]: generating series expansions
1.814 * * * * [progress]: [ 1 / 3 ] generating series at (2)
1.814 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2)
1.814 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
1.814 * * * [progress]: simplifying candidates
1.814 * * * * [progress]: [ 1 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 d1 (+.p16 (real->posit16 5) (+.p16 (+.p16 d3 d2) (real->posit16 32)))))>
1.814 * * * * [progress]: [ 2 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (real->posit16 5) (+.p16 d3 (+.p16 d2 (real->posit16 32)))) d1))>
1.814 * [simplify]: Simplifying (+.p16 d2 (real->posit16 32))
1.814 * * [simplify]: iters left: 2 (4 enodes)
1.816 * * [simplify]: iters left: 1 (8 enodes)
1.817 * * [simplify]: Extracting #0: cost 1 inf + 0
1.817 * * [simplify]: Extracting #1: cost 3 inf + 0
1.817 * * [simplify]: Extracting #2: cost 3 inf + 1
1.817 * * [simplify]: Extracting #3: cost 0 inf + 45
1.817 * [simplify]: Simplified to (+.p16 (real->posit16 32) d2)
1.817 * [simplify]: Simplified (2 1 2 2) to (λ (d1 d2 d3) (*.p16 (+.p16 (real->posit16 5) (+.p16 d3 (+.p16 (real->posit16 32) d2))) d1))
1.817 * * * * [progress]: [ 3 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (real->posit16 5) (+.p16 (real->posit16 32) (+.p16 d3 d2))) d1))>
1.817 * * * * [progress]: [ 4 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1))>
1.817 * [simplify]: Simplifying (+.p16 (real->posit16 5) (+.p16 d3 d2))
1.817 * * [simplify]: iters left: 2 (6 enodes)
1.819 * * [simplify]: iters left: 1 (15 enodes)
1.821 * * [simplify]: Extracting #0: cost 1 inf + 0
1.821 * * [simplify]: Extracting #1: cost 8 inf + 0
1.821 * * [simplify]: Extracting #2: cost 6 inf + 44
1.821 * * [simplify]: Extracting #3: cost 5 inf + 45
1.821 * * [simplify]: Extracting #4: cost 0 inf + 255
1.821 * [simplify]: Simplified to (+.p16 (+.p16 d3 d2) (real->posit16 5))
1.821 * [simplify]: Simplified (2 1 1) to (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (+.p16 d3 d2) (real->posit16 5)) (real->posit16 32)) d1))
1.821 * * * * [progress]: [ 5 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (+.p16 d3 d2) (real->posit16 32)) (real->posit16 5)) d1))>
1.821 * * * * [progress]: [ 6 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (real->posit16 5) (+.p16 (+.p16 d3 d2) (real->posit16 32))) d1))>
1.822 * [simplify]: Simplifying (+.p16 (+.p16 d3 d2) (real->posit16 32))
1.822 * * [simplify]: iters left: 2 (6 enodes)
1.823 * * [simplify]: iters left: 1 (15 enodes)
1.825 * * [simplify]: Extracting #0: cost 1 inf + 0
1.825 * * [simplify]: Extracting #1: cost 8 inf + 0
1.825 * * [simplify]: Extracting #2: cost 7 inf + 2
1.825 * * [simplify]: Extracting #3: cost 5 inf + 45
1.826 * * [simplify]: Extracting #4: cost 1 inf + 213
1.826 * * [simplify]: Extracting #5: cost 0 inf + 255
1.826 * [simplify]: Simplified to (+.p16 (+.p16 d2 d3) (real->posit16 32))
1.826 * [simplify]: Simplified (2 1 2) to (λ (d1 d2 d3) (*.p16 (+.p16 (real->posit16 5) (+.p16 (+.p16 d2 d3) (real->posit16 32))) d1))
1.826 * * * * [progress]: [ 7 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (real->posit16 5) (+.p16 (+.p16 d3 d2) (real->posit16 32))) d1))>
1.826 * [simplify]: Simplifying (+.p16 (+.p16 d3 d2) (real->posit16 32))
1.826 * * [simplify]: iters left: 2 (6 enodes)
1.827 * * [simplify]: iters left: 1 (15 enodes)
1.835 * * [simplify]: Extracting #0: cost 1 inf + 0
1.835 * * [simplify]: Extracting #1: cost 8 inf + 0
1.835 * * [simplify]: Extracting #2: cost 7 inf + 2
1.835 * * [simplify]: Extracting #3: cost 5 inf + 45
1.835 * * [simplify]: Extracting #4: cost 1 inf + 213
1.835 * * [simplify]: Extracting #5: cost 0 inf + 255
1.835 * [simplify]: Simplified to (+.p16 (+.p16 d2 d3) (real->posit16 32))
1.835 * [simplify]: Simplified (2 1 2) to (λ (d1 d2 d3) (*.p16 (+.p16 (real->posit16 5) (+.p16 (+.p16 d2 d3) (real->posit16 32))) d1))
1.835 * * * * [progress]: [ 8 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (real->posit16 5) (+.p16 (+.p16 d3 d2) (real->posit16 32))) d1))>
1.835 * [simplify]: Simplifying (+.p16 (+.p16 d3 d2) (real->posit16 32))
1.836 * * [simplify]: iters left: 2 (6 enodes)
1.837 * * [simplify]: iters left: 1 (15 enodes)
1.839 * * [simplify]: Extracting #0: cost 1 inf + 0
1.839 * * [simplify]: Extracting #1: cost 8 inf + 0
1.839 * * [simplify]: Extracting #2: cost 7 inf + 2
1.839 * * [simplify]: Extracting #3: cost 5 inf + 45
1.839 * * [simplify]: Extracting #4: cost 1 inf + 213
1.840 * * [simplify]: Extracting #5: cost 0 inf + 255
1.840 * [simplify]: Simplified to (+.p16 (+.p16 d2 d3) (real->posit16 32))
1.840 * [simplify]: Simplified (2 1 2) to (λ (d1 d2 d3) (*.p16 (+.p16 (real->posit16 5) (+.p16 (+.p16 d2 d3) (real->posit16 32))) d1))
1.840 * * * [progress]: adding candidates to table
2.031 * * [progress]: iteration 4 / 4
2.031 * * * [progress]: picking best candidate
2.057 * * * * [pick]: Picked  #<alt (λ (d1 d2 d3) (+.p16 (*.p16 d1 d2) (*.p16 d1 (+.p16 (real->posit16 5) (+.p16 d3 (real->posit16 32))))))>
2.057 * * * [progress]: localizing error
2.194 * * * [progress]: generating rewritten candidates
2.194 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
2.198 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
2.477 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 2)
2.481 * * * [progress]: generating series expansions
2.481 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
2.481 * * * * [progress]: [ 2 / 3 ] generating series at (2)
2.481 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 2)
2.481 * * * [progress]: simplifying candidates
2.482 * * * * [progress]: [ 1 / 13 ] simplifiying candidate #<alt (λ (d1 d2 d3) (+.p16 (*.p16 d1 d2) (+.p16 (*.p16 d1 (real->posit16 5)) (*.p16 d1 (+.p16 d3 (real->posit16 32))))))>
2.482 * [simplify]: Simplifying (*.p16 d1 (real->posit16 5))
2.482 * * [simplify]: iters left: 2 (4 enodes)
2.483 * * [simplify]: iters left: 1 (8 enodes)
2.485 * * [simplify]: Extracting #0: cost 1 inf + 0
2.485 * * [simplify]: Extracting #1: cost 3 inf + 0
2.485 * * [simplify]: Extracting #2: cost 3 inf + 1
2.485 * * [simplify]: Extracting #3: cost 0 inf + 325
2.485 * [simplify]: Simplified to (*.p16 d1 (real->posit16 5))
2.485 * [simplify]: Simplified (2 2 1) to (λ (d1 d2 d3) (+.p16 (*.p16 d1 d2) (+.p16 (*.p16 d1 (real->posit16 5)) (*.p16 d1 (+.p16 d3 (real->posit16 32))))))
2.485 * [simplify]: Simplifying (*.p16 d1 (+.p16 d3 (real->posit16 32)))
2.486 * * [simplify]: iters left: 3 (6 enodes)
2.487 * * [simplify]: iters left: 2 (19 enodes)
2.491 * * [simplify]: iters left: 1 (21 enodes)
2.494 * * [simplify]: Extracting #0: cost 1 inf + 0
2.494 * * [simplify]: Extracting #1: cost 5 inf + 0
2.494 * * [simplify]: Extracting #2: cost 6 inf + 1
2.494 * * [simplify]: Extracting #3: cost 5 inf + 324
2.494 * * [simplify]: Extracting #4: cost 0 inf + 1053
2.494 * [simplify]: Simplified to (*.p16 d1 (+.p16 (real->posit16 32) d3))
2.494 * [simplify]: Simplified (2 2 2) to (λ (d1 d2 d3) (+.p16 (*.p16 d1 d2) (+.p16 (*.p16 d1 (real->posit16 5)) (*.p16 d1 (+.p16 (real->posit16 32) d3)))))
2.494 * * * * [progress]: [ 2 / 13 ] simplifiying candidate #<alt (λ (d1 d2 d3) (+.p16 (*.p16 d1 d2) (+.p16 (*.p16 (real->posit16 5) d1) (*.p16 (+.p16 d3 (real->posit16 32)) d1))))>
2.494 * [simplify]: Simplifying (*.p16 (real->posit16 5) d1)
2.494 * * [simplify]: iters left: 2 (4 enodes)
2.496 * * [simplify]: iters left: 1 (8 enodes)
2.497 * * [simplify]: Extracting #0: cost 1 inf + 0
2.497 * * [simplify]: Extracting #1: cost 3 inf + 0
2.497 * * [simplify]: Extracting #2: cost 3 inf + 1
2.497 * * [simplify]: Extracting #3: cost 2 inf + 2
2.497 * * [simplify]: Extracting #4: cost 0 inf + 325
2.497 * [simplify]: Simplified to (*.p16 d1 (real->posit16 5))
2.497 * [simplify]: Simplified (2 2 1) to (λ (d1 d2 d3) (+.p16 (*.p16 d1 d2) (+.p16 (*.p16 d1 (real->posit16 5)) (*.p16 (+.p16 d3 (real->posit16 32)) d1))))
2.498 * [simplify]: Simplifying (*.p16 (+.p16 d3 (real->posit16 32)) d1)
2.498 * * [simplify]: iters left: 3 (6 enodes)
2.499 * * [simplify]: iters left: 2 (13 enodes)
2.501 * * [simplify]: iters left: 1 (21 enodes)
2.504 * * [simplify]: Extracting #0: cost 1 inf + 0
2.504 * * [simplify]: Extracting #1: cost 5 inf + 0
2.504 * * [simplify]: Extracting #2: cost 6 inf + 1
2.504 * * [simplify]: Extracting #3: cost 6 inf + 2
2.504 * * [simplify]: Extracting #4: cost 4 inf + 325
2.504 * * [simplify]: Extracting #5: cost 0 inf + 1053
2.504 * [simplify]: Simplified to (*.p16 d1 (+.p16 (real->posit16 32) d3))
2.504 * [simplify]: Simplified (2 2 2) to (λ (d1 d2 d3) (+.p16 (*.p16 d1 d2) (+.p16 (*.p16 (real->posit16 5) d1) (*.p16 d1 (+.p16 (real->posit16 32) d3)))))
2.505 * * * * [progress]: [ 3 / 13 ] simplifiying candidate #<alt (λ (d1 d2 d3) (+.p16 (*.p16 d1 d2) (*.p16 (+.p16 (real->posit16 5) (+.p16 d3 (real->posit16 32))) d1)))>
2.505 * * * * [progress]: [ 4 / 13 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 d1 (+.p16 d2 (+.p16 (real->posit16 5) (+.p16 d3 (real->posit16 32))))))>
2.505 * [simplify]: Simplifying (+.p16 d2 (+.p16 (real->posit16 5) (+.p16 d3 (real->posit16 32))))
2.505 * * [simplify]: iters left: 4 (9 enodes)
2.507 * * [simplify]: iters left: 3 (22 enodes)
2.511 * * [simplify]: iters left: 2 (42 enodes)
2.517 * * [simplify]: iters left: 1 (65 enodes)
2.527 * * [simplify]: Extracting #0: cost 1 inf + 0
2.527 * * [simplify]: Extracting #1: cost 15 inf + 0
2.527 * * [simplify]: Extracting #2: cost 15 inf + 2
2.527 * * [simplify]: Extracting #3: cost 10 inf + 130
2.528 * * [simplify]: Extracting #4: cost 0 inf + 714
2.528 * [simplify]: Simplified to (+.p16 (real->posit16 5) (+.p16 (+.p16 d2 d3) (real->posit16 32)))
2.528 * [simplify]: Simplified (2 2) to (λ (d1 d2 d3) (*.p16 d1 (+.p16 (real->posit16 5) (+.p16 (+.p16 d2 d3) (real->posit16 32)))))
2.528 * * * * [progress]: [ 5 / 13 ] simplifiying candidate #<alt (λ (d1 d2 d3) (+.p16 (+.p16 (*.p16 d1 d2) (*.p16 d1 (real->posit16 5))) (*.p16 d1 (+.p16 d3 (real->posit16 32)))))>
2.528 * [simplify]: Simplifying (+.p16 (*.p16 d1 d2) (*.p16 d1 (real->posit16 5)))
2.529 * * [simplify]: iters left: 3 (7 enodes)
2.530 * * [simplify]: iters left: 2 (17 enodes)
2.533 * * [simplify]: iters left: 1 (20 enodes)
2.536 * * [simplify]: Extracting #0: cost 1 inf + 0
2.536 * * [simplify]: Extracting #1: cost 5 inf + 0
2.536 * * [simplify]: Extracting #2: cost 6 inf + 1
2.536 * * [simplify]: Extracting #3: cost 5 inf + 324
2.536 * * [simplify]: Extracting #4: cost 0 inf + 1373
2.536 * * [simplify]: Extracting #5: cost 0 inf + 1053
2.536 * [simplify]: Simplified to (*.p16 (+.p16 (real->posit16 5) d2) d1)
2.536 * [simplify]: Simplified (2 1) to (λ (d1 d2 d3) (+.p16 (*.p16 (+.p16 (real->posit16 5) d2) d1) (*.p16 d1 (+.p16 d3 (real->posit16 32)))))
2.536 * * * * [progress]: [ 6 / 13 ] simplifiying candidate #<alt (λ (d1 d2 d3) (+.p16 (+.p16 (*.p16 d1 d2) (*.p16 (real->posit16 5) d1)) (*.p16 (+.p16 d3 (real->posit16 32)) d1)))>
2.537 * [simplify]: Simplifying (+.p16 (*.p16 d1 d2) (*.p16 (real->posit16 5) d1))
2.537 * * [simplify]: iters left: 3 (7 enodes)
2.538 * * [simplify]: iters left: 2 (15 enodes)
2.541 * * [simplify]: iters left: 1 (19 enodes)
2.543 * * [simplify]: Extracting #0: cost 1 inf + 0
2.543 * * [simplify]: Extracting #1: cost 5 inf + 0
2.543 * * [simplify]: Extracting #2: cost 6 inf + 1
2.543 * * [simplify]: Extracting #3: cost 6 inf + 2
2.544 * * [simplify]: Extracting #4: cost 4 inf + 325
2.544 * * [simplify]: Extracting #5: cost 1 inf + 1331
2.544 * * [simplify]: Extracting #6: cost 0 inf + 1053
2.544 * [simplify]: Simplified to (*.p16 d1 (+.p16 (real->posit16 5) d2))
2.544 * [simplify]: Simplified (2 1) to (λ (d1 d2 d3) (+.p16 (*.p16 d1 (+.p16 (real->posit16 5) d2)) (*.p16 (+.p16 d3 (real->posit16 32)) d1)))
2.544 * * * * [progress]: [ 7 / 13 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 d1 (+.p16 d2 (+.p16 (real->posit16 5) (+.p16 d3 (real->posit16 32))))))>
2.544 * [simplify]: Simplifying (+.p16 d2 (+.p16 (real->posit16 5) (+.p16 d3 (real->posit16 32))))
2.544 * * [simplify]: iters left: 4 (9 enodes)
2.550 * * [simplify]: iters left: 3 (22 enodes)
2.553 * * [simplify]: iters left: 2 (42 enodes)
2.560 * * [simplify]: iters left: 1 (65 enodes)
2.570 * * [simplify]: Extracting #0: cost 1 inf + 0
2.570 * * [simplify]: Extracting #1: cost 15 inf + 0
2.570 * * [simplify]: Extracting #2: cost 15 inf + 2
2.570 * * [simplify]: Extracting #3: cost 10 inf + 130
2.571 * * [simplify]: Extracting #4: cost 0 inf + 714
2.571 * [simplify]: Simplified to (+.p16 (real->posit16 5) (+.p16 (+.p16 d2 d3) (real->posit16 32)))
2.571 * [simplify]: Simplified (2 2) to (λ (d1 d2 d3) (*.p16 d1 (+.p16 (real->posit16 5) (+.p16 (+.p16 d2 d3) (real->posit16 32)))))
2.571 * * * * [progress]: [ 8 / 13 ] simplifiying candidate #<alt (λ (d1 d2 d3) (+.p16 (*.p16 d1 (+.p16 (real->posit16 5) (+.p16 d3 (real->posit16 32)))) (*.p16 d1 d2)))>
2.571 * * * * [progress]: [ 9 / 13 ] simplifiying candidate #<alt (λ (d1 d2 d3) (+.p16 (*.p16 d1 d2) (*.p16 d1 (+.p16 (+.p16 (real->posit16 5) d3) (real->posit16 32)))))>
2.571 * [simplify]: Simplifying (+.p16 (real->posit16 5) d3)
2.571 * * [simplify]: iters left: 2 (4 enodes)
2.573 * * [simplify]: iters left: 1 (8 enodes)
2.574 * * [simplify]: Extracting #0: cost 1 inf + 0
2.574 * * [simplify]: Extracting #1: cost 3 inf + 0
2.574 * * [simplify]: Extracting #2: cost 3 inf + 1
2.574 * * [simplify]: Extracting #3: cost 2 inf + 2
2.574 * * [simplify]: Extracting #4: cost 0 inf + 45
2.574 * [simplify]: Simplified to (+.p16 (real->posit16 5) d3)
2.574 * [simplify]: Simplified (2 2 2 1) to (λ (d1 d2 d3) (+.p16 (*.p16 d1 d2) (*.p16 d1 (+.p16 (+.p16 (real->posit16 5) d3) (real->posit16 32)))))
2.574 * * * * [progress]: [ 10 / 13 ] simplifiying candidate #<alt (λ (d1 d2 d3) (+.p16 (*.p16 d1 d2) (*.p16 d1 (+.p16 (+.p16 d3 (real->posit16 32)) (real->posit16 5)))))>
2.574 * * * * [progress]: [ 11 / 13 ] simplifiying candidate #<alt (λ (d1 d2 d3) (+.p16 (*.p16 d1 d2) (*.p16 d1 (+.p16 (real->posit16 5) (+.p16 d3 (real->posit16 32))))))>
2.574 * [simplify]: Simplifying (+.p16 (*.p16 d1 d2) (*.p16 d1 (+.p16 (real->posit16 5) (+.p16 d3 (real->posit16 32)))))
2.574 * * [simplify]: iters left: 5 (12 enodes)
2.577 * * [simplify]: iters left: 4 (35 enodes)
2.583 * * [simplify]: iters left: 3 (72 enodes)
2.598 * * [simplify]: iters left: 2 (160 enodes)
2.630 * * [simplify]: iters left: 1 (264 enodes)
2.723 * * [simplify]: Extracting #0: cost 1 inf + 0
2.723 * * [simplify]: Extracting #1: cost 22 inf + 0
2.723 * * [simplify]: Extracting #2: cost 35 inf + 1
2.723 * * [simplify]: Extracting #3: cost 35 inf + 3
2.723 * * [simplify]: Extracting #4: cost 22 inf + 1710
2.724 * * [simplify]: Extracting #5: cost 5 inf + 5962
2.726 * * [simplify]: Extracting #6: cost 0 inf + 8301
2.727 * [simplify]: Simplified to (*.p16 d1 (+.p16 (real->posit16 5) (+.p16 (+.p16 d3 d2) (real->posit16 32))))
2.727 * [simplify]: Simplified (2) to (λ (d1 d2 d3) (*.p16 d1 (+.p16 (real->posit16 5) (+.p16 (+.p16 d3 d2) (real->posit16 32)))))
2.727 * * * * [progress]: [ 12 / 13 ] simplifiying candidate #<alt (λ (d1 d2 d3) (+.p16 (*.p16 d1 d2) (*.p16 d1 (+.p16 (real->posit16 5) (+.p16 d3 (real->posit16 32))))))>
2.727 * [simplify]: Simplifying (+.p16 (*.p16 d1 d2) (*.p16 d1 (+.p16 (real->posit16 5) (+.p16 d3 (real->posit16 32)))))
2.727 * * [simplify]: iters left: 5 (12 enodes)
2.730 * * [simplify]: iters left: 4 (35 enodes)
2.737 * * [simplify]: iters left: 3 (72 enodes)
2.751 * * [simplify]: iters left: 2 (160 enodes)
2.784 * * [simplify]: iters left: 1 (264 enodes)
2.850 * * [simplify]: Extracting #0: cost 1 inf + 0
2.850 * * [simplify]: Extracting #1: cost 22 inf + 0
2.850 * * [simplify]: Extracting #2: cost 35 inf + 1
2.851 * * [simplify]: Extracting #3: cost 35 inf + 3
2.851 * * [simplify]: Extracting #4: cost 22 inf + 1710
2.854 * * [simplify]: Extracting #5: cost 5 inf + 5962
2.856 * * [simplify]: Extracting #6: cost 0 inf + 8301
2.859 * [simplify]: Simplified to (*.p16 d1 (+.p16 (real->posit16 5) (+.p16 (+.p16 d3 d2) (real->posit16 32))))
2.859 * [simplify]: Simplified (2) to (λ (d1 d2 d3) (*.p16 d1 (+.p16 (real->posit16 5) (+.p16 (+.p16 d3 d2) (real->posit16 32)))))
2.860 * * * * [progress]: [ 13 / 13 ] simplifiying candidate #<alt (λ (d1 d2 d3) (+.p16 (*.p16 d1 d2) (*.p16 d1 (+.p16 (real->posit16 5) (+.p16 d3 (real->posit16 32))))))>
2.860 * [simplify]: Simplifying (+.p16 (*.p16 d1 d2) (*.p16 d1 (+.p16 (real->posit16 5) (+.p16 d3 (real->posit16 32)))))
2.860 * * [simplify]: iters left: 5 (12 enodes)
2.866 * * [simplify]: iters left: 4 (35 enodes)
2.880 * * [simplify]: iters left: 3 (72 enodes)
2.896 * * [simplify]: iters left: 2 (160 enodes)
2.935 * * [simplify]: iters left: 1 (264 enodes)
3.022 * * [simplify]: Extracting #0: cost 1 inf + 0
3.023 * * [simplify]: Extracting #1: cost 22 inf + 0
3.023 * * [simplify]: Extracting #2: cost 35 inf + 1
3.023 * * [simplify]: Extracting #3: cost 35 inf + 3
3.024 * * [simplify]: Extracting #4: cost 22 inf + 1710
3.026 * * [simplify]: Extracting #5: cost 5 inf + 5962
3.029 * * [simplify]: Extracting #6: cost 0 inf + 8301
3.032 * [simplify]: Simplified to (*.p16 d1 (+.p16 (real->posit16 5) (+.p16 (+.p16 d3 d2) (real->posit16 32))))
3.032 * [simplify]: Simplified (2) to (λ (d1 d2 d3) (*.p16 d1 (+.p16 (real->posit16 5) (+.p16 (+.p16 d3 d2) (real->posit16 32)))))
3.032 * * * [progress]: adding candidates to table
3.672 * [progress]: [Phase 3 of 3] Extracting.
3.672 * * [regime]: Finding splitpoints for: (#<alt (λ (d1 d2 d3) (+.p16 (+.p16 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1)) (*.p16 d1 (real->posit16 32))))> #<alt (λ (d1 d2 d3) (*.p16 d1 (+.p16 (real->posit16 5) (+.p16 (+.p16 d3 d2) (real->posit16 32)))))> #<alt (λ (d1 d2 d3) (+.p16 (*.p16 d1 d2) (*.p16 d1 (+.p16 (real->posit16 5) (+.p16 d3 (real->posit16 32))))))> #<alt (λ (d1 d2 d3) (*.p16 d1 (+.p16 d2 (+.p16 (real->posit16 5) (+.p16 d3 (real->posit16 32))))))> #<alt (λ (d1 d2 d3) (+.p16 (*.p16 d1 d2) (+.p16 (*.p16 (real->posit16 5) d1) (*.p16 (+.p16 d3 (real->posit16 32)) d1))))> #<alt (λ (d1 d2 d3) (+.p16 (*.p16 d1 (+.p16 (real->posit16 5) d2)) (*.p16 (+.p16 d3 (real->posit16 32)) d1)))>)
3.673 * * * [regime-changes]: Trying 3 branch expressions: (d3 d2 d1)
3.673 * * * * [regimes]: Trying to branch on d3 from (#<alt (λ (d1 d2 d3) (+.p16 (+.p16 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1)) (*.p16 d1 (real->posit16 32))))> #<alt (λ (d1 d2 d3) (*.p16 d1 (+.p16 (real->posit16 5) (+.p16 (+.p16 d3 d2) (real->posit16 32)))))> #<alt (λ (d1 d2 d3) (+.p16 (*.p16 d1 d2) (*.p16 d1 (+.p16 (real->posit16 5) (+.p16 d3 (real->posit16 32))))))> #<alt (λ (d1 d2 d3) (*.p16 d1 (+.p16 d2 (+.p16 (real->posit16 5) (+.p16 d3 (real->posit16 32))))))> #<alt (λ (d1 d2 d3) (+.p16 (*.p16 d1 d2) (+.p16 (*.p16 (real->posit16 5) d1) (*.p16 (+.p16 d3 (real->posit16 32)) d1))))> #<alt (λ (d1 d2 d3) (+.p16 (*.p16 d1 (+.p16 (real->posit16 5) d2)) (*.p16 (+.p16 d3 (real->posit16 32)) d1)))>)
3.938 * * * * [regimes]: Trying to branch on d2 from (#<alt (λ (d1 d2 d3) (+.p16 (+.p16 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1)) (*.p16 d1 (real->posit16 32))))> #<alt (λ (d1 d2 d3) (*.p16 d1 (+.p16 (real->posit16 5) (+.p16 (+.p16 d3 d2) (real->posit16 32)))))> #<alt (λ (d1 d2 d3) (+.p16 (*.p16 d1 d2) (*.p16 d1 (+.p16 (real->posit16 5) (+.p16 d3 (real->posit16 32))))))> #<alt (λ (d1 d2 d3) (*.p16 d1 (+.p16 d2 (+.p16 (real->posit16 5) (+.p16 d3 (real->posit16 32))))))> #<alt (λ (d1 d2 d3) (+.p16 (*.p16 d1 d2) (+.p16 (*.p16 (real->posit16 5) d1) (*.p16 (+.p16 d3 (real->posit16 32)) d1))))> #<alt (λ (d1 d2 d3) (+.p16 (*.p16 d1 (+.p16 (real->posit16 5) d2)) (*.p16 (+.p16 d3 (real->posit16 32)) d1)))>)
4.157 * * * * [regimes]: Trying to branch on d1 from (#<alt (λ (d1 d2 d3) (+.p16 (+.p16 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1)) (*.p16 d1 (real->posit16 32))))> #<alt (λ (d1 d2 d3) (*.p16 d1 (+.p16 (real->posit16 5) (+.p16 (+.p16 d3 d2) (real->posit16 32)))))> #<alt (λ (d1 d2 d3) (+.p16 (*.p16 d1 d2) (*.p16 d1 (+.p16 (real->posit16 5) (+.p16 d3 (real->posit16 32))))))> #<alt (λ (d1 d2 d3) (*.p16 d1 (+.p16 d2 (+.p16 (real->posit16 5) (+.p16 d3 (real->posit16 32))))))> #<alt (λ (d1 d2 d3) (+.p16 (*.p16 d1 d2) (+.p16 (*.p16 (real->posit16 5) d1) (*.p16 (+.p16 d3 (real->posit16 32)) d1))))> #<alt (λ (d1 d2 d3) (+.p16 (*.p16 d1 (+.p16 (real->posit16 5) d2)) (*.p16 (+.p16 d3 (real->posit16 32)) d1)))>)
4.380 * * * [regime]: Found split indices: #<option (#s(si 0 256))>
4.381 * [simplify]: Simplifying (+.p16 (+.p16 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1)) (*.p16 d1 (real->posit16 32)))
4.381 * * [simplify]: iters left: 5 (13 enodes)
4.382 * * [simplify]: Extracting #0: cost 1 inf + 0
4.382 * * [simplify]: Extracting #1: cost 3 inf + 0
4.382 * * [simplify]: Extracting #2: cost 7 inf + 0
4.382 * * [simplify]: Extracting #3: cost 9 inf + 1
4.382 * * [simplify]: Extracting #4: cost 6 inf + 648
4.382 * * [simplify]: Extracting #5: cost 6 inf + 649
4.382 * * [simplify]: Extracting #6: cost 4 inf + 651
4.382 * * [simplify]: Extracting #7: cost 2 inf + 1056
4.383 * * [simplify]: Extracting #8: cost 0 inf + 2865
4.383 * [simplify]: Simplified to (+.p16 (+.p16 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1)) (*.p16 d1 (real->posit16 32)))
4.383 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
4.437 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
4.441 * * * * [points]: Setting MPFR precision to 64
4.443 * * * * [points]: Setting MPFR precision to 320
4.445 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
4.447 * * * * [points]: Setting MPFR precision to 64
4.449 * * * * [points]: Setting MPFR precision to 320
4.451 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
4.454 * * * * [points]: Setting MPFR precision to 64
4.458 * * * * [points]: Setting MPFR precision to 320
4.462 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
4.464 * * * * [points]: Setting MPFR precision to 64
4.474 * * * * [points]: Setting MPFR precision to 320
4.488 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
4.492 * * * * [points]: Setting MPFR precision to 64
4.520 * * * * [points]: Setting MPFR precision to 320
4.575 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
4.580 * * * * [points]: Setting MPFR precision to 64
4.635 * * * * [points]: Setting MPFR precision to 320
4.688 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
4.694 * * * * [points]: Setting MPFR precision to 64
4.782 * * * * [points]: Setting MPFR precision to 320
4.839 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
4.843 * * * * [points]: Setting MPFR precision to 64
5.014 * * * * [points]: Setting MPFR precision to 320
5.163 * * * * [points]: Computing exacts for 8000 points
5.166 * * * * [points]: Setting MPFR precision to 64
5.991 * * * * [points]: Setting MPFR precision to 320
6.796 * * * * [points]: Filtering points with unrepresentable outputs
6.840 * * * * [points]: Sampled 8000 points with exact outputs
11.218 * [regime-testing]: Baseline error score: 64.0
11.222 * [regime-testing]: Oracle error score: 64.0
11.228 * [regime-testing]: End program error score: 0.3174317197635574