1.287 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.003 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256 0.007 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 0.069 * * * * [points]: Setting MPFR precision to 64 0.072 * * * * [points]: Setting MPFR precision to 320 0.073 * * * * [points]: Setting MPFR precision to 576 0.075 * * * * [points]: Setting MPFR precision to 832 0.078 * * * * [points]: Setting MPFR precision to 1088 0.081 * * * * [points]: Setting MPFR precision to 1344 0.086 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.089 * * * * [points]: Setting MPFR precision to 1088 0.096 * * * * [points]: Setting MPFR precision to 1344 0.106 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 0.109 * * * * [points]: Setting MPFR precision to 1088 0.120 * * * * [points]: Setting MPFR precision to 1344 0.147 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 0.152 * * * * [points]: Setting MPFR precision to 1088 0.185 * * * * [points]: Setting MPFR precision to 1344 0.230 * * * * [points]: Computing exacts for 256 points 0.294 * * * * [points]: Setting MPFR precision to 1088 0.407 * * * * [points]: Setting MPFR precision to 1344 0.540 * * * * [points]: Filtering points with unrepresentable outputs 0.541 * * * * [points]: Sampling 125 additional inputs, on iter 1 have 131 / 256 0.543 * * * * [points]: Computing exacts on every 7 of 125 points to ramp up precision 0.547 * * * * [points]: Setting MPFR precision to 1088 0.555 * * * * [points]: Setting MPFR precision to 1344 0.563 * * * * [points]: Computing exacts on every 3 of 125 points to ramp up precision 0.567 * * * * [points]: Setting MPFR precision to 1088 0.580 * * * * [points]: Setting MPFR precision to 1344 0.595 * * * * [points]: Computing exacts for 125 points 0.600 * * * * [points]: Setting MPFR precision to 1088 0.672 * * * * [points]: Setting MPFR precision to 1344 0.712 * * * * [points]: Filtering points with unrepresentable outputs 0.712 * * * * [points]: Sampling 71 additional inputs, on iter 2 have 185 / 256 0.713 * * * * [points]: Computing exacts on every 4 of 71 points to ramp up precision 0.718 * * * * [points]: Setting MPFR precision to 1088 0.723 * * * * [points]: Setting MPFR precision to 1344 0.731 * * * * [points]: Computing exacts on every 2 of 71 points to ramp up precision 0.735 * * * * [points]: Setting MPFR precision to 1088 0.744 * * * * [points]: Setting MPFR precision to 1344 0.754 * * * * [points]: Computing exacts for 71 points 0.758 * * * * [points]: Setting MPFR precision to 1088 0.787 * * * * [points]: Setting MPFR precision to 1344 0.821 * * * * [points]: Filtering points with unrepresentable outputs 0.821 * * * * [points]: Sampling 28 additional inputs, on iter 3 have 228 / 256 0.821 * * * * [points]: Computing exacts for 28 points 0.826 * * * * [points]: Setting MPFR precision to 1088 0.837 * * * * [points]: Setting MPFR precision to 1344 0.849 * * * * [points]: Filtering points with unrepresentable outputs 0.849 * * * * [points]: Sampling 17 additional inputs, on iter 4 have 239 / 256 0.850 * * * * [points]: Computing exacts for 17 points 0.854 * * * * [points]: Setting MPFR precision to 1088 0.860 * * * * [points]: Setting MPFR precision to 1344 0.867 * * * * [points]: Filtering points with unrepresentable outputs 0.867 * * * * [points]: Sampling 10 additional inputs, on iter 5 have 246 / 256 0.867 * * * * [points]: Computing exacts for 10 points 0.871 * * * * [points]: Setting MPFR precision to 1088 0.877 * * * * [points]: Setting MPFR precision to 1344 0.882 * * * * [points]: Filtering points with unrepresentable outputs 0.882 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 254 / 256 0.882 * * * * [points]: Computing exacts for 4 points 0.887 * * * * [points]: Setting MPFR precision to 1088 0.889 * * * * [points]: Setting MPFR precision to 1344 0.892 * * * * [points]: Filtering points with unrepresentable outputs 0.892 * * * * [points]: Sampled 258 points with exact outputs 0.892 * * * [progress]: [2/2] Setting up program. 0.933 * [progress]: [Phase 2 of 3] Improving. 0.934 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.937 * [simplify]: Simplifying: (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 0.939 * * [simplify]: iteration 1: (12 enodes) 0.951 * * [simplify]: iteration 2: (16 enodes) 0.956 * * [simplify]: Extracting #0: cost 1 inf + 0 0.957 * * [simplify]: Extracting #1: cost 2 inf + 0 0.957 * * [simplify]: Extracting #2: cost 4 inf + 0 0.957 * * [simplify]: Extracting #3: cost 8 inf + 0 0.957 * * [simplify]: Extracting #4: cost 7 inf + 4 0.958 * * [simplify]: Extracting #5: cost 11 inf + 4 0.958 * * [simplify]: Extracting #6: cost 8 inf + 47 0.958 * * [simplify]: Extracting #7: cost 3 inf + 396 0.958 * * [simplify]: Extracting #8: cost 0 inf + 2186 0.959 * [simplify]: Simplified to: (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 0.967 * * [progress]: iteration 1 / 4 0.967 * * * [progress]: picking best candidate 0.972 * * * * [pick]: Picked # 0.972 * * * [progress]: localizing error 1.152 * * * [progress]: generating rewritten candidates 1.152 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 1.159 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2) 1.159 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 1.160 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 1.168 * * * [progress]: generating series expansions 1.168 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 1.168 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2) 1.168 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 1.169 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 1.169 * * * [progress]: simplifying candidates 1.169 * * * * [progress]: [ 1 / 6 ] simplifiying candidate # 1.169 * * * * [progress]: [ 2 / 6 ] simplifiying candidate # 1.169 * * * * [progress]: [ 3 / 6 ] simplifiying candidate # 1.169 * * * * [progress]: [ 4 / 6 ] simplifiying candidate # 1.169 * * * * [progress]: [ 5 / 6 ] simplifiying candidate # 1.169 * * * * [progress]: [ 6 / 6 ] simplifiying candidate # 1.170 * [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.170 * * [simplify]: iteration 1: (14 enodes) 1.177 * * [simplify]: iteration 2: (22 enodes) 1.183 * * [simplify]: Extracting #0: cost 3 inf + 0 1.183 * * [simplify]: Extracting #1: cost 8 inf + 0 1.183 * * [simplify]: Extracting #2: cost 8 inf + 4 1.183 * * [simplify]: Extracting #3: cost 8 inf + 7 1.183 * * [simplify]: Extracting #4: cost 12 inf + 7 1.183 * * [simplify]: Extracting #5: cost 9 inf + 50 1.183 * * [simplify]: Extracting #6: cost 4 inf + 399 1.184 * * [simplify]: Extracting #7: cost 0 inf + 2571 1.184 * [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.185 * * * [progress]: adding candidates to table 1.218 * [progress]: [Phase 3 of 3] Extracting. 1.222 * [simplify]: Simplifying: (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1.222 * * [simplify]: iteration 1: (12 enodes) 1.222 * * [simplify]: iteration 2: (13 enodes) 1.223 * * [simplify]: Extracting #0: cost 1 inf + 0 1.223 * * [simplify]: Extracting #1: cost 2 inf + 0 1.223 * * [simplify]: Extracting #2: cost 4 inf + 0 1.223 * * [simplify]: Extracting #3: cost 8 inf + 0 1.223 * * [simplify]: Extracting #4: cost 7 inf + 4 1.223 * * [simplify]: Extracting #5: cost 9 inf + 4 1.223 * * [simplify]: Extracting #6: cost 7 inf + 6 1.224 * * [simplify]: Extracting #7: cost 0 inf + 2104 1.224 * [simplify]: Simplified to: (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1.224 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1.330 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision 1.335 * * * * [points]: Setting MPFR precision to 1088 1.341 * * * * [points]: Setting MPFR precision to 1344 1.348 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision 1.352 * * * * [points]: Setting MPFR precision to 1088 1.366 * * * * [points]: Setting MPFR precision to 1344 1.382 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision 1.387 * * * * [points]: Setting MPFR precision to 1088 1.424 * * * * [points]: Setting MPFR precision to 1344 1.457 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision 1.462 * * * * [points]: Setting MPFR precision to 1088 1.512 * * * * [points]: Setting MPFR precision to 1344 1.574 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision 1.579 * * * * [points]: Setting MPFR precision to 1088 1.675 * * * * [points]: Setting MPFR precision to 1344 1.798 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision 1.854 * * * * [points]: Setting MPFR precision to 1088 2.054 * * * * [points]: Setting MPFR precision to 1344 2.363 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision 2.369 * * * * [points]: Setting MPFR precision to 1088 2.747 * * * * [points]: Setting MPFR precision to 1344 3.649 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision 3.654 * * * * [points]: Setting MPFR precision to 1088 4.348 * * * * [points]: Setting MPFR precision to 1344 5.259 * * * * [points]: Computing exacts for 8000 points 5.264 * * * * [points]: Setting MPFR precision to 1088 8.587 * * * * [points]: Setting MPFR precision to 1344 12.423 * * * * [points]: Filtering points with unrepresentable outputs 12.430 * * * * [points]: Sampling 3987 additional inputs, on iter 1 have 4013 / 8000 12.482 * * * * [points]: Computing exacts on every 249 of 3987 points to ramp up precision 12.485 * * * * [points]: Setting MPFR precision to 1088 12.488 * * * * [points]: Setting MPFR precision to 1344 12.492 * * * * [points]: Computing exacts on every 124 of 3987 points to ramp up precision 12.494 * * * * [points]: Setting MPFR precision to 1088 12.514 * * * * [points]: Setting MPFR precision to 1344 12.523 * * * * [points]: Computing exacts on every 62 of 3987 points to ramp up precision 12.526 * * * * [points]: Setting MPFR precision to 1088 12.547 * * * * [points]: Setting MPFR precision to 1344 12.579 * * * * [points]: Computing exacts on every 31 of 3987 points to ramp up precision 12.584 * * * * [points]: Setting MPFR precision to 1088 12.632 * * * * [points]: Setting MPFR precision to 1344 12.686 * * * * [points]: Computing exacts on every 15 of 3987 points to ramp up precision 12.688 * * * * [points]: Setting MPFR precision to 1088 12.760 * * * * [points]: Setting MPFR precision to 1344 12.933 * * * * [points]: Computing exacts on every 7 of 3987 points to ramp up precision 12.938 * * * * [points]: Setting MPFR precision to 1088 13.099 * * * * [points]: Setting MPFR precision to 1344 13.363 * * * * [points]: Computing exacts on every 3 of 3987 points to ramp up precision 13.366 * * * * [points]: Setting MPFR precision to 1088 13.761 * * * * [points]: Setting MPFR precision to 1344 14.659 * * * * [points]: Computing exacts for 3987 points 14.661 * * * * [points]: Setting MPFR precision to 1088 16.066 * * * * [points]: Setting MPFR precision to 1344 18.357 * * * * [points]: Filtering points with unrepresentable outputs 18.358 * * * * [points]: Sampling 1948 additional inputs, on iter 2 have 6052 / 8000 18.391 * * * * [points]: Computing exacts on every 121 of 1948 points to ramp up precision 18.393 * * * * [points]: Setting MPFR precision to 1088 18.397 * * * * [points]: Setting MPFR precision to 1344 18.401 * * * * [points]: Computing exacts on every 60 of 1948 points to ramp up precision 18.404 * * * * [points]: Setting MPFR precision to 1088 18.411 * * * * [points]: Setting MPFR precision to 1344 18.419 * * * * [points]: Computing exacts on every 30 of 1948 points to ramp up precision 18.421 * * * * [points]: Setting MPFR precision to 1088 18.444 * * * * [points]: Setting MPFR precision to 1344 18.469 * * * * [points]: Computing exacts on every 15 of 1948 points to ramp up precision 18.472 * * * * [points]: Setting MPFR precision to 1088 18.499 * * * * [points]: Setting MPFR precision to 1344 18.561 * * * * [points]: Computing exacts on every 7 of 1948 points to ramp up precision 18.566 * * * * [points]: Setting MPFR precision to 1088 18.640 * * * * [points]: Setting MPFR precision to 1344 18.714 * * * * [points]: Computing exacts on every 3 of 1948 points to ramp up precision 18.716 * * * * [points]: Setting MPFR precision to 1088 18.918 * * * * [points]: Setting MPFR precision to 1344 19.108 * * * * [points]: Computing exacts for 1948 points 19.114 * * * * [points]: Setting MPFR precision to 1088 19.798 * * * * [points]: Setting MPFR precision to 1344 20.775 * * * * [points]: Filtering points with unrepresentable outputs 20.776 * * * * [points]: Sampling 966 additional inputs, on iter 3 have 7034 / 8000 20.784 * * * * [points]: Computing exacts on every 60 of 966 points to ramp up precision 20.818 * * * * [points]: Setting MPFR precision to 1088 20.822 * * * * [points]: Setting MPFR precision to 1344 20.826 * * * * [points]: Computing exacts on every 30 of 966 points to ramp up precision 20.831 * * * * [points]: Setting MPFR precision to 1088 20.838 * * * * [points]: Setting MPFR precision to 1344 20.847 * * * * [points]: Computing exacts on every 15 of 966 points to ramp up precision 20.849 * * * * [points]: Setting MPFR precision to 1088 20.861 * * * * [points]: Setting MPFR precision to 1344 20.881 * * * * [points]: Computing exacts on every 7 of 966 points to ramp up precision 20.883 * * * * [points]: Setting MPFR precision to 1088 20.908 * * * * [points]: Setting MPFR precision to 1344 20.941 * * * * [points]: Computing exacts on every 3 of 966 points to ramp up precision 20.943 * * * * [points]: Setting MPFR precision to 1088 21.073 * * * * [points]: Setting MPFR precision to 1344 21.182 * * * * [points]: Computing exacts for 966 points 21.185 * * * * [points]: Setting MPFR precision to 1088 21.474 * * * * [points]: Setting MPFR precision to 1344 22.245 * * * * [points]: Filtering points with unrepresentable outputs 22.246 * * * * [points]: Sampling 482 additional inputs, on iter 4 have 7518 / 8000 22.254 * * * * [points]: Computing exacts on every 30 of 482 points to ramp up precision 22.258 * * * * [points]: Setting MPFR precision to 1088 22.263 * * * * [points]: Setting MPFR precision to 1344 22.270 * * * * [points]: Computing exacts on every 15 of 482 points to ramp up precision 22.274 * * * * [points]: Setting MPFR precision to 1088 22.285 * * * * [points]: Setting MPFR precision to 1344 22.295 * * * * [points]: Computing exacts on every 7 of 482 points to ramp up precision 22.298 * * * * [points]: Setting MPFR precision to 1088 22.310 * * * * [points]: Setting MPFR precision to 1344 22.324 * * * * [points]: Computing exacts on every 3 of 482 points to ramp up precision 22.328 * * * * [points]: Setting MPFR precision to 1088 22.391 * * * * [points]: Setting MPFR precision to 1344 22.442 * * * * [points]: Computing exacts for 482 points 22.447 * * * * [points]: Setting MPFR precision to 1088 22.562 * * * * [points]: Setting MPFR precision to 1344 22.768 * * * * [points]: Filtering points with unrepresentable outputs 22.768 * * * * [points]: Sampling 237 additional inputs, on iter 5 have 7763 / 8000 22.770 * * * * [points]: Computing exacts on every 14 of 237 points to ramp up precision 22.774 * * * * [points]: Setting MPFR precision to 1088 22.776 * * * * [points]: Setting MPFR precision to 1344 22.780 * * * * [points]: Computing exacts on every 7 of 237 points to ramp up precision 22.782 * * * * [points]: Setting MPFR precision to 1088 22.788 * * * * [points]: Setting MPFR precision to 1344 22.794 * * * * [points]: Computing exacts on every 3 of 237 points to ramp up precision 22.796 * * * * [points]: Setting MPFR precision to 1088 22.810 * * * * [points]: Setting MPFR precision to 1344 22.825 * * * * [points]: Computing exacts for 237 points 22.827 * * * * [points]: Setting MPFR precision to 1088 22.898 * * * * [points]: Setting MPFR precision to 1344 23.011 * * * * [points]: Filtering points with unrepresentable outputs 23.011 * * * * [points]: Sampling 131 additional inputs, on iter 6 have 7869 / 8000 23.013 * * * * [points]: Computing exacts on every 8 of 131 points to ramp up precision 23.018 * * * * [points]: Setting MPFR precision to 1088 23.021 * * * * [points]: Setting MPFR precision to 1344 23.026 * * * * [points]: Computing exacts on every 4 of 131 points to ramp up precision 23.030 * * * * [points]: Setting MPFR precision to 1088 23.039 * * * * [points]: Setting MPFR precision to 1344 23.046 * * * * [points]: Computing exacts on every 2 of 131 points to ramp up precision 23.049 * * * * [points]: Setting MPFR precision to 1088 23.058 * * * * [points]: Setting MPFR precision to 1344 23.073 * * * * [points]: Computing exacts for 131 points 23.078 * * * * [points]: Setting MPFR precision to 1088 23.120 * * * * [points]: Setting MPFR precision to 1344 23.163 * * * * [points]: Filtering points with unrepresentable outputs 23.163 * * * * [points]: Sampling 73 additional inputs, on iter 7 have 7927 / 8000 23.164 * * * * [points]: Computing exacts on every 4 of 73 points to ramp up precision 23.167 * * * * [points]: Setting MPFR precision to 1088 23.200 * * * * [points]: Setting MPFR precision to 1344 23.204 * * * * [points]: Computing exacts on every 2 of 73 points to ramp up precision 23.206 * * * * [points]: Setting MPFR precision to 1088 23.213 * * * * [points]: Setting MPFR precision to 1344 23.219 * * * * [points]: Computing exacts for 73 points 23.222 * * * * [points]: Setting MPFR precision to 1088 23.237 * * * * [points]: Setting MPFR precision to 1344 23.259 * * * * [points]: Filtering points with unrepresentable outputs 23.259 * * * * [points]: Sampling 43 additional inputs, on iter 8 have 7957 / 8000 23.260 * * * * [points]: Computing exacts on every 2 of 43 points to ramp up precision 23.264 * * * * [points]: Setting MPFR precision to 1088 23.269 * * * * [points]: Setting MPFR precision to 1344 23.276 * * * * [points]: Computing exacts for 43 points 23.281 * * * * [points]: Setting MPFR precision to 1088 23.299 * * * * [points]: Setting MPFR precision to 1344 23.319 * * * * [points]: Filtering points with unrepresentable outputs 23.320 * * * * [points]: Sampling 19 additional inputs, on iter 9 have 7981 / 8000 23.320 * * * * [points]: Computing exacts for 19 points 23.325 * * * * [points]: Setting MPFR precision to 1088 23.333 * * * * [points]: Setting MPFR precision to 1344 23.343 * * * * [points]: Filtering points with unrepresentable outputs 23.343 * * * * [points]: Sampling 12 additional inputs, on iter 10 have 7988 / 8000 23.344 * * * * [points]: Computing exacts for 12 points 23.348 * * * * [points]: Setting MPFR precision to 1088 23.354 * * * * [points]: Setting MPFR precision to 1344 23.360 * * * * [points]: Filtering points with unrepresentable outputs 23.360 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7997 / 8000 23.360 * * * * [points]: Computing exacts for 4 points 23.365 * * * * [points]: Setting MPFR precision to 1088 23.367 * * * * [points]: Setting MPFR precision to 1344 23.368 * * * * [points]: Filtering points with unrepresentable outputs 23.368 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7999 / 8000 23.369 * * * * [points]: Computing exacts for 4 points 23.373 * * * * [points]: Setting MPFR precision to 1088 23.374 * * * * [points]: Setting MPFR precision to 1344 23.375 * * * * [points]: Filtering points with unrepresentable outputs 23.375 * * * * [points]: Sampling 4 additional inputs, on iter 13 have 7999 / 8000 23.376 * * * * [points]: Computing exacts for 4 points 23.407 * * * * [points]: Setting MPFR precision to 1088 23.409 * * * * [points]: Setting MPFR precision to 1344 23.411 * * * * [points]: Filtering points with unrepresentable outputs 23.411 * * * * [points]: Sampled 8002 points with exact outputs 23.634 * [regime-testing]: Baseline error score: 43.09335038245095 23.636 * [regime-testing]: Oracle error score: 43.09335038245095 23.636 * [regime-testing]: End program error score: 43.09335038245095