1544782000.389 * [misc]progress: [Phase 1 of 3] Setting up. 1544782000.390 * * * [misc]progress: [1/2] Preparing points 1544782000.391 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1544782000.396 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1544782000.483 * * * * [misc]points: Setting MPFR precision to 64 1544782000.488 * * * * [misc]points: Setting MPFR precision to 320 1544782000.490 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1544782000.492 * * * * [misc]points: Setting MPFR precision to 64 1544782000.495 * * * * [misc]points: Setting MPFR precision to 320 1544782000.499 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1544782000.501 * * * * [misc]points: Setting MPFR precision to 64 1544782000.507 * * * * [misc]points: Setting MPFR precision to 320 1544782000.513 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1544782000.515 * * * * [misc]points: Setting MPFR precision to 64 1544782000.524 * * * * [misc]points: Setting MPFR precision to 320 1544782000.535 * * * * [misc]points: Computing exacts for 256 points 1544782000.537 * * * * [misc]points: Setting MPFR precision to 64 1544782000.565 * * * * [misc]points: Setting MPFR precision to 320 1544782000.637 * * * * [misc]points: Filtering points with unrepresentable outputs 1544782000.637 * * * * [misc]points: Sampling 106 additional inputs, on iter 1 have 150 / 256 1544782000.638 * * * * [misc]points: Computing exacts on every 6 of 106 points to ramp up precision 1544782000.640 * * * * [misc]points: Setting MPFR precision to 64 1544782000.642 * * * * [misc]points: Setting MPFR precision to 320 1544782000.644 * * * * [misc]points: Computing exacts on every 3 of 106 points to ramp up precision 1544782000.646 * * * * [misc]points: Setting MPFR precision to 64 1544782000.650 * * * * [misc]points: Setting MPFR precision to 320 1544782000.654 * * * * [misc]points: Computing exacts for 106 points 1544782000.656 * * * * [misc]points: Setting MPFR precision to 64 1544782000.829 * * * * [misc]points: Setting MPFR precision to 320 1544782000.848 * * * * [misc]points: Filtering points with unrepresentable outputs 1544782000.848 * * * * [misc]points: Sampling 61 additional inputs, on iter 2 have 195 / 256 1544782000.849 * * * * [misc]points: Computing exacts on every 3 of 61 points to ramp up precision 1544782000.851 * * * * [misc]points: Setting MPFR precision to 64 1544782000.853 * * * * [misc]points: Setting MPFR precision to 320 1544782000.854 * * * * [misc]points: Computing exacts for 61 points 1544782000.856 * * * * [misc]points: Setting MPFR precision to 64 1544782000.864 * * * * [misc]points: Setting MPFR precision to 320 1544782000.874 * * * * [misc]points: Filtering points with unrepresentable outputs 1544782000.874 * * * * [misc]points: Sampling 32 additional inputs, on iter 3 have 224 / 256 1544782000.875 * * * * [misc]points: Computing exacts on every 2 of 32 points to ramp up precision 1544782000.878 * * * * [misc]points: Setting MPFR precision to 64 1544782000.879 * * * * [misc]points: Setting MPFR precision to 320 1544782000.880 * * * * [misc]points: Computing exacts for 32 points 1544782000.882 * * * * [misc]points: Setting MPFR precision to 64 1544782000.886 * * * * [misc]points: Setting MPFR precision to 320 1544782000.890 * * * * [misc]points: Filtering points with unrepresentable outputs 1544782000.890 * * * * [misc]points: Sampling 19 additional inputs, on iter 4 have 237 / 256 1544782000.891 * * * * [misc]points: Computing exacts for 19 points 1544782000.892 * * * * [misc]points: Setting MPFR precision to 64 1544782000.895 * * * * [misc]points: Setting MPFR precision to 320 1544782000.897 * * * * [misc]points: Filtering points with unrepresentable outputs 1544782000.898 * * * * [misc]points: Sampling 13 additional inputs, on iter 5 have 243 / 256 1544782000.898 * * * * [misc]points: Computing exacts for 13 points 1544782000.900 * * * * [misc]points: Setting MPFR precision to 64 1544782000.901 * * * * [misc]points: Setting MPFR precision to 320 1544782000.903 * * * * [misc]points: Filtering points with unrepresentable outputs 1544782000.903 * * * * [misc]points: Sampling 8 additional inputs, on iter 6 have 248 / 256 1544782000.903 * * * * [misc]points: Computing exacts for 8 points 1544782000.906 * * * * [misc]points: Setting MPFR precision to 64 1544782000.907 * * * * [misc]points: Setting MPFR precision to 320 1544782000.908 * * * * [misc]points: Filtering points with unrepresentable outputs 1544782000.908 * * * * [misc]points: Sampling 6 additional inputs, on iter 7 have 250 / 256 1544782000.908 * * * * [misc]points: Computing exacts for 6 points 1544782000.910 * * * * [misc]points: Setting MPFR precision to 64 1544782000.911 * * * * [misc]points: Setting MPFR precision to 320 1544782000.912 * * * * [misc]points: Filtering points with unrepresentable outputs 1544782000.912 * * * * [misc]points: Sampling 4 additional inputs, on iter 8 have 254 / 256 1544782000.912 * * * * [misc]points: Computing exacts for 4 points 1544782000.914 * * * * [misc]points: Setting MPFR precision to 64 1544782000.915 * * * * [misc]points: Setting MPFR precision to 320 1544782000.917 * * * * [misc]points: Filtering points with unrepresentable outputs 1544782000.917 * * * * [exit]points: Sampled 256 points with exact outputs 1544782000.917 * * * [misc]progress: [2/2] Setting up program. 1544782000.924 * [misc]progress: [Phase 2 of 3] Improving. 1544782000.925 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1544782000.927 * * [misc]simplify: iters left: 6 (12 enodes) 1544782000.935 * * [misc]simplify: iters left: 5 (16 enodes) 1544782000.941 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544782000.984 * * [misc]progress: iteration 1 / 4 1544782000.984 * * * [misc]progress: picking best candidate 1544782000.991 * * * * [misc]pick: Picked # 1544782000.991 * * * [misc]progress: localizing error 1544782001.073 * * * [misc]progress: generating rewritten candidates 1544782001.074 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 1) 1544782001.102 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1 2) 1544782001.103 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 1) 1544782001.104 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1) 1544782001.138 * * * [misc]progress: generating series expansions 1544782001.138 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 1) 1544782001.138 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1 2) 1544782001.138 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 1) 1544782001.138 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1) 1544782001.138 * * * [misc]progress: simplifying candidates 1544782001.139 * * * * [misc]progress: [ 1 / 6 ] simplifiying candidate # 1544782001.139 * * * * [misc]progress: [ 2 / 6 ] simplifiying candidate # 1544782001.139 * * * * [misc]progress: [ 3 / 6 ] simplifiying candidate # 1544782001.139 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544782001.140 * * [misc]simplify: iters left: 6 (14 enodes) 1544782001.143 * * [misc]simplify: iters left: 5 (16 enodes) 1544782001.147 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544782001.147 * [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)))) 1544782001.147 * * * * [misc]progress: [ 4 / 6 ] simplifiying candidate # 1544782001.147 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544782001.148 * * [misc]simplify: iters left: 6 (14 enodes) 1544782001.151 * * [misc]simplify: iters left: 5 (16 enodes) 1544782001.154 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544782001.154 * [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)))) 1544782001.154 * * * * [misc]progress: [ 5 / 6 ] simplifiying candidate # 1544782001.155 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544782001.155 * * [misc]simplify: iters left: 6 (14 enodes) 1544782001.158 * * [misc]simplify: iters left: 5 (16 enodes) 1544782001.162 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544782001.162 * [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)))) 1544782001.162 * * * * [misc]progress: [ 6 / 6 ] simplifiying candidate # 1544782001.162 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544782001.163 * * [misc]simplify: iters left: 6 (14 enodes) 1544782001.166 * * [misc]simplify: iters left: 5 (16 enodes) 1544782001.169 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544782001.169 * [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)))) 1544782001.170 * * * [misc]progress: adding candidates to table 1544782001.295 * [misc]progress: [Phase 3 of 3] Extracting. 1544782001.306 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544782001.308 * * [misc]simplify: iters left: 6 (14 enodes) 1544782001.310 * * [misc]simplify: iters left: 5 (15 enodes) 1544782001.313 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544782001.314 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1544782001.377 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1544782001.380 * * * * [misc]points: Setting MPFR precision to 64 1544782001.383 * * * * [misc]points: Setting MPFR precision to 320 1544782001.386 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1544782001.396 * * * * [misc]points: Setting MPFR precision to 64 1544782001.400 * * * * [misc]points: Setting MPFR precision to 320 1544782001.404 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1544782001.406 * * * * [misc]points: Setting MPFR precision to 64 1544782001.413 * * * * [misc]points: Setting MPFR precision to 320 1544782001.421 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1544782001.423 * * * * [misc]points: Setting MPFR precision to 64 1544782001.447 * * * * [misc]points: Setting MPFR precision to 320 1544782001.472 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1544782001.474 * * * * [misc]points: Setting MPFR precision to 64 1544782001.506 * * * * [misc]points: Setting MPFR precision to 320 1544782001.542 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1544782001.544 * * * * [misc]points: Setting MPFR precision to 64 1544782002.065 * * * * [misc]points: Setting MPFR precision to 320 1544782002.181 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1544782002.184 * * * * [misc]points: Setting MPFR precision to 64 1544782002.456 * * * * [misc]points: Setting MPFR precision to 320 1544782002.698 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1544782002.700 * * * * [misc]points: Setting MPFR precision to 64 1544782003.044 * * * * [misc]points: Setting MPFR precision to 320 1544782003.478 * * * * [misc]points: Computing exacts for 8000 points 1544782003.481 * * * * [misc]points: Setting MPFR precision to 64 1544782005.602 * * * * [misc]points: Setting MPFR precision to 320 1544782007.663 * * * * [misc]points: Setting MPFR precision to 576 1544782009.834 * * * * [misc]points: Filtering points with unrepresentable outputs 1544782009.837 * * * * [misc]points: Sampling 3925 additional inputs, on iter 1 have 4075 / 8000 1544782010.286 * * * * [misc]points: Computing exacts on every 245 of 3925 points to ramp up precision 1544782010.289 * * * * [misc]points: Setting MPFR precision to 320 1544782010.298 * * * * [misc]points: Setting MPFR precision to 576 1544782010.302 * * * * [misc]points: Computing exacts on every 122 of 3925 points to ramp up precision 1544782010.305 * * * * [misc]points: Setting MPFR precision to 320 1544782010.312 * * * * [misc]points: Setting MPFR precision to 576 1544782010.320 * * * * [misc]points: Computing exacts on every 61 of 3925 points to ramp up precision 1544782010.322 * * * * [misc]points: Setting MPFR precision to 320 1544782010.330 * * * * [misc]points: Setting MPFR precision to 576 1544782010.339 * * * * [misc]points: Computing exacts on every 30 of 3925 points to ramp up precision 1544782010.341 * * * * [misc]points: Setting MPFR precision to 320 1544782010.355 * * * * [misc]points: Setting MPFR precision to 576 1544782010.376 * * * * [misc]points: Computing exacts on every 15 of 3925 points to ramp up precision 1544782010.379 * * * * [misc]points: Setting MPFR precision to 320 1544782010.437 * * * * [misc]points: Setting MPFR precision to 576 1544782010.530 * * * * [misc]points: Computing exacts on every 7 of 3925 points to ramp up precision 1544782010.533 * * * * [misc]points: Setting MPFR precision to 320 1544782010.627 * * * * [misc]points: Setting MPFR precision to 576 1544782010.795 * * * * [misc]points: Computing exacts on every 3 of 3925 points to ramp up precision 1544782010.802 * * * * [misc]points: Setting MPFR precision to 320 1544782010.992 * * * * [misc]points: Setting MPFR precision to 576 1544782011.277 * * * * [misc]points: Computing exacts for 3925 points 1544782011.278 * * * * [misc]points: Setting MPFR precision to 320 1544782012.219 * * * * [misc]points: Setting MPFR precision to 576 1544782013.484 * * * * [misc]points: Filtering points with unrepresentable outputs 1544782013.486 * * * * [misc]points: Sampling 1843 additional inputs, on iter 2 have 6157 / 8000 1544782013.499 * * * * [misc]points: Computing exacts on every 115 of 1843 points to ramp up precision 1544782013.501 * * * * [misc]points: Setting MPFR precision to 320 1544782013.503 * * * * [misc]points: Setting MPFR precision to 576 1544782013.505 * * * * [misc]points: Computing exacts on every 57 of 1843 points to ramp up precision 1544782013.507 * * * * [misc]points: Setting MPFR precision to 320 1544782013.510 * * * * [misc]points: Setting MPFR precision to 576 1544782013.515 * * * * [misc]points: Computing exacts on every 28 of 1843 points to ramp up precision 1544782013.516 * * * * [misc]points: Setting MPFR precision to 320 1544782013.525 * * * * [misc]points: Setting MPFR precision to 576 1544782013.571 * * * * [misc]points: Computing exacts on every 14 of 1843 points to ramp up precision 1544782013.572 * * * * [misc]points: Setting MPFR precision to 320 1544782013.590 * * * * [misc]points: Setting MPFR precision to 576 1544782013.614 * * * * [misc]points: Computing exacts on every 7 of 1843 points to ramp up precision 1544782013.616 * * * * [misc]points: Setting MPFR precision to 320 1544782013.647 * * * * [misc]points: Setting MPFR precision to 576 1544782013.709 * * * * [misc]points: Computing exacts on every 3 of 1843 points to ramp up precision 1544782013.711 * * * * [misc]points: Setting MPFR precision to 320 1544782013.814 * * * * [misc]points: Setting MPFR precision to 576 1544782013.896 * * * * [misc]points: Computing exacts for 1843 points 1544782013.898 * * * * [misc]points: Setting MPFR precision to 320 1544782014.290 * * * * [misc]points: Setting MPFR precision to 576 1544782014.868 * * * * [misc]points: Filtering points with unrepresentable outputs 1544782014.869 * * * * [misc]points: Sampling 902 additional inputs, on iter 3 have 7098 / 8000 1544782014.877 * * * * [misc]points: Computing exacts on every 56 of 902 points to ramp up precision 1544782014.880 * * * * [misc]points: Setting MPFR precision to 320 1544782014.884 * * * * [misc]points: Setting MPFR precision to 576 1544782014.888 * * * * [misc]points: Computing exacts on every 28 of 902 points to ramp up precision 1544782014.892 * * * * [misc]points: Setting MPFR precision to 320 1544782014.899 * * * * [misc]points: Setting MPFR precision to 576 1544782014.908 * * * * [misc]points: Computing exacts on every 14 of 902 points to ramp up precision 1544782014.911 * * * * [misc]points: Setting MPFR precision to 320 1544782014.925 * * * * [misc]points: Setting MPFR precision to 576 1544782014.942 * * * * [misc]points: Computing exacts on every 7 of 902 points to ramp up precision 1544782014.945 * * * * [misc]points: Setting MPFR precision to 320 1544782014.971 * * * * [misc]points: Setting MPFR precision to 576 1544782014.987 * * * * [misc]points: Computing exacts on every 3 of 902 points to ramp up precision 1544782014.989 * * * * [misc]points: Setting MPFR precision to 320 1544782015.016 * * * * [misc]points: Setting MPFR precision to 576 1544782015.113 * * * * [misc]points: Computing exacts for 902 points 1544782015.117 * * * * [misc]points: Setting MPFR precision to 320 1544782015.376 * * * * [misc]points: Setting MPFR precision to 576 1544782015.543 * * * * [misc]points: Filtering points with unrepresentable outputs 1544782015.543 * * * * [misc]points: Sampling 440 additional inputs, on iter 4 have 7560 / 8000 1544782015.546 * * * * [misc]points: Computing exacts on every 27 of 440 points to ramp up precision 1544782015.548 * * * * [misc]points: Setting MPFR precision to 320 1544782015.982 * * * * [misc]points: Setting MPFR precision to 576 1544782015.987 * * * * [misc]points: Computing exacts on every 13 of 440 points to ramp up precision 1544782015.991 * * * * [misc]points: Setting MPFR precision to 320 1544782016.003 * * * * [misc]points: Setting MPFR precision to 576 1544782016.012 * * * * [misc]points: Computing exacts on every 6 of 440 points to ramp up precision 1544782016.015 * * * * [misc]points: Setting MPFR precision to 320 1544782016.029 * * * * [misc]points: Setting MPFR precision to 576 1544782016.046 * * * * [misc]points: Computing exacts on every 3 of 440 points to ramp up precision 1544782016.050 * * * * [misc]points: Setting MPFR precision to 320 1544782016.076 * * * * [misc]points: Setting MPFR precision to 576 1544782016.106 * * * * [misc]points: Computing exacts for 440 points 1544782016.109 * * * * [misc]points: Setting MPFR precision to 320 1544782016.183 * * * * [misc]points: Setting MPFR precision to 576 1544782016.285 * * * * [misc]points: Filtering points with unrepresentable outputs 1544782016.285 * * * * [misc]points: Sampling 232 additional inputs, on iter 5 have 7768 / 8000 1544782016.286 * * * * [misc]points: Computing exacts on every 14 of 232 points to ramp up precision 1544782016.288 * * * * [misc]points: Setting MPFR precision to 320 1544782016.290 * * * * [misc]points: Setting MPFR precision to 576 1544782016.294 * * * * [misc]points: Computing exacts on every 7 of 232 points to ramp up precision 1544782016.297 * * * * [misc]points: Setting MPFR precision to 320 1544782016.303 * * * * [misc]points: Setting MPFR precision to 576 1544782016.308 * * * * [misc]points: Computing exacts on every 3 of 232 points to ramp up precision 1544782016.310 * * * * [misc]points: Setting MPFR precision to 320 1544782016.317 * * * * [misc]points: Setting MPFR precision to 576 1544782016.325 * * * * [misc]points: Computing exacts for 232 points 1544782016.327 * * * * [misc]points: Setting MPFR precision to 320 1544782016.355 * * * * [misc]points: Setting MPFR precision to 576 1544782016.426 * * * * [misc]points: Filtering points with unrepresentable outputs 1544782016.427 * * * * [misc]points: Sampling 101 additional inputs, on iter 6 have 7899 / 8000 1544782016.427 * * * * [misc]points: Computing exacts on every 6 of 101 points to ramp up precision 1544782016.429 * * * * [misc]points: Setting MPFR precision to 320 1544782016.431 * * * * [misc]points: Setting MPFR precision to 576 1544782016.435 * * * * [misc]points: Computing exacts on every 3 of 101 points to ramp up precision 1544782016.438 * * * * [misc]points: Setting MPFR precision to 320 1544782016.444 * * * * [misc]points: Setting MPFR precision to 576 1544782016.450 * * * * [misc]points: Computing exacts for 101 points 1544782016.454 * * * * [misc]points: Setting MPFR precision to 320 1544782016.476 * * * * [misc]points: Setting MPFR precision to 576 1544782016.502 * * * * [misc]points: Filtering points with unrepresentable outputs 1544782016.503 * * * * [misc]points: Sampling 58 additional inputs, on iter 7 have 7942 / 8000 1544782016.503 * * * * [misc]points: Computing exacts on every 3 of 58 points to ramp up precision 1544782016.506 * * * * [misc]points: Setting MPFR precision to 320 1544782016.510 * * * * [misc]points: Setting MPFR precision to 576 1544782016.514 * * * * [misc]points: Computing exacts for 58 points 1544782016.517 * * * * [misc]points: Setting MPFR precision to 320 1544782016.531 * * * * [misc]points: Setting MPFR precision to 576 1544782016.548 * * * * [misc]points: Filtering points with unrepresentable outputs 1544782016.549 * * * * [misc]points: Sampling 34 additional inputs, on iter 8 have 7966 / 8000 1544782016.549 * * * * [misc]points: Computing exacts on every 2 of 34 points to ramp up precision 1544782016.552 * * * * [misc]points: Setting MPFR precision to 320 1544782016.555 * * * * [misc]points: Setting MPFR precision to 576 1544782016.558 * * * * [misc]points: Computing exacts for 34 points 1544782016.561 * * * * [misc]points: Setting MPFR precision to 320 1544782016.569 * * * * [misc]points: Setting MPFR precision to 576 1544782016.580 * * * * [misc]points: Filtering points with unrepresentable outputs 1544782016.580 * * * * [misc]points: Sampling 11 additional inputs, on iter 9 have 7989 / 8000 1544782016.580 * * * * [misc]points: Computing exacts for 11 points 1544782016.583 * * * * [misc]points: Setting MPFR precision to 320 1544782016.586 * * * * [misc]points: Setting MPFR precision to 576 1544782016.588 * * * * [misc]points: Filtering points with unrepresentable outputs 1544782016.588 * * * * [misc]points: Sampling 5 additional inputs, on iter 10 have 7995 / 8000 1544782016.588 * * * * [misc]points: Computing exacts for 5 points 1544782016.591 * * * * [misc]points: Setting MPFR precision to 320 1544782016.593 * * * * [misc]points: Setting MPFR precision to 576 1544782016.594 * * * * [misc]points: Filtering points with unrepresentable outputs 1544782016.594 * * * * [misc]points: Sampling 4 additional inputs, on iter 11 have 7996 / 8000 1544782016.595 * * * * [misc]points: Computing exacts for 4 points 1544782016.598 * * * * [misc]points: Setting MPFR precision to 320 1544782016.598 * * * * [misc]points: Setting MPFR precision to 576 1544782016.599 * * * * [misc]points: Filtering points with unrepresentable outputs 1544782016.599 * * * * [misc]points: Sampling 4 additional inputs, on iter 12 have 7997 / 8000 1544782016.600 * * * * [misc]points: Computing exacts for 4 points 1544782016.602 * * * * [misc]points: Setting MPFR precision to 320 1544782016.603 * * * * [misc]points: Setting MPFR precision to 576 1544782016.604 * * * * [misc]points: Filtering points with unrepresentable outputs 1544782016.605 * * * * [exit]points: Sampled 8000 points with exact outputs