1540972471.998 * [misc]progress: [Phase 1 of 3] Setting up. 1540972471.998 * * * [misc]progress: [1/2] Preparing points 1540972471.999 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1540972472.001 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1540972472.061 * * * * [misc]points: Setting MPFR precision to 64 1540972472.065 * * * * [misc]points: Setting MPFR precision to 320 1540972472.067 * * * * [misc]points: Setting MPFR precision to 576 1540972472.069 * * * * [misc]points: Setting MPFR precision to 832 1540972472.072 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1540972472.075 * * * * [misc]points: Setting MPFR precision to 576 1540972472.079 * * * * [misc]points: Setting MPFR precision to 832 1540972472.083 * * * * [misc]points: Setting MPFR precision to 1088 1540972472.090 * * * * [misc]points: Setting MPFR precision to 1344 1540972472.099 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1540972472.101 * * * * [misc]points: Setting MPFR precision to 1088 1540972472.113 * * * * [misc]points: Setting MPFR precision to 1344 1540972472.131 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1540972472.133 * * * * [misc]points: Setting MPFR precision to 1088 1540972472.153 * * * * [misc]points: Setting MPFR precision to 1344 1540972472.179 * * * * [misc]points: Computing exacts for 256 points 1540972472.182 * * * * [misc]points: Setting MPFR precision to 1088 1540972472.579 * * * * [misc]points: Setting MPFR precision to 1344 1540972472.726 * * * * [misc]points: Filtering points with unrepresentable outputs 1540972472.727 * * * * [misc]points: Sampling 134 additional inputs, on iter 1 have 122 / 256 1540972472.729 * * * * [misc]points: Computing exacts on every 8 of 134 points to ramp up precision 1540972472.732 * * * * [misc]points: Setting MPFR precision to 1088 1540972472.741 * * * * [misc]points: Setting MPFR precision to 1344 1540972472.751 * * * * [misc]points: Computing exacts on every 4 of 134 points to ramp up precision 1540972472.754 * * * * [misc]points: Setting MPFR precision to 1088 1540972472.768 * * * * [misc]points: Setting MPFR precision to 1344 1540972472.785 * * * * [misc]points: Computing exacts on every 2 of 134 points to ramp up precision 1540972472.789 * * * * [misc]points: Setting MPFR precision to 1088 1540972472.809 * * * * [misc]points: Setting MPFR precision to 1344 1540972472.836 * * * * [misc]points: Computing exacts for 134 points 1540972472.840 * * * * [misc]points: Setting MPFR precision to 1088 1540972472.896 * * * * [misc]points: Setting MPFR precision to 1344 1540972473.354 * * * * [misc]points: Filtering points with unrepresentable outputs 1540972473.354 * * * * [misc]points: Sampling 66 additional inputs, on iter 2 have 190 / 256 1540972473.354 * * * * [misc]points: Computing exacts on every 4 of 66 points to ramp up precision 1540972473.356 * * * * [misc]points: Setting MPFR precision to 1088 1540972473.362 * * * * [misc]points: Setting MPFR precision to 1344 1540972473.369 * * * * [misc]points: Computing exacts on every 2 of 66 points to ramp up precision 1540972473.372 * * * * [misc]points: Setting MPFR precision to 1088 1540972473.383 * * * * [misc]points: Setting MPFR precision to 1344 1540972473.396 * * * * [misc]points: Computing exacts for 66 points 1540972473.399 * * * * [misc]points: Setting MPFR precision to 1088 1540972473.429 * * * * [misc]points: Setting MPFR precision to 1344 1540972473.465 * * * * [misc]points: Filtering points with unrepresentable outputs 1540972473.465 * * * * [misc]points: Sampling 30 additional inputs, on iter 3 have 226 / 256 1540972473.466 * * * * [misc]points: Computing exacts for 30 points 1540972473.469 * * * * [misc]points: Setting MPFR precision to 1088 1540972473.482 * * * * [misc]points: Setting MPFR precision to 1344 1540972473.498 * * * * [misc]points: Filtering points with unrepresentable outputs 1540972473.498 * * * * [misc]points: Sampling 18 additional inputs, on iter 4 have 238 / 256 1540972473.498 * * * * [misc]points: Computing exacts for 18 points 1540972473.501 * * * * [misc]points: Setting MPFR precision to 1088 1540972473.509 * * * * [misc]points: Setting MPFR precision to 1344 1540972473.522 * * * * [misc]points: Filtering points with unrepresentable outputs 1540972473.522 * * * * [misc]points: Sampling 7 additional inputs, on iter 5 have 249 / 256 1540972473.522 * * * * [misc]points: Computing exacts for 7 points 1540972473.525 * * * * [misc]points: Setting MPFR precision to 1088 1540972473.529 * * * * [misc]points: Setting MPFR precision to 1344 1540972473.533 * * * * [misc]points: Filtering points with unrepresentable outputs 1540972473.534 * * * * [misc]points: Sampling 4 additional inputs, on iter 6 have 255 / 256 1540972473.534 * * * * [misc]points: Computing exacts for 4 points 1540972473.537 * * * * [misc]points: Setting MPFR precision to 1088 1540972473.539 * * * * [misc]points: Setting MPFR precision to 1344 1540972473.541 * * * * [misc]points: Filtering points with unrepresentable outputs 1540972473.541 * * * * [exit]points: Sampled 258 points with exact outputs 1540972473.541 * * * [misc]progress: [2/2] Setting up program. 1540972473.550 * [misc]progress: [Phase 2 of 3] Improving. 1540972473.551 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1540972473.553 * * [misc]simplify: iters left: 6 (12 enodes) 1540972473.559 * * [misc]simplify: iters left: 5 (16 enodes) 1540972473.563 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1540972473.601 * * [misc]progress: iteration 1 / 4 1540972473.601 * * * [misc]progress: picking best candidate 1540972473.612 * * * * [misc]pick: Picked # 1540972473.612 * * * [misc]progress: localizing error 1540972473.746 * * * [misc]progress: generating rewritten candidates 1540972473.746 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 1) 1540972473.789 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1 1) 1540972473.790 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 2) 1540972473.791 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1) 1540972473.824 * * * [misc]progress: generating series expansions 1540972473.824 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 1) 1540972473.825 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1 1) 1540972473.825 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 2) 1540972473.825 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1) 1540972473.825 * * * [misc]progress: simplifying candidates 1540972473.825 * * * * [misc]progress: [ 1 / 6 ] simplifiying candidate # 1540972473.826 * * * * [misc]progress: [ 2 / 6 ] simplifiying candidate # 1540972473.826 * * * * [misc]progress: [ 3 / 6 ] simplifiying candidate # 1540972473.826 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1540972473.828 * * [misc]simplify: iters left: 6 (14 enodes) 1540972473.833 * * [misc]simplify: iters left: 5 (16 enodes) 1540972473.840 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1540972473.840 * [misc]simplify: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1540972473.840 * * * * [misc]progress: [ 4 / 6 ] simplifiying candidate # 1540972473.841 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1540972473.842 * * [misc]simplify: iters left: 6 (14 enodes) 1540972473.848 * * [misc]simplify: iters left: 5 (16 enodes) 1540972473.855 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1540972473.855 * [misc]simplify: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1540972473.855 * * * * [misc]progress: [ 5 / 6 ] simplifiying candidate # 1540972473.855 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1540972473.857 * * [misc]simplify: iters left: 6 (14 enodes) 1540972473.862 * * [misc]simplify: iters left: 5 (16 enodes) 1540972473.870 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1540972473.871 * [misc]simplify: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1540972473.871 * * * * [misc]progress: [ 6 / 6 ] simplifiying candidate # 1540972473.871 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1540972473.873 * * [misc]simplify: iters left: 6 (14 enodes) 1540972473.878 * * [misc]simplify: iters left: 5 (16 enodes) 1540972473.885 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1540972473.885 * [misc]simplify: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1540972473.885 * * * [misc]progress: adding candidates to table 1540972474.007 * [misc]progress: [Phase 3 of 3] Extracting. 1540972474.020 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1540972474.021 * * [misc]simplify: iters left: 6 (14 enodes) 1540972474.025 * * [misc]simplify: iters left: 5 (15 enodes) 1540972474.028 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1540972474.029 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1540972474.065 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1540972474.067 * * * * [misc]points: Setting MPFR precision to 1088 1540972474.071 * * * * [misc]points: Setting MPFR precision to 1344 1540972474.076 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1540972474.078 * * * * [misc]points: Setting MPFR precision to 1088 1540972474.086 * * * * [misc]points: Setting MPFR precision to 1344 1540972474.094 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1540972474.096 * * * * [misc]points: Setting MPFR precision to 1088 1540972474.116 * * * * [misc]points: Setting MPFR precision to 1344 1540972474.143 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1540972474.145 * * * * [misc]points: Setting MPFR precision to 1088 1540972474.174 * * * * [misc]points: Setting MPFR precision to 1344 1540972474.218 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1540972474.220 * * * * [misc]points: Setting MPFR precision to 1088 1540972474.279 * * * * [misc]points: Setting MPFR precision to 1344 1540972474.378 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1540972474.381 * * * * [misc]points: Setting MPFR precision to 1088 1540972474.641 * * * * [misc]points: Setting MPFR precision to 1344 1540972474.892 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1540972474.895 * * * * [misc]points: Setting MPFR precision to 1088 1540972475.364 * * * * [misc]points: Setting MPFR precision to 1344 1540972475.855 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1540972475.858 * * * * [misc]points: Setting MPFR precision to 1088 1540972476.611 * * * * [misc]points: Setting MPFR precision to 1344 1540972477.818 * * * * [misc]points: Computing exacts for 8000 points 1540972477.821 * * * * [misc]points: Setting MPFR precision to 1088 1540972481.549 * * * * [misc]points: Setting MPFR precision to 1344 1540972485.683 * * * * [misc]points: Filtering points with unrepresentable outputs 1540972485.685 * * * * [misc]points: Sampling 3994 additional inputs, on iter 1 have 4006 / 8000 1540972485.705 * * * * [misc]points: Computing exacts on every 249 of 3994 points to ramp up precision 1540972485.706 * * * * [misc]points: Setting MPFR precision to 1088 1540972485.711 * * * * [misc]points: Setting MPFR precision to 1344 1540972485.716 * * * * [misc]points: Computing exacts on every 124 of 3994 points to ramp up precision 1540972485.718 * * * * [misc]points: Setting MPFR precision to 1088 1540972485.726 * * * * [misc]points: Setting MPFR precision to 1344 1540972485.735 * * * * [misc]points: Computing exacts on every 62 of 3994 points to ramp up precision 1540972485.736 * * * * [misc]points: Setting MPFR precision to 1088 1540972485.752 * * * * [misc]points: Setting MPFR precision to 1344 1540972485.771 * * * * [misc]points: Computing exacts on every 31 of 3994 points to ramp up precision 1540972485.773 * * * * [misc]points: Setting MPFR precision to 1088 1540972485.834 * * * * [misc]points: Setting MPFR precision to 1344 1540972485.871 * * * * [misc]points: Computing exacts on every 15 of 3994 points to ramp up precision 1540972485.873 * * * * [misc]points: Setting MPFR precision to 1088 1540972485.958 * * * * [misc]points: Setting MPFR precision to 1344 1540972486.070 * * * * [misc]points: Computing exacts on every 7 of 3994 points to ramp up precision 1540972486.073 * * * * [misc]points: Setting MPFR precision to 1088 1540972486.304 * * * * [misc]points: Setting MPFR precision to 1344 1540972486.538 * * * * [misc]points: Computing exacts on every 3 of 3994 points to ramp up precision 1540972486.542 * * * * [misc]points: Setting MPFR precision to 1088 1540972487.051 * * * * [misc]points: Setting MPFR precision to 1344 1540972487.646 * * * * [misc]points: Computing exacts for 3994 points 1540972487.650 * * * * [misc]points: Setting MPFR precision to 1088 1540972489.635 * * * * [misc]points: Setting MPFR precision to 1344 1540972491.626 * * * * [misc]points: Filtering points with unrepresentable outputs 1540972491.627 * * * * [misc]points: Sampling 2005 additional inputs, on iter 2 have 5995 / 8000 1540972491.635 * * * * [misc]points: Computing exacts on every 125 of 2005 points to ramp up precision 1540972491.637 * * * * [misc]points: Setting MPFR precision to 1088 1540972491.641 * * * * [misc]points: Setting MPFR precision to 1344 1540972491.645 * * * * [misc]points: Computing exacts on every 62 of 2005 points to ramp up precision 1540972491.647 * * * * [misc]points: Setting MPFR precision to 1088 1540972491.688 * * * * [misc]points: Setting MPFR precision to 1344 1540972491.707 * * * * [misc]points: Computing exacts on every 31 of 2005 points to ramp up precision 1540972491.710 * * * * [misc]points: Setting MPFR precision to 1088 1540972491.736 * * * * [misc]points: Setting MPFR precision to 1344 1540972491.768 * * * * [misc]points: Computing exacts on every 15 of 2005 points to ramp up precision 1540972491.772 * * * * [misc]points: Setting MPFR precision to 1088 1540972491.826 * * * * [misc]points: Setting MPFR precision to 1344 1540972491.891 * * * * [misc]points: Computing exacts on every 7 of 2005 points to ramp up precision 1540972491.894 * * * * [misc]points: Setting MPFR precision to 1088 1540972492.000 * * * * [misc]points: Setting MPFR precision to 1344 1540972492.185 * * * * [misc]points: Computing exacts on every 3 of 2005 points to ramp up precision 1540972492.189 * * * * [misc]points: Setting MPFR precision to 1088 1540972492.347 * * * * [misc]points: Setting MPFR precision to 1344 1540972492.979 * * * * [misc]points: Computing exacts for 2005 points 1540972492.981 * * * * [misc]points: Setting MPFR precision to 1088 1540972493.835 * * * * [misc]points: Setting MPFR precision to 1344 1540972494.790 * * * * [misc]points: Filtering points with unrepresentable outputs 1540972494.791 * * * * [misc]points: Sampling 1004 additional inputs, on iter 3 have 6996 / 8000 1540972494.800 * * * * [misc]points: Computing exacts on every 62 of 1004 points to ramp up precision 1540972494.803 * * * * [misc]points: Setting MPFR precision to 1088 1540972494.834 * * * * [misc]points: Setting MPFR precision to 1344 1540972494.839 * * * * [misc]points: Computing exacts on every 31 of 1004 points to ramp up precision 1540972494.840 * * * * [misc]points: Setting MPFR precision to 1088 1540972494.849 * * * * [misc]points: Setting MPFR precision to 1344 1540972494.863 * * * * [misc]points: Computing exacts on every 15 of 1004 points to ramp up precision 1540972494.866 * * * * [misc]points: Setting MPFR precision to 1088 1540972494.893 * * * * [misc]points: Setting MPFR precision to 1344 1540972494.919 * * * * [misc]points: Computing exacts on every 7 of 1004 points to ramp up precision 1540972494.921 * * * * [misc]points: Setting MPFR precision to 1088 1540972494.950 * * * * [misc]points: Setting MPFR precision to 1344 1540972494.988 * * * * [misc]points: Computing exacts on every 3 of 1004 points to ramp up precision 1540972494.991 * * * * [misc]points: Setting MPFR precision to 1088 1540972495.078 * * * * [misc]points: Setting MPFR precision to 1344 1540972495.214 * * * * [misc]points: Computing exacts for 1004 points 1540972495.216 * * * * [misc]points: Setting MPFR precision to 1088 1540972495.649 * * * * [misc]points: Setting MPFR precision to 1344 1540972496.027 * * * * [misc]points: Filtering points with unrepresentable outputs 1540972496.028 * * * * [misc]points: Sampling 507 additional inputs, on iter 4 have 7493 / 8000 1540972496.030 * * * * [misc]points: Computing exacts on every 31 of 507 points to ramp up precision 1540972496.032 * * * * [misc]points: Setting MPFR precision to 1088 1540972496.036 * * * * [misc]points: Setting MPFR precision to 1344 1540972496.040 * * * * [misc]points: Computing exacts on every 15 of 507 points to ramp up precision 1540972496.042 * * * * [misc]points: Setting MPFR precision to 1088 1540972496.050 * * * * [misc]points: Setting MPFR precision to 1344 1540972496.065 * * * * [misc]points: Computing exacts on every 7 of 507 points to ramp up precision 1540972496.067 * * * * [misc]points: Setting MPFR precision to 1088 1540972496.095 * * * * [misc]points: Setting MPFR precision to 1344 1540972496.129 * * * * [misc]points: Computing exacts on every 3 of 507 points to ramp up precision 1540972496.132 * * * * [misc]points: Setting MPFR precision to 1088 1540972496.182 * * * * [misc]points: Setting MPFR precision to 1344 1540972496.249 * * * * [misc]points: Computing exacts for 507 points 1540972496.251 * * * * [misc]points: Setting MPFR precision to 1088 1540972496.440 * * * * [misc]points: Setting MPFR precision to 1344 1540972497.051 * * * * [misc]points: Filtering points with unrepresentable outputs 1540972497.051 * * * * [misc]points: Sampling 252 additional inputs, on iter 5 have 7748 / 8000 1540972497.054 * * * * [misc]points: Computing exacts on every 15 of 252 points to ramp up precision 1540972497.058 * * * * [misc]points: Setting MPFR precision to 1088 1540972497.063 * * * * [misc]points: Setting MPFR precision to 1344 1540972497.071 * * * * [misc]points: Computing exacts on every 7 of 252 points to ramp up precision 1540972497.073 * * * * [misc]points: Setting MPFR precision to 1088 1540972497.080 * * * * [misc]points: Setting MPFR precision to 1344 1540972497.088 * * * * [misc]points: Computing exacts on every 3 of 252 points to ramp up precision 1540972497.090 * * * * [misc]points: Setting MPFR precision to 1088 1540972497.105 * * * * [misc]points: Setting MPFR precision to 1344 1540972497.123 * * * * [misc]points: Computing exacts for 252 points 1540972497.125 * * * * [misc]points: Setting MPFR precision to 1088 1540972497.186 * * * * [misc]points: Setting MPFR precision to 1344 1540972497.364 * * * * [misc]points: Filtering points with unrepresentable outputs 1540972497.364 * * * * [misc]points: Sampling 137 additional inputs, on iter 6 have 7863 / 8000 1540972497.365 * * * * [misc]points: Computing exacts on every 8 of 137 points to ramp up precision 1540972497.366 * * * * [misc]points: Setting MPFR precision to 1088 1540972497.370 * * * * [misc]points: Setting MPFR precision to 1344 1540972497.374 * * * * [misc]points: Computing exacts on every 4 of 137 points to ramp up precision 1540972497.376 * * * * [misc]points: Setting MPFR precision to 1088 1540972497.382 * * * * [misc]points: Setting MPFR precision to 1344 1540972497.397 * * * * [misc]points: Computing exacts on every 2 of 137 points to ramp up precision 1540972497.400 * * * * [misc]points: Setting MPFR precision to 1088 1540972497.411 * * * * [misc]points: Setting MPFR precision to 1344 1540972497.424 * * * * [misc]points: Computing exacts for 137 points 1540972497.426 * * * * [misc]points: Setting MPFR precision to 1088 1540972497.471 * * * * [misc]points: Setting MPFR precision to 1344 1540972497.538 * * * * [misc]points: Filtering points with unrepresentable outputs 1540972497.538 * * * * [misc]points: Sampling 66 additional inputs, on iter 7 have 7934 / 8000 1540972497.539 * * * * [misc]points: Computing exacts on every 4 of 66 points to ramp up precision 1540972497.541 * * * * [misc]points: Setting MPFR precision to 1088 1540972497.544 * * * * [misc]points: Setting MPFR precision to 1344 1540972497.548 * * * * [misc]points: Computing exacts on every 2 of 66 points to ramp up precision 1540972497.550 * * * * [misc]points: Setting MPFR precision to 1088 1540972497.555 * * * * [misc]points: Setting MPFR precision to 1344 1540972497.563 * * * * [misc]points: Computing exacts for 66 points 1540972497.566 * * * * [misc]points: Setting MPFR precision to 1088 1540972497.615 * * * * [misc]points: Setting MPFR precision to 1344 1540972497.653 * * * * [misc]points: Filtering points with unrepresentable outputs 1540972497.653 * * * * [misc]points: Sampling 35 additional inputs, on iter 8 have 7965 / 8000 1540972497.653 * * * * [misc]points: Computing exacts on every 2 of 35 points to ramp up precision 1540972497.657 * * * * [misc]points: Setting MPFR precision to 1088 1540972497.662 * * * * [misc]points: Setting MPFR precision to 1344 1540972497.670 * * * * [misc]points: Computing exacts for 35 points 1540972497.673 * * * * [misc]points: Setting MPFR precision to 1088 1540972497.687 * * * * [misc]points: Setting MPFR precision to 1344 1540972497.705 * * * * [misc]points: Filtering points with unrepresentable outputs 1540972497.705 * * * * [misc]points: Sampling 17 additional inputs, on iter 9 have 7983 / 8000 1540972497.705 * * * * [misc]points: Computing exacts for 17 points 1540972497.708 * * * * [misc]points: Setting MPFR precision to 1088 1540972497.716 * * * * [misc]points: Setting MPFR precision to 1344 1540972497.723 * * * * [misc]points: Filtering points with unrepresentable outputs 1540972497.723 * * * * [misc]points: Sampling 7 additional inputs, on iter 10 have 7993 / 8000 1540972497.724 * * * * [misc]points: Computing exacts for 7 points 1540972497.727 * * * * [misc]points: Setting MPFR precision to 1088 1540972497.730 * * * * [misc]points: Setting MPFR precision to 1344 1540972497.733 * * * * [misc]points: Filtering points with unrepresentable outputs 1540972497.734 * * * * [misc]points: Sampling 4 additional inputs, on iter 11 have 7998 / 8000 1540972497.734 * * * * [misc]points: Computing exacts for 4 points 1540972497.737 * * * * [misc]points: Setting MPFR precision to 1088 1540972497.739 * * * * [misc]points: Setting MPFR precision to 1344 1540972497.741 * * * * [misc]points: Filtering points with unrepresentable outputs 1540972497.741 * * * * [exit]points: Sampled 8001 points with exact outputs