1545818764.159 * [misc]progress: [Phase 1 of 3] Setting up. 1545818764.160 * * * [misc]progress: [1/2] Preparing points 1545818764.160 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1545818764.163 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1545818764.237 * * * * [misc]points: Setting MPFR precision to 64 1545818764.242 * * * * [misc]points: Setting MPFR precision to 320 1545818764.246 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1545818764.249 * * * * [misc]points: Setting MPFR precision to 64 1545818764.254 * * * * [misc]points: Setting MPFR precision to 320 1545818764.260 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1545818764.262 * * * * [misc]points: Setting MPFR precision to 64 1545818764.271 * * * * [misc]points: Setting MPFR precision to 320 1545818764.282 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1545818764.285 * * * * [misc]points: Setting MPFR precision to 64 1545818764.300 * * * * [misc]points: Setting MPFR precision to 320 1545818764.317 * * * * [misc]points: Computing exacts for 256 points 1545818764.320 * * * * [misc]points: Setting MPFR precision to 64 1545818764.364 * * * * [misc]points: Setting MPFR precision to 320 1545818764.471 * * * * [misc]points: Filtering points with unrepresentable outputs 1545818764.472 * * * * [misc]points: Sampling 108 additional inputs, on iter 1 have 148 / 256 1545818764.473 * * * * [misc]points: Computing exacts on every 6 of 108 points to ramp up precision 1545818764.475 * * * * [misc]points: Setting MPFR precision to 64 1545818764.478 * * * * [misc]points: Setting MPFR precision to 320 1545818764.485 * * * * [misc]points: Computing exacts on every 3 of 108 points to ramp up precision 1545818764.488 * * * * [misc]points: Setting MPFR precision to 64 1545818764.492 * * * * [misc]points: Setting MPFR precision to 320 1545818764.495 * * * * [misc]points: Computing exacts for 108 points 1545818764.496 * * * * [misc]points: Setting MPFR precision to 64 1545818764.506 * * * * [misc]points: Setting MPFR precision to 320 1545818764.528 * * * * [misc]points: Filtering points with unrepresentable outputs 1545818764.528 * * * * [misc]points: Sampling 52 additional inputs, on iter 2 have 204 / 256 1545818764.529 * * * * [misc]points: Computing exacts on every 3 of 52 points to ramp up precision 1545818764.531 * * * * [misc]points: Setting MPFR precision to 64 1545818764.534 * * * * [misc]points: Setting MPFR precision to 320 1545818764.537 * * * * [misc]points: Computing exacts for 52 points 1545818764.540 * * * * [misc]points: Setting MPFR precision to 64 1545818764.550 * * * * [misc]points: Setting MPFR precision to 320 1545818764.561 * * * * [misc]points: Filtering points with unrepresentable outputs 1545818764.561 * * * * [misc]points: Sampling 28 additional inputs, on iter 3 have 228 / 256 1545818764.561 * * * * [misc]points: Computing exacts for 28 points 1545818764.564 * * * * [misc]points: Setting MPFR precision to 64 1545818764.569 * * * * [misc]points: Setting MPFR precision to 320 1545818764.575 * * * * [misc]points: Filtering points with unrepresentable outputs 1545818764.575 * * * * [misc]points: Sampling 13 additional inputs, on iter 4 have 243 / 256 1545818764.576 * * * * [misc]points: Computing exacts for 13 points 1545818764.578 * * * * [misc]points: Setting MPFR precision to 64 1545818764.581 * * * * [misc]points: Setting MPFR precision to 320 1545818764.583 * * * * [misc]points: Filtering points with unrepresentable outputs 1545818764.583 * * * * [misc]points: Sampling 7 additional inputs, on iter 5 have 249 / 256 1545818764.584 * * * * [misc]points: Computing exacts for 7 points 1545818764.586 * * * * [misc]points: Setting MPFR precision to 64 1545818764.588 * * * * [misc]points: Setting MPFR precision to 320 1545818764.589 * * * * [misc]points: Filtering points with unrepresentable outputs 1545818764.590 * * * * [misc]points: Sampling 5 additional inputs, on iter 6 have 251 / 256 1545818764.590 * * * * [misc]points: Computing exacts for 5 points 1545818764.592 * * * * [misc]points: Setting MPFR precision to 64 1545818764.593 * * * * [misc]points: Setting MPFR precision to 320 1545818764.594 * * * * [misc]points: Filtering points with unrepresentable outputs 1545818764.594 * * * * [misc]points: Sampling 4 additional inputs, on iter 7 have 252 / 256 1545818764.594 * * * * [misc]points: Computing exacts for 4 points 1545818764.597 * * * * [misc]points: Setting MPFR precision to 64 1545818764.597 * * * * [misc]points: Setting MPFR precision to 320 1545818764.598 * * * * [misc]points: Filtering points with unrepresentable outputs 1545818764.598 * * * * [misc]points: Sampling 4 additional inputs, on iter 8 have 253 / 256 1545818764.598 * * * * [misc]points: Computing exacts for 4 points 1545818764.601 * * * * [misc]points: Setting MPFR precision to 64 1545818764.601 * * * * [misc]points: Setting MPFR precision to 320 1545818764.602 * * * * [misc]points: Filtering points with unrepresentable outputs 1545818764.602 * * * * [misc]points: Sampling 4 additional inputs, on iter 9 have 255 / 256 1545818764.602 * * * * [misc]points: Computing exacts for 4 points 1545818764.605 * * * * [misc]points: Setting MPFR precision to 64 1545818764.606 * * * * [misc]points: Setting MPFR precision to 320 1545818764.606 * * * * [misc]points: Filtering points with unrepresentable outputs 1545818764.606 * * * * [exit]points: Sampled 256 points with exact outputs 1545818764.607 * * * [misc]progress: [2/2] Setting up program. 1545818764.615 * [misc]progress: [Phase 2 of 3] Improving. 1545818764.616 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1545818764.617 * * [misc]simplify: iters left: 6 (12 enodes) 1545818764.623 * * [misc]simplify: iters left: 5 (16 enodes) 1545818764.627 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1545818765.072 * * [misc]progress: iteration 1 / 4 1545818765.072 * * * [misc]progress: picking best candidate 1545818765.078 * * * * [misc]pick: Picked # 1545818765.078 * * * [misc]progress: localizing error 1545818765.150 * * * [misc]progress: generating rewritten candidates 1545818765.150 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 1) 1545818765.153 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1 2) 1545818765.153 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 1) 1545818765.153 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1) 1545818765.158 * * * [misc]progress: generating series expansions 1545818765.158 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 1) 1545818765.158 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1 2) 1545818765.158 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 1) 1545818765.158 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1) 1545818765.159 * * * [misc]progress: simplifying candidates 1545818765.159 * * * * [misc]progress: [ 1 / 6 ] simplifiying candidate # 1545818765.159 * * * * [misc]progress: [ 2 / 6 ] simplifiying candidate # 1545818765.159 * * * * [misc]progress: [ 3 / 6 ] simplifiying candidate # 1545818765.160 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1545818765.160 * * [misc]simplify: iters left: 6 (12 enodes) 1545818765.164 * * [misc]simplify: iters left: 5 (16 enodes) 1545818765.185 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1545818765.185 * [misc]simplify: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1545818765.185 * * * * [misc]progress: [ 4 / 6 ] simplifiying candidate # 1545818765.185 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1545818765.185 * * [misc]simplify: iters left: 6 (12 enodes) 1545818765.187 * * [misc]simplify: iters left: 5 (16 enodes) 1545818765.190 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1545818765.190 * [misc]simplify: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1545818765.190 * * * * [misc]progress: [ 5 / 6 ] simplifiying candidate # 1545818765.190 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1545818765.191 * * [misc]simplify: iters left: 6 (12 enodes) 1545818765.193 * * [misc]simplify: iters left: 5 (16 enodes) 1545818765.196 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1545818765.196 * [misc]simplify: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1545818765.196 * * * * [misc]progress: [ 6 / 6 ] simplifiying candidate # 1545818765.196 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1545818765.196 * * [misc]simplify: iters left: 6 (12 enodes) 1545818765.198 * * [misc]simplify: iters left: 5 (16 enodes) 1545818765.201 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1545818765.201 * [misc]simplify: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1545818765.201 * * * [misc]progress: adding candidates to table 1545818765.235 * [misc]progress: [Phase 3 of 3] Extracting. 1545818765.239 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1545818765.239 * * [misc]simplify: iters left: 6 (12 enodes) 1545818765.240 * * [misc]simplify: iters left: 5 (13 enodes) 1545818765.241 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1545818765.241 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1545818765.315 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1545818765.318 * * * * [misc]points: Setting MPFR precision to 64 1545818765.321 * * * * [misc]points: Setting MPFR precision to 320 1545818765.325 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1545818765.327 * * * * [misc]points: Setting MPFR precision to 64 1545818765.333 * * * * [misc]points: Setting MPFR precision to 320 1545818765.340 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1545818765.343 * * * * [misc]points: Setting MPFR precision to 64 1545818765.355 * * * * [misc]points: Setting MPFR precision to 320 1545818765.368 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1545818765.371 * * * * [misc]points: Setting MPFR precision to 64 1545818765.389 * * * * [misc]points: Setting MPFR precision to 320 1545818765.424 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1545818765.427 * * * * [misc]points: Setting MPFR precision to 64 1545818765.478 * * * * [misc]points: Setting MPFR precision to 320 1545818765.531 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1545818765.534 * * * * [misc]points: Setting MPFR precision to 64 1545818765.612 * * * * [misc]points: Setting MPFR precision to 320 1545818765.746 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1545818765.748 * * * * [misc]points: Setting MPFR precision to 64 1545818765.915 * * * * [misc]points: Setting MPFR precision to 320 1545818766.142 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1545818766.144 * * * * [misc]points: Setting MPFR precision to 64 1545818766.496 * * * * [misc]points: Setting MPFR precision to 320 1545818767.005 * * * * [misc]points: Computing exacts for 8000 points 1545818767.006 * * * * [misc]points: Setting MPFR precision to 64 1545818768.967 * * * * [misc]points: Setting MPFR precision to 320 1545818771.028 * * * * [misc]points: Filtering points with unrepresentable outputs 1545818771.029 * * * * [misc]points: Sampling 3971 additional inputs, on iter 1 have 4029 / 8000 1545818771.092 * * * * [misc]points: Computing exacts on every 248 of 3971 points to ramp up precision 1545818771.095 * * * * [misc]points: Setting MPFR precision to 64 1545818771.097 * * * * [misc]points: Setting MPFR precision to 320 1545818771.099 * * * * [misc]points: Computing exacts on every 124 of 3971 points to ramp up precision 1545818771.100 * * * * [misc]points: Setting MPFR precision to 64 1545818771.103 * * * * [misc]points: Setting MPFR precision to 320 1545818771.107 * * * * [misc]points: Computing exacts on every 62 of 3971 points to ramp up precision 1545818771.109 * * * * [misc]points: Setting MPFR precision to 64 1545818771.115 * * * * [misc]points: Setting MPFR precision to 320 1545818771.121 * * * * [misc]points: Computing exacts on every 31 of 3971 points to ramp up precision 1545818771.123 * * * * [misc]points: Setting MPFR precision to 64 1545818771.142 * * * * [misc]points: Setting MPFR precision to 320 1545818771.162 * * * * [misc]points: Computing exacts on every 15 of 3971 points to ramp up precision 1545818771.164 * * * * [misc]points: Setting MPFR precision to 64 1545818771.188 * * * * [misc]points: Setting MPFR precision to 320 1545818771.283 * * * * [misc]points: Computing exacts on every 7 of 3971 points to ramp up precision 1545818771.285 * * * * [misc]points: Setting MPFR precision to 64 1545818771.367 * * * * [misc]points: Setting MPFR precision to 320 1545818771.422 * * * * [misc]points: Computing exacts on every 3 of 3971 points to ramp up precision 1545818771.424 * * * * [misc]points: Setting MPFR precision to 64 1545818771.575 * * * * [misc]points: Setting MPFR precision to 320 1545818771.820 * * * * [misc]points: Computing exacts for 3971 points 1545818771.822 * * * * [misc]points: Setting MPFR precision to 64 1545818772.578 * * * * [misc]points: Setting MPFR precision to 320 1545818773.763 * * * * [misc]points: Filtering points with unrepresentable outputs 1545818773.765 * * * * [misc]points: Sampling 1946 additional inputs, on iter 2 have 6054 / 8000 1545818773.782 * * * * [misc]points: Computing exacts on every 121 of 1946 points to ramp up precision 1545818773.785 * * * * [misc]points: Setting MPFR precision to 64 1545818773.788 * * * * [misc]points: Setting MPFR precision to 320 1545818773.791 * * * * [misc]points: Computing exacts on every 60 of 1946 points to ramp up precision 1545818773.794 * * * * [misc]points: Setting MPFR precision to 64 1545818773.800 * * * * [misc]points: Setting MPFR precision to 320 1545818773.807 * * * * [misc]points: Computing exacts on every 30 of 1946 points to ramp up precision 1545818773.810 * * * * [misc]points: Setting MPFR precision to 64 1545818773.822 * * * * [misc]points: Setting MPFR precision to 320 1545818773.835 * * * * [misc]points: Computing exacts on every 15 of 1946 points to ramp up precision 1545818773.838 * * * * [misc]points: Setting MPFR precision to 64 1545818773.888 * * * * [misc]points: Setting MPFR precision to 320 1545818773.915 * * * * [misc]points: Computing exacts on every 7 of 1946 points to ramp up precision 1545818773.917 * * * * [misc]points: Setting MPFR precision to 64 1545818773.963 * * * * [misc]points: Setting MPFR precision to 320 1545818774.013 * * * * [misc]points: Computing exacts on every 3 of 1946 points to ramp up precision 1545818774.014 * * * * [misc]points: Setting MPFR precision to 64 1545818774.063 * * * * [misc]points: Setting MPFR precision to 320 1545818774.204 * * * * [misc]points: Computing exacts for 1946 points 1545818774.206 * * * * [misc]points: Setting MPFR precision to 64 1545818774.568 * * * * [misc]points: Setting MPFR precision to 320 1545818774.999 * * * * [misc]points: Filtering points with unrepresentable outputs 1545818775.000 * * * * [misc]points: Sampling 961 additional inputs, on iter 3 have 7039 / 8000 1545818775.006 * * * * [misc]points: Computing exacts on every 60 of 961 points to ramp up precision 1545818775.008 * * * * [misc]points: Setting MPFR precision to 64 1545818775.009 * * * * [misc]points: Setting MPFR precision to 320 1545818775.011 * * * * [misc]points: Computing exacts on every 30 of 961 points to ramp up precision 1545818775.012 * * * * [misc]points: Setting MPFR precision to 64 1545818775.016 * * * * [misc]points: Setting MPFR precision to 320 1545818775.019 * * * * [misc]points: Computing exacts on every 15 of 961 points to ramp up precision 1545818775.020 * * * * [misc]points: Setting MPFR precision to 64 1545818775.059 * * * * [misc]points: Setting MPFR precision to 320 1545818775.077 * * * * [misc]points: Computing exacts on every 7 of 961 points to ramp up precision 1545818775.080 * * * * [misc]points: Setting MPFR precision to 64 1545818775.103 * * * * [misc]points: Setting MPFR precision to 320 1545818775.129 * * * * [misc]points: Computing exacts on every 3 of 961 points to ramp up precision 1545818775.132 * * * * [misc]points: Setting MPFR precision to 64 1545818775.176 * * * * [misc]points: Setting MPFR precision to 320 1545818775.209 * * * * [misc]points: Computing exacts for 961 points 1545818775.211 * * * * [misc]points: Setting MPFR precision to 64 1545818775.697 * * * * [misc]points: Setting MPFR precision to 320 1545818775.965 * * * * [misc]points: Filtering points with unrepresentable outputs 1545818775.966 * * * * [misc]points: Sampling 448 additional inputs, on iter 4 have 7552 / 8000 1545818775.970 * * * * [misc]points: Computing exacts on every 28 of 448 points to ramp up precision 1545818775.973 * * * * [misc]points: Setting MPFR precision to 64 1545818775.976 * * * * [misc]points: Setting MPFR precision to 320 1545818775.980 * * * * [misc]points: Computing exacts on every 14 of 448 points to ramp up precision 1545818775.982 * * * * [misc]points: Setting MPFR precision to 64 1545818775.988 * * * * [misc]points: Setting MPFR precision to 320 1545818775.994 * * * * [misc]points: Computing exacts on every 7 of 448 points to ramp up precision 1545818775.997 * * * * [misc]points: Setting MPFR precision to 64 1545818776.008 * * * * [misc]points: Setting MPFR precision to 320 1545818776.020 * * * * [misc]points: Computing exacts on every 3 of 448 points to ramp up precision 1545818776.022 * * * * [misc]points: Setting MPFR precision to 64 1545818776.041 * * * * [misc]points: Setting MPFR precision to 320 1545818776.063 * * * * [misc]points: Computing exacts for 448 points 1545818776.065 * * * * [misc]points: Setting MPFR precision to 64 1545818776.176 * * * * [misc]points: Setting MPFR precision to 320 1545818776.237 * * * * [misc]points: Filtering points with unrepresentable outputs 1545818776.238 * * * * [misc]points: Sampling 192 additional inputs, on iter 5 have 7808 / 8000 1545818776.239 * * * * [misc]points: Computing exacts on every 12 of 192 points to ramp up precision 1545818776.240 * * * * [misc]points: Setting MPFR precision to 64 1545818776.241 * * * * [misc]points: Setting MPFR precision to 320 1545818776.243 * * * * [misc]points: Computing exacts on every 6 of 192 points to ramp up precision 1545818776.244 * * * * [misc]points: Setting MPFR precision to 64 1545818776.247 * * * * [misc]points: Setting MPFR precision to 320 1545818776.250 * * * * [misc]points: Computing exacts on every 3 of 192 points to ramp up precision 1545818776.251 * * * * [misc]points: Setting MPFR precision to 64 1545818776.259 * * * * [misc]points: Setting MPFR precision to 320 1545818776.268 * * * * [misc]points: Computing exacts for 192 points 1545818776.270 * * * * [misc]points: Setting MPFR precision to 64 1545818776.362 * * * * [misc]points: Setting MPFR precision to 320 1545818776.385 * * * * [misc]points: Filtering points with unrepresentable outputs 1545818776.386 * * * * [misc]points: Sampling 90 additional inputs, on iter 6 have 7910 / 8000 1545818776.386 * * * * [misc]points: Computing exacts on every 5 of 90 points to ramp up precision 1545818776.387 * * * * [misc]points: Setting MPFR precision to 64 1545818776.389 * * * * [misc]points: Setting MPFR precision to 320 1545818776.391 * * * * [misc]points: Computing exacts on every 2 of 90 points to ramp up precision 1545818776.392 * * * * [misc]points: Setting MPFR precision to 64 1545818776.396 * * * * [misc]points: Setting MPFR precision to 320 1545818776.403 * * * * [misc]points: Computing exacts for 90 points 1545818776.406 * * * * [misc]points: Setting MPFR precision to 64 1545818776.420 * * * * [misc]points: Setting MPFR precision to 320 1545818776.429 * * * * [misc]points: Filtering points with unrepresentable outputs 1545818776.430 * * * * [misc]points: Sampling 48 additional inputs, on iter 7 have 7952 / 8000 1545818776.430 * * * * [misc]points: Computing exacts on every 3 of 48 points to ramp up precision 1545818776.431 * * * * [misc]points: Setting MPFR precision to 64 1545818776.433 * * * * [misc]points: Setting MPFR precision to 320 1545818776.434 * * * * [misc]points: Computing exacts for 48 points 1545818776.435 * * * * [misc]points: Setting MPFR precision to 64 1545818776.440 * * * * [misc]points: Setting MPFR precision to 320 1545818776.445 * * * * [misc]points: Filtering points with unrepresentable outputs 1545818776.445 * * * * [misc]points: Sampling 23 additional inputs, on iter 8 have 7977 / 8000 1545818776.445 * * * * [misc]points: Computing exacts for 23 points 1545818776.447 * * * * [misc]points: Setting MPFR precision to 64 1545818776.451 * * * * [misc]points: Setting MPFR precision to 320 1545818776.455 * * * * [misc]points: Filtering points with unrepresentable outputs 1545818776.456 * * * * [misc]points: Sampling 12 additional inputs, on iter 9 have 7988 / 8000 1545818776.456 * * * * [misc]points: Computing exacts for 12 points 1545818776.458 * * * * [misc]points: Setting MPFR precision to 64 1545818776.461 * * * * [misc]points: Setting MPFR precision to 320 1545818776.464 * * * * [misc]points: Filtering points with unrepresentable outputs 1545818776.464 * * * * [misc]points: Sampling 7 additional inputs, on iter 10 have 7993 / 8000 1545818776.464 * * * * [misc]points: Computing exacts for 7 points 1545818776.467 * * * * [misc]points: Setting MPFR precision to 64 1545818776.468 * * * * [misc]points: Setting MPFR precision to 320 1545818776.470 * * * * [misc]points: Filtering points with unrepresentable outputs 1545818776.470 * * * * [misc]points: Sampling 5 additional inputs, on iter 11 have 7995 / 8000 1545818776.470 * * * * [misc]points: Computing exacts for 5 points 1545818776.472 * * * * [misc]points: Setting MPFR precision to 64 1545818776.474 * * * * [misc]points: Setting MPFR precision to 320 1545818776.475 * * * * [misc]points: Filtering points with unrepresentable outputs 1545818776.475 * * * * [misc]points: Sampling 4 additional inputs, on iter 12 have 7998 / 8000 1545818776.475 * * * * [misc]points: Computing exacts for 4 points 1545818776.476 * * * * [misc]points: Setting MPFR precision to 64 1545818776.477 * * * * [misc]points: Setting MPFR precision to 320 1545818776.477 * * * * [misc]points: Filtering points with unrepresentable outputs 1545818776.478 * * * * [misc]points: Sampling 4 additional inputs, on iter 13 have 7999 / 8000 1545818776.478 * * * * [misc]points: Computing exacts for 4 points 1545818776.479 * * * * [misc]points: Setting MPFR precision to 64 1545818776.479 * * * * [misc]points: Setting MPFR precision to 320 1545818776.480 * * * * [misc]points: Filtering points with unrepresentable outputs 1545818776.480 * * * * [exit]points: Sampled 8003 points with exact outputs 1545818776.833 * [misc]regime-testing: Baseline error score: 0.0115 1545818776.835 * [misc]regime-testing: Oracle error score: 0.0115 1545818776.836 * [misc]regime-testing: End program error score: 0.0115