0.551 * [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.009 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 0.054 * * * * [points]: Setting MPFR precision to 64 0.056 * * * * [points]: Setting MPFR precision to 320 0.058 * * * * [points]: Setting MPFR precision to 576 0.061 * * * * [points]: Setting MPFR precision to 832 0.063 * * * * [points]: Setting MPFR precision to 1088 0.067 * * * * [points]: Setting MPFR precision to 1344 0.071 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.075 * * * * [points]: Setting MPFR precision to 1088 0.087 * * * * [points]: Setting MPFR precision to 1344 0.101 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 0.106 * * * * [points]: Setting MPFR precision to 1088 0.127 * * * * [points]: Setting MPFR precision to 1344 0.152 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 0.156 * * * * [points]: Setting MPFR precision to 1088 0.190 * * * * [points]: Setting MPFR precision to 1344 0.268 * * * * [points]: Computing exacts for 256 points 0.273 * * * * [points]: Setting MPFR precision to 1088 0.381 * * * * [points]: Setting MPFR precision to 1344 0.474 * * * * [points]: Filtering points with unrepresentable outputs 0.475 * * * * [points]: Sampling 123 additional inputs, on iter 1 have 133 / 256 0.477 * * * * [points]: Computing exacts on every 7 of 123 points to ramp up precision 0.481 * * * * [points]: Setting MPFR precision to 1088 0.488 * * * * [points]: Setting MPFR precision to 1344 0.495 * * * * [points]: Computing exacts on every 3 of 123 points to ramp up precision 0.499 * * * * [points]: Setting MPFR precision to 1088 0.512 * * * * [points]: Setting MPFR precision to 1344 0.530 * * * * [points]: Computing exacts for 123 points 0.535 * * * * [points]: Setting MPFR precision to 1088 0.613 * * * * [points]: Setting MPFR precision to 1344 0.658 * * * * [points]: Filtering points with unrepresentable outputs 0.658 * * * * [points]: Sampling 60 additional inputs, on iter 2 have 196 / 256 0.659 * * * * [points]: Computing exacts on every 3 of 60 points to ramp up precision 0.664 * * * * [points]: Setting MPFR precision to 1088 0.670 * * * * [points]: Setting MPFR precision to 1344 0.676 * * * * [points]: Computing exacts for 60 points 0.681 * * * * [points]: Setting MPFR precision to 1088 0.707 * * * * [points]: Setting MPFR precision to 1344 0.735 * * * * [points]: Filtering points with unrepresentable outputs 0.735 * * * * [points]: Sampling 31 additional inputs, on iter 3 have 225 / 256 0.736 * * * * [points]: Computing exacts for 31 points 0.740 * * * * [points]: Setting MPFR precision to 1088 0.753 * * * * [points]: Setting MPFR precision to 1344 0.768 * * * * [points]: Filtering points with unrepresentable outputs 0.768 * * * * [points]: Sampling 11 additional inputs, on iter 4 have 245 / 256 0.768 * * * * [points]: Computing exacts for 11 points 0.772 * * * * [points]: Setting MPFR precision to 1088 0.777 * * * * [points]: Setting MPFR precision to 1344 0.783 * * * * [points]: Filtering points with unrepresentable outputs 0.783 * * * * [points]: Sampling 7 additional inputs, on iter 5 have 249 / 256 0.784 * * * * [points]: Computing exacts for 7 points 0.788 * * * * [points]: Setting MPFR precision to 1088 0.791 * * * * [points]: Setting MPFR precision to 1344 0.795 * * * * [points]: Filtering points with unrepresentable outputs 0.795 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 254 / 256 0.795 * * * * [points]: Computing exacts for 4 points 0.800 * * * * [points]: Setting MPFR precision to 1088 0.801 * * * * [points]: Setting MPFR precision to 1344 0.802 * * * * [points]: Filtering points with unrepresentable outputs 0.802 * * * * [points]: Sampled 256 points with exact outputs 0.803 * * * [progress]: [2/2] Setting up program. 0.808 * [progress]: [Phase 2 of 3] Improving. 0.812 * [simplify]: Simplifying: (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 0.814 * * [simplify]: Extracting # 0 : cost 0 0.814 * * [simplify]: Extracting # 1 : cost 0 0.814 * * [simplify]: Extracting # 2 : cost 0 0.814 * * [simplify]: Extracting # 3 : cost 0 0.814 * * [simplify]: Extracting # 4 : cost 0 0.815 * * [simplify]: Extracting # 5 : cost 0 0.815 * * [simplify]: Extracting # 6 : cost 0 0.815 * * [simplify]: Extracting # 7 : cost 0 0.815 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 0.860 * * [simplify]: Extracting # 0 : cost 0 0.860 * * [simplify]: Extracting # 1 : cost 0 0.860 * * [simplify]: Extracting # 2 : cost 0 0.860 * * [simplify]: iteration 1 : 16 enodes (cost 15 ) 0.863 * * [simplify]: Extracting # 0 : cost 0 0.863 * * [simplify]: iteration done: 16 enodes (cost 15 ) 0.863 * [simplify]: Simplified to: (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 0.868 * * [progress]: iteration 1 / 4 0.868 * * * [progress]: picking best candidate 0.872 * * * * [pick]: Picked # 0.872 * * * [progress]: localizing error 1.019 * * * [progress]: generating rewritten candidates 1.019 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 1.026 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1) 1.026 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2) 1.026 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 1.034 * * * [progress]: generating series expansions 1.034 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 1.034 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1) 1.034 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2) 1.034 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 1.034 * * * [progress]: simplifying candidates 1.035 * [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.035 * * [simplify]: Extracting # 0 : cost 0 1.035 * * [simplify]: Extracting # 1 : cost 0 1.035 * * [simplify]: Extracting # 2 : cost 0 1.035 * * [simplify]: Extracting # 3 : cost 0 1.035 * * [simplify]: Extracting # 4 : cost 0 1.036 * * [simplify]: Extracting # 5 : cost 0 1.036 * * [simplify]: Extracting # 6 : cost 0 1.036 * * [simplify]: Extracting # 7 : cost 0 1.036 * * [simplify]: iteration 0 : 14 enodes (cost 75 ) 1.039 * * [simplify]: Extracting # 0 : cost 0 1.039 * * [simplify]: Extracting # 1 : cost 0 1.039 * * [simplify]: Extracting # 2 : cost 0 1.039 * * [simplify]: iteration 1 : 21 enodes (cost 75 ) 1.043 * * [simplify]: Extracting # 0 : cost 0 1.043 * * [simplify]: iteration done: 21 enodes (cost 75 ) 1.044 * [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.044 * * * [progress]: adding candidates to table 1.057 * [progress]: [Phase 3 of 3] Extracting. 1.061 * [simplify]: Simplifying: (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 1.061 * * [simplify]: Extracting # 0 : cost 0 1.061 * * [simplify]: Extracting # 1 : cost 0 1.061 * * [simplify]: Extracting # 2 : cost 0 1.061 * * [simplify]: Extracting # 3 : cost 0 1.061 * * [simplify]: Extracting # 4 : cost 0 1.062 * * [simplify]: Extracting # 5 : cost 0 1.062 * * [simplify]: Extracting # 6 : cost 0 1.062 * * [simplify]: Extracting # 7 : cost 0 1.062 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 1.063 * * [simplify]: Extracting # 0 : cost 0 1.063 * * [simplify]: iteration 1 : 13 enodes (cost 15 ) 1.064 * * [simplify]: Extracting # 0 : cost 0 1.064 * * [simplify]: iteration done: 13 enodes (cost 15 ) 1.064 * [simplify]: Simplified to: (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 1.064 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1.235 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision 1.240 * * * * [points]: Setting MPFR precision to 1088 1.246 * * * * [points]: Setting MPFR precision to 1344 1.252 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision 1.257 * * * * [points]: Setting MPFR precision to 1088 1.266 * * * * [points]: Setting MPFR precision to 1344 1.272 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision 1.275 * * * * [points]: Setting MPFR precision to 1088 1.303 * * * * [points]: Setting MPFR precision to 1344 1.329 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision 1.333 * * * * [points]: Setting MPFR precision to 1088 1.374 * * * * [points]: Setting MPFR precision to 1344 1.414 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision 1.418 * * * * [points]: Setting MPFR precision to 1088 1.517 * * * * [points]: Setting MPFR precision to 1344 1.608 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision 1.614 * * * * [points]: Setting MPFR precision to 1088 1.825 * * * * [points]: Setting MPFR precision to 1344 2.089 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision 2.091 * * * * [points]: Setting MPFR precision to 1088 2.418 * * * * [points]: Setting MPFR precision to 1344 2.940 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision 2.943 * * * * [points]: Setting MPFR precision to 1088 4.077 * * * * [points]: Setting MPFR precision to 1344 4.972 * * * * [points]: Computing exacts for 8000 points 4.974 * * * * [points]: Setting MPFR precision to 1088 8.294 * * * * [points]: Setting MPFR precision to 1344 12.486 * * * * [points]: Filtering points with unrepresentable outputs 12.499 * * * * [points]: Sampling 3925 additional inputs, on iter 1 have 4075 / 8000 12.570 * * * * [points]: Computing exacts on every 245 of 3925 points to ramp up precision 12.574 * * * * [points]: Setting MPFR precision to 1088 12.577 * * * * [points]: Setting MPFR precision to 1344 12.580 * * * * [points]: Computing exacts on every 122 of 3925 points to ramp up precision 12.583 * * * * [points]: Setting MPFR precision to 1088 12.602 * * * * [points]: Setting MPFR precision to 1344 12.610 * * * * [points]: Computing exacts on every 61 of 3925 points to ramp up precision 12.612 * * * * [points]: Setting MPFR precision to 1088 12.633 * * * * [points]: Setting MPFR precision to 1344 12.666 * * * * [points]: Computing exacts on every 30 of 3925 points to ramp up precision 12.671 * * * * [points]: Setting MPFR precision to 1088 12.719 * * * * [points]: Setting MPFR precision to 1344 12.764 * * * * [points]: Computing exacts on every 15 of 3925 points to ramp up precision 12.769 * * * * [points]: Setting MPFR precision to 1088 12.840 * * * * [points]: Setting MPFR precision to 1344 13.002 * * * * [points]: Computing exacts on every 7 of 3925 points to ramp up precision 13.006 * * * * [points]: Setting MPFR precision to 1088 13.201 * * * * [points]: Setting MPFR precision to 1344 13.479 * * * * [points]: Computing exacts on every 3 of 3925 points to ramp up precision 13.484 * * * * [points]: Setting MPFR precision to 1088 13.881 * * * * [points]: Setting MPFR precision to 1344 14.372 * * * * [points]: Computing exacts for 3925 points 14.376 * * * * [points]: Setting MPFR precision to 1088 16.166 * * * * [points]: Setting MPFR precision to 1344 17.836 * * * * [points]: Filtering points with unrepresentable outputs 17.840 * * * * [points]: Sampling 1963 additional inputs, on iter 2 have 6037 / 8000 17.861 * * * * [points]: Computing exacts on every 122 of 1963 points to ramp up precision 17.863 * * * * [points]: Setting MPFR precision to 1088 17.866 * * * * [points]: Setting MPFR precision to 1344 17.873 * * * * [points]: Computing exacts on every 61 of 1963 points to ramp up precision 17.877 * * * * [points]: Setting MPFR precision to 1088 17.889 * * * * [points]: Setting MPFR precision to 1344 17.905 * * * * [points]: Computing exacts on every 30 of 1963 points to ramp up precision 17.910 * * * * [points]: Setting MPFR precision to 1088 17.934 * * * * [points]: Setting MPFR precision to 1344 17.965 * * * * [points]: Computing exacts on every 15 of 1963 points to ramp up precision 17.969 * * * * [points]: Setting MPFR precision to 1088 18.018 * * * * [points]: Setting MPFR precision to 1344 18.493 * * * * [points]: Computing exacts on every 7 of 1963 points to ramp up precision 18.498 * * * * [points]: Setting MPFR precision to 1088 18.565 * * * * [points]: Setting MPFR precision to 1344 18.631 * * * * [points]: Computing exacts on every 3 of 1963 points to ramp up precision 18.634 * * * * [points]: Setting MPFR precision to 1088 18.850 * * * * [points]: Setting MPFR precision to 1344 19.004 * * * * [points]: Computing exacts for 1963 points 19.006 * * * * [points]: Setting MPFR precision to 1088 19.831 * * * * [points]: Setting MPFR precision to 1344 20.672 * * * * [points]: Filtering points with unrepresentable outputs 20.675 * * * * [points]: Sampling 1000 additional inputs, on iter 3 have 7000 / 8000 20.685 * * * * [points]: Computing exacts on every 62 of 1000 points to ramp up precision 20.742 * * * * [points]: Setting MPFR precision to 1088 20.754 * * * * [points]: Setting MPFR precision to 1344 20.764 * * * * [points]: Computing exacts on every 31 of 1000 points to ramp up precision 20.768 * * * * [points]: Setting MPFR precision to 1088 20.781 * * * * [points]: Setting MPFR precision to 1344 20.800 * * * * [points]: Computing exacts on every 15 of 1000 points to ramp up precision 20.804 * * * * [points]: Setting MPFR precision to 1088 20.829 * * * * [points]: Setting MPFR precision to 1344 20.861 * * * * [points]: Computing exacts on every 7 of 1000 points to ramp up precision 20.866 * * * * [points]: Setting MPFR precision to 1088 20.919 * * * * [points]: Setting MPFR precision to 1344 20.980 * * * * [points]: Computing exacts on every 3 of 1000 points to ramp up precision 20.985 * * * * [points]: Setting MPFR precision to 1088 21.114 * * * * [points]: Setting MPFR precision to 1344 21.188 * * * * [points]: Computing exacts for 1000 points 21.190 * * * * [points]: Setting MPFR precision to 1088 21.440 * * * * [points]: Setting MPFR precision to 1344 22.291 * * * * [points]: Filtering points with unrepresentable outputs 22.292 * * * * [points]: Sampling 485 additional inputs, on iter 4 have 7515 / 8000 22.301 * * * * [points]: Computing exacts on every 30 of 485 points to ramp up precision 22.305 * * * * [points]: Setting MPFR precision to 1088 22.312 * * * * [points]: Setting MPFR precision to 1344 22.320 * * * * [points]: Computing exacts on every 15 of 485 points to ramp up precision 22.324 * * * * [points]: Setting MPFR precision to 1088 22.336 * * * * [points]: Setting MPFR precision to 1344 22.349 * * * * [points]: Computing exacts on every 7 of 485 points to ramp up precision 22.352 * * * * [points]: Setting MPFR precision to 1088 22.366 * * * * [points]: Setting MPFR precision to 1344 22.392 * * * * [points]: Computing exacts on every 3 of 485 points to ramp up precision 22.434 * * * * [points]: Setting MPFR precision to 1088 22.476 * * * * [points]: Setting MPFR precision to 1344 22.537 * * * * [points]: Computing exacts for 485 points 22.542 * * * * [points]: Setting MPFR precision to 1088 22.735 * * * * [points]: Setting MPFR precision to 1344 22.959 * * * * [points]: Filtering points with unrepresentable outputs 22.960 * * * * [points]: Sampling 212 additional inputs, on iter 5 have 7788 / 8000 22.964 * * * * [points]: Computing exacts on every 13 of 212 points to ramp up precision 22.968 * * * * [points]: Setting MPFR precision to 1088 22.974 * * * * [points]: Setting MPFR precision to 1344 22.978 * * * * [points]: Computing exacts on every 6 of 212 points to ramp up precision 22.981 * * * * [points]: Setting MPFR precision to 1088 22.987 * * * * [points]: Setting MPFR precision to 1344 22.995 * * * * [points]: Computing exacts on every 3 of 212 points to ramp up precision 22.998 * * * * [points]: Setting MPFR precision to 1088 23.009 * * * * [points]: Setting MPFR precision to 1344 23.033 * * * * [points]: Computing exacts for 212 points 23.038 * * * * [points]: Setting MPFR precision to 1088 23.127 * * * * [points]: Setting MPFR precision to 1344 23.213 * * * * [points]: Filtering points with unrepresentable outputs 23.213 * * * * [points]: Sampling 102 additional inputs, on iter 6 have 7898 / 8000 23.214 * * * * [points]: Computing exacts on every 6 of 102 points to ramp up precision 23.217 * * * * [points]: Setting MPFR precision to 1088 23.222 * * * * [points]: Setting MPFR precision to 1344 23.225 * * * * [points]: Computing exacts on every 3 of 102 points to ramp up precision 23.229 * * * * [points]: Setting MPFR precision to 1088 23.239 * * * * [points]: Setting MPFR precision to 1344 23.252 * * * * [points]: Computing exacts for 102 points 23.256 * * * * [points]: Setting MPFR precision to 1088 23.301 * * * * [points]: Setting MPFR precision to 1344 23.352 * * * * [points]: Filtering points with unrepresentable outputs 23.352 * * * * [points]: Sampling 47 additional inputs, on iter 7 have 7953 / 8000 23.354 * * * * [points]: Computing exacts on every 2 of 47 points to ramp up precision 23.359 * * * * [points]: Setting MPFR precision to 1088 23.365 * * * * [points]: Setting MPFR precision to 1344 23.372 * * * * [points]: Computing exacts for 47 points 23.377 * * * * [points]: Setting MPFR precision to 1088 23.397 * * * * [points]: Setting MPFR precision to 1344 23.420 * * * * [points]: Filtering points with unrepresentable outputs 23.420 * * * * [points]: Sampling 21 additional inputs, on iter 8 have 7979 / 8000 23.421 * * * * [points]: Computing exacts for 21 points 23.463 * * * * [points]: Setting MPFR precision to 1088 23.467 * * * * [points]: Setting MPFR precision to 1344 23.475 * * * * [points]: Filtering points with unrepresentable outputs 23.475 * * * * [points]: Sampling 9 additional inputs, on iter 9 have 7991 / 8000 23.475 * * * * [points]: Computing exacts for 9 points 23.478 * * * * [points]: Setting MPFR precision to 1088 23.480 * * * * [points]: Setting MPFR precision to 1344 23.482 * * * * [points]: Filtering points with unrepresentable outputs 23.482 * * * * [points]: Sampling 4 additional inputs, on iter 10 have 7999 / 8000 23.483 * * * * [points]: Computing exacts for 4 points 23.486 * * * * [points]: Setting MPFR precision to 1088 23.487 * * * * [points]: Setting MPFR precision to 1344 23.489 * * * * [points]: Filtering points with unrepresentable outputs 23.489 * * * * [points]: Sampled 8002 points with exact outputs 23.647 * [regime-testing]: Baseline error score: 43.16880747865889 23.653 * [regime-testing]: Oracle error score: 43.16880747865889 23.653 * [regime-testing]: End program error score: 43.16880747865889