1545122101.672 * [misc]progress: [Phase 1 of 3] Setting up. 1545122101.675 * * * [misc]progress: [1/2] Preparing points 1545122101.675 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1545122101.679 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1545122101.721 * * * * [misc]points: Setting MPFR precision to 64 1545122101.724 * * * * [misc]points: Setting MPFR precision to 320 1545122101.726 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1545122101.728 * * * * [misc]points: Setting MPFR precision to 64 1545122101.731 * * * * [misc]points: Setting MPFR precision to 320 1545122101.764 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1545122101.768 * * * * [misc]points: Setting MPFR precision to 64 1545122101.779 * * * * [misc]points: Setting MPFR precision to 320 1545122101.792 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1545122101.795 * * * * [misc]points: Setting MPFR precision to 64 1545122101.947 * * * * [misc]points: Setting MPFR precision to 320 1545122101.964 * * * * [misc]points: Computing exacts for 256 points 1545122101.967 * * * * [misc]points: Setting MPFR precision to 64 1545122102.009 * * * * [misc]points: Setting MPFR precision to 320 1545122102.043 * * * * [misc]points: Filtering points with unrepresentable outputs 1545122102.044 * * * * [misc]points: Sampling 119 additional inputs, on iter 1 have 137 / 256 1545122102.045 * * * * [misc]points: Computing exacts on every 7 of 119 points to ramp up precision 1545122102.046 * * * * [misc]points: Setting MPFR precision to 64 1545122102.049 * * * * [misc]points: Setting MPFR precision to 320 1545122102.052 * * * * [misc]points: Computing exacts on every 3 of 119 points to ramp up precision 1545122102.055 * * * * [misc]points: Setting MPFR precision to 64 1545122102.060 * * * * [misc]points: Setting MPFR precision to 320 1545122102.064 * * * * [misc]points: Computing exacts for 119 points 1545122102.065 * * * * [misc]points: Setting MPFR precision to 64 1545122102.078 * * * * [misc]points: Setting MPFR precision to 320 1545122102.092 * * * * [misc]points: Filtering points with unrepresentable outputs 1545122102.092 * * * * [misc]points: Sampling 63 additional inputs, on iter 2 have 193 / 256 1545122102.092 * * * * [misc]points: Computing exacts on every 3 of 63 points to ramp up precision 1545122102.094 * * * * [misc]points: Setting MPFR precision to 64 1545122102.095 * * * * [misc]points: Setting MPFR precision to 320 1545122102.097 * * * * [misc]points: Computing exacts for 63 points 1545122102.099 * * * * [misc]points: Setting MPFR precision to 64 1545122102.106 * * * * [misc]points: Setting MPFR precision to 320 1545122102.154 * * * * [misc]points: Filtering points with unrepresentable outputs 1545122102.154 * * * * [misc]points: Sampling 34 additional inputs, on iter 3 have 222 / 256 1545122102.155 * * * * [misc]points: Computing exacts on every 2 of 34 points to ramp up precision 1545122102.156 * * * * [misc]points: Setting MPFR precision to 64 1545122102.158 * * * * [misc]points: Setting MPFR precision to 320 1545122102.159 * * * * [misc]points: Computing exacts for 34 points 1545122102.161 * * * * [misc]points: Setting MPFR precision to 64 1545122102.168 * * * * [misc]points: Setting MPFR precision to 320 1545122102.172 * * * * [misc]points: Filtering points with unrepresentable outputs 1545122102.172 * * * * [misc]points: Sampling 17 additional inputs, on iter 4 have 239 / 256 1545122102.172 * * * * [misc]points: Computing exacts for 17 points 1545122102.174 * * * * [misc]points: Setting MPFR precision to 64 1545122102.176 * * * * [misc]points: Setting MPFR precision to 320 1545122102.178 * * * * [misc]points: Filtering points with unrepresentable outputs 1545122102.178 * * * * [misc]points: Sampling 7 additional inputs, on iter 5 have 249 / 256 1545122102.178 * * * * [misc]points: Computing exacts for 7 points 1545122102.180 * * * * [misc]points: Setting MPFR precision to 64 1545122102.181 * * * * [misc]points: Setting MPFR precision to 320 1545122102.182 * * * * [misc]points: Filtering points with unrepresentable outputs 1545122102.182 * * * * [misc]points: Sampling 4 additional inputs, on iter 6 have 253 / 256 1545122102.182 * * * * [misc]points: Computing exacts for 4 points 1545122102.183 * * * * [misc]points: Setting MPFR precision to 64 1545122102.184 * * * * [misc]points: Setting MPFR precision to 320 1545122102.185 * * * * [misc]points: Filtering points with unrepresentable outputs 1545122102.185 * * * * [exit]points: Sampled 256 points with exact outputs 1545122102.185 * * * [misc]progress: [2/2] Setting up program. 1545122102.190 * [misc]progress: [Phase 2 of 3] Improving. 1545122102.191 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1545122102.192 * * [misc]simplify: iters left: 6 (12 enodes) 1545122102.198 * * [misc]simplify: iters left: 5 (16 enodes) 1545122102.202 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1545122102.212 * * [misc]progress: iteration 1 / 4 1545122102.212 * * * [misc]progress: picking best candidate 1545122102.216 * * * * [misc]pick: Picked # 1545122102.216 * * * [misc]progress: localizing error 1545122102.289 * * * [misc]progress: generating rewritten candidates 1545122102.289 * * * * [misc]progress: [ 1 / 3 ] rewriting at (2 1 1) 1545122102.293 * * * * [misc]progress: [ 2 / 3 ] rewriting at (2 1 1 1) 1545122102.293 * * * * [misc]progress: [ 3 / 3 ] rewriting at (2 1 1 2) 1545122102.293 * * * [misc]progress: generating series expansions 1545122102.293 * * * * [misc]progress: [ 1 / 3 ] generating series at (2 1 1) 1545122102.294 * * * * [misc]progress: [ 2 / 3 ] generating series at (2 1 1 1) 1545122102.294 * * * * [misc]progress: [ 3 / 3 ] generating series at (2 1 1 2) 1545122102.294 * * * [misc]progress: simplifying candidates 1545122102.294 * * * * [misc]progress: [ 1 / 4 ] simplifiying candidate # 1545122102.294 * * * * [misc]progress: [ 2 / 4 ] simplifiying candidate # 1545122102.294 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1545122102.294 * * [misc]simplify: iters left: 6 (12 enodes) 1545122102.297 * * [misc]simplify: iters left: 5 (16 enodes) 1545122102.299 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1545122102.299 * [misc]simplify: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1545122102.300 * * * * [misc]progress: [ 3 / 4 ] simplifiying candidate # 1545122102.300 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1545122102.300 * * [misc]simplify: iters left: 6 (12 enodes) 1545122102.302 * * [misc]simplify: iters left: 5 (16 enodes) 1545122102.305 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1545122102.305 * [misc]simplify: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1545122102.305 * * * * [misc]progress: [ 4 / 4 ] simplifiying candidate # 1545122102.305 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1545122102.305 * * [misc]simplify: iters left: 6 (12 enodes) 1545122102.307 * * [misc]simplify: iters left: 5 (16 enodes) 1545122102.310 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1545122102.310 * [misc]simplify: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1545122102.310 * * * [misc]progress: adding candidates to table 1545122102.330 * [misc]progress: [Phase 3 of 3] Extracting. 1545122102.333 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1545122102.333 * * [misc]simplify: iters left: 6 (12 enodes) 1545122102.334 * * [misc]simplify: iters left: 5 (13 enodes) 1545122102.336 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1545122102.336 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1545122102.390 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1545122102.393 * * * * [misc]points: Setting MPFR precision to 64 1545122102.396 * * * * [misc]points: Setting MPFR precision to 320 1545122102.399 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1545122102.402 * * * * [misc]points: Setting MPFR precision to 64 1545122102.407 * * * * [misc]points: Setting MPFR precision to 320 1545122102.414 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1545122102.416 * * * * [misc]points: Setting MPFR precision to 64 1545122102.429 * * * * [misc]points: Setting MPFR precision to 320 1545122102.444 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1545122102.447 * * * * [misc]points: Setting MPFR precision to 64 1545122102.497 * * * * [misc]points: Setting MPFR precision to 320 1545122102.526 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1545122102.532 * * * * [misc]points: Setting MPFR precision to 64 1545122102.581 * * * * [misc]points: Setting MPFR precision to 320 1545122102.631 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1545122102.633 * * * * [misc]points: Setting MPFR precision to 64 1545122102.713 * * * * [misc]points: Setting MPFR precision to 320 1545122102.854 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1545122102.857 * * * * [misc]points: Setting MPFR precision to 64 1545122103.064 * * * * [misc]points: Setting MPFR precision to 320 1545122103.252 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1545122103.254 * * * * [misc]points: Setting MPFR precision to 64 1545122103.575 * * * * [misc]points: Setting MPFR precision to 320 1545122104.290 * * * * [misc]points: Computing exacts for 8000 points 1545122104.291 * * * * [misc]points: Setting MPFR precision to 64 1545122105.910 * * * * [misc]points: Setting MPFR precision to 320 1545122108.075 * * * * [misc]points: Filtering points with unrepresentable outputs 1545122108.077 * * * * [misc]points: Sampling 3959 additional inputs, on iter 1 have 4041 / 8000 1545122108.097 * * * * [misc]points: Computing exacts on every 247 of 3959 points to ramp up precision 1545122108.098 * * * * [misc]points: Setting MPFR precision to 64 1545122108.100 * * * * [misc]points: Setting MPFR precision to 320 1545122108.102 * * * * [misc]points: Computing exacts on every 123 of 3959 points to ramp up precision 1545122108.103 * * * * [misc]points: Setting MPFR precision to 64 1545122108.109 * * * * [misc]points: Setting MPFR precision to 320 1545122108.116 * * * * [misc]points: Computing exacts on every 61 of 3959 points to ramp up precision 1545122108.119 * * * * [misc]points: Setting MPFR precision to 64 1545122108.128 * * * * [misc]points: Setting MPFR precision to 320 1545122108.135 * * * * [misc]points: Computing exacts on every 30 of 3959 points to ramp up precision 1545122108.137 * * * * [misc]points: Setting MPFR precision to 64 1545122108.150 * * * * [misc]points: Setting MPFR precision to 320 1545122108.173 * * * * [misc]points: Computing exacts on every 15 of 3959 points to ramp up precision 1545122108.176 * * * * [misc]points: Setting MPFR precision to 64 1545122108.240 * * * * [misc]points: Setting MPFR precision to 320 1545122108.282 * * * * [misc]points: Computing exacts on every 7 of 3959 points to ramp up precision 1545122108.284 * * * * [misc]points: Setting MPFR precision to 64 1545122108.352 * * * * [misc]points: Setting MPFR precision to 320 1545122108.476 * * * * [misc]points: Computing exacts on every 3 of 3959 points to ramp up precision 1545122108.478 * * * * [misc]points: Setting MPFR precision to 64 1545122108.643 * * * * [misc]points: Setting MPFR precision to 320 1545122108.810 * * * * [misc]points: Computing exacts for 3959 points 1545122108.813 * * * * [misc]points: Setting MPFR precision to 64 1545122110.053 * * * * [misc]points: Setting MPFR precision to 320 1545122110.798 * * * * [misc]points: Filtering points with unrepresentable outputs 1545122110.799 * * * * [misc]points: Sampling 1919 additional inputs, on iter 2 have 6081 / 8000 1545122110.807 * * * * [misc]points: Computing exacts on every 119 of 1919 points to ramp up precision 1545122110.853 * * * * [misc]points: Setting MPFR precision to 64 1545122110.856 * * * * [misc]points: Setting MPFR precision to 320 1545122110.859 * * * * [misc]points: Computing exacts on every 59 of 1919 points to ramp up precision 1545122110.861 * * * * [misc]points: Setting MPFR precision to 64 1545122110.871 * * * * [misc]points: Setting MPFR precision to 320 1545122110.879 * * * * [misc]points: Computing exacts on every 29 of 1919 points to ramp up precision 1545122110.882 * * * * [misc]points: Setting MPFR precision to 64 1545122110.893 * * * * [misc]points: Setting MPFR precision to 320 1545122110.904 * * * * [misc]points: Computing exacts on every 14 of 1919 points to ramp up precision 1545122110.907 * * * * [misc]points: Setting MPFR precision to 64 1545122110.928 * * * * [misc]points: Setting MPFR precision to 320 1545122110.950 * * * * [misc]points: Computing exacts on every 7 of 1919 points to ramp up precision 1545122110.952 * * * * [misc]points: Setting MPFR precision to 64 1545122110.996 * * * * [misc]points: Setting MPFR precision to 320 1545122111.046 * * * * [misc]points: Computing exacts on every 3 of 1919 points to ramp up precision 1545122111.048 * * * * [misc]points: Setting MPFR precision to 64 1545122111.198 * * * * [misc]points: Setting MPFR precision to 320 1545122111.264 * * * * [misc]points: Computing exacts for 1919 points 1545122111.268 * * * * [misc]points: Setting MPFR precision to 64 1545122111.674 * * * * [misc]points: Setting MPFR precision to 320 1545122112.347 * * * * [misc]points: Filtering points with unrepresentable outputs 1545122112.348 * * * * [misc]points: Sampling 957 additional inputs, on iter 3 have 7043 / 8000 1545122112.417 * * * * [misc]points: Computing exacts on every 59 of 957 points to ramp up precision 1545122112.420 * * * * [misc]points: Setting MPFR precision to 64 1545122112.429 * * * * [misc]points: Setting MPFR precision to 320 1545122112.432 * * * * [misc]points: Computing exacts on every 29 of 957 points to ramp up precision 1545122112.434 * * * * [misc]points: Setting MPFR precision to 64 1545122112.440 * * * * [misc]points: Setting MPFR precision to 320 1545122112.445 * * * * [misc]points: Computing exacts on every 14 of 957 points to ramp up precision 1545122112.448 * * * * [misc]points: Setting MPFR precision to 64 1545122112.457 * * * * [misc]points: Setting MPFR precision to 320 1545122112.468 * * * * [misc]points: Computing exacts on every 7 of 957 points to ramp up precision 1545122112.470 * * * * [misc]points: Setting MPFR precision to 64 1545122112.482 * * * * [misc]points: Setting MPFR precision to 320 1545122112.494 * * * * [misc]points: Computing exacts on every 3 of 957 points to ramp up precision 1545122112.496 * * * * [misc]points: Setting MPFR precision to 64 1545122112.523 * * * * [misc]points: Setting MPFR precision to 320 1545122112.555 * * * * [misc]points: Computing exacts for 957 points 1545122112.558 * * * * [misc]points: Setting MPFR precision to 64 1545122112.753 * * * * [misc]points: Setting MPFR precision to 320 1545122112.986 * * * * [misc]points: Filtering points with unrepresentable outputs 1545122112.987 * * * * [misc]points: Sampling 488 additional inputs, on iter 4 have 7512 / 8000 1545122112.991 * * * * [misc]points: Computing exacts on every 30 of 488 points to ramp up precision 1545122112.993 * * * * [misc]points: Setting MPFR precision to 64 1545122112.997 * * * * [misc]points: Setting MPFR precision to 320 1545122113.000 * * * * [misc]points: Computing exacts on every 15 of 488 points to ramp up precision 1545122113.002 * * * * [misc]points: Setting MPFR precision to 64 1545122113.008 * * * * [misc]points: Setting MPFR precision to 320 1545122113.011 * * * * [misc]points: Computing exacts on every 7 of 488 points to ramp up precision 1545122113.013 * * * * [misc]points: Setting MPFR precision to 64 1545122113.018 * * * * [misc]points: Setting MPFR precision to 320 1545122113.025 * * * * [misc]points: Computing exacts on every 3 of 488 points to ramp up precision 1545122113.027 * * * * [misc]points: Setting MPFR precision to 64 1545122113.103 * * * * [misc]points: Setting MPFR precision to 320 1545122113.131 * * * * [misc]points: Computing exacts for 488 points 1545122113.133 * * * * [misc]points: Setting MPFR precision to 64 1545122113.194 * * * * [misc]points: Setting MPFR precision to 320 1545122113.265 * * * * [misc]points: Filtering points with unrepresentable outputs 1545122113.265 * * * * [misc]points: Sampling 245 additional inputs, on iter 5 have 7755 / 8000 1545122113.266 * * * * [misc]points: Computing exacts on every 15 of 245 points to ramp up precision 1545122113.267 * * * * [misc]points: Setting MPFR precision to 64 1545122113.308 * * * * [misc]points: Setting MPFR precision to 320 1545122113.310 * * * * [misc]points: Computing exacts on every 7 of 245 points to ramp up precision 1545122113.311 * * * * [misc]points: Setting MPFR precision to 64 1545122113.314 * * * * [misc]points: Setting MPFR precision to 320 1545122113.321 * * * * [misc]points: Computing exacts on every 3 of 245 points to ramp up precision 1545122113.322 * * * * [misc]points: Setting MPFR precision to 64 1545122113.329 * * * * [misc]points: Setting MPFR precision to 320 1545122113.339 * * * * [misc]points: Computing exacts for 245 points 1545122113.342 * * * * [misc]points: Setting MPFR precision to 64 1545122113.388 * * * * [misc]points: Setting MPFR precision to 320 1545122113.441 * * * * [misc]points: Filtering points with unrepresentable outputs 1545122113.441 * * * * [misc]points: Sampling 109 additional inputs, on iter 6 have 7891 / 8000 1545122113.442 * * * * [misc]points: Computing exacts on every 6 of 109 points to ramp up precision 1545122113.445 * * * * [misc]points: Setting MPFR precision to 64 1545122113.448 * * * * [misc]points: Setting MPFR precision to 320 1545122113.449 * * * * [misc]points: Computing exacts on every 3 of 109 points to ramp up precision 1545122113.451 * * * * [misc]points: Setting MPFR precision to 64 1545122113.454 * * * * [misc]points: Setting MPFR precision to 320 1545122113.457 * * * * [misc]points: Computing exacts for 109 points 1545122113.459 * * * * [misc]points: Setting MPFR precision to 64 1545122113.470 * * * * [misc]points: Setting MPFR precision to 320 1545122113.481 * * * * [misc]points: Filtering points with unrepresentable outputs 1545122113.481 * * * * [misc]points: Sampling 62 additional inputs, on iter 7 have 7938 / 8000 1545122113.481 * * * * [misc]points: Computing exacts on every 3 of 62 points to ramp up precision 1545122113.483 * * * * [misc]points: Setting MPFR precision to 64 1545122113.485 * * * * [misc]points: Setting MPFR precision to 320 1545122113.520 * * * * [misc]points: Computing exacts for 62 points 1545122113.521 * * * * [misc]points: Setting MPFR precision to 64 1545122113.528 * * * * [misc]points: Setting MPFR precision to 320 1545122113.544 * * * * [misc]points: Filtering points with unrepresentable outputs 1545122113.544 * * * * [misc]points: Sampling 29 additional inputs, on iter 8 have 7971 / 8000 1545122113.544 * * * * [misc]points: Computing exacts for 29 points 1545122113.546 * * * * [misc]points: Setting MPFR precision to 64 1545122113.551 * * * * [misc]points: Setting MPFR precision to 320 1545122113.557 * * * * [misc]points: Filtering points with unrepresentable outputs 1545122113.557 * * * * [misc]points: Sampling 15 additional inputs, on iter 9 have 7985 / 8000 1545122113.557 * * * * [misc]points: Computing exacts for 15 points 1545122113.560 * * * * [misc]points: Setting MPFR precision to 64 1545122113.562 * * * * [misc]points: Setting MPFR precision to 320 1545122113.565 * * * * [misc]points: Filtering points with unrepresentable outputs 1545122113.565 * * * * [misc]points: Sampling 7 additional inputs, on iter 10 have 7993 / 8000 1545122113.565 * * * * [misc]points: Computing exacts for 7 points 1545122113.567 * * * * [misc]points: Setting MPFR precision to 64 1545122113.569 * * * * [misc]points: Setting MPFR precision to 320 1545122113.570 * * * * [misc]points: Filtering points with unrepresentable outputs 1545122113.570 * * * * [misc]points: Sampling 4 additional inputs, on iter 11 have 7998 / 8000 1545122113.570 * * * * [misc]points: Computing exacts for 4 points 1545122113.572 * * * * [misc]points: Setting MPFR precision to 64 1545122113.573 * * * * [misc]points: Setting MPFR precision to 320 1545122113.574 * * * * [misc]points: Filtering points with unrepresentable outputs 1545122113.574 * * * * [exit]points: Sampled 8001 points with exact outputs 1545122113.849 * [misc]regime-testing: Baseline error score: 0.012073120312590144 1545122113.849 * [misc]regime-testing: End program error score: 0.012073120312590144 1545122113.850 * [misc]regime-testing: Oracle error score: 0.012073120312590144