6.488 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.001 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256 0.005 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 0.007 * * * * [points]: Setting MPFR precision to 64 0.009 * * * * [points]: Setting MPFR precision to 320 0.010 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.012 * * * * [points]: Setting MPFR precision to 64 0.014 * * * * [points]: Setting MPFR precision to 320 0.016 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 0.017 * * * * [points]: Setting MPFR precision to 64 0.021 * * * * [points]: Setting MPFR precision to 320 0.024 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 0.026 * * * * [points]: Setting MPFR precision to 64 0.031 * * * * [points]: Setting MPFR precision to 320 0.037 * * * * [points]: Computing exacts for 256 points 0.039 * * * * [points]: Setting MPFR precision to 64 0.055 * * * * [points]: Setting MPFR precision to 320 0.073 * * * * [points]: Filtering points with unrepresentable outputs 0.074 * * * * [points]: Sampling 123 additional inputs, on iter 1 have 133 / 256 0.076 * * * * [points]: Computing exacts on every 7 of 123 points to ramp up precision 0.077 * * * * [points]: Setting MPFR precision to 64 0.078 * * * * [points]: Setting MPFR precision to 320 0.079 * * * * [points]: Computing exacts on every 3 of 123 points to ramp up precision 0.081 * * * * [points]: Setting MPFR precision to 64 0.083 * * * * [points]: Setting MPFR precision to 320 0.085 * * * * [points]: Computing exacts for 123 points 0.087 * * * * [points]: Setting MPFR precision to 64 0.094 * * * * [points]: Setting MPFR precision to 320 0.104 * * * * [points]: Filtering points with unrepresentable outputs 0.104 * * * * [points]: Sampling 63 additional inputs, on iter 2 have 193 / 256 0.105 * * * * [points]: Computing exacts on every 3 of 63 points to ramp up precision 0.106 * * * * [points]: Setting MPFR precision to 64 0.107 * * * * [points]: Setting MPFR precision to 320 0.109 * * * * [points]: Computing exacts for 63 points 0.110 * * * * [points]: Setting MPFR precision to 64 0.114 * * * * [points]: Setting MPFR precision to 320 0.118 * * * * [points]: Filtering points with unrepresentable outputs 0.119 * * * * [points]: Sampling 34 additional inputs, on iter 3 have 222 / 256 0.119 * * * * [points]: Computing exacts on every 2 of 34 points to ramp up precision 0.120 * * * * [points]: Setting MPFR precision to 64 0.121 * * * * [points]: Setting MPFR precision to 320 0.122 * * * * [points]: Computing exacts for 34 points 0.123 * * * * [points]: Setting MPFR precision to 64 0.126 * * * * [points]: Setting MPFR precision to 320 0.128 * * * * [points]: Filtering points with unrepresentable outputs 0.128 * * * * [points]: Sampling 18 additional inputs, on iter 4 have 238 / 256 0.128 * * * * [points]: Computing exacts for 18 points 0.130 * * * * [points]: Setting MPFR precision to 64 0.131 * * * * [points]: Setting MPFR precision to 320 0.137 * * * * [points]: Filtering points with unrepresentable outputs 0.137 * * * * [points]: Sampling 7 additional inputs, on iter 5 have 249 / 256 0.137 * * * * [points]: Computing exacts for 7 points 0.139 * * * * [points]: Setting MPFR precision to 64 0.139 * * * * [points]: Setting MPFR precision to 320 0.140 * * * * [points]: Filtering points with unrepresentable outputs 0.140 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 255 / 256 0.140 * * * * [points]: Computing exacts for 4 points 0.141 * * * * [points]: Setting MPFR precision to 64 0.141 * * * * [points]: Setting MPFR precision to 320 0.142 * * * * [points]: Filtering points with unrepresentable outputs 0.142 * * * * [points]: Sampled 257 points with exact outputs 0.142 * * * [progress]: [2/2] Setting up program. 0.144 * [progress]: [Phase 2 of 3] Improving. 0.144 * [simplify]: Simplifying using # : (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 0.146 * * [simplify]: iteration 0 : 16 enodes (cost 7 ) 0.147 * * [simplify]: iteration 1 : 16 enodes (cost 7 ) 0.147 * [simplify]: Simplified to: (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 0.148 * * [progress]: iteration 1 / 4 0.148 * * * [progress]: picking best candidate 0.149 * * * * [pick]: Picked # 0.149 * * * [progress]: localizing error 0.177 * * * [progress]: generating rewritten candidates 0.177 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 0.179 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2) 0.179 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 0.179 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 0.182 * * * [progress]: generating series expansions 0.182 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 0.182 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2) 0.182 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 0.182 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 0.182 * * * [progress]: simplifying candidates 0.182 * [simplify]: Simplifying using # : (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.185 * * [simplify]: iteration 0 : 21 enodes (cost 35 ) 0.186 * * [simplify]: iteration 1 : 21 enodes (cost 35 ) 0.186 * [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.186 * * * [progress]: adding candidates to table 0.191 * [progress]: [Phase 3 of 3] Extracting. 0.193 * [simplify]: Simplifying using # : (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 0.194 * * [simplify]: iteration 0 : 13 enodes (cost 7 ) 0.194 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 0.194 * [simplify]: Simplified to: (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 0.194 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 0.307 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision 0.308 * * * * [points]: Setting MPFR precision to 64 0.309 * * * * [points]: Setting MPFR precision to 320 0.311 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision 0.315 * * * * [points]: Setting MPFR precision to 64 0.318 * * * * [points]: Setting MPFR precision to 320 0.320 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision 0.321 * * * * [points]: Setting MPFR precision to 64 0.325 * * * * [points]: Setting MPFR precision to 320 0.330 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision 0.331 * * * * [points]: Setting MPFR precision to 64 0.339 * * * * [points]: Setting MPFR precision to 320 0.348 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision 0.350 * * * * [points]: Setting MPFR precision to 64 0.366 * * * * [points]: Setting MPFR precision to 320 0.385 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision 0.386 * * * * [points]: Setting MPFR precision to 64 0.417 * * * * [points]: Setting MPFR precision to 320 0.455 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision 0.456 * * * * [points]: Setting MPFR precision to 64 0.520 * * * * [points]: Setting MPFR precision to 320 0.594 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision 0.596 * * * * [points]: Setting MPFR precision to 64 0.720 * * * * [points]: Setting MPFR precision to 320 0.865 * * * * [points]: Computing exacts for 8000 points 0.866 * * * * [points]: Setting MPFR precision to 64 1.358 * * * * [points]: Setting MPFR precision to 320 1.936 * * * * [points]: Filtering points with unrepresentable outputs 1.942 * * * * [points]: Sampling 3916 additional inputs, on iter 1 have 4084 / 8000 1.997 * * * * [points]: Computing exacts on every 244 of 3916 points to ramp up precision 1.999 * * * * [points]: Setting MPFR precision to 64 2.000 * * * * [points]: Setting MPFR precision to 320 2.001 * * * * [points]: Computing exacts on every 122 of 3916 points to ramp up precision 2.003 * * * * [points]: Setting MPFR precision to 64 2.004 * * * * [points]: Setting MPFR precision to 320 2.006 * * * * [points]: Computing exacts on every 61 of 3916 points to ramp up precision 2.008 * * * * [points]: Setting MPFR precision to 64 2.012 * * * * [points]: Setting MPFR precision to 320 2.017 * * * * [points]: Computing exacts on every 30 of 3916 points to ramp up precision 2.018 * * * * [points]: Setting MPFR precision to 64 2.026 * * * * [points]: Setting MPFR precision to 320 2.035 * * * * [points]: Computing exacts on every 15 of 3916 points to ramp up precision 2.037 * * * * [points]: Setting MPFR precision to 64 2.052 * * * * [points]: Setting MPFR precision to 320 2.069 * * * * [points]: Computing exacts on every 7 of 3916 points to ramp up precision 2.070 * * * * [points]: Setting MPFR precision to 64 2.100 * * * * [points]: Setting MPFR precision to 320 2.138 * * * * [points]: Computing exacts on every 3 of 3916 points to ramp up precision 2.140 * * * * [points]: Setting MPFR precision to 64 2.200 * * * * [points]: Setting MPFR precision to 320 2.272 * * * * [points]: Setting MPFR precision to 576 2.362 * * * * [points]: Computing exacts for 3916 points 2.364 * * * * [points]: Setting MPFR precision to 320 2.645 * * * * [points]: Setting MPFR precision to 576 3.003 * * * * [points]: Filtering points with unrepresentable outputs 3.006 * * * * [points]: Sampling 2012 additional inputs, on iter 2 have 5988 / 8000 3.033 * * * * [points]: Computing exacts on every 125 of 2012 points to ramp up precision 3.035 * * * * [points]: Setting MPFR precision to 320 3.036 * * * * [points]: Setting MPFR precision to 576 3.037 * * * * [points]: Computing exacts on every 62 of 2012 points to ramp up precision 3.038 * * * * [points]: Setting MPFR precision to 320 3.041 * * * * [points]: Setting MPFR precision to 576 3.043 * * * * [points]: Computing exacts on every 31 of 2012 points to ramp up precision 3.045 * * * * [points]: Setting MPFR precision to 320 3.053 * * * * [points]: Setting MPFR precision to 576 3.058 * * * * [points]: Computing exacts on every 15 of 2012 points to ramp up precision 3.060 * * * * [points]: Setting MPFR precision to 320 3.069 * * * * [points]: Setting MPFR precision to 576 3.080 * * * * [points]: Computing exacts on every 7 of 2012 points to ramp up precision 3.082 * * * * [points]: Setting MPFR precision to 320 3.099 * * * * [points]: Setting MPFR precision to 576 3.121 * * * * [points]: Computing exacts on every 3 of 2012 points to ramp up precision 3.122 * * * * [points]: Setting MPFR precision to 320 3.158 * * * * [points]: Setting MPFR precision to 576 3.204 * * * * [points]: Computing exacts for 2012 points 3.206 * * * * [points]: Setting MPFR precision to 320 3.350 * * * * [points]: Setting MPFR precision to 576 3.533 * * * * [points]: Filtering points with unrepresentable outputs 3.535 * * * * [points]: Sampling 986 additional inputs, on iter 3 have 7014 / 8000 3.548 * * * * [points]: Computing exacts on every 61 of 986 points to ramp up precision 3.550 * * * * [points]: Setting MPFR precision to 320 3.552 * * * * [points]: Setting MPFR precision to 576 3.553 * * * * [points]: Computing exacts on every 30 of 986 points to ramp up precision 3.554 * * * * [points]: Setting MPFR precision to 320 3.557 * * * * [points]: Setting MPFR precision to 576 3.560 * * * * [points]: Computing exacts on every 15 of 986 points to ramp up precision 3.562 * * * * [points]: Setting MPFR precision to 320 3.566 * * * * [points]: Setting MPFR precision to 576 3.572 * * * * [points]: Computing exacts on every 7 of 986 points to ramp up precision 3.574 * * * * [points]: Setting MPFR precision to 320 3.583 * * * * [points]: Setting MPFR precision to 576 3.594 * * * * [points]: Computing exacts on every 3 of 986 points to ramp up precision 3.596 * * * * [points]: Setting MPFR precision to 320 3.614 * * * * [points]: Setting MPFR precision to 576 3.637 * * * * [points]: Computing exacts for 986 points 3.639 * * * * [points]: Setting MPFR precision to 320 3.715 * * * * [points]: Setting MPFR precision to 576 3.807 * * * * [points]: Filtering points with unrepresentable outputs 3.808 * * * * [points]: Sampling 495 additional inputs, on iter 4 have 7505 / 8000 3.815 * * * * [points]: Computing exacts on every 30 of 495 points to ramp up precision 3.817 * * * * [points]: Setting MPFR precision to 320 3.818 * * * * [points]: Setting MPFR precision to 576 3.821 * * * * [points]: Computing exacts on every 15 of 495 points to ramp up precision 3.823 * * * * [points]: Setting MPFR precision to 320 3.825 * * * * [points]: Setting MPFR precision to 576 3.828 * * * * [points]: Computing exacts on every 7 of 495 points to ramp up precision 3.829 * * * * [points]: Setting MPFR precision to 320 3.834 * * * * [points]: Setting MPFR precision to 576 3.839 * * * * [points]: Computing exacts on every 3 of 495 points to ramp up precision 3.840 * * * * [points]: Setting MPFR precision to 320 3.849 * * * * [points]: Setting MPFR precision to 576 3.860 * * * * [points]: Computing exacts for 495 points 3.862 * * * * [points]: Setting MPFR precision to 320 3.896 * * * * [points]: Setting MPFR precision to 576 3.942 * * * * [points]: Filtering points with unrepresentable outputs 3.942 * * * * [points]: Sampling 239 additional inputs, on iter 5 have 7761 / 8000 3.946 * * * * [points]: Computing exacts on every 14 of 239 points to ramp up precision 3.947 * * * * [points]: Setting MPFR precision to 320 3.948 * * * * [points]: Setting MPFR precision to 576 3.950 * * * * [points]: Computing exacts on every 7 of 239 points to ramp up precision 3.951 * * * * [points]: Setting MPFR precision to 320 3.954 * * * * [points]: Setting MPFR precision to 576 3.956 * * * * [points]: Computing exacts on every 3 of 239 points to ramp up precision 3.958 * * * * [points]: Setting MPFR precision to 320 3.962 * * * * [points]: Setting MPFR precision to 576 3.971 * * * * [points]: Computing exacts for 239 points 3.972 * * * * [points]: Setting MPFR precision to 320 3.989 * * * * [points]: Setting MPFR precision to 576 4.012 * * * * [points]: Filtering points with unrepresentable outputs 4.012 * * * * [points]: Sampling 130 additional inputs, on iter 6 have 7870 / 8000 4.014 * * * * [points]: Computing exacts on every 8 of 130 points to ramp up precision 4.015 * * * * [points]: Setting MPFR precision to 320 4.016 * * * * [points]: Setting MPFR precision to 576 4.017 * * * * [points]: Computing exacts on every 4 of 130 points to ramp up precision 4.019 * * * * [points]: Setting MPFR precision to 320 4.021 * * * * [points]: Setting MPFR precision to 576 4.023 * * * * [points]: Computing exacts on every 2 of 130 points to ramp up precision 4.025 * * * * [points]: Setting MPFR precision to 320 4.028 * * * * [points]: Setting MPFR precision to 576 4.032 * * * * [points]: Computing exacts for 130 points 4.033 * * * * [points]: Setting MPFR precision to 320 4.043 * * * * [points]: Setting MPFR precision to 576 4.056 * * * * [points]: Filtering points with unrepresentable outputs 4.056 * * * * [points]: Sampling 63 additional inputs, on iter 7 have 7937 / 8000 4.057 * * * * [points]: Computing exacts on every 3 of 63 points to ramp up precision 4.058 * * * * [points]: Setting MPFR precision to 320 4.059 * * * * [points]: Setting MPFR precision to 576 4.061 * * * * [points]: Computing exacts for 63 points 4.062 * * * * [points]: Setting MPFR precision to 320 4.066 * * * * [points]: Setting MPFR precision to 576 4.072 * * * * [points]: Filtering points with unrepresentable outputs 4.072 * * * * [points]: Sampling 32 additional inputs, on iter 8 have 7968 / 8000 4.072 * * * * [points]: Computing exacts on every 2 of 32 points to ramp up precision 4.074 * * * * [points]: Setting MPFR precision to 320 4.075 * * * * [points]: Setting MPFR precision to 576 4.076 * * * * [points]: Computing exacts for 32 points 4.077 * * * * [points]: Setting MPFR precision to 320 4.079 * * * * [points]: Setting MPFR precision to 576 4.082 * * * * [points]: Filtering points with unrepresentable outputs 4.082 * * * * [points]: Sampling 13 additional inputs, on iter 9 have 7987 / 8000 4.082 * * * * [points]: Computing exacts for 13 points 4.083 * * * * [points]: Setting MPFR precision to 320 4.084 * * * * [points]: Setting MPFR precision to 576 4.085 * * * * [points]: Filtering points with unrepresentable outputs 4.086 * * * * [points]: Sampling 8 additional inputs, on iter 10 have 7992 / 8000 4.086 * * * * [points]: Computing exacts for 8 points 4.087 * * * * [points]: Setting MPFR precision to 320 4.088 * * * * [points]: Setting MPFR precision to 576 4.088 * * * * [points]: Filtering points with unrepresentable outputs 4.088 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7996 / 8000 4.088 * * * * [points]: Computing exacts for 4 points 4.090 * * * * [points]: Setting MPFR precision to 320 4.090 * * * * [points]: Setting MPFR precision to 576 4.090 * * * * [points]: Filtering points with unrepresentable outputs 4.090 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7998 / 8000 4.090 * * * * [points]: Computing exacts for 4 points 4.092 * * * * [points]: Setting MPFR precision to 320 4.092 * * * * [points]: Setting MPFR precision to 576 4.093 * * * * [points]: Filtering points with unrepresentable outputs 4.093 * * * * [points]: Sampling 4 additional inputs, on iter 13 have 7999 / 8000 4.093 * * * * [points]: Computing exacts for 4 points 4.094 * * * * [points]: Setting MPFR precision to 320 4.094 * * * * [points]: Setting MPFR precision to 576 4.095 * * * * [points]: Filtering points with unrepresentable outputs 4.095 * * * * [points]: Sampled 8001 points with exact outputs 4.162 * [regime-testing]: End program error score: 0.011698120312590146