1552120322.606 * [progress]: [Phase 1 of 3] Setting up. 1552120322.607 * * * [progress]: [1/2] Preparing points 1552120322.607 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256 1552120322.609 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 1552120322.640 * * * * [points]: Setting MPFR precision to 64 1552120322.644 * * * * [points]: Setting MPFR precision to 320 1552120322.678 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 1552120322.680 * * * * [points]: Setting MPFR precision to 64 1552120322.682 * * * * [points]: Setting MPFR precision to 320 1552120322.685 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 1552120322.687 * * * * [points]: Setting MPFR precision to 64 1552120322.692 * * * * [points]: Setting MPFR precision to 320 1552120322.736 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 1552120322.739 * * * * [points]: Setting MPFR precision to 64 1552120322.756 * * * * [points]: Setting MPFR precision to 320 1552120322.809 * * * * [points]: Computing exacts for 256 points 1552120322.813 * * * * [points]: Setting MPFR precision to 64 1552120322.899 * * * * [points]: Setting MPFR precision to 320 1552120322.935 * * * * [points]: Filtering points with unrepresentable outputs 1552120322.935 * * * * [points]: Sampling 134 additional inputs, on iter 1 have 122 / 256 1552120322.936 * * * * [points]: Computing exacts on every 8 of 134 points to ramp up precision 1552120322.938 * * * * [points]: Setting MPFR precision to 64 1552120322.940 * * * * [points]: Setting MPFR precision to 320 1552120322.943 * * * * [points]: Computing exacts on every 4 of 134 points to ramp up precision 1552120322.946 * * * * [points]: Setting MPFR precision to 64 1552120322.951 * * * * [points]: Setting MPFR precision to 320 1552120322.957 * * * * [points]: Computing exacts on every 2 of 134 points to ramp up precision 1552120322.959 * * * * [points]: Setting MPFR precision to 64 1552120322.968 * * * * [points]: Setting MPFR precision to 320 1552120322.973 * * * * [points]: Computing exacts for 134 points 1552120322.975 * * * * [points]: Setting MPFR precision to 64 1552120323.053 * * * * [points]: Setting MPFR precision to 320 1552120323.087 * * * * [points]: Filtering points with unrepresentable outputs 1552120323.087 * * * * [points]: Sampling 71 additional inputs, on iter 2 have 185 / 256 1552120323.088 * * * * [points]: Computing exacts on every 4 of 71 points to ramp up precision 1552120323.091 * * * * [points]: Setting MPFR precision to 64 1552120323.093 * * * * [points]: Setting MPFR precision to 320 1552120323.096 * * * * [points]: Computing exacts on every 2 of 71 points to ramp up precision 1552120323.099 * * * * [points]: Setting MPFR precision to 64 1552120323.103 * * * * [points]: Setting MPFR precision to 320 1552120323.108 * * * * [points]: Computing exacts for 71 points 1552120323.110 * * * * [points]: Setting MPFR precision to 64 1552120323.123 * * * * [points]: Setting MPFR precision to 320 1552120323.137 * * * * [points]: Filtering points with unrepresentable outputs 1552120323.137 * * * * [points]: Sampling 27 additional inputs, on iter 3 have 229 / 256 1552120323.138 * * * * [points]: Computing exacts for 27 points 1552120323.140 * * * * [points]: Setting MPFR precision to 64 1552120323.145 * * * * [points]: Setting MPFR precision to 320 1552120323.150 * * * * [points]: Filtering points with unrepresentable outputs 1552120323.150 * * * * [points]: Sampling 11 additional inputs, on iter 4 have 245 / 256 1552120323.150 * * * * [points]: Computing exacts for 11 points 1552120323.153 * * * * [points]: Setting MPFR precision to 64 1552120323.155 * * * * [points]: Setting MPFR precision to 320 1552120323.157 * * * * [points]: Filtering points with unrepresentable outputs 1552120323.157 * * * * [points]: Sampling 4 additional inputs, on iter 5 have 253 / 256 1552120323.157 * * * * [points]: Computing exacts for 4 points 1552120323.160 * * * * [points]: Setting MPFR precision to 64 1552120323.161 * * * * [points]: Setting MPFR precision to 320 1552120323.161 * * * * [points]: Filtering points with unrepresentable outputs 1552120323.161 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 255 / 256 1552120323.162 * * * * [points]: Computing exacts for 4 points 1552120323.164 * * * * [points]: Setting MPFR precision to 64 1552120323.165 * * * * [points]: Setting MPFR precision to 320 1552120323.165 * * * * [points]: Filtering points with unrepresentable outputs 1552120323.165 * * * * [points]: Sampled 257 points with exact outputs 1552120323.166 * * * [progress]: [2/2] Setting up program. 1552120323.174 * [progress]: [Phase 2 of 3] Improving. 1552120323.174 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 1552120323.177 * [simplify]: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1552120323.179 * * [simplify]: iters left: 6 (12 enodes) 1552120323.199 * * [simplify]: iters left: 5 (26 enodes) 1552120323.209 * * [simplify]: iters left: 4 (30 enodes) 1552120323.219 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120323.219 * * [simplify]: Extracting #1: cost 3 inf + 0 1552120323.219 * * [simplify]: Extracting #2: cost 5 inf + 0 1552120323.219 * * [simplify]: Extracting #3: cost 9 inf + 0 1552120323.220 * * [simplify]: Extracting #4: cost 8 inf + 4 1552120323.220 * * [simplify]: Extracting #5: cost 12 inf + 4 1552120323.220 * * [simplify]: Extracting #6: cost 11 inf + 47 1552120323.220 * * [simplify]: Extracting #7: cost 4 inf + 478 1552120323.221 * * [simplify]: Extracting #8: cost 1 inf + 2268 1552120323.221 * * [simplify]: Extracting #9: cost 0 inf + 3012 1552120323.222 * [simplify]: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1552120323.222 * [simplify]: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1552120323.230 * * [progress]: iteration 1 / 4 1552120323.230 * * * [progress]: picking best candidate 1552120323.660 * * * * [pick]: Picked # 1552120323.660 * * * [progress]: localizing error 1552120323.753 * * * [progress]: generating rewritten candidates 1552120323.754 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1) 1552120323.757 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1 2) 1552120323.757 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1 1) 1552120323.758 * * * [progress]: generating series expansions 1552120323.758 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1) 1552120323.759 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1 2) 1552120323.759 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1 1) 1552120323.759 * * * [progress]: simplifying candidates 1552120323.759 * * * * [progress]: [ 1 / 4 ] simplifiying candidate # 1552120323.759 * * * * [progress]: [ 2 / 4 ] simplifiying candidate # 1552120323.759 * [simplify]: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1552120323.759 * * [simplify]: iters left: 6 (12 enodes) 1552120323.763 * * [simplify]: iters left: 5 (26 enodes) 1552120323.768 * * [simplify]: iters left: 4 (30 enodes) 1552120323.773 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120323.773 * * [simplify]: Extracting #1: cost 3 inf + 0 1552120323.773 * * [simplify]: Extracting #2: cost 5 inf + 0 1552120323.773 * * [simplify]: Extracting #3: cost 9 inf + 0 1552120323.773 * * [simplify]: Extracting #4: cost 8 inf + 4 1552120323.773 * * [simplify]: Extracting #5: cost 12 inf + 4 1552120323.773 * * [simplify]: Extracting #6: cost 11 inf + 47 1552120323.773 * * [simplify]: Extracting #7: cost 4 inf + 478 1552120323.773 * * [simplify]: Extracting #8: cost 1 inf + 2268 1552120323.774 * * [simplify]: Extracting #9: cost 0 inf + 3012 1552120323.774 * [simplify]: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1552120323.774 * [simplify]: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1552120323.774 * * * * [progress]: [ 3 / 4 ] simplifiying candidate # 1552120323.774 * [simplify]: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1552120323.774 * * [simplify]: iters left: 6 (12 enodes) 1552120323.778 * * [simplify]: iters left: 5 (26 enodes) 1552120323.797 * * [simplify]: iters left: 4 (30 enodes) 1552120323.803 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120323.803 * * [simplify]: Extracting #1: cost 3 inf + 0 1552120323.803 * * [simplify]: Extracting #2: cost 5 inf + 0 1552120323.803 * * [simplify]: Extracting #3: cost 9 inf + 0 1552120323.803 * * [simplify]: Extracting #4: cost 8 inf + 4 1552120323.803 * * [simplify]: Extracting #5: cost 12 inf + 4 1552120323.803 * * [simplify]: Extracting #6: cost 11 inf + 47 1552120323.803 * * [simplify]: Extracting #7: cost 4 inf + 478 1552120323.804 * * [simplify]: Extracting #8: cost 1 inf + 2268 1552120323.804 * * [simplify]: Extracting #9: cost 0 inf + 3012 1552120323.804 * [simplify]: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1552120323.804 * [simplify]: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1552120323.804 * * * * [progress]: [ 4 / 4 ] simplifiying candidate # 1552120323.804 * [simplify]: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1552120323.804 * * [simplify]: iters left: 6 (12 enodes) 1552120323.808 * * [simplify]: iters left: 5 (26 enodes) 1552120323.813 * * [simplify]: iters left: 4 (30 enodes) 1552120323.818 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120323.818 * * [simplify]: Extracting #1: cost 3 inf + 0 1552120323.818 * * [simplify]: Extracting #2: cost 5 inf + 0 1552120323.818 * * [simplify]: Extracting #3: cost 9 inf + 0 1552120323.818 * * [simplify]: Extracting #4: cost 8 inf + 4 1552120323.818 * * [simplify]: Extracting #5: cost 12 inf + 4 1552120323.818 * * [simplify]: Extracting #6: cost 11 inf + 47 1552120323.819 * * [simplify]: Extracting #7: cost 4 inf + 478 1552120323.819 * * [simplify]: Extracting #8: cost 1 inf + 2268 1552120323.819 * * [simplify]: Extracting #9: cost 0 inf + 3012 1552120323.819 * [simplify]: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1552120323.819 * [simplify]: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1552120323.819 * * * [progress]: adding candidates to table 1552120323.833 * [progress]: [Phase 3 of 3] Extracting. 1552120323.835 * [simplify]: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1552120323.835 * * [simplify]: iters left: 6 (12 enodes) 1552120323.836 * * [simplify]: iters left: 5 (13 enodes) 1552120323.837 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120323.837 * * [simplify]: Extracting #1: cost 2 inf + 0 1552120323.837 * * [simplify]: Extracting #2: cost 4 inf + 0 1552120323.837 * * [simplify]: Extracting #3: cost 8 inf + 0 1552120323.837 * * [simplify]: Extracting #4: cost 7 inf + 4 1552120323.837 * * [simplify]: Extracting #5: cost 9 inf + 4 1552120323.837 * * [simplify]: Extracting #6: cost 7 inf + 6 1552120323.837 * * [simplify]: Extracting #7: cost 0 inf + 2104 1552120323.838 * [simplify]: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1552120323.838 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1552120323.883 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision 1552120323.886 * * * * [points]: Setting MPFR precision to 64 1552120323.889 * * * * [points]: Setting MPFR precision to 320 1552120323.892 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision 1552120323.894 * * * * [points]: Setting MPFR precision to 64 1552120323.900 * * * * [points]: Setting MPFR precision to 320 1552120323.906 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision 1552120323.909 * * * * [points]: Setting MPFR precision to 64 1552120323.920 * * * * [points]: Setting MPFR precision to 320 1552120323.933 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision 1552120323.935 * * * * [points]: Setting MPFR precision to 64 1552120323.955 * * * * [points]: Setting MPFR precision to 320 1552120323.976 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision 1552120323.979 * * * * [points]: Setting MPFR precision to 64 1552120324.059 * * * * [points]: Setting MPFR precision to 320 1552120324.110 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision 1552120324.113 * * * * [points]: Setting MPFR precision to 64 1552120324.201 * * * * [points]: Setting MPFR precision to 320 1552120324.338 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision 1552120324.340 * * * * [points]: Setting MPFR precision to 64 1552120324.495 * * * * [points]: Setting MPFR precision to 320 1552120324.698 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision 1552120324.700 * * * * [points]: Setting MPFR precision to 64 1552120325.088 * * * * [points]: Setting MPFR precision to 320 1552120325.476 * * * * [points]: Computing exacts for 8000 points 1552120325.478 * * * * [points]: Setting MPFR precision to 64 1552120327.332 * * * * [points]: Setting MPFR precision to 320 1552120329.240 * * * * [points]: Filtering points with unrepresentable outputs 1552120329.243 * * * * [points]: Sampling 3956 additional inputs, on iter 1 have 4044 / 8000 1552120329.295 * * * * [points]: Computing exacts on every 247 of 3956 points to ramp up precision 1552120329.298 * * * * [points]: Setting MPFR precision to 64 1552120329.301 * * * * [points]: Setting MPFR precision to 320 1552120329.306 * * * * [points]: Computing exacts on every 123 of 3956 points to ramp up precision 1552120329.309 * * * * [points]: Setting MPFR precision to 64 1552120329.312 * * * * [points]: Setting MPFR precision to 320 1552120329.315 * * * * [points]: Computing exacts on every 61 of 3956 points to ramp up precision 1552120329.317 * * * * [points]: Setting MPFR precision to 64 1552120329.323 * * * * [points]: Setting MPFR precision to 320 1552120329.329 * * * * [points]: Computing exacts on every 30 of 3956 points to ramp up precision 1552120329.330 * * * * [points]: Setting MPFR precision to 64 1552120329.345 * * * * [points]: Setting MPFR precision to 320 1552120329.362 * * * * [points]: Computing exacts on every 15 of 3956 points to ramp up precision 1552120329.363 * * * * [points]: Setting MPFR precision to 64 1552120329.385 * * * * [points]: Setting MPFR precision to 320 1552120329.417 * * * * [points]: Computing exacts on every 7 of 3956 points to ramp up precision 1552120329.419 * * * * [points]: Setting MPFR precision to 64 1552120329.543 * * * * [points]: Setting MPFR precision to 320 1552120329.613 * * * * [points]: Computing exacts on every 3 of 3956 points to ramp up precision 1552120329.615 * * * * [points]: Setting MPFR precision to 64 1552120329.785 * * * * [points]: Setting MPFR precision to 320 1552120330.007 * * * * [points]: Computing exacts for 3956 points 1552120330.010 * * * * [points]: Setting MPFR precision to 64 1552120330.772 * * * * [points]: Setting MPFR precision to 320 1552120331.904 * * * * [points]: Filtering points with unrepresentable outputs 1552120331.905 * * * * [points]: Sampling 1941 additional inputs, on iter 2 have 6059 / 8000 1552120331.917 * * * * [points]: Computing exacts on every 121 of 1941 points to ramp up precision 1552120331.920 * * * * [points]: Setting MPFR precision to 64 1552120331.956 * * * * [points]: Setting MPFR precision to 320 1552120331.958 * * * * [points]: Computing exacts on every 60 of 1941 points to ramp up precision 1552120331.959 * * * * [points]: Setting MPFR precision to 64 1552120331.963 * * * * [points]: Setting MPFR precision to 320 1552120331.973 * * * * [points]: Computing exacts on every 30 of 1941 points to ramp up precision 1552120331.976 * * * * [points]: Setting MPFR precision to 64 1552120331.987 * * * * [points]: Setting MPFR precision to 320 1552120331.998 * * * * [points]: Computing exacts on every 15 of 1941 points to ramp up precision 1552120332.001 * * * * [points]: Setting MPFR precision to 64 1552120332.021 * * * * [points]: Setting MPFR precision to 320 1552120332.037 * * * * [points]: Computing exacts on every 7 of 1941 points to ramp up precision 1552120332.038 * * * * [points]: Setting MPFR precision to 64 1552120332.060 * * * * [points]: Setting MPFR precision to 320 1552120332.105 * * * * [points]: Computing exacts on every 3 of 1941 points to ramp up precision 1552120332.107 * * * * [points]: Setting MPFR precision to 64 1552120332.205 * * * * [points]: Setting MPFR precision to 320 1552120332.257 * * * * [points]: Computing exacts for 1941 points 1552120332.258 * * * * [points]: Setting MPFR precision to 64 1552120332.650 * * * * [points]: Setting MPFR precision to 320 1552120332.997 * * * * [points]: Filtering points with unrepresentable outputs 1552120332.998 * * * * [points]: Sampling 975 additional inputs, on iter 3 have 7025 / 8000 1552120333.003 * * * * [points]: Computing exacts on every 60 of 975 points to ramp up precision 1552120333.005 * * * * [points]: Setting MPFR precision to 64 1552120333.006 * * * * [points]: Setting MPFR precision to 320 1552120333.007 * * * * [points]: Computing exacts on every 30 of 975 points to ramp up precision 1552120333.009 * * * * [points]: Setting MPFR precision to 64 1552120333.011 * * * * [points]: Setting MPFR precision to 320 1552120333.014 * * * * [points]: Computing exacts on every 15 of 975 points to ramp up precision 1552120333.016 * * * * [points]: Setting MPFR precision to 64 1552120333.058 * * * * [points]: Setting MPFR precision to 320 1552120333.064 * * * * [points]: Computing exacts on every 7 of 975 points to ramp up precision 1552120333.068 * * * * [points]: Setting MPFR precision to 64 1552120333.079 * * * * [points]: Setting MPFR precision to 320 1552120333.090 * * * * [points]: Computing exacts on every 3 of 975 points to ramp up precision 1552120333.092 * * * * [points]: Setting MPFR precision to 64 1552120333.133 * * * * [points]: Setting MPFR precision to 320 1552120333.178 * * * * [points]: Computing exacts for 975 points 1552120333.181 * * * * [points]: Setting MPFR precision to 64 1552120333.395 * * * * [points]: Setting MPFR precision to 320 1552120333.606 * * * * [points]: Setting MPFR precision to 576 1552120334.235 * * * * [points]: Filtering points with unrepresentable outputs 1552120334.236 * * * * [points]: Sampling 495 additional inputs, on iter 4 have 7505 / 8000 1552120334.240 * * * * [points]: Computing exacts on every 30 of 495 points to ramp up precision 1552120334.243 * * * * [points]: Setting MPFR precision to 320 1552120334.246 * * * * [points]: Setting MPFR precision to 576 1552120334.250 * * * * [points]: Computing exacts on every 15 of 495 points to ramp up precision 1552120334.252 * * * * [points]: Setting MPFR precision to 320 1552120334.258 * * * * [points]: Setting MPFR precision to 576 1552120334.266 * * * * [points]: Computing exacts on every 7 of 495 points to ramp up precision 1552120334.268 * * * * [points]: Setting MPFR precision to 320 1552120334.279 * * * * [points]: Setting MPFR precision to 576 1552120334.286 * * * * [points]: Computing exacts on every 3 of 495 points to ramp up precision 1552120334.288 * * * * [points]: Setting MPFR precision to 320 1552120334.301 * * * * [points]: Setting MPFR precision to 576 1552120334.324 * * * * [points]: Computing exacts for 495 points 1552120334.325 * * * * [points]: Setting MPFR precision to 320 1552120334.432 * * * * [points]: Setting MPFR precision to 576 1552120334.501 * * * * [points]: Filtering points with unrepresentable outputs 1552120334.501 * * * * [points]: Sampling 250 additional inputs, on iter 5 have 7750 / 8000 1552120334.502 * * * * [points]: Computing exacts on every 15 of 250 points to ramp up precision 1552120334.504 * * * * [points]: Setting MPFR precision to 320 1552120334.506 * * * * [points]: Setting MPFR precision to 576 1552120334.508 * * * * [points]: Computing exacts on every 7 of 250 points to ramp up precision 1552120334.509 * * * * [points]: Setting MPFR precision to 320 1552120334.513 * * * * [points]: Setting MPFR precision to 576 1552120334.517 * * * * [points]: Computing exacts on every 3 of 250 points to ramp up precision 1552120334.518 * * * * [points]: Setting MPFR precision to 320 1552120334.529 * * * * [points]: Setting MPFR precision to 576 1552120334.537 * * * * [points]: Computing exacts for 250 points 1552120334.538 * * * * [points]: Setting MPFR precision to 320 1552120334.631 * * * * [points]: Setting MPFR precision to 576 1552120334.672 * * * * [points]: Filtering points with unrepresentable outputs 1552120334.673 * * * * [points]: Sampling 136 additional inputs, on iter 6 have 7864 / 8000 1552120334.673 * * * * [points]: Computing exacts on every 8 of 136 points to ramp up precision 1552120334.675 * * * * [points]: Setting MPFR precision to 320 1552120334.676 * * * * [points]: Setting MPFR precision to 576 1552120334.678 * * * * [points]: Computing exacts on every 4 of 136 points to ramp up precision 1552120334.680 * * * * [points]: Setting MPFR precision to 320 1552120334.683 * * * * [points]: Setting MPFR precision to 576 1552120334.688 * * * * [points]: Computing exacts on every 2 of 136 points to ramp up precision 1552120334.691 * * * * [points]: Setting MPFR precision to 320 1552120334.700 * * * * [points]: Setting MPFR precision to 576 1552120334.711 * * * * [points]: Computing exacts for 136 points 1552120334.714 * * * * [points]: Setting MPFR precision to 320 1552120334.728 * * * * [points]: Setting MPFR precision to 576 1552120334.752 * * * * [points]: Filtering points with unrepresentable outputs 1552120334.752 * * * * [points]: Sampling 62 additional inputs, on iter 7 have 7938 / 8000 1552120334.753 * * * * [points]: Computing exacts on every 3 of 62 points to ramp up precision 1552120334.756 * * * * [points]: Setting MPFR precision to 320 1552120334.759 * * * * [points]: Setting MPFR precision to 576 1552120334.762 * * * * [points]: Computing exacts for 62 points 1552120334.763 * * * * [points]: Setting MPFR precision to 320 1552120334.769 * * * * [points]: Setting MPFR precision to 576 1552120334.777 * * * * [points]: Filtering points with unrepresentable outputs 1552120334.777 * * * * [points]: Sampling 25 additional inputs, on iter 8 have 7975 / 8000 1552120334.777 * * * * [points]: Computing exacts for 25 points 1552120334.779 * * * * [points]: Setting MPFR precision to 320 1552120334.817 * * * * [points]: Setting MPFR precision to 576 1552120334.823 * * * * [points]: Filtering points with unrepresentable outputs 1552120334.823 * * * * [points]: Sampling 15 additional inputs, on iter 9 have 7985 / 8000 1552120334.823 * * * * [points]: Computing exacts for 15 points 1552120334.830 * * * * [points]: Setting MPFR precision to 320 1552120334.833 * * * * [points]: Setting MPFR precision to 576 1552120334.837 * * * * [points]: Filtering points with unrepresentable outputs 1552120334.837 * * * * [points]: Sampling 9 additional inputs, on iter 10 have 7991 / 8000 1552120334.837 * * * * [points]: Computing exacts for 9 points 1552120334.840 * * * * [points]: Setting MPFR precision to 320 1552120334.842 * * * * [points]: Setting MPFR precision to 576 1552120334.845 * * * * [points]: Filtering points with unrepresentable outputs 1552120334.845 * * * * [points]: Sampling 5 additional inputs, on iter 11 have 7995 / 8000 1552120334.845 * * * * [points]: Computing exacts for 5 points 1552120334.848 * * * * [points]: Setting MPFR precision to 320 1552120334.849 * * * * [points]: Setting MPFR precision to 576 1552120334.850 * * * * [points]: Filtering points with unrepresentable outputs 1552120334.851 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7999 / 8000 1552120334.851 * * * * [points]: Computing exacts for 4 points 1552120334.853 * * * * [points]: Setting MPFR precision to 320 1552120334.855 * * * * [points]: Setting MPFR precision to 576 1552120334.856 * * * * [points]: Filtering points with unrepresentable outputs 1552120334.856 * * * * [points]: Sampled 8001 points with exact outputs 1552120335.093 * [regime-testing]: Baseline error score: 0.012125 1552120335.094 * [regime-testing]: Oracle error score: 0.012125 1552120335.095 * [regime-testing]: End program error score: 0.012125