0.952 * [progress]: [Phase 1 of 3] Setting up. 0.003 * * * [progress]: [1/2] Preparing points 0.004 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256 0.013 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 0.063 * * * * [points]: Setting MPFR precision to 64 0.066 * * * * [points]: Setting MPFR precision to 320 0.068 * * * * [points]: Setting MPFR precision to 576 0.070 * * * * [points]: Setting MPFR precision to 832 0.073 * * * * [points]: Setting MPFR precision to 1088 0.077 * * * * [points]: Setting MPFR precision to 1344 0.081 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.083 * * * * [points]: Setting MPFR precision to 1088 0.089 * * * * [points]: Setting MPFR precision to 1344 0.097 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 0.099 * * * * [points]: Setting MPFR precision to 1088 0.110 * * * * [points]: Setting MPFR precision to 1344 0.125 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 0.127 * * * * [points]: Setting MPFR precision to 1088 0.185 * * * * [points]: Setting MPFR precision to 1344 0.210 * * * * [points]: Computing exacts for 256 points 0.212 * * * * [points]: Setting MPFR precision to 1088 0.270 * * * * [points]: Setting MPFR precision to 1344 0.401 * * * * [points]: Filtering points with unrepresentable outputs 0.402 * * * * [points]: Sampling 123 additional inputs, on iter 1 have 133 / 256 0.406 * * * * [points]: Computing exacts on every 7 of 123 points to ramp up precision 0.410 * * * * [points]: Setting MPFR precision to 1088 0.417 * * * * [points]: Setting MPFR precision to 1344 0.424 * * * * [points]: Computing exacts on every 3 of 123 points to ramp up precision 0.429 * * * * [points]: Setting MPFR precision to 1088 0.442 * * * * [points]: Setting MPFR precision to 1344 0.457 * * * * [points]: Computing exacts for 123 points 0.462 * * * * [points]: Setting MPFR precision to 1088 0.568 * * * * [points]: Setting MPFR precision to 1344 0.631 * * * * [points]: Filtering points with unrepresentable outputs 0.632 * * * * [points]: Sampling 60 additional inputs, on iter 2 have 196 / 256 0.634 * * * * [points]: Computing exacts on every 3 of 60 points to ramp up precision 0.637 * * * * [points]: Setting MPFR precision to 1088 0.640 * * * * [points]: Setting MPFR precision to 1344 0.643 * * * * [points]: Computing exacts for 60 points 0.646 * * * * [points]: Setting MPFR precision to 1088 0.660 * * * * [points]: Setting MPFR precision to 1344 0.676 * * * * [points]: Filtering points with unrepresentable outputs 0.676 * * * * [points]: Sampling 31 additional inputs, on iter 3 have 225 / 256 0.676 * * * * [points]: Computing exacts for 31 points 0.679 * * * * [points]: Setting MPFR precision to 1088 0.685 * * * * [points]: Setting MPFR precision to 1344 0.693 * * * * [points]: Filtering points with unrepresentable outputs 0.693 * * * * [points]: Sampling 11 additional inputs, on iter 4 have 245 / 256 0.694 * * * * [points]: Computing exacts for 11 points 0.696 * * * * [points]: Setting MPFR precision to 1088 0.698 * * * * [points]: Setting MPFR precision to 1344 0.701 * * * * [points]: Filtering points with unrepresentable outputs 0.702 * * * * [points]: Sampling 7 additional inputs, on iter 5 have 249 / 256 0.702 * * * * [points]: Computing exacts for 7 points 0.704 * * * * [points]: Setting MPFR precision to 1088 0.706 * * * * [points]: Setting MPFR precision to 1344 0.708 * * * * [points]: Filtering points with unrepresentable outputs 0.708 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 254 / 256 0.708 * * * * [points]: Computing exacts for 4 points 0.710 * * * * [points]: Setting MPFR precision to 1088 0.711 * * * * [points]: Setting MPFR precision to 1344 0.712 * * * * [points]: Filtering points with unrepresentable outputs 0.712 * * * * [points]: Sampled 256 points with exact outputs 0.712 * * * [progress]: [2/2] Setting up program. 0.716 * [progress]: [Phase 2 of 3] Improving. 0.718 * [simplify]: Simplifying: (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 0.719 * * [simplify]: Extracting # 0 : cost 0 0.719 * * [simplify]: Extracting # 1 : cost 0 0.719 * * [simplify]: Extracting # 2 : cost 0 0.719 * * [simplify]: Extracting # 3 : cost 0 0.720 * * [simplify]: Extracting # 4 : cost 0 0.720 * * [simplify]: Extracting # 5 : cost 0 0.720 * * [simplify]: Extracting # 6 : cost 0 0.720 * * [simplify]: Extracting # 7 : cost 0 0.720 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 0.756 * * [simplify]: Extracting # 0 : cost 0 0.756 * * [simplify]: Extracting # 1 : cost 0 0.756 * * [simplify]: Extracting # 2 : cost 0 0.756 * * [simplify]: iteration 1 : 16 enodes (cost 15 ) 0.762 * * [simplify]: Extracting # 0 : cost 0 0.762 * * [simplify]: iteration done: 16 enodes (cost 15 ) 0.762 * [simplify]: Simplified to: (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 0.765 * * [progress]: iteration 1 / 4 0.765 * * * [progress]: picking best candidate 0.769 * * * * [pick]: Picked # 0.769 * * * [progress]: localizing error 0.944 * * * [progress]: generating rewritten candidates 0.944 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 0.950 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1) 0.951 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2) 0.951 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 0.958 * * * [progress]: generating series expansions 0.958 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 0.959 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1) 0.959 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2) 0.959 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 0.959 * * * [progress]: simplifying candidates 0.960 * [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))) 0.960 * * [simplify]: Extracting # 0 : cost 0 0.960 * * [simplify]: Extracting # 1 : cost 0 0.960 * * [simplify]: Extracting # 2 : cost 0 0.960 * * [simplify]: Extracting # 3 : cost 0 0.960 * * [simplify]: Extracting # 4 : cost 0 0.960 * * [simplify]: Extracting # 5 : cost 0 0.960 * * [simplify]: Extracting # 6 : cost 0 0.960 * * [simplify]: Extracting # 7 : cost 0 0.960 * * [simplify]: iteration 0 : 14 enodes (cost 75 ) 0.964 * * [simplify]: Extracting # 0 : cost 0 0.964 * * [simplify]: Extracting # 1 : cost 0 0.964 * * [simplify]: Extracting # 2 : cost 0 0.964 * * [simplify]: iteration 1 : 21 enodes (cost 75 ) 0.969 * * [simplify]: Extracting # 0 : cost 0 0.969 * * [simplify]: iteration done: 21 enodes (cost 75 ) 0.969 * [simplify]: Simplified to: (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))) 0.969 * * * [progress]: adding candidates to table 0.982 * [progress]: [Phase 3 of 3] Extracting. 0.986 * [simplify]: Simplifying: (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 0.987 * * [simplify]: Extracting # 0 : cost 0 0.987 * * [simplify]: Extracting # 1 : cost 0 0.987 * * [simplify]: Extracting # 2 : cost 0 0.987 * * [simplify]: Extracting # 3 : cost 0 0.987 * * [simplify]: Extracting # 4 : cost 0 0.987 * * [simplify]: Extracting # 5 : cost 0 0.987 * * [simplify]: Extracting # 6 : cost 0 0.987 * * [simplify]: Extracting # 7 : cost 0 0.987 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 0.988 * * [simplify]: Extracting # 0 : cost 0 0.988 * * [simplify]: iteration 1 : 13 enodes (cost 15 ) 0.989 * * [simplify]: Extracting # 0 : cost 0 0.989 * * [simplify]: iteration done: 13 enodes (cost 15 ) 0.989 * [simplify]: Simplified to: (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 0.989 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1.246 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision 1.251 * * * * [points]: Setting MPFR precision to 1088 1.258 * * * * [points]: Setting MPFR precision to 1344 1.264 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision 1.269 * * * * [points]: Setting MPFR precision to 1088 1.280 * * * * [points]: Setting MPFR precision to 1344 1.293 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision 1.297 * * * * [points]: Setting MPFR precision to 1088 1.324 * * * * [points]: Setting MPFR precision to 1344 1.357 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision 1.361 * * * * [points]: Setting MPFR precision to 1088 1.411 * * * * [points]: Setting MPFR precision to 1344 1.460 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision 1.462 * * * * [points]: Setting MPFR precision to 1088 1.542 * * * * [points]: Setting MPFR precision to 1344 1.621 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision 1.623 * * * * [points]: Setting MPFR precision to 1088 1.804 * * * * [points]: Setting MPFR precision to 1344 1.997 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision 1.999 * * * * [points]: Setting MPFR precision to 1088 2.406 * * * * [points]: Setting MPFR precision to 1344 3.163 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision 3.167 * * * * [points]: Setting MPFR precision to 1088 3.950 * * * * [points]: Setting MPFR precision to 1344 4.875 * * * * [points]: Computing exacts for 8000 points 4.931 * * * * [points]: Setting MPFR precision to 1088 8.287 * * * * [points]: Setting MPFR precision to 1344 12.204 * * * * [points]: Filtering points with unrepresentable outputs 12.209 * * * * [points]: Sampling 3925 additional inputs, on iter 1 have 4075 / 8000 12.326 * * * * [points]: Computing exacts on every 245 of 3925 points to ramp up precision 12.331 * * * * [points]: Setting MPFR precision to 1088 12.334 * * * * [points]: Setting MPFR precision to 1344 12.337 * * * * [points]: Computing exacts on every 122 of 3925 points to ramp up precision 12.340 * * * * [points]: Setting MPFR precision to 1088 12.346 * * * * [points]: Setting MPFR precision to 1344 12.354 * * * * [points]: Computing exacts on every 61 of 3925 points to ramp up precision 12.356 * * * * [points]: Setting MPFR precision to 1088 12.371 * * * * [points]: Setting MPFR precision to 1344 12.400 * * * * [points]: Computing exacts on every 30 of 3925 points to ramp up precision 12.402 * * * * [points]: Setting MPFR precision to 1088 12.431 * * * * [points]: Setting MPFR precision to 1344 12.470 * * * * [points]: Computing exacts on every 15 of 3925 points to ramp up precision 12.472 * * * * [points]: Setting MPFR precision to 1088 12.595 * * * * [points]: Setting MPFR precision to 1344 12.688 * * * * [points]: Computing exacts on every 7 of 3925 points to ramp up precision 12.693 * * * * [points]: Setting MPFR precision to 1088 12.880 * * * * [points]: Setting MPFR precision to 1344 13.077 * * * * [points]: Computing exacts on every 3 of 3925 points to ramp up precision 13.082 * * * * [points]: Setting MPFR precision to 1088 13.423 * * * * [points]: Setting MPFR precision to 1344 14.310 * * * * [points]: Computing exacts for 3925 points 14.314 * * * * [points]: Setting MPFR precision to 1088 15.575 * * * * [points]: Setting MPFR precision to 1344 17.880 * * * * [points]: Filtering points with unrepresentable outputs 17.885 * * * * [points]: Sampling 1963 additional inputs, on iter 2 have 6037 / 8000 17.934 * * * * [points]: Computing exacts on every 122 of 1963 points to ramp up precision 17.937 * * * * [points]: Setting MPFR precision to 1088 17.942 * * * * [points]: Setting MPFR precision to 1344 17.948 * * * * [points]: Computing exacts on every 61 of 1963 points to ramp up precision 17.952 * * * * [points]: Setting MPFR precision to 1088 17.961 * * * * [points]: Setting MPFR precision to 1344 17.970 * * * * [points]: Computing exacts on every 30 of 1963 points to ramp up precision 17.973 * * * * [points]: Setting MPFR precision to 1088 18.016 * * * * [points]: Setting MPFR precision to 1344 18.037 * * * * [points]: Computing exacts on every 15 of 1963 points to ramp up precision 18.040 * * * * [points]: Setting MPFR precision to 1088 18.079 * * * * [points]: Setting MPFR precision to 1344 18.131 * * * * [points]: Computing exacts on every 7 of 1963 points to ramp up precision 18.133 * * * * [points]: Setting MPFR precision to 1088 18.198 * * * * [points]: Setting MPFR precision to 1344 18.284 * * * * [points]: Computing exacts on every 3 of 1963 points to ramp up precision 18.289 * * * * [points]: Setting MPFR precision to 1088 18.505 * * * * [points]: Setting MPFR precision to 1344 18.695 * * * * [points]: Computing exacts for 1963 points 18.697 * * * * [points]: Setting MPFR precision to 1088 19.362 * * * * [points]: Setting MPFR precision to 1344 20.243 * * * * [points]: Filtering points with unrepresentable outputs 20.245 * * * * [points]: Sampling 1000 additional inputs, on iter 3 have 7000 / 8000 20.262 * * * * [points]: Computing exacts on every 62 of 1000 points to ramp up precision 20.265 * * * * [points]: Setting MPFR precision to 1088 20.268 * * * * [points]: Setting MPFR precision to 1344 20.273 * * * * [points]: Computing exacts on every 31 of 1000 points to ramp up precision 20.276 * * * * [points]: Setting MPFR precision to 1088 20.282 * * * * [points]: Setting MPFR precision to 1344 20.299 * * * * [points]: Computing exacts on every 15 of 1000 points to ramp up precision 20.303 * * * * [points]: Setting MPFR precision to 1088 20.328 * * * * [points]: Setting MPFR precision to 1344 20.354 * * * * [points]: Computing exacts on every 7 of 1000 points to ramp up precision 20.357 * * * * [points]: Setting MPFR precision to 1088 20.411 * * * * [points]: Setting MPFR precision to 1344 20.447 * * * * [points]: Computing exacts on every 3 of 1000 points to ramp up precision 20.449 * * * * [points]: Setting MPFR precision to 1088 20.501 * * * * [points]: Setting MPFR precision to 1344 20.573 * * * * [points]: Computing exacts for 1000 points 20.576 * * * * [points]: Setting MPFR precision to 1088 20.901 * * * * [points]: Setting MPFR precision to 1344 21.708 * * * * [points]: Filtering points with unrepresentable outputs 21.709 * * * * [points]: Sampling 485 additional inputs, on iter 4 have 7515 / 8000 21.723 * * * * [points]: Computing exacts on every 30 of 485 points to ramp up precision 21.775 * * * * [points]: Setting MPFR precision to 1088 21.786 * * * * [points]: Setting MPFR precision to 1344 21.793 * * * * [points]: Computing exacts on every 15 of 485 points to ramp up precision 21.798 * * * * [points]: Setting MPFR precision to 1088 21.809 * * * * [points]: Setting MPFR precision to 1344 21.822 * * * * [points]: Computing exacts on every 7 of 485 points to ramp up precision 21.827 * * * * [points]: Setting MPFR precision to 1088 21.850 * * * * [points]: Setting MPFR precision to 1344 21.879 * * * * [points]: Computing exacts on every 3 of 485 points to ramp up precision 21.883 * * * * [points]: Setting MPFR precision to 1088 21.931 * * * * [points]: Setting MPFR precision to 1344 21.976 * * * * [points]: Computing exacts for 485 points 21.981 * * * * [points]: Setting MPFR precision to 1088 22.119 * * * * [points]: Setting MPFR precision to 1344 22.335 * * * * [points]: Filtering points with unrepresentable outputs 22.336 * * * * [points]: Sampling 212 additional inputs, on iter 5 have 7788 / 8000 22.344 * * * * [points]: Computing exacts on every 13 of 212 points to ramp up precision 22.348 * * * * [points]: Setting MPFR precision to 1088 22.354 * * * * [points]: Setting MPFR precision to 1344 22.361 * * * * [points]: Computing exacts on every 6 of 212 points to ramp up precision 22.365 * * * * [points]: Setting MPFR precision to 1088 22.376 * * * * [points]: Setting MPFR precision to 1344 22.392 * * * * [points]: Computing exacts on every 3 of 212 points to ramp up precision 22.436 * * * * [points]: Setting MPFR precision to 1088 22.463 * * * * [points]: Setting MPFR precision to 1344 22.491 * * * * [points]: Computing exacts for 212 points 22.495 * * * * [points]: Setting MPFR precision to 1088 22.544 * * * * [points]: Setting MPFR precision to 1344 22.622 * * * * [points]: Filtering points with unrepresentable outputs 22.623 * * * * [points]: Sampling 102 additional inputs, on iter 6 have 7898 / 8000 22.625 * * * * [points]: Computing exacts on every 6 of 102 points to ramp up precision 22.627 * * * * [points]: Setting MPFR precision to 1088 22.631 * * * * [points]: Setting MPFR precision to 1344 22.634 * * * * [points]: Computing exacts on every 3 of 102 points to ramp up precision 22.637 * * * * [points]: Setting MPFR precision to 1088 22.642 * * * * [points]: Setting MPFR precision to 1344 22.649 * * * * [points]: Computing exacts for 102 points 22.651 * * * * [points]: Setting MPFR precision to 1088 22.709 * * * * [points]: Setting MPFR precision to 1344 22.753 * * * * [points]: Filtering points with unrepresentable outputs 22.753 * * * * [points]: Sampling 47 additional inputs, on iter 7 have 7953 / 8000 22.755 * * * * [points]: Computing exacts on every 2 of 47 points to ramp up precision 22.759 * * * * [points]: Setting MPFR precision to 1088 22.765 * * * * [points]: Setting MPFR precision to 1344 22.772 * * * * [points]: Computing exacts for 47 points 22.776 * * * * [points]: Setting MPFR precision to 1088 22.794 * * * * [points]: Setting MPFR precision to 1344 22.806 * * * * [points]: Filtering points with unrepresentable outputs 22.806 * * * * [points]: Sampling 21 additional inputs, on iter 8 have 7979 / 8000 22.807 * * * * [points]: Computing exacts for 21 points 22.809 * * * * [points]: Setting MPFR precision to 1088 22.814 * * * * [points]: Setting MPFR precision to 1344 22.819 * * * * [points]: Filtering points with unrepresentable outputs 22.819 * * * * [points]: Sampling 9 additional inputs, on iter 9 have 7991 / 8000 22.819 * * * * [points]: Computing exacts for 9 points 22.822 * * * * [points]: Setting MPFR precision to 1088 22.823 * * * * [points]: Setting MPFR precision to 1344 22.826 * * * * [points]: Filtering points with unrepresentable outputs 22.826 * * * * [points]: Sampling 4 additional inputs, on iter 10 have 7999 / 8000 22.826 * * * * [points]: Computing exacts for 4 points 22.829 * * * * [points]: Setting MPFR precision to 1088 22.830 * * * * [points]: Setting MPFR precision to 1344 22.831 * * * * [points]: Filtering points with unrepresentable outputs 22.831 * * * * [points]: Sampled 8002 points with exact outputs 22.975 * [regime-testing]: Baseline error score: 43.16880747865889 22.980 * [regime-testing]: Oracle error score: 43.16880747865889 22.980 * [regime-testing]: End program error score: 43.16880747865889