1538638640.560 * [misc]progress: [Phase 1 of 3] Setting up. 1538638640.561 * * * [misc]progress: [1/2] Preparing points 1538638640.562 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1538638640.564 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1538638640.728 * * * * [misc]points: Setting MPFR precision to 64 1538638640.734 * * * * [misc]points: Setting MPFR precision to 320 1538638640.740 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1538638640.743 * * * * [misc]points: Setting MPFR precision to 64 1538638640.750 * * * * [misc]points: Setting MPFR precision to 320 1538638640.790 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1538638640.795 * * * * [misc]points: Setting MPFR precision to 64 1538638640.808 * * * * [misc]points: Setting MPFR precision to 320 1538638640.821 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1538638640.825 * * * * [misc]points: Setting MPFR precision to 64 1538638640.844 * * * * [misc]points: Setting MPFR precision to 320 1538638640.855 * * * * [misc]points: Computing exacts for 256 points 1538638640.857 * * * * [misc]points: Setting MPFR precision to 64 1538638640.889 * * * * [misc]points: Setting MPFR precision to 320 1538638641.006 * * * * [misc]points: Filtering points with unrepresentable outputs 1538638641.007 * * * * [misc]points: Sampling 136 additional inputs, on iter 1 have 120 / 256 1538638641.008 * * * * [misc]points: Computing exacts on every 8 of 136 points to ramp up precision 1538638641.012 * * * * [misc]points: Setting MPFR precision to 64 1538638641.020 * * * * [misc]points: Setting MPFR precision to 320 1538638641.024 * * * * [misc]points: Computing exacts on every 4 of 136 points to ramp up precision 1538638641.027 * * * * [misc]points: Setting MPFR precision to 64 1538638641.033 * * * * [misc]points: Setting MPFR precision to 320 1538638641.039 * * * * [misc]points: Computing exacts on every 2 of 136 points to ramp up precision 1538638641.042 * * * * [misc]points: Setting MPFR precision to 64 1538638641.052 * * * * [misc]points: Setting MPFR precision to 320 1538638641.062 * * * * [misc]points: Computing exacts for 136 points 1538638641.066 * * * * [misc]points: Setting MPFR precision to 64 1538638641.091 * * * * [misc]points: Setting MPFR precision to 320 1538638641.121 * * * * [misc]points: Filtering points with unrepresentable outputs 1538638641.121 * * * * [misc]points: Sampling 68 additional inputs, on iter 2 have 188 / 256 1538638641.122 * * * * [misc]points: Computing exacts on every 4 of 68 points to ramp up precision 1538638641.125 * * * * [misc]points: Setting MPFR precision to 64 1538638641.128 * * * * [misc]points: Setting MPFR precision to 320 1538638641.130 * * * * [misc]points: Computing exacts on every 2 of 68 points to ramp up precision 1538638641.133 * * * * [misc]points: Setting MPFR precision to 64 1538638641.137 * * * * [misc]points: Setting MPFR precision to 320 1538638641.142 * * * * [misc]points: Computing exacts for 68 points 1538638641.144 * * * * [misc]points: Setting MPFR precision to 64 1538638641.151 * * * * [misc]points: Setting MPFR precision to 320 1538638641.159 * * * * [misc]points: Filtering points with unrepresentable outputs 1538638641.159 * * * * [misc]points: Sampling 31 additional inputs, on iter 3 have 225 / 256 1538638641.160 * * * * [misc]points: Computing exacts for 31 points 1538638641.161 * * * * [misc]points: Setting MPFR precision to 64 1538638641.165 * * * * [misc]points: Setting MPFR precision to 320 1538638641.168 * * * * [misc]points: Filtering points with unrepresentable outputs 1538638641.168 * * * * [misc]points: Sampling 17 additional inputs, on iter 4 have 239 / 256 1538638641.169 * * * * [misc]points: Computing exacts for 17 points 1538638641.170 * * * * [misc]points: Setting MPFR precision to 64 1538638641.172 * * * * [misc]points: Setting MPFR precision to 320 1538638641.174 * * * * [misc]points: Filtering points with unrepresentable outputs 1538638641.174 * * * * [misc]points: Sampling 8 additional inputs, on iter 5 have 248 / 256 1538638641.174 * * * * [misc]points: Computing exacts for 8 points 1538638641.176 * * * * [misc]points: Setting MPFR precision to 64 1538638641.177 * * * * [misc]points: Setting MPFR precision to 320 1538638641.178 * * * * [misc]points: Filtering points with unrepresentable outputs 1538638641.178 * * * * [misc]points: Sampling 4 additional inputs, on iter 6 have 253 / 256 1538638641.178 * * * * [misc]points: Computing exacts for 4 points 1538638641.180 * * * * [misc]points: Setting MPFR precision to 64 1538638641.180 * * * * [misc]points: Setting MPFR precision to 320 1538638641.181 * * * * [misc]points: Filtering points with unrepresentable outputs 1538638641.181 * * * * [misc]points: Sampling 4 additional inputs, on iter 7 have 255 / 256 1538638641.181 * * * * [misc]points: Computing exacts for 4 points 1538638641.183 * * * * [misc]points: Setting MPFR precision to 64 1538638641.184 * * * * [misc]points: Setting MPFR precision to 320 1538638641.184 * * * * [misc]points: Filtering points with unrepresentable outputs 1538638641.184 * * * * [exit]points: Sampled 257 points with exact outputs 1538638641.184 * * * [misc]progress: [2/2] Setting up program. 1538638641.507 * [misc]progress: [Phase 2 of 3] Improving. 1538638641.508 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1538638641.510 * * [misc]simplify: iters left: 6 (12 enodes) 1538638641.518 * * [misc]simplify: iters left: 5 (16 enodes) 1538638641.523 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1538638641.537 * * [misc]progress: iteration 1 / 4 1538638641.537 * * * [misc]progress: picking best candidate 1538638641.544 * * * * [misc]pick: Picked # 1538638641.544 * * * [misc]progress: localizing error 1538638641.621 * * * [misc]progress: generating rewritten candidates 1538638641.621 * * * * [misc]progress: [ 1 / 3 ] rewriting at (2 1 1) 1538638641.632 * * * * [misc]progress: [ 2 / 3 ] rewriting at (2 1 1 2) 1538638641.633 * * * * [misc]progress: [ 3 / 3 ] rewriting at (2 1 1 1) 1538638641.634 * * * [misc]progress: generating series expansions 1538638641.634 * * * * [misc]progress: [ 1 / 3 ] generating series at (2 1 1) 1538638641.634 * * * * [misc]progress: [ 2 / 3 ] generating series at (2 1 1 2) 1538638641.634 * * * * [misc]progress: [ 3 / 3 ] generating series at (2 1 1 1) 1538638641.634 * * * [misc]progress: simplifying candidates 1538638641.635 * * * * [misc]progress: [ 1 / 4 ] simplifiying candidate # 1538638641.635 * * * * [misc]progress: [ 2 / 4 ] simplifiying candidate # 1538638641.635 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1538638641.636 * * [misc]simplify: iters left: 6 (14 enodes) 1538638641.639 * * [misc]simplify: iters left: 5 (16 enodes) 1538638641.643 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1538638641.643 * [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)))) 1538638641.643 * * * * [misc]progress: [ 3 / 4 ] simplifiying candidate # 1538638641.643 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1538638641.644 * * [misc]simplify: iters left: 6 (14 enodes) 1538638641.647 * * [misc]simplify: iters left: 5 (16 enodes) 1538638641.651 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1538638641.651 * [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)))) 1538638641.651 * * * * [misc]progress: [ 4 / 4 ] simplifiying candidate # 1538638641.651 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1538638641.652 * * [misc]simplify: iters left: 6 (14 enodes) 1538638641.655 * * [misc]simplify: iters left: 5 (16 enodes) 1538638641.659 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1538638641.659 * [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)))) 1538638641.659 * * * [misc]progress: adding candidates to table 1538638641.713 * [misc]progress: [Phase 3 of 3] Extracting. 1538638641.720 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1538638641.721 * * [misc]simplify: iters left: 6 (14 enodes) 1538638641.722 * * [misc]simplify: iters left: 5 (15 enodes) 1538638641.724 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1538638641.724 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1538638641.764 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1538638641.766 * * * * [misc]points: Setting MPFR precision to 64 1538638641.768 * * * * [misc]points: Setting MPFR precision to 320 1538638641.769 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1538638641.771 * * * * [misc]points: Setting MPFR precision to 64 1538638641.775 * * * * [misc]points: Setting MPFR precision to 320 1538638641.778 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1538638641.780 * * * * [misc]points: Setting MPFR precision to 64 1538638641.787 * * * * [misc]points: Setting MPFR precision to 320 1538638641.795 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1538638641.797 * * * * [misc]points: Setting MPFR precision to 64 1538638641.810 * * * * [misc]points: Setting MPFR precision to 320 1538638641.825 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1538638641.826 * * * * [misc]points: Setting MPFR precision to 64 1538638641.880 * * * * [misc]points: Setting MPFR precision to 320 1538638641.916 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1538638641.918 * * * * [misc]points: Setting MPFR precision to 64 1538638641.987 * * * * [misc]points: Setting MPFR precision to 320 1538638642.123 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1538638642.126 * * * * [misc]points: Setting MPFR precision to 64 1538638642.365 * * * * [misc]points: Setting MPFR precision to 320 1538638642.604 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1538638642.608 * * * * [misc]points: Setting MPFR precision to 64 1538638643.016 * * * * [misc]points: Setting MPFR precision to 320 1538638643.441 * * * * [misc]points: Computing exacts for 8000 points 1538638643.444 * * * * [misc]points: Setting MPFR precision to 64 1538638645.528 * * * * [misc]points: Setting MPFR precision to 320 1538638647.799 * * * * [misc]points: Filtering points with unrepresentable outputs 1538638647.802 * * * * [misc]points: Sampling 3920 additional inputs, on iter 1 have 4080 / 8000 1538638647.837 * * * * [misc]points: Computing exacts on every 245 of 3920 points to ramp up precision 1538638647.874 * * * * [misc]points: Setting MPFR precision to 64 1538638647.878 * * * * [misc]points: Setting MPFR precision to 320 1538638647.882 * * * * [misc]points: Computing exacts on every 122 of 3920 points to ramp up precision 1538638647.885 * * * * [misc]points: Setting MPFR precision to 64 1538638647.889 * * * * [misc]points: Setting MPFR precision to 320 1538638647.892 * * * * [misc]points: Computing exacts on every 61 of 3920 points to ramp up precision 1538638647.894 * * * * [misc]points: Setting MPFR precision to 64 1538638647.901 * * * * [misc]points: Setting MPFR precision to 320 1538638647.908 * * * * [misc]points: Computing exacts on every 30 of 3920 points to ramp up precision 1538638647.910 * * * * [misc]points: Setting MPFR precision to 64 1538638647.931 * * * * [misc]points: Setting MPFR precision to 320 1538638647.952 * * * * [misc]points: Computing exacts on every 15 of 3920 points to ramp up precision 1538638647.954 * * * * [misc]points: Setting MPFR precision to 64 1538638647.978 * * * * [misc]points: Setting MPFR precision to 320 1538638648.029 * * * * [misc]points: Computing exacts on every 7 of 3920 points to ramp up precision 1538638648.032 * * * * [misc]points: Setting MPFR precision to 64 1538638648.168 * * * * [misc]points: Setting MPFR precision to 320 1538638648.252 * * * * [misc]points: Computing exacts on every 3 of 3920 points to ramp up precision 1538638648.256 * * * * [misc]points: Setting MPFR precision to 64 1538638648.463 * * * * [misc]points: Setting MPFR precision to 320 1538638648.698 * * * * [misc]points: Computing exacts for 3920 points 1538638648.701 * * * * [misc]points: Setting MPFR precision to 64 1538638650.050 * * * * [misc]points: Setting MPFR precision to 320 1538638650.898 * * * * [misc]points: Filtering points with unrepresentable outputs 1538638650.899 * * * * [misc]points: Sampling 1931 additional inputs, on iter 2 have 6069 / 8000 1538638650.916 * * * * [misc]points: Computing exacts on every 120 of 1931 points to ramp up precision 1538638650.919 * * * * [misc]points: Setting MPFR precision to 64 1538638650.922 * * * * [misc]points: Setting MPFR precision to 320 1538638650.925 * * * * [misc]points: Computing exacts on every 60 of 1931 points to ramp up precision 1538638650.928 * * * * [misc]points: Setting MPFR precision to 64 1538638650.979 * * * * [misc]points: Setting MPFR precision to 320 1538638650.986 * * * * [misc]points: Computing exacts on every 30 of 1931 points to ramp up precision 1538638650.993 * * * * [misc]points: Setting MPFR precision to 64 1538638651.006 * * * * [misc]points: Setting MPFR precision to 320 1538638651.021 * * * * [misc]points: Computing exacts on every 15 of 1931 points to ramp up precision 1538638651.024 * * * * [misc]points: Setting MPFR precision to 64 1538638651.051 * * * * [misc]points: Setting MPFR precision to 320 1538638651.080 * * * * [misc]points: Computing exacts on every 7 of 1931 points to ramp up precision 1538638651.083 * * * * [misc]points: Setting MPFR precision to 64 1538638651.121 * * * * [misc]points: Setting MPFR precision to 320 1538638651.152 * * * * [misc]points: Computing exacts on every 3 of 1931 points to ramp up precision 1538638651.155 * * * * [misc]points: Setting MPFR precision to 64 1538638651.297 * * * * [misc]points: Setting MPFR precision to 320 1538638651.388 * * * * [misc]points: Computing exacts for 1931 points 1538638651.391 * * * * [misc]points: Setting MPFR precision to 64 1538638651.755 * * * * [misc]points: Setting MPFR precision to 320 1538638652.177 * * * * [misc]points: Filtering points with unrepresentable outputs 1538638652.178 * * * * [misc]points: Sampling 955 additional inputs, on iter 3 have 7045 / 8000 1538638652.187 * * * * [misc]points: Computing exacts on every 59 of 955 points to ramp up precision 1538638652.190 * * * * [misc]points: Setting MPFR precision to 64 1538638652.193 * * * * [misc]points: Setting MPFR precision to 320 1538638652.197 * * * * [misc]points: Computing exacts on every 29 of 955 points to ramp up precision 1538638652.200 * * * * [misc]points: Setting MPFR precision to 64 1538638652.207 * * * * [misc]points: Setting MPFR precision to 320 1538638652.214 * * * * [misc]points: Computing exacts on every 14 of 955 points to ramp up precision 1538638652.217 * * * * [misc]points: Setting MPFR precision to 64 1538638652.231 * * * * [misc]points: Setting MPFR precision to 320 1538638652.245 * * * * [misc]points: Computing exacts on every 7 of 955 points to ramp up precision 1538638652.249 * * * * [misc]points: Setting MPFR precision to 64 1538638652.275 * * * * [misc]points: Setting MPFR precision to 320 1538638652.297 * * * * [misc]points: Computing exacts on every 3 of 955 points to ramp up precision 1538638652.299 * * * * [misc]points: Setting MPFR precision to 64 1538638652.323 * * * * [misc]points: Setting MPFR precision to 320 1538638652.727 * * * * [misc]points: Computing exacts for 955 points 1538638652.730 * * * * [misc]points: Setting MPFR precision to 64 1538638652.863 * * * * [misc]points: Setting MPFR precision to 320 1538638653.038 * * * * [misc]points: Filtering points with unrepresentable outputs 1538638653.038 * * * * [misc]points: Sampling 445 additional inputs, on iter 4 have 7555 / 8000 1538638653.042 * * * * [misc]points: Computing exacts on every 27 of 445 points to ramp up precision 1538638653.045 * * * * [misc]points: Setting MPFR precision to 64 1538638653.049 * * * * [misc]points: Setting MPFR precision to 320 1538638653.052 * * * * [misc]points: Computing exacts on every 13 of 445 points to ramp up precision 1538638653.055 * * * * [misc]points: Setting MPFR precision to 64 1538638653.122 * * * * [misc]points: Setting MPFR precision to 320 1538638653.135 * * * * [misc]points: Computing exacts on every 6 of 445 points to ramp up precision 1538638653.138 * * * * [misc]points: Setting MPFR precision to 64 1538638653.151 * * * * [misc]points: Setting MPFR precision to 320 1538638653.165 * * * * [misc]points: Computing exacts on every 3 of 445 points to ramp up precision 1538638653.168 * * * * [misc]points: Setting MPFR precision to 64 1538638653.191 * * * * [misc]points: Setting MPFR precision to 320 1538638653.215 * * * * [misc]points: Computing exacts for 445 points 1538638653.218 * * * * [misc]points: Setting MPFR precision to 64 1538638653.284 * * * * [misc]points: Setting MPFR precision to 320 1538638653.424 * * * * [misc]points: Setting MPFR precision to 576 1538638653.531 * * * * [misc]points: Filtering points with unrepresentable outputs 1538638653.531 * * * * [misc]points: Sampling 206 additional inputs, on iter 5 have 7794 / 8000 1538638653.533 * * * * [misc]points: Computing exacts on every 12 of 206 points to ramp up precision 1538638653.537 * * * * [misc]points: Setting MPFR precision to 320 1538638653.541 * * * * [misc]points: Setting MPFR precision to 576 1538638653.545 * * * * [misc]points: Computing exacts on every 6 of 206 points to ramp up precision 1538638653.548 * * * * [misc]points: Setting MPFR precision to 320 1538638653.555 * * * * [misc]points: Setting MPFR precision to 576 1538638653.562 * * * * [misc]points: Computing exacts on every 3 of 206 points to ramp up precision 1538638653.565 * * * * [misc]points: Setting MPFR precision to 320 1538638653.575 * * * * [misc]points: Setting MPFR precision to 576 1538638653.588 * * * * [misc]points: Computing exacts for 206 points 1538638653.591 * * * * [misc]points: Setting MPFR precision to 320 1538638653.667 * * * * [misc]points: Setting MPFR precision to 576 1538638653.700 * * * * [misc]points: Filtering points with unrepresentable outputs 1538638653.701 * * * * [misc]points: Sampling 95 additional inputs, on iter 6 have 7905 / 8000 1538638653.702 * * * * [misc]points: Computing exacts on every 5 of 95 points to ramp up precision 1538638653.705 * * * * [misc]points: Setting MPFR precision to 320 1538638653.709 * * * * [misc]points: Setting MPFR precision to 576 1538638653.713 * * * * [misc]points: Computing exacts on every 2 of 95 points to ramp up precision 1538638653.716 * * * * [misc]points: Setting MPFR precision to 320 1538638653.724 * * * * [misc]points: Setting MPFR precision to 576 1538638653.732 * * * * [misc]points: Computing exacts for 95 points 1538638653.735 * * * * [misc]points: Setting MPFR precision to 320 1538638653.758 * * * * [misc]points: Setting MPFR precision to 576 1538638653.783 * * * * [misc]points: Filtering points with unrepresentable outputs 1538638653.783 * * * * [misc]points: Sampling 45 additional inputs, on iter 7 have 7955 / 8000 1538638653.784 * * * * [misc]points: Computing exacts on every 2 of 45 points to ramp up precision 1538638653.787 * * * * [misc]points: Setting MPFR precision to 320 1538638653.790 * * * * [misc]points: Setting MPFR precision to 576 1538638653.794 * * * * [misc]points: Computing exacts for 45 points 1538638653.797 * * * * [misc]points: Setting MPFR precision to 320 1538638653.809 * * * * [misc]points: Setting MPFR precision to 576 1538638653.821 * * * * [misc]points: Filtering points with unrepresentable outputs 1538638653.821 * * * * [misc]points: Sampling 24 additional inputs, on iter 8 have 7976 / 8000 1538638653.822 * * * * [misc]points: Computing exacts for 24 points 1538638653.825 * * * * [misc]points: Setting MPFR precision to 320 1538638653.831 * * * * [misc]points: Setting MPFR precision to 576 1538638653.837 * * * * [misc]points: Filtering points with unrepresentable outputs 1538638653.837 * * * * [misc]points: Sampling 12 additional inputs, on iter 9 have 7988 / 8000 1538638653.838 * * * * [misc]points: Computing exacts for 12 points 1538638653.841 * * * * [misc]points: Setting MPFR precision to 320 1538638653.844 * * * * [misc]points: Setting MPFR precision to 576 1538638653.849 * * * * [misc]points: Filtering points with unrepresentable outputs 1538638653.849 * * * * [misc]points: Sampling 5 additional inputs, on iter 10 have 7995 / 8000 1538638653.849 * * * * [misc]points: Computing exacts for 5 points 1538638653.852 * * * * [misc]points: Setting MPFR precision to 320 1538638653.854 * * * * [misc]points: Setting MPFR precision to 576 1538638653.855 * * * * [misc]points: Filtering points with unrepresentable outputs 1538638653.855 * * * * [misc]points: Sampling 4 additional inputs, on iter 11 have 7997 / 8000 1538638653.855 * * * * [misc]points: Computing exacts for 4 points 1538638653.858 * * * * [misc]points: Setting MPFR precision to 320 1538638653.906 * * * * [misc]points: Setting MPFR precision to 576 1538638653.907 * * * * [misc]points: Filtering points with unrepresentable outputs 1538638653.907 * * * * [exit]points: Sampled 8001 points with exact outputs