1544862903.473 * [misc]progress: [Phase 1 of 3] Setting up. 1544862903.474 * * * [misc]progress: [1/2] Preparing points 1544862903.475 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1544862903.479 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1544862903.547 * * * * [misc]points: Setting MPFR precision to 64 1544862903.550 * * * * [misc]points: Setting MPFR precision to 320 1544862903.552 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1544862903.554 * * * * [misc]points: Setting MPFR precision to 64 1544862903.557 * * * * [misc]points: Setting MPFR precision to 320 1544862903.561 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1544862903.563 * * * * [misc]points: Setting MPFR precision to 64 1544862903.569 * * * * [misc]points: Setting MPFR precision to 320 1544862903.576 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1544862903.578 * * * * [misc]points: Setting MPFR precision to 64 1544862903.587 * * * * [misc]points: Setting MPFR precision to 320 1544862903.598 * * * * [misc]points: Computing exacts for 256 points 1544862903.600 * * * * [misc]points: Setting MPFR precision to 64 1544862903.680 * * * * [misc]points: Setting MPFR precision to 320 1544862903.742 * * * * [misc]points: Filtering points with unrepresentable outputs 1544862903.743 * * * * [misc]points: Sampling 129 additional inputs, on iter 1 have 127 / 256 1544862903.744 * * * * [misc]points: Computing exacts on every 8 of 129 points to ramp up precision 1544862903.747 * * * * [misc]points: Setting MPFR precision to 64 1544862903.751 * * * * [misc]points: Setting MPFR precision to 320 1544862903.754 * * * * [misc]points: Computing exacts on every 4 of 129 points to ramp up precision 1544862903.756 * * * * [misc]points: Setting MPFR precision to 64 1544862903.761 * * * * [misc]points: Setting MPFR precision to 320 1544862903.767 * * * * [misc]points: Computing exacts on every 2 of 129 points to ramp up precision 1544862903.770 * * * * [misc]points: Setting MPFR precision to 64 1544862903.778 * * * * [misc]points: Setting MPFR precision to 320 1544862903.787 * * * * [misc]points: Computing exacts for 129 points 1544862903.790 * * * * [misc]points: Setting MPFR precision to 64 1544862903.804 * * * * [misc]points: Setting MPFR precision to 320 1544862903.824 * * * * [misc]points: Filtering points with unrepresentable outputs 1544862903.825 * * * * [misc]points: Sampling 65 additional inputs, on iter 2 have 191 / 256 1544862903.825 * * * * [misc]points: Computing exacts on every 4 of 65 points to ramp up precision 1544862903.827 * * * * [misc]points: Setting MPFR precision to 64 1544862903.828 * * * * [misc]points: Setting MPFR precision to 320 1544862903.830 * * * * [misc]points: Computing exacts on every 2 of 65 points to ramp up precision 1544862903.832 * * * * [misc]points: Setting MPFR precision to 64 1544862903.834 * * * * [misc]points: Setting MPFR precision to 320 1544862903.837 * * * * [misc]points: Computing exacts for 65 points 1544862903.839 * * * * [misc]points: Setting MPFR precision to 64 1544862903.845 * * * * [misc]points: Setting MPFR precision to 320 1544862903.853 * * * * [misc]points: Filtering points with unrepresentable outputs 1544862903.853 * * * * [misc]points: Sampling 33 additional inputs, on iter 3 have 223 / 256 1544862903.853 * * * * [misc]points: Computing exacts on every 2 of 33 points to ramp up precision 1544862903.855 * * * * [misc]points: Setting MPFR precision to 64 1544862903.857 * * * * [misc]points: Setting MPFR precision to 320 1544862903.860 * * * * [misc]points: Computing exacts for 33 points 1544862903.863 * * * * [misc]points: Setting MPFR precision to 64 1544862903.924 * * * * [misc]points: Setting MPFR precision to 320 1544862903.933 * * * * [misc]points: Filtering points with unrepresentable outputs 1544862903.933 * * * * [misc]points: Sampling 16 additional inputs, on iter 4 have 240 / 256 1544862903.933 * * * * [misc]points: Computing exacts for 16 points 1544862903.936 * * * * [misc]points: Setting MPFR precision to 64 1544862903.940 * * * * [misc]points: Setting MPFR precision to 320 1544862903.949 * * * * [misc]points: Filtering points with unrepresentable outputs 1544862903.949 * * * * [misc]points: Sampling 9 additional inputs, on iter 5 have 247 / 256 1544862903.949 * * * * [misc]points: Computing exacts for 9 points 1544862903.953 * * * * [misc]points: Setting MPFR precision to 64 1544862903.955 * * * * [misc]points: Setting MPFR precision to 320 1544862903.958 * * * * [misc]points: Filtering points with unrepresentable outputs 1544862903.958 * * * * [misc]points: Sampling 6 additional inputs, on iter 6 have 250 / 256 1544862903.959 * * * * [misc]points: Computing exacts for 6 points 1544862903.962 * * * * [misc]points: Setting MPFR precision to 64 1544862903.963 * * * * [misc]points: Setting MPFR precision to 320 1544862903.965 * * * * [misc]points: Filtering points with unrepresentable outputs 1544862903.965 * * * * [misc]points: Sampling 4 additional inputs, on iter 7 have 254 / 256 1544862903.965 * * * * [misc]points: Computing exacts for 4 points 1544862903.968 * * * * [misc]points: Setting MPFR precision to 64 1544862903.969 * * * * [misc]points: Setting MPFR precision to 320 1544862903.970 * * * * [misc]points: Filtering points with unrepresentable outputs 1544862903.970 * * * * [exit]points: Sampled 257 points with exact outputs 1544862903.971 * * * [misc]progress: [2/2] Setting up program. 1544862903.983 * [misc]progress: [Phase 2 of 3] Improving. 1544862903.984 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1544862903.987 * * [misc]simplify: iters left: 6 (12 enodes) 1544862903.998 * * [misc]simplify: iters left: 5 (16 enodes) 1544862904.006 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544862904.021 * * [misc]progress: iteration 1 / 4 1544862904.021 * * * [misc]progress: picking best candidate 1544862904.028 * * * * [misc]pick: Picked # 1544862904.028 * * * [misc]progress: localizing error 1544862904.501 * * * [misc]progress: generating rewritten candidates 1544862904.502 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 1) 1544862904.517 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1 2) 1544862904.518 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 1) 1544862904.518 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1) 1544862904.536 * * * [misc]progress: generating series expansions 1544862904.537 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 1) 1544862904.537 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1 2) 1544862904.537 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 1) 1544862904.537 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1) 1544862904.537 * * * [misc]progress: simplifying candidates 1544862904.537 * * * * [misc]progress: [ 1 / 6 ] simplifiying candidate # 1544862904.537 * * * * [misc]progress: [ 2 / 6 ] simplifiying candidate # 1544862904.538 * * * * [misc]progress: [ 3 / 6 ] simplifiying candidate # 1544862904.538 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544862904.539 * * [misc]simplify: iters left: 6 (14 enodes) 1544862904.552 * * [misc]simplify: iters left: 5 (16 enodes) 1544862904.556 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544862904.556 * [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)))) 1544862904.556 * * * * [misc]progress: [ 4 / 6 ] simplifiying candidate # 1544862904.556 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544862904.557 * * [misc]simplify: iters left: 6 (14 enodes) 1544862904.560 * * [misc]simplify: iters left: 5 (16 enodes) 1544862904.566 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544862904.567 * [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)))) 1544862904.567 * * * * [misc]progress: [ 5 / 6 ] simplifiying candidate # 1544862904.567 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544862904.568 * * [misc]simplify: iters left: 6 (14 enodes) 1544862904.574 * * [misc]simplify: iters left: 5 (16 enodes) 1544862904.581 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544862904.581 * [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)))) 1544862904.581 * * * * [misc]progress: [ 6 / 6 ] simplifiying candidate # 1544862904.581 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544862904.583 * * [misc]simplify: iters left: 6 (14 enodes) 1544862904.588 * * [misc]simplify: iters left: 5 (16 enodes) 1544862904.591 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544862904.591 * [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)))) 1544862904.592 * * * [misc]progress: adding candidates to table 1544862904.709 * [misc]progress: [Phase 3 of 3] Extracting. 1544862904.721 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544862904.723 * * [misc]simplify: iters left: 6 (14 enodes) 1544862904.725 * * [misc]simplify: iters left: 5 (15 enodes) 1544862904.730 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544862904.730 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1544862904.794 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1544862904.796 * * * * [misc]points: Setting MPFR precision to 64 1544862904.798 * * * * [misc]points: Setting MPFR precision to 320 1544862904.800 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1544862904.802 * * * * [misc]points: Setting MPFR precision to 64 1544862904.806 * * * * [misc]points: Setting MPFR precision to 320 1544862904.810 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1544862904.811 * * * * [misc]points: Setting MPFR precision to 64 1544862904.818 * * * * [misc]points: Setting MPFR precision to 320 1544862904.826 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1544862904.828 * * * * [misc]points: Setting MPFR precision to 64 1544862904.840 * * * * [misc]points: Setting MPFR precision to 320 1544862904.856 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1544862904.858 * * * * [misc]points: Setting MPFR precision to 64 1544862904.926 * * * * [misc]points: Setting MPFR precision to 320 1544862904.984 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1544862904.986 * * * * [misc]points: Setting MPFR precision to 64 1544862905.048 * * * * [misc]points: Setting MPFR precision to 320 1544862905.187 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1544862905.191 * * * * [misc]points: Setting MPFR precision to 64 1544862905.367 * * * * [misc]points: Setting MPFR precision to 320 1544862905.625 * * * * [misc]points: Setting MPFR precision to 576 1544862905.906 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1544862905.909 * * * * [misc]points: Setting MPFR precision to 320 1544862906.393 * * * * [misc]points: Setting MPFR precision to 576 1544862907.027 * * * * [misc]points: Computing exacts for 8000 points 1544862907.031 * * * * [misc]points: Setting MPFR precision to 320 1544862909.215 * * * * [misc]points: Setting MPFR precision to 576 1544862911.789 * * * * [misc]points: Filtering points with unrepresentable outputs 1544862911.791 * * * * [misc]points: Sampling 3980 additional inputs, on iter 1 have 4020 / 8000 1544862911.869 * * * * [misc]points: Computing exacts on every 248 of 3980 points to ramp up precision 1544862911.873 * * * * [misc]points: Setting MPFR precision to 320 1544862911.876 * * * * [misc]points: Setting MPFR precision to 576 1544862911.878 * * * * [misc]points: Computing exacts on every 124 of 3980 points to ramp up precision 1544862911.880 * * * * [misc]points: Setting MPFR precision to 320 1544862911.884 * * * * [misc]points: Setting MPFR precision to 576 1544862911.888 * * * * [misc]points: Computing exacts on every 62 of 3980 points to ramp up precision 1544862911.890 * * * * [misc]points: Setting MPFR precision to 320 1544862911.897 * * * * [misc]points: Setting MPFR precision to 576 1544862911.909 * * * * [misc]points: Computing exacts on every 31 of 3980 points to ramp up precision 1544862911.912 * * * * [misc]points: Setting MPFR precision to 320 1544862911.940 * * * * [misc]points: Setting MPFR precision to 576 1544862911.973 * * * * [misc]points: Computing exacts on every 15 of 3980 points to ramp up precision 1544862911.977 * * * * [misc]points: Setting MPFR precision to 320 1544862912.011 * * * * [misc]points: Setting MPFR precision to 576 1544862912.126 * * * * [misc]points: Computing exacts on every 7 of 3980 points to ramp up precision 1544862912.130 * * * * [misc]points: Setting MPFR precision to 320 1544862912.248 * * * * [misc]points: Setting MPFR precision to 576 1544862912.410 * * * * [misc]points: Computing exacts on every 3 of 3980 points to ramp up precision 1544862912.412 * * * * [misc]points: Setting MPFR precision to 320 1544862912.637 * * * * [misc]points: Setting MPFR precision to 576 1544862913.294 * * * * [misc]points: Computing exacts for 3980 points 1544862913.297 * * * * [misc]points: Setting MPFR precision to 320 1544862914.262 * * * * [misc]points: Setting MPFR precision to 576 1544862915.353 * * * * [misc]points: Filtering points with unrepresentable outputs 1544862915.354 * * * * [misc]points: Sampling 1968 additional inputs, on iter 2 have 6032 / 8000 1544862915.363 * * * * [misc]points: Computing exacts on every 123 of 1968 points to ramp up precision 1544862915.365 * * * * [misc]points: Setting MPFR precision to 320 1544862915.401 * * * * [misc]points: Setting MPFR precision to 576 1544862915.404 * * * * [misc]points: Computing exacts on every 61 of 1968 points to ramp up precision 1544862915.406 * * * * [misc]points: Setting MPFR precision to 320 1544862915.412 * * * * [misc]points: Setting MPFR precision to 576 1544862915.416 * * * * [misc]points: Computing exacts on every 30 of 1968 points to ramp up precision 1544862915.418 * * * * [misc]points: Setting MPFR precision to 320 1544862915.425 * * * * [misc]points: Setting MPFR precision to 576 1544862915.441 * * * * [misc]points: Computing exacts on every 15 of 1968 points to ramp up precision 1544862915.444 * * * * [misc]points: Setting MPFR precision to 320 1544862915.473 * * * * [misc]points: Setting MPFR precision to 576 1544862915.507 * * * * [misc]points: Computing exacts on every 7 of 1968 points to ramp up precision 1544862915.510 * * * * [misc]points: Setting MPFR precision to 320 1544862915.550 * * * * [misc]points: Setting MPFR precision to 576 1544862915.593 * * * * [misc]points: Computing exacts on every 3 of 1968 points to ramp up precision 1544862915.597 * * * * [misc]points: Setting MPFR precision to 320 1544862915.750 * * * * [misc]points: Setting MPFR precision to 576 1544862915.888 * * * * [misc]points: Computing exacts for 1968 points 1544862915.892 * * * * [misc]points: Setting MPFR precision to 320 1544862916.746 * * * * [misc]points: Setting MPFR precision to 576 1544862917.234 * * * * [misc]points: Filtering points with unrepresentable outputs 1544862917.234 * * * * [misc]points: Sampling 970 additional inputs, on iter 3 have 7030 / 8000 1544862917.239 * * * * [misc]points: Computing exacts on every 60 of 970 points to ramp up precision 1544862917.241 * * * * [misc]points: Setting MPFR precision to 320 1544862917.243 * * * * [misc]points: Setting MPFR precision to 576 1544862917.245 * * * * [misc]points: Computing exacts on every 30 of 970 points to ramp up precision 1544862917.247 * * * * [misc]points: Setting MPFR precision to 320 1544862917.251 * * * * [misc]points: Setting MPFR precision to 576 1544862917.255 * * * * [misc]points: Computing exacts on every 15 of 970 points to ramp up precision 1544862917.257 * * * * [misc]points: Setting MPFR precision to 320 1544862917.319 * * * * [misc]points: Setting MPFR precision to 576 1544862917.335 * * * * [misc]points: Computing exacts on every 7 of 970 points to ramp up precision 1544862917.339 * * * * [misc]points: Setting MPFR precision to 320 1544862917.365 * * * * [misc]points: Setting MPFR precision to 576 1544862917.394 * * * * [misc]points: Computing exacts on every 3 of 970 points to ramp up precision 1544862917.398 * * * * [misc]points: Setting MPFR precision to 320 1544862917.453 * * * * [misc]points: Setting MPFR precision to 576 1544862917.519 * * * * [misc]points: Computing exacts for 970 points 1544862917.522 * * * * [misc]points: Setting MPFR precision to 320 1544862917.759 * * * * [misc]points: Setting MPFR precision to 576 1544862917.992 * * * * [misc]points: Filtering points with unrepresentable outputs 1544862917.993 * * * * [misc]points: Sampling 492 additional inputs, on iter 4 have 7508 / 8000 1544862917.995 * * * * [misc]points: Computing exacts on every 30 of 492 points to ramp up precision 1544862917.997 * * * * [misc]points: Setting MPFR precision to 320 1544862917.999 * * * * [misc]points: Setting MPFR precision to 576 1544862918.001 * * * * [misc]points: Computing exacts on every 15 of 492 points to ramp up precision 1544862918.003 * * * * [misc]points: Setting MPFR precision to 320 1544862918.007 * * * * [misc]points: Setting MPFR precision to 576 1544862918.011 * * * * [misc]points: Computing exacts on every 7 of 492 points to ramp up precision 1544862918.013 * * * * [misc]points: Setting MPFR precision to 320 1544862918.020 * * * * [misc]points: Setting MPFR precision to 576 1544862918.060 * * * * [misc]points: Computing exacts on every 3 of 492 points to ramp up precision 1544862918.062 * * * * [misc]points: Setting MPFR precision to 320 1544862918.090 * * * * [misc]points: Setting MPFR precision to 576 1544862918.107 * * * * [misc]points: Computing exacts for 492 points 1544862918.109 * * * * [misc]points: Setting MPFR precision to 320 1544862918.170 * * * * [misc]points: Setting MPFR precision to 576 1544862918.292 * * * * [misc]points: Filtering points with unrepresentable outputs 1544862918.292 * * * * [misc]points: Sampling 230 additional inputs, on iter 5 have 7770 / 8000 1544862918.293 * * * * [misc]points: Computing exacts on every 14 of 230 points to ramp up precision 1544862918.295 * * * * [misc]points: Setting MPFR precision to 320 1544862918.297 * * * * [misc]points: Setting MPFR precision to 576 1544862918.299 * * * * [misc]points: Computing exacts on every 7 of 230 points to ramp up precision 1544862918.301 * * * * [misc]points: Setting MPFR precision to 320 1544862918.305 * * * * [misc]points: Setting MPFR precision to 576 1544862918.309 * * * * [misc]points: Computing exacts on every 3 of 230 points to ramp up precision 1544862918.311 * * * * [misc]points: Setting MPFR precision to 320 1544862918.318 * * * * [misc]points: Setting MPFR precision to 576 1544862918.326 * * * * [misc]points: Computing exacts for 230 points 1544862918.328 * * * * [misc]points: Setting MPFR precision to 320 1544862918.355 * * * * [misc]points: Setting MPFR precision to 576 1544862918.391 * * * * [misc]points: Filtering points with unrepresentable outputs 1544862918.391 * * * * [misc]points: Sampling 117 additional inputs, on iter 6 have 7883 / 8000 1544862918.392 * * * * [misc]points: Computing exacts on every 7 of 117 points to ramp up precision 1544862918.393 * * * * [misc]points: Setting MPFR precision to 320 1544862918.427 * * * * [misc]points: Setting MPFR precision to 576 1544862918.429 * * * * [misc]points: Computing exacts on every 3 of 117 points to ramp up precision 1544862918.431 * * * * [misc]points: Setting MPFR precision to 320 1544862918.435 * * * * [misc]points: Setting MPFR precision to 576 1544862918.442 * * * * [misc]points: Computing exacts for 117 points 1544862918.444 * * * * [misc]points: Setting MPFR precision to 320 1544862918.458 * * * * [misc]points: Setting MPFR precision to 576 1544862918.475 * * * * [misc]points: Filtering points with unrepresentable outputs 1544862918.475 * * * * [misc]points: Sampling 65 additional inputs, on iter 7 have 7935 / 8000 1544862918.476 * * * * [misc]points: Computing exacts on every 4 of 65 points to ramp up precision 1544862918.478 * * * * [misc]points: Setting MPFR precision to 320 1544862918.479 * * * * [misc]points: Setting MPFR precision to 576 1544862918.481 * * * * [misc]points: Computing exacts on every 2 of 65 points to ramp up precision 1544862918.483 * * * * [misc]points: Setting MPFR precision to 320 1544862918.485 * * * * [misc]points: Setting MPFR precision to 576 1544862918.489 * * * * [misc]points: Computing exacts for 65 points 1544862918.490 * * * * [misc]points: Setting MPFR precision to 320 1544862918.505 * * * * [misc]points: Setting MPFR precision to 576 1544862918.523 * * * * [misc]points: Filtering points with unrepresentable outputs 1544862918.523 * * * * [misc]points: Sampling 33 additional inputs, on iter 8 have 7967 / 8000 1544862918.524 * * * * [misc]points: Computing exacts on every 2 of 33 points to ramp up precision 1544862918.528 * * * * [misc]points: Setting MPFR precision to 320 1544862918.531 * * * * [misc]points: Setting MPFR precision to 576 1544862918.535 * * * * [misc]points: Computing exacts for 33 points 1544862918.538 * * * * [misc]points: Setting MPFR precision to 320 1544862918.546 * * * * [misc]points: Setting MPFR precision to 576 1544862918.554 * * * * [misc]points: Filtering points with unrepresentable outputs 1544862918.555 * * * * [misc]points: Sampling 19 additional inputs, on iter 9 have 7981 / 8000 1544862918.555 * * * * [misc]points: Computing exacts for 19 points 1544862918.558 * * * * [misc]points: Setting MPFR precision to 320 1544862918.561 * * * * [misc]points: Setting MPFR precision to 576 1544862918.563 * * * * [misc]points: Filtering points with unrepresentable outputs 1544862918.563 * * * * [misc]points: Sampling 9 additional inputs, on iter 10 have 7991 / 8000 1544862918.563 * * * * [misc]points: Computing exacts for 9 points 1544862918.566 * * * * [misc]points: Setting MPFR precision to 320 1544862918.567 * * * * [misc]points: Setting MPFR precision to 576 1544862918.568 * * * * [misc]points: Filtering points with unrepresentable outputs 1544862918.568 * * * * [misc]points: Sampling 4 additional inputs, on iter 11 have 7996 / 8000 1544862918.568 * * * * [misc]points: Computing exacts for 4 points 1544862918.570 * * * * [misc]points: Setting MPFR precision to 320 1544862918.571 * * * * [misc]points: Setting MPFR precision to 576 1544862918.571 * * * * [misc]points: Filtering points with unrepresentable outputs 1544862918.572 * * * * [misc]points: Sampling 4 additional inputs, on iter 12 have 7997 / 8000 1544862918.572 * * * * [misc]points: Computing exacts for 4 points 1544862918.573 * * * * [misc]points: Setting MPFR precision to 320 1544862918.574 * * * * [misc]points: Setting MPFR precision to 576 1544862918.574 * * * * [misc]points: Filtering points with unrepresentable outputs 1544862918.574 * * * * [misc]points: Sampling 4 additional inputs, on iter 13 have 7999 / 8000 1544862918.575 * * * * [misc]points: Computing exacts for 4 points 1544862918.576 * * * * [misc]points: Setting MPFR precision to 320 1544862918.577 * * * * [misc]points: Setting MPFR precision to 576 1544862918.578 * * * * [misc]points: Filtering points with unrepresentable outputs 1544862918.578 * * * * [exit]points: Sampled 8001 points with exact outputs