1539348817.671 * [misc]progress: [Phase 1 of 3] Setting up. 1539348817.672 * * * [misc]progress: [1/2] Preparing points 1539348817.673 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1539348817.674 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1539348817.715 * * * * [misc]points: Setting MPFR precision to 64 1539348817.717 * * * * [misc]points: Setting MPFR precision to 320 1539348817.718 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1539348817.720 * * * * [misc]points: Setting MPFR precision to 64 1539348817.721 * * * * [misc]points: Setting MPFR precision to 320 1539348817.722 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1539348817.724 * * * * [misc]points: Setting MPFR precision to 64 1539348817.725 * * * * [misc]points: Setting MPFR precision to 320 1539348817.725 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1539348817.726 * * * * [misc]points: Setting MPFR precision to 64 1539348817.728 * * * * [misc]points: Setting MPFR precision to 320 1539348817.729 * * * * [misc]points: Computing exacts for 256 points 1539348817.730 * * * * [misc]points: Setting MPFR precision to 64 1539348817.734 * * * * [misc]points: Setting MPFR precision to 320 1539348817.738 * * * * [misc]points: Filtering points with unrepresentable outputs 1539348817.739 * * * * [misc]points: Sampling 181 additional inputs, on iter 1 have 75 / 256 1539348817.739 * * * * [misc]points: Computing exacts on every 11 of 181 points to ramp up precision 1539348817.741 * * * * [misc]points: Setting MPFR precision to 64 1539348817.741 * * * * [misc]points: Setting MPFR precision to 320 1539348817.741 * * * * [misc]points: Computing exacts on every 5 of 181 points to ramp up precision 1539348817.742 * * * * [misc]points: Setting MPFR precision to 64 1539348817.743 * * * * [misc]points: Setting MPFR precision to 320 1539348817.743 * * * * [misc]points: Computing exacts on every 2 of 181 points to ramp up precision 1539348817.744 * * * * [misc]points: Setting MPFR precision to 64 1539348817.745 * * * * [misc]points: Setting MPFR precision to 320 1539348817.747 * * * * [misc]points: Computing exacts for 181 points 1539348817.748 * * * * [misc]points: Setting MPFR precision to 64 1539348817.750 * * * * [misc]points: Setting MPFR precision to 320 1539348817.753 * * * * [misc]points: Filtering points with unrepresentable outputs 1539348817.753 * * * * [misc]points: Sampling 144 additional inputs, on iter 2 have 112 / 256 1539348817.754 * * * * [misc]points: Computing exacts on every 9 of 144 points to ramp up precision 1539348817.755 * * * * [misc]points: Setting MPFR precision to 64 1539348817.755 * * * * [misc]points: Setting MPFR precision to 320 1539348817.755 * * * * [misc]points: Computing exacts on every 4 of 144 points to ramp up precision 1539348817.756 * * * * [misc]points: Setting MPFR precision to 64 1539348817.757 * * * * [misc]points: Setting MPFR precision to 320 1539348817.757 * * * * [misc]points: Computing exacts on every 2 of 144 points to ramp up precision 1539348817.758 * * * * [misc]points: Setting MPFR precision to 64 1539348817.759 * * * * [misc]points: Setting MPFR precision to 320 1539348817.760 * * * * [misc]points: Computing exacts for 144 points 1539348817.761 * * * * [misc]points: Setting MPFR precision to 64 1539348817.763 * * * * [misc]points: Setting MPFR precision to 320 1539348817.766 * * * * [misc]points: Filtering points with unrepresentable outputs 1539348817.766 * * * * [misc]points: Sampling 114 additional inputs, on iter 3 have 142 / 256 1539348817.766 * * * * [misc]points: Computing exacts on every 7 of 114 points to ramp up precision 1539348817.767 * * * * [misc]points: Setting MPFR precision to 64 1539348817.798 * * * * [misc]points: Setting MPFR precision to 320 1539348817.799 * * * * [misc]points: Computing exacts on every 3 of 114 points to ramp up precision 1539348817.800 * * * * [misc]points: Setting MPFR precision to 64 1539348817.800 * * * * [misc]points: Setting MPFR precision to 320 1539348817.801 * * * * [misc]points: Computing exacts for 114 points 1539348817.802 * * * * [misc]points: Setting MPFR precision to 64 1539348817.804 * * * * [misc]points: Setting MPFR precision to 320 1539348817.805 * * * * [misc]points: Filtering points with unrepresentable outputs 1539348817.805 * * * * [misc]points: Sampling 93 additional inputs, on iter 4 have 163 / 256 1539348817.806 * * * * [misc]points: Computing exacts on every 5 of 93 points to ramp up precision 1539348817.807 * * * * [misc]points: Setting MPFR precision to 64 1539348817.807 * * * * [misc]points: Setting MPFR precision to 320 1539348817.807 * * * * [misc]points: Computing exacts on every 2 of 93 points to ramp up precision 1539348817.809 * * * * [misc]points: Setting MPFR precision to 64 1539348817.810 * * * * [misc]points: Setting MPFR precision to 320 1539348817.811 * * * * [misc]points: Computing exacts for 93 points 1539348817.811 * * * * [misc]points: Setting MPFR precision to 64 1539348817.813 * * * * [misc]points: Setting MPFR precision to 320 1539348817.814 * * * * [misc]points: Filtering points with unrepresentable outputs 1539348817.814 * * * * [misc]points: Sampling 72 additional inputs, on iter 5 have 184 / 256 1539348817.815 * * * * [misc]points: Computing exacts on every 4 of 72 points to ramp up precision 1539348817.816 * * * * [misc]points: Setting MPFR precision to 64 1539348817.816 * * * * [misc]points: Setting MPFR precision to 320 1539348817.816 * * * * [misc]points: Computing exacts on every 2 of 72 points to ramp up precision 1539348817.817 * * * * [misc]points: Setting MPFR precision to 64 1539348817.818 * * * * [misc]points: Setting MPFR precision to 320 1539348817.818 * * * * [misc]points: Computing exacts for 72 points 1539348817.819 * * * * [misc]points: Setting MPFR precision to 64 1539348817.820 * * * * [misc]points: Setting MPFR precision to 320 1539348817.821 * * * * [misc]points: Filtering points with unrepresentable outputs 1539348817.821 * * * * [misc]points: Sampling 56 additional inputs, on iter 6 have 200 / 256 1539348817.821 * * * * [misc]points: Computing exacts on every 3 of 56 points to ramp up precision 1539348817.822 * * * * [misc]points: Setting MPFR precision to 64 1539348817.823 * * * * [misc]points: Setting MPFR precision to 320 1539348817.823 * * * * [misc]points: Computing exacts for 56 points 1539348817.824 * * * * [misc]points: Setting MPFR precision to 64 1539348817.825 * * * * [misc]points: Setting MPFR precision to 320 1539348817.826 * * * * [misc]points: Filtering points with unrepresentable outputs 1539348817.826 * * * * [misc]points: Sampling 41 additional inputs, on iter 7 have 215 / 256 1539348817.826 * * * * [misc]points: Computing exacts on every 2 of 41 points to ramp up precision 1539348817.827 * * * * [misc]points: Setting MPFR precision to 64 1539348817.827 * * * * [misc]points: Setting MPFR precision to 320 1539348817.827 * * * * [misc]points: Computing exacts for 41 points 1539348817.828 * * * * [misc]points: Setting MPFR precision to 64 1539348817.829 * * * * [misc]points: Setting MPFR precision to 320 1539348817.830 * * * * [misc]points: Filtering points with unrepresentable outputs 1539348817.830 * * * * [misc]points: Sampling 32 additional inputs, on iter 8 have 224 / 256 1539348817.830 * * * * [misc]points: Computing exacts on every 2 of 32 points to ramp up precision 1539348817.831 * * * * [misc]points: Setting MPFR precision to 64 1539348817.831 * * * * [misc]points: Setting MPFR precision to 320 1539348817.831 * * * * [misc]points: Computing exacts for 32 points 1539348817.832 * * * * [misc]points: Setting MPFR precision to 64 1539348817.833 * * * * [misc]points: Setting MPFR precision to 320 1539348817.833 * * * * [misc]points: Filtering points with unrepresentable outputs 1539348817.833 * * * * [misc]points: Sampling 26 additional inputs, on iter 9 have 230 / 256 1539348817.833 * * * * [misc]points: Computing exacts for 26 points 1539348817.834 * * * * [misc]points: Setting MPFR precision to 64 1539348817.835 * * * * [misc]points: Setting MPFR precision to 320 1539348817.835 * * * * [misc]points: Filtering points with unrepresentable outputs 1539348817.835 * * * * [misc]points: Sampling 24 additional inputs, on iter 10 have 232 / 256 1539348817.835 * * * * [misc]points: Computing exacts for 24 points 1539348817.836 * * * * [misc]points: Setting MPFR precision to 64 1539348817.836 * * * * [misc]points: Setting MPFR precision to 320 1539348817.837 * * * * [misc]points: Filtering points with unrepresentable outputs 1539348817.837 * * * * [misc]points: Sampling 20 additional inputs, on iter 11 have 236 / 256 1539348817.837 * * * * [misc]points: Computing exacts for 20 points 1539348817.838 * * * * [misc]points: Setting MPFR precision to 64 1539348817.838 * * * * [misc]points: Setting MPFR precision to 320 1539348817.839 * * * * [misc]points: Filtering points with unrepresentable outputs 1539348817.839 * * * * [misc]points: Sampling 12 additional inputs, on iter 12 have 244 / 256 1539348817.839 * * * * [misc]points: Computing exacts for 12 points 1539348817.840 * * * * [misc]points: Setting MPFR precision to 64 1539348817.840 * * * * [misc]points: Setting MPFR precision to 320 1539348817.840 * * * * [misc]points: Filtering points with unrepresentable outputs 1539348817.840 * * * * [misc]points: Sampling 8 additional inputs, on iter 13 have 248 / 256 1539348817.840 * * * * [misc]points: Computing exacts for 8 points 1539348817.841 * * * * [misc]points: Setting MPFR precision to 64 1539348817.841 * * * * [misc]points: Setting MPFR precision to 320 1539348817.841 * * * * [misc]points: Filtering points with unrepresentable outputs 1539348817.842 * * * * [misc]points: Sampling 4 additional inputs, on iter 14 have 252 / 256 1539348817.842 * * * * [misc]points: Computing exacts for 4 points 1539348817.842 * * * * [misc]points: Setting MPFR precision to 64 1539348817.843 * * * * [misc]points: Setting MPFR precision to 320 1539348817.843 * * * * [misc]points: Filtering points with unrepresentable outputs 1539348817.843 * * * * [misc]points: Sampling 4 additional inputs, on iter 15 have 254 / 256 1539348817.843 * * * * [misc]points: Computing exacts for 4 points 1539348817.844 * * * * [misc]points: Setting MPFR precision to 64 1539348817.844 * * * * [misc]points: Setting MPFR precision to 320 1539348817.844 * * * * [misc]points: Filtering points with unrepresentable outputs 1539348817.844 * * * * [exit]points: Sampled 256 points with exact outputs 1539348817.844 * * * [misc]progress: [2/2] Setting up program. 1539348817.847 * [misc]progress: [Phase 2 of 3] Improving. 1539348817.848 * [enter]simplify: Simplifying (- (log (- (/ 1 x) 1))) 1539348817.849 * * [misc]simplify: iters left: 6 (6 enodes) 1539348817.854 * * [misc]simplify: iters left: 5 (11 enodes) 1539348817.855 * * [misc]simplify: iters left: 4 (12 enodes) 1539348817.857 * [exit]simplify: Simplified to (- (log (- (/ 1 x) 1))) 1539348817.864 * * [misc]progress: iteration 1 / 4 1539348817.864 * * * [misc]progress: picking best candidate 1539348817.866 * * * * [misc]pick: Picked # 1539348817.866 * * * [misc]progress: localizing error 1539348817.896 * * * [misc]progress: generating rewritten candidates 1539348817.896 * * * [misc]progress: generating series expansions 1539348817.896 * * * [misc]progress: simplifying candidates 1539348817.897 * * * [misc]progress: adding candidates to table 1539348817.897 * [misc]progress: [Phase 3 of 3] Extracting. 1539348817.899 * [enter]simplify: Simplifying (- (log (- (/ 1 x) 1))) 1539348817.899 * * [misc]simplify: iters left: 6 (6 enodes) 1539348817.899 * * [misc]simplify: iters left: 5 (8 enodes) 1539348817.900 * [exit]simplify: Simplified to (- (log (- (/ 1 x) 1))) 1539348817.900 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1539348817.918 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1539348817.920 * * * * [misc]points: Setting MPFR precision to 64 1539348817.920 * * * * [misc]points: Setting MPFR precision to 320 1539348817.921 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1539348817.923 * * * * [misc]points: Setting MPFR precision to 64 1539348817.924 * * * * [misc]points: Setting MPFR precision to 320 1539348817.924 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1539348817.925 * * * * [misc]points: Setting MPFR precision to 64 1539348817.926 * * * * [misc]points: Setting MPFR precision to 320 1539348817.927 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1539348817.928 * * * * [misc]points: Setting MPFR precision to 64 1539348817.930 * * * * [misc]points: Setting MPFR precision to 320 1539348817.932 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1539348817.934 * * * * [misc]points: Setting MPFR precision to 64 1539348817.937 * * * * [misc]points: Setting MPFR precision to 320 1539348817.941 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1539348817.943 * * * * [misc]points: Setting MPFR precision to 64 1539348817.950 * * * * [misc]points: Setting MPFR precision to 320 1539348817.965 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1539348817.968 * * * * [misc]points: Setting MPFR precision to 64 1539348818.026 * * * * [misc]points: Setting MPFR precision to 320 1539348818.056 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1539348818.058 * * * * [misc]points: Setting MPFR precision to 64 1539348818.091 * * * * [misc]points: Setting MPFR precision to 320 1539348818.122 * * * * [misc]points: Computing exacts for 8000 points 1539348818.172 * * * * [misc]points: Setting MPFR precision to 64 1539348818.397 * * * * [misc]points: Setting MPFR precision to 320 1539348819.113 * * * * [misc]points: Filtering points with unrepresentable outputs 1539348819.115 * * * * [misc]points: Sampling 5998 additional inputs, on iter 1 have 2002 / 8000 1539348819.171 * * * * [misc]points: Computing exacts on every 374 of 5998 points to ramp up precision 1539348819.176 * * * * [misc]points: Setting MPFR precision to 64 1539348819.177 * * * * [misc]points: Setting MPFR precision to 320 1539348819.178 * * * * [misc]points: Computing exacts on every 187 of 5998 points to ramp up precision 1539348819.180 * * * * [misc]points: Setting MPFR precision to 64 1539348819.181 * * * * [misc]points: Setting MPFR precision to 320 1539348819.182 * * * * [misc]points: Computing exacts on every 93 of 5998 points to ramp up precision 1539348819.184 * * * * [misc]points: Setting MPFR precision to 64 1539348819.185 * * * * [misc]points: Setting MPFR precision to 320 1539348819.186 * * * * [misc]points: Computing exacts on every 46 of 5998 points to ramp up precision 1539348819.187 * * * * [misc]points: Setting MPFR precision to 64 1539348819.189 * * * * [misc]points: Setting MPFR precision to 320 1539348819.191 * * * * [misc]points: Computing exacts on every 23 of 5998 points to ramp up precision 1539348819.192 * * * * [misc]points: Setting MPFR precision to 64 1539348819.196 * * * * [misc]points: Setting MPFR precision to 320 1539348819.200 * * * * [misc]points: Computing exacts on every 11 of 5998 points to ramp up precision 1539348819.201 * * * * [misc]points: Setting MPFR precision to 64 1539348819.208 * * * * [misc]points: Setting MPFR precision to 320 1539348819.216 * * * * [misc]points: Computing exacts on every 5 of 5998 points to ramp up precision 1539348819.217 * * * * [misc]points: Setting MPFR precision to 64 1539348819.232 * * * * [misc]points: Setting MPFR precision to 320 1539348819.248 * * * * [misc]points: Computing exacts on every 2 of 5998 points to ramp up precision 1539348819.249 * * * * [misc]points: Setting MPFR precision to 64 1539348819.319 * * * * [misc]points: Setting MPFR precision to 320 1539348819.372 * * * * [misc]points: Computing exacts for 5998 points 1539348819.373 * * * * [misc]points: Setting MPFR precision to 64 1539348819.556 * * * * [misc]points: Setting MPFR precision to 320 1539348819.768 * * * * [misc]points: Filtering points with unrepresentable outputs 1539348819.769 * * * * [misc]points: Sampling 4566 additional inputs, on iter 2 have 3434 / 8000 1539348819.809 * * * * [misc]points: Computing exacts on every 285 of 4566 points to ramp up precision 1539348819.810 * * * * [misc]points: Setting MPFR precision to 64 1539348819.811 * * * * [misc]points: Setting MPFR precision to 320 1539348819.811 * * * * [misc]points: Computing exacts on every 142 of 4566 points to ramp up precision 1539348819.812 * * * * [misc]points: Setting MPFR precision to 64 1539348819.813 * * * * [misc]points: Setting MPFR precision to 320 1539348819.813 * * * * [misc]points: Computing exacts on every 71 of 4566 points to ramp up precision 1539348819.814 * * * * [misc]points: Setting MPFR precision to 64 1539348819.815 * * * * [misc]points: Setting MPFR precision to 320 1539348819.816 * * * * [misc]points: Computing exacts on every 35 of 4566 points to ramp up precision 1539348819.817 * * * * [misc]points: Setting MPFR precision to 64 1539348819.819 * * * * [misc]points: Setting MPFR precision to 320 1539348819.821 * * * * [misc]points: Computing exacts on every 17 of 4566 points to ramp up precision 1539348819.822 * * * * [misc]points: Setting MPFR precision to 64 1539348819.828 * * * * [misc]points: Setting MPFR precision to 320 1539348819.832 * * * * [misc]points: Computing exacts on every 8 of 4566 points to ramp up precision 1539348819.833 * * * * [misc]points: Setting MPFR precision to 64 1539348819.840 * * * * [misc]points: Setting MPFR precision to 320 1539348819.848 * * * * [misc]points: Computing exacts on every 4 of 4566 points to ramp up precision 1539348819.850 * * * * [misc]points: Setting MPFR precision to 64 1539348819.863 * * * * [misc]points: Setting MPFR precision to 320 1539348819.878 * * * * [misc]points: Computing exacts on every 2 of 4566 points to ramp up precision 1539348819.879 * * * * [misc]points: Setting MPFR precision to 64 1539348819.941 * * * * [misc]points: Setting MPFR precision to 320 1539348819.995 * * * * [misc]points: Computing exacts for 4566 points 1539348819.997 * * * * [misc]points: Setting MPFR precision to 64 1539348820.149 * * * * [misc]points: Setting MPFR precision to 320 1539348820.298 * * * * [misc]points: Filtering points with unrepresentable outputs 1539348820.300 * * * * [misc]points: Sampling 3452 additional inputs, on iter 3 have 4548 / 8000 1539348820.342 * * * * [misc]points: Computing exacts on every 215 of 3452 points to ramp up precision 1539348820.344 * * * * [misc]points: Setting MPFR precision to 64 1539348820.344 * * * * [misc]points: Setting MPFR precision to 320 1539348820.345 * * * * [misc]points: Computing exacts on every 107 of 3452 points to ramp up precision 1539348820.346 * * * * [misc]points: Setting MPFR precision to 64 1539348820.346 * * * * [misc]points: Setting MPFR precision to 320 1539348820.347 * * * * [misc]points: Computing exacts on every 53 of 3452 points to ramp up precision 1539348820.348 * * * * [misc]points: Setting MPFR precision to 64 1539348820.349 * * * * [misc]points: Setting MPFR precision to 320 1539348820.350 * * * * [misc]points: Computing exacts on every 26 of 3452 points to ramp up precision 1539348820.351 * * * * [misc]points: Setting MPFR precision to 64 1539348820.353 * * * * [misc]points: Setting MPFR precision to 320 1539348820.357 * * * * [misc]points: Computing exacts on every 13 of 3452 points to ramp up precision 1539348820.358 * * * * [misc]points: Setting MPFR precision to 64 1539348820.361 * * * * [misc]points: Setting MPFR precision to 320 1539348820.365 * * * * [misc]points: Computing exacts on every 6 of 3452 points to ramp up precision 1539348820.366 * * * * [misc]points: Setting MPFR precision to 64 1539348820.374 * * * * [misc]points: Setting MPFR precision to 320 1539348820.381 * * * * [misc]points: Computing exacts on every 3 of 3452 points to ramp up precision 1539348820.382 * * * * [misc]points: Setting MPFR precision to 64 1539348820.395 * * * * [misc]points: Setting MPFR precision to 320 1539348820.408 * * * * [misc]points: Computing exacts for 3452 points 1539348820.409 * * * * [misc]points: Setting MPFR precision to 64 1539348820.565 * * * * [misc]points: Setting MPFR precision to 320 1539348820.627 * * * * [misc]points: Filtering points with unrepresentable outputs 1539348820.628 * * * * [misc]points: Sampling 2597 additional inputs, on iter 4 have 5403 / 8000 1539348820.681 * * * * [misc]points: Computing exacts on every 162 of 2597 points to ramp up precision 1539348820.683 * * * * [misc]points: Setting MPFR precision to 64 1539348820.684 * * * * [misc]points: Setting MPFR precision to 320 1539348820.684 * * * * [misc]points: Computing exacts on every 81 of 2597 points to ramp up precision 1539348820.686 * * * * [misc]points: Setting MPFR precision to 64 1539348820.687 * * * * [misc]points: Setting MPFR precision to 320 1539348820.688 * * * * [misc]points: Computing exacts on every 40 of 2597 points to ramp up precision 1539348820.690 * * * * [misc]points: Setting MPFR precision to 64 1539348820.692 * * * * [misc]points: Setting MPFR precision to 320 1539348820.695 * * * * [misc]points: Computing exacts on every 20 of 2597 points to ramp up precision 1539348820.697 * * * * [misc]points: Setting MPFR precision to 64 1539348820.700 * * * * [misc]points: Setting MPFR precision to 320 1539348820.705 * * * * [misc]points: Computing exacts on every 10 of 2597 points to ramp up precision 1539348820.707 * * * * [misc]points: Setting MPFR precision to 64 1539348820.715 * * * * [misc]points: Setting MPFR precision to 320 1539348820.723 * * * * [misc]points: Computing exacts on every 5 of 2597 points to ramp up precision 1539348820.725 * * * * [misc]points: Setting MPFR precision to 64 1539348820.738 * * * * [misc]points: Setting MPFR precision to 320 1539348820.753 * * * * [misc]points: Computing exacts on every 2 of 2597 points to ramp up precision 1539348820.755 * * * * [misc]points: Setting MPFR precision to 64 1539348820.781 * * * * [misc]points: Setting MPFR precision to 320 1539348820.808 * * * * [misc]points: Computing exacts for 2597 points 1539348820.810 * * * * [misc]points: Setting MPFR precision to 64 1539348820.919 * * * * [misc]points: Setting MPFR precision to 320 1539348820.973 * * * * [misc]points: Filtering points with unrepresentable outputs 1539348820.974 * * * * [misc]points: Sampling 1947 additional inputs, on iter 5 have 6053 / 8000 1539348820.983 * * * * [misc]points: Computing exacts on every 121 of 1947 points to ramp up precision 1539348820.985 * * * * [misc]points: Setting MPFR precision to 64 1539348820.986 * * * * [misc]points: Setting MPFR precision to 320 1539348820.986 * * * * [misc]points: Computing exacts on every 60 of 1947 points to ramp up precision 1539348820.988 * * * * [misc]points: Setting MPFR precision to 64 1539348820.989 * * * * [misc]points: Setting MPFR precision to 320 1539348820.990 * * * * [misc]points: Computing exacts on every 30 of 1947 points to ramp up precision 1539348820.992 * * * * [misc]points: Setting MPFR precision to 64 1539348820.995 * * * * [misc]points: Setting MPFR precision to 320 1539348820.997 * * * * [misc]points: Computing exacts on every 15 of 1947 points to ramp up precision 1539348820.999 * * * * [misc]points: Setting MPFR precision to 64 1539348821.004 * * * * [misc]points: Setting MPFR precision to 320 1539348821.446 * * * * [misc]points: Computing exacts on every 7 of 1947 points to ramp up precision 1539348821.448 * * * * [misc]points: Setting MPFR precision to 64 1539348821.460 * * * * [misc]points: Setting MPFR precision to 320 1539348821.469 * * * * [misc]points: Computing exacts on every 3 of 1947 points to ramp up precision 1539348821.471 * * * * [misc]points: Setting MPFR precision to 64 1539348821.486 * * * * [misc]points: Setting MPFR precision to 320 1539348821.495 * * * * [misc]points: Computing exacts for 1947 points 1539348821.496 * * * * [misc]points: Setting MPFR precision to 64 1539348821.534 * * * * [misc]points: Setting MPFR precision to 320 1539348821.571 * * * * [misc]points: Setting MPFR precision to 576 1539348821.677 * * * * [misc]points: Filtering points with unrepresentable outputs 1539348821.677 * * * * [misc]points: Sampling 1465 additional inputs, on iter 6 have 6535 / 8000 1539348821.680 * * * * [misc]points: Computing exacts on every 91 of 1465 points to ramp up precision 1539348821.682 * * * * [misc]points: Setting MPFR precision to 320 1539348821.682 * * * * [misc]points: Setting MPFR precision to 576 1539348821.682 * * * * [misc]points: Computing exacts on every 45 of 1465 points to ramp up precision 1539348821.684 * * * * [misc]points: Setting MPFR precision to 320 1539348821.684 * * * * [misc]points: Setting MPFR precision to 576 1539348821.685 * * * * [misc]points: Computing exacts on every 22 of 1465 points to ramp up precision 1539348821.686 * * * * [misc]points: Setting MPFR precision to 320 1539348821.687 * * * * [misc]points: Setting MPFR precision to 576 1539348821.688 * * * * [misc]points: Computing exacts on every 11 of 1465 points to ramp up precision 1539348821.689 * * * * [misc]points: Setting MPFR precision to 320 1539348821.691 * * * * [misc]points: Setting MPFR precision to 576 1539348821.693 * * * * [misc]points: Computing exacts on every 5 of 1465 points to ramp up precision 1539348821.695 * * * * [misc]points: Setting MPFR precision to 320 1539348821.698 * * * * [misc]points: Setting MPFR precision to 576 1539348821.702 * * * * [misc]points: Computing exacts on every 2 of 1465 points to ramp up precision 1539348821.704 * * * * [misc]points: Setting MPFR precision to 320 1539348821.711 * * * * [misc]points: Setting MPFR precision to 576 1539348821.720 * * * * [misc]points: Computing exacts for 1465 points 1539348821.721 * * * * [misc]points: Setting MPFR precision to 320 1539348821.784 * * * * [misc]points: Setting MPFR precision to 576 1539348821.810 * * * * [misc]points: Filtering points with unrepresentable outputs 1539348821.810 * * * * [misc]points: Sampling 1121 additional inputs, on iter 7 have 6879 / 8000 1539348821.815 * * * * [misc]points: Computing exacts on every 70 of 1121 points to ramp up precision 1539348821.818 * * * * [misc]points: Setting MPFR precision to 320 1539348821.819 * * * * [misc]points: Setting MPFR precision to 576 1539348821.819 * * * * [misc]points: Computing exacts on every 35 of 1121 points to ramp up precision 1539348821.822 * * * * [misc]points: Setting MPFR precision to 320 1539348821.823 * * * * [misc]points: Setting MPFR precision to 576 1539348821.824 * * * * [misc]points: Computing exacts on every 17 of 1121 points to ramp up precision 1539348821.825 * * * * [misc]points: Setting MPFR precision to 320 1539348821.826 * * * * [misc]points: Setting MPFR precision to 576 1539348821.827 * * * * [misc]points: Computing exacts on every 8 of 1121 points to ramp up precision 1539348821.828 * * * * [misc]points: Setting MPFR precision to 320 1539348821.830 * * * * [misc]points: Setting MPFR precision to 576 1539348821.832 * * * * [misc]points: Computing exacts on every 4 of 1121 points to ramp up precision 1539348821.834 * * * * [misc]points: Setting MPFR precision to 320 1539348821.837 * * * * [misc]points: Setting MPFR precision to 576 1539348821.841 * * * * [misc]points: Computing exacts on every 2 of 1121 points to ramp up precision 1539348821.843 * * * * [misc]points: Setting MPFR precision to 320 1539348821.849 * * * * [misc]points: Setting MPFR precision to 576 1539348821.899 * * * * [misc]points: Computing exacts for 1121 points 1539348821.902 * * * * [misc]points: Setting MPFR precision to 320 1539348821.941 * * * * [misc]points: Setting MPFR precision to 576 1539348821.979 * * * * [misc]points: Filtering points with unrepresentable outputs 1539348821.979 * * * * [misc]points: Sampling 836 additional inputs, on iter 8 have 7164 / 8000 1539348821.983 * * * * [misc]points: Computing exacts on every 52 of 836 points to ramp up precision 1539348821.985 * * * * [misc]points: Setting MPFR precision to 320 1539348821.986 * * * * [misc]points: Setting MPFR precision to 576 1539348821.987 * * * * [misc]points: Computing exacts on every 26 of 836 points to ramp up precision 1539348821.989 * * * * [misc]points: Setting MPFR precision to 320 1539348821.990 * * * * [misc]points: Setting MPFR precision to 576 1539348821.991 * * * * [misc]points: Computing exacts on every 13 of 836 points to ramp up precision 1539348821.994 * * * * [misc]points: Setting MPFR precision to 320 1539348821.996 * * * * [misc]points: Setting MPFR precision to 576 1539348821.998 * * * * [misc]points: Computing exacts on every 6 of 836 points to ramp up precision 1539348822.001 * * * * [misc]points: Setting MPFR precision to 320 1539348822.005 * * * * [misc]points: Setting MPFR precision to 576 1539348822.009 * * * * [misc]points: Computing exacts on every 3 of 836 points to ramp up precision 1539348822.012 * * * * [misc]points: Setting MPFR precision to 320 1539348822.019 * * * * [misc]points: Setting MPFR precision to 576 1539348822.027 * * * * [misc]points: Computing exacts for 836 points 1539348822.030 * * * * [misc]points: Setting MPFR precision to 320 1539348822.048 * * * * [misc]points: Setting MPFR precision to 576 1539348822.088 * * * * [misc]points: Filtering points with unrepresentable outputs 1539348822.088 * * * * [misc]points: Sampling 628 additional inputs, on iter 9 have 7372 / 8000 1539348822.091 * * * * [misc]points: Computing exacts on every 39 of 628 points to ramp up precision 1539348822.094 * * * * [misc]points: Setting MPFR precision to 320 1539348822.094 * * * * [misc]points: Setting MPFR precision to 576 1539348822.095 * * * * [misc]points: Computing exacts on every 19 of 628 points to ramp up precision 1539348822.096 * * * * [misc]points: Setting MPFR precision to 320 1539348822.096 * * * * [misc]points: Setting MPFR precision to 576 1539348822.097 * * * * [misc]points: Computing exacts on every 9 of 628 points to ramp up precision 1539348822.098 * * * * [misc]points: Setting MPFR precision to 320 1539348822.099 * * * * [misc]points: Setting MPFR precision to 576 1539348822.100 * * * * [misc]points: Computing exacts on every 4 of 628 points to ramp up precision 1539348822.102 * * * * [misc]points: Setting MPFR precision to 320 1539348822.104 * * * * [misc]points: Setting MPFR precision to 576 1539348822.106 * * * * [misc]points: Computing exacts on every 2 of 628 points to ramp up precision 1539348822.107 * * * * [misc]points: Setting MPFR precision to 320 1539348822.114 * * * * [misc]points: Setting MPFR precision to 576 1539348822.121 * * * * [misc]points: Computing exacts for 628 points 1539348822.123 * * * * [misc]points: Setting MPFR precision to 320 1539348822.136 * * * * [misc]points: Setting MPFR precision to 576 1539348822.146 * * * * [misc]points: Filtering points with unrepresentable outputs 1539348822.147 * * * * [misc]points: Sampling 477 additional inputs, on iter 10 have 7523 / 8000 1539348822.148 * * * * [misc]points: Computing exacts on every 29 of 477 points to ramp up precision 1539348822.149 * * * * [misc]points: Setting MPFR precision to 320 1539348822.150 * * * * [misc]points: Setting MPFR precision to 576 1539348822.150 * * * * [misc]points: Computing exacts on every 14 of 477 points to ramp up precision 1539348822.151 * * * * [misc]points: Setting MPFR precision to 320 1539348822.152 * * * * [misc]points: Setting MPFR precision to 576 1539348822.152 * * * * [misc]points: Computing exacts on every 7 of 477 points to ramp up precision 1539348822.153 * * * * [misc]points: Setting MPFR precision to 320 1539348822.155 * * * * [misc]points: Setting MPFR precision to 576 1539348822.156 * * * * [misc]points: Computing exacts on every 3 of 477 points to ramp up precision 1539348822.157 * * * * [misc]points: Setting MPFR precision to 320 1539348822.159 * * * * [misc]points: Setting MPFR precision to 576 1539348822.161 * * * * [misc]points: Computing exacts for 477 points 1539348822.162 * * * * [misc]points: Setting MPFR precision to 320 1539348822.172 * * * * [misc]points: Setting MPFR precision to 576 1539348822.215 * * * * [misc]points: Filtering points with unrepresentable outputs 1539348822.215 * * * * [misc]points: Sampling 360 additional inputs, on iter 11 have 7640 / 8000 1539348822.216 * * * * [misc]points: Computing exacts on every 22 of 360 points to ramp up precision 1539348822.218 * * * * [misc]points: Setting MPFR precision to 320 1539348822.218 * * * * [misc]points: Setting MPFR precision to 576 1539348822.218 * * * * [misc]points: Computing exacts on every 11 of 360 points to ramp up precision 1539348822.220 * * * * [misc]points: Setting MPFR precision to 320 1539348822.221 * * * * [misc]points: Setting MPFR precision to 576 1539348822.222 * * * * [misc]points: Computing exacts on every 5 of 360 points to ramp up precision 1539348822.228 * * * * [misc]points: Setting MPFR precision to 320 1539348822.230 * * * * [misc]points: Setting MPFR precision to 576 1539348822.232 * * * * [misc]points: Computing exacts on every 2 of 360 points to ramp up precision 1539348822.235 * * * * [misc]points: Setting MPFR precision to 320 1539348822.239 * * * * [misc]points: Setting MPFR precision to 576 1539348822.243 * * * * [misc]points: Computing exacts for 360 points 1539348822.245 * * * * [misc]points: Setting MPFR precision to 320 1539348822.257 * * * * [misc]points: Setting MPFR precision to 576 1539348822.270 * * * * [misc]points: Filtering points with unrepresentable outputs 1539348822.270 * * * * [misc]points: Sampling 274 additional inputs, on iter 12 have 7726 / 8000 1539348822.271 * * * * [misc]points: Computing exacts on every 17 of 274 points to ramp up precision 1539348822.274 * * * * [misc]points: Setting MPFR precision to 320 1539348822.274 * * * * [misc]points: Setting MPFR precision to 576 1539348822.275 * * * * [misc]points: Computing exacts on every 8 of 274 points to ramp up precision 1539348822.277 * * * * [misc]points: Setting MPFR precision to 320 1539348822.278 * * * * [misc]points: Setting MPFR precision to 576 1539348822.279 * * * * [misc]points: Computing exacts on every 4 of 274 points to ramp up precision 1539348822.282 * * * * [misc]points: Setting MPFR precision to 320 1539348822.283 * * * * [misc]points: Setting MPFR precision to 576 1539348822.285 * * * * [misc]points: Computing exacts on every 2 of 274 points to ramp up precision 1539348822.288 * * * * [misc]points: Setting MPFR precision to 320 1539348822.291 * * * * [misc]points: Setting MPFR precision to 576 1539348822.294 * * * * [misc]points: Computing exacts for 274 points 1539348822.296 * * * * [misc]points: Setting MPFR precision to 320 1539348822.305 * * * * [misc]points: Setting MPFR precision to 576 1539348822.315 * * * * [misc]points: Filtering points with unrepresentable outputs 1539348822.315 * * * * [misc]points: Sampling 208 additional inputs, on iter 13 have 7792 / 8000 1539348822.316 * * * * [misc]points: Computing exacts on every 13 of 208 points to ramp up precision 1539348822.318 * * * * [misc]points: Setting MPFR precision to 320 1539348822.319 * * * * [misc]points: Setting MPFR precision to 576 1539348822.320 * * * * [misc]points: Computing exacts on every 6 of 208 points to ramp up precision 1539348822.322 * * * * [misc]points: Setting MPFR precision to 320 1539348822.323 * * * * [misc]points: Setting MPFR precision to 576 1539348822.324 * * * * [misc]points: Computing exacts on every 3 of 208 points to ramp up precision 1539348822.327 * * * * [misc]points: Setting MPFR precision to 320 1539348822.329 * * * * [misc]points: Setting MPFR precision to 576 1539348822.331 * * * * [misc]points: Computing exacts for 208 points 1539348822.333 * * * * [misc]points: Setting MPFR precision to 320 1539348822.340 * * * * [misc]points: Setting MPFR precision to 576 1539348822.347 * * * * [misc]points: Filtering points with unrepresentable outputs 1539348822.348 * * * * [misc]points: Sampling 148 additional inputs, on iter 14 have 7852 / 8000 1539348822.348 * * * * [misc]points: Computing exacts on every 9 of 148 points to ramp up precision 1539348822.351 * * * * [misc]points: Setting MPFR precision to 320 1539348822.351 * * * * [misc]points: Setting MPFR precision to 576 1539348822.352 * * * * [misc]points: Computing exacts on every 4 of 148 points to ramp up precision 1539348822.354 * * * * [misc]points: Setting MPFR precision to 320 1539348822.355 * * * * [misc]points: Setting MPFR precision to 576 1539348822.356 * * * * [misc]points: Computing exacts on every 2 of 148 points to ramp up precision 1539348822.359 * * * * [misc]points: Setting MPFR precision to 320 1539348822.361 * * * * [misc]points: Setting MPFR precision to 576 1539348822.362 * * * * [misc]points: Computing exacts for 148 points 1539348822.399 * * * * [misc]points: Setting MPFR precision to 320 1539348822.404 * * * * [misc]points: Setting MPFR precision to 576 1539348822.409 * * * * [misc]points: Filtering points with unrepresentable outputs 1539348822.409 * * * * [misc]points: Sampling 114 additional inputs, on iter 15 have 7886 / 8000 1539348822.409 * * * * [misc]points: Computing exacts on every 7 of 114 points to ramp up precision 1539348822.414 * * * * [misc]points: Setting MPFR precision to 320 1539348822.415 * * * * [misc]points: Setting MPFR precision to 576 1539348822.416 * * * * [misc]points: Computing exacts on every 3 of 114 points to ramp up precision 1539348822.418 * * * * [misc]points: Setting MPFR precision to 320 1539348822.419 * * * * [misc]points: Setting MPFR precision to 576 1539348822.420 * * * * [misc]points: Computing exacts for 114 points 1539348822.422 * * * * [misc]points: Setting MPFR precision to 320 1539348822.426 * * * * [misc]points: Setting MPFR precision to 576 1539348822.431 * * * * [misc]points: Filtering points with unrepresentable outputs 1539348822.431 * * * * [misc]points: Sampling 82 additional inputs, on iter 16 have 7918 / 8000 1539348822.431 * * * * [misc]points: Computing exacts on every 5 of 82 points to ramp up precision 1539348822.434 * * * * [misc]points: Setting MPFR precision to 320 1539348822.434 * * * * [misc]points: Setting MPFR precision to 576 1539348822.435 * * * * [misc]points: Computing exacts on every 2 of 82 points to ramp up precision 1539348822.437 * * * * [misc]points: Setting MPFR precision to 320 1539348822.438 * * * * [misc]points: Setting MPFR precision to 576 1539348822.439 * * * * [misc]points: Computing exacts for 82 points 1539348822.441 * * * * [misc]points: Setting MPFR precision to 320 1539348822.444 * * * * [misc]points: Setting MPFR precision to 576 1539348822.447 * * * * [misc]points: Filtering points with unrepresentable outputs 1539348822.447 * * * * [misc]points: Sampling 63 additional inputs, on iter 17 have 7937 / 8000 1539348822.447 * * * * [misc]points: Computing exacts on every 3 of 63 points to ramp up precision 1539348822.450 * * * * [misc]points: Setting MPFR precision to 320 1539348822.450 * * * * [misc]points: Setting MPFR precision to 576 1539348822.451 * * * * [misc]points: Computing exacts for 63 points 1539348822.453 * * * * [misc]points: Setting MPFR precision to 320 1539348822.456 * * * * [misc]points: Setting MPFR precision to 576 1539348822.458 * * * * [misc]points: Filtering points with unrepresentable outputs 1539348822.458 * * * * [misc]points: Sampling 47 additional inputs, on iter 18 have 7953 / 8000 1539348822.458 * * * * [misc]points: Computing exacts on every 2 of 47 points to ramp up precision 1539348822.460 * * * * [misc]points: Setting MPFR precision to 320 1539348822.461 * * * * [misc]points: Setting MPFR precision to 576 1539348822.462 * * * * [misc]points: Computing exacts for 47 points 1539348822.464 * * * * [misc]points: Setting MPFR precision to 320 1539348822.466 * * * * [misc]points: Setting MPFR precision to 576 1539348822.467 * * * * [misc]points: Filtering points with unrepresentable outputs 1539348822.467 * * * * [misc]points: Sampling 33 additional inputs, on iter 19 have 7967 / 8000 1539348822.468 * * * * [misc]points: Computing exacts on every 2 of 33 points to ramp up precision 1539348822.470 * * * * [misc]points: Setting MPFR precision to 320 1539348822.471 * * * * [misc]points: Setting MPFR precision to 576 1539348822.471 * * * * [misc]points: Computing exacts for 33 points 1539348822.473 * * * * [misc]points: Setting MPFR precision to 320 1539348822.474 * * * * [misc]points: Setting MPFR precision to 576 1539348822.476 * * * * [misc]points: Filtering points with unrepresentable outputs 1539348822.476 * * * * [misc]points: Sampling 23 additional inputs, on iter 20 have 7977 / 8000 1539348822.476 * * * * [misc]points: Computing exacts for 23 points 1539348822.478 * * * * [misc]points: Setting MPFR precision to 320 1539348822.479 * * * * [misc]points: Setting MPFR precision to 576 1539348822.480 * * * * [misc]points: Filtering points with unrepresentable outputs 1539348822.480 * * * * [misc]points: Sampling 19 additional inputs, on iter 21 have 7981 / 8000 1539348822.480 * * * * [misc]points: Computing exacts for 19 points 1539348822.483 * * * * [misc]points: Setting MPFR precision to 320 1539348822.483 * * * * [misc]points: Setting MPFR precision to 576 1539348822.484 * * * * [misc]points: Filtering points with unrepresentable outputs 1539348822.484 * * * * [misc]points: Sampling 16 additional inputs, on iter 22 have 7984 / 8000 1539348822.484 * * * * [misc]points: Computing exacts for 16 points 1539348822.487 * * * * [misc]points: Setting MPFR precision to 320 1539348822.488 * * * * [misc]points: Setting MPFR precision to 576 1539348822.488 * * * * [misc]points: Filtering points with unrepresentable outputs 1539348822.488 * * * * [misc]points: Sampling 11 additional inputs, on iter 23 have 7989 / 8000 1539348822.489 * * * * [misc]points: Computing exacts for 11 points 1539348822.491 * * * * [misc]points: Setting MPFR precision to 320 1539348822.492 * * * * [misc]points: Setting MPFR precision to 576 1539348822.492 * * * * [misc]points: Filtering points with unrepresentable outputs 1539348822.492 * * * * [misc]points: Sampling 9 additional inputs, on iter 24 have 7991 / 8000 1539348822.492 * * * * [misc]points: Computing exacts for 9 points 1539348822.495 * * * * [misc]points: Setting MPFR precision to 320 1539348822.495 * * * * [misc]points: Setting MPFR precision to 576 1539348822.495 * * * * [misc]points: Filtering points with unrepresentable outputs 1539348822.496 * * * * [misc]points: Sampling 8 additional inputs, on iter 25 have 7992 / 8000 1539348822.496 * * * * [misc]points: Computing exacts for 8 points 1539348822.498 * * * * [misc]points: Setting MPFR precision to 320 1539348822.499 * * * * [misc]points: Setting MPFR precision to 576 1539348822.499 * * * * [misc]points: Filtering points with unrepresentable outputs 1539348822.499 * * * * [misc]points: Sampling 4 additional inputs, on iter 26 have 7996 / 8000 1539348822.499 * * * * [misc]points: Computing exacts for 4 points 1539348822.502 * * * * [misc]points: Setting MPFR precision to 320 1539348822.502 * * * * [misc]points: Setting MPFR precision to 576 1539348822.503 * * * * [misc]points: Filtering points with unrepresentable outputs 1539348822.503 * * * * [misc]points: Sampling 4 additional inputs, on iter 27 have 7997 / 8000 1539348822.503 * * * * [misc]points: Computing exacts for 4 points 1539348822.505 * * * * [misc]points: Setting MPFR precision to 320 1539348822.505 * * * * [misc]points: Setting MPFR precision to 576 1539348822.506 * * * * [misc]points: Filtering points with unrepresentable outputs 1539348822.506 * * * * [misc]points: Sampling 4 additional inputs, on iter 28 have 7998 / 8000 1539348822.506 * * * * [misc]points: Computing exacts for 4 points 1539348822.508 * * * * [misc]points: Setting MPFR precision to 320 1539348822.508 * * * * [misc]points: Setting MPFR precision to 576 1539348822.509 * * * * [misc]points: Filtering points with unrepresentable outputs 1539348822.509 * * * * [exit]points: Sampled 8000 points with exact outputs 1539348822.688 * [misc]regime-testing: Baseline error score: 0.011727301980223415 1539348822.688 * [misc]regime-testing: End program error score: 0.011727301980223415 1539348822.689 * [misc]regime-testing: Oracle error score: 0.011727301980223415