0.007 * [progress]: [Phase 1 of 3] Setting up. 0.009 * * * [progress]: [1/2] Preparing points 0.011 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256 0.019 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 0.120 * * * * [points]: Setting MPFR precision to 64 0.124 * * * * [points]: Setting MPFR precision to 320 0.128 * * * * [points]: Setting MPFR precision to 576 0.132 * * * * [points]: Setting MPFR precision to 832 0.137 * * * * [points]: Setting MPFR precision to 1088 0.143 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.147 * * * * [points]: Setting MPFR precision to 832 0.157 * * * * [points]: Setting MPFR precision to 1088 0.171 * * * * [points]: Setting MPFR precision to 1344 0.213 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 0.221 * * * * [points]: Setting MPFR precision to 1088 0.244 * * * * [points]: Setting MPFR precision to 1344 0.299 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 0.305 * * * * [points]: Setting MPFR precision to 1088 0.361 * * * * [points]: Setting MPFR precision to 1344 0.398 * * * * [points]: Computing exacts for 256 points 0.403 * * * * [points]: Setting MPFR precision to 1088 0.481 * * * * [points]: Setting MPFR precision to 1344 0.647 * * * * [points]: Filtering points with unrepresentable outputs 0.648 * * * * [points]: Sampling 134 additional inputs, on iter 1 have 122 / 256 0.651 * * * * [points]: Computing exacts on every 8 of 134 points to ramp up precision 0.656 * * * * [points]: Setting MPFR precision to 1088 0.660 * * * * [points]: Setting MPFR precision to 1344 0.666 * * * * [points]: Computing exacts on every 4 of 134 points to ramp up precision 0.702 * * * * [points]: Setting MPFR precision to 1088 0.714 * * * * [points]: Setting MPFR precision to 1344 0.730 * * * * [points]: Computing exacts on every 2 of 134 points to ramp up precision 0.764 * * * * [points]: Setting MPFR precision to 1088 0.784 * * * * [points]: Setting MPFR precision to 1344 0.830 * * * * [points]: Computing exacts for 134 points 0.837 * * * * [points]: Setting MPFR precision to 1088 0.891 * * * * [points]: Setting MPFR precision to 1344 0.960 * * * * [points]: Filtering points with unrepresentable outputs 0.961 * * * * [points]: Sampling 74 additional inputs, on iter 2 have 182 / 256 0.962 * * * * [points]: Computing exacts on every 4 of 74 points to ramp up precision 0.968 * * * * [points]: Setting MPFR precision to 1088 0.974 * * * * [points]: Setting MPFR precision to 1344 0.981 * * * * [points]: Computing exacts on every 2 of 74 points to ramp up precision 0.985 * * * * [points]: Setting MPFR precision to 1088 1.036 * * * * [points]: Setting MPFR precision to 1344 1.050 * * * * [points]: Computing exacts for 74 points 1.055 * * * * [points]: Setting MPFR precision to 1088 1.082 * * * * [points]: Setting MPFR precision to 1344 1.120 * * * * [points]: Filtering points with unrepresentable outputs 1.120 * * * * [points]: Sampling 36 additional inputs, on iter 3 have 220 / 256 1.120 * * * * [points]: Computing exacts on every 2 of 36 points to ramp up precision 1.129 * * * * [points]: Setting MPFR precision to 1088 1.134 * * * * [points]: Setting MPFR precision to 1344 1.141 * * * * [points]: Computing exacts for 36 points 1.146 * * * * [points]: Setting MPFR precision to 1088 1.159 * * * * [points]: Setting MPFR precision to 1344 1.170 * * * * [points]: Filtering points with unrepresentable outputs 1.170 * * * * [points]: Sampling 16 additional inputs, on iter 4 have 240 / 256 1.170 * * * * [points]: Computing exacts for 16 points 1.173 * * * * [points]: Setting MPFR precision to 1088 1.176 * * * * [points]: Setting MPFR precision to 1344 1.181 * * * * [points]: Filtering points with unrepresentable outputs 1.182 * * * * [points]: Sampling 4 additional inputs, on iter 5 have 252 / 256 1.182 * * * * [points]: Computing exacts for 4 points 1.184 * * * * [points]: Setting MPFR precision to 1088 1.185 * * * * [points]: Setting MPFR precision to 1344 1.187 * * * * [points]: Filtering points with unrepresentable outputs 1.187 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 255 / 256 1.187 * * * * [points]: Computing exacts for 4 points 1.189 * * * * [points]: Setting MPFR precision to 1088 1.190 * * * * [points]: Setting MPFR precision to 1344 1.192 * * * * [points]: Filtering points with unrepresentable outputs 1.192 * * * * [points]: Sampled 259 points with exact outputs 1.192 * * * [progress]: [2/2] Setting up program. 1.197 * [progress]: [Phase 2 of 3] Improving. 1.197 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 1.199 * [simplify]: Simplifying: (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1.200 * * [simplify]: iteration 1: (12 enodes) 1.207 * * [simplify]: iteration 2: (26 enodes) 1.212 * * [simplify]: iteration 3: (30 enodes) 1.217 * * [simplify]: Extracting #0: cost 1 inf + 0 1.217 * * [simplify]: Extracting #1: cost 3 inf + 0 1.217 * * [simplify]: Extracting #2: cost 5 inf + 0 1.217 * * [simplify]: Extracting #3: cost 9 inf + 0 1.218 * * [simplify]: Extracting #4: cost 8 inf + 4 1.218 * * [simplify]: Extracting #5: cost 12 inf + 4 1.218 * * [simplify]: Extracting #6: cost 11 inf + 47 1.218 * * [simplify]: Extracting #7: cost 4 inf + 478 1.218 * * [simplify]: Extracting #8: cost 1 inf + 2268 1.218 * * [simplify]: Extracting #9: cost 0 inf + 3012 1.219 * [simplify]: Simplified to: (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1.300 * * [progress]: iteration 1 / 4 1.300 * * * [progress]: picking best candidate 1.308 * * * * [pick]: Picked # 1.308 * * * [progress]: localizing error 1.550 * * * [progress]: generating rewritten candidates 1.550 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 1.557 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1) 1.557 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2) 1.558 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 1.586 * * * [progress]: generating series expansions 1.586 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 1.587 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1) 1.587 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2) 1.587 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 1.587 * * * [progress]: simplifying candidates 1.587 * * * * [progress]: [ 1 / 6 ] simplifiying candidate # 1.587 * * * * [progress]: [ 2 / 6 ] simplifiying candidate # 1.587 * * * * [progress]: [ 3 / 6 ] simplifiying candidate # 1.587 * * * * [progress]: [ 4 / 6 ] simplifiying candidate # 1.587 * * * * [progress]: [ 5 / 6 ] simplifiying candidate # 1.587 * * * * [progress]: [ 6 / 6 ] simplifiying candidate # 1.588 * [simplify]: Simplifying: (neg.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim))))) (neg.c (complex 2 0)) (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1.588 * * [simplify]: iteration 1: (14 enodes) 1.597 * * [simplify]: iteration 2: (31 enodes) 1.609 * * [simplify]: iteration 3: (39 enodes) 1.623 * * [simplify]: Extracting #0: cost 3 inf + 0 1.623 * * [simplify]: Extracting #1: cost 9 inf + 0 1.623 * * [simplify]: Extracting #2: cost 15 inf + 0 1.624 * * [simplify]: Extracting #3: cost 15 inf + 2 1.624 * * [simplify]: Extracting #4: cost 14 inf + 209 1.624 * * [simplify]: Extracting #5: cost 13 inf + 252 1.624 * * [simplify]: Extracting #6: cost 6 inf + 683 1.625 * * [simplify]: Extracting #7: cost 1 inf + 2896 1.626 * * [simplify]: Extracting #8: cost 0 inf + 3640 1.626 * [simplify]: Simplified to: (neg.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim)))) (complex (- 2) (- 0)) (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1.627 * * * [progress]: adding candidates to table 1.661 * [progress]: [Phase 3 of 3] Extracting. 1.664 * [simplify]: Simplifying: (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1.665 * * [simplify]: iteration 1: (12 enodes) 1.665 * * [simplify]: iteration 2: (13 enodes) 1.666 * * [simplify]: Extracting #0: cost 1 inf + 0 1.666 * * [simplify]: Extracting #1: cost 2 inf + 0 1.666 * * [simplify]: Extracting #2: cost 4 inf + 0 1.666 * * [simplify]: Extracting #3: cost 8 inf + 0 1.666 * * [simplify]: Extracting #4: cost 7 inf + 4 1.666 * * [simplify]: Extracting #5: cost 9 inf + 4 1.666 * * [simplify]: Extracting #6: cost 7 inf + 6 1.667 * * [simplify]: Extracting #7: cost 0 inf + 2104 1.667 * [simplify]: Simplified to: (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1.667 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1.736 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision 1.739 * * * * [points]: Setting MPFR precision to 1088 1.742 * * * * [points]: Setting MPFR precision to 1344 1.749 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision 1.753 * * * * [points]: Setting MPFR precision to 1088 1.764 * * * * [points]: Setting MPFR precision to 1344 1.778 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision 1.782 * * * * [points]: Setting MPFR precision to 1088 1.813 * * * * [points]: Setting MPFR precision to 1344 1.842 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision 1.846 * * * * [points]: Setting MPFR precision to 1088 1.894 * * * * [points]: Setting MPFR precision to 1344 1.947 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision 1.950 * * * * [points]: Setting MPFR precision to 1088 2.012 * * * * [points]: Setting MPFR precision to 1344 2.094 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision 2.143 * * * * [points]: Setting MPFR precision to 1088 2.325 * * * * [points]: Setting MPFR precision to 1344 2.926 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision 2.928 * * * * [points]: Setting MPFR precision to 1088 3.238 * * * * [points]: Setting MPFR precision to 1344 3.712 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision 3.715 * * * * [points]: Setting MPFR precision to 1088 4.444 * * * * [points]: Setting MPFR precision to 1344 5.322 * * * * [points]: Computing exacts for 8000 points 5.326 * * * * [points]: Setting MPFR precision to 1088 8.674 * * * * [points]: Setting MPFR precision to 1344 12.854 * * * * [points]: Filtering points with unrepresentable outputs 12.857 * * * * [points]: Sampling 3898 additional inputs, on iter 1 have 4102 / 8000 12.921 * * * * [points]: Computing exacts on every 243 of 3898 points to ramp up precision 12.923 * * * * [points]: Setting MPFR precision to 1088 12.927 * * * * [points]: Setting MPFR precision to 1344 12.933 * * * * [points]: Computing exacts on every 121 of 3898 points to ramp up precision 12.935 * * * * [points]: Setting MPFR precision to 1088 12.943 * * * * [points]: Setting MPFR precision to 1344 12.952 * * * * [points]: Computing exacts on every 60 of 3898 points to ramp up precision 12.954 * * * * [points]: Setting MPFR precision to 1088 12.970 * * * * [points]: Setting MPFR precision to 1344 12.987 * * * * [points]: Computing exacts on every 30 of 3898 points to ramp up precision 12.992 * * * * [points]: Setting MPFR precision to 1088 13.039 * * * * [points]: Setting MPFR precision to 1344 13.087 * * * * [points]: Computing exacts on every 15 of 3898 points to ramp up precision 13.089 * * * * [points]: Setting MPFR precision to 1088 13.157 * * * * [points]: Setting MPFR precision to 1344 13.299 * * * * [points]: Computing exacts on every 7 of 3898 points to ramp up precision 13.303 * * * * [points]: Setting MPFR precision to 1088 13.502 * * * * [points]: Setting MPFR precision to 1344 14.188 * * * * [points]: Computing exacts on every 3 of 3898 points to ramp up precision 14.190 * * * * [points]: Setting MPFR precision to 1088 14.585 * * * * [points]: Setting MPFR precision to 1344 15.032 * * * * [points]: Computing exacts for 3898 points 15.037 * * * * [points]: Setting MPFR precision to 1088 16.527 * * * * [points]: Setting MPFR precision to 1344 18.713 * * * * [points]: Filtering points with unrepresentable outputs 18.714 * * * * [points]: Sampling 1914 additional inputs, on iter 2 have 6086 / 8000 18.777 * * * * [points]: Computing exacts on every 119 of 1914 points to ramp up precision 18.780 * * * * [points]: Setting MPFR precision to 1088 18.784 * * * * [points]: Setting MPFR precision to 1344 18.788 * * * * [points]: Computing exacts on every 59 of 1914 points to ramp up precision 18.790 * * * * [points]: Setting MPFR precision to 1088 18.804 * * * * [points]: Setting MPFR precision to 1344 18.820 * * * * [points]: Computing exacts on every 29 of 1914 points to ramp up precision 18.824 * * * * [points]: Setting MPFR precision to 1088 18.838 * * * * [points]: Setting MPFR precision to 1344 18.856 * * * * [points]: Computing exacts on every 14 of 1914 points to ramp up precision 18.861 * * * * [points]: Setting MPFR precision to 1088 18.914 * * * * [points]: Setting MPFR precision to 1344 18.956 * * * * [points]: Computing exacts on every 7 of 1914 points to ramp up precision 18.958 * * * * [points]: Setting MPFR precision to 1088 19.071 * * * * [points]: Setting MPFR precision to 1344 19.151 * * * * [points]: Computing exacts on every 3 of 1914 points to ramp up precision 19.155 * * * * [points]: Setting MPFR precision to 1088 19.366 * * * * [points]: Setting MPFR precision to 1344 19.583 * * * * [points]: Computing exacts for 1914 points 19.586 * * * * [points]: Setting MPFR precision to 1088 20.258 * * * * [points]: Setting MPFR precision to 1344 21.043 * * * * [points]: Filtering points with unrepresentable outputs 21.044 * * * * [points]: Sampling 949 additional inputs, on iter 3 have 7051 / 8000 21.056 * * * * [points]: Computing exacts on every 59 of 949 points to ramp up precision 21.060 * * * * [points]: Setting MPFR precision to 1088 21.065 * * * * [points]: Setting MPFR precision to 1344 21.072 * * * * [points]: Computing exacts on every 29 of 949 points to ramp up precision 21.076 * * * * [points]: Setting MPFR precision to 1088 21.088 * * * * [points]: Setting MPFR precision to 1344 21.104 * * * * [points]: Computing exacts on every 14 of 949 points to ramp up precision 21.140 * * * * [points]: Setting MPFR precision to 1088 21.157 * * * * [points]: Setting MPFR precision to 1344 21.188 * * * * [points]: Computing exacts on every 7 of 949 points to ramp up precision 21.192 * * * * [points]: Setting MPFR precision to 1088 21.226 * * * * [points]: Setting MPFR precision to 1344 21.279 * * * * [points]: Computing exacts on every 3 of 949 points to ramp up precision 21.283 * * * * [points]: Setting MPFR precision to 1088 21.348 * * * * [points]: Setting MPFR precision to 1344 21.452 * * * * [points]: Computing exacts for 949 points 21.953 * * * * [points]: Setting MPFR precision to 1088 22.275 * * * * [points]: Setting MPFR precision to 1344 22.675 * * * * [points]: Filtering points with unrepresentable outputs 22.676 * * * * [points]: Sampling 445 additional inputs, on iter 4 have 7555 / 8000 22.680 * * * * [points]: Computing exacts on every 27 of 445 points to ramp up precision 22.689 * * * * [points]: Setting MPFR precision to 1088 22.696 * * * * [points]: Setting MPFR precision to 1344 22.705 * * * * [points]: Computing exacts on every 13 of 445 points to ramp up precision 22.709 * * * * [points]: Setting MPFR precision to 1088 22.721 * * * * [points]: Setting MPFR precision to 1344 22.739 * * * * [points]: Computing exacts on every 6 of 445 points to ramp up precision 22.743 * * * * [points]: Setting MPFR precision to 1088 22.767 * * * * [points]: Setting MPFR precision to 1344 22.798 * * * * [points]: Computing exacts on every 3 of 445 points to ramp up precision 22.802 * * * * [points]: Setting MPFR precision to 1088 22.848 * * * * [points]: Setting MPFR precision to 1344 22.907 * * * * [points]: Computing exacts for 445 points 22.912 * * * * [points]: Setting MPFR precision to 1088 23.065 * * * * [points]: Setting MPFR precision to 1344 23.270 * * * * [points]: Filtering points with unrepresentable outputs 23.271 * * * * [points]: Sampling 214 additional inputs, on iter 5 have 7786 / 8000 23.274 * * * * [points]: Computing exacts on every 13 of 214 points to ramp up precision 23.278 * * * * [points]: Setting MPFR precision to 1088 23.282 * * * * [points]: Setting MPFR precision to 1344 23.289 * * * * [points]: Computing exacts on every 6 of 214 points to ramp up precision 23.291 * * * * [points]: Setting MPFR precision to 1088 23.299 * * * * [points]: Setting MPFR precision to 1344 23.308 * * * * [points]: Computing exacts on every 3 of 214 points to ramp up precision 23.310 * * * * [points]: Setting MPFR precision to 1088 23.356 * * * * [points]: Setting MPFR precision to 1344 23.372 * * * * [points]: Computing exacts for 214 points 23.374 * * * * [points]: Setting MPFR precision to 1088 23.439 * * * * [points]: Setting MPFR precision to 1344 23.520 * * * * [points]: Filtering points with unrepresentable outputs 23.520 * * * * [points]: Sampling 99 additional inputs, on iter 6 have 7901 / 8000 23.522 * * * * [points]: Computing exacts on every 6 of 99 points to ramp up precision 23.526 * * * * [points]: Setting MPFR precision to 1088 23.531 * * * * [points]: Setting MPFR precision to 1344 23.539 * * * * [points]: Computing exacts on every 3 of 99 points to ramp up precision 23.543 * * * * [points]: Setting MPFR precision to 1088 23.552 * * * * [points]: Setting MPFR precision to 1344 23.565 * * * * [points]: Computing exacts for 99 points 23.569 * * * * [points]: Setting MPFR precision to 1088 23.608 * * * * [points]: Setting MPFR precision to 1344 23.702 * * * * [points]: Filtering points with unrepresentable outputs 23.703 * * * * [points]: Sampling 47 additional inputs, on iter 7 have 7953 / 8000 23.703 * * * * [points]: Computing exacts on every 2 of 47 points to ramp up precision 23.706 * * * * [points]: Setting MPFR precision to 1088 23.709 * * * * [points]: Setting MPFR precision to 1344 23.714 * * * * [points]: Computing exacts for 47 points 23.716 * * * * [points]: Setting MPFR precision to 1088 23.729 * * * * [points]: Setting MPFR precision to 1344 23.757 * * * * [points]: Filtering points with unrepresentable outputs 23.757 * * * * [points]: Sampling 23 additional inputs, on iter 8 have 7977 / 8000 23.757 * * * * [points]: Computing exacts for 23 points 23.761 * * * * [points]: Setting MPFR precision to 1088 23.770 * * * * [points]: Setting MPFR precision to 1344 23.782 * * * * [points]: Filtering points with unrepresentable outputs 23.782 * * * * [points]: Sampling 8 additional inputs, on iter 9 have 7992 / 8000 23.782 * * * * [points]: Computing exacts for 8 points 23.787 * * * * [points]: Setting MPFR precision to 1088 23.791 * * * * [points]: Setting MPFR precision to 1344 23.795 * * * * [points]: Filtering points with unrepresentable outputs 23.795 * * * * [points]: Sampling 4 additional inputs, on iter 10 have 7998 / 8000 23.796 * * * * [points]: Computing exacts for 4 points 23.800 * * * * [points]: Setting MPFR precision to 1088 23.801 * * * * [points]: Setting MPFR precision to 1344 23.803 * * * * [points]: Filtering points with unrepresentable outputs 23.803 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7999 / 8000 23.803 * * * * [points]: Computing exacts for 4 points 23.807 * * * * [points]: Setting MPFR precision to 1088 23.808 * * * * [points]: Setting MPFR precision to 1344 23.809 * * * * [points]: Filtering points with unrepresentable outputs 23.809 * * * * [points]: Sampled 8000 points with exact outputs 24.102 * [regime-testing]: Baseline error score: 43.57258348316347 24.108 * [regime-testing]: Oracle error score: 43.57258348316347 24.108 * [regime-testing]: End program error score: 43.57258348316347