1552126633.759 * [progress]: [Phase 1 of 3] Setting up.
1552126633.759 * * * [progress]: [1/2] Preparing points
1552126633.759 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
1552126633.761 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
1552126633.765 * * * * [points]: Setting MPFR precision to 64
1552126633.766 * * * * [points]: Setting MPFR precision to 320
1552126633.768 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
1552126633.773 * * * * [points]: Setting MPFR precision to 64
1552126633.776 * * * * [points]: Setting MPFR precision to 320
1552126633.780 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
1552126633.784 * * * * [points]: Setting MPFR precision to 64
1552126633.790 * * * * [points]: Setting MPFR precision to 320
1552126633.796 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
1552126633.801 * * * * [points]: Setting MPFR precision to 64
1552126633.809 * * * * [points]: Setting MPFR precision to 320
1552126633.823 * * * * [points]: Computing exacts for 256 points
1552126633.825 * * * * [points]: Setting MPFR precision to 64
1552126633.839 * * * * [points]: Setting MPFR precision to 320
1552126633.860 * * * * [points]: Filtering points with unrepresentable outputs
1552126633.880 * * * * [points]: Sampled 256 points with exact outputs
1552126633.881 * * * [progress]: [2/2] Setting up program.
1552126633.911 * [progress]: [Phase 2 of 3] Improving.
1552126633.911 * * * * [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))))>
1552126633.912 * [simplify]: Simplifying (+.p16 (+.p16 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1)) (*.p16 d1 (real->posit16 32)))
1552126633.912 * * [simplify]: iters left: 5 (13 enodes)
1552126633.915 * * [simplify]: iters left: 4 (29 enodes)
1552126633.920 * * [simplify]: iters left: 3 (49 enodes)
1552126633.931 * * [simplify]: iters left: 2 (122 enodes)
1552126633.978 * * [simplify]: iters left: 1 (228 enodes)
1552126634.054 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126634.054 * * [simplify]: Extracting #1: cost 23 inf + 0
1552126634.054 * * [simplify]: Extracting #2: cost 50 inf + 1
1552126634.055 * * [simplify]: Extracting #3: cost 49 inf + 325
1552126634.055 * * [simplify]: Extracting #4: cost 29 inf + 4935
1552126634.057 * * [simplify]: Extracting #5: cost 5 inf + 11608
1552126634.059 * * [simplify]: Extracting #6: cost 0 inf + 11542
1552126634.061 * [simplify]: Simplified to (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1)
1552126634.061 * [simplify]: Simplified (2) to (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1))
1552126634.128 * * [progress]: iteration 1 / 4
1552126634.128 * * * [progress]: picking best candidate
1552126634.190 * * * * [pick]: Picked  #<alt (λ (d1 d2 d3) (+.p16 (+.p16 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1)) (*.p16 d1 (real->posit16 32))))>
1552126634.190 * * * [progress]: localizing error
1552126634.529 * * * [progress]: generating rewritten candidates
1552126634.529 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1)
1552126634.534 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
1552126634.543 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 2)
1552126634.546 * * * [progress]: generating series expansions
1552126634.546 * * * * [progress]: [ 1 / 3 ] generating series at (2 1)
1552126634.546 * * * * [progress]: [ 2 / 3 ] generating series at (2)
1552126634.546 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 2)
1552126634.546 * * * [progress]: simplifying candidates
1552126634.546 * * * * [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))))>
1552126634.546 * * * * [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)))))>
1552126634.546 * [simplify]: Simplifying (*.p16 d1 d2)
1552126634.546 * * [simplify]: iters left: 1 (3 enodes)
1552126634.548 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126634.548 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126634.548 * * [simplify]: Extracting #2: cost 1 inf + 2
1552126634.548 * * [simplify]: Extracting #3: cost 0 inf + 324
1552126634.548 * [simplify]: Simplified to (*.p16 d2 d1)
1552126634.548 * [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)))))
1552126634.548 * * * * [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))))>
1552126634.548 * * * * [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))))>
1552126634.548 * * * * [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))))>
1552126634.548 * [simplify]: Simplifying (+.p16 (+.p16 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1)) (*.p16 d1 (real->posit16 32)))
1552126634.548 * * [simplify]: iters left: 5 (13 enodes)
1552126634.555 * * [simplify]: iters left: 4 (29 enodes)
1552126634.564 * * [simplify]: iters left: 3 (49 enodes)
1552126634.576 * * [simplify]: iters left: 2 (122 enodes)
1552126634.604 * * [simplify]: iters left: 1 (228 enodes)
1552126634.677 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126634.677 * * [simplify]: Extracting #1: cost 23 inf + 0
1552126634.678 * * [simplify]: Extracting #2: cost 50 inf + 1
1552126634.678 * * [simplify]: Extracting #3: cost 49 inf + 325
1552126634.679 * * [simplify]: Extracting #4: cost 29 inf + 4935
1552126634.681 * * [simplify]: Extracting #5: cost 5 inf + 11608
1552126634.683 * * [simplify]: Extracting #6: cost 0 inf + 11542
1552126634.685 * [simplify]: Simplified to (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1)
1552126634.685 * [simplify]: Simplified (2) to (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1))
1552126634.685 * * * * [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))))>
1552126634.685 * [simplify]: Simplifying (+.p16 (+.p16 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1)) (*.p16 d1 (real->posit16 32)))
1552126634.685 * * [simplify]: iters left: 5 (13 enodes)
1552126634.688 * * [simplify]: iters left: 4 (29 enodes)
1552126634.693 * * [simplify]: iters left: 3 (49 enodes)
1552126634.715 * * [simplify]: iters left: 2 (122 enodes)
1552126634.742 * * [simplify]: iters left: 1 (228 enodes)
1552126634.808 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126634.808 * * [simplify]: Extracting #1: cost 23 inf + 0
1552126634.809 * * [simplify]: Extracting #2: cost 50 inf + 1
1552126634.809 * * [simplify]: Extracting #3: cost 49 inf + 325
1552126634.810 * * [simplify]: Extracting #4: cost 29 inf + 4935
1552126634.813 * * [simplify]: Extracting #5: cost 5 inf + 11608
1552126634.817 * * [simplify]: Extracting #6: cost 0 inf + 11542
1552126634.823 * [simplify]: Simplified to (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1)
1552126634.823 * [simplify]: Simplified (2) to (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1))
1552126634.823 * * * * [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))))>
1552126634.823 * [simplify]: Simplifying (+.p16 (+.p16 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1)) (*.p16 d1 (real->posit16 32)))
1552126634.823 * * [simplify]: iters left: 5 (13 enodes)
1552126634.830 * * [simplify]: iters left: 4 (29 enodes)
1552126634.838 * * [simplify]: iters left: 3 (49 enodes)
1552126634.849 * * [simplify]: iters left: 2 (122 enodes)
1552126634.879 * * [simplify]: iters left: 1 (228 enodes)
1552126634.976 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126634.976 * * [simplify]: Extracting #1: cost 23 inf + 0
1552126634.977 * * [simplify]: Extracting #2: cost 50 inf + 1
1552126634.977 * * [simplify]: Extracting #3: cost 49 inf + 325
1552126634.978 * * [simplify]: Extracting #4: cost 29 inf + 4935
1552126634.980 * * [simplify]: Extracting #5: cost 5 inf + 11608
1552126634.982 * * [simplify]: Extracting #6: cost 0 inf + 11542
1552126634.984 * [simplify]: Simplified to (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1)
1552126634.984 * [simplify]: Simplified (2) to (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1))
1552126634.984 * * * [progress]: adding candidates to table
1552126635.333 * * [progress]: iteration 2 / 4
1552126635.333 * * * [progress]: picking best candidate
1552126635.386 * * * * [pick]: Picked  #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1))>
1552126635.387 * * * [progress]: localizing error
1552126635.500 * * * [progress]: generating rewritten candidates
1552126635.500 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
1552126635.514 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1)
1552126635.517 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
1552126635.529 * * * [progress]: generating series expansions
1552126635.529 * * * * [progress]: [ 1 / 3 ] generating series at (2)
1552126635.529 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1)
1552126635.529 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
1552126635.529 * * * [progress]: simplifying candidates
1552126635.529 * * * * [progress]: [ 1 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 d1 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32))))>
1552126635.529 * * * * [progress]: [ 2 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (+.p16 (real->posit16 5) d3) d2) (real->posit16 32)) d1))>
1552126635.529 * * * * [progress]: [ 3 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (+.p16 d3 d2) (real->posit16 5)) (real->posit16 32)) d1))>
1552126635.529 * * * * [progress]: [ 4 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (real->posit16 5) (+.p16 (+.p16 d3 d2) (real->posit16 32))) d1))>
1552126635.529 * [simplify]: Simplifying (real->posit16 5)
1552126635.529 * * [simplify]: iters left: 1 (2 enodes)
1552126635.532 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126635.532 * * [simplify]: Extracting #1: cost 2 inf + 0
1552126635.532 * * [simplify]: Extracting #2: cost 1 inf + 1
1552126635.532 * * [simplify]: Extracting #3: cost 0 inf + 2
1552126635.532 * [simplify]: Simplified to (real->posit16 5)
1552126635.532 * [simplify]: Simplified (2 1 1) to (λ (d1 d2 d3) (*.p16 (+.p16 (real->posit16 5) (+.p16 (+.p16 d3 d2) (real->posit16 32))) d1))
1552126635.532 * * * * [progress]: [ 5 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (real->posit16 32) (+.p16 (real->posit16 5) (+.p16 d3 d2))) d1))>
1552126635.532 * * * * [progress]: [ 6 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1))>
1552126635.532 * [simplify]: Simplifying (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1)
1552126635.533 * * [simplify]: iters left: 4 (11 enodes)
1552126635.537 * * [simplify]: iters left: 3 (27 enodes)
1552126635.546 * * [simplify]: iters left: 2 (60 enodes)
1552126635.559 * * [simplify]: iters left: 1 (128 enodes)
1552126635.592 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126635.592 * * [simplify]: Extracting #1: cost 23 inf + 0
1552126635.593 * * [simplify]: Extracting #2: cost 52 inf + 1
1552126635.593 * * [simplify]: Extracting #3: cost 48 inf + 1052
1552126635.593 * * [simplify]: Extracting #4: cost 43 inf + 1098
1552126635.595 * * [simplify]: Extracting #5: cost 8 inf + 10482
1552126635.597 * * [simplify]: Extracting #6: cost 0 inf + 13753
1552126635.598 * [simplify]: Simplified to (*.p16 (+.p16 d3 (+.p16 (+.p16 d2 (real->posit16 5)) (real->posit16 32))) d1)
1552126635.598 * [simplify]: Simplified (2) to (λ (d1 d2 d3) (*.p16 (+.p16 d3 (+.p16 (+.p16 d2 (real->posit16 5)) (real->posit16 32))) d1))
1552126635.599 * * * * [progress]: [ 7 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1))>
1552126635.599 * [simplify]: Simplifying (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1)
1552126635.599 * * [simplify]: iters left: 4 (11 enodes)
1552126635.601 * * [simplify]: iters left: 3 (27 enodes)
1552126635.606 * * [simplify]: iters left: 2 (60 enodes)
1552126635.617 * * [simplify]: iters left: 1 (128 enodes)
1552126635.649 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126635.650 * * [simplify]: Extracting #1: cost 23 inf + 0
1552126635.651 * * [simplify]: Extracting #2: cost 52 inf + 1
1552126635.651 * * [simplify]: Extracting #3: cost 48 inf + 1052
1552126635.652 * * [simplify]: Extracting #4: cost 43 inf + 1098
1552126635.653 * * [simplify]: Extracting #5: cost 8 inf + 10482
1552126635.655 * * [simplify]: Extracting #6: cost 0 inf + 13753
1552126635.656 * [simplify]: Simplified to (*.p16 (+.p16 d3 (+.p16 (+.p16 d2 (real->posit16 5)) (real->posit16 32))) d1)
1552126635.656 * [simplify]: Simplified (2) to (λ (d1 d2 d3) (*.p16 (+.p16 d3 (+.p16 (+.p16 d2 (real->posit16 5)) (real->posit16 32))) d1))
1552126635.657 * * * * [progress]: [ 8 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1))>
1552126635.657 * [simplify]: Simplifying (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1)
1552126635.657 * * [simplify]: iters left: 4 (11 enodes)
1552126635.659 * * [simplify]: iters left: 3 (27 enodes)
1552126635.664 * * [simplify]: iters left: 2 (60 enodes)
1552126635.684 * * [simplify]: iters left: 1 (128 enodes)
1552126635.749 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126635.749 * * [simplify]: Extracting #1: cost 23 inf + 0
1552126635.750 * * [simplify]: Extracting #2: cost 52 inf + 1
1552126635.750 * * [simplify]: Extracting #3: cost 48 inf + 1052
1552126635.751 * * [simplify]: Extracting #4: cost 43 inf + 1098
1552126635.753 * * [simplify]: Extracting #5: cost 8 inf + 10482
1552126635.759 * * [simplify]: Extracting #6: cost 0 inf + 13753
1552126635.763 * [simplify]: Simplified to (*.p16 (+.p16 d3 (+.p16 (+.p16 d2 (real->posit16 5)) (real->posit16 32))) d1)
1552126635.763 * [simplify]: Simplified (2) to (λ (d1 d2 d3) (*.p16 (+.p16 d3 (+.p16 (+.p16 d2 (real->posit16 5)) (real->posit16 32))) d1))
1552126635.763 * * * [progress]: adding candidates to table
1552126636.269 * * [progress]: iteration 3 / 4
1552126636.269 * * * [progress]: picking best candidate
1552126636.347 * * * * [pick]: Picked  #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (+.p16 (real->posit16 5) d3) d2) (real->posit16 32)) d1))>
1552126636.348 * * * [progress]: localizing error
1552126636.539 * * * [progress]: generating rewritten candidates
1552126636.540 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
1552126636.586 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1)
1552126636.599 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
1552126636.664 * * * [progress]: generating series expansions
1552126636.664 * * * * [progress]: [ 1 / 3 ] generating series at (2)
1552126636.664 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1)
1552126636.664 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
1552126636.664 * * * [progress]: simplifying candidates
1552126636.664 * * * * [progress]: [ 1 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 d1 (+.p16 (+.p16 (+.p16 (real->posit16 5) d3) d2) (real->posit16 32))))>
1552126636.665 * * * * [progress]: [ 2 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1))>
1552126636.665 * [simplify]: Simplifying (real->posit16 5)
1552126636.665 * * [simplify]: iters left: 1 (2 enodes)
1552126636.666 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126636.666 * * [simplify]: Extracting #1: cost 2 inf + 0
1552126636.666 * * [simplify]: Extracting #2: cost 1 inf + 1
1552126636.667 * * [simplify]: Extracting #3: cost 0 inf + 2
1552126636.667 * [simplify]: Simplified to (real->posit16 5)
1552126636.667 * [simplify]: Simplified (2 1 1 1) to (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1))
1552126636.667 * * * * [progress]: [ 3 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 d2 (+.p16 (real->posit16 5) d3)) (real->posit16 32)) d1))>
1552126636.667 * * * * [progress]: [ 4 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) d3) (+.p16 d2 (real->posit16 32))) d1))>
1552126636.667 * [simplify]: Simplifying (+.p16 (real->posit16 5) d3)
1552126636.667 * * [simplify]: iters left: 2 (4 enodes)
1552126636.669 * * [simplify]: iters left: 1 (8 enodes)
1552126636.671 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126636.672 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126636.672 * * [simplify]: Extracting #2: cost 3 inf + 1
1552126636.672 * * [simplify]: Extracting #3: cost 2 inf + 2
1552126636.672 * * [simplify]: Extracting #4: cost 0 inf + 45
1552126636.672 * [simplify]: Simplified to (+.p16 (real->posit16 5) d3)
1552126636.672 * [simplify]: Simplified (2 1 1) to (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) d3) (+.p16 d2 (real->posit16 32))) d1))
1552126636.672 * * * * [progress]: [ 5 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (real->posit16 32) (+.p16 (+.p16 (real->posit16 5) d3) d2)) d1))>
1552126636.672 * * * * [progress]: [ 6 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (+.p16 (real->posit16 5) d3) d2) (real->posit16 32)) d1))>
1552126636.672 * * * * [progress]: [ 7 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (+.p16 (real->posit16 5) d3) d2) (real->posit16 32)) d1))>
1552126636.672 * * * * [progress]: [ 8 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (+.p16 (real->posit16 5) d3) d2) (real->posit16 32)) d1))>
1552126636.672 * * * [progress]: adding candidates to table
1552126637.628 * * [progress]: iteration 4 / 4
1552126637.628 * * * [progress]: picking best candidate
1552126637.716 * * * * [pick]: Picked  #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) d3) (+.p16 d2 (real->posit16 32))) d1))>
1552126637.716 * * * [progress]: localizing error
1552126637.860 * * * [progress]: generating rewritten candidates
1552126637.860 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
1552126637.866 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
1552126637.881 * * * [progress]: generating series expansions
1552126637.881 * * * * [progress]: [ 1 / 2 ] generating series at (2)
1552126637.881 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
1552126637.881 * * * [progress]: simplifying candidates
1552126637.881 * * * * [progress]: [ 1 / 6 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 d1 (+.p16 (+.p16 (real->posit16 5) d3) (+.p16 d2 (real->posit16 32)))))>
1552126637.881 * * * * [progress]: [ 2 / 6 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (+.p16 (real->posit16 5) d3) d2) (real->posit16 32)) d1))>
1552126637.882 * [simplify]: Simplifying (real->posit16 32)
1552126637.882 * * [simplify]: iters left: 1 (2 enodes)
1552126637.883 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126637.883 * * [simplify]: Extracting #1: cost 2 inf + 0
1552126637.883 * * [simplify]: Extracting #2: cost 1 inf + 1
1552126637.883 * * [simplify]: Extracting #3: cost 0 inf + 2
1552126637.883 * [simplify]: Simplified to (real->posit16 32)
1552126637.884 * [simplify]: Simplified (2 1 2) to (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (+.p16 (real->posit16 5) d3) d2) (real->posit16 32)) d1))
1552126637.884 * * * * [progress]: [ 3 / 6 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (real->posit16 5) (+.p16 d3 (+.p16 d2 (real->posit16 32)))) d1))>
1552126637.884 * [simplify]: Simplifying (real->posit16 5)
1552126637.884 * * [simplify]: iters left: 1 (2 enodes)
1552126637.884 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126637.884 * * [simplify]: Extracting #1: cost 2 inf + 0
1552126637.884 * * [simplify]: Extracting #2: cost 1 inf + 1
1552126637.884 * * [simplify]: Extracting #3: cost 0 inf + 2
1552126637.884 * [simplify]: Simplified to (real->posit16 5)
1552126637.885 * [simplify]: Simplified (2 1 1) to (λ (d1 d2 d3) (*.p16 (+.p16 (real->posit16 5) (+.p16 d3 (+.p16 d2 (real->posit16 32)))) d1))
1552126637.885 * * * * [progress]: [ 4 / 6 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 d2 (real->posit16 32)) (+.p16 (real->posit16 5) d3)) d1))>
1552126637.885 * * * * [progress]: [ 5 / 6 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) d3) (+.p16 d2 (real->posit16 32))) d1))>
1552126637.885 * [simplify]: Simplifying (+.p16 (real->posit16 5) d3)
1552126637.885 * * [simplify]: iters left: 2 (4 enodes)
1552126637.886 * * [simplify]: iters left: 1 (8 enodes)
1552126637.887 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126637.887 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126637.887 * * [simplify]: Extracting #2: cost 3 inf + 1
1552126637.887 * * [simplify]: Extracting #3: cost 2 inf + 2
1552126637.887 * * [simplify]: Extracting #4: cost 0 inf + 45
1552126637.887 * [simplify]: Simplified to (+.p16 (real->posit16 5) d3)
1552126637.887 * [simplify]: Simplified (2 1 1) to (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) d3) (+.p16 d2 (real->posit16 32))) d1))
1552126637.887 * * * * [progress]: [ 6 / 6 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) d3) (+.p16 d2 (real->posit16 32))) d1))>
1552126637.887 * [simplify]: Simplifying (+.p16 (real->posit16 5) d3)
1552126637.887 * * [simplify]: iters left: 2 (4 enodes)
1552126637.889 * * [simplify]: iters left: 1 (8 enodes)
1552126637.890 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126637.890 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126637.890 * * [simplify]: Extracting #2: cost 3 inf + 1
1552126637.890 * * [simplify]: Extracting #3: cost 2 inf + 2
1552126637.890 * * [simplify]: Extracting #4: cost 0 inf + 45
1552126637.890 * [simplify]: Simplified to (+.p16 (real->posit16 5) d3)
1552126637.891 * [simplify]: Simplified (2 1 1) to (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) d3) (+.p16 d2 (real->posit16 32))) d1))
1552126637.891 * * * [progress]: adding candidates to table
1552126638.214 * [progress]: [Phase 3 of 3] Extracting.
1552126638.214 * * [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))))>)
1552126638.215 * * * [regime-changes]: Trying 3 branch expressions: (d3 d2 d1)
1552126638.215 * * * * [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))))>)
1552126638.571 * * * * [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))))>)
1552126638.947 * * * * [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))))>)
1552126639.208 * * * [regime]: Found split indices: #<option (#s(si 3 256))>
1552126639.208 * [simplify]: Simplifying (+.p16 (+.p16 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1)) (*.p16 d1 (real->posit16 32)))
1552126639.208 * * [simplify]: iters left: 5 (13 enodes)
1552126639.209 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126639.209 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126639.209 * * [simplify]: Extracting #2: cost 7 inf + 0
1552126639.210 * * [simplify]: Extracting #3: cost 9 inf + 1
1552126639.210 * * [simplify]: Extracting #4: cost 6 inf + 648
1552126639.210 * * [simplify]: Extracting #5: cost 6 inf + 649
1552126639.210 * * [simplify]: Extracting #6: cost 4 inf + 651
1552126639.210 * * [simplify]: Extracting #7: cost 2 inf + 1056
1552126639.210 * * [simplify]: Extracting #8: cost 0 inf + 2865
1552126639.210 * [simplify]: Simplified to (+.p16 (+.p16 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1)) (*.p16 d1 (real->posit16 32)))
1552126639.210 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1552126639.244 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
1552126639.247 * * * * [points]: Setting MPFR precision to 64
1552126639.248 * * * * [points]: Setting MPFR precision to 320
1552126639.249 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
1552126639.251 * * * * [points]: Setting MPFR precision to 64
1552126639.254 * * * * [points]: Setting MPFR precision to 320
1552126639.256 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
1552126639.259 * * * * [points]: Setting MPFR precision to 64
1552126639.263 * * * * [points]: Setting MPFR precision to 320
1552126639.269 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
1552126639.272 * * * * [points]: Setting MPFR precision to 64
1552126639.294 * * * * [points]: Setting MPFR precision to 320
1552126639.305 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
1552126639.308 * * * * [points]: Setting MPFR precision to 64
1552126639.325 * * * * [points]: Setting MPFR precision to 320
1552126639.356 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
1552126639.359 * * * * [points]: Setting MPFR precision to 64
1552126639.389 * * * * [points]: Setting MPFR precision to 320
1552126639.456 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
1552126639.459 * * * * [points]: Setting MPFR precision to 64
1552126639.525 * * * * [points]: Setting MPFR precision to 320
1552126639.683 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
1552126639.688 * * * * [points]: Setting MPFR precision to 64
1552126639.956 * * * * [points]: Setting MPFR precision to 320
1552126640.289 * * * * [points]: Computing exacts for 8000 points
1552126640.293 * * * * [points]: Setting MPFR precision to 64
1552126641.130 * * * * [points]: Setting MPFR precision to 320
1552126642.485 * * * * [points]: Filtering points with unrepresentable outputs
1552126643.213 * * * * [points]: Sampled 8000 points with exact outputs
1552126647.222 * [regime-testing]: Baseline error score: 64.0
1552126647.227 * [regime-testing]: Oracle error score: 64.0
1552126647.243 * [regime-testing]: End program error score: 0.306120860708997