0.002 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.002 * * * * [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.022 * * * * [points]: Setting MPFR precision to 64
0.025 * * * * [points]: Setting MPFR precision to 320
0.028 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.033 * * * * [points]: Setting MPFR precision to 64
0.039 * * * * [points]: Setting MPFR precision to 320
0.044 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.049 * * * * [points]: Setting MPFR precision to 64
0.058 * * * * [points]: Setting MPFR precision to 320
0.067 * * * * [points]: Computing exacts for 256 points
0.072 * * * * [points]: Setting MPFR precision to 64
0.099 * * * * [points]: Setting MPFR precision to 320
0.126 * * * * [points]: Filtering points with unrepresentable outputs
0.128 * * * * [points]: Sampled 256 points with exact outputs
0.128 * * * [progress]: [2/2] Setting up program.
0.157 * [progress]: [Phase 2 of 3] Improving.
0.157 * * * * [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.157 * [simplify]: Simplifying (+.p16 (+.p16 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1)) (*.p16 d1 (real->posit16 32)))
0.158 * * [simplify]: iters left: 5 (13 enodes)
0.164 * * [simplify]: iters left: 4 (29 enodes)
0.174 * * [simplify]: iters left: 3 (49 enodes)
0.197 * * [simplify]: iters left: 2 (122 enodes)
0.266 * * [simplify]: iters left: 1 (228 enodes)
0.384 * * [simplify]: Extracting #0: cost 1 inf + 0
0.384 * * [simplify]: Extracting #1: cost 23 inf + 0
0.384 * * [simplify]: Extracting #2: cost 50 inf + 1
0.384 * * [simplify]: Extracting #3: cost 49 inf + 325
0.385 * * [simplify]: Extracting #4: cost 29 inf + 4935
0.386 * * [simplify]: Extracting #5: cost 5 inf + 11608
0.388 * * [simplify]: Extracting #6: cost 0 inf + 11542
0.390 * [simplify]: Simplified to (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1)
0.390 * [simplify]: Simplified (2) to (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1))
0.421 * * [progress]: iteration 1 / 4
0.421 * * * [progress]: picking best candidate
0.454 * * * * [pick]: Picked  #<alt (λ (d1 d2 d3) (+.p16 (+.p16 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1)) (*.p16 d1 (real->posit16 32))))>
0.454 * * * [progress]: localizing error
0.640 * * * [progress]: generating rewritten candidates
0.640 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1)
0.648 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2)
0.654 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
0.665 * * * [progress]: generating series expansions
0.665 * * * * [progress]: [ 1 / 3 ] generating series at (2 1)
0.665 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2)
0.665 * * * * [progress]: [ 3 / 3 ] generating series at (2)
0.665 * * * [progress]: simplifying candidates
0.665 * * * * [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.665 * * * * [progress]: [ 2 / 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.666 * * * * [progress]: [ 3 / 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.666 * [simplify]: Simplifying (*.p16 d1 d2)
0.666 * * [simplify]: iters left: 1 (3 enodes)
0.667 * * [simplify]: Extracting #0: cost 1 inf + 0
0.667 * * [simplify]: Extracting #1: cost 3 inf + 0
0.667 * * [simplify]: Extracting #2: cost 1 inf + 2
0.667 * * [simplify]: Extracting #3: cost 0 inf + 324
0.667 * [simplify]: Simplified to (*.p16 d2 d1)
0.667 * [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.668 * * * * [progress]: [ 4 / 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.668 * * * * [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.668 * [simplify]: Simplifying (+.p16 (+.p16 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1)) (*.p16 d1 (real->posit16 32)))
0.668 * * [simplify]: iters left: 5 (13 enodes)
0.674 * * [simplify]: iters left: 4 (29 enodes)
0.685 * * [simplify]: iters left: 3 (49 enodes)
0.707 * * [simplify]: iters left: 2 (122 enodes)
0.762 * * [simplify]: iters left: 1 (228 enodes)
0.887 * * [simplify]: Extracting #0: cost 1 inf + 0
0.887 * * [simplify]: Extracting #1: cost 23 inf + 0
0.887 * * [simplify]: Extracting #2: cost 50 inf + 1
0.888 * * [simplify]: Extracting #3: cost 49 inf + 325
0.889 * * [simplify]: Extracting #4: cost 29 inf + 4935
0.892 * * [simplify]: Extracting #5: cost 5 inf + 11608
0.895 * * [simplify]: Extracting #6: cost 0 inf + 11542
0.899 * [simplify]: Simplified to (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1)
0.899 * [simplify]: Simplified (2) to (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1))
0.899 * * * * [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.900 * [simplify]: Simplifying (+.p16 (+.p16 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1)) (*.p16 d1 (real->posit16 32)))
0.900 * * [simplify]: iters left: 5 (13 enodes)
0.906 * * [simplify]: iters left: 4 (29 enodes)
0.917 * * [simplify]: iters left: 3 (49 enodes)
0.940 * * [simplify]: iters left: 2 (122 enodes)
0.990 * * [simplify]: iters left: 1 (228 enodes)
1.115 * * [simplify]: Extracting #0: cost 1 inf + 0
1.115 * * [simplify]: Extracting #1: cost 23 inf + 0
1.116 * * [simplify]: Extracting #2: cost 50 inf + 1
1.116 * * [simplify]: Extracting #3: cost 49 inf + 325
1.117 * * [simplify]: Extracting #4: cost 29 inf + 4935
1.120 * * [simplify]: Extracting #5: cost 5 inf + 11608
1.124 * * [simplify]: Extracting #6: cost 0 inf + 11542
1.128 * [simplify]: Simplified to (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1)
1.128 * [simplify]: Simplified (2) to (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1))
1.128 * * * * [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))))>
1.128 * [simplify]: Simplifying (+.p16 (+.p16 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1)) (*.p16 d1 (real->posit16 32)))
1.128 * * [simplify]: iters left: 5 (13 enodes)
1.135 * * [simplify]: iters left: 4 (29 enodes)
1.145 * * [simplify]: iters left: 3 (49 enodes)
1.168 * * [simplify]: iters left: 2 (122 enodes)
1.217 * * [simplify]: iters left: 1 (228 enodes)
1.345 * * [simplify]: Extracting #0: cost 1 inf + 0
1.346 * * [simplify]: Extracting #1: cost 23 inf + 0
1.346 * * [simplify]: Extracting #2: cost 50 inf + 1
1.347 * * [simplify]: Extracting #3: cost 49 inf + 325
1.348 * * [simplify]: Extracting #4: cost 29 inf + 4935
1.351 * * [simplify]: Extracting #5: cost 5 inf + 11608
1.354 * * [simplify]: Extracting #6: cost 0 inf + 11542
1.359 * [simplify]: Simplified to (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1)
1.359 * [simplify]: Simplified (2) to (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1))
1.359 * * * [progress]: adding candidates to table
1.749 * * [progress]: iteration 2 / 4
1.750 * * * [progress]: picking best candidate
1.806 * * * * [pick]: Picked  #<alt (λ (d1 d2 d3) (+.p16 (*.p16 d1 d2) (+.p16 (*.p16 (+.p16 d3 (real->posit16 5)) d1) (*.p16 d1 (real->posit16 32)))))>
1.806 * * * [progress]: localizing error
2.119 * * * [progress]: generating rewritten candidates
2.119 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 1)
2.125 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
2.134 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2)
2.142 * * * [progress]: generating series expansions
2.142 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 1)
2.142 * * * * [progress]: [ 2 / 3 ] generating series at (2)
2.142 * * * * [progress]: [ 3 / 3 ] generating series at (2 2)
2.143 * * * [progress]: simplifying candidates
2.143 * * * * [progress]: [ 1 / 7 ] simplifiying candidate #<alt (λ (d1 d2 d3) (+.p16 (*.p16 d1 d2) (+.p16 (*.p16 d1 (+.p16 d3 (real->posit16 5))) (*.p16 d1 (real->posit16 32)))))>
2.143 * * * * [progress]: [ 2 / 7 ] simplifiying candidate #<alt (λ (d1 d2 d3) (+.p16 (+.p16 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1)) (*.p16 d1 (real->posit16 32))))>
2.143 * [simplify]: Simplifying (*.p16 d1 (real->posit16 32))
2.143 * * [simplify]: iters left: 2 (4 enodes)
2.145 * * [simplify]: iters left: 1 (8 enodes)
2.148 * * [simplify]: Extracting #0: cost 1 inf + 0
2.148 * * [simplify]: Extracting #1: cost 3 inf + 0
2.148 * * [simplify]: Extracting #2: cost 3 inf + 1
2.148 * * [simplify]: Extracting #3: cost 0 inf + 325
2.148 * [simplify]: Simplified to (*.p16 d1 (real->posit16 32))
2.148 * [simplify]: Simplified (2 2) to (λ (d1 d2 d3) (+.p16 (+.p16 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1)) (*.p16 d1 (real->posit16 32))))
2.148 * * * * [progress]: [ 3 / 7 ] simplifiying candidate #<alt (λ (d1 d2 d3) (+.p16 (+.p16 (*.p16 (+.p16 d3 (real->posit16 5)) d1) (*.p16 d1 (real->posit16 32))) (*.p16 d1 d2)))>
2.149 * * * * [progress]: [ 4 / 7 ] simplifiying candidate #<alt (λ (d1 d2 d3) (+.p16 (*.p16 d1 d2) (+.p16 (*.p16 d1 (real->posit16 32)) (*.p16 (+.p16 d3 (real->posit16 5)) d1))))>
2.149 * * * * [progress]: [ 5 / 7 ] simplifiying candidate #<alt (λ (d1 d2 d3) (+.p16 (*.p16 d1 d2) (+.p16 (*.p16 (+.p16 d3 (real->posit16 5)) d1) (*.p16 d1 (real->posit16 32)))))>
2.149 * [simplify]: Simplifying (*.p16 d1 d2)
2.149 * * [simplify]: iters left: 1 (3 enodes)
2.150 * * [simplify]: Extracting #0: cost 1 inf + 0
2.150 * * [simplify]: Extracting #1: cost 3 inf + 0
2.150 * * [simplify]: Extracting #2: cost 1 inf + 2
2.150 * * [simplify]: Extracting #3: cost 0 inf + 324
2.150 * [simplify]: Simplified to (*.p16 d2 d1)
2.150 * [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)))))
2.150 * * * * [progress]: [ 6 / 7 ] simplifiying candidate #<alt (λ (d1 d2 d3) (+.p16 (*.p16 d1 d2) (+.p16 (*.p16 (+.p16 d3 (real->posit16 5)) d1) (*.p16 d1 (real->posit16 32)))))>
2.151 * [simplify]: Simplifying (*.p16 d1 d2)
2.151 * * [simplify]: iters left: 1 (3 enodes)
2.152 * * [simplify]: Extracting #0: cost 1 inf + 0
2.152 * * [simplify]: Extracting #1: cost 3 inf + 0
2.152 * * [simplify]: Extracting #2: cost 1 inf + 2
2.152 * * [simplify]: Extracting #3: cost 0 inf + 324
2.152 * [simplify]: Simplified to (*.p16 d2 d1)
2.152 * [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)))))
2.152 * * * * [progress]: [ 7 / 7 ] simplifiying candidate #<alt (λ (d1 d2 d3) (+.p16 (*.p16 d1 d2) (+.p16 (*.p16 (+.p16 d3 (real->posit16 5)) d1) (*.p16 d1 (real->posit16 32)))))>
2.153 * [simplify]: Simplifying (*.p16 d1 d2)
2.153 * * [simplify]: iters left: 1 (3 enodes)
2.154 * * [simplify]: Extracting #0: cost 1 inf + 0
2.154 * * [simplify]: Extracting #1: cost 3 inf + 0
2.154 * * [simplify]: Extracting #2: cost 1 inf + 2
2.154 * * [simplify]: Extracting #3: cost 0 inf + 324
2.154 * [simplify]: Simplified to (*.p16 d2 d1)
2.154 * [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)))))
2.154 * * * [progress]: adding candidates to table
2.391 * * [progress]: iteration 3 / 4
2.391 * * * [progress]: picking best candidate
2.406 * * * * [pick]: Picked  #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1))>
2.406 * * * [progress]: localizing error
2.544 * * * [progress]: generating rewritten candidates
2.544 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
2.569 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1)
2.577 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
2.605 * * * [progress]: generating series expansions
2.605 * * * * [progress]: [ 1 / 3 ] generating series at (2)
2.605 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1)
2.605 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
2.605 * * * [progress]: simplifying candidates
2.605 * * * * [progress]: [ 1 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 d1 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32))))>
2.605 * * * * [progress]: [ 2 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (+.p16 (real->posit16 5) d3) d2) (real->posit16 32)) d1))>
2.606 * * * * [progress]: [ 3 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (+.p16 d3 d2) (real->posit16 5)) (real->posit16 32)) d1))>
2.606 * * * * [progress]: [ 4 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (real->posit16 5) (+.p16 (+.p16 d3 d2) (real->posit16 32))) d1))>
2.606 * [simplify]: Simplifying (real->posit16 5)
2.606 * * [simplify]: iters left: 1 (2 enodes)
2.608 * * [simplify]: Extracting #0: cost 1 inf + 0
2.608 * * [simplify]: Extracting #1: cost 2 inf + 0
2.608 * * [simplify]: Extracting #2: cost 1 inf + 1
2.608 * * [simplify]: Extracting #3: cost 0 inf + 2
2.608 * [simplify]: Simplified to (real->posit16 5)
2.608 * [simplify]: Simplified (2 1 1) to (λ (d1 d2 d3) (*.p16 (+.p16 (real->posit16 5) (+.p16 (+.p16 d3 d2) (real->posit16 32))) d1))
2.608 * * * * [progress]: [ 5 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (real->posit16 32) (+.p16 (real->posit16 5) (+.p16 d3 d2))) d1))>
2.608 * * * * [progress]: [ 6 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1))>
2.608 * [simplify]: Simplifying (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1)
2.608 * * [simplify]: iters left: 4 (11 enodes)
2.613 * * [simplify]: iters left: 3 (27 enodes)
2.617 * * [simplify]: iters left: 2 (60 enodes)
2.628 * * [simplify]: iters left: 1 (128 enodes)
2.663 * * [simplify]: Extracting #0: cost 1 inf + 0
2.663 * * [simplify]: Extracting #1: cost 23 inf + 0
2.663 * * [simplify]: Extracting #2: cost 52 inf + 1
2.663 * * [simplify]: Extracting #3: cost 48 inf + 1052
2.664 * * [simplify]: Extracting #4: cost 43 inf + 1098
2.665 * * [simplify]: Extracting #5: cost 8 inf + 10482
2.667 * * [simplify]: Extracting #6: cost 0 inf + 13753
2.668 * [simplify]: Simplified to (*.p16 (+.p16 d3 (+.p16 (+.p16 d2 (real->posit16 5)) (real->posit16 32))) d1)
2.668 * [simplify]: Simplified (2) to (λ (d1 d2 d3) (*.p16 (+.p16 d3 (+.p16 (+.p16 d2 (real->posit16 5)) (real->posit16 32))) d1))
2.669 * * * * [progress]: [ 7 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1))>
2.669 * [simplify]: Simplifying (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1)
2.669 * * [simplify]: iters left: 4 (11 enodes)
2.672 * * [simplify]: iters left: 3 (27 enodes)
2.676 * * [simplify]: iters left: 2 (60 enodes)
2.688 * * [simplify]: iters left: 1 (128 enodes)
2.724 * * [simplify]: Extracting #0: cost 1 inf + 0
2.724 * * [simplify]: Extracting #1: cost 23 inf + 0
2.724 * * [simplify]: Extracting #2: cost 52 inf + 1
2.725 * * [simplify]: Extracting #3: cost 48 inf + 1052
2.725 * * [simplify]: Extracting #4: cost 43 inf + 1098
2.728 * * [simplify]: Extracting #5: cost 8 inf + 10482
2.732 * * [simplify]: Extracting #6: cost 0 inf + 13753
2.735 * [simplify]: Simplified to (*.p16 (+.p16 d3 (+.p16 (+.p16 d2 (real->posit16 5)) (real->posit16 32))) d1)
2.736 * [simplify]: Simplified (2) to (λ (d1 d2 d3) (*.p16 (+.p16 d3 (+.p16 (+.p16 d2 (real->posit16 5)) (real->posit16 32))) d1))
2.736 * * * * [progress]: [ 8 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1))>
2.736 * [simplify]: Simplifying (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1)
2.736 * * [simplify]: iters left: 4 (11 enodes)
2.742 * * [simplify]: iters left: 3 (27 enodes)
2.752 * * [simplify]: iters left: 2 (60 enodes)
2.764 * * [simplify]: iters left: 1 (128 enodes)
2.813 * * [simplify]: Extracting #0: cost 1 inf + 0
2.813 * * [simplify]: Extracting #1: cost 23 inf + 0
2.814 * * [simplify]: Extracting #2: cost 52 inf + 1
2.814 * * [simplify]: Extracting #3: cost 48 inf + 1052
2.815 * * [simplify]: Extracting #4: cost 43 inf + 1098
2.817 * * [simplify]: Extracting #5: cost 8 inf + 10482
2.821 * * [simplify]: Extracting #6: cost 0 inf + 13753
2.825 * [simplify]: Simplified to (*.p16 (+.p16 d3 (+.p16 (+.p16 d2 (real->posit16 5)) (real->posit16 32))) d1)
2.825 * [simplify]: Simplified (2) to (λ (d1 d2 d3) (*.p16 (+.p16 d3 (+.p16 (+.p16 d2 (real->posit16 5)) (real->posit16 32))) d1))
2.826 * * * [progress]: adding candidates to table
3.232 * * [progress]: iteration 4 / 4
3.232 * * * [progress]: picking best candidate
3.252 * * * * [pick]: Picked  #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (+.p16 (real->posit16 5) d3) d2) (real->posit16 32)) d1))>
3.252 * * * [progress]: localizing error
3.377 * * * [progress]: generating rewritten candidates
3.377 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
3.405 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1)
3.418 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
3.451 * * * [progress]: generating series expansions
3.451 * * * * [progress]: [ 1 / 3 ] generating series at (2)
3.451 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1)
3.451 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
3.451 * * * [progress]: simplifying candidates
3.451 * * * * [progress]: [ 1 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 d1 (+.p16 (+.p16 (+.p16 (real->posit16 5) d3) d2) (real->posit16 32))))>
3.451 * * * * [progress]: [ 2 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1))>
3.451 * [simplify]: Simplifying (real->posit16 5)
3.451 * * [simplify]: iters left: 1 (2 enodes)
3.453 * * [simplify]: Extracting #0: cost 1 inf + 0
3.453 * * [simplify]: Extracting #1: cost 2 inf + 0
3.453 * * [simplify]: Extracting #2: cost 1 inf + 1
3.453 * * [simplify]: Extracting #3: cost 0 inf + 2
3.453 * [simplify]: Simplified to (real->posit16 5)
3.453 * [simplify]: Simplified (2 1 1 1) to (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1))
3.453 * * * * [progress]: [ 3 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 d2 (+.p16 (real->posit16 5) d3)) (real->posit16 32)) d1))>
3.453 * * * * [progress]: [ 4 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) d3) (+.p16 d2 (real->posit16 32))) d1))>
3.453 * [simplify]: Simplifying (+.p16 (real->posit16 5) d3)
3.453 * * [simplify]: iters left: 2 (4 enodes)
3.455 * * [simplify]: iters left: 1 (8 enodes)
3.456 * * [simplify]: Extracting #0: cost 1 inf + 0
3.456 * * [simplify]: Extracting #1: cost 3 inf + 0
3.456 * * [simplify]: Extracting #2: cost 3 inf + 1
3.456 * * [simplify]: Extracting #3: cost 2 inf + 2
3.456 * * [simplify]: Extracting #4: cost 0 inf + 45
3.456 * [simplify]: Simplified to (+.p16 (real->posit16 5) d3)
3.456 * [simplify]: Simplified (2 1 1) to (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) d3) (+.p16 d2 (real->posit16 32))) d1))
3.456 * * * * [progress]: [ 5 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (real->posit16 32) (+.p16 (+.p16 (real->posit16 5) d3) d2)) d1))>
3.456 * * * * [progress]: [ 6 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (+.p16 (real->posit16 5) d3) d2) (real->posit16 32)) d1))>
3.456 * * * * [progress]: [ 7 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (+.p16 (real->posit16 5) d3) d2) (real->posit16 32)) d1))>
3.456 * * * * [progress]: [ 8 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (+.p16 (real->posit16 5) d3) d2) (real->posit16 32)) d1))>
3.456 * * * [progress]: adding candidates to table
3.645 * [progress]: [Phase 3 of 3] Extracting.
3.645 * * [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 (+.p16 (real->posit16 5) d3) (+.p16 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))))>)
3.646 * * * [regime-changes]: Trying 3 branch expressions: (d3 d2 d1)
3.646 * * * * [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 (+.p16 (real->posit16 5) d3) (+.p16 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))))>)
3.752 * * * * [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 (+.p16 (real->posit16 5) d3) (+.p16 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))))>)
3.853 * * * * [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 (+.p16 (real->posit16 5) d3) (+.p16 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))))>)
3.957 * * * [regime]: Found split indices: #<option (#s(si 3 256))>
3.957 * [simplify]: Simplifying (+.p16 (+.p16 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1)) (*.p16 d1 (real->posit16 32)))
3.957 * * [simplify]: iters left: 5 (13 enodes)
3.958 * * [simplify]: Extracting #0: cost 1 inf + 0
3.958 * * [simplify]: Extracting #1: cost 3 inf + 0
3.958 * * [simplify]: Extracting #2: cost 7 inf + 0
3.958 * * [simplify]: Extracting #3: cost 9 inf + 1
3.958 * * [simplify]: Extracting #4: cost 6 inf + 648
3.959 * * [simplify]: Extracting #5: cost 6 inf + 649
3.959 * * [simplify]: Extracting #6: cost 4 inf + 651
3.959 * * [simplify]: Extracting #7: cost 2 inf + 1056
3.959 * * [simplify]: Extracting #8: cost 0 inf + 2865
3.959 * [simplify]: Simplified to (+.p16 (+.p16 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1)) (*.p16 d1 (real->posit16 32)))
3.959 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
3.999 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
4.004 * * * * [points]: Setting MPFR precision to 64
4.006 * * * * [points]: Setting MPFR precision to 320
4.008 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
4.013 * * * * [points]: Setting MPFR precision to 64
4.016 * * * * [points]: Setting MPFR precision to 320
4.019 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
4.024 * * * * [points]: Setting MPFR precision to 64
4.031 * * * * [points]: Setting MPFR precision to 320
4.037 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
4.042 * * * * [points]: Setting MPFR precision to 64
4.054 * * * * [points]: Setting MPFR precision to 320
4.068 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
4.070 * * * * [points]: Setting MPFR precision to 64
4.085 * * * * [points]: Setting MPFR precision to 320
4.100 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
4.103 * * * * [points]: Setting MPFR precision to 64
4.162 * * * * [points]: Setting MPFR precision to 320
4.209 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
4.214 * * * * [points]: Setting MPFR precision to 64
4.307 * * * * [points]: Setting MPFR precision to 320
4.396 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
4.399 * * * * [points]: Setting MPFR precision to 64
4.547 * * * * [points]: Setting MPFR precision to 320
4.749 * * * * [points]: Computing exacts for 8000 points
4.754 * * * * [points]: Setting MPFR precision to 64
5.504 * * * * [points]: Setting MPFR precision to 320
6.544 * * * * [points]: Filtering points with unrepresentable outputs
6.585 * * * * [points]: Sampled 8000 points with exact outputs
9.953 * [regime-testing]: Baseline error score: 64.0
9.957 * [regime-testing]: Oracle error score: 64.0
9.971 * [regime-testing]: End program error score: 0.31615088154306364