1553935256.765 * [progress]: [Phase 1 of 3] Setting up.
1553935256.765 * * * [progress]: [1/2] Preparing points
1553935256.765 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
1553935256.767 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
1553935256.770 * * * * [points]: Setting MPFR precision to 64
1553935256.771 * * * * [points]: Setting MPFR precision to 320
1553935256.772 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
1553935256.774 * * * * [points]: Setting MPFR precision to 64
1553935256.776 * * * * [points]: Setting MPFR precision to 320
1553935256.779 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
1553935256.781 * * * * [points]: Setting MPFR precision to 64
1553935256.784 * * * * [points]: Setting MPFR precision to 320
1553935256.789 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
1553935256.791 * * * * [points]: Setting MPFR precision to 64
1553935256.797 * * * * [points]: Setting MPFR precision to 320
1553935256.804 * * * * [points]: Computing exacts for 256 points
1553935256.806 * * * * [points]: Setting MPFR precision to 64
1553935256.823 * * * * [points]: Setting MPFR precision to 320
1553935256.844 * * * * [points]: Filtering points with unrepresentable outputs
1553935256.873 * * * * [points]: Sampled 256 points with exact outputs
1553935256.873 * * * [progress]: [2/2] Setting up program.
1553935256.943 * [progress]: [Phase 2 of 3] Improving.
1553935256.943 * * * * [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))))>
1553935256.944 * [simplify]: Simplifying (+.p16 (+.p16 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1)) (*.p16 d1 (real->posit16 32)))
1553935256.944 * * [simplify]: iters left: 5 (13 enodes)
1553935256.950 * * [simplify]: iters left: 4 (29 enodes)
1553935256.960 * * [simplify]: iters left: 3 (49 enodes)
1553935256.982 * * [simplify]: iters left: 2 (122 enodes)
1553935257.029 * * [simplify]: iters left: 1 (228 enodes)
1553935257.113 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935257.115 * * [simplify]: Extracting #1: cost 23 inf + 0
1553935257.115 * * [simplify]: Extracting #2: cost 50 inf + 1
1553935257.115 * * [simplify]: Extracting #3: cost 49 inf + 325
1553935257.116 * * [simplify]: Extracting #4: cost 29 inf + 4935
1553935257.117 * * [simplify]: Extracting #5: cost 5 inf + 11608
1553935257.119 * * [simplify]: Extracting #6: cost 0 inf + 11542
1553935257.121 * [simplify]: Simplified to (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1)
1553935257.121 * [simplify]: Simplified (2) to (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1))
1553935257.171 * * [progress]: iteration 1 / 4
1553935257.171 * * * [progress]: picking best candidate
1553935257.218 * * * * [pick]: Picked  #<alt (λ (d1 d2 d3) (+.p16 (+.p16 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1)) (*.p16 d1 (real->posit16 32))))>
1553935257.218 * * * [progress]: localizing error
1553935257.460 * * * [progress]: generating rewritten candidates
1553935257.460 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1)
1553935257.464 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
1553935257.469 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 2)
1553935257.472 * * * [progress]: generating series expansions
1553935257.472 * * * * [progress]: [ 1 / 3 ] generating series at (2 1)
1553935257.472 * * * * [progress]: [ 2 / 3 ] generating series at (2)
1553935257.472 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 2)
1553935257.472 * * * [progress]: simplifying candidates
1553935257.472 * * * * [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))))>
1553935257.472 * * * * [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)))))>
1553935257.472 * [simplify]: Simplifying (*.p16 d1 d2)
1553935257.472 * * [simplify]: iters left: 1 (3 enodes)
1553935257.473 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935257.473 * * [simplify]: Extracting #1: cost 3 inf + 0
1553935257.473 * * [simplify]: Extracting #2: cost 1 inf + 2
1553935257.473 * * [simplify]: Extracting #3: cost 0 inf + 324
1553935257.473 * [simplify]: Simplified to (*.p16 d2 d1)
1553935257.473 * [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)))))
1553935257.473 * * * * [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))))>
1553935257.473 * * * * [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))))>
1553935257.473 * * * * [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))))>
1553935257.473 * [simplify]: Simplifying (+.p16 (+.p16 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1)) (*.p16 d1 (real->posit16 32)))
1553935257.473 * * [simplify]: iters left: 5 (13 enodes)
1553935257.476 * * [simplify]: iters left: 4 (29 enodes)
1553935257.481 * * [simplify]: iters left: 3 (49 enodes)
1553935257.492 * * [simplify]: iters left: 2 (122 enodes)
1553935257.520 * * [simplify]: iters left: 1 (228 enodes)
1553935257.587 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935257.587 * * [simplify]: Extracting #1: cost 23 inf + 0
1553935257.588 * * [simplify]: Extracting #2: cost 50 inf + 1
1553935257.588 * * [simplify]: Extracting #3: cost 49 inf + 325
1553935257.589 * * [simplify]: Extracting #4: cost 29 inf + 4935
1553935257.592 * * [simplify]: Extracting #5: cost 5 inf + 11608
1553935257.596 * * [simplify]: Extracting #6: cost 0 inf + 11542
1553935257.600 * [simplify]: Simplified to (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1)
1553935257.600 * [simplify]: Simplified (2) to (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1))
1553935257.600 * * * * [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))))>
1553935257.601 * [simplify]: Simplifying (+.p16 (+.p16 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1)) (*.p16 d1 (real->posit16 32)))
1553935257.601 * * [simplify]: iters left: 5 (13 enodes)
1553935257.607 * * [simplify]: iters left: 4 (29 enodes)
1553935257.617 * * [simplify]: iters left: 3 (49 enodes)
1553935257.638 * * [simplify]: iters left: 2 (122 enodes)
1553935257.689 * * [simplify]: iters left: 1 (228 enodes)
1553935257.811 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935257.811 * * [simplify]: Extracting #1: cost 23 inf + 0
1553935257.812 * * [simplify]: Extracting #2: cost 50 inf + 1
1553935257.812 * * [simplify]: Extracting #3: cost 49 inf + 325
1553935257.813 * * [simplify]: Extracting #4: cost 29 inf + 4935
1553935257.816 * * [simplify]: Extracting #5: cost 5 inf + 11608
1553935257.820 * * [simplify]: Extracting #6: cost 0 inf + 11542
1553935257.824 * [simplify]: Simplified to (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1)
1553935257.824 * [simplify]: Simplified (2) to (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1))
1553935257.824 * * * * [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))))>
1553935257.825 * [simplify]: Simplifying (+.p16 (+.p16 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1)) (*.p16 d1 (real->posit16 32)))
1553935257.825 * * [simplify]: iters left: 5 (13 enodes)
1553935257.831 * * [simplify]: iters left: 4 (29 enodes)
1553935257.841 * * [simplify]: iters left: 3 (49 enodes)
1553935257.862 * * [simplify]: iters left: 2 (122 enodes)
1553935257.908 * * [simplify]: iters left: 1 (228 enodes)
1553935257.968 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935257.968 * * [simplify]: Extracting #1: cost 23 inf + 0
1553935257.969 * * [simplify]: Extracting #2: cost 50 inf + 1
1553935257.969 * * [simplify]: Extracting #3: cost 49 inf + 325
1553935257.969 * * [simplify]: Extracting #4: cost 29 inf + 4935
1553935257.971 * * [simplify]: Extracting #5: cost 5 inf + 11608
1553935257.973 * * [simplify]: Extracting #6: cost 0 inf + 11542
1553935257.975 * [simplify]: Simplified to (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1)
1553935257.975 * [simplify]: Simplified (2) to (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1))
1553935257.975 * * * [progress]: adding candidates to table
1553935258.576 * * [progress]: iteration 2 / 4
1553935258.576 * * * [progress]: picking best candidate
1553935258.664 * * * * [pick]: Picked  #<alt (λ (d1 d2 d3) (+.p16 (*.p16 d1 d2) (+.p16 (*.p16 (+.p16 d3 (real->posit16 5)) d1) (*.p16 d1 (real->posit16 32)))))>
1553935258.664 * * * [progress]: localizing error
1553935259.102 * * * [progress]: generating rewritten candidates
1553935259.102 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
1553935259.110 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2)
1553935259.113 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 1)
1553935259.116 * * * [progress]: generating series expansions
1553935259.116 * * * * [progress]: [ 1 / 3 ] generating series at (2)
1553935259.116 * * * * [progress]: [ 2 / 3 ] generating series at (2 2)
1553935259.116 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 1)
1553935259.116 * * * [progress]: simplifying candidates
1553935259.116 * * * * [progress]: [ 1 / 7 ] simplifiying candidate #<alt (λ (d1 d2 d3) (+.p16 (+.p16 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1)) (*.p16 d1 (real->posit16 32))))>
1553935259.116 * [simplify]: Simplifying (*.p16 d1 (real->posit16 32))
1553935259.116 * * [simplify]: iters left: 2 (4 enodes)
1553935259.118 * * [simplify]: iters left: 1 (8 enodes)
1553935259.119 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935259.119 * * [simplify]: Extracting #1: cost 3 inf + 0
1553935259.119 * * [simplify]: Extracting #2: cost 3 inf + 1
1553935259.119 * * [simplify]: Extracting #3: cost 0 inf + 325
1553935259.119 * [simplify]: Simplified to (*.p16 d1 (real->posit16 32))
1553935259.119 * [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))))
1553935259.119 * * * * [progress]: [ 2 / 7 ] simplifiying candidate #<alt (λ (d1 d2 d3) (+.p16 (+.p16 (*.p16 (+.p16 d3 (real->posit16 5)) d1) (*.p16 d1 (real->posit16 32))) (*.p16 d1 d2)))>
1553935259.119 * * * * [progress]: [ 3 / 7 ] simplifiying candidate #<alt (λ (d1 d2 d3) (+.p16 (*.p16 d1 d2) (+.p16 (*.p16 d1 (real->posit16 32)) (*.p16 (+.p16 d3 (real->posit16 5)) d1))))>
1553935259.119 * * * * [progress]: [ 4 / 7 ] simplifiying candidate #<alt (λ (d1 d2 d3) (+.p16 (*.p16 d1 d2) (+.p16 (*.p16 d1 (+.p16 d3 (real->posit16 5))) (*.p16 d1 (real->posit16 32)))))>
1553935259.119 * * * * [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)))))>
1553935259.119 * [simplify]: Simplifying (*.p16 d1 d2)
1553935259.119 * * [simplify]: iters left: 1 (3 enodes)
1553935259.120 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935259.120 * * [simplify]: Extracting #1: cost 3 inf + 0
1553935259.120 * * [simplify]: Extracting #2: cost 1 inf + 2
1553935259.120 * * [simplify]: Extracting #3: cost 0 inf + 324
1553935259.120 * [simplify]: Simplified to (*.p16 d2 d1)
1553935259.120 * [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)))))
1553935259.120 * * * * [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)))))>
1553935259.120 * [simplify]: Simplifying (*.p16 d1 d2)
1553935259.120 * * [simplify]: iters left: 1 (3 enodes)
1553935259.121 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935259.121 * * [simplify]: Extracting #1: cost 3 inf + 0
1553935259.121 * * [simplify]: Extracting #2: cost 1 inf + 2
1553935259.121 * * [simplify]: Extracting #3: cost 0 inf + 324
1553935259.121 * [simplify]: Simplified to (*.p16 d2 d1)
1553935259.121 * [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)))))
1553935259.121 * * * * [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)))))>
1553935259.121 * [simplify]: Simplifying (*.p16 d1 d2)
1553935259.121 * * [simplify]: iters left: 1 (3 enodes)
1553935259.122 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935259.122 * * [simplify]: Extracting #1: cost 3 inf + 0
1553935259.122 * * [simplify]: Extracting #2: cost 1 inf + 2
1553935259.122 * * [simplify]: Extracting #3: cost 0 inf + 324
1553935259.122 * [simplify]: Simplified to (*.p16 d2 d1)
1553935259.122 * [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)))))
1553935259.122 * * * [progress]: adding candidates to table
1553935259.539 * * [progress]: iteration 3 / 4
1553935259.539 * * * [progress]: picking best candidate
1553935259.582 * * * * [pick]: Picked  #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1))>
1553935259.582 * * * [progress]: localizing error
1553935259.764 * * * [progress]: generating rewritten candidates
1553935259.764 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
1553935259.783 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1)
1553935259.788 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
1553935259.801 * * * [progress]: generating series expansions
1553935259.802 * * * * [progress]: [ 1 / 3 ] generating series at (2)
1553935259.802 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1)
1553935259.802 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
1553935259.802 * * * [progress]: simplifying candidates
1553935259.802 * * * * [progress]: [ 1 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 d1 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32))))>
1553935259.802 * * * * [progress]: [ 2 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (+.p16 (real->posit16 5) d3) d2) (real->posit16 32)) d1))>
1553935259.802 * * * * [progress]: [ 3 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (+.p16 d3 d2) (real->posit16 5)) (real->posit16 32)) d1))>
1553935259.802 * * * * [progress]: [ 4 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (real->posit16 5) (+.p16 (+.p16 d3 d2) (real->posit16 32))) d1))>
1553935259.802 * [simplify]: Simplifying (real->posit16 5)
1553935259.802 * * [simplify]: iters left: 1 (2 enodes)
1553935259.803 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935259.803 * * [simplify]: Extracting #1: cost 2 inf + 0
1553935259.803 * * [simplify]: Extracting #2: cost 1 inf + 1
1553935259.803 * * [simplify]: Extracting #3: cost 0 inf + 2
1553935259.803 * [simplify]: Simplified to (real->posit16 5)
1553935259.803 * [simplify]: Simplified (2 1 1) to (λ (d1 d2 d3) (*.p16 (+.p16 (real->posit16 5) (+.p16 (+.p16 d3 d2) (real->posit16 32))) d1))
1553935259.803 * * * * [progress]: [ 5 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (real->posit16 32) (+.p16 (real->posit16 5) (+.p16 d3 d2))) d1))>
1553935259.803 * * * * [progress]: [ 6 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1))>
1553935259.803 * [simplify]: Simplifying (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1)
1553935259.803 * * [simplify]: iters left: 4 (11 enodes)
1553935259.806 * * [simplify]: iters left: 3 (27 enodes)
1553935259.810 * * [simplify]: iters left: 2 (60 enodes)
1553935259.822 * * [simplify]: iters left: 1 (128 enodes)
1553935259.858 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935259.858 * * [simplify]: Extracting #1: cost 23 inf + 0
1553935259.858 * * [simplify]: Extracting #2: cost 52 inf + 1
1553935259.858 * * [simplify]: Extracting #3: cost 48 inf + 1052
1553935259.858 * * [simplify]: Extracting #4: cost 43 inf + 1098
1553935259.860 * * [simplify]: Extracting #5: cost 8 inf + 10482
1553935259.862 * * [simplify]: Extracting #6: cost 0 inf + 13753
1553935259.864 * [simplify]: Simplified to (*.p16 (+.p16 d3 (+.p16 (+.p16 d2 (real->posit16 5)) (real->posit16 32))) d1)
1553935259.864 * [simplify]: Simplified (2) to (λ (d1 d2 d3) (*.p16 (+.p16 d3 (+.p16 (+.p16 d2 (real->posit16 5)) (real->posit16 32))) d1))
1553935259.864 * * * * [progress]: [ 7 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1))>
1553935259.864 * [simplify]: Simplifying (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1)
1553935259.864 * * [simplify]: iters left: 4 (11 enodes)
1553935259.867 * * [simplify]: iters left: 3 (27 enodes)
1553935259.871 * * [simplify]: iters left: 2 (60 enodes)
1553935259.882 * * [simplify]: iters left: 1 (128 enodes)
1553935259.917 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935259.917 * * [simplify]: Extracting #1: cost 23 inf + 0
1553935259.917 * * [simplify]: Extracting #2: cost 52 inf + 1
1553935259.917 * * [simplify]: Extracting #3: cost 48 inf + 1052
1553935259.918 * * [simplify]: Extracting #4: cost 43 inf + 1098
1553935259.919 * * [simplify]: Extracting #5: cost 8 inf + 10482
1553935259.920 * * [simplify]: Extracting #6: cost 0 inf + 13753
1553935259.922 * [simplify]: Simplified to (*.p16 (+.p16 d3 (+.p16 (+.p16 d2 (real->posit16 5)) (real->posit16 32))) d1)
1553935259.922 * [simplify]: Simplified (2) to (λ (d1 d2 d3) (*.p16 (+.p16 d3 (+.p16 (+.p16 d2 (real->posit16 5)) (real->posit16 32))) d1))
1553935259.922 * * * * [progress]: [ 8 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1))>
1553935259.923 * [simplify]: Simplifying (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1)
1553935259.923 * * [simplify]: iters left: 4 (11 enodes)
1553935259.925 * * [simplify]: iters left: 3 (27 enodes)
1553935259.930 * * [simplify]: iters left: 2 (60 enodes)
1553935259.940 * * [simplify]: iters left: 1 (128 enodes)
1553935259.974 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935259.974 * * [simplify]: Extracting #1: cost 23 inf + 0
1553935259.974 * * [simplify]: Extracting #2: cost 52 inf + 1
1553935259.975 * * [simplify]: Extracting #3: cost 48 inf + 1052
1553935259.975 * * [simplify]: Extracting #4: cost 43 inf + 1098
1553935259.976 * * [simplify]: Extracting #5: cost 8 inf + 10482
1553935259.978 * * [simplify]: Extracting #6: cost 0 inf + 13753
1553935259.980 * [simplify]: Simplified to (*.p16 (+.p16 d3 (+.p16 (+.p16 d2 (real->posit16 5)) (real->posit16 32))) d1)
1553935259.980 * [simplify]: Simplified (2) to (λ (d1 d2 d3) (*.p16 (+.p16 d3 (+.p16 (+.p16 d2 (real->posit16 5)) (real->posit16 32))) d1))
1553935259.980 * * * [progress]: adding candidates to table
1553935260.499 * * [progress]: iteration 4 / 4
1553935260.499 * * * [progress]: picking best candidate
1553935260.534 * * * * [pick]: Picked  #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (+.p16 (real->posit16 5) d3) d2) (real->posit16 32)) d1))>
1553935260.535 * * * [progress]: localizing error
1553935260.732 * * * [progress]: generating rewritten candidates
1553935260.732 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
1553935260.759 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1)
1553935260.767 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
1553935260.802 * * * [progress]: generating series expansions
1553935260.802 * * * * [progress]: [ 1 / 3 ] generating series at (2)
1553935260.802 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1)
1553935260.803 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
1553935260.803 * * * [progress]: simplifying candidates
1553935260.803 * * * * [progress]: [ 1 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 d1 (+.p16 (+.p16 (+.p16 (real->posit16 5) d3) d2) (real->posit16 32))))>
1553935260.803 * * * * [progress]: [ 2 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1))>
1553935260.803 * [simplify]: Simplifying (real->posit16 5)
1553935260.803 * * [simplify]: iters left: 1 (2 enodes)
1553935260.804 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935260.804 * * [simplify]: Extracting #1: cost 2 inf + 0
1553935260.804 * * [simplify]: Extracting #2: cost 1 inf + 1
1553935260.804 * * [simplify]: Extracting #3: cost 0 inf + 2
1553935260.804 * [simplify]: Simplified to (real->posit16 5)
1553935260.804 * [simplify]: Simplified (2 1 1 1) to (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1))
1553935260.804 * * * * [progress]: [ 3 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 d2 (+.p16 (real->posit16 5) d3)) (real->posit16 32)) d1))>
1553935260.804 * * * * [progress]: [ 4 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) d3) (+.p16 d2 (real->posit16 32))) d1))>
1553935260.804 * [simplify]: Simplifying (+.p16 (real->posit16 5) d3)
1553935260.804 * * [simplify]: iters left: 2 (4 enodes)
1553935260.805 * * [simplify]: iters left: 1 (8 enodes)
1553935260.807 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935260.807 * * [simplify]: Extracting #1: cost 3 inf + 0
1553935260.807 * * [simplify]: Extracting #2: cost 3 inf + 1
1553935260.807 * * [simplify]: Extracting #3: cost 2 inf + 2
1553935260.807 * * [simplify]: Extracting #4: cost 0 inf + 45
1553935260.807 * [simplify]: Simplified to (+.p16 (real->posit16 5) d3)
1553935260.807 * [simplify]: Simplified (2 1 1) to (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) d3) (+.p16 d2 (real->posit16 32))) d1))
1553935260.807 * * * * [progress]: [ 5 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (real->posit16 32) (+.p16 (+.p16 (real->posit16 5) d3) d2)) d1))>
1553935260.807 * * * * [progress]: [ 6 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (+.p16 (real->posit16 5) d3) d2) (real->posit16 32)) d1))>
1553935260.807 * * * * [progress]: [ 7 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (+.p16 (real->posit16 5) d3) d2) (real->posit16 32)) d1))>
1553935260.807 * * * * [progress]: [ 8 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (+.p16 (real->posit16 5) d3) d2) (real->posit16 32)) d1))>
1553935260.807 * * * [progress]: adding candidates to table
1553935261.181 * [progress]: [Phase 3 of 3] Extracting.
1553935261.181 * * [regime]: Finding splitpoints for: (#<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 (real->posit16 5) (+.p16 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 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1)) (*.p16 d1 (real->posit16 32))))>)
1553935261.181 * * * [regime-changes]: Trying 3 branch expressions: (d3 d2 d1)
1553935261.181 * * * * [regimes]: Trying to branch on d3 from (#<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 (real->posit16 5) (+.p16 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 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1)) (*.p16 d1 (real->posit16 32))))>)
1553935261.440 * * * * [regimes]: Trying to branch on d2 from (#<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 (real->posit16 5) (+.p16 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 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1)) (*.p16 d1 (real->posit16 32))))>)
1553935261.809 * * * * [regimes]: Trying to branch on d1 from (#<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 (real->posit16 5) (+.p16 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 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1)) (*.p16 d1 (real->posit16 32))))>)
1553935262.054 * * * [regime]: Found split indices: #<option (#s(si 3 256))>
1553935262.055 * [simplify]: Simplifying (+.p16 (+.p16 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1)) (*.p16 d1 (real->posit16 32)))
1553935262.055 * * [simplify]: iters left: 5 (13 enodes)
1553935262.057 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935262.057 * * [simplify]: Extracting #1: cost 3 inf + 0
1553935262.057 * * [simplify]: Extracting #2: cost 7 inf + 0
1553935262.057 * * [simplify]: Extracting #3: cost 9 inf + 1
1553935262.057 * * [simplify]: Extracting #4: cost 6 inf + 648
1553935262.057 * * [simplify]: Extracting #5: cost 6 inf + 649
1553935262.057 * * [simplify]: Extracting #6: cost 4 inf + 651
1553935262.057 * * [simplify]: Extracting #7: cost 2 inf + 1056
1553935262.057 * * [simplify]: Extracting #8: cost 0 inf + 2865
1553935262.058 * [simplify]: Simplified to (+.p16 (+.p16 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1)) (*.p16 d1 (real->posit16 32)))
1553935262.058 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1553935262.115 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
1553935262.118 * * * * [points]: Setting MPFR precision to 64
1553935262.120 * * * * [points]: Setting MPFR precision to 320
1553935262.121 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
1553935262.125 * * * * [points]: Setting MPFR precision to 64
1553935262.127 * * * * [points]: Setting MPFR precision to 320
1553935262.131 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
1553935262.134 * * * * [points]: Setting MPFR precision to 64
1553935262.138 * * * * [points]: Setting MPFR precision to 320
1553935262.143 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
1553935262.146 * * * * [points]: Setting MPFR precision to 64
1553935262.153 * * * * [points]: Setting MPFR precision to 320
1553935262.163 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
1553935262.166 * * * * [points]: Setting MPFR precision to 64
1553935262.181 * * * * [points]: Setting MPFR precision to 320
1553935262.200 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
1553935262.202 * * * * [points]: Setting MPFR precision to 64
1553935262.260 * * * * [points]: Setting MPFR precision to 320
1553935262.301 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
1553935262.303 * * * * [points]: Setting MPFR precision to 64
1553935262.393 * * * * [points]: Setting MPFR precision to 320
1553935262.539 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
1553935262.541 * * * * [points]: Setting MPFR precision to 64
1553935262.697 * * * * [points]: Setting MPFR precision to 320
1553935262.905 * * * * [points]: Computing exacts for 8000 points
1553935263.234 * * * * [points]: Setting MPFR precision to 64
1553935264.019 * * * * [points]: Setting MPFR precision to 320
1553935264.868 * * * * [points]: Filtering points with unrepresentable outputs
1553935265.630 * * * * [points]: Sampled 8000 points with exact outputs
1553935269.477 * [regime-testing]: Baseline error score: 64.0
1553935269.481 * [regime-testing]: Oracle error score: 64.0
1553935269.488 * [regime-testing]: End program error score: 0.31829170088553826