1539347436.588 * [misc]progress: [Phase 1 of 3] Setting up. 1539347436.588 * * * [misc]progress: [1/2] Preparing points 1539347436.588 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1539347436.589 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1539347436.590 * * * * [misc]points: Setting MPFR precision to 64 1539347436.591 * * * * [misc]points: Setting MPFR precision to 320 1539347436.591 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1539347436.592 * * * * [misc]points: Setting MPFR precision to 64 1539347436.592 * * * * [misc]points: Setting MPFR precision to 320 1539347436.593 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1539347436.594 * * * * [misc]points: Setting MPFR precision to 64 1539347436.595 * * * * [misc]points: Setting MPFR precision to 320 1539347436.596 * * * * [misc]points: Setting MPFR precision to 576 1539347436.597 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1539347436.598 * * * * [misc]points: Setting MPFR precision to 320 1539347436.600 * * * * [misc]points: Setting MPFR precision to 576 1539347436.603 * * * * [misc]points: Computing exacts for 256 points 1539347436.603 * * * * [misc]points: Setting MPFR precision to 320 1539347436.610 * * * * [misc]points: Setting MPFR precision to 576 1539347436.617 * * * * [misc]points: Filtering points with unrepresentable outputs 1539347436.617 * * * * [misc]points: Sampling 205 additional inputs, on iter 1 have 51 / 256 1539347436.618 * * * * [misc]points: Computing exacts on every 12 of 205 points to ramp up precision 1539347436.619 * * * * [misc]points: Setting MPFR precision to 320 1539347436.620 * * * * [misc]points: Setting MPFR precision to 576 1539347436.621 * * * * [misc]points: Computing exacts on every 6 of 205 points to ramp up precision 1539347436.622 * * * * [misc]points: Setting MPFR precision to 320 1539347436.623 * * * * [misc]points: Setting MPFR precision to 576 1539347436.625 * * * * [misc]points: Computing exacts on every 3 of 205 points to ramp up precision 1539347436.626 * * * * [misc]points: Setting MPFR precision to 320 1539347436.629 * * * * [misc]points: Setting MPFR precision to 576 1539347436.631 * * * * [misc]points: Computing exacts for 205 points 1539347436.633 * * * * [misc]points: Setting MPFR precision to 320 1539347436.642 * * * * [misc]points: Setting MPFR precision to 576 1539347436.654 * * * * [misc]points: Filtering points with unrepresentable outputs 1539347436.654 * * * * [misc]points: Sampling 163 additional inputs, on iter 2 have 93 / 256 1539347436.656 * * * * [misc]points: Computing exacts on every 10 of 163 points to ramp up precision 1539347436.657 * * * * [misc]points: Setting MPFR precision to 320 1539347436.658 * * * * [misc]points: Setting MPFR precision to 576 1539347436.659 * * * * [misc]points: Computing exacts on every 5 of 163 points to ramp up precision 1539347436.660 * * * * [misc]points: Setting MPFR precision to 320 1539347436.661 * * * * [misc]points: Setting MPFR precision to 576 1539347436.663 * * * * [misc]points: Computing exacts on every 2 of 163 points to ramp up precision 1539347436.663 * * * * [misc]points: Setting MPFR precision to 320 1539347436.666 * * * * [misc]points: Setting MPFR precision to 576 1539347436.670 * * * * [misc]points: Computing exacts for 163 points 1539347436.672 * * * * [misc]points: Setting MPFR precision to 320 1539347436.680 * * * * [misc]points: Setting MPFR precision to 576 1539347436.690 * * * * [misc]points: Filtering points with unrepresentable outputs 1539347436.690 * * * * [misc]points: Sampling 125 additional inputs, on iter 3 have 131 / 256 1539347436.691 * * * * [misc]points: Computing exacts on every 7 of 125 points to ramp up precision 1539347436.692 * * * * [misc]points: Setting MPFR precision to 320 1539347436.709 * * * * [misc]points: Setting MPFR precision to 576 1539347436.710 * * * * [misc]points: Computing exacts on every 3 of 125 points to ramp up precision 1539347436.710 * * * * [misc]points: Setting MPFR precision to 320 1539347436.711 * * * * [misc]points: Setting MPFR precision to 576 1539347436.712 * * * * [misc]points: Computing exacts for 125 points 1539347436.713 * * * * [misc]points: Setting MPFR precision to 320 1539347436.717 * * * * [misc]points: Setting MPFR precision to 576 1539347436.721 * * * * [misc]points: Filtering points with unrepresentable outputs 1539347436.721 * * * * [misc]points: Sampling 92 additional inputs, on iter 4 have 164 / 256 1539347436.722 * * * * [misc]points: Computing exacts on every 5 of 92 points to ramp up precision 1539347436.722 * * * * [misc]points: Setting MPFR precision to 320 1539347436.723 * * * * [misc]points: Setting MPFR precision to 576 1539347436.724 * * * * [misc]points: Computing exacts on every 2 of 92 points to ramp up precision 1539347436.724 * * * * [misc]points: Setting MPFR precision to 320 1539347436.725 * * * * [misc]points: Setting MPFR precision to 576 1539347436.726 * * * * [misc]points: Computing exacts for 92 points 1539347436.727 * * * * [misc]points: Setting MPFR precision to 320 1539347436.729 * * * * [misc]points: Setting MPFR precision to 576 1539347436.731 * * * * [misc]points: Filtering points with unrepresentable outputs 1539347436.731 * * * * [misc]points: Sampling 78 additional inputs, on iter 5 have 178 / 256 1539347436.732 * * * * [misc]points: Computing exacts on every 4 of 78 points to ramp up precision 1539347436.733 * * * * [misc]points: Setting MPFR precision to 320 1539347436.733 * * * * [misc]points: Setting MPFR precision to 576 1539347436.734 * * * * [misc]points: Computing exacts on every 2 of 78 points to ramp up precision 1539347436.734 * * * * [misc]points: Setting MPFR precision to 320 1539347436.735 * * * * [misc]points: Setting MPFR precision to 576 1539347436.736 * * * * [misc]points: Computing exacts for 78 points 1539347436.736 * * * * [misc]points: Setting MPFR precision to 320 1539347436.738 * * * * [misc]points: Setting MPFR precision to 576 1539347436.741 * * * * [misc]points: Filtering points with unrepresentable outputs 1539347436.741 * * * * [misc]points: Sampling 62 additional inputs, on iter 6 have 194 / 256 1539347436.741 * * * * [misc]points: Computing exacts on every 3 of 62 points to ramp up precision 1539347436.742 * * * * [misc]points: Setting MPFR precision to 320 1539347436.742 * * * * [misc]points: Setting MPFR precision to 576 1539347436.743 * * * * [misc]points: Computing exacts for 62 points 1539347436.743 * * * * [misc]points: Setting MPFR precision to 320 1539347436.745 * * * * [misc]points: Setting MPFR precision to 576 1539347436.747 * * * * [misc]points: Filtering points with unrepresentable outputs 1539347436.747 * * * * [misc]points: Sampling 49 additional inputs, on iter 7 have 207 / 256 1539347436.747 * * * * [misc]points: Computing exacts on every 3 of 49 points to ramp up precision 1539347436.748 * * * * [misc]points: Setting MPFR precision to 320 1539347436.748 * * * * [misc]points: Setting MPFR precision to 576 1539347436.749 * * * * [misc]points: Computing exacts for 49 points 1539347436.749 * * * * [misc]points: Setting MPFR precision to 320 1539347436.750 * * * * [misc]points: Setting MPFR precision to 576 1539347436.752 * * * * [misc]points: Filtering points with unrepresentable outputs 1539347436.752 * * * * [misc]points: Sampling 38 additional inputs, on iter 8 have 218 / 256 1539347436.752 * * * * [misc]points: Computing exacts on every 2 of 38 points to ramp up precision 1539347436.753 * * * * [misc]points: Setting MPFR precision to 320 1539347436.753 * * * * [misc]points: Setting MPFR precision to 576 1539347436.754 * * * * [misc]points: Computing exacts for 38 points 1539347436.754 * * * * [misc]points: Setting MPFR precision to 320 1539347436.755 * * * * [misc]points: Setting MPFR precision to 576 1539347436.756 * * * * [misc]points: Filtering points with unrepresentable outputs 1539347436.756 * * * * [misc]points: Sampling 26 additional inputs, on iter 9 have 230 / 256 1539347436.757 * * * * [misc]points: Computing exacts for 26 points 1539347436.757 * * * * [misc]points: Setting MPFR precision to 320 1539347436.758 * * * * [misc]points: Setting MPFR precision to 576 1539347436.759 * * * * [misc]points: Filtering points with unrepresentable outputs 1539347436.759 * * * * [misc]points: Sampling 20 additional inputs, on iter 10 have 236 / 256 1539347436.759 * * * * [misc]points: Computing exacts for 20 points 1539347436.760 * * * * [misc]points: Setting MPFR precision to 320 1539347436.760 * * * * [misc]points: Setting MPFR precision to 576 1539347436.761 * * * * [misc]points: Filtering points with unrepresentable outputs 1539347436.761 * * * * [misc]points: Sampling 13 additional inputs, on iter 11 have 243 / 256 1539347436.761 * * * * [misc]points: Computing exacts for 13 points 1539347436.762 * * * * [misc]points: Setting MPFR precision to 320 1539347436.762 * * * * [misc]points: Setting MPFR precision to 576 1539347436.762 * * * * [misc]points: Filtering points with unrepresentable outputs 1539347436.762 * * * * [misc]points: Sampling 10 additional inputs, on iter 12 have 246 / 256 1539347436.763 * * * * [misc]points: Computing exacts for 10 points 1539347436.763 * * * * [misc]points: Setting MPFR precision to 320 1539347436.763 * * * * [misc]points: Setting MPFR precision to 576 1539347436.764 * * * * [misc]points: Filtering points with unrepresentable outputs 1539347436.764 * * * * [misc]points: Sampling 7 additional inputs, on iter 13 have 249 / 256 1539347436.764 * * * * [misc]points: Computing exacts for 7 points 1539347436.765 * * * * [misc]points: Setting MPFR precision to 320 1539347436.765 * * * * [misc]points: Setting MPFR precision to 576 1539347436.765 * * * * [misc]points: Filtering points with unrepresentable outputs 1539347436.765 * * * * [misc]points: Sampling 6 additional inputs, on iter 14 have 250 / 256 1539347436.765 * * * * [misc]points: Computing exacts for 6 points 1539347436.766 * * * * [misc]points: Setting MPFR precision to 320 1539347436.766 * * * * [misc]points: Setting MPFR precision to 576 1539347436.766 * * * * [misc]points: Filtering points with unrepresentable outputs 1539347436.766 * * * * [misc]points: Sampling 5 additional inputs, on iter 15 have 251 / 256 1539347436.766 * * * * [misc]points: Computing exacts for 5 points 1539347436.767 * * * * [misc]points: Setting MPFR precision to 320 1539347436.767 * * * * [misc]points: Setting MPFR precision to 576 1539347436.767 * * * * [misc]points: Filtering points with unrepresentable outputs 1539347436.767 * * * * [misc]points: Sampling 5 additional inputs, on iter 16 have 251 / 256 1539347436.767 * * * * [misc]points: Computing exacts for 5 points 1539347436.768 * * * * [misc]points: Setting MPFR precision to 320 1539347436.768 * * * * [misc]points: Setting MPFR precision to 576 1539347436.769 * * * * [misc]points: Filtering points with unrepresentable outputs 1539347436.769 * * * * [misc]points: Sampling 4 additional inputs, on iter 17 have 253 / 256 1539347436.769 * * * * [misc]points: Computing exacts for 4 points 1539347436.770 * * * * [misc]points: Setting MPFR precision to 320 1539347436.770 * * * * [misc]points: Setting MPFR precision to 576 1539347436.770 * * * * [misc]points: Filtering points with unrepresentable outputs 1539347436.770 * * * * [misc]points: Sampling 4 additional inputs, on iter 18 have 253 / 256 1539347436.771 * * * * [misc]points: Computing exacts for 4 points 1539347436.772 * * * * [misc]points: Setting MPFR precision to 320 1539347436.772 * * * * [misc]points: Setting MPFR precision to 576 1539347436.772 * * * * [misc]points: Filtering points with unrepresentable outputs 1539347436.772 * * * * [misc]points: Sampling 4 additional inputs, on iter 19 have 254 / 256 1539347436.772 * * * * [misc]points: Computing exacts for 4 points 1539347436.773 * * * * [misc]points: Setting MPFR precision to 320 1539347436.774 * * * * [misc]points: Setting MPFR precision to 576 1539347436.774 * * * * [misc]points: Filtering points with unrepresentable outputs 1539347436.774 * * * * [misc]points: Sampling 4 additional inputs, on iter 20 have 255 / 256 1539347436.774 * * * * [misc]points: Computing exacts for 4 points 1539347436.775 * * * * [misc]points: Setting MPFR precision to 320 1539347436.775 * * * * [misc]points: Setting MPFR precision to 576 1539347436.775 * * * * [misc]points: Filtering points with unrepresentable outputs 1539347436.776 * * * * [exit]points: Sampled 256 points with exact outputs 1539347436.776 * * * [misc]progress: [2/2] Setting up program. 1539347436.781 * [misc]progress: [Phase 2 of 3] Improving. 1539347436.781 * [enter]simplify: Simplifying (exp (+ (log a) (log b))) 1539347436.781 * * [misc]simplify: iters left: 4 (6 enodes) 1539347436.783 * * [misc]simplify: iters left: 3 (10 enodes) 1539347436.786 * * [misc]simplify: iters left: 2 (11 enodes) 1539347436.788 * [exit]simplify: Simplified to (* a b) 1539347436.793 * * [misc]progress: iteration 1 / 4 1539347436.793 * * * [misc]progress: picking best candidate 1539347436.794 * * * * [misc]pick: Picked # 1539347436.794 * * * [misc]progress: localizing error 1539347436.798 * * * [misc]progress: generating rewritten candidates 1539347436.798 * * * [misc]progress: generating series expansions 1539347436.798 * * * [misc]progress: simplifying candidates 1539347436.798 * * * [misc]progress: adding candidates to table 1539347436.798 * [misc]progress: [Phase 3 of 3] Extracting. 1539347436.800 * [enter]simplify: Simplifying (* a b) 1539347436.800 * * [misc]simplify: iters left: 2 (3 enodes) 1539347436.800 * * [misc]simplify: iters left: 1 (4 enodes) 1539347436.800 * [exit]simplify: Simplified to (* a b) 1539347436.800 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1539347436.849 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1539347436.850 * * * * [misc]points: Setting MPFR precision to 320 1539347436.851 * * * * [misc]points: Setting MPFR precision to 576 1539347436.851 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1539347436.852 * * * * [misc]points: Setting MPFR precision to 320 1539347436.853 * * * * [misc]points: Setting MPFR precision to 576 1539347436.854 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1539347436.855 * * * * [misc]points: Setting MPFR precision to 320 1539347436.856 * * * * [misc]points: Setting MPFR precision to 576 1539347436.858 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1539347436.859 * * * * [misc]points: Setting MPFR precision to 320 1539347436.862 * * * * [misc]points: Setting MPFR precision to 576 1539347436.866 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1539347436.866 * * * * [misc]points: Setting MPFR precision to 320 1539347436.873 * * * * [misc]points: Setting MPFR precision to 576 1539347436.882 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1539347436.883 * * * * [misc]points: Setting MPFR precision to 320 1539347436.911 * * * * [misc]points: Setting MPFR precision to 576 1539347436.927 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1539347436.928 * * * * [misc]points: Setting MPFR precision to 320 1539347436.953 * * * * [misc]points: Setting MPFR precision to 576 1539347437.008 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1539347437.010 * * * * [misc]points: Setting MPFR precision to 320 1539347437.114 * * * * [misc]points: Setting MPFR precision to 576 1539347437.190 * * * * [misc]points: Computing exacts for 8000 points 1539347437.191 * * * * [misc]points: Setting MPFR precision to 320 1539347437.569 * * * * [misc]points: Setting MPFR precision to 576 1539347438.348 * * * * [misc]points: Filtering points with unrepresentable outputs 1539347438.351 * * * * [misc]points: Sampling 6263 additional inputs, on iter 1 have 1737 / 8000 1539347438.427 * * * * [misc]points: Computing exacts on every 391 of 6263 points to ramp up precision 1539347438.428 * * * * [misc]points: Setting MPFR precision to 320 1539347438.431 * * * * [misc]points: Setting MPFR precision to 576 1539347438.432 * * * * [misc]points: Computing exacts on every 195 of 6263 points to ramp up precision 1539347438.433 * * * * [misc]points: Setting MPFR precision to 320 1539347438.435 * * * * [misc]points: Setting MPFR precision to 576 1539347438.437 * * * * [misc]points: Computing exacts on every 97 of 6263 points to ramp up precision 1539347438.438 * * * * [misc]points: Setting MPFR precision to 320 1539347438.441 * * * * [misc]points: Setting MPFR precision to 576 1539347438.445 * * * * [misc]points: Computing exacts on every 48 of 6263 points to ramp up precision 1539347438.446 * * * * [misc]points: Setting MPFR precision to 320 1539347438.453 * * * * [misc]points: Setting MPFR precision to 576 1539347438.461 * * * * [misc]points: Computing exacts on every 24 of 6263 points to ramp up precision 1539347438.462 * * * * [misc]points: Setting MPFR precision to 320 1539347438.474 * * * * [misc]points: Setting MPFR precision to 576 1539347438.487 * * * * [misc]points: Computing exacts on every 12 of 6263 points to ramp up precision 1539347438.489 * * * * [misc]points: Setting MPFR precision to 320 1539347438.512 * * * * [misc]points: Setting MPFR precision to 576 1539347438.536 * * * * [misc]points: Computing exacts on every 6 of 6263 points to ramp up precision 1539347438.537 * * * * [misc]points: Setting MPFR precision to 320 1539347438.559 * * * * [misc]points: Setting MPFR precision to 576 1539347438.588 * * * * [misc]points: Computing exacts on every 3 of 6263 points to ramp up precision 1539347438.589 * * * * [misc]points: Setting MPFR precision to 320 1539347438.663 * * * * [misc]points: Setting MPFR precision to 576 1539347438.715 * * * * [misc]points: Computing exacts for 6263 points 1539347438.716 * * * * [misc]points: Setting MPFR precision to 320 1539347439.021 * * * * [misc]points: Setting MPFR precision to 576 1539347439.337 * * * * [misc]points: Filtering points with unrepresentable outputs 1539347439.339 * * * * [misc]points: Sampling 4888 additional inputs, on iter 2 have 3112 / 8000 1539347439.386 * * * * [misc]points: Computing exacts on every 305 of 4888 points to ramp up precision 1539347439.389 * * * * [misc]points: Setting MPFR precision to 320 1539347439.389 * * * * [misc]points: Setting MPFR precision to 576 1539347439.390 * * * * [misc]points: Computing exacts on every 152 of 4888 points to ramp up precision 1539347439.391 * * * * [misc]points: Setting MPFR precision to 320 1539347439.392 * * * * [misc]points: Setting MPFR precision to 576 1539347439.393 * * * * [misc]points: Computing exacts on every 76 of 4888 points to ramp up precision 1539347439.394 * * * * [misc]points: Setting MPFR precision to 320 1539347439.395 * * * * [misc]points: Setting MPFR precision to 576 1539347439.397 * * * * [misc]points: Computing exacts on every 38 of 4888 points to ramp up precision 1539347439.398 * * * * [misc]points: Setting MPFR precision to 320 1539347439.401 * * * * [misc]points: Setting MPFR precision to 576 1539347439.405 * * * * [misc]points: Computing exacts on every 19 of 4888 points to ramp up precision 1539347439.406 * * * * [misc]points: Setting MPFR precision to 320 1539347439.412 * * * * [misc]points: Setting MPFR precision to 576 1539347439.419 * * * * [misc]points: Computing exacts on every 9 of 4888 points to ramp up precision 1539347439.420 * * * * [misc]points: Setting MPFR precision to 320 1539347439.437 * * * * [misc]points: Setting MPFR precision to 576 1539347439.465 * * * * [misc]points: Computing exacts on every 4 of 4888 points to ramp up precision 1539347439.467 * * * * [misc]points: Setting MPFR precision to 320 1539347439.498 * * * * [misc]points: Setting MPFR precision to 576 1539347439.557 * * * * [misc]points: Computing exacts on every 2 of 4888 points to ramp up precision 1539347439.558 * * * * [misc]points: Setting MPFR precision to 320 1539347439.607 * * * * [misc]points: Setting MPFR precision to 576 1539347439.676 * * * * [misc]points: Computing exacts for 4888 points 1539347439.678 * * * * [misc]points: Setting MPFR precision to 320 1539347440.006 * * * * [misc]points: Setting MPFR precision to 576 1539347440.282 * * * * [misc]points: Filtering points with unrepresentable outputs 1539347440.283 * * * * [misc]points: Sampling 3806 additional inputs, on iter 3 have 4194 / 8000 1539347440.299 * * * * [misc]points: Computing exacts on every 237 of 3806 points to ramp up precision 1539347440.300 * * * * [misc]points: Setting MPFR precision to 320 1539347440.301 * * * * [misc]points: Setting MPFR precision to 576 1539347440.301 * * * * [misc]points: Computing exacts on every 118 of 3806 points to ramp up precision 1539347440.302 * * * * [misc]points: Setting MPFR precision to 320 1539347440.303 * * * * [misc]points: Setting MPFR precision to 576 1539347440.304 * * * * [misc]points: Computing exacts on every 59 of 3806 points to ramp up precision 1539347440.304 * * * * [misc]points: Setting MPFR precision to 320 1539347440.306 * * * * [misc]points: Setting MPFR precision to 576 1539347440.308 * * * * [misc]points: Computing exacts on every 29 of 3806 points to ramp up precision 1539347440.309 * * * * [misc]points: Setting MPFR precision to 320 1539347440.312 * * * * [misc]points: Setting MPFR precision to 576 1539347440.316 * * * * [misc]points: Computing exacts on every 14 of 3806 points to ramp up precision 1539347440.316 * * * * [misc]points: Setting MPFR precision to 320 1539347440.323 * * * * [misc]points: Setting MPFR precision to 576 1539347440.725 * * * * [misc]points: Computing exacts on every 7 of 3806 points to ramp up precision 1539347440.727 * * * * [misc]points: Setting MPFR precision to 320 1539347440.746 * * * * [misc]points: Setting MPFR precision to 576 1539347440.760 * * * * [misc]points: Computing exacts on every 3 of 3806 points to ramp up precision 1539347440.761 * * * * [misc]points: Setting MPFR precision to 320 1539347440.785 * * * * [misc]points: Setting MPFR precision to 576 1539347440.834 * * * * [misc]points: Computing exacts for 3806 points 1539347440.835 * * * * [misc]points: Setting MPFR precision to 320 1539347441.030 * * * * [misc]points: Setting MPFR precision to 576 1539347441.235 * * * * [misc]points: Filtering points with unrepresentable outputs 1539347441.237 * * * * [misc]points: Sampling 2945 additional inputs, on iter 4 have 5055 / 8000 1539347441.263 * * * * [misc]points: Computing exacts on every 184 of 2945 points to ramp up precision 1539347441.264 * * * * [misc]points: Setting MPFR precision to 320 1539347441.266 * * * * [misc]points: Setting MPFR precision to 576 1539347441.267 * * * * [misc]points: Computing exacts on every 92 of 2945 points to ramp up precision 1539347441.268 * * * * [misc]points: Setting MPFR precision to 320 1539347441.268 * * * * [misc]points: Setting MPFR precision to 576 1539347441.269 * * * * [misc]points: Computing exacts on every 46 of 2945 points to ramp up precision 1539347441.270 * * * * [misc]points: Setting MPFR precision to 320 1539347441.272 * * * * [misc]points: Setting MPFR precision to 576 1539347441.273 * * * * [misc]points: Computing exacts on every 23 of 2945 points to ramp up precision 1539347441.274 * * * * [misc]points: Setting MPFR precision to 320 1539347441.277 * * * * [misc]points: Setting MPFR precision to 576 1539347441.281 * * * * [misc]points: Computing exacts on every 11 of 2945 points to ramp up precision 1539347441.282 * * * * [misc]points: Setting MPFR precision to 320 1539347441.310 * * * * [misc]points: Setting MPFR precision to 576 1539347441.318 * * * * [misc]points: Computing exacts on every 5 of 2945 points to ramp up precision 1539347441.319 * * * * [misc]points: Setting MPFR precision to 320 1539347441.331 * * * * [misc]points: Setting MPFR precision to 576 1539347441.353 * * * * [misc]points: Computing exacts on every 2 of 2945 points to ramp up precision 1539347441.354 * * * * [misc]points: Setting MPFR precision to 320 1539347441.378 * * * * [misc]points: Setting MPFR precision to 576 1539347441.433 * * * * [misc]points: Computing exacts for 2945 points 1539347441.435 * * * * [misc]points: Setting MPFR precision to 320 1539347441.574 * * * * [misc]points: Setting MPFR precision to 576 1539347441.724 * * * * [misc]points: Filtering points with unrepresentable outputs 1539347441.725 * * * * [misc]points: Sampling 2303 additional inputs, on iter 5 have 5697 / 8000 1539347441.740 * * * * [misc]points: Computing exacts on every 143 of 2303 points to ramp up precision 1539347441.741 * * * * [misc]points: Setting MPFR precision to 320 1539347441.742 * * * * [misc]points: Setting MPFR precision to 576 1539347441.743 * * * * [misc]points: Computing exacts on every 71 of 2303 points to ramp up precision 1539347441.744 * * * * [misc]points: Setting MPFR precision to 320 1539347441.746 * * * * [misc]points: Setting MPFR precision to 576 1539347441.747 * * * * [misc]points: Computing exacts on every 35 of 2303 points to ramp up precision 1539347441.749 * * * * [misc]points: Setting MPFR precision to 320 1539347441.752 * * * * [misc]points: Setting MPFR precision to 576 1539347441.755 * * * * [misc]points: Computing exacts on every 17 of 2303 points to ramp up precision 1539347441.757 * * * * [misc]points: Setting MPFR precision to 320 1539347441.763 * * * * [misc]points: Setting MPFR precision to 576 1539347441.770 * * * * [misc]points: Computing exacts on every 8 of 2303 points to ramp up precision 1539347441.772 * * * * [misc]points: Setting MPFR precision to 320 1539347441.784 * * * * [misc]points: Setting MPFR precision to 576 1539347441.791 * * * * [misc]points: Computing exacts on every 4 of 2303 points to ramp up precision 1539347441.792 * * * * [misc]points: Setting MPFR precision to 320 1539347441.804 * * * * [misc]points: Setting MPFR precision to 576 1539347441.817 * * * * [misc]points: Computing exacts on every 2 of 2303 points to ramp up precision 1539347441.818 * * * * [misc]points: Setting MPFR precision to 320 1539347441.873 * * * * [misc]points: Setting MPFR precision to 576 1539347441.908 * * * * [misc]points: Computing exacts for 2303 points 1539347441.909 * * * * [misc]points: Setting MPFR precision to 320 1539347441.990 * * * * [misc]points: Setting MPFR precision to 576 1539347442.150 * * * * [misc]points: Filtering points with unrepresentable outputs 1539347442.150 * * * * [misc]points: Sampling 1790 additional inputs, on iter 6 have 6210 / 8000 1539347442.158 * * * * [misc]points: Computing exacts on every 111 of 1790 points to ramp up precision 1539347442.159 * * * * [misc]points: Setting MPFR precision to 320 1539347442.160 * * * * [misc]points: Setting MPFR precision to 576 1539347442.160 * * * * [misc]points: Computing exacts on every 55 of 1790 points to ramp up precision 1539347442.161 * * * * [misc]points: Setting MPFR precision to 320 1539347442.162 * * * * [misc]points: Setting MPFR precision to 576 1539347442.163 * * * * [misc]points: Computing exacts on every 27 of 1790 points to ramp up precision 1539347442.164 * * * * [misc]points: Setting MPFR precision to 320 1539347442.167 * * * * [misc]points: Setting MPFR precision to 576 1539347442.171 * * * * [misc]points: Computing exacts on every 13 of 1790 points to ramp up precision 1539347442.172 * * * * [misc]points: Setting MPFR precision to 320 1539347442.178 * * * * [misc]points: Setting MPFR precision to 576 1539347442.186 * * * * [misc]points: Computing exacts on every 6 of 1790 points to ramp up precision 1539347442.187 * * * * [misc]points: Setting MPFR precision to 320 1539347442.200 * * * * [misc]points: Setting MPFR precision to 576 1539347442.215 * * * * [misc]points: Computing exacts on every 3 of 1790 points to ramp up precision 1539347442.217 * * * * [misc]points: Setting MPFR precision to 320 1539347442.239 * * * * [misc]points: Setting MPFR precision to 576 1539347442.293 * * * * [misc]points: Computing exacts for 1790 points 1539347442.294 * * * * [misc]points: Setting MPFR precision to 320 1539347442.383 * * * * [misc]points: Setting MPFR precision to 576 1539347442.484 * * * * [misc]points: Filtering points with unrepresentable outputs 1539347442.485 * * * * [misc]points: Sampling 1377 additional inputs, on iter 7 have 6623 / 8000 1539347442.496 * * * * [misc]points: Computing exacts on every 86 of 1377 points to ramp up precision 1539347442.498 * * * * [misc]points: Setting MPFR precision to 320 1539347442.540 * * * * [misc]points: Setting MPFR precision to 576 1539347442.541 * * * * [misc]points: Computing exacts on every 43 of 1377 points to ramp up precision 1539347442.542 * * * * [misc]points: Setting MPFR precision to 320 1539347442.543 * * * * [misc]points: Setting MPFR precision to 576 1539347442.544 * * * * [misc]points: Computing exacts on every 21 of 1377 points to ramp up precision 1539347442.545 * * * * [misc]points: Setting MPFR precision to 320 1539347442.546 * * * * [misc]points: Setting MPFR precision to 576 1539347442.548 * * * * [misc]points: Computing exacts on every 10 of 1377 points to ramp up precision 1539347442.549 * * * * [misc]points: Setting MPFR precision to 320 1539347442.554 * * * * [misc]points: Setting MPFR precision to 576 1539347442.558 * * * * [misc]points: Computing exacts on every 5 of 1377 points to ramp up precision 1539347442.559 * * * * [misc]points: Setting MPFR precision to 320 1539347442.566 * * * * [misc]points: Setting MPFR precision to 576 1539347442.579 * * * * [misc]points: Computing exacts on every 2 of 1377 points to ramp up precision 1539347442.580 * * * * [misc]points: Setting MPFR precision to 320 1539347442.599 * * * * [misc]points: Setting MPFR precision to 576 1539347442.612 * * * * [misc]points: Computing exacts for 1377 points 1539347442.613 * * * * [misc]points: Setting MPFR precision to 320 1539347442.670 * * * * [misc]points: Setting MPFR precision to 576 1539347442.744 * * * * [misc]points: Filtering points with unrepresentable outputs 1539347442.744 * * * * [misc]points: Sampling 1086 additional inputs, on iter 8 have 6914 / 8000 1539347442.751 * * * * [misc]points: Computing exacts on every 67 of 1086 points to ramp up precision 1539347442.752 * * * * [misc]points: Setting MPFR precision to 320 1539347442.753 * * * * [misc]points: Setting MPFR precision to 576 1539347442.753 * * * * [misc]points: Computing exacts on every 33 of 1086 points to ramp up precision 1539347442.754 * * * * [misc]points: Setting MPFR precision to 320 1539347442.755 * * * * [misc]points: Setting MPFR precision to 576 1539347442.756 * * * * [misc]points: Computing exacts on every 16 of 1086 points to ramp up precision 1539347442.756 * * * * [misc]points: Setting MPFR precision to 320 1539347442.758 * * * * [misc]points: Setting MPFR precision to 576 1539347442.760 * * * * [misc]points: Computing exacts on every 8 of 1086 points to ramp up precision 1539347442.761 * * * * [misc]points: Setting MPFR precision to 320 1539347442.765 * * * * [misc]points: Setting MPFR precision to 576 1539347442.769 * * * * [misc]points: Computing exacts on every 4 of 1086 points to ramp up precision 1539347442.770 * * * * [misc]points: Setting MPFR precision to 320 1539347442.776 * * * * [misc]points: Setting MPFR precision to 576 1539347442.782 * * * * [misc]points: Computing exacts on every 2 of 1086 points to ramp up precision 1539347442.783 * * * * [misc]points: Setting MPFR precision to 320 1539347442.792 * * * * [misc]points: Setting MPFR precision to 576 1539347442.806 * * * * [misc]points: Computing exacts for 1086 points 1539347442.807 * * * * [misc]points: Setting MPFR precision to 320 1539347442.858 * * * * [misc]points: Setting MPFR precision to 576 1539347443.263 * * * * [misc]points: Filtering points with unrepresentable outputs 1539347443.263 * * * * [misc]points: Sampling 838 additional inputs, on iter 9 have 7162 / 8000 1539347443.271 * * * * [misc]points: Computing exacts on every 52 of 838 points to ramp up precision 1539347443.272 * * * * [misc]points: Setting MPFR precision to 320 1539347443.273 * * * * [misc]points: Setting MPFR precision to 576 1539347443.274 * * * * [misc]points: Computing exacts on every 26 of 838 points to ramp up precision 1539347443.275 * * * * [misc]points: Setting MPFR precision to 320 1539347443.277 * * * * [misc]points: Setting MPFR precision to 576 1539347443.278 * * * * [misc]points: Computing exacts on every 13 of 838 points to ramp up precision 1539347443.279 * * * * [misc]points: Setting MPFR precision to 320 1539347443.283 * * * * [misc]points: Setting MPFR precision to 576 1539347443.286 * * * * [misc]points: Computing exacts on every 6 of 838 points to ramp up precision 1539347443.288 * * * * [misc]points: Setting MPFR precision to 320 1539347443.293 * * * * [misc]points: Setting MPFR precision to 576 1539347443.300 * * * * [misc]points: Computing exacts on every 3 of 838 points to ramp up precision 1539347443.302 * * * * [misc]points: Setting MPFR precision to 320 1539347443.312 * * * * [misc]points: Setting MPFR precision to 576 1539347443.323 * * * * [misc]points: Computing exacts for 838 points 1539347443.324 * * * * [misc]points: Setting MPFR precision to 320 1539347443.345 * * * * [misc]points: Setting MPFR precision to 576 1539347443.379 * * * * [misc]points: Filtering points with unrepresentable outputs 1539347443.379 * * * * [misc]points: Sampling 652 additional inputs, on iter 10 have 7348 / 8000 1539347443.385 * * * * [misc]points: Computing exacts on every 40 of 652 points to ramp up precision 1539347443.386 * * * * [misc]points: Setting MPFR precision to 320 1539347443.387 * * * * [misc]points: Setting MPFR precision to 576 1539347443.388 * * * * [misc]points: Computing exacts on every 20 of 652 points to ramp up precision 1539347443.389 * * * * [misc]points: Setting MPFR precision to 320 1539347443.422 * * * * [misc]points: Setting MPFR precision to 576 1539347443.423 * * * * [misc]points: Computing exacts on every 10 of 652 points to ramp up precision 1539347443.424 * * * * [misc]points: Setting MPFR precision to 320 1539347443.425 * * * * [misc]points: Setting MPFR precision to 576 1539347443.427 * * * * [misc]points: Computing exacts on every 5 of 652 points to ramp up precision 1539347443.428 * * * * [misc]points: Setting MPFR precision to 320 1539347443.430 * * * * [misc]points: Setting MPFR precision to 576 1539347443.436 * * * * [misc]points: Computing exacts on every 2 of 652 points to ramp up precision 1539347443.436 * * * * [misc]points: Setting MPFR precision to 320 1539347443.442 * * * * [misc]points: Setting MPFR precision to 576 1539347443.449 * * * * [misc]points: Computing exacts for 652 points 1539347443.450 * * * * [misc]points: Setting MPFR precision to 320 1539347443.481 * * * * [misc]points: Setting MPFR precision to 576 1539347443.518 * * * * [misc]points: Filtering points with unrepresentable outputs 1539347443.518 * * * * [misc]points: Sampling 523 additional inputs, on iter 11 have 7477 / 8000 1539347443.523 * * * * [misc]points: Computing exacts on every 32 of 523 points to ramp up precision 1539347443.524 * * * * [misc]points: Setting MPFR precision to 320 1539347443.525 * * * * [misc]points: Setting MPFR precision to 576 1539347443.526 * * * * [misc]points: Computing exacts on every 16 of 523 points to ramp up precision 1539347443.527 * * * * [misc]points: Setting MPFR precision to 320 1539347443.529 * * * * [misc]points: Setting MPFR precision to 576 1539347443.531 * * * * [misc]points: Computing exacts on every 8 of 523 points to ramp up precision 1539347443.532 * * * * [misc]points: Setting MPFR precision to 320 1539347443.535 * * * * [misc]points: Setting MPFR precision to 576 1539347443.538 * * * * [misc]points: Computing exacts on every 4 of 523 points to ramp up precision 1539347443.539 * * * * [misc]points: Setting MPFR precision to 320 1539347443.544 * * * * [misc]points: Setting MPFR precision to 576 1539347443.551 * * * * [misc]points: Computing exacts on every 2 of 523 points to ramp up precision 1539347443.552 * * * * [misc]points: Setting MPFR precision to 320 1539347443.561 * * * * [misc]points: Setting MPFR precision to 576 1539347443.571 * * * * [misc]points: Computing exacts for 523 points 1539347443.573 * * * * [misc]points: Setting MPFR precision to 320 1539347443.599 * * * * [misc]points: Setting MPFR precision to 576 1539347443.662 * * * * [misc]points: Filtering points with unrepresentable outputs 1539347443.663 * * * * [misc]points: Sampling 399 additional inputs, on iter 12 have 7601 / 8000 1539347443.664 * * * * [misc]points: Computing exacts on every 24 of 399 points to ramp up precision 1539347443.665 * * * * [misc]points: Setting MPFR precision to 320 1539347443.666 * * * * [misc]points: Setting MPFR precision to 576 1539347443.666 * * * * [misc]points: Computing exacts on every 12 of 399 points to ramp up precision 1539347443.667 * * * * [misc]points: Setting MPFR precision to 320 1539347443.668 * * * * [misc]points: Setting MPFR precision to 576 1539347443.668 * * * * [misc]points: Computing exacts on every 6 of 399 points to ramp up precision 1539347443.669 * * * * [misc]points: Setting MPFR precision to 320 1539347443.673 * * * * [misc]points: Setting MPFR precision to 576 1539347443.675 * * * * [misc]points: Computing exacts on every 3 of 399 points to ramp up precision 1539347443.675 * * * * [misc]points: Setting MPFR precision to 320 1539347443.678 * * * * [misc]points: Setting MPFR precision to 576 1539347443.681 * * * * [misc]points: Computing exacts for 399 points 1539347443.681 * * * * [misc]points: Setting MPFR precision to 320 1539347443.691 * * * * [misc]points: Setting MPFR precision to 576 1539347443.713 * * * * [misc]points: Filtering points with unrepresentable outputs 1539347443.713 * * * * [misc]points: Sampling 328 additional inputs, on iter 13 have 7672 / 8000 1539347443.716 * * * * [misc]points: Computing exacts on every 20 of 328 points to ramp up precision 1539347443.718 * * * * [misc]points: Setting MPFR precision to 320 1539347443.719 * * * * [misc]points: Setting MPFR precision to 576 1539347443.719 * * * * [misc]points: Computing exacts on every 10 of 328 points to ramp up precision 1539347443.721 * * * * [misc]points: Setting MPFR precision to 320 1539347443.722 * * * * [misc]points: Setting MPFR precision to 576 1539347443.724 * * * * [misc]points: Computing exacts on every 5 of 328 points to ramp up precision 1539347443.725 * * * * [misc]points: Setting MPFR precision to 320 1539347443.728 * * * * [misc]points: Setting MPFR precision to 576 1539347443.731 * * * * [misc]points: Computing exacts on every 2 of 328 points to ramp up precision 1539347443.733 * * * * [misc]points: Setting MPFR precision to 320 1539347443.739 * * * * [misc]points: Setting MPFR precision to 576 1539347443.745 * * * * [misc]points: Computing exacts for 328 points 1539347443.746 * * * * [misc]points: Setting MPFR precision to 320 1539347443.761 * * * * [misc]points: Setting MPFR precision to 576 1539347443.780 * * * * [misc]points: Filtering points with unrepresentable outputs 1539347443.780 * * * * [misc]points: Sampling 253 additional inputs, on iter 14 have 7747 / 8000 1539347443.782 * * * * [misc]points: Computing exacts on every 15 of 253 points to ramp up precision 1539347443.783 * * * * [misc]points: Setting MPFR precision to 320 1539347443.784 * * * * [misc]points: Setting MPFR precision to 576 1539347443.785 * * * * [misc]points: Computing exacts on every 7 of 253 points to ramp up precision 1539347443.786 * * * * [misc]points: Setting MPFR precision to 320 1539347443.788 * * * * [misc]points: Setting MPFR precision to 576 1539347443.790 * * * * [misc]points: Computing exacts on every 3 of 253 points to ramp up precision 1539347443.791 * * * * [misc]points: Setting MPFR precision to 320 1539347443.794 * * * * [misc]points: Setting MPFR precision to 576 1539347443.798 * * * * [misc]points: Computing exacts for 253 points 1539347443.799 * * * * [misc]points: Setting MPFR precision to 320 1539347443.806 * * * * [misc]points: Setting MPFR precision to 576 1539347443.813 * * * * [misc]points: Filtering points with unrepresentable outputs 1539347443.813 * * * * [misc]points: Sampling 199 additional inputs, on iter 15 have 7801 / 8000 1539347443.814 * * * * [misc]points: Computing exacts on every 12 of 199 points to ramp up precision 1539347443.815 * * * * [misc]points: Setting MPFR precision to 320 1539347443.816 * * * * [misc]points: Setting MPFR precision to 576 1539347443.816 * * * * [misc]points: Computing exacts on every 6 of 199 points to ramp up precision 1539347443.817 * * * * [misc]points: Setting MPFR precision to 320 1539347443.844 * * * * [misc]points: Setting MPFR precision to 576 1539347443.845 * * * * [misc]points: Computing exacts on every 3 of 199 points to ramp up precision 1539347443.846 * * * * [misc]points: Setting MPFR precision to 320 1539347443.847 * * * * [misc]points: Setting MPFR precision to 576 1539347443.849 * * * * [misc]points: Computing exacts for 199 points 1539347443.850 * * * * [misc]points: Setting MPFR precision to 320 1539347443.856 * * * * [misc]points: Setting MPFR precision to 576 1539347443.863 * * * * [misc]points: Filtering points with unrepresentable outputs 1539347443.863 * * * * [misc]points: Sampling 150 additional inputs, on iter 16 have 7850 / 8000 1539347443.864 * * * * [misc]points: Computing exacts on every 9 of 150 points to ramp up precision 1539347443.865 * * * * [misc]points: Setting MPFR precision to 320 1539347443.866 * * * * [misc]points: Setting MPFR precision to 576 1539347443.867 * * * * [misc]points: Computing exacts on every 4 of 150 points to ramp up precision 1539347443.868 * * * * [misc]points: Setting MPFR precision to 320 1539347443.870 * * * * [misc]points: Setting MPFR precision to 576 1539347443.871 * * * * [misc]points: Computing exacts on every 2 of 150 points to ramp up precision 1539347443.872 * * * * [misc]points: Setting MPFR precision to 320 1539347443.875 * * * * [misc]points: Setting MPFR precision to 576 1539347443.878 * * * * [misc]points: Computing exacts for 150 points 1539347443.879 * * * * [misc]points: Setting MPFR precision to 320 1539347443.886 * * * * [misc]points: Setting MPFR precision to 576 1539347443.895 * * * * [misc]points: Filtering points with unrepresentable outputs 1539347443.895 * * * * [misc]points: Sampling 117 additional inputs, on iter 17 have 7883 / 8000 1539347443.896 * * * * [misc]points: Computing exacts on every 7 of 117 points to ramp up precision 1539347443.898 * * * * [misc]points: Setting MPFR precision to 320 1539347443.898 * * * * [misc]points: Setting MPFR precision to 576 1539347443.899 * * * * [misc]points: Computing exacts on every 3 of 117 points to ramp up precision 1539347443.900 * * * * [misc]points: Setting MPFR precision to 320 1539347443.902 * * * * [misc]points: Setting MPFR precision to 576 1539347443.904 * * * * [misc]points: Computing exacts for 117 points 1539347443.905 * * * * [misc]points: Setting MPFR precision to 320 1539347443.911 * * * * [misc]points: Setting MPFR precision to 576 1539347443.918 * * * * [misc]points: Filtering points with unrepresentable outputs 1539347443.918 * * * * [misc]points: Sampling 85 additional inputs, on iter 18 have 7915 / 8000 1539347443.919 * * * * [misc]points: Computing exacts on every 5 of 85 points to ramp up precision 1539347443.920 * * * * [misc]points: Setting MPFR precision to 320 1539347443.921 * * * * [misc]points: Setting MPFR precision to 576 1539347443.922 * * * * [misc]points: Computing exacts on every 2 of 85 points to ramp up precision 1539347443.923 * * * * [misc]points: Setting MPFR precision to 320 1539347443.924 * * * * [misc]points: Setting MPFR precision to 576 1539347443.926 * * * * [misc]points: Computing exacts for 85 points 1539347443.927 * * * * [misc]points: Setting MPFR precision to 320 1539347443.931 * * * * [misc]points: Setting MPFR precision to 576 1539347443.935 * * * * [misc]points: Filtering points with unrepresentable outputs 1539347443.936 * * * * [misc]points: Sampling 78 additional inputs, on iter 19 have 7922 / 8000 1539347443.936 * * * * [misc]points: Computing exacts on every 4 of 78 points to ramp up precision 1539347443.938 * * * * [misc]points: Setting MPFR precision to 320 1539347443.939 * * * * [misc]points: Setting MPFR precision to 576 1539347443.940 * * * * [misc]points: Computing exacts on every 2 of 78 points to ramp up precision 1539347443.941 * * * * [misc]points: Setting MPFR precision to 320 1539347443.942 * * * * [misc]points: Setting MPFR precision to 576 1539347443.943 * * * * [misc]points: Computing exacts for 78 points 1539347443.945 * * * * [misc]points: Setting MPFR precision to 320 1539347443.948 * * * * [misc]points: Setting MPFR precision to 576 1539347443.953 * * * * [misc]points: Filtering points with unrepresentable outputs 1539347443.953 * * * * [misc]points: Sampling 59 additional inputs, on iter 20 have 7941 / 8000 1539347443.953 * * * * [misc]points: Computing exacts on every 3 of 59 points to ramp up precision 1539347443.954 * * * * [misc]points: Setting MPFR precision to 320 1539347443.955 * * * * [misc]points: Setting MPFR precision to 576 1539347443.956 * * * * [misc]points: Computing exacts for 59 points 1539347443.957 * * * * [misc]points: Setting MPFR precision to 320 1539347443.960 * * * * [misc]points: Setting MPFR precision to 576 1539347443.963 * * * * [misc]points: Filtering points with unrepresentable outputs 1539347443.963 * * * * [misc]points: Sampling 48 additional inputs, on iter 21 have 7952 / 8000 1539347443.964 * * * * [misc]points: Computing exacts on every 3 of 48 points to ramp up precision 1539347443.965 * * * * [misc]points: Setting MPFR precision to 320 1539347443.966 * * * * [misc]points: Setting MPFR precision to 576 1539347443.966 * * * * [misc]points: Computing exacts for 48 points 1539347443.967 * * * * [misc]points: Setting MPFR precision to 320 1539347443.970 * * * * [misc]points: Setting MPFR precision to 576 1539347443.972 * * * * [misc]points: Filtering points with unrepresentable outputs 1539347443.972 * * * * [misc]points: Sampling 39 additional inputs, on iter 22 have 7961 / 8000 1539347443.973 * * * * [misc]points: Computing exacts on every 2 of 39 points to ramp up precision 1539347443.974 * * * * [misc]points: Setting MPFR precision to 320 1539347443.975 * * * * [misc]points: Setting MPFR precision to 576 1539347443.976 * * * * [misc]points: Computing exacts for 39 points 1539347443.977 * * * * [misc]points: Setting MPFR precision to 320 1539347443.979 * * * * [misc]points: Setting MPFR precision to 576 1539347443.981 * * * * [misc]points: Filtering points with unrepresentable outputs 1539347443.981 * * * * [misc]points: Sampling 30 additional inputs, on iter 23 have 7970 / 8000 1539347443.982 * * * * [misc]points: Computing exacts for 30 points 1539347443.983 * * * * [misc]points: Setting MPFR precision to 320 1539347443.985 * * * * [misc]points: Setting MPFR precision to 576 1539347443.986 * * * * [misc]points: Filtering points with unrepresentable outputs 1539347443.986 * * * * [misc]points: Sampling 23 additional inputs, on iter 24 have 7977 / 8000 1539347443.987 * * * * [misc]points: Computing exacts for 23 points 1539347443.988 * * * * [misc]points: Setting MPFR precision to 320 1539347443.989 * * * * [misc]points: Setting MPFR precision to 576 1539347443.991 * * * * [misc]points: Filtering points with unrepresentable outputs 1539347443.991 * * * * [misc]points: Sampling 18 additional inputs, on iter 25 have 7982 / 8000 1539347443.991 * * * * [misc]points: Computing exacts for 18 points 1539347443.992 * * * * [misc]points: Setting MPFR precision to 320 1539347443.993 * * * * [misc]points: Setting MPFR precision to 576 1539347443.994 * * * * [misc]points: Filtering points with unrepresentable outputs 1539347443.994 * * * * [misc]points: Sampling 14 additional inputs, on iter 26 have 7986 / 8000 1539347443.995 * * * * [misc]points: Computing exacts for 14 points 1539347443.996 * * * * [misc]points: Setting MPFR precision to 320 1539347443.997 * * * * [misc]points: Setting MPFR precision to 576 1539347443.997 * * * * [misc]points: Filtering points with unrepresentable outputs 1539347443.998 * * * * [misc]points: Sampling 11 additional inputs, on iter 27 have 7989 / 8000 1539347443.998 * * * * [misc]points: Computing exacts for 11 points 1539347443.999 * * * * [misc]points: Setting MPFR precision to 320 1539347444.000 * * * * [misc]points: Setting MPFR precision to 576 1539347444.000 * * * * [misc]points: Filtering points with unrepresentable outputs 1539347444.000 * * * * [misc]points: Sampling 10 additional inputs, on iter 28 have 7990 / 8000 1539347444.000 * * * * [misc]points: Computing exacts for 10 points 1539347444.001 * * * * [misc]points: Setting MPFR precision to 320 1539347444.002 * * * * [misc]points: Setting MPFR precision to 576 1539347444.002 * * * * [misc]points: Filtering points with unrepresentable outputs 1539347444.002 * * * * [misc]points: Sampling 9 additional inputs, on iter 29 have 7991 / 8000 1539347444.003 * * * * [misc]points: Computing exacts for 9 points 1539347444.004 * * * * [misc]points: Setting MPFR precision to 320 1539347444.004 * * * * [misc]points: Setting MPFR precision to 576 1539347444.005 * * * * [misc]points: Filtering points with unrepresentable outputs 1539347444.005 * * * * [misc]points: Sampling 7 additional inputs, on iter 30 have 7993 / 8000 1539347444.005 * * * * [misc]points: Computing exacts for 7 points 1539347444.006 * * * * [misc]points: Setting MPFR precision to 320 1539347444.006 * * * * [misc]points: Setting MPFR precision to 576 1539347444.007 * * * * [misc]points: Filtering points with unrepresentable outputs 1539347444.007 * * * * [misc]points: Sampling 5 additional inputs, on iter 31 have 7995 / 8000 1539347444.007 * * * * [misc]points: Computing exacts for 5 points 1539347444.008 * * * * [misc]points: Setting MPFR precision to 320 1539347444.008 * * * * [misc]points: Setting MPFR precision to 576 1539347444.009 * * * * [misc]points: Filtering points with unrepresentable outputs 1539347444.009 * * * * [misc]points: Sampling 4 additional inputs, on iter 32 have 7996 / 8000 1539347444.009 * * * * [misc]points: Computing exacts for 4 points 1539347444.010 * * * * [misc]points: Setting MPFR precision to 320 1539347444.010 * * * * [misc]points: Setting MPFR precision to 576 1539347444.010 * * * * [misc]points: Filtering points with unrepresentable outputs 1539347444.010 * * * * [misc]points: Sampling 4 additional inputs, on iter 33 have 7997 / 8000 1539347444.011 * * * * [misc]points: Computing exacts for 4 points 1539347444.012 * * * * [misc]points: Setting MPFR precision to 320 1539347444.012 * * * * [misc]points: Setting MPFR precision to 576 1539347444.012 * * * * [misc]points: Filtering points with unrepresentable outputs 1539347444.012 * * * * [misc]points: Sampling 4 additional inputs, on iter 34 have 7998 / 8000 1539347444.012 * * * * [misc]points: Computing exacts for 4 points 1539347444.013 * * * * [misc]points: Setting MPFR precision to 320 1539347444.013 * * * * [misc]points: Setting MPFR precision to 576 1539347444.014 * * * * [misc]points: Filtering points with unrepresentable outputs 1539347444.014 * * * * [exit]points: Sampled 8001 points with exact outputs 1539347444.166 * [misc]regime-testing: Baseline error score: 0 1539347444.166 * [misc]regime-testing: End program error score: 0 1539347444.169 * [misc]regime-testing: Oracle error score: 0 1539347444.209 * [misc]regime-testing: Target error score: 0