1.100 * [progress]: [Phase 1 of 3] Setting up. 0.003 * * * [progress]: [1/2] Preparing points 0.003 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256 0.006 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 0.117 * * * * [points]: Setting MPFR precision to 64 0.122 * * * * [points]: Setting MPFR precision to 320 0.126 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.129 * * * * [points]: Setting MPFR precision to 64 0.135 * * * * [points]: Setting MPFR precision to 320 0.142 * * * * [points]: Setting MPFR precision to 576 0.149 * * * * [points]: Setting MPFR precision to 832 0.160 * * * * [points]: Setting MPFR precision to 1088 0.173 * * * * [points]: Setting MPFR precision to 1344 0.189 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 0.194 * * * * [points]: Setting MPFR precision to 1088 0.215 * * * * [points]: Setting MPFR precision to 1344 0.241 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 0.246 * * * * [points]: Setting MPFR precision to 1088 0.273 * * * * [points]: Setting MPFR precision to 1344 0.298 * * * * [points]: Computing exacts for 256 points 0.301 * * * * [points]: Setting MPFR precision to 1088 0.422 * * * * [points]: Setting MPFR precision to 1344 0.567 * * * * [points]: Filtering points with unrepresentable outputs 0.570 * * * * [points]: Sampling 119 additional inputs, on iter 1 have 137 / 256 0.572 * * * * [points]: Computing exacts on every 7 of 119 points to ramp up precision 0.578 * * * * [points]: Setting MPFR precision to 1088 0.584 * * * * [points]: Setting MPFR precision to 1344 0.591 * * * * [points]: Computing exacts on every 3 of 119 points to ramp up precision 0.596 * * * * [points]: Setting MPFR precision to 1088 0.609 * * * * [points]: Setting MPFR precision to 1344 0.624 * * * * [points]: Computing exacts for 119 points 0.630 * * * * [points]: Setting MPFR precision to 1088 0.687 * * * * [points]: Setting MPFR precision to 1344 0.756 * * * * [points]: Filtering points with unrepresentable outputs 0.759 * * * * [points]: Sampling 55 additional inputs, on iter 2 have 201 / 256 0.759 * * * * [points]: Computing exacts on every 3 of 55 points to ramp up precision 0.762 * * * * [points]: Setting MPFR precision to 1088 0.765 * * * * [points]: Setting MPFR precision to 1344 0.769 * * * * [points]: Computing exacts for 55 points 0.772 * * * * [points]: Setting MPFR precision to 1088 0.793 * * * * [points]: Setting MPFR precision to 1344 0.810 * * * * [points]: Filtering points with unrepresentable outputs 0.810 * * * * [points]: Sampling 19 additional inputs, on iter 3 have 237 / 256 0.811 * * * * [points]: Computing exacts for 19 points 0.813 * * * * [points]: Setting MPFR precision to 1088 0.818 * * * * [points]: Setting MPFR precision to 1344 0.828 * * * * [points]: Filtering points with unrepresentable outputs 0.828 * * * * [points]: Sampling 13 additional inputs, on iter 4 have 243 / 256 0.829 * * * * [points]: Computing exacts for 13 points 0.834 * * * * [points]: Setting MPFR precision to 1088 0.842 * * * * [points]: Setting MPFR precision to 1344 0.850 * * * * [points]: Filtering points with unrepresentable outputs 0.851 * * * * [points]: Sampling 4 additional inputs, on iter 5 have 254 / 256 0.851 * * * * [points]: Computing exacts for 4 points 0.857 * * * * [points]: Setting MPFR precision to 1088 0.859 * * * * [points]: Setting MPFR precision to 1344 0.861 * * * * [points]: Filtering points with unrepresentable outputs 0.861 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 255 / 256 0.861 * * * * [points]: Computing exacts for 4 points 0.866 * * * * [points]: Setting MPFR precision to 1088 0.868 * * * * [points]: Setting MPFR precision to 1344 0.870 * * * * [points]: Filtering points with unrepresentable outputs 0.870 * * * * [points]: Sampled 258 points with exact outputs 0.870 * * * [progress]: [2/2] Setting up program. 0.885 * [progress]: [Phase 2 of 3] Improving. 0.886 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.888 * [simplify]: Simplifying: (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 0.889 * * [simplify]: iteration 0: 12 enodes 0.914 * * [simplify]: iteration 1: 16 enodes 0.920 * * [simplify]: iteration complete: 16 enodes 0.921 * * [simplify]: Extracting #0: cost 1 inf + 0 0.921 * * [simplify]: Extracting #1: cost 2 inf + 0 0.921 * * [simplify]: Extracting #2: cost 4 inf + 0 0.921 * * [simplify]: Extracting #3: cost 8 inf + 0 0.921 * * [simplify]: Extracting #4: cost 7 inf + 4 0.921 * * [simplify]: Extracting #5: cost 11 inf + 4 0.922 * * [simplify]: Extracting #6: cost 8 inf + 47 0.922 * * [simplify]: Extracting #7: cost 3 inf + 396 0.922 * * [simplify]: Extracting #8: cost 0 inf + 2186 0.922 * [simplify]: Simplified to: (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2.0 0.0))) 0.925 * * [progress]: iteration 1 / 4 0.925 * * * [progress]: picking best candidate 0.933 * * * * [pick]: Picked # 0.934 * * * [progress]: localizing error 1.111 * * * [progress]: generating rewritten candidates 1.112 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 1.130 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2) 1.130 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 1.131 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 1.136 * * * [progress]: generating series expansions 1.136 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 1.136 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2) 1.136 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 1.136 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 1.136 * * * [progress]: simplifying candidates 1.136 * * * * [progress]: [ 1 / 6 ] simplifiying candidate # 1.136 * * * * [progress]: [ 2 / 6 ] simplifiying candidate # 1.136 * * * * [progress]: [ 3 / 6 ] simplifiying candidate # 1.137 * * * * [progress]: [ 4 / 6 ] simplifiying candidate # 1.137 * * * * [progress]: [ 5 / 6 ] simplifiying candidate # 1.137 * * * * [progress]: [ 6 / 6 ] simplifiying candidate # 1.137 * [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.137 * * [simplify]: iteration 0: 14 enodes 1.142 * * [simplify]: iteration 1: 21 enodes 1.153 * * [simplify]: iteration complete: 21 enodes 1.153 * * [simplify]: Extracting #0: cost 3 inf + 0 1.153 * * [simplify]: Extracting #1: cost 8 inf + 0 1.153 * * [simplify]: Extracting #2: cost 12 inf + 0 1.153 * * [simplify]: Extracting #3: cost 10 inf + 86 1.153 * * [simplify]: Extracting #4: cost 12 inf + 168 1.153 * * [simplify]: Extracting #5: cost 9 inf + 211 1.154 * * [simplify]: Extracting #6: cost 4 inf + 560 1.154 * * [simplify]: Extracting #7: cost 0 inf + 2732 1.155 * [simplify]: Simplified to: (neg.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim)))) (neg.c (complex 2.0 0.0)) (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2.0 0.0))) (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2.0 0.0))) (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2.0 0.0))) (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2.0 0.0))) 1.155 * * * [progress]: adding candidates to table 1.179 * [progress]: [Phase 3 of 3] Extracting. 1.188 * [simplify]: Simplifying: (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 1.189 * * [simplify]: iteration 0: 12 enodes 1.191 * * [simplify]: iteration 1: 13 enodes 1.192 * * [simplify]: iteration complete: 13 enodes 1.192 * * [simplify]: Extracting #0: cost 1 inf + 0 1.192 * * [simplify]: Extracting #1: cost 2 inf + 0 1.192 * * [simplify]: Extracting #2: cost 4 inf + 0 1.192 * * [simplify]: Extracting #3: cost 8 inf + 0 1.192 * * [simplify]: Extracting #4: cost 7 inf + 4 1.192 * * [simplify]: Extracting #5: cost 9 inf + 4 1.192 * * [simplify]: Extracting #6: cost 7 inf + 6 1.193 * * [simplify]: Extracting #7: cost 0 inf + 2104 1.193 * [simplify]: Simplified to: (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2.0 0.0))) 1.193 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1.293 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision 1.296 * * * * [points]: Setting MPFR precision to 1088 1.299 * * * * [points]: Setting MPFR precision to 1344 1.303 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision 1.306 * * * * [points]: Setting MPFR precision to 1088 1.314 * * * * [points]: Setting MPFR precision to 1344 1.333 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision 1.338 * * * * [points]: Setting MPFR precision to 1088 1.380 * * * * [points]: Setting MPFR precision to 1344 1.404 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision 1.407 * * * * [points]: Setting MPFR precision to 1088 1.454 * * * * [points]: Setting MPFR precision to 1344 1.498 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision 1.502 * * * * [points]: Setting MPFR precision to 1088 1.581 * * * * [points]: Setting MPFR precision to 1344 1.762 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision 1.768 * * * * [points]: Setting MPFR precision to 1088 1.959 * * * * [points]: Setting MPFR precision to 1344 2.179 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision 2.182 * * * * [points]: Setting MPFR precision to 1088 2.568 * * * * [points]: Setting MPFR precision to 1344 3.053 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision 3.058 * * * * [points]: Setting MPFR precision to 1088 4.245 * * * * [points]: Setting MPFR precision to 1344 5.227 * * * * [points]: Computing exacts for 8000 points 5.232 * * * * [points]: Setting MPFR precision to 1088 8.859 * * * * [points]: Setting MPFR precision to 1344 12.835 * * * * [points]: Filtering points with unrepresentable outputs 12.955 * * * * [points]: Sampling 3964 additional inputs, on iter 1 have 4036 / 8000 13.008 * * * * [points]: Computing exacts on every 247 of 3964 points to ramp up precision 13.011 * * * * [points]: Setting MPFR precision to 1088 13.014 * * * * [points]: Setting MPFR precision to 1344 13.019 * * * * [points]: Computing exacts on every 123 of 3964 points to ramp up precision 13.022 * * * * [points]: Setting MPFR precision to 1088 13.030 * * * * [points]: Setting MPFR precision to 1344 13.046 * * * * [points]: Computing exacts on every 61 of 3964 points to ramp up precision 13.056 * * * * [points]: Setting MPFR precision to 1088 13.071 * * * * [points]: Setting MPFR precision to 1344 13.096 * * * * [points]: Computing exacts on every 30 of 3964 points to ramp up precision 13.099 * * * * [points]: Setting MPFR precision to 1088 13.130 * * * * [points]: Setting MPFR precision to 1344 13.169 * * * * [points]: Computing exacts on every 15 of 3964 points to ramp up precision 13.172 * * * * [points]: Setting MPFR precision to 1088 13.273 * * * * [points]: Setting MPFR precision to 1344 13.410 * * * * [points]: Computing exacts on every 7 of 3964 points to ramp up precision 13.413 * * * * [points]: Setting MPFR precision to 1088 13.556 * * * * [points]: Setting MPFR precision to 1344 13.821 * * * * [points]: Computing exacts on every 3 of 3964 points to ramp up precision 13.827 * * * * [points]: Setting MPFR precision to 1088 14.211 * * * * [points]: Setting MPFR precision to 1344 14.654 * * * * [points]: Computing exacts for 3964 points 14.660 * * * * [points]: Setting MPFR precision to 1088 16.542 * * * * [points]: Setting MPFR precision to 1344 18.501 * * * * [points]: Filtering points with unrepresentable outputs 18.530 * * * * [points]: Sampling 1974 additional inputs, on iter 2 have 6026 / 8000 18.552 * * * * [points]: Computing exacts on every 123 of 1974 points to ramp up precision 18.555 * * * * [points]: Setting MPFR precision to 1088 18.558 * * * * [points]: Setting MPFR precision to 1344 18.562 * * * * [points]: Computing exacts on every 61 of 1974 points to ramp up precision 18.577 * * * * [points]: Setting MPFR precision to 1088 18.590 * * * * [points]: Setting MPFR precision to 1344 18.608 * * * * [points]: Computing exacts on every 30 of 1974 points to ramp up precision 18.614 * * * * [points]: Setting MPFR precision to 1088 18.639 * * * * [points]: Setting MPFR precision to 1344 18.665 * * * * [points]: Computing exacts on every 15 of 1974 points to ramp up precision 18.667 * * * * [points]: Setting MPFR precision to 1088 18.702 * * * * [points]: Setting MPFR precision to 1344 18.738 * * * * [points]: Computing exacts on every 7 of 1974 points to ramp up precision 18.741 * * * * [points]: Setting MPFR precision to 1088 18.816 * * * * [points]: Setting MPFR precision to 1344 18.917 * * * * [points]: Computing exacts on every 3 of 1974 points to ramp up precision 18.920 * * * * [points]: Setting MPFR precision to 1088 19.039 * * * * [points]: Setting MPFR precision to 1344 19.248 * * * * [points]: Computing exacts for 1974 points 19.251 * * * * [points]: Setting MPFR precision to 1088 19.928 * * * * [points]: Setting MPFR precision to 1344 20.883 * * * * [points]: Filtering points with unrepresentable outputs 20.900 * * * * [points]: Sampling 985 additional inputs, on iter 3 have 7015 / 8000 20.915 * * * * [points]: Computing exacts on every 61 of 985 points to ramp up precision 20.920 * * * * [points]: Setting MPFR precision to 1088 20.928 * * * * [points]: Setting MPFR precision to 1344 20.937 * * * * [points]: Computing exacts on every 30 of 985 points to ramp up precision 20.942 * * * * [points]: Setting MPFR precision to 1088 20.957 * * * * [points]: Setting MPFR precision to 1344 20.973 * * * * [points]: Computing exacts on every 15 of 985 points to ramp up precision 20.977 * * * * [points]: Setting MPFR precision to 1088 20.995 * * * * [points]: Setting MPFR precision to 1344 21.013 * * * * [points]: Computing exacts on every 7 of 985 points to ramp up precision 21.016 * * * * [points]: Setting MPFR precision to 1088 21.083 * * * * [points]: Setting MPFR precision to 1344 21.123 * * * * [points]: Computing exacts on every 3 of 985 points to ramp up precision 21.128 * * * * [points]: Setting MPFR precision to 1088 21.230 * * * * [points]: Setting MPFR precision to 1344 21.364 * * * * [points]: Computing exacts for 985 points 21.369 * * * * [points]: Setting MPFR precision to 1088 22.171 * * * * [points]: Setting MPFR precision to 1344 22.595 * * * * [points]: Filtering points with unrepresentable outputs 22.601 * * * * [points]: Sampling 493 additional inputs, on iter 4 have 7507 / 8000 22.605 * * * * [points]: Computing exacts on every 30 of 493 points to ramp up precision 22.608 * * * * [points]: Setting MPFR precision to 1088 22.611 * * * * [points]: Setting MPFR precision to 1344 22.616 * * * * [points]: Computing exacts on every 15 of 493 points to ramp up precision 22.619 * * * * [points]: Setting MPFR precision to 1088 22.632 * * * * [points]: Setting MPFR precision to 1344 22.648 * * * * [points]: Computing exacts on every 7 of 493 points to ramp up precision 22.653 * * * * [points]: Setting MPFR precision to 1088 22.674 * * * * [points]: Setting MPFR precision to 1344 22.691 * * * * [points]: Computing exacts on every 3 of 493 points to ramp up precision 22.694 * * * * [points]: Setting MPFR precision to 1088 22.775 * * * * [points]: Setting MPFR precision to 1344 22.823 * * * * [points]: Computing exacts for 493 points 22.826 * * * * [points]: Setting MPFR precision to 1088 22.980 * * * * [points]: Setting MPFR precision to 1344 23.231 * * * * [points]: Filtering points with unrepresentable outputs 23.236 * * * * [points]: Sampling 254 additional inputs, on iter 5 have 7746 / 8000 23.240 * * * * [points]: Computing exacts on every 15 of 254 points to ramp up precision 23.245 * * * * [points]: Setting MPFR precision to 1088 23.252 * * * * [points]: Setting MPFR precision to 1344 23.259 * * * * [points]: Computing exacts on every 7 of 254 points to ramp up precision 23.264 * * * * [points]: Setting MPFR precision to 1088 23.278 * * * * [points]: Setting MPFR precision to 1344 23.294 * * * * [points]: Computing exacts on every 3 of 254 points to ramp up precision 23.299 * * * * [points]: Setting MPFR precision to 1088 23.327 * * * * [points]: Setting MPFR precision to 1344 23.360 * * * * [points]: Computing exacts for 254 points 23.365 * * * * [points]: Setting MPFR precision to 1088 23.471 * * * * [points]: Setting MPFR precision to 1344 23.569 * * * * [points]: Filtering points with unrepresentable outputs 23.572 * * * * [points]: Sampling 117 additional inputs, on iter 6 have 7883 / 8000 23.574 * * * * [points]: Computing exacts on every 7 of 117 points to ramp up precision 23.579 * * * * [points]: Setting MPFR precision to 1088 23.585 * * * * [points]: Setting MPFR precision to 1344 23.592 * * * * [points]: Computing exacts on every 3 of 117 points to ramp up precision 23.597 * * * * [points]: Setting MPFR precision to 1088 23.610 * * * * [points]: Setting MPFR precision to 1344 23.624 * * * * [points]: Computing exacts for 117 points 23.629 * * * * [points]: Setting MPFR precision to 1088 23.719 * * * * [points]: Setting MPFR precision to 1344 23.761 * * * * [points]: Filtering points with unrepresentable outputs 23.762 * * * * [points]: Sampling 54 additional inputs, on iter 7 have 7946 / 8000 23.762 * * * * [points]: Computing exacts on every 3 of 54 points to ramp up precision 23.765 * * * * [points]: Setting MPFR precision to 1088 23.768 * * * * [points]: Setting MPFR precision to 1344 23.771 * * * * [points]: Computing exacts for 54 points 23.774 * * * * [points]: Setting MPFR precision to 1088 23.792 * * * * [points]: Setting MPFR precision to 1344 23.810 * * * * [points]: Filtering points with unrepresentable outputs 23.811 * * * * [points]: Sampling 26 additional inputs, on iter 8 have 7974 / 8000 23.811 * * * * [points]: Computing exacts for 26 points 23.813 * * * * [points]: Setting MPFR precision to 1088 23.820 * * * * [points]: Setting MPFR precision to 1344 23.829 * * * * [points]: Filtering points with unrepresentable outputs 23.829 * * * * [points]: Sampling 12 additional inputs, on iter 9 have 7988 / 8000 23.829 * * * * [points]: Computing exacts for 12 points 23.835 * * * * [points]: Setting MPFR precision to 1088 23.840 * * * * [points]: Setting MPFR precision to 1344 23.844 * * * * [points]: Filtering points with unrepresentable outputs 23.844 * * * * [points]: Sampling 7 additional inputs, on iter 10 have 7993 / 8000 23.844 * * * * [points]: Computing exacts for 7 points 23.847 * * * * [points]: Setting MPFR precision to 1088 23.849 * * * * [points]: Setting MPFR precision to 1344 23.851 * * * * [points]: Filtering points with unrepresentable outputs 23.851 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7996 / 8000 23.851 * * * * [points]: Computing exacts for 4 points 23.854 * * * * [points]: Setting MPFR precision to 1088 23.855 * * * * [points]: Setting MPFR precision to 1344 23.856 * * * * [points]: Filtering points with unrepresentable outputs 23.857 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7999 / 8000 23.857 * * * * [points]: Computing exacts for 4 points 23.879 * * * * [points]: Setting MPFR precision to 1088 23.881 * * * * [points]: Setting MPFR precision to 1344 23.883 * * * * [points]: Filtering points with unrepresentable outputs 23.883 * * * * [points]: Sampled 8000 points with exact outputs 24.950 * [regime-testing]: Baseline error score: 43.919828837647486 24.998 * [regime-testing]: Oracle error score: 43.919828837647486 24.998 * [regime-testing]: End program error score: 43.919828837647486