1537436553.922 * [misc]progress: [Phase 1 of 3] Setting up. 1537436553.923 * * * [misc]progress: [1/2] Preparing points 1537436553.924 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1537436553.925 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1537436553.983 * * * * [misc]points: Setting MPFR precision to 64 1537436553.987 * * * * [misc]points: Setting MPFR precision to 320 1537436553.992 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1537436553.996 * * * * [misc]points: Setting MPFR precision to 64 1537436554.002 * * * * [misc]points: Setting MPFR precision to 320 1537436554.009 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1537436554.013 * * * * [misc]points: Setting MPFR precision to 64 1537436554.023 * * * * [misc]points: Setting MPFR precision to 320 1537436554.035 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1537436554.038 * * * * [misc]points: Setting MPFR precision to 64 1537436554.056 * * * * [misc]points: Setting MPFR precision to 320 1537436554.102 * * * * [misc]points: Computing exacts for 256 points 1537436554.105 * * * * [misc]points: Setting MPFR precision to 64 1537436554.132 * * * * [misc]points: Setting MPFR precision to 320 1537436554.173 * * * * [misc]points: Filtering points with unrepresentable outputs 1537436554.174 * * * * [misc]points: Sampling 128 additional inputs, on iter 1 have 128 / 256 1537436554.175 * * * * [misc]points: Computing exacts on every 8 of 128 points to ramp up precision 1537436554.177 * * * * [misc]points: Setting MPFR precision to 64 1537436554.178 * * * * [misc]points: Setting MPFR precision to 320 1537436554.180 * * * * [misc]points: Computing exacts on every 4 of 128 points to ramp up precision 1537436554.181 * * * * [misc]points: Setting MPFR precision to 64 1537436554.184 * * * * [misc]points: Setting MPFR precision to 320 1537436554.187 * * * * [misc]points: Computing exacts on every 2 of 128 points to ramp up precision 1537436554.189 * * * * [misc]points: Setting MPFR precision to 64 1537436554.193 * * * * [misc]points: Setting MPFR precision to 320 1537436554.198 * * * * [misc]points: Computing exacts for 128 points 1537436554.200 * * * * [misc]points: Setting MPFR precision to 64 1537436554.217 * * * * [misc]points: Setting MPFR precision to 320 1537436554.232 * * * * [misc]points: Filtering points with unrepresentable outputs 1537436554.232 * * * * [misc]points: Sampling 61 additional inputs, on iter 2 have 195 / 256 1537436554.233 * * * * [misc]points: Computing exacts on every 3 of 61 points to ramp up precision 1537436554.234 * * * * [misc]points: Setting MPFR precision to 64 1537436554.236 * * * * [misc]points: Setting MPFR precision to 320 1537436554.238 * * * * [misc]points: Computing exacts for 61 points 1537436554.240 * * * * [misc]points: Setting MPFR precision to 64 1537436554.301 * * * * [misc]points: Setting MPFR precision to 320 1537436554.320 * * * * [misc]points: Filtering points with unrepresentable outputs 1537436554.320 * * * * [misc]points: Sampling 30 additional inputs, on iter 3 have 226 / 256 1537436554.320 * * * * [misc]points: Computing exacts for 30 points 1537436554.323 * * * * [misc]points: Setting MPFR precision to 64 1537436554.329 * * * * [misc]points: Setting MPFR precision to 320 1537436554.336 * * * * [misc]points: Filtering points with unrepresentable outputs 1537436554.336 * * * * [misc]points: Sampling 18 additional inputs, on iter 4 have 238 / 256 1537436554.336 * * * * [misc]points: Computing exacts for 18 points 1537436554.339 * * * * [misc]points: Setting MPFR precision to 64 1537436554.342 * * * * [misc]points: Setting MPFR precision to 320 1537436554.346 * * * * [misc]points: Filtering points with unrepresentable outputs 1537436554.346 * * * * [misc]points: Sampling 9 additional inputs, on iter 5 have 247 / 256 1537436554.347 * * * * [misc]points: Computing exacts for 9 points 1537436554.350 * * * * [misc]points: Setting MPFR precision to 64 1537436554.352 * * * * [misc]points: Setting MPFR precision to 320 1537436554.354 * * * * [misc]points: Filtering points with unrepresentable outputs 1537436554.354 * * * * [misc]points: Sampling 4 additional inputs, on iter 6 have 252 / 256 1537436554.354 * * * * [misc]points: Computing exacts for 4 points 1537436554.357 * * * * [misc]points: Setting MPFR precision to 64 1537436554.358 * * * * [misc]points: Setting MPFR precision to 320 1537436554.359 * * * * [misc]points: Filtering points with unrepresentable outputs 1537436554.359 * * * * [misc]points: Sampling 4 additional inputs, on iter 7 have 253 / 256 1537436554.359 * * * * [misc]points: Computing exacts for 4 points 1537436554.362 * * * * [misc]points: Setting MPFR precision to 64 1537436554.363 * * * * [misc]points: Setting MPFR precision to 320 1537436554.364 * * * * [misc]points: Filtering points with unrepresentable outputs 1537436554.364 * * * * [misc]points: Sampling 4 additional inputs, on iter 8 have 254 / 256 1537436554.364 * * * * [misc]points: Computing exacts for 4 points 1537436554.367 * * * * [misc]points: Setting MPFR precision to 64 1537436554.368 * * * * [misc]points: Setting MPFR precision to 320 1537436554.369 * * * * [misc]points: Filtering points with unrepresentable outputs 1537436554.369 * * * * [exit]points: Sampled 256 points with exact outputs 1537436554.369 * * * [misc]progress: [2/2] Setting up program. 1537436554.380 * [misc]progress: [Phase 2 of 3] Improving. 1537436554.381 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1537436554.384 * * [misc]simplify: iters left: 6 (12 enodes) 1537436554.394 * * [misc]simplify: iters left: 5 (16 enodes) 1537436554.403 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1537436554.428 * * [misc]progress: iteration 1 / 4 1537436554.428 * * * [misc]progress: picking best candidate 1537436554.437 * * * * [misc]pick: Picked # 1537436554.437 * * * [misc]progress: localizing error 1537436554.521 * * * [misc]progress: generating rewritten candidates 1537436554.522 * * * * [misc]progress: [ 1 / 3 ] rewriting at (2 1 1) 1537436554.536 * * * * [misc]progress: [ 2 / 3 ] rewriting at (2 1 1 1) 1537436554.536 * * * * [misc]progress: [ 3 / 3 ] rewriting at (2 1 1 2) 1537436554.537 * * * [misc]progress: generating series expansions 1537436554.537 * * * * [misc]progress: [ 1 / 3 ] generating series at (2 1 1) 1537436554.538 * * * * [misc]progress: [ 2 / 3 ] generating series at (2 1 1 1) 1537436554.538 * * * * [misc]progress: [ 3 / 3 ] generating series at (2 1 1 2) 1537436554.538 * * * [misc]progress: simplifying candidates 1537436554.538 * * * * [misc]progress: [ 1 / 4 ] simplifiying candidate # 1537436554.538 * * * * [misc]progress: [ 2 / 4 ] simplifiying candidate # 1537436554.538 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1537436554.539 * * [misc]simplify: iters left: 6 (12 enodes) 1537436554.542 * * [misc]simplify: iters left: 5 (16 enodes) 1537436554.546 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1537436554.546 * [misc]simplify: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1537436554.546 * * * * [misc]progress: [ 3 / 4 ] simplifiying candidate # 1537436554.546 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1537436554.547 * * [misc]simplify: iters left: 6 (12 enodes) 1537436554.551 * * [misc]simplify: iters left: 5 (16 enodes) 1537436554.555 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1537436554.555 * [misc]simplify: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1537436554.555 * * * * [misc]progress: [ 4 / 4 ] simplifiying candidate # 1537436554.555 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1537436554.556 * * [misc]simplify: iters left: 6 (12 enodes) 1537436554.573 * * [misc]simplify: iters left: 5 (16 enodes) 1537436554.582 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1537436554.582 * [misc]simplify: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1537436554.582 * * * [misc]progress: adding candidates to table 1537436554.627 * [misc]progress: [Phase 3 of 3] Extracting. 1537436554.632 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1537436554.633 * * [misc]simplify: iters left: 6 (12 enodes) 1537436554.634 * * [misc]simplify: iters left: 5 (13 enodes) 1537436554.636 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1537436554.636 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1537436554.691 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1537436554.694 * * * * [misc]points: Setting MPFR precision to 64 1537436554.698 * * * * [misc]points: Setting MPFR precision to 320 1537436554.702 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1537436554.705 * * * * [misc]points: Setting MPFR precision to 64 1537436554.712 * * * * [misc]points: Setting MPFR precision to 320 1537436554.719 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1537436554.722 * * * * [misc]points: Setting MPFR precision to 64 1537436554.735 * * * * [misc]points: Setting MPFR precision to 320 1537436554.746 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1537436554.748 * * * * [misc]points: Setting MPFR precision to 64 1537436554.761 * * * * [misc]points: Setting MPFR precision to 320 1537436554.775 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1537436554.777 * * * * [misc]points: Setting MPFR precision to 64 1537436554.801 * * * * [misc]points: Setting MPFR precision to 320 1537436554.871 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1537436554.873 * * * * [misc]points: Setting MPFR precision to 64 1537436554.957 * * * * [misc]points: Setting MPFR precision to 320 1537436555.106 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1537436555.109 * * * * [misc]points: Setting MPFR precision to 64 1537436555.299 * * * * [misc]points: Setting MPFR precision to 320 1537436555.491 * * * * [misc]points: Setting MPFR precision to 576 1537436556.157 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1537436556.161 * * * * [misc]points: Setting MPFR precision to 320 1537436556.619 * * * * [misc]points: Setting MPFR precision to 576 1537436557.092 * * * * [misc]points: Computing exacts for 8000 points 1537436557.097 * * * * [misc]points: Setting MPFR precision to 320 1537436559.223 * * * * [misc]points: Setting MPFR precision to 576 1537436561.777 * * * * [misc]points: Filtering points with unrepresentable outputs 1537436561.780 * * * * [misc]points: Sampling 4018 additional inputs, on iter 1 have 3982 / 8000 1537436561.814 * * * * [misc]points: Computing exacts on every 251 of 4018 points to ramp up precision 1537436561.818 * * * * [misc]points: Setting MPFR precision to 320 1537436561.821 * * * * [misc]points: Setting MPFR precision to 576 1537436561.825 * * * * [misc]points: Computing exacts on every 125 of 4018 points to ramp up precision 1537436561.828 * * * * [misc]points: Setting MPFR precision to 320 1537436561.835 * * * * [misc]points: Setting MPFR precision to 576 1537436561.843 * * * * [misc]points: Computing exacts on every 62 of 4018 points to ramp up precision 1537436561.847 * * * * [misc]points: Setting MPFR precision to 320 1537436561.860 * * * * [misc]points: Setting MPFR precision to 576 1537436561.900 * * * * [misc]points: Computing exacts on every 31 of 4018 points to ramp up precision 1537436561.904 * * * * [misc]points: Setting MPFR precision to 320 1537436561.933 * * * * [misc]points: Setting MPFR precision to 576 1537436561.966 * * * * [misc]points: Computing exacts on every 15 of 4018 points to ramp up precision 1537436561.969 * * * * [misc]points: Setting MPFR precision to 320 1537436562.021 * * * * [misc]points: Setting MPFR precision to 576 1537436562.082 * * * * [misc]points: Computing exacts on every 7 of 4018 points to ramp up precision 1537436562.087 * * * * [misc]points: Setting MPFR precision to 320 1537436562.234 * * * * [misc]points: Setting MPFR precision to 576 1537436562.327 * * * * [misc]points: Computing exacts on every 3 of 4018 points to ramp up precision 1537436562.331 * * * * [misc]points: Setting MPFR precision to 320 1537436562.541 * * * * [misc]points: Setting MPFR precision to 576 1537436562.807 * * * * [misc]points: Computing exacts for 4018 points 1537436562.811 * * * * [misc]points: Setting MPFR precision to 320 1537436563.639 * * * * [misc]points: Setting MPFR precision to 576 1537436565.108 * * * * [misc]points: Filtering points with unrepresentable outputs 1537436565.109 * * * * [misc]points: Sampling 1989 additional inputs, on iter 2 have 6011 / 8000 1537436565.120 * * * * [misc]points: Computing exacts on every 124 of 1989 points to ramp up precision 1537436565.123 * * * * [misc]points: Setting MPFR precision to 320 1537436565.124 * * * * [misc]points: Setting MPFR precision to 576 1537436565.126 * * * * [misc]points: Computing exacts on every 62 of 1989 points to ramp up precision 1537436565.129 * * * * [misc]points: Setting MPFR precision to 320 1537436565.132 * * * * [misc]points: Setting MPFR precision to 576 1537436565.137 * * * * [misc]points: Computing exacts on every 31 of 1989 points to ramp up precision 1537436565.139 * * * * [misc]points: Setting MPFR precision to 320 1537436565.146 * * * * [misc]points: Setting MPFR precision to 576 1537436565.154 * * * * [misc]points: Computing exacts on every 15 of 1989 points to ramp up precision 1537436565.156 * * * * [misc]points: Setting MPFR precision to 320 1537436565.174 * * * * [misc]points: Setting MPFR precision to 576 1537436565.191 * * * * [misc]points: Computing exacts on every 7 of 1989 points to ramp up precision 1537436565.193 * * * * [misc]points: Setting MPFR precision to 320 1537436565.258 * * * * [misc]points: Setting MPFR precision to 576 1537436565.302 * * * * [misc]points: Computing exacts on every 3 of 1989 points to ramp up precision 1537436565.304 * * * * [misc]points: Setting MPFR precision to 320 1537436565.387 * * * * [misc]points: Setting MPFR precision to 576 1537436565.567 * * * * [misc]points: Computing exacts for 1989 points 1537436565.569 * * * * [misc]points: Setting MPFR precision to 320 1537436566.051 * * * * [misc]points: Setting MPFR precision to 576 1537436566.559 * * * * [misc]points: Filtering points with unrepresentable outputs 1537436566.559 * * * * [misc]points: Sampling 1011 additional inputs, on iter 3 have 6989 / 8000 1537436566.564 * * * * [misc]points: Computing exacts on every 63 of 1011 points to ramp up precision 1537436566.566 * * * * [misc]points: Setting MPFR precision to 320 1537436566.568 * * * * [misc]points: Setting MPFR precision to 576 1537436566.573 * * * * [misc]points: Computing exacts on every 31 of 1011 points to ramp up precision 1537436566.575 * * * * [misc]points: Setting MPFR precision to 320 1537436566.578 * * * * [misc]points: Setting MPFR precision to 576 1537436566.583 * * * * [misc]points: Computing exacts on every 15 of 1011 points to ramp up precision 1537436566.585 * * * * [misc]points: Setting MPFR precision to 320 1537436566.593 * * * * [misc]points: Setting MPFR precision to 576 1537436566.607 * * * * [misc]points: Computing exacts on every 7 of 1011 points to ramp up precision 1537436566.612 * * * * [misc]points: Setting MPFR precision to 320 1537436566.640 * * * * [misc]points: Setting MPFR precision to 576 1537436566.673 * * * * [misc]points: Computing exacts on every 3 of 1011 points to ramp up precision 1537436566.676 * * * * [misc]points: Setting MPFR precision to 320 1537436566.733 * * * * [misc]points: Setting MPFR precision to 576 1537436567.144 * * * * [misc]points: Computing exacts for 1011 points 1537436567.148 * * * * [misc]points: Setting MPFR precision to 320 1537436567.353 * * * * [misc]points: Setting MPFR precision to 576 1537436567.589 * * * * [misc]points: Filtering points with unrepresentable outputs 1537436567.589 * * * * [misc]points: Sampling 521 additional inputs, on iter 4 have 7479 / 8000 1537436567.592 * * * * [misc]points: Computing exacts on every 32 of 521 points to ramp up precision 1537436567.594 * * * * [misc]points: Setting MPFR precision to 320 1537436567.602 * * * * [misc]points: Setting MPFR precision to 576 1537436567.606 * * * * [misc]points: Computing exacts on every 16 of 521 points to ramp up precision 1537436567.610 * * * * [misc]points: Setting MPFR precision to 320 1537436567.617 * * * * [misc]points: Setting MPFR precision to 576 1537436567.625 * * * * [misc]points: Computing exacts on every 8 of 521 points to ramp up precision 1537436567.628 * * * * [misc]points: Setting MPFR precision to 320 1537436567.641 * * * * [misc]points: Setting MPFR precision to 576 1537436567.657 * * * * [misc]points: Computing exacts on every 4 of 521 points to ramp up precision 1537436567.661 * * * * [misc]points: Setting MPFR precision to 320 1537436567.684 * * * * [misc]points: Setting MPFR precision to 576 1537436567.715 * * * * [misc]points: Computing exacts on every 2 of 521 points to ramp up precision 1537436567.719 * * * * [misc]points: Setting MPFR precision to 320 1537436567.757 * * * * [misc]points: Setting MPFR precision to 576 1537436567.802 * * * * [misc]points: Computing exacts for 521 points 1537436567.807 * * * * [misc]points: Setting MPFR precision to 320 1537436567.983 * * * * [misc]points: Setting MPFR precision to 576 1537436568.122 * * * * [misc]points: Filtering points with unrepresentable outputs 1537436568.123 * * * * [misc]points: Sampling 258 additional inputs, on iter 5 have 7742 / 8000 1537436568.125 * * * * [misc]points: Computing exacts on every 16 of 258 points to ramp up precision 1537436568.129 * * * * [misc]points: Setting MPFR precision to 320 1537436568.184 * * * * [misc]points: Setting MPFR precision to 576 1537436568.186 * * * * [misc]points: Computing exacts on every 8 of 258 points to ramp up precision 1537436568.188 * * * * [misc]points: Setting MPFR precision to 320 1537436568.191 * * * * [misc]points: Setting MPFR precision to 576 1537436568.198 * * * * [misc]points: Computing exacts on every 4 of 258 points to ramp up precision 1537436568.201 * * * * [misc]points: Setting MPFR precision to 320 1537436568.213 * * * * [misc]points: Setting MPFR precision to 576 1537436568.227 * * * * [misc]points: Computing exacts on every 2 of 258 points to ramp up precision 1537436568.230 * * * * [misc]points: Setting MPFR precision to 320 1537436568.249 * * * * [misc]points: Setting MPFR precision to 576 1537436568.272 * * * * [misc]points: Computing exacts for 258 points 1537436568.276 * * * * [misc]points: Setting MPFR precision to 320 1537436568.328 * * * * [misc]points: Setting MPFR precision to 576 1537436568.376 * * * * [misc]points: Filtering points with unrepresentable outputs 1537436568.376 * * * * [misc]points: Sampling 133 additional inputs, on iter 6 have 7867 / 8000 1537436568.377 * * * * [misc]points: Computing exacts on every 8 of 133 points to ramp up precision 1537436568.380 * * * * [misc]points: Setting MPFR precision to 320 1537436568.384 * * * * [misc]points: Setting MPFR precision to 576 1537436568.387 * * * * [misc]points: Computing exacts on every 4 of 133 points to ramp up precision 1537436568.391 * * * * [misc]points: Setting MPFR precision to 320 1537436568.439 * * * * [misc]points: Setting MPFR precision to 576 1537436568.442 * * * * [misc]points: Computing exacts on every 2 of 133 points to ramp up precision 1537436568.444 * * * * [misc]points: Setting MPFR precision to 320 1537436568.452 * * * * [misc]points: Setting MPFR precision to 576 1537436568.458 * * * * [misc]points: Computing exacts for 133 points 1537436568.460 * * * * [misc]points: Setting MPFR precision to 320 1537436568.475 * * * * [misc]points: Setting MPFR precision to 576 1537436568.497 * * * * [misc]points: Filtering points with unrepresentable outputs 1537436568.498 * * * * [misc]points: Sampling 68 additional inputs, on iter 7 have 7932 / 8000 1537436568.498 * * * * [misc]points: Computing exacts on every 4 of 68 points to ramp up precision 1537436568.502 * * * * [misc]points: Setting MPFR precision to 320 1537436568.506 * * * * [misc]points: Setting MPFR precision to 576 1537436568.510 * * * * [misc]points: Computing exacts on every 2 of 68 points to ramp up precision 1537436568.514 * * * * [misc]points: Setting MPFR precision to 320 1537436568.519 * * * * [misc]points: Setting MPFR precision to 576 1537436568.525 * * * * [misc]points: Computing exacts for 68 points 1537436568.529 * * * * [misc]points: Setting MPFR precision to 320 1537436568.544 * * * * [misc]points: Setting MPFR precision to 576 1537436568.563 * * * * [misc]points: Filtering points with unrepresentable outputs 1537436568.563 * * * * [misc]points: Sampling 36 additional inputs, on iter 8 have 7964 / 8000 1537436568.563 * * * * [misc]points: Computing exacts on every 2 of 36 points to ramp up precision 1537436568.567 * * * * [misc]points: Setting MPFR precision to 320 1537436568.569 * * * * [misc]points: Setting MPFR precision to 576 1537436568.572 * * * * [misc]points: Computing exacts for 36 points 1537436568.576 * * * * [misc]points: Setting MPFR precision to 320 1537436568.584 * * * * [misc]points: Setting MPFR precision to 576 1537436568.593 * * * * [misc]points: Filtering points with unrepresentable outputs 1537436568.593 * * * * [misc]points: Sampling 23 additional inputs, on iter 9 have 7977 / 8000 1537436568.593 * * * * [misc]points: Computing exacts for 23 points 1537436568.596 * * * * [misc]points: Setting MPFR precision to 320 1537436568.602 * * * * [misc]points: Setting MPFR precision to 576 1537436568.608 * * * * [misc]points: Filtering points with unrepresentable outputs 1537436568.609 * * * * [misc]points: Sampling 12 additional inputs, on iter 10 have 7988 / 8000 1537436568.609 * * * * [misc]points: Computing exacts for 12 points 1537436568.612 * * * * [misc]points: Setting MPFR precision to 320 1537436568.615 * * * * [misc]points: Setting MPFR precision to 576 1537436568.620 * * * * [misc]points: Filtering points with unrepresentable outputs 1537436568.620 * * * * [misc]points: Sampling 6 additional inputs, on iter 11 have 7994 / 8000 1537436568.620 * * * * [misc]points: Computing exacts for 6 points 1537436568.663 * * * * [misc]points: Setting MPFR precision to 320 1537436568.665 * * * * [misc]points: Setting MPFR precision to 576 1537436568.668 * * * * [misc]points: Filtering points with unrepresentable outputs 1537436568.668 * * * * [exit]points: Sampled 8000 points with exact outputs 1537436569.141 * [misc]regime-testing: Baseline error score: 0.01152124062518029 1537436569.142 * [misc]regime-testing: End program error score: 0.01152124062518029 1537436569.143 * [misc]regime-testing: Oracle error score: 0.01152124062518029