1539419054.473 * [misc]progress: [Phase 1 of 3] Setting up. 1539419054.473 * * * [misc]progress: [1/2] Preparing points 1539419054.473 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1539419054.474 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1539419054.478 * * * * [misc]points: Setting MPFR precision to 64 1539419054.479 * * * * [misc]points: Setting MPFR precision to 320 1539419054.480 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1539419054.483 * * * * [misc]points: Setting MPFR precision to 64 1539419054.484 * * * * [misc]points: Setting MPFR precision to 320 1539419054.485 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1539419054.488 * * * * [misc]points: Setting MPFR precision to 64 1539419054.490 * * * * [misc]points: Setting MPFR precision to 320 1539419054.493 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1539419054.496 * * * * [misc]points: Setting MPFR precision to 64 1539419054.499 * * * * [misc]points: Setting MPFR precision to 320 1539419054.503 * * * * [misc]points: Computing exacts for 256 points 1539419054.506 * * * * [misc]points: Setting MPFR precision to 64 1539419054.516 * * * * [misc]points: Setting MPFR precision to 320 1539419054.527 * * * * [misc]points: Filtering points with unrepresentable outputs 1539419054.527 * * * * [misc]points: Sampling 189 additional inputs, on iter 1 have 67 / 256 1539419054.528 * * * * [misc]points: Computing exacts on every 11 of 189 points to ramp up precision 1539419054.531 * * * * [misc]points: Setting MPFR precision to 64 1539419054.532 * * * * [misc]points: Setting MPFR precision to 320 1539419054.533 * * * * [misc]points: Computing exacts on every 5 of 189 points to ramp up precision 1539419054.536 * * * * [misc]points: Setting MPFR precision to 64 1539419054.537 * * * * [misc]points: Setting MPFR precision to 320 1539419054.539 * * * * [misc]points: Computing exacts on every 2 of 189 points to ramp up precision 1539419054.542 * * * * [misc]points: Setting MPFR precision to 64 1539419054.545 * * * * [misc]points: Setting MPFR precision to 320 1539419054.548 * * * * [misc]points: Computing exacts for 189 points 1539419054.551 * * * * [misc]points: Setting MPFR precision to 64 1539419054.559 * * * * [misc]points: Setting MPFR precision to 320 1539419054.567 * * * * [misc]points: Filtering points with unrepresentable outputs 1539419054.567 * * * * [misc]points: Sampling 141 additional inputs, on iter 2 have 115 / 256 1539419054.568 * * * * [misc]points: Computing exacts on every 8 of 141 points to ramp up precision 1539419054.571 * * * * [misc]points: Setting MPFR precision to 64 1539419054.572 * * * * [misc]points: Setting MPFR precision to 320 1539419054.573 * * * * [misc]points: Computing exacts on every 4 of 141 points to ramp up precision 1539419054.575 * * * * [misc]points: Setting MPFR precision to 64 1539419054.577 * * * * [misc]points: Setting MPFR precision to 320 1539419054.578 * * * * [misc]points: Computing exacts on every 2 of 141 points to ramp up precision 1539419054.581 * * * * [misc]points: Setting MPFR precision to 64 1539419054.583 * * * * [misc]points: Setting MPFR precision to 320 1539419054.585 * * * * [misc]points: Computing exacts for 141 points 1539419054.588 * * * * [misc]points: Setting MPFR precision to 64 1539419054.593 * * * * [misc]points: Setting MPFR precision to 320 1539419054.599 * * * * [misc]points: Filtering points with unrepresentable outputs 1539419054.599 * * * * [misc]points: Sampling 107 additional inputs, on iter 3 have 149 / 256 1539419054.600 * * * * [misc]points: Computing exacts on every 6 of 107 points to ramp up precision 1539419054.603 * * * * [misc]points: Setting MPFR precision to 64 1539419054.604 * * * * [misc]points: Setting MPFR precision to 320 1539419054.605 * * * * [misc]points: Computing exacts on every 3 of 107 points to ramp up precision 1539419054.607 * * * * [misc]points: Setting MPFR precision to 64 1539419054.609 * * * * [misc]points: Setting MPFR precision to 320 1539419054.610 * * * * [misc]points: Computing exacts for 107 points 1539419054.613 * * * * [misc]points: Setting MPFR precision to 64 1539419054.617 * * * * [misc]points: Setting MPFR precision to 320 1539419054.622 * * * * [misc]points: Filtering points with unrepresentable outputs 1539419054.622 * * * * [misc]points: Sampling 75 additional inputs, on iter 4 have 181 / 256 1539419054.622 * * * * [misc]points: Computing exacts on every 4 of 75 points to ramp up precision 1539419054.625 * * * * [misc]points: Setting MPFR precision to 64 1539419054.626 * * * * [misc]points: Setting MPFR precision to 320 1539419054.627 * * * * [misc]points: Computing exacts on every 2 of 75 points to ramp up precision 1539419054.630 * * * * [misc]points: Setting MPFR precision to 64 1539419054.631 * * * * [misc]points: Setting MPFR precision to 320 1539419054.632 * * * * [misc]points: Computing exacts for 75 points 1539419054.635 * * * * [misc]points: Setting MPFR precision to 64 1539419054.670 * * * * [misc]points: Setting MPFR precision to 320 1539419054.674 * * * * [misc]points: Filtering points with unrepresentable outputs 1539419054.674 * * * * [misc]points: Sampling 58 additional inputs, on iter 5 have 198 / 256 1539419054.674 * * * * [misc]points: Computing exacts on every 3 of 58 points to ramp up precision 1539419054.677 * * * * [misc]points: Setting MPFR precision to 64 1539419054.678 * * * * [misc]points: Setting MPFR precision to 320 1539419054.679 * * * * [misc]points: Computing exacts for 58 points 1539419054.685 * * * * [misc]points: Setting MPFR precision to 64 1539419054.688 * * * * [misc]points: Setting MPFR precision to 320 1539419054.690 * * * * [misc]points: Filtering points with unrepresentable outputs 1539419054.691 * * * * [misc]points: Sampling 44 additional inputs, on iter 6 have 212 / 256 1539419054.691 * * * * [misc]points: Computing exacts on every 2 of 44 points to ramp up precision 1539419054.694 * * * * [misc]points: Setting MPFR precision to 64 1539419054.694 * * * * [misc]points: Setting MPFR precision to 320 1539419054.695 * * * * [misc]points: Computing exacts for 44 points 1539419054.698 * * * * [misc]points: Setting MPFR precision to 64 1539419054.700 * * * * [misc]points: Setting MPFR precision to 320 1539419054.702 * * * * [misc]points: Filtering points with unrepresentable outputs 1539419054.702 * * * * [misc]points: Sampling 26 additional inputs, on iter 7 have 230 / 256 1539419054.702 * * * * [misc]points: Computing exacts for 26 points 1539419054.705 * * * * [misc]points: Setting MPFR precision to 64 1539419054.707 * * * * [misc]points: Setting MPFR precision to 320 1539419054.708 * * * * [misc]points: Filtering points with unrepresentable outputs 1539419054.708 * * * * [misc]points: Sampling 17 additional inputs, on iter 8 have 239 / 256 1539419054.708 * * * * [misc]points: Computing exacts for 17 points 1539419054.711 * * * * [misc]points: Setting MPFR precision to 64 1539419054.712 * * * * [misc]points: Setting MPFR precision to 320 1539419054.713 * * * * [misc]points: Filtering points with unrepresentable outputs 1539419054.713 * * * * [misc]points: Sampling 14 additional inputs, on iter 9 have 242 / 256 1539419054.713 * * * * [misc]points: Computing exacts for 14 points 1539419054.716 * * * * [misc]points: Setting MPFR precision to 64 1539419054.717 * * * * [misc]points: Setting MPFR precision to 320 1539419054.717 * * * * [misc]points: Filtering points with unrepresentable outputs 1539419054.717 * * * * [misc]points: Sampling 10 additional inputs, on iter 10 have 246 / 256 1539419054.717 * * * * [misc]points: Computing exacts for 10 points 1539419054.721 * * * * [misc]points: Setting MPFR precision to 64 1539419054.721 * * * * [misc]points: Setting MPFR precision to 320 1539419054.722 * * * * [misc]points: Filtering points with unrepresentable outputs 1539419054.722 * * * * [misc]points: Sampling 7 additional inputs, on iter 11 have 249 / 256 1539419054.722 * * * * [misc]points: Computing exacts for 7 points 1539419054.725 * * * * [misc]points: Setting MPFR precision to 64 1539419054.725 * * * * [misc]points: Setting MPFR precision to 320 1539419054.726 * * * * [misc]points: Filtering points with unrepresentable outputs 1539419054.726 * * * * [misc]points: Sampling 4 additional inputs, on iter 12 have 252 / 256 1539419054.726 * * * * [misc]points: Computing exacts for 4 points 1539419054.729 * * * * [misc]points: Setting MPFR precision to 64 1539419054.729 * * * * [misc]points: Setting MPFR precision to 320 1539419054.729 * * * * [misc]points: Filtering points with unrepresentable outputs 1539419054.730 * * * * [misc]points: Sampling 4 additional inputs, on iter 13 have 252 / 256 1539419054.730 * * * * [misc]points: Computing exacts for 4 points 1539419054.733 * * * * [misc]points: Setting MPFR precision to 64 1539419054.733 * * * * [misc]points: Setting MPFR precision to 320 1539419054.733 * * * * [misc]points: Filtering points with unrepresentable outputs 1539419054.734 * * * * [misc]points: Sampling 4 additional inputs, on iter 14 have 253 / 256 1539419054.734 * * * * [misc]points: Computing exacts for 4 points 1539419054.736 * * * * [misc]points: Setting MPFR precision to 64 1539419054.736 * * * * [misc]points: Setting MPFR precision to 320 1539419054.736 * * * * [misc]points: Filtering points with unrepresentable outputs 1539419054.736 * * * * [exit]points: Sampled 256 points with exact outputs 1539419054.736 * * * [misc]progress: [2/2] Setting up program. 1539419054.739 * [misc]progress: [Phase 2 of 3] Improving. 1539419054.739 * [enter]simplify: Simplifying (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) 1539419054.739 * * [misc]simplify: iters left: 6 (9 enodes) 1539419054.740 * * [misc]simplify: iters left: 5 (14 enodes) 1539419054.742 * * [misc]simplify: iters left: 4 (18 enodes) 1539419054.744 * [exit]simplify: Simplified to (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) 1539419054.750 * * [misc]progress: iteration 1 / 4 1539419054.750 * * * [misc]progress: picking best candidate 1539419054.752 * * * * [misc]pick: Picked # 1539419054.752 * * * [misc]progress: localizing error 1539419054.771 * * * [misc]progress: generating rewritten candidates 1539419054.771 * * * [misc]progress: generating series expansions 1539419054.771 * * * [misc]progress: simplifying candidates 1539419054.771 * * * [misc]progress: adding candidates to table 1539419054.771 * [misc]progress: [Phase 3 of 3] Extracting. 1539419054.782 * [enter]simplify: Simplifying (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) 1539419054.782 * * [misc]simplify: iters left: 6 (9 enodes) 1539419054.783 * * [misc]simplify: iters left: 5 (12 enodes) 1539419054.785 * [exit]simplify: Simplified to (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) 1539419054.785 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1539419054.811 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1539419054.815 * * * * [misc]points: Setting MPFR precision to 64 1539419054.815 * * * * [misc]points: Setting MPFR precision to 320 1539419054.816 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1539419054.819 * * * * [misc]points: Setting MPFR precision to 64 1539419054.820 * * * * [misc]points: Setting MPFR precision to 320 1539419054.822 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1539419054.825 * * * * [misc]points: Setting MPFR precision to 64 1539419054.827 * * * * [misc]points: Setting MPFR precision to 320 1539419054.830 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1539419054.833 * * * * [misc]points: Setting MPFR precision to 64 1539419054.838 * * * * [misc]points: Setting MPFR precision to 320 1539419054.844 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1539419054.847 * * * * [misc]points: Setting MPFR precision to 64 1539419054.852 * * * * [misc]points: Setting MPFR precision to 320 1539419054.857 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1539419054.859 * * * * [misc]points: Setting MPFR precision to 64 1539419054.869 * * * * [misc]points: Setting MPFR precision to 320 1539419054.914 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1539419054.918 * * * * [misc]points: Setting MPFR precision to 64 1539419054.962 * * * * [misc]points: Setting MPFR precision to 320 1539419054.985 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1539419054.988 * * * * [misc]points: Setting MPFR precision to 64 1539419055.069 * * * * [misc]points: Setting MPFR precision to 320 1539419055.158 * * * * [misc]points: Computing exacts for 8000 points 1539419055.161 * * * * [misc]points: Setting MPFR precision to 64 1539419055.499 * * * * [misc]points: Setting MPFR precision to 320 1539419055.837 * * * * [misc]points: Filtering points with unrepresentable outputs 1539419055.838 * * * * [misc]points: Sampling 6028 additional inputs, on iter 1 have 1972 / 8000 1539419055.860 * * * * [misc]points: Computing exacts on every 376 of 6028 points to ramp up precision 1539419055.862 * * * * [misc]points: Setting MPFR precision to 64 1539419055.862 * * * * [misc]points: Setting MPFR precision to 320 1539419055.863 * * * * [misc]points: Computing exacts on every 188 of 6028 points to ramp up precision 1539419055.864 * * * * [misc]points: Setting MPFR precision to 64 1539419055.865 * * * * [misc]points: Setting MPFR precision to 320 1539419055.866 * * * * [misc]points: Computing exacts on every 94 of 6028 points to ramp up precision 1539419055.867 * * * * [misc]points: Setting MPFR precision to 64 1539419055.868 * * * * [misc]points: Setting MPFR precision to 320 1539419055.870 * * * * [misc]points: Computing exacts on every 47 of 6028 points to ramp up precision 1539419055.871 * * * * [misc]points: Setting MPFR precision to 64 1539419055.891 * * * * [misc]points: Setting MPFR precision to 320 1539419055.896 * * * * [misc]points: Computing exacts on every 23 of 6028 points to ramp up precision 1539419055.899 * * * * [misc]points: Setting MPFR precision to 64 1539419055.910 * * * * [misc]points: Setting MPFR precision to 320 1539419055.916 * * * * [misc]points: Computing exacts on every 11 of 6028 points to ramp up precision 1539419055.918 * * * * [misc]points: Setting MPFR precision to 64 1539419055.928 * * * * [misc]points: Setting MPFR precision to 320 1539419055.938 * * * * [misc]points: Computing exacts on every 5 of 6028 points to ramp up precision 1539419055.940 * * * * [misc]points: Setting MPFR precision to 64 1539419055.960 * * * * [misc]points: Setting MPFR precision to 320 1539419055.994 * * * * [misc]points: Computing exacts on every 2 of 6028 points to ramp up precision 1539419055.997 * * * * [misc]points: Setting MPFR precision to 64 1539419056.090 * * * * [misc]points: Setting MPFR precision to 320 1539419056.152 * * * * [misc]points: Computing exacts for 6028 points 1539419056.154 * * * * [misc]points: Setting MPFR precision to 64 1539419056.707 * * * * [misc]points: Setting MPFR precision to 320 1539419056.928 * * * * [misc]points: Setting MPFR precision to 576 1539419057.210 * * * * [misc]points: Filtering points with unrepresentable outputs 1539419057.211 * * * * [misc]points: Sampling 4535 additional inputs, on iter 2 have 3465 / 8000 1539419057.223 * * * * [misc]points: Computing exacts on every 283 of 4535 points to ramp up precision 1539419057.228 * * * * [misc]points: Setting MPFR precision to 320 1539419057.229 * * * * [misc]points: Setting MPFR precision to 576 1539419057.229 * * * * [misc]points: Computing exacts on every 141 of 4535 points to ramp up precision 1539419057.234 * * * * [misc]points: Setting MPFR precision to 320 1539419057.235 * * * * [misc]points: Setting MPFR precision to 576 1539419057.237 * * * * [misc]points: Computing exacts on every 70 of 4535 points to ramp up precision 1539419057.241 * * * * [misc]points: Setting MPFR precision to 320 1539419057.244 * * * * [misc]points: Setting MPFR precision to 576 1539419057.247 * * * * [misc]points: Computing exacts on every 35 of 4535 points to ramp up precision 1539419057.251 * * * * [misc]points: Setting MPFR precision to 320 1539419057.281 * * * * [misc]points: Setting MPFR precision to 576 1539419057.288 * * * * [misc]points: Computing exacts on every 17 of 4535 points to ramp up precision 1539419057.292 * * * * [misc]points: Setting MPFR precision to 320 1539419057.301 * * * * [misc]points: Setting MPFR precision to 576 1539419057.307 * * * * [misc]points: Computing exacts on every 8 of 4535 points to ramp up precision 1539419057.309 * * * * [misc]points: Setting MPFR precision to 320 1539419057.325 * * * * [misc]points: Setting MPFR precision to 576 1539419057.349 * * * * [misc]points: Computing exacts on every 4 of 4535 points to ramp up precision 1539419057.353 * * * * [misc]points: Setting MPFR precision to 320 1539419057.384 * * * * [misc]points: Setting MPFR precision to 576 1539419057.406 * * * * [misc]points: Computing exacts on every 2 of 4535 points to ramp up precision 1539419057.447 * * * * [misc]points: Setting MPFR precision to 320 1539419057.487 * * * * [misc]points: Setting MPFR precision to 576 1539419057.556 * * * * [misc]points: Computing exacts for 4535 points 1539419057.558 * * * * [misc]points: Setting MPFR precision to 320 1539419057.734 * * * * [misc]points: Setting MPFR precision to 576 1539419057.953 * * * * [misc]points: Filtering points with unrepresentable outputs 1539419057.954 * * * * [misc]points: Sampling 3379 additional inputs, on iter 3 have 4621 / 8000 1539419057.964 * * * * [misc]points: Computing exacts on every 211 of 3379 points to ramp up precision 1539419057.966 * * * * [misc]points: Setting MPFR precision to 320 1539419057.967 * * * * [misc]points: Setting MPFR precision to 576 1539419057.967 * * * * [misc]points: Computing exacts on every 105 of 3379 points to ramp up precision 1539419057.971 * * * * [misc]points: Setting MPFR precision to 320 1539419057.973 * * * * [misc]points: Setting MPFR precision to 576 1539419057.974 * * * * [misc]points: Computing exacts on every 52 of 3379 points to ramp up precision 1539419057.978 * * * * [misc]points: Setting MPFR precision to 320 1539419057.981 * * * * [misc]points: Setting MPFR precision to 576 1539419057.984 * * * * [misc]points: Computing exacts on every 26 of 3379 points to ramp up precision 1539419057.986 * * * * [misc]points: Setting MPFR precision to 320 1539419057.989 * * * * [misc]points: Setting MPFR precision to 576 1539419057.992 * * * * [misc]points: Computing exacts on every 13 of 3379 points to ramp up precision 1539419057.994 * * * * [misc]points: Setting MPFR precision to 320 1539419057.999 * * * * [misc]points: Setting MPFR precision to 576 1539419058.005 * * * * [misc]points: Computing exacts on every 6 of 3379 points to ramp up precision 1539419058.007 * * * * [misc]points: Setting MPFR precision to 320 1539419058.022 * * * * [misc]points: Setting MPFR precision to 576 1539419058.063 * * * * [misc]points: Computing exacts on every 3 of 3379 points to ramp up precision 1539419058.066 * * * * [misc]points: Setting MPFR precision to 320 1539419058.086 * * * * [misc]points: Setting MPFR precision to 576 1539419058.107 * * * * [misc]points: Computing exacts for 3379 points 1539419058.111 * * * * [misc]points: Setting MPFR precision to 320 1539419058.574 * * * * [misc]points: Setting MPFR precision to 576 1539419058.732 * * * * [misc]points: Filtering points with unrepresentable outputs 1539419058.733 * * * * [misc]points: Sampling 2561 additional inputs, on iter 4 have 5439 / 8000 1539419058.739 * * * * [misc]points: Computing exacts on every 160 of 2561 points to ramp up precision 1539419058.741 * * * * [misc]points: Setting MPFR precision to 320 1539419058.742 * * * * [misc]points: Setting MPFR precision to 576 1539419058.742 * * * * [misc]points: Computing exacts on every 80 of 2561 points to ramp up precision 1539419058.744 * * * * [misc]points: Setting MPFR precision to 320 1539419058.745 * * * * [misc]points: Setting MPFR precision to 576 1539419058.746 * * * * [misc]points: Computing exacts on every 40 of 2561 points to ramp up precision 1539419058.748 * * * * [misc]points: Setting MPFR precision to 320 1539419058.749 * * * * [misc]points: Setting MPFR precision to 576 1539419058.751 * * * * [misc]points: Computing exacts on every 20 of 2561 points to ramp up precision 1539419058.753 * * * * [misc]points: Setting MPFR precision to 320 1539419058.756 * * * * [misc]points: Setting MPFR precision to 576 1539419058.759 * * * * [misc]points: Computing exacts on every 10 of 2561 points to ramp up precision 1539419058.761 * * * * [misc]points: Setting MPFR precision to 320 1539419058.769 * * * * [misc]points: Setting MPFR precision to 576 1539419058.780 * * * * [misc]points: Computing exacts on every 5 of 2561 points to ramp up precision 1539419058.784 * * * * [misc]points: Setting MPFR precision to 320 1539419058.804 * * * * [misc]points: Setting MPFR precision to 576 1539419058.843 * * * * [misc]points: Computing exacts on every 2 of 2561 points to ramp up precision 1539419058.846 * * * * [misc]points: Setting MPFR precision to 320 1539419058.875 * * * * [misc]points: Setting MPFR precision to 576 1539419058.915 * * * * [misc]points: Computing exacts for 2561 points 1539419058.919 * * * * [misc]points: Setting MPFR precision to 320 1539419059.059 * * * * [misc]points: Setting MPFR precision to 576 1539419059.143 * * * * [misc]points: Filtering points with unrepresentable outputs 1539419059.143 * * * * [misc]points: Sampling 1882 additional inputs, on iter 5 have 6118 / 8000 1539419059.147 * * * * [misc]points: Computing exacts on every 117 of 1882 points to ramp up precision 1539419059.184 * * * * [misc]points: Setting MPFR precision to 320 1539419059.185 * * * * [misc]points: Setting MPFR precision to 576 1539419059.186 * * * * [misc]points: Computing exacts on every 58 of 1882 points to ramp up precision 1539419059.190 * * * * [misc]points: Setting MPFR precision to 320 1539419059.192 * * * * [misc]points: Setting MPFR precision to 576 1539419059.193 * * * * [misc]points: Computing exacts on every 29 of 1882 points to ramp up precision 1539419059.201 * * * * [misc]points: Setting MPFR precision to 320 1539419059.204 * * * * [misc]points: Setting MPFR precision to 576 1539419059.207 * * * * [misc]points: Computing exacts on every 14 of 1882 points to ramp up precision 1539419059.211 * * * * [misc]points: Setting MPFR precision to 320 1539419059.216 * * * * [misc]points: Setting MPFR precision to 576 1539419059.222 * * * * [misc]points: Computing exacts on every 7 of 1882 points to ramp up precision 1539419059.226 * * * * [misc]points: Setting MPFR precision to 320 1539419059.237 * * * * [misc]points: Setting MPFR precision to 576 1539419059.248 * * * * [misc]points: Computing exacts on every 3 of 1882 points to ramp up precision 1539419059.252 * * * * [misc]points: Setting MPFR precision to 320 1539419059.272 * * * * [misc]points: Setting MPFR precision to 576 1539419059.292 * * * * [misc]points: Computing exacts for 1882 points 1539419059.296 * * * * [misc]points: Setting MPFR precision to 320 1539419059.392 * * * * [misc]points: Setting MPFR precision to 576 1539419059.452 * * * * [misc]points: Filtering points with unrepresentable outputs 1539419059.453 * * * * [misc]points: Sampling 1410 additional inputs, on iter 6 have 6590 / 8000 1539419059.457 * * * * [misc]points: Computing exacts on every 88 of 1410 points to ramp up precision 1539419059.460 * * * * [misc]points: Setting MPFR precision to 320 1539419059.460 * * * * [misc]points: Setting MPFR precision to 576 1539419059.461 * * * * [misc]points: Computing exacts on every 44 of 1410 points to ramp up precision 1539419059.463 * * * * [misc]points: Setting MPFR precision to 320 1539419059.463 * * * * [misc]points: Setting MPFR precision to 576 1539419059.464 * * * * [misc]points: Computing exacts on every 22 of 1410 points to ramp up precision 1539419059.466 * * * * [misc]points: Setting MPFR precision to 320 1539419059.468 * * * * [misc]points: Setting MPFR precision to 576 1539419059.469 * * * * [misc]points: Computing exacts on every 11 of 1410 points to ramp up precision 1539419059.496 * * * * [misc]points: Setting MPFR precision to 320 1539419059.499 * * * * [misc]points: Setting MPFR precision to 576 1539419059.502 * * * * [misc]points: Computing exacts on every 5 of 1410 points to ramp up precision 1539419059.505 * * * * [misc]points: Setting MPFR precision to 320 1539419059.512 * * * * [misc]points: Setting MPFR precision to 576 1539419059.517 * * * * [misc]points: Computing exacts on every 2 of 1410 points to ramp up precision 1539419059.520 * * * * [misc]points: Setting MPFR precision to 320 1539419059.530 * * * * [misc]points: Setting MPFR precision to 576 1539419059.541 * * * * [misc]points: Computing exacts for 1410 points 1539419059.544 * * * * [misc]points: Setting MPFR precision to 320 1539419059.581 * * * * [misc]points: Setting MPFR precision to 576 1539419059.678 * * * * [misc]points: Filtering points with unrepresentable outputs 1539419059.679 * * * * [misc]points: Sampling 1074 additional inputs, on iter 7 have 6926 / 8000 1539419059.684 * * * * [misc]points: Computing exacts on every 67 of 1074 points to ramp up precision 1539419059.688 * * * * [misc]points: Setting MPFR precision to 320 1539419059.689 * * * * [misc]points: Setting MPFR precision to 576 1539419059.690 * * * * [misc]points: Computing exacts on every 33 of 1074 points to ramp up precision 1539419059.694 * * * * [misc]points: Setting MPFR precision to 320 1539419059.696 * * * * [misc]points: Setting MPFR precision to 576 1539419059.697 * * * * [misc]points: Computing exacts on every 16 of 1074 points to ramp up precision 1539419059.700 * * * * [misc]points: Setting MPFR precision to 320 1539419059.702 * * * * [misc]points: Setting MPFR precision to 576 1539419059.704 * * * * [misc]points: Computing exacts on every 8 of 1074 points to ramp up precision 1539419059.706 * * * * [misc]points: Setting MPFR precision to 320 1539419059.708 * * * * [misc]points: Setting MPFR precision to 576 1539419059.711 * * * * [misc]points: Computing exacts on every 4 of 1074 points to ramp up precision 1539419059.713 * * * * [misc]points: Setting MPFR precision to 320 1539419059.718 * * * * [misc]points: Setting MPFR precision to 576 1539419059.723 * * * * [misc]points: Computing exacts on every 2 of 1074 points to ramp up precision 1539419059.725 * * * * [misc]points: Setting MPFR precision to 320 1539419059.736 * * * * [misc]points: Setting MPFR precision to 576 1539419059.752 * * * * [misc]points: Computing exacts for 1074 points 1539419059.757 * * * * [misc]points: Setting MPFR precision to 320 1539419059.839 * * * * [misc]points: Setting MPFR precision to 576 1539419059.871 * * * * [misc]points: Filtering points with unrepresentable outputs 1539419059.871 * * * * [misc]points: Sampling 815 additional inputs, on iter 8 have 7185 / 8000 1539419059.873 * * * * [misc]points: Computing exacts on every 50 of 815 points to ramp up precision 1539419059.875 * * * * [misc]points: Setting MPFR precision to 320 1539419059.876 * * * * [misc]points: Setting MPFR precision to 576 1539419059.876 * * * * [misc]points: Computing exacts on every 25 of 815 points to ramp up precision 1539419059.878 * * * * [misc]points: Setting MPFR precision to 320 1539419059.879 * * * * [misc]points: Setting MPFR precision to 576 1539419059.880 * * * * [misc]points: Computing exacts on every 12 of 815 points to ramp up precision 1539419059.882 * * * * [misc]points: Setting MPFR precision to 320 1539419059.883 * * * * [misc]points: Setting MPFR precision to 576 1539419059.885 * * * * [misc]points: Computing exacts on every 6 of 815 points to ramp up precision 1539419059.887 * * * * [misc]points: Setting MPFR precision to 320 1539419059.892 * * * * [misc]points: Setting MPFR precision to 576 1539419059.898 * * * * [misc]points: Computing exacts on every 3 of 815 points to ramp up precision 1539419059.902 * * * * [misc]points: Setting MPFR precision to 320 1539419059.911 * * * * [misc]points: Setting MPFR precision to 576 1539419059.955 * * * * [misc]points: Computing exacts for 815 points 1539419059.957 * * * * [misc]points: Setting MPFR precision to 320 1539419059.978 * * * * [misc]points: Setting MPFR precision to 576 1539419060.012 * * * * [misc]points: Filtering points with unrepresentable outputs 1539419060.012 * * * * [misc]points: Sampling 604 additional inputs, on iter 9 have 7396 / 8000 1539419060.015 * * * * [misc]points: Computing exacts on every 37 of 604 points to ramp up precision 1539419060.019 * * * * [misc]points: Setting MPFR precision to 320 1539419060.020 * * * * [misc]points: Setting MPFR precision to 576 1539419060.020 * * * * [misc]points: Computing exacts on every 18 of 604 points to ramp up precision 1539419060.024 * * * * [misc]points: Setting MPFR precision to 320 1539419060.026 * * * * [misc]points: Setting MPFR precision to 576 1539419060.027 * * * * [misc]points: Computing exacts on every 9 of 604 points to ramp up precision 1539419060.031 * * * * [misc]points: Setting MPFR precision to 320 1539419060.034 * * * * [misc]points: Setting MPFR precision to 576 1539419060.037 * * * * [misc]points: Computing exacts on every 4 of 604 points to ramp up precision 1539419060.041 * * * * [misc]points: Setting MPFR precision to 320 1539419060.046 * * * * [misc]points: Setting MPFR precision to 576 1539419060.052 * * * * [misc]points: Computing exacts on every 2 of 604 points to ramp up precision 1539419060.056 * * * * [misc]points: Setting MPFR precision to 320 1539419060.065 * * * * [misc]points: Setting MPFR precision to 576 1539419060.075 * * * * [misc]points: Computing exacts for 604 points 1539419060.079 * * * * [misc]points: Setting MPFR precision to 320 1539419060.123 * * * * [misc]points: Setting MPFR precision to 576 1539419060.145 * * * * [misc]points: Filtering points with unrepresentable outputs 1539419060.146 * * * * [misc]points: Sampling 462 additional inputs, on iter 10 have 7538 / 8000 1539419060.147 * * * * [misc]points: Computing exacts on every 28 of 462 points to ramp up precision 1539419060.149 * * * * [misc]points: Setting MPFR precision to 320 1539419060.149 * * * * [misc]points: Setting MPFR precision to 576 1539419060.150 * * * * [misc]points: Computing exacts on every 14 of 462 points to ramp up precision 1539419060.152 * * * * [misc]points: Setting MPFR precision to 320 1539419060.153 * * * * [misc]points: Setting MPFR precision to 576 1539419060.153 * * * * [misc]points: Computing exacts on every 7 of 462 points to ramp up precision 1539419060.155 * * * * [misc]points: Setting MPFR precision to 320 1539419060.157 * * * * [misc]points: Setting MPFR precision to 576 1539419060.158 * * * * [misc]points: Computing exacts on every 3 of 462 points to ramp up precision 1539419060.160 * * * * [misc]points: Setting MPFR precision to 320 1539419060.163 * * * * [misc]points: Setting MPFR precision to 576 1539419060.166 * * * * [misc]points: Computing exacts for 462 points 1539419060.168 * * * * [misc]points: Setting MPFR precision to 320 1539419060.184 * * * * [misc]points: Setting MPFR precision to 576 1539419060.205 * * * * [misc]points: Filtering points with unrepresentable outputs 1539419060.205 * * * * [misc]points: Sampling 344 additional inputs, on iter 11 have 7656 / 8000 1539419060.206 * * * * [misc]points: Computing exacts on every 21 of 344 points to ramp up precision 1539419060.209 * * * * [misc]points: Setting MPFR precision to 320 1539419060.209 * * * * [misc]points: Setting MPFR precision to 576 1539419060.210 * * * * [misc]points: Computing exacts on every 10 of 344 points to ramp up precision 1539419060.212 * * * * [misc]points: Setting MPFR precision to 320 1539419060.212 * * * * [misc]points: Setting MPFR precision to 576 1539419060.213 * * * * [misc]points: Computing exacts on every 5 of 344 points to ramp up precision 1539419060.238 * * * * [misc]points: Setting MPFR precision to 320 1539419060.241 * * * * [misc]points: Setting MPFR precision to 576 1539419060.244 * * * * [misc]points: Computing exacts on every 2 of 344 points to ramp up precision 1539419060.252 * * * * [misc]points: Setting MPFR precision to 320 1539419060.257 * * * * [misc]points: Setting MPFR precision to 576 1539419060.261 * * * * [misc]points: Computing exacts for 344 points 1539419060.263 * * * * [misc]points: Setting MPFR precision to 320 1539419060.270 * * * * [misc]points: Setting MPFR precision to 576 1539419060.278 * * * * [misc]points: Filtering points with unrepresentable outputs 1539419060.279 * * * * [misc]points: Sampling 265 additional inputs, on iter 12 have 7735 / 8000 1539419060.279 * * * * [misc]points: Computing exacts on every 16 of 265 points to ramp up precision 1539419060.281 * * * * [misc]points: Setting MPFR precision to 320 1539419060.282 * * * * [misc]points: Setting MPFR precision to 576 1539419060.282 * * * * [misc]points: Computing exacts on every 8 of 265 points to ramp up precision 1539419060.284 * * * * [misc]points: Setting MPFR precision to 320 1539419060.285 * * * * [misc]points: Setting MPFR precision to 576 1539419060.286 * * * * [misc]points: Computing exacts on every 4 of 265 points to ramp up precision 1539419060.288 * * * * [misc]points: Setting MPFR precision to 320 1539419060.290 * * * * [misc]points: Setting MPFR precision to 576 1539419060.293 * * * * [misc]points: Computing exacts on every 2 of 265 points to ramp up precision 1539419060.297 * * * * [misc]points: Setting MPFR precision to 320 1539419060.300 * * * * [misc]points: Setting MPFR precision to 576 1539419060.304 * * * * [misc]points: Computing exacts for 265 points 1539419060.309 * * * * [misc]points: Setting MPFR precision to 320 1539419060.320 * * * * [misc]points: Setting MPFR precision to 576 1539419060.332 * * * * [misc]points: Filtering points with unrepresentable outputs 1539419060.333 * * * * [misc]points: Sampling 198 additional inputs, on iter 13 have 7802 / 8000 1539419060.334 * * * * [misc]points: Computing exacts on every 12 of 198 points to ramp up precision 1539419060.338 * * * * [misc]points: Setting MPFR precision to 320 1539419060.339 * * * * [misc]points: Setting MPFR precision to 576 1539419060.339 * * * * [misc]points: Computing exacts on every 6 of 198 points to ramp up precision 1539419060.344 * * * * [misc]points: Setting MPFR precision to 320 1539419060.345 * * * * [misc]points: Setting MPFR precision to 576 1539419060.346 * * * * [misc]points: Computing exacts on every 3 of 198 points to ramp up precision 1539419060.350 * * * * [misc]points: Setting MPFR precision to 320 1539419060.352 * * * * [misc]points: Setting MPFR precision to 576 1539419060.754 * * * * [misc]points: Computing exacts for 198 points 1539419060.758 * * * * [misc]points: Setting MPFR precision to 320 1539419060.770 * * * * [misc]points: Setting MPFR precision to 576 1539419060.775 * * * * [misc]points: Filtering points with unrepresentable outputs 1539419060.776 * * * * [misc]points: Sampling 149 additional inputs, on iter 14 have 7851 / 8000 1539419060.776 * * * * [misc]points: Computing exacts on every 9 of 149 points to ramp up precision 1539419060.778 * * * * [misc]points: Setting MPFR precision to 320 1539419060.779 * * * * [misc]points: Setting MPFR precision to 576 1539419060.779 * * * * [misc]points: Computing exacts on every 4 of 149 points to ramp up precision 1539419060.781 * * * * [misc]points: Setting MPFR precision to 320 1539419060.782 * * * * [misc]points: Setting MPFR precision to 576 1539419060.783 * * * * [misc]points: Computing exacts on every 2 of 149 points to ramp up precision 1539419060.785 * * * * [misc]points: Setting MPFR precision to 320 1539419060.786 * * * * [misc]points: Setting MPFR precision to 576 1539419060.787 * * * * [misc]points: Computing exacts for 149 points 1539419060.789 * * * * [misc]points: Setting MPFR precision to 320 1539419060.793 * * * * [misc]points: Setting MPFR precision to 576 1539419060.796 * * * * [misc]points: Filtering points with unrepresentable outputs 1539419060.796 * * * * [misc]points: Sampling 114 additional inputs, on iter 15 have 7886 / 8000 1539419060.797 * * * * [misc]points: Computing exacts on every 7 of 114 points to ramp up precision 1539419060.799 * * * * [misc]points: Setting MPFR precision to 320 1539419060.799 * * * * [misc]points: Setting MPFR precision to 576 1539419060.799 * * * * [misc]points: Computing exacts on every 3 of 114 points to ramp up precision 1539419060.801 * * * * [misc]points: Setting MPFR precision to 320 1539419060.802 * * * * [misc]points: Setting MPFR precision to 576 1539419060.803 * * * * [misc]points: Computing exacts for 114 points 1539419060.807 * * * * [misc]points: Setting MPFR precision to 320 1539419060.812 * * * * [misc]points: Setting MPFR precision to 576 1539419060.817 * * * * [misc]points: Filtering points with unrepresentable outputs 1539419060.817 * * * * [misc]points: Sampling 88 additional inputs, on iter 16 have 7912 / 8000 1539419060.817 * * * * [misc]points: Computing exacts on every 5 of 88 points to ramp up precision 1539419060.821 * * * * [misc]points: Setting MPFR precision to 320 1539419060.822 * * * * [misc]points: Setting MPFR precision to 576 1539419060.822 * * * * [misc]points: Computing exacts on every 2 of 88 points to ramp up precision 1539419060.826 * * * * [misc]points: Setting MPFR precision to 320 1539419060.827 * * * * [misc]points: Setting MPFR precision to 576 1539419060.828 * * * * [misc]points: Computing exacts for 88 points 1539419060.832 * * * * [misc]points: Setting MPFR precision to 320 1539419060.836 * * * * [misc]points: Setting MPFR precision to 576 1539419060.839 * * * * [misc]points: Filtering points with unrepresentable outputs 1539419060.839 * * * * [misc]points: Sampling 68 additional inputs, on iter 17 have 7932 / 8000 1539419060.840 * * * * [misc]points: Computing exacts on every 4 of 68 points to ramp up precision 1539419060.844 * * * * [misc]points: Setting MPFR precision to 320 1539419060.844 * * * * [misc]points: Setting MPFR precision to 576 1539419060.845 * * * * [misc]points: Computing exacts on every 2 of 68 points to ramp up precision 1539419060.848 * * * * [misc]points: Setting MPFR precision to 320 1539419060.849 * * * * [misc]points: Setting MPFR precision to 576 1539419060.850 * * * * [misc]points: Computing exacts for 68 points 1539419060.878 * * * * [misc]points: Setting MPFR precision to 320 1539419060.881 * * * * [misc]points: Setting MPFR precision to 576 1539419060.884 * * * * [misc]points: Filtering points with unrepresentable outputs 1539419060.884 * * * * [misc]points: Sampling 52 additional inputs, on iter 18 have 7948 / 8000 1539419060.884 * * * * [misc]points: Computing exacts on every 3 of 52 points to ramp up precision 1539419060.888 * * * * [misc]points: Setting MPFR precision to 320 1539419060.888 * * * * [misc]points: Setting MPFR precision to 576 1539419060.889 * * * * [misc]points: Computing exacts for 52 points 1539419060.895 * * * * [misc]points: Setting MPFR precision to 320 1539419060.897 * * * * [misc]points: Setting MPFR precision to 576 1539419060.899 * * * * [misc]points: Filtering points with unrepresentable outputs 1539419060.899 * * * * [misc]points: Sampling 39 additional inputs, on iter 19 have 7961 / 8000 1539419060.899 * * * * [misc]points: Computing exacts on every 2 of 39 points to ramp up precision 1539419060.903 * * * * [misc]points: Setting MPFR precision to 320 1539419060.903 * * * * [misc]points: Setting MPFR precision to 576 1539419060.904 * * * * [misc]points: Computing exacts for 39 points 1539419060.907 * * * * [misc]points: Setting MPFR precision to 320 1539419060.909 * * * * [misc]points: Setting MPFR precision to 576 1539419060.910 * * * * [misc]points: Filtering points with unrepresentable outputs 1539419060.911 * * * * [misc]points: Sampling 25 additional inputs, on iter 20 have 7975 / 8000 1539419060.911 * * * * [misc]points: Computing exacts for 25 points 1539419060.914 * * * * [misc]points: Setting MPFR precision to 320 1539419060.916 * * * * [misc]points: Setting MPFR precision to 576 1539419060.917 * * * * [misc]points: Filtering points with unrepresentable outputs 1539419060.917 * * * * [misc]points: Sampling 16 additional inputs, on iter 21 have 7984 / 8000 1539419060.917 * * * * [misc]points: Computing exacts for 16 points 1539419060.921 * * * * [misc]points: Setting MPFR precision to 320 1539419060.922 * * * * [misc]points: Setting MPFR precision to 576 1539419060.922 * * * * [misc]points: Filtering points with unrepresentable outputs 1539419060.922 * * * * [misc]points: Sampling 12 additional inputs, on iter 22 have 7988 / 8000 1539419060.922 * * * * [misc]points: Computing exacts for 12 points 1539419060.926 * * * * [misc]points: Setting MPFR precision to 320 1539419060.927 * * * * [misc]points: Setting MPFR precision to 576 1539419060.928 * * * * [misc]points: Filtering points with unrepresentable outputs 1539419060.928 * * * * [misc]points: Sampling 8 additional inputs, on iter 23 have 7992 / 8000 1539419060.928 * * * * [misc]points: Computing exacts for 8 points 1539419060.932 * * * * [misc]points: Setting MPFR precision to 320 1539419060.932 * * * * [misc]points: Setting MPFR precision to 576 1539419060.933 * * * * [misc]points: Filtering points with unrepresentable outputs 1539419060.933 * * * * [misc]points: Sampling 7 additional inputs, on iter 24 have 7993 / 8000 1539419060.933 * * * * [misc]points: Computing exacts for 7 points 1539419060.937 * * * * [misc]points: Setting MPFR precision to 320 1539419060.938 * * * * [misc]points: Setting MPFR precision to 576 1539419060.939 * * * * [misc]points: Filtering points with unrepresentable outputs 1539419060.939 * * * * [misc]points: Sampling 5 additional inputs, on iter 25 have 7995 / 8000 1539419060.939 * * * * [misc]points: Computing exacts for 5 points 1539419060.943 * * * * [misc]points: Setting MPFR precision to 320 1539419060.943 * * * * [misc]points: Setting MPFR precision to 576 1539419060.943 * * * * [misc]points: Filtering points with unrepresentable outputs 1539419060.944 * * * * [misc]points: Sampling 4 additional inputs, on iter 26 have 7996 / 8000 1539419060.944 * * * * [misc]points: Computing exacts for 4 points 1539419060.948 * * * * [misc]points: Setting MPFR precision to 320 1539419060.948 * * * * [misc]points: Setting MPFR precision to 576 1539419060.948 * * * * [misc]points: Filtering points with unrepresentable outputs 1539419060.948 * * * * [misc]points: Sampling 4 additional inputs, on iter 27 have 7997 / 8000 1539419060.948 * * * * [misc]points: Computing exacts for 4 points 1539419060.952 * * * * [misc]points: Setting MPFR precision to 320 1539419060.953 * * * * [misc]points: Setting MPFR precision to 576 1539419060.953 * * * * [misc]points: Filtering points with unrepresentable outputs 1539419060.953 * * * * [misc]points: Sampling 4 additional inputs, on iter 28 have 7998 / 8000 1539419060.953 * * * * [misc]points: Computing exacts for 4 points 1539419060.957 * * * * [misc]points: Setting MPFR precision to 320 1539419060.957 * * * * [misc]points: Setting MPFR precision to 576 1539419060.958 * * * * [misc]points: Filtering points with unrepresentable outputs 1539419060.958 * * * * [misc]points: Sampling 4 additional inputs, on iter 29 have 7999 / 8000 1539419060.958 * * * * [misc]points: Computing exacts for 4 points 1539419060.961 * * * * [misc]points: Setting MPFR precision to 320 1539419060.962 * * * * [misc]points: Setting MPFR precision to 576 1539419060.962 * * * * [misc]points: Filtering points with unrepresentable outputs 1539419060.962 * * * * [exit]points: Sampled 8001 points with exact outputs 1539419061.214 * [misc]regime-testing: Baseline error score: 0.03401459638005461 1539419061.214 * [misc]regime-testing: End program error score: 0.03401459638005461 1539419061.216 * [misc]regime-testing: Oracle error score: 0.03401459638005461