1540334282.703 * [misc]progress: [Phase 1 of 3] Setting up. 1540334282.704 * * * [misc]progress: [1/2] Preparing points 1540334282.705 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1540334282.708 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1540334282.820 * * * * [misc]points: Setting MPFR precision to 64 1540334282.825 * * * * [misc]points: Setting MPFR precision to 320 1540334282.828 * * * * [misc]points: Setting MPFR precision to 576 1540334282.831 * * * * [misc]points: Setting MPFR precision to 832 1540334282.836 * * * * [misc]points: Setting MPFR precision to 1088 1540334282.845 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1540334282.850 * * * * [misc]points: Setting MPFR precision to 832 1540334282.859 * * * * [misc]points: Setting MPFR precision to 1088 1540334282.867 * * * * [misc]points: Setting MPFR precision to 1344 1540334282.876 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1540334282.881 * * * * [misc]points: Setting MPFR precision to 1088 1540334282.901 * * * * [misc]points: Setting MPFR precision to 1344 1540334282.928 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1540334282.933 * * * * [misc]points: Setting MPFR precision to 1088 1540334282.971 * * * * [misc]points: Setting MPFR precision to 1344 1540334283.006 * * * * [misc]points: Computing exacts for 256 points 1540334283.009 * * * * [misc]points: Setting MPFR precision to 1088 1540334283.119 * * * * [misc]points: Setting MPFR precision to 1344 1540334283.231 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334283.232 * * * * [misc]points: Sampling 122 additional inputs, on iter 1 have 134 / 256 1540334283.233 * * * * [misc]points: Computing exacts on every 7 of 122 points to ramp up precision 1540334283.238 * * * * [misc]points: Setting MPFR precision to 1088 1540334283.245 * * * * [misc]points: Setting MPFR precision to 1344 1540334283.252 * * * * [misc]points: Computing exacts on every 3 of 122 points to ramp up precision 1540334283.257 * * * * [misc]points: Setting MPFR precision to 1088 1540334283.270 * * * * [misc]points: Setting MPFR precision to 1344 1540334283.290 * * * * [misc]points: Computing exacts for 122 points 1540334283.295 * * * * [misc]points: Setting MPFR precision to 1088 1540334283.332 * * * * [misc]points: Setting MPFR precision to 1344 1540334283.381 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334283.381 * * * * [misc]points: Sampling 66 additional inputs, on iter 2 have 190 / 256 1540334283.381 * * * * [misc]points: Computing exacts on every 4 of 66 points to ramp up precision 1540334283.384 * * * * [misc]points: Setting MPFR precision to 1088 1540334283.387 * * * * [misc]points: Setting MPFR precision to 1344 1540334283.392 * * * * [misc]points: Computing exacts on every 2 of 66 points to ramp up precision 1540334283.431 * * * * [misc]points: Setting MPFR precision to 1088 1540334283.444 * * * * [misc]points: Setting MPFR precision to 1344 1540334283.456 * * * * [misc]points: Computing exacts for 66 points 1540334283.461 * * * * [misc]points: Setting MPFR precision to 1088 1540334283.490 * * * * [misc]points: Setting MPFR precision to 1344 1540334283.526 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334283.526 * * * * [misc]points: Sampling 30 additional inputs, on iter 3 have 226 / 256 1540334283.526 * * * * [misc]points: Computing exacts for 30 points 1540334283.531 * * * * [misc]points: Setting MPFR precision to 1088 1540334283.544 * * * * [misc]points: Setting MPFR precision to 1344 1540334283.561 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334283.561 * * * * [misc]points: Sampling 19 additional inputs, on iter 4 have 237 / 256 1540334283.562 * * * * [misc]points: Computing exacts for 19 points 1540334283.567 * * * * [misc]points: Setting MPFR precision to 1088 1540334283.576 * * * * [misc]points: Setting MPFR precision to 1344 1540334283.590 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334283.590 * * * * [misc]points: Sampling 9 additional inputs, on iter 5 have 247 / 256 1540334283.590 * * * * [misc]points: Computing exacts for 9 points 1540334283.595 * * * * [misc]points: Setting MPFR precision to 1088 1540334283.598 * * * * [misc]points: Setting MPFR precision to 1344 1540334283.602 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334283.602 * * * * [misc]points: Sampling 5 additional inputs, on iter 6 have 251 / 256 1540334283.602 * * * * [misc]points: Computing exacts for 5 points 1540334283.608 * * * * [misc]points: Setting MPFR precision to 1088 1540334283.611 * * * * [misc]points: Setting MPFR precision to 1344 1540334283.614 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334283.614 * * * * [misc]points: Sampling 4 additional inputs, on iter 7 have 253 / 256 1540334283.614 * * * * [misc]points: Computing exacts for 4 points 1540334283.620 * * * * [misc]points: Setting MPFR precision to 1088 1540334283.622 * * * * [misc]points: Setting MPFR precision to 1344 1540334283.624 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334283.624 * * * * [misc]points: Sampling 4 additional inputs, on iter 8 have 255 / 256 1540334283.624 * * * * [misc]points: Computing exacts for 4 points 1540334283.629 * * * * [misc]points: Setting MPFR precision to 1088 1540334283.631 * * * * [misc]points: Setting MPFR precision to 1344 1540334283.634 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334283.634 * * * * [exit]points: Sampled 257 points with exact outputs 1540334283.635 * * * [misc]progress: [2/2] Setting up program. 1540334283.642 * [misc]progress: [Phase 2 of 3] Improving. 1540334283.643 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1540334283.645 * * [misc]simplify: iters left: 6 (12 enodes) 1540334283.670 * * [misc]simplify: iters left: 5 (16 enodes) 1540334283.673 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1540334283.685 * * [misc]progress: iteration 1 / 4 1540334283.685 * * * [misc]progress: picking best candidate 1540334283.690 * * * * [misc]pick: Picked # 1540334283.690 * * * [misc]progress: localizing error 1540334283.828 * * * [misc]progress: generating rewritten candidates 1540334283.828 * * * * [misc]progress: [ 1 / 3 ] rewriting at (2 1 1) 1540334283.854 * * * * [misc]progress: [ 2 / 3 ] rewriting at (2 1 1 1) 1540334283.854 * * * * [misc]progress: [ 3 / 3 ] rewriting at (2 1 1 2) 1540334283.854 * * * [misc]progress: generating series expansions 1540334283.854 * * * * [misc]progress: [ 1 / 3 ] generating series at (2 1 1) 1540334283.855 * * * * [misc]progress: [ 2 / 3 ] generating series at (2 1 1 1) 1540334283.855 * * * * [misc]progress: [ 3 / 3 ] generating series at (2 1 1 2) 1540334283.855 * * * [misc]progress: simplifying candidates 1540334283.855 * * * * [misc]progress: [ 1 / 4 ] simplifiying candidate # 1540334283.855 * * * * [misc]progress: [ 2 / 4 ] simplifiying candidate # 1540334283.855 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1540334283.855 * * [misc]simplify: iters left: 6 (12 enodes) 1540334283.857 * * [misc]simplify: iters left: 5 (16 enodes) 1540334283.860 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1540334283.860 * [misc]simplify: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1540334283.860 * * * * [misc]progress: [ 3 / 4 ] simplifiying candidate # 1540334283.860 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1540334283.860 * * [misc]simplify: iters left: 6 (12 enodes) 1540334283.862 * * [misc]simplify: iters left: 5 (16 enodes) 1540334283.864 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1540334283.864 * [misc]simplify: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1540334283.864 * * * * [misc]progress: [ 4 / 4 ] simplifiying candidate # 1540334283.864 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1540334283.864 * * [misc]simplify: iters left: 6 (12 enodes) 1540334283.866 * * [misc]simplify: iters left: 5 (16 enodes) 1540334283.869 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1540334283.869 * [misc]simplify: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1540334283.869 * * * [misc]progress: adding candidates to table 1540334283.882 * [misc]progress: [Phase 3 of 3] Extracting. 1540334283.885 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1540334283.885 * * [misc]simplify: iters left: 6 (12 enodes) 1540334283.886 * * [misc]simplify: iters left: 5 (13 enodes) 1540334283.887 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1540334283.887 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1540334283.946 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1540334283.952 * * * * [misc]points: Setting MPFR precision to 1088 1540334283.960 * * * * [misc]points: Setting MPFR precision to 1344 1540334283.967 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1540334283.972 * * * * [misc]points: Setting MPFR precision to 1088 1540334283.985 * * * * [misc]points: Setting MPFR precision to 1344 1540334284.000 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1540334284.005 * * * * [misc]points: Setting MPFR precision to 1088 1540334284.031 * * * * [misc]points: Setting MPFR precision to 1344 1540334284.061 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1540334284.066 * * * * [misc]points: Setting MPFR precision to 1088 1540334284.118 * * * * [misc]points: Setting MPFR precision to 1344 1540334284.211 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1540334284.216 * * * * [misc]points: Setting MPFR precision to 1088 1540334284.328 * * * * [misc]points: Setting MPFR precision to 1344 1540334284.466 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1540334284.472 * * * * [misc]points: Setting MPFR precision to 1088 1540334284.716 * * * * [misc]points: Setting MPFR precision to 1344 1540334284.907 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1540334284.912 * * * * [misc]points: Setting MPFR precision to 1088 1540334285.314 * * * * [misc]points: Setting MPFR precision to 1344 1540334285.800 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1540334286.205 * * * * [misc]points: Setting MPFR precision to 1088 1540334287.019 * * * * [misc]points: Setting MPFR precision to 1344 1540334288.004 * * * * [misc]points: Computing exacts for 8000 points 1540334288.009 * * * * [misc]points: Setting MPFR precision to 1088 1540334291.276 * * * * [misc]points: Setting MPFR precision to 1344 1540334295.277 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334295.278 * * * * [misc]points: Sampling 4045 additional inputs, on iter 1 have 3955 / 8000 1540334295.295 * * * * [misc]points: Computing exacts on every 252 of 4045 points to ramp up precision 1540334295.298 * * * * [misc]points: Setting MPFR precision to 1088 1540334295.302 * * * * [misc]points: Setting MPFR precision to 1344 1540334295.323 * * * * [misc]points: Computing exacts on every 126 of 4045 points to ramp up precision 1540334295.326 * * * * [misc]points: Setting MPFR precision to 1088 1540334295.333 * * * * [misc]points: Setting MPFR precision to 1344 1540334295.343 * * * * [misc]points: Computing exacts on every 63 of 4045 points to ramp up precision 1540334295.348 * * * * [misc]points: Setting MPFR precision to 1088 1540334295.377 * * * * [misc]points: Setting MPFR precision to 1344 1540334295.411 * * * * [misc]points: Computing exacts on every 31 of 4045 points to ramp up precision 1540334295.416 * * * * [misc]points: Setting MPFR precision to 1088 1540334295.476 * * * * [misc]points: Setting MPFR precision to 1344 1540334295.533 * * * * [misc]points: Computing exacts on every 15 of 4045 points to ramp up precision 1540334295.535 * * * * [misc]points: Setting MPFR precision to 1088 1540334295.595 * * * * [misc]points: Setting MPFR precision to 1344 1540334295.703 * * * * [misc]points: Computing exacts on every 7 of 4045 points to ramp up precision 1540334295.708 * * * * [misc]points: Setting MPFR precision to 1088 1540334295.840 * * * * [misc]points: Setting MPFR precision to 1344 1540334296.071 * * * * [misc]points: Computing exacts on every 3 of 4045 points to ramp up precision 1540334296.074 * * * * [misc]points: Setting MPFR precision to 1088 1540334296.427 * * * * [misc]points: Setting MPFR precision to 1344 1540334297.294 * * * * [misc]points: Computing exacts for 4045 points 1540334297.300 * * * * [misc]points: Setting MPFR precision to 1088 1540334298.772 * * * * [misc]points: Setting MPFR precision to 1344 1540334300.709 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334300.710 * * * * [misc]points: Sampling 2005 additional inputs, on iter 2 have 5995 / 8000 1540334300.728 * * * * [misc]points: Computing exacts on every 125 of 2005 points to ramp up precision 1540334300.733 * * * * [misc]points: Setting MPFR precision to 1088 1540334300.741 * * * * [misc]points: Setting MPFR precision to 1344 1540334300.747 * * * * [misc]points: Computing exacts on every 62 of 2005 points to ramp up precision 1540334300.750 * * * * [misc]points: Setting MPFR precision to 1088 1540334300.778 * * * * [misc]points: Setting MPFR precision to 1344 1540334300.799 * * * * [misc]points: Computing exacts on every 31 of 2005 points to ramp up precision 1540334300.804 * * * * [misc]points: Setting MPFR precision to 1088 1540334300.819 * * * * [misc]points: Setting MPFR precision to 1344 1540334300.837 * * * * [misc]points: Computing exacts on every 15 of 2005 points to ramp up precision 1540334300.842 * * * * [misc]points: Setting MPFR precision to 1088 1540334300.873 * * * * [misc]points: Setting MPFR precision to 1344 1540334300.931 * * * * [misc]points: Computing exacts on every 7 of 2005 points to ramp up precision 1540334300.936 * * * * [misc]points: Setting MPFR precision to 1088 1540334301.035 * * * * [misc]points: Setting MPFR precision to 1344 1540334301.179 * * * * [misc]points: Computing exacts on every 3 of 2005 points to ramp up precision 1540334301.181 * * * * [misc]points: Setting MPFR precision to 1088 1540334301.327 * * * * [misc]points: Setting MPFR precision to 1344 1540334301.606 * * * * [misc]points: Computing exacts for 2005 points 1540334301.611 * * * * [misc]points: Setting MPFR precision to 1088 1540334302.267 * * * * [misc]points: Setting MPFR precision to 1344 1540334303.203 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334303.204 * * * * [misc]points: Sampling 985 additional inputs, on iter 3 have 7015 / 8000 1540334303.213 * * * * [misc]points: Computing exacts on every 61 of 985 points to ramp up precision 1540334303.218 * * * * [misc]points: Setting MPFR precision to 1088 1540334303.224 * * * * [misc]points: Setting MPFR precision to 1344 1540334303.232 * * * * [misc]points: Computing exacts on every 30 of 985 points to ramp up precision 1540334303.237 * * * * [misc]points: Setting MPFR precision to 1088 1540334303.251 * * * * [misc]points: Setting MPFR precision to 1344 1540334303.268 * * * * [misc]points: Computing exacts on every 15 of 985 points to ramp up precision 1540334303.307 * * * * [misc]points: Setting MPFR precision to 1088 1540334303.336 * * * * [misc]points: Setting MPFR precision to 1344 1540334303.351 * * * * [misc]points: Computing exacts on every 7 of 985 points to ramp up precision 1540334303.354 * * * * [misc]points: Setting MPFR precision to 1088 1540334303.384 * * * * [misc]points: Setting MPFR precision to 1344 1540334303.427 * * * * [misc]points: Computing exacts on every 3 of 985 points to ramp up precision 1540334303.432 * * * * [misc]points: Setting MPFR precision to 1088 1540334303.500 * * * * [misc]points: Setting MPFR precision to 1344 1540334303.627 * * * * [misc]points: Computing exacts for 985 points 1540334303.629 * * * * [misc]points: Setting MPFR precision to 1088 1540334304.212 * * * * [misc]points: Setting MPFR precision to 1344 1540334304.648 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334304.648 * * * * [misc]points: Sampling 504 additional inputs, on iter 4 have 7496 / 8000 1540334304.650 * * * * [misc]points: Computing exacts on every 31 of 504 points to ramp up precision 1540334304.653 * * * * [misc]points: Setting MPFR precision to 1088 1540334304.656 * * * * [misc]points: Setting MPFR precision to 1344 1540334304.660 * * * * [misc]points: Computing exacts on every 15 of 504 points to ramp up precision 1540334304.662 * * * * [misc]points: Setting MPFR precision to 1088 1540334304.675 * * * * [misc]points: Setting MPFR precision to 1344 1540334304.691 * * * * [misc]points: Computing exacts on every 7 of 504 points to ramp up precision 1540334304.696 * * * * [misc]points: Setting MPFR precision to 1088 1540334304.715 * * * * [misc]points: Setting MPFR precision to 1344 1540334304.733 * * * * [misc]points: Computing exacts on every 3 of 504 points to ramp up precision 1540334304.736 * * * * [misc]points: Setting MPFR precision to 1088 1540334304.784 * * * * [misc]points: Setting MPFR precision to 1344 1540334304.864 * * * * [misc]points: Computing exacts for 504 points 1540334304.866 * * * * [misc]points: Setting MPFR precision to 1088 1540334305.030 * * * * [misc]points: Setting MPFR precision to 1344 1540334305.281 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334305.281 * * * * [misc]points: Sampling 256 additional inputs, on iter 5 have 7744 / 8000 1540334305.282 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1540334305.285 * * * * [misc]points: Setting MPFR precision to 1088 1540334305.289 * * * * [misc]points: Setting MPFR precision to 1344 1540334305.293 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1540334305.295 * * * * [misc]points: Setting MPFR precision to 1088 1540334305.301 * * * * [misc]points: Setting MPFR precision to 1344 1540334305.313 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1540334305.318 * * * * [misc]points: Setting MPFR precision to 1088 1540334305.338 * * * * [misc]points: Setting MPFR precision to 1344 1540334305.362 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1540334305.367 * * * * [misc]points: Setting MPFR precision to 1088 1540334305.399 * * * * [misc]points: Setting MPFR precision to 1344 1540334305.437 * * * * [misc]points: Computing exacts for 256 points 1540334305.442 * * * * [misc]points: Setting MPFR precision to 1088 1540334305.552 * * * * [misc]points: Setting MPFR precision to 1344 1540334305.651 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334305.651 * * * * [misc]points: Sampling 126 additional inputs, on iter 6 have 7874 / 8000 1540334305.652 * * * * [misc]points: Computing exacts on every 7 of 126 points to ramp up precision 1540334305.657 * * * * [misc]points: Setting MPFR precision to 1088 1540334305.663 * * * * [misc]points: Setting MPFR precision to 1344 1540334305.671 * * * * [misc]points: Computing exacts on every 3 of 126 points to ramp up precision 1540334305.676 * * * * [misc]points: Setting MPFR precision to 1088 1540334305.689 * * * * [misc]points: Setting MPFR precision to 1344 1540334305.704 * * * * [misc]points: Computing exacts for 126 points 1540334305.709 * * * * [misc]points: Setting MPFR precision to 1088 1540334305.758 * * * * [misc]points: Setting MPFR precision to 1344 1540334305.839 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334305.839 * * * * [misc]points: Sampling 65 additional inputs, on iter 7 have 7935 / 8000 1540334305.840 * * * * [misc]points: Computing exacts on every 4 of 65 points to ramp up precision 1540334305.845 * * * * [misc]points: Setting MPFR precision to 1088 1540334305.851 * * * * [misc]points: Setting MPFR precision to 1344 1540334305.858 * * * * [misc]points: Computing exacts on every 2 of 65 points to ramp up precision 1540334305.863 * * * * [misc]points: Setting MPFR precision to 1088 1540334305.874 * * * * [misc]points: Setting MPFR precision to 1344 1540334305.886 * * * * [misc]points: Computing exacts for 65 points 1540334305.891 * * * * [misc]points: Setting MPFR precision to 1088 1540334305.919 * * * * [misc]points: Setting MPFR precision to 1344 1540334305.947 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334305.947 * * * * [misc]points: Sampling 34 additional inputs, on iter 8 have 7966 / 8000 1540334305.947 * * * * [misc]points: Computing exacts on every 2 of 34 points to ramp up precision 1540334305.950 * * * * [misc]points: Setting MPFR precision to 1088 1540334305.952 * * * * [misc]points: Setting MPFR precision to 1344 1540334305.955 * * * * [misc]points: Computing exacts for 34 points 1540334305.958 * * * * [misc]points: Setting MPFR precision to 1088 1540334305.973 * * * * [misc]points: Setting MPFR precision to 1344 1540334305.988 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334305.988 * * * * [misc]points: Sampling 17 additional inputs, on iter 9 have 7983 / 8000 1540334305.988 * * * * [misc]points: Computing exacts for 17 points 1540334305.991 * * * * [misc]points: Setting MPFR precision to 1088 1540334305.994 * * * * [misc]points: Setting MPFR precision to 1344 1540334305.997 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334305.997 * * * * [misc]points: Sampling 11 additional inputs, on iter 10 have 7989 / 8000 1540334305.997 * * * * [misc]points: Computing exacts for 11 points 1540334306.000 * * * * [misc]points: Setting MPFR precision to 1088 1540334306.002 * * * * [misc]points: Setting MPFR precision to 1344 1540334306.006 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334306.006 * * * * [misc]points: Sampling 4 additional inputs, on iter 11 have 7997 / 8000 1540334306.006 * * * * [misc]points: Computing exacts for 4 points 1540334306.025 * * * * [misc]points: Setting MPFR precision to 1088 1540334306.026 * * * * [misc]points: Setting MPFR precision to 1344 1540334306.027 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334306.027 * * * * [misc]points: Sampling 4 additional inputs, on iter 12 have 7998 / 8000 1540334306.027 * * * * [misc]points: Computing exacts for 4 points 1540334306.029 * * * * [misc]points: Setting MPFR precision to 1088 1540334306.030 * * * * [misc]points: Setting MPFR precision to 1344 1540334306.031 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334306.031 * * * * [exit]points: Sampled 8000 points with exact outputs 1540334306.203 * [misc]regime-testing: Baseline error score: 43.54769115651753 1540334306.203 * [misc]regime-testing: End program error score: 43.54769115651753 1540334306.204 * [misc]regime-testing: Oracle error score: 43.54769115651753