0.667 * [progress]: [Phase 1 of 3] Setting up. 0.004 * * * [progress]: [1/2] Preparing points 0.005 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256 0.014 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 0.081 * * * * [points]: Setting MPFR precision to 64 0.085 * * * * [points]: Setting MPFR precision to 320 0.089 * * * * [points]: Setting MPFR precision to 576 0.093 * * * * [points]: Setting MPFR precision to 832 0.099 * * * * [points]: Setting MPFR precision to 1088 0.105 * * * * [points]: Setting MPFR precision to 1344 0.112 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.121 * * * * [points]: Setting MPFR precision to 1088 0.133 * * * * [points]: Setting MPFR precision to 1344 0.146 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 0.151 * * * * [points]: Setting MPFR precision to 1088 0.173 * * * * [points]: Setting MPFR precision to 1344 0.198 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 0.259 * * * * [points]: Setting MPFR precision to 1088 0.294 * * * * [points]: Setting MPFR precision to 1344 0.337 * * * * [points]: Computing exacts for 256 points 0.340 * * * * [points]: Setting MPFR precision to 1088 0.408 * * * * [points]: Setting MPFR precision to 1344 0.497 * * * * [points]: Filtering points with unrepresentable outputs 0.497 * * * * [points]: Sampling 121 additional inputs, on iter 1 have 135 / 256 0.499 * * * * [points]: Computing exacts on every 7 of 121 points to ramp up precision 0.502 * * * * [points]: Setting MPFR precision to 1088 0.507 * * * * [points]: Setting MPFR precision to 1344 0.514 * * * * [points]: Computing exacts on every 3 of 121 points to ramp up precision 0.519 * * * * [points]: Setting MPFR precision to 1088 0.532 * * * * [points]: Setting MPFR precision to 1344 0.594 * * * * [points]: Computing exacts for 121 points 0.603 * * * * [points]: Setting MPFR precision to 1088 0.656 * * * * [points]: Setting MPFR precision to 1344 0.704 * * * * [points]: Filtering points with unrepresentable outputs 0.705 * * * * [points]: Sampling 64 additional inputs, on iter 2 have 192 / 256 0.706 * * * * [points]: Computing exacts on every 4 of 64 points to ramp up precision 0.708 * * * * [points]: Setting MPFR precision to 1088 0.711 * * * * [points]: Setting MPFR precision to 1344 0.714 * * * * [points]: Computing exacts on every 2 of 64 points to ramp up precision 0.716 * * * * [points]: Setting MPFR precision to 1088 0.721 * * * * [points]: Setting MPFR precision to 1344 0.730 * * * * [points]: Computing exacts for 64 points 0.735 * * * * [points]: Setting MPFR precision to 1088 0.760 * * * * [points]: Setting MPFR precision to 1344 0.789 * * * * [points]: Filtering points with unrepresentable outputs 0.789 * * * * [points]: Sampling 31 additional inputs, on iter 3 have 225 / 256 0.790 * * * * [points]: Computing exacts for 31 points 0.795 * * * * [points]: Setting MPFR precision to 1088 0.808 * * * * [points]: Setting MPFR precision to 1344 0.824 * * * * [points]: Filtering points with unrepresentable outputs 0.824 * * * * [points]: Sampling 18 additional inputs, on iter 4 have 238 / 256 0.825 * * * * [points]: Computing exacts for 18 points 0.829 * * * * [points]: Setting MPFR precision to 1088 0.836 * * * * [points]: Setting MPFR precision to 1344 0.846 * * * * [points]: Filtering points with unrepresentable outputs 0.846 * * * * [points]: Sampling 9 additional inputs, on iter 5 have 247 / 256 0.847 * * * * [points]: Computing exacts for 9 points 0.887 * * * * [points]: Setting MPFR precision to 1088 0.891 * * * * [points]: Setting MPFR precision to 1344 0.900 * * * * [points]: Filtering points with unrepresentable outputs 0.900 * * * * [points]: Sampling 6 additional inputs, on iter 6 have 250 / 256 0.900 * * * * [points]: Computing exacts for 6 points 0.905 * * * * [points]: Setting MPFR precision to 1088 0.907 * * * * [points]: Setting MPFR precision to 1344 0.911 * * * * [points]: Filtering points with unrepresentable outputs 0.911 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 253 / 256 0.911 * * * * [points]: Computing exacts for 4 points 0.915 * * * * [points]: Setting MPFR precision to 1088 0.916 * * * * [points]: Setting MPFR precision to 1344 0.917 * * * * [points]: Filtering points with unrepresentable outputs 0.917 * * * * [points]: Sampling 4 additional inputs, on iter 8 have 253 / 256 0.917 * * * * [points]: Computing exacts for 4 points 0.919 * * * * [points]: Setting MPFR precision to 1088 0.920 * * * * [points]: Setting MPFR precision to 1344 0.921 * * * * [points]: Filtering points with unrepresentable outputs 0.921 * * * * [points]: Sampling 4 additional inputs, on iter 9 have 255 / 256 0.921 * * * * [points]: Computing exacts for 4 points 0.924 * * * * [points]: Setting MPFR precision to 1088 0.925 * * * * [points]: Setting MPFR precision to 1344 0.926 * * * * [points]: Filtering points with unrepresentable outputs 0.926 * * * * [points]: Sampled 258 points with exact outputs 0.926 * * * [progress]: [2/2] Setting up program. 0.930 * [progress]: [Phase 2 of 3] Improving. 0.932 * [simplify]: Simplifying: (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 0.932 * [simplify]: Sending expressions to egg_math: (im (/.c (+.c (exp.c (complex h1 h0)) (exp.c (neg.c (complex h1 h0)))) (complex 2.0 0.0))) 0.935 * * [progress]: iteration 1 / 4 0.935 * * * [progress]: picking best candidate 0.938 * * * * [pick]: Picked # 0.938 * * * [progress]: localizing error 1.051 * * * [progress]: generating rewritten candidates 1.051 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 1.074 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2) 1.074 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 1.075 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 1.083 * * * [progress]: generating series expansions 1.083 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 1.083 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2) 1.083 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 1.083 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 1.083 * * * [progress]: simplifying candidates 1.083 * [simplify]: Simplifying: (neg.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim))))) (neg.c (complex 2.0 0.0)) (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 1.084 * [simplify]: Sending expressions to egg_math: (neg.c (+.c (exp.c (complex h1 h0)) (exp.c (neg.c (complex h1 h0))))) (neg.c (complex 2.0 0.0)) (im (/.c (+.c (exp.c (complex h1 h0)) (exp.c (neg.c (complex h1 h0)))) (complex 2.0 0.0))) (im (/.c (+.c (exp.c (complex h1 h0)) (exp.c (neg.c (complex h1 h0)))) (complex 2.0 0.0))) (im (/.c (+.c (exp.c (complex h1 h0)) (exp.c (neg.c (complex h1 h0)))) (complex 2.0 0.0))) (im (/.c (+.c (exp.c (complex h1 h0)) (exp.c (neg.c (complex h1 h0)))) (complex 2.0 0.0))) 1.085 * * * [progress]: adding candidates to table 1.092 * [progress]: [Phase 3 of 3] Extracting. 1.094 * [simplify]: Simplifying: (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 1.094 * [simplify]: Sending expressions to egg_math: (im (/.c (+.c (exp.c (complex h1 h0)) (exp.c (neg.c (complex h1 h0)))) (complex 2.0 0.0))) 1.096 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1.264 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision 1.266 * * * * [points]: Setting MPFR precision to 1088 1.269 * * * * [points]: Setting MPFR precision to 1344 1.273 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision 1.278 * * * * [points]: Setting MPFR precision to 1088 1.289 * * * * [points]: Setting MPFR precision to 1344 1.300 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision 1.303 * * * * [points]: Setting MPFR precision to 1088 1.316 * * * * [points]: Setting MPFR precision to 1344 1.343 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision 1.346 * * * * [points]: Setting MPFR precision to 1088 1.390 * * * * [points]: Setting MPFR precision to 1344 1.430 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision 1.435 * * * * [points]: Setting MPFR precision to 1088 1.503 * * * * [points]: Setting MPFR precision to 1344 1.581 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision 1.584 * * * * [points]: Setting MPFR precision to 1088 1.785 * * * * [points]: Setting MPFR precision to 1344 1.971 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision 1.974 * * * * [points]: Setting MPFR precision to 1088 2.804 * * * * [points]: Setting MPFR precision to 1344 3.180 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision 3.185 * * * * [points]: Setting MPFR precision to 1088 3.918 * * * * [points]: Setting MPFR precision to 1344 4.681 * * * * [points]: Computing exacts for 8000 points 4.686 * * * * [points]: Setting MPFR precision to 1088 7.957 * * * * [points]: Setting MPFR precision to 1344 11.794 * * * * [points]: Filtering points with unrepresentable outputs 11.802 * * * * [points]: Sampling 4065 additional inputs, on iter 1 have 3935 / 8000 11.864 * * * * [points]: Computing exacts on every 254 of 4065 points to ramp up precision 11.877 * * * * [points]: Setting MPFR precision to 1088 11.880 * * * * [points]: Setting MPFR precision to 1344 11.885 * * * * [points]: Computing exacts on every 127 of 4065 points to ramp up precision 11.887 * * * * [points]: Setting MPFR precision to 1088 11.895 * * * * [points]: Setting MPFR precision to 1344 11.904 * * * * [points]: Computing exacts on every 63 of 4065 points to ramp up precision 11.907 * * * * [points]: Setting MPFR precision to 1088 11.920 * * * * [points]: Setting MPFR precision to 1344 11.939 * * * * [points]: Computing exacts on every 31 of 4065 points to ramp up precision 11.944 * * * * [points]: Setting MPFR precision to 1088 11.992 * * * * [points]: Setting MPFR precision to 1344 12.037 * * * * [points]: Computing exacts on every 15 of 4065 points to ramp up precision 12.041 * * * * [points]: Setting MPFR precision to 1088 12.196 * * * * [points]: Setting MPFR precision to 1344 12.309 * * * * [points]: Computing exacts on every 7 of 4065 points to ramp up precision 12.313 * * * * [points]: Setting MPFR precision to 1088 12.508 * * * * [points]: Setting MPFR precision to 1344 12.749 * * * * [points]: Computing exacts on every 3 of 4065 points to ramp up precision 12.754 * * * * [points]: Setting MPFR precision to 1088 13.136 * * * * [points]: Setting MPFR precision to 1344 13.598 * * * * [points]: Computing exacts for 4065 points 13.603 * * * * [points]: Setting MPFR precision to 1088 15.422 * * * * [points]: Setting MPFR precision to 1344 17.020 * * * * [points]: Filtering points with unrepresentable outputs 17.026 * * * * [points]: Sampling 2031 additional inputs, on iter 2 have 5969 / 8000 17.061 * * * * [points]: Computing exacts on every 126 of 2031 points to ramp up precision 17.064 * * * * [points]: Setting MPFR precision to 1088 17.067 * * * * [points]: Setting MPFR precision to 1344 17.070 * * * * [points]: Computing exacts on every 63 of 2031 points to ramp up precision 17.073 * * * * [points]: Setting MPFR precision to 1088 17.079 * * * * [points]: Setting MPFR precision to 1344 17.092 * * * * [points]: Computing exacts on every 31 of 2031 points to ramp up precision 17.097 * * * * [points]: Setting MPFR precision to 1088 17.112 * * * * [points]: Setting MPFR precision to 1344 17.130 * * * * [points]: Computing exacts on every 15 of 2031 points to ramp up precision 17.537 * * * * [points]: Setting MPFR precision to 1088 17.586 * * * * [points]: Setting MPFR precision to 1344 17.640 * * * * [points]: Computing exacts on every 7 of 2031 points to ramp up precision 17.645 * * * * [points]: Setting MPFR precision to 1088 17.707 * * * * [points]: Setting MPFR precision to 1344 17.779 * * * * [points]: Computing exacts on every 3 of 2031 points to ramp up precision 17.781 * * * * [points]: Setting MPFR precision to 1088 17.927 * * * * [points]: Setting MPFR precision to 1344 18.103 * * * * [points]: Computing exacts for 2031 points 18.140 * * * * [points]: Setting MPFR precision to 1088 18.740 * * * * [points]: Setting MPFR precision to 1344 19.460 * * * * [points]: Filtering points with unrepresentable outputs 19.462 * * * * [points]: Sampling 1024 additional inputs, on iter 3 have 6976 / 8000 19.487 * * * * [points]: Computing exacts on every 64 of 1024 points to ramp up precision 19.490 * * * * [points]: Setting MPFR precision to 1088 19.495 * * * * [points]: Setting MPFR precision to 1344 19.501 * * * * [points]: Computing exacts on every 32 of 1024 points to ramp up precision 19.505 * * * * [points]: Setting MPFR precision to 1088 19.516 * * * * [points]: Setting MPFR precision to 1344 19.526 * * * * [points]: Computing exacts on every 16 of 1024 points to ramp up precision 19.529 * * * * [points]: Setting MPFR precision to 1088 19.541 * * * * [points]: Setting MPFR precision to 1344 19.557 * * * * [points]: Computing exacts on every 8 of 1024 points to ramp up precision 19.560 * * * * [points]: Setting MPFR precision to 1088 19.616 * * * * [points]: Setting MPFR precision to 1344 19.657 * * * * [points]: Computing exacts on every 4 of 1024 points to ramp up precision 19.661 * * * * [points]: Setting MPFR precision to 1088 19.726 * * * * [points]: Setting MPFR precision to 1344 19.788 * * * * [points]: Computing exacts on every 2 of 1024 points to ramp up precision 19.791 * * * * [points]: Setting MPFR precision to 1088 19.938 * * * * [points]: Setting MPFR precision to 1344 20.066 * * * * [points]: Computing exacts for 1024 points 20.069 * * * * [points]: Setting MPFR precision to 1088 20.678 * * * * [points]: Setting MPFR precision to 1344 21.051 * * * * [points]: Filtering points with unrepresentable outputs 21.052 * * * * [points]: Sampling 511 additional inputs, on iter 4 have 7489 / 8000 21.059 * * * * [points]: Computing exacts on every 31 of 511 points to ramp up precision 21.062 * * * * [points]: Setting MPFR precision to 1088 21.067 * * * * [points]: Setting MPFR precision to 1344 21.072 * * * * [points]: Computing exacts on every 15 of 511 points to ramp up precision 21.075 * * * * [points]: Setting MPFR precision to 1088 21.085 * * * * [points]: Setting MPFR precision to 1344 21.096 * * * * [points]: Computing exacts on every 7 of 511 points to ramp up precision 21.132 * * * * [points]: Setting MPFR precision to 1088 21.153 * * * * [points]: Setting MPFR precision to 1344 21.176 * * * * [points]: Computing exacts on every 3 of 511 points to ramp up precision 21.179 * * * * [points]: Setting MPFR precision to 1088 21.215 * * * * [points]: Setting MPFR precision to 1344 21.257 * * * * [points]: Computing exacts for 511 points 21.260 * * * * [points]: Setting MPFR precision to 1088 21.434 * * * * [points]: Setting MPFR precision to 1344 21.597 * * * * [points]: Filtering points with unrepresentable outputs 21.598 * * * * [points]: Sampling 247 additional inputs, on iter 5 have 7753 / 8000 21.604 * * * * [points]: Computing exacts on every 15 of 247 points to ramp up precision 21.607 * * * * [points]: Setting MPFR precision to 1088 21.610 * * * * [points]: Setting MPFR precision to 1344 21.616 * * * * [points]: Computing exacts on every 7 of 247 points to ramp up precision 21.620 * * * * [points]: Setting MPFR precision to 1088 21.627 * * * * [points]: Setting MPFR precision to 1344 21.635 * * * * [points]: Computing exacts on every 3 of 247 points to ramp up precision 21.637 * * * * [points]: Setting MPFR precision to 1088 21.655 * * * * [points]: Setting MPFR precision to 1344 21.720 * * * * [points]: Computing exacts for 247 points 21.724 * * * * [points]: Setting MPFR precision to 1088 21.805 * * * * [points]: Setting MPFR precision to 1344 21.884 * * * * [points]: Filtering points with unrepresentable outputs 21.884 * * * * [points]: Sampling 119 additional inputs, on iter 6 have 7881 / 8000 21.886 * * * * [points]: Computing exacts on every 7 of 119 points to ramp up precision 21.889 * * * * [points]: Setting MPFR precision to 1088 21.892 * * * * [points]: Setting MPFR precision to 1344 21.895 * * * * [points]: Computing exacts on every 3 of 119 points to ramp up precision 21.898 * * * * [points]: Setting MPFR precision to 1088 21.904 * * * * [points]: Setting MPFR precision to 1344 21.912 * * * * [points]: Computing exacts for 119 points 21.914 * * * * [points]: Setting MPFR precision to 1088 21.987 * * * * [points]: Setting MPFR precision to 1344 22.024 * * * * [points]: Filtering points with unrepresentable outputs 22.025 * * * * [points]: Sampling 64 additional inputs, on iter 7 have 7936 / 8000 22.026 * * * * [points]: Computing exacts on every 4 of 64 points to ramp up precision 22.029 * * * * [points]: Setting MPFR precision to 1088 22.031 * * * * [points]: Setting MPFR precision to 1344 22.034 * * * * [points]: Computing exacts on every 2 of 64 points to ramp up precision 22.038 * * * * [points]: Setting MPFR precision to 1088 22.046 * * * * [points]: Setting MPFR precision to 1344 22.054 * * * * [points]: Computing exacts for 64 points 22.059 * * * * [points]: Setting MPFR precision to 1088 22.084 * * * * [points]: Setting MPFR precision to 1344 22.116 * * * * [points]: Filtering points with unrepresentable outputs 22.116 * * * * [points]: Sampling 33 additional inputs, on iter 8 have 7967 / 8000 22.117 * * * * [points]: Computing exacts on every 2 of 33 points to ramp up precision 22.122 * * * * [points]: Setting MPFR precision to 1088 22.127 * * * * [points]: Setting MPFR precision to 1344 22.134 * * * * [points]: Computing exacts for 33 points 22.138 * * * * [points]: Setting MPFR precision to 1088 22.152 * * * * [points]: Setting MPFR precision to 1344 22.166 * * * * [points]: Filtering points with unrepresentable outputs 22.167 * * * * [points]: Sampling 18 additional inputs, on iter 9 have 7982 / 8000 22.167 * * * * [points]: Computing exacts for 18 points 22.171 * * * * [points]: Setting MPFR precision to 1088 22.177 * * * * [points]: Setting MPFR precision to 1344 22.185 * * * * [points]: Filtering points with unrepresentable outputs 22.185 * * * * [points]: Sampling 10 additional inputs, on iter 10 have 7990 / 8000 22.185 * * * * [points]: Computing exacts for 10 points 22.189 * * * * [points]: Setting MPFR precision to 1088 22.192 * * * * [points]: Setting MPFR precision to 1344 22.197 * * * * [points]: Filtering points with unrepresentable outputs 22.197 * * * * [points]: Sampling 5 additional inputs, on iter 11 have 7995 / 8000 22.197 * * * * [points]: Computing exacts for 5 points 22.226 * * * * [points]: Setting MPFR precision to 1088 22.228 * * * * [points]: Setting MPFR precision to 1344 22.229 * * * * [points]: Filtering points with unrepresentable outputs 22.230 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7997 / 8000 22.230 * * * * [points]: Computing exacts for 4 points 22.232 * * * * [points]: Setting MPFR precision to 1088 22.233 * * * * [points]: Setting MPFR precision to 1344 22.233 * * * * [points]: Filtering points with unrepresentable outputs 22.233 * * * * [points]: Sampling 4 additional inputs, on iter 13 have 7997 / 8000 22.234 * * * * [points]: Computing exacts for 4 points 22.237 * * * * [points]: Setting MPFR precision to 1088 22.238 * * * * [points]: Setting MPFR precision to 1344 22.239 * * * * [points]: Filtering points with unrepresentable outputs 22.239 * * * * [points]: Sampled 8000 points with exact outputs 22.346 * [regime-testing]: Baseline error score: 43.176830279930805 22.349 * [regime-testing]: Oracle error score: 43.176830279930805 22.349 * [regime-testing]: End program error score: 43.176830279930805