1.684 * [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.013 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 0.086 * * * * [points]: Setting MPFR precision to 64 0.090 * * * * [points]: Setting MPFR precision to 320 0.094 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.097 * * * * [points]: Setting MPFR precision to 64 0.102 * * * * [points]: Setting MPFR precision to 320 0.109 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 0.111 * * * * [points]: Setting MPFR precision to 64 0.121 * * * * [points]: Setting MPFR precision to 320 0.132 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 0.135 * * * * [points]: Setting MPFR precision to 64 0.152 * * * * [points]: Setting MPFR precision to 320 0.172 * * * * [points]: Computing exacts for 256 points 0.174 * * * * [points]: Setting MPFR precision to 64 0.290 * * * * [points]: Setting MPFR precision to 320 0.336 * * * * [points]: Filtering points with unrepresentable outputs 0.337 * * * * [points]: Sampling 121 additional inputs, on iter 1 have 135 / 256 0.340 * * * * [points]: Computing exacts on every 7 of 121 points to ramp up precision 0.343 * * * * [points]: Setting MPFR precision to 64 0.345 * * * * [points]: Setting MPFR precision to 320 0.348 * * * * [points]: Computing exacts on every 3 of 121 points to ramp up precision 0.350 * * * * [points]: Setting MPFR precision to 64 0.355 * * * * [points]: Setting MPFR precision to 320 0.360 * * * * [points]: Computing exacts for 121 points 0.363 * * * * [points]: Setting MPFR precision to 64 0.385 * * * * [points]: Setting MPFR precision to 320 0.407 * * * * [points]: Filtering points with unrepresentable outputs 0.407 * * * * [points]: Sampling 66 additional inputs, on iter 2 have 190 / 256 0.409 * * * * [points]: Computing exacts on every 4 of 66 points to ramp up precision 0.411 * * * * [points]: Setting MPFR precision to 64 0.413 * * * * [points]: Setting MPFR precision to 320 0.416 * * * * [points]: Computing exacts on every 2 of 66 points to ramp up precision 0.418 * * * * [points]: Setting MPFR precision to 64 0.422 * * * * [points]: Setting MPFR precision to 320 0.426 * * * * [points]: Computing exacts for 66 points 0.429 * * * * [points]: Setting MPFR precision to 64 0.440 * * * * [points]: Setting MPFR precision to 320 0.452 * * * * [points]: Filtering points with unrepresentable outputs 0.452 * * * * [points]: Sampling 29 additional inputs, on iter 3 have 227 / 256 0.453 * * * * [points]: Computing exacts for 29 points 0.455 * * * * [points]: Setting MPFR precision to 64 0.460 * * * * [points]: Setting MPFR precision to 320 0.520 * * * * [points]: Filtering points with unrepresentable outputs 0.520 * * * * [points]: Sampling 13 additional inputs, on iter 4 have 243 / 256 0.521 * * * * [points]: Computing exacts for 13 points 0.523 * * * * [points]: Setting MPFR precision to 64 0.525 * * * * [points]: Setting MPFR precision to 320 0.528 * * * * [points]: Filtering points with unrepresentable outputs 0.528 * * * * [points]: Sampling 6 additional inputs, on iter 5 have 250 / 256 0.528 * * * * [points]: Computing exacts for 6 points 0.535 * * * * [points]: Setting MPFR precision to 64 0.536 * * * * [points]: Setting MPFR precision to 320 0.537 * * * * [points]: Filtering points with unrepresentable outputs 0.537 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 252 / 256 0.537 * * * * [points]: Computing exacts for 4 points 0.540 * * * * [points]: Setting MPFR precision to 64 0.540 * * * * [points]: Setting MPFR precision to 320 0.541 * * * * [points]: Filtering points with unrepresentable outputs 0.541 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 254 / 256 0.541 * * * * [points]: Computing exacts for 4 points 0.544 * * * * [points]: Setting MPFR precision to 64 0.544 * * * * [points]: Setting MPFR precision to 320 0.545 * * * * [points]: Filtering points with unrepresentable outputs 0.545 * * * * [points]: Sampled 257 points with exact outputs 0.546 * * * [progress]: [2/2] Setting up program. 0.553 * [progress]: [Phase 2 of 3] Improving. 0.557 * [simplify]: Simplifying: (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 0.558 * * [simplify]: Extracting # 0 : cost 0 0.559 * * [simplify]: Extracting # 1 : cost 0 0.559 * * [simplify]: Extracting # 2 : cost 0 0.559 * * [simplify]: Extracting # 3 : cost 0 0.559 * * [simplify]: Extracting # 4 : cost 0 0.559 * * [simplify]: Extracting # 5 : cost 0 0.559 * * [simplify]: Extracting # 6 : cost 0 0.559 * * [simplify]: Extracting # 7 : cost 0 0.559 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 0.566 * * [simplify]: Extracting # 0 : cost 0 0.566 * * [simplify]: Extracting # 1 : cost 0 0.566 * * [simplify]: Extracting # 2 : cost 0 0.567 * * [simplify]: iteration 1 : 16 enodes (cost 15 ) 0.570 * * [simplify]: Extracting # 0 : cost 0 0.570 * * [simplify]: iteration done: 16 enodes (cost 15 ) 0.571 * [simplify]: Simplified to: (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 0.573 * * [progress]: iteration 1 / 4 0.573 * * * [progress]: picking best candidate 0.580 * * * * [pick]: Picked # 0.580 * * * [progress]: localizing error 0.656 * * * [progress]: generating rewritten candidates 0.656 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1) 0.663 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1 2) 0.663 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1 1) 0.666 * * * [progress]: generating series expansions 0.666 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1) 0.666 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1 2) 0.666 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1 1) 0.666 * * * [progress]: simplifying candidates 0.667 * [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.668 * * [simplify]: Extracting # 0 : cost 0 0.668 * * [simplify]: Extracting # 1 : cost 0 0.668 * * [simplify]: Extracting # 2 : cost 0 0.668 * * [simplify]: Extracting # 3 : cost 0 0.668 * * [simplify]: Extracting # 4 : cost 0 0.668 * * [simplify]: Extracting # 5 : cost 0 0.668 * * [simplify]: Extracting # 6 : cost 0 0.668 * * [simplify]: Extracting # 7 : cost 0 0.668 * * [simplify]: iteration 0 : 12 enodes (cost 45 ) 0.671 * * [simplify]: Extracting # 0 : cost 0 0.671 * * [simplify]: Extracting # 1 : cost 0 0.671 * * [simplify]: Extracting # 2 : cost 0 0.672 * * [simplify]: iteration 1 : 16 enodes (cost 45 ) 0.675 * * [simplify]: Extracting # 0 : cost 0 0.675 * * [simplify]: iteration done: 16 enodes (cost 45 ) 0.676 * [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.676 * * * [progress]: adding candidates to table 0.722 * [progress]: [Phase 3 of 3] Extracting. 0.728 * [simplify]: Simplifying: (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 0.729 * * [simplify]: Extracting # 0 : cost 0 0.729 * * [simplify]: Extracting # 1 : cost 0 0.729 * * [simplify]: Extracting # 2 : cost 0 0.729 * * [simplify]: Extracting # 3 : cost 0 0.729 * * [simplify]: Extracting # 4 : cost 0 0.729 * * [simplify]: Extracting # 5 : cost 0 0.729 * * [simplify]: Extracting # 6 : cost 0 0.729 * * [simplify]: Extracting # 7 : cost 0 0.729 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 0.730 * * [simplify]: Extracting # 0 : cost 0 0.730 * * [simplify]: iteration 1 : 13 enodes (cost 15 ) 0.731 * * [simplify]: Extracting # 0 : cost 0 0.731 * * [simplify]: iteration done: 13 enodes (cost 15 ) 0.731 * [simplify]: Simplified to: (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 0.731 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 0.953 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision 0.957 * * * * [points]: Setting MPFR precision to 64 0.960 * * * * [points]: Setting MPFR precision to 320 0.962 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision 0.965 * * * * [points]: Setting MPFR precision to 64 0.970 * * * * [points]: Setting MPFR precision to 320 0.976 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision 0.979 * * * * [points]: Setting MPFR precision to 64 0.989 * * * * [points]: Setting MPFR precision to 320 1.000 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision 1.003 * * * * [points]: Setting MPFR precision to 64 1.023 * * * * [points]: Setting MPFR precision to 320 1.045 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision 1.048 * * * * [points]: Setting MPFR precision to 64 1.146 * * * * [points]: Setting MPFR precision to 320 1.203 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision 1.205 * * * * [points]: Setting MPFR precision to 64 1.300 * * * * [points]: Setting MPFR precision to 320 1.483 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision 1.486 * * * * [points]: Setting MPFR precision to 64 1.676 * * * * [points]: Setting MPFR precision to 320 1.960 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision 1.963 * * * * [points]: Setting MPFR precision to 64 2.487 * * * * [points]: Setting MPFR precision to 320 3.513 * * * * [points]: Computing exacts for 8000 points 3.517 * * * * [points]: Setting MPFR precision to 64 5.603 * * * * [points]: Setting MPFR precision to 320 8.087 * * * * [points]: Setting MPFR precision to 576 11.085 * * * * [points]: Filtering points with unrepresentable outputs 11.097 * * * * [points]: Sampling 3980 additional inputs, on iter 1 have 4020 / 8000 11.239 * * * * [points]: Computing exacts on every 248 of 3980 points to ramp up precision 11.242 * * * * [points]: Setting MPFR precision to 320 11.246 * * * * [points]: Setting MPFR precision to 576 11.249 * * * * [points]: Computing exacts on every 124 of 3980 points to ramp up precision 11.252 * * * * [points]: Setting MPFR precision to 320 11.259 * * * * [points]: Setting MPFR precision to 576 11.267 * * * * [points]: Computing exacts on every 62 of 3980 points to ramp up precision 11.271 * * * * [points]: Setting MPFR precision to 320 11.284 * * * * [points]: Setting MPFR precision to 576 11.300 * * * * [points]: Computing exacts on every 31 of 3980 points to ramp up precision 11.303 * * * * [points]: Setting MPFR precision to 320 11.328 * * * * [points]: Setting MPFR precision to 576 11.358 * * * * [points]: Computing exacts on every 15 of 3980 points to ramp up precision 11.361 * * * * [points]: Setting MPFR precision to 320 11.413 * * * * [points]: Setting MPFR precision to 576 11.517 * * * * [points]: Computing exacts on every 7 of 3980 points to ramp up precision 11.520 * * * * [points]: Setting MPFR precision to 320 11.617 * * * * [points]: Setting MPFR precision to 576 11.789 * * * * [points]: Computing exacts on every 3 of 3980 points to ramp up precision 11.797 * * * * [points]: Setting MPFR precision to 320 11.998 * * * * [points]: Setting MPFR precision to 576 12.293 * * * * [points]: Computing exacts for 3980 points 12.296 * * * * [points]: Setting MPFR precision to 320 13.839 * * * * [points]: Setting MPFR precision to 576 15.034 * * * * [points]: Filtering points with unrepresentable outputs 15.040 * * * * [points]: Sampling 2006 additional inputs, on iter 2 have 5994 / 8000 15.102 * * * * [points]: Computing exacts on every 125 of 2006 points to ramp up precision 15.106 * * * * [points]: Setting MPFR precision to 320 15.109 * * * * [points]: Setting MPFR precision to 576 15.113 * * * * [points]: Computing exacts on every 62 of 2006 points to ramp up precision 15.116 * * * * [points]: Setting MPFR precision to 320 15.122 * * * * [points]: Setting MPFR precision to 576 15.179 * * * * [points]: Computing exacts on every 31 of 2006 points to ramp up precision 15.182 * * * * [points]: Setting MPFR precision to 320 15.200 * * * * [points]: Setting MPFR precision to 576 15.215 * * * * [points]: Computing exacts on every 15 of 2006 points to ramp up precision 15.219 * * * * [points]: Setting MPFR precision to 320 15.245 * * * * [points]: Setting MPFR precision to 576 15.276 * * * * [points]: Computing exacts on every 7 of 2006 points to ramp up precision 15.279 * * * * [points]: Setting MPFR precision to 320 15.325 * * * * [points]: Setting MPFR precision to 576 15.382 * * * * [points]: Computing exacts on every 3 of 2006 points to ramp up precision 15.385 * * * * [points]: Setting MPFR precision to 320 15.576 * * * * [points]: Setting MPFR precision to 576 15.697 * * * * [points]: Computing exacts for 2006 points 15.700 * * * * [points]: Setting MPFR precision to 320 16.265 * * * * [points]: Setting MPFR precision to 576 16.857 * * * * [points]: Filtering points with unrepresentable outputs 16.860 * * * * [points]: Sampling 965 additional inputs, on iter 3 have 7035 / 8000 16.885 * * * * [points]: Computing exacts on every 60 of 965 points to ramp up precision 16.889 * * * * [points]: Setting MPFR precision to 320 16.892 * * * * [points]: Setting MPFR precision to 576 16.895 * * * * [points]: Computing exacts on every 30 of 965 points to ramp up precision 16.899 * * * * [points]: Setting MPFR precision to 320 16.906 * * * * [points]: Setting MPFR precision to 576 16.913 * * * * [points]: Computing exacts on every 15 of 965 points to ramp up precision 16.916 * * * * [points]: Setting MPFR precision to 320 16.928 * * * * [points]: Setting MPFR precision to 576 17.438 * * * * [points]: Computing exacts on every 7 of 965 points to ramp up precision 17.441 * * * * [points]: Setting MPFR precision to 320 17.467 * * * * [points]: Setting MPFR precision to 576 17.495 * * * * [points]: Computing exacts on every 3 of 965 points to ramp up precision 17.498 * * * * [points]: Setting MPFR precision to 320 17.548 * * * * [points]: Setting MPFR precision to 576 17.607 * * * * [points]: Computing exacts for 965 points 17.610 * * * * [points]: Setting MPFR precision to 320 17.885 * * * * [points]: Setting MPFR precision to 576 18.194 * * * * [points]: Filtering points with unrepresentable outputs 18.195 * * * * [points]: Sampling 480 additional inputs, on iter 4 have 7520 / 8000 18.208 * * * * [points]: Computing exacts on every 30 of 480 points to ramp up precision 18.211 * * * * [points]: Setting MPFR precision to 320 18.214 * * * * [points]: Setting MPFR precision to 576 18.217 * * * * [points]: Computing exacts on every 15 of 480 points to ramp up precision 18.220 * * * * [points]: Setting MPFR precision to 320 18.226 * * * * [points]: Setting MPFR precision to 576 18.234 * * * * [points]: Computing exacts on every 7 of 480 points to ramp up precision 18.237 * * * * [points]: Setting MPFR precision to 320 18.251 * * * * [points]: Setting MPFR precision to 576 18.266 * * * * [points]: Computing exacts on every 3 of 480 points to ramp up precision 18.269 * * * * [points]: Setting MPFR precision to 320 18.295 * * * * [points]: Setting MPFR precision to 576 18.400 * * * * [points]: Computing exacts for 480 points 18.404 * * * * [points]: Setting MPFR precision to 320 18.501 * * * * [points]: Setting MPFR precision to 576 18.628 * * * * [points]: Filtering points with unrepresentable outputs 18.629 * * * * [points]: Sampling 226 additional inputs, on iter 5 have 7774 / 8000 18.636 * * * * [points]: Computing exacts on every 14 of 226 points to ramp up precision 18.722 * * * * [points]: Setting MPFR precision to 320 18.726 * * * * [points]: Setting MPFR precision to 576 18.736 * * * * [points]: Computing exacts on every 7 of 226 points to ramp up precision 18.739 * * * * [points]: Setting MPFR precision to 320 18.745 * * * * [points]: Setting MPFR precision to 576 18.752 * * * * [points]: Computing exacts on every 3 of 226 points to ramp up precision 18.756 * * * * [points]: Setting MPFR precision to 320 18.768 * * * * [points]: Setting MPFR precision to 576 18.783 * * * * [points]: Computing exacts for 226 points 18.786 * * * * [points]: Setting MPFR precision to 320 18.832 * * * * [points]: Setting MPFR precision to 576 18.885 * * * * [points]: Filtering points with unrepresentable outputs 18.886 * * * * [points]: Sampling 117 additional inputs, on iter 6 have 7883 / 8000 18.890 * * * * [points]: Computing exacts on every 7 of 117 points to ramp up precision 18.893 * * * * [points]: Setting MPFR precision to 320 18.896 * * * * [points]: Setting MPFR precision to 576 18.899 * * * * [points]: Computing exacts on every 3 of 117 points to ramp up precision 18.903 * * * * [points]: Setting MPFR precision to 320 18.908 * * * * [points]: Setting MPFR precision to 576 18.915 * * * * [points]: Computing exacts for 117 points 18.918 * * * * [points]: Setting MPFR precision to 320 18.939 * * * * [points]: Setting MPFR precision to 576 19.028 * * * * [points]: Filtering points with unrepresentable outputs 19.029 * * * * [points]: Sampling 58 additional inputs, on iter 7 have 7942 / 8000 19.030 * * * * [points]: Computing exacts on every 3 of 58 points to ramp up precision 19.034 * * * * [points]: Setting MPFR precision to 320 19.037 * * * * [points]: Setting MPFR precision to 576 19.040 * * * * [points]: Computing exacts for 58 points 19.044 * * * * [points]: Setting MPFR precision to 320 19.055 * * * * [points]: Setting MPFR precision to 576 19.068 * * * * [points]: Filtering points with unrepresentable outputs 19.068 * * * * [points]: Sampling 27 additional inputs, on iter 8 have 7973 / 8000 19.069 * * * * [points]: Computing exacts for 27 points 19.071 * * * * [points]: Setting MPFR precision to 320 19.077 * * * * [points]: Setting MPFR precision to 576 19.083 * * * * [points]: Filtering points with unrepresentable outputs 19.083 * * * * [points]: Sampling 21 additional inputs, on iter 9 have 7979 / 8000 19.084 * * * * [points]: Computing exacts for 21 points 19.086 * * * * [points]: Setting MPFR precision to 320 19.091 * * * * [points]: Setting MPFR precision to 576 19.096 * * * * [points]: Filtering points with unrepresentable outputs 19.096 * * * * [points]: Sampling 5 additional inputs, on iter 10 have 7995 / 8000 19.096 * * * * [points]: Computing exacts for 5 points 19.099 * * * * [points]: Setting MPFR precision to 320 19.101 * * * * [points]: Setting MPFR precision to 576 19.102 * * * * [points]: Filtering points with unrepresentable outputs 19.102 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7997 / 8000 19.102 * * * * [points]: Computing exacts for 4 points 19.105 * * * * [points]: Setting MPFR precision to 320 19.106 * * * * [points]: Setting MPFR precision to 576 19.107 * * * * [points]: Filtering points with unrepresentable outputs 19.107 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7998 / 8000 19.107 * * * * [points]: Computing exacts for 4 points 19.110 * * * * [points]: Setting MPFR precision to 320 19.111 * * * * [points]: Setting MPFR precision to 576 19.112 * * * * [points]: Filtering points with unrepresentable outputs 19.113 * * * * [points]: Sampled 8001 points with exact outputs 19.507 * [regime-testing]: Baseline error score: 0.01314624062518029 19.511 * [regime-testing]: Oracle error score: 0.01314624062518029 19.512 * [regime-testing]: End program error score: 0.01314624062518029