7.633 * [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.008 * * * * [points]: Setting MPFR precision to 320 0.010 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.011 * * * * [points]: Setting MPFR precision to 64 0.013 * * * * [points]: Setting MPFR precision to 320 0.015 * * * * [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.025 * * * * [points]: Setting MPFR precision to 64 0.031 * * * * [points]: Setting MPFR precision to 320 0.037 * * * * [points]: Computing exacts for 256 points 0.038 * * * * [points]: Setting MPFR precision to 64 0.054 * * * * [points]: Setting MPFR precision to 320 0.077 * * * * [points]: Filtering points with unrepresentable outputs 0.077 * * * * [points]: Sampling 133 additional inputs, on iter 1 have 123 / 256 0.079 * * * * [points]: Computing exacts on every 8 of 133 points to ramp up precision 0.081 * * * * [points]: Setting MPFR precision to 64 0.082 * * * * [points]: Setting MPFR precision to 320 0.083 * * * * [points]: Computing exacts on every 4 of 133 points to ramp up precision 0.084 * * * * [points]: Setting MPFR precision to 64 0.086 * * * * [points]: Setting MPFR precision to 320 0.088 * * * * [points]: Computing exacts on every 2 of 133 points to ramp up precision 0.089 * * * * [points]: Setting MPFR precision to 64 0.092 * * * * [points]: Setting MPFR precision to 320 0.095 * * * * [points]: Computing exacts for 133 points 0.097 * * * * [points]: Setting MPFR precision to 64 0.105 * * * * [points]: Setting MPFR precision to 320 0.115 * * * * [points]: Filtering points with unrepresentable outputs 0.115 * * * * [points]: Sampling 68 additional inputs, on iter 2 have 188 / 256 0.116 * * * * [points]: Computing exacts on every 4 of 68 points to ramp up precision 0.117 * * * * [points]: Setting MPFR precision to 64 0.118 * * * * [points]: Setting MPFR precision to 320 0.119 * * * * [points]: Computing exacts on every 2 of 68 points to ramp up precision 0.120 * * * * [points]: Setting MPFR precision to 64 0.122 * * * * [points]: Setting MPFR precision to 320 0.123 * * * * [points]: Computing exacts for 68 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 30 additional inputs, on iter 3 have 226 / 256 0.134 * * * * [points]: Computing exacts for 30 points 0.136 * * * * [points]: Setting MPFR precision to 64 0.138 * * * * [points]: Setting MPFR precision to 320 0.140 * * * * [points]: Filtering points with unrepresentable outputs 0.140 * * * * [points]: Sampling 14 additional inputs, on iter 4 have 242 / 256 0.140 * * * * [points]: Computing exacts for 14 points 0.142 * * * * [points]: Setting MPFR precision to 64 0.143 * * * * [points]: Setting MPFR precision to 320 0.144 * * * * [points]: Filtering points with unrepresentable outputs 0.144 * * * * [points]: Sampling 7 additional inputs, on iter 5 have 249 / 256 0.144 * * * * [points]: Computing exacts for 7 points 0.145 * * * * [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]: Sampling 4 additional inputs, on iter 6 have 252 / 256 0.146 * * * * [points]: Computing exacts for 4 points 0.148 * * * * [points]: Setting MPFR precision to 64 0.148 * * * * [points]: Setting MPFR precision to 320 0.149 * * * * [points]: Filtering points with unrepresentable outputs 0.149 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 254 / 256 0.149 * * * * [points]: Computing exacts for 4 points 0.150 * * * * [points]: Setting MPFR precision to 64 0.150 * * * * [points]: Setting MPFR precision to 320 0.150 * * * * [points]: Filtering points with unrepresentable outputs 0.151 * * * * [points]: Sampled 256 points with exact outputs 0.151 * * * [progress]: [2/2] Setting up program. 0.152 * [progress]: [Phase 2 of 3] Improving. 0.153 * [simplify]: Simplifying: (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 0.153 * [simplify]: Sending expressions to egg_math: (re (/.c (+.c (exp.c (complex h3 h2)) (exp.c (neg.c (complex h3 h2)))) (complex h1 h0))) 0.154 * * [simplify]: iteration 0 : 16 enodes (cost 7 ) 0.155 * * [simplify]: iteration 1 : 16 enodes (cost 7 ) 0.156 * * [progress]: iteration 1 / 4 0.156 * * * [progress]: picking best candidate 0.157 * * * * [pick]: Picked # 0.157 * * * [progress]: localizing error 0.189 * * * [progress]: generating rewritten candidates 0.189 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1) 0.191 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1 1) 0.191 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1 2) 0.191 * * * [progress]: generating series expansions 0.191 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1) 0.191 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1 1) 0.191 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1 2) 0.191 * * * [progress]: simplifying candidates 0.191 * [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.191 * [simplify]: Sending expressions to egg_math: (re (/.c (+.c (exp.c (complex h3 h2)) (exp.c (neg.c (complex h3 h2)))) (complex h1 h0))) (re (/.c (+.c (exp.c (complex h3 h2)) (exp.c (neg.c (complex h3 h2)))) (complex h1 h0))) (re (/.c (+.c (exp.c (complex h3 h2)) (exp.c (neg.c (complex h3 h2)))) (complex h1 h0))) 0.193 * * [simplify]: iteration 0 : 16 enodes (cost 21 ) 0.194 * * [simplify]: iteration 1 : 16 enodes (cost 21 ) 0.194 * * * [progress]: adding candidates to table 0.197 * [progress]: [Phase 3 of 3] Extracting. 0.199 * [simplify]: Simplifying: (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 0.199 * [simplify]: Sending expressions to egg_math: (re (/.c (+.c (exp.c (complex h3 h2)) (exp.c (neg.c (complex h3 h2)))) (complex h1 h0))) 0.199 * * [simplify]: iteration 0 : 13 enodes (cost 7 ) 0.199 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 0.199 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 0.315 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision 0.317 * * * * [points]: Setting MPFR precision to 64 0.318 * * * * [points]: Setting MPFR precision to 320 0.320 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision 0.321 * * * * [points]: Setting MPFR precision to 64 0.323 * * * * [points]: Setting MPFR precision to 320 0.325 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision 0.327 * * * * [points]: Setting MPFR precision to 64 0.331 * * * * [points]: Setting MPFR precision to 320 0.335 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision 0.337 * * * * [points]: Setting MPFR precision to 64 0.345 * * * * [points]: Setting MPFR precision to 320 0.354 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision 0.355 * * * * [points]: Setting MPFR precision to 64 0.371 * * * * [points]: Setting MPFR precision to 320 0.393 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision 0.394 * * * * [points]: Setting MPFR precision to 64 0.427 * * * * [points]: Setting MPFR precision to 320 0.465 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision 0.467 * * * * [points]: Setting MPFR precision to 64 0.530 * * * * [points]: Setting MPFR precision to 320 0.608 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision 0.610 * * * * [points]: Setting MPFR precision to 64 0.738 * * * * [points]: Setting MPFR precision to 320 0.888 * * * * [points]: Computing exacts for 8000 points 0.889 * * * * [points]: Setting MPFR precision to 64 1.391 * * * * [points]: Setting MPFR precision to 320 1.983 * * * * [points]: Filtering points with unrepresentable outputs 1.989 * * * * [points]: Sampling 4016 additional inputs, on iter 1 have 3984 / 8000 2.047 * * * * [points]: Computing exacts on every 251 of 4016 points to ramp up precision 2.048 * * * * [points]: Setting MPFR precision to 64 2.050 * * * * [points]: Setting MPFR precision to 320 2.051 * * * * [points]: Computing exacts on every 125 of 4016 points to ramp up precision 2.052 * * * * [points]: Setting MPFR precision to 64 2.054 * * * * [points]: Setting MPFR precision to 320 2.057 * * * * [points]: Computing exacts on every 62 of 4016 points to ramp up precision 2.058 * * * * [points]: Setting MPFR precision to 64 2.063 * * * * [points]: Setting MPFR precision to 320 2.067 * * * * [points]: Computing exacts on every 31 of 4016 points to ramp up precision 2.069 * * * * [points]: Setting MPFR precision to 64 2.077 * * * * [points]: Setting MPFR precision to 320 2.086 * * * * [points]: Computing exacts on every 15 of 4016 points to ramp up precision 2.087 * * * * [points]: Setting MPFR precision to 64 2.103 * * * * [points]: Setting MPFR precision to 320 2.123 * * * * [points]: Computing exacts on every 7 of 4016 points to ramp up precision 2.125 * * * * [points]: Setting MPFR precision to 64 2.157 * * * * [points]: Setting MPFR precision to 320 2.194 * * * * [points]: Computing exacts on every 3 of 4016 points to ramp up precision 2.196 * * * * [points]: Setting MPFR precision to 64 2.259 * * * * [points]: Setting MPFR precision to 320 2.333 * * * * [points]: Computing exacts for 4016 points 2.335 * * * * [points]: Setting MPFR precision to 64 2.589 * * * * [points]: Setting MPFR precision to 320 2.884 * * * * [points]: Filtering points with unrepresentable outputs 2.887 * * * * [points]: Sampling 1986 additional inputs, on iter 2 have 6014 / 8000 2.914 * * * * [points]: Computing exacts on every 124 of 1986 points to ramp up precision 2.916 * * * * [points]: Setting MPFR precision to 64 2.917 * * * * [points]: Setting MPFR precision to 320 2.918 * * * * [points]: Computing exacts on every 62 of 1986 points to ramp up precision 2.919 * * * * [points]: Setting MPFR precision to 64 2.921 * * * * [points]: Setting MPFR precision to 320 2.924 * * * * [points]: Computing exacts on every 31 of 1986 points to ramp up precision 2.925 * * * * [points]: Setting MPFR precision to 64 2.929 * * * * [points]: Setting MPFR precision to 320 2.934 * * * * [points]: Computing exacts on every 15 of 1986 points to ramp up precision 2.935 * * * * [points]: Setting MPFR precision to 64 2.943 * * * * [points]: Setting MPFR precision to 320 2.952 * * * * [points]: Computing exacts on every 7 of 1986 points to ramp up precision 2.953 * * * * [points]: Setting MPFR precision to 64 2.971 * * * * [points]: Setting MPFR precision to 320 2.990 * * * * [points]: Computing exacts on every 3 of 1986 points to ramp up precision 2.991 * * * * [points]: Setting MPFR precision to 64 3.022 * * * * [points]: Setting MPFR precision to 320 3.059 * * * * [points]: Computing exacts for 1986 points 3.060 * * * * [points]: Setting MPFR precision to 64 3.184 * * * * [points]: Setting MPFR precision to 320 3.329 * * * * [points]: Filtering points with unrepresentable outputs 3.331 * * * * [points]: Sampling 998 additional inputs, on iter 3 have 7002 / 8000 3.345 * * * * [points]: Computing exacts on every 62 of 998 points to ramp up precision 3.346 * * * * [points]: Setting MPFR precision to 64 3.347 * * * * [points]: Setting MPFR precision to 320 3.349 * * * * [points]: Computing exacts on every 31 of 998 points to ramp up precision 3.350 * * * * [points]: Setting MPFR precision to 64 3.352 * * * * [points]: Setting MPFR precision to 320 3.354 * * * * [points]: Computing exacts on every 15 of 998 points to ramp up precision 3.356 * * * * [points]: Setting MPFR precision to 64 3.360 * * * * [points]: Setting MPFR precision to 320 3.364 * * * * [points]: Computing exacts on every 7 of 998 points to ramp up precision 3.365 * * * * [points]: Setting MPFR precision to 64 3.373 * * * * [points]: Setting MPFR precision to 320 3.384 * * * * [points]: Computing exacts on every 3 of 998 points to ramp up precision 3.385 * * * * [points]: Setting MPFR precision to 64 3.401 * * * * [points]: Setting MPFR precision to 320 3.419 * * * * [points]: Computing exacts for 998 points 3.421 * * * * [points]: Setting MPFR precision to 64 3.482 * * * * [points]: Setting MPFR precision to 320 3.556 * * * * [points]: Filtering points with unrepresentable outputs 3.557 * * * * [points]: Sampling 483 additional inputs, on iter 4 have 7517 / 8000 3.564 * * * * [points]: Computing exacts on every 30 of 483 points to ramp up precision 3.565 * * * * [points]: Setting MPFR precision to 64 3.566 * * * * [points]: Setting MPFR precision to 320 3.568 * * * * [points]: Computing exacts on every 15 of 483 points to ramp up precision 3.569 * * * * [points]: Setting MPFR precision to 64 3.571 * * * * [points]: Setting MPFR precision to 320 3.573 * * * * [points]: Computing exacts on every 7 of 483 points to ramp up precision 3.574 * * * * [points]: Setting MPFR precision to 64 3.578 * * * * [points]: Setting MPFR precision to 320 3.583 * * * * [points]: Computing exacts on every 3 of 483 points to ramp up precision 3.584 * * * * [points]: Setting MPFR precision to 64 3.592 * * * * [points]: Setting MPFR precision to 320 3.601 * * * * [points]: Computing exacts for 483 points 3.602 * * * * [points]: Setting MPFR precision to 64 3.633 * * * * [points]: Setting MPFR precision to 320 3.670 * * * * [points]: Filtering points with unrepresentable outputs 3.670 * * * * [points]: Sampling 254 additional inputs, on iter 5 have 7746 / 8000 3.674 * * * * [points]: Computing exacts on every 15 of 254 points to ramp up precision 3.675 * * * * [points]: Setting MPFR precision to 64 3.676 * * * * [points]: Setting MPFR precision to 320 3.677 * * * * [points]: Computing exacts on every 7 of 254 points to ramp up precision 3.679 * * * * [points]: Setting MPFR precision to 64 3.681 * * * * [points]: Setting MPFR precision to 320 3.683 * * * * [points]: Computing exacts on every 3 of 254 points to ramp up precision 3.684 * * * * [points]: Setting MPFR precision to 64 3.688 * * * * [points]: Setting MPFR precision to 320 3.693 * * * * [points]: Computing exacts for 254 points 3.694 * * * * [points]: Setting MPFR precision to 64 3.709 * * * * [points]: Setting MPFR precision to 320 3.728 * * * * [points]: Filtering points with unrepresentable outputs 3.728 * * * * [points]: Sampling 136 additional inputs, on iter 6 have 7864 / 8000 3.730 * * * * [points]: Computing exacts on every 8 of 136 points to ramp up precision 3.732 * * * * [points]: Setting MPFR precision to 64 3.733 * * * * [points]: Setting MPFR precision to 320 3.734 * * * * [points]: Computing exacts on every 4 of 136 points to ramp up precision 3.735 * * * * [points]: Setting MPFR precision to 64 3.737 * * * * [points]: Setting MPFR precision to 320 3.739 * * * * [points]: Computing exacts on every 2 of 136 points to ramp up precision 3.740 * * * * [points]: Setting MPFR precision to 64 3.743 * * * * [points]: Setting MPFR precision to 320 3.747 * * * * [points]: Computing exacts for 136 points 3.748 * * * * [points]: Setting MPFR precision to 64 3.756 * * * * [points]: Setting MPFR precision to 320 3.766 * * * * [points]: Filtering points with unrepresentable outputs 3.767 * * * * [points]: Sampling 70 additional inputs, on iter 7 have 7930 / 8000 3.768 * * * * [points]: Computing exacts on every 4 of 70 points to ramp up precision 3.769 * * * * [points]: Setting MPFR precision to 64 3.770 * * * * [points]: Setting MPFR precision to 320 3.771 * * * * [points]: Computing exacts on every 2 of 70 points to ramp up precision 3.773 * * * * [points]: Setting MPFR precision to 64 3.774 * * * * [points]: Setting MPFR precision to 320 3.776 * * * * [points]: Computing exacts for 70 points 3.777 * * * * [points]: Setting MPFR precision to 64 3.781 * * * * [points]: Setting MPFR precision to 320 3.786 * * * * [points]: Filtering points with unrepresentable outputs 3.786 * * * * [points]: Sampling 36 additional inputs, on iter 8 have 7964 / 8000 3.787 * * * * [points]: Computing exacts on every 2 of 36 points to ramp up precision 3.788 * * * * [points]: Setting MPFR precision to 64 3.791 * * * * [points]: Setting MPFR precision to 320 3.792 * * * * [points]: Computing exacts for 36 points 3.793 * * * * [points]: Setting MPFR precision to 64 3.796 * * * * [points]: Setting MPFR precision to 320 3.798 * * * * [points]: Filtering points with unrepresentable outputs 3.798 * * * * [points]: Sampling 20 additional inputs, on iter 9 have 7980 / 8000 3.799 * * * * [points]: Computing exacts for 20 points 3.800 * * * * [points]: Setting MPFR precision to 64 3.801 * * * * [points]: Setting MPFR precision to 320 3.803 * * * * [points]: Filtering points with unrepresentable outputs 3.803 * * * * [points]: Sampling 7 additional inputs, on iter 10 have 7993 / 8000 3.803 * * * * [points]: Computing exacts for 7 points 3.804 * * * * [points]: Setting MPFR precision to 64 3.805 * * * * [points]: Setting MPFR precision to 320 3.806 * * * * [points]: Filtering points with unrepresentable outputs 3.806 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7997 / 8000 3.806 * * * * [points]: Computing exacts for 4 points 3.807 * * * * [points]: Setting MPFR precision to 64 3.807 * * * * [points]: Setting MPFR precision to 320 3.808 * * * * [points]: Filtering points with unrepresentable outputs 3.808 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7999 / 8000 3.808 * * * * [points]: Computing exacts for 4 points 3.809 * * * * [points]: Setting MPFR precision to 64 3.809 * * * * [points]: Setting MPFR precision to 320 3.810 * * * * [points]: Filtering points with unrepresentable outputs 3.810 * * * * [points]: Sampled 8000 points with exact outputs 3.874 * [regime-testing]: End program error score: 0.01389624062518029