1554043993.486 * [progress]: [Phase 1 of 3] Setting up. 1554043993.487 * * * [progress]: [1/2] Preparing points 1554043993.489 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256 1554043993.492 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 1554043993.879 * * * * [points]: Setting MPFR precision to 64 1554043993.882 * * * * [points]: Setting MPFR precision to 320 1554043993.884 * * * * [points]: Setting MPFR precision to 576 1554043993.886 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 1554043993.888 * * * * [points]: Setting MPFR precision to 320 1554043993.891 * * * * [points]: Setting MPFR precision to 576 1554043993.896 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 1554043993.898 * * * * [points]: Setting MPFR precision to 320 1554043993.903 * * * * [points]: Setting MPFR precision to 576 1554043993.910 * * * * [points]: Setting MPFR precision to 832 1554043993.919 * * * * [points]: Setting MPFR precision to 1088 1554043993.938 * * * * [points]: Setting MPFR precision to 1344 1554043993.959 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 1554043993.962 * * * * [points]: Setting MPFR precision to 1088 1554043993.983 * * * * [points]: Setting MPFR precision to 1344 1554043994.011 * * * * [points]: Computing exacts for 256 points 1554043994.015 * * * * [points]: Setting MPFR precision to 1088 1554043994.135 * * * * [points]: Setting MPFR precision to 1344 1554043994.251 * * * * [points]: Filtering points with unrepresentable outputs 1554043994.251 * * * * [points]: Sampling 123 additional inputs, on iter 1 have 133 / 256 1554043994.252 * * * * [points]: Computing exacts on every 7 of 123 points to ramp up precision 1554043994.255 * * * * [points]: Setting MPFR precision to 1088 1554043994.258 * * * * [points]: Setting MPFR precision to 1344 1554043994.262 * * * * [points]: Computing exacts on every 3 of 123 points to ramp up precision 1554043994.264 * * * * [points]: Setting MPFR precision to 1088 1554043994.270 * * * * [points]: Setting MPFR precision to 1344 1554043994.277 * * * * [points]: Computing exacts for 123 points 1554043994.279 * * * * [points]: Setting MPFR precision to 1088 1554043994.320 * * * * [points]: Setting MPFR precision to 1344 1554043994.376 * * * * [points]: Filtering points with unrepresentable outputs 1554043994.376 * * * * [points]: Sampling 72 additional inputs, on iter 2 have 184 / 256 1554043994.377 * * * * [points]: Computing exacts on every 4 of 72 points to ramp up precision 1554043994.415 * * * * [points]: Setting MPFR precision to 1088 1554043994.418 * * * * [points]: Setting MPFR precision to 1344 1554043994.422 * * * * [points]: Computing exacts on every 2 of 72 points to ramp up precision 1554043994.428 * * * * [points]: Setting MPFR precision to 1088 1554043994.436 * * * * [points]: Setting MPFR precision to 1344 1554043994.447 * * * * [points]: Computing exacts for 72 points 1554043994.451 * * * * [points]: Setting MPFR precision to 1088 1554043994.468 * * * * [points]: Setting MPFR precision to 1344 1554043994.495 * * * * [points]: Filtering points with unrepresentable outputs 1554043994.495 * * * * [points]: Sampling 31 additional inputs, on iter 3 have 225 / 256 1554043994.495 * * * * [points]: Computing exacts for 31 points 1554043994.499 * * * * [points]: Setting MPFR precision to 1088 1554043994.514 * * * * [points]: Setting MPFR precision to 1344 1554043994.531 * * * * [points]: Filtering points with unrepresentable outputs 1554043994.531 * * * * [points]: Sampling 10 additional inputs, on iter 4 have 246 / 256 1554043994.531 * * * * [points]: Computing exacts for 10 points 1554043994.535 * * * * [points]: Setting MPFR precision to 1088 1554043994.539 * * * * [points]: Setting MPFR precision to 1344 1554043994.544 * * * * [points]: Filtering points with unrepresentable outputs 1554043994.544 * * * * [points]: Sampling 5 additional inputs, on iter 5 have 251 / 256 1554043994.544 * * * * [points]: Computing exacts for 5 points 1554043994.548 * * * * [points]: Setting MPFR precision to 1088 1554043994.550 * * * * [points]: Setting MPFR precision to 1344 1554043994.552 * * * * [points]: Filtering points with unrepresentable outputs 1554043994.552 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 253 / 256 1554043994.552 * * * * [points]: Computing exacts for 4 points 1554043994.556 * * * * [points]: Setting MPFR precision to 1088 1554043994.557 * * * * [points]: Setting MPFR precision to 1344 1554043994.559 * * * * [points]: Filtering points with unrepresentable outputs 1554043994.559 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 255 / 256 1554043994.559 * * * * [points]: Computing exacts for 4 points 1554043994.563 * * * * [points]: Setting MPFR precision to 1088 1554043994.565 * * * * [points]: Setting MPFR precision to 1344 1554043994.567 * * * * [points]: Filtering points with unrepresentable outputs 1554043994.567 * * * * [points]: Sampled 256 points with exact outputs 1554043994.568 * * * [progress]: [2/2] Setting up program. 1554043994.575 * [progress]: [Phase 2 of 3] Improving. 1554043994.575 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 1554043994.577 * [simplify]: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1554043994.578 * * [simplify]: iters left: 6 (12 enodes) 1554043994.623 * * [simplify]: iters left: 5 (26 enodes) 1554043994.628 * * [simplify]: iters left: 4 (30 enodes) 1554043994.634 * * [simplify]: Extracting #0: cost 1 inf + 0 1554043994.634 * * [simplify]: Extracting #1: cost 3 inf + 0 1554043994.635 * * [simplify]: Extracting #2: cost 5 inf + 0 1554043994.635 * * [simplify]: Extracting #3: cost 9 inf + 0 1554043994.635 * * [simplify]: Extracting #4: cost 8 inf + 4 1554043994.635 * * [simplify]: Extracting #5: cost 12 inf + 4 1554043994.635 * * [simplify]: Extracting #6: cost 11 inf + 47 1554043994.635 * * [simplify]: Extracting #7: cost 4 inf + 478 1554043994.635 * * [simplify]: Extracting #8: cost 1 inf + 2268 1554043994.636 * * [simplify]: Extracting #9: cost 0 inf + 3012 1554043994.636 * [simplify]: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1554043994.636 * [simplify]: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1554043994.640 * * [progress]: iteration 1 / 4 1554043994.640 * * * [progress]: picking best candidate 1554043994.643 * * * * [pick]: Picked # 1554043994.643 * * * [progress]: localizing error 1554043994.796 * * * [progress]: generating rewritten candidates 1554043994.817 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 1554043994.823 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1) 1554043994.823 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2) 1554043994.823 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 1554043994.829 * * * [progress]: generating series expansions 1554043994.829 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 1554043994.829 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1) 1554043994.829 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2) 1554043994.829 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 1554043994.829 * * * [progress]: simplifying candidates 1554043994.829 * * * * [progress]: [ 1 / 6 ] simplifiying candidate # 1554043994.829 * * * * [progress]: [ 2 / 6 ] simplifiying candidate # 1554043994.829 * * * * [progress]: [ 3 / 6 ] simplifiying candidate # 1554043994.830 * [simplify]: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1554043994.830 * * [simplify]: iters left: 6 (12 enodes) 1554043994.833 * * [simplify]: iters left: 5 (26 enodes) 1554043994.837 * * [simplify]: iters left: 4 (30 enodes) 1554043994.842 * * [simplify]: Extracting #0: cost 1 inf + 0 1554043994.842 * * [simplify]: Extracting #1: cost 3 inf + 0 1554043994.842 * * [simplify]: Extracting #2: cost 5 inf + 0 1554043994.842 * * [simplify]: Extracting #3: cost 9 inf + 0 1554043994.842 * * [simplify]: Extracting #4: cost 8 inf + 4 1554043994.842 * * [simplify]: Extracting #5: cost 12 inf + 4 1554043994.842 * * [simplify]: Extracting #6: cost 11 inf + 47 1554043994.842 * * [simplify]: Extracting #7: cost 4 inf + 478 1554043994.842 * * [simplify]: Extracting #8: cost 1 inf + 2268 1554043994.843 * * [simplify]: Extracting #9: cost 0 inf + 3012 1554043994.843 * [simplify]: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1554043994.843 * [simplify]: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1554043994.843 * * * * [progress]: [ 4 / 6 ] simplifiying candidate # 1554043994.843 * [simplify]: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1554043994.843 * * [simplify]: iters left: 6 (12 enodes) 1554043994.846 * * [simplify]: iters left: 5 (26 enodes) 1554043994.852 * * [simplify]: iters left: 4 (30 enodes) 1554043994.861 * * [simplify]: Extracting #0: cost 1 inf + 0 1554043994.861 * * [simplify]: Extracting #1: cost 3 inf + 0 1554043994.861 * * [simplify]: Extracting #2: cost 5 inf + 0 1554043994.861 * * [simplify]: Extracting #3: cost 9 inf + 0 1554043994.861 * * [simplify]: Extracting #4: cost 8 inf + 4 1554043994.861 * * [simplify]: Extracting #5: cost 12 inf + 4 1554043994.861 * * [simplify]: Extracting #6: cost 11 inf + 47 1554043994.861 * * [simplify]: Extracting #7: cost 4 inf + 478 1554043994.862 * * [simplify]: Extracting #8: cost 1 inf + 2268 1554043994.862 * * [simplify]: Extracting #9: cost 0 inf + 3012 1554043994.863 * [simplify]: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1554043994.863 * [simplify]: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1554043994.863 * * * * [progress]: [ 5 / 6 ] simplifiying candidate # 1554043994.863 * [simplify]: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1554043994.863 * * [simplify]: iters left: 6 (12 enodes) 1554043994.869 * * [simplify]: iters left: 5 (26 enodes) 1554043994.878 * * [simplify]: iters left: 4 (30 enodes) 1554043994.887 * * [simplify]: Extracting #0: cost 1 inf + 0 1554043994.887 * * [simplify]: Extracting #1: cost 3 inf + 0 1554043994.887 * * [simplify]: Extracting #2: cost 5 inf + 0 1554043994.887 * * [simplify]: Extracting #3: cost 9 inf + 0 1554043994.887 * * [simplify]: Extracting #4: cost 8 inf + 4 1554043994.888 * * [simplify]: Extracting #5: cost 12 inf + 4 1554043994.888 * * [simplify]: Extracting #6: cost 11 inf + 47 1554043994.888 * * [simplify]: Extracting #7: cost 4 inf + 478 1554043994.888 * * [simplify]: Extracting #8: cost 1 inf + 2268 1554043994.889 * * [simplify]: Extracting #9: cost 0 inf + 3012 1554043994.889 * [simplify]: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1554043994.889 * [simplify]: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1554043994.889 * * * * [progress]: [ 6 / 6 ] simplifiying candidate # 1554043994.889 * [simplify]: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1554043994.889 * * [simplify]: iters left: 6 (12 enodes) 1554043994.893 * * [simplify]: iters left: 5 (26 enodes) 1554043994.898 * * [simplify]: iters left: 4 (30 enodes) 1554043994.903 * * [simplify]: Extracting #0: cost 1 inf + 0 1554043994.903 * * [simplify]: Extracting #1: cost 3 inf + 0 1554043994.903 * * [simplify]: Extracting #2: cost 5 inf + 0 1554043994.903 * * [simplify]: Extracting #3: cost 9 inf + 0 1554043994.903 * * [simplify]: Extracting #4: cost 8 inf + 4 1554043994.903 * * [simplify]: Extracting #5: cost 12 inf + 4 1554043994.903 * * [simplify]: Extracting #6: cost 11 inf + 47 1554043994.903 * * [simplify]: Extracting #7: cost 4 inf + 478 1554043994.903 * * [simplify]: Extracting #8: cost 1 inf + 2268 1554043994.904 * * [simplify]: Extracting #9: cost 0 inf + 3012 1554043994.904 * [simplify]: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1554043994.904 * [simplify]: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1554043994.904 * * * [progress]: adding candidates to table 1554043994.944 * [progress]: [Phase 3 of 3] Extracting. 1554043994.949 * [simplify]: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1554043994.949 * * [simplify]: iters left: 6 (12 enodes) 1554043994.951 * * [simplify]: iters left: 5 (13 enodes) 1554043994.952 * * [simplify]: Extracting #0: cost 1 inf + 0 1554043994.952 * * [simplify]: Extracting #1: cost 2 inf + 0 1554043994.952 * * [simplify]: Extracting #2: cost 4 inf + 0 1554043994.952 * * [simplify]: Extracting #3: cost 8 inf + 0 1554043994.952 * * [simplify]: Extracting #4: cost 7 inf + 4 1554043994.952 * * [simplify]: Extracting #5: cost 9 inf + 4 1554043994.952 * * [simplify]: Extracting #6: cost 7 inf + 6 1554043994.953 * * [simplify]: Extracting #7: cost 0 inf + 2104 1554043994.953 * [simplify]: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1554043994.953 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1554043995.000 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision 1554043995.004 * * * * [points]: Setting MPFR precision to 1088 1554043995.010 * * * * [points]: Setting MPFR precision to 1344 1554043995.017 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision 1554043995.021 * * * * [points]: Setting MPFR precision to 1088 1554043995.032 * * * * [points]: Setting MPFR precision to 1344 1554043995.040 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision 1554043995.043 * * * * [points]: Setting MPFR precision to 1088 1554043995.056 * * * * [points]: Setting MPFR precision to 1344 1554043995.091 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision 1554043995.095 * * * * [points]: Setting MPFR precision to 1088 1554043995.148 * * * * [points]: Setting MPFR precision to 1344 1554043995.192 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision 1554043995.195 * * * * [points]: Setting MPFR precision to 1088 1554043995.302 * * * * [points]: Setting MPFR precision to 1344 1554043995.388 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision 1554043995.391 * * * * [points]: Setting MPFR precision to 1088 1554043995.553 * * * * [points]: Setting MPFR precision to 1344 1554043995.799 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision 1554043995.802 * * * * [points]: Setting MPFR precision to 1088 1554043996.192 * * * * [points]: Setting MPFR precision to 1344 1554043996.599 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision 1554043996.602 * * * * [points]: Setting MPFR precision to 1088 1554043997.614 * * * * [points]: Setting MPFR precision to 1344 1554043998.433 * * * * [points]: Computing exacts for 8000 points 1554043998.435 * * * * [points]: Setting MPFR precision to 1088 1554044001.844 * * * * [points]: Setting MPFR precision to 1344 1554044005.779 * * * * [points]: Filtering points with unrepresentable outputs 1554044005.780 * * * * [points]: Sampling 4044 additional inputs, on iter 1 have 3956 / 8000 1554044005.798 * * * * [points]: Computing exacts on every 252 of 4044 points to ramp up precision 1554044005.822 * * * * [points]: Setting MPFR precision to 1088 1554044005.829 * * * * [points]: Setting MPFR precision to 1344 1554044005.835 * * * * [points]: Computing exacts on every 126 of 4044 points to ramp up precision 1554044005.837 * * * * [points]: Setting MPFR precision to 1088 1554044005.844 * * * * [points]: Setting MPFR precision to 1344 1554044005.853 * * * * [points]: Computing exacts on every 63 of 4044 points to ramp up precision 1554044005.855 * * * * [points]: Setting MPFR precision to 1088 1554044005.869 * * * * [points]: Setting MPFR precision to 1344 1554044005.898 * * * * [points]: Computing exacts on every 31 of 4044 points to ramp up precision 1554044005.902 * * * * [points]: Setting MPFR precision to 1088 1554044005.949 * * * * [points]: Setting MPFR precision to 1344 1554044006.007 * * * * [points]: Computing exacts on every 15 of 4044 points to ramp up precision 1554044006.012 * * * * [points]: Setting MPFR precision to 1088 1554044006.112 * * * * [points]: Setting MPFR precision to 1344 1554044006.282 * * * * [points]: Computing exacts on every 7 of 4044 points to ramp up precision 1554044006.286 * * * * [points]: Setting MPFR precision to 1088 1554044006.446 * * * * [points]: Setting MPFR precision to 1344 1554044006.753 * * * * [points]: Computing exacts on every 3 of 4044 points to ramp up precision 1554044006.758 * * * * [points]: Setting MPFR precision to 1088 1554044007.150 * * * * [points]: Setting MPFR precision to 1344 1554044007.517 * * * * [points]: Computing exacts for 4044 points 1554044007.520 * * * * [points]: Setting MPFR precision to 1088 1554044009.184 * * * * [points]: Setting MPFR precision to 1344 1554044011.001 * * * * [points]: Filtering points with unrepresentable outputs 1554044011.002 * * * * [points]: Sampling 1966 additional inputs, on iter 2 have 6034 / 8000 1554044011.020 * * * * [points]: Computing exacts on every 122 of 1966 points to ramp up precision 1554044011.024 * * * * [points]: Setting MPFR precision to 1088 1554044011.030 * * * * [points]: Setting MPFR precision to 1344 1554044011.038 * * * * [points]: Computing exacts on every 61 of 1966 points to ramp up precision 1554044011.042 * * * * [points]: Setting MPFR precision to 1088 1554044011.053 * * * * [points]: Setting MPFR precision to 1344 1554044011.066 * * * * [points]: Computing exacts on every 30 of 1966 points to ramp up precision 1554044011.070 * * * * [points]: Setting MPFR precision to 1088 1554044011.094 * * * * [points]: Setting MPFR precision to 1344 1554044011.123 * * * * [points]: Computing exacts on every 15 of 1966 points to ramp up precision 1554044011.128 * * * * [points]: Setting MPFR precision to 1088 1554044011.538 * * * * [points]: Setting MPFR precision to 1344 1554044011.587 * * * * [points]: Computing exacts on every 7 of 1966 points to ramp up precision 1554044011.590 * * * * [points]: Setting MPFR precision to 1088 1554044011.665 * * * * [points]: Setting MPFR precision to 1344 1554044011.756 * * * * [points]: Computing exacts on every 3 of 1966 points to ramp up precision 1554044011.758 * * * * [points]: Setting MPFR precision to 1088 1554044011.912 * * * * [points]: Setting MPFR precision to 1344 1554044012.077 * * * * [points]: Computing exacts for 1966 points 1554044012.082 * * * * [points]: Setting MPFR precision to 1088 1554044012.785 * * * * [points]: Setting MPFR precision to 1344 1554044013.738 * * * * [points]: Filtering points with unrepresentable outputs 1554044013.738 * * * * [points]: Sampling 974 additional inputs, on iter 3 have 7026 / 8000 1554044013.743 * * * * [points]: Computing exacts on every 60 of 974 points to ramp up precision 1554044013.747 * * * * [points]: Setting MPFR precision to 1088 1554044013.751 * * * * [points]: Setting MPFR precision to 1344 1554044013.754 * * * * [points]: Computing exacts on every 30 of 974 points to ramp up precision 1554044013.756 * * * * [points]: Setting MPFR precision to 1088 1554044013.763 * * * * [points]: Setting MPFR precision to 1344 1554044013.772 * * * * [points]: Computing exacts on every 15 of 974 points to ramp up precision 1554044013.774 * * * * [points]: Setting MPFR precision to 1088 1554044013.787 * * * * [points]: Setting MPFR precision to 1344 1554044013.811 * * * * [points]: Computing exacts on every 7 of 974 points to ramp up precision 1554044013.815 * * * * [points]: Setting MPFR precision to 1088 1554044013.864 * * * * [points]: Setting MPFR precision to 1344 1554044013.909 * * * * [points]: Computing exacts on every 3 of 974 points to ramp up precision 1554044013.911 * * * * [points]: Setting MPFR precision to 1088 1554044014.017 * * * * [points]: Setting MPFR precision to 1344 1554044014.098 * * * * [points]: Computing exacts for 974 points 1554044014.100 * * * * [points]: Setting MPFR precision to 1088 1554044014.463 * * * * [points]: Setting MPFR precision to 1344 1554044015.304 * * * * [points]: Filtering points with unrepresentable outputs 1554044015.304 * * * * [points]: Sampling 452 additional inputs, on iter 4 have 7548 / 8000 1554044015.307 * * * * [points]: Computing exacts on every 28 of 452 points to ramp up precision 1554044015.311 * * * * [points]: Setting MPFR precision to 1088 1554044015.319 * * * * [points]: Setting MPFR precision to 1344 1554044015.327 * * * * [points]: Computing exacts on every 14 of 452 points to ramp up precision 1554044015.331 * * * * [points]: Setting MPFR precision to 1088 1554044015.342 * * * * [points]: Setting MPFR precision to 1344 1554044015.355 * * * * [points]: Computing exacts on every 7 of 452 points to ramp up precision 1554044015.359 * * * * [points]: Setting MPFR precision to 1088 1554044015.381 * * * * [points]: Setting MPFR precision to 1344 1554044015.407 * * * * [points]: Computing exacts on every 3 of 452 points to ramp up precision 1554044015.411 * * * * [points]: Setting MPFR precision to 1088 1554044015.465 * * * * [points]: Setting MPFR precision to 1344 1554044015.498 * * * * [points]: Computing exacts for 452 points 1554044015.503 * * * * [points]: Setting MPFR precision to 1088 1554044015.606 * * * * [points]: Setting MPFR precision to 1344 1554044015.808 * * * * [points]: Filtering points with unrepresentable outputs 1554044015.808 * * * * [points]: Sampling 213 additional inputs, on iter 5 have 7787 / 8000 1554044015.809 * * * * [points]: Computing exacts on every 13 of 213 points to ramp up precision 1554044015.812 * * * * [points]: Setting MPFR precision to 1088 1554044015.815 * * * * [points]: Setting MPFR precision to 1344 1554044015.819 * * * * [points]: Computing exacts on every 6 of 213 points to ramp up precision 1554044015.821 * * * * [points]: Setting MPFR precision to 1088 1554044015.827 * * * * [points]: Setting MPFR precision to 1344 1554044015.842 * * * * [points]: Computing exacts on every 3 of 213 points to ramp up precision 1554044015.846 * * * * [points]: Setting MPFR precision to 1088 1554044015.867 * * * * [points]: Setting MPFR precision to 1344 1554044015.893 * * * * [points]: Computing exacts for 213 points 1554044015.897 * * * * [points]: Setting MPFR precision to 1088 1554044015.982 * * * * [points]: Setting MPFR precision to 1344 1554044016.116 * * * * [points]: Filtering points with unrepresentable outputs 1554044016.116 * * * * [points]: Sampling 99 additional inputs, on iter 6 have 7901 / 8000 1554044016.117 * * * * [points]: Computing exacts on every 6 of 99 points to ramp up precision 1554044016.121 * * * * [points]: Setting MPFR precision to 1088 1554044016.124 * * * * [points]: Setting MPFR precision to 1344 1554044016.128 * * * * [points]: Computing exacts on every 3 of 99 points to ramp up precision 1554044016.130 * * * * [points]: Setting MPFR precision to 1088 1554044016.135 * * * * [points]: Setting MPFR precision to 1344 1554044016.142 * * * * [points]: Computing exacts for 99 points 1554044016.144 * * * * [points]: Setting MPFR precision to 1088 1554044016.177 * * * * [points]: Setting MPFR precision to 1344 1554044016.207 * * * * [points]: Filtering points with unrepresentable outputs 1554044016.207 * * * * [points]: Sampling 44 additional inputs, on iter 7 have 7956 / 8000 1554044016.207 * * * * [points]: Computing exacts on every 2 of 44 points to ramp up precision 1554044016.210 * * * * [points]: Setting MPFR precision to 1088 1554044016.212 * * * * [points]: Setting MPFR precision to 1344 1554044016.219 * * * * [points]: Computing exacts for 44 points 1554044016.223 * * * * [points]: Setting MPFR precision to 1088 1554044016.238 * * * * [points]: Setting MPFR precision to 1344 1554044016.250 * * * * [points]: Filtering points with unrepresentable outputs 1554044016.250 * * * * [points]: Sampling 16 additional inputs, on iter 8 have 7984 / 8000 1554044016.250 * * * * [points]: Computing exacts for 16 points 1554044016.252 * * * * [points]: Setting MPFR precision to 1088 1554044016.255 * * * * [points]: Setting MPFR precision to 1344 1554044016.259 * * * * [points]: Filtering points with unrepresentable outputs 1554044016.259 * * * * [points]: Sampling 8 additional inputs, on iter 9 have 7992 / 8000 1554044016.259 * * * * [points]: Computing exacts for 8 points 1554044016.261 * * * * [points]: Setting MPFR precision to 1088 1554044016.263 * * * * [points]: Setting MPFR precision to 1344 1554044016.265 * * * * [points]: Filtering points with unrepresentable outputs 1554044016.265 * * * * [points]: Sampling 4 additional inputs, on iter 10 have 7996 / 8000 1554044016.266 * * * * [points]: Computing exacts for 4 points 1554044016.270 * * * * [points]: Setting MPFR precision to 1088 1554044016.271 * * * * [points]: Setting MPFR precision to 1344 1554044016.273 * * * * [points]: Filtering points with unrepresentable outputs 1554044016.273 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7998 / 8000 1554044016.273 * * * * [points]: Computing exacts for 4 points 1554044016.277 * * * * [points]: Setting MPFR precision to 1088 1554044016.310 * * * * [points]: Setting MPFR precision to 1344 1554044016.312 * * * * [points]: Filtering points with unrepresentable outputs 1554044016.312 * * * * [points]: Sampled 8001 points with exact outputs 1554044016.547 * [regime-testing]: Baseline error score: 43.48495317060324 1554044016.549 * [regime-testing]: Oracle error score: 43.48495317060324 1554044016.549 * [regime-testing]: End program error score: 43.48495317060324