1539789346.582 * [misc]progress: [Phase 1 of 3] Setting up. 1539789346.582 * * * [misc]progress: [1/2] Preparing points 1539789346.582 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1539789346.583 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1539789346.584 * * * * [misc]points: Setting MPFR precision to 64 1539789346.585 * * * * [misc]points: Setting MPFR precision to 320 1539789346.585 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1539789346.586 * * * * [misc]points: Setting MPFR precision to 64 1539789346.587 * * * * [misc]points: Setting MPFR precision to 320 1539789346.587 * * * * [misc]points: Setting MPFR precision to 576 1539789346.588 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1539789346.589 * * * * [misc]points: Setting MPFR precision to 320 1539789346.590 * * * * [misc]points: Setting MPFR precision to 576 1539789346.592 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1539789346.593 * * * * [misc]points: Setting MPFR precision to 320 1539789346.595 * * * * [misc]points: Setting MPFR precision to 576 1539789346.598 * * * * [misc]points: Computing exacts for 256 points 1539789346.598 * * * * [misc]points: Setting MPFR precision to 320 1539789346.605 * * * * [misc]points: Setting MPFR precision to 576 1539789346.620 * * * * [misc]points: Filtering points with unrepresentable outputs 1539789346.621 * * * * [misc]points: Sampling 202 additional inputs, on iter 1 have 54 / 256 1539789346.621 * * * * [misc]points: Computing exacts on every 12 of 202 points to ramp up precision 1539789346.622 * * * * [misc]points: Setting MPFR precision to 320 1539789346.623 * * * * [misc]points: Setting MPFR precision to 576 1539789346.623 * * * * [misc]points: Computing exacts on every 6 of 202 points to ramp up precision 1539789346.624 * * * * [misc]points: Setting MPFR precision to 320 1539789346.625 * * * * [misc]points: Setting MPFR precision to 576 1539789346.626 * * * * [misc]points: Computing exacts on every 3 of 202 points to ramp up precision 1539789346.627 * * * * [misc]points: Setting MPFR precision to 320 1539789346.628 * * * * [misc]points: Setting MPFR precision to 576 1539789346.630 * * * * [misc]points: Computing exacts for 202 points 1539789346.631 * * * * [misc]points: Setting MPFR precision to 320 1539789346.636 * * * * [misc]points: Setting MPFR precision to 576 1539789346.642 * * * * [misc]points: Filtering points with unrepresentable outputs 1539789346.642 * * * * [misc]points: Sampling 166 additional inputs, on iter 2 have 90 / 256 1539789346.643 * * * * [misc]points: Computing exacts on every 10 of 166 points to ramp up precision 1539789346.644 * * * * [misc]points: Setting MPFR precision to 320 1539789346.644 * * * * [misc]points: Setting MPFR precision to 576 1539789346.645 * * * * [misc]points: Computing exacts on every 5 of 166 points to ramp up precision 1539789346.645 * * * * [misc]points: Setting MPFR precision to 320 1539789346.646 * * * * [misc]points: Setting MPFR precision to 576 1539789346.647 * * * * [misc]points: Computing exacts on every 2 of 166 points to ramp up precision 1539789346.648 * * * * [misc]points: Setting MPFR precision to 320 1539789346.650 * * * * [misc]points: Setting MPFR precision to 576 1539789346.651 * * * * [misc]points: Computing exacts for 166 points 1539789346.652 * * * * [misc]points: Setting MPFR precision to 320 1539789346.657 * * * * [misc]points: Setting MPFR precision to 576 1539789346.662 * * * * [misc]points: Filtering points with unrepresentable outputs 1539789346.662 * * * * [misc]points: Sampling 122 additional inputs, on iter 3 have 134 / 256 1539789346.663 * * * * [misc]points: Computing exacts on every 7 of 122 points to ramp up precision 1539789346.663 * * * * [misc]points: Setting MPFR precision to 320 1539789346.664 * * * * [misc]points: Setting MPFR precision to 576 1539789346.664 * * * * [misc]points: Computing exacts on every 3 of 122 points to ramp up precision 1539789346.665 * * * * [misc]points: Setting MPFR precision to 320 1539789346.666 * * * * [misc]points: Setting MPFR precision to 576 1539789346.667 * * * * [misc]points: Computing exacts for 122 points 1539789346.667 * * * * [misc]points: Setting MPFR precision to 320 1539789346.673 * * * * [misc]points: Setting MPFR precision to 576 1539789346.680 * * * * [misc]points: Filtering points with unrepresentable outputs 1539789346.680 * * * * [misc]points: Sampling 99 additional inputs, on iter 4 have 157 / 256 1539789346.681 * * * * [misc]points: Computing exacts on every 6 of 99 points to ramp up precision 1539789346.683 * * * * [misc]points: Setting MPFR precision to 320 1539789346.683 * * * * [misc]points: Setting MPFR precision to 576 1539789346.685 * * * * [misc]points: Computing exacts on every 3 of 99 points to ramp up precision 1539789346.686 * * * * [misc]points: Setting MPFR precision to 320 1539789346.687 * * * * [misc]points: Setting MPFR precision to 576 1539789346.689 * * * * [misc]points: Computing exacts for 99 points 1539789346.690 * * * * [misc]points: Setting MPFR precision to 320 1539789346.695 * * * * [misc]points: Setting MPFR precision to 576 1539789346.698 * * * * [misc]points: Filtering points with unrepresentable outputs 1539789346.698 * * * * [misc]points: Sampling 67 additional inputs, on iter 5 have 189 / 256 1539789346.699 * * * * [misc]points: Computing exacts on every 4 of 67 points to ramp up precision 1539789346.700 * * * * [misc]points: Setting MPFR precision to 320 1539789346.700 * * * * [misc]points: Setting MPFR precision to 576 1539789346.701 * * * * [misc]points: Computing exacts on every 2 of 67 points to ramp up precision 1539789346.701 * * * * [misc]points: Setting MPFR precision to 320 1539789346.702 * * * * [misc]points: Setting MPFR precision to 576 1539789346.703 * * * * [misc]points: Computing exacts for 67 points 1539789346.703 * * * * [misc]points: Setting MPFR precision to 320 1539789346.705 * * * * [misc]points: Setting MPFR precision to 576 1539789346.707 * * * * [misc]points: Filtering points with unrepresentable outputs 1539789346.707 * * * * [misc]points: Sampling 52 additional inputs, on iter 6 have 204 / 256 1539789346.708 * * * * [misc]points: Computing exacts on every 3 of 52 points to ramp up precision 1539789346.708 * * * * [misc]points: Setting MPFR precision to 320 1539789346.709 * * * * [misc]points: Setting MPFR precision to 576 1539789346.709 * * * * [misc]points: Computing exacts for 52 points 1539789346.710 * * * * [misc]points: Setting MPFR precision to 320 1539789346.711 * * * * [misc]points: Setting MPFR precision to 576 1539789346.713 * * * * [misc]points: Filtering points with unrepresentable outputs 1539789346.713 * * * * [misc]points: Sampling 40 additional inputs, on iter 7 have 216 / 256 1539789346.713 * * * * [misc]points: Computing exacts on every 2 of 40 points to ramp up precision 1539789346.714 * * * * [misc]points: Setting MPFR precision to 320 1539789346.714 * * * * [misc]points: Setting MPFR precision to 576 1539789346.715 * * * * [misc]points: Computing exacts for 40 points 1539789346.716 * * * * [misc]points: Setting MPFR precision to 320 1539789346.717 * * * * [misc]points: Setting MPFR precision to 576 1539789346.718 * * * * [misc]points: Filtering points with unrepresentable outputs 1539789346.718 * * * * [misc]points: Sampling 30 additional inputs, on iter 8 have 226 / 256 1539789346.718 * * * * [misc]points: Computing exacts for 30 points 1539789346.719 * * * * [misc]points: Setting MPFR precision to 320 1539789346.720 * * * * [misc]points: Setting MPFR precision to 576 1539789346.721 * * * * [misc]points: Filtering points with unrepresentable outputs 1539789346.721 * * * * [misc]points: Sampling 23 additional inputs, on iter 9 have 233 / 256 1539789346.721 * * * * [misc]points: Computing exacts for 23 points 1539789346.722 * * * * [misc]points: Setting MPFR precision to 320 1539789346.723 * * * * [misc]points: Setting MPFR precision to 576 1539789346.723 * * * * [misc]points: Filtering points with unrepresentable outputs 1539789346.723 * * * * [misc]points: Sampling 18 additional inputs, on iter 10 have 238 / 256 1539789346.724 * * * * [misc]points: Computing exacts for 18 points 1539789346.724 * * * * [misc]points: Setting MPFR precision to 320 1539789346.725 * * * * [misc]points: Setting MPFR precision to 576 1539789346.725 * * * * [misc]points: Filtering points with unrepresentable outputs 1539789346.725 * * * * [misc]points: Sampling 15 additional inputs, on iter 11 have 241 / 256 1539789346.725 * * * * [misc]points: Computing exacts for 15 points 1539789346.726 * * * * [misc]points: Setting MPFR precision to 320 1539789346.727 * * * * [misc]points: Setting MPFR precision to 576 1539789346.727 * * * * [misc]points: Filtering points with unrepresentable outputs 1539789346.727 * * * * [misc]points: Sampling 10 additional inputs, on iter 12 have 246 / 256 1539789346.727 * * * * [misc]points: Computing exacts for 10 points 1539789346.728 * * * * [misc]points: Setting MPFR precision to 320 1539789346.728 * * * * [misc]points: Setting MPFR precision to 576 1539789346.729 * * * * [misc]points: Filtering points with unrepresentable outputs 1539789346.729 * * * * [misc]points: Sampling 6 additional inputs, on iter 13 have 250 / 256 1539789346.729 * * * * [misc]points: Computing exacts for 6 points 1539789346.729 * * * * [misc]points: Setting MPFR precision to 320 1539789346.730 * * * * [misc]points: Setting MPFR precision to 576 1539789346.730 * * * * [misc]points: Filtering points with unrepresentable outputs 1539789346.730 * * * * [misc]points: Sampling 5 additional inputs, on iter 14 have 251 / 256 1539789346.730 * * * * [misc]points: Computing exacts for 5 points 1539789346.731 * * * * [misc]points: Setting MPFR precision to 320 1539789346.731 * * * * [misc]points: Setting MPFR precision to 576 1539789346.731 * * * * [misc]points: Filtering points with unrepresentable outputs 1539789346.731 * * * * [misc]points: Sampling 4 additional inputs, on iter 15 have 252 / 256 1539789346.731 * * * * [misc]points: Computing exacts for 4 points 1539789346.732 * * * * [misc]points: Setting MPFR precision to 320 1539789346.732 * * * * [misc]points: Setting MPFR precision to 576 1539789346.732 * * * * [misc]points: Filtering points with unrepresentable outputs 1539789346.732 * * * * [misc]points: Sampling 4 additional inputs, on iter 16 have 253 / 256 1539789346.732 * * * * [misc]points: Computing exacts for 4 points 1539789346.733 * * * * [misc]points: Setting MPFR precision to 320 1539789346.733 * * * * [misc]points: Setting MPFR precision to 576 1539789346.733 * * * * [misc]points: Filtering points with unrepresentable outputs 1539789346.733 * * * * [misc]points: Sampling 4 additional inputs, on iter 17 have 254 / 256 1539789346.733 * * * * [misc]points: Computing exacts for 4 points 1539789346.734 * * * * [misc]points: Setting MPFR precision to 320 1539789346.734 * * * * [misc]points: Setting MPFR precision to 576 1539789346.734 * * * * [misc]points: Filtering points with unrepresentable outputs 1539789346.734 * * * * [misc]points: Sampling 4 additional inputs, on iter 18 have 255 / 256 1539789346.734 * * * * [misc]points: Computing exacts for 4 points 1539789346.735 * * * * [misc]points: Setting MPFR precision to 320 1539789346.735 * * * * [misc]points: Setting MPFR precision to 576 1539789346.735 * * * * [misc]points: Filtering points with unrepresentable outputs 1539789346.735 * * * * [exit]points: Sampled 256 points with exact outputs 1539789346.735 * * * [misc]progress: [2/2] Setting up program. 1539789346.738 * [misc]progress: [Phase 2 of 3] Improving. 1539789346.738 * [enter]simplify: Simplifying (exp (+ (log a) (log b))) 1539789346.738 * * [misc]simplify: iters left: 4 (6 enodes) 1539789346.739 * * [misc]simplify: iters left: 3 (10 enodes) 1539789346.740 * * [misc]simplify: iters left: 2 (11 enodes) 1539789346.741 * [exit]simplify: Simplified to (* a b) 1539789346.765 * * [misc]progress: iteration 1 / 4 1539789346.765 * * * [misc]progress: picking best candidate 1539789346.769 * * * * [misc]pick: Picked # 1539789346.769 * * * [misc]progress: localizing error 1539789346.779 * * * [misc]progress: generating rewritten candidates 1539789346.779 * * * [misc]progress: generating series expansions 1539789346.779 * * * [misc]progress: simplifying candidates 1539789346.779 * * * [misc]progress: adding candidates to table 1539789346.779 * [misc]progress: [Phase 3 of 3] Extracting. 1539789346.782 * [enter]simplify: Simplifying (* a b) 1539789346.782 * * [misc]simplify: iters left: 2 (3 enodes) 1539789346.783 * * [misc]simplify: iters left: 1 (4 enodes) 1539789346.783 * [exit]simplify: Simplified to (* a b) 1539789346.783 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1539789346.861 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1539789346.863 * * * * [misc]points: Setting MPFR precision to 320 1539789346.864 * * * * [misc]points: Setting MPFR precision to 576 1539789346.865 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1539789346.866 * * * * [misc]points: Setting MPFR precision to 320 1539789346.868 * * * * [misc]points: Setting MPFR precision to 576 1539789346.870 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1539789346.871 * * * * [misc]points: Setting MPFR precision to 320 1539789346.874 * * * * [misc]points: Setting MPFR precision to 576 1539789346.878 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1539789346.879 * * * * [misc]points: Setting MPFR precision to 320 1539789346.885 * * * * [misc]points: Setting MPFR precision to 576 1539789346.892 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1539789346.893 * * * * [misc]points: Setting MPFR precision to 320 1539789346.906 * * * * [misc]points: Setting MPFR precision to 576 1539789346.921 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1539789346.922 * * * * [misc]points: Setting MPFR precision to 320 1539789346.948 * * * * [misc]points: Setting MPFR precision to 576 1539789346.978 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1539789346.979 * * * * [misc]points: Setting MPFR precision to 320 1539789347.026 * * * * [misc]points: Setting MPFR precision to 576 1539789347.058 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1539789347.059 * * * * [misc]points: Setting MPFR precision to 320 1539789347.181 * * * * [misc]points: Setting MPFR precision to 576 1539789347.252 * * * * [misc]points: Computing exacts for 8000 points 1539789347.253 * * * * [misc]points: Setting MPFR precision to 320 1539789347.651 * * * * [misc]points: Setting MPFR precision to 576 1539789348.111 * * * * [misc]points: Filtering points with unrepresentable outputs 1539789348.113 * * * * [misc]points: Sampling 6328 additional inputs, on iter 1 have 1672 / 8000 1539789348.186 * * * * [misc]points: Computing exacts on every 395 of 6328 points to ramp up precision 1539789348.187 * * * * [misc]points: Setting MPFR precision to 320 1539789348.188 * * * * [misc]points: Setting MPFR precision to 576 1539789348.189 * * * * [misc]points: Computing exacts on every 197 of 6328 points to ramp up precision 1539789348.190 * * * * [misc]points: Setting MPFR precision to 320 1539789348.192 * * * * [misc]points: Setting MPFR precision to 576 1539789348.194 * * * * [misc]points: Computing exacts on every 98 of 6328 points to ramp up precision 1539789348.195 * * * * [misc]points: Setting MPFR precision to 320 1539789348.198 * * * * [misc]points: Setting MPFR precision to 576 1539789348.201 * * * * [misc]points: Computing exacts on every 49 of 6328 points to ramp up precision 1539789348.202 * * * * [misc]points: Setting MPFR precision to 320 1539789348.208 * * * * [misc]points: Setting MPFR precision to 576 1539789348.215 * * * * [misc]points: Computing exacts on every 24 of 6328 points to ramp up precision 1539789348.217 * * * * [misc]points: Setting MPFR precision to 320 1539789348.229 * * * * [misc]points: Setting MPFR precision to 576 1539789348.243 * * * * [misc]points: Computing exacts on every 12 of 6328 points to ramp up precision 1539789348.244 * * * * [misc]points: Setting MPFR precision to 320 1539789348.257 * * * * [misc]points: Setting MPFR precision to 576 1539789348.272 * * * * [misc]points: Computing exacts on every 6 of 6328 points to ramp up precision 1539789348.273 * * * * [misc]points: Setting MPFR precision to 320 1539789348.349 * * * * [misc]points: Setting MPFR precision to 576 1539789348.392 * * * * [misc]points: Computing exacts on every 3 of 6328 points to ramp up precision 1539789348.393 * * * * [misc]points: Setting MPFR precision to 320 1539789348.434 * * * * [misc]points: Setting MPFR precision to 576 1539789348.538 * * * * [misc]points: Computing exacts for 6328 points 1539789348.539 * * * * [misc]points: Setting MPFR precision to 320 1539789349.231 * * * * [misc]points: Setting MPFR precision to 576 1539789349.589 * * * * [misc]points: Filtering points with unrepresentable outputs 1539789349.591 * * * * [misc]points: Sampling 4955 additional inputs, on iter 2 have 3045 / 8000 1539789349.616 * * * * [misc]points: Computing exacts on every 309 of 4955 points to ramp up precision 1539789349.617 * * * * [misc]points: Setting MPFR precision to 320 1539789349.618 * * * * [misc]points: Setting MPFR precision to 576 1539789349.618 * * * * [misc]points: Computing exacts on every 154 of 4955 points to ramp up precision 1539789349.619 * * * * [misc]points: Setting MPFR precision to 320 1539789349.620 * * * * [misc]points: Setting MPFR precision to 576 1539789349.621 * * * * [misc]points: Computing exacts on every 77 of 4955 points to ramp up precision 1539789349.622 * * * * [misc]points: Setting MPFR precision to 320 1539789349.623 * * * * [misc]points: Setting MPFR precision to 576 1539789349.625 * * * * [misc]points: Computing exacts on every 38 of 4955 points to ramp up precision 1539789349.626 * * * * [misc]points: Setting MPFR precision to 320 1539789349.629 * * * * [misc]points: Setting MPFR precision to 576 1539789349.633 * * * * [misc]points: Computing exacts on every 19 of 4955 points to ramp up precision 1539789349.634 * * * * [misc]points: Setting MPFR precision to 320 1539789349.657 * * * * [misc]points: Setting MPFR precision to 576 1539789349.665 * * * * [misc]points: Computing exacts on every 9 of 4955 points to ramp up precision 1539789349.666 * * * * [misc]points: Setting MPFR precision to 320 1539789349.680 * * * * [misc]points: Setting MPFR precision to 576 1539789349.694 * * * * [misc]points: Computing exacts on every 4 of 4955 points to ramp up precision 1539789349.695 * * * * [misc]points: Setting MPFR precision to 320 1539789349.721 * * * * [misc]points: Setting MPFR precision to 576 1539789349.750 * * * * [misc]points: Computing exacts on every 2 of 4955 points to ramp up precision 1539789349.751 * * * * [misc]points: Setting MPFR precision to 320 1539789349.877 * * * * [misc]points: Setting MPFR precision to 576 1539789349.972 * * * * [misc]points: Computing exacts for 4955 points 1539789349.973 * * * * [misc]points: Setting MPFR precision to 320 1539789350.201 * * * * [misc]points: Setting MPFR precision to 576 1539789350.440 * * * * [misc]points: Filtering points with unrepresentable outputs 1539789350.441 * * * * [misc]points: Sampling 3921 additional inputs, on iter 3 have 4079 / 8000 1539789350.501 * * * * [misc]points: Computing exacts on every 245 of 3921 points to ramp up precision 1539789350.502 * * * * [misc]points: Setting MPFR precision to 320 1539789350.503 * * * * [misc]points: Setting MPFR precision to 576 1539789350.504 * * * * [misc]points: Computing exacts on every 122 of 3921 points to ramp up precision 1539789350.505 * * * * [misc]points: Setting MPFR precision to 320 1539789350.506 * * * * [misc]points: Setting MPFR precision to 576 1539789350.507 * * * * [misc]points: Computing exacts on every 61 of 3921 points to ramp up precision 1539789350.508 * * * * [misc]points: Setting MPFR precision to 320 1539789350.509 * * * * [misc]points: Setting MPFR precision to 576 1539789350.511 * * * * [misc]points: Computing exacts on every 30 of 3921 points to ramp up precision 1539789350.512 * * * * [misc]points: Setting MPFR precision to 320 1539789350.515 * * * * [misc]points: Setting MPFR precision to 576 1539789350.520 * * * * [misc]points: Computing exacts on every 15 of 3921 points to ramp up precision 1539789350.521 * * * * [misc]points: Setting MPFR precision to 320 1539789350.533 * * * * [misc]points: Setting MPFR precision to 576 1539789350.547 * * * * [misc]points: Computing exacts on every 7 of 3921 points to ramp up precision 1539789350.548 * * * * [misc]points: Setting MPFR precision to 320 1539789350.566 * * * * [misc]points: Setting MPFR precision to 576 1539789350.582 * * * * [misc]points: Computing exacts on every 3 of 3921 points to ramp up precision 1539789350.583 * * * * [misc]points: Setting MPFR precision to 320 1539789350.625 * * * * [misc]points: Setting MPFR precision to 576 1539789350.727 * * * * [misc]points: Computing exacts for 3921 points 1539789350.728 * * * * [misc]points: Setting MPFR precision to 320 1539789350.909 * * * * [misc]points: Setting MPFR precision to 576 1539789351.114 * * * * [misc]points: Filtering points with unrepresentable outputs 1539789351.114 * * * * [misc]points: Sampling 3066 additional inputs, on iter 4 have 4934 / 8000 1539789351.145 * * * * [misc]points: Computing exacts on every 191 of 3066 points to ramp up precision 1539789351.146 * * * * [misc]points: Setting MPFR precision to 320 1539789351.148 * * * * [misc]points: Setting MPFR precision to 576 1539789351.149 * * * * [misc]points: Computing exacts on every 95 of 3066 points to ramp up precision 1539789351.150 * * * * [misc]points: Setting MPFR precision to 320 1539789351.151 * * * * [misc]points: Setting MPFR precision to 576 1539789351.153 * * * * [misc]points: Computing exacts on every 47 of 3066 points to ramp up precision 1539789351.155 * * * * [misc]points: Setting MPFR precision to 320 1539789351.158 * * * * [misc]points: Setting MPFR precision to 576 1539789351.161 * * * * [misc]points: Computing exacts on every 23 of 3066 points to ramp up precision 1539789351.163 * * * * [misc]points: Setting MPFR precision to 320 1539789351.169 * * * * [misc]points: Setting MPFR precision to 576 1539789351.176 * * * * [misc]points: Computing exacts on every 11 of 3066 points to ramp up precision 1539789351.177 * * * * [misc]points: Setting MPFR precision to 320 1539789351.190 * * * * [misc]points: Setting MPFR precision to 576 1539789351.204 * * * * [misc]points: Computing exacts on every 5 of 3066 points to ramp up precision 1539789351.206 * * * * [misc]points: Setting MPFR precision to 320 1539789351.230 * * * * [misc]points: Setting MPFR precision to 576 1539789351.259 * * * * [misc]points: Computing exacts on every 2 of 3066 points to ramp up precision 1539789351.261 * * * * [misc]points: Setting MPFR precision to 320 1539789351.345 * * * * [misc]points: Setting MPFR precision to 576 1539789351.405 * * * * [misc]points: Computing exacts for 3066 points 1539789351.407 * * * * [misc]points: Setting MPFR precision to 320 1539789351.902 * * * * [misc]points: Setting MPFR precision to 576 1539789352.061 * * * * [misc]points: Filtering points with unrepresentable outputs 1539789352.062 * * * * [misc]points: Sampling 2367 additional inputs, on iter 5 have 5633 / 8000 1539789352.082 * * * * [misc]points: Computing exacts on every 147 of 2367 points to ramp up precision 1539789352.083 * * * * [misc]points: Setting MPFR precision to 320 1539789352.113 * * * * [misc]points: Setting MPFR precision to 576 1539789352.113 * * * * [misc]points: Computing exacts on every 73 of 2367 points to ramp up precision 1539789352.114 * * * * [misc]points: Setting MPFR precision to 320 1539789352.115 * * * * [misc]points: Setting MPFR precision to 576 1539789352.116 * * * * [misc]points: Computing exacts on every 36 of 2367 points to ramp up precision 1539789352.117 * * * * [misc]points: Setting MPFR precision to 320 1539789352.118 * * * * [misc]points: Setting MPFR precision to 576 1539789352.120 * * * * [misc]points: Computing exacts on every 18 of 2367 points to ramp up precision 1539789352.121 * * * * [misc]points: Setting MPFR precision to 320 1539789352.126 * * * * [misc]points: Setting MPFR precision to 576 1539789352.130 * * * * [misc]points: Computing exacts on every 9 of 2367 points to ramp up precision 1539789352.131 * * * * [misc]points: Setting MPFR precision to 320 1539789352.137 * * * * [misc]points: Setting MPFR precision to 576 1539789352.146 * * * * [misc]points: Computing exacts on every 4 of 2367 points to ramp up precision 1539789352.148 * * * * [misc]points: Setting MPFR precision to 320 1539789352.162 * * * * [misc]points: Setting MPFR precision to 576 1539789352.176 * * * * [misc]points: Computing exacts on every 2 of 2367 points to ramp up precision 1539789352.177 * * * * [misc]points: Setting MPFR precision to 320 1539789352.215 * * * * [misc]points: Setting MPFR precision to 576 1539789352.247 * * * * [misc]points: Computing exacts for 2367 points 1539789352.248 * * * * [misc]points: Setting MPFR precision to 320 1539789352.403 * * * * [misc]points: Setting MPFR precision to 576 1539789352.487 * * * * [misc]points: Filtering points with unrepresentable outputs 1539789352.488 * * * * [misc]points: Sampling 1837 additional inputs, on iter 6 have 6163 / 8000 1539789352.544 * * * * [misc]points: Computing exacts on every 114 of 1837 points to ramp up precision 1539789352.545 * * * * [misc]points: Setting MPFR precision to 320 1539789352.547 * * * * [misc]points: Setting MPFR precision to 576 1539789352.548 * * * * [misc]points: Computing exacts on every 57 of 1837 points to ramp up precision 1539789352.549 * * * * [misc]points: Setting MPFR precision to 320 1539789352.555 * * * * [misc]points: Setting MPFR precision to 576 1539789352.557 * * * * [misc]points: Computing exacts on every 28 of 1837 points to ramp up precision 1539789352.558 * * * * [misc]points: Setting MPFR precision to 320 1539789352.561 * * * * [misc]points: Setting MPFR precision to 576 1539789352.565 * * * * [misc]points: Computing exacts on every 14 of 1837 points to ramp up precision 1539789352.566 * * * * [misc]points: Setting MPFR precision to 320 1539789352.572 * * * * [misc]points: Setting MPFR precision to 576 1539789352.580 * * * * [misc]points: Computing exacts on every 7 of 1837 points to ramp up precision 1539789352.581 * * * * [misc]points: Setting MPFR precision to 320 1539789352.592 * * * * [misc]points: Setting MPFR precision to 576 1539789352.604 * * * * [misc]points: Computing exacts on every 3 of 1837 points to ramp up precision 1539789352.606 * * * * [misc]points: Setting MPFR precision to 320 1539789352.627 * * * * [misc]points: Setting MPFR precision to 576 1539789352.653 * * * * [misc]points: Computing exacts for 1837 points 1539789352.655 * * * * [misc]points: Setting MPFR precision to 320 1539789352.745 * * * * [misc]points: Setting MPFR precision to 576 1539789352.868 * * * * [misc]points: Filtering points with unrepresentable outputs 1539789352.869 * * * * [misc]points: Sampling 1463 additional inputs, on iter 7 have 6537 / 8000 1539789352.875 * * * * [misc]points: Computing exacts on every 91 of 1463 points to ramp up precision 1539789352.876 * * * * [misc]points: Setting MPFR precision to 320 1539789352.877 * * * * [misc]points: Setting MPFR precision to 576 1539789352.877 * * * * [misc]points: Computing exacts on every 45 of 1463 points to ramp up precision 1539789352.878 * * * * [misc]points: Setting MPFR precision to 320 1539789352.879 * * * * [misc]points: Setting MPFR precision to 576 1539789352.880 * * * * [misc]points: Computing exacts on every 22 of 1463 points to ramp up precision 1539789352.880 * * * * [misc]points: Setting MPFR precision to 320 1539789352.882 * * * * [misc]points: Setting MPFR precision to 576 1539789352.884 * * * * [misc]points: Computing exacts on every 11 of 1463 points to ramp up precision 1539789352.885 * * * * [misc]points: Setting MPFR precision to 320 1539789352.888 * * * * [misc]points: Setting MPFR precision to 576 1539789352.892 * * * * [misc]points: Computing exacts on every 5 of 1463 points to ramp up precision 1539789352.893 * * * * [misc]points: Setting MPFR precision to 320 1539789352.899 * * * * [misc]points: Setting MPFR precision to 576 1539789352.907 * * * * [misc]points: Computing exacts on every 2 of 1463 points to ramp up precision 1539789352.908 * * * * [misc]points: Setting MPFR precision to 320 1539789352.921 * * * * [misc]points: Setting MPFR precision to 576 1539789352.976 * * * * [misc]points: Computing exacts for 1463 points 1539789352.977 * * * * [misc]points: Setting MPFR precision to 320 1539789353.022 * * * * [misc]points: Setting MPFR precision to 576 1539789353.109 * * * * [misc]points: Filtering points with unrepresentable outputs 1539789353.110 * * * * [misc]points: Sampling 1138 additional inputs, on iter 8 have 6862 / 8000 1539789353.120 * * * * [misc]points: Computing exacts on every 71 of 1138 points to ramp up precision 1539789353.121 * * * * [misc]points: Setting MPFR precision to 320 1539789353.122 * * * * [misc]points: Setting MPFR precision to 576 1539789353.123 * * * * [misc]points: Computing exacts on every 35 of 1138 points to ramp up precision 1539789353.125 * * * * [misc]points: Setting MPFR precision to 320 1539789353.126 * * * * [misc]points: Setting MPFR precision to 576 1539789353.128 * * * * [misc]points: Computing exacts on every 17 of 1138 points to ramp up precision 1539789353.130 * * * * [misc]points: Setting MPFR precision to 320 1539789353.133 * * * * [misc]points: Setting MPFR precision to 576 1539789353.136 * * * * [misc]points: Computing exacts on every 8 of 1138 points to ramp up precision 1539789353.137 * * * * [misc]points: Setting MPFR precision to 320 1539789353.140 * * * * [misc]points: Setting MPFR precision to 576 1539789353.144 * * * * [misc]points: Computing exacts on every 4 of 1138 points to ramp up precision 1539789353.145 * * * * [misc]points: Setting MPFR precision to 320 1539789353.189 * * * * [misc]points: Setting MPFR precision to 576 1539789353.205 * * * * [misc]points: Computing exacts on every 2 of 1138 points to ramp up precision 1539789353.207 * * * * [misc]points: Setting MPFR precision to 320 1539789353.222 * * * * [misc]points: Setting MPFR precision to 576 1539789353.234 * * * * [misc]points: Computing exacts for 1138 points 1539789353.235 * * * * [misc]points: Setting MPFR precision to 320 1539789353.269 * * * * [misc]points: Setting MPFR precision to 576 1539789353.336 * * * * [misc]points: Filtering points with unrepresentable outputs 1539789353.336 * * * * [misc]points: Sampling 867 additional inputs, on iter 9 have 7133 / 8000 1539789353.344 * * * * [misc]points: Computing exacts on every 54 of 867 points to ramp up precision 1539789353.345 * * * * [misc]points: Setting MPFR precision to 320 1539789353.346 * * * * [misc]points: Setting MPFR precision to 576 1539789353.347 * * * * [misc]points: Computing exacts on every 27 of 867 points to ramp up precision 1539789353.348 * * * * [misc]points: Setting MPFR precision to 320 1539789353.349 * * * * [misc]points: Setting MPFR precision to 576 1539789353.351 * * * * [misc]points: Computing exacts on every 13 of 867 points to ramp up precision 1539789353.352 * * * * [misc]points: Setting MPFR precision to 320 1539789353.355 * * * * [misc]points: Setting MPFR precision to 576 1539789353.358 * * * * [misc]points: Computing exacts on every 6 of 867 points to ramp up precision 1539789353.360 * * * * [misc]points: Setting MPFR precision to 320 1539789353.410 * * * * [misc]points: Setting MPFR precision to 576 1539789353.417 * * * * [misc]points: Computing exacts on every 3 of 867 points to ramp up precision 1539789353.423 * * * * [misc]points: Setting MPFR precision to 320 1539789353.434 * * * * [misc]points: Setting MPFR precision to 576 1539789353.446 * * * * [misc]points: Computing exacts for 867 points 1539789353.447 * * * * [misc]points: Setting MPFR precision to 320 1539789353.490 * * * * [misc]points: Setting MPFR precision to 576 1539789353.540 * * * * [misc]points: Filtering points with unrepresentable outputs 1539789353.541 * * * * [misc]points: Sampling 694 additional inputs, on iter 10 have 7306 / 8000 1539789353.547 * * * * [misc]points: Computing exacts on every 43 of 694 points to ramp up precision 1539789353.548 * * * * [misc]points: Setting MPFR precision to 320 1539789353.549 * * * * [misc]points: Setting MPFR precision to 576 1539789353.550 * * * * [misc]points: Computing exacts on every 21 of 694 points to ramp up precision 1539789353.552 * * * * [misc]points: Setting MPFR precision to 320 1539789353.553 * * * * [misc]points: Setting MPFR precision to 576 1539789353.555 * * * * [misc]points: Computing exacts on every 10 of 694 points to ramp up precision 1539789353.557 * * * * [misc]points: Setting MPFR precision to 320 1539789353.560 * * * * [misc]points: Setting MPFR precision to 576 1539789353.564 * * * * [misc]points: Computing exacts on every 5 of 694 points to ramp up precision 1539789353.566 * * * * [misc]points: Setting MPFR precision to 320 1539789353.572 * * * * [misc]points: Setting MPFR precision to 576 1539789353.579 * * * * [misc]points: Computing exacts on every 2 of 694 points to ramp up precision 1539789353.580 * * * * [misc]points: Setting MPFR precision to 320 1539789353.592 * * * * [misc]points: Setting MPFR precision to 576 1539789353.605 * * * * [misc]points: Computing exacts for 694 points 1539789353.607 * * * * [misc]points: Setting MPFR precision to 320 1539789353.659 * * * * [misc]points: Setting MPFR precision to 576 1539789353.703 * * * * [misc]points: Filtering points with unrepresentable outputs 1539789353.703 * * * * [misc]points: Sampling 537 additional inputs, on iter 11 have 7463 / 8000 1539789353.708 * * * * [misc]points: Computing exacts on every 33 of 537 points to ramp up precision 1539789353.709 * * * * [misc]points: Setting MPFR precision to 320 1539789353.710 * * * * [misc]points: Setting MPFR precision to 576 1539789353.711 * * * * [misc]points: Computing exacts on every 16 of 537 points to ramp up precision 1539789353.712 * * * * [misc]points: Setting MPFR precision to 320 1539789353.713 * * * * [misc]points: Setting MPFR precision to 576 1539789353.715 * * * * [misc]points: Computing exacts on every 8 of 537 points to ramp up precision 1539789353.716 * * * * [misc]points: Setting MPFR precision to 320 1539789353.720 * * * * [misc]points: Setting MPFR precision to 576 1539789353.724 * * * * [misc]points: Computing exacts on every 4 of 537 points to ramp up precision 1539789353.725 * * * * [misc]points: Setting MPFR precision to 320 1539789353.731 * * * * [misc]points: Setting MPFR precision to 576 1539789353.738 * * * * [misc]points: Computing exacts on every 2 of 537 points to ramp up precision 1539789353.739 * * * * [misc]points: Setting MPFR precision to 320 1539789353.748 * * * * [misc]points: Setting MPFR precision to 576 1539789353.760 * * * * [misc]points: Computing exacts for 537 points 1539789353.761 * * * * [misc]points: Setting MPFR precision to 320 1539789353.780 * * * * [misc]points: Setting MPFR precision to 576 1539789353.800 * * * * [misc]points: Filtering points with unrepresentable outputs 1539789353.801 * * * * [misc]points: Sampling 419 additional inputs, on iter 12 have 7581 / 8000 1539789353.804 * * * * [misc]points: Computing exacts on every 26 of 419 points to ramp up precision 1539789353.806 * * * * [misc]points: Setting MPFR precision to 320 1539789353.806 * * * * [misc]points: Setting MPFR precision to 576 1539789353.807 * * * * [misc]points: Computing exacts on every 13 of 419 points to ramp up precision 1539789353.808 * * * * [misc]points: Setting MPFR precision to 320 1539789353.810 * * * * [misc]points: Setting MPFR precision to 576 1539789353.812 * * * * [misc]points: Computing exacts on every 6 of 419 points to ramp up precision 1539789353.813 * * * * [misc]points: Setting MPFR precision to 320 1539789353.816 * * * * [misc]points: Setting MPFR precision to 576 1539789353.819 * * * * [misc]points: Computing exacts on every 3 of 419 points to ramp up precision 1539789353.820 * * * * [misc]points: Setting MPFR precision to 320 1539789353.823 * * * * [misc]points: Setting MPFR precision to 576 1539789353.826 * * * * [misc]points: Computing exacts for 419 points 1539789353.827 * * * * [misc]points: Setting MPFR precision to 320 1539789353.878 * * * * [misc]points: Setting MPFR precision to 576 1539789353.907 * * * * [misc]points: Filtering points with unrepresentable outputs 1539789353.907 * * * * [misc]points: Sampling 332 additional inputs, on iter 13 have 7668 / 8000 1539789353.910 * * * * [misc]points: Computing exacts on every 20 of 332 points to ramp up precision 1539789353.911 * * * * [misc]points: Setting MPFR precision to 320 1539789353.912 * * * * [misc]points: Setting MPFR precision to 576 1539789353.913 * * * * [misc]points: Computing exacts on every 10 of 332 points to ramp up precision 1539789353.914 * * * * [misc]points: Setting MPFR precision to 320 1539789353.916 * * * * [misc]points: Setting MPFR precision to 576 1539789353.918 * * * * [misc]points: Computing exacts on every 5 of 332 points to ramp up precision 1539789353.919 * * * * [misc]points: Setting MPFR precision to 320 1539789353.922 * * * * [misc]points: Setting MPFR precision to 576 1539789353.925 * * * * [misc]points: Computing exacts on every 2 of 332 points to ramp up precision 1539789353.926 * * * * [misc]points: Setting MPFR precision to 320 1539789353.932 * * * * [misc]points: Setting MPFR precision to 576 1539789353.938 * * * * [misc]points: Computing exacts for 332 points 1539789353.939 * * * * [misc]points: Setting MPFR precision to 320 1539789353.956 * * * * [misc]points: Setting MPFR precision to 576 1539789353.966 * * * * [misc]points: Filtering points with unrepresentable outputs 1539789353.966 * * * * [misc]points: Sampling 245 additional inputs, on iter 14 have 7755 / 8000 1539789353.967 * * * * [misc]points: Computing exacts on every 15 of 245 points to ramp up precision 1539789353.968 * * * * [misc]points: Setting MPFR precision to 320 1539789353.969 * * * * [misc]points: Setting MPFR precision to 576 1539789353.969 * * * * [misc]points: Computing exacts on every 7 of 245 points to ramp up precision 1539789353.970 * * * * [misc]points: Setting MPFR precision to 320 1539789353.971 * * * * [misc]points: Setting MPFR precision to 576 1539789353.971 * * * * [misc]points: Computing exacts on every 3 of 245 points to ramp up precision 1539789353.972 * * * * [misc]points: Setting MPFR precision to 320 1539789353.974 * * * * [misc]points: Setting MPFR precision to 576 1539789353.975 * * * * [misc]points: Computing exacts for 245 points 1539789353.976 * * * * [misc]points: Setting MPFR precision to 320 1539789353.982 * * * * [misc]points: Setting MPFR precision to 576 1539789353.989 * * * * [misc]points: Filtering points with unrepresentable outputs 1539789353.989 * * * * [misc]points: Sampling 195 additional inputs, on iter 15 have 7805 / 8000 1539789353.990 * * * * [misc]points: Computing exacts on every 12 of 195 points to ramp up precision 1539789353.991 * * * * [misc]points: Setting MPFR precision to 320 1539789353.992 * * * * [misc]points: Setting MPFR precision to 576 1539789353.992 * * * * [misc]points: Computing exacts on every 6 of 195 points to ramp up precision 1539789353.993 * * * * [misc]points: Setting MPFR precision to 320 1539789353.994 * * * * [misc]points: Setting MPFR precision to 576 1539789353.995 * * * * [misc]points: Computing exacts on every 3 of 195 points to ramp up precision 1539789353.995 * * * * [misc]points: Setting MPFR precision to 320 1539789353.997 * * * * [misc]points: Setting MPFR precision to 576 1539789353.998 * * * * [misc]points: Computing exacts for 195 points 1539789353.999 * * * * [misc]points: Setting MPFR precision to 320 1539789354.004 * * * * [misc]points: Setting MPFR precision to 576 1539789354.010 * * * * [misc]points: Filtering points with unrepresentable outputs 1539789354.010 * * * * [misc]points: Sampling 150 additional inputs, on iter 16 have 7850 / 8000 1539789354.011 * * * * [misc]points: Computing exacts on every 9 of 150 points to ramp up precision 1539789354.012 * * * * [misc]points: Setting MPFR precision to 320 1539789354.012 * * * * [misc]points: Setting MPFR precision to 576 1539789354.013 * * * * [misc]points: Computing exacts on every 4 of 150 points to ramp up precision 1539789354.014 * * * * [misc]points: Setting MPFR precision to 320 1539789354.014 * * * * [misc]points: Setting MPFR precision to 576 1539789354.015 * * * * [misc]points: Computing exacts on every 2 of 150 points to ramp up precision 1539789354.016 * * * * [misc]points: Setting MPFR precision to 320 1539789354.018 * * * * [misc]points: Setting MPFR precision to 576 1539789354.019 * * * * [misc]points: Computing exacts for 150 points 1539789354.020 * * * * [misc]points: Setting MPFR precision to 320 1539789354.024 * * * * [misc]points: Setting MPFR precision to 576 1539789354.062 * * * * [misc]points: Filtering points with unrepresentable outputs 1539789354.062 * * * * [misc]points: Sampling 113 additional inputs, on iter 17 have 7887 / 8000 1539789354.063 * * * * [misc]points: Computing exacts on every 7 of 113 points to ramp up precision 1539789354.064 * * * * [misc]points: Setting MPFR precision to 320 1539789354.065 * * * * [misc]points: Setting MPFR precision to 576 1539789354.066 * * * * [misc]points: Computing exacts on every 3 of 113 points to ramp up precision 1539789354.068 * * * * [misc]points: Setting MPFR precision to 320 1539789354.069 * * * * [misc]points: Setting MPFR precision to 576 1539789354.075 * * * * [misc]points: Computing exacts for 113 points 1539789354.076 * * * * [misc]points: Setting MPFR precision to 320 1539789354.082 * * * * [misc]points: Setting MPFR precision to 576 1539789354.088 * * * * [misc]points: Filtering points with unrepresentable outputs 1539789354.089 * * * * [misc]points: Sampling 88 additional inputs, on iter 18 have 7912 / 8000 1539789354.089 * * * * [misc]points: Computing exacts on every 5 of 88 points to ramp up precision 1539789354.091 * * * * [misc]points: Setting MPFR precision to 320 1539789354.092 * * * * [misc]points: Setting MPFR precision to 576 1539789354.093 * * * * [misc]points: Computing exacts on every 2 of 88 points to ramp up precision 1539789354.094 * * * * [misc]points: Setting MPFR precision to 320 1539789354.095 * * * * [misc]points: Setting MPFR precision to 576 1539789354.097 * * * * [misc]points: Computing exacts for 88 points 1539789354.098 * * * * [misc]points: Setting MPFR precision to 320 1539789354.103 * * * * [misc]points: Setting MPFR precision to 576 1539789354.108 * * * * [misc]points: Filtering points with unrepresentable outputs 1539789354.108 * * * * [misc]points: Sampling 74 additional inputs, on iter 19 have 7926 / 8000 1539789354.109 * * * * [misc]points: Computing exacts on every 4 of 74 points to ramp up precision 1539789354.110 * * * * [misc]points: Setting MPFR precision to 320 1539789354.111 * * * * [misc]points: Setting MPFR precision to 576 1539789354.112 * * * * [misc]points: Computing exacts on every 2 of 74 points to ramp up precision 1539789354.113 * * * * [misc]points: Setting MPFR precision to 320 1539789354.114 * * * * [misc]points: Setting MPFR precision to 576 1539789354.115 * * * * [misc]points: Computing exacts for 74 points 1539789354.116 * * * * [misc]points: Setting MPFR precision to 320 1539789354.120 * * * * [misc]points: Setting MPFR precision to 576 1539789354.124 * * * * [misc]points: Filtering points with unrepresentable outputs 1539789354.124 * * * * [misc]points: Sampling 60 additional inputs, on iter 20 have 7940 / 8000 1539789354.125 * * * * [misc]points: Computing exacts on every 3 of 60 points to ramp up precision 1539789354.126 * * * * [misc]points: Setting MPFR precision to 320 1539789354.127 * * * * [misc]points: Setting MPFR precision to 576 1539789354.128 * * * * [misc]points: Computing exacts for 60 points 1539789354.129 * * * * [misc]points: Setting MPFR precision to 320 1539789354.132 * * * * [misc]points: Setting MPFR precision to 576 1539789354.135 * * * * [misc]points: Filtering points with unrepresentable outputs 1539789354.136 * * * * [misc]points: Sampling 52 additional inputs, on iter 21 have 7948 / 8000 1539789354.136 * * * * [misc]points: Computing exacts on every 3 of 52 points to ramp up precision 1539789354.137 * * * * [misc]points: Setting MPFR precision to 320 1539789354.138 * * * * [misc]points: Setting MPFR precision to 576 1539789354.139 * * * * [misc]points: Computing exacts for 52 points 1539789354.140 * * * * [misc]points: Setting MPFR precision to 320 1539789354.143 * * * * [misc]points: Setting MPFR precision to 576 1539789354.146 * * * * [misc]points: Filtering points with unrepresentable outputs 1539789354.146 * * * * [misc]points: Sampling 42 additional inputs, on iter 22 have 7958 / 8000 1539789354.147 * * * * [misc]points: Computing exacts on every 2 of 42 points to ramp up precision 1539789354.148 * * * * [misc]points: Setting MPFR precision to 320 1539789354.149 * * * * [misc]points: Setting MPFR precision to 576 1539789354.150 * * * * [misc]points: Computing exacts for 42 points 1539789354.151 * * * * [misc]points: Setting MPFR precision to 320 1539789354.153 * * * * [misc]points: Setting MPFR precision to 576 1539789354.155 * * * * [misc]points: Filtering points with unrepresentable outputs 1539789354.156 * * * * [misc]points: Sampling 32 additional inputs, on iter 23 have 7968 / 8000 1539789354.156 * * * * [misc]points: Computing exacts on every 2 of 32 points to ramp up precision 1539789354.157 * * * * [misc]points: Setting MPFR precision to 320 1539789354.158 * * * * [misc]points: Setting MPFR precision to 576 1539789354.159 * * * * [misc]points: Computing exacts for 32 points 1539789354.160 * * * * [misc]points: Setting MPFR precision to 320 1539789354.161 * * * * [misc]points: Setting MPFR precision to 576 1539789354.164 * * * * [misc]points: Filtering points with unrepresentable outputs 1539789354.164 * * * * [misc]points: Sampling 24 additional inputs, on iter 24 have 7976 / 8000 1539789354.164 * * * * [misc]points: Computing exacts for 24 points 1539789354.165 * * * * [misc]points: Setting MPFR precision to 320 1539789354.167 * * * * [misc]points: Setting MPFR precision to 576 1539789354.168 * * * * [misc]points: Filtering points with unrepresentable outputs 1539789354.168 * * * * [misc]points: Sampling 17 additional inputs, on iter 25 have 7983 / 8000 1539789354.169 * * * * [misc]points: Computing exacts for 17 points 1539789354.170 * * * * [misc]points: Setting MPFR precision to 320 1539789354.171 * * * * [misc]points: Setting MPFR precision to 576 1539789354.172 * * * * [misc]points: Filtering points with unrepresentable outputs 1539789354.172 * * * * [misc]points: Sampling 12 additional inputs, on iter 26 have 7988 / 8000 1539789354.172 * * * * [misc]points: Computing exacts for 12 points 1539789354.173 * * * * [misc]points: Setting MPFR precision to 320 1539789354.174 * * * * [misc]points: Setting MPFR precision to 576 1539789354.175 * * * * [misc]points: Filtering points with unrepresentable outputs 1539789354.175 * * * * [misc]points: Sampling 9 additional inputs, on iter 27 have 7991 / 8000 1539789354.175 * * * * [misc]points: Computing exacts for 9 points 1539789354.176 * * * * [misc]points: Setting MPFR precision to 320 1539789354.177 * * * * [misc]points: Setting MPFR precision to 576 1539789354.177 * * * * [misc]points: Filtering points with unrepresentable outputs 1539789354.177 * * * * [misc]points: Sampling 8 additional inputs, on iter 28 have 7992 / 8000 1539789354.177 * * * * [misc]points: Computing exacts for 8 points 1539789354.179 * * * * [misc]points: Setting MPFR precision to 320 1539789354.179 * * * * [misc]points: Setting MPFR precision to 576 1539789354.180 * * * * [misc]points: Filtering points with unrepresentable outputs 1539789354.180 * * * * [misc]points: Sampling 8 additional inputs, on iter 29 have 7992 / 8000 1539789354.180 * * * * [misc]points: Computing exacts for 8 points 1539789354.181 * * * * [misc]points: Setting MPFR precision to 320 1539789354.181 * * * * [misc]points: Setting MPFR precision to 576 1539789354.182 * * * * [misc]points: Filtering points with unrepresentable outputs 1539789354.182 * * * * [misc]points: Sampling 7 additional inputs, on iter 30 have 7993 / 8000 1539789354.182 * * * * [misc]points: Computing exacts for 7 points 1539789354.183 * * * * [misc]points: Setting MPFR precision to 320 1539789354.184 * * * * [misc]points: Setting MPFR precision to 576 1539789354.184 * * * * [misc]points: Filtering points with unrepresentable outputs 1539789354.184 * * * * [misc]points: Sampling 7 additional inputs, on iter 31 have 7993 / 8000 1539789354.184 * * * * [misc]points: Computing exacts for 7 points 1539789354.186 * * * * [misc]points: Setting MPFR precision to 320 1539789354.186 * * * * [misc]points: Setting MPFR precision to 576 1539789354.187 * * * * [misc]points: Filtering points with unrepresentable outputs 1539789354.187 * * * * [misc]points: Sampling 7 additional inputs, on iter 32 have 7993 / 8000 1539789354.187 * * * * [misc]points: Computing exacts for 7 points 1539789354.188 * * * * [misc]points: Setting MPFR precision to 320 1539789354.189 * * * * [misc]points: Setting MPFR precision to 576 1539789354.189 * * * * [misc]points: Filtering points with unrepresentable outputs 1539789354.189 * * * * [misc]points: Sampling 6 additional inputs, on iter 33 have 7994 / 8000 1539789354.189 * * * * [misc]points: Computing exacts for 6 points 1539789354.190 * * * * [misc]points: Setting MPFR precision to 320 1539789354.191 * * * * [misc]points: Setting MPFR precision to 576 1539789354.191 * * * * [misc]points: Filtering points with unrepresentable outputs 1539789354.191 * * * * [misc]points: Sampling 4 additional inputs, on iter 34 have 7996 / 8000 1539789354.191 * * * * [misc]points: Computing exacts for 4 points 1539789354.193 * * * * [misc]points: Setting MPFR precision to 320 1539789354.193 * * * * [misc]points: Setting MPFR precision to 576 1539789354.193 * * * * [misc]points: Filtering points with unrepresentable outputs 1539789354.193 * * * * [misc]points: Sampling 4 additional inputs, on iter 35 have 7997 / 8000 1539789354.193 * * * * [misc]points: Computing exacts for 4 points 1539789354.194 * * * * [misc]points: Setting MPFR precision to 320 1539789354.195 * * * * [misc]points: Setting MPFR precision to 576 1539789354.195 * * * * [misc]points: Filtering points with unrepresentable outputs 1539789354.195 * * * * [misc]points: Sampling 4 additional inputs, on iter 36 have 7997 / 8000 1539789354.195 * * * * [misc]points: Computing exacts for 4 points 1539789354.196 * * * * [misc]points: Setting MPFR precision to 320 1539789354.196 * * * * [misc]points: Setting MPFR precision to 576 1539789354.197 * * * * [misc]points: Filtering points with unrepresentable outputs 1539789354.197 * * * * [misc]points: Sampling 4 additional inputs, on iter 37 have 7998 / 8000 1539789354.197 * * * * [misc]points: Computing exacts for 4 points 1539789354.198 * * * * [misc]points: Setting MPFR precision to 320 1539789354.198 * * * * [misc]points: Setting MPFR precision to 576 1539789354.199 * * * * [misc]points: Filtering points with unrepresentable outputs 1539789354.199 * * * * [exit]points: Sampled 8000 points with exact outputs 1539789354.693 * [misc]regime-testing: Baseline error score: 0 1539789354.693 * [misc]regime-testing: End program error score: 0 1539789354.694 * [misc]regime-testing: Oracle error score: 0 1539789354.755 * [misc]regime-testing: Target error score: 0