1553935989.270 * [progress]: [Phase 1 of 3] Setting up. 1553935989.271 * * * [progress]: [1/2] Preparing points 1553935989.272 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256 1553935989.274 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 1553935989.306 * * * * [points]: Setting MPFR precision to 64 1553935989.308 * * * * [points]: Setting MPFR precision to 320 1553935989.310 * * * * [points]: Setting MPFR precision to 576 1553935989.312 * * * * [points]: Setting MPFR precision to 832 1553935989.314 * * * * [points]: Setting MPFR precision to 1088 1553935989.319 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 1553935989.323 * * * * [points]: Setting MPFR precision to 832 1553935989.332 * * * * [points]: Setting MPFR precision to 1088 1553935989.343 * * * * [points]: Setting MPFR precision to 1344 1553935989.407 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 1553935989.411 * * * * [points]: Setting MPFR precision to 1088 1553935989.431 * * * * [points]: Setting MPFR precision to 1344 1553935989.453 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 1553935989.457 * * * * [points]: Setting MPFR precision to 1088 1553935989.490 * * * * [points]: Setting MPFR precision to 1344 1553935989.532 * * * * [points]: Computing exacts for 256 points 1553935989.537 * * * * [points]: Setting MPFR precision to 1088 1553935989.618 * * * * [points]: Setting MPFR precision to 1344 1553935989.681 * * * * [points]: Filtering points with unrepresentable outputs 1553935989.682 * * * * [points]: Sampling 137 additional inputs, on iter 1 have 119 / 256 1553935989.683 * * * * [points]: Computing exacts on every 8 of 137 points to ramp up precision 1553935989.718 * * * * [points]: Setting MPFR precision to 1088 1553935989.721 * * * * [points]: Setting MPFR precision to 1344 1553935989.727 * * * * [points]: Computing exacts on every 4 of 137 points to ramp up precision 1553935989.730 * * * * [points]: Setting MPFR precision to 1088 1553935989.735 * * * * [points]: Setting MPFR precision to 1344 1553935989.742 * * * * [points]: Computing exacts on every 2 of 137 points to ramp up precision 1553935989.744 * * * * [points]: Setting MPFR precision to 1088 1553935989.754 * * * * [points]: Setting MPFR precision to 1344 1553935989.773 * * * * [points]: Computing exacts for 137 points 1553935989.777 * * * * [points]: Setting MPFR precision to 1088 1553935989.830 * * * * [points]: Setting MPFR precision to 1344 1553935989.868 * * * * [points]: Filtering points with unrepresentable outputs 1553935989.868 * * * * [points]: Sampling 70 additional inputs, on iter 2 have 186 / 256 1553935989.869 * * * * [points]: Computing exacts on every 4 of 70 points to ramp up precision 1553935989.871 * * * * [points]: Setting MPFR precision to 1088 1553935989.876 * * * * [points]: Setting MPFR precision to 1344 1553935989.884 * * * * [points]: Computing exacts on every 2 of 70 points to ramp up precision 1553935989.888 * * * * [points]: Setting MPFR precision to 1088 1553935989.897 * * * * [points]: Setting MPFR precision to 1344 1553935989.904 * * * * [points]: Computing exacts for 70 points 1553935989.907 * * * * [points]: Setting MPFR precision to 1088 1553935989.922 * * * * [points]: Setting MPFR precision to 1344 1553935989.967 * * * * [points]: Filtering points with unrepresentable outputs 1553935989.967 * * * * [points]: Sampling 32 additional inputs, on iter 3 have 224 / 256 1553935989.967 * * * * [points]: Computing exacts on every 2 of 32 points to ramp up precision 1553935989.969 * * * * [points]: Setting MPFR precision to 1088 1553935989.973 * * * * [points]: Setting MPFR precision to 1344 1553935989.975 * * * * [points]: Computing exacts for 32 points 1553935989.978 * * * * [points]: Setting MPFR precision to 1088 1553935989.985 * * * * [points]: Setting MPFR precision to 1344 1553935989.994 * * * * [points]: Filtering points with unrepresentable outputs 1553935989.994 * * * * [points]: Sampling 13 additional inputs, on iter 4 have 243 / 256 1553935989.994 * * * * [points]: Computing exacts for 13 points 1553935989.996 * * * * [points]: Setting MPFR precision to 1088 1553935989.999 * * * * [points]: Setting MPFR precision to 1344 1553935990.004 * * * * [points]: Filtering points with unrepresentable outputs 1553935990.005 * * * * [points]: Sampling 6 additional inputs, on iter 5 have 250 / 256 1553935990.005 * * * * [points]: Computing exacts for 6 points 1553935990.009 * * * * [points]: Setting MPFR precision to 1088 1553935990.012 * * * * [points]: Setting MPFR precision to 1344 1553935990.015 * * * * [points]: Filtering points with unrepresentable outputs 1553935990.015 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 254 / 256 1553935990.015 * * * * [points]: Computing exacts for 4 points 1553935990.019 * * * * [points]: Setting MPFR precision to 1088 1553935990.021 * * * * [points]: Setting MPFR precision to 1344 1553935990.022 * * * * [points]: Filtering points with unrepresentable outputs 1553935990.022 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 255 / 256 1553935990.022 * * * * [points]: Computing exacts for 4 points 1553935990.027 * * * * [points]: Setting MPFR precision to 1088 1553935990.028 * * * * [points]: Setting MPFR precision to 1344 1553935990.029 * * * * [points]: Filtering points with unrepresentable outputs 1553935990.029 * * * * [points]: Sampled 256 points with exact outputs 1553935990.030 * * * [progress]: [2/2] Setting up program. 1553935990.037 * [progress]: [Phase 2 of 3] Improving. 1553935990.038 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 1553935990.039 * [simplify]: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1553935990.041 * * [simplify]: iters left: 6 (12 enodes) 1553935990.059 * * [simplify]: iters left: 5 (26 enodes) 1553935990.068 * * [simplify]: iters left: 4 (30 enodes) 1553935990.078 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935990.078 * * [simplify]: Extracting #1: cost 3 inf + 0 1553935990.078 * * [simplify]: Extracting #2: cost 5 inf + 0 1553935990.078 * * [simplify]: Extracting #3: cost 9 inf + 0 1553935990.079 * * [simplify]: Extracting #4: cost 8 inf + 4 1553935990.079 * * [simplify]: Extracting #5: cost 12 inf + 4 1553935990.079 * * [simplify]: Extracting #6: cost 11 inf + 47 1553935990.079 * * [simplify]: Extracting #7: cost 4 inf + 478 1553935990.080 * * [simplify]: Extracting #8: cost 1 inf + 2268 1553935990.080 * * [simplify]: Extracting #9: cost 0 inf + 3012 1553935990.081 * [simplify]: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1553935990.081 * [simplify]: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1553935990.107 * * [progress]: iteration 1 / 4 1553935990.107 * * * [progress]: picking best candidate 1553935990.110 * * * * [pick]: Picked # 1553935990.110 * * * [progress]: localizing error 1553935990.249 * * * [progress]: generating rewritten candidates 1553935990.250 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 1553935990.255 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2) 1553935990.256 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 1553935990.256 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 1553935990.264 * * * [progress]: generating series expansions 1553935990.264 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 1553935990.265 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2) 1553935990.265 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 1553935990.265 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 1553935990.265 * * * [progress]: simplifying candidates 1553935990.265 * * * * [progress]: [ 1 / 6 ] simplifiying candidate # 1553935990.265 * * * * [progress]: [ 2 / 6 ] simplifiying candidate # 1553935990.265 * * * * [progress]: [ 3 / 6 ] simplifiying candidate # 1553935990.265 * [simplify]: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1553935990.266 * * [simplify]: iters left: 6 (12 enodes) 1553935990.272 * * [simplify]: iters left: 5 (26 enodes) 1553935990.300 * * [simplify]: iters left: 4 (30 enodes) 1553935990.311 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935990.311 * * [simplify]: Extracting #1: cost 3 inf + 0 1553935990.311 * * [simplify]: Extracting #2: cost 5 inf + 0 1553935990.311 * * [simplify]: Extracting #3: cost 9 inf + 0 1553935990.311 * * [simplify]: Extracting #4: cost 8 inf + 4 1553935990.311 * * [simplify]: Extracting #5: cost 12 inf + 4 1553935990.311 * * [simplify]: Extracting #6: cost 11 inf + 47 1553935990.312 * * [simplify]: Extracting #7: cost 4 inf + 478 1553935990.312 * * [simplify]: Extracting #8: cost 1 inf + 2268 1553935990.313 * * [simplify]: Extracting #9: cost 0 inf + 3012 1553935990.313 * [simplify]: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1553935990.313 * [simplify]: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1553935990.313 * * * * [progress]: [ 4 / 6 ] simplifiying candidate # 1553935990.314 * [simplify]: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1553935990.314 * * [simplify]: iters left: 6 (12 enodes) 1553935990.320 * * [simplify]: iters left: 5 (26 enodes) 1553935990.328 * * [simplify]: iters left: 4 (30 enodes) 1553935990.338 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935990.338 * * [simplify]: Extracting #1: cost 3 inf + 0 1553935990.338 * * [simplify]: Extracting #2: cost 5 inf + 0 1553935990.338 * * [simplify]: Extracting #3: cost 9 inf + 0 1553935990.338 * * [simplify]: Extracting #4: cost 8 inf + 4 1553935990.338 * * [simplify]: Extracting #5: cost 12 inf + 4 1553935990.338 * * [simplify]: Extracting #6: cost 11 inf + 47 1553935990.338 * * [simplify]: Extracting #7: cost 4 inf + 478 1553935990.339 * * [simplify]: Extracting #8: cost 1 inf + 2268 1553935990.339 * * [simplify]: Extracting #9: cost 0 inf + 3012 1553935990.340 * [simplify]: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1553935990.340 * [simplify]: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1553935990.340 * * * * [progress]: [ 5 / 6 ] simplifiying candidate # 1553935990.340 * [simplify]: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1553935990.340 * * [simplify]: iters left: 6 (12 enodes) 1553935990.346 * * [simplify]: iters left: 5 (26 enodes) 1553935990.355 * * [simplify]: iters left: 4 (30 enodes) 1553935990.364 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935990.364 * * [simplify]: Extracting #1: cost 3 inf + 0 1553935990.365 * * [simplify]: Extracting #2: cost 5 inf + 0 1553935990.365 * * [simplify]: Extracting #3: cost 9 inf + 0 1553935990.365 * * [simplify]: Extracting #4: cost 8 inf + 4 1553935990.365 * * [simplify]: Extracting #5: cost 12 inf + 4 1553935990.365 * * [simplify]: Extracting #6: cost 11 inf + 47 1553935990.365 * * [simplify]: Extracting #7: cost 4 inf + 478 1553935990.366 * * [simplify]: Extracting #8: cost 1 inf + 2268 1553935990.366 * * [simplify]: Extracting #9: cost 0 inf + 3012 1553935990.367 * [simplify]: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1553935990.367 * [simplify]: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1553935990.367 * * * * [progress]: [ 6 / 6 ] simplifiying candidate # 1553935990.367 * [simplify]: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1553935990.367 * * [simplify]: iters left: 6 (12 enodes) 1553935990.374 * * [simplify]: iters left: 5 (26 enodes) 1553935990.383 * * [simplify]: iters left: 4 (30 enodes) 1553935990.393 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935990.393 * * [simplify]: Extracting #1: cost 3 inf + 0 1553935990.393 * * [simplify]: Extracting #2: cost 5 inf + 0 1553935990.393 * * [simplify]: Extracting #3: cost 9 inf + 0 1553935990.393 * * [simplify]: Extracting #4: cost 8 inf + 4 1553935990.393 * * [simplify]: Extracting #5: cost 12 inf + 4 1553935990.393 * * [simplify]: Extracting #6: cost 11 inf + 47 1553935990.393 * * [simplify]: Extracting #7: cost 4 inf + 478 1553935990.394 * * [simplify]: Extracting #8: cost 1 inf + 2268 1553935990.394 * * [simplify]: Extracting #9: cost 0 inf + 3012 1553935990.395 * [simplify]: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1553935990.395 * [simplify]: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1553935990.395 * * * [progress]: adding candidates to table 1553935990.444 * [progress]: [Phase 3 of 3] Extracting. 1553935990.450 * [simplify]: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1553935990.450 * * [simplify]: iters left: 6 (12 enodes) 1553935990.451 * * [simplify]: iters left: 5 (13 enodes) 1553935990.453 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935990.453 * * [simplify]: Extracting #1: cost 2 inf + 0 1553935990.453 * * [simplify]: Extracting #2: cost 4 inf + 0 1553935990.453 * * [simplify]: Extracting #3: cost 8 inf + 0 1553935990.453 * * [simplify]: Extracting #4: cost 7 inf + 4 1553935990.453 * * [simplify]: Extracting #5: cost 9 inf + 4 1553935990.453 * * [simplify]: Extracting #6: cost 7 inf + 6 1553935990.453 * * [simplify]: Extracting #7: cost 0 inf + 2104 1553935990.454 * [simplify]: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1553935990.454 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1553935990.506 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision 1553935990.905 * * * * [points]: Setting MPFR precision to 1088 1553935990.910 * * * * [points]: Setting MPFR precision to 1344 1553935990.919 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision 1553935990.923 * * * * [points]: Setting MPFR precision to 1088 1553935990.935 * * * * [points]: Setting MPFR precision to 1344 1553935990.949 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision 1553935990.953 * * * * [points]: Setting MPFR precision to 1088 1553935990.979 * * * * [points]: Setting MPFR precision to 1344 1553935991.004 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision 1553935991.006 * * * * [points]: Setting MPFR precision to 1088 1553935991.033 * * * * [points]: Setting MPFR precision to 1344 1553935991.086 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision 1553935991.090 * * * * [points]: Setting MPFR precision to 1088 1553935991.187 * * * * [points]: Setting MPFR precision to 1344 1553935991.331 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision 1553935991.335 * * * * [points]: Setting MPFR precision to 1088 1553935991.486 * * * * [points]: Setting MPFR precision to 1344 1553935991.725 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision 1553935991.727 * * * * [points]: Setting MPFR precision to 1088 1553935992.037 * * * * [points]: Setting MPFR precision to 1344 1553935992.442 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision 1553935992.445 * * * * [points]: Setting MPFR precision to 1088 1553935993.240 * * * * [points]: Setting MPFR precision to 1344 1553935994.578 * * * * [points]: Computing exacts for 8000 points 1553935994.581 * * * * [points]: Setting MPFR precision to 1088 1553935997.892 * * * * [points]: Setting MPFR precision to 1344 1553936001.676 * * * * [points]: Filtering points with unrepresentable outputs 1553936001.677 * * * * [points]: Sampling 3979 additional inputs, on iter 1 have 4021 / 8000 1553936001.706 * * * * [points]: Computing exacts on every 248 of 3979 points to ramp up precision 1553936001.711 * * * * [points]: Setting MPFR precision to 1088 1553936001.716 * * * * [points]: Setting MPFR precision to 1344 1553936001.723 * * * * [points]: Computing exacts on every 124 of 3979 points to ramp up precision 1553936001.728 * * * * [points]: Setting MPFR precision to 1088 1553936001.758 * * * * [points]: Setting MPFR precision to 1344 1553936001.765 * * * * [points]: Computing exacts on every 62 of 3979 points to ramp up precision 1553936001.768 * * * * [points]: Setting MPFR precision to 1088 1553936001.787 * * * * [points]: Setting MPFR precision to 1344 1553936001.817 * * * * [points]: Computing exacts on every 31 of 3979 points to ramp up precision 1553936001.821 * * * * [points]: Setting MPFR precision to 1088 1553936001.848 * * * * [points]: Setting MPFR precision to 1344 1553936001.883 * * * * [points]: Computing exacts on every 15 of 3979 points to ramp up precision 1553936001.885 * * * * [points]: Setting MPFR precision to 1088 1553936001.953 * * * * [points]: Setting MPFR precision to 1344 1553936002.101 * * * * [points]: Computing exacts on every 7 of 3979 points to ramp up precision 1553936002.103 * * * * [points]: Setting MPFR precision to 1088 1553936002.256 * * * * [points]: Setting MPFR precision to 1344 1553936002.483 * * * * [points]: Computing exacts on every 3 of 3979 points to ramp up precision 1553936002.486 * * * * [points]: Setting MPFR precision to 1088 1553936002.835 * * * * [points]: Setting MPFR precision to 1344 1553936003.309 * * * * [points]: Computing exacts for 3979 points 1553936003.313 * * * * [points]: Setting MPFR precision to 1088 1553936005.080 * * * * [points]: Setting MPFR precision to 1344 1553936006.743 * * * * [points]: Filtering points with unrepresentable outputs 1553936006.744 * * * * [points]: Sampling 1962 additional inputs, on iter 2 have 6038 / 8000 1553936006.755 * * * * [points]: Computing exacts on every 122 of 1962 points to ramp up precision 1553936006.806 * * * * [points]: Setting MPFR precision to 1088 1553936006.818 * * * * [points]: Setting MPFR precision to 1344 1553936006.827 * * * * [points]: Computing exacts on every 61 of 1962 points to ramp up precision 1553936006.832 * * * * [points]: Setting MPFR precision to 1088 1553936006.844 * * * * [points]: Setting MPFR precision to 1344 1553936006.859 * * * * [points]: Computing exacts on every 30 of 1962 points to ramp up precision 1553936006.863 * * * * [points]: Setting MPFR precision to 1088 1553936006.889 * * * * [points]: Setting MPFR precision to 1344 1553936006.906 * * * * [points]: Computing exacts on every 15 of 1962 points to ramp up precision 1553936006.909 * * * * [points]: Setting MPFR precision to 1088 1553936006.945 * * * * [points]: Setting MPFR precision to 1344 1553936006.991 * * * * [points]: Computing exacts on every 7 of 1962 points to ramp up precision 1553936006.993 * * * * [points]: Setting MPFR precision to 1088 1553936007.070 * * * * [points]: Setting MPFR precision to 1344 1553936007.150 * * * * [points]: Computing exacts on every 3 of 1962 points to ramp up precision 1553936007.154 * * * * [points]: Setting MPFR precision to 1088 1553936007.330 * * * * [points]: Setting MPFR precision to 1344 1553936007.527 * * * * [points]: Computing exacts for 1962 points 1553936007.529 * * * * [points]: Setting MPFR precision to 1088 1553936008.629 * * * * [points]: Setting MPFR precision to 1344 1553936009.473 * * * * [points]: Filtering points with unrepresentable outputs 1553936009.474 * * * * [points]: Sampling 981 additional inputs, on iter 3 have 7019 / 8000 1553936009.484 * * * * [points]: Computing exacts on every 61 of 981 points to ramp up precision 1553936009.488 * * * * [points]: Setting MPFR precision to 1088 1553936009.495 * * * * [points]: Setting MPFR precision to 1344 1553936009.501 * * * * [points]: Computing exacts on every 30 of 981 points to ramp up precision 1553936009.506 * * * * [points]: Setting MPFR precision to 1088 1553936009.513 * * * * [points]: Setting MPFR precision to 1344 1553936009.520 * * * * [points]: Computing exacts on every 15 of 981 points to ramp up precision 1553936009.522 * * * * [points]: Setting MPFR precision to 1088 1553936009.535 * * * * [points]: Setting MPFR precision to 1344 1553936009.592 * * * * [points]: Computing exacts on every 7 of 981 points to ramp up precision 1553936009.594 * * * * [points]: Setting MPFR precision to 1088 1553936009.631 * * * * [points]: Setting MPFR precision to 1344 1553936009.676 * * * * [points]: Computing exacts on every 3 of 981 points to ramp up precision 1553936009.679 * * * * [points]: Setting MPFR precision to 1088 1553936009.761 * * * * [points]: Setting MPFR precision to 1344 1553936009.881 * * * * [points]: Computing exacts for 981 points 1553936009.885 * * * * [points]: Setting MPFR precision to 1088 1553936010.212 * * * * [points]: Setting MPFR precision to 1344 1553936010.659 * * * * [points]: Filtering points with unrepresentable outputs 1553936010.660 * * * * [points]: Sampling 500 additional inputs, on iter 4 have 7500 / 8000 1553936010.664 * * * * [points]: Computing exacts on every 31 of 500 points to ramp up precision 1553936010.674 * * * * [points]: Setting MPFR precision to 1088 1553936010.681 * * * * [points]: Setting MPFR precision to 1344 1553936010.689 * * * * [points]: Computing exacts on every 15 of 500 points to ramp up precision 1553936010.694 * * * * [points]: Setting MPFR precision to 1088 1553936010.705 * * * * [points]: Setting MPFR precision to 1344 1553936010.713 * * * * [points]: Computing exacts on every 7 of 500 points to ramp up precision 1553936010.715 * * * * [points]: Setting MPFR precision to 1088 1553936010.730 * * * * [points]: Setting MPFR precision to 1344 1553936010.747 * * * * [points]: Computing exacts on every 3 of 500 points to ramp up precision 1553936010.749 * * * * [points]: Setting MPFR precision to 1088 1553936010.776 * * * * [points]: Setting MPFR precision to 1344 1553936010.826 * * * * [points]: Computing exacts for 500 points 1553936010.830 * * * * [points]: Setting MPFR precision to 1088 1553936011.067 * * * * [points]: Setting MPFR precision to 1344 1553936011.262 * * * * [points]: Filtering points with unrepresentable outputs 1553936011.263 * * * * [points]: Sampling 248 additional inputs, on iter 5 have 7752 / 8000 1553936011.265 * * * * [points]: Computing exacts on every 15 of 248 points to ramp up precision 1553936011.270 * * * * [points]: Setting MPFR precision to 1088 1553936011.276 * * * * [points]: Setting MPFR precision to 1344 1553936011.284 * * * * [points]: Computing exacts on every 7 of 248 points to ramp up precision 1553936011.340 * * * * [points]: Setting MPFR precision to 1088 1553936011.355 * * * * [points]: Setting MPFR precision to 1344 1553936011.364 * * * * [points]: Computing exacts on every 3 of 248 points to ramp up precision 1553936011.366 * * * * [points]: Setting MPFR precision to 1088 1553936011.379 * * * * [points]: Setting MPFR precision to 1344 1553936011.402 * * * * [points]: Computing exacts for 248 points 1553936011.407 * * * * [points]: Setting MPFR precision to 1088 1553936011.476 * * * * [points]: Setting MPFR precision to 1344 1553936011.574 * * * * [points]: Filtering points with unrepresentable outputs 1553936011.574 * * * * [points]: Sampling 136 additional inputs, on iter 6 have 7864 / 8000 1553936011.575 * * * * [points]: Computing exacts on every 8 of 136 points to ramp up precision 1553936011.577 * * * * [points]: Setting MPFR precision to 1088 1553936011.581 * * * * [points]: Setting MPFR precision to 1344 1553936011.588 * * * * [points]: Computing exacts on every 4 of 136 points to ramp up precision 1553936011.633 * * * * [points]: Setting MPFR precision to 1088 1553936011.649 * * * * [points]: Setting MPFR precision to 1344 1553936011.663 * * * * [points]: Computing exacts on every 2 of 136 points to ramp up precision 1553936011.667 * * * * [points]: Setting MPFR precision to 1088 1553936011.685 * * * * [points]: Setting MPFR precision to 1344 1553936011.706 * * * * [points]: Computing exacts for 136 points 1553936011.708 * * * * [points]: Setting MPFR precision to 1088 1553936011.736 * * * * [points]: Setting MPFR precision to 1344 1553936011.795 * * * * [points]: Filtering points with unrepresentable outputs 1553936011.796 * * * * [points]: Sampling 70 additional inputs, on iter 7 have 7930 / 8000 1553936011.796 * * * * [points]: Computing exacts on every 4 of 70 points to ramp up precision 1553936011.801 * * * * [points]: Setting MPFR precision to 1088 1553936011.806 * * * * [points]: Setting MPFR precision to 1344 1553936011.813 * * * * [points]: Computing exacts on every 2 of 70 points to ramp up precision 1553936011.817 * * * * [points]: Setting MPFR precision to 1088 1553936011.828 * * * * [points]: Setting MPFR precision to 1344 1553936011.841 * * * * [points]: Computing exacts for 70 points 1553936011.845 * * * * [points]: Setting MPFR precision to 1088 1553936011.875 * * * * [points]: Setting MPFR precision to 1344 1553936011.910 * * * * [points]: Filtering points with unrepresentable outputs 1553936011.910 * * * * [points]: Sampling 33 additional inputs, on iter 8 have 7967 / 8000 1553936011.911 * * * * [points]: Computing exacts on every 2 of 33 points to ramp up precision 1553936012.329 * * * * [points]: Setting MPFR precision to 1088 1553936012.334 * * * * [points]: Setting MPFR precision to 1344 1553936012.342 * * * * [points]: Computing exacts for 33 points 1553936012.346 * * * * [points]: Setting MPFR precision to 1088 1553936012.359 * * * * [points]: Setting MPFR precision to 1344 1553936012.374 * * * * [points]: Filtering points with unrepresentable outputs 1553936012.374 * * * * [points]: Sampling 22 additional inputs, on iter 9 have 7978 / 8000 1553936012.374 * * * * [points]: Computing exacts for 22 points 1553936012.379 * * * * [points]: Setting MPFR precision to 1088 1553936012.388 * * * * [points]: Setting MPFR precision to 1344 1553936012.393 * * * * [points]: Filtering points with unrepresentable outputs 1553936012.393 * * * * [points]: Sampling 12 additional inputs, on iter 10 have 7988 / 8000 1553936012.393 * * * * [points]: Computing exacts for 12 points 1553936012.396 * * * * [points]: Setting MPFR precision to 1088 1553936012.398 * * * * [points]: Setting MPFR precision to 1344 1553936012.401 * * * * [points]: Filtering points with unrepresentable outputs 1553936012.401 * * * * [points]: Sampling 9 additional inputs, on iter 11 have 7991 / 8000 1553936012.401 * * * * [points]: Computing exacts for 9 points 1553936012.403 * * * * [points]: Setting MPFR precision to 1088 1553936012.405 * * * * [points]: Setting MPFR precision to 1344 1553936012.407 * * * * [points]: Filtering points with unrepresentable outputs 1553936012.407 * * * * [points]: Sampling 5 additional inputs, on iter 12 have 7995 / 8000 1553936012.407 * * * * [points]: Computing exacts for 5 points 1553936012.411 * * * * [points]: Setting MPFR precision to 1088 1553936012.413 * * * * [points]: Setting MPFR precision to 1344 1553936012.415 * * * * [points]: Filtering points with unrepresentable outputs 1553936012.415 * * * * [points]: Sampling 4 additional inputs, on iter 13 have 7998 / 8000 1553936012.415 * * * * [points]: Computing exacts for 4 points 1553936012.420 * * * * [points]: Setting MPFR precision to 1088 1553936012.422 * * * * [points]: Setting MPFR precision to 1344 1553936012.424 * * * * [points]: Filtering points with unrepresentable outputs 1553936012.424 * * * * [points]: Sampled 8001 points with exact outputs 1553936012.615 * [regime-testing]: Baseline error score: 43.32236281233823 1553936012.616 * [regime-testing]: Oracle error score: 43.32236281233823 1553936012.616 * [regime-testing]: End program error score: 43.32236281233823