1543998833.591 * [misc]progress: [Phase 1 of 3] Setting up. 1543998833.593 * * * [misc]progress: [1/2] Preparing points 1543998833.594 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1543998833.597 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1543998833.661 * * * * [misc]points: Setting MPFR precision to 64 1543998833.666 * * * * [misc]points: Setting MPFR precision to 320 1543998833.670 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1543998833.673 * * * * [misc]points: Setting MPFR precision to 64 1543998833.678 * * * * [misc]points: Setting MPFR precision to 320 1543998833.685 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1543998833.687 * * * * [misc]points: Setting MPFR precision to 64 1543998833.698 * * * * [misc]points: Setting MPFR precision to 320 1543998833.709 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1543998833.712 * * * * [misc]points: Setting MPFR precision to 64 1543998833.728 * * * * [misc]points: Setting MPFR precision to 320 1543998833.746 * * * * [misc]points: Computing exacts for 256 points 1543998833.749 * * * * [misc]points: Setting MPFR precision to 64 1543998833.851 * * * * [misc]points: Setting MPFR precision to 320 1543998833.881 * * * * [misc]points: Filtering points with unrepresentable outputs 1543998833.881 * * * * [misc]points: Sampling 139 additional inputs, on iter 1 have 117 / 256 1543998833.882 * * * * [misc]points: Computing exacts on every 8 of 139 points to ramp up precision 1543998833.883 * * * * [misc]points: Setting MPFR precision to 64 1543998833.885 * * * * [misc]points: Setting MPFR precision to 320 1543998833.887 * * * * [misc]points: Computing exacts on every 4 of 139 points to ramp up precision 1543998833.889 * * * * [misc]points: Setting MPFR precision to 64 1543998833.894 * * * * [misc]points: Setting MPFR precision to 320 1543998833.899 * * * * [misc]points: Computing exacts on every 2 of 139 points to ramp up precision 1543998833.902 * * * * [misc]points: Setting MPFR precision to 64 1543998833.911 * * * * [misc]points: Setting MPFR precision to 320 1543998833.920 * * * * [misc]points: Computing exacts for 139 points 1543998833.922 * * * * [misc]points: Setting MPFR precision to 64 1543998833.948 * * * * [misc]points: Setting MPFR precision to 320 1543998833.976 * * * * [misc]points: Filtering points with unrepresentable outputs 1543998833.976 * * * * [misc]points: Sampling 69 additional inputs, on iter 2 have 187 / 256 1543998833.977 * * * * [misc]points: Computing exacts on every 4 of 69 points to ramp up precision 1543998833.979 * * * * [misc]points: Setting MPFR precision to 64 1543998833.981 * * * * [misc]points: Setting MPFR precision to 320 1543998833.984 * * * * [misc]points: Computing exacts on every 2 of 69 points to ramp up precision 1543998833.987 * * * * [misc]points: Setting MPFR precision to 64 1543998833.991 * * * * [misc]points: Setting MPFR precision to 320 1543998833.995 * * * * [misc]points: Computing exacts for 69 points 1543998833.998 * * * * [misc]points: Setting MPFR precision to 64 1543998834.010 * * * * [misc]points: Setting MPFR precision to 320 1543998834.024 * * * * [misc]points: Filtering points with unrepresentable outputs 1543998834.024 * * * * [misc]points: Sampling 32 additional inputs, on iter 3 have 224 / 256 1543998834.024 * * * * [misc]points: Computing exacts on every 2 of 32 points to ramp up precision 1543998834.027 * * * * [misc]points: Setting MPFR precision to 64 1543998834.029 * * * * [misc]points: Setting MPFR precision to 320 1543998834.031 * * * * [misc]points: Computing exacts for 32 points 1543998834.033 * * * * [misc]points: Setting MPFR precision to 64 1543998834.039 * * * * [misc]points: Setting MPFR precision to 320 1543998834.046 * * * * [misc]points: Filtering points with unrepresentable outputs 1543998834.046 * * * * [misc]points: Sampling 17 additional inputs, on iter 4 have 239 / 256 1543998834.046 * * * * [misc]points: Computing exacts for 17 points 1543998834.080 * * * * [misc]points: Setting MPFR precision to 64 1543998834.081 * * * * [misc]points: Setting MPFR precision to 320 1543998834.083 * * * * [misc]points: Filtering points with unrepresentable outputs 1543998834.083 * * * * [misc]points: Sampling 9 additional inputs, on iter 5 have 247 / 256 1543998834.083 * * * * [misc]points: Computing exacts for 9 points 1543998834.085 * * * * [misc]points: Setting MPFR precision to 64 1543998834.086 * * * * [misc]points: Setting MPFR precision to 320 1543998834.087 * * * * [misc]points: Filtering points with unrepresentable outputs 1543998834.087 * * * * [misc]points: Sampling 7 additional inputs, on iter 6 have 249 / 256 1543998834.087 * * * * [misc]points: Computing exacts for 7 points 1543998834.088 * * * * [misc]points: Setting MPFR precision to 64 1543998834.089 * * * * [misc]points: Setting MPFR precision to 320 1543998834.090 * * * * [misc]points: Filtering points with unrepresentable outputs 1543998834.090 * * * * [misc]points: Sampling 4 additional inputs, on iter 7 have 253 / 256 1543998834.090 * * * * [misc]points: Computing exacts for 4 points 1543998834.091 * * * * [misc]points: Setting MPFR precision to 64 1543998834.094 * * * * [misc]points: Setting MPFR precision to 320 1543998834.094 * * * * [misc]points: Filtering points with unrepresentable outputs 1543998834.094 * * * * [misc]points: Sampling 4 additional inputs, on iter 8 have 255 / 256 1543998834.095 * * * * [misc]points: Computing exacts for 4 points 1543998834.096 * * * * [misc]points: Setting MPFR precision to 64 1543998834.097 * * * * [misc]points: Setting MPFR precision to 320 1543998834.098 * * * * [misc]points: Filtering points with unrepresentable outputs 1543998834.098 * * * * [exit]points: Sampled 256 points with exact outputs 1543998834.099 * * * [misc]progress: [2/2] Setting up program. 1543998834.105 * [misc]progress: [Phase 2 of 3] Improving. 1543998834.107 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1543998834.108 * * [misc]simplify: iters left: 6 (12 enodes) 1543998834.117 * * [misc]simplify: iters left: 5 (16 enodes) 1543998834.123 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1543998834.135 * * [misc]progress: iteration 1 / 4 1543998834.135 * * * [misc]progress: picking best candidate 1543998834.138 * * * * [misc]pick: Picked # 1543998834.138 * * * [misc]progress: localizing error 1543998834.211 * * * [misc]progress: generating rewritten candidates 1543998834.211 * * * * [misc]progress: [ 1 / 3 ] rewriting at (2 1 1) 1543998834.217 * * * * [misc]progress: [ 2 / 3 ] rewriting at (2 1 1 1) 1543998834.218 * * * * [misc]progress: [ 3 / 3 ] rewriting at (2 1 1 2) 1543998834.218 * * * [misc]progress: generating series expansions 1543998834.218 * * * * [misc]progress: [ 1 / 3 ] generating series at (2 1 1) 1543998834.219 * * * * [misc]progress: [ 2 / 3 ] generating series at (2 1 1 1) 1543998834.219 * * * * [misc]progress: [ 3 / 3 ] generating series at (2 1 1 2) 1543998834.219 * * * [misc]progress: simplifying candidates 1543998834.219 * * * * [misc]progress: [ 1 / 4 ] simplifiying candidate # 1543998834.219 * * * * [misc]progress: [ 2 / 4 ] simplifiying candidate # 1543998834.220 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1543998834.220 * * [misc]simplify: iters left: 6 (14 enodes) 1543998834.224 * * [misc]simplify: iters left: 5 (16 enodes) 1543998834.229 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1543998834.229 * [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)))) 1543998834.229 * * * * [misc]progress: [ 3 / 4 ] simplifiying candidate # 1543998834.229 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1543998834.229 * * [misc]simplify: iters left: 6 (14 enodes) 1543998834.234 * * [misc]simplify: iters left: 5 (16 enodes) 1543998834.237 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1543998834.237 * [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)))) 1543998834.237 * * * * [misc]progress: [ 4 / 4 ] simplifiying candidate # 1543998834.237 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1543998834.237 * * [misc]simplify: iters left: 6 (14 enodes) 1543998834.239 * * [misc]simplify: iters left: 5 (16 enodes) 1543998834.242 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1543998834.242 * [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)))) 1543998834.242 * * * [misc]progress: adding candidates to table 1543998834.266 * [misc]progress: [Phase 3 of 3] Extracting. 1543998834.272 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1543998834.272 * * [misc]simplify: iters left: 6 (14 enodes) 1543998834.283 * * [misc]simplify: iters left: 5 (15 enodes) 1543998834.284 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1543998834.284 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1543998834.319 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1543998834.321 * * * * [misc]points: Setting MPFR precision to 64 1543998834.323 * * * * [misc]points: Setting MPFR precision to 320 1543998834.324 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1543998834.326 * * * * [misc]points: Setting MPFR precision to 64 1543998834.329 * * * * [misc]points: Setting MPFR precision to 320 1543998834.332 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1543998834.334 * * * * [misc]points: Setting MPFR precision to 64 1543998834.340 * * * * [misc]points: Setting MPFR precision to 320 1543998834.366 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1543998834.368 * * * * [misc]points: Setting MPFR precision to 64 1543998834.380 * * * * [misc]points: Setting MPFR precision to 320 1543998834.393 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1543998834.395 * * * * [misc]points: Setting MPFR precision to 64 1543998834.422 * * * * [misc]points: Setting MPFR precision to 320 1543998834.448 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1543998834.451 * * * * [misc]points: Setting MPFR precision to 64 1543998834.553 * * * * [misc]points: Setting MPFR precision to 320 1543998834.614 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1543998834.616 * * * * [misc]points: Setting MPFR precision to 64 1543998834.811 * * * * [misc]points: Setting MPFR precision to 320 1543998835.414 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1543998835.417 * * * * [misc]points: Setting MPFR precision to 64 1543998835.818 * * * * [misc]points: Setting MPFR precision to 320 1543998836.190 * * * * [misc]points: Computing exacts for 8000 points 1543998836.192 * * * * [misc]points: Setting MPFR precision to 64 1543998837.978 * * * * [misc]points: Setting MPFR precision to 320 1543998839.598 * * * * [misc]points: Filtering points with unrepresentable outputs 1543998839.602 * * * * [misc]points: Sampling 3961 additional inputs, on iter 1 have 4039 / 8000 1543998839.637 * * * * [misc]points: Computing exacts on every 247 of 3961 points to ramp up precision 1543998839.640 * * * * [misc]points: Setting MPFR precision to 64 1543998839.676 * * * * [misc]points: Setting MPFR precision to 320 1543998839.679 * * * * [misc]points: Computing exacts on every 123 of 3961 points to ramp up precision 1543998839.681 * * * * [misc]points: Setting MPFR precision to 64 1543998839.689 * * * * [misc]points: Setting MPFR precision to 320 1543998839.696 * * * * [misc]points: Computing exacts on every 61 of 3961 points to ramp up precision 1543998839.698 * * * * [misc]points: Setting MPFR precision to 64 1543998839.710 * * * * [misc]points: Setting MPFR precision to 320 1543998839.724 * * * * [misc]points: Computing exacts on every 30 of 3961 points to ramp up precision 1543998839.726 * * * * [misc]points: Setting MPFR precision to 64 1543998839.750 * * * * [misc]points: Setting MPFR precision to 320 1543998839.777 * * * * [misc]points: Computing exacts on every 15 of 3961 points to ramp up precision 1543998839.780 * * * * [misc]points: Setting MPFR precision to 64 1543998839.825 * * * * [misc]points: Setting MPFR precision to 320 1543998839.877 * * * * [misc]points: Computing exacts on every 7 of 3961 points to ramp up precision 1543998839.879 * * * * [misc]points: Setting MPFR precision to 64 1543998840.013 * * * * [misc]points: Setting MPFR precision to 320 1543998840.106 * * * * [misc]points: Computing exacts on every 3 of 3961 points to ramp up precision 1543998840.108 * * * * [misc]points: Setting MPFR precision to 64 1543998840.618 * * * * [misc]points: Setting MPFR precision to 320 1543998840.819 * * * * [misc]points: Computing exacts for 3961 points 1543998840.822 * * * * [misc]points: Setting MPFR precision to 64 1543998841.560 * * * * [misc]points: Setting MPFR precision to 320 1543998842.297 * * * * [misc]points: Filtering points with unrepresentable outputs 1543998842.299 * * * * [misc]points: Sampling 1918 additional inputs, on iter 2 have 6082 / 8000 1543998842.343 * * * * [misc]points: Computing exacts on every 119 of 1918 points to ramp up precision 1543998842.345 * * * * [misc]points: Setting MPFR precision to 64 1543998842.347 * * * * [misc]points: Setting MPFR precision to 320 1543998842.348 * * * * [misc]points: Computing exacts on every 59 of 1918 points to ramp up precision 1543998842.350 * * * * [misc]points: Setting MPFR precision to 64 1543998842.355 * * * * [misc]points: Setting MPFR precision to 320 1543998842.361 * * * * [misc]points: Computing exacts on every 29 of 1918 points to ramp up precision 1543998842.363 * * * * [misc]points: Setting MPFR precision to 64 1543998842.373 * * * * [misc]points: Setting MPFR precision to 320 1543998842.385 * * * * [misc]points: Computing exacts on every 14 of 1918 points to ramp up precision 1543998842.387 * * * * [misc]points: Setting MPFR precision to 64 1543998842.409 * * * * [misc]points: Setting MPFR precision to 320 1543998842.433 * * * * [misc]points: Computing exacts on every 7 of 1918 points to ramp up precision 1543998842.436 * * * * [misc]points: Setting MPFR precision to 64 1543998842.457 * * * * [misc]points: Setting MPFR precision to 320 1543998842.500 * * * * [misc]points: Computing exacts on every 3 of 1918 points to ramp up precision 1543998842.503 * * * * [misc]points: Setting MPFR precision to 64 1543998842.600 * * * * [misc]points: Setting MPFR precision to 320 1543998842.684 * * * * [misc]points: Computing exacts for 1918 points 1543998842.687 * * * * [misc]points: Setting MPFR precision to 64 1543998843.384 * * * * [misc]points: Setting MPFR precision to 320 1543998843.654 * * * * [misc]points: Filtering points with unrepresentable outputs 1543998843.654 * * * * [misc]points: Sampling 984 additional inputs, on iter 3 have 7016 / 8000 1543998843.658 * * * * [misc]points: Computing exacts on every 61 of 984 points to ramp up precision 1543998843.700 * * * * [misc]points: Setting MPFR precision to 64 1543998843.703 * * * * [misc]points: Setting MPFR precision to 320 1543998843.706 * * * * [misc]points: Computing exacts on every 30 of 984 points to ramp up precision 1543998843.714 * * * * [misc]points: Setting MPFR precision to 64 1543998843.720 * * * * [misc]points: Setting MPFR precision to 320 1543998843.725 * * * * [misc]points: Computing exacts on every 15 of 984 points to ramp up precision 1543998843.726 * * * * [misc]points: Setting MPFR precision to 64 1543998843.732 * * * * [misc]points: Setting MPFR precision to 320 1543998843.738 * * * * [misc]points: Computing exacts on every 7 of 984 points to ramp up precision 1543998843.739 * * * * [misc]points: Setting MPFR precision to 64 1543998843.754 * * * * [misc]points: Setting MPFR precision to 320 1543998843.779 * * * * [misc]points: Computing exacts on every 3 of 984 points to ramp up precision 1543998843.781 * * * * [misc]points: Setting MPFR precision to 64 1543998843.812 * * * * [misc]points: Setting MPFR precision to 320 1543998843.839 * * * * [misc]points: Computing exacts for 984 points 1543998843.842 * * * * [misc]points: Setting MPFR precision to 64 1543998844.048 * * * * [misc]points: Setting MPFR precision to 320 1543998844.254 * * * * [misc]points: Filtering points with unrepresentable outputs 1543998844.254 * * * * [misc]points: Sampling 521 additional inputs, on iter 4 have 7479 / 8000 1543998844.256 * * * * [misc]points: Computing exacts on every 32 of 521 points to ramp up precision 1543998844.258 * * * * [misc]points: Setting MPFR precision to 64 1543998844.259 * * * * [misc]points: Setting MPFR precision to 320 1543998844.261 * * * * [misc]points: Computing exacts on every 16 of 521 points to ramp up precision 1543998844.262 * * * * [misc]points: Setting MPFR precision to 64 1543998844.265 * * * * [misc]points: Setting MPFR precision to 320 1543998844.268 * * * * [misc]points: Computing exacts on every 8 of 521 points to ramp up precision 1543998844.269 * * * * [misc]points: Setting MPFR precision to 64 1543998844.276 * * * * [misc]points: Setting MPFR precision to 320 1543998844.286 * * * * [misc]points: Computing exacts on every 4 of 521 points to ramp up precision 1543998844.287 * * * * [misc]points: Setting MPFR precision to 64 1543998844.297 * * * * [misc]points: Setting MPFR precision to 320 1543998844.308 * * * * [misc]points: Computing exacts on every 2 of 521 points to ramp up precision 1543998844.309 * * * * [misc]points: Setting MPFR precision to 64 1543998844.365 * * * * [misc]points: Setting MPFR precision to 320 1543998844.383 * * * * [misc]points: Computing exacts for 521 points 1543998844.385 * * * * [misc]points: Setting MPFR precision to 64 1543998844.442 * * * * [misc]points: Setting MPFR precision to 320 1543998844.580 * * * * [misc]points: Filtering points with unrepresentable outputs 1543998844.580 * * * * [misc]points: Sampling 266 additional inputs, on iter 5 have 7734 / 8000 1543998844.582 * * * * [misc]points: Computing exacts on every 16 of 266 points to ramp up precision 1543998844.583 * * * * [misc]points: Setting MPFR precision to 64 1543998844.585 * * * * [misc]points: Setting MPFR precision to 320 1543998844.586 * * * * [misc]points: Computing exacts on every 8 of 266 points to ramp up precision 1543998844.588 * * * * [misc]points: Setting MPFR precision to 64 1543998844.590 * * * * [misc]points: Setting MPFR precision to 320 1543998844.593 * * * * [misc]points: Computing exacts on every 4 of 266 points to ramp up precision 1543998844.595 * * * * [misc]points: Setting MPFR precision to 64 1543998844.600 * * * * [misc]points: Setting MPFR precision to 320 1543998844.605 * * * * [misc]points: Computing exacts on every 2 of 266 points to ramp up precision 1543998844.607 * * * * [misc]points: Setting MPFR precision to 64 1543998844.622 * * * * [misc]points: Setting MPFR precision to 320 1543998844.639 * * * * [misc]points: Computing exacts for 266 points 1543998844.642 * * * * [misc]points: Setting MPFR precision to 64 1543998844.674 * * * * [misc]points: Setting MPFR precision to 320 1543998844.722 * * * * [misc]points: Filtering points with unrepresentable outputs 1543998844.722 * * * * [misc]points: Sampling 131 additional inputs, on iter 6 have 7869 / 8000 1543998844.724 * * * * [misc]points: Computing exacts on every 8 of 131 points to ramp up precision 1543998844.777 * * * * [misc]points: Setting MPFR precision to 64 1543998844.779 * * * * [misc]points: Setting MPFR precision to 320 1543998844.780 * * * * [misc]points: Computing exacts on every 4 of 131 points to ramp up precision 1543998844.782 * * * * [misc]points: Setting MPFR precision to 64 1543998844.784 * * * * [misc]points: Setting MPFR precision to 320 1543998844.790 * * * * [misc]points: Computing exacts on every 2 of 131 points to ramp up precision 1543998844.792 * * * * [misc]points: Setting MPFR precision to 64 1543998844.796 * * * * [misc]points: Setting MPFR precision to 320 1543998844.800 * * * * [misc]points: Computing exacts for 131 points 1543998844.801 * * * * [misc]points: Setting MPFR precision to 64 1543998844.819 * * * * [misc]points: Setting MPFR precision to 320 1543998844.846 * * * * [misc]points: Filtering points with unrepresentable outputs 1543998844.846 * * * * [misc]points: Sampling 66 additional inputs, on iter 7 have 7934 / 8000 1543998844.847 * * * * [misc]points: Computing exacts on every 4 of 66 points to ramp up precision 1543998844.849 * * * * [misc]points: Setting MPFR precision to 64 1543998844.852 * * * * [misc]points: Setting MPFR precision to 320 1543998844.855 * * * * [misc]points: Computing exacts on every 2 of 66 points to ramp up precision 1543998844.857 * * * * [misc]points: Setting MPFR precision to 64 1543998844.861 * * * * [misc]points: Setting MPFR precision to 320 1543998844.864 * * * * [misc]points: Computing exacts for 66 points 1543998844.866 * * * * [misc]points: Setting MPFR precision to 64 1543998844.872 * * * * [misc]points: Setting MPFR precision to 320 1543998844.878 * * * * [misc]points: Filtering points with unrepresentable outputs 1543998844.879 * * * * [misc]points: Sampling 30 additional inputs, on iter 8 have 7970 / 8000 1543998844.879 * * * * [misc]points: Computing exacts for 30 points 1543998844.880 * * * * [misc]points: Setting MPFR precision to 64 1543998844.883 * * * * [misc]points: Setting MPFR precision to 320 1543998844.887 * * * * [misc]points: Filtering points with unrepresentable outputs 1543998844.887 * * * * [misc]points: Sampling 16 additional inputs, on iter 9 have 7984 / 8000 1543998844.887 * * * * [misc]points: Computing exacts for 16 points 1543998844.888 * * * * [misc]points: Setting MPFR precision to 64 1543998844.890 * * * * [misc]points: Setting MPFR precision to 320 1543998844.892 * * * * [misc]points: Filtering points with unrepresentable outputs 1543998844.892 * * * * [misc]points: Sampling 6 additional inputs, on iter 10 have 7994 / 8000 1543998844.892 * * * * [misc]points: Computing exacts for 6 points 1543998844.893 * * * * [misc]points: Setting MPFR precision to 64 1543998844.894 * * * * [misc]points: Setting MPFR precision to 320 1543998844.895 * * * * [misc]points: Filtering points with unrepresentable outputs 1543998844.895 * * * * [misc]points: Sampling 4 additional inputs, on iter 11 have 7997 / 8000 1543998844.895 * * * * [misc]points: Computing exacts for 4 points 1543998844.896 * * * * [misc]points: Setting MPFR precision to 64 1543998844.896 * * * * [misc]points: Setting MPFR precision to 320 1543998844.897 * * * * [misc]points: Filtering points with unrepresentable outputs 1543998844.897 * * * * [exit]points: Sampled 8000 points with exact outputs 1543998845.415 * [misc]regime-testing: Baseline error score: 0.011875 1543998845.416 * [misc]regime-testing: End program error score: 0.011875 1543998845.416 * [misc]regime-testing: Oracle error score: 0.011875