1552120322.949 * [progress]: [Phase 1 of 3] Setting up. 1552120322.950 * * * [progress]: [1/2] Preparing points 1552120322.951 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256 1552120322.953 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 1552120323.011 * * * * [points]: Setting MPFR precision to 64 1552120323.016 * * * * [points]: Setting MPFR precision to 320 1552120323.019 * * * * [points]: Setting MPFR precision to 576 1552120323.023 * * * * [points]: Setting MPFR precision to 832 1552120323.026 * * * * [points]: Setting MPFR precision to 1088 1552120323.030 * * * * [points]: Setting MPFR precision to 1344 1552120323.033 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 1552120323.036 * * * * [points]: Setting MPFR precision to 1088 1552120323.041 * * * * [points]: Setting MPFR precision to 1344 1552120323.048 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 1552120323.051 * * * * [points]: Setting MPFR precision to 1088 1552120323.063 * * * * [points]: Setting MPFR precision to 1344 1552120323.088 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 1552120323.092 * * * * [points]: Setting MPFR precision to 1088 1552120323.113 * * * * [points]: Setting MPFR precision to 1344 1552120323.135 * * * * [points]: Computing exacts for 256 points 1552120323.139 * * * * [points]: Setting MPFR precision to 1088 1552120323.244 * * * * [points]: Setting MPFR precision to 1344 1552120323.354 * * * * [points]: Filtering points with unrepresentable outputs 1552120323.354 * * * * [points]: Sampling 134 additional inputs, on iter 1 have 122 / 256 1552120323.356 * * * * [points]: Computing exacts on every 8 of 134 points to ramp up precision 1552120323.360 * * * * [points]: Setting MPFR precision to 1088 1552120323.364 * * * * [points]: Setting MPFR precision to 1344 1552120323.370 * * * * [points]: Computing exacts on every 4 of 134 points to ramp up precision 1552120323.374 * * * * [points]: Setting MPFR precision to 1088 1552120323.382 * * * * [points]: Setting MPFR precision to 1344 1552120323.390 * * * * [points]: Computing exacts on every 2 of 134 points to ramp up precision 1552120323.392 * * * * [points]: Setting MPFR precision to 1088 1552120323.401 * * * * [points]: Setting MPFR precision to 1344 1552120323.415 * * * * [points]: Computing exacts for 134 points 1552120323.419 * * * * [points]: Setting MPFR precision to 1088 1552120323.465 * * * * [points]: Setting MPFR precision to 1344 1552120323.558 * * * * [points]: Filtering points with unrepresentable outputs 1552120323.558 * * * * [points]: Sampling 71 additional inputs, on iter 2 have 185 / 256 1552120323.558 * * * * [points]: Computing exacts on every 4 of 71 points to ramp up precision 1552120323.561 * * * * [points]: Setting MPFR precision to 1088 1552120323.564 * * * * [points]: Setting MPFR precision to 1344 1552120323.568 * * * * [points]: Computing exacts on every 2 of 71 points to ramp up precision 1552120323.570 * * * * [points]: Setting MPFR precision to 1088 1552120323.576 * * * * [points]: Setting MPFR precision to 1344 1552120323.586 * * * * [points]: Computing exacts for 71 points 1552120323.590 * * * * [points]: Setting MPFR precision to 1088 1552120323.616 * * * * [points]: Setting MPFR precision to 1344 1552120323.643 * * * * [points]: Filtering points with unrepresentable outputs 1552120323.643 * * * * [points]: Sampling 27 additional inputs, on iter 3 have 229 / 256 1552120323.643 * * * * [points]: Computing exacts for 27 points 1552120323.645 * * * * [points]: Setting MPFR precision to 1088 1552120323.652 * * * * [points]: Setting MPFR precision to 1344 1552120323.660 * * * * [points]: Filtering points with unrepresentable outputs 1552120323.660 * * * * [points]: Sampling 11 additional inputs, on iter 4 have 245 / 256 1552120323.660 * * * * [points]: Computing exacts for 11 points 1552120323.662 * * * * [points]: Setting MPFR precision to 1088 1552120323.665 * * * * [points]: Setting MPFR precision to 1344 1552120323.668 * * * * [points]: Filtering points with unrepresentable outputs 1552120323.668 * * * * [points]: Sampling 4 additional inputs, on iter 5 have 253 / 256 1552120323.668 * * * * [points]: Computing exacts for 4 points 1552120323.670 * * * * [points]: Setting MPFR precision to 1088 1552120323.671 * * * * [points]: Setting MPFR precision to 1344 1552120323.672 * * * * [points]: Filtering points with unrepresentable outputs 1552120323.672 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 255 / 256 1552120323.673 * * * * [points]: Computing exacts for 4 points 1552120323.675 * * * * [points]: Setting MPFR precision to 1088 1552120323.676 * * * * [points]: Setting MPFR precision to 1344 1552120323.677 * * * * [points]: Filtering points with unrepresentable outputs 1552120323.677 * * * * [points]: Sampled 257 points with exact outputs 1552120323.678 * * * [progress]: [2/2] Setting up program. 1552120323.685 * [progress]: [Phase 2 of 3] Improving. 1552120323.686 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 1552120323.689 * [simplify]: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1552120323.692 * * [simplify]: iters left: 6 (12 enodes) 1552120323.745 * * [simplify]: iters left: 5 (26 enodes) 1552120323.756 * * [simplify]: iters left: 4 (30 enodes) 1552120323.766 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120323.766 * * [simplify]: Extracting #1: cost 3 inf + 0 1552120323.766 * * [simplify]: Extracting #2: cost 5 inf + 0 1552120323.767 * * [simplify]: Extracting #3: cost 9 inf + 0 1552120323.767 * * [simplify]: Extracting #4: cost 8 inf + 4 1552120323.767 * * [simplify]: Extracting #5: cost 12 inf + 4 1552120323.767 * * [simplify]: Extracting #6: cost 11 inf + 47 1552120323.768 * * [simplify]: Extracting #7: cost 4 inf + 478 1552120323.768 * * [simplify]: Extracting #8: cost 1 inf + 2268 1552120323.769 * * [simplify]: Extracting #9: cost 0 inf + 3012 1552120323.769 * [simplify]: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1552120323.769 * [simplify]: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1552120323.777 * * [progress]: iteration 1 / 4 1552120323.777 * * * [progress]: picking best candidate 1552120323.783 * * * * [pick]: Picked # 1552120323.783 * * * [progress]: localizing error 1552120323.933 * * * [progress]: generating rewritten candidates 1552120323.933 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 1552120323.936 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2) 1552120323.936 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 1552120323.937 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 1552120323.940 * * * [progress]: generating series expansions 1552120323.940 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 1552120323.941 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2) 1552120323.941 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 1552120323.941 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 1552120323.941 * * * [progress]: simplifying candidates 1552120323.941 * * * * [progress]: [ 1 / 6 ] simplifiying candidate # 1552120323.941 * * * * [progress]: [ 2 / 6 ] simplifiying candidate # 1552120323.941 * * * * [progress]: [ 3 / 6 ] simplifiying candidate # 1552120323.941 * [simplify]: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1552120323.941 * * [simplify]: iters left: 6 (12 enodes) 1552120323.945 * * [simplify]: iters left: 5 (26 enodes) 1552120323.953 * * [simplify]: iters left: 4 (30 enodes) 1552120323.963 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120323.963 * * [simplify]: Extracting #1: cost 3 inf + 0 1552120323.963 * * [simplify]: Extracting #2: cost 5 inf + 0 1552120323.963 * * [simplify]: Extracting #3: cost 9 inf + 0 1552120323.963 * * [simplify]: Extracting #4: cost 8 inf + 4 1552120323.963 * * [simplify]: Extracting #5: cost 12 inf + 4 1552120323.964 * * [simplify]: Extracting #6: cost 11 inf + 47 1552120323.964 * * [simplify]: Extracting #7: cost 4 inf + 478 1552120323.964 * * [simplify]: Extracting #8: cost 1 inf + 2268 1552120323.965 * * [simplify]: Extracting #9: cost 0 inf + 3012 1552120323.965 * [simplify]: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1552120323.965 * [simplify]: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1552120323.965 * * * * [progress]: [ 4 / 6 ] simplifiying candidate # 1552120323.966 * [simplify]: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1552120323.966 * * [simplify]: iters left: 6 (12 enodes) 1552120323.972 * * [simplify]: iters left: 5 (26 enodes) 1552120323.981 * * [simplify]: iters left: 4 (30 enodes) 1552120323.991 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120323.991 * * [simplify]: Extracting #1: cost 3 inf + 0 1552120323.991 * * [simplify]: Extracting #2: cost 5 inf + 0 1552120323.991 * * [simplify]: Extracting #3: cost 9 inf + 0 1552120323.991 * * [simplify]: Extracting #4: cost 8 inf + 4 1552120323.991 * * [simplify]: Extracting #5: cost 12 inf + 4 1552120323.991 * * [simplify]: Extracting #6: cost 11 inf + 47 1552120323.991 * * [simplify]: Extracting #7: cost 4 inf + 478 1552120323.992 * * [simplify]: Extracting #8: cost 1 inf + 2268 1552120323.992 * * [simplify]: Extracting #9: cost 0 inf + 3012 1552120323.993 * [simplify]: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1552120323.993 * [simplify]: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1552120323.993 * * * * [progress]: [ 5 / 6 ] simplifiying candidate # 1552120323.993 * [simplify]: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1552120323.993 * * [simplify]: iters left: 6 (12 enodes) 1552120323.999 * * [simplify]: iters left: 5 (26 enodes) 1552120324.008 * * [simplify]: iters left: 4 (30 enodes) 1552120324.017 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120324.018 * * [simplify]: Extracting #1: cost 3 inf + 0 1552120324.018 * * [simplify]: Extracting #2: cost 5 inf + 0 1552120324.018 * * [simplify]: Extracting #3: cost 9 inf + 0 1552120324.018 * * [simplify]: Extracting #4: cost 8 inf + 4 1552120324.018 * * [simplify]: Extracting #5: cost 12 inf + 4 1552120324.018 * * [simplify]: Extracting #6: cost 11 inf + 47 1552120324.018 * * [simplify]: Extracting #7: cost 4 inf + 478 1552120324.019 * * [simplify]: Extracting #8: cost 1 inf + 2268 1552120324.019 * * [simplify]: Extracting #9: cost 0 inf + 3012 1552120324.020 * [simplify]: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1552120324.020 * [simplify]: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1552120324.020 * * * * [progress]: [ 6 / 6 ] simplifiying candidate # 1552120324.020 * [simplify]: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1552120324.020 * * [simplify]: iters left: 6 (12 enodes) 1552120324.027 * * [simplify]: iters left: 5 (26 enodes) 1552120324.033 * * [simplify]: iters left: 4 (30 enodes) 1552120324.038 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120324.038 * * [simplify]: Extracting #1: cost 3 inf + 0 1552120324.038 * * [simplify]: Extracting #2: cost 5 inf + 0 1552120324.038 * * [simplify]: Extracting #3: cost 9 inf + 0 1552120324.038 * * [simplify]: Extracting #4: cost 8 inf + 4 1552120324.038 * * [simplify]: Extracting #5: cost 12 inf + 4 1552120324.038 * * [simplify]: Extracting #6: cost 11 inf + 47 1552120324.038 * * [simplify]: Extracting #7: cost 4 inf + 478 1552120324.038 * * [simplify]: Extracting #8: cost 1 inf + 2268 1552120324.039 * * [simplify]: Extracting #9: cost 0 inf + 3012 1552120324.039 * [simplify]: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1552120324.039 * [simplify]: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1552120324.039 * * * [progress]: adding candidates to table 1552120324.068 * [progress]: [Phase 3 of 3] Extracting. 1552120324.071 * [simplify]: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1552120324.071 * * [simplify]: iters left: 6 (12 enodes) 1552120324.072 * * [simplify]: iters left: 5 (13 enodes) 1552120324.073 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120324.073 * * [simplify]: Extracting #1: cost 2 inf + 0 1552120324.073 * * [simplify]: Extracting #2: cost 4 inf + 0 1552120324.073 * * [simplify]: Extracting #3: cost 8 inf + 0 1552120324.073 * * [simplify]: Extracting #4: cost 7 inf + 4 1552120324.073 * * [simplify]: Extracting #5: cost 9 inf + 4 1552120324.073 * * [simplify]: Extracting #6: cost 7 inf + 6 1552120324.073 * * [simplify]: Extracting #7: cost 0 inf + 2104 1552120324.074 * [simplify]: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1552120324.074 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1552120324.148 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision 1552120324.153 * * * * [points]: Setting MPFR precision to 1088 1552120324.158 * * * * [points]: Setting MPFR precision to 1344 1552120324.164 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision 1552120324.168 * * * * [points]: Setting MPFR precision to 1088 1552120324.180 * * * * [points]: Setting MPFR precision to 1344 1552120324.196 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision 1552120324.200 * * * * [points]: Setting MPFR precision to 1088 1552120324.228 * * * * [points]: Setting MPFR precision to 1344 1552120324.260 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision 1552120324.264 * * * * [points]: Setting MPFR precision to 1088 1552120324.314 * * * * [points]: Setting MPFR precision to 1344 1552120324.356 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision 1552120324.358 * * * * [points]: Setting MPFR precision to 1088 1552120324.473 * * * * [points]: Setting MPFR precision to 1344 1552120324.554 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision 1552120324.556 * * * * [points]: Setting MPFR precision to 1088 1552120324.670 * * * * [points]: Setting MPFR precision to 1344 1552120324.967 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision 1552120324.971 * * * * [points]: Setting MPFR precision to 1088 1552120325.724 * * * * [points]: Setting MPFR precision to 1344 1552120326.194 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision 1552120326.198 * * * * [points]: Setting MPFR precision to 1088 1552120326.969 * * * * [points]: Setting MPFR precision to 1344 1552120327.958 * * * * [points]: Computing exacts for 8000 points 1552120327.962 * * * * [points]: Setting MPFR precision to 1088 1552120331.396 * * * * [points]: Setting MPFR precision to 1344 1552120335.247 * * * * [points]: Filtering points with unrepresentable outputs 1552120335.248 * * * * [points]: Sampling 3953 additional inputs, on iter 1 have 4047 / 8000 1552120335.273 * * * * [points]: Computing exacts on every 247 of 3953 points to ramp up precision 1552120335.306 * * * * [points]: Setting MPFR precision to 1088 1552120335.314 * * * * [points]: Setting MPFR precision to 1344 1552120335.318 * * * * [points]: Computing exacts on every 123 of 3953 points to ramp up precision 1552120335.321 * * * * [points]: Setting MPFR precision to 1088 1552120335.328 * * * * [points]: Setting MPFR precision to 1344 1552120335.337 * * * * [points]: Computing exacts on every 61 of 3953 points to ramp up precision 1552120335.340 * * * * [points]: Setting MPFR precision to 1088 1552120335.364 * * * * [points]: Setting MPFR precision to 1344 1552120335.395 * * * * [points]: Computing exacts on every 30 of 3953 points to ramp up precision 1552120335.399 * * * * [points]: Setting MPFR precision to 1088 1552120335.435 * * * * [points]: Setting MPFR precision to 1344 1552120335.487 * * * * [points]: Computing exacts on every 15 of 3953 points to ramp up precision 1552120335.489 * * * * [points]: Setting MPFR precision to 1088 1552120335.560 * * * * [points]: Setting MPFR precision to 1344 1552120335.695 * * * * [points]: Computing exacts on every 7 of 3953 points to ramp up precision 1552120335.699 * * * * [points]: Setting MPFR precision to 1088 1552120335.859 * * * * [points]: Setting MPFR precision to 1344 1552120336.091 * * * * [points]: Computing exacts on every 3 of 3953 points to ramp up precision 1552120336.096 * * * * [points]: Setting MPFR precision to 1088 1552120336.897 * * * * [points]: Setting MPFR precision to 1344 1552120337.290 * * * * [points]: Computing exacts for 3953 points 1552120337.293 * * * * [points]: Setting MPFR precision to 1088 1552120338.665 * * * * [points]: Setting MPFR precision to 1344 1552120340.832 * * * * [points]: Filtering points with unrepresentable outputs 1552120340.833 * * * * [points]: Sampling 1939 additional inputs, on iter 2 have 6061 / 8000 1552120340.848 * * * * [points]: Computing exacts on every 121 of 1939 points to ramp up precision 1552120340.894 * * * * [points]: Setting MPFR precision to 1088 1552120340.899 * * * * [points]: Setting MPFR precision to 1344 1552120340.908 * * * * [points]: Computing exacts on every 60 of 1939 points to ramp up precision 1552120340.912 * * * * [points]: Setting MPFR precision to 1088 1552120340.923 * * * * [points]: Setting MPFR precision to 1344 1552120340.936 * * * * [points]: Computing exacts on every 30 of 1939 points to ramp up precision 1552120340.940 * * * * [points]: Setting MPFR precision to 1088 1552120340.960 * * * * [points]: Setting MPFR precision to 1344 1552120340.976 * * * * [points]: Computing exacts on every 15 of 1939 points to ramp up precision 1552120340.978 * * * * [points]: Setting MPFR precision to 1088 1552120341.014 * * * * [points]: Setting MPFR precision to 1344 1552120341.070 * * * * [points]: Computing exacts on every 7 of 1939 points to ramp up precision 1552120341.074 * * * * [points]: Setting MPFR precision to 1088 1552120341.167 * * * * [points]: Setting MPFR precision to 1344 1552120341.275 * * * * [points]: Computing exacts on every 3 of 1939 points to ramp up precision 1552120341.279 * * * * [points]: Setting MPFR precision to 1088 1552120341.426 * * * * [points]: Setting MPFR precision to 1344 1552120341.665 * * * * [points]: Computing exacts for 1939 points 1552120341.667 * * * * [points]: Setting MPFR precision to 1088 1552120342.233 * * * * [points]: Setting MPFR precision to 1344 1552120343.261 * * * * [points]: Filtering points with unrepresentable outputs 1552120343.261 * * * * [points]: Sampling 974 additional inputs, on iter 3 have 7026 / 8000 1552120343.266 * * * * [points]: Computing exacts on every 60 of 974 points to ramp up precision 1552120343.268 * * * * [points]: Setting MPFR precision to 1088 1552120343.273 * * * * [points]: Setting MPFR precision to 1344 1552120343.281 * * * * [points]: Computing exacts on every 30 of 974 points to ramp up precision 1552120343.285 * * * * [points]: Setting MPFR precision to 1088 1552120343.300 * * * * [points]: Setting MPFR precision to 1344 1552120343.316 * * * * [points]: Computing exacts on every 15 of 974 points to ramp up precision 1552120343.321 * * * * [points]: Setting MPFR precision to 1088 1552120343.343 * * * * [points]: Setting MPFR precision to 1344 1552120343.372 * * * * [points]: Computing exacts on every 7 of 974 points to ramp up precision 1552120343.376 * * * * [points]: Setting MPFR precision to 1088 1552120343.456 * * * * [points]: Setting MPFR precision to 1344 1552120343.487 * * * * [points]: Computing exacts on every 3 of 974 points to ramp up precision 1552120343.489 * * * * [points]: Setting MPFR precision to 1088 1552120343.565 * * * * [points]: Setting MPFR precision to 1344 1552120343.651 * * * * [points]: Computing exacts for 974 points 1552120343.654 * * * * [points]: Setting MPFR precision to 1088 1552120344.039 * * * * [points]: Setting MPFR precision to 1344 1552120344.895 * * * * [points]: Filtering points with unrepresentable outputs 1552120344.896 * * * * [points]: Sampling 495 additional inputs, on iter 4 have 7505 / 8000 1552120344.898 * * * * [points]: Computing exacts on every 30 of 495 points to ramp up precision 1552120344.900 * * * * [points]: Setting MPFR precision to 1088 1552120344.905 * * * * [points]: Setting MPFR precision to 1344 1552120344.911 * * * * [points]: Computing exacts on every 15 of 495 points to ramp up precision 1552120344.913 * * * * [points]: Setting MPFR precision to 1088 1552120344.952 * * * * [points]: Setting MPFR precision to 1344 1552120344.966 * * * * [points]: Computing exacts on every 7 of 495 points to ramp up precision 1552120344.969 * * * * [points]: Setting MPFR precision to 1088 1552120344.987 * * * * [points]: Setting MPFR precision to 1344 1552120345.016 * * * * [points]: Computing exacts on every 3 of 495 points to ramp up precision 1552120345.020 * * * * [points]: Setting MPFR precision to 1088 1552120345.066 * * * * [points]: Setting MPFR precision to 1344 1552120345.115 * * * * [points]: Computing exacts for 495 points 1552120345.119 * * * * [points]: Setting MPFR precision to 1088 1552120345.276 * * * * [points]: Setting MPFR precision to 1344 1552120345.446 * * * * [points]: Filtering points with unrepresentable outputs 1552120345.446 * * * * [points]: Sampling 250 additional inputs, on iter 5 have 7750 / 8000 1552120345.448 * * * * [points]: Computing exacts on every 15 of 250 points to ramp up precision 1552120345.452 * * * * [points]: Setting MPFR precision to 1088 1552120345.458 * * * * [points]: Setting MPFR precision to 1344 1552120345.464 * * * * [points]: Computing exacts on every 7 of 250 points to ramp up precision 1552120345.468 * * * * [points]: Setting MPFR precision to 1088 1552120345.479 * * * * [points]: Setting MPFR precision to 1344 1552120345.492 * * * * [points]: Computing exacts on every 3 of 250 points to ramp up precision 1552120345.496 * * * * [points]: Setting MPFR precision to 1088 1552120345.518 * * * * [points]: Setting MPFR precision to 1344 1552120345.543 * * * * [points]: Computing exacts for 250 points 1552120345.590 * * * * [points]: Setting MPFR precision to 1088 1552120345.671 * * * * [points]: Setting MPFR precision to 1344 1552120345.752 * * * * [points]: Filtering points with unrepresentable outputs 1552120345.752 * * * * [points]: Sampling 136 additional inputs, on iter 6 have 7864 / 8000 1552120345.753 * * * * [points]: Computing exacts on every 8 of 136 points to ramp up precision 1552120345.757 * * * * [points]: Setting MPFR precision to 1088 1552120345.762 * * * * [points]: Setting MPFR precision to 1344 1552120345.767 * * * * [points]: Computing exacts on every 4 of 136 points to ramp up precision 1552120345.770 * * * * [points]: Setting MPFR precision to 1088 1552120345.779 * * * * [points]: Setting MPFR precision to 1344 1552120345.787 * * * * [points]: Computing exacts on every 2 of 136 points to ramp up precision 1552120345.789 * * * * [points]: Setting MPFR precision to 1088 1552120345.799 * * * * [points]: Setting MPFR precision to 1344 1552120345.810 * * * * [points]: Computing exacts for 136 points 1552120345.812 * * * * [points]: Setting MPFR precision to 1088 1552120345.903 * * * * [points]: Setting MPFR precision to 1344 1552120345.950 * * * * [points]: Filtering points with unrepresentable outputs 1552120345.950 * * * * [points]: Sampling 61 additional inputs, on iter 7 have 7939 / 8000 1552120345.951 * * * * [points]: Computing exacts on every 3 of 61 points to ramp up precision 1552120345.953 * * * * [points]: Setting MPFR precision to 1088 1552120345.956 * * * * [points]: Setting MPFR precision to 1344 1552120345.960 * * * * [points]: Computing exacts for 61 points 1552120345.962 * * * * [points]: Setting MPFR precision to 1088 1552120345.975 * * * * [points]: Setting MPFR precision to 1344 1552120346.000 * * * * [points]: Filtering points with unrepresentable outputs 1552120346.000 * * * * [points]: Sampling 27 additional inputs, on iter 8 have 7973 / 8000 1552120346.000 * * * * [points]: Computing exacts for 27 points 1552120346.002 * * * * [points]: Setting MPFR precision to 1088 1552120346.008 * * * * [points]: Setting MPFR precision to 1344 1552120346.014 * * * * [points]: Filtering points with unrepresentable outputs 1552120346.014 * * * * [points]: Sampling 15 additional inputs, on iter 9 have 7985 / 8000 1552120346.014 * * * * [points]: Computing exacts for 15 points 1552120346.016 * * * * [points]: Setting MPFR precision to 1088 1552120346.020 * * * * [points]: Setting MPFR precision to 1344 1552120346.023 * * * * [points]: Filtering points with unrepresentable outputs 1552120346.023 * * * * [points]: Sampling 8 additional inputs, on iter 10 have 7992 / 8000 1552120346.023 * * * * [points]: Computing exacts for 8 points 1552120346.026 * * * * [points]: Setting MPFR precision to 1088 1552120346.029 * * * * [points]: Setting MPFR precision to 1344 1552120346.031 * * * * [points]: Filtering points with unrepresentable outputs 1552120346.031 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7996 / 8000 1552120346.032 * * * * [points]: Computing exacts for 4 points 1552120346.034 * * * * [points]: Setting MPFR precision to 1088 1552120346.035 * * * * [points]: Setting MPFR precision to 1344 1552120346.036 * * * * [points]: Filtering points with unrepresentable outputs 1552120346.036 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7997 / 8000 1552120346.036 * * * * [points]: Computing exacts for 4 points 1552120346.038 * * * * [points]: Setting MPFR precision to 1088 1552120346.039 * * * * [points]: Setting MPFR precision to 1344 1552120346.040 * * * * [points]: Filtering points with unrepresentable outputs 1552120346.040 * * * * [points]: Sampling 4 additional inputs, on iter 13 have 7999 / 8000 1552120346.040 * * * * [points]: Computing exacts for 4 points 1552120346.042 * * * * [points]: Setting MPFR precision to 1088 1552120346.043 * * * * [points]: Setting MPFR precision to 1344 1552120346.045 * * * * [points]: Filtering points with unrepresentable outputs 1552120346.045 * * * * [points]: Sampled 8003 points with exact outputs 1552120346.293 * [regime-testing]: Baseline error score: 43.93188938523765 1552120346.295 * [regime-testing]: Oracle error score: 43.93188938523765 1552120346.296 * [regime-testing]: End program error score: 43.93188938523765