1536752118.730 * [misc]progress: [Phase 1 of 3] Setting up. 1536752118.731 * * * [misc]progress: [1/2] Preparing points 1536752118.731 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1536752118.735 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1536752119.067 * * * * [misc]points: Setting MPFR precision to 64 1536752119.072 * * * * [misc]points: Setting MPFR precision to 320 1536752119.074 * * * * [misc]points: Setting MPFR precision to 576 1536752119.076 * * * * [misc]points: Setting MPFR precision to 832 1536752119.079 * * * * [misc]points: Setting MPFR precision to 1088 1536752119.084 * * * * [misc]points: Setting MPFR precision to 1344 1536752119.088 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1536752119.092 * * * * [misc]points: Setting MPFR precision to 1088 1536752119.098 * * * * [misc]points: Setting MPFR precision to 1344 1536752119.106 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1536752119.109 * * * * [misc]points: Setting MPFR precision to 1088 1536752119.122 * * * * [misc]points: Setting MPFR precision to 1344 1536752119.136 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1536752119.139 * * * * [misc]points: Setting MPFR precision to 1088 1536752119.161 * * * * [misc]points: Setting MPFR precision to 1344 1536752119.184 * * * * [misc]points: Computing exacts for 256 points 1536752119.187 * * * * [misc]points: Setting MPFR precision to 1088 1536752119.275 * * * * [misc]points: Setting MPFR precision to 1344 1536752119.349 * * * * [misc]points: Filtering points with unrepresentable outputs 1536752119.350 * * * * [misc]points: Sampling 130 additional inputs, on iter 1 have 126 / 256 1536752119.350 * * * * [misc]points: Computing exacts on every 8 of 130 points to ramp up precision 1536752119.353 * * * * [misc]points: Setting MPFR precision to 1088 1536752119.356 * * * * [misc]points: Setting MPFR precision to 1344 1536752119.361 * * * * [misc]points: Computing exacts on every 4 of 130 points to ramp up precision 1536752119.364 * * * * [misc]points: Setting MPFR precision to 1088 1536752119.370 * * * * [misc]points: Setting MPFR precision to 1344 1536752119.378 * * * * [misc]points: Computing exacts on every 2 of 130 points to ramp up precision 1536752119.381 * * * * [misc]points: Setting MPFR precision to 1088 1536752119.391 * * * * [misc]points: Setting MPFR precision to 1344 1536752119.405 * * * * [misc]points: Computing exacts for 130 points 1536752119.410 * * * * [misc]points: Setting MPFR precision to 1088 1536752119.466 * * * * [misc]points: Setting MPFR precision to 1344 1536752119.535 * * * * [misc]points: Filtering points with unrepresentable outputs 1536752119.535 * * * * [misc]points: Sampling 62 additional inputs, on iter 2 have 194 / 256 1536752119.536 * * * * [misc]points: Computing exacts on every 3 of 62 points to ramp up precision 1536752119.541 * * * * [misc]points: Setting MPFR precision to 1088 1536752119.548 * * * * [misc]points: Setting MPFR precision to 1344 1536752119.557 * * * * [misc]points: Computing exacts for 62 points 1536752119.562 * * * * [misc]points: Setting MPFR precision to 1088 1536752119.591 * * * * [misc]points: Setting MPFR precision to 1344 1536752119.623 * * * * [misc]points: Filtering points with unrepresentable outputs 1536752119.623 * * * * [misc]points: Sampling 31 additional inputs, on iter 3 have 225 / 256 1536752119.624 * * * * [misc]points: Computing exacts for 31 points 1536752119.629 * * * * [misc]points: Setting MPFR precision to 1088 1536752119.644 * * * * [misc]points: Setting MPFR precision to 1344 1536752119.656 * * * * [misc]points: Filtering points with unrepresentable outputs 1536752119.656 * * * * [misc]points: Sampling 15 additional inputs, on iter 4 have 241 / 256 1536752119.656 * * * * [misc]points: Computing exacts for 15 points 1536752119.659 * * * * [misc]points: Setting MPFR precision to 1088 1536752119.662 * * * * [misc]points: Setting MPFR precision to 1344 1536752119.666 * * * * [misc]points: Filtering points with unrepresentable outputs 1536752119.666 * * * * [misc]points: Sampling 4 additional inputs, on iter 5 have 253 / 256 1536752119.666 * * * * [misc]points: Computing exacts for 4 points 1536752119.669 * * * * [misc]points: Setting MPFR precision to 1088 1536752119.670 * * * * [misc]points: Setting MPFR precision to 1344 1536752119.671 * * * * [misc]points: Filtering points with unrepresentable outputs 1536752119.671 * * * * [misc]points: Sampling 4 additional inputs, on iter 6 have 255 / 256 1536752119.671 * * * * [misc]points: Computing exacts for 4 points 1536752119.674 * * * * [misc]points: Setting MPFR precision to 1088 1536752119.675 * * * * [misc]points: Setting MPFR precision to 1344 1536752119.675 * * * * [misc]points: Filtering points with unrepresentable outputs 1536752119.676 * * * * [exit]points: Sampled 257 points with exact outputs 1536752119.676 * * * [misc]progress: [2/2] Setting up program. 1536752119.681 * [misc]progress: [Phase 2 of 3] Improving. 1536752119.682 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1536752119.684 * * [misc]simplify: iters left: 6 (12 enodes) 1536752119.708 * * [misc]simplify: iters left: 5 (16 enodes) 1536752119.712 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1536752119.733 * * [misc]progress: iteration 1 / 4 1536752119.733 * * * [misc]progress: picking best candidate 1536752119.741 * * * * [misc]pick: Picked # 1536752119.741 * * * [misc]progress: localizing error 1536752119.908 * * * [misc]progress: generating rewritten candidates 1536752119.908 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 1) 1536752119.923 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1 2) 1536752119.924 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 1) 1536752119.925 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1) 1536752119.945 * * * [misc]progress: generating series expansions 1536752119.945 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 1) 1536752119.946 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1 2) 1536752119.946 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 1) 1536752119.946 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1) 1536752119.946 * * * [misc]progress: simplifying candidates 1536752119.946 * * * * [misc]progress: [ 1 / 6 ] simplifiying candidate # 1536752119.946 * * * * [misc]progress: [ 2 / 6 ] simplifiying candidate # 1536752119.946 * * * * [misc]progress: [ 3 / 6 ] simplifiying candidate # 1536752119.946 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1536752119.947 * * [misc]simplify: iters left: 6 (12 enodes) 1536752119.950 * * [misc]simplify: iters left: 5 (16 enodes) 1536752119.953 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1536752119.953 * [misc]simplify: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1536752119.953 * * * * [misc]progress: [ 4 / 6 ] simplifiying candidate # 1536752119.954 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1536752119.954 * * [misc]simplify: iters left: 6 (12 enodes) 1536752119.957 * * [misc]simplify: iters left: 5 (16 enodes) 1536752119.960 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1536752119.960 * [misc]simplify: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1536752119.960 * * * * [misc]progress: [ 5 / 6 ] simplifiying candidate # 1536752119.961 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1536752119.961 * * [misc]simplify: iters left: 6 (12 enodes) 1536752119.964 * * [misc]simplify: iters left: 5 (16 enodes) 1536752119.967 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1536752119.967 * [misc]simplify: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1536752119.967 * * * * [misc]progress: [ 6 / 6 ] simplifiying candidate # 1536752119.967 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1536752119.968 * * [misc]simplify: iters left: 6 (12 enodes) 1536752119.971 * * [misc]simplify: iters left: 5 (16 enodes) 1536752119.974 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1536752119.974 * [misc]simplify: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1536752119.974 * * * [misc]progress: adding candidates to table 1536752120.036 * [misc]progress: [Phase 3 of 3] Extracting. 1536752120.045 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1536752120.046 * * [misc]simplify: iters left: 6 (12 enodes) 1536752120.048 * * [misc]simplify: iters left: 5 (13 enodes) 1536752120.051 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1536752120.052 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1536752120.124 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1536752120.130 * * * * [misc]points: Setting MPFR precision to 1088 1536752120.136 * * * * [misc]points: Setting MPFR precision to 1344 1536752120.143 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1536752120.148 * * * * [misc]points: Setting MPFR precision to 1088 1536752120.159 * * * * [misc]points: Setting MPFR precision to 1344 1536752120.168 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1536752120.173 * * * * [misc]points: Setting MPFR precision to 1088 1536752120.189 * * * * [misc]points: Setting MPFR precision to 1344 1536752120.209 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1536752120.212 * * * * [misc]points: Setting MPFR precision to 1088 1536752120.260 * * * * [misc]points: Setting MPFR precision to 1344 1536752120.339 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1536752120.342 * * * * [misc]points: Setting MPFR precision to 1088 1536752120.410 * * * * [misc]points: Setting MPFR precision to 1344 1536752120.508 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1536752120.514 * * * * [misc]points: Setting MPFR precision to 1088 1536752120.789 * * * * [misc]points: Setting MPFR precision to 1344 1536752121.042 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1536752121.046 * * * * [misc]points: Setting MPFR precision to 1088 1536752121.862 * * * * [misc]points: Setting MPFR precision to 1344 1536752122.339 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1536752122.344 * * * * [misc]points: Setting MPFR precision to 1088 1536752123.128 * * * * [misc]points: Setting MPFR precision to 1344 1536752124.168 * * * * [misc]points: Computing exacts for 8000 points 1536752124.173 * * * * [misc]points: Setting MPFR precision to 1088 1536752127.642 * * * * [misc]points: Setting MPFR precision to 1344 1536752131.769 * * * * [misc]points: Filtering points with unrepresentable outputs 1536752131.772 * * * * [misc]points: Sampling 3902 additional inputs, on iter 1 have 4098 / 8000 1536752131.805 * * * * [misc]points: Computing exacts on every 243 of 3902 points to ramp up precision 1536752131.835 * * * * [misc]points: Setting MPFR precision to 1088 1536752131.839 * * * * [misc]points: Setting MPFR precision to 1344 1536752131.843 * * * * [misc]points: Computing exacts on every 121 of 3902 points to ramp up precision 1536752131.850 * * * * [misc]points: Setting MPFR precision to 1088 1536752131.864 * * * * [misc]points: Setting MPFR precision to 1344 1536752131.879 * * * * [misc]points: Computing exacts on every 60 of 3902 points to ramp up precision 1536752131.885 * * * * [misc]points: Setting MPFR precision to 1088 1536752131.913 * * * * [misc]points: Setting MPFR precision to 1344 1536752131.948 * * * * [misc]points: Computing exacts on every 30 of 3902 points to ramp up precision 1536752131.953 * * * * [misc]points: Setting MPFR precision to 1088 1536752131.980 * * * * [misc]points: Setting MPFR precision to 1344 1536752132.015 * * * * [misc]points: Computing exacts on every 15 of 3902 points to ramp up precision 1536752132.018 * * * * [misc]points: Setting MPFR precision to 1088 1536752132.127 * * * * [misc]points: Setting MPFR precision to 1344 1536752132.258 * * * * [misc]points: Computing exacts on every 7 of 3902 points to ramp up precision 1536752132.264 * * * * [misc]points: Setting MPFR precision to 1088 1536752132.460 * * * * [misc]points: Setting MPFR precision to 1344 1536752132.659 * * * * [misc]points: Computing exacts on every 3 of 3902 points to ramp up precision 1536752132.665 * * * * [misc]points: Setting MPFR precision to 1088 1536752133.414 * * * * [misc]points: Setting MPFR precision to 1344 1536752133.870 * * * * [misc]points: Computing exacts for 3902 points 1536752133.874 * * * * [misc]points: Setting MPFR precision to 1088 1536752135.275 * * * * [misc]points: Setting MPFR precision to 1344 1536752137.404 * * * * [misc]points: Filtering points with unrepresentable outputs 1536752137.406 * * * * [misc]points: Sampling 1967 additional inputs, on iter 2 have 6033 / 8000 1536752137.421 * * * * [misc]points: Computing exacts on every 122 of 1967 points to ramp up precision 1536752137.459 * * * * [misc]points: Setting MPFR precision to 1088 1536752137.465 * * * * [misc]points: Setting MPFR precision to 1344 1536752137.473 * * * * [misc]points: Computing exacts on every 61 of 1967 points to ramp up precision 1536752137.478 * * * * [misc]points: Setting MPFR precision to 1088 1536752137.490 * * * * [misc]points: Setting MPFR precision to 1344 1536752137.505 * * * * [misc]points: Computing exacts on every 30 of 1967 points to ramp up precision 1536752137.510 * * * * [misc]points: Setting MPFR precision to 1088 1536752137.535 * * * * [misc]points: Setting MPFR precision to 1344 1536752137.566 * * * * [misc]points: Computing exacts on every 15 of 1967 points to ramp up precision 1536752137.571 * * * * [misc]points: Setting MPFR precision to 1088 1536752137.616 * * * * [misc]points: Setting MPFR precision to 1344 1536752137.654 * * * * [misc]points: Computing exacts on every 7 of 1967 points to ramp up precision 1536752137.657 * * * * [misc]points: Setting MPFR precision to 1088 1536752137.768 * * * * [misc]points: Setting MPFR precision to 1344 1536752137.844 * * * * [misc]points: Computing exacts on every 3 of 1967 points to ramp up precision 1536752137.847 * * * * [misc]points: Setting MPFR precision to 1088 1536752138.028 * * * * [misc]points: Setting MPFR precision to 1344 1536752138.293 * * * * [misc]points: Computing exacts for 1967 points 1536752138.298 * * * * [misc]points: Setting MPFR precision to 1088 1536752139.087 * * * * [misc]points: Setting MPFR precision to 1344 1536752139.849 * * * * [misc]points: Filtering points with unrepresentable outputs 1536752139.850 * * * * [misc]points: Sampling 973 additional inputs, on iter 3 have 7027 / 8000 1536752139.857 * * * * [misc]points: Computing exacts on every 60 of 973 points to ramp up precision 1536752139.893 * * * * [misc]points: Setting MPFR precision to 1088 1536752139.896 * * * * [misc]points: Setting MPFR precision to 1344 1536752139.900 * * * * [misc]points: Computing exacts on every 30 of 973 points to ramp up precision 1536752139.905 * * * * [misc]points: Setting MPFR precision to 1088 1536752139.912 * * * * [misc]points: Setting MPFR precision to 1344 1536752139.920 * * * * [misc]points: Computing exacts on every 15 of 973 points to ramp up precision 1536752139.923 * * * * [misc]points: Setting MPFR precision to 1088 1536752139.949 * * * * [misc]points: Setting MPFR precision to 1344 1536752139.980 * * * * [misc]points: Computing exacts on every 7 of 973 points to ramp up precision 1536752139.985 * * * * [misc]points: Setting MPFR precision to 1088 1536752140.025 * * * * [misc]points: Setting MPFR precision to 1344 1536752140.060 * * * * [misc]points: Computing exacts on every 3 of 973 points to ramp up precision 1536752140.063 * * * * [misc]points: Setting MPFR precision to 1088 1536752140.552 * * * * [misc]points: Setting MPFR precision to 1344 1536752140.683 * * * * [misc]points: Computing exacts for 973 points 1536752140.686 * * * * [misc]points: Setting MPFR precision to 1088 1536752141.005 * * * * [misc]points: Setting MPFR precision to 1344 1536752141.463 * * * * [misc]points: Filtering points with unrepresentable outputs 1536752141.463 * * * * [misc]points: Sampling 494 additional inputs, on iter 4 have 7506 / 8000 1536752141.465 * * * * [misc]points: Computing exacts on every 30 of 494 points to ramp up precision 1536752141.468 * * * * [misc]points: Setting MPFR precision to 1088 1536752141.473 * * * * [misc]points: Setting MPFR precision to 1344 1536752141.477 * * * * [misc]points: Computing exacts on every 15 of 494 points to ramp up precision 1536752141.480 * * * * [misc]points: Setting MPFR precision to 1088 1536752141.487 * * * * [misc]points: Setting MPFR precision to 1344 1536752141.497 * * * * [misc]points: Computing exacts on every 7 of 494 points to ramp up precision 1536752141.500 * * * * [misc]points: Setting MPFR precision to 1088 1536752141.551 * * * * [misc]points: Setting MPFR precision to 1344 1536752141.577 * * * * [misc]points: Computing exacts on every 3 of 494 points to ramp up precision 1536752141.580 * * * * [misc]points: Setting MPFR precision to 1088 1536752141.607 * * * * [misc]points: Setting MPFR precision to 1344 1536752141.644 * * * * [misc]points: Computing exacts for 494 points 1536752141.647 * * * * [misc]points: Setting MPFR precision to 1088 1536752141.860 * * * * [misc]points: Setting MPFR precision to 1344 1536752142.121 * * * * [misc]points: Filtering points with unrepresentable outputs 1536752142.122 * * * * [misc]points: Sampling 247 additional inputs, on iter 5 have 7753 / 8000 1536752142.124 * * * * [misc]points: Computing exacts on every 15 of 247 points to ramp up precision 1536752142.130 * * * * [misc]points: Setting MPFR precision to 1088 1536752142.136 * * * * [misc]points: Setting MPFR precision to 1344 1536752142.145 * * * * [misc]points: Computing exacts on every 7 of 247 points to ramp up precision 1536752142.151 * * * * [misc]points: Setting MPFR precision to 1088 1536752142.163 * * * * [misc]points: Setting MPFR precision to 1344 1536752142.179 * * * * [misc]points: Computing exacts on every 3 of 247 points to ramp up precision 1536752142.185 * * * * [misc]points: Setting MPFR precision to 1088 1536752142.211 * * * * [misc]points: Setting MPFR precision to 1344 1536752142.287 * * * * [misc]points: Computing exacts for 247 points 1536752142.293 * * * * [misc]points: Setting MPFR precision to 1088 1536752142.401 * * * * [misc]points: Setting MPFR precision to 1344 1536752142.498 * * * * [misc]points: Filtering points with unrepresentable outputs 1536752142.498 * * * * [misc]points: Sampling 129 additional inputs, on iter 6 have 7871 / 8000 1536752142.499 * * * * [misc]points: Computing exacts on every 8 of 129 points to ramp up precision 1536752142.504 * * * * [misc]points: Setting MPFR precision to 1088 1536752142.508 * * * * [misc]points: Setting MPFR precision to 1344 1536752142.517 * * * * [misc]points: Computing exacts on every 4 of 129 points to ramp up precision 1536752142.522 * * * * [misc]points: Setting MPFR precision to 1088 1536752142.532 * * * * [misc]points: Setting MPFR precision to 1344 1536752142.545 * * * * [misc]points: Computing exacts on every 2 of 129 points to ramp up precision 1536752142.550 * * * * [misc]points: Setting MPFR precision to 1088 1536752142.609 * * * * [misc]points: Setting MPFR precision to 1344 1536752142.632 * * * * [misc]points: Computing exacts for 129 points 1536752142.638 * * * * [misc]points: Setting MPFR precision to 1088 1536752142.692 * * * * [misc]points: Setting MPFR precision to 1344 1536752142.765 * * * * [misc]points: Filtering points with unrepresentable outputs 1536752142.765 * * * * [misc]points: Sampling 68 additional inputs, on iter 7 have 7932 / 8000 1536752142.766 * * * * [misc]points: Computing exacts on every 4 of 68 points to ramp up precision 1536752142.771 * * * * [misc]points: Setting MPFR precision to 1088 1536752142.776 * * * * [misc]points: Setting MPFR precision to 1344 1536752142.781 * * * * [misc]points: Computing exacts on every 2 of 68 points to ramp up precision 1536752142.787 * * * * [misc]points: Setting MPFR precision to 1088 1536752142.795 * * * * [misc]points: Setting MPFR precision to 1344 1536752142.806 * * * * [misc]points: Computing exacts for 68 points 1536752142.811 * * * * [misc]points: Setting MPFR precision to 1088 1536752142.837 * * * * [misc]points: Setting MPFR precision to 1344 1536752142.865 * * * * [misc]points: Filtering points with unrepresentable outputs 1536752142.865 * * * * [misc]points: Sampling 36 additional inputs, on iter 8 have 7964 / 8000 1536752142.865 * * * * [misc]points: Computing exacts on every 2 of 36 points to ramp up precision 1536752142.868 * * * * [misc]points: Setting MPFR precision to 1088 1536752142.871 * * * * [misc]points: Setting MPFR precision to 1344 1536752142.896 * * * * [misc]points: Computing exacts for 36 points 1536752142.902 * * * * [misc]points: Setting MPFR precision to 1088 1536752142.920 * * * * [misc]points: Setting MPFR precision to 1344 1536752142.938 * * * * [misc]points: Filtering points with unrepresentable outputs 1536752142.938 * * * * [misc]points: Sampling 16 additional inputs, on iter 9 have 7984 / 8000 1536752142.938 * * * * [misc]points: Computing exacts for 16 points 1536752142.944 * * * * [misc]points: Setting MPFR precision to 1088 1536752142.951 * * * * [misc]points: Setting MPFR precision to 1344 1536752142.959 * * * * [misc]points: Filtering points with unrepresentable outputs 1536752142.959 * * * * [misc]points: Sampling 11 additional inputs, on iter 10 have 7989 / 8000 1536752142.960 * * * * [misc]points: Computing exacts for 11 points 1536752142.965 * * * * [misc]points: Setting MPFR precision to 1088 1536752142.970 * * * * [misc]points: Setting MPFR precision to 1344 1536752142.976 * * * * [misc]points: Filtering points with unrepresentable outputs 1536752142.976 * * * * [misc]points: Sampling 8 additional inputs, on iter 11 have 7992 / 8000 1536752142.976 * * * * [misc]points: Computing exacts for 8 points 1536752142.982 * * * * [misc]points: Setting MPFR precision to 1088 1536752142.986 * * * * [misc]points: Setting MPFR precision to 1344 1536752142.990 * * * * [misc]points: Filtering points with unrepresentable outputs 1536752142.990 * * * * [misc]points: Sampling 5 additional inputs, on iter 12 have 7995 / 8000 1536752142.991 * * * * [misc]points: Computing exacts for 5 points 1536752142.996 * * * * [misc]points: Setting MPFR precision to 1088 1536752142.999 * * * * [misc]points: Setting MPFR precision to 1344 1536752143.001 * * * * [misc]points: Filtering points with unrepresentable outputs 1536752143.002 * * * * [exit]points: Sampled 8000 points with exact outputs