8.201 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.002 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256 0.006 * * * * [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.011 * * * * [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.020 * * * * [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.077 * * * * [points]: Filtering points with unrepresentable outputs 0.078 * * * * [points]: Sampling 128 additional inputs, on iter 1 have 128 / 256 0.080 * * * * [points]: Computing exacts on every 8 of 128 points to ramp up precision 0.082 * * * * [points]: Setting MPFR precision to 64 0.083 * * * * [points]: Setting MPFR precision to 320 0.084 * * * * [points]: Computing exacts on every 4 of 128 points to ramp up precision 0.085 * * * * [points]: Setting MPFR precision to 64 0.087 * * * * [points]: Setting MPFR precision to 320 0.089 * * * * [points]: Computing exacts on every 2 of 128 points to ramp up precision 0.090 * * * * [points]: Setting MPFR precision to 64 0.093 * * * * [points]: Setting MPFR precision to 320 0.096 * * * * [points]: Computing exacts for 128 points 0.097 * * * * [points]: Setting MPFR precision to 64 0.105 * * * * [points]: Setting MPFR precision to 320 0.114 * * * * [points]: Filtering points with unrepresentable outputs 0.114 * * * * [points]: Sampling 59 additional inputs, on iter 2 have 197 / 256 0.115 * * * * [points]: Computing exacts on every 3 of 59 points to ramp up precision 0.116 * * * * [points]: Setting MPFR precision to 64 0.117 * * * * [points]: Setting MPFR precision to 320 0.118 * * * * [points]: Computing exacts for 59 points 0.120 * * * * [points]: Setting MPFR precision to 64 0.123 * * * * [points]: Setting MPFR precision to 320 0.128 * * * * [points]: Filtering points with unrepresentable outputs 0.128 * * * * [points]: Sampling 29 additional inputs, on iter 3 have 227 / 256 0.128 * * * * [points]: Computing exacts for 29 points 0.130 * * * * [points]: Setting MPFR precision to 64 0.132 * * * * [points]: Setting MPFR precision to 320 0.134 * * * * [points]: Filtering points with unrepresentable outputs 0.134 * * * * [points]: Sampling 19 additional inputs, on iter 4 have 237 / 256 0.134 * * * * [points]: Computing exacts for 19 points 0.136 * * * * [points]: Setting MPFR precision to 64 0.137 * * * * [points]: Setting MPFR precision to 320 0.138 * * * * [points]: Filtering points with unrepresentable outputs 0.138 * * * * [points]: Sampling 12 additional inputs, on iter 5 have 244 / 256 0.139 * * * * [points]: Computing exacts for 12 points 0.140 * * * * [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]: Sampling 8 additional inputs, on iter 6 have 248 / 256 0.142 * * * * [points]: Computing exacts for 8 points 0.143 * * * * [points]: Setting MPFR precision to 64 0.144 * * * * [points]: Setting MPFR precision to 320 0.144 * * * * [points]: Filtering points with unrepresentable outputs 0.144 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 255 / 256 0.144 * * * * [points]: Computing exacts for 4 points 0.146 * * * * [points]: Setting MPFR precision to 64 0.146 * * * * [points]: Setting MPFR precision to 320 0.146 * * * * [points]: Filtering points with unrepresentable outputs 0.146 * * * * [points]: Sampled 256 points with exact outputs 0.146 * * * [progress]: [2/2] Setting up program. 0.148 * [progress]: [Phase 2 of 3] Improving. 0.148 * [simplify]: Simplifying: (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 0.148 * [simplify]: Sending expressions to egg_math: (re (/.c (+.c (exp.c (complex h0 h1)) (exp.c (neg.c (complex h0 h1)))) (complex h2 h3))) 0.151 * * [simplify]: iteration 0 : 16 enodes (cost 7 ) 0.152 * * [simplify]: iteration 1 : 16 enodes (cost 7 ) 0.152 * * [progress]: iteration 1 / 4 0.152 * * * [progress]: picking best candidate 0.154 * * * * [pick]: Picked # 0.154 * * * [progress]: localizing error 0.181 * * * [progress]: generating rewritten candidates 0.181 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1) 0.183 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1 2) 0.183 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1 1) 0.183 * * * [progress]: generating series expansions 0.183 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1) 0.183 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1 2) 0.183 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1 1) 0.183 * * * [progress]: simplifying candidates 0.183 * [simplify]: Simplifying: (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.183 * [simplify]: Sending expressions to egg_math: (re (/.c (+.c (exp.c (complex h0 h1)) (exp.c (neg.c (complex h0 h1)))) (complex h2 h3))) (re (/.c (+.c (exp.c (complex h0 h1)) (exp.c (neg.c (complex h0 h1)))) (complex h2 h3))) (re (/.c (+.c (exp.c (complex h0 h1)) (exp.c (neg.c (complex h0 h1)))) (complex h2 h3))) 0.186 * * [simplify]: iteration 0 : 16 enodes (cost 21 ) 0.187 * * [simplify]: iteration 1 : 16 enodes (cost 21 ) 0.187 * * * [progress]: adding candidates to table 0.194 * [progress]: [Phase 3 of 3] Extracting. 0.196 * [simplify]: Simplifying: (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 0.196 * [simplify]: Sending expressions to egg_math: (re (/.c (+.c (exp.c (complex h0 h1)) (exp.c (neg.c (complex h0 h1)))) (complex h2 h3))) 0.196 * * [simplify]: iteration 0 : 13 enodes (cost 7 ) 0.197 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 0.197 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 0.314 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision 0.315 * * * * [points]: Setting MPFR precision to 64 0.316 * * * * [points]: Setting MPFR precision to 320 0.317 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision 0.319 * * * * [points]: Setting MPFR precision to 64 0.321 * * * * [points]: Setting MPFR precision to 320 0.324 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision 0.325 * * * * [points]: Setting MPFR precision to 64 0.329 * * * * [points]: Setting MPFR precision to 320 0.334 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision 0.335 * * * * [points]: Setting MPFR precision to 64 0.343 * * * * [points]: Setting MPFR precision to 320 0.352 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision 0.353 * * * * [points]: Setting MPFR precision to 64 0.368 * * * * [points]: Setting MPFR precision to 320 0.387 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision 0.388 * * * * [points]: Setting MPFR precision to 64 0.421 * * * * [points]: Setting MPFR precision to 320 0.457 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision 0.458 * * * * [points]: Setting MPFR precision to 64 0.518 * * * * [points]: Setting MPFR precision to 320 0.592 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision 0.593 * * * * [points]: Setting MPFR precision to 64 0.715 * * * * [points]: Setting MPFR precision to 320 0.857 * * * * [points]: Computing exacts for 8000 points 0.858 * * * * [points]: Setting MPFR precision to 64 1.339 * * * * [points]: Setting MPFR precision to 320 1.905 * * * * [points]: Filtering points with unrepresentable outputs 1.910 * * * * [points]: Sampling 3946 additional inputs, on iter 1 have 4054 / 8000 1.968 * * * * [points]: Computing exacts on every 246 of 3946 points to ramp up precision 1.970 * * * * [points]: Setting MPFR precision to 64 1.971 * * * * [points]: Setting MPFR precision to 320 1.972 * * * * [points]: Computing exacts on every 123 of 3946 points to ramp up precision 1.973 * * * * [points]: Setting MPFR precision to 64 1.975 * * * * [points]: Setting MPFR precision to 320 1.977 * * * * [points]: Computing exacts on every 61 of 3946 points to ramp up precision 1.979 * * * * [points]: Setting MPFR precision to 64 1.982 * * * * [points]: Setting MPFR precision to 320 1.987 * * * * [points]: Computing exacts on every 30 of 3946 points to ramp up precision 1.988 * * * * [points]: Setting MPFR precision to 64 1.996 * * * * [points]: Setting MPFR precision to 320 2.005 * * * * [points]: Computing exacts on every 15 of 3946 points to ramp up precision 2.007 * * * * [points]: Setting MPFR precision to 64 2.022 * * * * [points]: Setting MPFR precision to 320 2.039 * * * * [points]: Computing exacts on every 7 of 3946 points to ramp up precision 2.041 * * * * [points]: Setting MPFR precision to 64 2.073 * * * * [points]: Setting MPFR precision to 320 2.107 * * * * [points]: Computing exacts on every 3 of 3946 points to ramp up precision 2.108 * * * * [points]: Setting MPFR precision to 64 2.166 * * * * [points]: Setting MPFR precision to 320 2.235 * * * * [points]: Computing exacts for 3946 points 2.237 * * * * [points]: Setting MPFR precision to 64 2.473 * * * * [points]: Setting MPFR precision to 320 2.750 * * * * [points]: Filtering points with unrepresentable outputs 2.752 * * * * [points]: Sampling 1925 additional inputs, on iter 2 have 6075 / 8000 2.780 * * * * [points]: Computing exacts on every 120 of 1925 points to ramp up precision 2.781 * * * * [points]: Setting MPFR precision to 64 2.782 * * * * [points]: Setting MPFR precision to 320 2.783 * * * * [points]: Computing exacts on every 60 of 1925 points to ramp up precision 2.785 * * * * [points]: Setting MPFR precision to 64 2.787 * * * * [points]: Setting MPFR precision to 320 2.789 * * * * [points]: Computing exacts on every 30 of 1925 points to ramp up precision 2.790 * * * * [points]: Setting MPFR precision to 64 2.794 * * * * [points]: Setting MPFR precision to 320 2.799 * * * * [points]: Computing exacts on every 15 of 1925 points to ramp up precision 2.800 * * * * [points]: Setting MPFR precision to 64 2.808 * * * * [points]: Setting MPFR precision to 320 2.816 * * * * [points]: Computing exacts on every 7 of 1925 points to ramp up precision 2.818 * * * * [points]: Setting MPFR precision to 64 2.832 * * * * [points]: Setting MPFR precision to 320 2.848 * * * * [points]: Computing exacts on every 3 of 1925 points to ramp up precision 2.849 * * * * [points]: Setting MPFR precision to 64 2.881 * * * * [points]: Setting MPFR precision to 320 2.914 * * * * [points]: Computing exacts for 1925 points 2.916 * * * * [points]: Setting MPFR precision to 64 3.032 * * * * [points]: Setting MPFR precision to 320 3.170 * * * * [points]: Filtering points with unrepresentable outputs 3.171 * * * * [points]: Sampling 967 additional inputs, on iter 3 have 7033 / 8000 3.185 * * * * [points]: Computing exacts on every 60 of 967 points to ramp up precision 3.187 * * * * [points]: Setting MPFR precision to 64 3.188 * * * * [points]: Setting MPFR precision to 320 3.189 * * * * [points]: Computing exacts on every 30 of 967 points to ramp up precision 3.190 * * * * [points]: Setting MPFR precision to 64 3.192 * * * * [points]: Setting MPFR precision to 320 3.194 * * * * [points]: Computing exacts on every 15 of 967 points to ramp up precision 3.196 * * * * [points]: Setting MPFR precision to 64 3.199 * * * * [points]: Setting MPFR precision to 320 3.204 * * * * [points]: Computing exacts on every 7 of 967 points to ramp up precision 3.205 * * * * [points]: Setting MPFR precision to 64 3.212 * * * * [points]: Setting MPFR precision to 320 3.221 * * * * [points]: Computing exacts on every 3 of 967 points to ramp up precision 3.222 * * * * [points]: Setting MPFR precision to 64 3.237 * * * * [points]: Setting MPFR precision to 320 3.254 * * * * [points]: Computing exacts for 967 points 3.256 * * * * [points]: Setting MPFR precision to 64 3.316 * * * * [points]: Setting MPFR precision to 320 3.385 * * * * [points]: Filtering points with unrepresentable outputs 3.386 * * * * [points]: Sampling 494 additional inputs, on iter 4 have 7506 / 8000 3.393 * * * * [points]: Computing exacts on every 30 of 494 points to ramp up precision 3.395 * * * * [points]: Setting MPFR precision to 64 3.396 * * * * [points]: Setting MPFR precision to 320 3.397 * * * * [points]: Computing exacts on every 15 of 494 points to ramp up precision 3.398 * * * * [points]: Setting MPFR precision to 64 3.400 * * * * [points]: Setting MPFR precision to 320 3.405 * * * * [points]: Computing exacts on every 7 of 494 points to ramp up precision 3.406 * * * * [points]: Setting MPFR precision to 64 3.410 * * * * [points]: Setting MPFR precision to 320 3.414 * * * * [points]: Computing exacts on every 3 of 494 points to ramp up precision 3.416 * * * * [points]: Setting MPFR precision to 64 3.423 * * * * [points]: Setting MPFR precision to 320 3.432 * * * * [points]: Computing exacts for 494 points 3.433 * * * * [points]: Setting MPFR precision to 64 3.462 * * * * [points]: Setting MPFR precision to 320 3.497 * * * * [points]: Filtering points with unrepresentable outputs 3.497 * * * * [points]: Sampling 250 additional inputs, on iter 5 have 7750 / 8000 3.501 * * * * [points]: Computing exacts on every 15 of 250 points to ramp up precision 3.502 * * * * [points]: Setting MPFR precision to 64 3.503 * * * * [points]: Setting MPFR precision to 320 3.504 * * * * [points]: Computing exacts on every 7 of 250 points to ramp up precision 3.505 * * * * [points]: Setting MPFR precision to 64 3.507 * * * * [points]: Setting MPFR precision to 320 3.509 * * * * [points]: Computing exacts on every 3 of 250 points to ramp up precision 3.511 * * * * [points]: Setting MPFR precision to 64 3.514 * * * * [points]: Setting MPFR precision to 320 3.519 * * * * [points]: Computing exacts for 250 points 3.520 * * * * [points]: Setting MPFR precision to 64 3.538 * * * * [points]: Setting MPFR precision to 320 3.556 * * * * [points]: Filtering points with unrepresentable outputs 3.556 * * * * [points]: Sampling 129 additional inputs, on iter 6 have 7871 / 8000 3.558 * * * * [points]: Computing exacts on every 8 of 129 points to ramp up precision 3.560 * * * * [points]: Setting MPFR precision to 64 3.561 * * * * [points]: Setting MPFR precision to 320 3.562 * * * * [points]: Computing exacts on every 4 of 129 points to ramp up precision 3.563 * * * * [points]: Setting MPFR precision to 64 3.565 * * * * [points]: Setting MPFR precision to 320 3.567 * * * * [points]: Computing exacts on every 2 of 129 points to ramp up precision 3.568 * * * * [points]: Setting MPFR precision to 64 3.571 * * * * [points]: Setting MPFR precision to 320 3.574 * * * * [points]: Computing exacts for 129 points 3.575 * * * * [points]: Setting MPFR precision to 64 3.583 * * * * [points]: Setting MPFR precision to 320 3.593 * * * * [points]: Filtering points with unrepresentable outputs 3.593 * * * * [points]: Sampling 67 additional inputs, on iter 7 have 7933 / 8000 3.594 * * * * [points]: Computing exacts on every 4 of 67 points to ramp up precision 3.595 * * * * [points]: Setting MPFR precision to 64 3.596 * * * * [points]: Setting MPFR precision to 320 3.597 * * * * [points]: Computing exacts on every 2 of 67 points to ramp up precision 3.598 * * * * [points]: Setting MPFR precision to 64 3.600 * * * * [points]: Setting MPFR precision to 320 3.601 * * * * [points]: Computing exacts for 67 points 3.603 * * * * [points]: Setting MPFR precision to 64 3.607 * * * * [points]: Setting MPFR precision to 320 3.611 * * * * [points]: Filtering points with unrepresentable outputs 3.612 * * * * [points]: Sampling 38 additional inputs, on iter 8 have 7962 / 8000 3.612 * * * * [points]: Computing exacts on every 2 of 38 points to ramp up precision 3.614 * * * * [points]: Setting MPFR precision to 64 3.614 * * * * [points]: Setting MPFR precision to 320 3.615 * * * * [points]: Computing exacts for 38 points 3.616 * * * * [points]: Setting MPFR precision to 64 3.619 * * * * [points]: Setting MPFR precision to 320 3.621 * * * * [points]: Filtering points with unrepresentable outputs 3.622 * * * * [points]: Sampling 24 additional inputs, on iter 9 have 7976 / 8000 3.622 * * * * [points]: Computing exacts for 24 points 3.623 * * * * [points]: Setting MPFR precision to 64 3.625 * * * * [points]: Setting MPFR precision to 320 3.626 * * * * [points]: Filtering points with unrepresentable outputs 3.626 * * * * [points]: Sampling 11 additional inputs, on iter 10 have 7989 / 8000 3.627 * * * * [points]: Computing exacts for 11 points 3.628 * * * * [points]: Setting MPFR precision to 64 3.629 * * * * [points]: Setting MPFR precision to 320 3.630 * * * * [points]: Filtering points with unrepresentable outputs 3.630 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7997 / 8000 3.630 * * * * [points]: Computing exacts for 4 points 3.631 * * * * [points]: Setting MPFR precision to 64 3.631 * * * * [points]: Setting MPFR precision to 320 3.632 * * * * [points]: Filtering points with unrepresentable outputs 3.632 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7999 / 8000 3.632 * * * * [points]: Computing exacts for 4 points 3.633 * * * * [points]: Setting MPFR precision to 64 3.633 * * * * [points]: Setting MPFR precision to 320 3.634 * * * * [points]: Filtering points with unrepresentable outputs 3.634 * * * * [points]: Sampling 4 additional inputs, on iter 13 have 7999 / 8000 3.634 * * * * [points]: Computing exacts for 4 points 3.635 * * * * [points]: Setting MPFR precision to 64 3.635 * * * * [points]: Setting MPFR precision to 320 3.636 * * * * [points]: Filtering points with unrepresentable outputs 3.636 * * * * [points]: Sampled 8002 points with exact outputs 3.706 * [regime-testing]: End program error score: 0.013375