1537023209.255 * [misc]progress: [Phase 1 of 3] Setting up. 1537023209.256 * * * [misc]progress: [1/2] Preparing points 1537023209.256 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1537023209.259 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1537023209.311 * * * * [misc]points: Setting MPFR precision to 64 1537023209.359 * * * * [misc]points: Setting MPFR precision to 320 1537023209.362 * * * * [misc]points: Setting MPFR precision to 576 1537023209.367 * * * * [misc]points: Setting MPFR precision to 832 1537023209.372 * * * * [misc]points: Setting MPFR precision to 1088 1537023209.379 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1537023209.383 * * * * [misc]points: Setting MPFR precision to 832 1537023209.391 * * * * [misc]points: Setting MPFR precision to 1088 1537023209.398 * * * * [misc]points: Setting MPFR precision to 1344 1537023209.408 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1537023209.410 * * * * [misc]points: Setting MPFR precision to 1088 1537023209.422 * * * * [misc]points: Setting MPFR precision to 1344 1537023209.437 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1537023209.439 * * * * [misc]points: Setting MPFR precision to 1088 1537023209.472 * * * * [misc]points: Setting MPFR precision to 1344 1537023209.500 * * * * [misc]points: Computing exacts for 256 points 1537023209.502 * * * * [misc]points: Setting MPFR precision to 1088 1537023209.572 * * * * [misc]points: Setting MPFR precision to 1344 1537023209.734 * * * * [misc]points: Filtering points with unrepresentable outputs 1537023209.735 * * * * [misc]points: Sampling 112 additional inputs, on iter 1 have 144 / 256 1537023209.735 * * * * [misc]points: Computing exacts on every 7 of 112 points to ramp up precision 1537023209.737 * * * * [misc]points: Setting MPFR precision to 1088 1537023209.741 * * * * [misc]points: Setting MPFR precision to 1344 1537023209.744 * * * * [misc]points: Computing exacts on every 3 of 112 points to ramp up precision 1537023209.746 * * * * [misc]points: Setting MPFR precision to 1088 1537023209.753 * * * * [misc]points: Setting MPFR precision to 1344 1537023209.766 * * * * [misc]points: Computing exacts for 112 points 1537023209.769 * * * * [misc]points: Setting MPFR precision to 1088 1537023209.818 * * * * [misc]points: Setting MPFR precision to 1344 1537023209.876 * * * * [misc]points: Filtering points with unrepresentable outputs 1537023209.876 * * * * [misc]points: Sampling 51 additional inputs, on iter 2 have 205 / 256 1537023209.877 * * * * [misc]points: Computing exacts on every 3 of 51 points to ramp up precision 1537023209.880 * * * * [misc]points: Setting MPFR precision to 1088 1537023209.886 * * * * [misc]points: Setting MPFR precision to 1344 1537023209.894 * * * * [misc]points: Computing exacts for 51 points 1537023209.897 * * * * [misc]points: Setting MPFR precision to 1088 1537023209.919 * * * * [misc]points: Setting MPFR precision to 1344 1537023209.945 * * * * [misc]points: Filtering points with unrepresentable outputs 1537023209.945 * * * * [misc]points: Sampling 29 additional inputs, on iter 3 have 227 / 256 1537023209.945 * * * * [misc]points: Computing exacts for 29 points 1537023209.948 * * * * [misc]points: Setting MPFR precision to 1088 1537023209.961 * * * * [misc]points: Setting MPFR precision to 1344 1537023209.977 * * * * [misc]points: Filtering points with unrepresentable outputs 1537023209.978 * * * * [misc]points: Sampling 15 additional inputs, on iter 4 have 241 / 256 1537023209.978 * * * * [misc]points: Computing exacts for 15 points 1537023209.981 * * * * [misc]points: Setting MPFR precision to 1088 1537023209.987 * * * * [misc]points: Setting MPFR precision to 1344 1537023209.995 * * * * [misc]points: Filtering points with unrepresentable outputs 1537023209.995 * * * * [misc]points: Sampling 6 additional inputs, on iter 5 have 250 / 256 1537023209.995 * * * * [misc]points: Computing exacts for 6 points 1537023209.998 * * * * [misc]points: Setting MPFR precision to 1088 1537023210.002 * * * * [misc]points: Setting MPFR precision to 1344 1537023210.005 * * * * [misc]points: Filtering points with unrepresentable outputs 1537023210.005 * * * * [misc]points: Sampling 4 additional inputs, on iter 6 have 252 / 256 1537023210.006 * * * * [misc]points: Computing exacts for 4 points 1537023210.009 * * * * [misc]points: Setting MPFR precision to 1088 1537023210.010 * * * * [misc]points: Setting MPFR precision to 1344 1537023210.012 * * * * [misc]points: Filtering points with unrepresentable outputs 1537023210.012 * * * * [misc]points: Sampling 4 additional inputs, on iter 7 have 253 / 256 1537023210.013 * * * * [misc]points: Computing exacts for 4 points 1537023210.015 * * * * [misc]points: Setting MPFR precision to 1088 1537023210.057 * * * * [misc]points: Setting MPFR precision to 1344 1537023210.059 * * * * [misc]points: Filtering points with unrepresentable outputs 1537023210.059 * * * * [exit]points: Sampled 256 points with exact outputs 1537023210.059 * * * [misc]progress: [2/2] Setting up program. 1537023210.075 * [misc]progress: [Phase 2 of 3] Improving. 1537023210.076 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1537023210.079 * * [misc]simplify: iters left: 6 (12 enodes) 1537023210.090 * * [misc]simplify: iters left: 5 (16 enodes) 1537023210.099 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1537023210.128 * * [misc]progress: iteration 1 / 4 1537023210.128 * * * [misc]progress: picking best candidate 1537023210.141 * * * * [misc]pick: Picked # 1537023210.141 * * * [misc]progress: localizing error 1537023210.705 * * * [misc]progress: generating rewritten candidates 1537023210.706 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 1) 1537023210.726 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1 1) 1537023210.727 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 2) 1537023210.729 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1) 1537023210.756 * * * [misc]progress: generating series expansions 1537023210.757 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 1) 1537023210.757 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1 1) 1537023210.757 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 2) 1537023210.757 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1) 1537023210.758 * * * [misc]progress: simplifying candidates 1537023210.758 * * * * [misc]progress: [ 1 / 6 ] simplifiying candidate # 1537023210.758 * * * * [misc]progress: [ 2 / 6 ] simplifiying candidate # 1537023210.758 * * * * [misc]progress: [ 3 / 6 ] simplifiying candidate # 1537023210.758 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1537023210.760 * * [misc]simplify: iters left: 6 (14 enodes) 1537023210.765 * * [misc]simplify: iters left: 5 (16 enodes) 1537023210.772 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1537023210.772 * [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)))) 1537023210.772 * * * * [misc]progress: [ 4 / 6 ] simplifiying candidate # 1537023210.772 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1537023210.774 * * [misc]simplify: iters left: 6 (14 enodes) 1537023210.793 * * [misc]simplify: iters left: 5 (16 enodes) 1537023210.800 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1537023210.800 * [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)))) 1537023210.800 * * * * [misc]progress: [ 5 / 6 ] simplifiying candidate # 1537023210.801 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1537023210.802 * * [misc]simplify: iters left: 6 (14 enodes) 1537023210.806 * * [misc]simplify: iters left: 5 (16 enodes) 1537023210.810 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1537023210.810 * [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)))) 1537023210.810 * * * * [misc]progress: [ 6 / 6 ] simplifiying candidate # 1537023210.810 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1537023210.811 * * [misc]simplify: iters left: 6 (14 enodes) 1537023210.814 * * [misc]simplify: iters left: 5 (16 enodes) 1537023210.817 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1537023210.817 * [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)))) 1537023210.817 * * * [misc]progress: adding candidates to table 1537023210.923 * [misc]progress: [Phase 3 of 3] Extracting. 1537023210.929 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1537023210.930 * * [misc]simplify: iters left: 6 (14 enodes) 1537023210.931 * * [misc]simplify: iters left: 5 (15 enodes) 1537023210.933 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1537023210.933 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1537023210.993 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1537023210.995 * * * * [misc]points: Setting MPFR precision to 1088 1537023210.999 * * * * [misc]points: Setting MPFR precision to 1344 1537023211.004 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1537023211.006 * * * * [misc]points: Setting MPFR precision to 1088 1537023211.016 * * * * [misc]points: Setting MPFR precision to 1344 1537023211.025 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1537023211.028 * * * * [misc]points: Setting MPFR precision to 1088 1537023211.056 * * * * [misc]points: Setting MPFR precision to 1344 1537023211.089 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1537023211.092 * * * * [misc]points: Setting MPFR precision to 1088 1537023211.151 * * * * [misc]points: Setting MPFR precision to 1344 1537023211.221 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1537023211.224 * * * * [misc]points: Setting MPFR precision to 1088 1537023211.367 * * * * [misc]points: Setting MPFR precision to 1344 1537023211.476 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1537023211.479 * * * * [misc]points: Setting MPFR precision to 1088 1537023211.657 * * * * [misc]points: Setting MPFR precision to 1344 1537023211.925 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1537023211.928 * * * * [misc]points: Setting MPFR precision to 1088 1537023212.385 * * * * [misc]points: Setting MPFR precision to 1344 1537023212.842 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1537023212.845 * * * * [misc]points: Setting MPFR precision to 1088 1537023213.546 * * * * [misc]points: Setting MPFR precision to 1344 1537023214.866 * * * * [misc]points: Computing exacts for 8000 points 1537023214.869 * * * * [misc]points: Setting MPFR precision to 1088 1537023218.574 * * * * [misc]points: Setting MPFR precision to 1344 1537023222.618 * * * * [misc]points: Filtering points with unrepresentable outputs 1537023222.620 * * * * [misc]points: Sampling 3936 additional inputs, on iter 1 have 4064 / 8000 1537023222.637 * * * * [misc]points: Computing exacts on every 246 of 3936 points to ramp up precision 1537023222.639 * * * * [misc]points: Setting MPFR precision to 1088 1537023222.676 * * * * [misc]points: Setting MPFR precision to 1344 1537023222.687 * * * * [misc]points: Computing exacts on every 123 of 3936 points to ramp up precision 1537023222.690 * * * * [misc]points: Setting MPFR precision to 1088 1537023222.705 * * * * [misc]points: Setting MPFR precision to 1344 1537023222.718 * * * * [misc]points: Computing exacts on every 61 of 3936 points to ramp up precision 1537023222.720 * * * * [misc]points: Setting MPFR precision to 1088 1537023222.735 * * * * [misc]points: Setting MPFR precision to 1344 1537023222.754 * * * * [misc]points: Computing exacts on every 30 of 3936 points to ramp up precision 1537023222.756 * * * * [misc]points: Setting MPFR precision to 1088 1537023222.805 * * * * [misc]points: Setting MPFR precision to 1344 1537023222.876 * * * * [misc]points: Computing exacts on every 15 of 3936 points to ramp up precision 1537023222.880 * * * * [misc]points: Setting MPFR precision to 1088 1537023222.975 * * * * [misc]points: Setting MPFR precision to 1344 1537023223.101 * * * * [misc]points: Computing exacts on every 7 of 3936 points to ramp up precision 1537023223.104 * * * * [misc]points: Setting MPFR precision to 1088 1537023223.263 * * * * [misc]points: Setting MPFR precision to 1344 1537023223.507 * * * * [misc]points: Computing exacts on every 3 of 3936 points to ramp up precision 1537023223.509 * * * * [misc]points: Setting MPFR precision to 1088 1537023223.936 * * * * [misc]points: Setting MPFR precision to 1344 1537023224.423 * * * * [misc]points: Computing exacts for 3936 points 1537023224.425 * * * * [misc]points: Setting MPFR precision to 1088 1537023226.423 * * * * [misc]points: Setting MPFR precision to 1344 1537023228.362 * * * * [misc]points: Filtering points with unrepresentable outputs 1537023228.364 * * * * [misc]points: Sampling 1930 additional inputs, on iter 2 have 6070 / 8000 1537023228.381 * * * * [misc]points: Computing exacts on every 120 of 1930 points to ramp up precision 1537023228.384 * * * * [misc]points: Setting MPFR precision to 1088 1537023228.439 * * * * [misc]points: Setting MPFR precision to 1344 1537023228.452 * * * * [misc]points: Computing exacts on every 60 of 1930 points to ramp up precision 1537023228.455 * * * * [misc]points: Setting MPFR precision to 1088 1537023228.470 * * * * [misc]points: Setting MPFR precision to 1344 1537023228.491 * * * * [misc]points: Computing exacts on every 30 of 1930 points to ramp up precision 1537023228.494 * * * * [misc]points: Setting MPFR precision to 1088 1537023228.524 * * * * [misc]points: Setting MPFR precision to 1344 1537023228.546 * * * * [misc]points: Computing exacts on every 15 of 1930 points to ramp up precision 1537023228.549 * * * * [misc]points: Setting MPFR precision to 1088 1537023228.604 * * * * [misc]points: Setting MPFR precision to 1344 1537023228.660 * * * * [misc]points: Computing exacts on every 7 of 1930 points to ramp up precision 1537023228.662 * * * * [misc]points: Setting MPFR precision to 1088 1537023228.734 * * * * [misc]points: Setting MPFR precision to 1344 1537023228.863 * * * * [misc]points: Computing exacts on every 3 of 1930 points to ramp up precision 1537023228.865 * * * * [misc]points: Setting MPFR precision to 1088 1537023229.067 * * * * [misc]points: Setting MPFR precision to 1344 1537023229.750 * * * * [misc]points: Computing exacts for 1930 points 1537023229.753 * * * * [misc]points: Setting MPFR precision to 1088 1537023230.486 * * * * [misc]points: Setting MPFR precision to 1344 1537023231.444 * * * * [misc]points: Filtering points with unrepresentable outputs 1537023231.445 * * * * [misc]points: Sampling 921 additional inputs, on iter 3 have 7079 / 8000 1537023231.449 * * * * [misc]points: Computing exacts on every 57 of 921 points to ramp up precision 1537023231.452 * * * * [misc]points: Setting MPFR precision to 1088 1537023231.458 * * * * [misc]points: Setting MPFR precision to 1344 1537023231.463 * * * * [misc]points: Computing exacts on every 28 of 921 points to ramp up precision 1537023231.466 * * * * [misc]points: Setting MPFR precision to 1088 1537023231.478 * * * * [misc]points: Setting MPFR precision to 1344 1537023231.493 * * * * [misc]points: Computing exacts on every 14 of 921 points to ramp up precision 1537023231.497 * * * * [misc]points: Setting MPFR precision to 1088 1537023231.567 * * * * [misc]points: Setting MPFR precision to 1344 1537023231.584 * * * * [misc]points: Computing exacts on every 7 of 921 points to ramp up precision 1537023231.586 * * * * [misc]points: Setting MPFR precision to 1088 1537023231.634 * * * * [misc]points: Setting MPFR precision to 1344 1537023231.694 * * * * [misc]points: Computing exacts on every 3 of 921 points to ramp up precision 1537023231.697 * * * * [misc]points: Setting MPFR precision to 1088 1537023231.788 * * * * [misc]points: Setting MPFR precision to 1344 1537023231.872 * * * * [misc]points: Computing exacts for 921 points 1537023231.874 * * * * [misc]points: Setting MPFR precision to 1088 1537023232.263 * * * * [misc]points: Setting MPFR precision to 1344 1537023232.814 * * * * [misc]points: Filtering points with unrepresentable outputs 1537023232.815 * * * * [misc]points: Sampling 449 additional inputs, on iter 4 have 7551 / 8000 1537023232.819 * * * * [misc]points: Computing exacts on every 28 of 449 points to ramp up precision 1537023232.827 * * * * [misc]points: Setting MPFR precision to 1088 1537023232.834 * * * * [misc]points: Setting MPFR precision to 1344 1537023232.844 * * * * [misc]points: Computing exacts on every 14 of 449 points to ramp up precision 1537023232.847 * * * * [misc]points: Setting MPFR precision to 1088 1537023232.861 * * * * [misc]points: Setting MPFR precision to 1344 1537023232.875 * * * * [misc]points: Computing exacts on every 7 of 449 points to ramp up precision 1537023232.878 * * * * [misc]points: Setting MPFR precision to 1088 1537023232.903 * * * * [misc]points: Setting MPFR precision to 1344 1537023232.930 * * * * [misc]points: Computing exacts on every 3 of 449 points to ramp up precision 1537023232.933 * * * * [misc]points: Setting MPFR precision to 1088 1537023232.982 * * * * [misc]points: Setting MPFR precision to 1344 1537023233.040 * * * * [misc]points: Computing exacts for 449 points 1537023233.044 * * * * [misc]points: Setting MPFR precision to 1088 1537023233.643 * * * * [misc]points: Setting MPFR precision to 1344 1537023233.796 * * * * [misc]points: Filtering points with unrepresentable outputs 1537023233.796 * * * * [misc]points: Sampling 232 additional inputs, on iter 5 have 7768 / 8000 1537023233.797 * * * * [misc]points: Computing exacts on every 14 of 232 points to ramp up precision 1537023233.800 * * * * [misc]points: Setting MPFR precision to 1088 1537023233.804 * * * * [misc]points: Setting MPFR precision to 1344 1537023233.809 * * * * [misc]points: Computing exacts on every 7 of 232 points to ramp up precision 1537023233.811 * * * * [misc]points: Setting MPFR precision to 1088 1537023233.818 * * * * [misc]points: Setting MPFR precision to 1344 1537023233.831 * * * * [misc]points: Computing exacts on every 3 of 232 points to ramp up precision 1537023233.834 * * * * [misc]points: Setting MPFR precision to 1088 1537023233.849 * * * * [misc]points: Setting MPFR precision to 1344 1537023233.865 * * * * [misc]points: Computing exacts for 232 points 1537023233.867 * * * * [misc]points: Setting MPFR precision to 1088 1537023233.953 * * * * [misc]points: Setting MPFR precision to 1344 1537023234.032 * * * * [misc]points: Filtering points with unrepresentable outputs 1537023234.032 * * * * [misc]points: Sampling 117 additional inputs, on iter 6 have 7883 / 8000 1537023234.033 * * * * [misc]points: Computing exacts on every 7 of 117 points to ramp up precision 1537023234.035 * * * * [misc]points: Setting MPFR precision to 1088 1537023234.039 * * * * [misc]points: Setting MPFR precision to 1344 1537023234.043 * * * * [misc]points: Computing exacts on every 3 of 117 points to ramp up precision 1537023234.045 * * * * [misc]points: Setting MPFR precision to 1088 1537023234.053 * * * * [misc]points: Setting MPFR precision to 1344 1537023234.061 * * * * [misc]points: Computing exacts for 117 points 1537023234.063 * * * * [misc]points: Setting MPFR precision to 1088 1537023234.091 * * * * [misc]points: Setting MPFR precision to 1344 1537023234.124 * * * * [misc]points: Filtering points with unrepresentable outputs 1537023234.124 * * * * [misc]points: Sampling 61 additional inputs, on iter 7 have 7939 / 8000 1537023234.124 * * * * [misc]points: Computing exacts on every 3 of 61 points to ramp up precision 1537023234.126 * * * * [misc]points: Setting MPFR precision to 1088 1537023234.161 * * * * [misc]points: Setting MPFR precision to 1344 1537023234.165 * * * * [misc]points: Computing exacts for 61 points 1537023234.167 * * * * [misc]points: Setting MPFR precision to 1088 1537023234.183 * * * * [misc]points: Setting MPFR precision to 1344 1537023234.201 * * * * [misc]points: Filtering points with unrepresentable outputs 1537023234.201 * * * * [misc]points: Sampling 32 additional inputs, on iter 8 have 7968 / 8000 1537023234.202 * * * * [misc]points: Computing exacts on every 2 of 32 points to ramp up precision 1537023234.204 * * * * [misc]points: Setting MPFR precision to 1088 1537023234.207 * * * * [misc]points: Setting MPFR precision to 1344 1537023234.210 * * * * [misc]points: Computing exacts for 32 points 1537023234.212 * * * * [misc]points: Setting MPFR precision to 1088 1537023234.219 * * * * [misc]points: Setting MPFR precision to 1344 1537023234.228 * * * * [misc]points: Filtering points with unrepresentable outputs 1537023234.228 * * * * [misc]points: Sampling 20 additional inputs, on iter 9 have 7980 / 8000 1537023234.228 * * * * [misc]points: Computing exacts for 20 points 1537023234.230 * * * * [misc]points: Setting MPFR precision to 1088 1537023234.235 * * * * [misc]points: Setting MPFR precision to 1344 1537023234.240 * * * * [misc]points: Filtering points with unrepresentable outputs 1537023234.240 * * * * [misc]points: Sampling 11 additional inputs, on iter 10 have 7989 / 8000 1537023234.240 * * * * [misc]points: Computing exacts for 11 points 1537023234.242 * * * * [misc]points: Setting MPFR precision to 1088 1537023234.245 * * * * [misc]points: Setting MPFR precision to 1344 1537023234.249 * * * * [misc]points: Filtering points with unrepresentable outputs 1537023234.249 * * * * [misc]points: Sampling 5 additional inputs, on iter 11 have 7995 / 8000 1537023234.249 * * * * [misc]points: Computing exacts for 5 points 1537023234.251 * * * * [misc]points: Setting MPFR precision to 1088 1537023234.253 * * * * [misc]points: Setting MPFR precision to 1344 1537023234.255 * * * * [misc]points: Filtering points with unrepresentable outputs 1537023234.255 * * * * [misc]points: Sampling 4 additional inputs, on iter 12 have 7997 / 8000 1537023234.255 * * * * [misc]points: Computing exacts for 4 points 1537023234.257 * * * * [misc]points: Setting MPFR precision to 1088 1537023234.258 * * * * [misc]points: Setting MPFR precision to 1344 1537023234.260 * * * * [misc]points: Filtering points with unrepresentable outputs 1537023234.260 * * * * [exit]points: Sampled 8000 points with exact outputs