1536753644.861 * [misc]progress: [Phase 1 of 3] Setting up. 1536753644.861 * * * [misc]progress: [1/2] Preparing points 1536753644.861 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1536753644.863 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1536753644.865 * * * * [misc]points: Setting MPFR precision to 64 1536753644.866 * * * * [misc]points: Setting MPFR precision to 320 1536753644.867 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1536753644.869 * * * * [misc]points: Setting MPFR precision to 64 1536753644.870 * * * * [misc]points: Setting MPFR precision to 320 1536753644.872 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1536753644.874 * * * * [misc]points: Setting MPFR precision to 64 1536753644.876 * * * * [misc]points: Setting MPFR precision to 320 1536753644.880 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1536753644.881 * * * * [misc]points: Setting MPFR precision to 64 1536753644.886 * * * * [misc]points: Setting MPFR precision to 320 1536753644.891 * * * * [misc]points: Computing exacts for 256 points 1536753644.892 * * * * [misc]points: Setting MPFR precision to 64 1536753644.904 * * * * [misc]points: Setting MPFR precision to 320 1536753644.912 * * * * [misc]points: Setting MPFR precision to 576 1536753644.922 * * * * [misc]points: Filtering points with unrepresentable outputs 1536753644.922 * * * * [misc]points: Sampling 203 additional inputs, on iter 1 have 53 / 256 1536753644.924 * * * * [misc]points: Computing exacts on every 12 of 203 points to ramp up precision 1536753644.926 * * * * [misc]points: Setting MPFR precision to 320 1536753644.927 * * * * [misc]points: Setting MPFR precision to 576 1536753644.928 * * * * [misc]points: Computing exacts on every 6 of 203 points to ramp up precision 1536753644.930 * * * * [misc]points: Setting MPFR precision to 320 1536753644.932 * * * * [misc]points: Setting MPFR precision to 576 1536753644.934 * * * * [misc]points: Computing exacts on every 3 of 203 points to ramp up precision 1536753644.935 * * * * [misc]points: Setting MPFR precision to 320 1536753644.938 * * * * [misc]points: Setting MPFR precision to 576 1536753644.942 * * * * [misc]points: Computing exacts for 203 points 1536753644.944 * * * * [misc]points: Setting MPFR precision to 320 1536753644.956 * * * * [misc]points: Setting MPFR precision to 576 1536753644.970 * * * * [misc]points: Filtering points with unrepresentable outputs 1536753644.971 * * * * [misc]points: Sampling 159 additional inputs, on iter 2 have 97 / 256 1536753644.972 * * * * [misc]points: Computing exacts on every 9 of 159 points to ramp up precision 1536753644.974 * * * * [misc]points: Setting MPFR precision to 320 1536753644.975 * * * * [misc]points: Setting MPFR precision to 576 1536753644.976 * * * * [misc]points: Computing exacts on every 4 of 159 points to ramp up precision 1536753644.978 * * * * [misc]points: Setting MPFR precision to 320 1536753644.980 * * * * [misc]points: Setting MPFR precision to 576 1536753644.982 * * * * [misc]points: Computing exacts on every 2 of 159 points to ramp up precision 1536753644.984 * * * * [misc]points: Setting MPFR precision to 320 1536753644.987 * * * * [misc]points: Setting MPFR precision to 576 1536753644.991 * * * * [misc]points: Computing exacts for 159 points 1536753644.993 * * * * [misc]points: Setting MPFR precision to 320 1536753645.002 * * * * [misc]points: Setting MPFR precision to 576 1536753645.013 * * * * [misc]points: Filtering points with unrepresentable outputs 1536753645.013 * * * * [misc]points: Sampling 129 additional inputs, on iter 3 have 127 / 256 1536753645.014 * * * * [misc]points: Computing exacts on every 8 of 129 points to ramp up precision 1536753645.016 * * * * [misc]points: Setting MPFR precision to 320 1536753645.016 * * * * [misc]points: Setting MPFR precision to 576 1536753645.017 * * * * [misc]points: Computing exacts on every 4 of 129 points to ramp up precision 1536753645.018 * * * * [misc]points: Setting MPFR precision to 320 1536753645.018 * * * * [misc]points: Setting MPFR precision to 576 1536753645.019 * * * * [misc]points: Computing exacts on every 2 of 129 points to ramp up precision 1536753645.020 * * * * [misc]points: Setting MPFR precision to 320 1536753645.022 * * * * [misc]points: Setting MPFR precision to 576 1536753645.023 * * * * [misc]points: Computing exacts for 129 points 1536753645.024 * * * * [misc]points: Setting MPFR precision to 320 1536753645.028 * * * * [misc]points: Setting MPFR precision to 576 1536753645.033 * * * * [misc]points: Filtering points with unrepresentable outputs 1536753645.033 * * * * [misc]points: Sampling 102 additional inputs, on iter 4 have 154 / 256 1536753645.033 * * * * [misc]points: Computing exacts on every 6 of 102 points to ramp up precision 1536753645.035 * * * * [misc]points: Setting MPFR precision to 320 1536753645.035 * * * * [misc]points: Setting MPFR precision to 576 1536753645.036 * * * * [misc]points: Computing exacts on every 3 of 102 points to ramp up precision 1536753645.036 * * * * [misc]points: Setting MPFR precision to 320 1536753645.037 * * * * [misc]points: Setting MPFR precision to 576 1536753645.038 * * * * [misc]points: Computing exacts for 102 points 1536753645.039 * * * * [misc]points: Setting MPFR precision to 320 1536753645.042 * * * * [misc]points: Setting MPFR precision to 576 1536753645.046 * * * * [misc]points: Filtering points with unrepresentable outputs 1536753645.046 * * * * [misc]points: Sampling 73 additional inputs, on iter 5 have 183 / 256 1536753645.047 * * * * [misc]points: Computing exacts on every 4 of 73 points to ramp up precision 1536753645.048 * * * * [misc]points: Setting MPFR precision to 320 1536753645.048 * * * * [misc]points: Setting MPFR precision to 576 1536753645.049 * * * * [misc]points: Computing exacts on every 2 of 73 points to ramp up precision 1536753645.049 * * * * [misc]points: Setting MPFR precision to 320 1536753645.050 * * * * [misc]points: Setting MPFR precision to 576 1536753645.051 * * * * [misc]points: Computing exacts for 73 points 1536753645.052 * * * * [misc]points: Setting MPFR precision to 320 1536753645.055 * * * * [misc]points: Setting MPFR precision to 576 1536753645.059 * * * * [misc]points: Filtering points with unrepresentable outputs 1536753645.059 * * * * [misc]points: Sampling 53 additional inputs, on iter 6 have 203 / 256 1536753645.060 * * * * [misc]points: Computing exacts on every 3 of 53 points to ramp up precision 1536753645.061 * * * * [misc]points: Setting MPFR precision to 320 1536753645.063 * * * * [misc]points: Setting MPFR precision to 576 1536753645.064 * * * * [misc]points: Computing exacts for 53 points 1536753645.065 * * * * [misc]points: Setting MPFR precision to 320 1536753645.069 * * * * [misc]points: Setting MPFR precision to 576 1536753645.072 * * * * [misc]points: Filtering points with unrepresentable outputs 1536753645.072 * * * * [misc]points: Sampling 44 additional inputs, on iter 7 have 212 / 256 1536753645.073 * * * * [misc]points: Computing exacts on every 2 of 44 points to ramp up precision 1536753645.074 * * * * [misc]points: Setting MPFR precision to 320 1536753645.075 * * * * [misc]points: Setting MPFR precision to 576 1536753645.076 * * * * [misc]points: Computing exacts for 44 points 1536753645.078 * * * * [misc]points: Setting MPFR precision to 320 1536753645.081 * * * * [misc]points: Setting MPFR precision to 576 1536753645.107 * * * * [misc]points: Filtering points with unrepresentable outputs 1536753645.107 * * * * [misc]points: Sampling 37 additional inputs, on iter 8 have 219 / 256 1536753645.107 * * * * [misc]points: Computing exacts on every 2 of 37 points to ramp up precision 1536753645.109 * * * * [misc]points: Setting MPFR precision to 320 1536753645.109 * * * * [misc]points: Setting MPFR precision to 576 1536753645.110 * * * * [misc]points: Computing exacts for 37 points 1536753645.110 * * * * [misc]points: Setting MPFR precision to 320 1536753645.112 * * * * [misc]points: Setting MPFR precision to 576 1536753645.113 * * * * [misc]points: Filtering points with unrepresentable outputs 1536753645.113 * * * * [misc]points: Sampling 29 additional inputs, on iter 9 have 227 / 256 1536753645.113 * * * * [misc]points: Computing exacts for 29 points 1536753645.114 * * * * [misc]points: Setting MPFR precision to 320 1536753645.115 * * * * [misc]points: Setting MPFR precision to 576 1536753645.116 * * * * [misc]points: Filtering points with unrepresentable outputs 1536753645.116 * * * * [misc]points: Sampling 21 additional inputs, on iter 10 have 235 / 256 1536753645.116 * * * * [misc]points: Computing exacts for 21 points 1536753645.119 * * * * [misc]points: Setting MPFR precision to 320 1536753645.120 * * * * [misc]points: Setting MPFR precision to 576 1536753645.120 * * * * [misc]points: Filtering points with unrepresentable outputs 1536753645.120 * * * * [misc]points: Sampling 18 additional inputs, on iter 11 have 238 / 256 1536753645.120 * * * * [misc]points: Computing exacts for 18 points 1536753645.121 * * * * [misc]points: Setting MPFR precision to 320 1536753645.122 * * * * [misc]points: Setting MPFR precision to 576 1536753645.123 * * * * [misc]points: Filtering points with unrepresentable outputs 1536753645.123 * * * * [misc]points: Sampling 16 additional inputs, on iter 12 have 240 / 256 1536753645.123 * * * * [misc]points: Computing exacts for 16 points 1536753645.124 * * * * [misc]points: Setting MPFR precision to 320 1536753645.125 * * * * [misc]points: Setting MPFR precision to 576 1536753645.126 * * * * [misc]points: Filtering points with unrepresentable outputs 1536753645.126 * * * * [misc]points: Sampling 11 additional inputs, on iter 13 have 245 / 256 1536753645.126 * * * * [misc]points: Computing exacts for 11 points 1536753645.128 * * * * [misc]points: Setting MPFR precision to 320 1536753645.128 * * * * [misc]points: Setting MPFR precision to 576 1536753645.129 * * * * [misc]points: Filtering points with unrepresentable outputs 1536753645.129 * * * * [misc]points: Sampling 7 additional inputs, on iter 14 have 249 / 256 1536753645.130 * * * * [misc]points: Computing exacts for 7 points 1536753645.131 * * * * [misc]points: Setting MPFR precision to 320 1536753645.131 * * * * [misc]points: Setting MPFR precision to 576 1536753645.132 * * * * [misc]points: Filtering points with unrepresentable outputs 1536753645.132 * * * * [misc]points: Sampling 6 additional inputs, on iter 15 have 250 / 256 1536753645.132 * * * * [misc]points: Computing exacts for 6 points 1536753645.133 * * * * [misc]points: Setting MPFR precision to 320 1536753645.134 * * * * [misc]points: Setting MPFR precision to 576 1536753645.134 * * * * [misc]points: Filtering points with unrepresentable outputs 1536753645.134 * * * * [misc]points: Sampling 4 additional inputs, on iter 16 have 253 / 256 1536753645.135 * * * * [misc]points: Computing exacts for 4 points 1536753645.136 * * * * [misc]points: Setting MPFR precision to 320 1536753645.136 * * * * [misc]points: Setting MPFR precision to 576 1536753645.137 * * * * [misc]points: Filtering points with unrepresentable outputs 1536753645.137 * * * * [misc]points: Sampling 4 additional inputs, on iter 17 have 253 / 256 1536753645.137 * * * * [misc]points: Computing exacts for 4 points 1536753645.138 * * * * [misc]points: Setting MPFR precision to 320 1536753645.139 * * * * [misc]points: Setting MPFR precision to 576 1536753645.139 * * * * [misc]points: Filtering points with unrepresentable outputs 1536753645.139 * * * * [misc]points: Sampling 4 additional inputs, on iter 18 have 254 / 256 1536753645.139 * * * * [misc]points: Computing exacts for 4 points 1536753645.141 * * * * [misc]points: Setting MPFR precision to 320 1536753645.141 * * * * [misc]points: Setting MPFR precision to 576 1536753645.142 * * * * [misc]points: Filtering points with unrepresentable outputs 1536753645.142 * * * * [misc]points: Sampling 4 additional inputs, on iter 19 have 255 / 256 1536753645.142 * * * * [misc]points: Computing exacts for 4 points 1536753645.143 * * * * [misc]points: Setting MPFR precision to 320 1536753645.144 * * * * [misc]points: Setting MPFR precision to 576 1536753645.144 * * * * [misc]points: Filtering points with unrepresentable outputs 1536753645.144 * * * * [exit]points: Sampled 256 points with exact outputs 1536753645.144 * * * [misc]progress: [2/2] Setting up program. 1536753645.149 * [misc]progress: [Phase 2 of 3] Improving. 1536753645.149 * [enter]simplify: Simplifying (exp (+ (log a) (log b))) 1536753645.150 * * [misc]simplify: iters left: 4 (6 enodes) 1536753645.152 * * [misc]simplify: iters left: 3 (10 enodes) 1536753645.153 * * [misc]simplify: iters left: 2 (11 enodes) 1536753645.155 * [exit]simplify: Simplified to (* a b) 1536753645.161 * * [misc]progress: iteration 1 / 4 1536753645.161 * * * [misc]progress: picking best candidate 1536753645.163 * * * * [misc]pick: Picked # 1536753645.163 * * * [misc]progress: localizing error 1536753645.167 * * * [misc]progress: generating rewritten candidates 1536753645.167 * * * [misc]progress: generating series expansions 1536753645.167 * * * [misc]progress: simplifying candidates 1536753645.167 * * * [misc]progress: adding candidates to table 1536753645.167 * [misc]progress: [Phase 3 of 3] Extracting. 1536753645.169 * [enter]simplify: Simplifying (* a b) 1536753645.169 * * [misc]simplify: iters left: 2 (3 enodes) 1536753645.170 * * [misc]simplify: iters left: 1 (4 enodes) 1536753645.170 * [exit]simplify: Simplified to (* a b) 1536753645.170 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1536753645.235 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1536753645.237 * * * * [misc]points: Setting MPFR precision to 320 1536753645.238 * * * * [misc]points: Setting MPFR precision to 576 1536753645.239 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1536753645.241 * * * * [misc]points: Setting MPFR precision to 320 1536753645.243 * * * * [misc]points: Setting MPFR precision to 576 1536753645.246 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1536753645.247 * * * * [misc]points: Setting MPFR precision to 320 1536753645.252 * * * * [misc]points: Setting MPFR precision to 576 1536753645.257 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1536753645.258 * * * * [misc]points: Setting MPFR precision to 320 1536753645.263 * * * * [misc]points: Setting MPFR precision to 576 1536753645.267 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1536753645.269 * * * * [misc]points: Setting MPFR precision to 320 1536753645.276 * * * * [misc]points: Setting MPFR precision to 576 1536753645.285 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1536753645.286 * * * * [misc]points: Setting MPFR precision to 320 1536753645.311 * * * * [misc]points: Setting MPFR precision to 576 1536753645.345 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1536753645.347 * * * * [misc]points: Setting MPFR precision to 320 1536753645.415 * * * * [misc]points: Setting MPFR precision to 576 1536753645.455 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1536753645.456 * * * * [misc]points: Setting MPFR precision to 320 1536753645.571 * * * * [misc]points: Setting MPFR precision to 576 1536753645.732 * * * * [misc]points: Computing exacts for 8000 points 1536753645.733 * * * * [misc]points: Setting MPFR precision to 320 1536753646.237 * * * * [misc]points: Setting MPFR precision to 576 1536753646.815 * * * * [misc]points: Filtering points with unrepresentable outputs 1536753646.818 * * * * [misc]points: Sampling 6291 additional inputs, on iter 1 have 1709 / 8000 1536753646.908 * * * * [misc]points: Computing exacts on every 393 of 6291 points to ramp up precision 1536753646.910 * * * * [misc]points: Setting MPFR precision to 320 1536753646.911 * * * * [misc]points: Setting MPFR precision to 576 1536753646.912 * * * * [misc]points: Computing exacts on every 196 of 6291 points to ramp up precision 1536753646.914 * * * * [misc]points: Setting MPFR precision to 320 1536753646.916 * * * * [misc]points: Setting MPFR precision to 576 1536753646.918 * * * * [misc]points: Computing exacts on every 98 of 6291 points to ramp up precision 1536753646.920 * * * * [misc]points: Setting MPFR precision to 320 1536753646.924 * * * * [misc]points: Setting MPFR precision to 576 1536753646.929 * * * * [misc]points: Computing exacts on every 49 of 6291 points to ramp up precision 1536753646.931 * * * * [misc]points: Setting MPFR precision to 320 1536753646.939 * * * * [misc]points: Setting MPFR precision to 576 1536753646.944 * * * * [misc]points: Computing exacts on every 24 of 6291 points to ramp up precision 1536753646.945 * * * * [misc]points: Setting MPFR precision to 320 1536753646.952 * * * * [misc]points: Setting MPFR precision to 576 1536753646.961 * * * * [misc]points: Computing exacts on every 12 of 6291 points to ramp up precision 1536753646.962 * * * * [misc]points: Setting MPFR precision to 320 1536753646.986 * * * * [misc]points: Setting MPFR precision to 576 1536753647.018 * * * * [misc]points: Computing exacts on every 6 of 6291 points to ramp up precision 1536753647.019 * * * * [misc]points: Setting MPFR precision to 320 1536753647.486 * * * * [misc]points: Setting MPFR precision to 576 1536753647.528 * * * * [misc]points: Computing exacts on every 3 of 6291 points to ramp up precision 1536753647.529 * * * * [misc]points: Setting MPFR precision to 320 1536753647.606 * * * * [misc]points: Setting MPFR precision to 576 1536753647.721 * * * * [misc]points: Computing exacts for 6291 points 1536753647.723 * * * * [misc]points: Setting MPFR precision to 320 1536753648.100 * * * * [misc]points: Setting MPFR precision to 576 1536753648.629 * * * * [misc]points: Filtering points with unrepresentable outputs 1536753648.631 * * * * [misc]points: Sampling 4940 additional inputs, on iter 2 have 3060 / 8000 1536753648.673 * * * * [misc]points: Computing exacts on every 308 of 4940 points to ramp up precision 1536753648.675 * * * * [misc]points: Setting MPFR precision to 320 1536753648.676 * * * * [misc]points: Setting MPFR precision to 576 1536753648.677 * * * * [misc]points: Computing exacts on every 154 of 4940 points to ramp up precision 1536753648.679 * * * * [misc]points: Setting MPFR precision to 320 1536753648.706 * * * * [misc]points: Setting MPFR precision to 576 1536753648.708 * * * * [misc]points: Computing exacts on every 77 of 4940 points to ramp up precision 1536753648.710 * * * * [misc]points: Setting MPFR precision to 320 1536753648.716 * * * * [misc]points: Setting MPFR precision to 576 1536753648.720 * * * * [misc]points: Computing exacts on every 38 of 4940 points to ramp up precision 1536753648.722 * * * * [misc]points: Setting MPFR precision to 320 1536753648.729 * * * * [misc]points: Setting MPFR precision to 576 1536753648.736 * * * * [misc]points: Computing exacts on every 19 of 4940 points to ramp up precision 1536753648.737 * * * * [misc]points: Setting MPFR precision to 320 1536753648.752 * * * * [misc]points: Setting MPFR precision to 576 1536753648.764 * * * * [misc]points: Computing exacts on every 9 of 4940 points to ramp up precision 1536753648.765 * * * * [misc]points: Setting MPFR precision to 320 1536753648.779 * * * * [misc]points: Setting MPFR precision to 576 1536753648.801 * * * * [misc]points: Computing exacts on every 4 of 4940 points to ramp up precision 1536753648.803 * * * * [misc]points: Setting MPFR precision to 320 1536753648.854 * * * * [misc]points: Setting MPFR precision to 576 1536753648.897 * * * * [misc]points: Computing exacts on every 2 of 4940 points to ramp up precision 1536753648.899 * * * * [misc]points: Setting MPFR precision to 320 1536753649.046 * * * * [misc]points: Setting MPFR precision to 576 1536753649.137 * * * * [misc]points: Computing exacts for 4940 points 1536753649.139 * * * * [misc]points: Setting MPFR precision to 320 1536753649.416 * * * * [misc]points: Setting MPFR precision to 576 1536753649.653 * * * * [misc]points: Filtering points with unrepresentable outputs 1536753649.653 * * * * [misc]points: Sampling 3884 additional inputs, on iter 3 have 4116 / 8000 1536753649.670 * * * * [misc]points: Computing exacts on every 242 of 3884 points to ramp up precision 1536753649.671 * * * * [misc]points: Setting MPFR precision to 320 1536753649.672 * * * * [misc]points: Setting MPFR precision to 576 1536753649.672 * * * * [misc]points: Computing exacts on every 121 of 3884 points to ramp up precision 1536753649.673 * * * * [misc]points: Setting MPFR precision to 320 1536753649.675 * * * * [misc]points: Setting MPFR precision to 576 1536753649.676 * * * * [misc]points: Computing exacts on every 60 of 3884 points to ramp up precision 1536753649.677 * * * * [misc]points: Setting MPFR precision to 320 1536753649.679 * * * * [misc]points: Setting MPFR precision to 576 1536753649.681 * * * * [misc]points: Computing exacts on every 30 of 3884 points to ramp up precision 1536753649.682 * * * * [misc]points: Setting MPFR precision to 320 1536753649.689 * * * * [misc]points: Setting MPFR precision to 576 1536753649.698 * * * * [misc]points: Computing exacts on every 15 of 3884 points to ramp up precision 1536753649.699 * * * * [misc]points: Setting MPFR precision to 320 1536753649.729 * * * * [misc]points: Setting MPFR precision to 576 1536753649.739 * * * * [misc]points: Computing exacts on every 7 of 3884 points to ramp up precision 1536753649.740 * * * * [misc]points: Setting MPFR precision to 320 1536753649.754 * * * * [misc]points: Setting MPFR precision to 576 1536753649.779 * * * * [misc]points: Computing exacts on every 3 of 3884 points to ramp up precision 1536753649.781 * * * * [misc]points: Setting MPFR precision to 320 1536753649.837 * * * * [misc]points: Setting MPFR precision to 576 1536753649.904 * * * * [misc]points: Computing exacts for 3884 points 1536753649.906 * * * * [misc]points: Setting MPFR precision to 320 1536753650.139 * * * * [misc]points: Setting MPFR precision to 576 1536753650.753 * * * * [misc]points: Filtering points with unrepresentable outputs 1536753650.754 * * * * [misc]points: Sampling 3057 additional inputs, on iter 4 have 4943 / 8000 1536753650.794 * * * * [misc]points: Computing exacts on every 191 of 3057 points to ramp up precision 1536753650.796 * * * * [misc]points: Setting MPFR precision to 320 1536753650.797 * * * * [misc]points: Setting MPFR precision to 576 1536753650.798 * * * * [misc]points: Computing exacts on every 95 of 3057 points to ramp up precision 1536753650.800 * * * * [misc]points: Setting MPFR precision to 320 1536753650.805 * * * * [misc]points: Setting MPFR precision to 576 1536753650.807 * * * * [misc]points: Computing exacts on every 47 of 3057 points to ramp up precision 1536753650.809 * * * * [misc]points: Setting MPFR precision to 320 1536753650.813 * * * * [misc]points: Setting MPFR precision to 576 1536753650.817 * * * * [misc]points: Computing exacts on every 23 of 3057 points to ramp up precision 1536753650.819 * * * * [misc]points: Setting MPFR precision to 320 1536753650.826 * * * * [misc]points: Setting MPFR precision to 576 1536753650.835 * * * * [misc]points: Computing exacts on every 11 of 3057 points to ramp up precision 1536753650.837 * * * * [misc]points: Setting MPFR precision to 320 1536753650.854 * * * * [misc]points: Setting MPFR precision to 576 1536753650.872 * * * * [misc]points: Computing exacts on every 5 of 3057 points to ramp up precision 1536753650.874 * * * * [misc]points: Setting MPFR precision to 320 1536753650.903 * * * * [misc]points: Setting MPFR precision to 576 1536753650.937 * * * * [misc]points: Computing exacts on every 2 of 3057 points to ramp up precision 1536753650.939 * * * * [misc]points: Setting MPFR precision to 320 1536753650.991 * * * * [misc]points: Setting MPFR precision to 576 1536753651.103 * * * * [misc]points: Computing exacts for 3057 points 1536753651.105 * * * * [misc]points: Setting MPFR precision to 320 1536753651.253 * * * * [misc]points: Setting MPFR precision to 576 1536753651.457 * * * * [misc]points: Filtering points with unrepresentable outputs 1536753651.459 * * * * [misc]points: Sampling 2409 additional inputs, on iter 5 have 5591 / 8000 1536753651.479 * * * * [misc]points: Computing exacts on every 150 of 2409 points to ramp up precision 1536753651.481 * * * * [misc]points: Setting MPFR precision to 320 1536753651.483 * * * * [misc]points: Setting MPFR precision to 576 1536753651.484 * * * * [misc]points: Computing exacts on every 75 of 2409 points to ramp up precision 1536753651.485 * * * * [misc]points: Setting MPFR precision to 320 1536753651.488 * * * * [misc]points: Setting MPFR precision to 576 1536753651.490 * * * * [misc]points: Computing exacts on every 37 of 2409 points to ramp up precision 1536753651.492 * * * * [misc]points: Setting MPFR precision to 320 1536753651.496 * * * * [misc]points: Setting MPFR precision to 576 1536753651.537 * * * * [misc]points: Computing exacts on every 18 of 2409 points to ramp up precision 1536753651.539 * * * * [misc]points: Setting MPFR precision to 320 1536753651.550 * * * * [misc]points: Setting MPFR precision to 576 1536753651.559 * * * * [misc]points: Computing exacts on every 9 of 2409 points to ramp up precision 1536753651.561 * * * * [misc]points: Setting MPFR precision to 320 1536753651.576 * * * * [misc]points: Setting MPFR precision to 576 1536753651.593 * * * * [misc]points: Computing exacts on every 4 of 2409 points to ramp up precision 1536753651.595 * * * * [misc]points: Setting MPFR precision to 320 1536753651.618 * * * * [misc]points: Setting MPFR precision to 576 1536753651.635 * * * * [misc]points: Computing exacts on every 2 of 2409 points to ramp up precision 1536753651.636 * * * * [misc]points: Setting MPFR precision to 320 1536753651.682 * * * * [misc]points: Setting MPFR precision to 576 1536753651.730 * * * * [misc]points: Computing exacts for 2409 points 1536753651.732 * * * * [misc]points: Setting MPFR precision to 320 1536753651.884 * * * * [misc]points: Setting MPFR precision to 576 1536753652.027 * * * * [misc]points: Filtering points with unrepresentable outputs 1536753652.027 * * * * [misc]points: Sampling 1897 additional inputs, on iter 6 have 6103 / 8000 1536753652.047 * * * * [misc]points: Computing exacts on every 118 of 1897 points to ramp up precision 1536753652.049 * * * * [misc]points: Setting MPFR precision to 320 1536753652.050 * * * * [misc]points: Setting MPFR precision to 576 1536753652.051 * * * * [misc]points: Computing exacts on every 59 of 1897 points to ramp up precision 1536753652.053 * * * * [misc]points: Setting MPFR precision to 320 1536753652.054 * * * * [misc]points: Setting MPFR precision to 576 1536753652.056 * * * * [misc]points: Computing exacts on every 29 of 1897 points to ramp up precision 1536753652.058 * * * * [misc]points: Setting MPFR precision to 320 1536753652.061 * * * * [misc]points: Setting MPFR precision to 576 1536753652.065 * * * * [misc]points: Computing exacts on every 14 of 1897 points to ramp up precision 1536753652.067 * * * * [misc]points: Setting MPFR precision to 320 1536753652.075 * * * * [misc]points: Setting MPFR precision to 576 1536753652.084 * * * * [misc]points: Computing exacts on every 7 of 1897 points to ramp up precision 1536753652.086 * * * * [misc]points: Setting MPFR precision to 320 1536753652.100 * * * * [misc]points: Setting MPFR precision to 576 1536753652.116 * * * * [misc]points: Computing exacts on every 3 of 1897 points to ramp up precision 1536753652.118 * * * * [misc]points: Setting MPFR precision to 320 1536753652.147 * * * * [misc]points: Setting MPFR precision to 576 1536753652.170 * * * * [misc]points: Computing exacts for 1897 points 1536753652.171 * * * * [misc]points: Setting MPFR precision to 320 1536753652.276 * * * * [misc]points: Setting MPFR precision to 576 1536753652.369 * * * * [misc]points: Filtering points with unrepresentable outputs 1536753652.370 * * * * [misc]points: Sampling 1462 additional inputs, on iter 7 have 6538 / 8000 1536753652.378 * * * * [misc]points: Computing exacts on every 91 of 1462 points to ramp up precision 1536753652.379 * * * * [misc]points: Setting MPFR precision to 320 1536753652.380 * * * * [misc]points: Setting MPFR precision to 576 1536753652.381 * * * * [misc]points: Computing exacts on every 45 of 1462 points to ramp up precision 1536753652.382 * * * * [misc]points: Setting MPFR precision to 320 1536753652.383 * * * * [misc]points: Setting MPFR precision to 576 1536753652.384 * * * * [misc]points: Computing exacts on every 22 of 1462 points to ramp up precision 1536753652.385 * * * * [misc]points: Setting MPFR precision to 320 1536753652.387 * * * * [misc]points: Setting MPFR precision to 576 1536753652.390 * * * * [misc]points: Computing exacts on every 11 of 1462 points to ramp up precision 1536753652.391 * * * * [misc]points: Setting MPFR precision to 320 1536753652.420 * * * * [misc]points: Setting MPFR precision to 576 1536753652.425 * * * * [misc]points: Computing exacts on every 5 of 1462 points to ramp up precision 1536753652.426 * * * * [misc]points: Setting MPFR precision to 320 1536753652.435 * * * * [misc]points: Setting MPFR precision to 576 1536753652.447 * * * * [misc]points: Computing exacts on every 2 of 1462 points to ramp up precision 1536753652.449 * * * * [misc]points: Setting MPFR precision to 320 1536753652.479 * * * * [misc]points: Setting MPFR precision to 576 1536753652.515 * * * * [misc]points: Computing exacts for 1462 points 1536753652.517 * * * * [misc]points: Setting MPFR precision to 320 1536753652.606 * * * * [misc]points: Setting MPFR precision to 576 1536753652.729 * * * * [misc]points: Filtering points with unrepresentable outputs 1536753652.729 * * * * [misc]points: Sampling 1151 additional inputs, on iter 8 have 6849 / 8000 1536753652.739 * * * * [misc]points: Computing exacts on every 71 of 1151 points to ramp up precision 1536753652.740 * * * * [misc]points: Setting MPFR precision to 320 1536753652.742 * * * * [misc]points: Setting MPFR precision to 576 1536753652.743 * * * * [misc]points: Computing exacts on every 35 of 1151 points to ramp up precision 1536753652.744 * * * * [misc]points: Setting MPFR precision to 320 1536753652.746 * * * * [misc]points: Setting MPFR precision to 576 1536753652.748 * * * * [misc]points: Computing exacts on every 17 of 1151 points to ramp up precision 1536753652.749 * * * * [misc]points: Setting MPFR precision to 320 1536753652.753 * * * * [misc]points: Setting MPFR precision to 576 1536753652.757 * * * * [misc]points: Computing exacts on every 8 of 1151 points to ramp up precision 1536753652.759 * * * * [misc]points: Setting MPFR precision to 320 1536753652.763 * * * * [misc]points: Setting MPFR precision to 576 1536753652.767 * * * * [misc]points: Computing exacts on every 4 of 1151 points to ramp up precision 1536753652.768 * * * * [misc]points: Setting MPFR precision to 320 1536753652.775 * * * * [misc]points: Setting MPFR precision to 576 1536753652.783 * * * * [misc]points: Computing exacts on every 2 of 1151 points to ramp up precision 1536753652.784 * * * * [misc]points: Setting MPFR precision to 320 1536753652.796 * * * * [misc]points: Setting MPFR precision to 576 1536753652.820 * * * * [misc]points: Computing exacts for 1151 points 1536753652.821 * * * * [misc]points: Setting MPFR precision to 320 1536753652.923 * * * * [misc]points: Setting MPFR precision to 576 1536753653.006 * * * * [misc]points: Filtering points with unrepresentable outputs 1536753653.006 * * * * [misc]points: Sampling 886 additional inputs, on iter 9 have 7114 / 8000 1536753653.014 * * * * [misc]points: Computing exacts on every 55 of 886 points to ramp up precision 1536753653.016 * * * * [misc]points: Setting MPFR precision to 320 1536753653.017 * * * * [misc]points: Setting MPFR precision to 576 1536753653.018 * * * * [misc]points: Computing exacts on every 27 of 886 points to ramp up precision 1536753653.019 * * * * [misc]points: Setting MPFR precision to 320 1536753653.021 * * * * [misc]points: Setting MPFR precision to 576 1536753653.024 * * * * [misc]points: Computing exacts on every 13 of 886 points to ramp up precision 1536753653.025 * * * * [misc]points: Setting MPFR precision to 320 1536753653.029 * * * * [misc]points: Setting MPFR precision to 576 1536753653.033 * * * * [misc]points: Computing exacts on every 6 of 886 points to ramp up precision 1536753653.035 * * * * [misc]points: Setting MPFR precision to 320 1536753653.042 * * * * [misc]points: Setting MPFR precision to 576 1536753653.052 * * * * [misc]points: Computing exacts on every 3 of 886 points to ramp up precision 1536753653.053 * * * * [misc]points: Setting MPFR precision to 320 1536753653.067 * * * * [misc]points: Setting MPFR precision to 576 1536753653.082 * * * * [misc]points: Computing exacts for 886 points 1536753653.084 * * * * [misc]points: Setting MPFR precision to 320 1536753653.142 * * * * [misc]points: Setting MPFR precision to 576 1536753653.224 * * * * [misc]points: Filtering points with unrepresentable outputs 1536753653.224 * * * * [misc]points: Sampling 699 additional inputs, on iter 10 have 7301 / 8000 1536753653.227 * * * * [misc]points: Computing exacts on every 43 of 699 points to ramp up precision 1536753653.228 * * * * [misc]points: Setting MPFR precision to 320 1536753653.229 * * * * [misc]points: Setting MPFR precision to 576 1536753653.230 * * * * [misc]points: Computing exacts on every 21 of 699 points to ramp up precision 1536753653.231 * * * * [misc]points: Setting MPFR precision to 320 1536753653.232 * * * * [misc]points: Setting MPFR precision to 576 1536753653.233 * * * * [misc]points: Computing exacts on every 10 of 699 points to ramp up precision 1536753653.234 * * * * [misc]points: Setting MPFR precision to 320 1536753653.236 * * * * [misc]points: Setting MPFR precision to 576 1536753653.240 * * * * [misc]points: Computing exacts on every 5 of 699 points to ramp up precision 1536753653.242 * * * * [misc]points: Setting MPFR precision to 320 1536753653.249 * * * * [misc]points: Setting MPFR precision to 576 1536753653.256 * * * * [misc]points: Computing exacts on every 2 of 699 points to ramp up precision 1536753653.257 * * * * [misc]points: Setting MPFR precision to 320 1536753653.264 * * * * [misc]points: Setting MPFR precision to 576 1536753653.271 * * * * [misc]points: Computing exacts for 699 points 1536753653.272 * * * * [misc]points: Setting MPFR precision to 320 1536753653.297 * * * * [misc]points: Setting MPFR precision to 576 1536753653.321 * * * * [misc]points: Filtering points with unrepresentable outputs 1536753653.322 * * * * [misc]points: Sampling 571 additional inputs, on iter 11 have 7429 / 8000 1536753653.327 * * * * [misc]points: Computing exacts on every 35 of 571 points to ramp up precision 1536753653.329 * * * * [misc]points: Setting MPFR precision to 320 1536753653.330 * * * * [misc]points: Setting MPFR precision to 576 1536753653.331 * * * * [misc]points: Computing exacts on every 17 of 571 points to ramp up precision 1536753653.333 * * * * [misc]points: Setting MPFR precision to 320 1536753653.658 * * * * [misc]points: Setting MPFR precision to 576 1536753653.660 * * * * [misc]points: Computing exacts on every 8 of 571 points to ramp up precision 1536753653.661 * * * * [misc]points: Setting MPFR precision to 320 1536753653.663 * * * * [misc]points: Setting MPFR precision to 576 1536753653.665 * * * * [misc]points: Computing exacts on every 4 of 571 points to ramp up precision 1536753653.666 * * * * [misc]points: Setting MPFR precision to 320 1536753653.671 * * * * [misc]points: Setting MPFR precision to 576 1536753653.675 * * * * [misc]points: Computing exacts on every 2 of 571 points to ramp up precision 1536753653.676 * * * * [misc]points: Setting MPFR precision to 320 1536753653.682 * * * * [misc]points: Setting MPFR precision to 576 1536753653.688 * * * * [misc]points: Computing exacts for 571 points 1536753653.689 * * * * [misc]points: Setting MPFR precision to 320 1536753653.720 * * * * [misc]points: Setting MPFR precision to 576 1536753653.740 * * * * [misc]points: Filtering points with unrepresentable outputs 1536753653.740 * * * * [misc]points: Sampling 443 additional inputs, on iter 12 have 7557 / 8000 1536753653.742 * * * * [misc]points: Computing exacts on every 27 of 443 points to ramp up precision 1536753653.743 * * * * [misc]points: Setting MPFR precision to 320 1536753653.744 * * * * [misc]points: Setting MPFR precision to 576 1536753653.744 * * * * [misc]points: Computing exacts on every 13 of 443 points to ramp up precision 1536753653.745 * * * * [misc]points: Setting MPFR precision to 320 1536753653.746 * * * * [misc]points: Setting MPFR precision to 576 1536753653.748 * * * * [misc]points: Computing exacts on every 6 of 443 points to ramp up precision 1536753653.748 * * * * [misc]points: Setting MPFR precision to 320 1536753653.750 * * * * [misc]points: Setting MPFR precision to 576 1536753653.753 * * * * [misc]points: Computing exacts on every 3 of 443 points to ramp up precision 1536753653.754 * * * * [misc]points: Setting MPFR precision to 320 1536753653.757 * * * * [misc]points: Setting MPFR precision to 576 1536753653.761 * * * * [misc]points: Computing exacts for 443 points 1536753653.762 * * * * [misc]points: Setting MPFR precision to 320 1536753653.776 * * * * [misc]points: Setting MPFR precision to 576 1536753653.802 * * * * [misc]points: Filtering points with unrepresentable outputs 1536753653.803 * * * * [misc]points: Sampling 349 additional inputs, on iter 13 have 7651 / 8000 1536753653.806 * * * * [misc]points: Computing exacts on every 21 of 349 points to ramp up precision 1536753653.807 * * * * [misc]points: Setting MPFR precision to 320 1536753653.843 * * * * [misc]points: Setting MPFR precision to 576 1536753653.844 * * * * [misc]points: Computing exacts on every 10 of 349 points to ramp up precision 1536753653.845 * * * * [misc]points: Setting MPFR precision to 320 1536753653.846 * * * * [misc]points: Setting MPFR precision to 576 1536753653.847 * * * * [misc]points: Computing exacts on every 5 of 349 points to ramp up precision 1536753653.848 * * * * [misc]points: Setting MPFR precision to 320 1536753653.850 * * * * [misc]points: Setting MPFR precision to 576 1536753653.852 * * * * [misc]points: Computing exacts on every 2 of 349 points to ramp up precision 1536753653.855 * * * * [misc]points: Setting MPFR precision to 320 1536753653.858 * * * * [misc]points: Setting MPFR precision to 576 1536753653.862 * * * * [misc]points: Computing exacts for 349 points 1536753653.863 * * * * [misc]points: Setting MPFR precision to 320 1536753653.880 * * * * [misc]points: Setting MPFR precision to 576 1536753653.899 * * * * [misc]points: Filtering points with unrepresentable outputs 1536753653.900 * * * * [misc]points: Sampling 262 additional inputs, on iter 14 have 7738 / 8000 1536753653.902 * * * * [misc]points: Computing exacts on every 16 of 262 points to ramp up precision 1536753653.903 * * * * [misc]points: Setting MPFR precision to 320 1536753653.905 * * * * [misc]points: Setting MPFR precision to 576 1536753653.906 * * * * [misc]points: Computing exacts on every 8 of 262 points to ramp up precision 1536753653.907 * * * * [misc]points: Setting MPFR precision to 320 1536753653.909 * * * * [misc]points: Setting MPFR precision to 576 1536753653.911 * * * * [misc]points: Computing exacts on every 4 of 262 points to ramp up precision 1536753653.912 * * * * [misc]points: Setting MPFR precision to 320 1536753653.915 * * * * [misc]points: Setting MPFR precision to 576 1536753653.919 * * * * [misc]points: Computing exacts on every 2 of 262 points to ramp up precision 1536753653.920 * * * * [misc]points: Setting MPFR precision to 320 1536753653.926 * * * * [misc]points: Setting MPFR precision to 576 1536753653.932 * * * * [misc]points: Computing exacts for 262 points 1536753653.934 * * * * [misc]points: Setting MPFR precision to 320 1536753653.950 * * * * [misc]points: Setting MPFR precision to 576 1536753653.965 * * * * [misc]points: Filtering points with unrepresentable outputs 1536753653.965 * * * * [misc]points: Sampling 202 additional inputs, on iter 15 have 7798 / 8000 1536753653.966 * * * * [misc]points: Computing exacts on every 12 of 202 points to ramp up precision 1536753653.967 * * * * [misc]points: Setting MPFR precision to 320 1536753653.968 * * * * [misc]points: Setting MPFR precision to 576 1536753653.968 * * * * [misc]points: Computing exacts on every 6 of 202 points to ramp up precision 1536753653.969 * * * * [misc]points: Setting MPFR precision to 320 1536753653.970 * * * * [misc]points: Setting MPFR precision to 576 1536753653.971 * * * * [misc]points: Computing exacts on every 3 of 202 points to ramp up precision 1536753653.972 * * * * [misc]points: Setting MPFR precision to 320 1536753653.973 * * * * [misc]points: Setting MPFR precision to 576 1536753653.975 * * * * [misc]points: Computing exacts for 202 points 1536753653.976 * * * * [misc]points: Setting MPFR precision to 320 1536753653.982 * * * * [misc]points: Setting MPFR precision to 576 1536753653.989 * * * * [misc]points: Filtering points with unrepresentable outputs 1536753653.989 * * * * [misc]points: Sampling 152 additional inputs, on iter 16 have 7848 / 8000 1536753653.990 * * * * [misc]points: Computing exacts on every 9 of 152 points to ramp up precision 1536753653.991 * * * * [misc]points: Setting MPFR precision to 320 1536753653.992 * * * * [misc]points: Setting MPFR precision to 576 1536753653.992 * * * * [misc]points: Computing exacts on every 4 of 152 points to ramp up precision 1536753653.993 * * * * [misc]points: Setting MPFR precision to 320 1536753653.994 * * * * [misc]points: Setting MPFR precision to 576 1536753653.995 * * * * [misc]points: Computing exacts on every 2 of 152 points to ramp up precision 1536753653.996 * * * * [misc]points: Setting MPFR precision to 320 1536753653.999 * * * * [misc]points: Setting MPFR precision to 576 1536753654.003 * * * * [misc]points: Computing exacts for 152 points 1536753654.004 * * * * [misc]points: Setting MPFR precision to 320 1536753654.013 * * * * [misc]points: Setting MPFR precision to 576 1536753654.049 * * * * [misc]points: Filtering points with unrepresentable outputs 1536753654.049 * * * * [misc]points: Sampling 124 additional inputs, on iter 17 have 7876 / 8000 1536753654.049 * * * * [misc]points: Computing exacts on every 7 of 124 points to ramp up precision 1536753654.050 * * * * [misc]points: Setting MPFR precision to 320 1536753654.051 * * * * [misc]points: Setting MPFR precision to 576 1536753654.052 * * * * [misc]points: Computing exacts on every 3 of 124 points to ramp up precision 1536753654.053 * * * * [misc]points: Setting MPFR precision to 320 1536753654.054 * * * * [misc]points: Setting MPFR precision to 576 1536753654.055 * * * * [misc]points: Computing exacts for 124 points 1536753654.055 * * * * [misc]points: Setting MPFR precision to 320 1536753654.061 * * * * [misc]points: Setting MPFR precision to 576 1536753654.065 * * * * [misc]points: Filtering points with unrepresentable outputs 1536753654.065 * * * * [misc]points: Sampling 100 additional inputs, on iter 18 have 7900 / 8000 1536753654.066 * * * * [misc]points: Computing exacts on every 6 of 100 points to ramp up precision 1536753654.067 * * * * [misc]points: Setting MPFR precision to 320 1536753654.068 * * * * [misc]points: Setting MPFR precision to 576 1536753654.068 * * * * [misc]points: Computing exacts on every 3 of 100 points to ramp up precision 1536753654.069 * * * * [misc]points: Setting MPFR precision to 320 1536753654.070 * * * * [misc]points: Setting MPFR precision to 576 1536753654.070 * * * * [misc]points: Computing exacts for 100 points 1536753654.071 * * * * [misc]points: Setting MPFR precision to 320 1536753654.074 * * * * [misc]points: Setting MPFR precision to 576 1536753654.078 * * * * [misc]points: Filtering points with unrepresentable outputs 1536753654.078 * * * * [misc]points: Sampling 78 additional inputs, on iter 19 have 7922 / 8000 1536753654.078 * * * * [misc]points: Computing exacts on every 4 of 78 points to ramp up precision 1536753654.079 * * * * [misc]points: Setting MPFR precision to 320 1536753654.080 * * * * [misc]points: Setting MPFR precision to 576 1536753654.080 * * * * [misc]points: Computing exacts on every 2 of 78 points to ramp up precision 1536753654.081 * * * * [misc]points: Setting MPFR precision to 320 1536753654.082 * * * * [misc]points: Setting MPFR precision to 576 1536753654.083 * * * * [misc]points: Computing exacts for 78 points 1536753654.084 * * * * [misc]points: Setting MPFR precision to 320 1536753654.086 * * * * [misc]points: Setting MPFR precision to 576 1536753654.089 * * * * [misc]points: Filtering points with unrepresentable outputs 1536753654.089 * * * * [misc]points: Sampling 62 additional inputs, on iter 20 have 7938 / 8000 1536753654.089 * * * * [misc]points: Computing exacts on every 3 of 62 points to ramp up precision 1536753654.090 * * * * [misc]points: Setting MPFR precision to 320 1536753654.091 * * * * [misc]points: Setting MPFR precision to 576 1536753654.091 * * * * [misc]points: Computing exacts for 62 points 1536753654.092 * * * * [misc]points: Setting MPFR precision to 320 1536753654.094 * * * * [misc]points: Setting MPFR precision to 576 1536753654.098 * * * * [misc]points: Filtering points with unrepresentable outputs 1536753654.098 * * * * [misc]points: Sampling 48 additional inputs, on iter 21 have 7952 / 8000 1536753654.098 * * * * [misc]points: Computing exacts on every 3 of 48 points to ramp up precision 1536753654.100 * * * * [misc]points: Setting MPFR precision to 320 1536753654.100 * * * * [misc]points: Setting MPFR precision to 576 1536753654.101 * * * * [misc]points: Computing exacts for 48 points 1536753654.102 * * * * [misc]points: Setting MPFR precision to 320 1536753654.105 * * * * [misc]points: Setting MPFR precision to 576 1536753654.109 * * * * [misc]points: Filtering points with unrepresentable outputs 1536753654.109 * * * * [misc]points: Sampling 40 additional inputs, on iter 22 have 7960 / 8000 1536753654.109 * * * * [misc]points: Computing exacts on every 2 of 40 points to ramp up precision 1536753654.111 * * * * [misc]points: Setting MPFR precision to 320 1536753654.112 * * * * [misc]points: Setting MPFR precision to 576 1536753654.113 * * * * [misc]points: Computing exacts for 40 points 1536753654.114 * * * * [misc]points: Setting MPFR precision to 320 1536753654.117 * * * * [misc]points: Setting MPFR precision to 576 1536753654.120 * * * * [misc]points: Filtering points with unrepresentable outputs 1536753654.120 * * * * [misc]points: Sampling 28 additional inputs, on iter 23 have 7972 / 8000 1536753654.120 * * * * [misc]points: Computing exacts for 28 points 1536753654.122 * * * * [misc]points: Setting MPFR precision to 320 1536753654.124 * * * * [misc]points: Setting MPFR precision to 576 1536753654.126 * * * * [misc]points: Filtering points with unrepresentable outputs 1536753654.126 * * * * [misc]points: Sampling 24 additional inputs, on iter 24 have 7976 / 8000 1536753654.126 * * * * [misc]points: Computing exacts for 24 points 1536753654.128 * * * * [misc]points: Setting MPFR precision to 320 1536753654.129 * * * * [misc]points: Setting MPFR precision to 576 1536753654.130 * * * * [misc]points: Filtering points with unrepresentable outputs 1536753654.131 * * * * [misc]points: Sampling 22 additional inputs, on iter 25 have 7978 / 8000 1536753654.131 * * * * [misc]points: Computing exacts for 22 points 1536753654.132 * * * * [misc]points: Setting MPFR precision to 320 1536753654.134 * * * * [misc]points: Setting MPFR precision to 576 1536753654.135 * * * * [misc]points: Filtering points with unrepresentable outputs 1536753654.135 * * * * [misc]points: Sampling 20 additional inputs, on iter 26 have 7980 / 8000 1536753654.135 * * * * [misc]points: Computing exacts for 20 points 1536753654.137 * * * * [misc]points: Setting MPFR precision to 320 1536753654.138 * * * * [misc]points: Setting MPFR precision to 576 1536753654.140 * * * * [misc]points: Filtering points with unrepresentable outputs 1536753654.140 * * * * [misc]points: Sampling 15 additional inputs, on iter 27 have 7985 / 8000 1536753654.140 * * * * [misc]points: Computing exacts for 15 points 1536753654.142 * * * * [misc]points: Setting MPFR precision to 320 1536753654.143 * * * * [misc]points: Setting MPFR precision to 576 1536753654.143 * * * * [misc]points: Filtering points with unrepresentable outputs 1536753654.144 * * * * [misc]points: Sampling 13 additional inputs, on iter 28 have 7987 / 8000 1536753654.144 * * * * [misc]points: Computing exacts for 13 points 1536753654.145 * * * * [misc]points: Setting MPFR precision to 320 1536753654.146 * * * * [misc]points: Setting MPFR precision to 576 1536753654.147 * * * * [misc]points: Filtering points with unrepresentable outputs 1536753654.147 * * * * [misc]points: Sampling 13 additional inputs, on iter 29 have 7987 / 8000 1536753654.147 * * * * [misc]points: Computing exacts for 13 points 1536753654.149 * * * * [misc]points: Setting MPFR precision to 320 1536753654.149 * * * * [misc]points: Setting MPFR precision to 576 1536753654.150 * * * * [misc]points: Filtering points with unrepresentable outputs 1536753654.150 * * * * [misc]points: Sampling 10 additional inputs, on iter 30 have 7990 / 8000 1536753654.151 * * * * [misc]points: Computing exacts for 10 points 1536753654.152 * * * * [misc]points: Setting MPFR precision to 320 1536753654.153 * * * * [misc]points: Setting MPFR precision to 576 1536753654.154 * * * * [misc]points: Filtering points with unrepresentable outputs 1536753654.154 * * * * [misc]points: Sampling 7 additional inputs, on iter 31 have 7993 / 8000 1536753654.154 * * * * [misc]points: Computing exacts for 7 points 1536753654.155 * * * * [misc]points: Setting MPFR precision to 320 1536753654.156 * * * * [misc]points: Setting MPFR precision to 576 1536753654.156 * * * * [misc]points: Filtering points with unrepresentable outputs 1536753654.156 * * * * [misc]points: Sampling 7 additional inputs, on iter 32 have 7993 / 8000 1536753654.157 * * * * [misc]points: Computing exacts for 7 points 1536753654.158 * * * * [misc]points: Setting MPFR precision to 320 1536753654.158 * * * * [misc]points: Setting MPFR precision to 576 1536753654.159 * * * * [misc]points: Filtering points with unrepresentable outputs 1536753654.159 * * * * [misc]points: Sampling 6 additional inputs, on iter 33 have 7994 / 8000 1536753654.159 * * * * [misc]points: Computing exacts for 6 points 1536753654.160 * * * * [misc]points: Setting MPFR precision to 320 1536753654.161 * * * * [misc]points: Setting MPFR precision to 576 1536753654.161 * * * * [misc]points: Filtering points with unrepresentable outputs 1536753654.161 * * * * [misc]points: Sampling 6 additional inputs, on iter 34 have 7994 / 8000 1536753654.161 * * * * [misc]points: Computing exacts for 6 points 1536753654.163 * * * * [misc]points: Setting MPFR precision to 320 1536753654.163 * * * * [misc]points: Setting MPFR precision to 576 1536753654.164 * * * * [misc]points: Filtering points with unrepresentable outputs 1536753654.164 * * * * [misc]points: Sampling 5 additional inputs, on iter 35 have 7995 / 8000 1536753654.164 * * * * [misc]points: Computing exacts for 5 points 1536753654.165 * * * * [misc]points: Setting MPFR precision to 320 1536753654.166 * * * * [misc]points: Setting MPFR precision to 576 1536753654.166 * * * * [misc]points: Filtering points with unrepresentable outputs 1536753654.166 * * * * [misc]points: Sampling 4 additional inputs, on iter 36 have 7996 / 8000 1536753654.166 * * * * [misc]points: Computing exacts for 4 points 1536753654.167 * * * * [misc]points: Setting MPFR precision to 320 1536753654.168 * * * * [misc]points: Setting MPFR precision to 576 1536753654.168 * * * * [misc]points: Filtering points with unrepresentable outputs 1536753654.168 * * * * [misc]points: Sampling 4 additional inputs, on iter 37 have 7997 / 8000 1536753654.168 * * * * [misc]points: Computing exacts for 4 points 1536753654.170 * * * * [misc]points: Setting MPFR precision to 320 1536753654.170 * * * * [misc]points: Setting MPFR precision to 576 1536753654.171 * * * * [misc]points: Filtering points with unrepresentable outputs 1536753654.171 * * * * [misc]points: Sampling 4 additional inputs, on iter 38 have 7997 / 8000 1536753654.171 * * * * [misc]points: Computing exacts for 4 points 1536753654.172 * * * * [misc]points: Setting MPFR precision to 320 1536753654.172 * * * * [misc]points: Setting MPFR precision to 576 1536753654.173 * * * * [misc]points: Filtering points with unrepresentable outputs 1536753654.173 * * * * [misc]points: Sampling 4 additional inputs, on iter 39 have 7997 / 8000 1536753654.173 * * * * [misc]points: Computing exacts for 4 points 1536753654.174 * * * * [misc]points: Setting MPFR precision to 320 1536753654.174 * * * * [misc]points: Setting MPFR precision to 576 1536753654.175 * * * * [misc]points: Filtering points with unrepresentable outputs 1536753654.175 * * * * [misc]points: Sampling 4 additional inputs, on iter 40 have 7998 / 8000 1536753654.175 * * * * [misc]points: Computing exacts for 4 points 1536753654.176 * * * * [misc]points: Setting MPFR precision to 320 1536753654.177 * * * * [misc]points: Setting MPFR precision to 576 1536753654.177 * * * * [misc]points: Filtering points with unrepresentable outputs 1536753654.177 * * * * [misc]points: Sampling 4 additional inputs, on iter 41 have 7998 / 8000 1536753654.177 * * * * [misc]points: Computing exacts for 4 points 1536753654.178 * * * * [misc]points: Setting MPFR precision to 320 1536753654.179 * * * * [misc]points: Setting MPFR precision to 576 1536753654.179 * * * * [misc]points: Filtering points with unrepresentable outputs 1536753654.179 * * * * [misc]points: Sampling 4 additional inputs, on iter 42 have 7999 / 8000 1536753654.179 * * * * [misc]points: Computing exacts for 4 points 1536753654.180 * * * * [misc]points: Setting MPFR precision to 320 1536753654.181 * * * * [misc]points: Setting MPFR precision to 576 1536753654.181 * * * * [misc]points: Filtering points with unrepresentable outputs 1536753654.181 * * * * [exit]points: Sampled 8001 points with exact outputs