1544609029.168 * [misc]progress: [Phase 1 of 3] Setting up. 1544609029.170 * * * [misc]progress: [1/2] Preparing points 1544609029.201 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1544609029.208 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1544609029.317 * * * * [misc]points: Setting MPFR precision to 64 1544609029.323 * * * * [misc]points: Setting MPFR precision to 320 1544609029.327 * * * * [misc]points: Setting MPFR precision to 576 1544609029.332 * * * * [misc]points: Setting MPFR precision to 832 1544609029.337 * * * * [misc]points: Setting MPFR precision to 1088 1544609029.343 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1544609029.348 * * * * [misc]points: Setting MPFR precision to 832 1544609029.358 * * * * [misc]points: Setting MPFR precision to 1088 1544609029.374 * * * * [misc]points: Setting MPFR precision to 1344 1544609029.390 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1544609029.393 * * * * [misc]points: Setting MPFR precision to 1088 1544609029.416 * * * * [misc]points: Setting MPFR precision to 1344 1544609029.436 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1544609029.438 * * * * [misc]points: Setting MPFR precision to 1088 1544609029.460 * * * * [misc]points: Setting MPFR precision to 1344 1544609029.487 * * * * [misc]points: Computing exacts for 256 points 1544609029.489 * * * * [misc]points: Setting MPFR precision to 1088 1544609029.564 * * * * [misc]points: Setting MPFR precision to 1344 1544609029.694 * * * * [misc]points: Filtering points with unrepresentable outputs 1544609029.694 * * * * [misc]points: Sampling 112 additional inputs, on iter 1 have 144 / 256 1544609029.695 * * * * [misc]points: Computing exacts on every 7 of 112 points to ramp up precision 1544609029.697 * * * * [misc]points: Setting MPFR precision to 1088 1544609029.700 * * * * [misc]points: Setting MPFR precision to 1344 1544609029.706 * * * * [misc]points: Computing exacts on every 3 of 112 points to ramp up precision 1544609029.707 * * * * [misc]points: Setting MPFR precision to 1088 1544609029.715 * * * * [misc]points: Setting MPFR precision to 1344 1544609029.725 * * * * [misc]points: Computing exacts for 112 points 1544609029.726 * * * * [misc]points: Setting MPFR precision to 1088 1544609029.756 * * * * [misc]points: Setting MPFR precision to 1344 1544609029.791 * * * * [misc]points: Filtering points with unrepresentable outputs 1544609029.791 * * * * [misc]points: Sampling 48 additional inputs, on iter 2 have 208 / 256 1544609029.791 * * * * [misc]points: Computing exacts on every 3 of 48 points to ramp up precision 1544609029.793 * * * * [misc]points: Setting MPFR precision to 1088 1544609029.795 * * * * [misc]points: Setting MPFR precision to 1344 1544609029.798 * * * * [misc]points: Computing exacts for 48 points 1544609029.800 * * * * [misc]points: Setting MPFR precision to 1088 1544609029.810 * * * * [misc]points: Setting MPFR precision to 1344 1544609029.823 * * * * [misc]points: Filtering points with unrepresentable outputs 1544609029.823 * * * * [misc]points: Sampling 22 additional inputs, on iter 3 have 234 / 256 1544609029.823 * * * * [misc]points: Computing exacts for 22 points 1544609029.825 * * * * [misc]points: Setting MPFR precision to 1088 1544609029.830 * * * * [misc]points: Setting MPFR precision to 1344 1544609029.838 * * * * [misc]points: Filtering points with unrepresentable outputs 1544609029.838 * * * * [misc]points: Sampling 7 additional inputs, on iter 4 have 249 / 256 1544609029.838 * * * * [misc]points: Computing exacts for 7 points 1544609029.840 * * * * [misc]points: Setting MPFR precision to 1088 1544609029.842 * * * * [misc]points: Setting MPFR precision to 1344 1544609029.844 * * * * [misc]points: Filtering points with unrepresentable outputs 1544609029.844 * * * * [misc]points: Sampling 4 additional inputs, on iter 5 have 252 / 256 1544609029.844 * * * * [misc]points: Computing exacts for 4 points 1544609029.845 * * * * [misc]points: Setting MPFR precision to 1088 1544609029.846 * * * * [misc]points: Setting MPFR precision to 1344 1544609029.847 * * * * [misc]points: Filtering points with unrepresentable outputs 1544609029.847 * * * * [misc]points: Sampling 4 additional inputs, on iter 6 have 253 / 256 1544609029.847 * * * * [misc]points: Computing exacts for 4 points 1544609029.849 * * * * [misc]points: Setting MPFR precision to 1088 1544609029.850 * * * * [misc]points: Setting MPFR precision to 1344 1544609029.851 * * * * [misc]points: Filtering points with unrepresentable outputs 1544609029.851 * * * * [misc]points: Sampling 4 additional inputs, on iter 7 have 254 / 256 1544609029.851 * * * * [misc]points: Computing exacts for 4 points 1544609029.853 * * * * [misc]points: Setting MPFR precision to 1088 1544609029.854 * * * * [misc]points: Setting MPFR precision to 1344 1544609029.855 * * * * [misc]points: Filtering points with unrepresentable outputs 1544609029.855 * * * * [misc]points: Sampling 4 additional inputs, on iter 8 have 255 / 256 1544609029.855 * * * * [misc]points: Computing exacts for 4 points 1544609029.857 * * * * [misc]points: Setting MPFR precision to 1088 1544609029.858 * * * * [misc]points: Setting MPFR precision to 1344 1544609029.859 * * * * [misc]points: Filtering points with unrepresentable outputs 1544609029.859 * * * * [exit]points: Sampled 258 points with exact outputs 1544609029.860 * * * [misc]progress: [2/2] Setting up program. 1544609030.191 * [misc]progress: [Phase 2 of 3] Improving. 1544609030.192 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1544609030.194 * * [misc]simplify: iters left: 6 (12 enodes) 1544609030.203 * * [misc]simplify: iters left: 5 (16 enodes) 1544609030.208 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544609030.222 * * [misc]progress: iteration 1 / 4 1544609030.223 * * * [misc]progress: picking best candidate 1544609030.230 * * * * [misc]pick: Picked # 1544609030.230 * * * [misc]progress: localizing error 1544609030.355 * * * [misc]progress: generating rewritten candidates 1544609030.355 * * * * [misc]progress: [ 1 / 3 ] rewriting at (2 1 1) 1544609030.369 * * * * [misc]progress: [ 2 / 3 ] rewriting at (2 1 1 2) 1544609030.370 * * * * [misc]progress: [ 3 / 3 ] rewriting at (2 1 1 1) 1544609030.371 * * * [misc]progress: generating series expansions 1544609030.371 * * * * [misc]progress: [ 1 / 3 ] generating series at (2 1 1) 1544609030.371 * * * * [misc]progress: [ 2 / 3 ] generating series at (2 1 1 2) 1544609030.371 * * * * [misc]progress: [ 3 / 3 ] generating series at (2 1 1 1) 1544609030.371 * * * [misc]progress: simplifying candidates 1544609030.372 * * * * [misc]progress: [ 1 / 4 ] simplifiying candidate # 1544609030.372 * * * * [misc]progress: [ 2 / 4 ] simplifiying candidate # 1544609030.372 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1544609030.373 * * [misc]simplify: iters left: 6 (12 enodes) 1544609030.376 * * [misc]simplify: iters left: 5 (16 enodes) 1544609030.380 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544609030.380 * [misc]simplify: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1544609030.380 * * * * [misc]progress: [ 3 / 4 ] simplifiying candidate # 1544609030.380 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1544609030.381 * * [misc]simplify: iters left: 6 (12 enodes) 1544609030.384 * * [misc]simplify: iters left: 5 (16 enodes) 1544609030.388 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544609030.388 * [misc]simplify: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1544609030.388 * * * * [misc]progress: [ 4 / 4 ] simplifiying candidate # 1544609030.388 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1544609030.389 * * [misc]simplify: iters left: 6 (12 enodes) 1544609030.391 * * [misc]simplify: iters left: 5 (16 enodes) 1544609030.395 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544609030.395 * [misc]simplify: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1544609030.395 * * * [misc]progress: adding candidates to table 1544609030.436 * [misc]progress: [Phase 3 of 3] Extracting. 1544609030.441 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1544609030.442 * * [misc]simplify: iters left: 6 (12 enodes) 1544609030.444 * * [misc]simplify: iters left: 5 (13 enodes) 1544609030.446 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544609030.446 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1544609030.518 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1544609030.522 * * * * [misc]points: Setting MPFR precision to 1088 1544609030.530 * * * * [misc]points: Setting MPFR precision to 1344 1544609030.539 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1544609030.542 * * * * [misc]points: Setting MPFR precision to 1088 1544609030.558 * * * * [misc]points: Setting MPFR precision to 1344 1544609030.575 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1544609030.578 * * * * [misc]points: Setting MPFR precision to 1088 1544609030.608 * * * * [misc]points: Setting MPFR precision to 1344 1544609030.634 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1544609030.636 * * * * [misc]points: Setting MPFR precision to 1088 1544609030.665 * * * * [misc]points: Setting MPFR precision to 1344 1544609030.703 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1544609030.705 * * * * [misc]points: Setting MPFR precision to 1088 1544609030.783 * * * * [misc]points: Setting MPFR precision to 1344 1544609030.947 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1544609030.949 * * * * [misc]points: Setting MPFR precision to 1088 1544609031.139 * * * * [misc]points: Setting MPFR precision to 1344 1544609031.441 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1544609031.445 * * * * [misc]points: Setting MPFR precision to 1088 1544609031.840 * * * * [misc]points: Setting MPFR precision to 1344 1544609032.265 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1544609032.269 * * * * [misc]points: Setting MPFR precision to 1088 1544609033.116 * * * * [misc]points: Setting MPFR precision to 1344 1544609034.595 * * * * [misc]points: Computing exacts for 8000 points 1544609034.598 * * * * [misc]points: Setting MPFR precision to 1088 1544609037.980 * * * * [misc]points: Setting MPFR precision to 1344 1544609042.521 * * * * [misc]points: Filtering points with unrepresentable outputs 1544609042.523 * * * * [misc]points: Sampling 4056 additional inputs, on iter 1 have 3944 / 8000 1544609042.549 * * * * [misc]points: Computing exacts on every 253 of 4056 points to ramp up precision 1544609042.552 * * * * [misc]points: Setting MPFR precision to 1088 1544609042.555 * * * * [misc]points: Setting MPFR precision to 1344 1544609042.559 * * * * [misc]points: Computing exacts on every 126 of 4056 points to ramp up precision 1544609042.561 * * * * [misc]points: Setting MPFR precision to 1088 1544609042.568 * * * * [misc]points: Setting MPFR precision to 1344 1544609042.578 * * * * [misc]points: Computing exacts on every 63 of 4056 points to ramp up precision 1544609042.580 * * * * [misc]points: Setting MPFR precision to 1088 1544609042.608 * * * * [misc]points: Setting MPFR precision to 1344 1544609042.670 * * * * [misc]points: Computing exacts on every 31 of 4056 points to ramp up precision 1544609042.673 * * * * [misc]points: Setting MPFR precision to 1088 1544609042.728 * * * * [misc]points: Setting MPFR precision to 1344 1544609042.799 * * * * [misc]points: Computing exacts on every 15 of 4056 points to ramp up precision 1544609042.802 * * * * [misc]points: Setting MPFR precision to 1088 1544609042.913 * * * * [misc]points: Setting MPFR precision to 1344 1544609042.998 * * * * [misc]points: Computing exacts on every 7 of 4056 points to ramp up precision 1544609042.999 * * * * [misc]points: Setting MPFR precision to 1088 1544609043.185 * * * * [misc]points: Setting MPFR precision to 1344 1544609043.437 * * * * [misc]points: Computing exacts on every 3 of 4056 points to ramp up precision 1544609043.445 * * * * [misc]points: Setting MPFR precision to 1088 1544609043.824 * * * * [misc]points: Setting MPFR precision to 1344 1544609044.235 * * * * [misc]points: Computing exacts for 4056 points 1544609044.237 * * * * [misc]points: Setting MPFR precision to 1088 1544609046.354 * * * * [misc]points: Setting MPFR precision to 1344 1544609048.289 * * * * [misc]points: Filtering points with unrepresentable outputs 1544609048.291 * * * * [misc]points: Sampling 1959 additional inputs, on iter 2 have 6041 / 8000 1544609048.338 * * * * [misc]points: Computing exacts on every 122 of 1959 points to ramp up precision 1544609048.343 * * * * [misc]points: Setting MPFR precision to 1088 1544609048.347 * * * * [misc]points: Setting MPFR precision to 1344 1544609048.353 * * * * [misc]points: Computing exacts on every 61 of 1959 points to ramp up precision 1544609048.355 * * * * [misc]points: Setting MPFR precision to 1088 1544609048.362 * * * * [misc]points: Setting MPFR precision to 1344 1544609048.372 * * * * [misc]points: Computing exacts on every 30 of 1959 points to ramp up precision 1544609048.374 * * * * [misc]points: Setting MPFR precision to 1088 1544609048.389 * * * * [misc]points: Setting MPFR precision to 1344 1544609048.413 * * * * [misc]points: Computing exacts on every 15 of 1959 points to ramp up precision 1544609048.416 * * * * [misc]points: Setting MPFR precision to 1088 1544609048.453 * * * * [misc]points: Setting MPFR precision to 1344 1544609048.521 * * * * [misc]points: Computing exacts on every 7 of 1959 points to ramp up precision 1544609048.524 * * * * [misc]points: Setting MPFR precision to 1088 1544609048.982 * * * * [misc]points: Setting MPFR precision to 1344 1544609049.103 * * * * [misc]points: Computing exacts on every 3 of 1959 points to ramp up precision 1544609049.105 * * * * [misc]points: Setting MPFR precision to 1088 1544609049.300 * * * * [misc]points: Setting MPFR precision to 1344 1544609049.544 * * * * [misc]points: Computing exacts for 1959 points 1544609049.547 * * * * [misc]points: Setting MPFR precision to 1088 1544609050.303 * * * * [misc]points: Setting MPFR precision to 1344 1544609051.266 * * * * [misc]points: Filtering points with unrepresentable outputs 1544609051.266 * * * * [misc]points: Sampling 997 additional inputs, on iter 3 have 7003 / 8000 1544609051.271 * * * * [misc]points: Computing exacts on every 62 of 997 points to ramp up precision 1544609051.273 * * * * [misc]points: Setting MPFR precision to 1088 1544609051.284 * * * * [misc]points: Setting MPFR precision to 1344 1544609051.293 * * * * [misc]points: Computing exacts on every 31 of 997 points to ramp up precision 1544609051.296 * * * * [misc]points: Setting MPFR precision to 1088 1544609051.309 * * * * [misc]points: Setting MPFR precision to 1344 1544609051.328 * * * * [misc]points: Computing exacts on every 15 of 997 points to ramp up precision 1544609051.331 * * * * [misc]points: Setting MPFR precision to 1088 1544609051.359 * * * * [misc]points: Setting MPFR precision to 1344 1544609051.394 * * * * [misc]points: Computing exacts on every 7 of 997 points to ramp up precision 1544609051.397 * * * * [misc]points: Setting MPFR precision to 1088 1544609051.454 * * * * [misc]points: Setting MPFR precision to 1344 1544609051.526 * * * * [misc]points: Computing exacts on every 3 of 997 points to ramp up precision 1544609051.529 * * * * [misc]points: Setting MPFR precision to 1088 1544609051.662 * * * * [misc]points: Setting MPFR precision to 1344 1544609051.768 * * * * [misc]points: Computing exacts for 997 points 1544609051.771 * * * * [misc]points: Setting MPFR precision to 1088 1544609052.147 * * * * [misc]points: Setting MPFR precision to 1344 1544609053.078 * * * * [misc]points: Filtering points with unrepresentable outputs 1544609053.078 * * * * [misc]points: Sampling 510 additional inputs, on iter 4 have 7490 / 8000 1544609053.083 * * * * [misc]points: Computing exacts on every 31 of 510 points to ramp up precision 1544609053.086 * * * * [misc]points: Setting MPFR precision to 1088 1544609053.092 * * * * [misc]points: Setting MPFR precision to 1344 1544609053.101 * * * * [misc]points: Computing exacts on every 15 of 510 points to ramp up precision 1544609053.104 * * * * [misc]points: Setting MPFR precision to 1088 1544609053.117 * * * * [misc]points: Setting MPFR precision to 1344 1544609053.136 * * * * [misc]points: Computing exacts on every 7 of 510 points to ramp up precision 1544609053.139 * * * * [misc]points: Setting MPFR precision to 1088 1544609053.162 * * * * [misc]points: Setting MPFR precision to 1344 1544609053.179 * * * * [misc]points: Computing exacts on every 3 of 510 points to ramp up precision 1544609053.181 * * * * [misc]points: Setting MPFR precision to 1088 1544609053.248 * * * * [misc]points: Setting MPFR precision to 1344 1544609053.283 * * * * [misc]points: Computing exacts for 510 points 1544609053.285 * * * * [misc]points: Setting MPFR precision to 1088 1544609053.454 * * * * [misc]points: Setting MPFR precision to 1344 1544609053.712 * * * * [misc]points: Filtering points with unrepresentable outputs 1544609053.712 * * * * [misc]points: Sampling 250 additional inputs, on iter 5 have 7750 / 8000 1544609053.714 * * * * [misc]points: Computing exacts on every 15 of 250 points to ramp up precision 1544609053.718 * * * * [misc]points: Setting MPFR precision to 1088 1544609053.724 * * * * [misc]points: Setting MPFR precision to 1344 1544609053.735 * * * * [misc]points: Computing exacts on every 7 of 250 points to ramp up precision 1544609053.737 * * * * [misc]points: Setting MPFR precision to 1088 1544609053.744 * * * * [misc]points: Setting MPFR precision to 1344 1544609053.755 * * * * [misc]points: Computing exacts on every 3 of 250 points to ramp up precision 1544609053.757 * * * * [misc]points: Setting MPFR precision to 1088 1544609053.780 * * * * [misc]points: Setting MPFR precision to 1344 1544609053.816 * * * * [misc]points: Computing exacts for 250 points 1544609053.819 * * * * [misc]points: Setting MPFR precision to 1088 1544609053.954 * * * * [misc]points: Setting MPFR precision to 1344 1544609054.050 * * * * [misc]points: Filtering points with unrepresentable outputs 1544609054.050 * * * * [misc]points: Sampling 113 additional inputs, on iter 6 have 7887 / 8000 1544609054.052 * * * * [misc]points: Computing exacts on every 7 of 113 points to ramp up precision 1544609054.054 * * * * [misc]points: Setting MPFR precision to 1088 1544609054.061 * * * * [misc]points: Setting MPFR precision to 1344 1544609054.068 * * * * [misc]points: Computing exacts on every 3 of 113 points to ramp up precision 1544609054.071 * * * * [misc]points: Setting MPFR precision to 1088 1544609054.086 * * * * [misc]points: Setting MPFR precision to 1344 1544609054.100 * * * * [misc]points: Computing exacts for 113 points 1544609054.103 * * * * [misc]points: Setting MPFR precision to 1088 1544609054.145 * * * * [misc]points: Setting MPFR precision to 1344 1544609054.184 * * * * [misc]points: Filtering points with unrepresentable outputs 1544609054.185 * * * * [misc]points: Sampling 55 additional inputs, on iter 7 have 7945 / 8000 1544609054.185 * * * * [misc]points: Computing exacts on every 3 of 55 points to ramp up precision 1544609054.188 * * * * [misc]points: Setting MPFR precision to 1088 1544609054.194 * * * * [misc]points: Setting MPFR precision to 1344 1544609054.201 * * * * [misc]points: Computing exacts for 55 points 1544609054.205 * * * * [misc]points: Setting MPFR precision to 1088 1544609054.230 * * * * [misc]points: Setting MPFR precision to 1344 1544609054.250 * * * * [misc]points: Filtering points with unrepresentable outputs 1544609054.251 * * * * [misc]points: Sampling 18 additional inputs, on iter 8 have 7982 / 8000 1544609054.251 * * * * [misc]points: Computing exacts for 18 points 1544609054.252 * * * * [misc]points: Setting MPFR precision to 1088 1544609054.256 * * * * [misc]points: Setting MPFR precision to 1344 1544609054.260 * * * * [misc]points: Filtering points with unrepresentable outputs 1544609054.260 * * * * [misc]points: Sampling 12 additional inputs, on iter 9 have 7988 / 8000 1544609054.261 * * * * [misc]points: Computing exacts for 12 points 1544609054.262 * * * * [misc]points: Setting MPFR precision to 1088 1544609054.293 * * * * [misc]points: Setting MPFR precision to 1344 1544609054.297 * * * * [misc]points: Filtering points with unrepresentable outputs 1544609054.297 * * * * [misc]points: Sampling 8 additional inputs, on iter 10 have 7992 / 8000 1544609054.297 * * * * [misc]points: Computing exacts for 8 points 1544609054.299 * * * * [misc]points: Setting MPFR precision to 1088 1544609054.301 * * * * [misc]points: Setting MPFR precision to 1344 1544609054.306 * * * * [misc]points: Filtering points with unrepresentable outputs 1544609054.306 * * * * [misc]points: Sampling 4 additional inputs, on iter 11 have 7997 / 8000 1544609054.307 * * * * [misc]points: Computing exacts for 4 points 1544609054.309 * * * * [misc]points: Setting MPFR precision to 1088 1544609054.312 * * * * [misc]points: Setting MPFR precision to 1344 1544609054.315 * * * * [misc]points: Filtering points with unrepresentable outputs 1544609054.315 * * * * [misc]points: Sampling 4 additional inputs, on iter 12 have 7999 / 8000 1544609054.315 * * * * [misc]points: Computing exacts for 4 points 1544609054.318 * * * * [misc]points: Setting MPFR precision to 1088 1544609054.320 * * * * [misc]points: Setting MPFR precision to 1344 1544609054.322 * * * * [misc]points: Filtering points with unrepresentable outputs 1544609054.323 * * * * [exit]points: Sampled 8000 points with exact outputs