1544782000.873 * [misc]progress: [Phase 1 of 3] Setting up. 1544782000.874 * * * [misc]progress: [1/2] Preparing points 1544782000.874 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1544782000.877 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1544782000.963 * * * * [misc]points: Setting MPFR precision to 64 1544782000.969 * * * * [misc]points: Setting MPFR precision to 320 1544782000.974 * * * * [misc]points: Setting MPFR precision to 576 1544782000.979 * * * * [misc]points: Setting MPFR precision to 832 1544782000.984 * * * * [misc]points: Setting MPFR precision to 1088 1544782000.991 * * * * [misc]points: Setting MPFR precision to 1344 1544782000.999 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1544782001.003 * * * * [misc]points: Setting MPFR precision to 1088 1544782001.015 * * * * [misc]points: Setting MPFR precision to 1344 1544782001.030 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1544782001.033 * * * * [misc]points: Setting MPFR precision to 1088 1544782001.057 * * * * [misc]points: Setting MPFR precision to 1344 1544782001.084 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1544782001.088 * * * * [misc]points: Setting MPFR precision to 1088 1544782001.129 * * * * [misc]points: Setting MPFR precision to 1344 1544782001.153 * * * * [misc]points: Computing exacts for 256 points 1544782001.155 * * * * [misc]points: Setting MPFR precision to 1088 1544782001.254 * * * * [misc]points: Setting MPFR precision to 1344 1544782001.364 * * * * [misc]points: Filtering points with unrepresentable outputs 1544782001.364 * * * * [misc]points: Sampling 106 additional inputs, on iter 1 have 150 / 256 1544782001.365 * * * * [misc]points: Computing exacts on every 6 of 106 points to ramp up precision 1544782001.367 * * * * [misc]points: Setting MPFR precision to 1088 1544782001.370 * * * * [misc]points: Setting MPFR precision to 1344 1544782001.374 * * * * [misc]points: Computing exacts on every 3 of 106 points to ramp up precision 1544782001.376 * * * * [misc]points: Setting MPFR precision to 1088 1544782001.382 * * * * [misc]points: Setting MPFR precision to 1344 1544782001.390 * * * * [misc]points: Computing exacts for 106 points 1544782001.392 * * * * [misc]points: Setting MPFR precision to 1088 1544782001.427 * * * * [misc]points: Setting MPFR precision to 1344 1544782001.471 * * * * [misc]points: Filtering points with unrepresentable outputs 1544782001.471 * * * * [misc]points: Sampling 61 additional inputs, on iter 2 have 195 / 256 1544782001.472 * * * * [misc]points: Computing exacts on every 3 of 61 points to ramp up precision 1544782001.473 * * * * [misc]points: Setting MPFR precision to 1088 1544782001.477 * * * * [misc]points: Setting MPFR precision to 1344 1544782001.481 * * * * [misc]points: Computing exacts for 61 points 1544782001.483 * * * * [misc]points: Setting MPFR precision to 1088 1544782001.497 * * * * [misc]points: Setting MPFR precision to 1344 1544782001.513 * * * * [misc]points: Filtering points with unrepresentable outputs 1544782001.513 * * * * [misc]points: Sampling 32 additional inputs, on iter 3 have 224 / 256 1544782001.514 * * * * [misc]points: Computing exacts on every 2 of 32 points to ramp up precision 1544782001.515 * * * * [misc]points: Setting MPFR precision to 1088 1544782001.518 * * * * [misc]points: Setting MPFR precision to 1344 1544782001.520 * * * * [misc]points: Computing exacts for 32 points 1544782001.522 * * * * [misc]points: Setting MPFR precision to 1088 1544782001.530 * * * * [misc]points: Setting MPFR precision to 1344 1544782001.980 * * * * [misc]points: Filtering points with unrepresentable outputs 1544782001.980 * * * * [misc]points: Sampling 19 additional inputs, on iter 4 have 237 / 256 1544782001.980 * * * * [misc]points: Computing exacts for 19 points 1544782001.984 * * * * [misc]points: Setting MPFR precision to 1088 1544782001.989 * * * * [misc]points: Setting MPFR precision to 1344 1544782001.994 * * * * [misc]points: Filtering points with unrepresentable outputs 1544782001.994 * * * * [misc]points: Sampling 13 additional inputs, on iter 5 have 243 / 256 1544782001.995 * * * * [misc]points: Computing exacts for 13 points 1544782001.996 * * * * [misc]points: Setting MPFR precision to 1088 1544782001.998 * * * * [misc]points: Setting MPFR precision to 1344 1544782002.002 * * * * [misc]points: Filtering points with unrepresentable outputs 1544782002.002 * * * * [misc]points: Sampling 8 additional inputs, on iter 6 have 248 / 256 1544782002.003 * * * * [misc]points: Computing exacts for 8 points 1544782002.006 * * * * [misc]points: Setting MPFR precision to 1088 1544782002.010 * * * * [misc]points: Setting MPFR precision to 1344 1544782002.014 * * * * [misc]points: Filtering points with unrepresentable outputs 1544782002.014 * * * * [misc]points: Sampling 6 additional inputs, on iter 7 have 250 / 256 1544782002.014 * * * * [misc]points: Computing exacts for 6 points 1544782002.018 * * * * [misc]points: Setting MPFR precision to 1088 1544782002.021 * * * * [misc]points: Setting MPFR precision to 1344 1544782002.024 * * * * [misc]points: Filtering points with unrepresentable outputs 1544782002.024 * * * * [misc]points: Sampling 4 additional inputs, on iter 8 have 254 / 256 1544782002.025 * * * * [misc]points: Computing exacts for 4 points 1544782002.028 * * * * [misc]points: Setting MPFR precision to 1088 1544782002.029 * * * * [misc]points: Setting MPFR precision to 1344 1544782002.030 * * * * [misc]points: Filtering points with unrepresentable outputs 1544782002.030 * * * * [exit]points: Sampled 256 points with exact outputs 1544782002.030 * * * [misc]progress: [2/2] Setting up program. 1544782002.037 * [misc]progress: [Phase 2 of 3] Improving. 1544782002.037 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1544782002.039 * * [misc]simplify: iters left: 6 (12 enodes) 1544782002.045 * * [misc]simplify: iters left: 5 (16 enodes) 1544782002.050 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544782002.064 * * [misc]progress: iteration 1 / 4 1544782002.064 * * * [misc]progress: picking best candidate 1544782002.073 * * * * [misc]pick: Picked # 1544782002.073 * * * [misc]progress: localizing error 1544782002.261 * * * [misc]progress: generating rewritten candidates 1544782002.261 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 1) 1544782002.285 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1 2) 1544782002.286 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1) 1544782002.338 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 1 1) 1544782002.339 * * * [misc]progress: generating series expansions 1544782002.339 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 1) 1544782002.340 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1 2) 1544782002.340 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1) 1544782002.340 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 1 1) 1544782002.340 * * * [misc]progress: simplifying candidates 1544782002.340 * * * * [misc]progress: [ 1 / 6 ] simplifiying candidate # 1544782002.340 * * * * [misc]progress: [ 2 / 6 ] simplifiying candidate # 1544782002.341 * * * * [misc]progress: [ 3 / 6 ] simplifiying candidate # 1544782002.341 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544782002.342 * * [misc]simplify: iters left: 6 (14 enodes) 1544782002.345 * * [misc]simplify: iters left: 5 (16 enodes) 1544782002.348 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544782002.348 * [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)))) 1544782002.348 * * * * [misc]progress: [ 4 / 6 ] simplifiying candidate # 1544782002.348 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544782002.349 * * [misc]simplify: iters left: 6 (14 enodes) 1544782002.352 * * [misc]simplify: iters left: 5 (16 enodes) 1544782002.356 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544782002.356 * [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)))) 1544782002.356 * * * * [misc]progress: [ 5 / 6 ] simplifiying candidate # 1544782002.357 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544782002.358 * * [misc]simplify: iters left: 6 (14 enodes) 1544782002.364 * * [misc]simplify: iters left: 5 (16 enodes) 1544782002.371 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544782002.371 * [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)))) 1544782002.371 * * * * [misc]progress: [ 6 / 6 ] simplifiying candidate # 1544782002.371 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544782002.373 * * [misc]simplify: iters left: 6 (14 enodes) 1544782002.378 * * [misc]simplify: iters left: 5 (16 enodes) 1544782002.385 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544782002.385 * [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)))) 1544782002.385 * * * [misc]progress: adding candidates to table 1544782002.504 * [misc]progress: [Phase 3 of 3] Extracting. 1544782002.515 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544782002.516 * * [misc]simplify: iters left: 6 (14 enodes) 1544782002.519 * * [misc]simplify: iters left: 5 (15 enodes) 1544782002.523 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544782002.523 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1544782002.595 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1544782002.599 * * * * [misc]points: Setting MPFR precision to 1088 1544782002.606 * * * * [misc]points: Setting MPFR precision to 1344 1544782002.614 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1544782002.618 * * * * [misc]points: Setting MPFR precision to 1088 1544782002.631 * * * * [misc]points: Setting MPFR precision to 1344 1544782002.640 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1544782002.641 * * * * [misc]points: Setting MPFR precision to 1088 1544782002.656 * * * * [misc]points: Setting MPFR precision to 1344 1544782002.675 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1544782002.677 * * * * [misc]points: Setting MPFR precision to 1088 1544782002.721 * * * * [misc]points: Setting MPFR precision to 1344 1544782002.797 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1544782002.800 * * * * [misc]points: Setting MPFR precision to 1088 1544782002.884 * * * * [misc]points: Setting MPFR precision to 1344 1544782003.022 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1544782003.025 * * * * [misc]points: Setting MPFR precision to 1088 1544782003.274 * * * * [misc]points: Setting MPFR precision to 1344 1544782003.475 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1544782003.478 * * * * [misc]points: Setting MPFR precision to 1088 1544782003.960 * * * * [misc]points: Setting MPFR precision to 1344 1544782004.555 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1544782004.558 * * * * [misc]points: Setting MPFR precision to 1088 1544782005.293 * * * * [misc]points: Setting MPFR precision to 1344 1544782006.638 * * * * [misc]points: Computing exacts for 8000 points 1544782006.640 * * * * [misc]points: Setting MPFR precision to 1088 1544782010.219 * * * * [misc]points: Setting MPFR precision to 1344 1544782014.812 * * * * [misc]points: Filtering points with unrepresentable outputs 1544782014.815 * * * * [misc]points: Sampling 3924 additional inputs, on iter 1 have 4076 / 8000 1544782014.898 * * * * [misc]points: Computing exacts on every 245 of 3924 points to ramp up precision 1544782014.902 * * * * [misc]points: Setting MPFR precision to 1088 1544782014.909 * * * * [misc]points: Setting MPFR precision to 1344 1544782014.918 * * * * [misc]points: Computing exacts on every 122 of 3924 points to ramp up precision 1544782014.921 * * * * [misc]points: Setting MPFR precision to 1088 1544782014.936 * * * * [misc]points: Setting MPFR precision to 1344 1544782014.955 * * * * [misc]points: Computing exacts on every 61 of 3924 points to ramp up precision 1544782014.958 * * * * [misc]points: Setting MPFR precision to 1088 1544782014.986 * * * * [misc]points: Setting MPFR precision to 1344 1544782015.026 * * * * [misc]points: Computing exacts on every 30 of 3924 points to ramp up precision 1544782015.029 * * * * [misc]points: Setting MPFR precision to 1088 1544782015.087 * * * * [misc]points: Setting MPFR precision to 1344 1544782015.190 * * * * [misc]points: Computing exacts on every 15 of 3924 points to ramp up precision 1544782015.193 * * * * [misc]points: Setting MPFR precision to 1088 1544782015.290 * * * * [misc]points: Setting MPFR precision to 1344 1544782015.387 * * * * [misc]points: Computing exacts on every 7 of 3924 points to ramp up precision 1544782015.390 * * * * [misc]points: Setting MPFR precision to 1088 1544782015.621 * * * * [misc]points: Setting MPFR precision to 1344 1544782015.832 * * * * [misc]points: Computing exacts on every 3 of 3924 points to ramp up precision 1544782015.835 * * * * [misc]points: Setting MPFR precision to 1088 1544782016.152 * * * * [misc]points: Setting MPFR precision to 1344 1544782016.661 * * * * [misc]points: Computing exacts for 3924 points 1544782016.663 * * * * [misc]points: Setting MPFR precision to 1088 1544782018.559 * * * * [misc]points: Setting MPFR precision to 1344 1544782020.465 * * * * [misc]points: Filtering points with unrepresentable outputs 1544782020.466 * * * * [misc]points: Sampling 1842 additional inputs, on iter 2 have 6158 / 8000 1544782020.481 * * * * [misc]points: Computing exacts on every 115 of 1842 points to ramp up precision 1544782020.484 * * * * [misc]points: Setting MPFR precision to 1088 1544782020.489 * * * * [misc]points: Setting MPFR precision to 1344 1544782020.494 * * * * [misc]points: Computing exacts on every 57 of 1842 points to ramp up precision 1544782020.496 * * * * [misc]points: Setting MPFR precision to 1088 1544782020.503 * * * * [misc]points: Setting MPFR precision to 1344 1544782020.513 * * * * [misc]points: Computing exacts on every 28 of 1842 points to ramp up precision 1544782020.515 * * * * [misc]points: Setting MPFR precision to 1088 1544782020.530 * * * * [misc]points: Setting MPFR precision to 1344 1544782020.550 * * * * [misc]points: Computing exacts on every 14 of 1842 points to ramp up precision 1544782020.552 * * * * [misc]points: Setting MPFR precision to 1088 1544782020.580 * * * * [misc]points: Setting MPFR precision to 1344 1544782020.646 * * * * [misc]points: Computing exacts on every 7 of 1842 points to ramp up precision 1544782020.648 * * * * [misc]points: Setting MPFR precision to 1088 1544782020.726 * * * * [misc]points: Setting MPFR precision to 1344 1544782020.830 * * * * [misc]points: Computing exacts on every 3 of 1842 points to ramp up precision 1544782020.833 * * * * [misc]points: Setting MPFR precision to 1088 1544782021.019 * * * * [misc]points: Setting MPFR precision to 1344 1544782021.193 * * * * [misc]points: Computing exacts for 1842 points 1544782021.195 * * * * [misc]points: Setting MPFR precision to 1088 1544782022.201 * * * * [misc]points: Setting MPFR precision to 1344 1544782023.103 * * * * [misc]points: Filtering points with unrepresentable outputs 1544782023.103 * * * * [misc]points: Sampling 902 additional inputs, on iter 3 have 7098 / 8000 1544782023.111 * * * * [misc]points: Computing exacts on every 56 of 902 points to ramp up precision 1544782023.114 * * * * [misc]points: Setting MPFR precision to 1088 1544782023.164 * * * * [misc]points: Setting MPFR precision to 1344 1544782023.178 * * * * [misc]points: Computing exacts on every 28 of 902 points to ramp up precision 1544782023.181 * * * * [misc]points: Setting MPFR precision to 1088 1544782023.192 * * * * [misc]points: Setting MPFR precision to 1344 1544782023.201 * * * * [misc]points: Computing exacts on every 14 of 902 points to ramp up precision 1544782023.202 * * * * [misc]points: Setting MPFR precision to 1088 1544782023.217 * * * * [misc]points: Setting MPFR precision to 1344 1544782023.242 * * * * [misc]points: Computing exacts on every 7 of 902 points to ramp up precision 1544782023.245 * * * * [misc]points: Setting MPFR precision to 1088 1544782023.287 * * * * [misc]points: Setting MPFR precision to 1344 1544782023.318 * * * * [misc]points: Computing exacts on every 3 of 902 points to ramp up precision 1544782023.320 * * * * [misc]points: Setting MPFR precision to 1088 1544782023.380 * * * * [misc]points: Setting MPFR precision to 1344 1544782023.502 * * * * [misc]points: Computing exacts for 902 points 1544782023.505 * * * * [misc]points: Setting MPFR precision to 1088 1544782023.827 * * * * [misc]points: Setting MPFR precision to 1344 1544782024.287 * * * * [misc]points: Filtering points with unrepresentable outputs 1544782024.288 * * * * [misc]points: Sampling 439 additional inputs, on iter 4 have 7561 / 8000 1544782024.290 * * * * [misc]points: Computing exacts on every 27 of 439 points to ramp up precision 1544782024.291 * * * * [misc]points: Setting MPFR precision to 1088 1544782024.295 * * * * [misc]points: Setting MPFR precision to 1344 1544782024.298 * * * * [misc]points: Computing exacts on every 13 of 439 points to ramp up precision 1544782024.300 * * * * [misc]points: Setting MPFR precision to 1088 1544782024.307 * * * * [misc]points: Setting MPFR precision to 1344 1544782024.319 * * * * [misc]points: Computing exacts on every 6 of 439 points to ramp up precision 1544782024.322 * * * * [misc]points: Setting MPFR precision to 1088 1544782024.349 * * * * [misc]points: Setting MPFR precision to 1344 1544782024.378 * * * * [misc]points: Computing exacts on every 3 of 439 points to ramp up precision 1544782024.379 * * * * [misc]points: Setting MPFR precision to 1088 1544782024.406 * * * * [misc]points: Setting MPFR precision to 1344 1544782024.461 * * * * [misc]points: Computing exacts for 439 points 1544782024.464 * * * * [misc]points: Setting MPFR precision to 1088 1544782024.639 * * * * [misc]points: Setting MPFR precision to 1344 1544782024.813 * * * * [misc]points: Filtering points with unrepresentable outputs 1544782024.813 * * * * [misc]points: Sampling 233 additional inputs, on iter 5 have 7767 / 8000 1544782024.816 * * * * [misc]points: Computing exacts on every 14 of 233 points to ramp up precision 1544782024.819 * * * * [misc]points: Setting MPFR precision to 1088 1544782024.826 * * * * [misc]points: Setting MPFR precision to 1344 1544782024.833 * * * * [misc]points: Computing exacts on every 7 of 233 points to ramp up precision 1544782024.837 * * * * [misc]points: Setting MPFR precision to 1088 1544782024.852 * * * * [misc]points: Setting MPFR precision to 1344 1544782024.869 * * * * [misc]points: Computing exacts on every 3 of 233 points to ramp up precision 1544782024.871 * * * * [misc]points: Setting MPFR precision to 1088 1544782024.915 * * * * [misc]points: Setting MPFR precision to 1344 1544782024.947 * * * * [misc]points: Computing exacts for 233 points 1544782024.950 * * * * [misc]points: Setting MPFR precision to 1088 1544782025.056 * * * * [misc]points: Setting MPFR precision to 1344 1544782025.134 * * * * [misc]points: Filtering points with unrepresentable outputs 1544782025.135 * * * * [misc]points: Sampling 102 additional inputs, on iter 6 have 7898 / 8000 1544782025.135 * * * * [misc]points: Computing exacts on every 6 of 102 points to ramp up precision 1544782025.137 * * * * [misc]points: Setting MPFR precision to 1088 1544782025.141 * * * * [misc]points: Setting MPFR precision to 1344 1544782025.145 * * * * [misc]points: Computing exacts on every 3 of 102 points to ramp up precision 1544782025.146 * * * * [misc]points: Setting MPFR precision to 1088 1544782025.153 * * * * [misc]points: Setting MPFR precision to 1344 1544782025.160 * * * * [misc]points: Computing exacts for 102 points 1544782025.161 * * * * [misc]points: Setting MPFR precision to 1088 1544782025.187 * * * * [misc]points: Setting MPFR precision to 1344 1544782025.277 * * * * [misc]points: Filtering points with unrepresentable outputs 1544782025.277 * * * * [misc]points: Sampling 58 additional inputs, on iter 7 have 7942 / 8000 1544782025.278 * * * * [misc]points: Computing exacts on every 3 of 58 points to ramp up precision 1544782025.281 * * * * [misc]points: Setting MPFR precision to 1088 1544782025.288 * * * * [misc]points: Setting MPFR precision to 1344 1544782025.294 * * * * [misc]points: Computing exacts for 58 points 1544782025.297 * * * * [misc]points: Setting MPFR precision to 1088 1544782025.324 * * * * [misc]points: Setting MPFR precision to 1344 1544782025.353 * * * * [misc]points: Filtering points with unrepresentable outputs 1544782025.354 * * * * [misc]points: Sampling 34 additional inputs, on iter 8 have 7966 / 8000 1544782025.354 * * * * [misc]points: Computing exacts on every 2 of 34 points to ramp up precision 1544782025.357 * * * * [misc]points: Setting MPFR precision to 1088 1544782025.362 * * * * [misc]points: Setting MPFR precision to 1344 1544782025.369 * * * * [misc]points: Computing exacts for 34 points 1544782025.372 * * * * [misc]points: Setting MPFR precision to 1088 1544782025.389 * * * * [misc]points: Setting MPFR precision to 1344 1544782025.410 * * * * [misc]points: Filtering points with unrepresentable outputs 1544782025.411 * * * * [misc]points: Sampling 10 additional inputs, on iter 9 have 7990 / 8000 1544782025.411 * * * * [misc]points: Computing exacts for 10 points 1544782025.414 * * * * [misc]points: Setting MPFR precision to 1088 1544782025.418 * * * * [misc]points: Setting MPFR precision to 1344 1544782025.422 * * * * [misc]points: Filtering points with unrepresentable outputs 1544782025.423 * * * * [misc]points: Sampling 4 additional inputs, on iter 10 have 7996 / 8000 1544782025.423 * * * * [misc]points: Computing exacts for 4 points 1544782025.426 * * * * [misc]points: Setting MPFR precision to 1088 1544782025.427 * * * * [misc]points: Setting MPFR precision to 1344 1544782025.429 * * * * [misc]points: Filtering points with unrepresentable outputs 1544782025.429 * * * * [misc]points: Sampling 4 additional inputs, on iter 11 have 7996 / 8000 1544782025.429 * * * * [misc]points: Computing exacts for 4 points 1544782025.432 * * * * [misc]points: Setting MPFR precision to 1088 1544782025.433 * * * * [misc]points: Setting MPFR precision to 1344 1544782025.436 * * * * [misc]points: Filtering points with unrepresentable outputs 1544782025.437 * * * * [misc]points: Sampling 4 additional inputs, on iter 12 have 7997 / 8000 1544782025.437 * * * * [misc]points: Computing exacts for 4 points 1544782025.439 * * * * [misc]points: Setting MPFR precision to 1088 1544782025.440 * * * * [misc]points: Setting MPFR precision to 1344 1544782025.441 * * * * [misc]points: Filtering points with unrepresentable outputs 1544782025.441 * * * * [misc]points: Sampling 4 additional inputs, on iter 13 have 7999 / 8000 1544782025.441 * * * * [misc]points: Computing exacts for 4 points 1544782025.443 * * * * [misc]points: Setting MPFR precision to 1088 1544782025.444 * * * * [misc]points: Setting MPFR precision to 1344 1544782025.445 * * * * [misc]points: Filtering points with unrepresentable outputs 1544782025.445 * * * * [exit]points: Sampled 8002 points with exact outputs