1539795454.654 * [misc]progress: [Phase 1 of 3] Setting up. 1539795454.656 * * * [misc]progress: [1/2] Preparing points 1539795454.658 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1539795454.662 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1539795454.803 * * * * [misc]points: Setting MPFR precision to 64 1539795454.805 * * * * [misc]points: Setting MPFR precision to 320 1539795454.847 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1539795454.850 * * * * [misc]points: Setting MPFR precision to 64 1539795454.852 * * * * [misc]points: Setting MPFR precision to 320 1539795454.854 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1539795454.858 * * * * [misc]points: Setting MPFR precision to 64 1539795454.861 * * * * [misc]points: Setting MPFR precision to 320 1539795454.864 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1539795454.867 * * * * [misc]points: Setting MPFR precision to 64 1539795454.869 * * * * [misc]points: Setting MPFR precision to 320 1539795454.871 * * * * [misc]points: Computing exacts for 256 points 1539795454.873 * * * * [misc]points: Setting MPFR precision to 64 1539795454.879 * * * * [misc]points: Setting MPFR precision to 320 1539795454.885 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795454.886 * * * * [misc]points: Sampling 147 additional inputs, on iter 1 have 109 / 256 1539795454.886 * * * * [misc]points: Computing exacts on every 9 of 147 points to ramp up precision 1539795454.888 * * * * [misc]points: Setting MPFR precision to 64 1539795454.888 * * * * [misc]points: Setting MPFR precision to 320 1539795454.889 * * * * [misc]points: Computing exacts on every 4 of 147 points to ramp up precision 1539795454.890 * * * * [misc]points: Setting MPFR precision to 64 1539795454.924 * * * * [misc]points: Setting MPFR precision to 320 1539795454.925 * * * * [misc]points: Computing exacts on every 2 of 147 points to ramp up precision 1539795454.928 * * * * [misc]points: Setting MPFR precision to 64 1539795454.929 * * * * [misc]points: Setting MPFR precision to 320 1539795454.931 * * * * [misc]points: Computing exacts for 147 points 1539795454.933 * * * * [misc]points: Setting MPFR precision to 64 1539795454.938 * * * * [misc]points: Setting MPFR precision to 320 1539795454.943 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795454.943 * * * * [misc]points: Sampling 88 additional inputs, on iter 2 have 168 / 256 1539795454.944 * * * * [misc]points: Computing exacts on every 5 of 88 points to ramp up precision 1539795454.945 * * * * [misc]points: Setting MPFR precision to 64 1539795454.946 * * * * [misc]points: Setting MPFR precision to 320 1539795454.946 * * * * [misc]points: Computing exacts on every 2 of 88 points to ramp up precision 1539795454.948 * * * * [misc]points: Setting MPFR precision to 64 1539795454.949 * * * * [misc]points: Setting MPFR precision to 320 1539795454.950 * * * * [misc]points: Computing exacts for 88 points 1539795454.951 * * * * [misc]points: Setting MPFR precision to 64 1539795454.954 * * * * [misc]points: Setting MPFR precision to 320 1539795454.957 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795454.957 * * * * [misc]points: Sampling 54 additional inputs, on iter 3 have 202 / 256 1539795454.958 * * * * [misc]points: Computing exacts on every 3 of 54 points to ramp up precision 1539795454.960 * * * * [misc]points: Setting MPFR precision to 64 1539795454.961 * * * * [misc]points: Setting MPFR precision to 320 1539795454.961 * * * * [misc]points: Computing exacts for 54 points 1539795454.963 * * * * [misc]points: Setting MPFR precision to 64 1539795455.018 * * * * [misc]points: Setting MPFR precision to 320 1539795455.020 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795455.020 * * * * [misc]points: Sampling 27 additional inputs, on iter 4 have 229 / 256 1539795455.020 * * * * [misc]points: Computing exacts for 27 points 1539795455.022 * * * * [misc]points: Setting MPFR precision to 64 1539795455.024 * * * * [misc]points: Setting MPFR precision to 320 1539795455.025 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795455.025 * * * * [misc]points: Sampling 17 additional inputs, on iter 5 have 239 / 256 1539795455.025 * * * * [misc]points: Computing exacts for 17 points 1539795455.027 * * * * [misc]points: Setting MPFR precision to 64 1539795455.027 * * * * [misc]points: Setting MPFR precision to 320 1539795455.028 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795455.028 * * * * [misc]points: Sampling 11 additional inputs, on iter 6 have 245 / 256 1539795455.028 * * * * [misc]points: Computing exacts for 11 points 1539795455.029 * * * * [misc]points: Setting MPFR precision to 64 1539795455.030 * * * * [misc]points: Setting MPFR precision to 320 1539795455.031 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795455.031 * * * * [misc]points: Sampling 6 additional inputs, on iter 7 have 250 / 256 1539795455.031 * * * * [misc]points: Computing exacts for 6 points 1539795455.032 * * * * [misc]points: Setting MPFR precision to 64 1539795455.032 * * * * [misc]points: Setting MPFR precision to 320 1539795455.032 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795455.032 * * * * [misc]points: Sampling 6 additional inputs, on iter 8 have 250 / 256 1539795455.032 * * * * [misc]points: Computing exacts for 6 points 1539795455.034 * * * * [misc]points: Setting MPFR precision to 64 1539795455.035 * * * * [misc]points: Setting MPFR precision to 320 1539795455.035 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795455.035 * * * * [misc]points: Sampling 4 additional inputs, on iter 9 have 252 / 256 1539795455.035 * * * * [misc]points: Computing exacts for 4 points 1539795455.036 * * * * [misc]points: Setting MPFR precision to 64 1539795455.036 * * * * [misc]points: Setting MPFR precision to 320 1539795455.036 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795455.036 * * * * [misc]points: Sampling 4 additional inputs, on iter 10 have 253 / 256 1539795455.036 * * * * [misc]points: Computing exacts for 4 points 1539795455.037 * * * * [misc]points: Setting MPFR precision to 64 1539795455.037 * * * * [misc]points: Setting MPFR precision to 320 1539795455.038 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795455.038 * * * * [misc]points: Sampling 4 additional inputs, on iter 11 have 254 / 256 1539795455.038 * * * * [misc]points: Computing exacts for 4 points 1539795455.039 * * * * [misc]points: Setting MPFR precision to 64 1539795455.039 * * * * [misc]points: Setting MPFR precision to 320 1539795455.039 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795455.039 * * * * [exit]points: Sampled 257 points with exact outputs 1539795455.039 * * * [misc]progress: [2/2] Setting up program. 1539795455.043 * [misc]progress: [Phase 2 of 3] Improving. 1539795455.044 * [enter]simplify: Simplifying (- (pow x 4) (pow y 4)) 1539795455.045 * * [misc]simplify: iters left: 3 (6 enodes) 1539795455.049 * * [misc]simplify: iters left: 2 (8 enodes) 1539795455.050 * * [misc]simplify: iters left: 1 (9 enodes) 1539795455.052 * [exit]simplify: Simplified to (- (pow x 4) (pow y 4)) 1539795455.062 * * [misc]progress: iteration 1 / 4 1539795455.062 * * * [misc]progress: picking best candidate 1539795455.065 * * * * [misc]pick: Picked # 1539795455.065 * * * [misc]progress: localizing error 1539795455.077 * * * [misc]progress: generating rewritten candidates 1539795455.077 * * * [misc]progress: generating series expansions 1539795455.077 * * * [misc]progress: simplifying candidates 1539795455.077 * * * [misc]progress: adding candidates to table 1539795455.077 * [misc]progress: [Phase 3 of 3] Extracting. 1539795455.080 * [enter]simplify: Simplifying (- (pow x 4) (pow y 4)) 1539795455.080 * * [misc]simplify: iters left: 3 (6 enodes) 1539795455.080 * [exit]simplify: Simplified to (- (pow x 4) (pow y 4)) 1539795455.080 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1539795455.159 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1539795455.162 * * * * [misc]points: Setting MPFR precision to 64 1539795455.165 * * * * [misc]points: Setting MPFR precision to 320 1539795455.165 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1539795455.168 * * * * [misc]points: Setting MPFR precision to 64 1539795455.169 * * * * [misc]points: Setting MPFR precision to 320 1539795455.171 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1539795455.173 * * * * [misc]points: Setting MPFR precision to 64 1539795455.176 * * * * [misc]points: Setting MPFR precision to 320 1539795455.179 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1539795455.181 * * * * [misc]points: Setting MPFR precision to 64 1539795455.186 * * * * [misc]points: Setting MPFR precision to 320 1539795455.192 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1539795455.194 * * * * [misc]points: Setting MPFR precision to 64 1539795455.204 * * * * [misc]points: Setting MPFR precision to 320 1539795455.209 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1539795455.210 * * * * [misc]points: Setting MPFR precision to 64 1539795455.220 * * * * [misc]points: Setting MPFR precision to 320 1539795455.231 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1539795455.232 * * * * [misc]points: Setting MPFR precision to 64 1539795455.301 * * * * [misc]points: Setting MPFR precision to 320 1539795455.342 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1539795455.345 * * * * [misc]points: Setting MPFR precision to 64 1539795455.409 * * * * [misc]points: Setting MPFR precision to 320 1539795455.936 * * * * [misc]points: Computing exacts for 8000 points 1539795455.938 * * * * [misc]points: Setting MPFR precision to 64 1539795456.263 * * * * [misc]points: Setting MPFR precision to 320 1539795456.553 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795456.554 * * * * [misc]points: Sampling 4803 additional inputs, on iter 1 have 3197 / 8000 1539795456.601 * * * * [misc]points: Computing exacts on every 300 of 4803 points to ramp up precision 1539795456.602 * * * * [misc]points: Setting MPFR precision to 64 1539795456.602 * * * * [misc]points: Setting MPFR precision to 320 1539795456.603 * * * * [misc]points: Computing exacts on every 150 of 4803 points to ramp up precision 1539795456.604 * * * * [misc]points: Setting MPFR precision to 64 1539795456.606 * * * * [misc]points: Setting MPFR precision to 320 1539795456.607 * * * * [misc]points: Computing exacts on every 75 of 4803 points to ramp up precision 1539795456.609 * * * * [misc]points: Setting MPFR precision to 64 1539795456.612 * * * * [misc]points: Setting MPFR precision to 320 1539795456.614 * * * * [misc]points: Computing exacts on every 37 of 4803 points to ramp up precision 1539795456.615 * * * * [misc]points: Setting MPFR precision to 64 1539795456.618 * * * * [misc]points: Setting MPFR precision to 320 1539795456.620 * * * * [misc]points: Computing exacts on every 18 of 4803 points to ramp up precision 1539795456.621 * * * * [misc]points: Setting MPFR precision to 64 1539795456.626 * * * * [misc]points: Setting MPFR precision to 320 1539795456.632 * * * * [misc]points: Computing exacts on every 9 of 4803 points to ramp up precision 1539795456.633 * * * * [misc]points: Setting MPFR precision to 64 1539795456.643 * * * * [misc]points: Setting MPFR precision to 320 1539795456.653 * * * * [misc]points: Computing exacts on every 4 of 4803 points to ramp up precision 1539795456.654 * * * * [misc]points: Setting MPFR precision to 64 1539795456.677 * * * * [misc]points: Setting MPFR precision to 320 1539795456.703 * * * * [misc]points: Computing exacts on every 2 of 4803 points to ramp up precision 1539795456.705 * * * * [misc]points: Setting MPFR precision to 64 1539795456.803 * * * * [misc]points: Setting MPFR precision to 320 1539795456.869 * * * * [misc]points: Computing exacts for 4803 points 1539795456.871 * * * * [misc]points: Setting MPFR precision to 64 1539795457.050 * * * * [misc]points: Setting MPFR precision to 320 1539795457.240 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795457.241 * * * * [misc]points: Sampling 2986 additional inputs, on iter 2 have 5014 / 8000 1539795457.253 * * * * [misc]points: Computing exacts on every 186 of 2986 points to ramp up precision 1539795457.254 * * * * [misc]points: Setting MPFR precision to 64 1539795457.255 * * * * [misc]points: Setting MPFR precision to 320 1539795457.255 * * * * [misc]points: Computing exacts on every 93 of 2986 points to ramp up precision 1539795457.256 * * * * [misc]points: Setting MPFR precision to 64 1539795457.257 * * * * [misc]points: Setting MPFR precision to 320 1539795457.257 * * * * [misc]points: Computing exacts on every 46 of 2986 points to ramp up precision 1539795457.258 * * * * [misc]points: Setting MPFR precision to 64 1539795457.260 * * * * [misc]points: Setting MPFR precision to 320 1539795457.261 * * * * [misc]points: Computing exacts on every 23 of 2986 points to ramp up precision 1539795457.285 * * * * [misc]points: Setting MPFR precision to 64 1539795457.288 * * * * [misc]points: Setting MPFR precision to 320 1539795457.293 * * * * [misc]points: Computing exacts on every 11 of 2986 points to ramp up precision 1539795457.298 * * * * [misc]points: Setting MPFR precision to 64 1539795457.308 * * * * [misc]points: Setting MPFR precision to 320 1539795457.318 * * * * [misc]points: Computing exacts on every 5 of 2986 points to ramp up precision 1539795457.320 * * * * [misc]points: Setting MPFR precision to 64 1539795457.340 * * * * [misc]points: Setting MPFR precision to 320 1539795457.360 * * * * [misc]points: Computing exacts on every 2 of 2986 points to ramp up precision 1539795457.362 * * * * [misc]points: Setting MPFR precision to 64 1539795457.401 * * * * [misc]points: Setting MPFR precision to 320 1539795457.442 * * * * [misc]points: Computing exacts for 2986 points 1539795457.444 * * * * [misc]points: Setting MPFR precision to 64 1539795457.592 * * * * [misc]points: Setting MPFR precision to 320 1539795457.728 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795457.729 * * * * [misc]points: Sampling 1853 additional inputs, on iter 3 have 6147 / 8000 1539795457.739 * * * * [misc]points: Computing exacts on every 115 of 1853 points to ramp up precision 1539795457.740 * * * * [misc]points: Setting MPFR precision to 64 1539795457.741 * * * * [misc]points: Setting MPFR precision to 320 1539795457.741 * * * * [misc]points: Computing exacts on every 57 of 1853 points to ramp up precision 1539795457.742 * * * * [misc]points: Setting MPFR precision to 64 1539795457.743 * * * * [misc]points: Setting MPFR precision to 320 1539795457.743 * * * * [misc]points: Computing exacts on every 28 of 1853 points to ramp up precision 1539795457.744 * * * * [misc]points: Setting MPFR precision to 64 1539795457.746 * * * * [misc]points: Setting MPFR precision to 320 1539795457.747 * * * * [misc]points: Computing exacts on every 14 of 1853 points to ramp up precision 1539795457.748 * * * * [misc]points: Setting MPFR precision to 64 1539795457.751 * * * * [misc]points: Setting MPFR precision to 320 1539795457.753 * * * * [misc]points: Computing exacts on every 7 of 1853 points to ramp up precision 1539795457.754 * * * * [misc]points: Setting MPFR precision to 64 1539795457.763 * * * * [misc]points: Setting MPFR precision to 320 1539795457.773 * * * * [misc]points: Computing exacts on every 3 of 1853 points to ramp up precision 1539795457.775 * * * * [misc]points: Setting MPFR precision to 64 1539795457.794 * * * * [misc]points: Setting MPFR precision to 320 1539795457.810 * * * * [misc]points: Computing exacts for 1853 points 1539795457.812 * * * * [misc]points: Setting MPFR precision to 64 1539795457.873 * * * * [misc]points: Setting MPFR precision to 320 1539795457.913 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795457.913 * * * * [misc]points: Sampling 1138 additional inputs, on iter 4 have 6862 / 8000 1539795457.918 * * * * [misc]points: Computing exacts on every 71 of 1138 points to ramp up precision 1539795457.919 * * * * [misc]points: Setting MPFR precision to 64 1539795457.920 * * * * [misc]points: Setting MPFR precision to 320 1539795457.920 * * * * [misc]points: Computing exacts on every 35 of 1138 points to ramp up precision 1539795457.921 * * * * [misc]points: Setting MPFR precision to 64 1539795457.922 * * * * [misc]points: Setting MPFR precision to 320 1539795457.922 * * * * [misc]points: Computing exacts on every 17 of 1138 points to ramp up precision 1539795457.923 * * * * [misc]points: Setting MPFR precision to 64 1539795457.925 * * * * [misc]points: Setting MPFR precision to 320 1539795457.926 * * * * [misc]points: Computing exacts on every 8 of 1138 points to ramp up precision 1539795457.927 * * * * [misc]points: Setting MPFR precision to 64 1539795457.930 * * * * [misc]points: Setting MPFR precision to 320 1539795457.932 * * * * [misc]points: Setting MPFR precision to 576 1539795457.935 * * * * [misc]points: Computing exacts on every 4 of 1138 points to ramp up precision 1539795457.937 * * * * [misc]points: Setting MPFR precision to 320 1539795457.946 * * * * [misc]points: Setting MPFR precision to 576 1539795457.955 * * * * [misc]points: Computing exacts on every 2 of 1138 points to ramp up precision 1539795457.957 * * * * [misc]points: Setting MPFR precision to 320 1539795457.972 * * * * [misc]points: Setting MPFR precision to 576 1539795458.364 * * * * [misc]points: Computing exacts for 1138 points 1539795458.367 * * * * [misc]points: Setting MPFR precision to 320 1539795458.418 * * * * [misc]points: Setting MPFR precision to 576 1539795458.460 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795458.461 * * * * [misc]points: Sampling 709 additional inputs, on iter 5 have 7291 / 8000 1539795458.463 * * * * [misc]points: Computing exacts on every 44 of 709 points to ramp up precision 1539795458.465 * * * * [misc]points: Setting MPFR precision to 320 1539795458.465 * * * * [misc]points: Setting MPFR precision to 576 1539795458.466 * * * * [misc]points: Computing exacts on every 22 of 709 points to ramp up precision 1539795458.467 * * * * [misc]points: Setting MPFR precision to 320 1539795458.467 * * * * [misc]points: Setting MPFR precision to 576 1539795458.468 * * * * [misc]points: Computing exacts on every 11 of 709 points to ramp up precision 1539795458.469 * * * * [misc]points: Setting MPFR precision to 320 1539795458.471 * * * * [misc]points: Setting MPFR precision to 576 1539795458.472 * * * * [misc]points: Computing exacts on every 5 of 709 points to ramp up precision 1539795458.473 * * * * [misc]points: Setting MPFR precision to 320 1539795458.476 * * * * [misc]points: Setting MPFR precision to 576 1539795458.478 * * * * [misc]points: Computing exacts on every 2 of 709 points to ramp up precision 1539795458.479 * * * * [misc]points: Setting MPFR precision to 320 1539795458.484 * * * * [misc]points: Setting MPFR precision to 576 1539795458.489 * * * * [misc]points: Computing exacts for 709 points 1539795458.490 * * * * [misc]points: Setting MPFR precision to 320 1539795458.530 * * * * [misc]points: Setting MPFR precision to 576 1539795458.544 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795458.544 * * * * [misc]points: Sampling 430 additional inputs, on iter 6 have 7570 / 8000 1539795458.546 * * * * [misc]points: Computing exacts on every 26 of 430 points to ramp up precision 1539795458.548 * * * * [misc]points: Setting MPFR precision to 320 1539795458.548 * * * * [misc]points: Setting MPFR precision to 576 1539795458.548 * * * * [misc]points: Computing exacts on every 13 of 430 points to ramp up precision 1539795458.550 * * * * [misc]points: Setting MPFR precision to 320 1539795458.550 * * * * [misc]points: Setting MPFR precision to 576 1539795458.551 * * * * [misc]points: Computing exacts on every 6 of 430 points to ramp up precision 1539795458.552 * * * * [misc]points: Setting MPFR precision to 320 1539795458.553 * * * * [misc]points: Setting MPFR precision to 576 1539795458.555 * * * * [misc]points: Computing exacts on every 3 of 430 points to ramp up precision 1539795458.556 * * * * [misc]points: Setting MPFR precision to 320 1539795458.558 * * * * [misc]points: Setting MPFR precision to 576 1539795458.560 * * * * [misc]points: Computing exacts for 430 points 1539795458.562 * * * * [misc]points: Setting MPFR precision to 320 1539795458.571 * * * * [misc]points: Setting MPFR precision to 576 1539795458.580 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795458.580 * * * * [misc]points: Sampling 263 additional inputs, on iter 7 have 7737 / 8000 1539795458.581 * * * * [misc]points: Computing exacts on every 16 of 263 points to ramp up precision 1539795458.582 * * * * [misc]points: Setting MPFR precision to 320 1539795458.583 * * * * [misc]points: Setting MPFR precision to 576 1539795458.583 * * * * [misc]points: Computing exacts on every 8 of 263 points to ramp up precision 1539795458.585 * * * * [misc]points: Setting MPFR precision to 320 1539795458.587 * * * * [misc]points: Setting MPFR precision to 576 1539795458.588 * * * * [misc]points: Computing exacts on every 4 of 263 points to ramp up precision 1539795458.590 * * * * [misc]points: Setting MPFR precision to 320 1539795458.592 * * * * [misc]points: Setting MPFR precision to 576 1539795458.593 * * * * [misc]points: Computing exacts on every 2 of 263 points to ramp up precision 1539795458.594 * * * * [misc]points: Setting MPFR precision to 320 1539795458.596 * * * * [misc]points: Setting MPFR precision to 576 1539795458.598 * * * * [misc]points: Computing exacts for 263 points 1539795458.599 * * * * [misc]points: Setting MPFR precision to 320 1539795458.604 * * * * [misc]points: Setting MPFR precision to 576 1539795458.641 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795458.642 * * * * [misc]points: Sampling 142 additional inputs, on iter 8 have 7858 / 8000 1539795458.643 * * * * [misc]points: Computing exacts on every 8 of 142 points to ramp up precision 1539795458.645 * * * * [misc]points: Setting MPFR precision to 320 1539795458.646 * * * * [misc]points: Setting MPFR precision to 576 1539795458.647 * * * * [misc]points: Computing exacts on every 4 of 142 points to ramp up precision 1539795458.653 * * * * [misc]points: Setting MPFR precision to 320 1539795458.654 * * * * [misc]points: Setting MPFR precision to 576 1539795458.655 * * * * [misc]points: Computing exacts on every 2 of 142 points to ramp up precision 1539795458.657 * * * * [misc]points: Setting MPFR precision to 320 1539795458.659 * * * * [misc]points: Setting MPFR precision to 576 1539795458.661 * * * * [misc]points: Computing exacts for 142 points 1539795458.663 * * * * [misc]points: Setting MPFR precision to 320 1539795458.666 * * * * [misc]points: Setting MPFR precision to 576 1539795458.669 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795458.669 * * * * [misc]points: Sampling 89 additional inputs, on iter 9 have 7911 / 8000 1539795458.670 * * * * [misc]points: Computing exacts on every 5 of 89 points to ramp up precision 1539795458.671 * * * * [misc]points: Setting MPFR precision to 320 1539795458.671 * * * * [misc]points: Setting MPFR precision to 576 1539795458.672 * * * * [misc]points: Computing exacts on every 2 of 89 points to ramp up precision 1539795458.673 * * * * [misc]points: Setting MPFR precision to 320 1539795458.674 * * * * [misc]points: Setting MPFR precision to 576 1539795458.674 * * * * [misc]points: Computing exacts for 89 points 1539795458.675 * * * * [misc]points: Setting MPFR precision to 320 1539795458.677 * * * * [misc]points: Setting MPFR precision to 576 1539795458.679 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795458.679 * * * * [misc]points: Sampling 53 additional inputs, on iter 10 have 7947 / 8000 1539795458.679 * * * * [misc]points: Computing exacts on every 3 of 53 points to ramp up precision 1539795458.681 * * * * [misc]points: Setting MPFR precision to 320 1539795458.681 * * * * [misc]points: Setting MPFR precision to 576 1539795458.681 * * * * [misc]points: Computing exacts for 53 points 1539795458.683 * * * * [misc]points: Setting MPFR precision to 320 1539795458.684 * * * * [misc]points: Setting MPFR precision to 576 1539795458.685 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795458.685 * * * * [misc]points: Sampling 33 additional inputs, on iter 11 have 7967 / 8000 1539795458.685 * * * * [misc]points: Computing exacts on every 2 of 33 points to ramp up precision 1539795458.686 * * * * [misc]points: Setting MPFR precision to 320 1539795458.687 * * * * [misc]points: Setting MPFR precision to 576 1539795458.687 * * * * [misc]points: Computing exacts for 33 points 1539795458.688 * * * * [misc]points: Setting MPFR precision to 320 1539795458.689 * * * * [misc]points: Setting MPFR precision to 576 1539795458.690 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795458.690 * * * * [misc]points: Sampling 18 additional inputs, on iter 12 have 7982 / 8000 1539795458.690 * * * * [misc]points: Computing exacts for 18 points 1539795458.691 * * * * [misc]points: Setting MPFR precision to 320 1539795458.691 * * * * [misc]points: Setting MPFR precision to 576 1539795458.692 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795458.692 * * * * [misc]points: Sampling 12 additional inputs, on iter 13 have 7988 / 8000 1539795458.692 * * * * [misc]points: Computing exacts for 12 points 1539795458.693 * * * * [misc]points: Setting MPFR precision to 320 1539795458.693 * * * * [misc]points: Setting MPFR precision to 576 1539795458.694 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795458.694 * * * * [misc]points: Sampling 11 additional inputs, on iter 14 have 7989 / 8000 1539795458.694 * * * * [misc]points: Computing exacts for 11 points 1539795458.695 * * * * [misc]points: Setting MPFR precision to 320 1539795458.695 * * * * [misc]points: Setting MPFR precision to 576 1539795458.696 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795458.696 * * * * [misc]points: Sampling 7 additional inputs, on iter 15 have 7993 / 8000 1539795458.696 * * * * [misc]points: Computing exacts for 7 points 1539795458.697 * * * * [misc]points: Setting MPFR precision to 320 1539795458.697 * * * * [misc]points: Setting MPFR precision to 576 1539795458.697 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795458.697 * * * * [misc]points: Sampling 4 additional inputs, on iter 16 have 7998 / 8000 1539795458.697 * * * * [misc]points: Computing exacts for 4 points 1539795458.699 * * * * [misc]points: Setting MPFR precision to 320 1539795458.699 * * * * [misc]points: Setting MPFR precision to 576 1539795458.699 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795458.699 * * * * [misc]points: Sampling 4 additional inputs, on iter 17 have 7999 / 8000 1539795458.699 * * * * [misc]points: Computing exacts for 4 points 1539795458.700 * * * * [misc]points: Setting MPFR precision to 320 1539795458.700 * * * * [misc]points: Setting MPFR precision to 576 1539795458.700 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795458.700 * * * * [exit]points: Sampled 8002 points with exact outputs 1539795458.917 * [misc]regime-testing: Baseline error score: 0.0025 1539795458.917 * [misc]regime-testing: End program error score: 0.0025 1539795458.919 * [misc]regime-testing: Oracle error score: 0.0025