1550619841.648 * [misc]progress:  [Phase 1 of 3] Setting up.
1550619841.648 * * * [misc]progress:  [1/2] Preparing points
1550619841.648 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1550619841.650 * * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
1550619841.651 * * * * [misc]points:  Setting MPFR precision to 64
1550619841.653 * * * * [misc]points:  Setting MPFR precision to 320
1550619841.654 * * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
1550619841.656 * * * * [misc]points:  Setting MPFR precision to 64
1550619841.658 * * * * [misc]points:  Setting MPFR precision to 320
1550619841.660 * * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
1550619841.662 * * * * [misc]points:  Setting MPFR precision to 64
1550619841.665 * * * * [misc]points:  Setting MPFR precision to 320
1550619841.670 * * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
1550619841.672 * * * * [misc]points:  Setting MPFR precision to 64
1550619841.677 * * * * [misc]points:  Setting MPFR precision to 320
1550619841.683 * * * * [misc]points:  Computing exacts for 256 points
1550619841.685 * * * * [misc]points:  Setting MPFR precision to 64
1550619841.710 * * * * [misc]points:  Setting MPFR precision to 320
1550619841.731 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619841.752 * * * * [exit]points:  Sampled 256 points with exact outputs
1550619841.752 * * * [misc]progress:  [2/2] Setting up program.
1550619841.779 * [misc]progress:  [Phase 2 of 3] Improving.
1550619841.780 * * * * [misc]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))))>
1550619841.780 * [enter]simplify:  Simplifying (+.p16 (+.p16 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1)) (*.p16 d1 (real->posit16 32)))
1550619841.780 * * [misc]simplify:  iters left: 5 (13 enodes)
1550619841.783 * * [misc]simplify:  iters left: 4 (29 enodes)
1550619841.788 * * [misc]simplify:  iters left: 3 (49 enodes)
1550619841.798 * * [misc]simplify:  iters left: 2 (122 enodes)
1550619841.832 * * [misc]simplify:  iters left: 1 (228 enodes)
1550619841.894 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619841.894 * * [misc]simplify:  Extracting #1: cost 23 inf + 0
1550619841.895 * * [misc]simplify:  Extracting #2: cost 50 inf + 1
1550619841.895 * * [misc]simplify:  Extracting #3: cost 49 inf + 325
1550619841.895 * * [misc]simplify:  Extracting #4: cost 29 inf + 4935
1550619841.897 * * [misc]simplify:  Extracting #5: cost 5 inf + 11608
1550619841.899 * * [misc]simplify:  Extracting #6: cost 0 inf + 11542
1550619841.901 * [exit]simplify:  Simplified to (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1)
1550619841.901 * [misc]simplify:  Simplified (2) to (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1))
1550619841.956 * * [misc]progress:  iteration 1 / 4
1550619841.956 * * * [misc]progress:  picking best candidate
1550619842.021 * * * * [misc]pick:  Picked  #<alt (λ (d1 d2 d3) (+.p16 (+.p16 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1)) (*.p16 d1 (real->posit16 32))))>
1550619842.021 * * * [misc]progress:  localizing error
1550619842.322 * * * [misc]progress:  generating rewritten candidates
1550619842.322 * * * * [misc]progress:  [ 1 / 3 ] rewriting at (2)
1550619842.326 * * * * [misc]progress:  [ 2 / 3 ] rewriting at (2 1)
1550619842.329 * * * * [misc]progress:  [ 3 / 3 ] rewriting at (2 1 2)
1550619842.342 * * * [misc]progress:  generating series expansions
1550619842.342 * * * * [misc]progress:  [ 1 / 3 ] generating series at (2)
1550619842.342 * * * * [misc]progress:  [ 2 / 3 ] generating series at (2 1)
1550619842.342 * * * * [misc]progress:  [ 3 / 3 ] generating series at (2 1 2)
1550619842.342 * * * [misc]progress:  simplifying candidates
1550619842.342 * * * * [misc]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)))))>
1550619842.343 * [enter]simplify:  Simplifying (*.p16 d1 d2)
1550619842.343 * * [misc]simplify:  iters left: 1 (3 enodes)
1550619842.344 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619842.344 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619842.344 * * [misc]simplify:  Extracting #2: cost 1 inf + 2
1550619842.344 * * [misc]simplify:  Extracting #3: cost 0 inf + 324
1550619842.344 * [exit]simplify:  Simplified to (*.p16 d2 d1)
1550619842.344 * [misc]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)))))
1550619842.344 * * * * [misc]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))))>
1550619842.344 * * * * [misc]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))))>
1550619842.344 * * * * [misc]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))))>
1550619842.345 * * * * [misc]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))))>
1550619842.345 * [enter]simplify:  Simplifying (+.p16 (+.p16 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1)) (*.p16 d1 (real->posit16 32)))
1550619842.345 * * [misc]simplify:  iters left: 5 (13 enodes)
1550619842.352 * * [misc]simplify:  iters left: 4 (29 enodes)
1550619842.362 * * [misc]simplify:  iters left: 3 (49 enodes)
1550619842.382 * * [misc]simplify:  iters left: 2 (122 enodes)
1550619842.428 * * [misc]simplify:  iters left: 1 (228 enodes)
1550619842.548 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619842.549 * * [misc]simplify:  Extracting #1: cost 23 inf + 0
1550619842.549 * * [misc]simplify:  Extracting #2: cost 50 inf + 1
1550619842.549 * * [misc]simplify:  Extracting #3: cost 49 inf + 325
1550619842.550 * * [misc]simplify:  Extracting #4: cost 29 inf + 4935
1550619842.553 * * [misc]simplify:  Extracting #5: cost 5 inf + 11608
1550619842.557 * * [misc]simplify:  Extracting #6: cost 0 inf + 11542
1550619842.561 * [exit]simplify:  Simplified to (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1)
1550619842.561 * [misc]simplify:  Simplified (2) to (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1))
1550619842.561 * * * * [misc]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))))>
1550619842.561 * [enter]simplify:  Simplifying (+.p16 (+.p16 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1)) (*.p16 d1 (real->posit16 32)))
1550619842.561 * * [misc]simplify:  iters left: 5 (13 enodes)
1550619842.567 * * [misc]simplify:  iters left: 4 (29 enodes)
1550619842.578 * * [misc]simplify:  iters left: 3 (49 enodes)
1550619842.599 * * [misc]simplify:  iters left: 2 (122 enodes)
1550619842.644 * * [misc]simplify:  iters left: 1 (228 enodes)
1550619842.761 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619842.761 * * [misc]simplify:  Extracting #1: cost 23 inf + 0
1550619842.761 * * [misc]simplify:  Extracting #2: cost 50 inf + 1
1550619842.762 * * [misc]simplify:  Extracting #3: cost 49 inf + 325
1550619842.763 * * [misc]simplify:  Extracting #4: cost 29 inf + 4935
1550619842.766 * * [misc]simplify:  Extracting #5: cost 5 inf + 11608
1550619842.769 * * [misc]simplify:  Extracting #6: cost 0 inf + 11542
1550619842.774 * [exit]simplify:  Simplified to (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1)
1550619842.774 * [misc]simplify:  Simplified (2) to (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1))
1550619842.774 * * * * [misc]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))))>
1550619842.774 * [enter]simplify:  Simplifying (+.p16 (+.p16 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1)) (*.p16 d1 (real->posit16 32)))
1550619842.774 * * [misc]simplify:  iters left: 5 (13 enodes)
1550619842.780 * * [misc]simplify:  iters left: 4 (29 enodes)
1550619842.789 * * [misc]simplify:  iters left: 3 (49 enodes)
1550619842.805 * * [misc]simplify:  iters left: 2 (122 enodes)
1550619842.845 * * [misc]simplify:  iters left: 1 (228 enodes)
1550619842.950 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619842.950 * * [misc]simplify:  Extracting #1: cost 23 inf + 0
1550619842.950 * * [misc]simplify:  Extracting #2: cost 50 inf + 1
1550619842.951 * * [misc]simplify:  Extracting #3: cost 49 inf + 325
1550619842.951 * * [misc]simplify:  Extracting #4: cost 29 inf + 4935
1550619842.954 * * [misc]simplify:  Extracting #5: cost 5 inf + 11608
1550619842.957 * * [misc]simplify:  Extracting #6: cost 0 inf + 11542
1550619842.961 * [exit]simplify:  Simplified to (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1)
1550619842.961 * [misc]simplify:  Simplified (2) to (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1))
1550619842.961 * * * [misc]progress:  adding candidates to table
1550619843.494 * * [misc]progress:  iteration 2 / 4
1550619843.494 * * * [misc]progress:  picking best candidate
1550619843.541 * * * * [misc]pick:  Picked  #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1))>
1550619843.541 * * * [misc]progress:  localizing error
1550619843.721 * * * [misc]progress:  generating rewritten candidates
1550619843.721 * * * * [misc]progress:  [ 1 / 3 ] rewriting at (2)
1550619843.732 * * * * [misc]progress:  [ 2 / 3 ] rewriting at (2 1)
1550619843.745 * * * * [misc]progress:  [ 3 / 3 ] rewriting at (2 1 1)
1550619843.748 * * * [misc]progress:  generating series expansions
1550619843.748 * * * * [misc]progress:  [ 1 / 3 ] generating series at (2)
1550619843.748 * * * * [misc]progress:  [ 2 / 3 ] generating series at (2 1)
1550619843.748 * * * * [misc]progress:  [ 3 / 3 ] generating series at (2 1 1)
1550619843.748 * * * [misc]progress:  simplifying candidates
1550619843.748 * * * * [misc]progress:  [ 1 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 d1 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32))))>
1550619843.748 * * * * [misc]progress:  [ 2 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (real->posit16 5) (+.p16 (+.p16 d3 d2) (real->posit16 32))) d1))>
1550619843.748 * [enter]simplify:  Simplifying (real->posit16 5)
1550619843.748 * * [misc]simplify:  iters left: 1 (2 enodes)
1550619843.749 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619843.749 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1550619843.749 * * [misc]simplify:  Extracting #2: cost 1 inf + 1
1550619843.749 * * [misc]simplify:  Extracting #3: cost 0 inf + 2
1550619843.749 * [exit]simplify:  Simplified to (real->posit16 5)
1550619843.749 * [misc]simplify:  Simplified (2 1 1) to (λ (d1 d2 d3) (*.p16 (+.p16 (real->posit16 5) (+.p16 (+.p16 d3 d2) (real->posit16 32))) d1))
1550619843.749 * * * * [misc]progress:  [ 3 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (real->posit16 32) (+.p16 (real->posit16 5) (+.p16 d3 d2))) d1))>
1550619843.749 * * * * [misc]progress:  [ 4 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (+.p16 (real->posit16 5) d3) d2) (real->posit16 32)) d1))>
1550619843.749 * * * * [misc]progress:  [ 5 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (+.p16 d3 d2) (real->posit16 5)) (real->posit16 32)) d1))>
1550619843.749 * * * * [misc]progress:  [ 6 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1))>
1550619843.749 * [enter]simplify:  Simplifying (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1)
1550619843.749 * * [misc]simplify:  iters left: 4 (11 enodes)
1550619843.759 * * [misc]simplify:  iters left: 3 (27 enodes)
1550619843.763 * * [misc]simplify:  iters left: 2 (60 enodes)
1550619843.774 * * [misc]simplify:  iters left: 1 (128 enodes)
1550619843.805 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619843.805 * * [misc]simplify:  Extracting #1: cost 23 inf + 0
1550619843.806 * * [misc]simplify:  Extracting #2: cost 52 inf + 1
1550619843.806 * * [misc]simplify:  Extracting #3: cost 48 inf + 1052
1550619843.806 * * [misc]simplify:  Extracting #4: cost 43 inf + 1098
1550619843.807 * * [misc]simplify:  Extracting #5: cost 8 inf + 10482
1550619843.809 * * [misc]simplify:  Extracting #6: cost 0 inf + 13753
1550619843.811 * [exit]simplify:  Simplified to (*.p16 (+.p16 d3 (+.p16 (+.p16 d2 (real->posit16 5)) (real->posit16 32))) d1)
1550619843.811 * [misc]simplify:  Simplified (2) to (λ (d1 d2 d3) (*.p16 (+.p16 d3 (+.p16 (+.p16 d2 (real->posit16 5)) (real->posit16 32))) d1))
1550619843.811 * * * * [misc]progress:  [ 7 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1))>
1550619843.811 * [enter]simplify:  Simplifying (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1)
1550619843.811 * * [misc]simplify:  iters left: 4 (11 enodes)
1550619843.814 * * [misc]simplify:  iters left: 3 (27 enodes)
1550619843.820 * * [misc]simplify:  iters left: 2 (60 enodes)
1550619843.832 * * [misc]simplify:  iters left: 1 (128 enodes)
1550619843.885 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619843.885 * * [misc]simplify:  Extracting #1: cost 23 inf + 0
1550619843.885 * * [misc]simplify:  Extracting #2: cost 52 inf + 1
1550619843.886 * * [misc]simplify:  Extracting #3: cost 48 inf + 1052
1550619843.886 * * [misc]simplify:  Extracting #4: cost 43 inf + 1098
1550619843.888 * * [misc]simplify:  Extracting #5: cost 8 inf + 10482
1550619843.891 * * [misc]simplify:  Extracting #6: cost 0 inf + 13753
1550619843.895 * [exit]simplify:  Simplified to (*.p16 (+.p16 d3 (+.p16 (+.p16 d2 (real->posit16 5)) (real->posit16 32))) d1)
1550619843.895 * [misc]simplify:  Simplified (2) to (λ (d1 d2 d3) (*.p16 (+.p16 d3 (+.p16 (+.p16 d2 (real->posit16 5)) (real->posit16 32))) d1))
1550619843.895 * * * * [misc]progress:  [ 8 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1))>
1550619843.895 * [enter]simplify:  Simplifying (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1)
1550619843.895 * * [misc]simplify:  iters left: 4 (11 enodes)
1550619843.900 * * [misc]simplify:  iters left: 3 (27 enodes)
1550619843.908 * * [misc]simplify:  iters left: 2 (60 enodes)
1550619843.929 * * [misc]simplify:  iters left: 1 (128 enodes)
1550619843.979 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619843.979 * * [misc]simplify:  Extracting #1: cost 23 inf + 0
1550619843.979 * * [misc]simplify:  Extracting #2: cost 52 inf + 1
1550619843.979 * * [misc]simplify:  Extracting #3: cost 48 inf + 1052
1550619843.979 * * [misc]simplify:  Extracting #4: cost 43 inf + 1098
1550619843.980 * * [misc]simplify:  Extracting #5: cost 8 inf + 10482
1550619843.982 * * [misc]simplify:  Extracting #6: cost 0 inf + 13753
1550619843.984 * [exit]simplify:  Simplified to (*.p16 (+.p16 d3 (+.p16 (+.p16 d2 (real->posit16 5)) (real->posit16 32))) d1)
1550619843.984 * [misc]simplify:  Simplified (2) to (λ (d1 d2 d3) (*.p16 (+.p16 d3 (+.p16 (+.p16 d2 (real->posit16 5)) (real->posit16 32))) d1))
1550619843.984 * * * [misc]progress:  adding candidates to table
1550619844.485 * * [misc]progress:  iteration 3 / 4
1550619844.485 * * * [misc]progress:  picking best candidate
1550619844.563 * * * * [misc]pick:  Picked  #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (+.p16 (real->posit16 5) d3) d2) (real->posit16 32)) d1))>
1550619844.563 * * * [misc]progress:  localizing error
1550619844.694 * * * [misc]progress:  generating rewritten candidates
1550619844.694 * * * * [misc]progress:  [ 1 / 3 ] rewriting at (2)
1550619844.717 * * * * [misc]progress:  [ 2 / 3 ] rewriting at (2 1 1)
1550619844.723 * * * * [misc]progress:  [ 3 / 3 ] rewriting at (2 1)
1550619844.755 * * * [misc]progress:  generating series expansions
1550619844.755 * * * * [misc]progress:  [ 1 / 3 ] generating series at (2)
1550619844.756 * * * * [misc]progress:  [ 2 / 3 ] generating series at (2 1 1)
1550619844.756 * * * * [misc]progress:  [ 3 / 3 ] generating series at (2 1)
1550619844.756 * * * [misc]progress:  simplifying candidates
1550619844.756 * * * * [misc]progress:  [ 1 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 d1 (+.p16 (+.p16 (+.p16 (real->posit16 5) d3) d2) (real->posit16 32))))>
1550619844.756 * * * * [misc]progress:  [ 2 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1))>
1550619844.756 * [enter]simplify:  Simplifying (real->posit16 5)
1550619844.756 * * [misc]simplify:  iters left: 1 (2 enodes)
1550619844.757 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619844.757 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1550619844.757 * * [misc]simplify:  Extracting #2: cost 1 inf + 1
1550619844.757 * * [misc]simplify:  Extracting #3: cost 0 inf + 2
1550619844.757 * [exit]simplify:  Simplified to (real->posit16 5)
1550619844.757 * [misc]simplify:  Simplified (2 1 1 1) to (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1))
1550619844.758 * * * * [misc]progress:  [ 3 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 d2 (+.p16 (real->posit16 5) d3)) (real->posit16 32)) d1))>
1550619844.758 * * * * [misc]progress:  [ 4 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) d3) (+.p16 d2 (real->posit16 32))) d1))>
1550619844.758 * [enter]simplify:  Simplifying (+.p16 (real->posit16 5) d3)
1550619844.758 * * [misc]simplify:  iters left: 2 (4 enodes)
1550619844.759 * * [misc]simplify:  iters left: 1 (8 enodes)
1550619844.761 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619844.761 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619844.761 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550619844.761 * * [misc]simplify:  Extracting #3: cost 2 inf + 2
1550619844.761 * * [misc]simplify:  Extracting #4: cost 0 inf + 45
1550619844.761 * [exit]simplify:  Simplified to (+.p16 (real->posit16 5) d3)
1550619844.761 * [misc]simplify:  Simplified (2 1 1) to (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) d3) (+.p16 d2 (real->posit16 32))) d1))
1550619844.761 * * * * [misc]progress:  [ 5 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (real->posit16 32) (+.p16 (+.p16 (real->posit16 5) d3) d2)) d1))>
1550619844.761 * * * * [misc]progress:  [ 6 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (+.p16 (real->posit16 5) d3) d2) (real->posit16 32)) d1))>
1550619844.761 * * * * [misc]progress:  [ 7 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (+.p16 (real->posit16 5) d3) d2) (real->posit16 32)) d1))>
1550619844.761 * * * * [misc]progress:  [ 8 / 8 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (+.p16 (real->posit16 5) d3) d2) (real->posit16 32)) d1))>
1550619844.761 * * * [misc]progress:  adding candidates to table
1550619845.120 * * [misc]progress:  iteration 4 / 4
1550619845.120 * * * [misc]progress:  picking best candidate
1550619845.206 * * * * [misc]pick:  Picked  #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) d3) (+.p16 d2 (real->posit16 32))) d1))>
1550619845.206 * * * [misc]progress:  localizing error
1550619845.336 * * * [misc]progress:  generating rewritten candidates
1550619845.336 * * * * [misc]progress:  [ 1 / 2 ] rewriting at (2)
1550619845.358 * * * * [misc]progress:  [ 2 / 2 ] rewriting at (2 1)
1550619845.372 * * * [misc]progress:  generating series expansions
1550619845.372 * * * * [misc]progress:  [ 1 / 2 ] generating series at (2)
1550619845.372 * * * * [misc]progress:  [ 2 / 2 ] generating series at (2 1)
1550619845.372 * * * [misc]progress:  simplifying candidates
1550619845.372 * * * * [misc]progress:  [ 1 / 6 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 d1 (+.p16 (+.p16 (real->posit16 5) d3) (+.p16 d2 (real->posit16 32)))))>
1550619845.373 * * * * [misc]progress:  [ 2 / 6 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (+.p16 (real->posit16 5) d3) d2) (real->posit16 32)) d1))>
1550619845.373 * [enter]simplify:  Simplifying (real->posit16 32)
1550619845.373 * * [misc]simplify:  iters left: 1 (2 enodes)
1550619845.376 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619845.376 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1550619845.376 * * [misc]simplify:  Extracting #2: cost 1 inf + 1
1550619845.376 * * [misc]simplify:  Extracting #3: cost 0 inf + 2
1550619845.376 * [exit]simplify:  Simplified to (real->posit16 32)
1550619845.376 * [misc]simplify:  Simplified (2 1 2) to (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (+.p16 (real->posit16 5) d3) d2) (real->posit16 32)) d1))
1550619845.376 * * * * [misc]progress:  [ 3 / 6 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (real->posit16 5) (+.p16 d3 (+.p16 d2 (real->posit16 32)))) d1))>
1550619845.376 * [enter]simplify:  Simplifying (real->posit16 5)
1550619845.376 * * [misc]simplify:  iters left: 1 (2 enodes)
1550619845.377 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619845.377 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1550619845.377 * * [misc]simplify:  Extracting #2: cost 1 inf + 1
1550619845.377 * * [misc]simplify:  Extracting #3: cost 0 inf + 2
1550619845.378 * [exit]simplify:  Simplified to (real->posit16 5)
1550619845.378 * [misc]simplify:  Simplified (2 1 1) to (λ (d1 d2 d3) (*.p16 (+.p16 (real->posit16 5) (+.p16 d3 (+.p16 d2 (real->posit16 32)))) d1))
1550619845.378 * * * * [misc]progress:  [ 4 / 6 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 d2 (real->posit16 32)) (+.p16 (real->posit16 5) d3)) d1))>
1550619845.378 * * * * [misc]progress:  [ 5 / 6 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) d3) (+.p16 d2 (real->posit16 32))) d1))>
1550619845.378 * [enter]simplify:  Simplifying (+.p16 (real->posit16 5) d3)
1550619845.378 * * [misc]simplify:  iters left: 2 (4 enodes)
1550619845.380 * * [misc]simplify:  iters left: 1 (8 enodes)
1550619845.382 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619845.382 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619845.382 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550619845.382 * * [misc]simplify:  Extracting #3: cost 2 inf + 2
1550619845.382 * * [misc]simplify:  Extracting #4: cost 0 inf + 45
1550619845.382 * [exit]simplify:  Simplified to (+.p16 (real->posit16 5) d3)
1550619845.382 * [misc]simplify:  Simplified (2 1 1) to (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) d3) (+.p16 d2 (real->posit16 32))) d1))
1550619845.382 * * * * [misc]progress:  [ 6 / 6 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) d3) (+.p16 d2 (real->posit16 32))) d1))>
1550619845.383 * [enter]simplify:  Simplifying (+.p16 (real->posit16 5) d3)
1550619845.383 * * [misc]simplify:  iters left: 2 (4 enodes)
1550619845.385 * * [misc]simplify:  iters left: 1 (8 enodes)
1550619845.387 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619845.387 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619845.387 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550619845.387 * * [misc]simplify:  Extracting #3: cost 2 inf + 2
1550619845.387 * * [misc]simplify:  Extracting #4: cost 0 inf + 45
1550619845.387 * [exit]simplify:  Simplified to (+.p16 (real->posit16 5) d3)
1550619845.387 * [misc]simplify:  Simplified (2 1 1) to (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) d3) (+.p16 d2 (real->posit16 32))) d1))
1550619845.388 * * * [misc]progress:  adding candidates to table
1550619845.650 * [misc]progress:  [Phase 3 of 3] Extracting.
1550619845.650 * * [misc]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 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1)) (*.p16 d1 (real->posit16 32))))> #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (+.p16 (real->posit16 5) d3) d2) (real->posit16 32)) d1))> #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (real->posit16 5) (+.p16 (+.p16 d3 d2) (real->posit16 32))) d1))> #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) d3) (+.p16 d2 (real->posit16 32))) d1))>)
1550619845.651 * * * [misc]regime-changes:  Trying 3 branch expressions: (d3 d2 d1)
1550619845.651 * * * * [misc]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 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1)) (*.p16 d1 (real->posit16 32))))> #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (+.p16 (real->posit16 5) d3) d2) (real->posit16 32)) d1))> #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (real->posit16 5) (+.p16 (+.p16 d3 d2) (real->posit16 32))) d1))> #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) d3) (+.p16 d2 (real->posit16 32))) d1))>)
1550619846.061 * * * * [misc]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 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1)) (*.p16 d1 (real->posit16 32))))> #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (+.p16 (real->posit16 5) d3) d2) (real->posit16 32)) d1))> #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (real->posit16 5) (+.p16 (+.p16 d3 d2) (real->posit16 32))) d1))> #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) d3) (+.p16 d2 (real->posit16 32))) d1))>)
1550619846.533 * * * * [misc]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 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1)) (*.p16 d1 (real->posit16 32))))> #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (+.p16 (real->posit16 5) d3) d2) (real->posit16 32)) d1))> #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (real->posit16 5) (+.p16 (+.p16 d3 d2) (real->posit16 32))) d1))> #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) d3) (+.p16 d2 (real->posit16 32))) d1))>)
1550619846.829 * * * [misc]regime:  Found split indices: #<option (#s(si 1 256))>
1550619846.829 * [enter]simplify:  Simplifying (+.p16 (+.p16 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1)) (*.p16 d1 (real->posit16 32)))
1550619846.829 * * [misc]simplify:  iters left: 5 (13 enodes)
1550619846.831 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619846.831 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619846.831 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1550619846.831 * * [misc]simplify:  Extracting #3: cost 9 inf + 1
1550619846.831 * * [misc]simplify:  Extracting #4: cost 6 inf + 648
1550619846.831 * * [misc]simplify:  Extracting #5: cost 6 inf + 649
1550619846.831 * * [misc]simplify:  Extracting #6: cost 4 inf + 651
1550619846.831 * * [misc]simplify:  Extracting #7: cost 2 inf + 1056
1550619846.831 * * [misc]simplify:  Extracting #8: cost 0 inf + 2865
1550619846.831 * [exit]simplify:  Simplified to (+.p16 (+.p16 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1)) (*.p16 d1 (real->posit16 32)))
1550619846.831 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1550619846.866 * * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
1550619846.869 * * * * [misc]points:  Setting MPFR precision to 64
1550619846.870 * * * * [misc]points:  Setting MPFR precision to 320
1550619846.871 * * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
1550619846.873 * * * * [misc]points:  Setting MPFR precision to 64
1550619846.875 * * * * [misc]points:  Setting MPFR precision to 320
1550619846.879 * * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
1550619846.882 * * * * [misc]points:  Setting MPFR precision to 64
1550619846.886 * * * * [misc]points:  Setting MPFR precision to 320
1550619846.891 * * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
1550619846.893 * * * * [misc]points:  Setting MPFR precision to 64
1550619846.900 * * * * [misc]points:  Setting MPFR precision to 320
1550619846.912 * * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
1550619846.915 * * * * [misc]points:  Setting MPFR precision to 64
1550619846.930 * * * * [misc]points:  Setting MPFR precision to 320
1550619846.967 * * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
1550619846.970 * * * * [misc]points:  Setting MPFR precision to 64
1550619847.002 * * * * [misc]points:  Setting MPFR precision to 320
1550619847.040 * * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
1550619847.043 * * * * [misc]points:  Setting MPFR precision to 64
1550619847.136 * * * * [misc]points:  Setting MPFR precision to 320
1550619847.243 * * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
1550619847.295 * * * * [misc]points:  Setting MPFR precision to 64
1550619847.568 * * * * [misc]points:  Setting MPFR precision to 320
1550619847.895 * * * * [misc]points:  Computing exacts for 8000 points
1550619847.900 * * * * [misc]points:  Setting MPFR precision to 64
1550619849.197 * * * * [misc]points:  Setting MPFR precision to 320
1550619850.102 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619850.761 * * * * [exit]points:  Sampled 8000 points with exact outputs
1550619855.524 * [misc]regime-testing:  Baseline error score: 64.0
1550619855.532 * [misc]regime-testing:  Oracle error score: 64.0
1550619855.536 * [misc]regime-testing:  End program error score: 0.3141214872460076