1.184 * [progress]: [Phase 1 of 3] Setting up. 0.006 * * * [progress]: [1/2] Preparing points 0.007 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256 0.012 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 0.122 * * * * [points]: Setting MPFR precision to 64 0.127 * * * * [points]: Setting MPFR precision to 320 0.131 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.134 * * * * [points]: Setting MPFR precision to 64 0.138 * * * * [points]: Setting MPFR precision to 320 0.143 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 0.146 * * * * [points]: Setting MPFR precision to 64 0.155 * * * * [points]: Setting MPFR precision to 320 0.166 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 0.169 * * * * [points]: Setting MPFR precision to 64 0.183 * * * * [points]: Setting MPFR precision to 320 0.198 * * * * [points]: Computing exacts for 256 points 0.201 * * * * [points]: Setting MPFR precision to 64 0.246 * * * * [points]: Setting MPFR precision to 320 0.296 * * * * [points]: Filtering points with unrepresentable outputs 0.297 * * * * [points]: Sampling 118 additional inputs, on iter 1 have 138 / 256 0.299 * * * * [points]: Computing exacts on every 7 of 118 points to ramp up precision 0.302 * * * * [points]: Setting MPFR precision to 64 0.304 * * * * [points]: Setting MPFR precision to 320 0.307 * * * * [points]: Computing exacts on every 3 of 118 points to ramp up precision 0.310 * * * * [points]: Setting MPFR precision to 64 0.314 * * * * [points]: Setting MPFR precision to 320 0.320 * * * * [points]: Computing exacts for 118 points 0.324 * * * * [points]: Setting MPFR precision to 64 0.404 * * * * [points]: Setting MPFR precision to 320 0.426 * * * * [points]: Filtering points with unrepresentable outputs 0.426 * * * * [points]: Sampling 64 additional inputs, on iter 2 have 192 / 256 0.427 * * * * [points]: Computing exacts on every 4 of 64 points to ramp up precision 0.428 * * * * [points]: Setting MPFR precision to 64 0.430 * * * * [points]: Setting MPFR precision to 320 0.431 * * * * [points]: Computing exacts on every 2 of 64 points to ramp up precision 0.433 * * * * [points]: Setting MPFR precision to 64 0.437 * * * * [points]: Setting MPFR precision to 320 0.439 * * * * [points]: Computing exacts for 64 points 0.441 * * * * [points]: Setting MPFR precision to 64 0.447 * * * * [points]: Setting MPFR precision to 320 0.453 * * * * [points]: Filtering points with unrepresentable outputs 0.453 * * * * [points]: Sampling 33 additional inputs, on iter 3 have 223 / 256 0.454 * * * * [points]: Computing exacts on every 2 of 33 points to ramp up precision 0.455 * * * * [points]: Setting MPFR precision to 64 0.456 * * * * [points]: Setting MPFR precision to 320 0.457 * * * * [points]: Computing exacts for 33 points 0.459 * * * * [points]: Setting MPFR precision to 64 0.462 * * * * [points]: Setting MPFR precision to 320 0.466 * * * * [points]: Filtering points with unrepresentable outputs 0.466 * * * * [points]: Sampling 14 additional inputs, on iter 4 have 242 / 256 0.467 * * * * [points]: Computing exacts for 14 points 0.468 * * * * [points]: Setting MPFR precision to 64 0.469 * * * * [points]: Setting MPFR precision to 320 0.471 * * * * [points]: Filtering points with unrepresentable outputs 0.471 * * * * [points]: Sampling 6 additional inputs, on iter 5 have 250 / 256 0.471 * * * * [points]: Computing exacts for 6 points 0.472 * * * * [points]: Setting MPFR precision to 64 0.473 * * * * [points]: Setting MPFR precision to 320 0.474 * * * * [points]: Filtering points with unrepresentable outputs 0.474 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 254 / 256 0.474 * * * * [points]: Computing exacts for 4 points 0.476 * * * * [points]: Setting MPFR precision to 64 0.476 * * * * [points]: Setting MPFR precision to 320 0.477 * * * * [points]: Filtering points with unrepresentable outputs 0.477 * * * * [points]: Sampled 256 points with exact outputs 0.477 * * * [progress]: [2/2] Setting up program. 0.481 * [progress]: [Phase 2 of 3] Improving. 0.482 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.484 * [simplify]: Simplifying: (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 0.485 * * [simplify]: iteration 0: 12 enodes 0.493 * * [simplify]: iteration 1: 16 enodes 0.497 * * [simplify]: iteration complete: 16 enodes 0.498 * * [simplify]: Extracting #0: cost 1 inf + 0 0.498 * * [simplify]: Extracting #1: cost 2 inf + 0 0.498 * * [simplify]: Extracting #2: cost 4 inf + 0 0.498 * * [simplify]: Extracting #3: cost 8 inf + 0 0.499 * * [simplify]: Extracting #4: cost 7 inf + 4 0.499 * * [simplify]: Extracting #5: cost 11 inf + 4 0.499 * * [simplify]: Extracting #6: cost 8 inf + 47 0.499 * * [simplify]: Extracting #7: cost 3 inf + 396 0.499 * * [simplify]: Extracting #8: cost 0 inf + 2186 0.500 * [simplify]: Simplified to: (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 0.503 * * [progress]: iteration 1 / 4 0.503 * * * [progress]: picking best candidate 0.508 * * * * [pick]: Picked # 0.508 * * * [progress]: localizing error 0.649 * * * [progress]: generating rewritten candidates 0.650 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1) 0.656 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1 1) 0.656 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1 2) 0.658 * * * [progress]: generating series expansions 0.658 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1) 0.659 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1 1) 0.659 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1 2) 0.659 * * * [progress]: simplifying candidates 0.659 * * * * [progress]: [ 1 / 4 ] simplifiying candidate # 0.659 * * * * [progress]: [ 2 / 4 ] simplifiying candidate # 0.659 * * * * [progress]: [ 3 / 4 ] simplifiying candidate # 0.659 * * * * [progress]: [ 4 / 4 ] simplifiying candidate # 0.660 * [simplify]: Simplifying: (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 0.660 * * [simplify]: iteration 0: 12 enodes 0.663 * * [simplify]: iteration 1: 16 enodes 0.667 * * [simplify]: iteration complete: 16 enodes 0.667 * * [simplify]: Extracting #0: cost 1 inf + 0 0.667 * * [simplify]: Extracting #1: cost 2 inf + 0 0.667 * * [simplify]: Extracting #2: cost 4 inf + 0 0.667 * * [simplify]: Extracting #3: cost 8 inf + 0 0.667 * * [simplify]: Extracting #4: cost 7 inf + 4 0.667 * * [simplify]: Extracting #5: cost 11 inf + 4 0.667 * * [simplify]: Extracting #6: cost 8 inf + 47 0.667 * * [simplify]: Extracting #7: cost 3 inf + 396 0.668 * * [simplify]: Extracting #8: cost 0 inf + 2186 0.668 * [simplify]: Simplified to: (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 0.668 * * * [progress]: adding candidates to table 0.677 * [progress]: [Phase 3 of 3] Extracting. 0.682 * [simplify]: Simplifying: (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 0.682 * * [simplify]: iteration 0: 12 enodes 0.684 * * [simplify]: iteration 1: 13 enodes 0.685 * * [simplify]: iteration complete: 13 enodes 0.685 * * [simplify]: Extracting #0: cost 1 inf + 0 0.685 * * [simplify]: Extracting #1: cost 2 inf + 0 0.685 * * [simplify]: Extracting #2: cost 4 inf + 0 0.685 * * [simplify]: Extracting #3: cost 8 inf + 0 0.685 * * [simplify]: Extracting #4: cost 7 inf + 4 0.685 * * [simplify]: Extracting #5: cost 9 inf + 4 0.685 * * [simplify]: Extracting #6: cost 7 inf + 6 0.685 * * [simplify]: Extracting #7: cost 0 inf + 2104 0.685 * [simplify]: Simplified to: (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 0.686 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 0.820 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision 0.822 * * * * [points]: Setting MPFR precision to 64 0.824 * * * * [points]: Setting MPFR precision to 320 0.825 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision 0.827 * * * * [points]: Setting MPFR precision to 64 0.830 * * * * [points]: Setting MPFR precision to 320 0.833 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision 0.835 * * * * [points]: Setting MPFR precision to 64 0.851 * * * * [points]: Setting MPFR precision to 320 0.864 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision 0.867 * * * * [points]: Setting MPFR precision to 64 0.889 * * * * [points]: Setting MPFR precision to 320 0.904 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision 0.906 * * * * [points]: Setting MPFR precision to 64 0.929 * * * * [points]: Setting MPFR precision to 320 0.956 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision 0.958 * * * * [points]: Setting MPFR precision to 64 1.090 * * * * [points]: Setting MPFR precision to 320 1.183 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision 1.185 * * * * [points]: Setting MPFR precision to 64 1.400 * * * * [points]: Setting MPFR precision to 320 1.612 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision 1.615 * * * * [points]: Setting MPFR precision to 64 1.984 * * * * [points]: Setting MPFR precision to 320 2.709 * * * * [points]: Computing exacts for 8000 points 2.711 * * * * [points]: Setting MPFR precision to 64 4.043 * * * * [points]: Setting MPFR precision to 320 6.195 * * * * [points]: Filtering points with unrepresentable outputs 6.199 * * * * [points]: Sampling 3966 additional inputs, on iter 1 have 4034 / 8000 6.240 * * * * [points]: Computing exacts on every 247 of 3966 points to ramp up precision 6.242 * * * * [points]: Setting MPFR precision to 64 6.244 * * * * [points]: Setting MPFR precision to 320 6.245 * * * * [points]: Computing exacts on every 123 of 3966 points to ramp up precision 6.247 * * * * [points]: Setting MPFR precision to 64 6.250 * * * * [points]: Setting MPFR precision to 320 6.253 * * * * [points]: Computing exacts on every 61 of 3966 points to ramp up precision 6.255 * * * * [points]: Setting MPFR precision to 64 6.260 * * * * [points]: Setting MPFR precision to 320 6.266 * * * * [points]: Computing exacts on every 30 of 3966 points to ramp up precision 6.268 * * * * [points]: Setting MPFR precision to 64 6.318 * * * * [points]: Setting MPFR precision to 320 6.342 * * * * [points]: Computing exacts on every 15 of 3966 points to ramp up precision 6.346 * * * * [points]: Setting MPFR precision to 64 6.370 * * * * [points]: Setting MPFR precision to 320 6.414 * * * * [points]: Computing exacts on every 7 of 3966 points to ramp up precision 6.417 * * * * [points]: Setting MPFR precision to 64 6.484 * * * * [points]: Setting MPFR precision to 320 6.612 * * * * [points]: Computing exacts on every 3 of 3966 points to ramp up precision 6.615 * * * * [points]: Setting MPFR precision to 64 6.799 * * * * [points]: Setting MPFR precision to 320 6.939 * * * * [points]: Computing exacts for 3966 points 6.941 * * * * [points]: Setting MPFR precision to 64 8.055 * * * * [points]: Setting MPFR precision to 320 8.822 * * * * [points]: Filtering points with unrepresentable outputs 8.826 * * * * [points]: Sampling 1972 additional inputs, on iter 2 have 6028 / 8000 8.855 * * * * [points]: Computing exacts on every 123 of 1972 points to ramp up precision 8.858 * * * * [points]: Setting MPFR precision to 64 8.861 * * * * [points]: Setting MPFR precision to 320 8.864 * * * * [points]: Computing exacts on every 61 of 1972 points to ramp up precision 8.867 * * * * [points]: Setting MPFR precision to 64 8.873 * * * * [points]: Setting MPFR precision to 320 8.879 * * * * [points]: Computing exacts on every 30 of 1972 points to ramp up precision 8.882 * * * * [points]: Setting MPFR precision to 64 8.893 * * * * [points]: Setting MPFR precision to 320 8.948 * * * * [points]: Computing exacts on every 15 of 1972 points to ramp up precision 8.951 * * * * [points]: Setting MPFR precision to 64 8.976 * * * * [points]: Setting MPFR precision to 320 8.990 * * * * [points]: Computing exacts on every 7 of 1972 points to ramp up precision 8.992 * * * * [points]: Setting MPFR precision to 64 9.021 * * * * [points]: Setting MPFR precision to 320 9.066 * * * * [points]: Computing exacts on every 3 of 1972 points to ramp up precision 9.068 * * * * [points]: Setting MPFR precision to 64 9.203 * * * * [points]: Setting MPFR precision to 320 9.305 * * * * [points]: Computing exacts for 1972 points 9.308 * * * * [points]: Setting MPFR precision to 64 9.595 * * * * [points]: Setting MPFR precision to 320 10.478 * * * * [points]: Filtering points with unrepresentable outputs 10.480 * * * * [points]: Sampling 962 additional inputs, on iter 3 have 7038 / 8000 10.495 * * * * [points]: Computing exacts on every 60 of 962 points to ramp up precision 10.498 * * * * [points]: Setting MPFR precision to 64 10.501 * * * * [points]: Setting MPFR precision to 320 10.504 * * * * [points]: Computing exacts on every 30 of 962 points to ramp up precision 10.507 * * * * [points]: Setting MPFR precision to 64 10.513 * * * * [points]: Setting MPFR precision to 320 10.519 * * * * [points]: Computing exacts on every 15 of 962 points to ramp up precision 10.522 * * * * [points]: Setting MPFR precision to 64 10.532 * * * * [points]: Setting MPFR precision to 320 10.544 * * * * [points]: Computing exacts on every 7 of 962 points to ramp up precision 10.583 * * * * [points]: Setting MPFR precision to 64 10.605 * * * * [points]: Setting MPFR precision to 320 10.628 * * * * [points]: Computing exacts on every 3 of 962 points to ramp up precision 10.630 * * * * [points]: Setting MPFR precision to 64 10.656 * * * * [points]: Setting MPFR precision to 320 10.682 * * * * [points]: Computing exacts for 962 points 10.684 * * * * [points]: Setting MPFR precision to 64 10.869 * * * * [points]: Setting MPFR precision to 320 11.066 * * * * [points]: Filtering points with unrepresentable outputs 11.067 * * * * [points]: Sampling 477 additional inputs, on iter 4 have 7523 / 8000 11.070 * * * * [points]: Computing exacts on every 29 of 477 points to ramp up precision 11.072 * * * * [points]: Setting MPFR precision to 64 11.074 * * * * [points]: Setting MPFR precision to 320 11.076 * * * * [points]: Computing exacts on every 14 of 477 points to ramp up precision 11.077 * * * * [points]: Setting MPFR precision to 64 11.080 * * * * [points]: Setting MPFR precision to 320 11.083 * * * * [points]: Computing exacts on every 7 of 477 points to ramp up precision 11.085 * * * * [points]: Setting MPFR precision to 64 11.091 * * * * [points]: Setting MPFR precision to 320 11.097 * * * * [points]: Computing exacts on every 3 of 477 points to ramp up precision 11.099 * * * * [points]: Setting MPFR precision to 64 11.110 * * * * [points]: Setting MPFR precision to 320 11.123 * * * * [points]: Computing exacts for 477 points 11.124 * * * * [points]: Setting MPFR precision to 64 11.221 * * * * [points]: Setting MPFR precision to 320 11.303 * * * * [points]: Filtering points with unrepresentable outputs 11.303 * * * * [points]: Sampling 237 additional inputs, on iter 5 have 7763 / 8000 11.306 * * * * [points]: Computing exacts on every 14 of 237 points to ramp up precision 11.309 * * * * [points]: Setting MPFR precision to 64 11.312 * * * * [points]: Setting MPFR precision to 320 11.315 * * * * [points]: Computing exacts on every 7 of 237 points to ramp up precision 11.318 * * * * [points]: Setting MPFR precision to 64 11.322 * * * * [points]: Setting MPFR precision to 320 11.326 * * * * [points]: Computing exacts on every 3 of 237 points to ramp up precision 11.327 * * * * [points]: Setting MPFR precision to 64 11.332 * * * * [points]: Setting MPFR precision to 320 11.338 * * * * [points]: Computing exacts for 237 points 11.340 * * * * [points]: Setting MPFR precision to 64 11.362 * * * * [points]: Setting MPFR precision to 320 11.468 * * * * [points]: Filtering points with unrepresentable outputs 11.468 * * * * [points]: Sampling 131 additional inputs, on iter 6 have 7869 / 8000 11.470 * * * * [points]: Computing exacts on every 8 of 131 points to ramp up precision 11.473 * * * * [points]: Setting MPFR precision to 64 11.476 * * * * [points]: Setting MPFR precision to 320 11.479 * * * * [points]: Computing exacts on every 4 of 131 points to ramp up precision 11.482 * * * * [points]: Setting MPFR precision to 64 11.486 * * * * [points]: Setting MPFR precision to 320 11.492 * * * * [points]: Computing exacts on every 2 of 131 points to ramp up precision 11.495 * * * * [points]: Setting MPFR precision to 64 11.503 * * * * [points]: Setting MPFR precision to 320 11.511 * * * * [points]: Computing exacts for 131 points 11.514 * * * * [points]: Setting MPFR precision to 64 11.536 * * * * [points]: Setting MPFR precision to 320 11.557 * * * * [points]: Filtering points with unrepresentable outputs 11.557 * * * * [points]: Sampling 69 additional inputs, on iter 7 have 7931 / 8000 11.558 * * * * [points]: Computing exacts on every 4 of 69 points to ramp up precision 11.559 * * * * [points]: Setting MPFR precision to 64 11.560 * * * * [points]: Setting MPFR precision to 320 11.562 * * * * [points]: Computing exacts on every 2 of 69 points to ramp up precision 11.563 * * * * [points]: Setting MPFR precision to 64 11.565 * * * * [points]: Setting MPFR precision to 320 11.568 * * * * [points]: Computing exacts for 69 points 11.569 * * * * [points]: Setting MPFR precision to 64 11.575 * * * * [points]: Setting MPFR precision to 320 11.582 * * * * [points]: Filtering points with unrepresentable outputs 11.582 * * * * [points]: Sampling 34 additional inputs, on iter 8 have 7966 / 8000 11.583 * * * * [points]: Computing exacts on every 2 of 34 points to ramp up precision 11.585 * * * * [points]: Setting MPFR precision to 64 11.587 * * * * [points]: Setting MPFR precision to 320 11.589 * * * * [points]: Computing exacts for 34 points 11.592 * * * * [points]: Setting MPFR precision to 64 11.597 * * * * [points]: Setting MPFR precision to 320 11.600 * * * * [points]: Filtering points with unrepresentable outputs 11.600 * * * * [points]: Sampling 12 additional inputs, on iter 9 have 7988 / 8000 11.600 * * * * [points]: Computing exacts for 12 points 11.602 * * * * [points]: Setting MPFR precision to 64 11.603 * * * * [points]: Setting MPFR precision to 320 11.604 * * * * [points]: Filtering points with unrepresentable outputs 11.604 * * * * [points]: Sampling 10 additional inputs, on iter 10 have 7990 / 8000 11.605 * * * * [points]: Computing exacts for 10 points 11.606 * * * * [points]: Setting MPFR precision to 64 11.607 * * * * [points]: Setting MPFR precision to 320 11.608 * * * * [points]: Filtering points with unrepresentable outputs 11.608 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7996 / 8000 11.608 * * * * [points]: Computing exacts for 4 points 11.645 * * * * [points]: Setting MPFR precision to 64 11.646 * * * * [points]: Setting MPFR precision to 320 11.647 * * * * [points]: Filtering points with unrepresentable outputs 11.648 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7999 / 8000 11.648 * * * * [points]: Computing exacts for 4 points 11.650 * * * * [points]: Setting MPFR precision to 64 11.651 * * * * [points]: Setting MPFR precision to 320 11.651 * * * * [points]: Filtering points with unrepresentable outputs 11.652 * * * * [points]: Sampled 8000 points with exact outputs 11.884 * [regime-testing]: Baseline error score: 0.011823120312590146 11.886 * [regime-testing]: Oracle error score: 0.011823120312590146 11.886 * [regime-testing]: End program error score: 0.011823120312590146