1544087586.053 * [misc]progress: [Phase 1 of 3] Setting up. 1544087586.053 * * * [misc]progress: [1/2] Preparing points 1544087586.053 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1544087586.054 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1544087586.055 * * * * [misc]points: Setting MPFR precision to 64 1544087586.055 * * * * [misc]points: Setting MPFR precision to 320 1544087586.056 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1544087586.056 * * * * [misc]points: Setting MPFR precision to 64 1544087586.057 * * * * [misc]points: Setting MPFR precision to 320 1544087586.060 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1544087586.060 * * * * [misc]points: Setting MPFR precision to 64 1544087586.062 * * * * [misc]points: Setting MPFR precision to 320 1544087586.063 * * * * [misc]points: Setting MPFR precision to 576 1544087586.064 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1544087586.065 * * * * [misc]points: Setting MPFR precision to 320 1544087586.068 * * * * [misc]points: Setting MPFR precision to 576 1544087586.070 * * * * [misc]points: Computing exacts for 256 points 1544087586.071 * * * * [misc]points: Setting MPFR precision to 320 1544087586.077 * * * * [misc]points: Setting MPFR precision to 576 1544087586.086 * * * * [misc]points: Filtering points with unrepresentable outputs 1544087586.086 * * * * [misc]points: Sampling 197 additional inputs, on iter 1 have 59 / 256 1544087586.087 * * * * [misc]points: Computing exacts on every 12 of 197 points to ramp up precision 1544087586.089 * * * * [misc]points: Setting MPFR precision to 320 1544087586.090 * * * * [misc]points: Setting MPFR precision to 576 1544087586.091 * * * * [misc]points: Computing exacts on every 6 of 197 points to ramp up precision 1544087586.091 * * * * [misc]points: Setting MPFR precision to 320 1544087586.092 * * * * [misc]points: Setting MPFR precision to 576 1544087586.093 * * * * [misc]points: Computing exacts on every 3 of 197 points to ramp up precision 1544087586.094 * * * * [misc]points: Setting MPFR precision to 320 1544087586.095 * * * * [misc]points: Setting MPFR precision to 576 1544087586.096 * * * * [misc]points: Computing exacts for 197 points 1544087586.097 * * * * [misc]points: Setting MPFR precision to 320 1544087586.102 * * * * [misc]points: Setting MPFR precision to 576 1544087586.108 * * * * [misc]points: Filtering points with unrepresentable outputs 1544087586.108 * * * * [misc]points: Sampling 158 additional inputs, on iter 2 have 98 / 256 1544087586.108 * * * * [misc]points: Computing exacts on every 9 of 158 points to ramp up precision 1544087586.109 * * * * [misc]points: Setting MPFR precision to 320 1544087586.110 * * * * [misc]points: Setting MPFR precision to 576 1544087586.110 * * * * [misc]points: Computing exacts on every 4 of 158 points to ramp up precision 1544087586.111 * * * * [misc]points: Setting MPFR precision to 320 1544087586.112 * * * * [misc]points: Setting MPFR precision to 576 1544087586.114 * * * * [misc]points: Computing exacts on every 2 of 158 points to ramp up precision 1544087586.115 * * * * [misc]points: Setting MPFR precision to 320 1544087586.118 * * * * [misc]points: Setting MPFR precision to 576 1544087586.121 * * * * [misc]points: Computing exacts for 158 points 1544087586.122 * * * * [misc]points: Setting MPFR precision to 320 1544087586.130 * * * * [misc]points: Setting MPFR precision to 576 1544087586.138 * * * * [misc]points: Filtering points with unrepresentable outputs 1544087586.138 * * * * [misc]points: Sampling 125 additional inputs, on iter 3 have 131 / 256 1544087586.139 * * * * [misc]points: Computing exacts on every 7 of 125 points to ramp up precision 1544087586.140 * * * * [misc]points: Setting MPFR precision to 320 1544087586.141 * * * * [misc]points: Setting MPFR precision to 576 1544087586.141 * * * * [misc]points: Computing exacts on every 3 of 125 points to ramp up precision 1544087586.142 * * * * [misc]points: Setting MPFR precision to 320 1544087586.143 * * * * [misc]points: Setting MPFR precision to 576 1544087586.143 * * * * [misc]points: Computing exacts for 125 points 1544087586.144 * * * * [misc]points: Setting MPFR precision to 320 1544087586.147 * * * * [misc]points: Setting MPFR precision to 576 1544087586.151 * * * * [misc]points: Filtering points with unrepresentable outputs 1544087586.151 * * * * [misc]points: Sampling 103 additional inputs, on iter 4 have 153 / 256 1544087586.152 * * * * [misc]points: Computing exacts on every 6 of 103 points to ramp up precision 1544087586.152 * * * * [misc]points: Setting MPFR precision to 320 1544087586.153 * * * * [misc]points: Setting MPFR precision to 576 1544087586.153 * * * * [misc]points: Computing exacts on every 3 of 103 points to ramp up precision 1544087586.154 * * * * [misc]points: Setting MPFR precision to 320 1544087586.154 * * * * [misc]points: Setting MPFR precision to 576 1544087586.155 * * * * [misc]points: Computing exacts for 103 points 1544087586.156 * * * * [misc]points: Setting MPFR precision to 320 1544087586.158 * * * * [misc]points: Setting MPFR precision to 576 1544087586.161 * * * * [misc]points: Filtering points with unrepresentable outputs 1544087586.162 * * * * [misc]points: Sampling 78 additional inputs, on iter 5 have 178 / 256 1544087586.162 * * * * [misc]points: Computing exacts on every 4 of 78 points to ramp up precision 1544087586.163 * * * * [misc]points: Setting MPFR precision to 320 1544087586.163 * * * * [misc]points: Setting MPFR precision to 576 1544087586.164 * * * * [misc]points: Computing exacts on every 2 of 78 points to ramp up precision 1544087586.165 * * * * [misc]points: Setting MPFR precision to 320 1544087586.167 * * * * [misc]points: Setting MPFR precision to 576 1544087586.168 * * * * [misc]points: Computing exacts for 78 points 1544087586.170 * * * * [misc]points: Setting MPFR precision to 320 1544087586.174 * * * * [misc]points: Setting MPFR precision to 576 1544087586.178 * * * * [misc]points: Filtering points with unrepresentable outputs 1544087586.178 * * * * [misc]points: Sampling 64 additional inputs, on iter 6 have 192 / 256 1544087586.179 * * * * [misc]points: Computing exacts on every 4 of 64 points to ramp up precision 1544087586.180 * * * * [misc]points: Setting MPFR precision to 320 1544087586.181 * * * * [misc]points: Setting MPFR precision to 576 1544087586.182 * * * * [misc]points: Computing exacts on every 2 of 64 points to ramp up precision 1544087586.182 * * * * [misc]points: Setting MPFR precision to 320 1544087586.184 * * * * [misc]points: Setting MPFR precision to 576 1544087586.185 * * * * [misc]points: Computing exacts for 64 points 1544087586.187 * * * * [misc]points: Setting MPFR precision to 320 1544087586.190 * * * * [misc]points: Setting MPFR precision to 576 1544087586.194 * * * * [misc]points: Filtering points with unrepresentable outputs 1544087586.195 * * * * [misc]points: Sampling 41 additional inputs, on iter 7 have 215 / 256 1544087586.195 * * * * [misc]points: Computing exacts on every 2 of 41 points to ramp up precision 1544087586.196 * * * * [misc]points: Setting MPFR precision to 320 1544087586.197 * * * * [misc]points: Setting MPFR precision to 576 1544087586.198 * * * * [misc]points: Computing exacts for 41 points 1544087586.199 * * * * [misc]points: Setting MPFR precision to 320 1544087586.202 * * * * [misc]points: Setting MPFR precision to 576 1544087586.204 * * * * [misc]points: Filtering points with unrepresentable outputs 1544087586.204 * * * * [misc]points: Sampling 28 additional inputs, on iter 8 have 228 / 256 1544087586.204 * * * * [misc]points: Computing exacts for 28 points 1544087586.206 * * * * [misc]points: Setting MPFR precision to 320 1544087586.207 * * * * [misc]points: Setting MPFR precision to 576 1544087586.209 * * * * [misc]points: Filtering points with unrepresentable outputs 1544087586.209 * * * * [misc]points: Sampling 17 additional inputs, on iter 9 have 239 / 256 1544087586.210 * * * * [misc]points: Computing exacts for 17 points 1544087586.211 * * * * [misc]points: Setting MPFR precision to 320 1544087586.212 * * * * [misc]points: Setting MPFR precision to 576 1544087586.213 * * * * [misc]points: Filtering points with unrepresentable outputs 1544087586.213 * * * * [misc]points: Sampling 14 additional inputs, on iter 10 have 242 / 256 1544087586.213 * * * * [misc]points: Computing exacts for 14 points 1544087586.214 * * * * [misc]points: Setting MPFR precision to 320 1544087586.253 * * * * [misc]points: Setting MPFR precision to 576 1544087586.255 * * * * [misc]points: Filtering points with unrepresentable outputs 1544087586.255 * * * * [misc]points: Sampling 9 additional inputs, on iter 11 have 247 / 256 1544087586.255 * * * * [misc]points: Computing exacts for 9 points 1544087586.256 * * * * [misc]points: Setting MPFR precision to 320 1544087586.257 * * * * [misc]points: Setting MPFR precision to 576 1544087586.258 * * * * [misc]points: Filtering points with unrepresentable outputs 1544087586.258 * * * * [misc]points: Sampling 4 additional inputs, on iter 12 have 253 / 256 1544087586.258 * * * * [misc]points: Computing exacts for 4 points 1544087586.259 * * * * [misc]points: Setting MPFR precision to 320 1544087586.259 * * * * [misc]points: Setting MPFR precision to 576 1544087586.259 * * * * [misc]points: Filtering points with unrepresentable outputs 1544087586.259 * * * * [misc]points: Sampling 4 additional inputs, on iter 13 have 253 / 256 1544087586.259 * * * * [misc]points: Computing exacts for 4 points 1544087586.261 * * * * [misc]points: Setting MPFR precision to 320 1544087586.261 * * * * [misc]points: Setting MPFR precision to 576 1544087586.261 * * * * [misc]points: Filtering points with unrepresentable outputs 1544087586.261 * * * * [misc]points: Sampling 4 additional inputs, on iter 14 have 253 / 256 1544087586.261 * * * * [misc]points: Computing exacts for 4 points 1544087586.262 * * * * [misc]points: Setting MPFR precision to 320 1544087586.266 * * * * [misc]points: Setting MPFR precision to 576 1544087586.266 * * * * [misc]points: Filtering points with unrepresentable outputs 1544087586.266 * * * * [misc]points: Sampling 4 additional inputs, on iter 15 have 254 / 256 1544087586.266 * * * * [misc]points: Computing exacts for 4 points 1544087586.268 * * * * [misc]points: Setting MPFR precision to 320 1544087586.268 * * * * [misc]points: Setting MPFR precision to 576 1544087586.268 * * * * [misc]points: Filtering points with unrepresentable outputs 1544087586.268 * * * * [misc]points: Sampling 4 additional inputs, on iter 16 have 255 / 256 1544087586.268 * * * * [misc]points: Computing exacts for 4 points 1544087586.269 * * * * [misc]points: Setting MPFR precision to 320 1544087586.269 * * * * [misc]points: Setting MPFR precision to 576 1544087586.270 * * * * [misc]points: Filtering points with unrepresentable outputs 1544087586.270 * * * * [misc]points: Sampling 4 additional inputs, on iter 17 have 255 / 256 1544087586.270 * * * * [misc]points: Computing exacts for 4 points 1544087586.271 * * * * [misc]points: Setting MPFR precision to 320 1544087586.271 * * * * [misc]points: Setting MPFR precision to 576 1544087586.271 * * * * [misc]points: Filtering points with unrepresentable outputs 1544087586.271 * * * * [exit]points: Sampled 257 points with exact outputs 1544087586.272 * * * [misc]progress: [2/2] Setting up program. 1544087586.276 * [misc]progress: [Phase 2 of 3] Improving. 1544087586.277 * [enter]simplify: Simplifying (exp (+ (log a) (log b))) 1544087586.277 * * [misc]simplify: iters left: 4 (6 enodes) 1544087586.278 * * [misc]simplify: iters left: 3 (10 enodes) 1544087586.281 * * [misc]simplify: iters left: 2 (11 enodes) 1544087586.283 * [exit]simplify: Simplified to (* a b) 1544087586.293 * * [misc]progress: iteration 1 / 4 1544087586.293 * * * [misc]progress: picking best candidate 1544087586.296 * * * * [misc]pick: Picked # 1544087586.296 * * * [misc]progress: localizing error 1544087586.304 * * * [misc]progress: generating rewritten candidates 1544087586.304 * * * [misc]progress: generating series expansions 1544087586.304 * * * [misc]progress: simplifying candidates 1544087586.305 * * * [misc]progress: adding candidates to table 1544087586.305 * [misc]progress: [Phase 3 of 3] Extracting. 1544087586.308 * [enter]simplify: Simplifying (* a b) 1544087586.308 * * [misc]simplify: iters left: 2 (3 enodes) 1544087586.308 * * [misc]simplify: iters left: 1 (4 enodes) 1544087586.309 * [exit]simplify: Simplified to (* a b) 1544087586.309 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1544087586.364 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1544087586.366 * * * * [misc]points: Setting MPFR precision to 320 1544087586.367 * * * * [misc]points: Setting MPFR precision to 576 1544087586.368 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1544087586.369 * * * * [misc]points: Setting MPFR precision to 320 1544087586.371 * * * * [misc]points: Setting MPFR precision to 576 1544087586.372 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1544087586.374 * * * * [misc]points: Setting MPFR precision to 320 1544087586.377 * * * * [misc]points: Setting MPFR precision to 576 1544087586.380 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1544087586.382 * * * * [misc]points: Setting MPFR precision to 320 1544087586.388 * * * * [misc]points: Setting MPFR precision to 576 1544087586.395 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1544087586.396 * * * * [misc]points: Setting MPFR precision to 320 1544087586.408 * * * * [misc]points: Setting MPFR precision to 576 1544087586.420 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1544087586.421 * * * * [misc]points: Setting MPFR precision to 320 1544087586.433 * * * * [misc]points: Setting MPFR precision to 576 1544087586.452 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1544087586.453 * * * * [misc]points: Setting MPFR precision to 320 1544087586.489 * * * * [misc]points: Setting MPFR precision to 576 1544087586.918 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1544087586.919 * * * * [misc]points: Setting MPFR precision to 320 1544087586.994 * * * * [misc]points: Setting MPFR precision to 576 1544087587.153 * * * * [misc]points: Computing exacts for 8000 points 1544087587.154 * * * * [misc]points: Setting MPFR precision to 320 1544087587.464 * * * * [misc]points: Setting MPFR precision to 576 1544087587.912 * * * * [misc]points: Filtering points with unrepresentable outputs 1544087587.915 * * * * [misc]points: Sampling 6304 additional inputs, on iter 1 have 1696 / 8000 1544087587.973 * * * * [misc]points: Computing exacts on every 394 of 6304 points to ramp up precision 1544087587.975 * * * * [misc]points: Setting MPFR precision to 320 1544087587.976 * * * * [misc]points: Setting MPFR precision to 576 1544087587.977 * * * * [misc]points: Computing exacts on every 197 of 6304 points to ramp up precision 1544087587.978 * * * * [misc]points: Setting MPFR precision to 320 1544087587.980 * * * * [misc]points: Setting MPFR precision to 576 1544087587.982 * * * * [misc]points: Computing exacts on every 98 of 6304 points to ramp up precision 1544087587.983 * * * * [misc]points: Setting MPFR precision to 320 1544087587.986 * * * * [misc]points: Setting MPFR precision to 576 1544087587.989 * * * * [misc]points: Computing exacts on every 49 of 6304 points to ramp up precision 1544087587.990 * * * * [misc]points: Setting MPFR precision to 320 1544087587.993 * * * * [misc]points: Setting MPFR precision to 576 1544087587.996 * * * * [misc]points: Computing exacts on every 24 of 6304 points to ramp up precision 1544087587.997 * * * * [misc]points: Setting MPFR precision to 320 1544087588.004 * * * * [misc]points: Setting MPFR precision to 576 1544087588.025 * * * * [misc]points: Computing exacts on every 12 of 6304 points to ramp up precision 1544087588.026 * * * * [misc]points: Setting MPFR precision to 320 1544087588.039 * * * * [misc]points: Setting MPFR precision to 576 1544087588.053 * * * * [misc]points: Computing exacts on every 6 of 6304 points to ramp up precision 1544087588.054 * * * * [misc]points: Setting MPFR precision to 320 1544087588.087 * * * * [misc]points: Setting MPFR precision to 576 1544087588.138 * * * * [misc]points: Computing exacts on every 3 of 6304 points to ramp up precision 1544087588.140 * * * * [misc]points: Setting MPFR precision to 320 1544087588.252 * * * * [misc]points: Setting MPFR precision to 576 1544087588.339 * * * * [misc]points: Computing exacts for 6304 points 1544087588.340 * * * * [misc]points: Setting MPFR precision to 320 1544087588.699 * * * * [misc]points: Setting MPFR precision to 576 1544087589.095 * * * * [misc]points: Filtering points with unrepresentable outputs 1544087589.097 * * * * [misc]points: Sampling 4979 additional inputs, on iter 2 have 3021 / 8000 1544087589.136 * * * * [misc]points: Computing exacts on every 311 of 4979 points to ramp up precision 1544087589.137 * * * * [misc]points: Setting MPFR precision to 320 1544087589.483 * * * * [misc]points: Setting MPFR precision to 576 1544087589.483 * * * * [misc]points: Computing exacts on every 155 of 4979 points to ramp up precision 1544087589.484 * * * * [misc]points: Setting MPFR precision to 320 1544087589.485 * * * * [misc]points: Setting MPFR precision to 576 1544087589.486 * * * * [misc]points: Computing exacts on every 77 of 4979 points to ramp up precision 1544087589.487 * * * * [misc]points: Setting MPFR precision to 320 1544087589.488 * * * * [misc]points: Setting MPFR precision to 576 1544087589.490 * * * * [misc]points: Computing exacts on every 38 of 4979 points to ramp up precision 1544087589.491 * * * * [misc]points: Setting MPFR precision to 320 1544087589.495 * * * * [misc]points: Setting MPFR precision to 576 1544087589.499 * * * * [misc]points: Computing exacts on every 19 of 4979 points to ramp up precision 1544087589.500 * * * * [misc]points: Setting MPFR precision to 320 1544087589.506 * * * * [misc]points: Setting MPFR precision to 576 1544087589.519 * * * * [misc]points: Computing exacts on every 9 of 4979 points to ramp up precision 1544087589.521 * * * * [misc]points: Setting MPFR precision to 320 1544087589.544 * * * * [misc]points: Setting MPFR precision to 576 1544087589.573 * * * * [misc]points: Computing exacts on every 4 of 4979 points to ramp up precision 1544087589.575 * * * * [misc]points: Setting MPFR precision to 320 1544087589.622 * * * * [misc]points: Setting MPFR precision to 576 1544087589.678 * * * * [misc]points: Computing exacts on every 2 of 4979 points to ramp up precision 1544087589.679 * * * * [misc]points: Setting MPFR precision to 320 1544087589.770 * * * * [misc]points: Setting MPFR precision to 576 1544087589.823 * * * * [misc]points: Computing exacts for 4979 points 1544087589.824 * * * * [misc]points: Setting MPFR precision to 320 1544087590.104 * * * * [misc]points: Setting MPFR precision to 576 1544087590.380 * * * * [misc]points: Filtering points with unrepresentable outputs 1544087590.382 * * * * [misc]points: Sampling 3934 additional inputs, on iter 3 have 4066 / 8000 1544087590.417 * * * * [misc]points: Computing exacts on every 245 of 3934 points to ramp up precision 1544087590.418 * * * * [misc]points: Setting MPFR precision to 320 1544087590.419 * * * * [misc]points: Setting MPFR precision to 576 1544087590.420 * * * * [misc]points: Computing exacts on every 122 of 3934 points to ramp up precision 1544087590.421 * * * * [misc]points: Setting MPFR precision to 320 1544087590.423 * * * * [misc]points: Setting MPFR precision to 576 1544087590.425 * * * * [misc]points: Computing exacts on every 61 of 3934 points to ramp up precision 1544087590.426 * * * * [misc]points: Setting MPFR precision to 320 1544087590.430 * * * * [misc]points: Setting MPFR precision to 576 1544087590.433 * * * * [misc]points: Computing exacts on every 30 of 3934 points to ramp up precision 1544087590.435 * * * * [misc]points: Setting MPFR precision to 320 1544087590.441 * * * * [misc]points: Setting MPFR precision to 576 1544087590.449 * * * * [misc]points: Computing exacts on every 15 of 3934 points to ramp up precision 1544087590.450 * * * * [misc]points: Setting MPFR precision to 320 1544087590.462 * * * * [misc]points: Setting MPFR precision to 576 1544087590.470 * * * * [misc]points: Computing exacts on every 7 of 3934 points to ramp up precision 1544087590.471 * * * * [misc]points: Setting MPFR precision to 320 1544087590.483 * * * * [misc]points: Setting MPFR precision to 576 1544087590.519 * * * * [misc]points: Computing exacts on every 3 of 3934 points to ramp up precision 1544087590.523 * * * * [misc]points: Setting MPFR precision to 320 1544087590.569 * * * * [misc]points: Setting MPFR precision to 576 1544087590.608 * * * * [misc]points: Computing exacts for 3934 points 1544087590.609 * * * * [misc]points: Setting MPFR precision to 320 1544087590.825 * * * * [misc]points: Setting MPFR precision to 576 1544087591.048 * * * * [misc]points: Filtering points with unrepresentable outputs 1544087591.050 * * * * [misc]points: Sampling 3060 additional inputs, on iter 4 have 4940 / 8000 1544087591.077 * * * * [misc]points: Computing exacts on every 191 of 3060 points to ramp up precision 1544087591.079 * * * * [misc]points: Setting MPFR precision to 320 1544087591.080 * * * * [misc]points: Setting MPFR precision to 576 1544087591.081 * * * * [misc]points: Computing exacts on every 95 of 3060 points to ramp up precision 1544087591.082 * * * * [misc]points: Setting MPFR precision to 320 1544087591.084 * * * * [misc]points: Setting MPFR precision to 576 1544087591.086 * * * * [misc]points: Computing exacts on every 47 of 3060 points to ramp up precision 1544087591.087 * * * * [misc]points: Setting MPFR precision to 320 1544087591.090 * * * * [misc]points: Setting MPFR precision to 576 1544087591.094 * * * * [misc]points: Computing exacts on every 23 of 3060 points to ramp up precision 1544087591.095 * * * * [misc]points: Setting MPFR precision to 320 1544087591.101 * * * * [misc]points: Setting MPFR precision to 576 1544087591.109 * * * * [misc]points: Computing exacts on every 11 of 3060 points to ramp up precision 1544087591.110 * * * * [misc]points: Setting MPFR precision to 320 1544087591.122 * * * * [misc]points: Setting MPFR precision to 576 1544087591.172 * * * * [misc]points: Computing exacts on every 5 of 3060 points to ramp up precision 1544087591.173 * * * * [misc]points: Setting MPFR precision to 320 1544087591.192 * * * * [misc]points: Setting MPFR precision to 576 1544087591.208 * * * * [misc]points: Computing exacts on every 2 of 3060 points to ramp up precision 1544087591.209 * * * * [misc]points: Setting MPFR precision to 320 1544087591.251 * * * * [misc]points: Setting MPFR precision to 576 1544087591.292 * * * * [misc]points: Computing exacts for 3060 points 1544087591.293 * * * * [misc]points: Setting MPFR precision to 320 1544087591.454 * * * * [misc]points: Setting MPFR precision to 576 1544087591.670 * * * * [misc]points: Filtering points with unrepresentable outputs 1544087591.671 * * * * [misc]points: Sampling 2369 additional inputs, on iter 5 have 5631 / 8000 1544087591.682 * * * * [misc]points: Computing exacts on every 148 of 2369 points to ramp up precision 1544087591.684 * * * * [misc]points: Setting MPFR precision to 320 1544087591.685 * * * * [misc]points: Setting MPFR precision to 576 1544087591.686 * * * * [misc]points: Computing exacts on every 74 of 2369 points to ramp up precision 1544087591.687 * * * * [misc]points: Setting MPFR precision to 320 1544087591.689 * * * * [misc]points: Setting MPFR precision to 576 1544087591.691 * * * * [misc]points: Computing exacts on every 37 of 2369 points to ramp up precision 1544087591.692 * * * * [misc]points: Setting MPFR precision to 320 1544087591.695 * * * * [misc]points: Setting MPFR precision to 576 1544087591.699 * * * * [misc]points: Computing exacts on every 18 of 2369 points to ramp up precision 1544087591.700 * * * * [misc]points: Setting MPFR precision to 320 1544087591.705 * * * * [misc]points: Setting MPFR precision to 576 1544087591.709 * * * * [misc]points: Computing exacts on every 9 of 2369 points to ramp up precision 1544087591.710 * * * * [misc]points: Setting MPFR precision to 320 1544087591.715 * * * * [misc]points: Setting MPFR precision to 576 1544087591.722 * * * * [misc]points: Computing exacts on every 4 of 2369 points to ramp up precision 1544087591.723 * * * * [misc]points: Setting MPFR precision to 320 1544087591.741 * * * * [misc]points: Setting MPFR precision to 576 1544087591.769 * * * * [misc]points: Computing exacts on every 2 of 2369 points to ramp up precision 1544087591.771 * * * * [misc]points: Setting MPFR precision to 320 1544087592.160 * * * * [misc]points: Setting MPFR precision to 576 1544087592.201 * * * * [misc]points: Computing exacts for 2369 points 1544087592.202 * * * * [misc]points: Setting MPFR precision to 320 1544087592.265 * * * * [misc]points: Setting MPFR precision to 576 1544087592.410 * * * * [misc]points: Filtering points with unrepresentable outputs 1544087592.411 * * * * [misc]points: Sampling 1874 additional inputs, on iter 6 have 6126 / 8000 1544087592.419 * * * * [misc]points: Computing exacts on every 117 of 1874 points to ramp up precision 1544087592.420 * * * * [misc]points: Setting MPFR precision to 320 1544087592.421 * * * * [misc]points: Setting MPFR precision to 576 1544087592.421 * * * * [misc]points: Computing exacts on every 58 of 1874 points to ramp up precision 1544087592.422 * * * * [misc]points: Setting MPFR precision to 320 1544087592.423 * * * * [misc]points: Setting MPFR precision to 576 1544087592.424 * * * * [misc]points: Computing exacts on every 29 of 1874 points to ramp up precision 1544087592.425 * * * * [misc]points: Setting MPFR precision to 320 1544087592.426 * * * * [misc]points: Setting MPFR precision to 576 1544087592.428 * * * * [misc]points: Computing exacts on every 14 of 1874 points to ramp up precision 1544087592.428 * * * * [misc]points: Setting MPFR precision to 320 1544087592.432 * * * * [misc]points: Setting MPFR precision to 576 1544087592.435 * * * * [misc]points: Computing exacts on every 7 of 1874 points to ramp up precision 1544087592.436 * * * * [misc]points: Setting MPFR precision to 320 1544087592.448 * * * * [misc]points: Setting MPFR precision to 576 1544087592.462 * * * * [misc]points: Computing exacts on every 3 of 1874 points to ramp up precision 1544087592.463 * * * * [misc]points: Setting MPFR precision to 320 1544087592.523 * * * * [misc]points: Setting MPFR precision to 576 1544087592.553 * * * * [misc]points: Computing exacts for 1874 points 1544087592.554 * * * * [misc]points: Setting MPFR precision to 320 1544087592.634 * * * * [misc]points: Setting MPFR precision to 576 1544087592.722 * * * * [misc]points: Filtering points with unrepresentable outputs 1544087592.723 * * * * [misc]points: Sampling 1455 additional inputs, on iter 7 have 6545 / 8000 1544087592.787 * * * * [misc]points: Computing exacts on every 90 of 1455 points to ramp up precision 1544087592.788 * * * * [misc]points: Setting MPFR precision to 320 1544087592.794 * * * * [misc]points: Setting MPFR precision to 576 1544087592.795 * * * * [misc]points: Computing exacts on every 45 of 1455 points to ramp up precision 1544087592.797 * * * * [misc]points: Setting MPFR precision to 320 1544087592.798 * * * * [misc]points: Setting MPFR precision to 576 1544087592.800 * * * * [misc]points: Computing exacts on every 22 of 1455 points to ramp up precision 1544087592.801 * * * * [misc]points: Setting MPFR precision to 320 1544087592.804 * * * * [misc]points: Setting MPFR precision to 576 1544087592.808 * * * * [misc]points: Computing exacts on every 11 of 1455 points to ramp up precision 1544087592.809 * * * * [misc]points: Setting MPFR precision to 320 1544087592.815 * * * * [misc]points: Setting MPFR precision to 576 1544087592.822 * * * * [misc]points: Computing exacts on every 5 of 1455 points to ramp up precision 1544087592.823 * * * * [misc]points: Setting MPFR precision to 320 1544087592.835 * * * * [misc]points: Setting MPFR precision to 576 1544087592.849 * * * * [misc]points: Computing exacts on every 2 of 1455 points to ramp up precision 1544087592.850 * * * * [misc]points: Setting MPFR precision to 320 1544087592.874 * * * * [misc]points: Setting MPFR precision to 576 1544087592.904 * * * * [misc]points: Computing exacts for 1455 points 1544087592.905 * * * * [misc]points: Setting MPFR precision to 320 1544087592.976 * * * * [misc]points: Setting MPFR precision to 576 1544087593.077 * * * * [misc]points: Filtering points with unrepresentable outputs 1544087593.077 * * * * [misc]points: Sampling 1135 additional inputs, on iter 8 have 6865 / 8000 1544087593.082 * * * * [misc]points: Computing exacts on every 70 of 1135 points to ramp up precision 1544087593.083 * * * * [misc]points: Setting MPFR precision to 320 1544087593.084 * * * * [misc]points: Setting MPFR precision to 576 1544087593.084 * * * * [misc]points: Computing exacts on every 35 of 1135 points to ramp up precision 1544087593.085 * * * * [misc]points: Setting MPFR precision to 320 1544087593.086 * * * * [misc]points: Setting MPFR precision to 576 1544087593.086 * * * * [misc]points: Computing exacts on every 17 of 1135 points to ramp up precision 1544087593.087 * * * * [misc]points: Setting MPFR precision to 320 1544087593.089 * * * * [misc]points: Setting MPFR precision to 576 1544087593.090 * * * * [misc]points: Computing exacts on every 8 of 1135 points to ramp up precision 1544087593.091 * * * * [misc]points: Setting MPFR precision to 320 1544087593.097 * * * * [misc]points: Setting MPFR precision to 576 1544087593.104 * * * * [misc]points: Computing exacts on every 4 of 1135 points to ramp up precision 1544087593.106 * * * * [misc]points: Setting MPFR precision to 320 1544087593.117 * * * * [misc]points: Setting MPFR precision to 576 1544087593.131 * * * * [misc]points: Computing exacts on every 2 of 1135 points to ramp up precision 1544087593.132 * * * * [misc]points: Setting MPFR precision to 320 1544087593.141 * * * * [misc]points: Setting MPFR precision to 576 1544087593.152 * * * * [misc]points: Computing exacts for 1135 points 1544087593.153 * * * * [misc]points: Setting MPFR precision to 320 1544087593.220 * * * * [misc]points: Setting MPFR precision to 576 1544087593.271 * * * * [misc]points: Filtering points with unrepresentable outputs 1544087593.271 * * * * [misc]points: Sampling 883 additional inputs, on iter 9 have 7117 / 8000 1544087593.275 * * * * [misc]points: Computing exacts on every 55 of 883 points to ramp up precision 1544087593.276 * * * * [misc]points: Setting MPFR precision to 320 1544087593.276 * * * * [misc]points: Setting MPFR precision to 576 1544087593.277 * * * * [misc]points: Computing exacts on every 27 of 883 points to ramp up precision 1544087593.278 * * * * [misc]points: Setting MPFR precision to 320 1544087593.279 * * * * [misc]points: Setting MPFR precision to 576 1544087593.280 * * * * [misc]points: Computing exacts on every 13 of 883 points to ramp up precision 1544087593.280 * * * * [misc]points: Setting MPFR precision to 320 1544087593.282 * * * * [misc]points: Setting MPFR precision to 576 1544087593.285 * * * * [misc]points: Computing exacts on every 6 of 883 points to ramp up precision 1544087593.286 * * * * [misc]points: Setting MPFR precision to 320 1544087593.292 * * * * [misc]points: Setting MPFR precision to 576 1544087593.300 * * * * [misc]points: Computing exacts on every 3 of 883 points to ramp up precision 1544087593.301 * * * * [misc]points: Setting MPFR precision to 320 1544087593.313 * * * * [misc]points: Setting MPFR precision to 576 1544087593.325 * * * * [misc]points: Computing exacts for 883 points 1544087593.326 * * * * [misc]points: Setting MPFR precision to 320 1544087593.362 * * * * [misc]points: Setting MPFR precision to 576 1544087593.432 * * * * [misc]points: Filtering points with unrepresentable outputs 1544087593.432 * * * * [misc]points: Sampling 679 additional inputs, on iter 10 have 7321 / 8000 1544087593.439 * * * * [misc]points: Computing exacts on every 42 of 679 points to ramp up precision 1544087593.440 * * * * [misc]points: Setting MPFR precision to 320 1544087593.441 * * * * [misc]points: Setting MPFR precision to 576 1544087593.442 * * * * [misc]points: Computing exacts on every 21 of 679 points to ramp up precision 1544087593.443 * * * * [misc]points: Setting MPFR precision to 320 1544087593.445 * * * * [misc]points: Setting MPFR precision to 576 1544087593.446 * * * * [misc]points: Computing exacts on every 10 of 679 points to ramp up precision 1544087593.447 * * * * [misc]points: Setting MPFR precision to 320 1544087593.450 * * * * [misc]points: Setting MPFR precision to 576 1544087593.453 * * * * [misc]points: Computing exacts on every 5 of 679 points to ramp up precision 1544087593.454 * * * * [misc]points: Setting MPFR precision to 320 1544087593.460 * * * * [misc]points: Setting MPFR precision to 576 1544087593.466 * * * * [misc]points: Computing exacts on every 2 of 679 points to ramp up precision 1544087593.467 * * * * [misc]points: Setting MPFR precision to 320 1544087593.477 * * * * [misc]points: Setting MPFR precision to 576 1544087593.489 * * * * [misc]points: Computing exacts for 679 points 1544087593.491 * * * * [misc]points: Setting MPFR precision to 320 1544087593.522 * * * * [misc]points: Setting MPFR precision to 576 1544087593.559 * * * * [misc]points: Filtering points with unrepresentable outputs 1544087593.560 * * * * [misc]points: Sampling 525 additional inputs, on iter 11 have 7475 / 8000 1544087593.564 * * * * [misc]points: Computing exacts on every 32 of 525 points to ramp up precision 1544087593.565 * * * * [misc]points: Setting MPFR precision to 320 1544087593.566 * * * * [misc]points: Setting MPFR precision to 576 1544087593.567 * * * * [misc]points: Computing exacts on every 16 of 525 points to ramp up precision 1544087593.568 * * * * [misc]points: Setting MPFR precision to 320 1544087593.569 * * * * [misc]points: Setting MPFR precision to 576 1544087593.571 * * * * [misc]points: Computing exacts on every 8 of 525 points to ramp up precision 1544087593.572 * * * * [misc]points: Setting MPFR precision to 320 1544087593.575 * * * * [misc]points: Setting MPFR precision to 576 1544087593.578 * * * * [misc]points: Computing exacts on every 4 of 525 points to ramp up precision 1544087593.579 * * * * [misc]points: Setting MPFR precision to 320 1544087593.584 * * * * [misc]points: Setting MPFR precision to 576 1544087593.627 * * * * [misc]points: Computing exacts on every 2 of 525 points to ramp up precision 1544087593.628 * * * * [misc]points: Setting MPFR precision to 320 1544087593.640 * * * * [misc]points: Setting MPFR precision to 576 1544087593.651 * * * * [misc]points: Computing exacts for 525 points 1544087593.652 * * * * [misc]points: Setting MPFR precision to 320 1544087593.676 * * * * [misc]points: Setting MPFR precision to 576 1544087593.707 * * * * [misc]points: Filtering points with unrepresentable outputs 1544087593.707 * * * * [misc]points: Sampling 423 additional inputs, on iter 12 have 7577 / 8000 1544087593.711 * * * * [misc]points: Computing exacts on every 26 of 423 points to ramp up precision 1544087593.713 * * * * [misc]points: Setting MPFR precision to 320 1544087593.714 * * * * [misc]points: Setting MPFR precision to 576 1544087593.715 * * * * [misc]points: Computing exacts on every 13 of 423 points to ramp up precision 1544087593.716 * * * * [misc]points: Setting MPFR precision to 320 1544087593.718 * * * * [misc]points: Setting MPFR precision to 576 1544087593.719 * * * * [misc]points: Computing exacts on every 6 of 423 points to ramp up precision 1544087593.720 * * * * [misc]points: Setting MPFR precision to 320 1544087593.722 * * * * [misc]points: Setting MPFR precision to 576 1544087593.723 * * * * [misc]points: Computing exacts on every 3 of 423 points to ramp up precision 1544087593.724 * * * * [misc]points: Setting MPFR precision to 320 1544087593.727 * * * * [misc]points: Setting MPFR precision to 576 1544087593.730 * * * * [misc]points: Computing exacts for 423 points 1544087593.731 * * * * [misc]points: Setting MPFR precision to 320 1544087593.741 * * * * [misc]points: Setting MPFR precision to 576 1544087593.760 * * * * [misc]points: Filtering points with unrepresentable outputs 1544087593.760 * * * * [misc]points: Sampling 330 additional inputs, on iter 13 have 7670 / 8000 1544087593.763 * * * * [misc]points: Computing exacts on every 20 of 330 points to ramp up precision 1544087593.764 * * * * [misc]points: Setting MPFR precision to 320 1544087593.765 * * * * [misc]points: Setting MPFR precision to 576 1544087593.766 * * * * [misc]points: Computing exacts on every 10 of 330 points to ramp up precision 1544087593.767 * * * * [misc]points: Setting MPFR precision to 320 1544087593.769 * * * * [misc]points: Setting MPFR precision to 576 1544087593.771 * * * * [misc]points: Computing exacts on every 5 of 330 points to ramp up precision 1544087593.772 * * * * [misc]points: Setting MPFR precision to 320 1544087593.774 * * * * [misc]points: Setting MPFR precision to 576 1544087593.778 * * * * [misc]points: Computing exacts on every 2 of 330 points to ramp up precision 1544087593.779 * * * * [misc]points: Setting MPFR precision to 320 1544087593.784 * * * * [misc]points: Setting MPFR precision to 576 1544087593.790 * * * * [misc]points: Computing exacts for 330 points 1544087593.792 * * * * [misc]points: Setting MPFR precision to 320 1544087593.808 * * * * [misc]points: Setting MPFR precision to 576 1544087593.869 * * * * [misc]points: Filtering points with unrepresentable outputs 1544087593.869 * * * * [misc]points: Sampling 260 additional inputs, on iter 14 have 7740 / 8000 1544087593.875 * * * * [misc]points: Computing exacts on every 16 of 260 points to ramp up precision 1544087593.876 * * * * [misc]points: Setting MPFR precision to 320 1544087593.877 * * * * [misc]points: Setting MPFR precision to 576 1544087593.877 * * * * [misc]points: Computing exacts on every 8 of 260 points to ramp up precision 1544087593.878 * * * * [misc]points: Setting MPFR precision to 320 1544087593.879 * * * * [misc]points: Setting MPFR precision to 576 1544087593.880 * * * * [misc]points: Computing exacts on every 4 of 260 points to ramp up precision 1544087593.881 * * * * [misc]points: Setting MPFR precision to 320 1544087593.882 * * * * [misc]points: Setting MPFR precision to 576 1544087593.884 * * * * [misc]points: Computing exacts on every 2 of 260 points to ramp up precision 1544087593.884 * * * * [misc]points: Setting MPFR precision to 320 1544087593.887 * * * * [misc]points: Setting MPFR precision to 576 1544087593.889 * * * * [misc]points: Computing exacts for 260 points 1544087593.890 * * * * [misc]points: Setting MPFR precision to 320 1544087593.896 * * * * [misc]points: Setting MPFR precision to 576 1544087593.904 * * * * [misc]points: Filtering points with unrepresentable outputs 1544087593.905 * * * * [misc]points: Sampling 208 additional inputs, on iter 15 have 7792 / 8000 1544087593.907 * * * * [misc]points: Computing exacts on every 13 of 208 points to ramp up precision 1544087593.908 * * * * [misc]points: Setting MPFR precision to 320 1544087593.909 * * * * [misc]points: Setting MPFR precision to 576 1544087593.910 * * * * [misc]points: Computing exacts on every 6 of 208 points to ramp up precision 1544087593.911 * * * * [misc]points: Setting MPFR precision to 320 1544087593.912 * * * * [misc]points: Setting MPFR precision to 576 1544087593.914 * * * * [misc]points: Computing exacts on every 3 of 208 points to ramp up precision 1544087593.915 * * * * [misc]points: Setting MPFR precision to 320 1544087593.918 * * * * [misc]points: Setting MPFR precision to 576 1544087593.920 * * * * [misc]points: Computing exacts for 208 points 1544087593.921 * * * * [misc]points: Setting MPFR precision to 320 1544087593.926 * * * * [misc]points: Setting MPFR precision to 576 1544087593.932 * * * * [misc]points: Filtering points with unrepresentable outputs 1544087593.932 * * * * [misc]points: Sampling 167 additional inputs, on iter 16 have 7833 / 8000 1544087593.933 * * * * [misc]points: Computing exacts on every 10 of 167 points to ramp up precision 1544087593.934 * * * * [misc]points: Setting MPFR precision to 320 1544087593.934 * * * * [misc]points: Setting MPFR precision to 576 1544087593.934 * * * * [misc]points: Computing exacts on every 5 of 167 points to ramp up precision 1544087593.935 * * * * [misc]points: Setting MPFR precision to 320 1544087593.936 * * * * [misc]points: Setting MPFR precision to 576 1544087593.937 * * * * [misc]points: Computing exacts on every 2 of 167 points to ramp up precision 1544087593.938 * * * * [misc]points: Setting MPFR precision to 320 1544087593.939 * * * * [misc]points: Setting MPFR precision to 576 1544087593.941 * * * * [misc]points: Computing exacts for 167 points 1544087593.941 * * * * [misc]points: Setting MPFR precision to 320 1544087593.945 * * * * [misc]points: Setting MPFR precision to 576 1544087593.950 * * * * [misc]points: Filtering points with unrepresentable outputs 1544087593.950 * * * * [misc]points: Sampling 131 additional inputs, on iter 17 have 7869 / 8000 1544087593.951 * * * * [misc]points: Computing exacts on every 8 of 131 points to ramp up precision 1544087593.952 * * * * [misc]points: Setting MPFR precision to 320 1544087593.953 * * * * [misc]points: Setting MPFR precision to 576 1544087593.954 * * * * [misc]points: Computing exacts on every 4 of 131 points to ramp up precision 1544087593.955 * * * * [misc]points: Setting MPFR precision to 320 1544087593.956 * * * * [misc]points: Setting MPFR precision to 576 1544087593.957 * * * * [misc]points: Computing exacts on every 2 of 131 points to ramp up precision 1544087593.958 * * * * [misc]points: Setting MPFR precision to 320 1544087593.960 * * * * [misc]points: Setting MPFR precision to 576 1544087593.963 * * * * [misc]points: Computing exacts for 131 points 1544087593.964 * * * * [misc]points: Setting MPFR precision to 320 1544087593.970 * * * * [misc]points: Setting MPFR precision to 576 1544087593.978 * * * * [misc]points: Filtering points with unrepresentable outputs 1544087593.978 * * * * [misc]points: Sampling 98 additional inputs, on iter 18 have 7902 / 8000 1544087593.979 * * * * [misc]points: Computing exacts on every 6 of 98 points to ramp up precision 1544087593.980 * * * * [misc]points: Setting MPFR precision to 320 1544087593.981 * * * * [misc]points: Setting MPFR precision to 576 1544087593.982 * * * * [misc]points: Computing exacts on every 3 of 98 points to ramp up precision 1544087593.983 * * * * [misc]points: Setting MPFR precision to 320 1544087593.984 * * * * [misc]points: Setting MPFR precision to 576 1544087593.985 * * * * [misc]points: Computing exacts for 98 points 1544087593.986 * * * * [misc]points: Setting MPFR precision to 320 1544087593.989 * * * * [misc]points: Setting MPFR precision to 576 1544087593.992 * * * * [misc]points: Filtering points with unrepresentable outputs 1544087593.992 * * * * [misc]points: Sampling 75 additional inputs, on iter 19 have 7925 / 8000 1544087593.992 * * * * [misc]points: Computing exacts on every 4 of 75 points to ramp up precision 1544087593.993 * * * * [misc]points: Setting MPFR precision to 320 1544087593.994 * * * * [misc]points: Setting MPFR precision to 576 1544087593.994 * * * * [misc]points: Computing exacts on every 2 of 75 points to ramp up precision 1544087593.995 * * * * [misc]points: Setting MPFR precision to 320 1544087593.995 * * * * [misc]points: Setting MPFR precision to 576 1544087593.996 * * * * [misc]points: Computing exacts for 75 points 1544087593.997 * * * * [misc]points: Setting MPFR precision to 320 1544087594.026 * * * * [misc]points: Setting MPFR precision to 576 1544087594.031 * * * * [misc]points: Filtering points with unrepresentable outputs 1544087594.031 * * * * [misc]points: Sampling 67 additional inputs, on iter 20 have 7933 / 8000 1544087594.032 * * * * [misc]points: Computing exacts on every 4 of 67 points to ramp up precision 1544087594.033 * * * * [misc]points: Setting MPFR precision to 320 1544087594.034 * * * * [misc]points: Setting MPFR precision to 576 1544087594.038 * * * * [misc]points: Computing exacts on every 2 of 67 points to ramp up precision 1544087594.039 * * * * [misc]points: Setting MPFR precision to 320 1544087594.041 * * * * [misc]points: Setting MPFR precision to 576 1544087594.042 * * * * [misc]points: Computing exacts for 67 points 1544087594.043 * * * * [misc]points: Setting MPFR precision to 320 1544087594.047 * * * * [misc]points: Setting MPFR precision to 576 1544087594.051 * * * * [misc]points: Filtering points with unrepresentable outputs 1544087594.051 * * * * [misc]points: Sampling 50 additional inputs, on iter 21 have 7950 / 8000 1544087594.052 * * * * [misc]points: Computing exacts on every 3 of 50 points to ramp up precision 1544087594.054 * * * * [misc]points: Setting MPFR precision to 320 1544087594.054 * * * * [misc]points: Setting MPFR precision to 576 1544087594.055 * * * * [misc]points: Computing exacts for 50 points 1544087594.056 * * * * [misc]points: Setting MPFR precision to 320 1544087594.059 * * * * [misc]points: Setting MPFR precision to 576 1544087594.062 * * * * [misc]points: Filtering points with unrepresentable outputs 1544087594.062 * * * * [misc]points: Sampling 42 additional inputs, on iter 22 have 7958 / 8000 1544087594.063 * * * * [misc]points: Computing exacts on every 2 of 42 points to ramp up precision 1544087594.064 * * * * [misc]points: Setting MPFR precision to 320 1544087594.065 * * * * [misc]points: Setting MPFR precision to 576 1544087594.066 * * * * [misc]points: Computing exacts for 42 points 1544087594.067 * * * * [misc]points: Setting MPFR precision to 320 1544087594.069 * * * * [misc]points: Setting MPFR precision to 576 1544087594.071 * * * * [misc]points: Filtering points with unrepresentable outputs 1544087594.071 * * * * [misc]points: Sampling 35 additional inputs, on iter 23 have 7965 / 8000 1544087594.072 * * * * [misc]points: Computing exacts on every 2 of 35 points to ramp up precision 1544087594.073 * * * * [misc]points: Setting MPFR precision to 320 1544087594.074 * * * * [misc]points: Setting MPFR precision to 576 1544087594.074 * * * * [misc]points: Computing exacts for 35 points 1544087594.075 * * * * [misc]points: Setting MPFR precision to 320 1544087594.077 * * * * [misc]points: Setting MPFR precision to 576 1544087594.079 * * * * [misc]points: Filtering points with unrepresentable outputs 1544087594.079 * * * * [misc]points: Sampling 30 additional inputs, on iter 24 have 7970 / 8000 1544087594.080 * * * * [misc]points: Computing exacts for 30 points 1544087594.081 * * * * [misc]points: Setting MPFR precision to 320 1544087594.082 * * * * [misc]points: Setting MPFR precision to 576 1544087594.084 * * * * [misc]points: Filtering points with unrepresentable outputs 1544087594.084 * * * * [misc]points: Sampling 23 additional inputs, on iter 25 have 7977 / 8000 1544087594.085 * * * * [misc]points: Computing exacts for 23 points 1544087594.086 * * * * [misc]points: Setting MPFR precision to 320 1544087594.087 * * * * [misc]points: Setting MPFR precision to 576 1544087594.089 * * * * [misc]points: Filtering points with unrepresentable outputs 1544087594.089 * * * * [misc]points: Sampling 17 additional inputs, on iter 26 have 7983 / 8000 1544087594.089 * * * * [misc]points: Computing exacts for 17 points 1544087594.090 * * * * [misc]points: Setting MPFR precision to 320 1544087594.091 * * * * [misc]points: Setting MPFR precision to 576 1544087594.092 * * * * [misc]points: Filtering points with unrepresentable outputs 1544087594.092 * * * * [misc]points: Sampling 12 additional inputs, on iter 27 have 7988 / 8000 1544087594.092 * * * * [misc]points: Computing exacts for 12 points 1544087594.094 * * * * [misc]points: Setting MPFR precision to 320 1544087594.094 * * * * [misc]points: Setting MPFR precision to 576 1544087594.095 * * * * [misc]points: Filtering points with unrepresentable outputs 1544087594.095 * * * * [misc]points: Sampling 9 additional inputs, on iter 28 have 7991 / 8000 1544087594.095 * * * * [misc]points: Computing exacts for 9 points 1544087594.096 * * * * [misc]points: Setting MPFR precision to 320 1544087594.097 * * * * [misc]points: Setting MPFR precision to 576 1544087594.098 * * * * [misc]points: Filtering points with unrepresentable outputs 1544087594.098 * * * * [misc]points: Sampling 6 additional inputs, on iter 29 have 7994 / 8000 1544087594.098 * * * * [misc]points: Computing exacts for 6 points 1544087594.099 * * * * [misc]points: Setting MPFR precision to 320 1544087594.100 * * * * [misc]points: Setting MPFR precision to 576 1544087594.100 * * * * [misc]points: Filtering points with unrepresentable outputs 1544087594.100 * * * * [misc]points: Sampling 6 additional inputs, on iter 30 have 7994 / 8000 1544087594.100 * * * * [misc]points: Computing exacts for 6 points 1544087594.101 * * * * [misc]points: Setting MPFR precision to 320 1544087594.102 * * * * [misc]points: Setting MPFR precision to 576 1544087594.102 * * * * [misc]points: Filtering points with unrepresentable outputs 1544087594.102 * * * * [misc]points: Sampling 4 additional inputs, on iter 31 have 7997 / 8000 1544087594.102 * * * * [misc]points: Computing exacts for 4 points 1544087594.104 * * * * [misc]points: Setting MPFR precision to 320 1544087594.104 * * * * [misc]points: Setting MPFR precision to 576 1544087594.104 * * * * [misc]points: Filtering points with unrepresentable outputs 1544087594.104 * * * * [misc]points: Sampling 4 additional inputs, on iter 32 have 7997 / 8000 1544087594.104 * * * * [misc]points: Computing exacts for 4 points 1544087594.105 * * * * [misc]points: Setting MPFR precision to 320 1544087594.106 * * * * [misc]points: Setting MPFR precision to 576 1544087594.106 * * * * [misc]points: Filtering points with unrepresentable outputs 1544087594.106 * * * * [misc]points: Sampling 4 additional inputs, on iter 33 have 7999 / 8000 1544087594.106 * * * * [misc]points: Computing exacts for 4 points 1544087594.107 * * * * [misc]points: Setting MPFR precision to 320 1544087594.108 * * * * [misc]points: Setting MPFR precision to 576 1544087594.108 * * * * [misc]points: Filtering points with unrepresentable outputs 1544087594.108 * * * * [exit]points: Sampled 8000 points with exact outputs 1544087594.278 * [misc]regime-testing: Baseline error score: 0 1544087594.278 * [misc]regime-testing: End program error score: 0 1544087594.279 * [misc]regime-testing: Oracle error score: 0 1544087594.344 * [misc]regime-testing: Target error score: 0