0.003 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [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.017 * * * * [points]: Setting MPFR precision to 64
0.020 * * * * [points]: Setting MPFR precision to 320
0.023 * * * * [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.044 * * * * [points]: Setting MPFR precision to 64
0.054 * * * * [points]: Setting MPFR precision to 320
0.072 * * * * [points]: Computing exacts for 256 points
0.074 * * * * [points]: Setting MPFR precision to 64
0.089 * * * * [points]: Setting MPFR precision to 320
0.112 * * * * [points]: Filtering points with unrepresentable outputs
0.113 * * * * [points]: Sampled 256 points with exact outputs
0.114 * * * [progress]: [2/2] Setting up program.
0.141 * [progress]: [Phase 2 of 3] Improving.
0.141 * * * * [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.141 * [simplify]: Simplifying (+.p16 (+.p16 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1)) (*.p16 d1 (real->posit16 32)))
0.141 * * [simplify]: iters left: 5 (13 enodes)
0.147 * * [simplify]: iters left: 4 (29 enodes)
0.157 * * [simplify]: iters left: 3 (49 enodes)
0.179 * * [simplify]: iters left: 2 (122 enodes)
0.244 * * [simplify]: iters left: 1 (228 enodes)
0.368 * * [simplify]: Extracting #0: cost 1 inf + 0
0.369 * * [simplify]: Extracting #1: cost 23 inf + 0
0.369 * * [simplify]: Extracting #2: cost 50 inf + 1
0.370 * * [simplify]: Extracting #3: cost 49 inf + 325
0.370 * * [simplify]: Extracting #4: cost 29 inf + 4935
0.373 * * [simplify]: Extracting #5: cost 5 inf + 11608
0.377 * * [simplify]: Extracting #6: cost 0 inf + 11542
0.382 * [simplify]: Simplified to (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1)
0.382 * [simplify]: Simplified (2) to (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1))
0.435 * * [progress]: iteration 1 / 4
0.435 * * * [progress]: picking best candidate
0.486 * * * * [pick]: Picked  #<alt (λ (d1 d2 d3) (+.p16 (+.p16 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1)) (*.p16 d1 (real->posit16 32))))>
0.486 * * * [progress]: localizing error
0.659 * * * [progress]: generating rewritten candidates
0.659 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
0.682 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
0.688 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 2)
0.694 * * * [progress]: generating series expansions
0.694 * * * * [progress]: [ 1 / 3 ] generating series at (2)
0.694 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
0.694 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 2)
0.694 * * * [progress]: simplifying candidates
0.694 * * * * [progress]: [ 1 / 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.694 * [simplify]: Simplifying (*.p16 d1 d2)
0.694 * * [simplify]: iters left: 1 (3 enodes)
0.695 * * [simplify]: Extracting #0: cost 1 inf + 0
0.695 * * [simplify]: Extracting #1: cost 3 inf + 0
0.695 * * [simplify]: Extracting #2: cost 1 inf + 2
0.696 * * [simplify]: Extracting #3: cost 0 inf + 324
0.696 * [simplify]: Simplified to (*.p16 d2 d1)
0.696 * [simplify]: Simplified (2 1) to (λ (d1 d2 d3) (+.p16 (*.p16 d2 d1) (+.p16 (*.p16 (+.p16 d3 (real->posit16 5)) d1) (*.p16 d1 (real->posit16 32)))))
0.696 * * * * [progress]: [ 2 / 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.696 * * * * [progress]: [ 3 / 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.696 * * * * [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.696 * * * * [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.696 * [simplify]: Simplifying (+.p16 (+.p16 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1)) (*.p16 d1 (real->posit16 32)))
0.696 * * [simplify]: iters left: 5 (13 enodes)
0.702 * * [simplify]: iters left: 4 (29 enodes)
0.711 * * [simplify]: iters left: 3 (49 enodes)
0.730 * * [simplify]: iters left: 2 (122 enodes)
0.754 * * [simplify]: iters left: 1 (228 enodes)
0.838 * * [simplify]: Extracting #0: cost 1 inf + 0
0.838 * * [simplify]: Extracting #1: cost 23 inf + 0
0.839 * * [simplify]: Extracting #2: cost 50 inf + 1
0.840 * * [simplify]: Extracting #3: cost 49 inf + 325
0.841 * * [simplify]: Extracting #4: cost 29 inf + 4935
0.842 * * [simplify]: Extracting #5: cost 5 inf + 11608
0.844 * * [simplify]: Extracting #6: cost 0 inf + 11542
0.846 * [simplify]: Simplified to (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1)
0.846 * [simplify]: Simplified (2) to (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1))
0.846 * * * * [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.846 * [simplify]: Simplifying (+.p16 (+.p16 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1)) (*.p16 d1 (real->posit16 32)))
0.847 * * [simplify]: iters left: 5 (13 enodes)
0.851 * * [simplify]: iters left: 4 (29 enodes)
0.860 * * [simplify]: iters left: 3 (49 enodes)
0.882 * * [simplify]: iters left: 2 (122 enodes)
0.915 * * [simplify]: iters left: 1 (228 enodes)
0.980 * * [simplify]: Extracting #0: cost 1 inf + 0
0.981 * * [simplify]: Extracting #1: cost 23 inf + 0
0.981 * * [simplify]: Extracting #2: cost 50 inf + 1
0.981 * * [simplify]: Extracting #3: cost 49 inf + 325
0.981 * * [simplify]: Extracting #4: cost 29 inf + 4935
0.983 * * [simplify]: Extracting #5: cost 5 inf + 11608
0.985 * * [simplify]: Extracting #6: cost 0 inf + 11542
0.988 * [simplify]: Simplified to (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1)
0.988 * [simplify]: Simplified (2) to (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1))
0.989 * * * * [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.989 * [simplify]: Simplifying (+.p16 (+.p16 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1)) (*.p16 d1 (real->posit16 32)))
0.989 * * [simplify]: iters left: 5 (13 enodes)
0.992 * * [simplify]: iters left: 4 (29 enodes)
0.996 * * [simplify]: iters left: 3 (49 enodes)
1.007 * * [simplify]: iters left: 2 (122 enodes)
1.051 * * [simplify]: iters left: 1 (228 enodes)
1.173 * * [simplify]: Extracting #0: cost 1 inf + 0
1.173 * * [simplify]: Extracting #1: cost 23 inf + 0
1.173 * * [simplify]: Extracting #2: cost 50 inf + 1
1.174 * * [simplify]: Extracting #3: cost 49 inf + 325
1.175 * * [simplify]: Extracting #4: cost 29 inf + 4935
1.177 * * [simplify]: Extracting #5: cost 5 inf + 11608
1.181 * * [simplify]: Extracting #6: cost 0 inf + 11542
1.185 * [simplify]: Simplified to (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1)
1.185 * [simplify]: Simplified (2) to (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1))
1.185 * * * [progress]: adding candidates to table
1.458 * * [progress]: iteration 2 / 4
1.458 * * * [progress]: picking best candidate
1.488 * * * * [pick]: Picked  #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1))>
1.488 * * * [progress]: localizing error
1.603 * * * [progress]: generating rewritten candidates
1.603 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
1.621 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1)
1.625 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
1.637 * * * [progress]: generating series expansions
1.638 * * * * [progress]: [ 1 / 3 ] generating series at (2)
1.638 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1)
1.638 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
1.638 * * * [progress]: simplifying candidates
1.638 * * * * [progress]: [ 1 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 d1 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32))))>
1.638 * * * * [progress]: [ 2 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (+.p16 (real->posit16 5) d3) d2) (real->posit16 32)) d1))>
1.638 * * * * [progress]: [ 3 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (+.p16 d3 d2) (real->posit16 5)) (real->posit16 32)) d1))>
1.638 * * * * [progress]: [ 4 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (real->posit16 5) (+.p16 (+.p16 d3 d2) (real->posit16 32))) d1))>
1.638 * [simplify]: Simplifying (real->posit16 5)
1.638 * * [simplify]: iters left: 1 (2 enodes)
1.639 * * [simplify]: Extracting #0: cost 1 inf + 0
1.639 * * [simplify]: Extracting #1: cost 2 inf + 0
1.639 * * [simplify]: Extracting #2: cost 1 inf + 1
1.639 * * [simplify]: Extracting #3: cost 0 inf + 2
1.639 * [simplify]: Simplified to (real->posit16 5)
1.639 * [simplify]: Simplified (2 1 1) to (λ (d1 d2 d3) (*.p16 (+.p16 (real->posit16 5) (+.p16 (+.p16 d3 d2) (real->posit16 32))) d1))
1.639 * * * * [progress]: [ 5 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (real->posit16 32) (+.p16 (real->posit16 5) (+.p16 d3 d2))) d1))>
1.639 * * * * [progress]: [ 6 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1))>
1.639 * [simplify]: Simplifying (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1)
1.639 * * [simplify]: iters left: 4 (11 enodes)
1.642 * * [simplify]: iters left: 3 (27 enodes)
1.646 * * [simplify]: iters left: 2 (60 enodes)
1.657 * * [simplify]: iters left: 1 (128 enodes)
1.703 * * [simplify]: Extracting #0: cost 1 inf + 0
1.703 * * [simplify]: Extracting #1: cost 23 inf + 0
1.704 * * [simplify]: Extracting #2: cost 52 inf + 1
1.705 * * [simplify]: Extracting #3: cost 48 inf + 1052
1.705 * * [simplify]: Extracting #4: cost 43 inf + 1098
1.707 * * [simplify]: Extracting #5: cost 8 inf + 10482
1.709 * * [simplify]: Extracting #6: cost 0 inf + 13753
1.711 * [simplify]: Simplified to (*.p16 (+.p16 d3 (+.p16 (+.p16 d2 (real->posit16 5)) (real->posit16 32))) d1)
1.711 * [simplify]: Simplified (2) to (λ (d1 d2 d3) (*.p16 (+.p16 d3 (+.p16 (+.p16 d2 (real->posit16 5)) (real->posit16 32))) d1))
1.711 * * * * [progress]: [ 7 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1))>
1.711 * [simplify]: Simplifying (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1)
1.711 * * [simplify]: iters left: 4 (11 enodes)
1.714 * * [simplify]: iters left: 3 (27 enodes)
1.718 * * [simplify]: iters left: 2 (60 enodes)
1.729 * * [simplify]: iters left: 1 (128 enodes)
1.765 * * [simplify]: Extracting #0: cost 1 inf + 0
1.765 * * [simplify]: Extracting #1: cost 23 inf + 0
1.766 * * [simplify]: Extracting #2: cost 52 inf + 1
1.766 * * [simplify]: Extracting #3: cost 48 inf + 1052
1.766 * * [simplify]: Extracting #4: cost 43 inf + 1098
1.767 * * [simplify]: Extracting #5: cost 8 inf + 10482
1.769 * * [simplify]: Extracting #6: cost 0 inf + 13753
1.773 * [simplify]: Simplified to (*.p16 (+.p16 d3 (+.p16 (+.p16 d2 (real->posit16 5)) (real->posit16 32))) d1)
1.773 * [simplify]: Simplified (2) to (λ (d1 d2 d3) (*.p16 (+.p16 d3 (+.p16 (+.p16 d2 (real->posit16 5)) (real->posit16 32))) d1))
1.773 * * * * [progress]: [ 8 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1))>
1.773 * [simplify]: Simplifying (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1)
1.774 * * [simplify]: iters left: 4 (11 enodes)
1.779 * * [simplify]: iters left: 3 (27 enodes)
1.784 * * [simplify]: iters left: 2 (60 enodes)
1.795 * * [simplify]: iters left: 1 (128 enodes)
1.843 * * [simplify]: Extracting #0: cost 1 inf + 0
1.844 * * [simplify]: Extracting #1: cost 23 inf + 0
1.844 * * [simplify]: Extracting #2: cost 52 inf + 1
1.844 * * [simplify]: Extracting #3: cost 48 inf + 1052
1.845 * * [simplify]: Extracting #4: cost 43 inf + 1098
1.847 * * [simplify]: Extracting #5: cost 8 inf + 10482
1.851 * * [simplify]: Extracting #6: cost 0 inf + 13753
1.854 * [simplify]: Simplified to (*.p16 (+.p16 d3 (+.p16 (+.p16 d2 (real->posit16 5)) (real->posit16 32))) d1)
1.854 * [simplify]: Simplified (2) to (λ (d1 d2 d3) (*.p16 (+.p16 d3 (+.p16 (+.p16 d2 (real->posit16 5)) (real->posit16 32))) d1))
1.854 * * * [progress]: adding candidates to table
2.228 * * [progress]: iteration 3 / 4
2.228 * * * [progress]: picking best candidate
2.271 * * * * [pick]: Picked  #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (+.p16 (real->posit16 5) d3) d2) (real->posit16 32)) d1))>
2.271 * * * [progress]: localizing error
2.391 * * * [progress]: generating rewritten candidates
2.391 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
2.417 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1)
2.425 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
2.485 * * * [progress]: generating series expansions
2.485 * * * * [progress]: [ 1 / 3 ] generating series at (2)
2.485 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1)
2.485 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
2.485 * * * [progress]: simplifying candidates
2.485 * * * * [progress]: [ 1 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 d1 (+.p16 (+.p16 (+.p16 (real->posit16 5) d3) d2) (real->posit16 32))))>
2.485 * * * * [progress]: [ 2 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1))>
2.485 * [simplify]: Simplifying (real->posit16 5)
2.485 * * [simplify]: iters left: 1 (2 enodes)
2.487 * * [simplify]: Extracting #0: cost 1 inf + 0
2.487 * * [simplify]: Extracting #1: cost 2 inf + 0
2.487 * * [simplify]: Extracting #2: cost 1 inf + 1
2.487 * * [simplify]: Extracting #3: cost 0 inf + 2
2.487 * [simplify]: Simplified to (real->posit16 5)
2.487 * [simplify]: Simplified (2 1 1 1) to (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1))
2.487 * * * * [progress]: [ 3 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 d2 (+.p16 (real->posit16 5) d3)) (real->posit16 32)) d1))>
2.487 * * * * [progress]: [ 4 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) d3) (+.p16 d2 (real->posit16 32))) d1))>
2.488 * [simplify]: Simplifying (+.p16 (real->posit16 5) d3)
2.488 * * [simplify]: iters left: 2 (4 enodes)
2.489 * * [simplify]: iters left: 1 (8 enodes)
2.492 * * [simplify]: Extracting #0: cost 1 inf + 0
2.492 * * [simplify]: Extracting #1: cost 3 inf + 0
2.492 * * [simplify]: Extracting #2: cost 3 inf + 1
2.492 * * [simplify]: Extracting #3: cost 2 inf + 2
2.492 * * [simplify]: Extracting #4: cost 0 inf + 45
2.492 * [simplify]: Simplified to (+.p16 (real->posit16 5) d3)
2.492 * [simplify]: Simplified (2 1 1) to (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) d3) (+.p16 d2 (real->posit16 32))) d1))
2.492 * * * * [progress]: [ 5 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (real->posit16 32) (+.p16 (+.p16 (real->posit16 5) d3) d2)) d1))>
2.492 * * * * [progress]: [ 6 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (+.p16 (real->posit16 5) d3) d2) (real->posit16 32)) d1))>
2.492 * * * * [progress]: [ 7 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (+.p16 (real->posit16 5) d3) d2) (real->posit16 32)) d1))>
2.492 * * * * [progress]: [ 8 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (+.p16 (real->posit16 5) d3) d2) (real->posit16 32)) d1))>
2.493 * * * [progress]: adding candidates to table
2.850 * * [progress]: iteration 4 / 4
2.850 * * * [progress]: picking best candidate
2.904 * * * * [pick]: Picked  #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) d3) (+.p16 d2 (real->posit16 32))) d1))>
2.904 * * * [progress]: localizing error
3.096 * * * [progress]: generating rewritten candidates
3.096 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
3.105 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
3.114 * * * [progress]: generating series expansions
3.114 * * * * [progress]: [ 1 / 2 ] generating series at (2)
3.114 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
3.114 * * * [progress]: simplifying candidates
3.114 * * * * [progress]: [ 1 / 6 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 d1 (+.p16 (+.p16 (real->posit16 5) d3) (+.p16 d2 (real->posit16 32)))))>
3.114 * * * * [progress]: [ 2 / 6 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (+.p16 (real->posit16 5) d3) d2) (real->posit16 32)) d1))>
3.114 * [simplify]: Simplifying (real->posit16 32)
3.114 * * [simplify]: iters left: 1 (2 enodes)
3.115 * * [simplify]: Extracting #0: cost 1 inf + 0
3.115 * * [simplify]: Extracting #1: cost 2 inf + 0
3.115 * * [simplify]: Extracting #2: cost 1 inf + 1
3.115 * * [simplify]: Extracting #3: cost 0 inf + 2
3.115 * [simplify]: Simplified to (real->posit16 32)
3.115 * [simplify]: Simplified (2 1 2) to (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (+.p16 (real->posit16 5) d3) d2) (real->posit16 32)) d1))
3.116 * * * * [progress]: [ 3 / 6 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (real->posit16 5) (+.p16 d3 (+.p16 d2 (real->posit16 32)))) d1))>
3.116 * [simplify]: Simplifying (real->posit16 5)
3.116 * * [simplify]: iters left: 1 (2 enodes)
3.116 * * [simplify]: Extracting #0: cost 1 inf + 0
3.116 * * [simplify]: Extracting #1: cost 2 inf + 0
3.116 * * [simplify]: Extracting #2: cost 1 inf + 1
3.116 * * [simplify]: Extracting #3: cost 0 inf + 2
3.116 * [simplify]: Simplified to (real->posit16 5)
3.116 * [simplify]: Simplified (2 1 1) to (λ (d1 d2 d3) (*.p16 (+.p16 (real->posit16 5) (+.p16 d3 (+.p16 d2 (real->posit16 32)))) d1))
3.116 * * * * [progress]: [ 4 / 6 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 d2 (real->posit16 32)) (+.p16 (real->posit16 5) d3)) d1))>
3.117 * * * * [progress]: [ 5 / 6 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) d3) (+.p16 d2 (real->posit16 32))) d1))>
3.117 * [simplify]: Simplifying (+.p16 (real->posit16 5) d3)
3.117 * * [simplify]: iters left: 2 (4 enodes)
3.118 * * [simplify]: iters left: 1 (8 enodes)
3.119 * * [simplify]: Extracting #0: cost 1 inf + 0
3.119 * * [simplify]: Extracting #1: cost 3 inf + 0
3.119 * * [simplify]: Extracting #2: cost 3 inf + 1
3.119 * * [simplify]: Extracting #3: cost 2 inf + 2
3.119 * * [simplify]: Extracting #4: cost 0 inf + 45
3.119 * [simplify]: Simplified to (+.p16 (real->posit16 5) d3)
3.119 * [simplify]: Simplified (2 1 1) to (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) d3) (+.p16 d2 (real->posit16 32))) d1))
3.119 * * * * [progress]: [ 6 / 6 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) d3) (+.p16 d2 (real->posit16 32))) d1))>
3.120 * [simplify]: Simplifying (+.p16 (real->posit16 5) d3)
3.120 * * [simplify]: iters left: 2 (4 enodes)
3.121 * * [simplify]: iters left: 1 (8 enodes)
3.122 * * [simplify]: Extracting #0: cost 1 inf + 0
3.122 * * [simplify]: Extracting #1: cost 3 inf + 0
3.122 * * [simplify]: Extracting #2: cost 3 inf + 1
3.122 * * [simplify]: Extracting #3: cost 2 inf + 2
3.122 * * [simplify]: Extracting #4: cost 0 inf + 45
3.122 * [simplify]: Simplified to (+.p16 (real->posit16 5) d3)
3.122 * [simplify]: Simplified (2 1 1) to (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) d3) (+.p16 d2 (real->posit16 32))) d1))
3.122 * * * [progress]: adding candidates to table
3.336 * [progress]: [Phase 3 of 3] Extracting.
3.336 * * [regime]: Finding splitpoints for: (#<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (+.p16 (real->posit16 5) d3) d2) (real->posit16 32)) d1))> #<alt (λ (d1 d2 d3) (+.p16 (*.p16 d1 d2) (+.p16 (*.p16 (+.p16 d3 (real->posit16 5)) d1) (*.p16 d1 (real->posit16 32)))))> #<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 (+.p16 (+.p16 (real->posit16 5) d3) (+.p16 d2 (real->posit16 32))) d1))>)
3.337 * * * [regime-changes]: Trying 3 branch expressions: (d3 d2 d1)
3.337 * * * * [regimes]: Trying to branch on d3 from (#<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (+.p16 (real->posit16 5) d3) d2) (real->posit16 32)) d1))> #<alt (λ (d1 d2 d3) (+.p16 (*.p16 d1 d2) (+.p16 (*.p16 (+.p16 d3 (real->posit16 5)) d1) (*.p16 d1 (real->posit16 32)))))> #<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 (+.p16 (+.p16 (real->posit16 5) d3) (+.p16 d2 (real->posit16 32))) d1))>)
3.552 * * * * [regimes]: Trying to branch on d2 from (#<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (+.p16 (real->posit16 5) d3) d2) (real->posit16 32)) d1))> #<alt (λ (d1 d2 d3) (+.p16 (*.p16 d1 d2) (+.p16 (*.p16 (+.p16 d3 (real->posit16 5)) d1) (*.p16 d1 (real->posit16 32)))))> #<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 (+.p16 (+.p16 (real->posit16 5) d3) (+.p16 d2 (real->posit16 32))) d1))>)
3.756 * * * * [regimes]: Trying to branch on d1 from (#<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (+.p16 (real->posit16 5) d3) d2) (real->posit16 32)) d1))> #<alt (λ (d1 d2 d3) (+.p16 (*.p16 d1 d2) (+.p16 (*.p16 (+.p16 d3 (real->posit16 5)) d1) (*.p16 d1 (real->posit16 32)))))> #<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 (+.p16 (+.p16 (real->posit16 5) d3) (+.p16 d2 (real->posit16 32))) d1))>)
3.930 * * * [regime]: Found split indices: #<option (#s(si 2 256))>
3.930 * [simplify]: Simplifying (+.p16 (+.p16 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1)) (*.p16 d1 (real->posit16 32)))
3.930 * * [simplify]: iters left: 5 (13 enodes)
3.932 * * [simplify]: Extracting #0: cost 1 inf + 0
3.932 * * [simplify]: Extracting #1: cost 3 inf + 0
3.932 * * [simplify]: Extracting #2: cost 7 inf + 0
3.932 * * [simplify]: Extracting #3: cost 9 inf + 1
3.932 * * [simplify]: Extracting #4: cost 6 inf + 648
3.932 * * [simplify]: Extracting #5: cost 6 inf + 649
3.932 * * [simplify]: Extracting #6: cost 4 inf + 651
3.932 * * [simplify]: Extracting #7: cost 2 inf + 1056
3.933 * * [simplify]: Extracting #8: cost 0 inf + 2865
3.933 * [simplify]: Simplified to (+.p16 (+.p16 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1)) (*.p16 d1 (real->posit16 32)))
3.933 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
3.989 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
3.993 * * * * [points]: Setting MPFR precision to 64
3.995 * * * * [points]: Setting MPFR precision to 320
3.996 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
4.001 * * * * [points]: Setting MPFR precision to 64
4.004 * * * * [points]: Setting MPFR precision to 320
4.007 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
4.012 * * * * [points]: Setting MPFR precision to 64
4.018 * * * * [points]: Setting MPFR precision to 320
4.024 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
4.029 * * * * [points]: Setting MPFR precision to 64
4.040 * * * * [points]: Setting MPFR precision to 320
4.073 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
4.078 * * * * [points]: Setting MPFR precision to 64
4.099 * * * * [points]: Setting MPFR precision to 320
4.115 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
4.118 * * * * [points]: Setting MPFR precision to 64
4.148 * * * * [points]: Setting MPFR precision to 320
4.201 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
4.206 * * * * [points]: Setting MPFR precision to 64
4.359 * * * * [points]: Setting MPFR precision to 320
4.470 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
4.520 * * * * [points]: Setting MPFR precision to 64
4.787 * * * * [points]: Setting MPFR precision to 320
5.051 * * * * [points]: Computing exacts for 8000 points
5.057 * * * * [points]: Setting MPFR precision to 64
6.054 * * * * [points]: Setting MPFR precision to 320
7.349 * * * * [points]: Filtering points with unrepresentable outputs
7.380 * * * * [points]: Sampled 8000 points with exact outputs
10.361 * [regime-testing]: Baseline error score: 64.0
10.364 * [regime-testing]: Oracle error score: 64.0
10.371 * [regime-testing]: End program error score: 0.32554005785749496