1553946331.724 * [progress]: [Phase 1 of 3] Setting up. 1553946331.725 * * * [progress]: [1/2] Preparing points 1553946331.726 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256 1553946331.729 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 1553946331.762 * * * * [points]: Setting MPFR precision to 64 1553946331.767 * * * * [points]: Setting MPFR precision to 320 1553946331.811 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 1553946331.813 * * * * [points]: Setting MPFR precision to 64 1553946331.817 * * * * [points]: Setting MPFR precision to 320 1553946331.820 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 1553946331.822 * * * * [points]: Setting MPFR precision to 64 1553946331.826 * * * * [points]: Setting MPFR precision to 320 1553946331.831 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 1553946331.833 * * * * [points]: Setting MPFR precision to 64 1553946331.840 * * * * [points]: Setting MPFR precision to 320 1553946331.855 * * * * [points]: Computing exacts for 256 points 1553946331.858 * * * * [points]: Setting MPFR precision to 64 1553946331.899 * * * * [points]: Setting MPFR precision to 320 1553946331.941 * * * * [points]: Filtering points with unrepresentable outputs 1553946331.942 * * * * [points]: Sampling 137 additional inputs, on iter 1 have 119 / 256 1553946331.943 * * * * [points]: Computing exacts on every 8 of 137 points to ramp up precision 1553946331.946 * * * * [points]: Setting MPFR precision to 64 1553946331.948 * * * * [points]: Setting MPFR precision to 320 1553946331.951 * * * * [points]: Computing exacts on every 4 of 137 points to ramp up precision 1553946331.954 * * * * [points]: Setting MPFR precision to 64 1553946331.958 * * * * [points]: Setting MPFR precision to 320 1553946331.962 * * * * [points]: Computing exacts on every 2 of 137 points to ramp up precision 1553946331.964 * * * * [points]: Setting MPFR precision to 64 1553946331.971 * * * * [points]: Setting MPFR precision to 320 1553946331.978 * * * * [points]: Computing exacts for 137 points 1553946331.980 * * * * [points]: Setting MPFR precision to 64 1553946332.050 * * * * [points]: Setting MPFR precision to 320 1553946332.078 * * * * [points]: Filtering points with unrepresentable outputs 1553946332.079 * * * * [points]: Sampling 70 additional inputs, on iter 2 have 186 / 256 1553946332.079 * * * * [points]: Computing exacts on every 4 of 70 points to ramp up precision 1553946332.082 * * * * [points]: Setting MPFR precision to 64 1553946332.084 * * * * [points]: Setting MPFR precision to 320 1553946332.087 * * * * [points]: Computing exacts on every 2 of 70 points to ramp up precision 1553946332.090 * * * * [points]: Setting MPFR precision to 64 1553946332.095 * * * * [points]: Setting MPFR precision to 320 1553946332.100 * * * * [points]: Computing exacts for 70 points 1553946332.103 * * * * [points]: Setting MPFR precision to 64 1553946332.115 * * * * [points]: Setting MPFR precision to 320 1553946332.127 * * * * [points]: Filtering points with unrepresentable outputs 1553946332.127 * * * * [points]: Sampling 32 additional inputs, on iter 3 have 224 / 256 1553946332.127 * * * * [points]: Computing exacts on every 2 of 32 points to ramp up precision 1553946332.129 * * * * [points]: Setting MPFR precision to 64 1553946332.130 * * * * [points]: Setting MPFR precision to 320 1553946332.131 * * * * [points]: Computing exacts for 32 points 1553946332.133 * * * * [points]: Setting MPFR precision to 64 1553946332.135 * * * * [points]: Setting MPFR precision to 320 1553946332.138 * * * * [points]: Filtering points with unrepresentable outputs 1553946332.138 * * * * [points]: Sampling 13 additional inputs, on iter 4 have 243 / 256 1553946332.139 * * * * [points]: Computing exacts for 13 points 1553946332.140 * * * * [points]: Setting MPFR precision to 64 1553946332.141 * * * * [points]: Setting MPFR precision to 320 1553946332.143 * * * * [points]: Filtering points with unrepresentable outputs 1553946332.143 * * * * [points]: Sampling 6 additional inputs, on iter 5 have 250 / 256 1553946332.143 * * * * [points]: Computing exacts for 6 points 1553946332.144 * * * * [points]: Setting MPFR precision to 64 1553946332.145 * * * * [points]: Setting MPFR precision to 320 1553946332.146 * * * * [points]: Filtering points with unrepresentable outputs 1553946332.146 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 254 / 256 1553946332.146 * * * * [points]: Computing exacts for 4 points 1553946332.147 * * * * [points]: Setting MPFR precision to 64 1553946332.148 * * * * [points]: Setting MPFR precision to 320 1553946332.148 * * * * [points]: Filtering points with unrepresentable outputs 1553946332.148 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 255 / 256 1553946332.148 * * * * [points]: Computing exacts for 4 points 1553946332.150 * * * * [points]: Setting MPFR precision to 64 1553946332.150 * * * * [points]: Setting MPFR precision to 320 1553946332.150 * * * * [points]: Filtering points with unrepresentable outputs 1553946332.150 * * * * [points]: Sampled 256 points with exact outputs 1553946332.151 * * * [progress]: [2/2] Setting up program. 1553946332.155 * [progress]: [Phase 2 of 3] Improving. 1553946332.155 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 1553946332.156 * [simplify]: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1553946332.157 * * [simplify]: iters left: 6 (12 enodes) 1553946332.168 * * [simplify]: iters left: 5 (26 enodes) 1553946332.173 * * [simplify]: iters left: 4 (30 enodes) 1553946332.568 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946332.569 * * [simplify]: Extracting #1: cost 3 inf + 0 1553946332.569 * * [simplify]: Extracting #2: cost 5 inf + 0 1553946332.569 * * [simplify]: Extracting #3: cost 9 inf + 0 1553946332.569 * * [simplify]: Extracting #4: cost 8 inf + 4 1553946332.569 * * [simplify]: Extracting #5: cost 12 inf + 4 1553946332.569 * * [simplify]: Extracting #6: cost 11 inf + 47 1553946332.569 * * [simplify]: Extracting #7: cost 4 inf + 478 1553946332.569 * * [simplify]: Extracting #8: cost 1 inf + 2268 1553946332.570 * * [simplify]: Extracting #9: cost 0 inf + 3012 1553946332.570 * [simplify]: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1553946332.570 * [simplify]: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1553946332.575 * * [progress]: iteration 1 / 4 1553946332.575 * * * [progress]: picking best candidate 1553946332.579 * * * * [pick]: Picked # 1553946332.579 * * * [progress]: localizing error 1553946332.684 * * * [progress]: generating rewritten candidates 1553946332.684 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 1553946332.690 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2) 1553946332.690 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 1553946332.691 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 1553946332.699 * * * [progress]: generating series expansions 1553946332.699 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 1553946332.699 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2) 1553946332.699 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 1553946332.699 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 1553946332.700 * * * [progress]: simplifying candidates 1553946332.700 * * * * [progress]: [ 1 / 6 ] simplifiying candidate # 1553946332.700 * * * * [progress]: [ 2 / 6 ] simplifiying candidate # 1553946332.700 * * * * [progress]: [ 3 / 6 ] simplifiying candidate # 1553946332.700 * [simplify]: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1553946332.700 * * [simplify]: iters left: 6 (12 enodes) 1553946332.725 * * [simplify]: iters left: 5 (26 enodes) 1553946332.730 * * [simplify]: iters left: 4 (30 enodes) 1553946332.735 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946332.735 * * [simplify]: Extracting #1: cost 3 inf + 0 1553946332.735 * * [simplify]: Extracting #2: cost 5 inf + 0 1553946332.735 * * [simplify]: Extracting #3: cost 9 inf + 0 1553946332.735 * * [simplify]: Extracting #4: cost 8 inf + 4 1553946332.735 * * [simplify]: Extracting #5: cost 12 inf + 4 1553946332.736 * * [simplify]: Extracting #6: cost 11 inf + 47 1553946332.736 * * [simplify]: Extracting #7: cost 4 inf + 478 1553946332.736 * * [simplify]: Extracting #8: cost 1 inf + 2268 1553946332.736 * * [simplify]: Extracting #9: cost 0 inf + 3012 1553946332.736 * [simplify]: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1553946332.736 * [simplify]: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1553946332.736 * * * * [progress]: [ 4 / 6 ] simplifiying candidate # 1553946332.737 * [simplify]: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1553946332.737 * * [simplify]: iters left: 6 (12 enodes) 1553946332.740 * * [simplify]: iters left: 5 (26 enodes) 1553946332.745 * * [simplify]: iters left: 4 (30 enodes) 1553946332.749 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946332.750 * * [simplify]: Extracting #1: cost 3 inf + 0 1553946332.750 * * [simplify]: Extracting #2: cost 5 inf + 0 1553946332.750 * * [simplify]: Extracting #3: cost 9 inf + 0 1553946332.750 * * [simplify]: Extracting #4: cost 8 inf + 4 1553946332.750 * * [simplify]: Extracting #5: cost 12 inf + 4 1553946332.750 * * [simplify]: Extracting #6: cost 11 inf + 47 1553946332.750 * * [simplify]: Extracting #7: cost 4 inf + 478 1553946332.750 * * [simplify]: Extracting #8: cost 1 inf + 2268 1553946332.750 * * [simplify]: Extracting #9: cost 0 inf + 3012 1553946332.751 * [simplify]: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1553946332.751 * [simplify]: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1553946332.751 * * * * [progress]: [ 5 / 6 ] simplifiying candidate # 1553946332.751 * [simplify]: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1553946332.751 * * [simplify]: iters left: 6 (12 enodes) 1553946332.754 * * [simplify]: iters left: 5 (26 enodes) 1553946332.763 * * [simplify]: iters left: 4 (30 enodes) 1553946332.774 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946332.774 * * [simplify]: Extracting #1: cost 3 inf + 0 1553946332.774 * * [simplify]: Extracting #2: cost 5 inf + 0 1553946332.774 * * [simplify]: Extracting #3: cost 9 inf + 0 1553946332.774 * * [simplify]: Extracting #4: cost 8 inf + 4 1553946332.774 * * [simplify]: Extracting #5: cost 12 inf + 4 1553946332.774 * * [simplify]: Extracting #6: cost 11 inf + 47 1553946332.774 * * [simplify]: Extracting #7: cost 4 inf + 478 1553946332.775 * * [simplify]: Extracting #8: cost 1 inf + 2268 1553946332.775 * * [simplify]: Extracting #9: cost 0 inf + 3012 1553946332.776 * [simplify]: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1553946332.776 * [simplify]: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1553946332.776 * * * * [progress]: [ 6 / 6 ] simplifiying candidate # 1553946332.776 * [simplify]: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1553946332.776 * * [simplify]: iters left: 6 (12 enodes) 1553946332.782 * * [simplify]: iters left: 5 (26 enodes) 1553946332.791 * * [simplify]: iters left: 4 (30 enodes) 1553946332.801 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946332.801 * * [simplify]: Extracting #1: cost 3 inf + 0 1553946332.801 * * [simplify]: Extracting #2: cost 5 inf + 0 1553946332.801 * * [simplify]: Extracting #3: cost 9 inf + 0 1553946332.801 * * [simplify]: Extracting #4: cost 8 inf + 4 1553946332.801 * * [simplify]: Extracting #5: cost 12 inf + 4 1553946332.801 * * [simplify]: Extracting #6: cost 11 inf + 47 1553946332.802 * * [simplify]: Extracting #7: cost 4 inf + 478 1553946332.802 * * [simplify]: Extracting #8: cost 1 inf + 2268 1553946332.802 * * [simplify]: Extracting #9: cost 0 inf + 3012 1553946332.803 * [simplify]: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1553946332.803 * [simplify]: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1553946332.803 * * * [progress]: adding candidates to table 1553946332.834 * [progress]: [Phase 3 of 3] Extracting. 1553946332.837 * [simplify]: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1553946332.837 * * [simplify]: iters left: 6 (12 enodes) 1553946332.838 * * [simplify]: iters left: 5 (13 enodes) 1553946332.839 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946332.839 * * [simplify]: Extracting #1: cost 2 inf + 0 1553946332.839 * * [simplify]: Extracting #2: cost 4 inf + 0 1553946332.839 * * [simplify]: Extracting #3: cost 8 inf + 0 1553946332.839 * * [simplify]: Extracting #4: cost 7 inf + 4 1553946332.839 * * [simplify]: Extracting #5: cost 9 inf + 4 1553946332.839 * * [simplify]: Extracting #6: cost 7 inf + 6 1553946332.839 * * [simplify]: Extracting #7: cost 0 inf + 2104 1553946332.839 * [simplify]: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1553946332.839 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1553946332.876 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision 1553946332.882 * * * * [points]: Setting MPFR precision to 64 1553946332.884 * * * * [points]: Setting MPFR precision to 320 1553946332.885 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision 1553946332.887 * * * * [points]: Setting MPFR precision to 64 1553946332.891 * * * * [points]: Setting MPFR precision to 320 1553946332.898 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision 1553946332.900 * * * * [points]: Setting MPFR precision to 64 1553946332.912 * * * * [points]: Setting MPFR precision to 320 1553946332.925 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision 1553946332.927 * * * * [points]: Setting MPFR precision to 64 1553946332.949 * * * * [points]: Setting MPFR precision to 320 1553946332.975 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision 1553946332.978 * * * * [points]: Setting MPFR precision to 64 1553946333.022 * * * * [points]: Setting MPFR precision to 320 1553946333.071 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision 1553946333.073 * * * * [points]: Setting MPFR precision to 64 1553946333.224 * * * * [points]: Setting MPFR precision to 320 1553946333.289 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision 1553946333.292 * * * * [points]: Setting MPFR precision to 64 1553946333.510 * * * * [points]: Setting MPFR precision to 320 1553946333.694 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision 1553946333.697 * * * * [points]: Setting MPFR precision to 64 1553946333.990 * * * * [points]: Setting MPFR precision to 320 1553946334.404 * * * * [points]: Computing exacts for 8000 points 1553946334.406 * * * * [points]: Setting MPFR precision to 64 1553946336.276 * * * * [points]: Setting MPFR precision to 320 1553946338.219 * * * * [points]: Setting MPFR precision to 576 1553946340.590 * * * * [points]: Filtering points with unrepresentable outputs 1553946340.598 * * * * [points]: Sampling 3979 additional inputs, on iter 1 have 4021 / 8000 1553946340.636 * * * * [points]: Computing exacts on every 248 of 3979 points to ramp up precision 1553946340.639 * * * * [points]: Setting MPFR precision to 320 1553946340.642 * * * * [points]: Setting MPFR precision to 576 1553946340.646 * * * * [points]: Computing exacts on every 124 of 3979 points to ramp up precision 1553946340.649 * * * * [points]: Setting MPFR precision to 320 1553946340.657 * * * * [points]: Setting MPFR precision to 576 1553946340.664 * * * * [points]: Computing exacts on every 62 of 3979 points to ramp up precision 1553946340.667 * * * * [points]: Setting MPFR precision to 320 1553946340.680 * * * * [points]: Setting MPFR precision to 576 1553946340.692 * * * * [points]: Computing exacts on every 31 of 3979 points to ramp up precision 1553946340.694 * * * * [points]: Setting MPFR precision to 320 1553946340.706 * * * * [points]: Setting MPFR precision to 576 1553946340.739 * * * * [points]: Computing exacts on every 15 of 3979 points to ramp up precision 1553946340.741 * * * * [points]: Setting MPFR precision to 320 1553946340.789 * * * * [points]: Setting MPFR precision to 576 1553946340.824 * * * * [points]: Computing exacts on every 7 of 3979 points to ramp up precision 1553946340.826 * * * * [points]: Setting MPFR precision to 320 1553946340.876 * * * * [points]: Setting MPFR precision to 576 1553946340.996 * * * * [points]: Computing exacts on every 3 of 3979 points to ramp up precision 1553946340.999 * * * * [points]: Setting MPFR precision to 320 1553946341.259 * * * * [points]: Setting MPFR precision to 576 1553946341.457 * * * * [points]: Computing exacts for 3979 points 1553946341.460 * * * * [points]: Setting MPFR precision to 320 1553946342.156 * * * * [points]: Setting MPFR precision to 576 1553946343.628 * * * * [points]: Filtering points with unrepresentable outputs 1553946343.629 * * * * [points]: Sampling 1964 additional inputs, on iter 2 have 6036 / 8000 1553946343.646 * * * * [points]: Computing exacts on every 122 of 1964 points to ramp up precision 1553946343.650 * * * * [points]: Setting MPFR precision to 320 1553946343.653 * * * * [points]: Setting MPFR precision to 576 1553946343.656 * * * * [points]: Computing exacts on every 61 of 1964 points to ramp up precision 1553946343.659 * * * * [points]: Setting MPFR precision to 320 1553946343.663 * * * * [points]: Setting MPFR precision to 576 1553946343.667 * * * * [points]: Computing exacts on every 30 of 1964 points to ramp up precision 1553946343.669 * * * * [points]: Setting MPFR precision to 320 1553946343.676 * * * * [points]: Setting MPFR precision to 576 1553946343.684 * * * * [points]: Computing exacts on every 15 of 1964 points to ramp up precision 1553946343.685 * * * * [points]: Setting MPFR precision to 320 1553946343.706 * * * * [points]: Setting MPFR precision to 576 1553946343.736 * * * * [points]: Computing exacts on every 7 of 1964 points to ramp up precision 1553946343.739 * * * * [points]: Setting MPFR precision to 320 1553946343.815 * * * * [points]: Setting MPFR precision to 576 1553946343.849 * * * * [points]: Computing exacts on every 3 of 1964 points to ramp up precision 1553946343.853 * * * * [points]: Setting MPFR precision to 320 1553946343.918 * * * * [points]: Setting MPFR precision to 576 1553946344.079 * * * * [points]: Computing exacts for 1964 points 1553946344.083 * * * * [points]: Setting MPFR precision to 320 1553946344.441 * * * * [points]: Setting MPFR precision to 576 1553946344.936 * * * * [points]: Filtering points with unrepresentable outputs 1553946344.937 * * * * [points]: Sampling 984 additional inputs, on iter 3 have 7016 / 8000 1553946344.946 * * * * [points]: Computing exacts on every 61 of 984 points to ramp up precision 1553946344.949 * * * * [points]: Setting MPFR precision to 320 1553946344.952 * * * * [points]: Setting MPFR precision to 576 1553946344.956 * * * * [points]: Computing exacts on every 30 of 984 points to ramp up precision 1553946344.959 * * * * [points]: Setting MPFR precision to 320 1553946344.965 * * * * [points]: Setting MPFR precision to 576 1553946344.969 * * * * [points]: Computing exacts on every 15 of 984 points to ramp up precision 1553946344.970 * * * * [points]: Setting MPFR precision to 320 1553946344.976 * * * * [points]: Setting MPFR precision to 576 1553946345.018 * * * * [points]: Computing exacts on every 7 of 984 points to ramp up precision 1553946345.021 * * * * [points]: Setting MPFR precision to 320 1553946345.035 * * * * [points]: Setting MPFR precision to 576 1553946345.050 * * * * [points]: Computing exacts on every 3 of 984 points to ramp up precision 1553946345.052 * * * * [points]: Setting MPFR precision to 320 1553946345.094 * * * * [points]: Setting MPFR precision to 576 1553946345.134 * * * * [points]: Computing exacts for 984 points 1553946345.136 * * * * [points]: Setting MPFR precision to 320 1553946345.322 * * * * [points]: Setting MPFR precision to 576 1553946345.550 * * * * [points]: Filtering points with unrepresentable outputs 1553946345.550 * * * * [points]: Sampling 502 additional inputs, on iter 4 have 7498 / 8000 1553946345.555 * * * * [points]: Computing exacts on every 31 of 502 points to ramp up precision 1553946345.558 * * * * [points]: Setting MPFR precision to 320 1553946345.562 * * * * [points]: Setting MPFR precision to 576 1553946345.565 * * * * [points]: Computing exacts on every 15 of 502 points to ramp up precision 1553946345.568 * * * * [points]: Setting MPFR precision to 320 1553946345.575 * * * * [points]: Setting MPFR precision to 576 1553946345.583 * * * * [points]: Computing exacts on every 7 of 502 points to ramp up precision 1553946345.587 * * * * [points]: Setting MPFR precision to 320 1553946345.599 * * * * [points]: Setting MPFR precision to 576 1553946345.612 * * * * [points]: Computing exacts on every 3 of 502 points to ramp up precision 1553946345.614 * * * * [points]: Setting MPFR precision to 320 1553946345.627 * * * * [points]: Setting MPFR precision to 576 1553946345.650 * * * * [points]: Computing exacts for 502 points 1553946345.653 * * * * [points]: Setting MPFR precision to 320 1553946346.194 * * * * [points]: Setting MPFR precision to 576 1553946346.278 * * * * [points]: Filtering points with unrepresentable outputs 1553946346.279 * * * * [points]: Sampling 251 additional inputs, on iter 5 have 7749 / 8000 1553946346.281 * * * * [points]: Computing exacts on every 15 of 251 points to ramp up precision 1553946346.284 * * * * [points]: Setting MPFR precision to 320 1553946346.287 * * * * [points]: Setting MPFR precision to 576 1553946346.290 * * * * [points]: Computing exacts on every 7 of 251 points to ramp up precision 1553946346.291 * * * * [points]: Setting MPFR precision to 320 1553946346.294 * * * * [points]: Setting MPFR precision to 576 1553946346.346 * * * * [points]: Computing exacts on every 3 of 251 points to ramp up precision 1553946346.356 * * * * [points]: Setting MPFR precision to 320 1553946346.368 * * * * [points]: Setting MPFR precision to 576 1553946346.382 * * * * [points]: Computing exacts for 251 points 1553946346.385 * * * * [points]: Setting MPFR precision to 320 1553946346.434 * * * * [points]: Setting MPFR precision to 576 1553946346.492 * * * * [points]: Filtering points with unrepresentable outputs 1553946346.492 * * * * [points]: Sampling 135 additional inputs, on iter 6 have 7865 / 8000 1553946346.493 * * * * [points]: Computing exacts on every 8 of 135 points to ramp up precision 1553946346.495 * * * * [points]: Setting MPFR precision to 320 1553946346.496 * * * * [points]: Setting MPFR precision to 576 1553946346.498 * * * * [points]: Computing exacts on every 4 of 135 points to ramp up precision 1553946346.500 * * * * [points]: Setting MPFR precision to 320 1553946346.503 * * * * [points]: Setting MPFR precision to 576 1553946346.506 * * * * [points]: Computing exacts on every 2 of 135 points to ramp up precision 1553946346.507 * * * * [points]: Setting MPFR precision to 320 1553946346.512 * * * * [points]: Setting MPFR precision to 576 1553946346.517 * * * * [points]: Computing exacts for 135 points 1553946346.519 * * * * [points]: Setting MPFR precision to 320 1553946346.535 * * * * [points]: Setting MPFR precision to 576 1553946346.607 * * * * [points]: Filtering points with unrepresentable outputs 1553946346.607 * * * * [points]: Sampling 71 additional inputs, on iter 7 have 7929 / 8000 1553946346.608 * * * * [points]: Computing exacts on every 4 of 71 points to ramp up precision 1553946346.611 * * * * [points]: Setting MPFR precision to 320 1553946346.614 * * * * [points]: Setting MPFR precision to 576 1553946346.618 * * * * [points]: Computing exacts on every 2 of 71 points to ramp up precision 1553946346.621 * * * * [points]: Setting MPFR precision to 320 1553946346.626 * * * * [points]: Setting MPFR precision to 576 1553946346.632 * * * * [points]: Computing exacts for 71 points 1553946346.635 * * * * [points]: Setting MPFR precision to 320 1553946346.645 * * * * [points]: Setting MPFR precision to 576 1553946346.654 * * * * [points]: Filtering points with unrepresentable outputs 1553946346.654 * * * * [points]: Sampling 33 additional inputs, on iter 8 have 7967 / 8000 1553946346.654 * * * * [points]: Computing exacts on every 2 of 33 points to ramp up precision 1553946346.656 * * * * [points]: Setting MPFR precision to 320 1553946346.657 * * * * [points]: Setting MPFR precision to 576 1553946346.658 * * * * [points]: Computing exacts for 33 points 1553946346.660 * * * * [points]: Setting MPFR precision to 320 1553946346.663 * * * * [points]: Setting MPFR precision to 576 1553946346.667 * * * * [points]: Filtering points with unrepresentable outputs 1553946346.667 * * * * [points]: Sampling 23 additional inputs, on iter 9 have 7977 / 8000 1553946346.668 * * * * [points]: Computing exacts for 23 points 1553946346.670 * * * * [points]: Setting MPFR precision to 320 1553946346.674 * * * * [points]: Setting MPFR precision to 576 1553946346.680 * * * * [points]: Filtering points with unrepresentable outputs 1553946346.680 * * * * [points]: Sampling 13 additional inputs, on iter 10 have 7987 / 8000 1553946346.680 * * * * [points]: Computing exacts for 13 points 1553946346.683 * * * * [points]: Setting MPFR precision to 320 1553946346.685 * * * * [points]: Setting MPFR precision to 576 1553946346.688 * * * * [points]: Filtering points with unrepresentable outputs 1553946346.688 * * * * [points]: Sampling 7 additional inputs, on iter 11 have 7993 / 8000 1553946346.688 * * * * [points]: Computing exacts for 7 points 1553946346.692 * * * * [points]: Setting MPFR precision to 320 1553946346.693 * * * * [points]: Setting MPFR precision to 576 1553946346.695 * * * * [points]: Filtering points with unrepresentable outputs 1553946346.695 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7997 / 8000 1553946346.695 * * * * [points]: Computing exacts for 4 points 1553946346.698 * * * * [points]: Setting MPFR precision to 320 1553946346.699 * * * * [points]: Setting MPFR precision to 576 1553946346.700 * * * * [points]: Filtering points with unrepresentable outputs 1553946346.700 * * * * [points]: Sampling 4 additional inputs, on iter 13 have 7999 / 8000 1553946346.701 * * * * [points]: Computing exacts for 4 points 1553946346.704 * * * * [points]: Setting MPFR precision to 320 1553946346.705 * * * * [points]: Setting MPFR precision to 576 1553946346.707 * * * * [points]: Filtering points with unrepresentable outputs 1553946346.707 * * * * [points]: Sampled 8001 points with exact outputs 1553946346.949 * [regime-testing]: Baseline error score: 0.0125 1553946346.951 * [regime-testing]: Oracle error score: 0.0125 1553946346.952 * [regime-testing]: End program error score: 0.0125