1538299646.146 * [misc]progress: [Phase 1 of 3] Setting up. 1538299646.148 * * * [misc]progress: [1/2] Preparing points 1538299646.149 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1538299646.153 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1538299646.286 * * * * [misc]points: Setting MPFR precision to 64 1538299646.289 * * * * [misc]points: Setting MPFR precision to 320 1538299646.291 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1538299646.293 * * * * [misc]points: Setting MPFR precision to 64 1538299646.295 * * * * [misc]points: Setting MPFR precision to 320 1538299646.296 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1538299646.298 * * * * [misc]points: Setting MPFR precision to 64 1538299646.301 * * * * [misc]points: Setting MPFR precision to 320 1538299646.304 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1538299646.306 * * * * [misc]points: Setting MPFR precision to 64 1538299646.342 * * * * [misc]points: Setting MPFR precision to 320 1538299646.349 * * * * [misc]points: Computing exacts for 256 points 1538299646.351 * * * * [misc]points: Setting MPFR precision to 64 1538299646.370 * * * * [misc]points: Setting MPFR precision to 320 1538299646.381 * * * * [misc]points: Filtering points with unrepresentable outputs 1538299646.381 * * * * [misc]points: Sampling 148 additional inputs, on iter 1 have 108 / 256 1538299646.382 * * * * [misc]points: Computing exacts on every 9 of 148 points to ramp up precision 1538299646.383 * * * * [misc]points: Setting MPFR precision to 64 1538299646.384 * * * * [misc]points: Setting MPFR precision to 320 1538299646.384 * * * * [misc]points: Computing exacts on every 4 of 148 points to ramp up precision 1538299646.385 * * * * [misc]points: Setting MPFR precision to 64 1538299646.418 * * * * [misc]points: Setting MPFR precision to 320 1538299646.420 * * * * [misc]points: Computing exacts on every 2 of 148 points to ramp up precision 1538299646.423 * * * * [misc]points: Setting MPFR precision to 64 1538299646.427 * * * * [misc]points: Setting MPFR precision to 320 1538299646.430 * * * * [misc]points: Computing exacts for 148 points 1538299646.433 * * * * [misc]points: Setting MPFR precision to 64 1538299646.442 * * * * [misc]points: Setting MPFR precision to 320 1538299646.450 * * * * [misc]points: Filtering points with unrepresentable outputs 1538299646.450 * * * * [misc]points: Sampling 88 additional inputs, on iter 2 have 168 / 256 1538299646.451 * * * * [misc]points: Computing exacts on every 5 of 88 points to ramp up precision 1538299646.452 * * * * [misc]points: Setting MPFR precision to 64 1538299646.453 * * * * [misc]points: Setting MPFR precision to 320 1538299646.453 * * * * [misc]points: Computing exacts on every 2 of 88 points to ramp up precision 1538299646.455 * * * * [misc]points: Setting MPFR precision to 64 1538299646.456 * * * * [misc]points: Setting MPFR precision to 320 1538299646.457 * * * * [misc]points: Computing exacts for 88 points 1538299646.458 * * * * [misc]points: Setting MPFR precision to 64 1538299646.461 * * * * [misc]points: Setting MPFR precision to 320 1538299646.463 * * * * [misc]points: Filtering points with unrepresentable outputs 1538299646.463 * * * * [misc]points: Sampling 50 additional inputs, on iter 3 have 206 / 256 1538299646.464 * * * * [misc]points: Computing exacts on every 3 of 50 points to ramp up precision 1538299646.465 * * * * [misc]points: Setting MPFR precision to 64 1538299646.465 * * * * [misc]points: Setting MPFR precision to 320 1538299646.466 * * * * [misc]points: Computing exacts for 50 points 1538299646.467 * * * * [misc]points: Setting MPFR precision to 64 1538299646.468 * * * * [misc]points: Setting MPFR precision to 320 1538299646.470 * * * * [misc]points: Filtering points with unrepresentable outputs 1538299646.470 * * * * [misc]points: Sampling 29 additional inputs, on iter 4 have 227 / 256 1538299646.470 * * * * [misc]points: Computing exacts for 29 points 1538299646.471 * * * * [misc]points: Setting MPFR precision to 64 1538299646.472 * * * * [misc]points: Setting MPFR precision to 320 1538299646.473 * * * * [misc]points: Filtering points with unrepresentable outputs 1538299646.473 * * * * [misc]points: Sampling 19 additional inputs, on iter 5 have 237 / 256 1538299646.474 * * * * [misc]points: Computing exacts for 19 points 1538299646.475 * * * * [misc]points: Setting MPFR precision to 64 1538299646.475 * * * * [misc]points: Setting MPFR precision to 320 1538299646.476 * * * * [misc]points: Filtering points with unrepresentable outputs 1538299646.476 * * * * [misc]points: Sampling 15 additional inputs, on iter 6 have 241 / 256 1538299646.476 * * * * [misc]points: Computing exacts for 15 points 1538299646.477 * * * * [misc]points: Setting MPFR precision to 64 1538299646.478 * * * * [misc]points: Setting MPFR precision to 320 1538299646.478 * * * * [misc]points: Filtering points with unrepresentable outputs 1538299646.478 * * * * [misc]points: Sampling 6 additional inputs, on iter 7 have 250 / 256 1538299646.479 * * * * [misc]points: Computing exacts for 6 points 1538299646.480 * * * * [misc]points: Setting MPFR precision to 64 1538299646.480 * * * * [misc]points: Setting MPFR precision to 320 1538299646.480 * * * * [misc]points: Filtering points with unrepresentable outputs 1538299646.480 * * * * [misc]points: Sampling 4 additional inputs, on iter 8 have 252 / 256 1538299646.480 * * * * [misc]points: Computing exacts for 4 points 1538299646.481 * * * * [misc]points: Setting MPFR precision to 64 1538299646.482 * * * * [misc]points: Setting MPFR precision to 320 1538299646.482 * * * * [misc]points: Filtering points with unrepresentable outputs 1538299646.482 * * * * [misc]points: Sampling 4 additional inputs, on iter 9 have 253 / 256 1538299646.482 * * * * [misc]points: Computing exacts for 4 points 1538299646.483 * * * * [misc]points: Setting MPFR precision to 64 1538299646.483 * * * * [misc]points: Setting MPFR precision to 320 1538299646.483 * * * * [misc]points: Filtering points with unrepresentable outputs 1538299646.483 * * * * [misc]points: Sampling 4 additional inputs, on iter 10 have 255 / 256 1538299646.483 * * * * [misc]points: Computing exacts for 4 points 1538299646.484 * * * * [misc]points: Setting MPFR precision to 64 1538299646.485 * * * * [misc]points: Setting MPFR precision to 320 1538299646.485 * * * * [misc]points: Filtering points with unrepresentable outputs 1538299646.485 * * * * [exit]points: Sampled 257 points with exact outputs 1538299646.485 * * * [misc]progress: [2/2] Setting up program. 1538299646.491 * [misc]progress: [Phase 2 of 3] Improving. 1538299646.492 * [enter]simplify: Simplifying (- (pow x 4) (pow y 4)) 1538299646.494 * * [misc]simplify: iters left: 3 (6 enodes) 1538299646.501 * * [misc]simplify: iters left: 2 (8 enodes) 1538299646.506 * * [misc]simplify: iters left: 1 (9 enodes) 1538299646.510 * [exit]simplify: Simplified to (- (pow x 4) (pow y 4)) 1538299646.561 * * [misc]progress: iteration 1 / 4 1538299646.562 * * * [misc]progress: picking best candidate 1538299646.569 * * * * [misc]pick: Picked # 1538299646.569 * * * [misc]progress: localizing error 1538299646.601 * * * [misc]progress: generating rewritten candidates 1538299646.601 * * * [misc]progress: generating series expansions 1538299646.602 * * * [misc]progress: simplifying candidates 1538299646.602 * * * [misc]progress: adding candidates to table 1538299646.602 * [misc]progress: [Phase 3 of 3] Extracting. 1538299646.610 * [enter]simplify: Simplifying (- (pow x 4) (pow y 4)) 1538299646.611 * * [misc]simplify: iters left: 3 (6 enodes) 1538299646.611 * [exit]simplify: Simplified to (- (pow x 4) (pow y 4)) 1538299646.612 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1538299646.673 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1538299646.674 * * * * [misc]points: Setting MPFR precision to 64 1538299646.675 * * * * [misc]points: Setting MPFR precision to 320 1538299646.676 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1538299646.678 * * * * [misc]points: Setting MPFR precision to 64 1538299646.679 * * * * [misc]points: Setting MPFR precision to 320 1538299646.681 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1538299646.683 * * * * [misc]points: Setting MPFR precision to 64 1538299646.687 * * * * [misc]points: Setting MPFR precision to 320 1538299646.690 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1538299646.692 * * * * [misc]points: Setting MPFR precision to 64 1538299646.695 * * * * [misc]points: Setting MPFR precision to 320 1538299646.699 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1538299646.700 * * * * [misc]points: Setting MPFR precision to 64 1538299646.707 * * * * [misc]points: Setting MPFR precision to 320 1538299646.714 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1538299646.715 * * * * [misc]points: Setting MPFR precision to 64 1538299646.729 * * * * [misc]points: Setting MPFR precision to 320 1538299646.743 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1538299646.744 * * * * [misc]points: Setting MPFR precision to 64 1538299646.772 * * * * [misc]points: Setting MPFR precision to 320 1538299646.839 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1538299646.841 * * * * [misc]points: Setting MPFR precision to 64 1538299646.908 * * * * [misc]points: Setting MPFR precision to 320 1538299646.967 * * * * [misc]points: Computing exacts for 8000 points 1538299646.969 * * * * [misc]points: Setting MPFR precision to 64 1538299647.910 * * * * [misc]points: Setting MPFR precision to 320 1538299648.293 * * * * [misc]points: Filtering points with unrepresentable outputs 1538299648.294 * * * * [misc]points: Sampling 4833 additional inputs, on iter 1 have 3167 / 8000 1538299648.352 * * * * [misc]points: Computing exacts on every 302 of 4833 points to ramp up precision 1538299648.353 * * * * [misc]points: Setting MPFR precision to 64 1538299648.354 * * * * [misc]points: Setting MPFR precision to 320 1538299648.354 * * * * [misc]points: Computing exacts on every 151 of 4833 points to ramp up precision 1538299648.355 * * * * [misc]points: Setting MPFR precision to 64 1538299648.356 * * * * [misc]points: Setting MPFR precision to 320 1538299648.358 * * * * [misc]points: Computing exacts on every 75 of 4833 points to ramp up precision 1538299648.359 * * * * [misc]points: Setting MPFR precision to 64 1538299648.361 * * * * [misc]points: Setting MPFR precision to 320 1538299648.362 * * * * [misc]points: Computing exacts on every 37 of 4833 points to ramp up precision 1538299648.363 * * * * [misc]points: Setting MPFR precision to 64 1538299648.367 * * * * [misc]points: Setting MPFR precision to 320 1538299648.371 * * * * [misc]points: Computing exacts on every 18 of 4833 points to ramp up precision 1538299648.372 * * * * [misc]points: Setting MPFR precision to 64 1538299648.379 * * * * [misc]points: Setting MPFR precision to 320 1538299648.386 * * * * [misc]points: Computing exacts on every 9 of 4833 points to ramp up precision 1538299648.387 * * * * [misc]points: Setting MPFR precision to 64 1538299648.400 * * * * [misc]points: Setting MPFR precision to 320 1538299648.414 * * * * [misc]points: Computing exacts on every 4 of 4833 points to ramp up precision 1538299648.415 * * * * [misc]points: Setting MPFR precision to 64 1538299648.441 * * * * [misc]points: Setting MPFR precision to 320 1538299648.496 * * * * [misc]points: Computing exacts on every 2 of 4833 points to ramp up precision 1538299648.498 * * * * [misc]points: Setting MPFR precision to 64 1538299648.557 * * * * [misc]points: Setting MPFR precision to 320 1538299648.632 * * * * [misc]points: Computing exacts for 4833 points 1538299648.633 * * * * [misc]points: Setting MPFR precision to 64 1538299648.930 * * * * [misc]points: Setting MPFR precision to 320 1538299649.264 * * * * [misc]points: Filtering points with unrepresentable outputs 1538299649.266 * * * * [misc]points: Sampling 2968 additional inputs, on iter 2 have 5032 / 8000 1538299649.292 * * * * [misc]points: Computing exacts on every 185 of 2968 points to ramp up precision 1538299649.294 * * * * [misc]points: Setting MPFR precision to 64 1538299649.295 * * * * [misc]points: Setting MPFR precision to 320 1538299649.296 * * * * [misc]points: Computing exacts on every 92 of 2968 points to ramp up precision 1538299649.298 * * * * [misc]points: Setting MPFR precision to 64 1538299649.300 * * * * [misc]points: Setting MPFR precision to 320 1538299649.302 * * * * [misc]points: Computing exacts on every 46 of 2968 points to ramp up precision 1538299649.304 * * * * [misc]points: Setting MPFR precision to 64 1538299649.308 * * * * [misc]points: Setting MPFR precision to 320 1538299649.311 * * * * [misc]points: Computing exacts on every 23 of 2968 points to ramp up precision 1538299649.313 * * * * [misc]points: Setting MPFR precision to 64 1538299649.320 * * * * [misc]points: Setting MPFR precision to 320 1538299649.327 * * * * [misc]points: Computing exacts on every 11 of 2968 points to ramp up precision 1538299649.329 * * * * [misc]points: Setting MPFR precision to 64 1538299649.342 * * * * [misc]points: Setting MPFR precision to 320 1538299649.356 * * * * [misc]points: Computing exacts on every 5 of 2968 points to ramp up precision 1538299649.358 * * * * [misc]points: Setting MPFR precision to 64 1538299649.378 * * * * [misc]points: Setting MPFR precision to 320 1538299649.425 * * * * [misc]points: Computing exacts on every 2 of 2968 points to ramp up precision 1538299649.427 * * * * [misc]points: Setting MPFR precision to 64 1538299649.459 * * * * [misc]points: Setting MPFR precision to 320 1538299649.511 * * * * [misc]points: Computing exacts for 2968 points 1538299649.512 * * * * [misc]points: Setting MPFR precision to 64 1538299649.695 * * * * [misc]points: Setting MPFR precision to 320 1538299649.794 * * * * [misc]points: Filtering points with unrepresentable outputs 1538299649.796 * * * * [misc]points: Sampling 1820 additional inputs, on iter 3 have 6180 / 8000 1538299649.803 * * * * [misc]points: Computing exacts on every 113 of 1820 points to ramp up precision 1538299649.804 * * * * [misc]points: Setting MPFR precision to 64 1538299649.842 * * * * [misc]points: Setting MPFR precision to 320 1538299649.843 * * * * [misc]points: Computing exacts on every 56 of 1820 points to ramp up precision 1538299649.845 * * * * [misc]points: Setting MPFR precision to 64 1538299649.847 * * * * [misc]points: Setting MPFR precision to 320 1538299649.849 * * * * [misc]points: Computing exacts on every 28 of 1820 points to ramp up precision 1538299649.850 * * * * [misc]points: Setting MPFR precision to 64 1538299649.857 * * * * [misc]points: Setting MPFR precision to 320 1538299649.861 * * * * [misc]points: Computing exacts on every 14 of 1820 points to ramp up precision 1538299649.863 * * * * [misc]points: Setting MPFR precision to 64 1538299649.870 * * * * [misc]points: Setting MPFR precision to 320 1538299649.876 * * * * [misc]points: Computing exacts on every 7 of 1820 points to ramp up precision 1538299649.878 * * * * [misc]points: Setting MPFR precision to 64 1538299649.890 * * * * [misc]points: Setting MPFR precision to 320 1538299649.902 * * * * [misc]points: Computing exacts on every 3 of 1820 points to ramp up precision 1538299649.904 * * * * [misc]points: Setting MPFR precision to 64 1538299649.928 * * * * [misc]points: Setting MPFR precision to 320 1538299649.953 * * * * [misc]points: Computing exacts for 1820 points 1538299649.955 * * * * [misc]points: Setting MPFR precision to 64 1538299650.052 * * * * [misc]points: Setting MPFR precision to 320 1538299650.179 * * * * [misc]points: Filtering points with unrepresentable outputs 1538299650.179 * * * * [misc]points: Sampling 1107 additional inputs, on iter 4 have 6893 / 8000 1538299650.184 * * * * [misc]points: Computing exacts on every 69 of 1107 points to ramp up precision 1538299650.185 * * * * [misc]points: Setting MPFR precision to 64 1538299650.186 * * * * [misc]points: Setting MPFR precision to 320 1538299650.186 * * * * [misc]points: Computing exacts on every 34 of 1107 points to ramp up precision 1538299650.187 * * * * [misc]points: Setting MPFR precision to 64 1538299650.188 * * * * [misc]points: Setting MPFR precision to 320 1538299650.189 * * * * [misc]points: Computing exacts on every 17 of 1107 points to ramp up precision 1538299650.190 * * * * [misc]points: Setting MPFR precision to 64 1538299650.192 * * * * [misc]points: Setting MPFR precision to 320 1538299650.194 * * * * [misc]points: Computing exacts on every 8 of 1107 points to ramp up precision 1538299650.195 * * * * [misc]points: Setting MPFR precision to 64 1538299650.198 * * * * [misc]points: Setting MPFR precision to 320 1538299650.201 * * * * [misc]points: Computing exacts on every 4 of 1107 points to ramp up precision 1538299650.202 * * * * [misc]points: Setting MPFR precision to 64 1538299650.208 * * * * [misc]points: Setting MPFR precision to 320 1538299650.218 * * * * [misc]points: Computing exacts on every 2 of 1107 points to ramp up precision 1538299650.220 * * * * [misc]points: Setting MPFR precision to 64 1538299650.231 * * * * [misc]points: Setting MPFR precision to 320 1538299650.242 * * * * [misc]points: Computing exacts for 1107 points 1538299650.243 * * * * [misc]points: Setting MPFR precision to 64 1538299650.720 * * * * [misc]points: Setting MPFR precision to 320 1538299650.773 * * * * [misc]points: Filtering points with unrepresentable outputs 1538299650.774 * * * * [misc]points: Sampling 675 additional inputs, on iter 5 have 7325 / 8000 1538299650.780 * * * * [misc]points: Computing exacts on every 42 of 675 points to ramp up precision 1538299650.782 * * * * [misc]points: Setting MPFR precision to 64 1538299650.783 * * * * [misc]points: Setting MPFR precision to 320 1538299650.783 * * * * [misc]points: Computing exacts on every 21 of 675 points to ramp up precision 1538299650.785 * * * * [misc]points: Setting MPFR precision to 64 1538299650.787 * * * * [misc]points: Setting MPFR precision to 320 1538299650.788 * * * * [misc]points: Computing exacts on every 10 of 675 points to ramp up precision 1538299650.790 * * * * [misc]points: Setting MPFR precision to 64 1538299650.794 * * * * [misc]points: Setting MPFR precision to 320 1538299650.797 * * * * [misc]points: Computing exacts on every 5 of 675 points to ramp up precision 1538299650.799 * * * * [misc]points: Setting MPFR precision to 64 1538299650.804 * * * * [misc]points: Setting MPFR precision to 320 1538299650.810 * * * * [misc]points: Computing exacts on every 2 of 675 points to ramp up precision 1538299650.812 * * * * [misc]points: Setting MPFR precision to 64 1538299650.824 * * * * [misc]points: Setting MPFR precision to 320 1538299650.836 * * * * [misc]points: Computing exacts for 675 points 1538299650.838 * * * * [misc]points: Setting MPFR precision to 64 1538299650.856 * * * * [misc]points: Setting MPFR precision to 320 1538299650.877 * * * * [misc]points: Filtering points with unrepresentable outputs 1538299650.877 * * * * [misc]points: Sampling 415 additional inputs, on iter 6 have 7585 / 8000 1538299650.879 * * * * [misc]points: Computing exacts on every 25 of 415 points to ramp up precision 1538299650.880 * * * * [misc]points: Setting MPFR precision to 64 1538299650.910 * * * * [misc]points: Setting MPFR precision to 320 1538299650.911 * * * * [misc]points: Computing exacts on every 12 of 415 points to ramp up precision 1538299650.913 * * * * [misc]points: Setting MPFR precision to 64 1538299650.915 * * * * [misc]points: Setting MPFR precision to 320 1538299650.916 * * * * [misc]points: Computing exacts on every 6 of 415 points to ramp up precision 1538299650.918 * * * * [misc]points: Setting MPFR precision to 64 1538299650.921 * * * * [misc]points: Setting MPFR precision to 320 1538299650.928 * * * * [misc]points: Computing exacts on every 3 of 415 points to ramp up precision 1538299650.930 * * * * [misc]points: Setting MPFR precision to 64 1538299650.935 * * * * [misc]points: Setting MPFR precision to 320 1538299650.941 * * * * [misc]points: Computing exacts for 415 points 1538299650.943 * * * * [misc]points: Setting MPFR precision to 64 1538299650.964 * * * * [misc]points: Setting MPFR precision to 320 1538299650.986 * * * * [misc]points: Filtering points with unrepresentable outputs 1538299650.986 * * * * [misc]points: Sampling 247 additional inputs, on iter 7 have 7753 / 8000 1538299650.988 * * * * [misc]points: Computing exacts on every 15 of 247 points to ramp up precision 1538299650.990 * * * * [misc]points: Setting MPFR precision to 64 1538299650.991 * * * * [misc]points: Setting MPFR precision to 320 1538299650.992 * * * * [misc]points: Computing exacts on every 7 of 247 points to ramp up precision 1538299650.993 * * * * [misc]points: Setting MPFR precision to 64 1538299650.995 * * * * [misc]points: Setting MPFR precision to 320 1538299650.997 * * * * [misc]points: Computing exacts on every 3 of 247 points to ramp up precision 1538299650.998 * * * * [misc]points: Setting MPFR precision to 64 1538299651.002 * * * * [misc]points: Setting MPFR precision to 320 1538299651.005 * * * * [misc]points: Computing exacts for 247 points 1538299651.007 * * * * [misc]points: Setting MPFR precision to 64 1538299651.020 * * * * [misc]points: Setting MPFR precision to 320 1538299651.033 * * * * [misc]points: Filtering points with unrepresentable outputs 1538299651.033 * * * * [misc]points: Sampling 160 additional inputs, on iter 8 have 7840 / 8000 1538299651.035 * * * * [misc]points: Computing exacts on every 10 of 160 points to ramp up precision 1538299651.036 * * * * [misc]points: Setting MPFR precision to 64 1538299651.037 * * * * [misc]points: Setting MPFR precision to 320 1538299651.038 * * * * [misc]points: Computing exacts on every 5 of 160 points to ramp up precision 1538299651.040 * * * * [misc]points: Setting MPFR precision to 64 1538299651.041 * * * * [misc]points: Setting MPFR precision to 320 1538299651.043 * * * * [misc]points: Computing exacts on every 2 of 160 points to ramp up precision 1538299651.044 * * * * [misc]points: Setting MPFR precision to 64 1538299651.047 * * * * [misc]points: Setting MPFR precision to 320 1538299651.050 * * * * [misc]points: Computing exacts for 160 points 1538299651.052 * * * * [misc]points: Setting MPFR precision to 64 1538299651.060 * * * * [misc]points: Setting MPFR precision to 320 1538299651.069 * * * * [misc]points: Filtering points with unrepresentable outputs 1538299651.069 * * * * [misc]points: Sampling 89 additional inputs, on iter 9 have 7911 / 8000 1538299651.070 * * * * [misc]points: Computing exacts on every 5 of 89 points to ramp up precision 1538299651.072 * * * * [misc]points: Setting MPFR precision to 64 1538299651.073 * * * * [misc]points: Setting MPFR precision to 320 1538299651.073 * * * * [misc]points: Computing exacts on every 2 of 89 points to ramp up precision 1538299651.075 * * * * [misc]points: Setting MPFR precision to 64 1538299651.077 * * * * [misc]points: Setting MPFR precision to 320 1538299651.078 * * * * [misc]points: Computing exacts for 89 points 1538299651.080 * * * * [misc]points: Setting MPFR precision to 64 1538299651.085 * * * * [misc]points: Setting MPFR precision to 320 1538299651.090 * * * * [misc]points: Filtering points with unrepresentable outputs 1538299651.090 * * * * [misc]points: Sampling 55 additional inputs, on iter 10 have 7945 / 8000 1538299651.091 * * * * [misc]points: Computing exacts on every 3 of 55 points to ramp up precision 1538299651.093 * * * * [misc]points: Setting MPFR precision to 64 1538299651.093 * * * * [misc]points: Setting MPFR precision to 320 1538299651.094 * * * * [misc]points: Computing exacts for 55 points 1538299651.096 * * * * [misc]points: Setting MPFR precision to 64 1538299651.099 * * * * [misc]points: Setting MPFR precision to 320 1538299651.102 * * * * [misc]points: Filtering points with unrepresentable outputs 1538299651.102 * * * * [misc]points: Sampling 31 additional inputs, on iter 11 have 7969 / 8000 1538299651.103 * * * * [misc]points: Computing exacts for 31 points 1538299651.105 * * * * [misc]points: Setting MPFR precision to 64 1538299651.107 * * * * [misc]points: Setting MPFR precision to 320 1538299651.108 * * * * [misc]points: Filtering points with unrepresentable outputs 1538299651.108 * * * * [misc]points: Sampling 21 additional inputs, on iter 12 have 7979 / 8000 1538299651.109 * * * * [misc]points: Computing exacts for 21 points 1538299651.111 * * * * [misc]points: Setting MPFR precision to 64 1538299651.112 * * * * [misc]points: Setting MPFR precision to 320 1538299651.113 * * * * [misc]points: Filtering points with unrepresentable outputs 1538299651.113 * * * * [misc]points: Sampling 11 additional inputs, on iter 13 have 7989 / 8000 1538299651.114 * * * * [misc]points: Computing exacts for 11 points 1538299651.115 * * * * [misc]points: Setting MPFR precision to 64 1538299651.116 * * * * [misc]points: Setting MPFR precision to 320 1538299651.117 * * * * [misc]points: Filtering points with unrepresentable outputs 1538299651.117 * * * * [misc]points: Sampling 7 additional inputs, on iter 14 have 7993 / 8000 1538299651.117 * * * * [misc]points: Computing exacts for 7 points 1538299651.119 * * * * [misc]points: Setting MPFR precision to 64 1538299651.119 * * * * [misc]points: Setting MPFR precision to 320 1538299651.120 * * * * [misc]points: Filtering points with unrepresentable outputs 1538299651.120 * * * * [misc]points: Sampling 4 additional inputs, on iter 15 have 7996 / 8000 1538299651.120 * * * * [misc]points: Computing exacts for 4 points 1538299651.121 * * * * [misc]points: Setting MPFR precision to 64 1538299651.152 * * * * [misc]points: Setting MPFR precision to 320 1538299651.152 * * * * [misc]points: Filtering points with unrepresentable outputs 1538299651.152 * * * * [misc]points: Sampling 4 additional inputs, on iter 16 have 7999 / 8000 1538299651.152 * * * * [misc]points: Computing exacts for 4 points 1538299651.153 * * * * [misc]points: Setting MPFR precision to 64 1538299651.154 * * * * [misc]points: Setting MPFR precision to 320 1538299651.154 * * * * [misc]points: Filtering points with unrepresentable outputs 1538299651.154 * * * * [exit]points: Sampled 8000 points with exact outputs