1.417 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.002 * * * * [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.053 * * * * [points]: Setting MPFR precision to 64 0.058 * * * * [points]: Setting MPFR precision to 320 0.062 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.066 * * * * [points]: Setting MPFR precision to 64 0.071 * * * * [points]: Setting MPFR precision to 320 0.076 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 0.079 * * * * [points]: Setting MPFR precision to 64 0.086 * * * * [points]: Setting MPFR precision to 320 0.091 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 0.092 * * * * [points]: Setting MPFR precision to 64 0.100 * * * * [points]: Setting MPFR precision to 320 0.107 * * * * [points]: Computing exacts for 256 points 0.109 * * * * [points]: Setting MPFR precision to 64 0.204 * * * * [points]: Setting MPFR precision to 320 0.258 * * * * [points]: Filtering points with unrepresentable outputs 0.260 * * * * [points]: Sampling 130 additional inputs, on iter 1 have 126 / 256 0.264 * * * * [points]: Computing exacts on every 8 of 130 points to ramp up precision 0.267 * * * * [points]: Setting MPFR precision to 64 0.270 * * * * [points]: Setting MPFR precision to 320 0.273 * * * * [points]: Computing exacts on every 4 of 130 points to ramp up precision 0.275 * * * * [points]: Setting MPFR precision to 64 0.280 * * * * [points]: Setting MPFR precision to 320 0.286 * * * * [points]: Computing exacts on every 2 of 130 points to ramp up precision 0.288 * * * * [points]: Setting MPFR precision to 64 0.296 * * * * [points]: Setting MPFR precision to 320 0.303 * * * * [points]: Computing exacts for 130 points 0.305 * * * * [points]: Setting MPFR precision to 64 0.317 * * * * [points]: Setting MPFR precision to 320 0.330 * * * * [points]: Filtering points with unrepresentable outputs 0.330 * * * * [points]: Sampling 61 additional inputs, on iter 2 have 195 / 256 0.332 * * * * [points]: Computing exacts on every 3 of 61 points to ramp up precision 0.335 * * * * [points]: Setting MPFR precision to 64 0.338 * * * * [points]: Setting MPFR precision to 320 0.341 * * * * [points]: Computing exacts for 61 points 0.344 * * * * [points]: Setting MPFR precision to 64 0.355 * * * * [points]: Setting MPFR precision to 320 0.366 * * * * [points]: Filtering points with unrepresentable outputs 0.367 * * * * [points]: Sampling 36 additional inputs, on iter 3 have 220 / 256 0.368 * * * * [points]: Computing exacts on every 2 of 36 points to ramp up precision 0.371 * * * * [points]: Setting MPFR precision to 64 0.373 * * * * [points]: Setting MPFR precision to 320 0.376 * * * * [points]: Computing exacts for 36 points 0.379 * * * * [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 24 additional inputs, on iter 4 have 232 / 256 0.454 * * * * [points]: Computing exacts for 24 points 0.462 * * * * [points]: Setting MPFR precision to 64 0.466 * * * * [points]: Setting MPFR precision to 320 0.470 * * * * [points]: Filtering points with unrepresentable outputs 0.470 * * * * [points]: Sampling 12 additional inputs, on iter 5 have 244 / 256 0.471 * * * * [points]: Computing exacts for 12 points 0.473 * * * * [points]: Setting MPFR precision to 64 0.475 * * * * [points]: Setting MPFR precision to 320 0.478 * * * * [points]: Filtering points with unrepresentable outputs 0.478 * * * * [points]: Sampling 5 additional inputs, on iter 6 have 251 / 256 0.478 * * * * [points]: Computing exacts for 5 points 0.481 * * * * [points]: Setting MPFR precision to 64 0.482 * * * * [points]: Setting MPFR precision to 320 0.482 * * * * [points]: Filtering points with unrepresentable outputs 0.483 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 253 / 256 0.483 * * * * [points]: Computing exacts for 4 points 0.485 * * * * [points]: Setting MPFR precision to 64 0.486 * * * * [points]: Setting MPFR precision to 320 0.487 * * * * [points]: Filtering points with unrepresentable outputs 0.487 * * * * [points]: Sampling 4 additional inputs, on iter 8 have 254 / 256 0.487 * * * * [points]: Computing exacts for 4 points 0.489 * * * * [points]: Setting MPFR precision to 64 0.490 * * * * [points]: Setting MPFR precision to 320 0.491 * * * * [points]: Filtering points with unrepresentable outputs 0.491 * * * * [points]: Sampled 258 points with exact outputs 0.491 * * * [progress]: [2/2] Setting up program. 0.500 * [progress]: [Phase 2 of 3] Improving. 0.503 * [simplify]: Simplifying: (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 0.505 * * [simplify]: Extracting # 0 : cost 0 0.505 * * [simplify]: Extracting # 1 : cost 0 0.505 * * [simplify]: Extracting # 2 : cost 0 0.505 * * [simplify]: Extracting # 3 : cost 0 0.505 * * [simplify]: Extracting # 4 : cost 0 0.505 * * [simplify]: Extracting # 5 : cost 0 0.505 * * [simplify]: Extracting # 6 : cost 0 0.506 * * [simplify]: Extracting # 7 : cost 0 0.506 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 0.511 * * [simplify]: Extracting # 0 : cost 0 0.511 * * [simplify]: Extracting # 1 : cost 0 0.511 * * [simplify]: Extracting # 2 : cost 0 0.511 * * [simplify]: iteration 1 : 16 enodes (cost 15 ) 0.513 * * [simplify]: Extracting # 0 : cost 0 0.513 * * [simplify]: iteration done: 16 enodes (cost 15 ) 0.513 * [simplify]: Simplified to: (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 0.515 * * [progress]: iteration 1 / 4 0.515 * * * [progress]: picking best candidate 0.517 * * * * [pick]: Picked # 0.517 * * * [progress]: localizing error 0.567 * * * [progress]: generating rewritten candidates 0.567 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1) 0.574 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1 1) 0.574 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1 2) 0.576 * * * [progress]: generating series expansions 0.576 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1) 0.576 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1 1) 0.577 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1 2) 0.577 * * * [progress]: simplifying candidates 0.577 * [simplify]: Simplifying: (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 0.577 * * [simplify]: Extracting # 0 : cost 0 0.577 * * [simplify]: Extracting # 1 : cost 0 0.577 * * [simplify]: Extracting # 2 : cost 0 0.578 * * [simplify]: Extracting # 3 : cost 0 0.578 * * [simplify]: Extracting # 4 : cost 0 0.578 * * [simplify]: Extracting # 5 : cost 0 0.578 * * [simplify]: Extracting # 6 : cost 0 0.578 * * [simplify]: Extracting # 7 : cost 0 0.578 * * [simplify]: iteration 0 : 12 enodes (cost 45 ) 0.580 * * [simplify]: Extracting # 0 : cost 0 0.580 * * [simplify]: Extracting # 1 : cost 0 0.580 * * [simplify]: Extracting # 2 : cost 0 0.580 * * [simplify]: iteration 1 : 16 enodes (cost 45 ) 0.583 * * [simplify]: Extracting # 0 : cost 0 0.583 * * [simplify]: iteration done: 16 enodes (cost 45 ) 0.584 * [simplify]: Simplified to: (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 0.584 * * * [progress]: adding candidates to table 0.622 * [progress]: [Phase 3 of 3] Extracting. 0.626 * [simplify]: Simplifying: (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 0.628 * * [simplify]: Extracting # 0 : cost 0 0.628 * * [simplify]: Extracting # 1 : cost 0 0.628 * * [simplify]: Extracting # 2 : cost 0 0.628 * * [simplify]: Extracting # 3 : cost 0 0.628 * * [simplify]: Extracting # 4 : cost 0 0.628 * * [simplify]: Extracting # 5 : cost 0 0.628 * * [simplify]: Extracting # 6 : cost 0 0.628 * * [simplify]: Extracting # 7 : cost 0 0.629 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 0.630 * * [simplify]: Extracting # 0 : cost 0 0.630 * * [simplify]: iteration 1 : 13 enodes (cost 15 ) 0.631 * * [simplify]: Extracting # 0 : cost 0 0.631 * * [simplify]: iteration done: 13 enodes (cost 15 ) 0.631 * [simplify]: Simplified to: (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 0.631 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 0.874 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision 0.877 * * * * [points]: Setting MPFR precision to 64 0.880 * * * * [points]: Setting MPFR precision to 320 0.883 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision 0.886 * * * * [points]: Setting MPFR precision to 64 0.892 * * * * [points]: Setting MPFR precision to 320 0.895 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision 0.897 * * * * [points]: Setting MPFR precision to 64 0.902 * * * * [points]: Setting MPFR precision to 320 0.908 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision 0.910 * * * * [points]: Setting MPFR precision to 64 0.920 * * * * [points]: Setting MPFR precision to 320 0.944 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision 0.947 * * * * [points]: Setting MPFR precision to 64 1.002 * * * * [points]: Setting MPFR precision to 320 1.028 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision 1.030 * * * * [points]: Setting MPFR precision to 64 1.071 * * * * [points]: Setting MPFR precision to 320 1.164 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision 1.166 * * * * [points]: Setting MPFR precision to 64 1.279 * * * * [points]: Setting MPFR precision to 320 1.435 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision 1.437 * * * * [points]: Setting MPFR precision to 64 2.264 * * * * [points]: Setting MPFR precision to 320 2.617 * * * * [points]: Computing exacts for 8000 points 2.669 * * * * [points]: Setting MPFR precision to 64 4.042 * * * * [points]: Setting MPFR precision to 320 5.771 * * * * [points]: Setting MPFR precision to 576 7.948 * * * * [points]: Filtering points with unrepresentable outputs 7.954 * * * * [points]: Sampling 3983 additional inputs, on iter 1 have 4017 / 8000 8.070 * * * * [points]: Computing exacts on every 248 of 3983 points to ramp up precision 8.074 * * * * [points]: Setting MPFR precision to 320 8.077 * * * * [points]: Setting MPFR precision to 576 8.080 * * * * [points]: Computing exacts on every 124 of 3983 points to ramp up precision 8.083 * * * * [points]: Setting MPFR precision to 320 8.090 * * * * [points]: Setting MPFR precision to 576 8.098 * * * * [points]: Computing exacts on every 62 of 3983 points to ramp up precision 8.101 * * * * [points]: Setting MPFR precision to 320 8.112 * * * * [points]: Setting MPFR precision to 576 8.123 * * * * [points]: Computing exacts on every 31 of 3983 points to ramp up precision 8.125 * * * * [points]: Setting MPFR precision to 320 8.137 * * * * [points]: Setting MPFR precision to 576 8.159 * * * * [points]: Computing exacts on every 15 of 3983 points to ramp up precision 8.161 * * * * [points]: Setting MPFR precision to 320 8.222 * * * * [points]: Setting MPFR precision to 576 8.276 * * * * [points]: Computing exacts on every 7 of 3983 points to ramp up precision 8.278 * * * * [points]: Setting MPFR precision to 320 8.325 * * * * [points]: Setting MPFR precision to 576 8.480 * * * * [points]: Computing exacts on every 3 of 3983 points to ramp up precision 8.483 * * * * [points]: Setting MPFR precision to 320 8.631 * * * * [points]: Setting MPFR precision to 576 8.846 * * * * [points]: Computing exacts for 3983 points 8.848 * * * * [points]: Setting MPFR precision to 320 10.012 * * * * [points]: Setting MPFR precision to 576 10.822 * * * * [points]: Filtering points with unrepresentable outputs 10.824 * * * * [points]: Sampling 2029 additional inputs, on iter 2 have 5971 / 8000 10.866 * * * * [points]: Computing exacts on every 126 of 2029 points to ramp up precision 10.869 * * * * [points]: Setting MPFR precision to 320 10.873 * * * * [points]: Setting MPFR precision to 576 10.876 * * * * [points]: Computing exacts on every 63 of 2029 points to ramp up precision 10.878 * * * * [points]: Setting MPFR precision to 320 10.881 * * * * [points]: Setting MPFR precision to 576 10.884 * * * * [points]: Computing exacts on every 31 of 2029 points to ramp up precision 10.886 * * * * [points]: Setting MPFR precision to 320 10.892 * * * * [points]: Setting MPFR precision to 576 10.899 * * * * [points]: Computing exacts on every 15 of 2029 points to ramp up precision 10.901 * * * * [points]: Setting MPFR precision to 320 10.915 * * * * [points]: Setting MPFR precision to 576 10.941 * * * * [points]: Computing exacts on every 7 of 2029 points to ramp up precision 10.965 * * * * [points]: Setting MPFR precision to 320 11.009 * * * * [points]: Setting MPFR precision to 576 11.046 * * * * [points]: Computing exacts on every 3 of 2029 points to ramp up precision 11.047 * * * * [points]: Setting MPFR precision to 320 11.146 * * * * [points]: Setting MPFR precision to 576 11.284 * * * * [points]: Computing exacts for 2029 points 11.286 * * * * [points]: Setting MPFR precision to 320 11.701 * * * * [points]: Setting MPFR precision to 576 12.177 * * * * [points]: Filtering points with unrepresentable outputs 12.180 * * * * [points]: Sampling 982 additional inputs, on iter 3 have 7018 / 8000 12.589 * * * * [points]: Computing exacts on every 61 of 982 points to ramp up precision 12.592 * * * * [points]: Setting MPFR precision to 320 12.601 * * * * [points]: Setting MPFR precision to 576 12.605 * * * * [points]: Computing exacts on every 30 of 982 points to ramp up precision 12.608 * * * * [points]: Setting MPFR precision to 320 12.613 * * * * [points]: Setting MPFR precision to 576 12.620 * * * * [points]: Computing exacts on every 15 of 982 points to ramp up precision 12.623 * * * * [points]: Setting MPFR precision to 320 12.635 * * * * [points]: Setting MPFR precision to 576 12.649 * * * * [points]: Computing exacts on every 7 of 982 points to ramp up precision 12.651 * * * * [points]: Setting MPFR precision to 320 12.662 * * * * [points]: Setting MPFR precision to 576 12.676 * * * * [points]: Computing exacts on every 3 of 982 points to ramp up precision 12.679 * * * * [points]: Setting MPFR precision to 320 12.723 * * * * [points]: Setting MPFR precision to 576 12.762 * * * * [points]: Computing exacts for 982 points 12.764 * * * * [points]: Setting MPFR precision to 320 12.926 * * * * [points]: Setting MPFR precision to 576 13.118 * * * * [points]: Filtering points with unrepresentable outputs 13.120 * * * * [points]: Sampling 481 additional inputs, on iter 4 have 7519 / 8000 13.135 * * * * [points]: Computing exacts on every 30 of 481 points to ramp up precision 13.138 * * * * [points]: Setting MPFR precision to 320 13.141 * * * * [points]: Setting MPFR precision to 576 13.143 * * * * [points]: Computing exacts on every 15 of 481 points to ramp up precision 13.144 * * * * [points]: Setting MPFR precision to 320 13.147 * * * * [points]: Setting MPFR precision to 576 13.151 * * * * [points]: Computing exacts on every 7 of 481 points to ramp up precision 13.153 * * * * [points]: Setting MPFR precision to 320 13.200 * * * * [points]: Setting MPFR precision to 576 13.219 * * * * [points]: Computing exacts on every 3 of 481 points to ramp up precision 13.222 * * * * [points]: Setting MPFR precision to 320 13.244 * * * * [points]: Setting MPFR precision to 576 13.273 * * * * [points]: Computing exacts for 481 points 13.276 * * * * [points]: Setting MPFR precision to 320 13.340 * * * * [points]: Setting MPFR precision to 576 13.460 * * * * [points]: Filtering points with unrepresentable outputs 13.460 * * * * [points]: Sampling 241 additional inputs, on iter 5 have 7759 / 8000 13.464 * * * * [points]: Computing exacts on every 15 of 241 points to ramp up precision 13.468 * * * * [points]: Setting MPFR precision to 320 13.471 * * * * [points]: Setting MPFR precision to 576 13.474 * * * * [points]: Computing exacts on every 7 of 241 points to ramp up precision 13.477 * * * * [points]: Setting MPFR precision to 320 13.483 * * * * [points]: Setting MPFR precision to 576 13.490 * * * * [points]: Computing exacts on every 3 of 241 points to ramp up precision 13.493 * * * * [points]: Setting MPFR precision to 320 13.503 * * * * [points]: Setting MPFR precision to 576 13.512 * * * * [points]: Computing exacts for 241 points 13.514 * * * * [points]: Setting MPFR precision to 320 13.539 * * * * [points]: Setting MPFR precision to 576 13.567 * * * * [points]: Filtering points with unrepresentable outputs 13.568 * * * * [points]: Sampling 122 additional inputs, on iter 6 have 7878 / 8000 13.570 * * * * [points]: Computing exacts on every 7 of 122 points to ramp up precision 13.571 * * * * [points]: Setting MPFR precision to 320 13.573 * * * * [points]: Setting MPFR precision to 576 13.575 * * * * [points]: Computing exacts on every 3 of 122 points to ramp up precision 13.617 * * * * [points]: Setting MPFR precision to 320 13.620 * * * * [points]: Setting MPFR precision to 576 13.625 * * * * [points]: Computing exacts for 122 points 13.632 * * * * [points]: Setting MPFR precision to 320 13.650 * * * * [points]: Setting MPFR precision to 576 13.665 * * * * [points]: Filtering points with unrepresentable outputs 13.665 * * * * [points]: Sampling 62 additional inputs, on iter 7 have 7938 / 8000 13.666 * * * * [points]: Computing exacts on every 3 of 62 points to ramp up precision 13.668 * * * * [points]: Setting MPFR precision to 320 13.670 * * * * [points]: Setting MPFR precision to 576 13.671 * * * * [points]: Computing exacts for 62 points 13.674 * * * * [points]: Setting MPFR precision to 320 13.685 * * * * [points]: Setting MPFR precision to 576 13.698 * * * * [points]: Filtering points with unrepresentable outputs 13.698 * * * * [points]: Sampling 32 additional inputs, on iter 8 have 7968 / 8000 13.699 * * * * [points]: Computing exacts on every 2 of 32 points to ramp up precision 13.702 * * * * [points]: Setting MPFR precision to 320 13.704 * * * * [points]: Setting MPFR precision to 576 13.707 * * * * [points]: Computing exacts for 32 points 13.710 * * * * [points]: Setting MPFR precision to 320 13.717 * * * * [points]: Setting MPFR precision to 576 13.724 * * * * [points]: Filtering points with unrepresentable outputs 13.724 * * * * [points]: Sampling 17 additional inputs, on iter 9 have 7983 / 8000 13.725 * * * * [points]: Computing exacts for 17 points 13.729 * * * * [points]: Setting MPFR precision to 320 13.732 * * * * [points]: Setting MPFR precision to 576 13.736 * * * * [points]: Filtering points with unrepresentable outputs 13.736 * * * * [points]: Sampling 9 additional inputs, on iter 10 have 7991 / 8000 13.737 * * * * [points]: Computing exacts for 9 points 13.740 * * * * [points]: Setting MPFR precision to 320 13.742 * * * * [points]: Setting MPFR precision to 576 13.744 * * * * [points]: Filtering points with unrepresentable outputs 13.744 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7996 / 8000 13.744 * * * * [points]: Computing exacts for 4 points 13.746 * * * * [points]: Setting MPFR precision to 320 13.747 * * * * [points]: Setting MPFR precision to 576 13.747 * * * * [points]: Filtering points with unrepresentable outputs 13.747 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7998 / 8000 13.747 * * * * [points]: Computing exacts for 4 points 13.749 * * * * [points]: Setting MPFR precision to 320 13.750 * * * * [points]: Setting MPFR precision to 576 13.750 * * * * [points]: Filtering points with unrepresentable outputs 13.750 * * * * [points]: Sampling 4 additional inputs, on iter 13 have 7999 / 8000 13.750 * * * * [points]: Computing exacts for 4 points 13.752 * * * * [points]: Setting MPFR precision to 320 13.753 * * * * [points]: Setting MPFR precision to 576 13.753 * * * * [points]: Filtering points with unrepresentable outputs 13.753 * * * * [points]: Sampled 8000 points with exact outputs 13.894 * [regime-testing]: Baseline error score: 0.013323120312590146 13.896 * [regime-testing]: Oracle error score: 0.013323120312590146 13.897 * [regime-testing]: End program error score: 0.013323120312590146