1539795220.983 * [misc]progress: [Phase 1 of 3] Setting up. 1539795220.983 * * * [misc]progress: [1/2] Preparing points 1539795220.983 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1539795220.984 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1539795220.985 * * * * [misc]points: Setting MPFR precision to 64 1539795220.986 * * * * [misc]points: Setting MPFR precision to 320 1539795220.986 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1539795220.987 * * * * [misc]points: Setting MPFR precision to 64 1539795220.987 * * * * [misc]points: Setting MPFR precision to 320 1539795220.988 * * * * [misc]points: Setting MPFR precision to 576 1539795220.989 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1539795220.989 * * * * [misc]points: Setting MPFR precision to 320 1539795220.991 * * * * [misc]points: Setting MPFR precision to 576 1539795220.994 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1539795220.995 * * * * [misc]points: Setting MPFR precision to 320 1539795220.999 * * * * [misc]points: Setting MPFR precision to 576 1539795221.004 * * * * [misc]points: Computing exacts for 256 points 1539795221.006 * * * * [misc]points: Setting MPFR precision to 320 1539795221.018 * * * * [misc]points: Setting MPFR precision to 576 1539795221.033 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795221.033 * * * * [misc]points: Sampling 202 additional inputs, on iter 1 have 54 / 256 1539795221.035 * * * * [misc]points: Computing exacts on every 12 of 202 points to ramp up precision 1539795221.036 * * * * [misc]points: Setting MPFR precision to 320 1539795221.047 * * * * [misc]points: Setting MPFR precision to 576 1539795221.048 * * * * [misc]points: Computing exacts on every 6 of 202 points to ramp up precision 1539795221.049 * * * * [misc]points: Setting MPFR precision to 320 1539795221.052 * * * * [misc]points: Setting MPFR precision to 576 1539795221.054 * * * * [misc]points: Computing exacts on every 3 of 202 points to ramp up precision 1539795221.055 * * * * [misc]points: Setting MPFR precision to 320 1539795221.058 * * * * [misc]points: Setting MPFR precision to 576 1539795221.061 * * * * [misc]points: Computing exacts for 202 points 1539795221.063 * * * * [misc]points: Setting MPFR precision to 320 1539795221.073 * * * * [misc]points: Setting MPFR precision to 576 1539795221.085 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795221.085 * * * * [misc]points: Sampling 166 additional inputs, on iter 2 have 90 / 256 1539795221.086 * * * * [misc]points: Computing exacts on every 10 of 166 points to ramp up precision 1539795221.088 * * * * [misc]points: Setting MPFR precision to 320 1539795221.089 * * * * [misc]points: Setting MPFR precision to 576 1539795221.090 * * * * [misc]points: Computing exacts on every 5 of 166 points to ramp up precision 1539795221.091 * * * * [misc]points: Setting MPFR precision to 320 1539795221.092 * * * * [misc]points: Setting MPFR precision to 576 1539795221.093 * * * * [misc]points: Computing exacts on every 2 of 166 points to ramp up precision 1539795221.093 * * * * [misc]points: Setting MPFR precision to 320 1539795221.095 * * * * [misc]points: Setting MPFR precision to 576 1539795221.096 * * * * [misc]points: Computing exacts for 166 points 1539795221.097 * * * * [misc]points: Setting MPFR precision to 320 1539795221.101 * * * * [misc]points: Setting MPFR precision to 576 1539795221.106 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795221.106 * * * * [misc]points: Sampling 122 additional inputs, on iter 3 have 134 / 256 1539795221.107 * * * * [misc]points: Computing exacts on every 7 of 122 points to ramp up precision 1539795221.108 * * * * [misc]points: Setting MPFR precision to 320 1539795221.108 * * * * [misc]points: Setting MPFR precision to 576 1539795221.109 * * * * [misc]points: Computing exacts on every 3 of 122 points to ramp up precision 1539795221.109 * * * * [misc]points: Setting MPFR precision to 320 1539795221.110 * * * * [misc]points: Setting MPFR precision to 576 1539795221.111 * * * * [misc]points: Computing exacts for 122 points 1539795221.112 * * * * [misc]points: Setting MPFR precision to 320 1539795221.115 * * * * [misc]points: Setting MPFR precision to 576 1539795221.118 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795221.118 * * * * [misc]points: Sampling 99 additional inputs, on iter 4 have 157 / 256 1539795221.119 * * * * [misc]points: Computing exacts on every 6 of 99 points to ramp up precision 1539795221.120 * * * * [misc]points: Setting MPFR precision to 320 1539795221.121 * * * * [misc]points: Setting MPFR precision to 576 1539795221.122 * * * * [misc]points: Computing exacts on every 3 of 99 points to ramp up precision 1539795221.123 * * * * [misc]points: Setting MPFR precision to 320 1539795221.125 * * * * [misc]points: Setting MPFR precision to 576 1539795221.126 * * * * [misc]points: Computing exacts for 99 points 1539795221.127 * * * * [misc]points: Setting MPFR precision to 320 1539795221.133 * * * * [misc]points: Setting MPFR precision to 576 1539795221.139 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795221.139 * * * * [misc]points: Sampling 67 additional inputs, on iter 5 have 189 / 256 1539795221.140 * * * * [misc]points: Computing exacts on every 4 of 67 points to ramp up precision 1539795221.141 * * * * [misc]points: Setting MPFR precision to 320 1539795221.142 * * * * [misc]points: Setting MPFR precision to 576 1539795221.143 * * * * [misc]points: Computing exacts on every 2 of 67 points to ramp up precision 1539795221.144 * * * * [misc]points: Setting MPFR precision to 320 1539795221.145 * * * * [misc]points: Setting MPFR precision to 576 1539795221.147 * * * * [misc]points: Computing exacts for 67 points 1539795221.148 * * * * [misc]points: Setting MPFR precision to 320 1539795221.151 * * * * [misc]points: Setting MPFR precision to 576 1539795221.155 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795221.155 * * * * [misc]points: Sampling 52 additional inputs, on iter 6 have 204 / 256 1539795221.155 * * * * [misc]points: Computing exacts on every 3 of 52 points to ramp up precision 1539795221.156 * * * * [misc]points: Setting MPFR precision to 320 1539795221.157 * * * * [misc]points: Setting MPFR precision to 576 1539795221.157 * * * * [misc]points: Computing exacts for 52 points 1539795221.158 * * * * [misc]points: Setting MPFR precision to 320 1539795221.159 * * * * [misc]points: Setting MPFR precision to 576 1539795221.161 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795221.161 * * * * [misc]points: Sampling 40 additional inputs, on iter 7 have 216 / 256 1539795221.161 * * * * [misc]points: Computing exacts on every 2 of 40 points to ramp up precision 1539795221.162 * * * * [misc]points: Setting MPFR precision to 320 1539795221.162 * * * * [misc]points: Setting MPFR precision to 576 1539795221.163 * * * * [misc]points: Computing exacts for 40 points 1539795221.163 * * * * [misc]points: Setting MPFR precision to 320 1539795221.165 * * * * [misc]points: Setting MPFR precision to 576 1539795221.166 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795221.166 * * * * [misc]points: Sampling 30 additional inputs, on iter 8 have 226 / 256 1539795221.166 * * * * [misc]points: Computing exacts for 30 points 1539795221.167 * * * * [misc]points: Setting MPFR precision to 320 1539795221.168 * * * * [misc]points: Setting MPFR precision to 576 1539795221.169 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795221.169 * * * * [misc]points: Sampling 23 additional inputs, on iter 9 have 233 / 256 1539795221.169 * * * * [misc]points: Computing exacts for 23 points 1539795221.170 * * * * [misc]points: Setting MPFR precision to 320 1539795221.170 * * * * [misc]points: Setting MPFR precision to 576 1539795221.171 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795221.171 * * * * [misc]points: Sampling 18 additional inputs, on iter 10 have 238 / 256 1539795221.171 * * * * [misc]points: Computing exacts for 18 points 1539795221.172 * * * * [misc]points: Setting MPFR precision to 320 1539795221.172 * * * * [misc]points: Setting MPFR precision to 576 1539795221.173 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795221.173 * * * * [misc]points: Sampling 15 additional inputs, on iter 11 have 241 / 256 1539795221.173 * * * * [misc]points: Computing exacts for 15 points 1539795221.174 * * * * [misc]points: Setting MPFR precision to 320 1539795221.174 * * * * [misc]points: Setting MPFR precision to 576 1539795221.175 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795221.175 * * * * [misc]points: Sampling 10 additional inputs, on iter 12 have 246 / 256 1539795221.175 * * * * [misc]points: Computing exacts for 10 points 1539795221.176 * * * * [misc]points: Setting MPFR precision to 320 1539795221.176 * * * * [misc]points: Setting MPFR precision to 576 1539795221.176 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795221.176 * * * * [misc]points: Sampling 6 additional inputs, on iter 13 have 250 / 256 1539795221.176 * * * * [misc]points: Computing exacts for 6 points 1539795221.177 * * * * [misc]points: Setting MPFR precision to 320 1539795221.177 * * * * [misc]points: Setting MPFR precision to 576 1539795221.178 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795221.178 * * * * [misc]points: Sampling 5 additional inputs, on iter 14 have 251 / 256 1539795221.178 * * * * [misc]points: Computing exacts for 5 points 1539795221.178 * * * * [misc]points: Setting MPFR precision to 320 1539795221.179 * * * * [misc]points: Setting MPFR precision to 576 1539795221.179 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795221.179 * * * * [misc]points: Sampling 4 additional inputs, on iter 15 have 252 / 256 1539795221.179 * * * * [misc]points: Computing exacts for 4 points 1539795221.180 * * * * [misc]points: Setting MPFR precision to 320 1539795221.180 * * * * [misc]points: Setting MPFR precision to 576 1539795221.180 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795221.180 * * * * [misc]points: Sampling 4 additional inputs, on iter 16 have 253 / 256 1539795221.180 * * * * [misc]points: Computing exacts for 4 points 1539795221.181 * * * * [misc]points: Setting MPFR precision to 320 1539795221.181 * * * * [misc]points: Setting MPFR precision to 576 1539795221.181 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795221.181 * * * * [misc]points: Sampling 4 additional inputs, on iter 17 have 254 / 256 1539795221.181 * * * * [misc]points: Computing exacts for 4 points 1539795221.182 * * * * [misc]points: Setting MPFR precision to 320 1539795221.182 * * * * [misc]points: Setting MPFR precision to 576 1539795221.182 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795221.182 * * * * [misc]points: Sampling 4 additional inputs, on iter 18 have 255 / 256 1539795221.182 * * * * [misc]points: Computing exacts for 4 points 1539795221.183 * * * * [misc]points: Setting MPFR precision to 320 1539795221.183 * * * * [misc]points: Setting MPFR precision to 576 1539795221.183 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795221.183 * * * * [exit]points: Sampled 256 points with exact outputs 1539795221.183 * * * [misc]progress: [2/2] Setting up program. 1539795221.189 * [misc]progress: [Phase 2 of 3] Improving. 1539795221.189 * [enter]simplify: Simplifying (exp (+ (log a) (log b))) 1539795221.189 * * [misc]simplify: iters left: 4 (6 enodes) 1539795221.191 * * [misc]simplify: iters left: 3 (10 enodes) 1539795221.195 * * [misc]simplify: iters left: 2 (11 enodes) 1539795221.197 * [exit]simplify: Simplified to (* a b) 1539795221.208 * * [misc]progress: iteration 1 / 4 1539795221.208 * * * [misc]progress: picking best candidate 1539795221.235 * * * * [misc]pick: Picked # 1539795221.235 * * * [misc]progress: localizing error 1539795221.239 * * * [misc]progress: generating rewritten candidates 1539795221.239 * * * [misc]progress: generating series expansions 1539795221.239 * * * [misc]progress: simplifying candidates 1539795221.239 * * * [misc]progress: adding candidates to table 1539795221.239 * [misc]progress: [Phase 3 of 3] Extracting. 1539795221.241 * [enter]simplify: Simplifying (* a b) 1539795221.241 * * [misc]simplify: iters left: 2 (3 enodes) 1539795221.241 * * [misc]simplify: iters left: 1 (4 enodes) 1539795221.241 * [exit]simplify: Simplified to (* a b) 1539795221.241 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1539795221.287 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1539795221.288 * * * * [misc]points: Setting MPFR precision to 320 1539795221.288 * * * * [misc]points: Setting MPFR precision to 576 1539795221.289 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1539795221.290 * * * * [misc]points: Setting MPFR precision to 320 1539795221.290 * * * * [misc]points: Setting MPFR precision to 576 1539795221.291 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1539795221.292 * * * * [misc]points: Setting MPFR precision to 320 1539795221.293 * * * * [misc]points: Setting MPFR precision to 576 1539795221.295 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1539795221.304 * * * * [misc]points: Setting MPFR precision to 320 1539795221.307 * * * * [misc]points: Setting MPFR precision to 576 1539795221.310 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1539795221.311 * * * * [misc]points: Setting MPFR precision to 320 1539795221.324 * * * * [misc]points: Setting MPFR precision to 576 1539795221.339 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1539795221.340 * * * * [misc]points: Setting MPFR precision to 320 1539795221.365 * * * * [misc]points: Setting MPFR precision to 576 1539795221.395 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1539795221.397 * * * * [misc]points: Setting MPFR precision to 320 1539795221.446 * * * * [misc]points: Setting MPFR precision to 576 1539795221.505 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1539795221.506 * * * * [misc]points: Setting MPFR precision to 320 1539795221.662 * * * * [misc]points: Setting MPFR precision to 576 1539795221.757 * * * * [misc]points: Computing exacts for 8000 points 1539795221.758 * * * * [misc]points: Setting MPFR precision to 320 1539795222.561 * * * * [misc]points: Setting MPFR precision to 576 1539795223.038 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795223.039 * * * * [misc]points: Sampling 6328 additional inputs, on iter 1 have 1672 / 8000 1539795223.105 * * * * [misc]points: Computing exacts on every 395 of 6328 points to ramp up precision 1539795223.106 * * * * [misc]points: Setting MPFR precision to 320 1539795223.108 * * * * [misc]points: Setting MPFR precision to 576 1539795223.108 * * * * [misc]points: Computing exacts on every 197 of 6328 points to ramp up precision 1539795223.109 * * * * [misc]points: Setting MPFR precision to 320 1539795223.110 * * * * [misc]points: Setting MPFR precision to 576 1539795223.111 * * * * [misc]points: Computing exacts on every 98 of 6328 points to ramp up precision 1539795223.112 * * * * [misc]points: Setting MPFR precision to 320 1539795223.114 * * * * [misc]points: Setting MPFR precision to 576 1539795223.116 * * * * [misc]points: Computing exacts on every 49 of 6328 points to ramp up precision 1539795223.117 * * * * [misc]points: Setting MPFR precision to 320 1539795223.121 * * * * [misc]points: Setting MPFR precision to 576 1539795223.125 * * * * [misc]points: Computing exacts on every 24 of 6328 points to ramp up precision 1539795223.125 * * * * [misc]points: Setting MPFR precision to 320 1539795223.132 * * * * [misc]points: Setting MPFR precision to 576 1539795223.139 * * * * [misc]points: Computing exacts on every 12 of 6328 points to ramp up precision 1539795223.140 * * * * [misc]points: Setting MPFR precision to 320 1539795223.154 * * * * [misc]points: Setting MPFR precision to 576 1539795223.182 * * * * [misc]points: Computing exacts on every 6 of 6328 points to ramp up precision 1539795223.183 * * * * [misc]points: Setting MPFR precision to 320 1539795223.244 * * * * [misc]points: Setting MPFR precision to 576 1539795223.291 * * * * [misc]points: Computing exacts on every 3 of 6328 points to ramp up precision 1539795223.293 * * * * [misc]points: Setting MPFR precision to 320 1539795223.342 * * * * [misc]points: Setting MPFR precision to 576 1539795223.442 * * * * [misc]points: Computing exacts for 6328 points 1539795223.442 * * * * [misc]points: Setting MPFR precision to 320 1539795223.723 * * * * [misc]points: Setting MPFR precision to 576 1539795224.124 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795224.126 * * * * [misc]points: Sampling 4955 additional inputs, on iter 2 have 3045 / 8000 1539795224.147 * * * * [misc]points: Computing exacts on every 309 of 4955 points to ramp up precision 1539795224.148 * * * * [misc]points: Setting MPFR precision to 320 1539795224.148 * * * * [misc]points: Setting MPFR precision to 576 1539795224.149 * * * * [misc]points: Computing exacts on every 154 of 4955 points to ramp up precision 1539795224.149 * * * * [misc]points: Setting MPFR precision to 320 1539795224.150 * * * * [misc]points: Setting MPFR precision to 576 1539795224.151 * * * * [misc]points: Computing exacts on every 77 of 4955 points to ramp up precision 1539795224.152 * * * * [misc]points: Setting MPFR precision to 320 1539795224.153 * * * * [misc]points: Setting MPFR precision to 576 1539795224.155 * * * * [misc]points: Computing exacts on every 38 of 4955 points to ramp up precision 1539795224.157 * * * * [misc]points: Setting MPFR precision to 320 1539795224.163 * * * * [misc]points: Setting MPFR precision to 576 1539795224.170 * * * * [misc]points: Computing exacts on every 19 of 4955 points to ramp up precision 1539795224.171 * * * * [misc]points: Setting MPFR precision to 320 1539795224.181 * * * * [misc]points: Setting MPFR precision to 576 1539795224.204 * * * * [misc]points: Computing exacts on every 9 of 4955 points to ramp up precision 1539795224.205 * * * * [misc]points: Setting MPFR precision to 320 1539795224.230 * * * * [misc]points: Setting MPFR precision to 576 1539795224.259 * * * * [misc]points: Computing exacts on every 4 of 4955 points to ramp up precision 1539795224.261 * * * * [misc]points: Setting MPFR precision to 320 1539795224.296 * * * * [misc]points: Setting MPFR precision to 576 1539795224.341 * * * * [misc]points: Computing exacts on every 2 of 4955 points to ramp up precision 1539795224.342 * * * * [misc]points: Setting MPFR precision to 320 1539795224.456 * * * * [misc]points: Setting MPFR precision to 576 1539795224.545 * * * * [misc]points: Computing exacts for 4955 points 1539795224.546 * * * * [misc]points: Setting MPFR precision to 320 1539795224.803 * * * * [misc]points: Setting MPFR precision to 576 1539795225.368 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795225.369 * * * * [misc]points: Sampling 3921 additional inputs, on iter 3 have 4079 / 8000 1539795225.426 * * * * [misc]points: Computing exacts on every 245 of 3921 points to ramp up precision 1539795225.427 * * * * [misc]points: Setting MPFR precision to 320 1539795225.430 * * * * [misc]points: Setting MPFR precision to 576 1539795225.431 * * * * [misc]points: Computing exacts on every 122 of 3921 points to ramp up precision 1539795225.432 * * * * [misc]points: Setting MPFR precision to 320 1539795225.433 * * * * [misc]points: Setting MPFR precision to 576 1539795225.434 * * * * [misc]points: Computing exacts on every 61 of 3921 points to ramp up precision 1539795225.434 * * * * [misc]points: Setting MPFR precision to 320 1539795225.436 * * * * [misc]points: Setting MPFR precision to 576 1539795225.438 * * * * [misc]points: Computing exacts on every 30 of 3921 points to ramp up precision 1539795225.439 * * * * [misc]points: Setting MPFR precision to 320 1539795225.442 * * * * [misc]points: Setting MPFR precision to 576 1539795225.446 * * * * [misc]points: Computing exacts on every 15 of 3921 points to ramp up precision 1539795225.447 * * * * [misc]points: Setting MPFR precision to 320 1539795225.453 * * * * [misc]points: Setting MPFR precision to 576 1539795225.461 * * * * [misc]points: Computing exacts on every 7 of 3921 points to ramp up precision 1539795225.462 * * * * [misc]points: Setting MPFR precision to 320 1539795225.483 * * * * [misc]points: Setting MPFR precision to 576 1539795225.507 * * * * [misc]points: Computing exacts on every 3 of 3921 points to ramp up precision 1539795225.509 * * * * [misc]points: Setting MPFR precision to 320 1539795225.550 * * * * [misc]points: Setting MPFR precision to 576 1539795225.648 * * * * [misc]points: Computing exacts for 3921 points 1539795225.650 * * * * [misc]points: Setting MPFR precision to 320 1539795225.835 * * * * [misc]points: Setting MPFR precision to 576 1539795226.016 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795226.017 * * * * [misc]points: Sampling 3066 additional inputs, on iter 4 have 4934 / 8000 1539795226.043 * * * * [misc]points: Computing exacts on every 191 of 3066 points to ramp up precision 1539795226.044 * * * * [misc]points: Setting MPFR precision to 320 1539795226.044 * * * * [misc]points: Setting MPFR precision to 576 1539795226.045 * * * * [misc]points: Computing exacts on every 95 of 3066 points to ramp up precision 1539795226.046 * * * * [misc]points: Setting MPFR precision to 320 1539795226.046 * * * * [misc]points: Setting MPFR precision to 576 1539795226.047 * * * * [misc]points: Computing exacts on every 47 of 3066 points to ramp up precision 1539795226.048 * * * * [misc]points: Setting MPFR precision to 320 1539795226.050 * * * * [misc]points: Setting MPFR precision to 576 1539795226.052 * * * * [misc]points: Computing exacts on every 23 of 3066 points to ramp up precision 1539795226.052 * * * * [misc]points: Setting MPFR precision to 320 1539795226.056 * * * * [misc]points: Setting MPFR precision to 576 1539795226.059 * * * * [misc]points: Computing exacts on every 11 of 3066 points to ramp up precision 1539795226.060 * * * * [misc]points: Setting MPFR precision to 320 1539795226.067 * * * * [misc]points: Setting MPFR precision to 576 1539795226.075 * * * * [misc]points: Computing exacts on every 5 of 3066 points to ramp up precision 1539795226.076 * * * * [misc]points: Setting MPFR precision to 320 1539795226.096 * * * * [misc]points: Setting MPFR precision to 576 1539795226.111 * * * * [misc]points: Computing exacts on every 2 of 3066 points to ramp up precision 1539795226.112 * * * * [misc]points: Setting MPFR precision to 320 1539795226.177 * * * * [misc]points: Setting MPFR precision to 576 1539795226.218 * * * * [misc]points: Computing exacts for 3066 points 1539795226.219 * * * * [misc]points: Setting MPFR precision to 320 1539795226.372 * * * * [misc]points: Setting MPFR precision to 576 1539795226.501 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795226.502 * * * * [misc]points: Sampling 2367 additional inputs, on iter 5 have 5633 / 8000 1539795226.522 * * * * [misc]points: Computing exacts on every 147 of 2367 points to ramp up precision 1539795226.523 * * * * [misc]points: Setting MPFR precision to 320 1539795226.563 * * * * [misc]points: Setting MPFR precision to 576 1539795226.564 * * * * [misc]points: Computing exacts on every 73 of 2367 points to ramp up precision 1539795226.565 * * * * [misc]points: Setting MPFR precision to 320 1539795226.567 * * * * [misc]points: Setting MPFR precision to 576 1539795226.568 * * * * [misc]points: Computing exacts on every 36 of 2367 points to ramp up precision 1539795226.568 * * * * [misc]points: Setting MPFR precision to 320 1539795226.570 * * * * [misc]points: Setting MPFR precision to 576 1539795226.574 * * * * [misc]points: Computing exacts on every 18 of 2367 points to ramp up precision 1539795226.574 * * * * [misc]points: Setting MPFR precision to 320 1539795226.577 * * * * [misc]points: Setting MPFR precision to 576 1539795226.581 * * * * [misc]points: Computing exacts on every 9 of 2367 points to ramp up precision 1539795226.582 * * * * [misc]points: Setting MPFR precision to 320 1539795226.588 * * * * [misc]points: Setting MPFR precision to 576 1539795226.595 * * * * [misc]points: Computing exacts on every 4 of 2367 points to ramp up precision 1539795226.596 * * * * [misc]points: Setting MPFR precision to 320 1539795226.620 * * * * [misc]points: Setting MPFR precision to 576 1539795226.634 * * * * [misc]points: Computing exacts on every 2 of 2367 points to ramp up precision 1539795226.635 * * * * [misc]points: Setting MPFR precision to 320 1539795226.660 * * * * [misc]points: Setting MPFR precision to 576 1539795226.705 * * * * [misc]points: Computing exacts for 2367 points 1539795226.706 * * * * [misc]points: Setting MPFR precision to 320 1539795226.875 * * * * [misc]points: Setting MPFR precision to 576 1539795226.989 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795226.989 * * * * [misc]points: Sampling 1837 additional inputs, on iter 6 have 6163 / 8000 1539795227.030 * * * * [misc]points: Computing exacts on every 114 of 1837 points to ramp up precision 1539795227.031 * * * * [misc]points: Setting MPFR precision to 320 1539795227.032 * * * * [misc]points: Setting MPFR precision to 576 1539795227.032 * * * * [misc]points: Computing exacts on every 57 of 1837 points to ramp up precision 1539795227.033 * * * * [misc]points: Setting MPFR precision to 320 1539795227.034 * * * * [misc]points: Setting MPFR precision to 576 1539795227.035 * * * * [misc]points: Computing exacts on every 28 of 1837 points to ramp up precision 1539795227.036 * * * * [misc]points: Setting MPFR precision to 320 1539795227.037 * * * * [misc]points: Setting MPFR precision to 576 1539795227.041 * * * * [misc]points: Computing exacts on every 14 of 1837 points to ramp up precision 1539795227.042 * * * * [misc]points: Setting MPFR precision to 320 1539795227.045 * * * * [misc]points: Setting MPFR precision to 576 1539795227.049 * * * * [misc]points: Computing exacts on every 7 of 1837 points to ramp up precision 1539795227.050 * * * * [misc]points: Setting MPFR precision to 320 1539795227.055 * * * * [misc]points: Setting MPFR precision to 576 1539795227.061 * * * * [misc]points: Computing exacts on every 3 of 1837 points to ramp up precision 1539795227.062 * * * * [misc]points: Setting MPFR precision to 320 1539795227.073 * * * * [misc]points: Setting MPFR precision to 576 1539795227.086 * * * * [misc]points: Computing exacts for 1837 points 1539795227.087 * * * * [misc]points: Setting MPFR precision to 320 1539795227.163 * * * * [misc]points: Setting MPFR precision to 576 1539795227.320 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795227.320 * * * * [misc]points: Sampling 1463 additional inputs, on iter 7 have 6537 / 8000 1539795227.332 * * * * [misc]points: Computing exacts on every 91 of 1463 points to ramp up precision 1539795227.334 * * * * [misc]points: Setting MPFR precision to 320 1539795227.335 * * * * [misc]points: Setting MPFR precision to 576 1539795227.336 * * * * [misc]points: Computing exacts on every 45 of 1463 points to ramp up precision 1539795227.337 * * * * [misc]points: Setting MPFR precision to 320 1539795227.339 * * * * [misc]points: Setting MPFR precision to 576 1539795227.341 * * * * [misc]points: Computing exacts on every 22 of 1463 points to ramp up precision 1539795227.342 * * * * [misc]points: Setting MPFR precision to 320 1539795227.345 * * * * [misc]points: Setting MPFR precision to 576 1539795227.349 * * * * [misc]points: Computing exacts on every 11 of 1463 points to ramp up precision 1539795227.350 * * * * [misc]points: Setting MPFR precision to 320 1539795227.357 * * * * [misc]points: Setting MPFR precision to 576 1539795227.364 * * * * [misc]points: Computing exacts on every 5 of 1463 points to ramp up precision 1539795227.365 * * * * [misc]points: Setting MPFR precision to 320 1539795227.377 * * * * [misc]points: Setting MPFR precision to 576 1539795227.392 * * * * [misc]points: Computing exacts on every 2 of 1463 points to ramp up precision 1539795227.393 * * * * [misc]points: Setting MPFR precision to 320 1539795227.412 * * * * [misc]points: Setting MPFR precision to 576 1539795227.778 * * * * [misc]points: Computing exacts for 1463 points 1539795227.779 * * * * [misc]points: Setting MPFR precision to 320 1539795227.844 * * * * [misc]points: Setting MPFR precision to 576 1539795227.886 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795227.886 * * * * [misc]points: Sampling 1138 additional inputs, on iter 8 have 6862 / 8000 1539795227.891 * * * * [misc]points: Computing exacts on every 71 of 1138 points to ramp up precision 1539795227.892 * * * * [misc]points: Setting MPFR precision to 320 1539795227.892 * * * * [misc]points: Setting MPFR precision to 576 1539795227.893 * * * * [misc]points: Computing exacts on every 35 of 1138 points to ramp up precision 1539795227.894 * * * * [misc]points: Setting MPFR precision to 320 1539795227.894 * * * * [misc]points: Setting MPFR precision to 576 1539795227.895 * * * * [misc]points: Computing exacts on every 17 of 1138 points to ramp up precision 1539795227.896 * * * * [misc]points: Setting MPFR precision to 320 1539795227.898 * * * * [misc]points: Setting MPFR precision to 576 1539795227.900 * * * * [misc]points: Computing exacts on every 8 of 1138 points to ramp up precision 1539795227.902 * * * * [misc]points: Setting MPFR precision to 320 1539795227.908 * * * * [misc]points: Setting MPFR precision to 576 1539795227.917 * * * * [misc]points: Computing exacts on every 4 of 1138 points to ramp up precision 1539795227.918 * * * * [misc]points: Setting MPFR precision to 320 1539795227.962 * * * * [misc]points: Setting MPFR precision to 576 1539795227.970 * * * * [misc]points: Computing exacts on every 2 of 1138 points to ramp up precision 1539795227.971 * * * * [misc]points: Setting MPFR precision to 320 1539795227.981 * * * * [misc]points: Setting MPFR precision to 576 1539795227.992 * * * * [misc]points: Computing exacts for 1138 points 1539795227.993 * * * * [misc]points: Setting MPFR precision to 320 1539795228.035 * * * * [misc]points: Setting MPFR precision to 576 1539795228.076 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795228.076 * * * * [misc]points: Sampling 867 additional inputs, on iter 9 have 7133 / 8000 1539795228.080 * * * * [misc]points: Computing exacts on every 54 of 867 points to ramp up precision 1539795228.080 * * * * [misc]points: Setting MPFR precision to 320 1539795228.081 * * * * [misc]points: Setting MPFR precision to 576 1539795228.081 * * * * [misc]points: Computing exacts on every 27 of 867 points to ramp up precision 1539795228.082 * * * * [misc]points: Setting MPFR precision to 320 1539795228.083 * * * * [misc]points: Setting MPFR precision to 576 1539795228.084 * * * * [misc]points: Computing exacts on every 13 of 867 points to ramp up precision 1539795228.084 * * * * [misc]points: Setting MPFR precision to 320 1539795228.086 * * * * [misc]points: Setting MPFR precision to 576 1539795228.087 * * * * [misc]points: Computing exacts on every 6 of 867 points to ramp up precision 1539795228.088 * * * * [misc]points: Setting MPFR precision to 320 1539795228.126 * * * * [misc]points: Setting MPFR precision to 576 1539795228.132 * * * * [misc]points: Computing exacts on every 3 of 867 points to ramp up precision 1539795228.134 * * * * [misc]points: Setting MPFR precision to 320 1539795228.148 * * * * [misc]points: Setting MPFR precision to 576 1539795228.154 * * * * [misc]points: Computing exacts for 867 points 1539795228.155 * * * * [misc]points: Setting MPFR precision to 320 1539795228.183 * * * * [misc]points: Setting MPFR precision to 576 1539795228.209 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795228.209 * * * * [misc]points: Sampling 694 additional inputs, on iter 10 have 7306 / 8000 1539795228.212 * * * * [misc]points: Computing exacts on every 43 of 694 points to ramp up precision 1539795228.213 * * * * [misc]points: Setting MPFR precision to 320 1539795228.214 * * * * [misc]points: Setting MPFR precision to 576 1539795228.214 * * * * [misc]points: Computing exacts on every 21 of 694 points to ramp up precision 1539795228.215 * * * * [misc]points: Setting MPFR precision to 320 1539795228.216 * * * * [misc]points: Setting MPFR precision to 576 1539795228.217 * * * * [misc]points: Computing exacts on every 10 of 694 points to ramp up precision 1539795228.217 * * * * [misc]points: Setting MPFR precision to 320 1539795228.219 * * * * [misc]points: Setting MPFR precision to 576 1539795228.221 * * * * [misc]points: Computing exacts on every 5 of 694 points to ramp up precision 1539795228.222 * * * * [misc]points: Setting MPFR precision to 320 1539795228.225 * * * * [misc]points: Setting MPFR precision to 576 1539795228.228 * * * * [misc]points: Computing exacts on every 2 of 694 points to ramp up precision 1539795228.229 * * * * [misc]points: Setting MPFR precision to 320 1539795228.235 * * * * [misc]points: Setting MPFR precision to 576 1539795228.241 * * * * [misc]points: Computing exacts for 694 points 1539795228.242 * * * * [misc]points: Setting MPFR precision to 320 1539795228.294 * * * * [misc]points: Setting MPFR precision to 576 1539795228.321 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795228.321 * * * * [misc]points: Sampling 537 additional inputs, on iter 11 have 7463 / 8000 1539795228.323 * * * * [misc]points: Computing exacts on every 33 of 537 points to ramp up precision 1539795228.324 * * * * [misc]points: Setting MPFR precision to 320 1539795228.325 * * * * [misc]points: Setting MPFR precision to 576 1539795228.325 * * * * [misc]points: Computing exacts on every 16 of 537 points to ramp up precision 1539795228.326 * * * * [misc]points: Setting MPFR precision to 320 1539795228.327 * * * * [misc]points: Setting MPFR precision to 576 1539795228.328 * * * * [misc]points: Computing exacts on every 8 of 537 points to ramp up precision 1539795228.328 * * * * [misc]points: Setting MPFR precision to 320 1539795228.330 * * * * [misc]points: Setting MPFR precision to 576 1539795228.332 * * * * [misc]points: Computing exacts on every 4 of 537 points to ramp up precision 1539795228.332 * * * * [misc]points: Setting MPFR precision to 320 1539795228.335 * * * * [misc]points: Setting MPFR precision to 576 1539795228.338 * * * * [misc]points: Computing exacts on every 2 of 537 points to ramp up precision 1539795228.339 * * * * [misc]points: Setting MPFR precision to 320 1539795228.344 * * * * [misc]points: Setting MPFR precision to 576 1539795228.349 * * * * [misc]points: Computing exacts for 537 points 1539795228.350 * * * * [misc]points: Setting MPFR precision to 320 1539795228.365 * * * * [misc]points: Setting MPFR precision to 576 1539795228.381 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795228.381 * * * * [misc]points: Sampling 419 additional inputs, on iter 12 have 7581 / 8000 1539795228.383 * * * * [misc]points: Computing exacts on every 26 of 419 points to ramp up precision 1539795228.383 * * * * [misc]points: Setting MPFR precision to 320 1539795228.384 * * * * [misc]points: Setting MPFR precision to 576 1539795228.384 * * * * [misc]points: Computing exacts on every 13 of 419 points to ramp up precision 1539795228.385 * * * * [misc]points: Setting MPFR precision to 320 1539795228.386 * * * * [misc]points: Setting MPFR precision to 576 1539795228.387 * * * * [misc]points: Computing exacts on every 6 of 419 points to ramp up precision 1539795228.387 * * * * [misc]points: Setting MPFR precision to 320 1539795228.389 * * * * [misc]points: Setting MPFR precision to 576 1539795228.390 * * * * [misc]points: Computing exacts on every 3 of 419 points to ramp up precision 1539795228.391 * * * * [misc]points: Setting MPFR precision to 320 1539795228.394 * * * * [misc]points: Setting MPFR precision to 576 1539795228.397 * * * * [misc]points: Computing exacts for 419 points 1539795228.398 * * * * [misc]points: Setting MPFR precision to 320 1539795228.447 * * * * [misc]points: Setting MPFR precision to 576 1539795228.466 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795228.466 * * * * [misc]points: Sampling 332 additional inputs, on iter 13 have 7668 / 8000 1539795228.467 * * * * [misc]points: Computing exacts on every 20 of 332 points to ramp up precision 1539795228.468 * * * * [misc]points: Setting MPFR precision to 320 1539795228.468 * * * * [misc]points: Setting MPFR precision to 576 1539795228.469 * * * * [misc]points: Computing exacts on every 10 of 332 points to ramp up precision 1539795228.470 * * * * [misc]points: Setting MPFR precision to 320 1539795228.470 * * * * [misc]points: Setting MPFR precision to 576 1539795228.471 * * * * [misc]points: Computing exacts on every 5 of 332 points to ramp up precision 1539795228.472 * * * * [misc]points: Setting MPFR precision to 320 1539795228.474 * * * * [misc]points: Setting MPFR precision to 576 1539795228.475 * * * * [misc]points: Computing exacts on every 2 of 332 points to ramp up precision 1539795228.476 * * * * [misc]points: Setting MPFR precision to 320 1539795228.479 * * * * [misc]points: Setting MPFR precision to 576 1539795228.482 * * * * [misc]points: Computing exacts for 332 points 1539795228.483 * * * * [misc]points: Setting MPFR precision to 320 1539795228.491 * * * * [misc]points: Setting MPFR precision to 576 1539795228.509 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795228.509 * * * * [misc]points: Sampling 245 additional inputs, on iter 14 have 7755 / 8000 1539795228.511 * * * * [misc]points: Computing exacts on every 15 of 245 points to ramp up precision 1539795228.512 * * * * [misc]points: Setting MPFR precision to 320 1539795228.513 * * * * [misc]points: Setting MPFR precision to 576 1539795228.513 * * * * [misc]points: Computing exacts on every 7 of 245 points to ramp up precision 1539795228.514 * * * * [misc]points: Setting MPFR precision to 320 1539795228.516 * * * * [misc]points: Setting MPFR precision to 576 1539795228.517 * * * * [misc]points: Computing exacts on every 3 of 245 points to ramp up precision 1539795228.518 * * * * [misc]points: Setting MPFR precision to 320 1539795228.521 * * * * [misc]points: Setting MPFR precision to 576 1539795228.524 * * * * [misc]points: Computing exacts for 245 points 1539795228.525 * * * * [misc]points: Setting MPFR precision to 320 1539795228.536 * * * * [misc]points: Setting MPFR precision to 576 1539795228.549 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795228.550 * * * * [misc]points: Sampling 195 additional inputs, on iter 15 have 7805 / 8000 1539795228.551 * * * * [misc]points: Computing exacts on every 12 of 195 points to ramp up precision 1539795228.552 * * * * [misc]points: Setting MPFR precision to 320 1539795228.554 * * * * [misc]points: Setting MPFR precision to 576 1539795228.554 * * * * [misc]points: Computing exacts on every 6 of 195 points to ramp up precision 1539795228.556 * * * * [misc]points: Setting MPFR precision to 320 1539795228.557 * * * * [misc]points: Setting MPFR precision to 576 1539795228.559 * * * * [misc]points: Computing exacts on every 3 of 195 points to ramp up precision 1539795228.560 * * * * [misc]points: Setting MPFR precision to 320 1539795228.562 * * * * [misc]points: Setting MPFR precision to 576 1539795228.565 * * * * [misc]points: Computing exacts for 195 points 1539795228.567 * * * * [misc]points: Setting MPFR precision to 320 1539795228.576 * * * * [misc]points: Setting MPFR precision to 576 1539795228.587 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795228.588 * * * * [misc]points: Sampling 150 additional inputs, on iter 16 have 7850 / 8000 1539795228.589 * * * * [misc]points: Computing exacts on every 9 of 150 points to ramp up precision 1539795228.590 * * * * [misc]points: Setting MPFR precision to 320 1539795228.591 * * * * [misc]points: Setting MPFR precision to 576 1539795228.592 * * * * [misc]points: Computing exacts on every 4 of 150 points to ramp up precision 1539795228.593 * * * * [misc]points: Setting MPFR precision to 320 1539795228.595 * * * * [misc]points: Setting MPFR precision to 576 1539795228.596 * * * * [misc]points: Computing exacts on every 2 of 150 points to ramp up precision 1539795228.597 * * * * [misc]points: Setting MPFR precision to 320 1539795228.600 * * * * [misc]points: Setting MPFR precision to 576 1539795228.603 * * * * [misc]points: Computing exacts for 150 points 1539795228.604 * * * * [misc]points: Setting MPFR precision to 320 1539795228.609 * * * * [misc]points: Setting MPFR precision to 576 1539795228.644 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795228.644 * * * * [misc]points: Sampling 113 additional inputs, on iter 17 have 7887 / 8000 1539795228.645 * * * * [misc]points: Computing exacts on every 7 of 113 points to ramp up precision 1539795228.646 * * * * [misc]points: Setting MPFR precision to 320 1539795228.647 * * * * [misc]points: Setting MPFR precision to 576 1539795228.648 * * * * [misc]points: Computing exacts on every 3 of 113 points to ramp up precision 1539795228.649 * * * * [misc]points: Setting MPFR precision to 320 1539795228.651 * * * * [misc]points: Setting MPFR precision to 576 1539795228.656 * * * * [misc]points: Computing exacts for 113 points 1539795228.657 * * * * [misc]points: Setting MPFR precision to 320 1539795228.660 * * * * [misc]points: Setting MPFR precision to 576 1539795228.663 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795228.663 * * * * [misc]points: Sampling 88 additional inputs, on iter 18 have 7912 / 8000 1539795228.663 * * * * [misc]points: Computing exacts on every 5 of 88 points to ramp up precision 1539795228.664 * * * * [misc]points: Setting MPFR precision to 320 1539795228.665 * * * * [misc]points: Setting MPFR precision to 576 1539795228.665 * * * * [misc]points: Computing exacts on every 2 of 88 points to ramp up precision 1539795228.666 * * * * [misc]points: Setting MPFR precision to 320 1539795228.667 * * * * [misc]points: Setting MPFR precision to 576 1539795228.668 * * * * [misc]points: Computing exacts for 88 points 1539795228.668 * * * * [misc]points: Setting MPFR precision to 320 1539795228.670 * * * * [misc]points: Setting MPFR precision to 576 1539795228.673 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795228.673 * * * * [misc]points: Sampling 74 additional inputs, on iter 19 have 7926 / 8000 1539795228.673 * * * * [misc]points: Computing exacts on every 4 of 74 points to ramp up precision 1539795228.674 * * * * [misc]points: Setting MPFR precision to 320 1539795228.675 * * * * [misc]points: Setting MPFR precision to 576 1539795228.675 * * * * [misc]points: Computing exacts on every 2 of 74 points to ramp up precision 1539795228.676 * * * * [misc]points: Setting MPFR precision to 320 1539795228.676 * * * * [misc]points: Setting MPFR precision to 576 1539795228.677 * * * * [misc]points: Computing exacts for 74 points 1539795228.678 * * * * [misc]points: Setting MPFR precision to 320 1539795228.679 * * * * [misc]points: Setting MPFR precision to 576 1539795228.681 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795228.681 * * * * [misc]points: Sampling 60 additional inputs, on iter 20 have 7940 / 8000 1539795228.682 * * * * [misc]points: Computing exacts on every 3 of 60 points to ramp up precision 1539795228.682 * * * * [misc]points: Setting MPFR precision to 320 1539795228.683 * * * * [misc]points: Setting MPFR precision to 576 1539795228.683 * * * * [misc]points: Computing exacts for 60 points 1539795228.684 * * * * [misc]points: Setting MPFR precision to 320 1539795228.685 * * * * [misc]points: Setting MPFR precision to 576 1539795228.687 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795228.687 * * * * [misc]points: Sampling 52 additional inputs, on iter 21 have 7948 / 8000 1539795228.687 * * * * [misc]points: Computing exacts on every 3 of 52 points to ramp up precision 1539795228.688 * * * * [misc]points: Setting MPFR precision to 320 1539795228.689 * * * * [misc]points: Setting MPFR precision to 576 1539795228.689 * * * * [misc]points: Computing exacts for 52 points 1539795228.690 * * * * [misc]points: Setting MPFR precision to 320 1539795228.691 * * * * [misc]points: Setting MPFR precision to 576 1539795228.692 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795228.692 * * * * [misc]points: Sampling 42 additional inputs, on iter 22 have 7958 / 8000 1539795228.693 * * * * [misc]points: Computing exacts on every 2 of 42 points to ramp up precision 1539795228.693 * * * * [misc]points: Setting MPFR precision to 320 1539795228.694 * * * * [misc]points: Setting MPFR precision to 576 1539795228.694 * * * * [misc]points: Computing exacts for 42 points 1539795228.695 * * * * [misc]points: Setting MPFR precision to 320 1539795228.696 * * * * [misc]points: Setting MPFR precision to 576 1539795228.697 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795228.697 * * * * [misc]points: Sampling 32 additional inputs, on iter 23 have 7968 / 8000 1539795228.697 * * * * [misc]points: Computing exacts on every 2 of 32 points to ramp up precision 1539795228.698 * * * * [misc]points: Setting MPFR precision to 320 1539795228.698 * * * * [misc]points: Setting MPFR precision to 576 1539795228.699 * * * * [misc]points: Computing exacts for 32 points 1539795228.699 * * * * [misc]points: Setting MPFR precision to 320 1539795228.700 * * * * [misc]points: Setting MPFR precision to 576 1539795228.701 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795228.701 * * * * [misc]points: Sampling 24 additional inputs, on iter 24 have 7976 / 8000 1539795228.702 * * * * [misc]points: Computing exacts for 24 points 1539795228.702 * * * * [misc]points: Setting MPFR precision to 320 1539795228.703 * * * * [misc]points: Setting MPFR precision to 576 1539795228.704 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795228.705 * * * * [misc]points: Sampling 17 additional inputs, on iter 25 have 7983 / 8000 1539795228.705 * * * * [misc]points: Computing exacts for 17 points 1539795228.706 * * * * [misc]points: Setting MPFR precision to 320 1539795228.707 * * * * [misc]points: Setting MPFR precision to 576 1539795228.708 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795228.708 * * * * [misc]points: Sampling 12 additional inputs, on iter 26 have 7988 / 8000 1539795228.708 * * * * [misc]points: Computing exacts for 12 points 1539795228.709 * * * * [misc]points: Setting MPFR precision to 320 1539795228.710 * * * * [misc]points: Setting MPFR precision to 576 1539795228.711 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795228.711 * * * * [misc]points: Sampling 9 additional inputs, on iter 27 have 7991 / 8000 1539795228.711 * * * * [misc]points: Computing exacts for 9 points 1539795228.712 * * * * [misc]points: Setting MPFR precision to 320 1539795228.713 * * * * [misc]points: Setting MPFR precision to 576 1539795228.713 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795228.713 * * * * [misc]points: Sampling 8 additional inputs, on iter 28 have 7992 / 8000 1539795228.713 * * * * [misc]points: Computing exacts for 8 points 1539795228.714 * * * * [misc]points: Setting MPFR precision to 320 1539795228.715 * * * * [misc]points: Setting MPFR precision to 576 1539795228.716 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795228.716 * * * * [misc]points: Sampling 8 additional inputs, on iter 29 have 7992 / 8000 1539795228.716 * * * * [misc]points: Computing exacts for 8 points 1539795228.717 * * * * [misc]points: Setting MPFR precision to 320 1539795228.717 * * * * [misc]points: Setting MPFR precision to 576 1539795228.718 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795228.718 * * * * [misc]points: Sampling 7 additional inputs, on iter 30 have 7993 / 8000 1539795228.718 * * * * [misc]points: Computing exacts for 7 points 1539795228.719 * * * * [misc]points: Setting MPFR precision to 320 1539795228.719 * * * * [misc]points: Setting MPFR precision to 576 1539795228.720 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795228.720 * * * * [misc]points: Sampling 7 additional inputs, on iter 31 have 7993 / 8000 1539795228.720 * * * * [misc]points: Computing exacts for 7 points 1539795228.721 * * * * [misc]points: Setting MPFR precision to 320 1539795228.721 * * * * [misc]points: Setting MPFR precision to 576 1539795228.722 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795228.722 * * * * [misc]points: Sampling 7 additional inputs, on iter 32 have 7993 / 8000 1539795228.722 * * * * [misc]points: Computing exacts for 7 points 1539795228.723 * * * * [misc]points: Setting MPFR precision to 320 1539795228.723 * * * * [misc]points: Setting MPFR precision to 576 1539795228.724 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795228.724 * * * * [misc]points: Sampling 6 additional inputs, on iter 33 have 7994 / 8000 1539795228.724 * * * * [misc]points: Computing exacts for 6 points 1539795228.725 * * * * [misc]points: Setting MPFR precision to 320 1539795228.725 * * * * [misc]points: Setting MPFR precision to 576 1539795228.726 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795228.726 * * * * [misc]points: Sampling 4 additional inputs, on iter 34 have 7996 / 8000 1539795228.726 * * * * [misc]points: Computing exacts for 4 points 1539795228.727 * * * * [misc]points: Setting MPFR precision to 320 1539795228.727 * * * * [misc]points: Setting MPFR precision to 576 1539795228.728 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795228.728 * * * * [misc]points: Sampling 4 additional inputs, on iter 35 have 7997 / 8000 1539795228.728 * * * * [misc]points: Computing exacts for 4 points 1539795228.729 * * * * [misc]points: Setting MPFR precision to 320 1539795228.729 * * * * [misc]points: Setting MPFR precision to 576 1539795228.729 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795228.729 * * * * [misc]points: Sampling 4 additional inputs, on iter 36 have 7997 / 8000 1539795228.730 * * * * [misc]points: Computing exacts for 4 points 1539795228.731 * * * * [misc]points: Setting MPFR precision to 320 1539795228.731 * * * * [misc]points: Setting MPFR precision to 576 1539795228.731 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795228.731 * * * * [misc]points: Sampling 4 additional inputs, on iter 37 have 7998 / 8000 1539795228.731 * * * * [misc]points: Computing exacts for 4 points 1539795228.732 * * * * [misc]points: Setting MPFR precision to 320 1539795228.733 * * * * [misc]points: Setting MPFR precision to 576 1539795228.733 * * * * [misc]points: Filtering points with unrepresentable outputs 1539795228.733 * * * * [exit]points: Sampled 8000 points with exact outputs 1539795228.918 * [misc]regime-testing: Baseline error score: 0 1539795228.918 * [misc]regime-testing: End program error score: 0 1539795228.919 * [misc]regime-testing: Oracle error score: 0 1539795228.965 * [misc]regime-testing: Target error score: 0