1553863105.755 * [progress]: [Phase 1 of 3] Setting up.
1553863105.756 * * * [progress]: [1/2] Preparing points
1553863105.756 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
1553863105.757 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
1553863105.759 * * * * [points]: Setting MPFR precision to 64
1553863105.761 * * * * [points]: Setting MPFR precision to 320
1553863105.763 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
1553863105.766 * * * * [points]: Setting MPFR precision to 64
1553863105.769 * * * * [points]: Setting MPFR precision to 320
1553863105.773 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
1553863105.775 * * * * [points]: Setting MPFR precision to 64
1553863105.781 * * * * [points]: Setting MPFR precision to 320
1553863105.796 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
1553863105.799 * * * * [points]: Setting MPFR precision to 64
1553863105.808 * * * * [points]: Setting MPFR precision to 320
1553863105.820 * * * * [points]: Computing exacts for 256 points
1553863105.823 * * * * [points]: Setting MPFR precision to 64
1553863105.851 * * * * [points]: Setting MPFR precision to 320
1553863105.890 * * * * [points]: Filtering points with unrepresentable outputs
1553863105.925 * * * * [points]: Sampled 256 points with exact outputs
1553863105.925 * * * [progress]: [2/2] Setting up program.
1553863105.962 * [progress]: [Phase 2 of 3] Improving.
1553863105.962 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (d1 d2 d3) (+.p16 (+.p16 (*.p16 d1 (real->posit16 3)) (*.p16 d1 d2)) (*.p16 d1 d3)))>
1553863105.963 * [simplify]: Simplifying (+.p16 (+.p16 (*.p16 d1 (real->posit16 3)) (*.p16 d1 d2)) (*.p16 d1 d3))
1553863105.963 * * [simplify]: iters left: 4 (10 enodes)
1553863105.968 * * [simplify]: iters left: 3 (26 enodes)
1553863105.977 * * [simplify]: iters left: 2 (41 enodes)
1553863105.992 * * [simplify]: iters left: 1 (57 enodes)
1553863106.037 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863106.037 * * [simplify]: Extracting #1: cost 9 inf + 0
1553863106.037 * * [simplify]: Extracting #2: cost 14 inf + 1
1553863106.037 * * [simplify]: Extracting #3: cost 11 inf + 367
1553863106.038 * * [simplify]: Extracting #4: cost 8 inf + 1053
1553863106.038 * * [simplify]: Extracting #5: cost 2 inf + 2267
1553863106.039 * * [simplify]: Extracting #6: cost 0 inf + 2673
1553863106.039 * [simplify]: Simplified to (*.p16 (+.p16 (real->posit16 3) (+.p16 d2 d3)) d1)
1553863106.039 * [simplify]: Simplified (2) to (λ (d1 d2 d3) (*.p16 (+.p16 (real->posit16 3) (+.p16 d2 d3)) d1))
1553863106.117 * * [progress]: iteration 1 / 4
1553863106.117 * * * [progress]: picking best candidate
1553863106.192 * * * * [pick]: Picked  #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (real->posit16 3) (+.p16 d2 d3)) d1))>
1553863106.192 * * * [progress]: localizing error
1553863106.820 * * * [progress]: generating rewritten candidates
1553863106.820 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
1553863106.830 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
1553863106.839 * * * [progress]: generating series expansions
1553863106.839 * * * * [progress]: [ 1 / 2 ] generating series at (2)
1553863106.839 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
1553863106.840 * * * [progress]: simplifying candidates
1553863106.840 * * * * [progress]: [ 1 / 6 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 d1 (+.p16 (real->posit16 3) (+.p16 d2 d3))))>
1553863106.840 * * * * [progress]: [ 2 / 6 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 3) d2) d3) d1))>
1553863106.840 * * * * [progress]: [ 3 / 6 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 3) d3) d2) d1))>
1553863106.840 * * * * [progress]: [ 4 / 6 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 d2 d3) (real->posit16 3)) d1))>
1553863106.840 * * * * [progress]: [ 5 / 6 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (real->posit16 3) (+.p16 d2 d3)) d1))>
1553863106.840 * [simplify]: Simplifying (*.p16 (+.p16 (real->posit16 3) (+.p16 d2 d3)) d1)
1553863106.840 * * [simplify]: iters left: 3 (8 enodes)
1553863106.844 * * [simplify]: iters left: 2 (20 enodes)
1553863106.851 * * [simplify]: iters left: 1 (40 enodes)
1553863106.865 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863106.865 * * [simplify]: Extracting #1: cost 10 inf + 0
1553863106.865 * * [simplify]: Extracting #2: cost 16 inf + 1
1553863106.866 * * [simplify]: Extracting #3: cost 13 inf + 647
1553863106.866 * * [simplify]: Extracting #4: cost 10 inf + 1012
1553863106.866 * * [simplify]: Extracting #5: cost 6 inf + 1863
1553863106.867 * * [simplify]: Extracting #6: cost 1 inf + 2995
1553863106.867 * * [simplify]: Extracting #7: cost 0 inf + 3358
1553863106.868 * [simplify]: Simplified to (*.p16 d1 (+.p16 (+.p16 d2 d3) (real->posit16 3)))
1553863106.868 * [simplify]: Simplified (2) to (λ (d1 d2 d3) (*.p16 d1 (+.p16 (+.p16 d2 d3) (real->posit16 3))))
1553863106.868 * * * * [progress]: [ 6 / 6 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (real->posit16 3) (+.p16 d2 d3)) d1))>
1553863106.868 * [simplify]: Simplifying (*.p16 (+.p16 (real->posit16 3) (+.p16 d2 d3)) d1)
1553863106.868 * * [simplify]: iters left: 3 (8 enodes)
1553863106.872 * * [simplify]: iters left: 2 (20 enodes)
1553863106.879 * * [simplify]: iters left: 1 (40 enodes)
1553863106.906 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863106.906 * * [simplify]: Extracting #1: cost 10 inf + 0
1553863106.906 * * [simplify]: Extracting #2: cost 16 inf + 1
1553863106.906 * * [simplify]: Extracting #3: cost 13 inf + 647
1553863106.907 * * [simplify]: Extracting #4: cost 10 inf + 1012
1553863106.907 * * [simplify]: Extracting #5: cost 6 inf + 1863
1553863106.907 * * [simplify]: Extracting #6: cost 1 inf + 2995
1553863106.908 * * [simplify]: Extracting #7: cost 0 inf + 3358
1553863106.909 * [simplify]: Simplified to (*.p16 d1 (+.p16 (+.p16 d2 d3) (real->posit16 3)))
1553863106.909 * [simplify]: Simplified (2) to (λ (d1 d2 d3) (*.p16 d1 (+.p16 (+.p16 d2 d3) (real->posit16 3))))
1553863106.909 * * * [progress]: adding candidates to table
1553863107.248 * * [progress]: iteration 2 / 4
1553863107.248 * * * [progress]: picking best candidate
1553863107.356 * * * * [pick]: Picked  #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 3) d2) d3) d1))>
1553863107.356 * * * [progress]: localizing error
1553863107.549 * * * [progress]: generating rewritten candidates
1553863107.549 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
1553863107.576 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
1553863107.585 * * * [progress]: generating series expansions
1553863107.585 * * * * [progress]: [ 1 / 2 ] generating series at (2)
1553863107.585 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
1553863107.585 * * * [progress]: simplifying candidates
1553863107.585 * * * * [progress]: [ 1 / 6 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 d1 (+.p16 (+.p16 (real->posit16 3) d2) d3)))>
1553863107.585 * * * * [progress]: [ 2 / 6 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (real->posit16 3) (+.p16 d2 d3)) d1))>
1553863107.585 * [simplify]: Simplifying (real->posit16 3)
1553863107.585 * * [simplify]: iters left: 1 (2 enodes)
1553863107.588 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863107.588 * * [simplify]: Extracting #1: cost 2 inf + 0
1553863107.588 * * [simplify]: Extracting #2: cost 1 inf + 1
1553863107.588 * * [simplify]: Extracting #3: cost 0 inf + 2
1553863107.588 * [simplify]: Simplified to (real->posit16 3)
1553863107.588 * [simplify]: Simplified (2 1 1) to (λ (d1 d2 d3) (*.p16 (+.p16 (real->posit16 3) (+.p16 d2 d3)) d1))
1553863107.588 * * * * [progress]: [ 3 / 6 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 d2 (+.p16 (real->posit16 3) d3)) d1))>
1553863107.588 * * * * [progress]: [ 4 / 6 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 d3 (+.p16 (real->posit16 3) d2)) d1))>
1553863107.588 * * * * [progress]: [ 5 / 6 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 3) d2) d3) d1))>
1553863107.588 * * * * [progress]: [ 6 / 6 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 3) d2) d3) d1))>
1553863107.588 * * * [progress]: adding candidates to table
1553863107.866 * * [progress]: iteration 3 / 4
1553863107.866 * * * [progress]: picking best candidate
1553863107.935 * * * * [pick]: Picked  #<alt (λ (d1 d2 d3) (*.p16 (+.p16 d2 (+.p16 (real->posit16 3) d3)) d1))>
1553863107.935 * * * [progress]: localizing error
1553863108.109 * * * [progress]: generating rewritten candidates
1553863108.109 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
1553863108.117 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
1553863108.133 * * * [progress]: generating series expansions
1553863108.133 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
1553863108.133 * * * * [progress]: [ 2 / 2 ] generating series at (2)
1553863108.133 * * * [progress]: simplifying candidates
1553863108.133 * * * * [progress]: [ 1 / 6 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 d2 (real->posit16 3)) d3) d1))>
1553863108.133 * * * * [progress]: [ 2 / 6 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 d2 d3) (real->posit16 3)) d1))>
1553863108.133 * [simplify]: Simplifying (real->posit16 3)
1553863108.133 * * [simplify]: iters left: 1 (2 enodes)
1553863108.135 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863108.135 * * [simplify]: Extracting #1: cost 2 inf + 0
1553863108.135 * * [simplify]: Extracting #2: cost 1 inf + 1
1553863108.135 * * [simplify]: Extracting #3: cost 0 inf + 2
1553863108.135 * [simplify]: Simplified to (real->posit16 3)
1553863108.135 * [simplify]: Simplified (2 1 2) to (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 d2 d3) (real->posit16 3)) d1))
1553863108.135 * * * * [progress]: [ 3 / 6 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 3) d3) d2) d1))>
1553863108.135 * * * * [progress]: [ 4 / 6 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 d1 (+.p16 d2 (+.p16 (real->posit16 3) d3))))>
1553863108.135 * * * * [progress]: [ 5 / 6 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 d2 (+.p16 (real->posit16 3) d3)) d1))>
1553863108.135 * * * * [progress]: [ 6 / 6 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 (+.p16 d2 (+.p16 (real->posit16 3) d3)) d1))>
1553863108.135 * * * [progress]: adding candidates to table
1553863108.320 * * [progress]: iteration 4 / 4
1553863108.320 * * * [progress]: picking best candidate
1553863108.338 * * * * [pick]: Picked  #<alt (λ (d1 d2 d3) (+.p16 (+.p16 (*.p16 d1 (real->posit16 3)) (*.p16 d1 d2)) (*.p16 d1 d3)))>
1553863108.338 * * * [progress]: localizing error
1553863108.586 * * * [progress]: generating rewritten candidates
1553863108.586 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
1553863108.601 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
1553863108.655 * * * [progress]: generating series expansions
1553863108.655 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
1553863108.655 * * * * [progress]: [ 2 / 2 ] generating series at (2)
1553863108.655 * * * [progress]: simplifying candidates
1553863108.655 * * * * [progress]: [ 1 / 15 ] simplifiying candidate #<alt (λ (d1 d2 d3) (+.p16 (*.p16 d1 (+.p16 (real->posit16 3) d2)) (*.p16 d1 d3)))>
1553863108.656 * [simplify]: Simplifying (+.p16 (real->posit16 3) d2)
1553863108.656 * * [simplify]: iters left: 2 (4 enodes)
1553863108.658 * * [simplify]: iters left: 1 (8 enodes)
1553863108.661 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863108.661 * * [simplify]: Extracting #1: cost 3 inf + 0
1553863108.661 * * [simplify]: Extracting #2: cost 3 inf + 1
1553863108.661 * * [simplify]: Extracting #3: cost 2 inf + 2
1553863108.661 * * [simplify]: Extracting #4: cost 0 inf + 45
1553863108.661 * [simplify]: Simplified to (+.p16 (real->posit16 3) d2)
1553863108.661 * [simplify]: Simplified (2 1 2) to (λ (d1 d2 d3) (+.p16 (*.p16 d1 (+.p16 (real->posit16 3) d2)) (*.p16 d1 d3)))
1553863108.661 * * * * [progress]: [ 2 / 15 ] simplifiying candidate #<alt (λ (d1 d2 d3) (+.p16 (*.p16 d1 (+.p16 (real->posit16 3) d2)) (*.p16 d1 d3)))>
1553863108.661 * [simplify]: Simplifying (+.p16 (real->posit16 3) d2)
1553863108.661 * * [simplify]: iters left: 2 (4 enodes)
1553863108.663 * * [simplify]: iters left: 1 (8 enodes)
1553863108.666 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863108.666 * * [simplify]: Extracting #1: cost 3 inf + 0
1553863108.666 * * [simplify]: Extracting #2: cost 3 inf + 1
1553863108.666 * * [simplify]: Extracting #3: cost 2 inf + 2
1553863108.666 * * [simplify]: Extracting #4: cost 0 inf + 45
1553863108.666 * [simplify]: Simplified to (+.p16 (real->posit16 3) d2)
1553863108.666 * [simplify]: Simplified (2 1 2) to (λ (d1 d2 d3) (+.p16 (*.p16 d1 (+.p16 (real->posit16 3) d2)) (*.p16 d1 d3)))
1553863108.666 * * * * [progress]: [ 3 / 15 ] simplifiying candidate #<alt (λ (d1 d2 d3) (+.p16 (*.p16 d1 (+.p16 (real->posit16 3) d2)) (*.p16 d1 d3)))>
1553863108.667 * [simplify]: Simplifying (+.p16 (real->posit16 3) d2)
1553863108.667 * * [simplify]: iters left: 2 (4 enodes)
1553863108.669 * * [simplify]: iters left: 1 (8 enodes)
1553863108.671 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863108.671 * * [simplify]: Extracting #1: cost 3 inf + 0
1553863108.671 * * [simplify]: Extracting #2: cost 3 inf + 1
1553863108.671 * * [simplify]: Extracting #3: cost 2 inf + 2
1553863108.671 * * [simplify]: Extracting #4: cost 0 inf + 45
1553863108.672 * [simplify]: Simplified to (+.p16 (real->posit16 3) d2)
1553863108.672 * [simplify]: Simplified (2 1 2) to (λ (d1 d2 d3) (+.p16 (*.p16 d1 (+.p16 (real->posit16 3) d2)) (*.p16 d1 d3)))
1553863108.672 * * * * [progress]: [ 4 / 15 ] simplifiying candidate #<alt (λ (d1 d2 d3) (+.p16 (+.p16 (*.p16 d1 d2) (*.p16 d1 (real->posit16 3))) (*.p16 d1 d3)))>
1553863108.672 * * * * [progress]: [ 5 / 15 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 d1 (+.p16 (+.p16 (real->posit16 3) d2) d3)))>
1553863108.672 * [simplify]: Simplifying (+.p16 (+.p16 (real->posit16 3) d2) d3)
1553863108.672 * * [simplify]: iters left: 3 (6 enodes)
1553863108.675 * * [simplify]: iters left: 2 (15 enodes)
1553863108.680 * * [simplify]: iters left: 1 (21 enodes)
1553863108.686 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863108.686 * * [simplify]: Extracting #1: cost 7 inf + 0
1553863108.686 * * [simplify]: Extracting #2: cost 5 inf + 44
1553863108.687 * * [simplify]: Extracting #3: cost 4 inf + 45
1553863108.687 * * [simplify]: Extracting #4: cost 0 inf + 213
1553863108.687 * [simplify]: Simplified to (+.p16 (+.p16 d3 (real->posit16 3)) d2)
1553863108.687 * [simplify]: Simplified (2 2) to (λ (d1 d2 d3) (*.p16 d1 (+.p16 (+.p16 d3 (real->posit16 3)) d2)))
1553863108.687 * * * * [progress]: [ 6 / 15 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 d1 (+.p16 (+.p16 (real->posit16 3) d2) d3)))>
1553863108.687 * [simplify]: Simplifying (+.p16 (+.p16 (real->posit16 3) d2) d3)
1553863108.687 * * [simplify]: iters left: 3 (6 enodes)
1553863108.690 * * [simplify]: iters left: 2 (15 enodes)
1553863108.695 * * [simplify]: iters left: 1 (21 enodes)
1553863108.701 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863108.701 * * [simplify]: Extracting #1: cost 7 inf + 0
1553863108.702 * * [simplify]: Extracting #2: cost 5 inf + 44
1553863108.702 * * [simplify]: Extracting #3: cost 4 inf + 45
1553863108.702 * * [simplify]: Extracting #4: cost 0 inf + 213
1553863108.702 * [simplify]: Simplified to (+.p16 (+.p16 d3 (real->posit16 3)) d2)
1553863108.702 * [simplify]: Simplified (2 2) to (λ (d1 d2 d3) (*.p16 d1 (+.p16 (+.p16 d3 (real->posit16 3)) d2)))
1553863108.702 * * * * [progress]: [ 7 / 15 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 d1 (+.p16 (+.p16 (real->posit16 3) d2) d3)))>
1553863108.702 * [simplify]: Simplifying (+.p16 (+.p16 (real->posit16 3) d2) d3)
1553863108.702 * * [simplify]: iters left: 3 (6 enodes)
1553863108.705 * * [simplify]: iters left: 2 (15 enodes)
1553863108.709 * * [simplify]: iters left: 1 (21 enodes)
1553863108.719 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863108.719 * * [simplify]: Extracting #1: cost 7 inf + 0
1553863108.719 * * [simplify]: Extracting #2: cost 5 inf + 44
1553863108.720 * * [simplify]: Extracting #3: cost 4 inf + 45
1553863108.720 * * [simplify]: Extracting #4: cost 0 inf + 213
1553863108.720 * [simplify]: Simplified to (+.p16 (+.p16 d3 (real->posit16 3)) d2)
1553863108.720 * [simplify]: Simplified (2 2) to (λ (d1 d2 d3) (*.p16 d1 (+.p16 (+.p16 d3 (real->posit16 3)) d2)))
1553863108.720 * * * * [progress]: [ 8 / 15 ] simplifiying candidate #<alt (λ (d1 d2 d3) (+.p16 (*.p16 d1 (real->posit16 3)) (+.p16 (*.p16 d1 d2) (*.p16 d1 d3))))>
1553863108.720 * [simplify]: Simplifying (*.p16 d1 (real->posit16 3))
1553863108.720 * * [simplify]: iters left: 2 (4 enodes)
1553863108.722 * * [simplify]: iters left: 1 (8 enodes)
1553863108.725 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863108.725 * * [simplify]: Extracting #1: cost 3 inf + 0
1553863108.725 * * [simplify]: Extracting #2: cost 3 inf + 1
1553863108.725 * * [simplify]: Extracting #3: cost 0 inf + 325
1553863108.725 * [simplify]: Simplified to (*.p16 d1 (real->posit16 3))
1553863108.725 * [simplify]: Simplified (2 1) to (λ (d1 d2 d3) (+.p16 (*.p16 d1 (real->posit16 3)) (+.p16 (*.p16 d1 d2) (*.p16 d1 d3))))
1553863108.725 * * * * [progress]: [ 9 / 15 ] simplifiying candidate #<alt (λ (d1 d2 d3) (+.p16 (*.p16 d1 d2) (+.p16 (*.p16 d1 (real->posit16 3)) (*.p16 d1 d3))))>
1553863108.725 * [simplify]: Simplifying (*.p16 d1 d2)
1553863108.726 * * [simplify]: iters left: 1 (3 enodes)
1553863108.727 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863108.727 * * [simplify]: Extracting #1: cost 3 inf + 0
1553863108.727 * * [simplify]: Extracting #2: cost 1 inf + 2
1553863108.727 * * [simplify]: Extracting #3: cost 0 inf + 324
1553863108.727 * [simplify]: Simplified to (*.p16 d2 d1)
1553863108.727 * [simplify]: Simplified (2 1) to (λ (d1 d2 d3) (+.p16 (*.p16 d2 d1) (+.p16 (*.p16 d1 (real->posit16 3)) (*.p16 d1 d3))))
1553863108.727 * * * * [progress]: [ 10 / 15 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 d1 (+.p16 (+.p16 (real->posit16 3) d2) d3)))>
1553863108.727 * [simplify]: Simplifying (+.p16 (+.p16 (real->posit16 3) d2) d3)
1553863108.727 * * [simplify]: iters left: 3 (6 enodes)
1553863108.730 * * [simplify]: iters left: 2 (15 enodes)
1553863108.735 * * [simplify]: iters left: 1 (21 enodes)
1553863108.741 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863108.741 * * [simplify]: Extracting #1: cost 7 inf + 0
1553863108.741 * * [simplify]: Extracting #2: cost 5 inf + 44
1553863108.741 * * [simplify]: Extracting #3: cost 4 inf + 45
1553863108.741 * * [simplify]: Extracting #4: cost 0 inf + 213
1553863108.742 * [simplify]: Simplified to (+.p16 (+.p16 d3 (real->posit16 3)) d2)
1553863108.742 * [simplify]: Simplified (2 2) to (λ (d1 d2 d3) (*.p16 d1 (+.p16 (+.p16 d3 (real->posit16 3)) d2)))
1553863108.742 * * * * [progress]: [ 11 / 15 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 d1 (+.p16 (+.p16 (real->posit16 3) d2) d3)))>
1553863108.742 * [simplify]: Simplifying (+.p16 (+.p16 (real->posit16 3) d2) d3)
1553863108.742 * * [simplify]: iters left: 3 (6 enodes)
1553863108.745 * * [simplify]: iters left: 2 (15 enodes)
1553863108.749 * * [simplify]: iters left: 1 (21 enodes)
1553863108.752 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863108.752 * * [simplify]: Extracting #1: cost 7 inf + 0
1553863108.753 * * [simplify]: Extracting #2: cost 5 inf + 44
1553863108.753 * * [simplify]: Extracting #3: cost 4 inf + 45
1553863108.753 * * [simplify]: Extracting #4: cost 0 inf + 213
1553863108.753 * [simplify]: Simplified to (+.p16 (+.p16 d3 (real->posit16 3)) d2)
1553863108.753 * [simplify]: Simplified (2 2) to (λ (d1 d2 d3) (*.p16 d1 (+.p16 (+.p16 d3 (real->posit16 3)) d2)))
1553863108.753 * * * * [progress]: [ 12 / 15 ] simplifiying candidate #<alt (λ (d1 d2 d3) (*.p16 d1 (+.p16 (+.p16 (real->posit16 3) d2) d3)))>
1553863108.753 * [simplify]: Simplifying (+.p16 (+.p16 (real->posit16 3) d2) d3)
1553863108.753 * * [simplify]: iters left: 3 (6 enodes)
1553863108.755 * * [simplify]: iters left: 2 (15 enodes)
1553863108.757 * * [simplify]: iters left: 1 (21 enodes)
1553863108.761 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863108.761 * * [simplify]: Extracting #1: cost 7 inf + 0
1553863108.761 * * [simplify]: Extracting #2: cost 5 inf + 44
1553863108.761 * * [simplify]: Extracting #3: cost 4 inf + 45
1553863108.761 * * [simplify]: Extracting #4: cost 0 inf + 213
1553863108.761 * [simplify]: Simplified to (+.p16 (+.p16 d3 (real->posit16 3)) d2)
1553863108.762 * [simplify]: Simplified (2 2) to (λ (d1 d2 d3) (*.p16 d1 (+.p16 (+.p16 d3 (real->posit16 3)) d2)))
1553863108.762 * * * * [progress]: [ 13 / 15 ] simplifiying candidate #<alt (λ (d1 d2 d3) (+.p16 (*.p16 d1 d3) (+.p16 (*.p16 d1 (real->posit16 3)) (*.p16 d1 d2))))>
1553863108.762 * * * * [progress]: [ 14 / 15 ] simplifiying candidate #<alt (λ (d1 d2 d3) (+.p16 (+.p16 (*.p16 d1 (real->posit16 3)) (*.p16 d1 d2)) (*.p16 d1 d3)))>
1553863108.762 * [simplify]: Simplifying (+.p16 (+.p16 (*.p16 d1 (real->posit16 3)) (*.p16 d1 d2)) (*.p16 d1 d3))
1553863108.762 * * [simplify]: iters left: 4 (10 enodes)
1553863108.764 * * [simplify]: iters left: 3 (26 enodes)
1553863108.769 * * [simplify]: iters left: 2 (41 enodes)
1553863108.777 * * [simplify]: iters left: 1 (57 enodes)
1553863108.788 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863108.788 * * [simplify]: Extracting #1: cost 9 inf + 0
1553863108.788 * * [simplify]: Extracting #2: cost 14 inf + 1
1553863108.788 * * [simplify]: Extracting #3: cost 11 inf + 367
1553863108.789 * * [simplify]: Extracting #4: cost 8 inf + 1053
1553863108.789 * * [simplify]: Extracting #5: cost 2 inf + 2267
1553863108.790 * * [simplify]: Extracting #6: cost 0 inf + 2673
1553863108.790 * [simplify]: Simplified to (*.p16 (+.p16 (real->posit16 3) (+.p16 d2 d3)) d1)
1553863108.790 * [simplify]: Simplified (2) to (λ (d1 d2 d3) (*.p16 (+.p16 (real->posit16 3) (+.p16 d2 d3)) d1))
1553863108.790 * * * * [progress]: [ 15 / 15 ] simplifiying candidate #<alt (λ (d1 d2 d3) (+.p16 (+.p16 (*.p16 d1 (real->posit16 3)) (*.p16 d1 d2)) (*.p16 d1 d3)))>
1553863108.791 * [simplify]: Simplifying (+.p16 (+.p16 (*.p16 d1 (real->posit16 3)) (*.p16 d1 d2)) (*.p16 d1 d3))
1553863108.791 * * [simplify]: iters left: 4 (10 enodes)
1553863108.796 * * [simplify]: iters left: 3 (26 enodes)
1553863108.805 * * [simplify]: iters left: 2 (41 enodes)
1553863108.819 * * [simplify]: iters left: 1 (57 enodes)
1553863108.839 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863108.839 * * [simplify]: Extracting #1: cost 9 inf + 0
1553863108.840 * * [simplify]: Extracting #2: cost 14 inf + 1
1553863108.840 * * [simplify]: Extracting #3: cost 11 inf + 367
1553863108.840 * * [simplify]: Extracting #4: cost 8 inf + 1053
1553863108.840 * * [simplify]: Extracting #5: cost 2 inf + 2267
1553863108.841 * * [simplify]: Extracting #6: cost 0 inf + 2673
1553863108.842 * [simplify]: Simplified to (*.p16 (+.p16 (real->posit16 3) (+.p16 d2 d3)) d1)
1553863108.842 * [simplify]: Simplified (2) to (λ (d1 d2 d3) (*.p16 (+.p16 (real->posit16 3) (+.p16 d2 d3)) d1))
1553863108.842 * * * [progress]: adding candidates to table
1553863109.797 * [progress]: [Phase 3 of 3] Extracting.
1553863109.797 * * [regime]: Finding splitpoints for: (#<alt (λ (d1 d2 d3) (+.p16 (+.p16 (*.p16 d1 (real->posit16 3)) (*.p16 d1 d2)) (*.p16 d1 d3)))> #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 3) d2) d3) d1))> #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (real->posit16 3) (+.p16 d2 d3)) d1))> #<alt (λ (d1 d2 d3) (+.p16 (*.p16 d1 (real->posit16 3)) (+.p16 (*.p16 d1 d2) (*.p16 d1 d3))))> #<alt (λ (d1 d2 d3) (*.p16 (+.p16 d2 (+.p16 (real->posit16 3) d3)) d1))> #<alt (λ (d1 d2 d3) (+.p16 (*.p16 d1 (+.p16 (real->posit16 3) d2)) (*.p16 d1 d3)))>)
1553863109.798 * * * [regime-changes]: Trying 3 branch expressions: (d3 d2 d1)
1553863109.798 * * * * [regimes]: Trying to branch on d3 from (#<alt (λ (d1 d2 d3) (+.p16 (+.p16 (*.p16 d1 (real->posit16 3)) (*.p16 d1 d2)) (*.p16 d1 d3)))> #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 3) d2) d3) d1))> #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (real->posit16 3) (+.p16 d2 d3)) d1))> #<alt (λ (d1 d2 d3) (+.p16 (*.p16 d1 (real->posit16 3)) (+.p16 (*.p16 d1 d2) (*.p16 d1 d3))))> #<alt (λ (d1 d2 d3) (*.p16 (+.p16 d2 (+.p16 (real->posit16 3) d3)) d1))> #<alt (λ (d1 d2 d3) (+.p16 (*.p16 d1 (+.p16 (real->posit16 3) d2)) (*.p16 d1 d3)))>)
1553863110.179 * * * * [regimes]: Trying to branch on d2 from (#<alt (λ (d1 d2 d3) (+.p16 (+.p16 (*.p16 d1 (real->posit16 3)) (*.p16 d1 d2)) (*.p16 d1 d3)))> #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 3) d2) d3) d1))> #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (real->posit16 3) (+.p16 d2 d3)) d1))> #<alt (λ (d1 d2 d3) (+.p16 (*.p16 d1 (real->posit16 3)) (+.p16 (*.p16 d1 d2) (*.p16 d1 d3))))> #<alt (λ (d1 d2 d3) (*.p16 (+.p16 d2 (+.p16 (real->posit16 3) d3)) d1))> #<alt (λ (d1 d2 d3) (+.p16 (*.p16 d1 (+.p16 (real->posit16 3) d2)) (*.p16 d1 d3)))>)
1553863110.525 * * * * [regimes]: Trying to branch on d1 from (#<alt (λ (d1 d2 d3) (+.p16 (+.p16 (*.p16 d1 (real->posit16 3)) (*.p16 d1 d2)) (*.p16 d1 d3)))> #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 3) d2) d3) d1))> #<alt (λ (d1 d2 d3) (*.p16 (+.p16 (real->posit16 3) (+.p16 d2 d3)) d1))> #<alt (λ (d1 d2 d3) (+.p16 (*.p16 d1 (real->posit16 3)) (+.p16 (*.p16 d1 d2) (*.p16 d1 d3))))> #<alt (λ (d1 d2 d3) (*.p16 (+.p16 d2 (+.p16 (real->posit16 3) d3)) d1))> #<alt (λ (d1 d2 d3) (+.p16 (*.p16 d1 (+.p16 (real->posit16 3) d2)) (*.p16 d1 d3)))>)
1553863110.806 * * * [regime]: Found split indices: #<option (#s(si 1 256))>
1553863110.806 * [simplify]: Simplifying (*.p16 (+.p16 (+.p16 (real->posit16 3) d2) d3) d1)
1553863110.806 * * [simplify]: iters left: 4 (8 enodes)
1553863110.807 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863110.807 * * [simplify]: Extracting #1: cost 3 inf + 0
1553863110.807 * * [simplify]: Extracting #2: cost 4 inf + 1
1553863110.807 * * [simplify]: Extracting #3: cost 5 inf + 2
1553863110.807 * * [simplify]: Extracting #4: cost 5 inf + 3
1553863110.807 * * [simplify]: Extracting #5: cost 4 inf + 4
1553863110.807 * * [simplify]: Extracting #6: cost 0 inf + 534
1553863110.807 * [simplify]: Simplified to (*.p16 (+.p16 (+.p16 (real->posit16 3) d2) d3) d1)
1553863110.807 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1553863110.847 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
1553863110.849 * * * * [points]: Setting MPFR precision to 64
1553863110.850 * * * * [points]: Setting MPFR precision to 320
1553863110.851 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
1553863110.852 * * * * [points]: Setting MPFR precision to 64
1553863110.854 * * * * [points]: Setting MPFR precision to 320
1553863110.857 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
1553863110.858 * * * * [points]: Setting MPFR precision to 64
1553863110.862 * * * * [points]: Setting MPFR precision to 320
1553863110.867 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
1553863110.869 * * * * [points]: Setting MPFR precision to 64
1553863110.876 * * * * [points]: Setting MPFR precision to 320
1553863110.887 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
1553863110.889 * * * * [points]: Setting MPFR precision to 64
1553863110.903 * * * * [points]: Setting MPFR precision to 320
1553863110.922 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
1553863110.923 * * * * [points]: Setting MPFR precision to 64
1553863110.951 * * * * [points]: Setting MPFR precision to 320
1553863111.011 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
1553863111.012 * * * * [points]: Setting MPFR precision to 64
1553863111.070 * * * * [points]: Setting MPFR precision to 320
1553863111.171 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
1553863111.172 * * * * [points]: Setting MPFR precision to 64
1553863111.314 * * * * [points]: Setting MPFR precision to 320
1553863111.498 * * * * [points]: Computing exacts for 8000 points
1553863111.500 * * * * [points]: Setting MPFR precision to 64
1553863112.069 * * * * [points]: Setting MPFR precision to 320
1553863113.192 * * * * [points]: Filtering points with unrepresentable outputs
1553863114.086 * * * * [points]: Sampled 8000 points with exact outputs
1553863118.076 * [regime-testing]: Baseline error score: 64.0
1553863118.087 * [regime-testing]: Oracle error score: 64.0
1553863118.095 * [regime-testing]: End program error score: 0.3145117424297526