0.762 * [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.045 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 0.250 * * * * [points]: Setting MPFR precision to 64 0.256 * * * * [points]: Setting MPFR precision to 320 0.260 * * * * [points]: Setting MPFR precision to 576 0.267 * * * * [points]: Setting MPFR precision to 832 0.273 * * * * [points]: Setting MPFR precision to 1088 0.280 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.285 * * * * [points]: Setting MPFR precision to 832 0.328 * * * * [points]: Setting MPFR precision to 1088 0.345 * * * * [points]: Setting MPFR precision to 1344 0.360 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 0.365 * * * * [points]: Setting MPFR precision to 1088 0.388 * * * * [points]: Setting MPFR precision to 1344 0.412 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 0.415 * * * * [points]: Setting MPFR precision to 1088 0.499 * * * * [points]: Setting MPFR precision to 1344 0.526 * * * * [points]: Computing exacts for 256 points 0.529 * * * * [points]: Setting MPFR precision to 1088 0.629 * * * * [points]: Setting MPFR precision to 1344 0.762 * * * * [points]: Filtering points with unrepresentable outputs 0.764 * * * * [points]: Sampling 134 additional inputs, on iter 1 have 122 / 256 0.768 * * * * [points]: Computing exacts on every 8 of 134 points to ramp up precision 0.773 * * * * [points]: Setting MPFR precision to 1088 0.779 * * * * [points]: Setting MPFR precision to 1344 0.786 * * * * [points]: Computing exacts on every 4 of 134 points to ramp up precision 0.791 * * * * [points]: Setting MPFR precision to 1088 0.855 * * * * [points]: Setting MPFR precision to 1344 0.871 * * * * [points]: Computing exacts on every 2 of 134 points to ramp up precision 0.876 * * * * [points]: Setting MPFR precision to 1088 0.893 * * * * [points]: Setting MPFR precision to 1344 0.915 * * * * [points]: Computing exacts for 134 points 0.919 * * * * [points]: Setting MPFR precision to 1088 0.963 * * * * [points]: Setting MPFR precision to 1344 1.002 * * * * [points]: Filtering points with unrepresentable outputs 1.002 * * * * [points]: Sampling 69 additional inputs, on iter 2 have 187 / 256 1.003 * * * * [points]: Computing exacts on every 4 of 69 points to ramp up precision 1.006 * * * * [points]: Setting MPFR precision to 1088 1.009 * * * * [points]: Setting MPFR precision to 1344 1.012 * * * * [points]: Computing exacts on every 2 of 69 points to ramp up precision 1.015 * * * * [points]: Setting MPFR precision to 1088 1.021 * * * * [points]: Setting MPFR precision to 1344 1.033 * * * * [points]: Computing exacts for 69 points 1.037 * * * * [points]: Setting MPFR precision to 1088 1.066 * * * * [points]: Setting MPFR precision to 1344 1.108 * * * * [points]: Filtering points with unrepresentable outputs 1.108 * * * * [points]: Sampling 35 additional inputs, on iter 3 have 221 / 256 1.109 * * * * [points]: Computing exacts on every 2 of 35 points to ramp up precision 1.141 * * * * [points]: Setting MPFR precision to 1088 1.144 * * * * [points]: Setting MPFR precision to 1344 1.147 * * * * [points]: Computing exacts for 35 points 1.152 * * * * [points]: Setting MPFR precision to 1088 1.160 * * * * [points]: Setting MPFR precision to 1344 1.177 * * * * [points]: Filtering points with unrepresentable outputs 1.177 * * * * [points]: Sampling 17 additional inputs, on iter 4 have 239 / 256 1.178 * * * * [points]: Computing exacts for 17 points 1.182 * * * * [points]: Setting MPFR precision to 1088 1.188 * * * * [points]: Setting MPFR precision to 1344 1.196 * * * * [points]: Filtering points with unrepresentable outputs 1.196 * * * * [points]: Sampling 12 additional inputs, on iter 5 have 244 / 256 1.197 * * * * [points]: Computing exacts for 12 points 1.201 * * * * [points]: Setting MPFR precision to 1088 1.206 * * * * [points]: Setting MPFR precision to 1344 1.212 * * * * [points]: Filtering points with unrepresentable outputs 1.212 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 253 / 256 1.212 * * * * [points]: Computing exacts for 4 points 1.218 * * * * [points]: Setting MPFR precision to 1088 1.220 * * * * [points]: Setting MPFR precision to 1344 1.222 * * * * [points]: Filtering points with unrepresentable outputs 1.222 * * * * [points]: Sampled 257 points with exact outputs 1.222 * * * [progress]: [2/2] Setting up program. 1.231 * [progress]: [Phase 2 of 3] Improving. 1.235 * [simplify]: Simplifying: (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 1.236 * * [simplify]: Extracting # 0 : cost 0 1.237 * * [simplify]: Extracting # 1 : cost 0 1.237 * * [simplify]: Extracting # 2 : cost 0 1.237 * * [simplify]: Extracting # 3 : cost 0 1.237 * * [simplify]: Extracting # 4 : cost 0 1.237 * * [simplify]: Extracting # 5 : cost 0 1.237 * * [simplify]: Extracting # 6 : cost 0 1.237 * * [simplify]: Extracting # 7 : cost 0 1.237 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 1.245 * * [simplify]: Extracting # 0 : cost 0 1.245 * * [simplify]: Extracting # 1 : cost 0 1.245 * * [simplify]: Extracting # 2 : cost 0 1.245 * * [simplify]: iteration 1 : 16 enodes (cost 15 ) 1.249 * * [simplify]: Extracting # 0 : cost 0 1.249 * * [simplify]: iteration done: 16 enodes (cost 15 ) 1.249 * [simplify]: Simplified to: (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 1.251 * * [progress]: iteration 1 / 4 1.251 * * * [progress]: picking best candidate 1.257 * * * * [pick]: Picked # 1.257 * * * [progress]: localizing error 1.391 * * * [progress]: generating rewritten candidates 1.391 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 1.397 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1) 1.398 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2) 1.398 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 1.406 * * * [progress]: generating series expansions 1.406 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 1.406 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1) 1.406 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2) 1.407 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 1.407 * * * [progress]: simplifying candidates 1.407 * [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.408 * * [simplify]: Extracting # 0 : cost 0 1.408 * * [simplify]: Extracting # 1 : cost 0 1.408 * * [simplify]: Extracting # 2 : cost 0 1.408 * * [simplify]: Extracting # 3 : cost 0 1.408 * * [simplify]: Extracting # 4 : cost 0 1.408 * * [simplify]: Extracting # 5 : cost 0 1.408 * * [simplify]: Extracting # 6 : cost 0 1.408 * * [simplify]: Extracting # 7 : cost 0 1.408 * * [simplify]: iteration 0 : 14 enodes (cost 75 ) 1.412 * * [simplify]: Extracting # 0 : cost 0 1.412 * * [simplify]: Extracting # 1 : cost 0 1.412 * * [simplify]: Extracting # 2 : cost 0 1.412 * * [simplify]: iteration 1 : 21 enodes (cost 75 ) 1.417 * * [simplify]: Extracting # 0 : cost 0 1.417 * * [simplify]: iteration done: 21 enodes (cost 75 ) 1.417 * [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))) 1.417 * * * [progress]: adding candidates to table 1.436 * [progress]: [Phase 3 of 3] Extracting. 1.440 * [simplify]: Simplifying: (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 1.440 * * [simplify]: Extracting # 0 : cost 0 1.440 * * [simplify]: Extracting # 1 : cost 0 1.440 * * [simplify]: Extracting # 2 : cost 0 1.440 * * [simplify]: Extracting # 3 : cost 0 1.440 * * [simplify]: Extracting # 4 : cost 0 1.440 * * [simplify]: Extracting # 5 : cost 0 1.440 * * [simplify]: Extracting # 6 : cost 0 1.440 * * [simplify]: Extracting # 7 : cost 0 1.440 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 1.441 * * [simplify]: Extracting # 0 : cost 0 1.441 * * [simplify]: iteration 1 : 13 enodes (cost 15 ) 1.441 * * [simplify]: Extracting # 0 : cost 0 1.441 * * [simplify]: iteration done: 13 enodes (cost 15 ) 1.441 * [simplify]: Simplified to: (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 1.441 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1.701 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision 1.706 * * * * [points]: Setting MPFR precision to 1088 1.713 * * * * [points]: Setting MPFR precision to 1344 1.721 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision 1.726 * * * * [points]: Setting MPFR precision to 1088 1.733 * * * * [points]: Setting MPFR precision to 1344 1.747 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision 1.750 * * * * [points]: Setting MPFR precision to 1088 1.765 * * * * [points]: Setting MPFR precision to 1344 1.793 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision 1.798 * * * * [points]: Setting MPFR precision to 1088 1.845 * * * * [points]: Setting MPFR precision to 1344 1.909 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision 1.914 * * * * [points]: Setting MPFR precision to 1088 2.009 * * * * [points]: Setting MPFR precision to 1344 2.128 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision 2.133 * * * * [points]: Setting MPFR precision to 1088 2.290 * * * * [points]: Setting MPFR precision to 1344 2.597 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision 2.600 * * * * [points]: Setting MPFR precision to 1088 2.920 * * * * [points]: Setting MPFR precision to 1344 3.759 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision 3.764 * * * * [points]: Setting MPFR precision to 1088 4.558 * * * * [points]: Setting MPFR precision to 1344 5.465 * * * * [points]: Computing exacts for 8000 points 5.467 * * * * [points]: Setting MPFR precision to 1088 8.795 * * * * [points]: Setting MPFR precision to 1344 12.807 * * * * [points]: Filtering points with unrepresentable outputs 12.813 * * * * [points]: Sampling 3889 additional inputs, on iter 1 have 4111 / 8000 12.918 * * * * [points]: Computing exacts on every 243 of 3889 points to ramp up precision 12.921 * * * * [points]: Setting MPFR precision to 1088 12.924 * * * * [points]: Setting MPFR precision to 1344 12.928 * * * * [points]: Computing exacts on every 121 of 3889 points to ramp up precision 12.931 * * * * [points]: Setting MPFR precision to 1088 12.938 * * * * [points]: Setting MPFR precision to 1344 12.947 * * * * [points]: Computing exacts on every 60 of 3889 points to ramp up precision 12.949 * * * * [points]: Setting MPFR precision to 1088 12.972 * * * * [points]: Setting MPFR precision to 1344 12.990 * * * * [points]: Computing exacts on every 30 of 3889 points to ramp up precision 12.993 * * * * [points]: Setting MPFR precision to 1088 13.024 * * * * [points]: Setting MPFR precision to 1344 13.091 * * * * [points]: Computing exacts on every 15 of 3889 points to ramp up precision 13.096 * * * * [points]: Setting MPFR precision to 1088 13.218 * * * * [points]: Setting MPFR precision to 1344 13.305 * * * * [points]: Computing exacts on every 7 of 3889 points to ramp up precision 13.308 * * * * [points]: Setting MPFR precision to 1088 13.442 * * * * [points]: Setting MPFR precision to 1344 13.669 * * * * [points]: Computing exacts on every 3 of 3889 points to ramp up precision 13.674 * * * * [points]: Setting MPFR precision to 1088 13.953 * * * * [points]: Setting MPFR precision to 1344 14.383 * * * * [points]: Computing exacts for 3889 points 14.386 * * * * [points]: Setting MPFR precision to 1088 16.275 * * * * [points]: Setting MPFR precision to 1344 18.033 * * * * [points]: Filtering points with unrepresentable outputs 18.039 * * * * [points]: Sampling 1895 additional inputs, on iter 2 have 6105 / 8000 18.093 * * * * [points]: Computing exacts on every 118 of 1895 points to ramp up precision 18.486 * * * * [points]: Setting MPFR precision to 1088 18.493 * * * * [points]: Setting MPFR precision to 1344 18.497 * * * * [points]: Computing exacts on every 59 of 1895 points to ramp up precision 18.499 * * * * [points]: Setting MPFR precision to 1088 18.505 * * * * [points]: Setting MPFR precision to 1344 18.513 * * * * [points]: Computing exacts on every 29 of 1895 points to ramp up precision 18.515 * * * * [points]: Setting MPFR precision to 1088 18.538 * * * * [points]: Setting MPFR precision to 1344 18.561 * * * * [points]: Computing exacts on every 14 of 1895 points to ramp up precision 18.564 * * * * [points]: Setting MPFR precision to 1088 18.603 * * * * [points]: Setting MPFR precision to 1344 18.640 * * * * [points]: Computing exacts on every 7 of 1895 points to ramp up precision 18.643 * * * * [points]: Setting MPFR precision to 1088 18.738 * * * * [points]: Setting MPFR precision to 1344 18.816 * * * * [points]: Computing exacts on every 3 of 1895 points to ramp up precision 18.821 * * * * [points]: Setting MPFR precision to 1088 18.963 * * * * [points]: Setting MPFR precision to 1344 19.183 * * * * [points]: Computing exacts for 1895 points 19.186 * * * * [points]: Setting MPFR precision to 1088 19.799 * * * * [points]: Setting MPFR precision to 1344 20.602 * * * * [points]: Filtering points with unrepresentable outputs 20.605 * * * * [points]: Sampling 947 additional inputs, on iter 3 have 7053 / 8000 20.633 * * * * [points]: Computing exacts on every 59 of 947 points to ramp up precision 20.638 * * * * [points]: Setting MPFR precision to 1088 20.645 * * * * [points]: Setting MPFR precision to 1344 20.651 * * * * [points]: Computing exacts on every 29 of 947 points to ramp up precision 20.688 * * * * [points]: Setting MPFR precision to 1088 20.695 * * * * [points]: Setting MPFR precision to 1344 20.703 * * * * [points]: Computing exacts on every 14 of 947 points to ramp up precision 20.706 * * * * [points]: Setting MPFR precision to 1088 20.721 * * * * [points]: Setting MPFR precision to 1344 20.736 * * * * [points]: Computing exacts on every 7 of 947 points to ramp up precision 20.739 * * * * [points]: Setting MPFR precision to 1088 20.784 * * * * [points]: Setting MPFR precision to 1344 20.823 * * * * [points]: Computing exacts on every 3 of 947 points to ramp up precision 20.826 * * * * [points]: Setting MPFR precision to 1088 20.909 * * * * [points]: Setting MPFR precision to 1344 21.061 * * * * [points]: Computing exacts for 947 points 21.065 * * * * [points]: Setting MPFR precision to 1088 21.411 * * * * [points]: Setting MPFR precision to 1344 22.168 * * * * [points]: Filtering points with unrepresentable outputs 22.169 * * * * [points]: Sampling 453 additional inputs, on iter 4 have 7547 / 8000 22.184 * * * * [points]: Computing exacts on every 28 of 453 points to ramp up precision 22.189 * * * * [points]: Setting MPFR precision to 1088 22.197 * * * * [points]: Setting MPFR precision to 1344 22.205 * * * * [points]: Computing exacts on every 14 of 453 points to ramp up precision 22.210 * * * * [points]: Setting MPFR precision to 1088 22.223 * * * * [points]: Setting MPFR precision to 1344 22.238 * * * * [points]: Computing exacts on every 7 of 453 points to ramp up precision 22.243 * * * * [points]: Setting MPFR precision to 1088 22.263 * * * * [points]: Setting MPFR precision to 1344 22.284 * * * * [points]: Computing exacts on every 3 of 453 points to ramp up precision 22.289 * * * * [points]: Setting MPFR precision to 1088 22.331 * * * * [points]: Setting MPFR precision to 1344 22.409 * * * * [points]: Computing exacts for 453 points 22.412 * * * * [points]: Setting MPFR precision to 1088 22.520 * * * * [points]: Setting MPFR precision to 1344 22.679 * * * * [points]: Filtering points with unrepresentable outputs 22.679 * * * * [points]: Sampling 237 additional inputs, on iter 5 have 7763 / 8000 22.683 * * * * [points]: Computing exacts on every 14 of 237 points to ramp up precision 22.685 * * * * [points]: Setting MPFR precision to 1088 22.689 * * * * [points]: Setting MPFR precision to 1344 22.693 * * * * [points]: Computing exacts on every 7 of 237 points to ramp up precision 22.697 * * * * [points]: Setting MPFR precision to 1088 22.707 * * * * [points]: Setting MPFR precision to 1344 22.718 * * * * [points]: Computing exacts on every 3 of 237 points to ramp up precision 22.721 * * * * [points]: Setting MPFR precision to 1088 22.733 * * * * [points]: Setting MPFR precision to 1344 22.759 * * * * [points]: Computing exacts for 237 points 22.763 * * * * [points]: Setting MPFR precision to 1088 22.823 * * * * [points]: Setting MPFR precision to 1344 22.947 * * * * [points]: Filtering points with unrepresentable outputs 22.948 * * * * [points]: Sampling 117 additional inputs, on iter 6 have 7883 / 8000 22.951 * * * * [points]: Computing exacts on every 7 of 117 points to ramp up precision 22.954 * * * * [points]: Setting MPFR precision to 1088 22.959 * * * * [points]: Setting MPFR precision to 1344 22.967 * * * * [points]: Computing exacts on every 3 of 117 points to ramp up precision 22.971 * * * * [points]: Setting MPFR precision to 1088 22.982 * * * * [points]: Setting MPFR precision to 1344 22.997 * * * * [points]: Computing exacts for 117 points 23.001 * * * * [points]: Setting MPFR precision to 1088 23.039 * * * * [points]: Setting MPFR precision to 1344 23.084 * * * * [points]: Filtering points with unrepresentable outputs 23.085 * * * * [points]: Sampling 61 additional inputs, on iter 7 have 7939 / 8000 23.086 * * * * [points]: Computing exacts on every 3 of 61 points to ramp up precision 23.090 * * * * [points]: Setting MPFR precision to 1088 23.095 * * * * [points]: Setting MPFR precision to 1344 23.101 * * * * [points]: Computing exacts for 61 points 23.105 * * * * [points]: Setting MPFR precision to 1088 23.125 * * * * [points]: Setting MPFR precision to 1344 23.172 * * * * [points]: Filtering points with unrepresentable outputs 23.172 * * * * [points]: Sampling 36 additional inputs, on iter 8 have 7964 / 8000 23.172 * * * * [points]: Computing exacts on every 2 of 36 points to ramp up precision 23.175 * * * * [points]: Setting MPFR precision to 1088 23.177 * * * * [points]: Setting MPFR precision to 1344 23.180 * * * * [points]: Computing exacts for 36 points 23.184 * * * * [points]: Setting MPFR precision to 1088 23.191 * * * * [points]: Setting MPFR precision to 1344 23.200 * * * * [points]: Filtering points with unrepresentable outputs 23.200 * * * * [points]: Sampling 23 additional inputs, on iter 9 have 7977 / 8000 23.200 * * * * [points]: Computing exacts for 23 points 23.203 * * * * [points]: Setting MPFR precision to 1088 23.208 * * * * [points]: Setting MPFR precision to 1344 23.215 * * * * [points]: Filtering points with unrepresentable outputs 23.216 * * * * [points]: Sampling 12 additional inputs, on iter 10 have 7988 / 8000 23.216 * * * * [points]: Computing exacts for 12 points 23.218 * * * * [points]: Setting MPFR precision to 1088 23.221 * * * * [points]: Setting MPFR precision to 1344 23.224 * * * * [points]: Filtering points with unrepresentable outputs 23.225 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7996 / 8000 23.225 * * * * [points]: Computing exacts for 4 points 23.228 * * * * [points]: Setting MPFR precision to 1088 23.230 * * * * [points]: Setting MPFR precision to 1344 23.232 * * * * [points]: Filtering points with unrepresentable outputs 23.232 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7998 / 8000 23.232 * * * * [points]: Computing exacts for 4 points 23.236 * * * * [points]: Setting MPFR precision to 1088 23.238 * * * * [points]: Setting MPFR precision to 1344 23.240 * * * * [points]: Filtering points with unrepresentable outputs 23.241 * * * * [points]: Sampled 8000 points with exact outputs 23.492 * [regime-testing]: Baseline error score: 43.459690578119435 23.495 * [regime-testing]: Oracle error score: 43.459690578119435 23.496 * [regime-testing]: End program error score: 43.459690578119435