1536946106.134 * [misc]progress: [Phase 1 of 3] Setting up. 1536946106.136 * * * [misc]progress: [1/2] Preparing points 1536946106.137 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1536946106.141 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1536946106.202 * * * * [misc]points: Setting MPFR precision to 64 1536946106.208 * * * * [misc]points: Setting MPFR precision to 320 1536946106.212 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1536946106.215 * * * * [misc]points: Setting MPFR precision to 64 1536946106.221 * * * * [misc]points: Setting MPFR precision to 320 1536946106.227 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1536946106.230 * * * * [misc]points: Setting MPFR precision to 64 1536946106.240 * * * * [misc]points: Setting MPFR precision to 320 1536946106.250 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1536946106.253 * * * * [misc]points: Setting MPFR precision to 64 1536946106.319 * * * * [misc]points: Setting MPFR precision to 320 1536946106.337 * * * * [misc]points: Computing exacts for 256 points 1536946106.340 * * * * [misc]points: Setting MPFR precision to 64 1536946106.387 * * * * [misc]points: Setting MPFR precision to 320 1536946106.480 * * * * [misc]points: Filtering points with unrepresentable outputs 1536946106.481 * * * * [misc]points: Sampling 127 additional inputs, on iter 1 have 129 / 256 1536946106.482 * * * * [misc]points: Computing exacts on every 7 of 127 points to ramp up precision 1536946106.519 * * * * [misc]points: Setting MPFR precision to 64 1536946106.523 * * * * [misc]points: Setting MPFR precision to 320 1536946106.527 * * * * [misc]points: Computing exacts on every 3 of 127 points to ramp up precision 1536946106.530 * * * * [misc]points: Setting MPFR precision to 64 1536946106.538 * * * * [misc]points: Setting MPFR precision to 320 1536946106.545 * * * * [misc]points: Computing exacts for 127 points 1536946106.550 * * * * [misc]points: Setting MPFR precision to 64 1536946106.564 * * * * [misc]points: Setting MPFR precision to 320 1536946106.631 * * * * [misc]points: Filtering points with unrepresentable outputs 1536946106.631 * * * * [misc]points: Sampling 63 additional inputs, on iter 2 have 193 / 256 1536946106.632 * * * * [misc]points: Computing exacts on every 3 of 63 points to ramp up precision 1536946106.636 * * * * [misc]points: Setting MPFR precision to 64 1536946106.992 * * * * [misc]points: Setting MPFR precision to 320 1536946106.994 * * * * [misc]points: Computing exacts for 63 points 1536946106.996 * * * * [misc]points: Setting MPFR precision to 64 1536946107.005 * * * * [misc]points: Setting MPFR precision to 320 1536946107.013 * * * * [misc]points: Filtering points with unrepresentable outputs 1536946107.013 * * * * [misc]points: Sampling 28 additional inputs, on iter 3 have 228 / 256 1536946107.013 * * * * [misc]points: Computing exacts for 28 points 1536946107.015 * * * * [misc]points: Setting MPFR precision to 64 1536946107.018 * * * * [misc]points: Setting MPFR precision to 320 1536946107.021 * * * * [misc]points: Filtering points with unrepresentable outputs 1536946107.021 * * * * [misc]points: Sampling 11 additional inputs, on iter 4 have 245 / 256 1536946107.021 * * * * [misc]points: Computing exacts for 11 points 1536946107.023 * * * * [misc]points: Setting MPFR precision to 64 1536946107.024 * * * * [misc]points: Setting MPFR precision to 320 1536946107.025 * * * * [misc]points: Filtering points with unrepresentable outputs 1536946107.025 * * * * [misc]points: Sampling 7 additional inputs, on iter 5 have 249 / 256 1536946107.026 * * * * [misc]points: Computing exacts for 7 points 1536946107.027 * * * * [misc]points: Setting MPFR precision to 64 1536946107.028 * * * * [misc]points: Setting MPFR precision to 320 1536946107.029 * * * * [misc]points: Filtering points with unrepresentable outputs 1536946107.029 * * * * [misc]points: Sampling 4 additional inputs, on iter 6 have 252 / 256 1536946107.029 * * * * [misc]points: Computing exacts for 4 points 1536946107.031 * * * * [misc]points: Setting MPFR precision to 64 1536946107.031 * * * * [misc]points: Setting MPFR precision to 320 1536946107.032 * * * * [misc]points: Filtering points with unrepresentable outputs 1536946107.032 * * * * [misc]points: Sampling 4 additional inputs, on iter 7 have 253 / 256 1536946107.032 * * * * [misc]points: Computing exacts for 4 points 1536946107.034 * * * * [misc]points: Setting MPFR precision to 64 1536946107.034 * * * * [misc]points: Setting MPFR precision to 320 1536946107.035 * * * * [misc]points: Filtering points with unrepresentable outputs 1536946107.035 * * * * [misc]points: Sampling 4 additional inputs, on iter 8 have 254 / 256 1536946107.035 * * * * [misc]points: Computing exacts for 4 points 1536946107.037 * * * * [misc]points: Setting MPFR precision to 64 1536946107.037 * * * * [misc]points: Setting MPFR precision to 320 1536946107.038 * * * * [misc]points: Filtering points with unrepresentable outputs 1536946107.038 * * * * [exit]points: Sampled 257 points with exact outputs 1536946107.038 * * * [misc]progress: [2/2] Setting up program. 1536946107.044 * [misc]progress: [Phase 2 of 3] Improving. 1536946107.045 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1536946107.047 * * [misc]simplify: iters left: 6 (12 enodes) 1536946107.053 * * [misc]simplify: iters left: 5 (16 enodes) 1536946107.058 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1536946107.072 * * [misc]progress: iteration 1 / 4 1536946107.073 * * * [misc]progress: picking best candidate 1536946107.096 * * * * [misc]pick: Picked # 1536946107.096 * * * [misc]progress: localizing error 1536946107.157 * * * [misc]progress: generating rewritten candidates 1536946107.157 * * * * [misc]progress: [ 1 / 3 ] rewriting at (2 1 1) 1536946107.171 * * * * [misc]progress: [ 2 / 3 ] rewriting at (2 1 1 2) 1536946107.172 * * * * [misc]progress: [ 3 / 3 ] rewriting at (2 1 1 1) 1536946107.173 * * * [misc]progress: generating series expansions 1536946107.173 * * * * [misc]progress: [ 1 / 3 ] generating series at (2 1 1) 1536946107.174 * * * * [misc]progress: [ 2 / 3 ] generating series at (2 1 1 2) 1536946107.174 * * * * [misc]progress: [ 3 / 3 ] generating series at (2 1 1 1) 1536946107.174 * * * [misc]progress: simplifying candidates 1536946107.174 * * * * [misc]progress: [ 1 / 4 ] simplifiying candidate # 1536946107.174 * * * * [misc]progress: [ 2 / 4 ] simplifiying candidate # 1536946107.174 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1536946107.175 * * [misc]simplify: iters left: 6 (14 enodes) 1536946107.191 * * [misc]simplify: iters left: 5 (16 enodes) 1536946107.194 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1536946107.194 * [misc]simplify: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1536946107.195 * * * * [misc]progress: [ 3 / 4 ] simplifiying candidate # 1536946107.195 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1536946107.196 * * [misc]simplify: iters left: 6 (14 enodes) 1536946107.199 * * [misc]simplify: iters left: 5 (16 enodes) 1536946107.203 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1536946107.203 * [misc]simplify: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1536946107.203 * * * * [misc]progress: [ 4 / 4 ] simplifiying candidate # 1536946107.203 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1536946107.204 * * [misc]simplify: iters left: 6 (14 enodes) 1536946107.207 * * [misc]simplify: iters left: 5 (16 enodes) 1536946107.211 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1536946107.211 * [misc]simplify: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1536946107.211 * * * [misc]progress: adding candidates to table 1536946107.259 * [misc]progress: [Phase 3 of 3] Extracting. 1536946107.268 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1536946107.269 * * [misc]simplify: iters left: 6 (14 enodes) 1536946107.270 * * [misc]simplify: iters left: 5 (15 enodes) 1536946107.273 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1536946107.273 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1536946107.306 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1536946107.308 * * * * [misc]points: Setting MPFR precision to 64 1536946107.310 * * * * [misc]points: Setting MPFR precision to 320 1536946107.312 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1536946107.313 * * * * [misc]points: Setting MPFR precision to 64 1536946107.317 * * * * [misc]points: Setting MPFR precision to 320 1536946107.328 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1536946107.330 * * * * [misc]points: Setting MPFR precision to 64 1536946107.338 * * * * [misc]points: Setting MPFR precision to 320 1536946107.345 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1536946107.347 * * * * [misc]points: Setting MPFR precision to 64 1536946107.361 * * * * [misc]points: Setting MPFR precision to 320 1536946107.379 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1536946107.383 * * * * [misc]points: Setting MPFR precision to 64 1536946107.435 * * * * [misc]points: Setting MPFR precision to 320 1536946107.470 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1536946107.472 * * * * [misc]points: Setting MPFR precision to 64 1536946107.588 * * * * [misc]points: Setting MPFR precision to 320 1536946107.680 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1536946107.682 * * * * [misc]points: Setting MPFR precision to 64 1536946107.929 * * * * [misc]points: Setting MPFR precision to 320 1536946108.113 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1536946108.115 * * * * [misc]points: Setting MPFR precision to 64 1536946108.458 * * * * [misc]points: Setting MPFR precision to 320 1536946108.896 * * * * [misc]points: Computing exacts for 8000 points 1536946108.898 * * * * [misc]points: Setting MPFR precision to 64 1536946110.870 * * * * [misc]points: Setting MPFR precision to 320 1536946113.128 * * * * [misc]points: Filtering points with unrepresentable outputs 1536946113.129 * * * * [misc]points: Sampling 4016 additional inputs, on iter 1 have 3984 / 8000 1536946113.157 * * * * [misc]points: Computing exacts on every 251 of 4016 points to ramp up precision 1536946113.159 * * * * [misc]points: Setting MPFR precision to 64 1536946113.161 * * * * [misc]points: Setting MPFR precision to 320 1536946113.163 * * * * [misc]points: Computing exacts on every 125 of 4016 points to ramp up precision 1536946113.164 * * * * [misc]points: Setting MPFR precision to 64 1536946113.168 * * * * [misc]points: Setting MPFR precision to 320 1536946113.171 * * * * [misc]points: Computing exacts on every 62 of 4016 points to ramp up precision 1536946113.173 * * * * [misc]points: Setting MPFR precision to 64 1536946113.180 * * * * [misc]points: Setting MPFR precision to 320 1536946113.187 * * * * [misc]points: Computing exacts on every 31 of 4016 points to ramp up precision 1536946113.190 * * * * [misc]points: Setting MPFR precision to 64 1536946113.206 * * * * [misc]points: Setting MPFR precision to 320 1536946113.241 * * * * [misc]points: Computing exacts on every 15 of 4016 points to ramp up precision 1536946113.243 * * * * [misc]points: Setting MPFR precision to 64 1536946113.284 * * * * [misc]points: Setting MPFR precision to 320 1536946113.329 * * * * [misc]points: Computing exacts on every 7 of 4016 points to ramp up precision 1536946113.331 * * * * [misc]points: Setting MPFR precision to 64 1536946113.422 * * * * [misc]points: Setting MPFR precision to 320 1536946113.547 * * * * [misc]points: Computing exacts on every 3 of 4016 points to ramp up precision 1536946113.549 * * * * [misc]points: Setting MPFR precision to 64 1536946113.745 * * * * [misc]points: Setting MPFR precision to 320 1536946113.982 * * * * [misc]points: Computing exacts for 4016 points 1536946113.985 * * * * [misc]points: Setting MPFR precision to 64 1536946114.801 * * * * [misc]points: Setting MPFR precision to 320 1536946115.989 * * * * [misc]points: Filtering points with unrepresentable outputs 1536946115.990 * * * * [misc]points: Sampling 2019 additional inputs, on iter 2 have 5981 / 8000 1536946115.998 * * * * [misc]points: Computing exacts on every 126 of 2019 points to ramp up precision 1536946116.000 * * * * [misc]points: Setting MPFR precision to 64 1536946116.002 * * * * [misc]points: Setting MPFR precision to 320 1536946116.003 * * * * [misc]points: Computing exacts on every 63 of 2019 points to ramp up precision 1536946116.005 * * * * [misc]points: Setting MPFR precision to 64 1536946116.008 * * * * [misc]points: Setting MPFR precision to 320 1536946116.012 * * * * [misc]points: Computing exacts on every 31 of 2019 points to ramp up precision 1536946116.013 * * * * [misc]points: Setting MPFR precision to 64 1536946116.024 * * * * [misc]points: Setting MPFR precision to 320 1536946116.039 * * * * [misc]points: Computing exacts on every 15 of 2019 points to ramp up precision 1536946116.042 * * * * [misc]points: Setting MPFR precision to 64 1536946116.116 * * * * [misc]points: Setting MPFR precision to 320 1536946116.132 * * * * [misc]points: Computing exacts on every 7 of 2019 points to ramp up precision 1536946116.134 * * * * [misc]points: Setting MPFR precision to 64 1536946116.161 * * * * [misc]points: Setting MPFR precision to 320 1536946116.192 * * * * [misc]points: Computing exacts on every 3 of 2019 points to ramp up precision 1536946116.194 * * * * [misc]points: Setting MPFR precision to 64 1536946116.303 * * * * [misc]points: Setting MPFR precision to 320 1536946116.373 * * * * [misc]points: Computing exacts for 2019 points 1536946116.375 * * * * [misc]points: Setting MPFR precision to 64 1536946116.803 * * * * [misc]points: Setting MPFR precision to 320 1536946117.231 * * * * [misc]points: Filtering points with unrepresentable outputs 1536946117.231 * * * * [misc]points: Sampling 1005 additional inputs, on iter 3 have 6995 / 8000 1536946117.236 * * * * [misc]points: Computing exacts on every 62 of 1005 points to ramp up precision 1536946117.237 * * * * [misc]points: Setting MPFR precision to 64 1536946117.239 * * * * [misc]points: Setting MPFR precision to 320 1536946117.241 * * * * [misc]points: Computing exacts on every 31 of 1005 points to ramp up precision 1536946117.243 * * * * [misc]points: Setting MPFR precision to 64 1536946117.246 * * * * [misc]points: Setting MPFR precision to 320 1536946117.250 * * * * [misc]points: Computing exacts on every 15 of 1005 points to ramp up precision 1536946117.252 * * * * [misc]points: Setting MPFR precision to 64 1536946117.265 * * * * [misc]points: Setting MPFR precision to 320 1536946117.276 * * * * [misc]points: Computing exacts on every 7 of 1005 points to ramp up precision 1536946117.278 * * * * [misc]points: Setting MPFR precision to 64 1536946117.291 * * * * [misc]points: Setting MPFR precision to 320 1536946117.308 * * * * [misc]points: Computing exacts on every 3 of 1005 points to ramp up precision 1536946117.312 * * * * [misc]points: Setting MPFR precision to 64 1536946117.764 * * * * [misc]points: Setting MPFR precision to 320 1536946117.795 * * * * [misc]points: Computing exacts for 1005 points 1536946117.797 * * * * [misc]points: Setting MPFR precision to 64 1536946118.032 * * * * [misc]points: Setting MPFR precision to 320 1536946118.200 * * * * [misc]points: Filtering points with unrepresentable outputs 1536946118.201 * * * * [misc]points: Sampling 493 additional inputs, on iter 4 have 7507 / 8000 1536946118.211 * * * * [misc]points: Computing exacts on every 30 of 493 points to ramp up precision 1536946118.214 * * * * [misc]points: Setting MPFR precision to 64 1536946118.217 * * * * [misc]points: Setting MPFR precision to 320 1536946118.220 * * * * [misc]points: Computing exacts on every 15 of 493 points to ramp up precision 1536946118.223 * * * * [misc]points: Setting MPFR precision to 64 1536946118.229 * * * * [misc]points: Setting MPFR precision to 320 1536946118.236 * * * * [misc]points: Computing exacts on every 7 of 493 points to ramp up precision 1536946118.239 * * * * [misc]points: Setting MPFR precision to 64 1536946118.251 * * * * [misc]points: Setting MPFR precision to 320 1536946118.265 * * * * [misc]points: Computing exacts on every 3 of 493 points to ramp up precision 1536946118.269 * * * * [misc]points: Setting MPFR precision to 64 1536946118.293 * * * * [misc]points: Setting MPFR precision to 320 1536946118.321 * * * * [misc]points: Computing exacts for 493 points 1536946118.324 * * * * [misc]points: Setting MPFR precision to 64 1536946118.449 * * * * [misc]points: Setting MPFR precision to 320 1536946118.536 * * * * [misc]points: Filtering points with unrepresentable outputs 1536946118.537 * * * * [misc]points: Sampling 250 additional inputs, on iter 5 have 7750 / 8000 1536946118.539 * * * * [misc]points: Computing exacts on every 15 of 250 points to ramp up precision 1536946118.542 * * * * [misc]points: Setting MPFR precision to 64 1536946118.545 * * * * [misc]points: Setting MPFR precision to 320 1536946118.548 * * * * [misc]points: Computing exacts on every 7 of 250 points to ramp up precision 1536946118.551 * * * * [misc]points: Setting MPFR precision to 64 1536946118.558 * * * * [misc]points: Setting MPFR precision to 320 1536946118.564 * * * * [misc]points: Computing exacts on every 3 of 250 points to ramp up precision 1536946118.567 * * * * [misc]points: Setting MPFR precision to 64 1536946118.581 * * * * [misc]points: Setting MPFR precision to 320 1536946118.593 * * * * [misc]points: Computing exacts for 250 points 1536946118.595 * * * * [misc]points: Setting MPFR precision to 64 1536946118.622 * * * * [misc]points: Setting MPFR precision to 320 1536946118.701 * * * * [misc]points: Filtering points with unrepresentable outputs 1536946118.701 * * * * [misc]points: Sampling 121 additional inputs, on iter 6 have 7879 / 8000 1536946118.702 * * * * [misc]points: Computing exacts on every 7 of 121 points to ramp up precision 1536946118.704 * * * * [misc]points: Setting MPFR precision to 64 1536946118.705 * * * * [misc]points: Setting MPFR precision to 320 1536946118.707 * * * * [misc]points: Computing exacts on every 3 of 121 points to ramp up precision 1536946118.708 * * * * [misc]points: Setting MPFR precision to 64 1536946118.711 * * * * [misc]points: Setting MPFR precision to 320 1536946118.714 * * * * [misc]points: Computing exacts for 121 points 1536946118.716 * * * * [misc]points: Setting MPFR precision to 64 1536946118.728 * * * * [misc]points: Setting MPFR precision to 320 1536946118.743 * * * * [misc]points: Filtering points with unrepresentable outputs 1536946118.743 * * * * [misc]points: Sampling 61 additional inputs, on iter 7 have 7939 / 8000 1536946118.744 * * * * [misc]points: Computing exacts on every 3 of 61 points to ramp up precision 1536946118.747 * * * * [misc]points: Setting MPFR precision to 64 1536946118.751 * * * * [misc]points: Setting MPFR precision to 320 1536946118.754 * * * * [misc]points: Computing exacts for 61 points 1536946118.757 * * * * [misc]points: Setting MPFR precision to 64 1536946118.769 * * * * [misc]points: Setting MPFR precision to 320 1536946118.783 * * * * [misc]points: Filtering points with unrepresentable outputs 1536946118.783 * * * * [misc]points: Sampling 28 additional inputs, on iter 8 have 7972 / 8000 1536946118.784 * * * * [misc]points: Computing exacts for 28 points 1536946118.787 * * * * [misc]points: Setting MPFR precision to 64 1536946118.792 * * * * [misc]points: Setting MPFR precision to 320 1536946118.797 * * * * [misc]points: Filtering points with unrepresentable outputs 1536946118.797 * * * * [misc]points: Sampling 9 additional inputs, on iter 9 have 7991 / 8000 1536946118.797 * * * * [misc]points: Computing exacts for 9 points 1536946118.799 * * * * [misc]points: Setting MPFR precision to 64 1536946118.800 * * * * [misc]points: Setting MPFR precision to 320 1536946118.801 * * * * [misc]points: Filtering points with unrepresentable outputs 1536946118.801 * * * * [misc]points: Sampling 4 additional inputs, on iter 10 have 7996 / 8000 1536946118.802 * * * * [misc]points: Computing exacts for 4 points 1536946118.803 * * * * [misc]points: Setting MPFR precision to 64 1536946118.804 * * * * [misc]points: Setting MPFR precision to 320 1536946118.804 * * * * [misc]points: Filtering points with unrepresentable outputs 1536946118.804 * * * * [misc]points: Sampling 4 additional inputs, on iter 11 have 7996 / 8000 1536946118.804 * * * * [misc]points: Computing exacts for 4 points 1536946118.806 * * * * [misc]points: Setting MPFR precision to 64 1536946118.806 * * * * [misc]points: Setting MPFR precision to 320 1536946118.807 * * * * [misc]points: Filtering points with unrepresentable outputs 1536946118.807 * * * * [misc]points: Sampling 4 additional inputs, on iter 12 have 7997 / 8000 1536946118.807 * * * * [misc]points: Computing exacts for 4 points 1536946118.809 * * * * [misc]points: Setting MPFR precision to 64 1536946118.809 * * * * [misc]points: Setting MPFR precision to 320 1536946118.810 * * * * [misc]points: Filtering points with unrepresentable outputs 1536946118.810 * * * * [exit]points: Sampled 8000 points with exact outputs