1544868677.525 * [misc]progress: [Phase 1 of 3] Setting up. 1544868677.527 * * * [misc]progress: [1/2] Preparing points 1544868677.556 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1544868677.560 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1544868677.622 * * * * [misc]points: Setting MPFR precision to 64 1544868677.627 * * * * [misc]points: Setting MPFR precision to 320 1544868677.632 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1544868677.635 * * * * [misc]points: Setting MPFR precision to 64 1544868677.641 * * * * [misc]points: Setting MPFR precision to 320 1544868677.649 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1544868677.652 * * * * [misc]points: Setting MPFR precision to 64 1544868677.663 * * * * [misc]points: Setting MPFR precision to 320 1544868677.675 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1544868677.679 * * * * [misc]points: Setting MPFR precision to 64 1544868677.697 * * * * [misc]points: Setting MPFR precision to 320 1544868677.718 * * * * [misc]points: Computing exacts for 256 points 1544868677.722 * * * * [misc]points: Setting MPFR precision to 64 1544868677.832 * * * * [misc]points: Setting MPFR precision to 320 1544868677.883 * * * * [misc]points: Filtering points with unrepresentable outputs 1544868677.883 * * * * [misc]points: Sampling 129 additional inputs, on iter 1 have 127 / 256 1544868677.884 * * * * [misc]points: Computing exacts on every 8 of 129 points to ramp up precision 1544868677.886 * * * * [misc]points: Setting MPFR precision to 64 1544868677.888 * * * * [misc]points: Setting MPFR precision to 320 1544868677.889 * * * * [misc]points: Computing exacts on every 4 of 129 points to ramp up precision 1544868677.891 * * * * [misc]points: Setting MPFR precision to 64 1544868677.894 * * * * [misc]points: Setting MPFR precision to 320 1544868677.899 * * * * [misc]points: Computing exacts on every 2 of 129 points to ramp up precision 1544868677.903 * * * * [misc]points: Setting MPFR precision to 64 1544868677.912 * * * * [misc]points: Setting MPFR precision to 320 1544868677.917 * * * * [misc]points: Computing exacts for 129 points 1544868677.919 * * * * [misc]points: Setting MPFR precision to 64 1544868677.933 * * * * [misc]points: Setting MPFR precision to 320 1544868677.950 * * * * [misc]points: Filtering points with unrepresentable outputs 1544868677.950 * * * * [misc]points: Sampling 65 additional inputs, on iter 2 have 191 / 256 1544868677.950 * * * * [misc]points: Computing exacts on every 4 of 65 points to ramp up precision 1544868677.952 * * * * [misc]points: Setting MPFR precision to 64 1544868677.954 * * * * [misc]points: Setting MPFR precision to 320 1544868677.955 * * * * [misc]points: Computing exacts on every 2 of 65 points to ramp up precision 1544868677.957 * * * * [misc]points: Setting MPFR precision to 64 1544868677.959 * * * * [misc]points: Setting MPFR precision to 320 1544868677.964 * * * * [misc]points: Computing exacts for 65 points 1544868677.967 * * * * [misc]points: Setting MPFR precision to 64 1544868677.978 * * * * [misc]points: Setting MPFR precision to 320 1544868677.992 * * * * [misc]points: Filtering points with unrepresentable outputs 1544868677.992 * * * * [misc]points: Sampling 33 additional inputs, on iter 3 have 223 / 256 1544868677.993 * * * * [misc]points: Computing exacts on every 2 of 33 points to ramp up precision 1544868677.995 * * * * [misc]points: Setting MPFR precision to 64 1544868678.045 * * * * [misc]points: Setting MPFR precision to 320 1544868678.047 * * * * [misc]points: Computing exacts for 33 points 1544868678.050 * * * * [misc]points: Setting MPFR precision to 64 1544868678.061 * * * * [misc]points: Setting MPFR precision to 320 1544868678.068 * * * * [misc]points: Filtering points with unrepresentable outputs 1544868678.068 * * * * [misc]points: Sampling 16 additional inputs, on iter 4 have 240 / 256 1544868678.068 * * * * [misc]points: Computing exacts for 16 points 1544868678.071 * * * * [misc]points: Setting MPFR precision to 64 1544868678.074 * * * * [misc]points: Setting MPFR precision to 320 1544868678.077 * * * * [misc]points: Filtering points with unrepresentable outputs 1544868678.077 * * * * [misc]points: Sampling 9 additional inputs, on iter 5 have 247 / 256 1544868678.078 * * * * [misc]points: Computing exacts for 9 points 1544868678.080 * * * * [misc]points: Setting MPFR precision to 64 1544868678.082 * * * * [misc]points: Setting MPFR precision to 320 1544868678.084 * * * * [misc]points: Filtering points with unrepresentable outputs 1544868678.084 * * * * [misc]points: Sampling 6 additional inputs, on iter 6 have 250 / 256 1544868678.084 * * * * [misc]points: Computing exacts for 6 points 1544868678.087 * * * * [misc]points: Setting MPFR precision to 64 1544868678.088 * * * * [misc]points: Setting MPFR precision to 320 1544868678.090 * * * * [misc]points: Filtering points with unrepresentable outputs 1544868678.090 * * * * [misc]points: Sampling 4 additional inputs, on iter 7 have 254 / 256 1544868678.090 * * * * [misc]points: Computing exacts for 4 points 1544868678.093 * * * * [misc]points: Setting MPFR precision to 64 1544868678.093 * * * * [misc]points: Setting MPFR precision to 320 1544868678.095 * * * * [misc]points: Filtering points with unrepresentable outputs 1544868678.095 * * * * [exit]points: Sampled 257 points with exact outputs 1544868678.095 * * * [misc]progress: [2/2] Setting up program. 1544868678.106 * [misc]progress: [Phase 2 of 3] Improving. 1544868678.107 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1544868678.109 * * [misc]simplify: iters left: 6 (12 enodes) 1544868678.119 * * [misc]simplify: iters left: 5 (16 enodes) 1544868678.128 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544868678.155 * * [misc]progress: iteration 1 / 4 1544868678.155 * * * [misc]progress: picking best candidate 1544868678.166 * * * * [misc]pick: Picked # 1544868678.166 * * * [misc]progress: localizing error 1544868678.637 * * * [misc]progress: generating rewritten candidates 1544868678.638 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 1) 1544868678.657 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1 2) 1544868678.659 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 1) 1544868678.660 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1) 1544868678.714 * * * [misc]progress: generating series expansions 1544868678.715 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 1) 1544868678.715 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1 2) 1544868678.715 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 1) 1544868678.715 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1) 1544868678.716 * * * [misc]progress: simplifying candidates 1544868678.716 * * * * [misc]progress: [ 1 / 6 ] simplifiying candidate # 1544868678.716 * * * * [misc]progress: [ 2 / 6 ] simplifiying candidate # 1544868678.716 * * * * [misc]progress: [ 3 / 6 ] simplifiying candidate # 1544868678.716 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544868678.718 * * [misc]simplify: iters left: 6 (14 enodes) 1544868678.724 * * [misc]simplify: iters left: 5 (16 enodes) 1544868678.731 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544868678.731 * [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)))) 1544868678.731 * * * * [misc]progress: [ 4 / 6 ] simplifiying candidate # 1544868678.731 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544868678.733 * * [misc]simplify: iters left: 6 (14 enodes) 1544868678.738 * * [misc]simplify: iters left: 5 (16 enodes) 1544868678.745 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544868678.745 * [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)))) 1544868678.745 * * * * [misc]progress: [ 5 / 6 ] simplifiying candidate # 1544868678.746 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544868678.747 * * [misc]simplify: iters left: 6 (14 enodes) 1544868678.753 * * [misc]simplify: iters left: 5 (16 enodes) 1544868678.760 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544868678.760 * [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)))) 1544868678.760 * * * * [misc]progress: [ 6 / 6 ] simplifiying candidate # 1544868678.761 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544868678.762 * * [misc]simplify: iters left: 6 (14 enodes) 1544868678.768 * * [misc]simplify: iters left: 5 (16 enodes) 1544868678.774 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544868678.775 * [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)))) 1544868678.775 * * * [misc]progress: adding candidates to table 1544868678.919 * [misc]progress: [Phase 3 of 3] Extracting. 1544868678.926 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544868678.927 * * [misc]simplify: iters left: 6 (14 enodes) 1544868678.929 * * [misc]simplify: iters left: 5 (15 enodes) 1544868678.931 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544868678.931 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1544868678.968 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1544868678.970 * * * * [misc]points: Setting MPFR precision to 64 1544868678.972 * * * * [misc]points: Setting MPFR precision to 320 1544868678.974 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1544868678.975 * * * * [misc]points: Setting MPFR precision to 64 1544868678.979 * * * * [misc]points: Setting MPFR precision to 320 1544868678.983 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1544868678.985 * * * * [misc]points: Setting MPFR precision to 64 1544868678.992 * * * * [misc]points: Setting MPFR precision to 320 1544868679.000 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1544868679.002 * * * * [misc]points: Setting MPFR precision to 64 1544868679.023 * * * * [misc]points: Setting MPFR precision to 320 1544868679.039 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1544868679.042 * * * * [misc]points: Setting MPFR precision to 64 1544868679.127 * * * * [misc]points: Setting MPFR precision to 320 1544868679.188 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1544868679.191 * * * * [misc]points: Setting MPFR precision to 64 1544868679.253 * * * * [misc]points: Setting MPFR precision to 320 1544868679.383 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1544868679.386 * * * * [misc]points: Setting MPFR precision to 64 1544868679.655 * * * * [misc]points: Setting MPFR precision to 320 1544868679.828 * * * * [misc]points: Setting MPFR precision to 576 1544868680.127 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1544868680.130 * * * * [misc]points: Setting MPFR precision to 320 1544868680.608 * * * * [misc]points: Setting MPFR precision to 576 1544868681.139 * * * * [misc]points: Computing exacts for 8000 points 1544868681.141 * * * * [misc]points: Setting MPFR precision to 320 1544868683.509 * * * * [misc]points: Setting MPFR precision to 576 1544868685.974 * * * * [misc]points: Filtering points with unrepresentable outputs 1544868685.976 * * * * [misc]points: Sampling 3980 additional inputs, on iter 1 have 4020 / 8000 1544868686.006 * * * * [misc]points: Computing exacts on every 248 of 3980 points to ramp up precision 1544868686.009 * * * * [misc]points: Setting MPFR precision to 320 1544868686.013 * * * * [misc]points: Setting MPFR precision to 576 1544868686.016 * * * * [misc]points: Computing exacts on every 124 of 3980 points to ramp up precision 1544868686.019 * * * * [misc]points: Setting MPFR precision to 320 1544868686.026 * * * * [misc]points: Setting MPFR precision to 576 1544868686.033 * * * * [misc]points: Computing exacts on every 62 of 3980 points to ramp up precision 1544868686.036 * * * * [misc]points: Setting MPFR precision to 320 1544868686.048 * * * * [misc]points: Setting MPFR precision to 576 1544868686.064 * * * * [misc]points: Computing exacts on every 31 of 3980 points to ramp up precision 1544868686.067 * * * * [misc]points: Setting MPFR precision to 320 1544868686.104 * * * * [misc]points: Setting MPFR precision to 576 1544868686.122 * * * * [misc]points: Computing exacts on every 15 of 3980 points to ramp up precision 1544868686.124 * * * * [misc]points: Setting MPFR precision to 320 1544868686.169 * * * * [misc]points: Setting MPFR precision to 576 1544868686.238 * * * * [misc]points: Computing exacts on every 7 of 3980 points to ramp up precision 1544868686.241 * * * * [misc]points: Setting MPFR precision to 320 1544868686.386 * * * * [misc]points: Setting MPFR precision to 576 1544868686.526 * * * * [misc]points: Computing exacts on every 3 of 3980 points to ramp up precision 1544868686.530 * * * * [misc]points: Setting MPFR precision to 320 1544868686.804 * * * * [misc]points: Setting MPFR precision to 576 1544868687.469 * * * * [misc]points: Computing exacts for 3980 points 1544868687.473 * * * * [misc]points: Setting MPFR precision to 320 1544868688.391 * * * * [misc]points: Setting MPFR precision to 576 1544868689.437 * * * * [misc]points: Filtering points with unrepresentable outputs 1544868689.438 * * * * [misc]points: Sampling 1968 additional inputs, on iter 2 have 6032 / 8000 1544868689.448 * * * * [misc]points: Computing exacts on every 123 of 1968 points to ramp up precision 1544868689.451 * * * * [misc]points: Setting MPFR precision to 320 1544868689.453 * * * * [misc]points: Setting MPFR precision to 576 1544868689.455 * * * * [misc]points: Computing exacts on every 61 of 1968 points to ramp up precision 1544868689.457 * * * * [misc]points: Setting MPFR precision to 320 1544868689.461 * * * * [misc]points: Setting MPFR precision to 576 1544868689.466 * * * * [misc]points: Computing exacts on every 30 of 1968 points to ramp up precision 1544868689.468 * * * * [misc]points: Setting MPFR precision to 320 1544868689.483 * * * * [misc]points: Setting MPFR precision to 576 1544868689.500 * * * * [misc]points: Computing exacts on every 15 of 1968 points to ramp up precision 1544868689.504 * * * * [misc]points: Setting MPFR precision to 320 1544868689.533 * * * * [misc]points: Setting MPFR precision to 576 1544868689.567 * * * * [misc]points: Computing exacts on every 7 of 1968 points to ramp up precision 1544868689.570 * * * * [misc]points: Setting MPFR precision to 320 1544868689.647 * * * * [misc]points: Setting MPFR precision to 576 1544868689.718 * * * * [misc]points: Computing exacts on every 3 of 1968 points to ramp up precision 1544868689.721 * * * * [misc]points: Setting MPFR precision to 320 1544868689.832 * * * * [misc]points: Setting MPFR precision to 576 1544868690.387 * * * * [misc]points: Computing exacts for 1968 points 1544868690.390 * * * * [misc]points: Setting MPFR precision to 320 1544868690.858 * * * * [misc]points: Setting MPFR precision to 576 1544868691.377 * * * * [misc]points: Filtering points with unrepresentable outputs 1544868691.378 * * * * [misc]points: Sampling 970 additional inputs, on iter 3 have 7030 / 8000 1544868691.390 * * * * [misc]points: Computing exacts on every 60 of 970 points to ramp up precision 1544868691.393 * * * * [misc]points: Setting MPFR precision to 320 1544868691.398 * * * * [misc]points: Setting MPFR precision to 576 1544868691.402 * * * * [misc]points: Computing exacts on every 30 of 970 points to ramp up precision 1544868691.405 * * * * [misc]points: Setting MPFR precision to 320 1544868691.413 * * * * [misc]points: Setting MPFR precision to 576 1544868691.422 * * * * [misc]points: Computing exacts on every 15 of 970 points to ramp up precision 1544868691.425 * * * * [misc]points: Setting MPFR precision to 320 1544868691.439 * * * * [misc]points: Setting MPFR precision to 576 1544868691.455 * * * * [misc]points: Computing exacts on every 7 of 970 points to ramp up precision 1544868691.458 * * * * [misc]points: Setting MPFR precision to 320 1544868691.480 * * * * [misc]points: Setting MPFR precision to 576 1544868691.498 * * * * [misc]points: Computing exacts on every 3 of 970 points to ramp up precision 1544868691.499 * * * * [misc]points: Setting MPFR precision to 320 1544868691.593 * * * * [misc]points: Setting MPFR precision to 576 1544868691.643 * * * * [misc]points: Computing exacts for 970 points 1544868691.647 * * * * [misc]points: Setting MPFR precision to 320 1544868691.884 * * * * [misc]points: Setting MPFR precision to 576 1544868692.181 * * * * [misc]points: Filtering points with unrepresentable outputs 1544868692.182 * * * * [misc]points: Sampling 492 additional inputs, on iter 4 have 7508 / 8000 1544868692.186 * * * * [misc]points: Computing exacts on every 30 of 492 points to ramp up precision 1544868692.189 * * * * [misc]points: Setting MPFR precision to 320 1544868692.193 * * * * [misc]points: Setting MPFR precision to 576 1544868692.197 * * * * [misc]points: Computing exacts on every 15 of 492 points to ramp up precision 1544868692.200 * * * * [misc]points: Setting MPFR precision to 320 1544868692.206 * * * * [misc]points: Setting MPFR precision to 576 1544868692.213 * * * * [misc]points: Computing exacts on every 7 of 492 points to ramp up precision 1544868692.216 * * * * [misc]points: Setting MPFR precision to 320 1544868692.230 * * * * [misc]points: Setting MPFR precision to 576 1544868692.248 * * * * [misc]points: Computing exacts on every 3 of 492 points to ramp up precision 1544868692.251 * * * * [misc]points: Setting MPFR precision to 320 1544868692.280 * * * * [misc]points: Setting MPFR precision to 576 1544868692.314 * * * * [misc]points: Computing exacts for 492 points 1544868692.317 * * * * [misc]points: Setting MPFR precision to 320 1544868692.476 * * * * [misc]points: Setting MPFR precision to 576 1544868692.565 * * * * [misc]points: Filtering points with unrepresentable outputs 1544868692.565 * * * * [misc]points: Sampling 230 additional inputs, on iter 5 have 7770 / 8000 1544868692.567 * * * * [misc]points: Computing exacts on every 14 of 230 points to ramp up precision 1544868692.571 * * * * [misc]points: Setting MPFR precision to 320 1544868692.573 * * * * [misc]points: Setting MPFR precision to 576 1544868692.575 * * * * [misc]points: Computing exacts on every 7 of 230 points to ramp up precision 1544868692.576 * * * * [misc]points: Setting MPFR precision to 320 1544868692.580 * * * * [misc]points: Setting MPFR precision to 576 1544868692.585 * * * * [misc]points: Computing exacts on every 3 of 230 points to ramp up precision 1544868692.587 * * * * [misc]points: Setting MPFR precision to 320 1544868692.594 * * * * [misc]points: Setting MPFR precision to 576 1544868692.603 * * * * [misc]points: Computing exacts for 230 points 1544868692.605 * * * * [misc]points: Setting MPFR precision to 320 1544868692.707 * * * * [misc]points: Setting MPFR precision to 576 1544868692.739 * * * * [misc]points: Filtering points with unrepresentable outputs 1544868692.739 * * * * [misc]points: Sampling 117 additional inputs, on iter 6 have 7883 / 8000 1544868692.741 * * * * [misc]points: Computing exacts on every 7 of 117 points to ramp up precision 1544868692.743 * * * * [misc]points: Setting MPFR precision to 320 1544868692.747 * * * * [misc]points: Setting MPFR precision to 576 1544868692.751 * * * * [misc]points: Computing exacts on every 3 of 117 points to ramp up precision 1544868692.754 * * * * [misc]points: Setting MPFR precision to 320 1544868692.761 * * * * [misc]points: Setting MPFR precision to 576 1544868692.770 * * * * [misc]points: Computing exacts for 117 points 1544868692.773 * * * * [misc]points: Setting MPFR precision to 320 1544868692.794 * * * * [misc]points: Setting MPFR precision to 576 1544868692.811 * * * * [misc]points: Filtering points with unrepresentable outputs 1544868692.811 * * * * [misc]points: Sampling 65 additional inputs, on iter 7 have 7935 / 8000 1544868692.811 * * * * [misc]points: Computing exacts on every 4 of 65 points to ramp up precision 1544868692.813 * * * * [misc]points: Setting MPFR precision to 320 1544868692.814 * * * * [misc]points: Setting MPFR precision to 576 1544868692.816 * * * * [misc]points: Computing exacts on every 2 of 65 points to ramp up precision 1544868692.818 * * * * [misc]points: Setting MPFR precision to 320 1544868692.821 * * * * [misc]points: Setting MPFR precision to 576 1544868692.824 * * * * [misc]points: Computing exacts for 65 points 1544868692.825 * * * * [misc]points: Setting MPFR precision to 320 1544868692.840 * * * * [misc]points: Setting MPFR precision to 576 1544868693.286 * * * * [misc]points: Filtering points with unrepresentable outputs 1544868693.286 * * * * [misc]points: Sampling 33 additional inputs, on iter 8 have 7967 / 8000 1544868693.287 * * * * [misc]points: Computing exacts on every 2 of 33 points to ramp up precision 1544868693.292 * * * * [misc]points: Setting MPFR precision to 320 1544868693.295 * * * * [misc]points: Setting MPFR precision to 576 1544868693.299 * * * * [misc]points: Computing exacts for 33 points 1544868693.302 * * * * [misc]points: Setting MPFR precision to 320 1544868693.309 * * * * [misc]points: Setting MPFR precision to 576 1544868693.318 * * * * [misc]points: Filtering points with unrepresentable outputs 1544868693.318 * * * * [misc]points: Sampling 19 additional inputs, on iter 9 have 7981 / 8000 1544868693.318 * * * * [misc]points: Computing exacts for 19 points 1544868693.321 * * * * [misc]points: Setting MPFR precision to 320 1544868693.326 * * * * [misc]points: Setting MPFR precision to 576 1544868693.330 * * * * [misc]points: Filtering points with unrepresentable outputs 1544868693.330 * * * * [misc]points: Sampling 9 additional inputs, on iter 10 have 7991 / 8000 1544868693.331 * * * * [misc]points: Computing exacts for 9 points 1544868693.334 * * * * [misc]points: Setting MPFR precision to 320 1544868693.336 * * * * [misc]points: Setting MPFR precision to 576 1544868693.338 * * * * [misc]points: Filtering points with unrepresentable outputs 1544868693.338 * * * * [misc]points: Sampling 4 additional inputs, on iter 11 have 7996 / 8000 1544868693.338 * * * * [misc]points: Computing exacts for 4 points 1544868693.341 * * * * [misc]points: Setting MPFR precision to 320 1544868693.342 * * * * [misc]points: Setting MPFR precision to 576 1544868693.343 * * * * [misc]points: Filtering points with unrepresentable outputs 1544868693.343 * * * * [misc]points: Sampling 4 additional inputs, on iter 12 have 7997 / 8000 1544868693.344 * * * * [misc]points: Computing exacts for 4 points 1544868693.346 * * * * [misc]points: Setting MPFR precision to 320 1544868693.347 * * * * [misc]points: Setting MPFR precision to 576 1544868693.348 * * * * [misc]points: Filtering points with unrepresentable outputs 1544868693.349 * * * * [misc]points: Sampling 4 additional inputs, on iter 13 have 7999 / 8000 1544868693.349 * * * * [misc]points: Computing exacts for 4 points 1544868693.351 * * * * [misc]points: Setting MPFR precision to 320 1544868693.353 * * * * [misc]points: Setting MPFR precision to 576 1544868693.354 * * * * [misc]points: Filtering points with unrepresentable outputs 1544868693.354 * * * * [exit]points: Sampled 8001 points with exact outputs