1538425339.239 * [misc]progress: [Phase 1 of 3] Setting up. 1538425339.241 * * * [misc]progress: [1/2] Preparing points 1538425339.241 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1538425339.245 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1538425339.377 * * * * [misc]points: Setting MPFR precision to 64 1538425339.381 * * * * [misc]points: Setting MPFR precision to 320 1538425339.384 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1538425339.386 * * * * [misc]points: Setting MPFR precision to 64 1538425339.390 * * * * [misc]points: Setting MPFR precision to 320 1538425339.393 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1538425339.395 * * * * [misc]points: Setting MPFR precision to 64 1538425339.406 * * * * [misc]points: Setting MPFR precision to 320 1538425339.419 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1538425339.422 * * * * [misc]points: Setting MPFR precision to 64 1538425339.442 * * * * [misc]points: Setting MPFR precision to 320 1538425339.464 * * * * [misc]points: Computing exacts for 256 points 1538425339.468 * * * * [misc]points: Setting MPFR precision to 64 1538425339.522 * * * * [misc]points: Setting MPFR precision to 320 1538425339.634 * * * * [misc]points: Filtering points with unrepresentable outputs 1538425339.635 * * * * [misc]points: Sampling 129 additional inputs, on iter 1 have 127 / 256 1538425339.636 * * * * [misc]points: Computing exacts on every 8 of 129 points to ramp up precision 1538425339.638 * * * * [misc]points: Setting MPFR precision to 64 1538425339.639 * * * * [misc]points: Setting MPFR precision to 320 1538425339.641 * * * * [misc]points: Computing exacts on every 4 of 129 points to ramp up precision 1538425339.643 * * * * [misc]points: Setting MPFR precision to 64 1538425339.645 * * * * [misc]points: Setting MPFR precision to 320 1538425339.648 * * * * [misc]points: Computing exacts on every 2 of 129 points to ramp up precision 1538425339.650 * * * * [misc]points: Setting MPFR precision to 64 1538425339.655 * * * * [misc]points: Setting MPFR precision to 320 1538425339.661 * * * * [misc]points: Computing exacts for 129 points 1538425339.663 * * * * [misc]points: Setting MPFR precision to 64 1538425339.676 * * * * [misc]points: Setting MPFR precision to 320 1538425339.699 * * * * [misc]points: Filtering points with unrepresentable outputs 1538425339.699 * * * * [misc]points: Sampling 71 additional inputs, on iter 2 have 185 / 256 1538425339.700 * * * * [misc]points: Computing exacts on every 4 of 71 points to ramp up precision 1538425339.703 * * * * [misc]points: Setting MPFR precision to 64 1538425339.706 * * * * [misc]points: Setting MPFR precision to 320 1538425339.710 * * * * [misc]points: Computing exacts on every 2 of 71 points to ramp up precision 1538425339.713 * * * * [misc]points: Setting MPFR precision to 64 1538425339.718 * * * * [misc]points: Setting MPFR precision to 320 1538425339.723 * * * * [misc]points: Computing exacts for 71 points 1538425339.726 * * * * [misc]points: Setting MPFR precision to 64 1538425339.740 * * * * [misc]points: Setting MPFR precision to 320 1538425339.754 * * * * [misc]points: Filtering points with unrepresentable outputs 1538425339.754 * * * * [misc]points: Sampling 29 additional inputs, on iter 3 have 227 / 256 1538425339.754 * * * * [misc]points: Computing exacts for 29 points 1538425339.756 * * * * [misc]points: Setting MPFR precision to 64 1538425339.760 * * * * [misc]points: Setting MPFR precision to 320 1538425339.763 * * * * [misc]points: Filtering points with unrepresentable outputs 1538425339.763 * * * * [misc]points: Sampling 14 additional inputs, on iter 4 have 242 / 256 1538425339.764 * * * * [misc]points: Computing exacts for 14 points 1538425339.766 * * * * [misc]points: Setting MPFR precision to 64 1538425339.804 * * * * [misc]points: Setting MPFR precision to 320 1538425339.806 * * * * [misc]points: Filtering points with unrepresentable outputs 1538425339.806 * * * * [misc]points: Sampling 10 additional inputs, on iter 5 have 246 / 256 1538425339.806 * * * * [misc]points: Computing exacts for 10 points 1538425339.808 * * * * [misc]points: Setting MPFR precision to 64 1538425339.809 * * * * [misc]points: Setting MPFR precision to 320 1538425339.811 * * * * [misc]points: Filtering points with unrepresentable outputs 1538425339.811 * * * * [misc]points: Sampling 4 additional inputs, on iter 6 have 253 / 256 1538425339.811 * * * * [misc]points: Computing exacts for 4 points 1538425339.813 * * * * [misc]points: Setting MPFR precision to 64 1538425339.816 * * * * [misc]points: Setting MPFR precision to 320 1538425339.816 * * * * [misc]points: Filtering points with unrepresentable outputs 1538425339.816 * * * * [misc]points: Sampling 4 additional inputs, on iter 7 have 254 / 256 1538425339.816 * * * * [misc]points: Computing exacts for 4 points 1538425339.818 * * * * [misc]points: Setting MPFR precision to 64 1538425339.819 * * * * [misc]points: Setting MPFR precision to 320 1538425339.819 * * * * [misc]points: Filtering points with unrepresentable outputs 1538425339.819 * * * * [misc]points: Sampling 4 additional inputs, on iter 8 have 255 / 256 1538425339.819 * * * * [misc]points: Computing exacts for 4 points 1538425339.821 * * * * [misc]points: Setting MPFR precision to 64 1538425339.821 * * * * [misc]points: Setting MPFR precision to 320 1538425339.822 * * * * [misc]points: Filtering points with unrepresentable outputs 1538425339.822 * * * * [exit]points: Sampled 257 points with exact outputs 1538425339.822 * * * [misc]progress: [2/2] Setting up program. 1538425339.829 * [misc]progress: [Phase 2 of 3] Improving. 1538425339.829 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1538425339.831 * * [misc]simplify: iters left: 6 (12 enodes) 1538425339.838 * * [misc]simplify: iters left: 5 (16 enodes) 1538425339.846 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1538425339.868 * * [misc]progress: iteration 1 / 4 1538425339.868 * * * [misc]progress: picking best candidate 1538425339.875 * * * * [misc]pick: Picked # 1538425339.875 * * * [misc]progress: localizing error 1538425339.981 * * * [misc]progress: generating rewritten candidates 1538425339.982 * * * * [misc]progress: [ 1 / 3 ] rewriting at (2 1 1) 1538425340.001 * * * * [misc]progress: [ 2 / 3 ] rewriting at (2 1 1 1) 1538425340.002 * * * * [misc]progress: [ 3 / 3 ] rewriting at (2 1 1 2) 1538425340.003 * * * [misc]progress: generating series expansions 1538425340.003 * * * * [misc]progress: [ 1 / 3 ] generating series at (2 1 1) 1538425340.003 * * * * [misc]progress: [ 2 / 3 ] generating series at (2 1 1 1) 1538425340.003 * * * * [misc]progress: [ 3 / 3 ] generating series at (2 1 1 2) 1538425340.003 * * * [misc]progress: simplifying candidates 1538425340.003 * * * * [misc]progress: [ 1 / 4 ] simplifiying candidate # 1538425340.003 * * * * [misc]progress: [ 2 / 4 ] simplifiying candidate # 1538425340.004 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1538425340.005 * * [misc]simplify: iters left: 6 (14 enodes) 1538425340.007 * * [misc]simplify: iters left: 5 (16 enodes) 1538425340.011 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1538425340.011 * [misc]simplify: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1538425340.011 * * * * [misc]progress: [ 3 / 4 ] simplifiying candidate # 1538425340.011 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1538425340.012 * * [misc]simplify: iters left: 6 (14 enodes) 1538425340.015 * * [misc]simplify: iters left: 5 (16 enodes) 1538425340.018 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1538425340.018 * [misc]simplify: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1538425340.018 * * * * [misc]progress: [ 4 / 4 ] simplifiying candidate # 1538425340.018 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1538425340.019 * * [misc]simplify: iters left: 6 (14 enodes) 1538425340.022 * * [misc]simplify: iters left: 5 (16 enodes) 1538425340.026 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1538425340.026 * [misc]simplify: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1538425340.026 * * * [misc]progress: adding candidates to table 1538425340.124 * [misc]progress: [Phase 3 of 3] Extracting. 1538425340.135 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1538425340.137 * * [misc]simplify: iters left: 6 (14 enodes) 1538425340.139 * * [misc]simplify: iters left: 5 (15 enodes) 1538425340.143 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1538425340.143 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1538425340.190 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1538425340.193 * * * * [misc]points: Setting MPFR precision to 64 1538425340.196 * * * * [misc]points: Setting MPFR precision to 320 1538425340.199 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1538425340.203 * * * * [misc]points: Setting MPFR precision to 64 1538425340.210 * * * * [misc]points: Setting MPFR precision to 320 1538425340.218 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1538425340.221 * * * * [misc]points: Setting MPFR precision to 64 1538425340.234 * * * * [misc]points: Setting MPFR precision to 320 1538425340.249 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1538425340.252 * * * * [misc]points: Setting MPFR precision to 64 1538425340.278 * * * * [misc]points: Setting MPFR precision to 320 1538425340.304 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1538425340.307 * * * * [misc]points: Setting MPFR precision to 64 1538425340.372 * * * * [misc]points: Setting MPFR precision to 320 1538425340.413 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1538425340.415 * * * * [misc]points: Setting MPFR precision to 64 1538425340.486 * * * * [misc]points: Setting MPFR precision to 320 1538425340.640 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1538425340.642 * * * * [misc]points: Setting MPFR precision to 64 1538425340.872 * * * * [misc]points: Setting MPFR precision to 320 1538425341.087 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1538425341.089 * * * * [misc]points: Setting MPFR precision to 64 1538425341.433 * * * * [misc]points: Setting MPFR precision to 320 1538425342.297 * * * * [misc]points: Computing exacts for 8000 points 1538425342.300 * * * * [misc]points: Setting MPFR precision to 64 1538425344.037 * * * * [misc]points: Setting MPFR precision to 320 1538425346.487 * * * * [misc]points: Filtering points with unrepresentable outputs 1538425346.490 * * * * [misc]points: Sampling 3889 additional inputs, on iter 1 have 4111 / 8000 1538425346.568 * * * * [misc]points: Computing exacts on every 243 of 3889 points to ramp up precision 1538425346.572 * * * * [misc]points: Setting MPFR precision to 64 1538425346.580 * * * * [misc]points: Setting MPFR precision to 320 1538425346.584 * * * * [misc]points: Computing exacts on every 121 of 3889 points to ramp up precision 1538425346.587 * * * * [misc]points: Setting MPFR precision to 64 1538425346.594 * * * * [misc]points: Setting MPFR precision to 320 1538425346.602 * * * * [misc]points: Computing exacts on every 60 of 3889 points to ramp up precision 1538425346.606 * * * * [misc]points: Setting MPFR precision to 64 1538425346.620 * * * * [misc]points: Setting MPFR precision to 320 1538425346.631 * * * * [misc]points: Computing exacts on every 30 of 3889 points to ramp up precision 1538425346.633 * * * * [misc]points: Setting MPFR precision to 64 1538425346.645 * * * * [misc]points: Setting MPFR precision to 320 1538425346.660 * * * * [misc]points: Computing exacts on every 15 of 3889 points to ramp up precision 1538425346.661 * * * * [misc]points: Setting MPFR precision to 64 1538425346.688 * * * * [misc]points: Setting MPFR precision to 320 1538425346.759 * * * * [misc]points: Computing exacts on every 7 of 3889 points to ramp up precision 1538425346.762 * * * * [misc]points: Setting MPFR precision to 64 1538425346.864 * * * * [misc]points: Setting MPFR precision to 320 1538425346.935 * * * * [misc]points: Computing exacts on every 3 of 3889 points to ramp up precision 1538425346.937 * * * * [misc]points: Setting MPFR precision to 64 1538425347.116 * * * * [misc]points: Setting MPFR precision to 320 1538425347.390 * * * * [misc]points: Computing exacts for 3889 points 1538425347.393 * * * * [misc]points: Setting MPFR precision to 64 1538425348.263 * * * * [misc]points: Setting MPFR precision to 320 1538425349.543 * * * * [misc]points: Filtering points with unrepresentable outputs 1538425349.544 * * * * [misc]points: Sampling 1922 additional inputs, on iter 2 have 6078 / 8000 1538425349.553 * * * * [misc]points: Computing exacts on every 120 of 1922 points to ramp up precision 1538425349.555 * * * * [misc]points: Setting MPFR precision to 64 1538425349.557 * * * * [misc]points: Setting MPFR precision to 320 1538425349.561 * * * * [misc]points: Computing exacts on every 60 of 1922 points to ramp up precision 1538425349.564 * * * * [misc]points: Setting MPFR precision to 64 1538425349.610 * * * * [misc]points: Setting MPFR precision to 320 1538425349.621 * * * * [misc]points: Computing exacts on every 30 of 1922 points to ramp up precision 1538425349.624 * * * * [misc]points: Setting MPFR precision to 64 1538425349.637 * * * * [misc]points: Setting MPFR precision to 320 1538425349.651 * * * * [misc]points: Computing exacts on every 15 of 1922 points to ramp up precision 1538425349.655 * * * * [misc]points: Setting MPFR precision to 64 1538425349.677 * * * * [misc]points: Setting MPFR precision to 320 1538425349.702 * * * * [misc]points: Computing exacts on every 7 of 1922 points to ramp up precision 1538425349.705 * * * * [misc]points: Setting MPFR precision to 64 1538425349.755 * * * * [misc]points: Setting MPFR precision to 320 1538425349.811 * * * * [misc]points: Computing exacts on every 3 of 1922 points to ramp up precision 1538425349.814 * * * * [misc]points: Setting MPFR precision to 64 1538425349.977 * * * * [misc]points: Setting MPFR precision to 320 1538425350.049 * * * * [misc]points: Computing exacts for 1922 points 1538425350.052 * * * * [misc]points: Setting MPFR precision to 64 1538425350.485 * * * * [misc]points: Setting MPFR precision to 320 1538425350.841 * * * * [misc]points: Setting MPFR precision to 576 1538425351.321 * * * * [misc]points: Filtering points with unrepresentable outputs 1538425351.322 * * * * [misc]points: Sampling 941 additional inputs, on iter 3 have 7059 / 8000 1538425351.326 * * * * [misc]points: Computing exacts on every 58 of 941 points to ramp up precision 1538425351.331 * * * * [misc]points: Setting MPFR precision to 320 1538425351.332 * * * * [misc]points: Setting MPFR precision to 576 1538425351.335 * * * * [misc]points: Computing exacts on every 29 of 941 points to ramp up precision 1538425351.336 * * * * [misc]points: Setting MPFR precision to 320 1538425351.340 * * * * [misc]points: Setting MPFR precision to 576 1538425351.344 * * * * [misc]points: Computing exacts on every 14 of 941 points to ramp up precision 1538425351.346 * * * * [misc]points: Setting MPFR precision to 320 1538425351.353 * * * * [misc]points: Setting MPFR precision to 576 1538425351.361 * * * * [misc]points: Computing exacts on every 7 of 941 points to ramp up precision 1538425351.363 * * * * [misc]points: Setting MPFR precision to 320 1538425351.390 * * * * [misc]points: Setting MPFR precision to 576 1538425351.406 * * * * [misc]points: Computing exacts on every 3 of 941 points to ramp up precision 1538425351.408 * * * * [misc]points: Setting MPFR precision to 320 1538425351.435 * * * * [misc]points: Setting MPFR precision to 576 1538425351.512 * * * * [misc]points: Computing exacts for 941 points 1538425351.514 * * * * [misc]points: Setting MPFR precision to 320 1538425351.746 * * * * [misc]points: Setting MPFR precision to 576 1538425351.967 * * * * [misc]points: Filtering points with unrepresentable outputs 1538425351.968 * * * * [misc]points: Sampling 455 additional inputs, on iter 4 have 7545 / 8000 1538425351.973 * * * * [misc]points: Computing exacts on every 28 of 455 points to ramp up precision 1538425351.977 * * * * [misc]points: Setting MPFR precision to 320 1538425352.449 * * * * [misc]points: Setting MPFR precision to 576 1538425352.451 * * * * [misc]points: Computing exacts on every 14 of 455 points to ramp up precision 1538425352.453 * * * * [misc]points: Setting MPFR precision to 320 1538425352.457 * * * * [misc]points: Setting MPFR precision to 576 1538425352.463 * * * * [misc]points: Computing exacts on every 7 of 455 points to ramp up precision 1538425352.465 * * * * [misc]points: Setting MPFR precision to 320 1538425352.472 * * * * [misc]points: Setting MPFR precision to 576 1538425352.479 * * * * [misc]points: Computing exacts on every 3 of 455 points to ramp up precision 1538425352.481 * * * * [misc]points: Setting MPFR precision to 320 1538425352.495 * * * * [misc]points: Setting MPFR precision to 576 1538425352.511 * * * * [misc]points: Computing exacts for 455 points 1538425352.512 * * * * [misc]points: Setting MPFR precision to 320 1538425352.587 * * * * [misc]points: Setting MPFR precision to 576 1538425352.713 * * * * [misc]points: Filtering points with unrepresentable outputs 1538425352.713 * * * * [misc]points: Sampling 266 additional inputs, on iter 5 have 7734 / 8000 1538425352.715 * * * * [misc]points: Computing exacts on every 16 of 266 points to ramp up precision 1538425352.716 * * * * [misc]points: Setting MPFR precision to 320 1538425352.719 * * * * [misc]points: Setting MPFR precision to 576 1538425352.721 * * * * [misc]points: Computing exacts on every 8 of 266 points to ramp up precision 1538425352.722 * * * * [misc]points: Setting MPFR precision to 320 1538425352.726 * * * * [misc]points: Setting MPFR precision to 576 1538425352.733 * * * * [misc]points: Computing exacts on every 4 of 266 points to ramp up precision 1538425352.735 * * * * [misc]points: Setting MPFR precision to 320 1538425352.748 * * * * [misc]points: Setting MPFR precision to 576 1538425352.764 * * * * [misc]points: Computing exacts on every 2 of 266 points to ramp up precision 1538425352.768 * * * * [misc]points: Setting MPFR precision to 320 1538425352.788 * * * * [misc]points: Setting MPFR precision to 576 1538425352.811 * * * * [misc]points: Computing exacts for 266 points 1538425352.814 * * * * [misc]points: Setting MPFR precision to 320 1538425352.898 * * * * [misc]points: Setting MPFR precision to 576 1538425352.947 * * * * [misc]points: Filtering points with unrepresentable outputs 1538425352.947 * * * * [misc]points: Sampling 131 additional inputs, on iter 6 have 7869 / 8000 1538425352.948 * * * * [misc]points: Computing exacts on every 8 of 131 points to ramp up precision 1538425352.950 * * * * [misc]points: Setting MPFR precision to 320 1538425352.952 * * * * [misc]points: Setting MPFR precision to 576 1538425352.954 * * * * [misc]points: Computing exacts on every 4 of 131 points to ramp up precision 1538425352.956 * * * * [misc]points: Setting MPFR precision to 320 1538425352.962 * * * * [misc]points: Setting MPFR precision to 576 1538425352.969 * * * * [misc]points: Computing exacts on every 2 of 131 points to ramp up precision 1538425352.972 * * * * [misc]points: Setting MPFR precision to 320 1538425352.982 * * * * [misc]points: Setting MPFR precision to 576 1538425352.995 * * * * [misc]points: Computing exacts for 131 points 1538425352.998 * * * * [misc]points: Setting MPFR precision to 320 1538425353.028 * * * * [misc]points: Setting MPFR precision to 576 1538425353.046 * * * * [misc]points: Filtering points with unrepresentable outputs 1538425353.046 * * * * [misc]points: Sampling 64 additional inputs, on iter 7 have 7936 / 8000 1538425353.047 * * * * [misc]points: Computing exacts on every 4 of 64 points to ramp up precision 1538425353.048 * * * * [misc]points: Setting MPFR precision to 320 1538425353.050 * * * * [misc]points: Setting MPFR precision to 576 1538425353.051 * * * * [misc]points: Computing exacts on every 2 of 64 points to ramp up precision 1538425353.053 * * * * [misc]points: Setting MPFR precision to 320 1538425353.056 * * * * [misc]points: Setting MPFR precision to 576 1538425353.062 * * * * [misc]points: Computing exacts for 64 points 1538425353.064 * * * * [misc]points: Setting MPFR precision to 320 1538425353.111 * * * * [misc]points: Setting MPFR precision to 576 1538425353.122 * * * * [misc]points: Filtering points with unrepresentable outputs 1538425353.122 * * * * [misc]points: Sampling 27 additional inputs, on iter 8 have 7973 / 8000 1538425353.122 * * * * [misc]points: Computing exacts for 27 points 1538425353.124 * * * * [misc]points: Setting MPFR precision to 320 1538425353.127 * * * * [misc]points: Setting MPFR precision to 576 1538425353.131 * * * * [misc]points: Filtering points with unrepresentable outputs 1538425353.131 * * * * [misc]points: Sampling 14 additional inputs, on iter 9 have 7986 / 8000 1538425353.132 * * * * [misc]points: Computing exacts for 14 points 1538425353.133 * * * * [misc]points: Setting MPFR precision to 320 1538425353.135 * * * * [misc]points: Setting MPFR precision to 576 1538425353.137 * * * * [misc]points: Filtering points with unrepresentable outputs 1538425353.137 * * * * [misc]points: Sampling 5 additional inputs, on iter 10 have 7995 / 8000 1538425353.137 * * * * [misc]points: Computing exacts for 5 points 1538425353.139 * * * * [misc]points: Setting MPFR precision to 320 1538425353.140 * * * * [misc]points: Setting MPFR precision to 576 1538425353.141 * * * * [misc]points: Filtering points with unrepresentable outputs 1538425353.141 * * * * [misc]points: Sampling 4 additional inputs, on iter 11 have 7998 / 8000 1538425353.141 * * * * [misc]points: Computing exacts for 4 points 1538425353.143 * * * * [misc]points: Setting MPFR precision to 320 1538425353.143 * * * * [misc]points: Setting MPFR precision to 576 1538425353.144 * * * * [misc]points: Filtering points with unrepresentable outputs 1538425353.144 * * * * [exit]points: Sampled 8002 points with exact outputs