10.706 * [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.004 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 0.006 * * * * [points]: Setting MPFR precision to 64 0.007 * * * * [points]: Setting MPFR precision to 320 0.009 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.010 * * * * [points]: Setting MPFR precision to 64 0.012 * * * * [points]: Setting MPFR precision to 320 0.014 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 0.016 * * * * [points]: Setting MPFR precision to 64 0.019 * * * * [points]: Setting MPFR precision to 320 0.022 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 0.024 * * * * [points]: Setting MPFR precision to 64 0.029 * * * * [points]: Setting MPFR precision to 320 0.035 * * * * [points]: Computing exacts for 256 points 0.037 * * * * [points]: Setting MPFR precision to 64 0.053 * * * * [points]: Setting MPFR precision to 320 0.072 * * * * [points]: Filtering points with unrepresentable outputs 0.072 * * * * [points]: Sampling 138 additional inputs, on iter 1 have 118 / 256 0.074 * * * * [points]: Computing exacts on every 8 of 138 points to ramp up precision 0.075 * * * * [points]: Setting MPFR precision to 64 0.076 * * * * [points]: Setting MPFR precision to 320 0.077 * * * * [points]: Computing exacts on every 4 of 138 points to ramp up precision 0.079 * * * * [points]: Setting MPFR precision to 64 0.080 * * * * [points]: Setting MPFR precision to 320 0.082 * * * * [points]: Computing exacts on every 2 of 138 points to ramp up precision 0.083 * * * * [points]: Setting MPFR precision to 64 0.086 * * * * [points]: Setting MPFR precision to 320 0.089 * * * * [points]: Computing exacts for 138 points 0.091 * * * * [points]: Setting MPFR precision to 64 0.099 * * * * [points]: Setting MPFR precision to 320 0.109 * * * * [points]: Filtering points with unrepresentable outputs 0.109 * * * * [points]: Sampling 73 additional inputs, on iter 2 have 183 / 256 0.110 * * * * [points]: Computing exacts on every 4 of 73 points to ramp up precision 0.112 * * * * [points]: Setting MPFR precision to 64 0.117 * * * * [points]: Setting MPFR precision to 320 0.118 * * * * [points]: Computing exacts on every 2 of 73 points to ramp up precision 0.119 * * * * [points]: Setting MPFR precision to 64 0.121 * * * * [points]: Setting MPFR precision to 320 0.123 * * * * [points]: Computing exacts for 73 points 0.124 * * * * [points]: Setting MPFR precision to 64 0.129 * * * * [points]: Setting MPFR precision to 320 0.134 * * * * [points]: Filtering points with unrepresentable outputs 0.134 * * * * [points]: Sampling 32 additional inputs, on iter 3 have 224 / 256 0.135 * * * * [points]: Computing exacts on every 2 of 32 points to ramp up precision 0.136 * * * * [points]: Setting MPFR precision to 64 0.137 * * * * [points]: Setting MPFR precision to 320 0.137 * * * * [points]: Computing exacts for 32 points 0.139 * * * * [points]: Setting MPFR precision to 64 0.141 * * * * [points]: Setting MPFR precision to 320 0.143 * * * * [points]: Filtering points with unrepresentable outputs 0.143 * * * * [points]: Sampling 15 additional inputs, on iter 4 have 241 / 256 0.143 * * * * [points]: Computing exacts for 15 points 0.145 * * * * [points]: Setting MPFR precision to 64 0.146 * * * * [points]: Setting MPFR precision to 320 0.147 * * * * [points]: Filtering points with unrepresentable outputs 0.147 * * * * [points]: Sampling 11 additional inputs, on iter 5 have 245 / 256 0.147 * * * * [points]: Computing exacts for 11 points 0.148 * * * * [points]: Setting MPFR precision to 64 0.149 * * * * [points]: Setting MPFR precision to 320 0.150 * * * * [points]: Filtering points with unrepresentable outputs 0.150 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 252 / 256 0.150 * * * * [points]: Computing exacts for 4 points 0.152 * * * * [points]: Setting MPFR precision to 64 0.152 * * * * [points]: Setting MPFR precision to 320 0.152 * * * * [points]: Filtering points with unrepresentable outputs 0.152 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 254 / 256 0.152 * * * * [points]: Computing exacts for 4 points 0.154 * * * * [points]: Setting MPFR precision to 64 0.154 * * * * [points]: Setting MPFR precision to 320 0.154 * * * * [points]: Filtering points with unrepresentable outputs 0.154 * * * * [points]: Sampling 4 additional inputs, on iter 8 have 254 / 256 0.154 * * * * [points]: Computing exacts for 4 points 0.156 * * * * [points]: Setting MPFR precision to 64 0.156 * * * * [points]: Setting MPFR precision to 320 0.156 * * * * [points]: Filtering points with unrepresentable outputs 0.156 * * * * [points]: Sampled 256 points with exact outputs 0.156 * * * [progress]: [2/2] Setting up program. 0.158 * [progress]: [Phase 2 of 3] Improving. 0.158 * [simplify]: Simplifying using # : (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 0.161 * * [simplify]: iteration 0 : 16 enodes (cost 7 ) 0.162 * * [simplify]: iteration 1 : 16 enodes (cost 7 ) 0.162 * [simplify]: Simplified to: (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 0.162 * * [progress]: iteration 1 / 4 0.162 * * * [progress]: picking best candidate 0.164 * * * * [pick]: Picked # 0.164 * * * [progress]: localizing error 0.191 * * * [progress]: generating rewritten candidates 0.191 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 0.192 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2) 0.192 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 0.193 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 0.193 * * * [progress]: generating series expansions 0.194 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 0.194 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2) 0.194 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 0.194 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 0.194 * * * [progress]: simplifying candidates 0.194 * [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.196 * * [simplify]: iteration 0 : 21 enodes (cost 35 ) 0.197 * * [simplify]: iteration 1 : 21 enodes (cost 35 ) 0.198 * [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.198 * * * [progress]: adding candidates to table 0.202 * [progress]: [Phase 3 of 3] Extracting. 0.204 * [simplify]: Simplifying using # : (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 0.204 * * [simplify]: iteration 0 : 13 enodes (cost 7 ) 0.204 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 0.204 * [simplify]: Simplified to: (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 0.204 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 0.281 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision 0.283 * * * * [points]: Setting MPFR precision to 64 0.284 * * * * [points]: Setting MPFR precision to 320 0.285 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision 0.287 * * * * [points]: Setting MPFR precision to 64 0.289 * * * * [points]: Setting MPFR precision to 320 0.291 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision 0.292 * * * * [points]: Setting MPFR precision to 64 0.296 * * * * [points]: Setting MPFR precision to 320 0.301 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision 0.302 * * * * [points]: Setting MPFR precision to 64 0.310 * * * * [points]: Setting MPFR precision to 320 0.319 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision 0.320 * * * * [points]: Setting MPFR precision to 64 0.339 * * * * [points]: Setting MPFR precision to 320 0.357 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision 0.359 * * * * [points]: Setting MPFR precision to 64 0.389 * * * * [points]: Setting MPFR precision to 320 0.426 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision 0.428 * * * * [points]: Setting MPFR precision to 64 0.491 * * * * [points]: Setting MPFR precision to 320 0.563 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision 0.564 * * * * [points]: Setting MPFR precision to 64 0.688 * * * * [points]: Setting MPFR precision to 320 0.835 * * * * [points]: Computing exacts for 8000 points 0.837 * * * * [points]: Setting MPFR precision to 64 1.333 * * * * [points]: Setting MPFR precision to 320 1.911 * * * * [points]: Filtering points with unrepresentable outputs 1.918 * * * * [points]: Sampling 4017 additional inputs, on iter 1 have 3983 / 8000 1.956 * * * * [points]: Computing exacts on every 251 of 4017 points to ramp up precision 1.958 * * * * [points]: Setting MPFR precision to 64 1.959 * * * * [points]: Setting MPFR precision to 320 1.960 * * * * [points]: Computing exacts on every 125 of 4017 points to ramp up precision 1.962 * * * * [points]: Setting MPFR precision to 64 1.964 * * * * [points]: Setting MPFR precision to 320 1.966 * * * * [points]: Computing exacts on every 62 of 4017 points to ramp up precision 1.968 * * * * [points]: Setting MPFR precision to 64 1.972 * * * * [points]: Setting MPFR precision to 320 1.977 * * * * [points]: Computing exacts on every 31 of 4017 points to ramp up precision 1.978 * * * * [points]: Setting MPFR precision to 64 1.985 * * * * [points]: Setting MPFR precision to 320 1.994 * * * * [points]: Computing exacts on every 15 of 4017 points to ramp up precision 1.996 * * * * [points]: Setting MPFR precision to 64 2.011 * * * * [points]: Setting MPFR precision to 320 2.029 * * * * [points]: Computing exacts on every 7 of 4017 points to ramp up precision 2.031 * * * * [points]: Setting MPFR precision to 64 2.064 * * * * [points]: Setting MPFR precision to 320 2.099 * * * * [points]: Computing exacts on every 3 of 4017 points to ramp up precision 2.101 * * * * [points]: Setting MPFR precision to 64 2.162 * * * * [points]: Setting MPFR precision to 320 2.235 * * * * [points]: Computing exacts for 4017 points 2.237 * * * * [points]: Setting MPFR precision to 64 2.483 * * * * [points]: Setting MPFR precision to 320 2.771 * * * * [points]: Filtering points with unrepresentable outputs 2.775 * * * * [points]: Sampling 1975 additional inputs, on iter 2 have 6025 / 8000 2.793 * * * * [points]: Computing exacts on every 123 of 1975 points to ramp up precision 2.794 * * * * [points]: Setting MPFR precision to 64 2.796 * * * * [points]: Setting MPFR precision to 320 2.797 * * * * [points]: Computing exacts on every 61 of 1975 points to ramp up precision 2.798 * * * * [points]: Setting MPFR precision to 64 2.801 * * * * [points]: Setting MPFR precision to 320 2.803 * * * * [points]: Computing exacts on every 30 of 1975 points to ramp up precision 2.804 * * * * [points]: Setting MPFR precision to 64 2.809 * * * * [points]: Setting MPFR precision to 320 2.814 * * * * [points]: Computing exacts on every 15 of 1975 points to ramp up precision 2.815 * * * * [points]: Setting MPFR precision to 64 2.822 * * * * [points]: Setting MPFR precision to 320 2.831 * * * * [points]: Computing exacts on every 7 of 1975 points to ramp up precision 2.832 * * * * [points]: Setting MPFR precision to 64 2.847 * * * * [points]: Setting MPFR precision to 320 2.865 * * * * [points]: Computing exacts on every 3 of 1975 points to ramp up precision 2.867 * * * * [points]: Setting MPFR precision to 64 2.900 * * * * [points]: Setting MPFR precision to 320 2.936 * * * * [points]: Computing exacts for 1975 points 2.937 * * * * [points]: Setting MPFR precision to 64 3.062 * * * * [points]: Setting MPFR precision to 320 3.207 * * * * [points]: Filtering points with unrepresentable outputs 3.209 * * * * [points]: Sampling 992 additional inputs, on iter 3 have 7008 / 8000 3.218 * * * * [points]: Computing exacts on every 62 of 992 points to ramp up precision 3.220 * * * * [points]: Setting MPFR precision to 64 3.221 * * * * [points]: Setting MPFR precision to 320 3.222 * * * * [points]: Computing exacts on every 31 of 992 points to ramp up precision 3.223 * * * * [points]: Setting MPFR precision to 64 3.225 * * * * [points]: Setting MPFR precision to 320 3.228 * * * * [points]: Computing exacts on every 15 of 992 points to ramp up precision 3.229 * * * * [points]: Setting MPFR precision to 64 3.234 * * * * [points]: Setting MPFR precision to 320 3.238 * * * * [points]: Computing exacts on every 7 of 992 points to ramp up precision 3.240 * * * * [points]: Setting MPFR precision to 64 3.248 * * * * [points]: Setting MPFR precision to 320 3.258 * * * * [points]: Computing exacts on every 3 of 992 points to ramp up precision 3.260 * * * * [points]: Setting MPFR precision to 64 3.276 * * * * [points]: Setting MPFR precision to 320 3.294 * * * * [points]: Computing exacts for 992 points 3.296 * * * * [points]: Setting MPFR precision to 64 3.359 * * * * [points]: Setting MPFR precision to 320 3.431 * * * * [points]: Filtering points with unrepresentable outputs 3.432 * * * * [points]: Sampling 499 additional inputs, on iter 4 have 7501 / 8000 3.437 * * * * [points]: Computing exacts on every 31 of 499 points to ramp up precision 3.438 * * * * [points]: Setting MPFR precision to 64 3.439 * * * * [points]: Setting MPFR precision to 320 3.440 * * * * [points]: Computing exacts on every 15 of 499 points to ramp up precision 3.442 * * * * [points]: Setting MPFR precision to 64 3.446 * * * * [points]: Setting MPFR precision to 320 3.448 * * * * [points]: Computing exacts on every 7 of 499 points to ramp up precision 3.450 * * * * [points]: Setting MPFR precision to 64 3.453 * * * * [points]: Setting MPFR precision to 320 3.458 * * * * [points]: Computing exacts on every 3 of 499 points to ramp up precision 3.459 * * * * [points]: Setting MPFR precision to 64 3.467 * * * * [points]: Setting MPFR precision to 320 3.475 * * * * [points]: Computing exacts for 499 points 3.477 * * * * [points]: Setting MPFR precision to 64 3.507 * * * * [points]: Setting MPFR precision to 320 3.543 * * * * [points]: Filtering points with unrepresentable outputs 3.544 * * * * [points]: Sampling 261 additional inputs, on iter 5 have 7739 / 8000 3.546 * * * * [points]: Computing exacts on every 16 of 261 points to ramp up precision 3.548 * * * * [points]: Setting MPFR precision to 64 3.549 * * * * [points]: Setting MPFR precision to 320 3.550 * * * * [points]: Computing exacts on every 8 of 261 points to ramp up precision 3.552 * * * * [points]: Setting MPFR precision to 64 3.553 * * * * [points]: Setting MPFR precision to 320 3.555 * * * * [points]: Computing exacts on every 4 of 261 points to ramp up precision 3.557 * * * * [points]: Setting MPFR precision to 64 3.560 * * * * [points]: Setting MPFR precision to 320 3.564 * * * * [points]: Computing exacts on every 2 of 261 points to ramp up precision 3.565 * * * * [points]: Setting MPFR precision to 64 3.570 * * * * [points]: Setting MPFR precision to 320 3.577 * * * * [points]: Computing exacts for 261 points 3.581 * * * * [points]: Setting MPFR precision to 64 3.597 * * * * [points]: Setting MPFR precision to 320 3.617 * * * * [points]: Filtering points with unrepresentable outputs 3.617 * * * * [points]: Sampling 124 additional inputs, on iter 6 have 7876 / 8000 3.618 * * * * [points]: Computing exacts on every 7 of 124 points to ramp up precision 3.620 * * * * [points]: Setting MPFR precision to 64 3.621 * * * * [points]: Setting MPFR precision to 320 3.622 * * * * [points]: Computing exacts on every 3 of 124 points to ramp up precision 3.623 * * * * [points]: Setting MPFR precision to 64 3.625 * * * * [points]: Setting MPFR precision to 320 3.627 * * * * [points]: Computing exacts for 124 points 3.629 * * * * [points]: Setting MPFR precision to 64 3.636 * * * * [points]: Setting MPFR precision to 320 3.645 * * * * [points]: Filtering points with unrepresentable outputs 3.645 * * * * [points]: Sampling 64 additional inputs, on iter 7 have 7936 / 8000 3.646 * * * * [points]: Computing exacts on every 4 of 64 points to ramp up precision 3.647 * * * * [points]: Setting MPFR precision to 64 3.648 * * * * [points]: Setting MPFR precision to 320 3.649 * * * * [points]: Computing exacts on every 2 of 64 points to ramp up precision 3.650 * * * * [points]: Setting MPFR precision to 64 3.652 * * * * [points]: Setting MPFR precision to 320 3.653 * * * * [points]: Computing exacts for 64 points 3.654 * * * * [points]: Setting MPFR precision to 64 3.658 * * * * [points]: Setting MPFR precision to 320 3.663 * * * * [points]: Filtering points with unrepresentable outputs 3.663 * * * * [points]: Sampling 30 additional inputs, on iter 8 have 7970 / 8000 3.663 * * * * [points]: Computing exacts for 30 points 3.665 * * * * [points]: Setting MPFR precision to 64 3.666 * * * * [points]: Setting MPFR precision to 320 3.669 * * * * [points]: Filtering points with unrepresentable outputs 3.669 * * * * [points]: Sampling 15 additional inputs, on iter 9 have 7985 / 8000 3.669 * * * * [points]: Computing exacts for 15 points 3.670 * * * * [points]: Setting MPFR precision to 64 3.671 * * * * [points]: Setting MPFR precision to 320 3.672 * * * * [points]: Filtering points with unrepresentable outputs 3.672 * * * * [points]: Sampling 11 additional inputs, on iter 10 have 7989 / 8000 3.672 * * * * [points]: Computing exacts for 11 points 3.674 * * * * [points]: Setting MPFR precision to 64 3.674 * * * * [points]: Setting MPFR precision to 320 3.675 * * * * [points]: Filtering points with unrepresentable outputs 3.676 * * * * [points]: Sampling 6 additional inputs, on iter 11 have 7994 / 8000 3.676 * * * * [points]: Computing exacts for 6 points 3.677 * * * * [points]: Setting MPFR precision to 64 3.677 * * * * [points]: Setting MPFR precision to 320 3.678 * * * * [points]: Filtering points with unrepresentable outputs 3.678 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7996 / 8000 3.678 * * * * [points]: Computing exacts for 4 points 3.679 * * * * [points]: Setting MPFR precision to 64 3.680 * * * * [points]: Setting MPFR precision to 320 3.680 * * * * [points]: Filtering points with unrepresentable outputs 3.680 * * * * [points]: Sampling 4 additional inputs, on iter 13 have 7998 / 8000 3.680 * * * * [points]: Computing exacts for 4 points 3.681 * * * * [points]: Setting MPFR precision to 64 3.682 * * * * [points]: Setting MPFR precision to 320 3.682 * * * * [points]: Filtering points with unrepresentable outputs 3.682 * * * * [points]: Sampled 8001 points with exact outputs 3.750 * [regime-testing]: End program error score: 0.012125