1544603970.570 * [misc]progress: [Phase 1 of 3] Setting up. 1544603970.597 * * * [misc]progress: [1/2] Preparing points 1544603970.597 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1544603970.600 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1544603970.635 * * * * [misc]points: Setting MPFR precision to 64 1544603970.638 * * * * [misc]points: Setting MPFR precision to 320 1544603970.641 * * * * [misc]points: Setting MPFR precision to 576 1544603970.646 * * * * [misc]points: Setting MPFR precision to 832 1544603970.651 * * * * [misc]points: Setting MPFR precision to 1088 1544603970.657 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1544603970.660 * * * * [misc]points: Setting MPFR precision to 832 1544603970.672 * * * * [misc]points: Setting MPFR precision to 1088 1544603970.688 * * * * [misc]points: Setting MPFR precision to 1344 1544603970.706 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1544603970.709 * * * * [misc]points: Setting MPFR precision to 1088 1544603970.731 * * * * [misc]points: Setting MPFR precision to 1344 1544603970.749 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1544603970.751 * * * * [misc]points: Setting MPFR precision to 1088 1544603970.773 * * * * [misc]points: Setting MPFR precision to 1344 1544603970.802 * * * * [misc]points: Computing exacts for 256 points 1544603970.804 * * * * [misc]points: Setting MPFR precision to 1088 1544603970.961 * * * * [misc]points: Setting MPFR precision to 1344 1544603971.039 * * * * [misc]points: Filtering points with unrepresentable outputs 1544603971.040 * * * * [misc]points: Sampling 112 additional inputs, on iter 1 have 144 / 256 1544603971.040 * * * * [misc]points: Computing exacts on every 7 of 112 points to ramp up precision 1544603971.042 * * * * [misc]points: Setting MPFR precision to 1088 1544603971.046 * * * * [misc]points: Setting MPFR precision to 1344 1544603971.052 * * * * [misc]points: Computing exacts on every 3 of 112 points to ramp up precision 1544603971.054 * * * * [misc]points: Setting MPFR precision to 1088 1544603971.061 * * * * [misc]points: Setting MPFR precision to 1344 1544603971.074 * * * * [misc]points: Computing exacts for 112 points 1544603971.077 * * * * [misc]points: Setting MPFR precision to 1088 1544603971.133 * * * * [misc]points: Setting MPFR precision to 1344 1544603971.198 * * * * [misc]points: Filtering points with unrepresentable outputs 1544603971.198 * * * * [misc]points: Sampling 48 additional inputs, on iter 2 have 208 / 256 1544603971.198 * * * * [misc]points: Computing exacts on every 3 of 48 points to ramp up precision 1544603971.201 * * * * [misc]points: Setting MPFR precision to 1088 1544603971.254 * * * * [misc]points: Setting MPFR precision to 1344 1544603971.264 * * * * [misc]points: Computing exacts for 48 points 1544603971.267 * * * * [misc]points: Setting MPFR precision to 1088 1544603971.285 * * * * [misc]points: Setting MPFR precision to 1344 1544603971.311 * * * * [misc]points: Filtering points with unrepresentable outputs 1544603971.311 * * * * [misc]points: Sampling 22 additional inputs, on iter 3 have 234 / 256 1544603971.311 * * * * [misc]points: Computing exacts for 22 points 1544603971.314 * * * * [misc]points: Setting MPFR precision to 1088 1544603971.323 * * * * [misc]points: Setting MPFR precision to 1344 1544603971.337 * * * * [misc]points: Filtering points with unrepresentable outputs 1544603971.337 * * * * [misc]points: Sampling 7 additional inputs, on iter 4 have 249 / 256 1544603971.337 * * * * [misc]points: Computing exacts for 7 points 1544603971.340 * * * * [misc]points: Setting MPFR precision to 1088 1544603971.344 * * * * [misc]points: Setting MPFR precision to 1344 1544603971.347 * * * * [misc]points: Filtering points with unrepresentable outputs 1544603971.348 * * * * [misc]points: Sampling 4 additional inputs, on iter 5 have 252 / 256 1544603971.348 * * * * [misc]points: Computing exacts for 4 points 1544603971.351 * * * * [misc]points: Setting MPFR precision to 1088 1544603971.353 * * * * [misc]points: Setting MPFR precision to 1344 1544603971.355 * * * * [misc]points: Filtering points with unrepresentable outputs 1544603971.355 * * * * [misc]points: Sampling 4 additional inputs, on iter 6 have 253 / 256 1544603971.355 * * * * [misc]points: Computing exacts for 4 points 1544603971.358 * * * * [misc]points: Setting MPFR precision to 1088 1544603971.360 * * * * [misc]points: Setting MPFR precision to 1344 1544603971.362 * * * * [misc]points: Filtering points with unrepresentable outputs 1544603971.362 * * * * [misc]points: Sampling 4 additional inputs, on iter 7 have 254 / 256 1544603971.362 * * * * [misc]points: Computing exacts for 4 points 1544603971.365 * * * * [misc]points: Setting MPFR precision to 1088 1544603971.367 * * * * [misc]points: Setting MPFR precision to 1344 1544603971.368 * * * * [misc]points: Filtering points with unrepresentable outputs 1544603971.368 * * * * [misc]points: Sampling 4 additional inputs, on iter 8 have 255 / 256 1544603971.369 * * * * [misc]points: Computing exacts for 4 points 1544603971.372 * * * * [misc]points: Setting MPFR precision to 1088 1544603971.373 * * * * [misc]points: Setting MPFR precision to 1344 1544603971.376 * * * * [misc]points: Filtering points with unrepresentable outputs 1544603971.376 * * * * [exit]points: Sampled 258 points with exact outputs 1544603971.377 * * * [misc]progress: [2/2] Setting up program. 1544603971.389 * [misc]progress: [Phase 2 of 3] Improving. 1544603971.390 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1544603971.393 * * [misc]simplify: iters left: 6 (12 enodes) 1544603971.403 * * [misc]simplify: iters left: 5 (16 enodes) 1544603971.412 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544603971.430 * * [misc]progress: iteration 1 / 4 1544603971.430 * * * [misc]progress: picking best candidate 1544603971.437 * * * * [misc]pick: Picked # 1544603971.437 * * * [misc]progress: localizing error 1544603971.617 * * * [misc]progress: generating rewritten candidates 1544603971.617 * * * * [misc]progress: [ 1 / 3 ] rewriting at (2 1 1) 1544603971.638 * * * * [misc]progress: [ 2 / 3 ] rewriting at (2 1 1 1) 1544603971.639 * * * * [misc]progress: [ 3 / 3 ] rewriting at (2 1 1 2) 1544603971.640 * * * [misc]progress: generating series expansions 1544603971.641 * * * * [misc]progress: [ 1 / 3 ] generating series at (2 1 1) 1544603971.641 * * * * [misc]progress: [ 2 / 3 ] generating series at (2 1 1 1) 1544603971.641 * * * * [misc]progress: [ 3 / 3 ] generating series at (2 1 1 2) 1544603971.641 * * * [misc]progress: simplifying candidates 1544603971.641 * * * * [misc]progress: [ 1 / 4 ] simplifiying candidate # 1544603971.642 * * * * [misc]progress: [ 2 / 4 ] simplifiying candidate # 1544603971.642 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544603971.644 * * [misc]simplify: iters left: 6 (14 enodes) 1544603971.649 * * [misc]simplify: iters left: 5 (16 enodes) 1544603971.672 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544603971.672 * [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)))) 1544603971.672 * * * * [misc]progress: [ 3 / 4 ] simplifiying candidate # 1544603971.672 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544603971.675 * * [misc]simplify: iters left: 6 (14 enodes) 1544603971.681 * * [misc]simplify: iters left: 5 (16 enodes) 1544603971.688 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544603971.688 * [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)))) 1544603971.688 * * * * [misc]progress: [ 4 / 4 ] simplifiying candidate # 1544603971.688 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544603971.690 * * [misc]simplify: iters left: 6 (14 enodes) 1544603971.696 * * [misc]simplify: iters left: 5 (16 enodes) 1544603971.703 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544603971.703 * [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)))) 1544603971.703 * * * [misc]progress: adding candidates to table 1544603971.792 * [misc]progress: [Phase 3 of 3] Extracting. 1544603971.799 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544603971.800 * * [misc]simplify: iters left: 6 (14 enodes) 1544603971.804 * * [misc]simplify: iters left: 5 (15 enodes) 1544603971.806 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544603971.806 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1544603971.865 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1544603971.868 * * * * [misc]points: Setting MPFR precision to 1088 1544603971.874 * * * * [misc]points: Setting MPFR precision to 1344 1544603971.883 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1544603971.885 * * * * [misc]points: Setting MPFR precision to 1088 1544603971.898 * * * * [misc]points: Setting MPFR precision to 1344 1544603971.909 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1544603971.911 * * * * [misc]points: Setting MPFR precision to 1088 1544603971.934 * * * * [misc]points: Setting MPFR precision to 1344 1544603971.961 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1544603971.964 * * * * [misc]points: Setting MPFR precision to 1088 1544603972.004 * * * * [misc]points: Setting MPFR precision to 1344 1544603972.049 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1544603972.051 * * * * [misc]points: Setting MPFR precision to 1088 1544603972.114 * * * * [misc]points: Setting MPFR precision to 1344 1544603972.257 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1544603972.260 * * * * [misc]points: Setting MPFR precision to 1088 1544603972.492 * * * * [misc]points: Setting MPFR precision to 1344 1544603973.253 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1544603973.256 * * * * [misc]points: Setting MPFR precision to 1088 1544603973.629 * * * * [misc]points: Setting MPFR precision to 1344 1544603974.108 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1544603974.111 * * * * [misc]points: Setting MPFR precision to 1088 1544603974.871 * * * * [misc]points: Setting MPFR precision to 1344 1544603975.888 * * * * [misc]points: Computing exacts for 8000 points 1544603975.892 * * * * [misc]points: Setting MPFR precision to 1088 1544603979.688 * * * * [misc]points: Setting MPFR precision to 1344 1544603984.166 * * * * [misc]points: Filtering points with unrepresentable outputs 1544603984.169 * * * * [misc]points: Sampling 4056 additional inputs, on iter 1 have 3944 / 8000 1544603984.189 * * * * [misc]points: Computing exacts on every 253 of 4056 points to ramp up precision 1544603984.192 * * * * [misc]points: Setting MPFR precision to 1088 1544603984.195 * * * * [misc]points: Setting MPFR precision to 1344 1544603984.199 * * * * [misc]points: Computing exacts on every 126 of 4056 points to ramp up precision 1544603984.201 * * * * [misc]points: Setting MPFR precision to 1088 1544603984.208 * * * * [misc]points: Setting MPFR precision to 1344 1544603984.221 * * * * [misc]points: Computing exacts on every 63 of 4056 points to ramp up precision 1544603984.224 * * * * [misc]points: Setting MPFR precision to 1088 1544603984.262 * * * * [misc]points: Setting MPFR precision to 1344 1544603984.293 * * * * [misc]points: Computing exacts on every 31 of 4056 points to ramp up precision 1544603984.295 * * * * [misc]points: Setting MPFR precision to 1088 1544603984.325 * * * * [misc]points: Setting MPFR precision to 1344 1544603984.392 * * * * [misc]points: Computing exacts on every 15 of 4056 points to ramp up precision 1544603984.394 * * * * [misc]points: Setting MPFR precision to 1088 1544603984.465 * * * * [misc]points: Setting MPFR precision to 1344 1544603984.536 * * * * [misc]points: Computing exacts on every 7 of 4056 points to ramp up precision 1544603984.538 * * * * [misc]points: Setting MPFR precision to 1088 1544603985.074 * * * * [misc]points: Setting MPFR precision to 1344 1544603985.329 * * * * [misc]points: Computing exacts on every 3 of 4056 points to ramp up precision 1544603985.330 * * * * [misc]points: Setting MPFR precision to 1088 1544603985.714 * * * * [misc]points: Setting MPFR precision to 1344 1544603986.238 * * * * [misc]points: Computing exacts for 4056 points 1544603986.241 * * * * [misc]points: Setting MPFR precision to 1088 1544603987.968 * * * * [misc]points: Setting MPFR precision to 1344 1544603990.408 * * * * [misc]points: Filtering points with unrepresentable outputs 1544603990.410 * * * * [misc]points: Sampling 1959 additional inputs, on iter 2 have 6041 / 8000 1544603990.428 * * * * [misc]points: Computing exacts on every 122 of 1959 points to ramp up precision 1544603990.431 * * * * [misc]points: Setting MPFR precision to 1088 1544603990.438 * * * * [misc]points: Setting MPFR precision to 1344 1544603990.448 * * * * [misc]points: Computing exacts on every 61 of 1959 points to ramp up precision 1544603990.450 * * * * [misc]points: Setting MPFR precision to 1088 1544603990.457 * * * * [misc]points: Setting MPFR precision to 1344 1544603990.466 * * * * [misc]points: Computing exacts on every 30 of 1959 points to ramp up precision 1544603990.468 * * * * [misc]points: Setting MPFR precision to 1088 1544603990.495 * * * * [misc]points: Setting MPFR precision to 1344 1544603990.515 * * * * [misc]points: Computing exacts on every 15 of 1959 points to ramp up precision 1544603990.517 * * * * [misc]points: Setting MPFR precision to 1088 1544603990.558 * * * * [misc]points: Setting MPFR precision to 1344 1544603990.601 * * * * [misc]points: Computing exacts on every 7 of 1959 points to ramp up precision 1544603990.604 * * * * [misc]points: Setting MPFR precision to 1088 1544603990.738 * * * * [misc]points: Setting MPFR precision to 1344 1544603990.854 * * * * [misc]points: Computing exacts on every 3 of 1959 points to ramp up precision 1544603990.857 * * * * [misc]points: Setting MPFR precision to 1088 1544603991.059 * * * * [misc]points: Setting MPFR precision to 1344 1544603991.260 * * * * [misc]points: Computing exacts for 1959 points 1544603991.261 * * * * [misc]points: Setting MPFR precision to 1088 1544603992.075 * * * * [misc]points: Setting MPFR precision to 1344 1544603993.430 * * * * [misc]points: Filtering points with unrepresentable outputs 1544603993.431 * * * * [misc]points: Sampling 997 additional inputs, on iter 3 have 7003 / 8000 1544603993.435 * * * * [misc]points: Computing exacts on every 62 of 997 points to ramp up precision 1544603993.437 * * * * [misc]points: Setting MPFR precision to 1088 1544603993.441 * * * * [misc]points: Setting MPFR precision to 1344 1544603993.446 * * * * [misc]points: Computing exacts on every 31 of 997 points to ramp up precision 1544603993.447 * * * * [misc]points: Setting MPFR precision to 1088 1544603993.455 * * * * [misc]points: Setting MPFR precision to 1344 1544603993.465 * * * * [misc]points: Computing exacts on every 15 of 997 points to ramp up precision 1544603993.468 * * * * [misc]points: Setting MPFR precision to 1088 1544603993.497 * * * * [misc]points: Setting MPFR precision to 1344 1544603993.526 * * * * [misc]points: Computing exacts on every 7 of 997 points to ramp up precision 1544603993.528 * * * * [misc]points: Setting MPFR precision to 1088 1544603993.561 * * * * [misc]points: Setting MPFR precision to 1344 1544603993.604 * * * * [misc]points: Computing exacts on every 3 of 997 points to ramp up precision 1544603993.607 * * * * [misc]points: Setting MPFR precision to 1088 1544603993.760 * * * * [misc]points: Setting MPFR precision to 1344 1544603993.877 * * * * [misc]points: Computing exacts for 997 points 1544603993.880 * * * * [misc]points: Setting MPFR precision to 1088 1544603994.275 * * * * [misc]points: Setting MPFR precision to 1344 1544603994.783 * * * * [misc]points: Filtering points with unrepresentable outputs 1544603994.784 * * * * [misc]points: Sampling 510 additional inputs, on iter 4 have 7490 / 8000 1544603994.786 * * * * [misc]points: Computing exacts on every 31 of 510 points to ramp up precision 1544603994.788 * * * * [misc]points: Setting MPFR precision to 1088 1544603994.791 * * * * [misc]points: Setting MPFR precision to 1344 1544603994.796 * * * * [misc]points: Computing exacts on every 15 of 510 points to ramp up precision 1544603994.799 * * * * [misc]points: Setting MPFR precision to 1088 1544603994.807 * * * * [misc]points: Setting MPFR precision to 1344 1544603994.818 * * * * [misc]points: Computing exacts on every 7 of 510 points to ramp up precision 1544603994.821 * * * * [misc]points: Setting MPFR precision to 1088 1544603994.892 * * * * [misc]points: Setting MPFR precision to 1344 1544603994.913 * * * * [misc]points: Computing exacts on every 3 of 510 points to ramp up precision 1544603994.917 * * * * [misc]points: Setting MPFR precision to 1088 1544603994.954 * * * * [misc]points: Setting MPFR precision to 1344 1544603994.990 * * * * [misc]points: Computing exacts for 510 points 1544603994.992 * * * * [misc]points: Setting MPFR precision to 1088 1544603995.180 * * * * [misc]points: Setting MPFR precision to 1344 1544603995.413 * * * * [misc]points: Filtering points with unrepresentable outputs 1544603995.414 * * * * [misc]points: Sampling 250 additional inputs, on iter 5 have 7750 / 8000 1544603995.415 * * * * [misc]points: Computing exacts on every 15 of 250 points to ramp up precision 1544603995.417 * * * * [misc]points: Setting MPFR precision to 1088 1544603995.420 * * * * [misc]points: Setting MPFR precision to 1344 1544603995.431 * * * * [misc]points: Computing exacts on every 7 of 250 points to ramp up precision 1544603995.435 * * * * [misc]points: Setting MPFR precision to 1088 1544603995.449 * * * * [misc]points: Setting MPFR precision to 1344 1544603995.470 * * * * [misc]points: Computing exacts on every 3 of 250 points to ramp up precision 1544603995.473 * * * * [misc]points: Setting MPFR precision to 1088 1544603995.501 * * * * [misc]points: Setting MPFR precision to 1344 1544603995.536 * * * * [misc]points: Computing exacts for 250 points 1544603995.539 * * * * [misc]points: Setting MPFR precision to 1088 1544603995.704 * * * * [misc]points: Setting MPFR precision to 1344 1544603995.792 * * * * [misc]points: Filtering points with unrepresentable outputs 1544603995.792 * * * * [misc]points: Sampling 113 additional inputs, on iter 6 have 7887 / 8000 1544603995.793 * * * * [misc]points: Computing exacts on every 7 of 113 points to ramp up precision 1544603995.794 * * * * [misc]points: Setting MPFR precision to 1088 1544603995.798 * * * * [misc]points: Setting MPFR precision to 1344 1544603995.802 * * * * [misc]points: Computing exacts on every 3 of 113 points to ramp up precision 1544603995.804 * * * * [misc]points: Setting MPFR precision to 1088 1544603995.811 * * * * [misc]points: Setting MPFR precision to 1344 1544603995.820 * * * * [misc]points: Computing exacts for 113 points 1544603995.822 * * * * [misc]points: Setting MPFR precision to 1088 1544603995.851 * * * * [misc]points: Setting MPFR precision to 1344 1544603995.883 * * * * [misc]points: Filtering points with unrepresentable outputs 1544603995.883 * * * * [misc]points: Sampling 55 additional inputs, on iter 7 have 7945 / 8000 1544603995.884 * * * * [misc]points: Computing exacts on every 3 of 55 points to ramp up precision 1544603995.885 * * * * [misc]points: Setting MPFR precision to 1088 1544603995.889 * * * * [misc]points: Setting MPFR precision to 1344 1544603995.892 * * * * [misc]points: Computing exacts for 55 points 1544603995.894 * * * * [misc]points: Setting MPFR precision to 1088 1544603995.935 * * * * [misc]points: Setting MPFR precision to 1344 1544603995.963 * * * * [misc]points: Filtering points with unrepresentable outputs 1544603995.964 * * * * [misc]points: Sampling 18 additional inputs, on iter 8 have 7982 / 8000 1544603995.964 * * * * [misc]points: Computing exacts for 18 points 1544603995.967 * * * * [misc]points: Setting MPFR precision to 1088 1544603995.974 * * * * [misc]points: Setting MPFR precision to 1344 1544603995.982 * * * * [misc]points: Filtering points with unrepresentable outputs 1544603995.982 * * * * [misc]points: Sampling 12 additional inputs, on iter 9 have 7988 / 8000 1544603995.982 * * * * [misc]points: Computing exacts for 12 points 1544603995.985 * * * * [misc]points: Setting MPFR precision to 1088 1544603995.989 * * * * [misc]points: Setting MPFR precision to 1344 1544603995.996 * * * * [misc]points: Filtering points with unrepresentable outputs 1544603995.996 * * * * [misc]points: Sampling 8 additional inputs, on iter 10 have 7992 / 8000 1544603995.996 * * * * [misc]points: Computing exacts for 8 points 1544603995.999 * * * * [misc]points: Setting MPFR precision to 1088 1544603996.003 * * * * [misc]points: Setting MPFR precision to 1344 1544603996.007 * * * * [misc]points: Filtering points with unrepresentable outputs 1544603996.008 * * * * [misc]points: Sampling 4 additional inputs, on iter 11 have 7997 / 8000 1544603996.008 * * * * [misc]points: Computing exacts for 4 points 1544603996.011 * * * * [misc]points: Setting MPFR precision to 1088 1544603996.014 * * * * [misc]points: Setting MPFR precision to 1344 1544603996.017 * * * * [misc]points: Filtering points with unrepresentable outputs 1544603996.017 * * * * [misc]points: Sampling 4 additional inputs, on iter 12 have 7999 / 8000 1544603996.018 * * * * [misc]points: Computing exacts for 4 points 1544603996.021 * * * * [misc]points: Setting MPFR precision to 1088 1544603996.023 * * * * [misc]points: Setting MPFR precision to 1344 1544603996.025 * * * * [misc]points: Filtering points with unrepresentable outputs 1544603996.025 * * * * [exit]points: Sampled 8000 points with exact outputs