1536946107.167 * [misc]progress: [Phase 1 of 3] Setting up. 1536946107.168 * * * [misc]progress: [1/2] Preparing points 1536946107.169 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1536946107.171 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1536946107.209 * * * * [misc]points: Setting MPFR precision to 64 1536946107.252 * * * * [misc]points: Setting MPFR precision to 320 1536946107.255 * * * * [misc]points: Setting MPFR precision to 576 1536946107.259 * * * * [misc]points: Setting MPFR precision to 832 1536946107.264 * * * * [misc]points: Setting MPFR precision to 1088 1536946107.270 * * * * [misc]points: Setting MPFR precision to 1344 1536946107.277 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1536946107.280 * * * * [misc]points: Setting MPFR precision to 1088 1536946107.291 * * * * [misc]points: Setting MPFR precision to 1344 1536946107.306 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1536946107.309 * * * * [misc]points: Setting MPFR precision to 1088 1536946107.326 * * * * [misc]points: Setting MPFR precision to 1344 1536946107.342 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1536946107.344 * * * * [misc]points: Setting MPFR precision to 1088 1536946107.367 * * * * [misc]points: Setting MPFR precision to 1344 1536946107.395 * * * * [misc]points: Computing exacts for 256 points 1536946107.397 * * * * [misc]points: Setting MPFR precision to 1088 1536946107.472 * * * * [misc]points: Setting MPFR precision to 1344 1536946107.622 * * * * [misc]points: Filtering points with unrepresentable outputs 1536946107.622 * * * * [misc]points: Sampling 127 additional inputs, on iter 1 have 129 / 256 1536946107.623 * * * * [misc]points: Computing exacts on every 7 of 127 points to ramp up precision 1536946107.625 * * * * [misc]points: Setting MPFR precision to 1088 1536946107.628 * * * * [misc]points: Setting MPFR precision to 1344 1536946107.632 * * * * [misc]points: Computing exacts on every 3 of 127 points to ramp up precision 1536946107.634 * * * * [misc]points: Setting MPFR precision to 1088 1536946107.641 * * * * [misc]points: Setting MPFR precision to 1344 1536946107.653 * * * * [misc]points: Computing exacts for 127 points 1536946107.656 * * * * [misc]points: Setting MPFR precision to 1088 1536946107.693 * * * * [misc]points: Setting MPFR precision to 1344 1536946107.733 * * * * [misc]points: Filtering points with unrepresentable outputs 1536946107.733 * * * * [misc]points: Sampling 63 additional inputs, on iter 2 have 193 / 256 1536946107.733 * * * * [misc]points: Computing exacts on every 3 of 63 points to ramp up precision 1536946107.735 * * * * [misc]points: Setting MPFR precision to 1088 1536946107.739 * * * * [misc]points: Setting MPFR precision to 1344 1536946107.743 * * * * [misc]points: Computing exacts for 63 points 1536946107.746 * * * * [misc]points: Setting MPFR precision to 1088 1536946107.773 * * * * [misc]points: Setting MPFR precision to 1344 1536946107.792 * * * * [misc]points: Filtering points with unrepresentable outputs 1536946107.792 * * * * [misc]points: Sampling 28 additional inputs, on iter 3 have 228 / 256 1536946107.792 * * * * [misc]points: Computing exacts for 28 points 1536946107.794 * * * * [misc]points: Setting MPFR precision to 1088 1536946107.803 * * * * [misc]points: Setting MPFR precision to 1344 1536946107.812 * * * * [misc]points: Filtering points with unrepresentable outputs 1536946107.812 * * * * [misc]points: Sampling 11 additional inputs, on iter 4 have 245 / 256 1536946107.812 * * * * [misc]points: Computing exacts for 11 points 1536946107.815 * * * * [misc]points: Setting MPFR precision to 1088 1536946107.819 * * * * [misc]points: Setting MPFR precision to 1344 1536946107.824 * * * * [misc]points: Filtering points with unrepresentable outputs 1536946107.824 * * * * [misc]points: Sampling 7 additional inputs, on iter 5 have 249 / 256 1536946107.824 * * * * [misc]points: Computing exacts for 7 points 1536946107.827 * * * * [misc]points: Setting MPFR precision to 1088 1536946107.831 * * * * [misc]points: Setting MPFR precision to 1344 1536946107.834 * * * * [misc]points: Filtering points with unrepresentable outputs 1536946107.834 * * * * [misc]points: Sampling 4 additional inputs, on iter 6 have 252 / 256 1536946107.835 * * * * [misc]points: Computing exacts for 4 points 1536946107.838 * * * * [misc]points: Setting MPFR precision to 1088 1536946108.254 * * * * [misc]points: Setting MPFR precision to 1344 1536946108.256 * * * * [misc]points: Filtering points with unrepresentable outputs 1536946108.256 * * * * [misc]points: Sampling 4 additional inputs, on iter 7 have 253 / 256 1536946108.256 * * * * [misc]points: Computing exacts for 4 points 1536946108.260 * * * * [misc]points: Setting MPFR precision to 1088 1536946108.262 * * * * [misc]points: Setting MPFR precision to 1344 1536946108.267 * * * * [misc]points: Filtering points with unrepresentable outputs 1536946108.267 * * * * [misc]points: Sampling 4 additional inputs, on iter 8 have 254 / 256 1536946108.268 * * * * [misc]points: Computing exacts for 4 points 1536946108.271 * * * * [misc]points: Setting MPFR precision to 1088 1536946108.273 * * * * [misc]points: Setting MPFR precision to 1344 1536946108.276 * * * * [misc]points: Filtering points with unrepresentable outputs 1536946108.276 * * * * [exit]points: Sampled 257 points with exact outputs 1536946108.276 * * * [misc]progress: [2/2] Setting up program. 1536946108.289 * [misc]progress: [Phase 2 of 3] Improving. 1536946108.290 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1536946108.293 * * [misc]simplify: iters left: 6 (12 enodes) 1536946108.305 * * [misc]simplify: iters left: 5 (16 enodes) 1536946108.313 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1536946108.342 * * [misc]progress: iteration 1 / 4 1536946108.342 * * * [misc]progress: picking best candidate 1536946108.354 * * * * [misc]pick: Picked # 1536946108.354 * * * [misc]progress: localizing error 1536946108.546 * * * [misc]progress: generating rewritten candidates 1536946108.546 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 1) 1536946108.570 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1 1) 1536946108.572 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 2) 1536946108.573 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1) 1536946108.608 * * * [misc]progress: generating series expansions 1536946108.608 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 1) 1536946108.609 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1 1) 1536946108.609 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 2) 1536946108.609 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1) 1536946108.609 * * * [misc]progress: simplifying candidates 1536946108.609 * * * * [misc]progress: [ 1 / 6 ] simplifiying candidate # 1536946108.609 * * * * [misc]progress: [ 2 / 6 ] simplifiying candidate # 1536946108.609 * * * * [misc]progress: [ 3 / 6 ] simplifiying candidate # 1536946108.610 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1536946108.610 * * [misc]simplify: iters left: 6 (12 enodes) 1536946108.613 * * [misc]simplify: iters left: 5 (16 enodes) 1536946108.629 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1536946108.630 * [misc]simplify: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1536946108.630 * * * * [misc]progress: [ 4 / 6 ] simplifiying candidate # 1536946108.630 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1536946108.631 * * [misc]simplify: iters left: 6 (12 enodes) 1536946108.634 * * [misc]simplify: iters left: 5 (16 enodes) 1536946108.638 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1536946108.638 * [misc]simplify: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1536946108.638 * * * * [misc]progress: [ 5 / 6 ] simplifiying candidate # 1536946108.638 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1536946108.639 * * [misc]simplify: iters left: 6 (12 enodes) 1536946108.642 * * [misc]simplify: iters left: 5 (16 enodes) 1536946108.646 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1536946108.646 * [misc]simplify: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1536946108.646 * * * * [misc]progress: [ 6 / 6 ] simplifiying candidate # 1536946108.646 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1536946108.647 * * [misc]simplify: iters left: 6 (12 enodes) 1536946108.650 * * [misc]simplify: iters left: 5 (16 enodes) 1536946108.654 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1536946108.654 * [misc]simplify: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1536946108.654 * * * [misc]progress: adding candidates to table 1536946108.727 * [misc]progress: [Phase 3 of 3] Extracting. 1536946108.735 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1536946108.736 * * [misc]simplify: iters left: 6 (12 enodes) 1536946108.737 * * [misc]simplify: iters left: 5 (13 enodes) 1536946108.739 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1536946108.739 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1536946108.775 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1536946108.778 * * * * [misc]points: Setting MPFR precision to 1088 1536946108.785 * * * * [misc]points: Setting MPFR precision to 1344 1536946108.795 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1536946108.798 * * * * [misc]points: Setting MPFR precision to 1088 1536946108.812 * * * * [misc]points: Setting MPFR precision to 1344 1536946108.831 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1536946108.833 * * * * [misc]points: Setting MPFR precision to 1088 1536946108.848 * * * * [misc]points: Setting MPFR precision to 1344 1536946108.865 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1536946108.867 * * * * [misc]points: Setting MPFR precision to 1088 1536946108.895 * * * * [misc]points: Setting MPFR precision to 1344 1536946108.941 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1536946108.945 * * * * [misc]points: Setting MPFR precision to 1088 1536946109.022 * * * * [misc]points: Setting MPFR precision to 1344 1536946109.110 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1536946109.157 * * * * [misc]points: Setting MPFR precision to 1088 1536946109.330 * * * * [misc]points: Setting MPFR precision to 1344 1536946109.647 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1536946109.649 * * * * [misc]points: Setting MPFR precision to 1088 1536946110.025 * * * * [misc]points: Setting MPFR precision to 1344 1536946110.458 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1536946110.460 * * * * [misc]points: Setting MPFR precision to 1088 1536946111.224 * * * * [misc]points: Setting MPFR precision to 1344 1536946112.486 * * * * [misc]points: Computing exacts for 8000 points 1536946112.490 * * * * [misc]points: Setting MPFR precision to 1088 1536946116.070 * * * * [misc]points: Setting MPFR precision to 1344 1536946120.182 * * * * [misc]points: Filtering points with unrepresentable outputs 1536946120.184 * * * * [misc]points: Sampling 4014 additional inputs, on iter 1 have 3986 / 8000 1536946120.203 * * * * [misc]points: Computing exacts on every 250 of 4014 points to ramp up precision 1536946120.205 * * * * [misc]points: Setting MPFR precision to 1088 1536946120.208 * * * * [misc]points: Setting MPFR precision to 1344 1536946120.214 * * * * [misc]points: Computing exacts on every 125 of 4014 points to ramp up precision 1536946120.216 * * * * [misc]points: Setting MPFR precision to 1088 1536946120.224 * * * * [misc]points: Setting MPFR precision to 1344 1536946120.234 * * * * [misc]points: Computing exacts on every 62 of 4014 points to ramp up precision 1536946120.236 * * * * [misc]points: Setting MPFR precision to 1088 1536946120.251 * * * * [misc]points: Setting MPFR precision to 1344 1536946120.279 * * * * [misc]points: Computing exacts on every 31 of 4014 points to ramp up precision 1536946120.282 * * * * [misc]points: Setting MPFR precision to 1088 1536946120.343 * * * * [misc]points: Setting MPFR precision to 1344 1536946120.406 * * * * [misc]points: Computing exacts on every 15 of 4014 points to ramp up precision 1536946120.409 * * * * [misc]points: Setting MPFR precision to 1088 1536946120.500 * * * * [misc]points: Setting MPFR precision to 1344 1536946120.602 * * * * [misc]points: Computing exacts on every 7 of 4014 points to ramp up precision 1536946120.605 * * * * [misc]points: Setting MPFR precision to 1088 1536946120.825 * * * * [misc]points: Setting MPFR precision to 1344 1536946121.039 * * * * [misc]points: Computing exacts on every 3 of 4014 points to ramp up precision 1536946121.042 * * * * [misc]points: Setting MPFR precision to 1088 1536946121.499 * * * * [misc]points: Setting MPFR precision to 1344 1536946122.001 * * * * [misc]points: Computing exacts for 4014 points 1536946122.005 * * * * [misc]points: Setting MPFR precision to 1088 1536946123.917 * * * * [misc]points: Setting MPFR precision to 1344 1536946125.883 * * * * [misc]points: Filtering points with unrepresentable outputs 1536946125.884 * * * * [misc]points: Sampling 2017 additional inputs, on iter 2 have 5983 / 8000 1536946125.902 * * * * [misc]points: Computing exacts on every 126 of 2017 points to ramp up precision 1536946125.905 * * * * [misc]points: Setting MPFR precision to 1088 1536946125.950 * * * * [misc]points: Setting MPFR precision to 1344 1536946125.957 * * * * [misc]points: Computing exacts on every 63 of 2017 points to ramp up precision 1536946125.963 * * * * [misc]points: Setting MPFR precision to 1088 1536946125.977 * * * * [misc]points: Setting MPFR precision to 1344 1536946125.994 * * * * [misc]points: Computing exacts on every 31 of 2017 points to ramp up precision 1536946125.997 * * * * [misc]points: Setting MPFR precision to 1088 1536946126.027 * * * * [misc]points: Setting MPFR precision to 1344 1536946126.059 * * * * [misc]points: Computing exacts on every 15 of 2017 points to ramp up precision 1536946126.062 * * * * [misc]points: Setting MPFR precision to 1088 1536946126.122 * * * * [misc]points: Setting MPFR precision to 1344 1536946126.176 * * * * [misc]points: Computing exacts on every 7 of 2017 points to ramp up precision 1536946126.178 * * * * [misc]points: Setting MPFR precision to 1088 1536946126.261 * * * * [misc]points: Setting MPFR precision to 1344 1536946126.429 * * * * [misc]points: Computing exacts on every 3 of 2017 points to ramp up precision 1536946126.431 * * * * [misc]points: Setting MPFR precision to 1088 1536946126.653 * * * * [misc]points: Setting MPFR precision to 1344 1536946127.342 * * * * [misc]points: Computing exacts for 2017 points 1536946127.344 * * * * [misc]points: Setting MPFR precision to 1088 1536946128.085 * * * * [misc]points: Setting MPFR precision to 1344 1536946129.069 * * * * [misc]points: Filtering points with unrepresentable outputs 1536946129.070 * * * * [misc]points: Sampling 1004 additional inputs, on iter 3 have 6996 / 8000 1536946129.080 * * * * [misc]points: Computing exacts on every 62 of 1004 points to ramp up precision 1536946129.083 * * * * [misc]points: Setting MPFR precision to 1088 1536946129.136 * * * * [misc]points: Setting MPFR precision to 1344 1536946129.149 * * * * [misc]points: Computing exacts on every 31 of 1004 points to ramp up precision 1536946129.152 * * * * [misc]points: Setting MPFR precision to 1088 1536946129.166 * * * * [misc]points: Setting MPFR precision to 1344 1536946129.185 * * * * [misc]points: Computing exacts on every 15 of 1004 points to ramp up precision 1536946129.188 * * * * [misc]points: Setting MPFR precision to 1088 1536946129.216 * * * * [misc]points: Setting MPFR precision to 1344 1536946129.255 * * * * [misc]points: Computing exacts on every 7 of 1004 points to ramp up precision 1536946129.258 * * * * [misc]points: Setting MPFR precision to 1088 1536946129.308 * * * * [misc]points: Setting MPFR precision to 1344 1536946129.346 * * * * [misc]points: Computing exacts on every 3 of 1004 points to ramp up precision 1536946129.348 * * * * [misc]points: Setting MPFR precision to 1088 1536946129.433 * * * * [misc]points: Setting MPFR precision to 1344 1536946129.604 * * * * [misc]points: Computing exacts for 1004 points 1536946129.606 * * * * [misc]points: Setting MPFR precision to 1088 1536946129.981 * * * * [misc]points: Setting MPFR precision to 1344 1536946130.474 * * * * [misc]points: Filtering points with unrepresentable outputs 1536946130.475 * * * * [misc]points: Sampling 493 additional inputs, on iter 4 have 7507 / 8000 1536946130.480 * * * * [misc]points: Computing exacts on every 30 of 493 points to ramp up precision 1536946130.483 * * * * [misc]points: Setting MPFR precision to 1088 1536946130.490 * * * * [misc]points: Setting MPFR precision to 1344 1536946130.498 * * * * [misc]points: Computing exacts on every 15 of 493 points to ramp up precision 1536946130.502 * * * * [misc]points: Setting MPFR precision to 1088 1536946130.515 * * * * [misc]points: Setting MPFR precision to 1344 1536946130.531 * * * * [misc]points: Computing exacts on every 7 of 493 points to ramp up precision 1536946130.535 * * * * [misc]points: Setting MPFR precision to 1088 1536946130.560 * * * * [misc]points: Setting MPFR precision to 1344 1536946130.578 * * * * [misc]points: Computing exacts on every 3 of 493 points to ramp up precision 1536946130.579 * * * * [misc]points: Setting MPFR precision to 1088 1536946130.609 * * * * [misc]points: Setting MPFR precision to 1344 1536946131.120 * * * * [misc]points: Computing exacts for 493 points 1536946131.122 * * * * [misc]points: Setting MPFR precision to 1088 1536946131.287 * * * * [misc]points: Setting MPFR precision to 1344 1536946131.565 * * * * [misc]points: Filtering points with unrepresentable outputs 1536946131.566 * * * * [misc]points: Sampling 251 additional inputs, on iter 5 have 7749 / 8000 1536946131.568 * * * * [misc]points: Computing exacts on every 15 of 251 points to ramp up precision 1536946131.572 * * * * [misc]points: Setting MPFR precision to 1088 1536946131.580 * * * * [misc]points: Setting MPFR precision to 1344 1536946131.586 * * * * [misc]points: Computing exacts on every 7 of 251 points to ramp up precision 1536946131.588 * * * * [misc]points: Setting MPFR precision to 1088 1536946131.596 * * * * [misc]points: Setting MPFR precision to 1344 1536946131.605 * * * * [misc]points: Computing exacts on every 3 of 251 points to ramp up precision 1536946131.607 * * * * [misc]points: Setting MPFR precision to 1088 1536946131.622 * * * * [misc]points: Setting MPFR precision to 1344 1536946131.640 * * * * [misc]points: Computing exacts for 251 points 1536946131.642 * * * * [misc]points: Setting MPFR precision to 1088 1536946131.739 * * * * [misc]points: Setting MPFR precision to 1344 1536946131.930 * * * * [misc]points: Filtering points with unrepresentable outputs 1536946131.931 * * * * [misc]points: Sampling 118 additional inputs, on iter 6 have 7882 / 8000 1536946131.932 * * * * [misc]points: Computing exacts on every 7 of 118 points to ramp up precision 1536946131.935 * * * * [misc]points: Setting MPFR precision to 1088 1536946131.942 * * * * [misc]points: Setting MPFR precision to 1344 1536946131.949 * * * * [misc]points: Computing exacts on every 3 of 118 points to ramp up precision 1536946131.952 * * * * [misc]points: Setting MPFR precision to 1088 1536946131.965 * * * * [misc]points: Setting MPFR precision to 1344 1536946131.982 * * * * [misc]points: Computing exacts for 118 points 1536946131.985 * * * * [misc]points: Setting MPFR precision to 1088 1536946132.034 * * * * [misc]points: Setting MPFR precision to 1344 1536946132.093 * * * * [misc]points: Filtering points with unrepresentable outputs 1536946132.093 * * * * [misc]points: Sampling 62 additional inputs, on iter 7 have 7938 / 8000 1536946132.094 * * * * [misc]points: Computing exacts on every 3 of 62 points to ramp up precision 1536946132.097 * * * * [misc]points: Setting MPFR precision to 1088 1536946132.105 * * * * [misc]points: Setting MPFR precision to 1344 1536946132.114 * * * * [misc]points: Computing exacts for 62 points 1536946132.117 * * * * [misc]points: Setting MPFR precision to 1088 1536946132.146 * * * * [misc]points: Setting MPFR precision to 1344 1536946132.166 * * * * [misc]points: Filtering points with unrepresentable outputs 1536946132.166 * * * * [misc]points: Sampling 29 additional inputs, on iter 8 have 7971 / 8000 1536946132.167 * * * * [misc]points: Computing exacts for 29 points 1536946132.168 * * * * [misc]points: Setting MPFR precision to 1088 1536946132.176 * * * * [misc]points: Setting MPFR precision to 1344 1536946132.188 * * * * [misc]points: Filtering points with unrepresentable outputs 1536946132.188 * * * * [misc]points: Sampling 8 additional inputs, on iter 9 have 7992 / 8000 1536946132.188 * * * * [misc]points: Computing exacts for 8 points 1536946132.191 * * * * [misc]points: Setting MPFR precision to 1088 1536946132.195 * * * * [misc]points: Setting MPFR precision to 1344 1536946132.199 * * * * [misc]points: Filtering points with unrepresentable outputs 1536946132.199 * * * * [misc]points: Sampling 4 additional inputs, on iter 10 have 7997 / 8000 1536946132.200 * * * * [misc]points: Computing exacts for 4 points 1536946132.203 * * * * [misc]points: Setting MPFR precision to 1088 1536946132.205 * * * * [misc]points: Setting MPFR precision to 1344 1536946132.207 * * * * [misc]points: Filtering points with unrepresentable outputs 1536946132.207 * * * * [misc]points: Sampling 4 additional inputs, on iter 11 have 7998 / 8000 1536946132.207 * * * * [misc]points: Computing exacts for 4 points 1536946132.210 * * * * [misc]points: Setting MPFR precision to 1088 1536946132.252 * * * * [misc]points: Setting MPFR precision to 1344 1536946132.254 * * * * [misc]points: Filtering points with unrepresentable outputs 1536946132.254 * * * * [misc]points: Sampling 4 additional inputs, on iter 12 have 7999 / 8000 1536946132.255 * * * * [misc]points: Computing exacts for 4 points 1536946132.258 * * * * [misc]points: Setting MPFR precision to 1088 1536946132.259 * * * * [misc]points: Setting MPFR precision to 1344 1536946132.262 * * * * [misc]points: Filtering points with unrepresentable outputs 1536946132.262 * * * * [exit]points: Sampled 8000 points with exact outputs