7.809 * [progress]: [Phase 1 of 3] Setting up. 0.145 * * * [progress]: [1/2] Preparing points 0.174 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256 0.199 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 1.108 * * * * [points]: Setting MPFR precision to 64 1.161 * * * * [points]: Setting MPFR precision to 320 1.204 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 1.246 * * * * [points]: Setting MPFR precision to 64 1.265 * * * * [points]: Setting MPFR precision to 320 1.278 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 1.279 * * * * [points]: Setting MPFR precision to 64 1.294 * * * * [points]: Setting MPFR precision to 320 1.327 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 1.330 * * * * [points]: Setting MPFR precision to 64 1.410 * * * * [points]: Setting MPFR precision to 320 1.488 * * * * [points]: Computing exacts for 256 points 1.490 * * * * [points]: Setting MPFR precision to 64 3.306 * * * * [points]: Setting MPFR precision to 320 3.551 * * * * [points]: Filtering points with unrepresentable outputs 3.574 * * * * [points]: Sampling 123 additional inputs, on iter 1 have 133 / 256 3.583 * * * * [points]: Computing exacts on every 7 of 123 points to ramp up precision 3.627 * * * * [points]: Setting MPFR precision to 64 3.630 * * * * [points]: Setting MPFR precision to 320 3.663 * * * * [points]: Computing exacts on every 3 of 123 points to ramp up precision 3.666 * * * * [points]: Setting MPFR precision to 64 3.688 * * * * [points]: Setting MPFR precision to 320 3.720 * * * * [points]: Computing exacts for 123 points 3.722 * * * * [points]: Setting MPFR precision to 64 3.852 * * * * [points]: Setting MPFR precision to 320 3.958 * * * * [points]: Filtering points with unrepresentable outputs 3.958 * * * * [points]: Sampling 65 additional inputs, on iter 2 have 191 / 256 3.960 * * * * [points]: Computing exacts on every 4 of 65 points to ramp up precision 3.964 * * * * [points]: Setting MPFR precision to 64 3.969 * * * * [points]: Setting MPFR precision to 320 3.974 * * * * [points]: Computing exacts on every 2 of 65 points to ramp up precision 3.977 * * * * [points]: Setting MPFR precision to 64 3.983 * * * * [points]: Setting MPFR precision to 320 3.995 * * * * [points]: Computing exacts for 65 points 3.998 * * * * [points]: Setting MPFR precision to 64 4.013 * * * * [points]: Setting MPFR precision to 320 4.087 * * * * [points]: Filtering points with unrepresentable outputs 4.087 * * * * [points]: Sampling 36 additional inputs, on iter 3 have 220 / 256 4.121 * * * * [points]: Computing exacts on every 2 of 36 points to ramp up precision 4.225 * * * * [points]: Setting MPFR precision to 64 4.256 * * * * [points]: Setting MPFR precision to 320 4.258 * * * * [points]: Computing exacts for 36 points 4.298 * * * * [points]: Setting MPFR precision to 64 6.577 * * * * [points]: Setting MPFR precision to 320 6.597 * * * * [points]: Filtering points with unrepresentable outputs 6.597 * * * * [points]: Sampling 19 additional inputs, on iter 4 have 237 / 256 6.598 * * * * [points]: Computing exacts for 19 points 6.603 * * * * [points]: Setting MPFR precision to 64 6.606 * * * * [points]: Setting MPFR precision to 320 6.613 * * * * [points]: Filtering points with unrepresentable outputs 6.613 * * * * [points]: Sampling 11 additional inputs, on iter 5 have 245 / 256 6.614 * * * * [points]: Computing exacts for 11 points 6.621 * * * * [points]: Setting MPFR precision to 64 6.632 * * * * [points]: Setting MPFR precision to 320 6.640 * * * * [points]: Filtering points with unrepresentable outputs 6.640 * * * * [points]: Sampling 9 additional inputs, on iter 6 have 247 / 256 6.640 * * * * [points]: Computing exacts for 9 points 6.643 * * * * [points]: Setting MPFR precision to 64 6.645 * * * * [points]: Setting MPFR precision to 320 6.680 * * * * [points]: Filtering points with unrepresentable outputs 6.680 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 255 / 256 6.680 * * * * [points]: Computing exacts for 4 points 6.683 * * * * [points]: Setting MPFR precision to 64 6.700 * * * * [points]: Setting MPFR precision to 320 6.712 * * * * [points]: Filtering points with unrepresentable outputs 6.712 * * * * [points]: Sampled 257 points with exact outputs 6.797 * * * [progress]: [2/2] Setting up program. 6.822 * [progress]: [Phase 2 of 3] Improving. 6.933 * [simplify]: Simplifying: (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 6.941 * * [simplify]: Extracting # 0 : cost 0 6.943 * * [simplify]: Extracting # 1 : cost 0 6.943 * * [simplify]: Extracting # 2 : cost 0 6.943 * * [simplify]: Extracting # 3 : cost 0 6.943 * * [simplify]: Extracting # 4 : cost 0 6.944 * * [simplify]: Extracting # 5 : cost 0 6.944 * * [simplify]: Extracting # 6 : cost 0 6.944 * * [simplify]: Extracting # 7 : cost 0 6.944 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 7.043 * * [simplify]: Extracting # 0 : cost 0 7.043 * * [simplify]: Extracting # 1 : cost 0 7.043 * * [simplify]: Extracting # 2 : cost 0 7.043 * * [simplify]: iteration 1 : 16 enodes (cost 15 ) 7.053 * * [simplify]: Extracting # 0 : cost 0 7.053 * * [simplify]: iteration done: 16 enodes (cost 15 ) 7.056 * [simplify]: Simplified to: (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 7.099 * * [progress]: iteration 1 / 4 7.099 * * * [progress]: picking best candidate 7.126 * * * * [pick]: Picked # 7.126 * * * [progress]: localizing error 7.598 * * * [progress]: generating rewritten candidates 7.599 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 7.682 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2) 7.683 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 7.683 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 7.751 * * * [progress]: generating series expansions 7.763 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 7.772 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2) 7.780 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 7.780 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 7.780 * * * [progress]: simplifying candidates 7.794 * [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))) 7.794 * * [simplify]: Extracting # 0 : cost 0 7.794 * * [simplify]: Extracting # 1 : cost 0 7.794 * * [simplify]: Extracting # 2 : cost 0 7.794 * * [simplify]: Extracting # 3 : cost 0 7.794 * * [simplify]: Extracting # 4 : cost 0 7.795 * * [simplify]: Extracting # 5 : cost 0 7.795 * * [simplify]: Extracting # 6 : cost 0 7.795 * * [simplify]: Extracting # 7 : cost 0 7.795 * * [simplify]: iteration 0 : 14 enodes (cost 75 ) 8.518 * * [simplify]: Extracting # 0 : cost 0 8.519 * * [simplify]: Extracting # 1 : cost 0 8.519 * * [simplify]: Extracting # 2 : cost 0 8.519 * * [simplify]: iteration 1 : 21 enodes (cost 75 ) 8.527 * * [simplify]: Extracting # 0 : cost 0 8.527 * * [simplify]: iteration done: 21 enodes (cost 75 ) 8.531 * [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))) 8.547 * * * [progress]: adding candidates to table 8.702 * [progress]: [Phase 3 of 3] Extracting. 8.719 * [simplify]: Simplifying: (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 8.720 * * [simplify]: Extracting # 0 : cost 0 8.720 * * [simplify]: Extracting # 1 : cost 0 8.720 * * [simplify]: Extracting # 2 : cost 0 8.720 * * [simplify]: Extracting # 3 : cost 0 8.720 * * [simplify]: Extracting # 4 : cost 0 8.720 * * [simplify]: Extracting # 5 : cost 0 8.720 * * [simplify]: Extracting # 6 : cost 0 8.720 * * [simplify]: Extracting # 7 : cost 0 8.720 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 8.721 * * [simplify]: Extracting # 0 : cost 0 8.721 * * [simplify]: iteration 1 : 13 enodes (cost 15 ) 8.722 * * [simplify]: Extracting # 0 : cost 0 8.722 * * [simplify]: iteration done: 13 enodes (cost 15 ) 8.723 * [simplify]: Simplified to: (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 8.736 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 9.141 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision 9.147 * * * * [points]: Setting MPFR precision to 64 9.154 * * * * [points]: Setting MPFR precision to 320 9.163 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision 9.165 * * * * [points]: Setting MPFR precision to 64 9.195 * * * * [points]: Setting MPFR precision to 320 9.239 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision 9.242 * * * * [points]: Setting MPFR precision to 64 9.271 * * * * [points]: Setting MPFR precision to 320 9.288 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision 9.289 * * * * [points]: Setting MPFR precision to 64 9.437 * * * * [points]: Setting MPFR precision to 320 9.532 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision 9.538 * * * * [points]: Setting MPFR precision to 64 11.362 * * * * [points]: Setting MPFR precision to 320 11.683 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision 11.690 * * * * [points]: Setting MPFR precision to 64 12.009 * * * * [points]: Setting MPFR precision to 320 14.063 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision 14.068 * * * * [points]: Setting MPFR precision to 64 17.858 * * * * [points]: Setting MPFR precision to 320 18.507 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision 18.510 * * * * [points]: Setting MPFR precision to 64 25.251 * * * * [points]: Setting MPFR precision to 320 33.998 * * * * [points]: Computing exacts for 8000 points 34.009 * * * * [points]: Setting MPFR precision to 64 48.403 * * * * [points]: Setting MPFR precision to 320 59.782 * * * * [points]: Filtering points with unrepresentable outputs 59.793 * * * * [points]: Sampling 4008 additional inputs, on iter 1 have 3992 / 8000 60.687 * * * * [points]: Computing exacts on every 250 of 4008 points to ramp up precision 60.716 * * * * [points]: Setting MPFR precision to 64 60.742 * * * * [points]: Setting MPFR precision to 320 60.745 * * * * [points]: Computing exacts on every 125 of 4008 points to ramp up precision 60.770 * * * * [points]: Setting MPFR precision to 64 60.786 * * * * [points]: Setting MPFR precision to 320 60.794 * * * * [points]: Computing exacts on every 62 of 4008 points to ramp up precision 60.797 * * * * [points]: Setting MPFR precision to 64 60.830 * * * * [points]: Setting MPFR precision to 320 60.845 * * * * [points]: Computing exacts on every 31 of 4008 points to ramp up precision 60.848 * * * * [points]: Setting MPFR precision to 64 60.918 * * * * [points]: Setting MPFR precision to 320 60.939 * * * * [points]: Setting MPFR precision to 576 60.984 * * * * [points]: Computing exacts on every 15 of 4008 points to ramp up precision 60.988 * * * * [points]: Setting MPFR precision to 320 62.178 * * * * [points]: Setting MPFR precision to 576 62.232 * * * * [points]: Computing exacts on every 7 of 4008 points to ramp up precision 62.237 * * * * [points]: Setting MPFR precision to 320 62.568 * * * * [points]: Setting MPFR precision to 576 63.392 * * * * [points]: Computing exacts on every 3 of 4008 points to ramp up precision 63.396 * * * * [points]: Setting MPFR precision to 320 65.704 * * * * [points]: Setting MPFR precision to 576 68.113 * * * * [points]: Computing exacts for 4008 points 68.120 * * * * [points]: Setting MPFR precision to 320 78.393 * * * * [points]: Setting MPFR precision to 576 85.839 * * * * [points]: Filtering points with unrepresentable outputs 85.849 * * * * [points]: Sampling 2022 additional inputs, on iter 2 have 5978 / 8000 85.923 * * * * [points]: Computing exacts on every 126 of 2022 points to ramp up precision 86.580 * * * * [points]: Setting MPFR precision to 320 86.587 * * * * [points]: Setting MPFR precision to 576 86.590 * * * * [points]: Computing exacts on every 63 of 2022 points to ramp up precision 86.593 * * * * [points]: Setting MPFR precision to 320 86.612 * * * * [points]: Setting MPFR precision to 576 86.623 * * * * [points]: Computing exacts on every 31 of 2022 points to ramp up precision 86.634 * * * * [points]: Setting MPFR precision to 320 86.706 * * * * [points]: Setting MPFR precision to 576 86.725 * * * * [points]: Computing exacts on every 15 of 2022 points to ramp up precision 86.728 * * * * [points]: Setting MPFR precision to 320 86.771 * * * * [points]: Setting MPFR precision to 576 86.922 * * * * [points]: Computing exacts on every 7 of 2022 points to ramp up precision 86.926 * * * * [points]: Setting MPFR precision to 320 87.083 * * * * [points]: Setting MPFR precision to 576 87.484 * * * * [points]: Computing exacts on every 3 of 2022 points to ramp up precision 87.492 * * * * [points]: Setting MPFR precision to 320 89.411 * * * * [points]: Setting MPFR precision to 576 89.852 * * * * [points]: Computing exacts for 2022 points 89.869 * * * * [points]: Setting MPFR precision to 320 93.631 * * * * [points]: Setting MPFR precision to 576 99.591 * * * * [points]: Filtering points with unrepresentable outputs 99.599 * * * * [points]: Sampling 1016 additional inputs, on iter 3 have 6984 / 8000 99.663 * * * * [points]: Computing exacts on every 63 of 1016 points to ramp up precision 99.705 * * * * [points]: Setting MPFR precision to 320 99.715 * * * * [points]: Setting MPFR precision to 576 99.718 * * * * [points]: Computing exacts on every 31 of 1016 points to ramp up precision 99.723 * * * * [points]: Setting MPFR precision to 320 99.736 * * * * [points]: Setting MPFR precision to 576 99.757 * * * * [points]: Computing exacts on every 15 of 1016 points to ramp up precision 99.765 * * * * [points]: Setting MPFR precision to 320 101.200 * * * * [points]: Setting MPFR precision to 576 101.215 * * * * [points]: Computing exacts on every 7 of 1016 points to ramp up precision 101.248 * * * * [points]: Setting MPFR precision to 320 101.280 * * * * [points]: Setting MPFR precision to 576 101.328 * * * * [points]: Computing exacts on every 3 of 1016 points to ramp up precision 101.331 * * * * [points]: Setting MPFR precision to 320 101.376 * * * * [points]: Setting MPFR precision to 576 101.446 * * * * [points]: Computing exacts for 1016 points 101.449 * * * * [points]: Setting MPFR precision to 320 103.326 * * * * [points]: Setting MPFR precision to 576 105.435 * * * * [points]: Filtering points with unrepresentable outputs 105.445 * * * * [points]: Sampling 508 additional inputs, on iter 4 have 7492 / 8000 105.469 * * * * [points]: Computing exacts on every 31 of 508 points to ramp up precision 105.500 * * * * [points]: Setting MPFR precision to 320 105.522 * * * * [points]: Setting MPFR precision to 576 105.526 * * * * [points]: Computing exacts on every 15 of 508 points to ramp up precision 105.529 * * * * [points]: Setting MPFR precision to 320 105.554 * * * * [points]: Setting MPFR precision to 576 105.578 * * * * [points]: Computing exacts on every 7 of 508 points to ramp up precision 105.581 * * * * [points]: Setting MPFR precision to 320 105.690 * * * * [points]: Setting MPFR precision to 576 106.040 * * * * [points]: Computing exacts on every 3 of 508 points to ramp up precision 106.045 * * * * [points]: Setting MPFR precision to 320 106.087 * * * * [points]: Setting MPFR precision to 576 106.221 * * * * [points]: Computing exacts for 508 points 106.236 * * * * [points]: Setting MPFR precision to 320 106.521 * * * * [points]: Setting MPFR precision to 576 107.579 * * * * [points]: Filtering points with unrepresentable outputs 107.589 * * * * [points]: Sampling 254 additional inputs, on iter 5 have 7746 / 8000 107.597 * * * * [points]: Computing exacts on every 15 of 254 points to ramp up precision 107.617 * * * * [points]: Setting MPFR precision to 320 107.629 * * * * [points]: Setting MPFR precision to 576 107.637 * * * * [points]: Computing exacts on every 7 of 254 points to ramp up precision 107.640 * * * * [points]: Setting MPFR precision to 320 107.658 * * * * [points]: Setting MPFR precision to 576 107.678 * * * * [points]: Computing exacts on every 3 of 254 points to ramp up precision 107.690 * * * * [points]: Setting MPFR precision to 320 107.710 * * * * [points]: Setting MPFR precision to 576 107.755 * * * * [points]: Computing exacts for 254 points 107.759 * * * * [points]: Setting MPFR precision to 320 107.838 * * * * [points]: Setting MPFR precision to 576 108.582 * * * * [points]: Filtering points with unrepresentable outputs 108.582 * * * * [points]: Sampling 130 additional inputs, on iter 6 have 7870 / 8000 108.586 * * * * [points]: Computing exacts on every 8 of 130 points to ramp up precision 108.590 * * * * [points]: Setting MPFR precision to 320 108.593 * * * * [points]: Setting MPFR precision to 576 108.596 * * * * [points]: Computing exacts on every 4 of 130 points to ramp up precision 108.600 * * * * [points]: Setting MPFR precision to 320 108.605 * * * * [points]: Setting MPFR precision to 576 108.612 * * * * [points]: Computing exacts on every 2 of 130 points to ramp up precision 108.615 * * * * [points]: Setting MPFR precision to 320 108.624 * * * * [points]: Setting MPFR precision to 576 108.635 * * * * [points]: Computing exacts for 130 points 108.638 * * * * [points]: Setting MPFR precision to 320 108.664 * * * * [points]: Setting MPFR precision to 576 108.701 * * * * [points]: Filtering points with unrepresentable outputs 108.701 * * * * [points]: Sampling 63 additional inputs, on iter 7 have 7937 / 8000 108.703 * * * * [points]: Computing exacts on every 3 of 63 points to ramp up precision 108.706 * * * * [points]: Setting MPFR precision to 320 108.724 * * * * [points]: Setting MPFR precision to 576 108.727 * * * * [points]: Computing exacts for 63 points 108.745 * * * * [points]: Setting MPFR precision to 320 108.771 * * * * [points]: Setting MPFR precision to 576 108.786 * * * * [points]: Filtering points with unrepresentable outputs 108.787 * * * * [points]: Sampling 30 additional inputs, on iter 8 have 7970 / 8000 108.787 * * * * [points]: Computing exacts for 30 points 108.790 * * * * [points]: Setting MPFR precision to 320 108.798 * * * * [points]: Setting MPFR precision to 576 108.805 * * * * [points]: Filtering points with unrepresentable outputs 108.805 * * * * [points]: Sampling 16 additional inputs, on iter 9 have 7984 / 8000 108.806 * * * * [points]: Computing exacts for 16 points 108.809 * * * * [points]: Setting MPFR precision to 320 108.813 * * * * [points]: Setting MPFR precision to 576 108.817 * * * * [points]: Filtering points with unrepresentable outputs 108.818 * * * * [points]: Sampling 7 additional inputs, on iter 10 have 7993 / 8000 108.818 * * * * [points]: Computing exacts for 7 points 108.822 * * * * [points]: Setting MPFR precision to 320 108.824 * * * * [points]: Setting MPFR precision to 576 108.826 * * * * [points]: Filtering points with unrepresentable outputs 108.826 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7997 / 8000 108.826 * * * * [points]: Computing exacts for 4 points 108.829 * * * * [points]: Setting MPFR precision to 320 108.852 * * * * [points]: Setting MPFR precision to 576 108.880 * * * * [points]: Filtering points with unrepresentable outputs 108.880 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7999 / 8000 108.880 * * * * [points]: Computing exacts for 4 points 109.776 * * * * [points]: Setting MPFR precision to 320 109.777 * * * * [points]: Setting MPFR precision to 576 109.778 * * * * [points]: Filtering points with unrepresentable outputs 109.778 * * * * [points]: Sampled 8000 points with exact outputs 110.073 * [regime-testing]: Baseline error score: 0.011125 110.077 * [regime-testing]: Oracle error score: 0.011125 110.078 * [regime-testing]: End program error score: 0.011125