0.728 * [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.008 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 0.187 * * * * [points]: Setting MPFR precision to 64 0.192 * * * * [points]: Setting MPFR precision to 320 0.197 * * * * [points]: Setting MPFR precision to 576 0.201 * * * * [points]: Setting MPFR precision to 832 0.206 * * * * [points]: Setting MPFR precision to 1088 0.213 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.219 * * * * [points]: Setting MPFR precision to 832 0.231 * * * * [points]: Setting MPFR precision to 1088 0.246 * * * * [points]: Setting MPFR precision to 1344 0.262 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 0.268 * * * * [points]: Setting MPFR precision to 1088 0.291 * * * * [points]: Setting MPFR precision to 1344 0.319 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 0.325 * * * * [points]: Setting MPFR precision to 1088 0.364 * * * * [points]: Setting MPFR precision to 1344 1.052 * * * * [points]: Computing exacts for 256 points 1.059 * * * * [points]: Setting MPFR precision to 1088 1.123 * * * * [points]: Setting MPFR precision to 1344 1.197 * * * * [points]: Filtering points with unrepresentable outputs 1.198 * * * * [points]: Sampling 139 additional inputs, on iter 1 have 117 / 256 1.200 * * * * [points]: Computing exacts on every 8 of 139 points to ramp up precision 1.203 * * * * [points]: Setting MPFR precision to 1088 1.206 * * * * [points]: Setting MPFR precision to 1344 1.210 * * * * [points]: Computing exacts on every 4 of 139 points to ramp up precision 1.213 * * * * [points]: Setting MPFR precision to 1088 1.219 * * * * [points]: Setting MPFR precision to 1344 1.228 * * * * [points]: Computing exacts on every 2 of 139 points to ramp up precision 1.231 * * * * [points]: Setting MPFR precision to 1088 1.241 * * * * [points]: Setting MPFR precision to 1344 1.289 * * * * [points]: Computing exacts for 139 points 1.291 * * * * [points]: Setting MPFR precision to 1088 1.322 * * * * [points]: Setting MPFR precision to 1344 1.366 * * * * [points]: Filtering points with unrepresentable outputs 1.367 * * * * [points]: Sampling 67 additional inputs, on iter 2 have 189 / 256 1.368 * * * * [points]: Computing exacts on every 4 of 67 points to ramp up precision 1.373 * * * * [points]: Setting MPFR precision to 1088 1.378 * * * * [points]: Setting MPFR precision to 1344 1.385 * * * * [points]: Computing exacts on every 2 of 67 points to ramp up precision 1.390 * * * * [points]: Setting MPFR precision to 1088 1.395 * * * * [points]: Setting MPFR precision to 1344 1.401 * * * * [points]: Computing exacts for 67 points 1.403 * * * * [points]: Setting MPFR precision to 1088 1.419 * * * * [points]: Setting MPFR precision to 1344 1.454 * * * * [points]: Filtering points with unrepresentable outputs 1.454 * * * * [points]: Sampling 33 additional inputs, on iter 3 have 223 / 256 1.455 * * * * [points]: Computing exacts on every 2 of 33 points to ramp up precision 1.460 * * * * [points]: Setting MPFR precision to 1088 1.465 * * * * [points]: Setting MPFR precision to 1344 1.472 * * * * [points]: Computing exacts for 33 points 1.478 * * * * [points]: Setting MPFR precision to 1088 1.532 * * * * [points]: Setting MPFR precision to 1344 1.552 * * * * [points]: Filtering points with unrepresentable outputs 1.552 * * * * [points]: Sampling 15 additional inputs, on iter 4 have 241 / 256 1.553 * * * * [points]: Computing exacts for 15 points 1.557 * * * * [points]: Setting MPFR precision to 1088 1.563 * * * * [points]: Setting MPFR precision to 1344 1.569 * * * * [points]: Filtering points with unrepresentable outputs 1.570 * * * * [points]: Sampling 9 additional inputs, on iter 5 have 247 / 256 1.570 * * * * [points]: Computing exacts for 9 points 1.574 * * * * [points]: Setting MPFR precision to 1088 1.577 * * * * [points]: Setting MPFR precision to 1344 1.581 * * * * [points]: Filtering points with unrepresentable outputs 1.581 * * * * [points]: Sampling 6 additional inputs, on iter 6 have 250 / 256 1.581 * * * * [points]: Computing exacts for 6 points 1.586 * * * * [points]: Setting MPFR precision to 1088 1.589 * * * * [points]: Setting MPFR precision to 1344 1.592 * * * * [points]: Filtering points with unrepresentable outputs 1.592 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 253 / 256 1.592 * * * * [points]: Computing exacts for 4 points 1.597 * * * * [points]: Setting MPFR precision to 1088 1.599 * * * * [points]: Setting MPFR precision to 1344 1.601 * * * * [points]: Filtering points with unrepresentable outputs 1.601 * * * * [points]: Sampling 4 additional inputs, on iter 8 have 255 / 256 1.602 * * * * [points]: Computing exacts for 4 points 1.606 * * * * [points]: Setting MPFR precision to 1088 1.608 * * * * [points]: Setting MPFR precision to 1344 1.610 * * * * [points]: Filtering points with unrepresentable outputs 1.610 * * * * [points]: Sampled 256 points with exact outputs 1.611 * * * [progress]: [2/2] Setting up program. 1.623 * [progress]: [Phase 2 of 3] Improving. 1.627 * [simplify]: Simplifying: (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 1.628 * * [simplify]: iteration 0: 12 enodes 1.637 * * [simplify]: iteration 1: 16 enodes 1.640 * * [simplify]: iteration complete: 16 enodes 1.641 * * [simplify]: Extracting #0: cost 1 inf + 0 1.641 * * [simplify]: Extracting #1: cost 2 inf + 0 1.641 * * [simplify]: Extracting #2: cost 4 inf + 0 1.641 * * [simplify]: Extracting #3: cost 8 inf + 0 1.642 * * [simplify]: Extracting #4: cost 7 inf + 4 1.642 * * [simplify]: Extracting #5: cost 11 inf + 4 1.642 * * [simplify]: Extracting #6: cost 8 inf + 47 1.642 * * [simplify]: Extracting #7: cost 3 inf + 396 1.643 * * [simplify]: Extracting #8: cost 0 inf + 2186 1.643 * [simplify]: Simplified to: (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2.0 0.0))) 1.646 * * [progress]: iteration 1 / 4 1.646 * * * [progress]: picking best candidate 1.654 * * * * [pick]: Picked # 1.654 * * * [progress]: localizing error 1.794 * * * [progress]: generating rewritten candidates 1.795 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 1.798 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1) 1.798 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2) 1.799 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 1.802 * * * [progress]: generating series expansions 1.802 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 1.802 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1) 1.802 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2) 1.802 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 1.802 * * * [progress]: simplifying candidates 1.803 * [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.803 * * [simplify]: iteration 0: 14 enodes 1.807 * * [simplify]: iteration 1: 21 enodes 1.812 * * [simplify]: iteration complete: 21 enodes 1.812 * * [simplify]: Extracting #0: cost 3 inf + 0 1.812 * * [simplify]: Extracting #1: cost 8 inf + 0 1.812 * * [simplify]: Extracting #2: cost 12 inf + 0 1.812 * * [simplify]: Extracting #3: cost 10 inf + 86 1.812 * * [simplify]: Extracting #4: cost 12 inf + 168 1.812 * * [simplify]: Extracting #5: cost 9 inf + 211 1.813 * * [simplify]: Extracting #6: cost 4 inf + 560 1.813 * * [simplify]: Extracting #7: cost 0 inf + 2732 1.814 * [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.814 * * * [progress]: adding candidates to table 1.834 * [progress]: [Phase 3 of 3] Extracting. 1.842 * [simplify]: Simplifying: (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 1.843 * * [simplify]: iteration 0: 12 enodes 1.844 * * [simplify]: iteration 1: 13 enodes 1.844 * * [simplify]: iteration complete: 13 enodes 1.845 * * [simplify]: Extracting #0: cost 1 inf + 0 1.845 * * [simplify]: Extracting #1: cost 2 inf + 0 1.845 * * [simplify]: Extracting #2: cost 4 inf + 0 1.845 * * [simplify]: Extracting #3: cost 8 inf + 0 1.845 * * [simplify]: Extracting #4: cost 7 inf + 4 1.845 * * [simplify]: Extracting #5: cost 9 inf + 4 1.845 * * [simplify]: Extracting #6: cost 7 inf + 6 1.845 * * [simplify]: Extracting #7: cost 0 inf + 2104 1.845 * [simplify]: Simplified to: (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2.0 0.0))) 1.846 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1.944 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision 1.946 * * * * [points]: Setting MPFR precision to 1088 1.949 * * * * [points]: Setting MPFR precision to 1344 1.954 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision 1.956 * * * * [points]: Setting MPFR precision to 1088 1.964 * * * * [points]: Setting MPFR precision to 1344 1.978 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision 1.993 * * * * [points]: Setting MPFR precision to 1088 2.022 * * * * [points]: Setting MPFR precision to 1344 2.057 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision 2.062 * * * * [points]: Setting MPFR precision to 1088 2.115 * * * * [points]: Setting MPFR precision to 1344 2.165 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision 2.170 * * * * [points]: Setting MPFR precision to 1088 2.252 * * * * [points]: Setting MPFR precision to 1344 2.389 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision 2.394 * * * * [points]: Setting MPFR precision to 1088 2.580 * * * * [points]: Setting MPFR precision to 1344 2.830 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision 2.835 * * * * [points]: Setting MPFR precision to 1088 3.231 * * * * [points]: Setting MPFR precision to 1344 3.699 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision 3.705 * * * * [points]: Setting MPFR precision to 1088 4.438 * * * * [points]: Setting MPFR precision to 1344 5.724 * * * * [points]: Computing exacts for 8000 points 5.733 * * * * [points]: Setting MPFR precision to 1088 9.057 * * * * [points]: Setting MPFR precision to 1344 13.044 * * * * [points]: Filtering points with unrepresentable outputs 13.071 * * * * [points]: Sampling 4013 additional inputs, on iter 1 have 3987 / 8000 13.134 * * * * [points]: Computing exacts on every 250 of 4013 points to ramp up precision 13.139 * * * * [points]: Setting MPFR precision to 1088 13.144 * * * * [points]: Setting MPFR precision to 1344 13.151 * * * * [points]: Computing exacts on every 125 of 4013 points to ramp up precision 13.156 * * * * [points]: Setting MPFR precision to 1088 13.168 * * * * [points]: Setting MPFR precision to 1344 13.183 * * * * [points]: Computing exacts on every 62 of 4013 points to ramp up precision 13.188 * * * * [points]: Setting MPFR precision to 1088 13.204 * * * * [points]: Setting MPFR precision to 1344 13.219 * * * * [points]: Computing exacts on every 31 of 4013 points to ramp up precision 13.222 * * * * [points]: Setting MPFR precision to 1088 13.250 * * * * [points]: Setting MPFR precision to 1344 13.317 * * * * [points]: Computing exacts on every 15 of 4013 points to ramp up precision 13.324 * * * * [points]: Setting MPFR precision to 1088 13.428 * * * * [points]: Setting MPFR precision to 1344 13.502 * * * * [points]: Computing exacts on every 7 of 4013 points to ramp up precision 13.504 * * * * [points]: Setting MPFR precision to 1088 13.762 * * * * [points]: Setting MPFR precision to 1344 13.953 * * * * [points]: Computing exacts on every 3 of 4013 points to ramp up precision 13.958 * * * * [points]: Setting MPFR precision to 1088 14.374 * * * * [points]: Setting MPFR precision to 1344 14.852 * * * * [points]: Computing exacts for 4013 points 14.857 * * * * [points]: Setting MPFR precision to 1088 16.833 * * * * [points]: Setting MPFR precision to 1344 18.578 * * * * [points]: Filtering points with unrepresentable outputs 18.595 * * * * [points]: Sampling 2047 additional inputs, on iter 2 have 5953 / 8000 18.624 * * * * [points]: Computing exacts on every 127 of 2047 points to ramp up precision 18.629 * * * * [points]: Setting MPFR precision to 1088 18.635 * * * * [points]: Setting MPFR precision to 1344 18.642 * * * * [points]: Computing exacts on every 63 of 2047 points to ramp up precision 18.647 * * * * [points]: Setting MPFR precision to 1088 18.660 * * * * [points]: Setting MPFR precision to 1344 18.674 * * * * [points]: Computing exacts on every 31 of 2047 points to ramp up precision 18.696 * * * * [points]: Setting MPFR precision to 1088 18.711 * * * * [points]: Setting MPFR precision to 1344 18.728 * * * * [points]: Computing exacts on every 15 of 2047 points to ramp up precision 18.733 * * * * [points]: Setting MPFR precision to 1088 18.773 * * * * [points]: Setting MPFR precision to 1344 18.806 * * * * [points]: Computing exacts on every 7 of 2047 points to ramp up precision 18.809 * * * * [points]: Setting MPFR precision to 1088 18.877 * * * * [points]: Setting MPFR precision to 1344 19.010 * * * * [points]: Computing exacts on every 3 of 2047 points to ramp up precision 19.015 * * * * [points]: Setting MPFR precision to 1088 19.224 * * * * [points]: Setting MPFR precision to 1344 19.875 * * * * [points]: Computing exacts for 2047 points 19.877 * * * * [points]: Setting MPFR precision to 1088 20.616 * * * * [points]: Setting MPFR precision to 1344 21.497 * * * * [points]: Filtering points with unrepresentable outputs 21.505 * * * * [points]: Sampling 1006 additional inputs, on iter 3 have 6994 / 8000 21.519 * * * * [points]: Computing exacts on every 62 of 1006 points to ramp up precision 21.571 * * * * [points]: Setting MPFR precision to 1088 21.582 * * * * [points]: Setting MPFR precision to 1344 21.593 * * * * [points]: Computing exacts on every 31 of 1006 points to ramp up precision 21.597 * * * * [points]: Setting MPFR precision to 1088 21.606 * * * * [points]: Setting MPFR precision to 1344 21.614 * * * * [points]: Computing exacts on every 15 of 1006 points to ramp up precision 21.617 * * * * [points]: Setting MPFR precision to 1088 21.631 * * * * [points]: Setting MPFR precision to 1344 21.655 * * * * [points]: Computing exacts on every 7 of 1006 points to ramp up precision 21.659 * * * * [points]: Setting MPFR precision to 1088 21.687 * * * * [points]: Setting MPFR precision to 1344 21.731 * * * * [points]: Computing exacts on every 3 of 1006 points to ramp up precision 21.733 * * * * [points]: Setting MPFR precision to 1088 21.873 * * * * [points]: Setting MPFR precision to 1344 21.979 * * * * [points]: Computing exacts for 1006 points 21.982 * * * * [points]: Setting MPFR precision to 1088 22.328 * * * * [points]: Setting MPFR precision to 1344 22.792 * * * * [points]: Filtering points with unrepresentable outputs 22.794 * * * * [points]: Sampling 510 additional inputs, on iter 4 have 7490 / 8000 22.798 * * * * [points]: Computing exacts on every 31 of 510 points to ramp up precision 22.801 * * * * [points]: Setting MPFR precision to 1088 22.806 * * * * [points]: Setting MPFR precision to 1344 22.814 * * * * [points]: Computing exacts on every 15 of 510 points to ramp up precision 22.819 * * * * [points]: Setting MPFR precision to 1088 22.832 * * * * [points]: Setting MPFR precision to 1344 22.853 * * * * [points]: Computing exacts on every 7 of 510 points to ramp up precision 22.895 * * * * [points]: Setting MPFR precision to 1088 22.921 * * * * [points]: Setting MPFR precision to 1344 22.950 * * * * [points]: Computing exacts on every 3 of 510 points to ramp up precision 22.955 * * * * [points]: Setting MPFR precision to 1088 23.001 * * * * [points]: Setting MPFR precision to 1344 23.059 * * * * [points]: Computing exacts for 510 points 23.062 * * * * [points]: Setting MPFR precision to 1088 23.727 * * * * [points]: Setting MPFR precision to 1344 23.906 * * * * [points]: Filtering points with unrepresentable outputs 23.908 * * * * [points]: Sampling 236 additional inputs, on iter 5 have 7764 / 8000 23.913 * * * * [points]: Computing exacts on every 14 of 236 points to ramp up precision 23.918 * * * * [points]: Setting MPFR precision to 1088 23.924 * * * * [points]: Setting MPFR precision to 1344 23.931 * * * * [points]: Computing exacts on every 7 of 236 points to ramp up precision 23.937 * * * * [points]: Setting MPFR precision to 1088 23.952 * * * * [points]: Setting MPFR precision to 1344 23.966 * * * * [points]: Computing exacts on every 3 of 236 points to ramp up precision 24.007 * * * * [points]: Setting MPFR precision to 1088 24.022 * * * * [points]: Setting MPFR precision to 1344 24.038 * * * * [points]: Computing exacts for 236 points 24.041 * * * * [points]: Setting MPFR precision to 1088 24.129 * * * * [points]: Setting MPFR precision to 1344 24.216 * * * * [points]: Filtering points with unrepresentable outputs 24.217 * * * * [points]: Sampling 105 additional inputs, on iter 6 have 7895 / 8000 24.218 * * * * [points]: Computing exacts on every 6 of 105 points to ramp up precision 24.220 * * * * [points]: Setting MPFR precision to 1088 24.224 * * * * [points]: Setting MPFR precision to 1344 24.230 * * * * [points]: Computing exacts on every 3 of 105 points to ramp up precision 24.235 * * * * [points]: Setting MPFR precision to 1088 24.245 * * * * [points]: Setting MPFR precision to 1344 24.257 * * * * [points]: Computing exacts for 105 points 24.307 * * * * [points]: Setting MPFR precision to 1088 24.355 * * * * [points]: Setting MPFR precision to 1344 24.402 * * * * [points]: Filtering points with unrepresentable outputs 24.402 * * * * [points]: Sampling 58 additional inputs, on iter 7 have 7942 / 8000 24.403 * * * * [points]: Computing exacts on every 3 of 58 points to ramp up precision 24.407 * * * * [points]: Setting MPFR precision to 1088 24.413 * * * * [points]: Setting MPFR precision to 1344 24.420 * * * * [points]: Computing exacts for 58 points 24.425 * * * * [points]: Setting MPFR precision to 1088 24.439 * * * * [points]: Setting MPFR precision to 1344 24.467 * * * * [points]: Filtering points with unrepresentable outputs 24.467 * * * * [points]: Sampling 26 additional inputs, on iter 8 have 7974 / 8000 24.468 * * * * [points]: Computing exacts for 26 points 24.472 * * * * [points]: Setting MPFR precision to 1088 24.483 * * * * [points]: Setting MPFR precision to 1344 24.494 * * * * [points]: Filtering points with unrepresentable outputs 24.495 * * * * [points]: Sampling 15 additional inputs, on iter 9 have 7985 / 8000 24.495 * * * * [points]: Computing exacts for 15 points 24.499 * * * * [points]: Setting MPFR precision to 1088 24.505 * * * * [points]: Setting MPFR precision to 1344 24.512 * * * * [points]: Filtering points with unrepresentable outputs 24.512 * * * * [points]: Sampling 7 additional inputs, on iter 10 have 7993 / 8000 24.512 * * * * [points]: Computing exacts for 7 points 24.517 * * * * [points]: Setting MPFR precision to 1088 24.519 * * * * [points]: Setting MPFR precision to 1344 24.523 * * * * [points]: Filtering points with unrepresentable outputs 24.523 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7996 / 8000 24.523 * * * * [points]: Computing exacts for 4 points 24.527 * * * * [points]: Setting MPFR precision to 1088 24.529 * * * * [points]: Setting MPFR precision to 1344 24.531 * * * * [points]: Filtering points with unrepresentable outputs 24.531 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7999 / 8000 24.531 * * * * [points]: Computing exacts for 4 points 24.535 * * * * [points]: Setting MPFR precision to 1088 24.555 * * * * [points]: Setting MPFR precision to 1344 24.557 * * * * [points]: Filtering points with unrepresentable outputs 24.557 * * * * [points]: Sampled 8002 points with exact outputs 24.911 * [regime-testing]: Baseline error score: 43.84704404321106 24.921 * [regime-testing]: Oracle error score: 43.84704404321106 24.922 * [regime-testing]: End program error score: 43.84704404321106