0.748 * [progress]: [Phase 1 of 3] Setting up. 0.004 * * * [progress]: [1/2] Preparing points 0.005 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256 0.010 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 0.105 * * * * [points]: Setting MPFR precision to 64 0.108 * * * * [points]: Setting MPFR precision to 320 0.110 * * * * [points]: Setting MPFR precision to 576 0.112 * * * * [points]: Setting MPFR precision to 832 0.115 * * * * [points]: Setting MPFR precision to 1088 0.118 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.121 * * * * [points]: Setting MPFR precision to 832 0.125 * * * * [points]: Setting MPFR precision to 1088 0.131 * * * * [points]: Setting MPFR precision to 1344 0.146 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 0.151 * * * * [points]: Setting MPFR precision to 1088 0.168 * * * * [points]: Setting MPFR precision to 1344 0.191 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 0.195 * * * * [points]: Setting MPFR precision to 1088 0.229 * * * * [points]: Setting MPFR precision to 1344 0.272 * * * * [points]: Computing exacts for 256 points 0.308 * * * * [points]: Setting MPFR precision to 1088 0.411 * * * * [points]: Setting MPFR precision to 1344 0.536 * * * * [points]: Filtering points with unrepresentable outputs 0.537 * * * * [points]: Sampling 122 additional inputs, on iter 1 have 134 / 256 0.539 * * * * [points]: Computing exacts on every 7 of 122 points to ramp up precision 0.543 * * * * [points]: Setting MPFR precision to 1088 0.549 * * * * [points]: Setting MPFR precision to 1344 0.554 * * * * [points]: Computing exacts on every 3 of 122 points to ramp up precision 0.558 * * * * [points]: Setting MPFR precision to 1088 0.570 * * * * [points]: Setting MPFR precision to 1344 0.584 * * * * [points]: Computing exacts for 122 points 0.588 * * * * [points]: Setting MPFR precision to 1088 0.641 * * * * [points]: Setting MPFR precision to 1344 0.718 * * * * [points]: Filtering points with unrepresentable outputs 0.718 * * * * [points]: Sampling 55 additional inputs, on iter 2 have 201 / 256 0.718 * * * * [points]: Computing exacts on every 3 of 55 points to ramp up precision 0.723 * * * * [points]: Setting MPFR precision to 1088 0.726 * * * * [points]: Setting MPFR precision to 1344 0.729 * * * * [points]: Computing exacts for 55 points 0.732 * * * * [points]: Setting MPFR precision to 1088 0.744 * * * * [points]: Setting MPFR precision to 1344 0.759 * * * * [points]: Filtering points with unrepresentable outputs 0.759 * * * * [points]: Sampling 27 additional inputs, on iter 3 have 229 / 256 0.759 * * * * [points]: Computing exacts for 27 points 0.761 * * * * [points]: Setting MPFR precision to 1088 0.767 * * * * [points]: Setting MPFR precision to 1344 0.775 * * * * [points]: Filtering points with unrepresentable outputs 0.775 * * * * [points]: Sampling 15 additional inputs, on iter 4 have 241 / 256 0.775 * * * * [points]: Computing exacts for 15 points 0.777 * * * * [points]: Setting MPFR precision to 1088 0.782 * * * * [points]: Setting MPFR precision to 1344 0.788 * * * * [points]: Filtering points with unrepresentable outputs 0.789 * * * * [points]: Sampling 6 additional inputs, on iter 5 have 250 / 256 0.789 * * * * [points]: Computing exacts for 6 points 0.793 * * * * [points]: Setting MPFR precision to 1088 0.795 * * * * [points]: Setting MPFR precision to 1344 0.797 * * * * [points]: Filtering points with unrepresentable outputs 0.798 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 253 / 256 0.798 * * * * [points]: Computing exacts for 4 points 0.802 * * * * [points]: Setting MPFR precision to 1088 0.804 * * * * [points]: Setting MPFR precision to 1344 0.806 * * * * [points]: Filtering points with unrepresentable outputs 0.806 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 254 / 256 0.806 * * * * [points]: Computing exacts for 4 points 0.810 * * * * [points]: Setting MPFR precision to 1088 0.812 * * * * [points]: Setting MPFR precision to 1344 0.814 * * * * [points]: Filtering points with unrepresentable outputs 0.814 * * * * [points]: Sampled 256 points with exact outputs 0.814 * * * [progress]: [2/2] Setting up program. 0.821 * [progress]: [Phase 2 of 3] Improving. 0.822 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.825 * [simplify]: Simplifying: (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 0.826 * * [simplify]: iteration 1: (12 enodes) 0.836 * * [simplify]: iteration 2: (16 enodes) 0.841 * * [simplify]: Extracting #0: cost 1 inf + 0 0.841 * * [simplify]: Extracting #1: cost 2 inf + 0 0.842 * * [simplify]: Extracting #2: cost 4 inf + 0 0.842 * * [simplify]: Extracting #3: cost 8 inf + 0 0.842 * * [simplify]: Extracting #4: cost 7 inf + 4 0.842 * * [simplify]: Extracting #5: cost 11 inf + 4 0.842 * * [simplify]: Extracting #6: cost 8 inf + 47 0.842 * * [simplify]: Extracting #7: cost 3 inf + 396 0.843 * * [simplify]: Extracting #8: cost 0 inf + 2186 0.843 * [simplify]: Simplified to: (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 0.870 * * [progress]: iteration 1 / 4 0.870 * * * [progress]: picking best candidate 0.873 * * * * [pick]: Picked # 0.873 * * * [progress]: localizing error 0.996 * * * [progress]: generating rewritten candidates 0.996 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 0.999 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1) 0.999 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2) 0.999 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 1.003 * * * [progress]: generating series expansions 1.003 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 1.004 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1) 1.004 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2) 1.004 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 1.004 * * * [progress]: simplifying candidates 1.004 * * * * [progress]: [ 1 / 6 ] simplifiying candidate # 1.004 * * * * [progress]: [ 2 / 6 ] simplifiying candidate # 1.004 * * * * [progress]: [ 3 / 6 ] simplifiying candidate # 1.004 * * * * [progress]: [ 4 / 6 ] simplifiying candidate # 1.004 * * * * [progress]: [ 5 / 6 ] simplifiying candidate # 1.004 * * * * [progress]: [ 6 / 6 ] simplifiying candidate # 1.004 * [simplify]: Simplifying: (neg.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim))))) (neg.c (complex 2 0)) (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1.004 * * [simplify]: iteration 1: (14 enodes) 1.008 * * [simplify]: iteration 2: (22 enodes) 1.011 * * [simplify]: Extracting #0: cost 3 inf + 0 1.011 * * [simplify]: Extracting #1: cost 8 inf + 0 1.011 * * [simplify]: Extracting #2: cost 8 inf + 4 1.011 * * [simplify]: Extracting #3: cost 8 inf + 7 1.011 * * [simplify]: Extracting #4: cost 12 inf + 7 1.011 * * [simplify]: Extracting #5: cost 9 inf + 50 1.011 * * [simplify]: Extracting #6: cost 4 inf + 399 1.012 * * [simplify]: Extracting #7: cost 0 inf + 2571 1.012 * [simplify]: Simplified to: (neg.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim)))) (complex -2 0) (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1.012 * * * [progress]: adding candidates to table 1.427 * [progress]: [Phase 3 of 3] Extracting. 1.432 * [simplify]: Simplifying: (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1.432 * * [simplify]: iteration 1: (12 enodes) 1.434 * * [simplify]: iteration 2: (13 enodes) 1.435 * * [simplify]: Extracting #0: cost 1 inf + 0 1.435 * * [simplify]: Extracting #1: cost 2 inf + 0 1.435 * * [simplify]: Extracting #2: cost 4 inf + 0 1.435 * * [simplify]: Extracting #3: cost 8 inf + 0 1.435 * * [simplify]: Extracting #4: cost 7 inf + 4 1.435 * * [simplify]: Extracting #5: cost 9 inf + 4 1.435 * * [simplify]: Extracting #6: cost 7 inf + 6 1.435 * * [simplify]: Extracting #7: cost 0 inf + 2104 1.436 * [simplify]: Simplified to: (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1.436 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1.547 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision 1.549 * * * * [points]: Setting MPFR precision to 1088 1.553 * * * * [points]: Setting MPFR precision to 1344 1.557 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision 1.559 * * * * [points]: Setting MPFR precision to 1088 1.566 * * * * [points]: Setting MPFR precision to 1344 1.575 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision 1.577 * * * * [points]: Setting MPFR precision to 1088 1.591 * * * * [points]: Setting MPFR precision to 1344 1.609 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision 1.612 * * * * [points]: Setting MPFR precision to 1088 1.653 * * * * [points]: Setting MPFR precision to 1344 1.689 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision 1.691 * * * * [points]: Setting MPFR precision to 1088 1.744 * * * * [points]: Setting MPFR precision to 1344 1.821 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision 1.825 * * * * [points]: Setting MPFR precision to 1088 2.046 * * * * [points]: Setting MPFR precision to 1344 2.278 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision 2.282 * * * * [points]: Setting MPFR precision to 1088 2.663 * * * * [points]: Setting MPFR precision to 1344 3.155 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision 3.161 * * * * [points]: Setting MPFR precision to 1088 3.877 * * * * [points]: Setting MPFR precision to 1344 5.112 * * * * [points]: Computing exacts for 8000 points 5.114 * * * * [points]: Setting MPFR precision to 1088 8.425 * * * * [points]: Setting MPFR precision to 1344 12.285 * * * * [points]: Filtering points with unrepresentable outputs 12.292 * * * * [points]: Sampling 3985 additional inputs, on iter 1 have 4015 / 8000 12.360 * * * * [points]: Computing exacts on every 249 of 3985 points to ramp up precision 12.363 * * * * [points]: Setting MPFR precision to 1088 12.367 * * * * [points]: Setting MPFR precision to 1344 12.371 * * * * [points]: Computing exacts on every 124 of 3985 points to ramp up precision 12.374 * * * * [points]: Setting MPFR precision to 1088 12.380 * * * * [points]: Setting MPFR precision to 1344 12.390 * * * * [points]: Computing exacts on every 62 of 3985 points to ramp up precision 12.394 * * * * [points]: Setting MPFR precision to 1088 12.416 * * * * [points]: Setting MPFR precision to 1344 12.433 * * * * [points]: Computing exacts on every 31 of 3985 points to ramp up precision 12.435 * * * * [points]: Setting MPFR precision to 1088 12.459 * * * * [points]: Setting MPFR precision to 1344 12.511 * * * * [points]: Computing exacts on every 15 of 3985 points to ramp up precision 12.515 * * * * [points]: Setting MPFR precision to 1088 12.621 * * * * [points]: Setting MPFR precision to 1344 12.686 * * * * [points]: Computing exacts on every 7 of 3985 points to ramp up precision 12.688 * * * * [points]: Setting MPFR precision to 1088 12.849 * * * * [points]: Setting MPFR precision to 1344 13.073 * * * * [points]: Computing exacts on every 3 of 3985 points to ramp up precision 13.078 * * * * [points]: Setting MPFR precision to 1088 13.476 * * * * [points]: Setting MPFR precision to 1344 14.028 * * * * [points]: Computing exacts for 3985 points 14.033 * * * * [points]: Setting MPFR precision to 1088 15.898 * * * * [points]: Setting MPFR precision to 1344 17.461 * * * * [points]: Filtering points with unrepresentable outputs 17.465 * * * * [points]: Sampling 1979 additional inputs, on iter 2 have 6021 / 8000 17.491 * * * * [points]: Computing exacts on every 123 of 1979 points to ramp up precision 17.496 * * * * [points]: Setting MPFR precision to 1088 17.502 * * * * [points]: Setting MPFR precision to 1344 17.510 * * * * [points]: Computing exacts on every 61 of 1979 points to ramp up precision 17.512 * * * * [points]: Setting MPFR precision to 1088 17.521 * * * * [points]: Setting MPFR precision to 1344 17.537 * * * * [points]: Computing exacts on every 30 of 1979 points to ramp up precision 17.541 * * * * [points]: Setting MPFR precision to 1088 17.566 * * * * [points]: Setting MPFR precision to 1344 17.630 * * * * [points]: Computing exacts on every 15 of 1979 points to ramp up precision 17.634 * * * * [points]: Setting MPFR precision to 1088 17.687 * * * * [points]: Setting MPFR precision to 1344 17.733 * * * * [points]: Computing exacts on every 7 of 1979 points to ramp up precision 17.738 * * * * [points]: Setting MPFR precision to 1088 17.828 * * * * [points]: Setting MPFR precision to 1344 17.930 * * * * [points]: Computing exacts on every 3 of 1979 points to ramp up precision 17.934 * * * * [points]: Setting MPFR precision to 1088 18.189 * * * * [points]: Setting MPFR precision to 1344 18.360 * * * * [points]: Computing exacts for 1979 points 18.362 * * * * [points]: Setting MPFR precision to 1088 19.043 * * * * [points]: Setting MPFR precision to 1344 20.350 * * * * [points]: Filtering points with unrepresentable outputs 20.351 * * * * [points]: Sampling 1000 additional inputs, on iter 3 have 7000 / 8000 20.358 * * * * [points]: Computing exacts on every 62 of 1000 points to ramp up precision 20.360 * * * * [points]: Setting MPFR precision to 1088 20.363 * * * * [points]: Setting MPFR precision to 1344 20.366 * * * * [points]: Computing exacts on every 31 of 1000 points to ramp up precision 20.368 * * * * [points]: Setting MPFR precision to 1088 20.375 * * * * [points]: Setting MPFR precision to 1344 20.389 * * * * [points]: Computing exacts on every 15 of 1000 points to ramp up precision 20.394 * * * * [points]: Setting MPFR precision to 1088 20.415 * * * * [points]: Setting MPFR precision to 1344 20.430 * * * * [points]: Computing exacts on every 7 of 1000 points to ramp up precision 20.432 * * * * [points]: Setting MPFR precision to 1088 20.460 * * * * [points]: Setting MPFR precision to 1344 20.531 * * * * [points]: Computing exacts on every 3 of 1000 points to ramp up precision 20.534 * * * * [points]: Setting MPFR precision to 1088 20.599 * * * * [points]: Setting MPFR precision to 1344 20.670 * * * * [points]: Computing exacts for 1000 points 20.674 * * * * [points]: Setting MPFR precision to 1088 20.997 * * * * [points]: Setting MPFR precision to 1344 21.465 * * * * [points]: Filtering points with unrepresentable outputs 21.466 * * * * [points]: Sampling 480 additional inputs, on iter 4 have 7520 / 8000 21.474 * * * * [points]: Computing exacts on every 30 of 480 points to ramp up precision 21.478 * * * * [points]: Setting MPFR precision to 1088 21.486 * * * * [points]: Setting MPFR precision to 1344 21.492 * * * * [points]: Computing exacts on every 15 of 480 points to ramp up precision 21.497 * * * * [points]: Setting MPFR precision to 1088 21.508 * * * * [points]: Setting MPFR precision to 1344 21.524 * * * * [points]: Computing exacts on every 7 of 480 points to ramp up precision 21.570 * * * * [points]: Setting MPFR precision to 1088 21.584 * * * * [points]: Setting MPFR precision to 1344 21.612 * * * * [points]: Computing exacts on every 3 of 480 points to ramp up precision 21.616 * * * * [points]: Setting MPFR precision to 1088 21.664 * * * * [points]: Setting MPFR precision to 1344 21.721 * * * * [points]: Computing exacts for 480 points 21.725 * * * * [points]: Setting MPFR precision to 1088 21.881 * * * * [points]: Setting MPFR precision to 1344 22.111 * * * * [points]: Filtering points with unrepresentable outputs 22.112 * * * * [points]: Sampling 237 additional inputs, on iter 5 have 7763 / 8000 22.114 * * * * [points]: Computing exacts on every 14 of 237 points to ramp up precision 22.116 * * * * [points]: Setting MPFR precision to 1088 22.119 * * * * [points]: Setting MPFR precision to 1344 22.127 * * * * [points]: Computing exacts on every 7 of 237 points to ramp up precision 22.131 * * * * [points]: Setting MPFR precision to 1088 22.142 * * * * [points]: Setting MPFR precision to 1344 22.157 * * * * [points]: Computing exacts on every 3 of 237 points to ramp up precision 22.160 * * * * [points]: Setting MPFR precision to 1088 22.174 * * * * [points]: Setting MPFR precision to 1344 22.192 * * * * [points]: Computing exacts for 237 points 22.195 * * * * [points]: Setting MPFR precision to 1088 22.318 * * * * [points]: Setting MPFR precision to 1344 22.423 * * * * [points]: Filtering points with unrepresentable outputs 22.423 * * * * [points]: Sampling 114 additional inputs, on iter 6 have 7886 / 8000 22.424 * * * * [points]: Computing exacts on every 7 of 114 points to ramp up precision 22.426 * * * * [points]: Setting MPFR precision to 1088 22.429 * * * * [points]: Setting MPFR precision to 1344 22.432 * * * * [points]: Computing exacts on every 3 of 114 points to ramp up precision 22.434 * * * * [points]: Setting MPFR precision to 1088 22.440 * * * * [points]: Setting MPFR precision to 1344 22.450 * * * * [points]: Computing exacts for 114 points 22.454 * * * * [points]: Setting MPFR precision to 1088 22.498 * * * * [points]: Setting MPFR precision to 1344 22.538 * * * * [points]: Filtering points with unrepresentable outputs 22.538 * * * * [points]: Sampling 51 additional inputs, on iter 7 have 7949 / 8000 22.538 * * * * [points]: Computing exacts on every 3 of 51 points to ramp up precision 22.566 * * * * [points]: Setting MPFR precision to 1088 22.570 * * * * [points]: Setting MPFR precision to 1344 22.574 * * * * [points]: Computing exacts for 51 points 22.578 * * * * [points]: Setting MPFR precision to 1088 22.589 * * * * [points]: Setting MPFR precision to 1344 22.603 * * * * [points]: Filtering points with unrepresentable outputs 22.603 * * * * [points]: Sampling 23 additional inputs, on iter 8 have 7977 / 8000 22.603 * * * * [points]: Computing exacts for 23 points 22.605 * * * * [points]: Setting MPFR precision to 1088 22.610 * * * * [points]: Setting MPFR precision to 1344 22.623 * * * * [points]: Filtering points with unrepresentable outputs 22.623 * * * * [points]: Sampling 12 additional inputs, on iter 9 have 7988 / 8000 22.623 * * * * [points]: Computing exacts for 12 points 22.628 * * * * [points]: Setting MPFR precision to 1088 22.633 * * * * [points]: Setting MPFR precision to 1344 22.641 * * * * [points]: Filtering points with unrepresentable outputs 22.641 * * * * [points]: Sampling 5 additional inputs, on iter 10 have 7995 / 8000 22.641 * * * * [points]: Computing exacts for 5 points 22.644 * * * * [points]: Setting MPFR precision to 1088 22.646 * * * * [points]: Setting MPFR precision to 1344 22.647 * * * * [points]: Filtering points with unrepresentable outputs 22.647 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7999 / 8000 22.647 * * * * [points]: Computing exacts for 4 points 22.649 * * * * [points]: Setting MPFR precision to 1088 22.650 * * * * [points]: Setting MPFR precision to 1344 22.651 * * * * [points]: Filtering points with unrepresentable outputs 22.651 * * * * [points]: Sampled 8000 points with exact outputs 22.797 * [regime-testing]: Baseline error score: 43.42575807421556 22.800 * [regime-testing]: Oracle error score: 43.42575807421556 22.800 * [regime-testing]: End program error score: 43.42575807421556