1538643671.182 * [misc]progress: [Phase 1 of 3] Setting up. 1538643671.182 * * * [misc]progress: [1/2] Preparing points 1538643671.183 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1538643671.186 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1538643671.510 * * * * [misc]points: Setting MPFR precision to 64 1538643671.516 * * * * [misc]points: Setting MPFR precision to 320 1538643671.521 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1538643671.525 * * * * [misc]points: Setting MPFR precision to 64 1538643671.532 * * * * [misc]points: Setting MPFR precision to 320 1538643671.539 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1538643671.543 * * * * [misc]points: Setting MPFR precision to 64 1538643671.553 * * * * [misc]points: Setting MPFR precision to 320 1538643671.560 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1538643671.563 * * * * [misc]points: Setting MPFR precision to 64 1538643671.574 * * * * [misc]points: Setting MPFR precision to 320 1538643671.585 * * * * [misc]points: Computing exacts for 256 points 1538643671.587 * * * * [misc]points: Setting MPFR precision to 64 1538643671.622 * * * * [misc]points: Setting MPFR precision to 320 1538643671.724 * * * * [misc]points: Filtering points with unrepresentable outputs 1538643671.725 * * * * [misc]points: Sampling 136 additional inputs, on iter 1 have 120 / 256 1538643671.726 * * * * [misc]points: Computing exacts on every 8 of 136 points to ramp up precision 1538643671.730 * * * * [misc]points: Setting MPFR precision to 64 1538643671.737 * * * * [misc]points: Setting MPFR precision to 320 1538643671.741 * * * * [misc]points: Computing exacts on every 4 of 136 points to ramp up precision 1538643671.744 * * * * [misc]points: Setting MPFR precision to 64 1538643671.750 * * * * [misc]points: Setting MPFR precision to 320 1538643671.757 * * * * [misc]points: Computing exacts on every 2 of 136 points to ramp up precision 1538643671.760 * * * * [misc]points: Setting MPFR precision to 64 1538643671.768 * * * * [misc]points: Setting MPFR precision to 320 1538643671.774 * * * * [misc]points: Computing exacts for 136 points 1538643671.776 * * * * [misc]points: Setting MPFR precision to 64 1538643671.797 * * * * [misc]points: Setting MPFR precision to 320 1538643671.820 * * * * [misc]points: Filtering points with unrepresentable outputs 1538643671.820 * * * * [misc]points: Sampling 68 additional inputs, on iter 2 have 188 / 256 1538643671.821 * * * * [misc]points: Computing exacts on every 4 of 68 points to ramp up precision 1538643671.823 * * * * [misc]points: Setting MPFR precision to 64 1538643671.825 * * * * [misc]points: Setting MPFR precision to 320 1538643671.826 * * * * [misc]points: Computing exacts on every 2 of 68 points to ramp up precision 1538643671.828 * * * * [misc]points: Setting MPFR precision to 64 1538643671.831 * * * * [misc]points: Setting MPFR precision to 320 1538643671.833 * * * * [misc]points: Computing exacts for 68 points 1538643671.835 * * * * [misc]points: Setting MPFR precision to 64 1538643671.842 * * * * [misc]points: Setting MPFR precision to 320 1538643671.850 * * * * [misc]points: Filtering points with unrepresentable outputs 1538643671.850 * * * * [misc]points: Sampling 31 additional inputs, on iter 3 have 225 / 256 1538643671.850 * * * * [misc]points: Computing exacts for 31 points 1538643671.852 * * * * [misc]points: Setting MPFR precision to 64 1538643671.855 * * * * [misc]points: Setting MPFR precision to 320 1538643671.859 * * * * [misc]points: Filtering points with unrepresentable outputs 1538643671.859 * * * * [misc]points: Sampling 17 additional inputs, on iter 4 have 239 / 256 1538643671.859 * * * * [misc]points: Computing exacts for 17 points 1538643671.862 * * * * [misc]points: Setting MPFR precision to 64 1538643671.865 * * * * [misc]points: Setting MPFR precision to 320 1538643671.869 * * * * [misc]points: Filtering points with unrepresentable outputs 1538643671.869 * * * * [misc]points: Sampling 8 additional inputs, on iter 5 have 248 / 256 1538643671.869 * * * * [misc]points: Computing exacts for 8 points 1538643671.872 * * * * [misc]points: Setting MPFR precision to 64 1538643671.874 * * * * [misc]points: Setting MPFR precision to 320 1538643671.876 * * * * [misc]points: Filtering points with unrepresentable outputs 1538643671.876 * * * * [misc]points: Sampling 4 additional inputs, on iter 6 have 253 / 256 1538643671.877 * * * * [misc]points: Computing exacts for 4 points 1538643671.880 * * * * [misc]points: Setting MPFR precision to 64 1538643671.881 * * * * [misc]points: Setting MPFR precision to 320 1538643671.882 * * * * [misc]points: Filtering points with unrepresentable outputs 1538643671.882 * * * * [misc]points: Sampling 4 additional inputs, on iter 7 have 255 / 256 1538643671.882 * * * * [misc]points: Computing exacts for 4 points 1538643671.885 * * * * [misc]points: Setting MPFR precision to 64 1538643671.886 * * * * [misc]points: Setting MPFR precision to 320 1538643671.887 * * * * [misc]points: Filtering points with unrepresentable outputs 1538643671.887 * * * * [exit]points: Sampled 257 points with exact outputs 1538643671.887 * * * [misc]progress: [2/2] Setting up program. 1538643672.327 * [misc]progress: [Phase 2 of 3] Improving. 1538643672.328 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1538643672.335 * * [misc]simplify: iters left: 6 (12 enodes) 1538643672.345 * * [misc]simplify: iters left: 5 (16 enodes) 1538643672.353 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1538643672.383 * * [misc]progress: iteration 1 / 4 1538643672.383 * * * [misc]progress: picking best candidate 1538643672.394 * * * * [misc]pick: Picked # 1538643672.394 * * * [misc]progress: localizing error 1538643672.494 * * * [misc]progress: generating rewritten candidates 1538643672.494 * * * * [misc]progress: [ 1 / 3 ] rewriting at (2 1 1) 1538643672.508 * * * * [misc]progress: [ 2 / 3 ] rewriting at (2 1 1 1) 1538643672.509 * * * * [misc]progress: [ 3 / 3 ] rewriting at (2 1 1 2) 1538643672.509 * * * [misc]progress: generating series expansions 1538643672.510 * * * * [misc]progress: [ 1 / 3 ] generating series at (2 1 1) 1538643672.510 * * * * [misc]progress: [ 2 / 3 ] generating series at (2 1 1 1) 1538643672.510 * * * * [misc]progress: [ 3 / 3 ] generating series at (2 1 1 2) 1538643672.510 * * * [misc]progress: simplifying candidates 1538643672.510 * * * * [misc]progress: [ 1 / 4 ] simplifiying candidate # 1538643672.511 * * * * [misc]progress: [ 2 / 4 ] simplifiying candidate # 1538643672.511 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1538643672.512 * * [misc]simplify: iters left: 6 (12 enodes) 1538643672.515 * * [misc]simplify: iters left: 5 (16 enodes) 1538643672.519 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1538643672.519 * [misc]simplify: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1538643672.519 * * * * [misc]progress: [ 3 / 4 ] simplifiying candidate # 1538643672.519 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1538643672.520 * * [misc]simplify: iters left: 6 (12 enodes) 1538643672.523 * * [misc]simplify: iters left: 5 (16 enodes) 1538643672.527 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1538643672.527 * [misc]simplify: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1538643672.527 * * * * [misc]progress: [ 4 / 4 ] simplifiying candidate # 1538643672.527 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1538643672.528 * * [misc]simplify: iters left: 6 (12 enodes) 1538643672.530 * * [misc]simplify: iters left: 5 (16 enodes) 1538643672.534 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1538643672.534 * [misc]simplify: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1538643672.534 * * * [misc]progress: adding candidates to table 1538643672.571 * [misc]progress: [Phase 3 of 3] Extracting. 1538643672.577 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1538643672.578 * * [misc]simplify: iters left: 6 (12 enodes) 1538643672.579 * * [misc]simplify: iters left: 5 (13 enodes) 1538643672.581 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1538643672.581 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1538643672.634 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1538643672.636 * * * * [misc]points: Setting MPFR precision to 64 1538643672.638 * * * * [misc]points: Setting MPFR precision to 320 1538643672.640 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1538643672.642 * * * * [misc]points: Setting MPFR precision to 64 1538643672.645 * * * * [misc]points: Setting MPFR precision to 320 1538643672.649 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1538643672.651 * * * * [misc]points: Setting MPFR precision to 64 1538643672.663 * * * * [misc]points: Setting MPFR precision to 320 1538643672.676 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1538643672.679 * * * * [misc]points: Setting MPFR precision to 64 1538643672.696 * * * * [misc]points: Setting MPFR precision to 320 1538643672.711 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1538643672.713 * * * * [misc]points: Setting MPFR precision to 64 1538643672.758 * * * * [misc]points: Setting MPFR precision to 320 1538643672.800 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1538643672.802 * * * * [misc]points: Setting MPFR precision to 64 1538643672.907 * * * * [misc]points: Setting MPFR precision to 320 1538643672.985 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1538643672.988 * * * * [misc]points: Setting MPFR precision to 64 1538643673.186 * * * * [misc]points: Setting MPFR precision to 320 1538643673.376 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1538643673.378 * * * * [misc]points: Setting MPFR precision to 64 1538643673.932 * * * * [misc]points: Setting MPFR precision to 320 1538643674.331 * * * * [misc]points: Computing exacts for 8000 points 1538643674.333 * * * * [misc]points: Setting MPFR precision to 64 1538643676.122 * * * * [misc]points: Setting MPFR precision to 320 1538643678.428 * * * * [misc]points: Filtering points with unrepresentable outputs 1538643678.431 * * * * [misc]points: Sampling 3920 additional inputs, on iter 1 have 4080 / 8000 1538643678.467 * * * * [misc]points: Computing exacts on every 245 of 3920 points to ramp up precision 1538643678.470 * * * * [misc]points: Setting MPFR precision to 64 1538643678.474 * * * * [misc]points: Setting MPFR precision to 320 1538643678.478 * * * * [misc]points: Computing exacts on every 122 of 3920 points to ramp up precision 1538643678.481 * * * * [misc]points: Setting MPFR precision to 64 1538643678.487 * * * * [misc]points: Setting MPFR precision to 320 1538643678.494 * * * * [misc]points: Computing exacts on every 61 of 3920 points to ramp up precision 1538643678.498 * * * * [misc]points: Setting MPFR precision to 64 1538643678.512 * * * * [misc]points: Setting MPFR precision to 320 1538643678.528 * * * * [misc]points: Computing exacts on every 30 of 3920 points to ramp up precision 1538643678.531 * * * * [misc]points: Setting MPFR precision to 64 1538643678.558 * * * * [misc]points: Setting MPFR precision to 320 1538643678.600 * * * * [misc]points: Computing exacts on every 15 of 3920 points to ramp up precision 1538643678.602 * * * * [misc]points: Setting MPFR precision to 64 1538643678.630 * * * * [misc]points: Setting MPFR precision to 320 1538643678.665 * * * * [misc]points: Computing exacts on every 7 of 3920 points to ramp up precision 1538643678.669 * * * * [misc]points: Setting MPFR precision to 64 1538643678.773 * * * * [misc]points: Setting MPFR precision to 320 1538643678.943 * * * * [misc]points: Computing exacts on every 3 of 3920 points to ramp up precision 1538643678.945 * * * * [misc]points: Setting MPFR precision to 64 1538643679.207 * * * * [misc]points: Setting MPFR precision to 320 1538643679.456 * * * * [misc]points: Computing exacts for 3920 points 1538643679.458 * * * * [misc]points: Setting MPFR precision to 64 1538643680.291 * * * * [misc]points: Setting MPFR precision to 320 1538643681.565 * * * * [misc]points: Filtering points with unrepresentable outputs 1538643681.566 * * * * [misc]points: Sampling 1931 additional inputs, on iter 2 have 6069 / 8000 1538643681.575 * * * * [misc]points: Computing exacts on every 120 of 1931 points to ramp up precision 1538643681.577 * * * * [misc]points: Setting MPFR precision to 64 1538643681.580 * * * * [misc]points: Setting MPFR precision to 320 1538643681.583 * * * * [misc]points: Computing exacts on every 60 of 1931 points to ramp up precision 1538643681.586 * * * * [misc]points: Setting MPFR precision to 64 1538643681.592 * * * * [misc]points: Setting MPFR precision to 320 1538643681.599 * * * * [misc]points: Computing exacts on every 30 of 1931 points to ramp up precision 1538643681.602 * * * * [misc]points: Setting MPFR precision to 64 1538643681.615 * * * * [misc]points: Setting MPFR precision to 320 1538643681.629 * * * * [misc]points: Computing exacts on every 15 of 1931 points to ramp up precision 1538643681.632 * * * * [misc]points: Setting MPFR precision to 64 1538643681.652 * * * * [misc]points: Setting MPFR precision to 320 1538643681.667 * * * * [misc]points: Computing exacts on every 7 of 1931 points to ramp up precision 1538643681.669 * * * * [misc]points: Setting MPFR precision to 64 1538643681.759 * * * * [misc]points: Setting MPFR precision to 320 1538643681.817 * * * * [misc]points: Computing exacts on every 3 of 1931 points to ramp up precision 1538643681.821 * * * * [misc]points: Setting MPFR precision to 64 1538643681.895 * * * * [misc]points: Setting MPFR precision to 320 1538643682.074 * * * * [misc]points: Computing exacts for 1931 points 1538643682.078 * * * * [misc]points: Setting MPFR precision to 64 1538643682.506 * * * * [misc]points: Setting MPFR precision to 320 1538643682.864 * * * * [misc]points: Filtering points with unrepresentable outputs 1538643682.865 * * * * [misc]points: Sampling 955 additional inputs, on iter 3 have 7045 / 8000 1538643682.874 * * * * [misc]points: Computing exacts on every 59 of 955 points to ramp up precision 1538643682.876 * * * * [misc]points: Setting MPFR precision to 64 1538643682.878 * * * * [misc]points: Setting MPFR precision to 320 1538643682.880 * * * * [misc]points: Computing exacts on every 29 of 955 points to ramp up precision 1538643682.881 * * * * [misc]points: Setting MPFR precision to 64 1538643682.885 * * * * [misc]points: Setting MPFR precision to 320 1538643682.889 * * * * [misc]points: Computing exacts on every 14 of 955 points to ramp up precision 1538643682.892 * * * * [misc]points: Setting MPFR precision to 64 1538643682.948 * * * * [misc]points: Setting MPFR precision to 320 1538643682.958 * * * * [misc]points: Computing exacts on every 7 of 955 points to ramp up precision 1538643682.960 * * * * [misc]points: Setting MPFR precision to 64 1538643682.980 * * * * [misc]points: Setting MPFR precision to 320 1538643683.006 * * * * [misc]points: Computing exacts on every 3 of 955 points to ramp up precision 1538643683.007 * * * * [misc]points: Setting MPFR precision to 64 1538643683.032 * * * * [misc]points: Setting MPFR precision to 320 1538643683.061 * * * * [misc]points: Computing exacts for 955 points 1538643683.063 * * * * [misc]points: Setting MPFR precision to 64 1538643683.650 * * * * [misc]points: Setting MPFR precision to 320 1538643683.814 * * * * [misc]points: Filtering points with unrepresentable outputs 1538643683.815 * * * * [misc]points: Sampling 445 additional inputs, on iter 4 have 7555 / 8000 1538643683.817 * * * * [misc]points: Computing exacts on every 27 of 445 points to ramp up precision 1538643683.819 * * * * [misc]points: Setting MPFR precision to 64 1538643683.821 * * * * [misc]points: Setting MPFR precision to 320 1538643683.823 * * * * [misc]points: Computing exacts on every 13 of 445 points to ramp up precision 1538643683.825 * * * * [misc]points: Setting MPFR precision to 64 1538643683.828 * * * * [misc]points: Setting MPFR precision to 320 1538643683.832 * * * * [misc]points: Computing exacts on every 6 of 445 points to ramp up precision 1538643683.834 * * * * [misc]points: Setting MPFR precision to 64 1538643683.841 * * * * [misc]points: Setting MPFR precision to 320 1538643683.849 * * * * [misc]points: Computing exacts on every 3 of 445 points to ramp up precision 1538643683.851 * * * * [misc]points: Setting MPFR precision to 64 1538643683.866 * * * * [misc]points: Setting MPFR precision to 320 1538643683.943 * * * * [misc]points: Computing exacts for 445 points 1538643683.946 * * * * [misc]points: Setting MPFR precision to 64 1538643684.046 * * * * [misc]points: Setting MPFR precision to 320 1538643684.150 * * * * [misc]points: Setting MPFR precision to 576 1538643684.335 * * * * [misc]points: Filtering points with unrepresentable outputs 1538643684.335 * * * * [misc]points: Sampling 206 additional inputs, on iter 5 have 7794 / 8000 1538643684.337 * * * * [misc]points: Computing exacts on every 12 of 206 points to ramp up precision 1538643684.340 * * * * [misc]points: Setting MPFR precision to 320 1538643684.345 * * * * [misc]points: Setting MPFR precision to 576 1538643684.349 * * * * [misc]points: Computing exacts on every 6 of 206 points to ramp up precision 1538643684.352 * * * * [misc]points: Setting MPFR precision to 320 1538643684.358 * * * * [misc]points: Setting MPFR precision to 576 1538643684.365 * * * * [misc]points: Computing exacts on every 3 of 206 points to ramp up precision 1538643684.368 * * * * [misc]points: Setting MPFR precision to 320 1538643684.380 * * * * [misc]points: Setting MPFR precision to 576 1538643684.394 * * * * [misc]points: Computing exacts for 206 points 1538643684.398 * * * * [misc]points: Setting MPFR precision to 320 1538643684.447 * * * * [misc]points: Setting MPFR precision to 576 1538643684.500 * * * * [misc]points: Filtering points with unrepresentable outputs 1538643684.500 * * * * [misc]points: Sampling 95 additional inputs, on iter 6 have 7905 / 8000 1538643684.501 * * * * [misc]points: Computing exacts on every 5 of 95 points to ramp up precision 1538643684.504 * * * * [misc]points: Setting MPFR precision to 320 1538643684.508 * * * * [misc]points: Setting MPFR precision to 576 1538643684.512 * * * * [misc]points: Computing exacts on every 2 of 95 points to ramp up precision 1538643684.515 * * * * [misc]points: Setting MPFR precision to 320 1538643684.576 * * * * [misc]points: Setting MPFR precision to 576 1538643684.589 * * * * [misc]points: Computing exacts for 95 points 1538643684.592 * * * * [misc]points: Setting MPFR precision to 320 1538643684.614 * * * * [misc]points: Setting MPFR precision to 576 1538643684.640 * * * * [misc]points: Filtering points with unrepresentable outputs 1538643684.640 * * * * [misc]points: Sampling 45 additional inputs, on iter 7 have 7955 / 8000 1538643684.641 * * * * [misc]points: Computing exacts on every 2 of 45 points to ramp up precision 1538643684.644 * * * * [misc]points: Setting MPFR precision to 320 1538643684.647 * * * * [misc]points: Setting MPFR precision to 576 1538643684.651 * * * * [misc]points: Computing exacts for 45 points 1538643684.655 * * * * [misc]points: Setting MPFR precision to 320 1538643684.665 * * * * [misc]points: Setting MPFR precision to 576 1538643684.677 * * * * [misc]points: Filtering points with unrepresentable outputs 1538643684.677 * * * * [misc]points: Sampling 24 additional inputs, on iter 8 have 7976 / 8000 1538643684.678 * * * * [misc]points: Computing exacts for 24 points 1538643684.681 * * * * [misc]points: Setting MPFR precision to 320 1538643684.686 * * * * [misc]points: Setting MPFR precision to 576 1538643684.693 * * * * [misc]points: Filtering points with unrepresentable outputs 1538643684.693 * * * * [misc]points: Sampling 12 additional inputs, on iter 9 have 7988 / 8000 1538643684.694 * * * * [misc]points: Computing exacts for 12 points 1538643684.697 * * * * [misc]points: Setting MPFR precision to 320 1538643684.699 * * * * [misc]points: Setting MPFR precision to 576 1538643684.701 * * * * [misc]points: Filtering points with unrepresentable outputs 1538643684.701 * * * * [misc]points: Sampling 5 additional inputs, on iter 10 have 7995 / 8000 1538643684.702 * * * * [misc]points: Computing exacts for 5 points 1538643684.703 * * * * [misc]points: Setting MPFR precision to 320 1538643684.704 * * * * [misc]points: Setting MPFR precision to 576 1538643684.705 * * * * [misc]points: Filtering points with unrepresentable outputs 1538643684.705 * * * * [misc]points: Sampling 4 additional inputs, on iter 11 have 7997 / 8000 1538643684.705 * * * * [misc]points: Computing exacts for 4 points 1538643684.706 * * * * [misc]points: Setting MPFR precision to 320 1538643684.707 * * * * [misc]points: Setting MPFR precision to 576 1538643684.708 * * * * [misc]points: Filtering points with unrepresentable outputs 1538643684.708 * * * * [exit]points: Sampled 8001 points with exact outputs