1536749234.710 * [misc]progress: [Phase 1 of 3] Setting up. 1536749234.710 * * * [misc]progress: [1/2] Preparing points 1536749234.710 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1536749234.712 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1536749234.714 * * * * [misc]points: Setting MPFR precision to 64 1536749234.715 * * * * [misc]points: Setting MPFR precision to 320 1536749234.716 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1536749234.718 * * * * [misc]points: Setting MPFR precision to 64 1536749234.719 * * * * [misc]points: Setting MPFR precision to 320 1536749234.721 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1536749234.723 * * * * [misc]points: Setting MPFR precision to 64 1536749234.725 * * * * [misc]points: Setting MPFR precision to 320 1536749234.729 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1536749234.730 * * * * [misc]points: Setting MPFR precision to 64 1536749234.735 * * * * [misc]points: Setting MPFR precision to 320 1536749234.740 * * * * [misc]points: Computing exacts for 256 points 1536749234.742 * * * * [misc]points: Setting MPFR precision to 64 1536749234.755 * * * * [misc]points: Setting MPFR precision to 320 1536749234.782 * * * * [misc]points: Setting MPFR precision to 576 1536749234.800 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749234.800 * * * * [misc]points: Sampling 203 additional inputs, on iter 1 have 53 / 256 1536749234.802 * * * * [misc]points: Computing exacts on every 12 of 203 points to ramp up precision 1536749234.803 * * * * [misc]points: Setting MPFR precision to 320 1536749234.805 * * * * [misc]points: Setting MPFR precision to 576 1536749234.806 * * * * [misc]points: Computing exacts on every 6 of 203 points to ramp up precision 1536749234.808 * * * * [misc]points: Setting MPFR precision to 320 1536749234.809 * * * * [misc]points: Setting MPFR precision to 576 1536749234.811 * * * * [misc]points: Computing exacts on every 3 of 203 points to ramp up precision 1536749234.813 * * * * [misc]points: Setting MPFR precision to 320 1536749234.817 * * * * [misc]points: Setting MPFR precision to 576 1536749234.821 * * * * [misc]points: Computing exacts for 203 points 1536749234.822 * * * * [misc]points: Setting MPFR precision to 320 1536749234.835 * * * * [misc]points: Setting MPFR precision to 576 1536749234.850 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749234.850 * * * * [misc]points: Sampling 159 additional inputs, on iter 2 have 97 / 256 1536749234.851 * * * * [misc]points: Computing exacts on every 9 of 159 points to ramp up precision 1536749234.853 * * * * [misc]points: Setting MPFR precision to 320 1536749234.854 * * * * [misc]points: Setting MPFR precision to 576 1536749234.855 * * * * [misc]points: Computing exacts on every 4 of 159 points to ramp up precision 1536749234.857 * * * * [misc]points: Setting MPFR precision to 320 1536749234.859 * * * * [misc]points: Setting MPFR precision to 576 1536749234.861 * * * * [misc]points: Computing exacts on every 2 of 159 points to ramp up precision 1536749234.863 * * * * [misc]points: Setting MPFR precision to 320 1536749234.866 * * * * [misc]points: Setting MPFR precision to 576 1536749234.870 * * * * [misc]points: Computing exacts for 159 points 1536749234.872 * * * * [misc]points: Setting MPFR precision to 320 1536749234.883 * * * * [misc]points: Setting MPFR precision to 576 1536749234.895 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749234.895 * * * * [misc]points: Sampling 129 additional inputs, on iter 3 have 127 / 256 1536749234.896 * * * * [misc]points: Computing exacts on every 8 of 129 points to ramp up precision 1536749234.898 * * * * [misc]points: Setting MPFR precision to 320 1536749234.899 * * * * [misc]points: Setting MPFR precision to 576 1536749234.900 * * * * [misc]points: Computing exacts on every 4 of 129 points to ramp up precision 1536749234.901 * * * * [misc]points: Setting MPFR precision to 320 1536749234.903 * * * * [misc]points: Setting MPFR precision to 576 1536749234.905 * * * * [misc]points: Computing exacts on every 2 of 129 points to ramp up precision 1536749234.907 * * * * [misc]points: Setting MPFR precision to 320 1536749234.910 * * * * [misc]points: Setting MPFR precision to 576 1536749234.913 * * * * [misc]points: Computing exacts for 129 points 1536749234.915 * * * * [misc]points: Setting MPFR precision to 320 1536749234.923 * * * * [misc]points: Setting MPFR precision to 576 1536749234.932 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749234.932 * * * * [misc]points: Sampling 102 additional inputs, on iter 4 have 154 / 256 1536749234.933 * * * * [misc]points: Computing exacts on every 6 of 102 points to ramp up precision 1536749234.935 * * * * [misc]points: Setting MPFR precision to 320 1536749234.936 * * * * [misc]points: Setting MPFR precision to 576 1536749234.938 * * * * [misc]points: Computing exacts on every 3 of 102 points to ramp up precision 1536749234.939 * * * * [misc]points: Setting MPFR precision to 320 1536749234.941 * * * * [misc]points: Setting MPFR precision to 576 1536749234.943 * * * * [misc]points: Computing exacts for 102 points 1536749234.945 * * * * [misc]points: Setting MPFR precision to 320 1536749234.951 * * * * [misc]points: Setting MPFR precision to 576 1536749234.959 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749234.959 * * * * [misc]points: Sampling 73 additional inputs, on iter 5 have 183 / 256 1536749234.960 * * * * [misc]points: Computing exacts on every 4 of 73 points to ramp up precision 1536749234.962 * * * * [misc]points: Setting MPFR precision to 320 1536749234.963 * * * * [misc]points: Setting MPFR precision to 576 1536749234.964 * * * * [misc]points: Computing exacts on every 2 of 73 points to ramp up precision 1536749234.965 * * * * [misc]points: Setting MPFR precision to 320 1536749234.967 * * * * [misc]points: Setting MPFR precision to 576 1536749234.969 * * * * [misc]points: Computing exacts for 73 points 1536749234.971 * * * * [misc]points: Setting MPFR precision to 320 1536749234.976 * * * * [misc]points: Setting MPFR precision to 576 1536749234.981 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749234.981 * * * * [misc]points: Sampling 53 additional inputs, on iter 6 have 203 / 256 1536749234.982 * * * * [misc]points: Computing exacts on every 3 of 53 points to ramp up precision 1536749234.983 * * * * [misc]points: Setting MPFR precision to 320 1536749234.984 * * * * [misc]points: Setting MPFR precision to 576 1536749234.986 * * * * [misc]points: Computing exacts for 53 points 1536749234.988 * * * * [misc]points: Setting MPFR precision to 320 1536749234.991 * * * * [misc]points: Setting MPFR precision to 576 1536749234.995 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749234.995 * * * * [misc]points: Sampling 44 additional inputs, on iter 7 have 212 / 256 1536749234.995 * * * * [misc]points: Computing exacts on every 2 of 44 points to ramp up precision 1536749234.997 * * * * [misc]points: Setting MPFR precision to 320 1536749234.998 * * * * [misc]points: Setting MPFR precision to 576 1536749234.999 * * * * [misc]points: Computing exacts for 44 points 1536749235.000 * * * * [misc]points: Setting MPFR precision to 320 1536749235.003 * * * * [misc]points: Setting MPFR precision to 576 1536749235.006 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749235.006 * * * * [misc]points: Sampling 37 additional inputs, on iter 8 have 219 / 256 1536749235.007 * * * * [misc]points: Computing exacts on every 2 of 37 points to ramp up precision 1536749235.008 * * * * [misc]points: Setting MPFR precision to 320 1536749235.046 * * * * [misc]points: Setting MPFR precision to 576 1536749235.047 * * * * [misc]points: Computing exacts for 37 points 1536749235.049 * * * * [misc]points: Setting MPFR precision to 320 1536749235.052 * * * * [misc]points: Setting MPFR precision to 576 1536749235.055 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749235.055 * * * * [misc]points: Sampling 29 additional inputs, on iter 9 have 227 / 256 1536749235.055 * * * * [misc]points: Computing exacts for 29 points 1536749235.057 * * * * [misc]points: Setting MPFR precision to 320 1536749235.059 * * * * [misc]points: Setting MPFR precision to 576 1536749235.061 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749235.061 * * * * [misc]points: Sampling 21 additional inputs, on iter 10 have 235 / 256 1536749235.065 * * * * [misc]points: Computing exacts for 21 points 1536749235.066 * * * * [misc]points: Setting MPFR precision to 320 1536749235.068 * * * * [misc]points: Setting MPFR precision to 576 1536749235.069 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749235.069 * * * * [misc]points: Sampling 18 additional inputs, on iter 11 have 238 / 256 1536749235.070 * * * * [misc]points: Computing exacts for 18 points 1536749235.071 * * * * [misc]points: Setting MPFR precision to 320 1536749235.073 * * * * [misc]points: Setting MPFR precision to 576 1536749235.074 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749235.074 * * * * [misc]points: Sampling 16 additional inputs, on iter 12 have 240 / 256 1536749235.074 * * * * [misc]points: Computing exacts for 16 points 1536749235.076 * * * * [misc]points: Setting MPFR precision to 320 1536749235.077 * * * * [misc]points: Setting MPFR precision to 576 1536749235.078 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749235.078 * * * * [misc]points: Sampling 11 additional inputs, on iter 13 have 245 / 256 1536749235.079 * * * * [misc]points: Computing exacts for 11 points 1536749235.080 * * * * [misc]points: Setting MPFR precision to 320 1536749235.081 * * * * [misc]points: Setting MPFR precision to 576 1536749235.082 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749235.082 * * * * [misc]points: Sampling 7 additional inputs, on iter 14 have 249 / 256 1536749235.082 * * * * [misc]points: Computing exacts for 7 points 1536749235.083 * * * * [misc]points: Setting MPFR precision to 320 1536749235.084 * * * * [misc]points: Setting MPFR precision to 576 1536749235.084 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749235.084 * * * * [misc]points: Sampling 6 additional inputs, on iter 15 have 250 / 256 1536749235.085 * * * * [misc]points: Computing exacts for 6 points 1536749235.086 * * * * [misc]points: Setting MPFR precision to 320 1536749235.086 * * * * [misc]points: Setting MPFR precision to 576 1536749235.087 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749235.087 * * * * [misc]points: Sampling 4 additional inputs, on iter 16 have 253 / 256 1536749235.087 * * * * [misc]points: Computing exacts for 4 points 1536749235.088 * * * * [misc]points: Setting MPFR precision to 320 1536749235.089 * * * * [misc]points: Setting MPFR precision to 576 1536749235.089 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749235.089 * * * * [misc]points: Sampling 4 additional inputs, on iter 17 have 253 / 256 1536749235.089 * * * * [misc]points: Computing exacts for 4 points 1536749235.091 * * * * [misc]points: Setting MPFR precision to 320 1536749235.091 * * * * [misc]points: Setting MPFR precision to 576 1536749235.091 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749235.091 * * * * [misc]points: Sampling 4 additional inputs, on iter 18 have 254 / 256 1536749235.091 * * * * [misc]points: Computing exacts for 4 points 1536749235.093 * * * * [misc]points: Setting MPFR precision to 320 1536749235.093 * * * * [misc]points: Setting MPFR precision to 576 1536749235.093 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749235.093 * * * * [misc]points: Sampling 4 additional inputs, on iter 19 have 255 / 256 1536749235.094 * * * * [misc]points: Computing exacts for 4 points 1536749235.095 * * * * [misc]points: Setting MPFR precision to 320 1536749235.095 * * * * [misc]points: Setting MPFR precision to 576 1536749235.096 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749235.096 * * * * [exit]points: Sampled 256 points with exact outputs 1536749235.096 * * * [misc]progress: [2/2] Setting up program. 1536749235.104 * [misc]progress: [Phase 2 of 3] Improving. 1536749235.104 * [enter]simplify: Simplifying (exp (+ (log a) (log b))) 1536749235.105 * * [misc]simplify: iters left: 4 (6 enodes) 1536749235.108 * * [misc]simplify: iters left: 3 (10 enodes) 1536749235.111 * * [misc]simplify: iters left: 2 (11 enodes) 1536749235.114 * [exit]simplify: Simplified to (* a b) 1536749235.125 * * [misc]progress: iteration 1 / 4 1536749235.125 * * * [misc]progress: picking best candidate 1536749235.128 * * * * [misc]pick: Picked # 1536749235.128 * * * [misc]progress: localizing error 1536749235.132 * * * [misc]progress: generating rewritten candidates 1536749235.133 * * * [misc]progress: generating series expansions 1536749235.133 * * * [misc]progress: simplifying candidates 1536749235.133 * * * [misc]progress: adding candidates to table 1536749235.133 * [misc]progress: [Phase 3 of 3] Extracting. 1536749235.135 * [enter]simplify: Simplifying (* a b) 1536749235.135 * * [misc]simplify: iters left: 2 (3 enodes) 1536749235.135 * * [misc]simplify: iters left: 1 (4 enodes) 1536749235.135 * [exit]simplify: Simplified to (* a b) 1536749235.136 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1536749235.184 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1536749235.185 * * * * [misc]points: Setting MPFR precision to 320 1536749235.186 * * * * [misc]points: Setting MPFR precision to 576 1536749235.186 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1536749235.187 * * * * [misc]points: Setting MPFR precision to 320 1536749235.189 * * * * [misc]points: Setting MPFR precision to 576 1536749235.190 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1536749235.191 * * * * [misc]points: Setting MPFR precision to 320 1536749235.193 * * * * [misc]points: Setting MPFR precision to 576 1536749235.195 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1536749235.196 * * * * [misc]points: Setting MPFR precision to 320 1536749235.200 * * * * [misc]points: Setting MPFR precision to 576 1536749235.205 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1536749235.206 * * * * [misc]points: Setting MPFR precision to 320 1536749235.219 * * * * [misc]points: Setting MPFR precision to 576 1536749235.233 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1536749235.234 * * * * [misc]points: Setting MPFR precision to 320 1536749235.260 * * * * [misc]points: Setting MPFR precision to 576 1536749235.292 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1536749235.294 * * * * [misc]points: Setting MPFR precision to 320 1536749235.387 * * * * [misc]points: Setting MPFR precision to 576 1536749235.426 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1536749235.428 * * * * [misc]points: Setting MPFR precision to 320 1536749235.535 * * * * [misc]points: Setting MPFR precision to 576 1536749235.657 * * * * [misc]points: Computing exacts for 8000 points 1536749235.659 * * * * [misc]points: Setting MPFR precision to 320 1536749236.210 * * * * [misc]points: Setting MPFR precision to 576 1536749236.777 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749236.779 * * * * [misc]points: Sampling 6291 additional inputs, on iter 1 have 1709 / 8000 1536749236.872 * * * * [misc]points: Computing exacts on every 393 of 6291 points to ramp up precision 1536749236.875 * * * * [misc]points: Setting MPFR precision to 320 1536749236.876 * * * * [misc]points: Setting MPFR precision to 576 1536749236.878 * * * * [misc]points: Computing exacts on every 196 of 6291 points to ramp up precision 1536749236.880 * * * * [misc]points: Setting MPFR precision to 320 1536749236.881 * * * * [misc]points: Setting MPFR precision to 576 1536749236.882 * * * * [misc]points: Computing exacts on every 98 of 6291 points to ramp up precision 1536749236.883 * * * * [misc]points: Setting MPFR precision to 320 1536749236.888 * * * * [misc]points: Setting MPFR precision to 576 1536749236.892 * * * * [misc]points: Computing exacts on every 49 of 6291 points to ramp up precision 1536749236.894 * * * * [misc]points: Setting MPFR precision to 320 1536749236.898 * * * * [misc]points: Setting MPFR precision to 576 1536749236.903 * * * * [misc]points: Computing exacts on every 24 of 6291 points to ramp up precision 1536749236.904 * * * * [misc]points: Setting MPFR precision to 320 1536749236.911 * * * * [misc]points: Setting MPFR precision to 576 1536749236.920 * * * * [misc]points: Computing exacts on every 12 of 6291 points to ramp up precision 1536749236.921 * * * * [misc]points: Setting MPFR precision to 320 1536749236.944 * * * * [misc]points: Setting MPFR precision to 576 1536749236.966 * * * * [misc]points: Computing exacts on every 6 of 6291 points to ramp up precision 1536749236.967 * * * * [misc]points: Setting MPFR precision to 320 1536749237.046 * * * * [misc]points: Setting MPFR precision to 576 1536749237.111 * * * * [misc]points: Computing exacts on every 3 of 6291 points to ramp up precision 1536749237.113 * * * * [misc]points: Setting MPFR precision to 320 1536749237.200 * * * * [misc]points: Setting MPFR precision to 576 1536749237.324 * * * * [misc]points: Computing exacts for 6291 points 1536749237.325 * * * * [misc]points: Setting MPFR precision to 320 1536749238.016 * * * * [misc]points: Setting MPFR precision to 576 1536749238.426 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749238.428 * * * * [misc]points: Sampling 4940 additional inputs, on iter 2 have 3060 / 8000 1536749238.470 * * * * [misc]points: Computing exacts on every 308 of 4940 points to ramp up precision 1536749238.472 * * * * [misc]points: Setting MPFR precision to 320 1536749238.474 * * * * [misc]points: Setting MPFR precision to 576 1536749238.475 * * * * [misc]points: Computing exacts on every 154 of 4940 points to ramp up precision 1536749238.476 * * * * [misc]points: Setting MPFR precision to 320 1536749238.478 * * * * [misc]points: Setting MPFR precision to 576 1536749238.480 * * * * [misc]points: Computing exacts on every 77 of 4940 points to ramp up precision 1536749238.482 * * * * [misc]points: Setting MPFR precision to 320 1536749238.510 * * * * [misc]points: Setting MPFR precision to 576 1536749238.514 * * * * [misc]points: Computing exacts on every 38 of 4940 points to ramp up precision 1536749238.517 * * * * [misc]points: Setting MPFR precision to 320 1536749238.525 * * * * [misc]points: Setting MPFR precision to 576 1536749238.533 * * * * [misc]points: Computing exacts on every 19 of 4940 points to ramp up precision 1536749238.535 * * * * [misc]points: Setting MPFR precision to 320 1536749238.546 * * * * [misc]points: Setting MPFR precision to 576 1536749238.555 * * * * [misc]points: Computing exacts on every 9 of 4940 points to ramp up precision 1536749238.556 * * * * [misc]points: Setting MPFR precision to 320 1536749238.571 * * * * [misc]points: Setting MPFR precision to 576 1536749238.592 * * * * [misc]points: Computing exacts on every 4 of 4940 points to ramp up precision 1536749238.593 * * * * [misc]points: Setting MPFR precision to 320 1536749238.652 * * * * [misc]points: Setting MPFR precision to 576 1536749238.688 * * * * [misc]points: Computing exacts on every 2 of 4940 points to ramp up precision 1536749238.689 * * * * [misc]points: Setting MPFR precision to 320 1536749238.769 * * * * [misc]points: Setting MPFR precision to 576 1536749238.879 * * * * [misc]points: Computing exacts for 4940 points 1536749238.881 * * * * [misc]points: Setting MPFR precision to 320 1536749239.172 * * * * [misc]points: Setting MPFR precision to 576 1536749239.429 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749239.431 * * * * [misc]points: Sampling 3884 additional inputs, on iter 3 have 4116 / 8000 1536749239.465 * * * * [misc]points: Computing exacts on every 242 of 3884 points to ramp up precision 1536749239.466 * * * * [misc]points: Setting MPFR precision to 320 1536749239.466 * * * * [misc]points: Setting MPFR precision to 576 1536749239.467 * * * * [misc]points: Computing exacts on every 121 of 3884 points to ramp up precision 1536749239.468 * * * * [misc]points: Setting MPFR precision to 320 1536749239.469 * * * * [misc]points: Setting MPFR precision to 576 1536749239.470 * * * * [misc]points: Computing exacts on every 60 of 3884 points to ramp up precision 1536749239.471 * * * * [misc]points: Setting MPFR precision to 320 1536749239.473 * * * * [misc]points: Setting MPFR precision to 576 1536749239.475 * * * * [misc]points: Computing exacts on every 30 of 3884 points to ramp up precision 1536749239.476 * * * * [misc]points: Setting MPFR precision to 320 1536749239.480 * * * * [misc]points: Setting MPFR precision to 576 1536749239.484 * * * * [misc]points: Computing exacts on every 15 of 3884 points to ramp up precision 1536749239.485 * * * * [misc]points: Setting MPFR precision to 320 1536749239.518 * * * * [misc]points: Setting MPFR precision to 576 1536749239.538 * * * * [misc]points: Computing exacts on every 7 of 3884 points to ramp up precision 1536749239.540 * * * * [misc]points: Setting MPFR precision to 320 1536749239.570 * * * * [misc]points: Setting MPFR precision to 576 1536749239.607 * * * * [misc]points: Computing exacts on every 3 of 3884 points to ramp up precision 1536749239.609 * * * * [misc]points: Setting MPFR precision to 320 1536749239.667 * * * * [misc]points: Setting MPFR precision to 576 1536749239.712 * * * * [misc]points: Computing exacts for 3884 points 1536749239.714 * * * * [misc]points: Setting MPFR precision to 320 1536749239.939 * * * * [misc]points: Setting MPFR precision to 576 1536749240.175 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749240.176 * * * * [misc]points: Sampling 3057 additional inputs, on iter 4 have 4943 / 8000 1536749240.226 * * * * [misc]points: Computing exacts on every 191 of 3057 points to ramp up precision 1536749240.227 * * * * [misc]points: Setting MPFR precision to 320 1536749240.227 * * * * [misc]points: Setting MPFR precision to 576 1536749240.228 * * * * [misc]points: Computing exacts on every 95 of 3057 points to ramp up precision 1536749240.229 * * * * [misc]points: Setting MPFR precision to 320 1536749240.230 * * * * [misc]points: Setting MPFR precision to 576 1536749240.231 * * * * [misc]points: Computing exacts on every 47 of 3057 points to ramp up precision 1536749240.232 * * * * [misc]points: Setting MPFR precision to 320 1536749240.234 * * * * [misc]points: Setting MPFR precision to 576 1536749240.238 * * * * [misc]points: Computing exacts on every 23 of 3057 points to ramp up precision 1536749240.239 * * * * [misc]points: Setting MPFR precision to 320 1536749240.243 * * * * [misc]points: Setting MPFR precision to 576 1536749240.248 * * * * [misc]points: Computing exacts on every 11 of 3057 points to ramp up precision 1536749240.249 * * * * [misc]points: Setting MPFR precision to 320 1536749240.258 * * * * [misc]points: Setting MPFR precision to 576 1536749240.276 * * * * [misc]points: Computing exacts on every 5 of 3057 points to ramp up precision 1536749240.278 * * * * [misc]points: Setting MPFR precision to 320 1536749240.309 * * * * [misc]points: Setting MPFR precision to 576 1536749240.327 * * * * [misc]points: Computing exacts on every 2 of 3057 points to ramp up precision 1536749240.328 * * * * [misc]points: Setting MPFR precision to 320 1536749240.358 * * * * [misc]points: Setting MPFR precision to 576 1536749240.827 * * * * [misc]points: Computing exacts for 3057 points 1536749240.829 * * * * [misc]points: Setting MPFR precision to 320 1536749241.016 * * * * [misc]points: Setting MPFR precision to 576 1536749241.238 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749241.239 * * * * [misc]points: Sampling 2409 additional inputs, on iter 5 have 5591 / 8000 1536749241.261 * * * * [misc]points: Computing exacts on every 150 of 2409 points to ramp up precision 1536749241.262 * * * * [misc]points: Setting MPFR precision to 320 1536749241.264 * * * * [misc]points: Setting MPFR precision to 576 1536749241.265 * * * * [misc]points: Computing exacts on every 75 of 2409 points to ramp up precision 1536749241.266 * * * * [misc]points: Setting MPFR precision to 320 1536749241.269 * * * * [misc]points: Setting MPFR precision to 576 1536749241.271 * * * * [misc]points: Computing exacts on every 37 of 2409 points to ramp up precision 1536749241.272 * * * * [misc]points: Setting MPFR precision to 320 1536749241.274 * * * * [misc]points: Setting MPFR precision to 576 1536749241.277 * * * * [misc]points: Computing exacts on every 18 of 2409 points to ramp up precision 1536749241.278 * * * * [misc]points: Setting MPFR precision to 320 1536749241.305 * * * * [misc]points: Setting MPFR precision to 576 1536749241.309 * * * * [misc]points: Computing exacts on every 9 of 2409 points to ramp up precision 1536749241.311 * * * * [misc]points: Setting MPFR precision to 320 1536749241.320 * * * * [misc]points: Setting MPFR precision to 576 1536749241.328 * * * * [misc]points: Computing exacts on every 4 of 2409 points to ramp up precision 1536749241.329 * * * * [misc]points: Setting MPFR precision to 320 1536749241.344 * * * * [misc]points: Setting MPFR precision to 576 1536749241.361 * * * * [misc]points: Computing exacts on every 2 of 2409 points to ramp up precision 1536749241.362 * * * * [misc]points: Setting MPFR precision to 320 1536749241.387 * * * * [misc]points: Setting MPFR precision to 576 1536749241.428 * * * * [misc]points: Computing exacts for 2409 points 1536749241.429 * * * * [misc]points: Setting MPFR precision to 320 1536749241.597 * * * * [misc]points: Setting MPFR precision to 576 1536749241.811 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749241.812 * * * * [misc]points: Sampling 1897 additional inputs, on iter 6 have 6103 / 8000 1536749241.822 * * * * [misc]points: Computing exacts on every 118 of 1897 points to ramp up precision 1536749241.823 * * * * [misc]points: Setting MPFR precision to 320 1536749241.823 * * * * [misc]points: Setting MPFR precision to 576 1536749241.824 * * * * [misc]points: Computing exacts on every 59 of 1897 points to ramp up precision 1536749241.825 * * * * [misc]points: Setting MPFR precision to 320 1536749241.826 * * * * [misc]points: Setting MPFR precision to 576 1536749241.827 * * * * [misc]points: Computing exacts on every 29 of 1897 points to ramp up precision 1536749241.828 * * * * [misc]points: Setting MPFR precision to 320 1536749241.830 * * * * [misc]points: Setting MPFR precision to 576 1536749241.832 * * * * [misc]points: Computing exacts on every 14 of 1897 points to ramp up precision 1536749241.833 * * * * [misc]points: Setting MPFR precision to 320 1536749241.836 * * * * [misc]points: Setting MPFR precision to 576 1536749241.843 * * * * [misc]points: Computing exacts on every 7 of 1897 points to ramp up precision 1536749241.844 * * * * [misc]points: Setting MPFR precision to 320 1536749241.859 * * * * [misc]points: Setting MPFR precision to 576 1536749241.876 * * * * [misc]points: Computing exacts on every 3 of 1897 points to ramp up precision 1536749241.878 * * * * [misc]points: Setting MPFR precision to 320 1536749241.907 * * * * [misc]points: Setting MPFR precision to 576 1536749241.923 * * * * [misc]points: Computing exacts for 1897 points 1536749241.924 * * * * [misc]points: Setting MPFR precision to 320 1536749242.067 * * * * [misc]points: Setting MPFR precision to 576 1536749242.205 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749242.206 * * * * [misc]points: Sampling 1462 additional inputs, on iter 7 have 6538 / 8000 1536749242.218 * * * * [misc]points: Computing exacts on every 91 of 1462 points to ramp up precision 1536749242.220 * * * * [misc]points: Setting MPFR precision to 320 1536749242.221 * * * * [misc]points: Setting MPFR precision to 576 1536749242.223 * * * * [misc]points: Computing exacts on every 45 of 1462 points to ramp up precision 1536749242.224 * * * * [misc]points: Setting MPFR precision to 320 1536749242.225 * * * * [misc]points: Setting MPFR precision to 576 1536749242.226 * * * * [misc]points: Computing exacts on every 22 of 1462 points to ramp up precision 1536749242.227 * * * * [misc]points: Setting MPFR precision to 320 1536749242.229 * * * * [misc]points: Setting MPFR precision to 576 1536749242.231 * * * * [misc]points: Computing exacts on every 11 of 1462 points to ramp up precision 1536749242.232 * * * * [misc]points: Setting MPFR precision to 320 1536749242.262 * * * * [misc]points: Setting MPFR precision to 576 1536749242.266 * * * * [misc]points: Computing exacts on every 5 of 1462 points to ramp up precision 1536749242.267 * * * * [misc]points: Setting MPFR precision to 320 1536749242.276 * * * * [misc]points: Setting MPFR precision to 576 1536749242.285 * * * * [misc]points: Computing exacts on every 2 of 1462 points to ramp up precision 1536749242.286 * * * * [misc]points: Setting MPFR precision to 320 1536749242.315 * * * * [misc]points: Setting MPFR precision to 576 1536749242.349 * * * * [misc]points: Computing exacts for 1462 points 1536749242.350 * * * * [misc]points: Setting MPFR precision to 320 1536749242.403 * * * * [misc]points: Setting MPFR precision to 576 1536749242.538 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749242.538 * * * * [misc]points: Sampling 1151 additional inputs, on iter 8 have 6849 / 8000 1536749242.543 * * * * [misc]points: Computing exacts on every 71 of 1151 points to ramp up precision 1536749242.545 * * * * [misc]points: Setting MPFR precision to 320 1536749242.545 * * * * [misc]points: Setting MPFR precision to 576 1536749242.546 * * * * [misc]points: Computing exacts on every 35 of 1151 points to ramp up precision 1536749242.547 * * * * [misc]points: Setting MPFR precision to 320 1536749242.548 * * * * [misc]points: Setting MPFR precision to 576 1536749242.549 * * * * [misc]points: Computing exacts on every 17 of 1151 points to ramp up precision 1536749242.550 * * * * [misc]points: Setting MPFR precision to 320 1536749242.552 * * * * [misc]points: Setting MPFR precision to 576 1536749242.554 * * * * [misc]points: Computing exacts on every 8 of 1151 points to ramp up precision 1536749242.555 * * * * [misc]points: Setting MPFR precision to 320 1536749242.559 * * * * [misc]points: Setting MPFR precision to 576 1536749242.563 * * * * [misc]points: Computing exacts on every 4 of 1151 points to ramp up precision 1536749242.565 * * * * [misc]points: Setting MPFR precision to 320 1536749242.577 * * * * [misc]points: Setting MPFR precision to 576 1536749242.593 * * * * [misc]points: Computing exacts on every 2 of 1151 points to ramp up precision 1536749242.594 * * * * [misc]points: Setting MPFR precision to 320 1536749242.618 * * * * [misc]points: Setting MPFR precision to 576 1536749242.646 * * * * [misc]points: Computing exacts for 1151 points 1536749242.648 * * * * [misc]points: Setting MPFR precision to 320 1536749242.759 * * * * [misc]points: Setting MPFR precision to 576 1536749242.801 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749242.801 * * * * [misc]points: Sampling 886 additional inputs, on iter 9 have 7114 / 8000 1536749242.804 * * * * [misc]points: Computing exacts on every 55 of 886 points to ramp up precision 1536749242.806 * * * * [misc]points: Setting MPFR precision to 320 1536749242.806 * * * * [misc]points: Setting MPFR precision to 576 1536749242.807 * * * * [misc]points: Computing exacts on every 27 of 886 points to ramp up precision 1536749242.808 * * * * [misc]points: Setting MPFR precision to 320 1536749242.810 * * * * [misc]points: Setting MPFR precision to 576 1536749242.812 * * * * [misc]points: Computing exacts on every 13 of 886 points to ramp up precision 1536749242.814 * * * * [misc]points: Setting MPFR precision to 320 1536749242.818 * * * * [misc]points: Setting MPFR precision to 576 1536749242.822 * * * * [misc]points: Computing exacts on every 6 of 886 points to ramp up precision 1536749242.824 * * * * [misc]points: Setting MPFR precision to 320 1536749242.831 * * * * [misc]points: Setting MPFR precision to 576 1536749242.841 * * * * [misc]points: Computing exacts on every 3 of 886 points to ramp up precision 1536749242.842 * * * * [misc]points: Setting MPFR precision to 320 1536749242.856 * * * * [misc]points: Setting MPFR precision to 576 1536749242.872 * * * * [misc]points: Computing exacts for 886 points 1536749242.873 * * * * [misc]points: Setting MPFR precision to 320 1536749242.899 * * * * [misc]points: Setting MPFR precision to 576 1536749242.996 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749242.997 * * * * [misc]points: Sampling 699 additional inputs, on iter 10 have 7301 / 8000 1536749243.001 * * * * [misc]points: Computing exacts on every 43 of 699 points to ramp up precision 1536749243.002 * * * * [misc]points: Setting MPFR precision to 320 1536749243.003 * * * * [misc]points: Setting MPFR precision to 576 1536749243.003 * * * * [misc]points: Computing exacts on every 21 of 699 points to ramp up precision 1536749243.004 * * * * [misc]points: Setting MPFR precision to 320 1536749243.005 * * * * [misc]points: Setting MPFR precision to 576 1536749243.006 * * * * [misc]points: Computing exacts on every 10 of 699 points to ramp up precision 1536749243.007 * * * * [misc]points: Setting MPFR precision to 320 1536749243.009 * * * * [misc]points: Setting MPFR precision to 576 1536749243.011 * * * * [misc]points: Computing exacts on every 5 of 699 points to ramp up precision 1536749243.012 * * * * [misc]points: Setting MPFR precision to 320 1536749243.016 * * * * [misc]points: Setting MPFR precision to 576 1536749243.020 * * * * [misc]points: Computing exacts on every 2 of 699 points to ramp up precision 1536749243.021 * * * * [misc]points: Setting MPFR precision to 320 1536749243.028 * * * * [misc]points: Setting MPFR precision to 576 1536749243.044 * * * * [misc]points: Computing exacts for 699 points 1536749243.045 * * * * [misc]points: Setting MPFR precision to 320 1536749243.080 * * * * [misc]points: Setting MPFR precision to 576 1536749243.104 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749243.105 * * * * [misc]points: Sampling 571 additional inputs, on iter 11 have 7429 / 8000 1536749243.107 * * * * [misc]points: Computing exacts on every 35 of 571 points to ramp up precision 1536749243.108 * * * * [misc]points: Setting MPFR precision to 320 1536749243.109 * * * * [misc]points: Setting MPFR precision to 576 1536749243.109 * * * * [misc]points: Computing exacts on every 17 of 571 points to ramp up precision 1536749243.110 * * * * [misc]points: Setting MPFR precision to 320 1536749243.111 * * * * [misc]points: Setting MPFR precision to 576 1536749243.143 * * * * [misc]points: Computing exacts on every 8 of 571 points to ramp up precision 1536749243.145 * * * * [misc]points: Setting MPFR precision to 320 1536749243.149 * * * * [misc]points: Setting MPFR precision to 576 1536749243.153 * * * * [misc]points: Computing exacts on every 4 of 571 points to ramp up precision 1536749243.155 * * * * [misc]points: Setting MPFR precision to 320 1536749243.165 * * * * [misc]points: Setting MPFR precision to 576 1536749243.173 * * * * [misc]points: Computing exacts on every 2 of 571 points to ramp up precision 1536749243.174 * * * * [misc]points: Setting MPFR precision to 320 1536749243.187 * * * * [misc]points: Setting MPFR precision to 576 1536749243.200 * * * * [misc]points: Computing exacts for 571 points 1536749243.202 * * * * [misc]points: Setting MPFR precision to 320 1536749243.221 * * * * [misc]points: Setting MPFR precision to 576 1536749243.242 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749243.242 * * * * [misc]points: Sampling 443 additional inputs, on iter 12 have 7557 / 8000 1536749243.245 * * * * [misc]points: Computing exacts on every 27 of 443 points to ramp up precision 1536749243.246 * * * * [misc]points: Setting MPFR precision to 320 1536749243.248 * * * * [misc]points: Setting MPFR precision to 576 1536749243.249 * * * * [misc]points: Computing exacts on every 13 of 443 points to ramp up precision 1536749243.250 * * * * [misc]points: Setting MPFR precision to 320 1536749243.252 * * * * [misc]points: Setting MPFR precision to 576 1536749243.254 * * * * [misc]points: Computing exacts on every 6 of 443 points to ramp up precision 1536749243.256 * * * * [misc]points: Setting MPFR precision to 320 1536749243.260 * * * * [misc]points: Setting MPFR precision to 576 1536749243.265 * * * * [misc]points: Computing exacts on every 3 of 443 points to ramp up precision 1536749243.267 * * * * [misc]points: Setting MPFR precision to 320 1536749243.274 * * * * [misc]points: Setting MPFR precision to 576 1536749243.281 * * * * [misc]points: Computing exacts for 443 points 1536749243.283 * * * * [misc]points: Setting MPFR precision to 320 1536749243.310 * * * * [misc]points: Setting MPFR precision to 576 1536749243.342 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749243.342 * * * * [misc]points: Sampling 349 additional inputs, on iter 13 have 7651 / 8000 1536749243.345 * * * * [misc]points: Computing exacts on every 21 of 349 points to ramp up precision 1536749243.347 * * * * [misc]points: Setting MPFR precision to 320 1536749243.348 * * * * [misc]points: Setting MPFR precision to 576 1536749243.349 * * * * [misc]points: Computing exacts on every 10 of 349 points to ramp up precision 1536749243.351 * * * * [misc]points: Setting MPFR precision to 320 1536749243.394 * * * * [misc]points: Setting MPFR precision to 576 1536749243.396 * * * * [misc]points: Computing exacts on every 5 of 349 points to ramp up precision 1536749243.398 * * * * [misc]points: Setting MPFR precision to 320 1536749243.405 * * * * [misc]points: Setting MPFR precision to 576 1536749243.409 * * * * [misc]points: Computing exacts on every 2 of 349 points to ramp up precision 1536749243.411 * * * * [misc]points: Setting MPFR precision to 320 1536749243.418 * * * * [misc]points: Setting MPFR precision to 576 1536749243.426 * * * * [misc]points: Computing exacts for 349 points 1536749243.428 * * * * [misc]points: Setting MPFR precision to 320 1536749243.450 * * * * [misc]points: Setting MPFR precision to 576 1536749243.475 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749243.475 * * * * [misc]points: Sampling 262 additional inputs, on iter 14 have 7738 / 8000 1536749243.477 * * * * [misc]points: Computing exacts on every 16 of 262 points to ramp up precision 1536749243.479 * * * * [misc]points: Setting MPFR precision to 320 1536749243.480 * * * * [misc]points: Setting MPFR precision to 576 1536749243.481 * * * * [misc]points: Computing exacts on every 8 of 262 points to ramp up precision 1536749243.482 * * * * [misc]points: Setting MPFR precision to 320 1536749243.484 * * * * [misc]points: Setting MPFR precision to 576 1536749243.486 * * * * [misc]points: Computing exacts on every 4 of 262 points to ramp up precision 1536749243.488 * * * * [misc]points: Setting MPFR precision to 320 1536749243.491 * * * * [misc]points: Setting MPFR precision to 576 1536749243.495 * * * * [misc]points: Computing exacts on every 2 of 262 points to ramp up precision 1536749243.497 * * * * [misc]points: Setting MPFR precision to 320 1536749243.502 * * * * [misc]points: Setting MPFR precision to 576 1536749243.509 * * * * [misc]points: Computing exacts for 262 points 1536749243.510 * * * * [misc]points: Setting MPFR precision to 320 1536749243.526 * * * * [misc]points: Setting MPFR precision to 576 1536749243.544 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749243.545 * * * * [misc]points: Sampling 202 additional inputs, on iter 15 have 7798 / 8000 1536749243.546 * * * * [misc]points: Computing exacts on every 12 of 202 points to ramp up precision 1536749243.548 * * * * [misc]points: Setting MPFR precision to 320 1536749243.549 * * * * [misc]points: Setting MPFR precision to 576 1536749243.550 * * * * [misc]points: Computing exacts on every 6 of 202 points to ramp up precision 1536749243.552 * * * * [misc]points: Setting MPFR precision to 320 1536749243.554 * * * * [misc]points: Setting MPFR precision to 576 1536749243.556 * * * * [misc]points: Computing exacts on every 3 of 202 points to ramp up precision 1536749243.557 * * * * [misc]points: Setting MPFR precision to 320 1536749243.561 * * * * [misc]points: Setting MPFR precision to 576 1536749243.564 * * * * [misc]points: Computing exacts for 202 points 1536749243.566 * * * * [misc]points: Setting MPFR precision to 320 1536749243.579 * * * * [misc]points: Setting MPFR precision to 576 1536749243.593 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749243.593 * * * * [misc]points: Sampling 152 additional inputs, on iter 16 have 7848 / 8000 1536749243.595 * * * * [misc]points: Computing exacts on every 9 of 152 points to ramp up precision 1536749243.596 * * * * [misc]points: Setting MPFR precision to 320 1536749243.598 * * * * [misc]points: Setting MPFR precision to 576 1536749243.599 * * * * [misc]points: Computing exacts on every 4 of 152 points to ramp up precision 1536749243.600 * * * * [misc]points: Setting MPFR precision to 320 1536749243.602 * * * * [misc]points: Setting MPFR precision to 576 1536749243.604 * * * * [misc]points: Computing exacts on every 2 of 152 points to ramp up precision 1536749243.606 * * * * [misc]points: Setting MPFR precision to 320 1536749243.609 * * * * [misc]points: Setting MPFR precision to 576 1536749243.612 * * * * [misc]points: Computing exacts for 152 points 1536749243.614 * * * * [misc]points: Setting MPFR precision to 320 1536749243.623 * * * * [misc]points: Setting MPFR precision to 576 1536749243.999 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749243.999 * * * * [misc]points: Sampling 124 additional inputs, on iter 17 have 7876 / 8000 1536749244.001 * * * * [misc]points: Computing exacts on every 7 of 124 points to ramp up precision 1536749244.002 * * * * [misc]points: Setting MPFR precision to 320 1536749244.003 * * * * [misc]points: Setting MPFR precision to 576 1536749244.004 * * * * [misc]points: Computing exacts on every 3 of 124 points to ramp up precision 1536749244.006 * * * * [misc]points: Setting MPFR precision to 320 1536749244.008 * * * * [misc]points: Setting MPFR precision to 576 1536749244.010 * * * * [misc]points: Computing exacts for 124 points 1536749244.015 * * * * [misc]points: Setting MPFR precision to 320 1536749244.019 * * * * [misc]points: Setting MPFR precision to 576 1536749244.023 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749244.023 * * * * [misc]points: Sampling 100 additional inputs, on iter 18 have 7900 / 8000 1536749244.024 * * * * [misc]points: Computing exacts on every 6 of 100 points to ramp up precision 1536749244.025 * * * * [misc]points: Setting MPFR precision to 320 1536749244.025 * * * * [misc]points: Setting MPFR precision to 576 1536749244.026 * * * * [misc]points: Computing exacts on every 3 of 100 points to ramp up precision 1536749244.027 * * * * [misc]points: Setting MPFR precision to 320 1536749244.027 * * * * [misc]points: Setting MPFR precision to 576 1536749244.028 * * * * [misc]points: Computing exacts for 100 points 1536749244.029 * * * * [misc]points: Setting MPFR precision to 320 1536749244.032 * * * * [misc]points: Setting MPFR precision to 576 1536749244.036 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749244.036 * * * * [misc]points: Sampling 78 additional inputs, on iter 19 have 7922 / 8000 1536749244.036 * * * * [misc]points: Computing exacts on every 4 of 78 points to ramp up precision 1536749244.037 * * * * [misc]points: Setting MPFR precision to 320 1536749244.038 * * * * [misc]points: Setting MPFR precision to 576 1536749244.039 * * * * [misc]points: Computing exacts on every 2 of 78 points to ramp up precision 1536749244.039 * * * * [misc]points: Setting MPFR precision to 320 1536749244.040 * * * * [misc]points: Setting MPFR precision to 576 1536749244.041 * * * * [misc]points: Computing exacts for 78 points 1536749244.042 * * * * [misc]points: Setting MPFR precision to 320 1536749244.046 * * * * [misc]points: Setting MPFR precision to 576 1536749244.052 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749244.052 * * * * [misc]points: Sampling 62 additional inputs, on iter 20 have 7938 / 8000 1536749244.052 * * * * [misc]points: Computing exacts on every 3 of 62 points to ramp up precision 1536749244.054 * * * * [misc]points: Setting MPFR precision to 320 1536749244.055 * * * * [misc]points: Setting MPFR precision to 576 1536749244.056 * * * * [misc]points: Computing exacts for 62 points 1536749244.058 * * * * [misc]points: Setting MPFR precision to 320 1536749244.062 * * * * [misc]points: Setting MPFR precision to 576 1536749244.066 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749244.066 * * * * [misc]points: Sampling 48 additional inputs, on iter 21 have 7952 / 8000 1536749244.067 * * * * [misc]points: Computing exacts on every 3 of 48 points to ramp up precision 1536749244.068 * * * * [misc]points: Setting MPFR precision to 320 1536749244.069 * * * * [misc]points: Setting MPFR precision to 576 1536749244.070 * * * * [misc]points: Computing exacts for 48 points 1536749244.071 * * * * [misc]points: Setting MPFR precision to 320 1536749244.074 * * * * [misc]points: Setting MPFR precision to 576 1536749244.078 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749244.078 * * * * [misc]points: Sampling 40 additional inputs, on iter 22 have 7960 / 8000 1536749244.078 * * * * [misc]points: Computing exacts on every 2 of 40 points to ramp up precision 1536749244.080 * * * * [misc]points: Setting MPFR precision to 320 1536749244.080 * * * * [misc]points: Setting MPFR precision to 576 1536749244.081 * * * * [misc]points: Computing exacts for 40 points 1536749244.083 * * * * [misc]points: Setting MPFR precision to 320 1536749244.086 * * * * [misc]points: Setting MPFR precision to 576 1536749244.089 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749244.089 * * * * [misc]points: Sampling 28 additional inputs, on iter 23 have 7972 / 8000 1536749244.089 * * * * [misc]points: Computing exacts for 28 points 1536749244.090 * * * * [misc]points: Setting MPFR precision to 320 1536749244.092 * * * * [misc]points: Setting MPFR precision to 576 1536749244.094 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749244.094 * * * * [misc]points: Sampling 24 additional inputs, on iter 24 have 7976 / 8000 1536749244.095 * * * * [misc]points: Computing exacts for 24 points 1536749244.096 * * * * [misc]points: Setting MPFR precision to 320 1536749244.097 * * * * [misc]points: Setting MPFR precision to 576 1536749244.097 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749244.097 * * * * [misc]points: Sampling 22 additional inputs, on iter 25 have 7978 / 8000 1536749244.097 * * * * [misc]points: Computing exacts for 22 points 1536749244.098 * * * * [misc]points: Setting MPFR precision to 320 1536749244.099 * * * * [misc]points: Setting MPFR precision to 576 1536749244.100 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749244.100 * * * * [misc]points: Sampling 20 additional inputs, on iter 26 have 7980 / 8000 1536749244.100 * * * * [misc]points: Computing exacts for 20 points 1536749244.101 * * * * [misc]points: Setting MPFR precision to 320 1536749244.102 * * * * [misc]points: Setting MPFR precision to 576 1536749244.102 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749244.102 * * * * [misc]points: Sampling 15 additional inputs, on iter 27 have 7985 / 8000 1536749244.102 * * * * [misc]points: Computing exacts for 15 points 1536749244.103 * * * * [misc]points: Setting MPFR precision to 320 1536749244.104 * * * * [misc]points: Setting MPFR precision to 576 1536749244.104 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749244.104 * * * * [misc]points: Sampling 13 additional inputs, on iter 28 have 7987 / 8000 1536749244.104 * * * * [misc]points: Computing exacts for 13 points 1536749244.105 * * * * [misc]points: Setting MPFR precision to 320 1536749244.106 * * * * [misc]points: Setting MPFR precision to 576 1536749244.106 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749244.106 * * * * [misc]points: Sampling 13 additional inputs, on iter 29 have 7987 / 8000 1536749244.106 * * * * [misc]points: Computing exacts for 13 points 1536749244.107 * * * * [misc]points: Setting MPFR precision to 320 1536749244.107 * * * * [misc]points: Setting MPFR precision to 576 1536749244.108 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749244.108 * * * * [misc]points: Sampling 10 additional inputs, on iter 30 have 7990 / 8000 1536749244.108 * * * * [misc]points: Computing exacts for 10 points 1536749244.109 * * * * [misc]points: Setting MPFR precision to 320 1536749244.109 * * * * [misc]points: Setting MPFR precision to 576 1536749244.110 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749244.110 * * * * [misc]points: Sampling 7 additional inputs, on iter 31 have 7993 / 8000 1536749244.110 * * * * [misc]points: Computing exacts for 7 points 1536749244.110 * * * * [misc]points: Setting MPFR precision to 320 1536749244.111 * * * * [misc]points: Setting MPFR precision to 576 1536749244.111 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749244.111 * * * * [misc]points: Sampling 7 additional inputs, on iter 32 have 7993 / 8000 1536749244.111 * * * * [misc]points: Computing exacts for 7 points 1536749244.112 * * * * [misc]points: Setting MPFR precision to 320 1536749244.112 * * * * [misc]points: Setting MPFR precision to 576 1536749244.112 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749244.113 * * * * [misc]points: Sampling 6 additional inputs, on iter 33 have 7994 / 8000 1536749244.113 * * * * [misc]points: Computing exacts for 6 points 1536749244.113 * * * * [misc]points: Setting MPFR precision to 320 1536749244.114 * * * * [misc]points: Setting MPFR precision to 576 1536749244.114 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749244.114 * * * * [misc]points: Sampling 6 additional inputs, on iter 34 have 7994 / 8000 1536749244.114 * * * * [misc]points: Computing exacts for 6 points 1536749244.115 * * * * [misc]points: Setting MPFR precision to 320 1536749244.115 * * * * [misc]points: Setting MPFR precision to 576 1536749244.115 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749244.115 * * * * [misc]points: Sampling 5 additional inputs, on iter 35 have 7995 / 8000 1536749244.115 * * * * [misc]points: Computing exacts for 5 points 1536749244.116 * * * * [misc]points: Setting MPFR precision to 320 1536749244.116 * * * * [misc]points: Setting MPFR precision to 576 1536749244.117 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749244.117 * * * * [misc]points: Sampling 4 additional inputs, on iter 36 have 7996 / 8000 1536749244.117 * * * * [misc]points: Computing exacts for 4 points 1536749244.117 * * * * [misc]points: Setting MPFR precision to 320 1536749244.118 * * * * [misc]points: Setting MPFR precision to 576 1536749244.118 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749244.118 * * * * [misc]points: Sampling 4 additional inputs, on iter 37 have 7997 / 8000 1536749244.118 * * * * [misc]points: Computing exacts for 4 points 1536749244.119 * * * * [misc]points: Setting MPFR precision to 320 1536749244.119 * * * * [misc]points: Setting MPFR precision to 576 1536749244.119 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749244.119 * * * * [misc]points: Sampling 4 additional inputs, on iter 38 have 7997 / 8000 1536749244.119 * * * * [misc]points: Computing exacts for 4 points 1536749244.120 * * * * [misc]points: Setting MPFR precision to 320 1536749244.120 * * * * [misc]points: Setting MPFR precision to 576 1536749244.120 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749244.120 * * * * [misc]points: Sampling 4 additional inputs, on iter 39 have 7997 / 8000 1536749244.120 * * * * [misc]points: Computing exacts for 4 points 1536749244.121 * * * * [misc]points: Setting MPFR precision to 320 1536749244.121 * * * * [misc]points: Setting MPFR precision to 576 1536749244.122 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749244.122 * * * * [misc]points: Sampling 4 additional inputs, on iter 40 have 7998 / 8000 1536749244.122 * * * * [misc]points: Computing exacts for 4 points 1536749244.122 * * * * [misc]points: Setting MPFR precision to 320 1536749244.123 * * * * [misc]points: Setting MPFR precision to 576 1536749244.123 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749244.123 * * * * [misc]points: Sampling 4 additional inputs, on iter 41 have 7998 / 8000 1536749244.123 * * * * [misc]points: Computing exacts for 4 points 1536749244.124 * * * * [misc]points: Setting MPFR precision to 320 1536749244.124 * * * * [misc]points: Setting MPFR precision to 576 1536749244.124 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749244.124 * * * * [misc]points: Sampling 4 additional inputs, on iter 42 have 7999 / 8000 1536749244.124 * * * * [misc]points: Computing exacts for 4 points 1536749244.125 * * * * [misc]points: Setting MPFR precision to 320 1536749244.125 * * * * [misc]points: Setting MPFR precision to 576 1536749244.125 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749244.125 * * * * [exit]points: Sampled 8001 points with exact outputs