0.610 * [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.079 * * * * [points]: Setting MPFR precision to 64 0.083 * * * * [points]: Setting MPFR precision to 320 0.087 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.090 * * * * [points]: Setting MPFR precision to 64 0.094 * * * * [points]: Setting MPFR precision to 320 0.099 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 0.102 * * * * [points]: Setting MPFR precision to 64 0.110 * * * * [points]: Setting MPFR precision to 320 0.120 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 0.123 * * * * [points]: Setting MPFR precision to 64 0.140 * * * * [points]: Setting MPFR precision to 320 0.157 * * * * [points]: Computing exacts for 256 points 0.160 * * * * [points]: Setting MPFR precision to 64 0.237 * * * * [points]: Setting MPFR precision to 320 0.289 * * * * [points]: Filtering points with unrepresentable outputs 0.291 * * * * [points]: Sampling 134 additional inputs, on iter 1 have 122 / 256 0.296 * * * * [points]: Computing exacts on every 8 of 134 points to ramp up precision 0.299 * * * * [points]: Setting MPFR precision to 64 0.302 * * * * [points]: Setting MPFR precision to 320 0.305 * * * * [points]: Computing exacts on every 4 of 134 points to ramp up precision 0.307 * * * * [points]: Setting MPFR precision to 64 0.312 * * * * [points]: Setting MPFR precision to 320 0.318 * * * * [points]: Computing exacts on every 2 of 134 points to ramp up precision 0.321 * * * * [points]: Setting MPFR precision to 64 0.328 * * * * [points]: Setting MPFR precision to 320 0.337 * * * * [points]: Computing exacts for 134 points 0.340 * * * * [points]: Setting MPFR precision to 64 0.366 * * * * [points]: Setting MPFR precision to 320 0.394 * * * * [points]: Filtering points with unrepresentable outputs 0.394 * * * * [points]: Sampling 69 additional inputs, on iter 2 have 187 / 256 0.397 * * * * [points]: Computing exacts on every 4 of 69 points to ramp up precision 0.399 * * * * [points]: Setting MPFR precision to 64 0.402 * * * * [points]: Setting MPFR precision to 320 0.405 * * * * [points]: Computing exacts on every 2 of 69 points to ramp up precision 0.408 * * * * [points]: Setting MPFR precision to 64 0.412 * * * * [points]: Setting MPFR precision to 320 0.418 * * * * [points]: Computing exacts for 69 points 0.421 * * * * [points]: Setting MPFR precision to 64 0.499 * * * * [points]: Setting MPFR precision to 320 0.513 * * * * [points]: Filtering points with unrepresentable outputs 0.513 * * * * [points]: Sampling 35 additional inputs, on iter 3 have 221 / 256 0.514 * * * * [points]: Computing exacts on every 2 of 35 points to ramp up precision 0.515 * * * * [points]: Setting MPFR precision to 64 0.516 * * * * [points]: Setting MPFR precision to 320 0.517 * * * * [points]: Computing exacts for 35 points 0.519 * * * * [points]: Setting MPFR precision to 64 0.522 * * * * [points]: Setting MPFR precision to 320 0.526 * * * * [points]: Filtering points with unrepresentable outputs 0.526 * * * * [points]: Sampling 17 additional inputs, on iter 4 have 239 / 256 0.526 * * * * [points]: Computing exacts for 17 points 0.528 * * * * [points]: Setting MPFR precision to 64 0.529 * * * * [points]: Setting MPFR precision to 320 0.531 * * * * [points]: Filtering points with unrepresentable outputs 0.531 * * * * [points]: Sampling 12 additional inputs, on iter 5 have 244 / 256 0.531 * * * * [points]: Computing exacts for 12 points 0.533 * * * * [points]: Setting MPFR precision to 64 0.534 * * * * [points]: Setting MPFR precision to 320 0.536 * * * * [points]: Filtering points with unrepresentable outputs 0.536 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 253 / 256 0.536 * * * * [points]: Computing exacts for 4 points 0.537 * * * * [points]: Setting MPFR precision to 64 0.538 * * * * [points]: Setting MPFR precision to 320 0.538 * * * * [points]: Filtering points with unrepresentable outputs 0.538 * * * * [points]: Sampled 257 points with exact outputs 0.539 * * * [progress]: [2/2] Setting up program. 0.543 * [progress]: [Phase 2 of 3] Improving. 0.547 * [simplify]: Simplifying: (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 0.548 * * [simplify]: Extracting # 0 : cost 0 0.549 * * [simplify]: Extracting # 1 : cost 0 0.549 * * [simplify]: Extracting # 2 : cost 0 0.549 * * [simplify]: Extracting # 3 : cost 0 0.549 * * [simplify]: Extracting # 4 : cost 0 0.549 * * [simplify]: Extracting # 5 : cost 0 0.549 * * [simplify]: Extracting # 6 : cost 0 0.549 * * [simplify]: Extracting # 7 : cost 0 0.549 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 0.557 * * [simplify]: Extracting # 0 : cost 0 0.557 * * [simplify]: Extracting # 1 : cost 0 0.557 * * [simplify]: Extracting # 2 : cost 0 0.558 * * [simplify]: iteration 1 : 16 enodes (cost 15 ) 0.561 * * [simplify]: Extracting # 0 : cost 0 0.561 * * [simplify]: iteration done: 16 enodes (cost 15 ) 0.561 * [simplify]: Simplified to: (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 0.563 * * [progress]: iteration 1 / 4 0.564 * * * [progress]: picking best candidate 0.570 * * * * [pick]: Picked # 0.570 * * * [progress]: localizing error 0.681 * * * [progress]: generating rewritten candidates 0.681 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 0.686 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1) 0.686 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2) 0.686 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 0.690 * * * [progress]: generating series expansions 0.690 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 0.690 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1) 0.690 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2) 0.690 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 0.690 * * * [progress]: simplifying candidates 0.691 * [simplify]: Simplifying: (neg.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim))))) (neg.c (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))) (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.691 * * [simplify]: Extracting # 0 : cost 0 0.691 * * [simplify]: Extracting # 1 : cost 0 0.691 * * [simplify]: Extracting # 2 : cost 0 0.691 * * [simplify]: Extracting # 3 : cost 0 0.691 * * [simplify]: Extracting # 4 : cost 0 0.691 * * [simplify]: Extracting # 5 : cost 0 0.691 * * [simplify]: Extracting # 6 : cost 0 0.691 * * [simplify]: Extracting # 7 : cost 0 0.691 * * [simplify]: iteration 0 : 14 enodes (cost 75 ) 0.693 * * [simplify]: Extracting # 0 : cost 0 0.693 * * [simplify]: Extracting # 1 : cost 0 0.693 * * [simplify]: Extracting # 2 : cost 0 0.693 * * [simplify]: iteration 1 : 21 enodes (cost 75 ) 0.696 * * [simplify]: Extracting # 0 : cost 0 0.696 * * [simplify]: iteration done: 21 enodes (cost 75 ) 0.696 * [simplify]: Simplified to: (neg.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim))))) (neg.c (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))) (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.696 * * * [progress]: adding candidates to table 0.705 * [progress]: [Phase 3 of 3] Extracting. 0.709 * [simplify]: Simplifying: (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 0.709 * * [simplify]: Extracting # 0 : cost 0 0.709 * * [simplify]: Extracting # 1 : cost 0 0.709 * * [simplify]: Extracting # 2 : cost 0 0.709 * * [simplify]: Extracting # 3 : cost 0 0.710 * * [simplify]: Extracting # 4 : cost 0 0.710 * * [simplify]: Extracting # 5 : cost 0 0.710 * * [simplify]: Extracting # 6 : cost 0 0.710 * * [simplify]: Extracting # 7 : cost 0 0.710 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 0.711 * * [simplify]: Extracting # 0 : cost 0 0.711 * * [simplify]: iteration 1 : 13 enodes (cost 15 ) 0.712 * * [simplify]: Extracting # 0 : cost 0 0.712 * * [simplify]: iteration done: 13 enodes (cost 15 ) 0.712 * [simplify]: Simplified to: (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 0.712 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 0.932 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision 0.935 * * * * [points]: Setting MPFR precision to 64 0.938 * * * * [points]: Setting MPFR precision to 320 0.941 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision 0.944 * * * * [points]: Setting MPFR precision to 64 0.950 * * * * [points]: Setting MPFR precision to 320 0.956 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision 0.959 * * * * [points]: Setting MPFR precision to 64 0.965 * * * * [points]: Setting MPFR precision to 320 0.972 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision 0.973 * * * * [points]: Setting MPFR precision to 64 0.999 * * * * [points]: Setting MPFR precision to 320 1.014 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision 1.017 * * * * [points]: Setting MPFR precision to 64 1.058 * * * * [points]: Setting MPFR precision to 320 1.083 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision 1.085 * * * * [points]: Setting MPFR precision to 64 1.175 * * * * [points]: Setting MPFR precision to 320 1.269 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision 1.271 * * * * [points]: Setting MPFR precision to 64 1.429 * * * * [points]: Setting MPFR precision to 320 1.638 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision 1.641 * * * * [points]: Setting MPFR precision to 64 2.311 * * * * [points]: Setting MPFR precision to 320 2.691 * * * * [points]: Computing exacts for 8000 points 2.694 * * * * [points]: Setting MPFR precision to 64 4.231 * * * * [points]: Setting MPFR precision to 320 6.352 * * * * [points]: Filtering points with unrepresentable outputs 6.364 * * * * [points]: Sampling 3890 additional inputs, on iter 1 have 4110 / 8000 6.480 * * * * [points]: Computing exacts on every 243 of 3890 points to ramp up precision 6.484 * * * * [points]: Setting MPFR precision to 64 6.500 * * * * [points]: Setting MPFR precision to 320 6.503 * * * * [points]: Computing exacts on every 121 of 3890 points to ramp up precision 6.506 * * * * [points]: Setting MPFR precision to 64 6.513 * * * * [points]: Setting MPFR precision to 320 6.520 * * * * [points]: Computing exacts on every 60 of 3890 points to ramp up precision 6.522 * * * * [points]: Setting MPFR precision to 64 6.536 * * * * [points]: Setting MPFR precision to 320 6.548 * * * * [points]: Computing exacts on every 30 of 3890 points to ramp up precision 6.551 * * * * [points]: Setting MPFR precision to 64 6.574 * * * * [points]: Setting MPFR precision to 320 6.598 * * * * [points]: Computing exacts on every 15 of 3890 points to ramp up precision 6.600 * * * * [points]: Setting MPFR precision to 64 6.644 * * * * [points]: Setting MPFR precision to 320 6.692 * * * * [points]: Computing exacts on every 7 of 3890 points to ramp up precision 6.695 * * * * [points]: Setting MPFR precision to 64 6.807 * * * * [points]: Setting MPFR precision to 320 6.894 * * * * [points]: Computing exacts on every 3 of 3890 points to ramp up precision 6.896 * * * * [points]: Setting MPFR precision to 64 7.059 * * * * [points]: Setting MPFR precision to 320 7.578 * * * * [points]: Computing exacts for 3890 points 7.581 * * * * [points]: Setting MPFR precision to 64 8.315 * * * * [points]: Setting MPFR precision to 320 9.086 * * * * [points]: Filtering points with unrepresentable outputs 9.092 * * * * [points]: Sampling 1896 additional inputs, on iter 2 have 6104 / 8000 9.142 * * * * [points]: Computing exacts on every 118 of 1896 points to ramp up precision 9.145 * * * * [points]: Setting MPFR precision to 64 9.148 * * * * [points]: Setting MPFR precision to 320 9.151 * * * * [points]: Computing exacts on every 59 of 1896 points to ramp up precision 9.154 * * * * [points]: Setting MPFR precision to 64 9.159 * * * * [points]: Setting MPFR precision to 320 9.166 * * * * [points]: Computing exacts on every 29 of 1896 points to ramp up precision 9.168 * * * * [points]: Setting MPFR precision to 64 9.179 * * * * [points]: Setting MPFR precision to 320 9.193 * * * * [points]: Computing exacts on every 14 of 1896 points to ramp up precision 9.195 * * * * [points]: Setting MPFR precision to 64 9.216 * * * * [points]: Setting MPFR precision to 320 9.275 * * * * [points]: Computing exacts on every 7 of 1896 points to ramp up precision 9.278 * * * * [points]: Setting MPFR precision to 64 9.314 * * * * [points]: Setting MPFR precision to 320 9.356 * * * * [points]: Computing exacts on every 3 of 1896 points to ramp up precision 9.358 * * * * [points]: Setting MPFR precision to 64 9.406 * * * * [points]: Setting MPFR precision to 320 9.508 * * * * [points]: Computing exacts for 1896 points 9.510 * * * * [points]: Setting MPFR precision to 64 9.802 * * * * [points]: Setting MPFR precision to 320 10.589 * * * * [points]: Filtering points with unrepresentable outputs 10.592 * * * * [points]: Sampling 949 additional inputs, on iter 3 have 7051 / 8000 10.607 * * * * [points]: Computing exacts on every 59 of 949 points to ramp up precision 10.609 * * * * [points]: Setting MPFR precision to 64 10.610 * * * * [points]: Setting MPFR precision to 320 10.612 * * * * [points]: Computing exacts on every 29 of 949 points to ramp up precision 10.613 * * * * [points]: Setting MPFR precision to 64 10.616 * * * * [points]: Setting MPFR precision to 320 10.619 * * * * [points]: Computing exacts on every 14 of 949 points to ramp up precision 10.621 * * * * [points]: Setting MPFR precision to 64 10.662 * * * * [points]: Setting MPFR precision to 320 10.669 * * * * [points]: Computing exacts on every 7 of 949 points to ramp up precision 10.670 * * * * [points]: Setting MPFR precision to 64 10.683 * * * * [points]: Setting MPFR precision to 320 10.698 * * * * [points]: Computing exacts on every 3 of 949 points to ramp up precision 10.700 * * * * [points]: Setting MPFR precision to 64 10.730 * * * * [points]: Setting MPFR precision to 320 10.767 * * * * [points]: Computing exacts for 949 points 10.772 * * * * [points]: Setting MPFR precision to 64 10.942 * * * * [points]: Setting MPFR precision to 320 11.111 * * * * [points]: Filtering points with unrepresentable outputs 11.112 * * * * [points]: Sampling 454 additional inputs, on iter 4 have 7546 / 8000 11.125 * * * * [points]: Computing exacts on every 28 of 454 points to ramp up precision 11.128 * * * * [points]: Setting MPFR precision to 64 11.130 * * * * [points]: Setting MPFR precision to 320 11.132 * * * * [points]: Computing exacts on every 14 of 454 points to ramp up precision 11.134 * * * * [points]: Setting MPFR precision to 64 11.137 * * * * [points]: Setting MPFR precision to 320 11.140 * * * * [points]: Computing exacts on every 7 of 454 points to ramp up precision 11.141 * * * * [points]: Setting MPFR precision to 64 11.146 * * * * [points]: Setting MPFR precision to 320 11.152 * * * * [points]: Computing exacts on every 3 of 454 points to ramp up precision 11.154 * * * * [points]: Setting MPFR precision to 64 11.164 * * * * [points]: Setting MPFR precision to 320 11.185 * * * * [points]: Computing exacts for 454 points 11.188 * * * * [points]: Setting MPFR precision to 64 11.326 * * * * [points]: Setting MPFR precision to 320 11.416 * * * * [points]: Filtering points with unrepresentable outputs 11.417 * * * * [points]: Sampling 235 additional inputs, on iter 5 have 7765 / 8000 11.423 * * * * [points]: Computing exacts on every 14 of 235 points to ramp up precision 11.426 * * * * [points]: Setting MPFR precision to 64 11.429 * * * * [points]: Setting MPFR precision to 320 11.432 * * * * [points]: Computing exacts on every 7 of 235 points to ramp up precision 11.435 * * * * [points]: Setting MPFR precision to 64 11.441 * * * * [points]: Setting MPFR precision to 320 11.447 * * * * [points]: Computing exacts on every 3 of 235 points to ramp up precision 11.450 * * * * [points]: Setting MPFR precision to 64 11.460 * * * * [points]: Setting MPFR precision to 320 11.466 * * * * [points]: Computing exacts for 235 points 11.468 * * * * [points]: Setting MPFR precision to 64 11.554 * * * * [points]: Setting MPFR precision to 320 11.580 * * * * [points]: Filtering points with unrepresentable outputs 11.580 * * * * [points]: Sampling 116 additional inputs, on iter 6 have 7884 / 8000 11.582 * * * * [points]: Computing exacts on every 7 of 116 points to ramp up precision 11.586 * * * * [points]: Setting MPFR precision to 64 11.588 * * * * [points]: Setting MPFR precision to 320 11.589 * * * * [points]: Computing exacts on every 3 of 116 points to ramp up precision 11.591 * * * * [points]: Setting MPFR precision to 64 11.594 * * * * [points]: Setting MPFR precision to 320 11.597 * * * * [points]: Computing exacts for 116 points 11.599 * * * * [points]: Setting MPFR precision to 64 11.609 * * * * [points]: Setting MPFR precision to 320 11.621 * * * * [points]: Filtering points with unrepresentable outputs 11.621 * * * * [points]: Sampling 62 additional inputs, on iter 7 have 7938 / 8000 11.622 * * * * [points]: Computing exacts on every 3 of 62 points to ramp up precision 11.623 * * * * [points]: Setting MPFR precision to 64 11.625 * * * * [points]: Setting MPFR precision to 320 11.626 * * * * [points]: Computing exacts for 62 points 11.627 * * * * [points]: Setting MPFR precision to 64 11.633 * * * * [points]: Setting MPFR precision to 320 11.639 * * * * [points]: Filtering points with unrepresentable outputs 11.639 * * * * [points]: Sampling 37 additional inputs, on iter 8 have 7963 / 8000 11.640 * * * * [points]: Computing exacts on every 2 of 37 points to ramp up precision 11.642 * * * * [points]: Setting MPFR precision to 64 11.643 * * * * [points]: Setting MPFR precision to 320 11.644 * * * * [points]: Computing exacts for 37 points 11.646 * * * * [points]: Setting MPFR precision to 64 11.694 * * * * [points]: Setting MPFR precision to 320 11.698 * * * * [points]: Filtering points with unrepresentable outputs 11.698 * * * * [points]: Sampling 22 additional inputs, on iter 9 have 7978 / 8000 11.698 * * * * [points]: Computing exacts for 22 points 11.700 * * * * [points]: Setting MPFR precision to 64 11.705 * * * * [points]: Setting MPFR precision to 320 11.707 * * * * [points]: Filtering points with unrepresentable outputs 11.707 * * * * [points]: Sampling 13 additional inputs, on iter 10 have 7987 / 8000 11.707 * * * * [points]: Computing exacts for 13 points 11.709 * * * * [points]: Setting MPFR precision to 64 11.711 * * * * [points]: Setting MPFR precision to 320 11.713 * * * * [points]: Filtering points with unrepresentable outputs 11.713 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7996 / 8000 11.714 * * * * [points]: Computing exacts for 4 points 11.715 * * * * [points]: Setting MPFR precision to 64 11.716 * * * * [points]: Setting MPFR precision to 320 11.716 * * * * [points]: Filtering points with unrepresentable outputs 11.717 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7998 / 8000 11.717 * * * * [points]: Computing exacts for 4 points 11.718 * * * * [points]: Setting MPFR precision to 64 11.719 * * * * [points]: Setting MPFR precision to 320 11.719 * * * * [points]: Filtering points with unrepresentable outputs 11.719 * * * * [points]: Sampling 4 additional inputs, on iter 13 have 7999 / 8000 11.720 * * * * [points]: Computing exacts for 4 points 11.721 * * * * [points]: Setting MPFR precision to 64 11.722 * * * * [points]: Setting MPFR precision to 320 11.722 * * * * [points]: Filtering points with unrepresentable outputs 11.722 * * * * [points]: Sampled 8001 points with exact outputs 11.932 * [regime-testing]: Baseline error score: 0.012948120312590145 11.934 * [regime-testing]: Oracle error score: 0.012948120312590145 11.935 * [regime-testing]: End program error score: 0.012948120312590145