1.520 * [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.053 * * * * [points]: Setting MPFR precision to 64 0.056 * * * * [points]: Setting MPFR precision to 320 0.057 * * * * [points]: Setting MPFR precision to 576 0.060 * * * * [points]: Setting MPFR precision to 832 0.062 * * * * [points]: Setting MPFR precision to 1088 0.066 * * * * [points]: Setting MPFR precision to 1344 0.070 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.073 * * * * [points]: Setting MPFR precision to 1088 0.080 * * * * [points]: Setting MPFR precision to 1344 0.089 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 0.091 * * * * [points]: Setting MPFR precision to 1088 0.110 * * * * [points]: Setting MPFR precision to 1344 0.128 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 0.130 * * * * [points]: Setting MPFR precision to 1088 0.188 * * * * [points]: Setting MPFR precision to 1344 0.212 * * * * [points]: Computing exacts for 256 points 0.214 * * * * [points]: Setting MPFR precision to 1088 0.274 * * * * [points]: Setting MPFR precision to 1344 0.341 * * * * [points]: Filtering points with unrepresentable outputs 0.341 * * * * [points]: Sampling 122 additional inputs, on iter 1 have 134 / 256 0.343 * * * * [points]: Computing exacts on every 7 of 122 points to ramp up precision 0.346 * * * * [points]: Setting MPFR precision to 1088 0.349 * * * * [points]: Setting MPFR precision to 1344 0.353 * * * * [points]: Computing exacts on every 3 of 122 points to ramp up precision 0.356 * * * * [points]: Setting MPFR precision to 1088 0.362 * * * * [points]: Setting MPFR precision to 1344 0.370 * * * * [points]: Computing exacts for 122 points 0.406 * * * * [points]: Setting MPFR precision to 1088 0.436 * * * * [points]: Setting MPFR precision to 1344 0.471 * * * * [points]: Filtering points with unrepresentable outputs 0.471 * * * * [points]: Sampling 60 additional inputs, on iter 2 have 196 / 256 0.472 * * * * [points]: Computing exacts on every 3 of 60 points to ramp up precision 0.474 * * * * [points]: Setting MPFR precision to 1088 0.477 * * * * [points]: Setting MPFR precision to 1344 0.481 * * * * [points]: Computing exacts for 60 points 0.484 * * * * [points]: Setting MPFR precision to 1088 0.496 * * * * [points]: Setting MPFR precision to 1344 0.513 * * * * [points]: Filtering points with unrepresentable outputs 0.513 * * * * [points]: Sampling 27 additional inputs, on iter 3 have 229 / 256 0.514 * * * * [points]: Computing exacts for 27 points 0.516 * * * * [points]: Setting MPFR precision to 1088 0.522 * * * * [points]: Setting MPFR precision to 1344 0.529 * * * * [points]: Filtering points with unrepresentable outputs 0.529 * * * * [points]: Sampling 15 additional inputs, on iter 4 have 241 / 256 0.529 * * * * [points]: Computing exacts for 15 points 0.532 * * * * [points]: Setting MPFR precision to 1088 0.535 * * * * [points]: Setting MPFR precision to 1344 0.538 * * * * [points]: Filtering points with unrepresentable outputs 0.538 * * * * [points]: Sampling 11 additional inputs, on iter 5 have 245 / 256 0.539 * * * * [points]: Computing exacts for 11 points 0.541 * * * * [points]: Setting MPFR precision to 1088 0.544 * * * * [points]: Setting MPFR precision to 1344 0.547 * * * * [points]: Filtering points with unrepresentable outputs 0.547 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 254 / 256 0.547 * * * * [points]: Computing exacts for 4 points 0.550 * * * * [points]: Setting MPFR precision to 1088 0.551 * * * * [points]: Setting MPFR precision to 1344 0.552 * * * * [points]: Filtering points with unrepresentable outputs 0.552 * * * * [points]: Sampled 256 points with exact outputs 0.587 * * * [progress]: [2/2] Setting up program. 0.591 * [progress]: [Phase 2 of 3] Improving. 0.594 * [simplify]: Simplifying: (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 0.595 * * [simplify]: Extracting # 0 : cost 0 0.595 * * [simplify]: Extracting # 1 : cost 0 0.595 * * [simplify]: Extracting # 2 : cost 0 0.595 * * [simplify]: Extracting # 3 : cost 0 0.595 * * [simplify]: Extracting # 4 : cost 0 0.595 * * [simplify]: Extracting # 5 : cost 0 0.595 * * [simplify]: Extracting # 6 : cost 0 0.595 * * [simplify]: Extracting # 7 : cost 0 0.595 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 0.602 * * [simplify]: Extracting # 0 : cost 0 0.602 * * [simplify]: Extracting # 1 : cost 0 0.602 * * [simplify]: Extracting # 2 : cost 0 0.602 * * [simplify]: iteration 1 : 16 enodes (cost 15 ) 0.603 * * [simplify]: Extracting # 0 : cost 0 0.603 * * [simplify]: iteration done: 16 enodes (cost 15 ) 0.603 * [simplify]: Simplified to: (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 0.605 * * [progress]: iteration 1 / 4 0.605 * * * [progress]: picking best candidate 0.607 * * * * [pick]: Picked # 0.607 * * * [progress]: localizing error 0.739 * * * [progress]: generating rewritten candidates 0.739 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 0.743 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1) 0.743 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2) 0.743 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 0.747 * * * [progress]: generating series expansions 0.747 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 0.748 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1) 0.748 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2) 0.748 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 0.748 * * * [progress]: simplifying candidates 0.748 * [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.749 * * [simplify]: Extracting # 0 : cost 0 0.749 * * [simplify]: Extracting # 1 : cost 0 0.749 * * [simplify]: Extracting # 2 : cost 0 0.749 * * [simplify]: Extracting # 3 : cost 0 0.749 * * [simplify]: Extracting # 4 : cost 0 0.749 * * [simplify]: Extracting # 5 : cost 0 0.749 * * [simplify]: Extracting # 6 : cost 0 0.749 * * [simplify]: Extracting # 7 : cost 0 0.749 * * [simplify]: iteration 0 : 14 enodes (cost 75 ) 0.751 * * [simplify]: Extracting # 0 : cost 0 0.751 * * [simplify]: Extracting # 1 : cost 0 0.751 * * [simplify]: Extracting # 2 : cost 0 0.751 * * [simplify]: iteration 1 : 21 enodes (cost 75 ) 0.753 * * [simplify]: Extracting # 0 : cost 0 0.753 * * [simplify]: iteration done: 21 enodes (cost 75 ) 0.753 * [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.754 * * * [progress]: adding candidates to table 0.790 * [progress]: [Phase 3 of 3] Extracting. 0.794 * [simplify]: Simplifying: (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 0.794 * * [simplify]: Extracting # 0 : cost 0 0.794 * * [simplify]: Extracting # 1 : cost 0 0.794 * * [simplify]: Extracting # 2 : cost 0 0.794 * * [simplify]: Extracting # 3 : cost 0 0.794 * * [simplify]: Extracting # 4 : cost 0 0.795 * * [simplify]: Extracting # 5 : cost 0 0.795 * * [simplify]: Extracting # 6 : cost 0 0.795 * * [simplify]: Extracting # 7 : cost 0 0.795 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 0.796 * * [simplify]: Extracting # 0 : cost 0 0.796 * * [simplify]: iteration 1 : 13 enodes (cost 15 ) 0.797 * * [simplify]: Extracting # 0 : cost 0 0.797 * * [simplify]: iteration done: 13 enodes (cost 15 ) 0.797 * [simplify]: Simplified to: (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 0.797 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1.005 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision 1.010 * * * * [points]: Setting MPFR precision to 1088 1.014 * * * * [points]: Setting MPFR precision to 1344 1.018 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision 1.020 * * * * [points]: Setting MPFR precision to 1088 1.027 * * * * [points]: Setting MPFR precision to 1344 1.036 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision 1.039 * * * * [points]: Setting MPFR precision to 1088 1.053 * * * * [points]: Setting MPFR precision to 1344 1.070 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision 1.073 * * * * [points]: Setting MPFR precision to 1088 1.118 * * * * [points]: Setting MPFR precision to 1344 1.204 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision 1.209 * * * * [points]: Setting MPFR precision to 1088 1.277 * * * * [points]: Setting MPFR precision to 1344 1.361 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision 1.363 * * * * [points]: Setting MPFR precision to 1088 1.536 * * * * [points]: Setting MPFR precision to 1344 1.746 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision 1.751 * * * * [points]: Setting MPFR precision to 1088 2.093 * * * * [points]: Setting MPFR precision to 1344 2.597 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision 3.075 * * * * [points]: Setting MPFR precision to 1088 3.770 * * * * [points]: Setting MPFR precision to 1344 4.679 * * * * [points]: Computing exacts for 8000 points 4.684 * * * * [points]: Setting MPFR precision to 1088 8.151 * * * * [points]: Setting MPFR precision to 1344 11.947 * * * * [points]: Filtering points with unrepresentable outputs 11.960 * * * * [points]: Sampling 3943 additional inputs, on iter 1 have 4057 / 8000 12.112 * * * * [points]: Computing exacts on every 246 of 3943 points to ramp up precision 12.115 * * * * [points]: Setting MPFR precision to 1088 12.118 * * * * [points]: Setting MPFR precision to 1344 12.122 * * * * [points]: Computing exacts on every 123 of 3943 points to ramp up precision 12.125 * * * * [points]: Setting MPFR precision to 1088 12.132 * * * * [points]: Setting MPFR precision to 1344 12.140 * * * * [points]: Computing exacts on every 61 of 3943 points to ramp up precision 12.143 * * * * [points]: Setting MPFR precision to 1088 12.156 * * * * [points]: Setting MPFR precision to 1344 12.173 * * * * [points]: Computing exacts on every 30 of 3943 points to ramp up precision 12.176 * * * * [points]: Setting MPFR precision to 1088 12.244 * * * * [points]: Setting MPFR precision to 1344 12.295 * * * * [points]: Computing exacts on every 15 of 3943 points to ramp up precision 12.297 * * * * [points]: Setting MPFR precision to 1088 12.365 * * * * [points]: Setting MPFR precision to 1344 12.468 * * * * [points]: Computing exacts on every 7 of 3943 points to ramp up precision 12.471 * * * * [points]: Setting MPFR precision to 1088 12.659 * * * * [points]: Setting MPFR precision to 1344 12.862 * * * * [points]: Computing exacts on every 3 of 3943 points to ramp up precision 12.869 * * * * [points]: Setting MPFR precision to 1088 13.277 * * * * [points]: Setting MPFR precision to 1344 14.247 * * * * [points]: Computing exacts for 3943 points 14.252 * * * * [points]: Setting MPFR precision to 1088 15.668 * * * * [points]: Setting MPFR precision to 1344 17.485 * * * * [points]: Filtering points with unrepresentable outputs 17.490 * * * * [points]: Sampling 1893 additional inputs, on iter 2 have 6107 / 8000 17.540 * * * * [points]: Computing exacts on every 118 of 1893 points to ramp up precision 17.985 * * * * [points]: Setting MPFR precision to 1088 17.989 * * * * [points]: Setting MPFR precision to 1344 17.992 * * * * [points]: Computing exacts on every 59 of 1893 points to ramp up precision 17.996 * * * * [points]: Setting MPFR precision to 1088 18.004 * * * * [points]: Setting MPFR precision to 1344 18.012 * * * * [points]: Computing exacts on every 29 of 1893 points to ramp up precision 18.014 * * * * [points]: Setting MPFR precision to 1088 18.029 * * * * [points]: Setting MPFR precision to 1344 18.049 * * * * [points]: Computing exacts on every 14 of 1893 points to ramp up precision 18.052 * * * * [points]: Setting MPFR precision to 1088 18.079 * * * * [points]: Setting MPFR precision to 1344 18.135 * * * * [points]: Computing exacts on every 7 of 1893 points to ramp up precision 18.140 * * * * [points]: Setting MPFR precision to 1088 18.286 * * * * [points]: Setting MPFR precision to 1344 18.385 * * * * [points]: Computing exacts on every 3 of 1893 points to ramp up precision 18.388 * * * * [points]: Setting MPFR precision to 1088 18.541 * * * * [points]: Setting MPFR precision to 1344 18.779 * * * * [points]: Computing exacts for 1893 points 18.782 * * * * [points]: Setting MPFR precision to 1088 19.474 * * * * [points]: Setting MPFR precision to 1344 20.270 * * * * [points]: Filtering points with unrepresentable outputs 20.272 * * * * [points]: Sampling 959 additional inputs, on iter 3 have 7041 / 8000 20.286 * * * * [points]: Computing exacts on every 59 of 959 points to ramp up precision 20.289 * * * * [points]: Setting MPFR precision to 1088 20.292 * * * * [points]: Setting MPFR precision to 1344 20.296 * * * * [points]: Computing exacts on every 29 of 959 points to ramp up precision 20.301 * * * * [points]: Setting MPFR precision to 1088 20.312 * * * * [points]: Setting MPFR precision to 1344 20.329 * * * * [points]: Computing exacts on every 14 of 959 points to ramp up precision 20.331 * * * * [points]: Setting MPFR precision to 1088 20.372 * * * * [points]: Setting MPFR precision to 1344 20.405 * * * * [points]: Computing exacts on every 7 of 959 points to ramp up precision 20.408 * * * * [points]: Setting MPFR precision to 1088 20.433 * * * * [points]: Setting MPFR precision to 1344 20.493 * * * * [points]: Computing exacts on every 3 of 959 points to ramp up precision 20.497 * * * * [points]: Setting MPFR precision to 1088 20.591 * * * * [points]: Setting MPFR precision to 1344 20.697 * * * * [points]: Computing exacts for 959 points 20.701 * * * * [points]: Setting MPFR precision to 1088 21.045 * * * * [points]: Setting MPFR precision to 1344 21.761 * * * * [points]: Filtering points with unrepresentable outputs 21.762 * * * * [points]: Sampling 487 additional inputs, on iter 4 have 7513 / 8000 21.781 * * * * [points]: Computing exacts on every 30 of 487 points to ramp up precision 21.785 * * * * [points]: Setting MPFR precision to 1088 21.789 * * * * [points]: Setting MPFR precision to 1344 21.793 * * * * [points]: Computing exacts on every 15 of 487 points to ramp up precision 21.796 * * * * [points]: Setting MPFR precision to 1088 21.802 * * * * [points]: Setting MPFR precision to 1344 21.811 * * * * [points]: Computing exacts on every 7 of 487 points to ramp up precision 21.813 * * * * [points]: Setting MPFR precision to 1088 21.825 * * * * [points]: Setting MPFR precision to 1344 21.841 * * * * [points]: Computing exacts on every 3 of 487 points to ramp up precision 21.844 * * * * [points]: Setting MPFR precision to 1088 21.868 * * * * [points]: Setting MPFR precision to 1344 21.901 * * * * [points]: Computing exacts for 487 points 21.904 * * * * [points]: Setting MPFR precision to 1088 22.091 * * * * [points]: Setting MPFR precision to 1344 22.248 * * * * [points]: Filtering points with unrepresentable outputs 22.249 * * * * [points]: Sampling 224 additional inputs, on iter 5 have 7776 / 8000 22.255 * * * * [points]: Computing exacts on every 14 of 224 points to ramp up precision 22.303 * * * * [points]: Setting MPFR precision to 1088 22.308 * * * * [points]: Setting MPFR precision to 1344 22.317 * * * * [points]: Computing exacts on every 7 of 224 points to ramp up precision 22.321 * * * * [points]: Setting MPFR precision to 1088 22.331 * * * * [points]: Setting MPFR precision to 1344 22.343 * * * * [points]: Computing exacts on every 3 of 224 points to ramp up precision 22.347 * * * * [points]: Setting MPFR precision to 1088 22.366 * * * * [points]: Setting MPFR precision to 1344 22.390 * * * * [points]: Computing exacts for 224 points 22.394 * * * * [points]: Setting MPFR precision to 1088 22.454 * * * * [points]: Setting MPFR precision to 1344 22.521 * * * * [points]: Filtering points with unrepresentable outputs 22.522 * * * * [points]: Sampling 114 additional inputs, on iter 6 have 7886 / 8000 22.524 * * * * [points]: Computing exacts on every 7 of 114 points to ramp up precision 22.558 * * * * [points]: Setting MPFR precision to 1088 22.561 * * * * [points]: Setting MPFR precision to 1344 22.565 * * * * [points]: Computing exacts on every 3 of 114 points to ramp up precision 22.569 * * * * [points]: Setting MPFR precision to 1088 22.574 * * * * [points]: Setting MPFR precision to 1344 22.581 * * * * [points]: Computing exacts for 114 points 22.584 * * * * [points]: Setting MPFR precision to 1088 22.620 * * * * [points]: Setting MPFR precision to 1344 22.651 * * * * [points]: Filtering points with unrepresentable outputs 22.651 * * * * [points]: Sampling 66 additional inputs, on iter 7 have 7934 / 8000 22.653 * * * * [points]: Computing exacts on every 4 of 66 points to ramp up precision 22.658 * * * * [points]: Setting MPFR precision to 1088 22.664 * * * * [points]: Setting MPFR precision to 1344 22.670 * * * * [points]: Computing exacts on every 2 of 66 points to ramp up precision 22.676 * * * * [points]: Setting MPFR precision to 1088 22.683 * * * * [points]: Setting MPFR precision to 1344 22.693 * * * * [points]: Computing exacts for 66 points 22.695 * * * * [points]: Setting MPFR precision to 1088 22.709 * * * * [points]: Setting MPFR precision to 1344 22.727 * * * * [points]: Filtering points with unrepresentable outputs 22.727 * * * * [points]: Sampling 33 additional inputs, on iter 8 have 7967 / 8000 22.728 * * * * [points]: Computing exacts on every 2 of 33 points to ramp up precision 22.733 * * * * [points]: Setting MPFR precision to 1088 22.738 * * * * [points]: Setting MPFR precision to 1344 22.745 * * * * [points]: Computing exacts for 33 points 22.781 * * * * [points]: Setting MPFR precision to 1088 22.795 * * * * [points]: Setting MPFR precision to 1344 22.804 * * * * [points]: Filtering points with unrepresentable outputs 22.804 * * * * [points]: Sampling 17 additional inputs, on iter 9 have 7983 / 8000 22.804 * * * * [points]: Computing exacts for 17 points 22.807 * * * * [points]: Setting MPFR precision to 1088 22.811 * * * * [points]: Setting MPFR precision to 1344 22.815 * * * * [points]: Filtering points with unrepresentable outputs 22.815 * * * * [points]: Sampling 7 additional inputs, on iter 10 have 7993 / 8000 22.816 * * * * [points]: Computing exacts for 7 points 22.818 * * * * [points]: Setting MPFR precision to 1088 22.819 * * * * [points]: Setting MPFR precision to 1344 22.822 * * * * [points]: Filtering points with unrepresentable outputs 22.822 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7996 / 8000 22.822 * * * * [points]: Computing exacts for 4 points 22.826 * * * * [points]: Setting MPFR precision to 1088 22.827 * * * * [points]: Setting MPFR precision to 1344 22.828 * * * * [points]: Filtering points with unrepresentable outputs 22.828 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7998 / 8000 22.828 * * * * [points]: Computing exacts for 4 points 22.831 * * * * [points]: Setting MPFR precision to 1088 22.831 * * * * [points]: Setting MPFR precision to 1344 22.832 * * * * [points]: Filtering points with unrepresentable outputs 22.832 * * * * [points]: Sampling 4 additional inputs, on iter 13 have 7999 / 8000 22.832 * * * * [points]: Computing exacts for 4 points 22.835 * * * * [points]: Setting MPFR precision to 1088 22.836 * * * * [points]: Setting MPFR precision to 1344 22.837 * * * * [points]: Filtering points with unrepresentable outputs 22.837 * * * * [points]: Sampled 8000 points with exact outputs 22.935 * [regime-testing]: Baseline error score: 44.246977387257274 22.940 * [regime-testing]: Oracle error score: 44.246977387257274 22.940 * [regime-testing]: End program error score: 44.246977387257274