1538408005.522 * [misc]progress: [Phase 1 of 3] Setting up. 1538408005.523 * * * [misc]progress: [1/2] Preparing points 1538408005.524 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1538408005.529 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1538408005.598 * * * * [misc]points: Setting MPFR precision to 64 1538408005.601 * * * * [misc]points: Setting MPFR precision to 320 1538408005.645 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1538408005.647 * * * * [misc]points: Setting MPFR precision to 64 1538408005.648 * * * * [misc]points: Setting MPFR precision to 320 1538408005.650 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1538408005.651 * * * * [misc]points: Setting MPFR precision to 64 1538408005.654 * * * * [misc]points: Setting MPFR precision to 320 1538408005.657 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1538408005.659 * * * * [misc]points: Setting MPFR precision to 64 1538408005.663 * * * * [misc]points: Setting MPFR precision to 320 1538408005.667 * * * * [misc]points: Computing exacts for 256 points 1538408005.668 * * * * [misc]points: Setting MPFR precision to 64 1538408005.680 * * * * [misc]points: Setting MPFR precision to 320 1538408005.691 * * * * [misc]points: Filtering points with unrepresentable outputs 1538408005.692 * * * * [misc]points: Sampling 149 additional inputs, on iter 1 have 107 / 256 1538408005.693 * * * * [misc]points: Computing exacts on every 9 of 149 points to ramp up precision 1538408005.695 * * * * [misc]points: Setting MPFR precision to 64 1538408005.696 * * * * [misc]points: Setting MPFR precision to 320 1538408005.697 * * * * [misc]points: Computing exacts on every 4 of 149 points to ramp up precision 1538408005.698 * * * * [misc]points: Setting MPFR precision to 64 1538408005.700 * * * * [misc]points: Setting MPFR precision to 320 1538408005.701 * * * * [misc]points: Computing exacts on every 2 of 149 points to ramp up precision 1538408005.703 * * * * [misc]points: Setting MPFR precision to 64 1538408005.705 * * * * [misc]points: Setting MPFR precision to 320 1538408005.707 * * * * [misc]points: Computing exacts for 149 points 1538408005.709 * * * * [misc]points: Setting MPFR precision to 64 1538408005.716 * * * * [misc]points: Setting MPFR precision to 320 1538408005.722 * * * * [misc]points: Filtering points with unrepresentable outputs 1538408005.722 * * * * [misc]points: Sampling 89 additional inputs, on iter 2 have 167 / 256 1538408005.723 * * * * [misc]points: Computing exacts on every 5 of 89 points to ramp up precision 1538408005.725 * * * * [misc]points: Setting MPFR precision to 64 1538408005.726 * * * * [misc]points: Setting MPFR precision to 320 1538408005.727 * * * * [misc]points: Computing exacts on every 2 of 89 points to ramp up precision 1538408005.728 * * * * [misc]points: Setting MPFR precision to 64 1538408005.729 * * * * [misc]points: Setting MPFR precision to 320 1538408005.731 * * * * [misc]points: Computing exacts for 89 points 1538408005.732 * * * * [misc]points: Setting MPFR precision to 64 1538408005.736 * * * * [misc]points: Setting MPFR precision to 320 1538408005.740 * * * * [misc]points: Filtering points with unrepresentable outputs 1538408005.740 * * * * [misc]points: Sampling 58 additional inputs, on iter 3 have 198 / 256 1538408005.741 * * * * [misc]points: Computing exacts on every 3 of 58 points to ramp up precision 1538408005.743 * * * * [misc]points: Setting MPFR precision to 64 1538408005.744 * * * * [misc]points: Setting MPFR precision to 320 1538408005.744 * * * * [misc]points: Computing exacts for 58 points 1538408005.746 * * * * [misc]points: Setting MPFR precision to 64 1538408005.748 * * * * [misc]points: Setting MPFR precision to 320 1538408005.751 * * * * [misc]points: Filtering points with unrepresentable outputs 1538408005.751 * * * * [misc]points: Sampling 30 additional inputs, on iter 4 have 226 / 256 1538408005.752 * * * * [misc]points: Computing exacts for 30 points 1538408005.753 * * * * [misc]points: Setting MPFR precision to 64 1538408005.755 * * * * [misc]points: Setting MPFR precision to 320 1538408005.757 * * * * [misc]points: Filtering points with unrepresentable outputs 1538408005.757 * * * * [misc]points: Sampling 20 additional inputs, on iter 5 have 236 / 256 1538408005.757 * * * * [misc]points: Computing exacts for 20 points 1538408005.759 * * * * [misc]points: Setting MPFR precision to 64 1538408005.760 * * * * [misc]points: Setting MPFR precision to 320 1538408005.761 * * * * [misc]points: Filtering points with unrepresentable outputs 1538408005.761 * * * * [misc]points: Sampling 11 additional inputs, on iter 6 have 245 / 256 1538408005.761 * * * * [misc]points: Computing exacts for 11 points 1538408005.762 * * * * [misc]points: Setting MPFR precision to 64 1538408005.763 * * * * [misc]points: Setting MPFR precision to 320 1538408005.763 * * * * [misc]points: Filtering points with unrepresentable outputs 1538408005.763 * * * * [misc]points: Sampling 5 additional inputs, on iter 7 have 251 / 256 1538408005.764 * * * * [misc]points: Computing exacts for 5 points 1538408005.765 * * * * [misc]points: Setting MPFR precision to 64 1538408005.765 * * * * [misc]points: Setting MPFR precision to 320 1538408005.766 * * * * [misc]points: Filtering points with unrepresentable outputs 1538408005.766 * * * * [misc]points: Sampling 4 additional inputs, on iter 8 have 252 / 256 1538408005.766 * * * * [misc]points: Computing exacts for 4 points 1538408005.767 * * * * [misc]points: Setting MPFR precision to 64 1538408005.767 * * * * [misc]points: Setting MPFR precision to 320 1538408005.768 * * * * [misc]points: Filtering points with unrepresentable outputs 1538408005.768 * * * * [misc]points: Sampling 4 additional inputs, on iter 9 have 254 / 256 1538408005.768 * * * * [misc]points: Computing exacts for 4 points 1538408005.769 * * * * [misc]points: Setting MPFR precision to 64 1538408005.769 * * * * [misc]points: Setting MPFR precision to 320 1538408005.770 * * * * [misc]points: Filtering points with unrepresentable outputs 1538408005.770 * * * * [misc]points: Sampling 4 additional inputs, on iter 10 have 254 / 256 1538408005.770 * * * * [misc]points: Computing exacts for 4 points 1538408005.771 * * * * [misc]points: Setting MPFR precision to 64 1538408005.772 * * * * [misc]points: Setting MPFR precision to 320 1538408005.772 * * * * [misc]points: Filtering points with unrepresentable outputs 1538408005.772 * * * * [exit]points: Sampled 256 points with exact outputs 1538408005.772 * * * [misc]progress: [2/2] Setting up program. 1538408005.780 * [misc]progress: [Phase 2 of 3] Improving. 1538408005.781 * [enter]simplify: Simplifying (- (pow x 4) (pow y 4)) 1538408005.783 * * [misc]simplify: iters left: 3 (6 enodes) 1538408005.789 * * [misc]simplify: iters left: 2 (8 enodes) 1538408005.792 * * [misc]simplify: iters left: 1 (9 enodes) 1538408005.796 * [exit]simplify: Simplified to (- (pow x 4) (pow y 4)) 1538408005.844 * * [misc]progress: iteration 1 / 4 1538408005.844 * * * [misc]progress: picking best candidate 1538408005.853 * * * * [misc]pick: Picked # 1538408005.854 * * * [misc]progress: localizing error 1538408005.878 * * * [misc]progress: generating rewritten candidates 1538408005.879 * * * [misc]progress: generating series expansions 1538408005.879 * * * [misc]progress: simplifying candidates 1538408005.879 * * * [misc]progress: adding candidates to table 1538408005.879 * [misc]progress: [Phase 3 of 3] Extracting. 1538408005.886 * [enter]simplify: Simplifying (- (pow x 4) (pow y 4)) 1538408005.887 * * [misc]simplify: iters left: 3 (6 enodes) 1538408005.888 * [exit]simplify: Simplified to (- (pow x 4) (pow y 4)) 1538408005.888 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1538408006.382 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1538408006.384 * * * * [misc]points: Setting MPFR precision to 64 1538408006.385 * * * * [misc]points: Setting MPFR precision to 320 1538408006.386 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1538408006.387 * * * * [misc]points: Setting MPFR precision to 64 1538408006.389 * * * * [misc]points: Setting MPFR precision to 320 1538408006.391 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1538408006.392 * * * * [misc]points: Setting MPFR precision to 64 1538408006.394 * * * * [misc]points: Setting MPFR precision to 320 1538408006.396 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1538408006.397 * * * * [misc]points: Setting MPFR precision to 64 1538408006.400 * * * * [misc]points: Setting MPFR precision to 320 1538408006.403 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1538408006.405 * * * * [misc]points: Setting MPFR precision to 64 1538408006.411 * * * * [misc]points: Setting MPFR precision to 320 1538408006.418 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1538408006.419 * * * * [misc]points: Setting MPFR precision to 64 1538408006.441 * * * * [misc]points: Setting MPFR precision to 320 1538408006.461 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1538408006.463 * * * * [misc]points: Setting MPFR precision to 64 1538408006.488 * * * * [misc]points: Setting MPFR precision to 320 1538408006.582 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1538408006.584 * * * * [misc]points: Setting MPFR precision to 64 1538408006.660 * * * * [misc]points: Setting MPFR precision to 320 1538408006.741 * * * * [misc]points: Computing exacts for 8000 points 1538408006.742 * * * * [misc]points: Setting MPFR precision to 64 1538408007.148 * * * * [misc]points: Setting MPFR precision to 320 1538408007.550 * * * * [misc]points: Filtering points with unrepresentable outputs 1538408007.551 * * * * [misc]points: Sampling 4833 additional inputs, on iter 1 have 3167 / 8000 1538408007.619 * * * * [misc]points: Computing exacts on every 302 of 4833 points to ramp up precision 1538408007.621 * * * * [misc]points: Setting MPFR precision to 64 1538408007.622 * * * * [misc]points: Setting MPFR precision to 320 1538408007.623 * * * * [misc]points: Computing exacts on every 151 of 4833 points to ramp up precision 1538408007.624 * * * * [misc]points: Setting MPFR precision to 64 1538408007.626 * * * * [misc]points: Setting MPFR precision to 320 1538408007.627 * * * * [misc]points: Computing exacts on every 75 of 4833 points to ramp up precision 1538408007.629 * * * * [misc]points: Setting MPFR precision to 64 1538408007.631 * * * * [misc]points: Setting MPFR precision to 320 1538408007.634 * * * * [misc]points: Computing exacts on every 37 of 4833 points to ramp up precision 1538408007.636 * * * * [misc]points: Setting MPFR precision to 64 1538408007.642 * * * * [misc]points: Setting MPFR precision to 320 1538408007.649 * * * * [misc]points: Computing exacts on every 18 of 4833 points to ramp up precision 1538408007.651 * * * * [misc]points: Setting MPFR precision to 64 1538408007.664 * * * * [misc]points: Setting MPFR precision to 320 1538408007.677 * * * * [misc]points: Computing exacts on every 9 of 4833 points to ramp up precision 1538408007.679 * * * * [misc]points: Setting MPFR precision to 64 1538408007.704 * * * * [misc]points: Setting MPFR precision to 320 1538408007.730 * * * * [misc]points: Computing exacts on every 4 of 4833 points to ramp up precision 1538408007.732 * * * * [misc]points: Setting MPFR precision to 64 1538408007.757 * * * * [misc]points: Setting MPFR precision to 320 1538408007.811 * * * * [misc]points: Computing exacts on every 2 of 4833 points to ramp up precision 1538408007.812 * * * * [misc]points: Setting MPFR precision to 64 1538408007.865 * * * * [misc]points: Setting MPFR precision to 320 1538408007.910 * * * * [misc]points: Setting MPFR precision to 576 1538408008.004 * * * * [misc]points: Computing exacts for 4833 points 1538408008.005 * * * * [misc]points: Setting MPFR precision to 320 1538408008.236 * * * * [misc]points: Setting MPFR precision to 576 1538408008.513 * * * * [misc]points: Filtering points with unrepresentable outputs 1538408008.514 * * * * [misc]points: Sampling 2964 additional inputs, on iter 2 have 5036 / 8000 1538408008.541 * * * * [misc]points: Computing exacts on every 185 of 2964 points to ramp up precision 1538408008.543 * * * * [misc]points: Setting MPFR precision to 320 1538408008.969 * * * * [misc]points: Setting MPFR precision to 576 1538408008.970 * * * * [misc]points: Computing exacts on every 92 of 2964 points to ramp up precision 1538408008.972 * * * * [misc]points: Setting MPFR precision to 320 1538408008.974 * * * * [misc]points: Setting MPFR precision to 576 1538408008.976 * * * * [misc]points: Computing exacts on every 46 of 2964 points to ramp up precision 1538408008.978 * * * * [misc]points: Setting MPFR precision to 320 1538408008.981 * * * * [misc]points: Setting MPFR precision to 576 1538408008.987 * * * * [misc]points: Computing exacts on every 23 of 2964 points to ramp up precision 1538408008.989 * * * * [misc]points: Setting MPFR precision to 320 1538408008.996 * * * * [misc]points: Setting MPFR precision to 576 1538408009.002 * * * * [misc]points: Computing exacts on every 11 of 2964 points to ramp up precision 1538408009.004 * * * * [misc]points: Setting MPFR precision to 320 1538408009.019 * * * * [misc]points: Setting MPFR precision to 576 1538408009.032 * * * * [misc]points: Computing exacts on every 5 of 2964 points to ramp up precision 1538408009.034 * * * * [misc]points: Setting MPFR precision to 320 1538408009.058 * * * * [misc]points: Setting MPFR precision to 576 1538408009.070 * * * * [misc]points: Computing exacts on every 2 of 2964 points to ramp up precision 1538408009.072 * * * * [misc]points: Setting MPFR precision to 320 1538408009.111 * * * * [misc]points: Setting MPFR precision to 576 1538408009.163 * * * * [misc]points: Computing exacts for 2964 points 1538408009.165 * * * * [misc]points: Setting MPFR precision to 320 1538408009.356 * * * * [misc]points: Setting MPFR precision to 576 1538408009.506 * * * * [misc]points: Filtering points with unrepresentable outputs 1538408009.508 * * * * [misc]points: Sampling 1831 additional inputs, on iter 3 have 6169 / 8000 1538408009.524 * * * * [misc]points: Computing exacts on every 114 of 1831 points to ramp up precision 1538408009.526 * * * * [misc]points: Setting MPFR precision to 320 1538408009.528 * * * * [misc]points: Setting MPFR precision to 576 1538408009.528 * * * * [misc]points: Computing exacts on every 57 of 1831 points to ramp up precision 1538408009.530 * * * * [misc]points: Setting MPFR precision to 320 1538408009.532 * * * * [misc]points: Setting MPFR precision to 576 1538408009.533 * * * * [misc]points: Computing exacts on every 28 of 1831 points to ramp up precision 1538408009.535 * * * * [misc]points: Setting MPFR precision to 320 1538408009.538 * * * * [misc]points: Setting MPFR precision to 576 1538408009.542 * * * * [misc]points: Computing exacts on every 14 of 1831 points to ramp up precision 1538408009.543 * * * * [misc]points: Setting MPFR precision to 320 1538408009.547 * * * * [misc]points: Setting MPFR precision to 576 1538408009.550 * * * * [misc]points: Computing exacts on every 7 of 1831 points to ramp up precision 1538408009.551 * * * * [misc]points: Setting MPFR precision to 320 1538408009.557 * * * * [misc]points: Setting MPFR precision to 576 1538408009.563 * * * * [misc]points: Computing exacts on every 3 of 1831 points to ramp up precision 1538408009.564 * * * * [misc]points: Setting MPFR precision to 320 1538408009.576 * * * * [misc]points: Setting MPFR precision to 576 1538408009.615 * * * * [misc]points: Computing exacts for 1831 points 1538408009.616 * * * * [misc]points: Setting MPFR precision to 320 1538408009.666 * * * * [misc]points: Setting MPFR precision to 576 1538408009.762 * * * * [misc]points: Filtering points with unrepresentable outputs 1538408009.763 * * * * [misc]points: Sampling 1121 additional inputs, on iter 4 have 6879 / 8000 1538408009.774 * * * * [misc]points: Computing exacts on every 70 of 1121 points to ramp up precision 1538408009.775 * * * * [misc]points: Setting MPFR precision to 320 1538408009.823 * * * * [misc]points: Setting MPFR precision to 576 1538408009.824 * * * * [misc]points: Computing exacts on every 35 of 1121 points to ramp up precision 1538408009.826 * * * * [misc]points: Setting MPFR precision to 320 1538408009.828 * * * * [misc]points: Setting MPFR precision to 576 1538408009.830 * * * * [misc]points: Computing exacts on every 17 of 1121 points to ramp up precision 1538408009.831 * * * * [misc]points: Setting MPFR precision to 320 1538408009.839 * * * * [misc]points: Setting MPFR precision to 576 1538408009.842 * * * * [misc]points: Computing exacts on every 8 of 1121 points to ramp up precision 1538408009.844 * * * * [misc]points: Setting MPFR precision to 320 1538408009.851 * * * * [misc]points: Setting MPFR precision to 576 1538408009.858 * * * * [misc]points: Computing exacts on every 4 of 1121 points to ramp up precision 1538408009.859 * * * * [misc]points: Setting MPFR precision to 320 1538408009.872 * * * * [misc]points: Setting MPFR precision to 576 1538408009.884 * * * * [misc]points: Computing exacts on every 2 of 1121 points to ramp up precision 1538408009.886 * * * * [misc]points: Setting MPFR precision to 320 1538408009.905 * * * * [misc]points: Setting MPFR precision to 576 1538408009.924 * * * * [misc]points: Computing exacts for 1121 points 1538408009.926 * * * * [misc]points: Setting MPFR precision to 320 1538408009.975 * * * * [misc]points: Setting MPFR precision to 576 1538408010.004 * * * * [misc]points: Filtering points with unrepresentable outputs 1538408010.004 * * * * [misc]points: Sampling 714 additional inputs, on iter 5 have 7286 / 8000 1538408010.008 * * * * [misc]points: Computing exacts on every 44 of 714 points to ramp up precision 1538408010.009 * * * * [misc]points: Setting MPFR precision to 320 1538408010.048 * * * * [misc]points: Setting MPFR precision to 576 1538408010.049 * * * * [misc]points: Computing exacts on every 22 of 714 points to ramp up precision 1538408010.051 * * * * [misc]points: Setting MPFR precision to 320 1538408010.053 * * * * [misc]points: Setting MPFR precision to 576 1538408010.054 * * * * [misc]points: Computing exacts on every 11 of 714 points to ramp up precision 1538408010.056 * * * * [misc]points: Setting MPFR precision to 320 1538408010.063 * * * * [misc]points: Setting MPFR precision to 576 1538408010.066 * * * * [misc]points: Computing exacts on every 5 of 714 points to ramp up precision 1538408010.068 * * * * [misc]points: Setting MPFR precision to 320 1538408010.074 * * * * [misc]points: Setting MPFR precision to 576 1538408010.080 * * * * [misc]points: Computing exacts on every 2 of 714 points to ramp up precision 1538408010.082 * * * * [misc]points: Setting MPFR precision to 320 1538408010.094 * * * * [misc]points: Setting MPFR precision to 576 1538408010.107 * * * * [misc]points: Computing exacts for 714 points 1538408010.108 * * * * [misc]points: Setting MPFR precision to 320 1538408010.146 * * * * [misc]points: Setting MPFR precision to 576 1538408010.183 * * * * [misc]points: Filtering points with unrepresentable outputs 1538408010.184 * * * * [misc]points: Sampling 421 additional inputs, on iter 6 have 7579 / 8000 1538408010.188 * * * * [misc]points: Computing exacts on every 26 of 421 points to ramp up precision 1538408010.189 * * * * [misc]points: Setting MPFR precision to 320 1538408010.190 * * * * [misc]points: Setting MPFR precision to 576 1538408010.191 * * * * [misc]points: Computing exacts on every 13 of 421 points to ramp up precision 1538408010.193 * * * * [misc]points: Setting MPFR precision to 320 1538408010.194 * * * * [misc]points: Setting MPFR precision to 576 1538408010.196 * * * * [misc]points: Computing exacts on every 6 of 421 points to ramp up precision 1538408010.198 * * * * [misc]points: Setting MPFR precision to 320 1538408010.201 * * * * [misc]points: Setting MPFR precision to 576 1538408010.204 * * * * [misc]points: Computing exacts on every 3 of 421 points to ramp up precision 1538408010.206 * * * * [misc]points: Setting MPFR precision to 320 1538408010.212 * * * * [misc]points: Setting MPFR precision to 576 1538408010.217 * * * * [misc]points: Computing exacts for 421 points 1538408010.219 * * * * [misc]points: Setting MPFR precision to 320 1538408010.241 * * * * [misc]points: Setting MPFR precision to 576 1538408010.290 * * * * [misc]points: Filtering points with unrepresentable outputs 1538408010.291 * * * * [misc]points: Sampling 248 additional inputs, on iter 7 have 7752 / 8000 1538408010.292 * * * * [misc]points: Computing exacts on every 15 of 248 points to ramp up precision 1538408010.293 * * * * [misc]points: Setting MPFR precision to 320 1538408010.293 * * * * [misc]points: Setting MPFR precision to 576 1538408010.294 * * * * [misc]points: Computing exacts on every 7 of 248 points to ramp up precision 1538408010.295 * * * * [misc]points: Setting MPFR precision to 320 1538408010.296 * * * * [misc]points: Setting MPFR precision to 576 1538408010.297 * * * * [misc]points: Computing exacts on every 3 of 248 points to ramp up precision 1538408010.297 * * * * [misc]points: Setting MPFR precision to 320 1538408010.299 * * * * [misc]points: Setting MPFR precision to 576 1538408010.306 * * * * [misc]points: Computing exacts for 248 points 1538408010.308 * * * * [misc]points: Setting MPFR precision to 320 1538408010.322 * * * * [misc]points: Setting MPFR precision to 576 1538408010.336 * * * * [misc]points: Filtering points with unrepresentable outputs 1538408010.336 * * * * [misc]points: Sampling 156 additional inputs, on iter 8 have 7844 / 8000 1538408010.338 * * * * [misc]points: Computing exacts on every 9 of 156 points to ramp up precision 1538408010.340 * * * * [misc]points: Setting MPFR precision to 320 1538408010.341 * * * * [misc]points: Setting MPFR precision to 576 1538408010.341 * * * * [misc]points: Computing exacts on every 4 of 156 points to ramp up precision 1538408010.343 * * * * [misc]points: Setting MPFR precision to 320 1538408010.345 * * * * [misc]points: Setting MPFR precision to 576 1538408010.346 * * * * [misc]points: Computing exacts on every 2 of 156 points to ramp up precision 1538408010.348 * * * * [misc]points: Setting MPFR precision to 320 1538408010.351 * * * * [misc]points: Setting MPFR precision to 576 1538408010.354 * * * * [misc]points: Computing exacts for 156 points 1538408010.355 * * * * [misc]points: Setting MPFR precision to 320 1538408010.364 * * * * [misc]points: Setting MPFR precision to 576 1538408010.372 * * * * [misc]points: Filtering points with unrepresentable outputs 1538408010.373 * * * * [misc]points: Sampling 98 additional inputs, on iter 9 have 7902 / 8000 1538408010.374 * * * * [misc]points: Computing exacts on every 6 of 98 points to ramp up precision 1538408010.375 * * * * [misc]points: Setting MPFR precision to 320 1538408010.376 * * * * [misc]points: Setting MPFR precision to 576 1538408010.377 * * * * [misc]points: Computing exacts on every 3 of 98 points to ramp up precision 1538408010.378 * * * * [misc]points: Setting MPFR precision to 320 1538408010.380 * * * * [misc]points: Setting MPFR precision to 576 1538408010.381 * * * * [misc]points: Computing exacts for 98 points 1538408010.382 * * * * [misc]points: Setting MPFR precision to 320 1538408010.387 * * * * [misc]points: Setting MPFR precision to 576 1538408010.392 * * * * [misc]points: Filtering points with unrepresentable outputs 1538408010.393 * * * * [misc]points: Sampling 56 additional inputs, on iter 10 have 7944 / 8000 1538408010.394 * * * * [misc]points: Computing exacts on every 3 of 56 points to ramp up precision 1538408010.395 * * * * [misc]points: Setting MPFR precision to 320 1538408010.396 * * * * [misc]points: Setting MPFR precision to 576 1538408010.397 * * * * [misc]points: Computing exacts for 56 points 1538408010.399 * * * * [misc]points: Setting MPFR precision to 320 1538408010.402 * * * * [misc]points: Setting MPFR precision to 576 1538408010.405 * * * * [misc]points: Filtering points with unrepresentable outputs 1538408010.405 * * * * [misc]points: Sampling 35 additional inputs, on iter 11 have 7965 / 8000 1538408010.405 * * * * [misc]points: Computing exacts on every 2 of 35 points to ramp up precision 1538408010.407 * * * * [misc]points: Setting MPFR precision to 320 1538408010.408 * * * * [misc]points: Setting MPFR precision to 576 1538408010.408 * * * * [misc]points: Computing exacts for 35 points 1538408010.410 * * * * [misc]points: Setting MPFR precision to 320 1538408010.412 * * * * [misc]points: Setting MPFR precision to 576 1538408010.414 * * * * [misc]points: Filtering points with unrepresentable outputs 1538408010.414 * * * * [misc]points: Sampling 23 additional inputs, on iter 12 have 7977 / 8000 1538408010.415 * * * * [misc]points: Computing exacts for 23 points 1538408010.416 * * * * [misc]points: Setting MPFR precision to 320 1538408010.417 * * * * [misc]points: Setting MPFR precision to 576 1538408010.419 * * * * [misc]points: Filtering points with unrepresentable outputs 1538408010.419 * * * * [misc]points: Sampling 14 additional inputs, on iter 13 have 7986 / 8000 1538408010.419 * * * * [misc]points: Computing exacts for 14 points 1538408010.421 * * * * [misc]points: Setting MPFR precision to 320 1538408010.421 * * * * [misc]points: Setting MPFR precision to 576 1538408010.422 * * * * [misc]points: Filtering points with unrepresentable outputs 1538408010.422 * * * * [misc]points: Sampling 9 additional inputs, on iter 14 have 7991 / 8000 1538408010.423 * * * * [misc]points: Computing exacts for 9 points 1538408010.424 * * * * [misc]points: Setting MPFR precision to 320 1538408010.425 * * * * [misc]points: Setting MPFR precision to 576 1538408010.425 * * * * [misc]points: Filtering points with unrepresentable outputs 1538408010.425 * * * * [misc]points: Sampling 5 additional inputs, on iter 15 have 7995 / 8000 1538408010.425 * * * * [misc]points: Computing exacts for 5 points 1538408010.427 * * * * [misc]points: Setting MPFR precision to 320 1538408010.427 * * * * [misc]points: Setting MPFR precision to 576 1538408010.427 * * * * [misc]points: Filtering points with unrepresentable outputs 1538408010.428 * * * * [misc]points: Sampling 4 additional inputs, on iter 16 have 7998 / 8000 1538408010.428 * * * * [misc]points: Computing exacts for 4 points 1538408010.429 * * * * [misc]points: Setting MPFR precision to 320 1538408010.429 * * * * [misc]points: Setting MPFR precision to 576 1538408010.430 * * * * [misc]points: Filtering points with unrepresentable outputs 1538408010.430 * * * * [exit]points: Sampled 8001 points with exact outputs