1544609028.875 * [misc]progress: [Phase 1 of 3] Setting up. 1544609028.876 * * * [misc]progress: [1/2] Preparing points 1544609028.877 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1544609028.879 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1544609028.944 * * * * [misc]points: Setting MPFR precision to 64 1544609028.948 * * * * [misc]points: Setting MPFR precision to 320 1544609028.951 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1544609028.953 * * * * [misc]points: Setting MPFR precision to 64 1544609028.956 * * * * [misc]points: Setting MPFR precision to 320 1544609028.960 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1544609028.961 * * * * [misc]points: Setting MPFR precision to 64 1544609028.967 * * * * [misc]points: Setting MPFR precision to 320 1544609028.973 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1544609028.975 * * * * [misc]points: Setting MPFR precision to 64 1544609028.984 * * * * [misc]points: Setting MPFR precision to 320 1544609028.995 * * * * [misc]points: Computing exacts for 256 points 1544609028.997 * * * * [misc]points: Setting MPFR precision to 64 1544609029.027 * * * * [misc]points: Setting MPFR precision to 320 1544609029.239 * * * * [misc]points: Filtering points with unrepresentable outputs 1544609029.239 * * * * [misc]points: Sampling 112 additional inputs, on iter 1 have 144 / 256 1544609029.240 * * * * [misc]points: Computing exacts on every 7 of 112 points to ramp up precision 1544609029.242 * * * * [misc]points: Setting MPFR precision to 64 1544609029.244 * * * * [misc]points: Setting MPFR precision to 320 1544609029.246 * * * * [misc]points: Computing exacts on every 3 of 112 points to ramp up precision 1544609029.248 * * * * [misc]points: Setting MPFR precision to 64 1544609029.253 * * * * [misc]points: Setting MPFR precision to 320 1544609029.257 * * * * [misc]points: Computing exacts for 112 points 1544609029.259 * * * * [misc]points: Setting MPFR precision to 64 1544609029.272 * * * * [misc]points: Setting MPFR precision to 320 1544609029.286 * * * * [misc]points: Filtering points with unrepresentable outputs 1544609029.287 * * * * [misc]points: Sampling 48 additional inputs, on iter 2 have 208 / 256 1544609029.287 * * * * [misc]points: Computing exacts on every 3 of 48 points to ramp up precision 1544609029.289 * * * * [misc]points: Setting MPFR precision to 64 1544609029.290 * * * * [misc]points: Setting MPFR precision to 320 1544609029.292 * * * * [misc]points: Computing exacts for 48 points 1544609029.294 * * * * [misc]points: Setting MPFR precision to 64 1544609029.299 * * * * [misc]points: Setting MPFR precision to 320 1544609029.304 * * * * [misc]points: Filtering points with unrepresentable outputs 1544609029.305 * * * * [misc]points: Sampling 22 additional inputs, on iter 3 have 234 / 256 1544609029.305 * * * * [misc]points: Computing exacts for 22 points 1544609029.307 * * * * [misc]points: Setting MPFR precision to 64 1544609029.309 * * * * [misc]points: Setting MPFR precision to 320 1544609029.312 * * * * [misc]points: Filtering points with unrepresentable outputs 1544609029.312 * * * * [misc]points: Sampling 7 additional inputs, on iter 4 have 249 / 256 1544609029.312 * * * * [misc]points: Computing exacts for 7 points 1544609029.314 * * * * [misc]points: Setting MPFR precision to 64 1544609029.315 * * * * [misc]points: Setting MPFR precision to 320 1544609029.316 * * * * [misc]points: Filtering points with unrepresentable outputs 1544609029.316 * * * * [misc]points: Sampling 4 additional inputs, on iter 5 have 252 / 256 1544609029.316 * * * * [misc]points: Computing exacts for 4 points 1544609029.318 * * * * [misc]points: Setting MPFR precision to 64 1544609029.318 * * * * [misc]points: Setting MPFR precision to 320 1544609029.319 * * * * [misc]points: Filtering points with unrepresentable outputs 1544609029.319 * * * * [misc]points: Sampling 4 additional inputs, on iter 6 have 253 / 256 1544609029.319 * * * * [misc]points: Computing exacts for 4 points 1544609029.322 * * * * [misc]points: Setting MPFR precision to 64 1544609029.323 * * * * [misc]points: Setting MPFR precision to 320 1544609029.324 * * * * [misc]points: Filtering points with unrepresentable outputs 1544609029.324 * * * * [misc]points: Sampling 4 additional inputs, on iter 7 have 254 / 256 1544609029.325 * * * * [misc]points: Computing exacts for 4 points 1544609029.328 * * * * [misc]points: Setting MPFR precision to 64 1544609029.329 * * * * [misc]points: Setting MPFR precision to 320 1544609029.330 * * * * [misc]points: Filtering points with unrepresentable outputs 1544609029.330 * * * * [misc]points: Sampling 4 additional inputs, on iter 8 have 255 / 256 1544609029.330 * * * * [misc]points: Computing exacts for 4 points 1544609029.333 * * * * [misc]points: Setting MPFR precision to 64 1544609029.334 * * * * [misc]points: Setting MPFR precision to 320 1544609029.335 * * * * [misc]points: Filtering points with unrepresentable outputs 1544609029.335 * * * * [exit]points: Sampled 258 points with exact outputs 1544609029.335 * * * [misc]progress: [2/2] Setting up program. 1544609029.343 * [misc]progress: [Phase 2 of 3] Improving. 1544609029.344 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1544609029.347 * * [misc]simplify: iters left: 6 (12 enodes) 1544609029.354 * * [misc]simplify: iters left: 5 (16 enodes) 1544609029.391 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544609029.422 * * [misc]progress: iteration 1 / 4 1544609029.423 * * * [misc]progress: picking best candidate 1544609029.435 * * * * [misc]pick: Picked # 1544609029.435 * * * [misc]progress: localizing error 1544609029.556 * * * [misc]progress: generating rewritten candidates 1544609029.556 * * * * [misc]progress: [ 1 / 3 ] rewriting at (2 1 1) 1544609029.571 * * * * [misc]progress: [ 2 / 3 ] rewriting at (2 1 1 1) 1544609029.572 * * * * [misc]progress: [ 3 / 3 ] rewriting at (2 1 1 2) 1544609029.573 * * * [misc]progress: generating series expansions 1544609029.573 * * * * [misc]progress: [ 1 / 3 ] generating series at (2 1 1) 1544609029.573 * * * * [misc]progress: [ 2 / 3 ] generating series at (2 1 1 1) 1544609029.573 * * * * [misc]progress: [ 3 / 3 ] generating series at (2 1 1 2) 1544609029.573 * * * [misc]progress: simplifying candidates 1544609029.573 * * * * [misc]progress: [ 1 / 4 ] simplifiying candidate # 1544609029.574 * * * * [misc]progress: [ 2 / 4 ] simplifiying candidate # 1544609029.574 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544609029.575 * * [misc]simplify: iters left: 6 (14 enodes) 1544609029.578 * * [misc]simplify: iters left: 5 (16 enodes) 1544609029.583 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544609029.584 * [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)))) 1544609029.584 * * * * [misc]progress: [ 3 / 4 ] simplifiying candidate # 1544609029.584 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544609029.586 * * [misc]simplify: iters left: 6 (14 enodes) 1544609029.591 * * [misc]simplify: iters left: 5 (16 enodes) 1544609029.598 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544609029.598 * [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)))) 1544609029.598 * * * * [misc]progress: [ 4 / 4 ] simplifiying candidate # 1544609029.598 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544609029.600 * * [misc]simplify: iters left: 6 (14 enodes) 1544609029.605 * * [misc]simplify: iters left: 5 (16 enodes) 1544609029.613 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544609029.613 * [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)))) 1544609029.613 * * * [misc]progress: adding candidates to table 1544609029.711 * [misc]progress: [Phase 3 of 3] Extracting. 1544609029.723 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544609029.725 * * [misc]simplify: iters left: 6 (14 enodes) 1544609029.728 * * [misc]simplify: iters left: 5 (15 enodes) 1544609029.732 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544609029.732 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1544609029.806 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1544609029.810 * * * * [misc]points: Setting MPFR precision to 64 1544609029.812 * * * * [misc]points: Setting MPFR precision to 320 1544609029.814 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1544609029.816 * * * * [misc]points: Setting MPFR precision to 64 1544609029.820 * * * * [misc]points: Setting MPFR precision to 320 1544609029.824 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1544609029.826 * * * * [misc]points: Setting MPFR precision to 64 1544609029.833 * * * * [misc]points: Setting MPFR precision to 320 1544609029.840 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1544609029.842 * * * * [misc]points: Setting MPFR precision to 64 1544609029.856 * * * * [misc]points: Setting MPFR precision to 320 1544609029.884 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1544609029.887 * * * * [misc]points: Setting MPFR precision to 64 1544609029.940 * * * * [misc]points: Setting MPFR precision to 320 1544609030.051 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1544609030.054 * * * * [misc]points: Setting MPFR precision to 64 1544609030.119 * * * * [misc]points: Setting MPFR precision to 320 1544609030.195 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1544609030.198 * * * * [misc]points: Setting MPFR precision to 64 1544609030.826 * * * * [misc]points: Setting MPFR precision to 320 1544609031.093 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1544609031.097 * * * * [misc]points: Setting MPFR precision to 64 1544609031.516 * * * * [misc]points: Setting MPFR precision to 320 1544609032.008 * * * * [misc]points: Computing exacts for 8000 points 1544609032.012 * * * * [misc]points: Setting MPFR precision to 64 1544609034.263 * * * * [misc]points: Setting MPFR precision to 320 1544609036.601 * * * * [misc]points: Filtering points with unrepresentable outputs 1544609036.602 * * * * [misc]points: Sampling 4056 additional inputs, on iter 1 have 3944 / 8000 1544609036.619 * * * * [misc]points: Computing exacts on every 253 of 4056 points to ramp up precision 1544609036.621 * * * * [misc]points: Setting MPFR precision to 64 1544609036.623 * * * * [misc]points: Setting MPFR precision to 320 1544609036.626 * * * * [misc]points: Computing exacts on every 126 of 4056 points to ramp up precision 1544609036.629 * * * * [misc]points: Setting MPFR precision to 64 1544609036.636 * * * * [misc]points: Setting MPFR precision to 320 1544609036.643 * * * * [misc]points: Computing exacts on every 63 of 4056 points to ramp up precision 1544609036.646 * * * * [misc]points: Setting MPFR precision to 64 1544609036.691 * * * * [misc]points: Setting MPFR precision to 320 1544609036.701 * * * * [misc]points: Computing exacts on every 31 of 4056 points to ramp up precision 1544609036.703 * * * * [misc]points: Setting MPFR precision to 64 1544609036.716 * * * * [misc]points: Setting MPFR precision to 320 1544609036.732 * * * * [misc]points: Computing exacts on every 15 of 4056 points to ramp up precision 1544609036.734 * * * * [misc]points: Setting MPFR precision to 64 1544609036.764 * * * * [misc]points: Setting MPFR precision to 320 1544609036.814 * * * * [misc]points: Computing exacts on every 7 of 4056 points to ramp up precision 1544609036.816 * * * * [misc]points: Setting MPFR precision to 64 1544609036.918 * * * * [misc]points: Setting MPFR precision to 320 1544609036.990 * * * * [misc]points: Computing exacts on every 3 of 4056 points to ramp up precision 1544609036.992 * * * * [misc]points: Setting MPFR precision to 64 1544609037.217 * * * * [misc]points: Setting MPFR precision to 320 1544609037.489 * * * * [misc]points: Computing exacts for 4056 points 1544609037.492 * * * * [misc]points: Setting MPFR precision to 64 1544609038.434 * * * * [misc]points: Setting MPFR precision to 320 1544609039.728 * * * * [misc]points: Filtering points with unrepresentable outputs 1544609039.730 * * * * [misc]points: Sampling 1959 additional inputs, on iter 2 have 6041 / 8000 1544609039.795 * * * * [misc]points: Computing exacts on every 122 of 1959 points to ramp up precision 1544609039.798 * * * * [misc]points: Setting MPFR precision to 64 1544609039.801 * * * * [misc]points: Setting MPFR precision to 320 1544609039.807 * * * * [misc]points: Computing exacts on every 61 of 1959 points to ramp up precision 1544609039.808 * * * * [misc]points: Setting MPFR precision to 64 1544609039.812 * * * * [misc]points: Setting MPFR precision to 320 1544609039.815 * * * * [misc]points: Computing exacts on every 30 of 1959 points to ramp up precision 1544609039.817 * * * * [misc]points: Setting MPFR precision to 64 1544609039.824 * * * * [misc]points: Setting MPFR precision to 320 1544609039.833 * * * * [misc]points: Computing exacts on every 15 of 1959 points to ramp up precision 1544609039.836 * * * * [misc]points: Setting MPFR precision to 64 1544609039.861 * * * * [misc]points: Setting MPFR precision to 320 1544609039.876 * * * * [misc]points: Computing exacts on every 7 of 1959 points to ramp up precision 1544609039.878 * * * * [misc]points: Setting MPFR precision to 64 1544609039.913 * * * * [misc]points: Setting MPFR precision to 320 1544609039.985 * * * * [misc]points: Computing exacts on every 3 of 1959 points to ramp up precision 1544609039.993 * * * * [misc]points: Setting MPFR precision to 64 1544609040.099 * * * * [misc]points: Setting MPFR precision to 320 1544609040.184 * * * * [misc]points: Computing exacts for 1959 points 1544609040.187 * * * * [misc]points: Setting MPFR precision to 64 1544609040.630 * * * * [misc]points: Setting MPFR precision to 320 1544609041.111 * * * * [misc]points: Filtering points with unrepresentable outputs 1544609041.112 * * * * [misc]points: Sampling 997 additional inputs, on iter 3 have 7003 / 8000 1544609041.121 * * * * [misc]points: Computing exacts on every 62 of 997 points to ramp up precision 1544609041.124 * * * * [misc]points: Setting MPFR precision to 64 1544609041.128 * * * * [misc]points: Setting MPFR precision to 320 1544609041.132 * * * * [misc]points: Computing exacts on every 31 of 997 points to ramp up precision 1544609041.136 * * * * [misc]points: Setting MPFR precision to 64 1544609041.143 * * * * [misc]points: Setting MPFR precision to 320 1544609041.150 * * * * [misc]points: Computing exacts on every 15 of 997 points to ramp up precision 1544609041.152 * * * * [misc]points: Setting MPFR precision to 64 1544609041.159 * * * * [misc]points: Setting MPFR precision to 320 1544609041.167 * * * * [misc]points: Computing exacts on every 7 of 997 points to ramp up precision 1544609041.169 * * * * [misc]points: Setting MPFR precision to 64 1544609041.183 * * * * [misc]points: Setting MPFR precision to 320 1544609041.231 * * * * [misc]points: Computing exacts on every 3 of 997 points to ramp up precision 1544609041.233 * * * * [misc]points: Setting MPFR precision to 64 1544609041.264 * * * * [misc]points: Setting MPFR precision to 320 1544609041.305 * * * * [misc]points: Computing exacts for 997 points 1544609041.307 * * * * [misc]points: Setting MPFR precision to 64 1544609041.516 * * * * [misc]points: Setting MPFR precision to 320 1544609041.795 * * * * [misc]points: Filtering points with unrepresentable outputs 1544609041.796 * * * * [misc]points: Sampling 510 additional inputs, on iter 4 have 7490 / 8000 1544609041.801 * * * * [misc]points: Computing exacts on every 31 of 510 points to ramp up precision 1544609041.804 * * * * [misc]points: Setting MPFR precision to 64 1544609041.807 * * * * [misc]points: Setting MPFR precision to 320 1544609041.810 * * * * [misc]points: Computing exacts on every 15 of 510 points to ramp up precision 1544609041.813 * * * * [misc]points: Setting MPFR precision to 64 1544609041.819 * * * * [misc]points: Setting MPFR precision to 320 1544609041.826 * * * * [misc]points: Computing exacts on every 7 of 510 points to ramp up precision 1544609041.829 * * * * [misc]points: Setting MPFR precision to 64 1544609041.839 * * * * [misc]points: Setting MPFR precision to 320 1544609041.847 * * * * [misc]points: Computing exacts on every 3 of 510 points to ramp up precision 1544609041.848 * * * * [misc]points: Setting MPFR precision to 64 1544609041.869 * * * * [misc]points: Setting MPFR precision to 320 1544609041.898 * * * * [misc]points: Computing exacts for 510 points 1544609041.901 * * * * [misc]points: Setting MPFR precision to 64 1544609042.436 * * * * [misc]points: Setting MPFR precision to 320 1544609042.548 * * * * [misc]points: Filtering points with unrepresentable outputs 1544609042.548 * * * * [misc]points: Sampling 250 additional inputs, on iter 5 have 7750 / 8000 1544609042.551 * * * * [misc]points: Computing exacts on every 15 of 250 points to ramp up precision 1544609042.554 * * * * [misc]points: Setting MPFR precision to 64 1544609042.557 * * * * [misc]points: Setting MPFR precision to 320 1544609042.561 * * * * [misc]points: Computing exacts on every 7 of 250 points to ramp up precision 1544609042.564 * * * * [misc]points: Setting MPFR precision to 64 1544609042.571 * * * * [misc]points: Setting MPFR precision to 320 1544609042.578 * * * * [misc]points: Computing exacts on every 3 of 250 points to ramp up precision 1544609042.581 * * * * [misc]points: Setting MPFR precision to 64 1544609042.594 * * * * [misc]points: Setting MPFR precision to 320 1544609042.667 * * * * [misc]points: Computing exacts for 250 points 1544609042.670 * * * * [misc]points: Setting MPFR precision to 64 1544609042.704 * * * * [misc]points: Setting MPFR precision to 320 1544609042.734 * * * * [misc]points: Filtering points with unrepresentable outputs 1544609042.734 * * * * [misc]points: Sampling 113 additional inputs, on iter 6 have 7887 / 8000 1544609042.735 * * * * [misc]points: Computing exacts on every 7 of 113 points to ramp up precision 1544609042.737 * * * * [misc]points: Setting MPFR precision to 64 1544609042.740 * * * * [misc]points: Setting MPFR precision to 320 1544609042.744 * * * * [misc]points: Computing exacts on every 3 of 113 points to ramp up precision 1544609042.746 * * * * [misc]points: Setting MPFR precision to 64 1544609042.752 * * * * [misc]points: Setting MPFR precision to 320 1544609042.759 * * * * [misc]points: Computing exacts for 113 points 1544609042.762 * * * * [misc]points: Setting MPFR precision to 64 1544609042.777 * * * * [misc]points: Setting MPFR precision to 320 1544609042.790 * * * * [misc]points: Filtering points with unrepresentable outputs 1544609042.790 * * * * [misc]points: Sampling 55 additional inputs, on iter 7 have 7945 / 8000 1544609042.791 * * * * [misc]points: Computing exacts on every 3 of 55 points to ramp up precision 1544609042.793 * * * * [misc]points: Setting MPFR precision to 64 1544609042.794 * * * * [misc]points: Setting MPFR precision to 320 1544609042.796 * * * * [misc]points: Computing exacts for 55 points 1544609042.797 * * * * [misc]points: Setting MPFR precision to 64 1544609042.804 * * * * [misc]points: Setting MPFR precision to 320 1544609042.850 * * * * [misc]points: Filtering points with unrepresentable outputs 1544609042.850 * * * * [misc]points: Sampling 18 additional inputs, on iter 8 have 7982 / 8000 1544609042.851 * * * * [misc]points: Computing exacts for 18 points 1544609042.852 * * * * [misc]points: Setting MPFR precision to 64 1544609042.854 * * * * [misc]points: Setting MPFR precision to 320 1544609042.857 * * * * [misc]points: Filtering points with unrepresentable outputs 1544609042.857 * * * * [misc]points: Sampling 12 additional inputs, on iter 9 have 7988 / 8000 1544609042.857 * * * * [misc]points: Computing exacts for 12 points 1544609042.859 * * * * [misc]points: Setting MPFR precision to 64 1544609042.863 * * * * [misc]points: Setting MPFR precision to 320 1544609042.864 * * * * [misc]points: Filtering points with unrepresentable outputs 1544609042.864 * * * * [misc]points: Sampling 8 additional inputs, on iter 10 have 7992 / 8000 1544609042.864 * * * * [misc]points: Computing exacts for 8 points 1544609042.866 * * * * [misc]points: Setting MPFR precision to 64 1544609042.867 * * * * [misc]points: Setting MPFR precision to 320 1544609042.868 * * * * [misc]points: Filtering points with unrepresentable outputs 1544609042.868 * * * * [misc]points: Sampling 4 additional inputs, on iter 11 have 7997 / 8000 1544609042.868 * * * * [misc]points: Computing exacts for 4 points 1544609042.870 * * * * [misc]points: Setting MPFR precision to 64 1544609042.871 * * * * [misc]points: Setting MPFR precision to 320 1544609042.871 * * * * [misc]points: Filtering points with unrepresentable outputs 1544609042.871 * * * * [misc]points: Sampling 4 additional inputs, on iter 12 have 7999 / 8000 1544609042.871 * * * * [misc]points: Computing exacts for 4 points 1544609042.874 * * * * [misc]points: Setting MPFR precision to 64 1544609042.874 * * * * [misc]points: Setting MPFR precision to 320 1544609042.875 * * * * [misc]points: Filtering points with unrepresentable outputs 1544609042.875 * * * * [exit]points: Sampled 8000 points with exact outputs