1536825841.739 * [misc]progress: [Phase 1 of 3] Setting up. 1536825841.739 * * * [misc]progress: [1/2] Preparing points 1536825841.740 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1536825841.742 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1536825841.785 * * * * [misc]points: Setting MPFR precision to 64 1536825841.818 * * * * [misc]points: Setting MPFR precision to 320 1536825841.819 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1536825841.820 * * * * [misc]points: Setting MPFR precision to 64 1536825841.821 * * * * [misc]points: Setting MPFR precision to 320 1536825841.822 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1536825841.823 * * * * [misc]points: Setting MPFR precision to 64 1536825841.824 * * * * [misc]points: Setting MPFR precision to 320 1536825841.826 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1536825841.827 * * * * [misc]points: Setting MPFR precision to 64 1536825841.830 * * * * [misc]points: Setting MPFR precision to 320 1536825841.834 * * * * [misc]points: Computing exacts for 256 points 1536825841.836 * * * * [misc]points: Setting MPFR precision to 64 1536825841.850 * * * * [misc]points: Setting MPFR precision to 320 1536825841.863 * * * * [misc]points: Filtering points with unrepresentable outputs 1536825841.864 * * * * [misc]points: Sampling 159 additional inputs, on iter 1 have 97 / 256 1536825841.865 * * * * [misc]points: Computing exacts on every 9 of 159 points to ramp up precision 1536825841.867 * * * * [misc]points: Setting MPFR precision to 64 1536825841.868 * * * * [misc]points: Setting MPFR precision to 320 1536825841.869 * * * * [misc]points: Computing exacts on every 4 of 159 points to ramp up precision 1536825841.871 * * * * [misc]points: Setting MPFR precision to 64 1536825841.872 * * * * [misc]points: Setting MPFR precision to 320 1536825841.874 * * * * [misc]points: Computing exacts on every 2 of 159 points to ramp up precision 1536825841.876 * * * * [misc]points: Setting MPFR precision to 64 1536825841.879 * * * * [misc]points: Setting MPFR precision to 320 1536825841.882 * * * * [misc]points: Computing exacts for 159 points 1536825841.884 * * * * [misc]points: Setting MPFR precision to 64 1536825841.892 * * * * [misc]points: Setting MPFR precision to 320 1536825841.900 * * * * [misc]points: Filtering points with unrepresentable outputs 1536825841.900 * * * * [misc]points: Sampling 103 additional inputs, on iter 2 have 153 / 256 1536825841.901 * * * * [misc]points: Computing exacts on every 6 of 103 points to ramp up precision 1536825841.902 * * * * [misc]points: Setting MPFR precision to 64 1536825841.903 * * * * [misc]points: Setting MPFR precision to 320 1536825841.904 * * * * [misc]points: Computing exacts on every 3 of 103 points to ramp up precision 1536825841.905 * * * * [misc]points: Setting MPFR precision to 64 1536825841.907 * * * * [misc]points: Setting MPFR precision to 320 1536825841.908 * * * * [misc]points: Computing exacts for 103 points 1536825841.909 * * * * [misc]points: Setting MPFR precision to 64 1536825841.914 * * * * [misc]points: Setting MPFR precision to 320 1536825841.918 * * * * [misc]points: Filtering points with unrepresentable outputs 1536825841.919 * * * * [misc]points: Sampling 65 additional inputs, on iter 3 have 191 / 256 1536825841.919 * * * * [misc]points: Computing exacts on every 4 of 65 points to ramp up precision 1536825841.921 * * * * [misc]points: Setting MPFR precision to 64 1536825841.922 * * * * [misc]points: Setting MPFR precision to 320 1536825841.922 * * * * [misc]points: Computing exacts on every 2 of 65 points to ramp up precision 1536825841.924 * * * * [misc]points: Setting MPFR precision to 64 1536825841.925 * * * * [misc]points: Setting MPFR precision to 320 1536825841.926 * * * * [misc]points: Computing exacts for 65 points 1536825841.927 * * * * [misc]points: Setting MPFR precision to 64 1536825841.930 * * * * [misc]points: Setting MPFR precision to 320 1536825841.933 * * * * [misc]points: Filtering points with unrepresentable outputs 1536825841.933 * * * * [misc]points: Sampling 42 additional inputs, on iter 4 have 214 / 256 1536825841.934 * * * * [misc]points: Computing exacts on every 2 of 42 points to ramp up precision 1536825841.935 * * * * [misc]points: Setting MPFR precision to 64 1536825841.936 * * * * [misc]points: Setting MPFR precision to 320 1536825841.937 * * * * [misc]points: Computing exacts for 42 points 1536825841.938 * * * * [misc]points: Setting MPFR precision to 64 1536825841.940 * * * * [misc]points: Setting MPFR precision to 320 1536825841.942 * * * * [misc]points: Filtering points with unrepresentable outputs 1536825841.942 * * * * [misc]points: Sampling 25 additional inputs, on iter 5 have 231 / 256 1536825841.943 * * * * [misc]points: Computing exacts for 25 points 1536825841.944 * * * * [misc]points: Setting MPFR precision to 64 1536825841.945 * * * * [misc]points: Setting MPFR precision to 320 1536825841.947 * * * * [misc]points: Filtering points with unrepresentable outputs 1536825841.947 * * * * [misc]points: Sampling 19 additional inputs, on iter 6 have 237 / 256 1536825841.947 * * * * [misc]points: Computing exacts for 19 points 1536825841.949 * * * * [misc]points: Setting MPFR precision to 64 1536825841.950 * * * * [misc]points: Setting MPFR precision to 320 1536825841.950 * * * * [misc]points: Filtering points with unrepresentable outputs 1536825841.950 * * * * [misc]points: Sampling 9 additional inputs, on iter 7 have 247 / 256 1536825841.951 * * * * [misc]points: Computing exacts for 9 points 1536825841.952 * * * * [misc]points: Setting MPFR precision to 64 1536825841.953 * * * * [misc]points: Setting MPFR precision to 320 1536825841.953 * * * * [misc]points: Filtering points with unrepresentable outputs 1536825841.953 * * * * [misc]points: Sampling 4 additional inputs, on iter 8 have 252 / 256 1536825841.953 * * * * [misc]points: Computing exacts for 4 points 1536825841.955 * * * * [misc]points: Setting MPFR precision to 64 1536825841.955 * * * * [misc]points: Setting MPFR precision to 320 1536825841.955 * * * * [misc]points: Filtering points with unrepresentable outputs 1536825841.955 * * * * [misc]points: Sampling 4 additional inputs, on iter 9 have 254 / 256 1536825841.956 * * * * [misc]points: Computing exacts for 4 points 1536825841.957 * * * * [misc]points: Setting MPFR precision to 64 1536825841.958 * * * * [misc]points: Setting MPFR precision to 320 1536825841.958 * * * * [misc]points: Filtering points with unrepresentable outputs 1536825841.958 * * * * [exit]points: Sampled 257 points with exact outputs 1536825841.959 * * * [misc]progress: [2/2] Setting up program. 1536825841.968 * [misc]progress: [Phase 2 of 3] Improving. 1536825841.969 * [enter]simplify: Simplifying (- (pow x 4) (pow y 4)) 1536825841.971 * * [misc]simplify: iters left: 3 (6 enodes) 1536825841.979 * * [misc]simplify: iters left: 2 (8 enodes) 1536825841.982 * * [misc]simplify: iters left: 1 (9 enodes) 1536825841.986 * [exit]simplify: Simplified to (- (pow x 4) (pow y 4)) 1536825842.023 * * [misc]progress: iteration 1 / 4 1536825842.023 * * * [misc]progress: picking best candidate 1536825842.028 * * * * [misc]pick: Picked # 1536825842.028 * * * [misc]progress: localizing error 1536825842.052 * * * [misc]progress: generating rewritten candidates 1536825842.052 * * * [misc]progress: generating series expansions 1536825842.053 * * * [misc]progress: simplifying candidates 1536825842.053 * * * [misc]progress: adding candidates to table 1536825842.053 * [misc]progress: [Phase 3 of 3] Extracting. 1536825842.061 * [enter]simplify: Simplifying (- (pow x 4) (pow y 4)) 1536825842.062 * * [misc]simplify: iters left: 3 (6 enodes) 1536825842.062 * [exit]simplify: Simplified to (- (pow x 4) (pow y 4)) 1536825842.063 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1536825842.551 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1536825842.552 * * * * [misc]points: Setting MPFR precision to 64 1536825842.553 * * * * [misc]points: Setting MPFR precision to 320 1536825842.554 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1536825842.556 * * * * [misc]points: Setting MPFR precision to 64 1536825842.557 * * * * [misc]points: Setting MPFR precision to 320 1536825842.559 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1536825842.561 * * * * [misc]points: Setting MPFR precision to 64 1536825842.565 * * * * [misc]points: Setting MPFR precision to 320 1536825842.568 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1536825842.570 * * * * [misc]points: Setting MPFR precision to 64 1536825842.577 * * * * [misc]points: Setting MPFR precision to 320 1536825842.583 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1536825842.585 * * * * [misc]points: Setting MPFR precision to 64 1536825842.599 * * * * [misc]points: Setting MPFR precision to 320 1536825842.612 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1536825842.614 * * * * [misc]points: Setting MPFR precision to 64 1536825842.636 * * * * [misc]points: Setting MPFR precision to 320 1536825842.649 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1536825842.650 * * * * [misc]points: Setting MPFR precision to 64 1536825842.688 * * * * [misc]points: Setting MPFR precision to 320 1536825842.793 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1536825842.795 * * * * [misc]points: Setting MPFR precision to 64 1536825842.858 * * * * [misc]points: Setting MPFR precision to 320 1536825842.934 * * * * [misc]points: Computing exacts for 8000 points 1536825842.935 * * * * [misc]points: Setting MPFR precision to 64 1536825843.351 * * * * [misc]points: Setting MPFR precision to 320 1536825843.746 * * * * [misc]points: Setting MPFR precision to 576 1536825844.085 * * * * [misc]points: Filtering points with unrepresentable outputs 1536825844.087 * * * * [misc]points: Sampling 4917 additional inputs, on iter 1 have 3083 / 8000 1536825844.157 * * * * [misc]points: Computing exacts on every 307 of 4917 points to ramp up precision 1536825844.159 * * * * [misc]points: Setting MPFR precision to 320 1536825844.160 * * * * [misc]points: Setting MPFR precision to 576 1536825844.161 * * * * [misc]points: Computing exacts on every 153 of 4917 points to ramp up precision 1536825844.163 * * * * [misc]points: Setting MPFR precision to 320 1536825844.165 * * * * [misc]points: Setting MPFR precision to 576 1536825844.166 * * * * [misc]points: Computing exacts on every 76 of 4917 points to ramp up precision 1536825844.168 * * * * [misc]points: Setting MPFR precision to 320 1536825844.172 * * * * [misc]points: Setting MPFR precision to 576 1536825844.175 * * * * [misc]points: Computing exacts on every 38 of 4917 points to ramp up precision 1536825844.177 * * * * [misc]points: Setting MPFR precision to 320 1536825844.183 * * * * [misc]points: Setting MPFR precision to 576 1536825844.187 * * * * [misc]points: Computing exacts on every 19 of 4917 points to ramp up precision 1536825844.188 * * * * [misc]points: Setting MPFR precision to 320 1536825844.194 * * * * [misc]points: Setting MPFR precision to 576 1536825844.200 * * * * [misc]points: Computing exacts on every 9 of 4917 points to ramp up precision 1536825844.201 * * * * [misc]points: Setting MPFR precision to 320 1536825844.217 * * * * [misc]points: Setting MPFR precision to 576 1536825844.245 * * * * [misc]points: Computing exacts on every 4 of 4917 points to ramp up precision 1536825844.246 * * * * [misc]points: Setting MPFR precision to 320 1536825844.297 * * * * [misc]points: Setting MPFR precision to 576 1536825844.354 * * * * [misc]points: Computing exacts on every 2 of 4917 points to ramp up precision 1536825844.356 * * * * [misc]points: Setting MPFR precision to 320 1536825844.414 * * * * [misc]points: Setting MPFR precision to 576 1536825844.480 * * * * [misc]points: Computing exacts for 4917 points 1536825844.482 * * * * [misc]points: Setting MPFR precision to 320 1536825845.123 * * * * [misc]points: Setting MPFR precision to 576 1536825845.356 * * * * [misc]points: Filtering points with unrepresentable outputs 1536825845.357 * * * * [misc]points: Sampling 3006 additional inputs, on iter 2 have 4994 / 8000 1536825845.372 * * * * [misc]points: Computing exacts on every 187 of 3006 points to ramp up precision 1536825845.373 * * * * [misc]points: Setting MPFR precision to 320 1536825845.373 * * * * [misc]points: Setting MPFR precision to 576 1536825845.374 * * * * [misc]points: Computing exacts on every 93 of 3006 points to ramp up precision 1536825845.375 * * * * [misc]points: Setting MPFR precision to 320 1536825845.376 * * * * [misc]points: Setting MPFR precision to 576 1536825845.376 * * * * [misc]points: Computing exacts on every 46 of 3006 points to ramp up precision 1536825845.377 * * * * [misc]points: Setting MPFR precision to 320 1536825845.379 * * * * [misc]points: Setting MPFR precision to 576 1536825845.381 * * * * [misc]points: Computing exacts on every 23 of 3006 points to ramp up precision 1536825845.382 * * * * [misc]points: Setting MPFR precision to 320 1536825845.385 * * * * [misc]points: Setting MPFR precision to 576 1536825845.388 * * * * [misc]points: Computing exacts on every 11 of 3006 points to ramp up precision 1536825845.389 * * * * [misc]points: Setting MPFR precision to 320 1536825845.396 * * * * [misc]points: Setting MPFR precision to 576 1536825845.436 * * * * [misc]points: Computing exacts on every 5 of 3006 points to ramp up precision 1536825845.437 * * * * [misc]points: Setting MPFR precision to 320 1536825845.451 * * * * [misc]points: Setting MPFR precision to 576 1536825845.464 * * * * [misc]points: Computing exacts on every 2 of 3006 points to ramp up precision 1536825845.465 * * * * [misc]points: Setting MPFR precision to 320 1536825845.513 * * * * [misc]points: Setting MPFR precision to 576 1536825845.558 * * * * [misc]points: Computing exacts for 3006 points 1536825845.559 * * * * [misc]points: Setting MPFR precision to 320 1536825845.669 * * * * [misc]points: Setting MPFR precision to 576 1536825845.788 * * * * [misc]points: Filtering points with unrepresentable outputs 1536825845.789 * * * * [misc]points: Sampling 1851 additional inputs, on iter 3 have 6149 / 8000 1536825845.799 * * * * [misc]points: Computing exacts on every 115 of 1851 points to ramp up precision 1536825845.800 * * * * [misc]points: Setting MPFR precision to 320 1536825845.801 * * * * [misc]points: Setting MPFR precision to 576 1536825845.802 * * * * [misc]points: Computing exacts on every 57 of 1851 points to ramp up precision 1536825845.803 * * * * [misc]points: Setting MPFR precision to 320 1536825845.804 * * * * [misc]points: Setting MPFR precision to 576 1536825845.806 * * * * [misc]points: Computing exacts on every 28 of 1851 points to ramp up precision 1536825845.807 * * * * [misc]points: Setting MPFR precision to 320 1536825845.811 * * * * [misc]points: Setting MPFR precision to 576 1536825845.814 * * * * [misc]points: Computing exacts on every 14 of 1851 points to ramp up precision 1536825845.816 * * * * [misc]points: Setting MPFR precision to 320 1536825845.822 * * * * [misc]points: Setting MPFR precision to 576 1536825845.829 * * * * [misc]points: Computing exacts on every 7 of 1851 points to ramp up precision 1536825845.830 * * * * [misc]points: Setting MPFR precision to 320 1536825845.843 * * * * [misc]points: Setting MPFR precision to 576 1536825845.849 * * * * [misc]points: Computing exacts on every 3 of 1851 points to ramp up precision 1536825845.850 * * * * [misc]points: Setting MPFR precision to 320 1536825845.862 * * * * [misc]points: Setting MPFR precision to 576 1536825845.874 * * * * [misc]points: Computing exacts for 1851 points 1536825845.875 * * * * [misc]points: Setting MPFR precision to 320 1536825845.973 * * * * [misc]points: Setting MPFR precision to 576 1536825846.035 * * * * [misc]points: Filtering points with unrepresentable outputs 1536825846.036 * * * * [misc]points: Sampling 1141 additional inputs, on iter 4 have 6859 / 8000 1536825846.046 * * * * [misc]points: Computing exacts on every 71 of 1141 points to ramp up precision 1536825846.047 * * * * [misc]points: Setting MPFR precision to 320 1536825846.048 * * * * [misc]points: Setting MPFR precision to 576 1536825846.049 * * * * [misc]points: Computing exacts on every 35 of 1141 points to ramp up precision 1536825846.051 * * * * [misc]points: Setting MPFR precision to 320 1536825846.053 * * * * [misc]points: Setting MPFR precision to 576 1536825846.055 * * * * [misc]points: Computing exacts on every 17 of 1141 points to ramp up precision 1536825846.056 * * * * [misc]points: Setting MPFR precision to 320 1536825846.060 * * * * [misc]points: Setting MPFR precision to 576 1536825846.064 * * * * [misc]points: Computing exacts on every 8 of 1141 points to ramp up precision 1536825846.065 * * * * [misc]points: Setting MPFR precision to 320 1536825846.112 * * * * [misc]points: Setting MPFR precision to 576 1536825846.123 * * * * [misc]points: Computing exacts on every 4 of 1141 points to ramp up precision 1536825846.125 * * * * [misc]points: Setting MPFR precision to 320 1536825846.137 * * * * [misc]points: Setting MPFR precision to 576 1536825846.149 * * * * [misc]points: Computing exacts on every 2 of 1141 points to ramp up precision 1536825846.151 * * * * [misc]points: Setting MPFR precision to 320 1536825846.172 * * * * [misc]points: Setting MPFR precision to 576 1536825846.192 * * * * [misc]points: Computing exacts for 1141 points 1536825846.194 * * * * [misc]points: Setting MPFR precision to 320 1536825846.254 * * * * [misc]points: Setting MPFR precision to 576 1536825846.315 * * * * [misc]points: Filtering points with unrepresentable outputs 1536825846.316 * * * * [misc]points: Sampling 704 additional inputs, on iter 5 have 7296 / 8000 1536825846.322 * * * * [misc]points: Computing exacts on every 44 of 704 points to ramp up precision 1536825846.324 * * * * [misc]points: Setting MPFR precision to 320 1536825846.360 * * * * [misc]points: Setting MPFR precision to 576 1536825846.361 * * * * [misc]points: Computing exacts on every 22 of 704 points to ramp up precision 1536825846.362 * * * * [misc]points: Setting MPFR precision to 320 1536825846.363 * * * * [misc]points: Setting MPFR precision to 576 1536825846.364 * * * * [misc]points: Computing exacts on every 11 of 704 points to ramp up precision 1536825846.365 * * * * [misc]points: Setting MPFR precision to 320 1536825846.366 * * * * [misc]points: Setting MPFR precision to 576 1536825846.368 * * * * [misc]points: Computing exacts on every 5 of 704 points to ramp up precision 1536825846.369 * * * * [misc]points: Setting MPFR precision to 320 1536825846.375 * * * * [misc]points: Setting MPFR precision to 576 1536825846.378 * * * * [misc]points: Computing exacts on every 2 of 704 points to ramp up precision 1536825846.379 * * * * [misc]points: Setting MPFR precision to 320 1536825846.385 * * * * [misc]points: Setting MPFR precision to 576 1536825846.391 * * * * [misc]points: Computing exacts for 704 points 1536825846.392 * * * * [misc]points: Setting MPFR precision to 320 1536825846.418 * * * * [misc]points: Setting MPFR precision to 576 1536825846.452 * * * * [misc]points: Filtering points with unrepresentable outputs 1536825846.452 * * * * [misc]points: Sampling 437 additional inputs, on iter 6 have 7563 / 8000 1536825846.454 * * * * [misc]points: Computing exacts on every 27 of 437 points to ramp up precision 1536825846.455 * * * * [misc]points: Setting MPFR precision to 320 1536825846.456 * * * * [misc]points: Setting MPFR precision to 576 1536825846.456 * * * * [misc]points: Computing exacts on every 13 of 437 points to ramp up precision 1536825846.457 * * * * [misc]points: Setting MPFR precision to 320 1536825846.458 * * * * [misc]points: Setting MPFR precision to 576 1536825846.459 * * * * [misc]points: Computing exacts on every 6 of 437 points to ramp up precision 1536825846.460 * * * * [misc]points: Setting MPFR precision to 320 1536825846.461 * * * * [misc]points: Setting MPFR precision to 576 1536825846.463 * * * * [misc]points: Computing exacts on every 3 of 437 points to ramp up precision 1536825846.464 * * * * [misc]points: Setting MPFR precision to 320 1536825846.467 * * * * [misc]points: Setting MPFR precision to 576 1536825846.470 * * * * [misc]points: Computing exacts for 437 points 1536825846.471 * * * * [misc]points: Setting MPFR precision to 320 1536825846.482 * * * * [misc]points: Setting MPFR precision to 576 1536825846.528 * * * * [misc]points: Filtering points with unrepresentable outputs 1536825846.528 * * * * [misc]points: Sampling 250 additional inputs, on iter 7 have 7750 / 8000 1536825846.530 * * * * [misc]points: Computing exacts on every 15 of 250 points to ramp up precision 1536825846.531 * * * * [misc]points: Setting MPFR precision to 320 1536825846.531 * * * * [misc]points: Setting MPFR precision to 576 1536825846.532 * * * * [misc]points: Computing exacts on every 7 of 250 points to ramp up precision 1536825846.533 * * * * [misc]points: Setting MPFR precision to 320 1536825846.534 * * * * [misc]points: Setting MPFR precision to 576 1536825846.534 * * * * [misc]points: Computing exacts on every 3 of 250 points to ramp up precision 1536825846.535 * * * * [misc]points: Setting MPFR precision to 320 1536825846.537 * * * * [misc]points: Setting MPFR precision to 576 1536825846.541 * * * * [misc]points: Computing exacts for 250 points 1536825846.542 * * * * [misc]points: Setting MPFR precision to 320 1536825846.549 * * * * [misc]points: Setting MPFR precision to 576 1536825846.556 * * * * [misc]points: Filtering points with unrepresentable outputs 1536825846.556 * * * * [misc]points: Sampling 158 additional inputs, on iter 8 have 7842 / 8000 1536825846.557 * * * * [misc]points: Computing exacts on every 9 of 158 points to ramp up precision 1536825846.558 * * * * [misc]points: Setting MPFR precision to 320 1536825846.558 * * * * [misc]points: Setting MPFR precision to 576 1536825846.559 * * * * [misc]points: Computing exacts on every 4 of 158 points to ramp up precision 1536825846.560 * * * * [misc]points: Setting MPFR precision to 320 1536825846.561 * * * * [misc]points: Setting MPFR precision to 576 1536825846.561 * * * * [misc]points: Computing exacts on every 2 of 158 points to ramp up precision 1536825846.562 * * * * [misc]points: Setting MPFR precision to 320 1536825846.564 * * * * [misc]points: Setting MPFR precision to 576 1536825846.567 * * * * [misc]points: Computing exacts for 158 points 1536825846.569 * * * * [misc]points: Setting MPFR precision to 320 1536825846.577 * * * * [misc]points: Setting MPFR precision to 576 1536825846.586 * * * * [misc]points: Filtering points with unrepresentable outputs 1536825846.586 * * * * [misc]points: Sampling 99 additional inputs, on iter 9 have 7901 / 8000 1536825846.587 * * * * [misc]points: Computing exacts on every 6 of 99 points to ramp up precision 1536825846.589 * * * * [misc]points: Setting MPFR precision to 320 1536825846.590 * * * * [misc]points: Setting MPFR precision to 576 1536825846.591 * * * * [misc]points: Computing exacts on every 3 of 99 points to ramp up precision 1536825846.592 * * * * [misc]points: Setting MPFR precision to 320 1536825846.594 * * * * [misc]points: Setting MPFR precision to 576 1536825846.595 * * * * [misc]points: Computing exacts for 99 points 1536825846.597 * * * * [misc]points: Setting MPFR precision to 320 1536825846.602 * * * * [misc]points: Setting MPFR precision to 576 1536825846.608 * * * * [misc]points: Filtering points with unrepresentable outputs 1536825846.608 * * * * [misc]points: Sampling 59 additional inputs, on iter 10 have 7941 / 8000 1536825846.609 * * * * [misc]points: Computing exacts on every 3 of 59 points to ramp up precision 1536825846.611 * * * * [misc]points: Setting MPFR precision to 320 1536825846.612 * * * * [misc]points: Setting MPFR precision to 576 1536825846.612 * * * * [misc]points: Computing exacts for 59 points 1536825846.614 * * * * [misc]points: Setting MPFR precision to 320 1536825846.617 * * * * [misc]points: Setting MPFR precision to 576 1536825846.621 * * * * [misc]points: Filtering points with unrepresentable outputs 1536825846.621 * * * * [misc]points: Sampling 41 additional inputs, on iter 11 have 7959 / 8000 1536825846.621 * * * * [misc]points: Computing exacts on every 2 of 41 points to ramp up precision 1536825846.623 * * * * [misc]points: Setting MPFR precision to 320 1536825846.624 * * * * [misc]points: Setting MPFR precision to 576 1536825846.625 * * * * [misc]points: Computing exacts for 41 points 1536825846.626 * * * * [misc]points: Setting MPFR precision to 320 1536825846.629 * * * * [misc]points: Setting MPFR precision to 576 1536825846.631 * * * * [misc]points: Filtering points with unrepresentable outputs 1536825846.631 * * * * [misc]points: Sampling 26 additional inputs, on iter 12 have 7974 / 8000 1536825846.631 * * * * [misc]points: Computing exacts for 26 points 1536825846.633 * * * * [misc]points: Setting MPFR precision to 320 1536825846.635 * * * * [misc]points: Setting MPFR precision to 576 1536825846.636 * * * * [misc]points: Filtering points with unrepresentable outputs 1536825846.636 * * * * [misc]points: Sampling 11 additional inputs, on iter 13 have 7989 / 8000 1536825846.637 * * * * [misc]points: Computing exacts for 11 points 1536825846.638 * * * * [misc]points: Setting MPFR precision to 320 1536825846.639 * * * * [misc]points: Setting MPFR precision to 576 1536825846.640 * * * * [misc]points: Filtering points with unrepresentable outputs 1536825846.640 * * * * [misc]points: Sampling 4 additional inputs, on iter 14 have 7996 / 8000 1536825846.640 * * * * [misc]points: Computing exacts for 4 points 1536825846.641 * * * * [misc]points: Setting MPFR precision to 320 1536825846.642 * * * * [misc]points: Setting MPFR precision to 576 1536825846.642 * * * * [misc]points: Filtering points with unrepresentable outputs 1536825846.642 * * * * [misc]points: Sampling 4 additional inputs, on iter 15 have 7999 / 8000 1536825846.642 * * * * [misc]points: Computing exacts for 4 points 1536825846.643 * * * * [misc]points: Setting MPFR precision to 320 1536825846.644 * * * * [misc]points: Setting MPFR precision to 576 1536825846.644 * * * * [misc]points: Filtering points with unrepresentable outputs 1536825846.644 * * * * [exit]points: Sampled 8000 points with exact outputs