1553942198.600 * [progress]: [Phase 1 of 3] Setting up. 1553942198.601 * * * [progress]: [1/2] Preparing points 1553942198.602 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256 1553942198.603 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 1553942198.673 * * * * [points]: Setting MPFR precision to 64 1553942198.676 * * * * [points]: Setting MPFR precision to 320 1553942198.678 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 1553942198.680 * * * * [points]: Setting MPFR precision to 64 1553942198.683 * * * * [points]: Setting MPFR precision to 320 1553942198.686 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 1553942198.688 * * * * [points]: Setting MPFR precision to 64 1553942198.692 * * * * [points]: Setting MPFR precision to 320 1553942198.697 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 1553942198.699 * * * * [points]: Setting MPFR precision to 64 1553942198.713 * * * * [points]: Setting MPFR precision to 320 1553942198.729 * * * * [points]: Computing exacts for 256 points 1553942198.732 * * * * [points]: Setting MPFR precision to 64 1553942198.759 * * * * [points]: Setting MPFR precision to 320 1553942198.799 * * * * [points]: Filtering points with unrepresentable outputs 1553942198.800 * * * * [points]: Sampling 137 additional inputs, on iter 1 have 119 / 256 1553942198.801 * * * * [points]: Computing exacts on every 8 of 137 points to ramp up precision 1553942198.804 * * * * [points]: Setting MPFR precision to 64 1553942198.806 * * * * [points]: Setting MPFR precision to 320 1553942198.809 * * * * [points]: Computing exacts on every 4 of 137 points to ramp up precision 1553942198.812 * * * * [points]: Setting MPFR precision to 64 1553942198.816 * * * * [points]: Setting MPFR precision to 320 1553942198.822 * * * * [points]: Computing exacts on every 2 of 137 points to ramp up precision 1553942198.825 * * * * [points]: Setting MPFR precision to 64 1553942198.887 * * * * [points]: Setting MPFR precision to 320 1553942198.900 * * * * [points]: Computing exacts for 137 points 1553942198.902 * * * * [points]: Setting MPFR precision to 64 1553942198.917 * * * * [points]: Setting MPFR precision to 320 1553942198.931 * * * * [points]: Filtering points with unrepresentable outputs 1553942198.931 * * * * [points]: Sampling 70 additional inputs, on iter 2 have 186 / 256 1553942198.931 * * * * [points]: Computing exacts on every 4 of 70 points to ramp up precision 1553942198.933 * * * * [points]: Setting MPFR precision to 64 1553942198.934 * * * * [points]: Setting MPFR precision to 320 1553942198.935 * * * * [points]: Computing exacts on every 2 of 70 points to ramp up precision 1553942198.938 * * * * [points]: Setting MPFR precision to 64 1553942198.942 * * * * [points]: Setting MPFR precision to 320 1553942198.947 * * * * [points]: Computing exacts for 70 points 1553942198.950 * * * * [points]: Setting MPFR precision to 64 1553942198.961 * * * * [points]: Setting MPFR precision to 320 1553942198.976 * * * * [points]: Filtering points with unrepresentable outputs 1553942198.976 * * * * [points]: Sampling 32 additional inputs, on iter 3 have 224 / 256 1553942198.976 * * * * [points]: Computing exacts on every 2 of 32 points to ramp up precision 1553942198.979 * * * * [points]: Setting MPFR precision to 64 1553942198.981 * * * * [points]: Setting MPFR precision to 320 1553942198.983 * * * * [points]: Computing exacts for 32 points 1553942198.985 * * * * [points]: Setting MPFR precision to 64 1553942198.991 * * * * [points]: Setting MPFR precision to 320 1553942198.997 * * * * [points]: Filtering points with unrepresentable outputs 1553942198.997 * * * * [points]: Sampling 13 additional inputs, on iter 4 have 243 / 256 1553942198.997 * * * * [points]: Computing exacts for 13 points 1553942199.000 * * * * [points]: Setting MPFR precision to 64 1553942199.002 * * * * [points]: Setting MPFR precision to 320 1553942199.005 * * * * [points]: Filtering points with unrepresentable outputs 1553942199.005 * * * * [points]: Sampling 6 additional inputs, on iter 5 have 250 / 256 1553942199.005 * * * * [points]: Computing exacts for 6 points 1553942199.008 * * * * [points]: Setting MPFR precision to 64 1553942199.009 * * * * [points]: Setting MPFR precision to 320 1553942199.011 * * * * [points]: Filtering points with unrepresentable outputs 1553942199.011 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 254 / 256 1553942199.011 * * * * [points]: Computing exacts for 4 points 1553942199.014 * * * * [points]: Setting MPFR precision to 64 1553942199.015 * * * * [points]: Setting MPFR precision to 320 1553942199.016 * * * * [points]: Filtering points with unrepresentable outputs 1553942199.016 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 255 / 256 1553942199.016 * * * * [points]: Computing exacts for 4 points 1553942199.019 * * * * [points]: Setting MPFR precision to 64 1553942199.020 * * * * [points]: Setting MPFR precision to 320 1553942199.021 * * * * [points]: Filtering points with unrepresentable outputs 1553942199.021 * * * * [points]: Sampled 256 points with exact outputs 1553942199.021 * * * [progress]: [2/2] Setting up program. 1553942199.028 * [progress]: [Phase 2 of 3] Improving. 1553942199.029 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 1553942199.030 * [simplify]: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1553942199.032 * * [simplify]: iters left: 6 (12 enodes) 1553942199.049 * * [simplify]: iters left: 5 (26 enodes) 1553942199.476 * * [simplify]: iters left: 4 (30 enodes) 1553942199.481 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942199.481 * * [simplify]: Extracting #1: cost 3 inf + 0 1553942199.482 * * [simplify]: Extracting #2: cost 5 inf + 0 1553942199.482 * * [simplify]: Extracting #3: cost 9 inf + 0 1553942199.482 * * [simplify]: Extracting #4: cost 8 inf + 4 1553942199.482 * * [simplify]: Extracting #5: cost 12 inf + 4 1553942199.482 * * [simplify]: Extracting #6: cost 11 inf + 47 1553942199.482 * * [simplify]: Extracting #7: cost 4 inf + 478 1553942199.482 * * [simplify]: Extracting #8: cost 1 inf + 2268 1553942199.483 * * [simplify]: Extracting #9: cost 0 inf + 3012 1553942199.483 * [simplify]: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1553942199.483 * [simplify]: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1553942199.493 * * [progress]: iteration 1 / 4 1553942199.493 * * * [progress]: picking best candidate 1553942199.498 * * * * [pick]: Picked # 1553942199.498 * * * [progress]: localizing error 1553942199.609 * * * [progress]: generating rewritten candidates 1553942199.609 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 1553942199.612 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2) 1553942199.612 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 1553942199.613 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 1553942199.631 * * * [progress]: generating series expansions 1553942199.631 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 1553942199.631 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2) 1553942199.631 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 1553942199.631 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 1553942199.631 * * * [progress]: simplifying candidates 1553942199.631 * * * * [progress]: [ 1 / 6 ] simplifiying candidate # 1553942199.632 * * * * [progress]: [ 2 / 6 ] simplifiying candidate # 1553942199.632 * * * * [progress]: [ 3 / 6 ] simplifiying candidate # 1553942199.632 * [simplify]: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1553942199.632 * * [simplify]: iters left: 6 (12 enodes) 1553942199.635 * * [simplify]: iters left: 5 (26 enodes) 1553942199.639 * * [simplify]: iters left: 4 (30 enodes) 1553942199.645 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942199.645 * * [simplify]: Extracting #1: cost 3 inf + 0 1553942199.645 * * [simplify]: Extracting #2: cost 5 inf + 0 1553942199.645 * * [simplify]: Extracting #3: cost 9 inf + 0 1553942199.645 * * [simplify]: Extracting #4: cost 8 inf + 4 1553942199.645 * * [simplify]: Extracting #5: cost 12 inf + 4 1553942199.645 * * [simplify]: Extracting #6: cost 11 inf + 47 1553942199.645 * * [simplify]: Extracting #7: cost 4 inf + 478 1553942199.645 * * [simplify]: Extracting #8: cost 1 inf + 2268 1553942199.645 * * [simplify]: Extracting #9: cost 0 inf + 3012 1553942199.646 * [simplify]: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1553942199.646 * [simplify]: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1553942199.646 * * * * [progress]: [ 4 / 6 ] simplifiying candidate # 1553942199.646 * [simplify]: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1553942199.646 * * [simplify]: iters left: 6 (12 enodes) 1553942199.649 * * [simplify]: iters left: 5 (26 enodes) 1553942199.654 * * [simplify]: iters left: 4 (30 enodes) 1553942199.659 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942199.659 * * [simplify]: Extracting #1: cost 3 inf + 0 1553942199.659 * * [simplify]: Extracting #2: cost 5 inf + 0 1553942199.659 * * [simplify]: Extracting #3: cost 9 inf + 0 1553942199.659 * * [simplify]: Extracting #4: cost 8 inf + 4 1553942199.659 * * [simplify]: Extracting #5: cost 12 inf + 4 1553942199.659 * * [simplify]: Extracting #6: cost 11 inf + 47 1553942199.659 * * [simplify]: Extracting #7: cost 4 inf + 478 1553942199.660 * * [simplify]: Extracting #8: cost 1 inf + 2268 1553942199.660 * * [simplify]: Extracting #9: cost 0 inf + 3012 1553942199.660 * [simplify]: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1553942199.660 * [simplify]: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1553942199.660 * * * * [progress]: [ 5 / 6 ] simplifiying candidate # 1553942199.660 * [simplify]: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1553942199.661 * * [simplify]: iters left: 6 (12 enodes) 1553942199.663 * * [simplify]: iters left: 5 (26 enodes) 1553942199.668 * * [simplify]: iters left: 4 (30 enodes) 1553942199.672 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942199.672 * * [simplify]: Extracting #1: cost 3 inf + 0 1553942199.672 * * [simplify]: Extracting #2: cost 5 inf + 0 1553942199.672 * * [simplify]: Extracting #3: cost 9 inf + 0 1553942199.672 * * [simplify]: Extracting #4: cost 8 inf + 4 1553942199.672 * * [simplify]: Extracting #5: cost 12 inf + 4 1553942199.672 * * [simplify]: Extracting #6: cost 11 inf + 47 1553942199.672 * * [simplify]: Extracting #7: cost 4 inf + 478 1553942199.673 * * [simplify]: Extracting #8: cost 1 inf + 2268 1553942199.673 * * [simplify]: Extracting #9: cost 0 inf + 3012 1553942199.673 * [simplify]: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1553942199.673 * [simplify]: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1553942199.673 * * * * [progress]: [ 6 / 6 ] simplifiying candidate # 1553942199.673 * [simplify]: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1553942199.674 * * [simplify]: iters left: 6 (12 enodes) 1553942199.676 * * [simplify]: iters left: 5 (26 enodes) 1553942199.681 * * [simplify]: iters left: 4 (30 enodes) 1553942199.685 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942199.685 * * [simplify]: Extracting #1: cost 3 inf + 0 1553942199.685 * * [simplify]: Extracting #2: cost 5 inf + 0 1553942199.685 * * [simplify]: Extracting #3: cost 9 inf + 0 1553942199.685 * * [simplify]: Extracting #4: cost 8 inf + 4 1553942199.685 * * [simplify]: Extracting #5: cost 12 inf + 4 1553942199.685 * * [simplify]: Extracting #6: cost 11 inf + 47 1553942199.685 * * [simplify]: Extracting #7: cost 4 inf + 478 1553942199.686 * * [simplify]: Extracting #8: cost 1 inf + 2268 1553942199.686 * * [simplify]: Extracting #9: cost 0 inf + 3012 1553942199.686 * [simplify]: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1553942199.686 * [simplify]: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1553942199.686 * * * [progress]: adding candidates to table 1553942199.729 * [progress]: [Phase 3 of 3] Extracting. 1553942199.735 * [simplify]: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1553942199.735 * * [simplify]: iters left: 6 (12 enodes) 1553942199.736 * * [simplify]: iters left: 5 (13 enodes) 1553942199.738 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942199.738 * * [simplify]: Extracting #1: cost 2 inf + 0 1553942199.738 * * [simplify]: Extracting #2: cost 4 inf + 0 1553942199.738 * * [simplify]: Extracting #3: cost 8 inf + 0 1553942199.738 * * [simplify]: Extracting #4: cost 7 inf + 4 1553942199.738 * * [simplify]: Extracting #5: cost 9 inf + 4 1553942199.738 * * [simplify]: Extracting #6: cost 7 inf + 6 1553942199.738 * * [simplify]: Extracting #7: cost 0 inf + 2104 1553942199.738 * [simplify]: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1553942199.739 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1553942199.811 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision 1553942199.819 * * * * [points]: Setting MPFR precision to 64 1553942199.822 * * * * [points]: Setting MPFR precision to 320 1553942199.825 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision 1553942199.828 * * * * [points]: Setting MPFR precision to 64 1553942199.833 * * * * [points]: Setting MPFR precision to 320 1553942199.839 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision 1553942199.842 * * * * [points]: Setting MPFR precision to 64 1553942199.853 * * * * [points]: Setting MPFR precision to 320 1553942199.866 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision 1553942199.869 * * * * [points]: Setting MPFR precision to 64 1553942199.888 * * * * [points]: Setting MPFR precision to 320 1553942199.900 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision 1553942199.902 * * * * [points]: Setting MPFR precision to 64 1553942199.935 * * * * [points]: Setting MPFR precision to 320 1553942199.962 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision 1553942199.964 * * * * [points]: Setting MPFR precision to 64 1553942200.107 * * * * [points]: Setting MPFR precision to 320 1553942200.166 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision 1553942200.168 * * * * [points]: Setting MPFR precision to 64 1553942200.339 * * * * [points]: Setting MPFR precision to 320 1553942200.549 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision 1553942200.551 * * * * [points]: Setting MPFR precision to 64 1553942200.887 * * * * [points]: Setting MPFR precision to 320 1553942201.269 * * * * [points]: Computing exacts for 8000 points 1553942201.270 * * * * [points]: Setting MPFR precision to 64 1553942202.994 * * * * [points]: Setting MPFR precision to 320 1553942204.946 * * * * [points]: Setting MPFR precision to 576 1553942206.738 * * * * [points]: Filtering points with unrepresentable outputs 1553942206.740 * * * * [points]: Sampling 3979 additional inputs, on iter 1 have 4021 / 8000 1553942206.799 * * * * [points]: Computing exacts on every 248 of 3979 points to ramp up precision 1553942206.801 * * * * [points]: Setting MPFR precision to 320 1553942206.803 * * * * [points]: Setting MPFR precision to 576 1553942206.805 * * * * [points]: Computing exacts on every 124 of 3979 points to ramp up precision 1553942206.807 * * * * [points]: Setting MPFR precision to 320 1553942206.810 * * * * [points]: Setting MPFR precision to 576 1553942206.813 * * * * [points]: Computing exacts on every 62 of 3979 points to ramp up precision 1553942206.815 * * * * [points]: Setting MPFR precision to 320 1553942206.822 * * * * [points]: Setting MPFR precision to 576 1553942206.830 * * * * [points]: Computing exacts on every 31 of 3979 points to ramp up precision 1553942206.832 * * * * [points]: Setting MPFR precision to 320 1553942206.844 * * * * [points]: Setting MPFR precision to 576 1553942206.858 * * * * [points]: Computing exacts on every 15 of 3979 points to ramp up precision 1553942206.859 * * * * [points]: Setting MPFR precision to 320 1553942207.247 * * * * [points]: Setting MPFR precision to 576 1553942207.302 * * * * [points]: Computing exacts on every 7 of 3979 points to ramp up precision 1553942207.305 * * * * [points]: Setting MPFR precision to 320 1553942207.400 * * * * [points]: Setting MPFR precision to 576 1553942207.555 * * * * [points]: Computing exacts on every 3 of 3979 points to ramp up precision 1553942207.558 * * * * [points]: Setting MPFR precision to 320 1553942207.754 * * * * [points]: Setting MPFR precision to 576 1553942207.931 * * * * [points]: Computing exacts for 3979 points 1553942207.933 * * * * [points]: Setting MPFR precision to 320 1553942208.790 * * * * [points]: Setting MPFR precision to 576 1553942210.115 * * * * [points]: Filtering points with unrepresentable outputs 1553942210.116 * * * * [points]: Sampling 1964 additional inputs, on iter 2 have 6036 / 8000 1553942210.174 * * * * [points]: Computing exacts on every 122 of 1964 points to ramp up precision 1553942210.177 * * * * [points]: Setting MPFR precision to 320 1553942210.181 * * * * [points]: Setting MPFR precision to 576 1553942210.184 * * * * [points]: Computing exacts on every 61 of 1964 points to ramp up precision 1553942210.187 * * * * [points]: Setting MPFR precision to 320 1553942210.193 * * * * [points]: Setting MPFR precision to 576 1553942210.201 * * * * [points]: Computing exacts on every 30 of 1964 points to ramp up precision 1553942210.204 * * * * [points]: Setting MPFR precision to 320 1553942210.218 * * * * [points]: Setting MPFR precision to 576 1553942210.234 * * * * [points]: Computing exacts on every 15 of 1964 points to ramp up precision 1553942210.237 * * * * [points]: Setting MPFR precision to 320 1553942210.253 * * * * [points]: Setting MPFR precision to 576 1553942210.268 * * * * [points]: Computing exacts on every 7 of 1964 points to ramp up precision 1553942210.270 * * * * [points]: Setting MPFR precision to 320 1553942210.312 * * * * [points]: Setting MPFR precision to 576 1553942210.413 * * * * [points]: Computing exacts on every 3 of 1964 points to ramp up precision 1553942210.417 * * * * [points]: Setting MPFR precision to 320 1553942210.501 * * * * [points]: Setting MPFR precision to 576 1553942210.593 * * * * [points]: Computing exacts for 1964 points 1553942210.636 * * * * [points]: Setting MPFR precision to 320 1553942211.042 * * * * [points]: Setting MPFR precision to 576 1553942211.570 * * * * [points]: Filtering points with unrepresentable outputs 1553942211.571 * * * * [points]: Sampling 984 additional inputs, on iter 3 have 7016 / 8000 1553942211.581 * * * * [points]: Computing exacts on every 61 of 984 points to ramp up precision 1553942211.584 * * * * [points]: Setting MPFR precision to 320 1553942211.587 * * * * [points]: Setting MPFR precision to 576 1553942211.590 * * * * [points]: Computing exacts on every 30 of 984 points to ramp up precision 1553942211.593 * * * * [points]: Setting MPFR precision to 320 1553942211.599 * * * * [points]: Setting MPFR precision to 576 1553942211.606 * * * * [points]: Computing exacts on every 15 of 984 points to ramp up precision 1553942211.610 * * * * [points]: Setting MPFR precision to 320 1553942211.621 * * * * [points]: Setting MPFR precision to 576 1553942211.634 * * * * [points]: Computing exacts on every 7 of 984 points to ramp up precision 1553942211.635 * * * * [points]: Setting MPFR precision to 320 1553942211.646 * * * * [points]: Setting MPFR precision to 576 1553942211.703 * * * * [points]: Computing exacts on every 3 of 984 points to ramp up precision 1553942211.707 * * * * [points]: Setting MPFR precision to 320 1553942211.752 * * * * [points]: Setting MPFR precision to 576 1553942211.783 * * * * [points]: Computing exacts for 984 points 1553942211.785 * * * * [points]: Setting MPFR precision to 320 1553942211.960 * * * * [points]: Setting MPFR precision to 576 1553942212.197 * * * * [points]: Filtering points with unrepresentable outputs 1553942212.197 * * * * [points]: Sampling 502 additional inputs, on iter 4 have 7498 / 8000 1553942212.199 * * * * [points]: Computing exacts on every 31 of 502 points to ramp up precision 1553942212.201 * * * * [points]: Setting MPFR precision to 320 1553942212.203 * * * * [points]: Setting MPFR precision to 576 1553942212.204 * * * * [points]: Computing exacts on every 15 of 502 points to ramp up precision 1553942212.206 * * * * [points]: Setting MPFR precision to 320 1553942212.209 * * * * [points]: Setting MPFR precision to 576 1553942212.213 * * * * [points]: Computing exacts on every 7 of 502 points to ramp up precision 1553942212.214 * * * * [points]: Setting MPFR precision to 320 1553942212.220 * * * * [points]: Setting MPFR precision to 576 1553942212.230 * * * * [points]: Computing exacts on every 3 of 502 points to ramp up precision 1553942212.233 * * * * [points]: Setting MPFR precision to 320 1553942212.257 * * * * [points]: Setting MPFR precision to 576 1553942212.280 * * * * [points]: Computing exacts for 502 points 1553942212.282 * * * * [points]: Setting MPFR precision to 320 1553942212.743 * * * * [points]: Setting MPFR precision to 576 1553942212.830 * * * * [points]: Filtering points with unrepresentable outputs 1553942212.830 * * * * [points]: Sampling 251 additional inputs, on iter 5 have 7749 / 8000 1553942212.831 * * * * [points]: Computing exacts on every 15 of 251 points to ramp up precision 1553942212.833 * * * * [points]: Setting MPFR precision to 320 1553942212.834 * * * * [points]: Setting MPFR precision to 576 1553942212.836 * * * * [points]: Computing exacts on every 7 of 251 points to ramp up precision 1553942212.838 * * * * [points]: Setting MPFR precision to 320 1553942212.843 * * * * [points]: Setting MPFR precision to 576 1553942212.850 * * * * [points]: Computing exacts on every 3 of 251 points to ramp up precision 1553942212.853 * * * * [points]: Setting MPFR precision to 320 1553942212.866 * * * * [points]: Setting MPFR precision to 576 1553942212.881 * * * * [points]: Computing exacts for 251 points 1553942212.884 * * * * [points]: Setting MPFR precision to 320 1553942212.979 * * * * [points]: Setting MPFR precision to 576 1553942213.009 * * * * [points]: Filtering points with unrepresentable outputs 1553942213.009 * * * * [points]: Sampling 135 additional inputs, on iter 6 have 7865 / 8000 1553942213.010 * * * * [points]: Computing exacts on every 8 of 135 points to ramp up precision 1553942213.011 * * * * [points]: Setting MPFR precision to 320 1553942213.013 * * * * [points]: Setting MPFR precision to 576 1553942213.015 * * * * [points]: Computing exacts on every 4 of 135 points to ramp up precision 1553942213.016 * * * * [points]: Setting MPFR precision to 320 1553942213.019 * * * * [points]: Setting MPFR precision to 576 1553942213.022 * * * * [points]: Computing exacts on every 2 of 135 points to ramp up precision 1553942213.024 * * * * [points]: Setting MPFR precision to 320 1553942213.028 * * * * [points]: Setting MPFR precision to 576 1553942213.035 * * * * [points]: Computing exacts for 135 points 1553942213.039 * * * * [points]: Setting MPFR precision to 320 1553942213.067 * * * * [points]: Setting MPFR precision to 576 1553942213.098 * * * * [points]: Filtering points with unrepresentable outputs 1553942213.098 * * * * [points]: Sampling 71 additional inputs, on iter 7 have 7929 / 8000 1553942213.098 * * * * [points]: Computing exacts on every 4 of 71 points to ramp up precision 1553942213.102 * * * * [points]: Setting MPFR precision to 320 1553942213.105 * * * * [points]: Setting MPFR precision to 576 1553942213.108 * * * * [points]: Computing exacts on every 2 of 71 points to ramp up precision 1553942213.111 * * * * [points]: Setting MPFR precision to 320 1553942213.116 * * * * [points]: Setting MPFR precision to 576 1553942213.183 * * * * [points]: Computing exacts for 71 points 1553942213.186 * * * * [points]: Setting MPFR precision to 320 1553942213.205 * * * * [points]: Setting MPFR precision to 576 1553942213.222 * * * * [points]: Filtering points with unrepresentable outputs 1553942213.223 * * * * [points]: Sampling 33 additional inputs, on iter 8 have 7967 / 8000 1553942213.223 * * * * [points]: Computing exacts on every 2 of 33 points to ramp up precision 1553942213.226 * * * * [points]: Setting MPFR precision to 320 1553942213.228 * * * * [points]: Setting MPFR precision to 576 1553942213.230 * * * * [points]: Computing exacts for 33 points 1553942213.234 * * * * [points]: Setting MPFR precision to 320 1553942213.240 * * * * [points]: Setting MPFR precision to 576 1553942213.248 * * * * [points]: Filtering points with unrepresentable outputs 1553942213.248 * * * * [points]: Sampling 23 additional inputs, on iter 9 have 7977 / 8000 1553942213.249 * * * * [points]: Computing exacts for 23 points 1553942213.252 * * * * [points]: Setting MPFR precision to 320 1553942213.256 * * * * [points]: Setting MPFR precision to 576 1553942213.261 * * * * [points]: Filtering points with unrepresentable outputs 1553942213.261 * * * * [points]: Sampling 13 additional inputs, on iter 10 have 7987 / 8000 1553942213.261 * * * * [points]: Computing exacts for 13 points 1553942213.264 * * * * [points]: Setting MPFR precision to 320 1553942213.266 * * * * [points]: Setting MPFR precision to 576 1553942213.269 * * * * [points]: Filtering points with unrepresentable outputs 1553942213.269 * * * * [points]: Sampling 7 additional inputs, on iter 11 have 7993 / 8000 1553942213.269 * * * * [points]: Computing exacts for 7 points 1553942213.272 * * * * [points]: Setting MPFR precision to 320 1553942213.273 * * * * [points]: Setting MPFR precision to 576 1553942213.275 * * * * [points]: Filtering points with unrepresentable outputs 1553942213.276 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7997 / 8000 1553942213.276 * * * * [points]: Computing exacts for 4 points 1553942213.279 * * * * [points]: Setting MPFR precision to 320 1553942213.280 * * * * [points]: Setting MPFR precision to 576 1553942213.281 * * * * [points]: Filtering points with unrepresentable outputs 1553942213.281 * * * * [points]: Sampling 4 additional inputs, on iter 13 have 7999 / 8000 1553942213.281 * * * * [points]: Computing exacts for 4 points 1553942213.284 * * * * [points]: Setting MPFR precision to 320 1553942213.285 * * * * [points]: Setting MPFR precision to 576 1553942213.286 * * * * [points]: Filtering points with unrepresentable outputs 1553942213.286 * * * * [points]: Sampled 8001 points with exact outputs 1553942213.510 * [regime-testing]: Baseline error score: 0.0125 1553942213.511 * [regime-testing]: Oracle error score: 0.0125 1553942213.512 * [regime-testing]: End program error score: 0.0125