1538294762.909 * [misc]progress: [Phase 1 of 3] Setting up. 1538294762.911 * * * [misc]progress: [1/2] Preparing points 1538294762.911 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1538294762.916 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1538294763.031 * * * * [misc]points: Setting MPFR precision to 64 1538294763.033 * * * * [misc]points: Setting MPFR precision to 320 1538294763.034 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1538294763.035 * * * * [misc]points: Setting MPFR precision to 64 1538294763.036 * * * * [misc]points: Setting MPFR precision to 320 1538294763.068 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1538294763.069 * * * * [misc]points: Setting MPFR precision to 64 1538294763.071 * * * * [misc]points: Setting MPFR precision to 320 1538294763.073 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1538294763.075 * * * * [misc]points: Setting MPFR precision to 64 1538294763.078 * * * * [misc]points: Setting MPFR precision to 320 1538294763.081 * * * * [misc]points: Computing exacts for 256 points 1538294763.083 * * * * [misc]points: Setting MPFR precision to 64 1538294763.090 * * * * [misc]points: Setting MPFR precision to 320 1538294763.138 * * * * [misc]points: Filtering points with unrepresentable outputs 1538294763.139 * * * * [misc]points: Sampling 148 additional inputs, on iter 1 have 108 / 256 1538294763.141 * * * * [misc]points: Computing exacts on every 9 of 148 points to ramp up precision 1538294763.143 * * * * [misc]points: Setting MPFR precision to 64 1538294763.145 * * * * [misc]points: Setting MPFR precision to 320 1538294763.146 * * * * [misc]points: Computing exacts on every 4 of 148 points to ramp up precision 1538294763.148 * * * * [misc]points: Setting MPFR precision to 64 1538294763.150 * * * * [misc]points: Setting MPFR precision to 320 1538294763.152 * * * * [misc]points: Computing exacts on every 2 of 148 points to ramp up precision 1538294763.155 * * * * [misc]points: Setting MPFR precision to 64 1538294763.158 * * * * [misc]points: Setting MPFR precision to 320 1538294763.161 * * * * [misc]points: Computing exacts for 148 points 1538294763.164 * * * * [misc]points: Setting MPFR precision to 64 1538294763.173 * * * * [misc]points: Setting MPFR precision to 320 1538294763.181 * * * * [misc]points: Filtering points with unrepresentable outputs 1538294763.181 * * * * [misc]points: Sampling 88 additional inputs, on iter 2 have 168 / 256 1538294763.182 * * * * [misc]points: Computing exacts on every 5 of 88 points to ramp up precision 1538294763.184 * * * * [misc]points: Setting MPFR precision to 64 1538294763.186 * * * * [misc]points: Setting MPFR precision to 320 1538294763.187 * * * * [misc]points: Computing exacts on every 2 of 88 points to ramp up precision 1538294763.189 * * * * [misc]points: Setting MPFR precision to 64 1538294763.191 * * * * [misc]points: Setting MPFR precision to 320 1538294763.192 * * * * [misc]points: Computing exacts for 88 points 1538294763.195 * * * * [misc]points: Setting MPFR precision to 64 1538294763.200 * * * * [misc]points: Setting MPFR precision to 320 1538294763.206 * * * * [misc]points: Filtering points with unrepresentable outputs 1538294763.206 * * * * [misc]points: Sampling 50 additional inputs, on iter 3 have 206 / 256 1538294763.207 * * * * [misc]points: Computing exacts on every 3 of 50 points to ramp up precision 1538294763.209 * * * * [misc]points: Setting MPFR precision to 64 1538294763.210 * * * * [misc]points: Setting MPFR precision to 320 1538294763.211 * * * * [misc]points: Computing exacts for 50 points 1538294763.212 * * * * [misc]points: Setting MPFR precision to 64 1538294763.215 * * * * [misc]points: Setting MPFR precision to 320 1538294763.218 * * * * [misc]points: Filtering points with unrepresentable outputs 1538294763.218 * * * * [misc]points: Sampling 29 additional inputs, on iter 4 have 227 / 256 1538294763.219 * * * * [misc]points: Computing exacts for 29 points 1538294763.221 * * * * [misc]points: Setting MPFR precision to 64 1538294763.222 * * * * [misc]points: Setting MPFR precision to 320 1538294763.224 * * * * [misc]points: Filtering points with unrepresentable outputs 1538294763.224 * * * * [misc]points: Sampling 19 additional inputs, on iter 5 have 237 / 256 1538294763.225 * * * * [misc]points: Computing exacts for 19 points 1538294763.228 * * * * [misc]points: Setting MPFR precision to 64 1538294763.230 * * * * [misc]points: Setting MPFR precision to 320 1538294763.231 * * * * [misc]points: Filtering points with unrepresentable outputs 1538294763.231 * * * * [misc]points: Sampling 15 additional inputs, on iter 6 have 241 / 256 1538294763.231 * * * * [misc]points: Computing exacts for 15 points 1538294763.233 * * * * [misc]points: Setting MPFR precision to 64 1538294763.234 * * * * [misc]points: Setting MPFR precision to 320 1538294763.235 * * * * [misc]points: Filtering points with unrepresentable outputs 1538294763.235 * * * * [misc]points: Sampling 6 additional inputs, on iter 7 have 250 / 256 1538294763.235 * * * * [misc]points: Computing exacts for 6 points 1538294763.267 * * * * [misc]points: Setting MPFR precision to 64 1538294763.381 * * * * [misc]points: Setting MPFR precision to 320 1538294763.382 * * * * [misc]points: Filtering points with unrepresentable outputs 1538294763.382 * * * * [misc]points: Sampling 4 additional inputs, on iter 8 have 252 / 256 1538294763.382 * * * * [misc]points: Computing exacts for 4 points 1538294763.384 * * * * [misc]points: Setting MPFR precision to 64 1538294763.384 * * * * [misc]points: Setting MPFR precision to 320 1538294763.385 * * * * [misc]points: Filtering points with unrepresentable outputs 1538294763.385 * * * * [misc]points: Sampling 4 additional inputs, on iter 9 have 253 / 256 1538294763.385 * * * * [misc]points: Computing exacts for 4 points 1538294763.386 * * * * [misc]points: Setting MPFR precision to 64 1538294763.387 * * * * [misc]points: Setting MPFR precision to 320 1538294763.387 * * * * [misc]points: Filtering points with unrepresentable outputs 1538294763.387 * * * * [misc]points: Sampling 4 additional inputs, on iter 10 have 255 / 256 1538294763.387 * * * * [misc]points: Computing exacts for 4 points 1538294763.423 * * * * [misc]points: Setting MPFR precision to 64 1538294763.423 * * * * [misc]points: Setting MPFR precision to 320 1538294763.424 * * * * [misc]points: Filtering points with unrepresentable outputs 1538294763.424 * * * * [exit]points: Sampled 257 points with exact outputs 1538294763.424 * * * [misc]progress: [2/2] Setting up program. 1538294763.437 * [misc]progress: [Phase 2 of 3] Improving. 1538294763.441 * [enter]simplify: Simplifying (- (pow x 4) (pow y 4)) 1538294763.444 * * [misc]simplify: iters left: 3 (6 enodes) 1538294763.452 * * [misc]simplify: iters left: 2 (8 enodes) 1538294763.456 * * [misc]simplify: iters left: 1 (9 enodes) 1538294763.458 * [exit]simplify: Simplified to (- (pow x 4) (pow y 4)) 1538294763.472 * * [misc]progress: iteration 1 / 4 1538294763.472 * * * [misc]progress: picking best candidate 1538294763.476 * * * * [misc]pick: Picked # 1538294763.477 * * * [misc]progress: localizing error 1538294763.495 * * * [misc]progress: generating rewritten candidates 1538294763.496 * * * [misc]progress: generating series expansions 1538294763.496 * * * [misc]progress: simplifying candidates 1538294763.496 * * * [misc]progress: adding candidates to table 1538294763.496 * [misc]progress: [Phase 3 of 3] Extracting. 1538294763.504 * [enter]simplify: Simplifying (- (pow x 4) (pow y 4)) 1538294763.505 * * [misc]simplify: iters left: 3 (6 enodes) 1538294763.505 * [exit]simplify: Simplified to (- (pow x 4) (pow y 4)) 1538294763.505 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1538294763.590 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1538294763.592 * * * * [misc]points: Setting MPFR precision to 64 1538294763.593 * * * * [misc]points: Setting MPFR precision to 320 1538294763.594 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1538294763.596 * * * * [misc]points: Setting MPFR precision to 64 1538294763.597 * * * * [misc]points: Setting MPFR precision to 320 1538294763.599 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1538294763.600 * * * * [misc]points: Setting MPFR precision to 64 1538294763.602 * * * * [misc]points: Setting MPFR precision to 320 1538294763.604 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1538294763.605 * * * * [misc]points: Setting MPFR precision to 64 1538294763.608 * * * * [misc]points: Setting MPFR precision to 320 1538294763.612 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1538294763.613 * * * * [misc]points: Setting MPFR precision to 64 1538294763.619 * * * * [misc]points: Setting MPFR precision to 320 1538294763.626 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1538294763.627 * * * * [misc]points: Setting MPFR precision to 64 1538294763.640 * * * * [misc]points: Setting MPFR precision to 320 1538294763.667 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1538294763.669 * * * * [misc]points: Setting MPFR precision to 64 1538294763.743 * * * * [misc]points: Setting MPFR precision to 320 1538294763.771 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1538294763.772 * * * * [misc]points: Setting MPFR precision to 64 1538294763.862 * * * * [misc]points: Setting MPFR precision to 320 1538294763.993 * * * * [misc]points: Computing exacts for 8000 points 1538294763.994 * * * * [misc]points: Setting MPFR precision to 64 1538294764.764 * * * * [misc]points: Setting MPFR precision to 320 1538294765.110 * * * * [misc]points: Filtering points with unrepresentable outputs 1538294765.113 * * * * [misc]points: Sampling 4833 additional inputs, on iter 1 have 3167 / 8000 1538294765.209 * * * * [misc]points: Computing exacts on every 302 of 4833 points to ramp up precision 1538294765.211 * * * * [misc]points: Setting MPFR precision to 64 1538294765.212 * * * * [misc]points: Setting MPFR precision to 320 1538294765.213 * * * * [misc]points: Computing exacts on every 151 of 4833 points to ramp up precision 1538294765.215 * * * * [misc]points: Setting MPFR precision to 64 1538294765.216 * * * * [misc]points: Setting MPFR precision to 320 1538294765.218 * * * * [misc]points: Computing exacts on every 75 of 4833 points to ramp up precision 1538294765.220 * * * * [misc]points: Setting MPFR precision to 64 1538294765.223 * * * * [misc]points: Setting MPFR precision to 320 1538294765.226 * * * * [misc]points: Computing exacts on every 37 of 4833 points to ramp up precision 1538294765.228 * * * * [misc]points: Setting MPFR precision to 64 1538294765.235 * * * * [misc]points: Setting MPFR precision to 320 1538294765.241 * * * * [misc]points: Computing exacts on every 18 of 4833 points to ramp up precision 1538294765.243 * * * * [misc]points: Setting MPFR precision to 64 1538294765.256 * * * * [misc]points: Setting MPFR precision to 320 1538294765.269 * * * * [misc]points: Computing exacts on every 9 of 4833 points to ramp up precision 1538294765.270 * * * * [misc]points: Setting MPFR precision to 64 1538294765.295 * * * * [misc]points: Setting MPFR precision to 320 1538294765.333 * * * * [misc]points: Computing exacts on every 4 of 4833 points to ramp up precision 1538294765.334 * * * * [misc]points: Setting MPFR precision to 64 1538294765.360 * * * * [misc]points: Setting MPFR precision to 320 1538294765.409 * * * * [misc]points: Computing exacts on every 2 of 4833 points to ramp up precision 1538294765.411 * * * * [misc]points: Setting MPFR precision to 64 1538294765.492 * * * * [misc]points: Setting MPFR precision to 320 1538294765.619 * * * * [misc]points: Computing exacts for 4833 points 1538294765.621 * * * * [misc]points: Setting MPFR precision to 64 1538294765.937 * * * * [misc]points: Setting MPFR precision to 320 1538294766.159 * * * * [misc]points: Filtering points with unrepresentable outputs 1538294766.161 * * * * [misc]points: Sampling 2968 additional inputs, on iter 2 have 5032 / 8000 1538294766.187 * * * * [misc]points: Computing exacts on every 185 of 2968 points to ramp up precision 1538294766.189 * * * * [misc]points: Setting MPFR precision to 64 1538294766.190 * * * * [misc]points: Setting MPFR precision to 320 1538294766.190 * * * * [misc]points: Computing exacts on every 92 of 2968 points to ramp up precision 1538294766.192 * * * * [misc]points: Setting MPFR precision to 64 1538294766.194 * * * * [misc]points: Setting MPFR precision to 320 1538294766.195 * * * * [misc]points: Computing exacts on every 46 of 2968 points to ramp up precision 1538294766.197 * * * * [misc]points: Setting MPFR precision to 64 1538294766.200 * * * * [misc]points: Setting MPFR precision to 320 1538294766.203 * * * * [misc]points: Computing exacts on every 23 of 2968 points to ramp up precision 1538294766.205 * * * * [misc]points: Setting MPFR precision to 64 1538294766.212 * * * * [misc]points: Setting MPFR precision to 320 1538294766.217 * * * * [misc]points: Computing exacts on every 11 of 2968 points to ramp up precision 1538294766.218 * * * * [misc]points: Setting MPFR precision to 64 1538294766.224 * * * * [misc]points: Setting MPFR precision to 320 1538294766.257 * * * * [misc]points: Computing exacts on every 5 of 2968 points to ramp up precision 1538294766.259 * * * * [misc]points: Setting MPFR precision to 64 1538294766.287 * * * * [misc]points: Setting MPFR precision to 320 1538294766.313 * * * * [misc]points: Computing exacts on every 2 of 2968 points to ramp up precision 1538294766.314 * * * * [misc]points: Setting MPFR precision to 64 1538294766.364 * * * * [misc]points: Setting MPFR precision to 320 1538294766.391 * * * * [misc]points: Computing exacts for 2968 points 1538294766.392 * * * * [misc]points: Setting MPFR precision to 64 1538294766.541 * * * * [misc]points: Setting MPFR precision to 320 1538294766.686 * * * * [misc]points: Filtering points with unrepresentable outputs 1538294766.687 * * * * [misc]points: Sampling 1820 additional inputs, on iter 3 have 6180 / 8000 1538294766.706 * * * * [misc]points: Computing exacts on every 113 of 1820 points to ramp up precision 1538294766.707 * * * * [misc]points: Setting MPFR precision to 64 1538294766.708 * * * * [misc]points: Setting MPFR precision to 320 1538294766.709 * * * * [misc]points: Computing exacts on every 56 of 1820 points to ramp up precision 1538294766.711 * * * * [misc]points: Setting MPFR precision to 64 1538294766.713 * * * * [misc]points: Setting MPFR precision to 320 1538294766.714 * * * * [misc]points: Computing exacts on every 28 of 1820 points to ramp up precision 1538294766.716 * * * * [misc]points: Setting MPFR precision to 64 1538294766.719 * * * * [misc]points: Setting MPFR precision to 320 1538294766.721 * * * * [misc]points: Computing exacts on every 14 of 1820 points to ramp up precision 1538294766.723 * * * * [misc]points: Setting MPFR precision to 64 1538294766.728 * * * * [misc]points: Setting MPFR precision to 320 1538294766.735 * * * * [misc]points: Computing exacts on every 7 of 1820 points to ramp up precision 1538294766.737 * * * * [misc]points: Setting MPFR precision to 64 1538294766.748 * * * * [misc]points: Setting MPFR precision to 320 1538294766.760 * * * * [misc]points: Computing exacts on every 3 of 1820 points to ramp up precision 1538294766.762 * * * * [misc]points: Setting MPFR precision to 64 1538294766.785 * * * * [misc]points: Setting MPFR precision to 320 1538294766.809 * * * * [misc]points: Computing exacts for 1820 points 1538294766.811 * * * * [misc]points: Setting MPFR precision to 64 1538294766.947 * * * * [misc]points: Setting MPFR precision to 320 1538294767.012 * * * * [misc]points: Filtering points with unrepresentable outputs 1538294767.012 * * * * [misc]points: Sampling 1107 additional inputs, on iter 4 have 6893 / 8000 1538294767.022 * * * * [misc]points: Computing exacts on every 69 of 1107 points to ramp up precision 1538294767.024 * * * * [misc]points: Setting MPFR precision to 64 1538294767.025 * * * * [misc]points: Setting MPFR precision to 320 1538294767.025 * * * * [misc]points: Computing exacts on every 34 of 1107 points to ramp up precision 1538294767.027 * * * * [misc]points: Setting MPFR precision to 64 1538294767.029 * * * * [misc]points: Setting MPFR precision to 320 1538294767.030 * * * * [misc]points: Computing exacts on every 17 of 1107 points to ramp up precision 1538294767.032 * * * * [misc]points: Setting MPFR precision to 64 1538294767.035 * * * * [misc]points: Setting MPFR precision to 320 1538294767.038 * * * * [misc]points: Computing exacts on every 8 of 1107 points to ramp up precision 1538294767.040 * * * * [misc]points: Setting MPFR precision to 64 1538294767.043 * * * * [misc]points: Setting MPFR precision to 320 1538294767.046 * * * * [misc]points: Computing exacts on every 4 of 1107 points to ramp up precision 1538294767.047 * * * * [misc]points: Setting MPFR precision to 64 1538294767.053 * * * * [misc]points: Setting MPFR precision to 320 1538294767.058 * * * * [misc]points: Computing exacts on every 2 of 1107 points to ramp up precision 1538294767.060 * * * * [misc]points: Setting MPFR precision to 64 1538294767.429 * * * * [misc]points: Setting MPFR precision to 320 1538294767.452 * * * * [misc]points: Computing exacts for 1107 points 1538294767.454 * * * * [misc]points: Setting MPFR precision to 64 1538294767.493 * * * * [misc]points: Setting MPFR precision to 320 1538294767.540 * * * * [misc]points: Filtering points with unrepresentable outputs 1538294767.540 * * * * [misc]points: Sampling 675 additional inputs, on iter 5 have 7325 / 8000 1538294767.546 * * * * [misc]points: Computing exacts on every 42 of 675 points to ramp up precision 1538294767.548 * * * * [misc]points: Setting MPFR precision to 64 1538294767.549 * * * * [misc]points: Setting MPFR precision to 320 1538294767.550 * * * * [misc]points: Computing exacts on every 21 of 675 points to ramp up precision 1538294767.551 * * * * [misc]points: Setting MPFR precision to 64 1538294767.553 * * * * [misc]points: Setting MPFR precision to 320 1538294767.555 * * * * [misc]points: Computing exacts on every 10 of 675 points to ramp up precision 1538294767.557 * * * * [misc]points: Setting MPFR precision to 64 1538294767.560 * * * * [misc]points: Setting MPFR precision to 320 1538294767.563 * * * * [misc]points: Computing exacts on every 5 of 675 points to ramp up precision 1538294767.565 * * * * [misc]points: Setting MPFR precision to 64 1538294767.571 * * * * [misc]points: Setting MPFR precision to 320 1538294767.577 * * * * [misc]points: Computing exacts on every 2 of 675 points to ramp up precision 1538294767.579 * * * * [misc]points: Setting MPFR precision to 64 1538294767.591 * * * * [misc]points: Setting MPFR precision to 320 1538294767.603 * * * * [misc]points: Computing exacts for 675 points 1538294767.605 * * * * [misc]points: Setting MPFR precision to 64 1538294767.660 * * * * [misc]points: Setting MPFR precision to 320 1538294767.680 * * * * [misc]points: Filtering points with unrepresentable outputs 1538294767.680 * * * * [misc]points: Sampling 415 additional inputs, on iter 6 have 7585 / 8000 1538294767.682 * * * * [misc]points: Computing exacts on every 25 of 415 points to ramp up precision 1538294767.683 * * * * [misc]points: Setting MPFR precision to 64 1538294767.684 * * * * [misc]points: Setting MPFR precision to 320 1538294767.684 * * * * [misc]points: Computing exacts on every 12 of 415 points to ramp up precision 1538294767.685 * * * * [misc]points: Setting MPFR precision to 64 1538294767.686 * * * * [misc]points: Setting MPFR precision to 320 1538294767.687 * * * * [misc]points: Computing exacts on every 6 of 415 points to ramp up precision 1538294767.688 * * * * [misc]points: Setting MPFR precision to 64 1538294767.689 * * * * [misc]points: Setting MPFR precision to 320 1538294767.691 * * * * [misc]points: Computing exacts on every 3 of 415 points to ramp up precision 1538294767.692 * * * * [misc]points: Setting MPFR precision to 64 1538294767.698 * * * * [misc]points: Setting MPFR precision to 320 1538294767.704 * * * * [misc]points: Computing exacts for 415 points 1538294767.705 * * * * [misc]points: Setting MPFR precision to 64 1538294767.723 * * * * [misc]points: Setting MPFR precision to 320 1538294767.734 * * * * [misc]points: Filtering points with unrepresentable outputs 1538294767.734 * * * * [misc]points: Sampling 247 additional inputs, on iter 7 have 7753 / 8000 1538294767.735 * * * * [misc]points: Computing exacts on every 15 of 247 points to ramp up precision 1538294767.736 * * * * [misc]points: Setting MPFR precision to 64 1538294767.737 * * * * [misc]points: Setting MPFR precision to 320 1538294767.737 * * * * [misc]points: Computing exacts on every 7 of 247 points to ramp up precision 1538294767.738 * * * * [misc]points: Setting MPFR precision to 64 1538294767.739 * * * * [misc]points: Setting MPFR precision to 320 1538294767.740 * * * * [misc]points: Computing exacts on every 3 of 247 points to ramp up precision 1538294767.741 * * * * [misc]points: Setting MPFR precision to 64 1538294767.742 * * * * [misc]points: Setting MPFR precision to 320 1538294767.744 * * * * [misc]points: Computing exacts for 247 points 1538294767.745 * * * * [misc]points: Setting MPFR precision to 64 1538294767.752 * * * * [misc]points: Setting MPFR precision to 320 1538294767.758 * * * * [misc]points: Filtering points with unrepresentable outputs 1538294767.758 * * * * [misc]points: Sampling 160 additional inputs, on iter 8 have 7840 / 8000 1538294767.759 * * * * [misc]points: Computing exacts on every 10 of 160 points to ramp up precision 1538294767.760 * * * * [misc]points: Setting MPFR precision to 64 1538294767.761 * * * * [misc]points: Setting MPFR precision to 320 1538294767.761 * * * * [misc]points: Computing exacts on every 5 of 160 points to ramp up precision 1538294767.762 * * * * [misc]points: Setting MPFR precision to 64 1538294767.763 * * * * [misc]points: Setting MPFR precision to 320 1538294767.763 * * * * [misc]points: Computing exacts on every 2 of 160 points to ramp up precision 1538294767.764 * * * * [misc]points: Setting MPFR precision to 64 1538294767.766 * * * * [misc]points: Setting MPFR precision to 320 1538294767.767 * * * * [misc]points: Computing exacts for 160 points 1538294767.769 * * * * [misc]points: Setting MPFR precision to 64 1538294767.777 * * * * [misc]points: Setting MPFR precision to 320 1538294767.828 * * * * [misc]points: Filtering points with unrepresentable outputs 1538294767.829 * * * * [misc]points: Sampling 89 additional inputs, on iter 9 have 7911 / 8000 1538294767.830 * * * * [misc]points: Computing exacts on every 5 of 89 points to ramp up precision 1538294767.835 * * * * [misc]points: Setting MPFR precision to 64 1538294767.836 * * * * [misc]points: Setting MPFR precision to 320 1538294767.837 * * * * [misc]points: Computing exacts on every 2 of 89 points to ramp up precision 1538294767.839 * * * * [misc]points: Setting MPFR precision to 64 1538294767.840 * * * * [misc]points: Setting MPFR precision to 320 1538294767.842 * * * * [misc]points: Computing exacts for 89 points 1538294767.844 * * * * [misc]points: Setting MPFR precision to 64 1538294767.848 * * * * [misc]points: Setting MPFR precision to 320 1538294767.852 * * * * [misc]points: Filtering points with unrepresentable outputs 1538294767.852 * * * * [misc]points: Sampling 55 additional inputs, on iter 10 have 7945 / 8000 1538294767.853 * * * * [misc]points: Computing exacts on every 3 of 55 points to ramp up precision 1538294767.854 * * * * [misc]points: Setting MPFR precision to 64 1538294767.854 * * * * [misc]points: Setting MPFR precision to 320 1538294767.854 * * * * [misc]points: Computing exacts for 55 points 1538294767.855 * * * * [misc]points: Setting MPFR precision to 64 1538294767.857 * * * * [misc]points: Setting MPFR precision to 320 1538294767.858 * * * * [misc]points: Filtering points with unrepresentable outputs 1538294767.858 * * * * [misc]points: Sampling 31 additional inputs, on iter 11 have 7969 / 8000 1538294767.858 * * * * [misc]points: Computing exacts for 31 points 1538294767.859 * * * * [misc]points: Setting MPFR precision to 64 1538294767.860 * * * * [misc]points: Setting MPFR precision to 320 1538294767.861 * * * * [misc]points: Filtering points with unrepresentable outputs 1538294767.861 * * * * [misc]points: Sampling 21 additional inputs, on iter 12 have 7979 / 8000 1538294767.861 * * * * [misc]points: Computing exacts for 21 points 1538294767.862 * * * * [misc]points: Setting MPFR precision to 64 1538294767.863 * * * * [misc]points: Setting MPFR precision to 320 1538294767.864 * * * * [misc]points: Filtering points with unrepresentable outputs 1538294767.864 * * * * [misc]points: Sampling 11 additional inputs, on iter 13 have 7989 / 8000 1538294767.864 * * * * [misc]points: Computing exacts for 11 points 1538294767.865 * * * * [misc]points: Setting MPFR precision to 64 1538294767.865 * * * * [misc]points: Setting MPFR precision to 320 1538294767.865 * * * * [misc]points: Filtering points with unrepresentable outputs 1538294767.865 * * * * [misc]points: Sampling 7 additional inputs, on iter 14 have 7993 / 8000 1538294767.866 * * * * [misc]points: Computing exacts for 7 points 1538294767.866 * * * * [misc]points: Setting MPFR precision to 64 1538294767.867 * * * * [misc]points: Setting MPFR precision to 320 1538294767.867 * * * * [misc]points: Filtering points with unrepresentable outputs 1538294767.867 * * * * [misc]points: Sampling 4 additional inputs, on iter 15 have 7996 / 8000 1538294767.867 * * * * [misc]points: Computing exacts for 4 points 1538294767.868 * * * * [misc]points: Setting MPFR precision to 64 1538294767.868 * * * * [misc]points: Setting MPFR precision to 320 1538294767.868 * * * * [misc]points: Filtering points with unrepresentable outputs 1538294767.869 * * * * [misc]points: Sampling 4 additional inputs, on iter 16 have 7999 / 8000 1538294767.869 * * * * [misc]points: Computing exacts for 4 points 1538294767.869 * * * * [misc]points: Setting MPFR precision to 64 1538294767.870 * * * * [misc]points: Setting MPFR precision to 320 1538294767.870 * * * * [misc]points: Filtering points with unrepresentable outputs 1538294767.870 * * * * [exit]points: Sampled 8000 points with exact outputs