1538421638.121 * [misc]progress:  [Phase 1 of 3] Setting up.
1538421638.121 * * * [misc]progress:  [1/2] Preparing points
1538421638.121 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1538421638.123 * * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
1538421638.124 * * * * [misc]points:  Setting MPFR precision to 64
1538421638.124 * * * * [misc]points:  Setting MPFR precision to 320
1538421638.125 * * * * [misc]points:  Setting MPFR precision to 576
1538421638.125 * * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
1538421638.126 * * * * [misc]points:  Setting MPFR precision to 320
1538421638.127 * * * * [misc]points:  Setting MPFR precision to 576
1538421638.127 * * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
1538421638.128 * * * * [misc]points:  Setting MPFR precision to 320
1538421638.129 * * * * [misc]points:  Setting MPFR precision to 576
1538421638.131 * * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
1538421638.131 * * * * [misc]points:  Setting MPFR precision to 320
1538421638.134 * * * * [misc]points:  Setting MPFR precision to 576
1538421638.136 * * * * [misc]points:  Computing exacts for 256 points
1538421638.137 * * * * [misc]points:  Setting MPFR precision to 320
1538421638.143 * * * * [misc]points:  Setting MPFR precision to 576
1538421638.151 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421638.151 * * * * [misc]points:  Sampling 204 additional inputs, on iter 1 have 52 / 256
1538421638.152 * * * * [misc]points:  Computing exacts on every 12 of 204 points to ramp up precision
1538421638.154 * * * * [misc]points:  Setting MPFR precision to 320
1538421638.155 * * * * [misc]points:  Setting MPFR precision to 576
1538421638.156 * * * * [misc]points:  Computing exacts on every 6 of 204 points to ramp up precision
1538421638.157 * * * * [misc]points:  Setting MPFR precision to 320
1538421638.158 * * * * [misc]points:  Setting MPFR precision to 576
1538421638.160 * * * * [misc]points:  Computing exacts on every 3 of 204 points to ramp up precision
1538421638.161 * * * * [misc]points:  Setting MPFR precision to 320
1538421638.163 * * * * [misc]points:  Setting MPFR precision to 576
1538421638.166 * * * * [misc]points:  Computing exacts for 204 points
1538421638.167 * * * * [misc]points:  Setting MPFR precision to 320
1538421638.177 * * * * [misc]points:  Setting MPFR precision to 576
1538421638.202 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421638.202 * * * * [misc]points:  Sampling 174 additional inputs, on iter 2 have 82 / 256
1538421638.204 * * * * [misc]points:  Computing exacts on every 10 of 174 points to ramp up precision
1538421638.205 * * * * [misc]points:  Setting MPFR precision to 320
1538421638.206 * * * * [misc]points:  Setting MPFR precision to 576
1538421638.207 * * * * [misc]points:  Computing exacts on every 5 of 174 points to ramp up precision
1538421638.208 * * * * [misc]points:  Setting MPFR precision to 320
1538421638.209 * * * * [misc]points:  Setting MPFR precision to 576
1538421638.212 * * * * [misc]points:  Computing exacts on every 2 of 174 points to ramp up precision
1538421638.214 * * * * [misc]points:  Setting MPFR precision to 320
1538421638.216 * * * * [misc]points:  Setting MPFR precision to 576
1538421638.220 * * * * [misc]points:  Computing exacts for 174 points
1538421638.221 * * * * [misc]points:  Setting MPFR precision to 320
1538421638.229 * * * * [misc]points:  Setting MPFR precision to 576
1538421638.238 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421638.238 * * * * [misc]points:  Sampling 134 additional inputs, on iter 3 have 122 / 256
1538421638.240 * * * * [misc]points:  Computing exacts on every 8 of 134 points to ramp up precision
1538421638.241 * * * * [misc]points:  Setting MPFR precision to 320
1538421638.242 * * * * [misc]points:  Setting MPFR precision to 576
1538421638.242 * * * * [misc]points:  Computing exacts on every 4 of 134 points to ramp up precision
1538421638.243 * * * * [misc]points:  Setting MPFR precision to 320
1538421638.245 * * * * [misc]points:  Setting MPFR precision to 576
1538421638.247 * * * * [misc]points:  Computing exacts on every 2 of 134 points to ramp up precision
1538421638.248 * * * * [misc]points:  Setting MPFR precision to 320
1538421638.250 * * * * [misc]points:  Setting MPFR precision to 576
1538421638.252 * * * * [misc]points:  Computing exacts for 134 points
1538421638.252 * * * * [misc]points:  Setting MPFR precision to 320
1538421638.256 * * * * [misc]points:  Setting MPFR precision to 576
1538421638.260 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421638.260 * * * * [misc]points:  Sampling 103 additional inputs, on iter 4 have 153 / 256
1538421638.260 * * * * [misc]points:  Computing exacts on every 6 of 103 points to ramp up precision
1538421638.261 * * * * [misc]points:  Setting MPFR precision to 320
1538421638.262 * * * * [misc]points:  Setting MPFR precision to 576
1538421638.262 * * * * [misc]points:  Computing exacts on every 3 of 103 points to ramp up precision
1538421638.263 * * * * [misc]points:  Setting MPFR precision to 320
1538421638.264 * * * * [misc]points:  Setting MPFR precision to 576
1538421638.264 * * * * [misc]points:  Computing exacts for 103 points
1538421638.265 * * * * [misc]points:  Setting MPFR precision to 320
1538421638.267 * * * * [misc]points:  Setting MPFR precision to 576
1538421638.271 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421638.271 * * * * [misc]points:  Sampling 82 additional inputs, on iter 5 have 174 / 256
1538421638.271 * * * * [misc]points:  Computing exacts on every 5 of 82 points to ramp up precision
1538421638.272 * * * * [misc]points:  Setting MPFR precision to 320
1538421638.272 * * * * [misc]points:  Setting MPFR precision to 576
1538421638.273 * * * * [misc]points:  Computing exacts on every 2 of 82 points to ramp up precision
1538421638.273 * * * * [misc]points:  Setting MPFR precision to 320
1538421638.274 * * * * [misc]points:  Setting MPFR precision to 576
1538421638.275 * * * * [misc]points:  Computing exacts for 82 points
1538421638.275 * * * * [misc]points:  Setting MPFR precision to 320
1538421638.277 * * * * [misc]points:  Setting MPFR precision to 576
1538421638.280 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421638.280 * * * * [misc]points:  Sampling 70 additional inputs, on iter 6 have 186 / 256
1538421638.280 * * * * [misc]points:  Computing exacts on every 4 of 70 points to ramp up precision
1538421638.281 * * * * [misc]points:  Setting MPFR precision to 320
1538421638.281 * * * * [misc]points:  Setting MPFR precision to 576
1538421638.282 * * * * [misc]points:  Computing exacts on every 2 of 70 points to ramp up precision
1538421638.282 * * * * [misc]points:  Setting MPFR precision to 320
1538421638.283 * * * * [misc]points:  Setting MPFR precision to 576
1538421638.284 * * * * [misc]points:  Computing exacts for 70 points
1538421638.284 * * * * [misc]points:  Setting MPFR precision to 320
1538421638.286 * * * * [misc]points:  Setting MPFR precision to 576
1538421638.288 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421638.288 * * * * [misc]points:  Sampling 57 additional inputs, on iter 7 have 199 / 256
1538421638.288 * * * * [misc]points:  Computing exacts on every 3 of 57 points to ramp up precision
1538421638.289 * * * * [misc]points:  Setting MPFR precision to 320
1538421638.290 * * * * [misc]points:  Setting MPFR precision to 576
1538421638.290 * * * * [misc]points:  Computing exacts for 57 points
1538421638.291 * * * * [misc]points:  Setting MPFR precision to 320
1538421638.292 * * * * [misc]points:  Setting MPFR precision to 576
1538421638.294 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421638.294 * * * * [misc]points:  Sampling 46 additional inputs, on iter 8 have 210 / 256
1538421638.294 * * * * [misc]points:  Computing exacts on every 2 of 46 points to ramp up precision
1538421638.295 * * * * [misc]points:  Setting MPFR precision to 320
1538421638.295 * * * * [misc]points:  Setting MPFR precision to 576
1538421638.295 * * * * [misc]points:  Computing exacts for 46 points
1538421638.296 * * * * [misc]points:  Setting MPFR precision to 320
1538421638.297 * * * * [misc]points:  Setting MPFR precision to 576
1538421638.299 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421638.299 * * * * [misc]points:  Sampling 38 additional inputs, on iter 9 have 218 / 256
1538421638.299 * * * * [misc]points:  Computing exacts on every 2 of 38 points to ramp up precision
1538421638.299 * * * * [misc]points:  Setting MPFR precision to 320
1538421638.300 * * * * [misc]points:  Setting MPFR precision to 576
1538421638.300 * * * * [misc]points:  Computing exacts for 38 points
1538421638.301 * * * * [misc]points:  Setting MPFR precision to 320
1538421638.302 * * * * [misc]points:  Setting MPFR precision to 576
1538421638.303 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421638.303 * * * * [misc]points:  Sampling 26 additional inputs, on iter 10 have 230 / 256
1538421638.303 * * * * [misc]points:  Computing exacts for 26 points
1538421638.304 * * * * [misc]points:  Setting MPFR precision to 320
1538421638.305 * * * * [misc]points:  Setting MPFR precision to 576
1538421638.305 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421638.305 * * * * [misc]points:  Sampling 22 additional inputs, on iter 11 have 234 / 256
1538421638.306 * * * * [misc]points:  Computing exacts for 22 points
1538421638.306 * * * * [misc]points:  Setting MPFR precision to 320
1538421638.307 * * * * [misc]points:  Setting MPFR precision to 576
1538421638.307 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421638.308 * * * * [misc]points:  Sampling 16 additional inputs, on iter 12 have 240 / 256
1538421638.308 * * * * [misc]points:  Computing exacts for 16 points
1538421638.308 * * * * [misc]points:  Setting MPFR precision to 320
1538421638.309 * * * * [misc]points:  Setting MPFR precision to 576
1538421638.309 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421638.309 * * * * [misc]points:  Sampling 10 additional inputs, on iter 13 have 246 / 256
1538421638.309 * * * * [misc]points:  Computing exacts for 10 points
1538421638.310 * * * * [misc]points:  Setting MPFR precision to 320
1538421638.310 * * * * [misc]points:  Setting MPFR precision to 576
1538421638.311 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421638.311 * * * * [misc]points:  Sampling 7 additional inputs, on iter 14 have 249 / 256
1538421638.311 * * * * [misc]points:  Computing exacts for 7 points
1538421638.311 * * * * [misc]points:  Setting MPFR precision to 320
1538421638.312 * * * * [misc]points:  Setting MPFR precision to 576
1538421638.312 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421638.312 * * * * [misc]points:  Sampling 6 additional inputs, on iter 15 have 250 / 256
1538421638.312 * * * * [misc]points:  Computing exacts for 6 points
1538421638.312 * * * * [misc]points:  Setting MPFR precision to 320
1538421638.313 * * * * [misc]points:  Setting MPFR precision to 576
1538421638.313 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421638.313 * * * * [misc]points:  Sampling 5 additional inputs, on iter 16 have 251 / 256
1538421638.313 * * * * [misc]points:  Computing exacts for 5 points
1538421638.313 * * * * [misc]points:  Setting MPFR precision to 320
1538421638.314 * * * * [misc]points:  Setting MPFR precision to 576
1538421638.314 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421638.314 * * * * [misc]points:  Sampling 5 additional inputs, on iter 17 have 251 / 256
1538421638.314 * * * * [misc]points:  Computing exacts for 5 points
1538421638.315 * * * * [misc]points:  Setting MPFR precision to 320
1538421638.315 * * * * [misc]points:  Setting MPFR precision to 576
1538421638.315 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421638.315 * * * * [misc]points:  Sampling 4 additional inputs, on iter 18 have 252 / 256
1538421638.315 * * * * [misc]points:  Computing exacts for 4 points
1538421638.316 * * * * [misc]points:  Setting MPFR precision to 320
1538421638.316 * * * * [misc]points:  Setting MPFR precision to 576
1538421638.316 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421638.316 * * * * [misc]points:  Sampling 4 additional inputs, on iter 19 have 252 / 256
1538421638.316 * * * * [misc]points:  Computing exacts for 4 points
1538421638.316 * * * * [misc]points:  Setting MPFR precision to 320
1538421638.317 * * * * [misc]points:  Setting MPFR precision to 576
1538421638.317 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421638.317 * * * * [misc]points:  Sampling 4 additional inputs, on iter 20 have 252 / 256
1538421638.317 * * * * [misc]points:  Computing exacts for 4 points
1538421638.317 * * * * [misc]points:  Setting MPFR precision to 320
1538421638.318 * * * * [misc]points:  Setting MPFR precision to 576
1538421638.318 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421638.318 * * * * [misc]points:  Sampling 4 additional inputs, on iter 21 have 252 / 256
1538421638.318 * * * * [misc]points:  Computing exacts for 4 points
1538421638.318 * * * * [misc]points:  Setting MPFR precision to 320
1538421638.319 * * * * [misc]points:  Setting MPFR precision to 576
1538421638.319 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421638.319 * * * * [misc]points:  Sampling 4 additional inputs, on iter 22 have 253 / 256
1538421638.319 * * * * [misc]points:  Computing exacts for 4 points
1538421638.319 * * * * [misc]points:  Setting MPFR precision to 320
1538421638.320 * * * * [misc]points:  Setting MPFR precision to 576
1538421638.320 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421638.320 * * * * [misc]points:  Sampling 4 additional inputs, on iter 23 have 254 / 256
1538421638.320 * * * * [misc]points:  Computing exacts for 4 points
1538421638.320 * * * * [misc]points:  Setting MPFR precision to 320
1538421638.320 * * * * [misc]points:  Setting MPFR precision to 576
1538421638.321 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421638.321 * * * * [misc]points:  Sampling 4 additional inputs, on iter 24 have 254 / 256
1538421638.321 * * * * [misc]points:  Computing exacts for 4 points
1538421638.321 * * * * [misc]points:  Setting MPFR precision to 320
1538421638.321 * * * * [misc]points:  Setting MPFR precision to 576
1538421638.322 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421638.322 * * * * [misc]points:  Sampling 4 additional inputs, on iter 25 have 255 / 256
1538421638.322 * * * * [misc]points:  Computing exacts for 4 points
1538421638.322 * * * * [misc]points:  Setting MPFR precision to 320
1538421638.322 * * * * [misc]points:  Setting MPFR precision to 576
1538421638.323 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421638.323 * * * * [exit]points:  Sampled 257 points with exact outputs
1538421638.323 * * * [misc]progress:  [2/2] Setting up program.
1538421638.325 * [misc]progress:  [Phase 2 of 3] Improving.
1538421638.326 * [enter]simplify:  Simplifying (exp (+ (log a) (log b)))
1538421638.326 * * [misc]simplify:  iters left: 4 (6 enodes)
1538421638.327 * * [misc]simplify:  iters left: 3 (10 enodes)
1538421638.329 * * [misc]simplify:  iters left: 2 (11 enodes)
1538421638.331 * [exit]simplify:  Simplified to (* a b)
1538421638.702 * * [misc]progress:  iteration 1 / 4
1538421638.705 * * * [misc]progress:  picking best candidate
1538421638.709 * * * * [misc]pick:  Picked  #<alt (λ (a b) (* a b))>
1538421638.709 * * * [misc]progress:  localizing error
1538421638.716 * * * [misc]progress:  generating rewritten candidates
1538421638.716 * * * [misc]progress:  generating series expansions
1538421638.716 * * * [misc]progress:  simplifying candidates
1538421638.716 * * * [misc]progress:  adding candidates to table
1538421638.716 * [misc]progress:  [Phase 3 of 3] Extracting.
1538421638.719 * [enter]simplify:  Simplifying (* a b)
1538421638.720 * * [misc]simplify:  iters left: 2 (3 enodes)
1538421638.720 * * [misc]simplify:  iters left: 1 (4 enodes)
1538421638.720 * [exit]simplify:  Simplified to (* a b)
1538421638.720 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1538421638.773 * * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
1538421638.774 * * * * [misc]points:  Setting MPFR precision to 320
1538421638.775 * * * * [misc]points:  Setting MPFR precision to 576
1538421638.775 * * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
1538421638.776 * * * * [misc]points:  Setting MPFR precision to 320
1538421638.777 * * * * [misc]points:  Setting MPFR precision to 576
1538421638.778 * * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
1538421638.779 * * * * [misc]points:  Setting MPFR precision to 320
1538421638.781 * * * * [misc]points:  Setting MPFR precision to 576
1538421638.783 * * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
1538421638.784 * * * * [misc]points:  Setting MPFR precision to 320
1538421638.787 * * * * [misc]points:  Setting MPFR precision to 576
1538421638.791 * * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
1538421638.792 * * * * [misc]points:  Setting MPFR precision to 320
1538421638.798 * * * * [misc]points:  Setting MPFR precision to 576
1538421638.806 * * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
1538421638.807 * * * * [misc]points:  Setting MPFR precision to 320
1538421638.819 * * * * [misc]points:  Setting MPFR precision to 576
1538421638.840 * * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
1538421638.842 * * * * [misc]points:  Setting MPFR precision to 320
1538421638.889 * * * * [misc]points:  Setting MPFR precision to 576
1538421638.931 * * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
1538421638.932 * * * * [misc]points:  Setting MPFR precision to 320
1538421639.067 * * * * [misc]points:  Setting MPFR precision to 576
1538421639.180 * * * * [misc]points:  Computing exacts for 8000 points
1538421639.181 * * * * [misc]points:  Setting MPFR precision to 320
1538421639.604 * * * * [misc]points:  Setting MPFR precision to 576
1538421639.980 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421639.982 * * * * [misc]points:  Sampling 6266 additional inputs, on iter 1 have 1734 / 8000
1538421640.047 * * * * [misc]points:  Computing exacts on every 391 of 6266 points to ramp up precision
1538421640.048 * * * * [misc]points:  Setting MPFR precision to 320
1538421640.048 * * * * [misc]points:  Setting MPFR precision to 576
1538421640.049 * * * * [misc]points:  Computing exacts on every 195 of 6266 points to ramp up precision
1538421640.050 * * * * [misc]points:  Setting MPFR precision to 320
1538421640.051 * * * * [misc]points:  Setting MPFR precision to 576
1538421640.052 * * * * [misc]points:  Computing exacts on every 97 of 6266 points to ramp up precision
1538421640.053 * * * * [misc]points:  Setting MPFR precision to 320
1538421640.054 * * * * [misc]points:  Setting MPFR precision to 576
1538421640.056 * * * * [misc]points:  Computing exacts on every 48 of 6266 points to ramp up precision
1538421640.057 * * * * [misc]points:  Setting MPFR precision to 320
1538421640.060 * * * * [misc]points:  Setting MPFR precision to 576
1538421640.064 * * * * [misc]points:  Computing exacts on every 24 of 6266 points to ramp up precision
1538421640.065 * * * * [misc]points:  Setting MPFR precision to 320
1538421640.075 * * * * [misc]points:  Setting MPFR precision to 576
1538421640.090 * * * * [misc]points:  Computing exacts on every 12 of 6266 points to ramp up precision
1538421640.092 * * * * [misc]points:  Setting MPFR precision to 320
1538421640.115 * * * * [misc]points:  Setting MPFR precision to 576
1538421640.143 * * * * [misc]points:  Computing exacts on every 6 of 6266 points to ramp up precision
1538421640.145 * * * * [misc]points:  Setting MPFR precision to 320
1538421640.193 * * * * [misc]points:  Setting MPFR precision to 576
1538421640.243 * * * * [misc]points:  Computing exacts on every 3 of 6266 points to ramp up precision
1538421640.245 * * * * [misc]points:  Setting MPFR precision to 320
1538421640.291 * * * * [misc]points:  Setting MPFR precision to 576
1538421640.376 * * * * [misc]points:  Computing exacts for 6266 points
1538421640.378 * * * * [misc]points:  Setting MPFR precision to 320
1538421640.648 * * * * [misc]points:  Setting MPFR precision to 576
1538421641.305 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421641.306 * * * * [misc]points:  Sampling 4877 additional inputs, on iter 2 have 3123 / 8000
1538421641.328 * * * * [misc]points:  Computing exacts on every 304 of 4877 points to ramp up precision
1538421641.329 * * * * [misc]points:  Setting MPFR precision to 320
1538421641.329 * * * * [misc]points:  Setting MPFR precision to 576
1538421641.330 * * * * [misc]points:  Computing exacts on every 152 of 4877 points to ramp up precision
1538421641.330 * * * * [misc]points:  Setting MPFR precision to 320
1538421641.331 * * * * [misc]points:  Setting MPFR precision to 576
1538421641.332 * * * * [misc]points:  Computing exacts on every 76 of 4877 points to ramp up precision
1538421641.333 * * * * [misc]points:  Setting MPFR precision to 320
1538421641.334 * * * * [misc]points:  Setting MPFR precision to 576
1538421641.336 * * * * [misc]points:  Computing exacts on every 38 of 4877 points to ramp up precision
1538421641.337 * * * * [misc]points:  Setting MPFR precision to 320
1538421641.340 * * * * [misc]points:  Setting MPFR precision to 576
1538421641.343 * * * * [misc]points:  Computing exacts on every 19 of 4877 points to ramp up precision
1538421641.344 * * * * [misc]points:  Setting MPFR precision to 320
1538421641.350 * * * * [misc]points:  Setting MPFR precision to 576
1538421641.357 * * * * [misc]points:  Computing exacts on every 9 of 4877 points to ramp up precision
1538421641.358 * * * * [misc]points:  Setting MPFR precision to 320
1538421641.386 * * * * [misc]points:  Setting MPFR precision to 576
1538421641.407 * * * * [misc]points:  Computing exacts on every 4 of 4877 points to ramp up precision
1538421641.408 * * * * [misc]points:  Setting MPFR precision to 320
1538421641.454 * * * * [misc]points:  Setting MPFR precision to 576
1538421641.502 * * * * [misc]points:  Computing exacts on every 2 of 4877 points to ramp up precision
1538421641.503 * * * * [misc]points:  Setting MPFR precision to 320
1538421641.601 * * * * [misc]points:  Setting MPFR precision to 576
1538421641.666 * * * * [misc]points:  Computing exacts for 4877 points
1538421641.667 * * * * [misc]points:  Setting MPFR precision to 320
1538421641.876 * * * * [misc]points:  Setting MPFR precision to 576
1538421642.093 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421642.094 * * * * [misc]points:  Sampling 3797 additional inputs, on iter 3 have 4203 / 8000
1538421642.158 * * * * [misc]points:  Computing exacts on every 237 of 3797 points to ramp up precision
1538421642.159 * * * * [misc]points:  Setting MPFR precision to 320
1538421642.160 * * * * [misc]points:  Setting MPFR precision to 576
1538421642.160 * * * * [misc]points:  Computing exacts on every 118 of 3797 points to ramp up precision
1538421642.161 * * * * [misc]points:  Setting MPFR precision to 320
1538421642.162 * * * * [misc]points:  Setting MPFR precision to 576
1538421642.163 * * * * [misc]points:  Computing exacts on every 59 of 3797 points to ramp up precision
1538421642.164 * * * * [misc]points:  Setting MPFR precision to 320
1538421642.167 * * * * [misc]points:  Setting MPFR precision to 576
1538421642.169 * * * * [misc]points:  Computing exacts on every 29 of 3797 points to ramp up precision
1538421642.170 * * * * [misc]points:  Setting MPFR precision to 320
1538421642.173 * * * * [misc]points:  Setting MPFR precision to 576
1538421642.177 * * * * [misc]points:  Computing exacts on every 14 of 3797 points to ramp up precision
1538421642.178 * * * * [misc]points:  Setting MPFR precision to 320
1538421642.184 * * * * [misc]points:  Setting MPFR precision to 576
1538421642.195 * * * * [misc]points:  Computing exacts on every 7 of 3797 points to ramp up precision
1538421642.196 * * * * [misc]points:  Setting MPFR precision to 320
1538421642.218 * * * * [misc]points:  Setting MPFR precision to 576
1538421642.245 * * * * [misc]points:  Computing exacts on every 3 of 3797 points to ramp up precision
1538421642.246 * * * * [misc]points:  Setting MPFR precision to 320
1538421642.269 * * * * [misc]points:  Setting MPFR precision to 576
1538421642.320 * * * * [misc]points:  Computing exacts for 3797 points
1538421642.322 * * * * [misc]points:  Setting MPFR precision to 320
1538421642.461 * * * * [misc]points:  Setting MPFR precision to 576
1538421642.665 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421642.665 * * * * [misc]points:  Sampling 2940 additional inputs, on iter 4 have 5060 / 8000
1538421642.715 * * * * [misc]points:  Computing exacts on every 183 of 2940 points to ramp up precision
1538421642.717 * * * * [misc]points:  Setting MPFR precision to 320
1538421642.718 * * * * [misc]points:  Setting MPFR precision to 576
1538421642.719 * * * * [misc]points:  Computing exacts on every 91 of 2940 points to ramp up precision
1538421642.720 * * * * [misc]points:  Setting MPFR precision to 320
1538421642.722 * * * * [misc]points:  Setting MPFR precision to 576
1538421642.724 * * * * [misc]points:  Computing exacts on every 45 of 2940 points to ramp up precision
1538421642.728 * * * * [misc]points:  Setting MPFR precision to 320
1538421642.730 * * * * [misc]points:  Setting MPFR precision to 576
1538421642.732 * * * * [misc]points:  Computing exacts on every 22 of 2940 points to ramp up precision
1538421642.733 * * * * [misc]points:  Setting MPFR precision to 320
1538421642.736 * * * * [misc]points:  Setting MPFR precision to 576
1538421642.740 * * * * [misc]points:  Computing exacts on every 11 of 2940 points to ramp up precision
1538421642.741 * * * * [misc]points:  Setting MPFR precision to 320
1538421642.747 * * * * [misc]points:  Setting MPFR precision to 576
1538421642.761 * * * * [misc]points:  Computing exacts on every 5 of 2940 points to ramp up precision
1538421642.762 * * * * [misc]points:  Setting MPFR precision to 320
1538421642.787 * * * * [misc]points:  Setting MPFR precision to 576
1538421642.811 * * * * [misc]points:  Computing exacts on every 2 of 2940 points to ramp up precision
1538421642.812 * * * * [misc]points:  Setting MPFR precision to 320
1538421642.836 * * * * [misc]points:  Setting MPFR precision to 576
1538421642.865 * * * * [misc]points:  Computing exacts for 2940 points
1538421642.866 * * * * [misc]points:  Setting MPFR precision to 320
1538421643.002 * * * * [misc]points:  Setting MPFR precision to 576
1538421643.511 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421643.512 * * * * [misc]points:  Sampling 2312 additional inputs, on iter 5 have 5688 / 8000
1538421643.525 * * * * [misc]points:  Computing exacts on every 144 of 2312 points to ramp up precision
1538421643.526 * * * * [misc]points:  Setting MPFR precision to 320
1538421643.527 * * * * [misc]points:  Setting MPFR precision to 576
1538421643.528 * * * * [misc]points:  Computing exacts on every 72 of 2312 points to ramp up precision
1538421643.529 * * * * [misc]points:  Setting MPFR precision to 320
1538421643.531 * * * * [misc]points:  Setting MPFR precision to 576
1538421643.532 * * * * [misc]points:  Computing exacts on every 36 of 2312 points to ramp up precision
1538421643.534 * * * * [misc]points:  Setting MPFR precision to 320
1538421643.537 * * * * [misc]points:  Setting MPFR precision to 576
1538421643.541 * * * * [misc]points:  Computing exacts on every 18 of 2312 points to ramp up precision
1538421643.542 * * * * [misc]points:  Setting MPFR precision to 320
1538421643.547 * * * * [misc]points:  Setting MPFR precision to 576
1538421643.551 * * * * [misc]points:  Computing exacts on every 9 of 2312 points to ramp up precision
1538421643.552 * * * * [misc]points:  Setting MPFR precision to 320
1538421643.557 * * * * [misc]points:  Setting MPFR precision to 576
1538421643.564 * * * * [misc]points:  Computing exacts on every 4 of 2312 points to ramp up precision
1538421643.565 * * * * [misc]points:  Setting MPFR precision to 320
1538421643.576 * * * * [misc]points:  Setting MPFR precision to 576
1538421643.621 * * * * [misc]points:  Computing exacts on every 2 of 2312 points to ramp up precision
1538421643.623 * * * * [misc]points:  Setting MPFR precision to 320
1538421643.659 * * * * [misc]points:  Setting MPFR precision to 576
1538421643.682 * * * * [misc]points:  Computing exacts for 2312 points
1538421643.683 * * * * [misc]points:  Setting MPFR precision to 320
1538421643.767 * * * * [misc]points:  Setting MPFR precision to 576
1538421643.909 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421643.910 * * * * [misc]points:  Sampling 1815 additional inputs, on iter 6 have 6185 / 8000
1538421643.918 * * * * [misc]points:  Computing exacts on every 113 of 1815 points to ramp up precision
1538421643.919 * * * * [misc]points:  Setting MPFR precision to 320
1538421643.920 * * * * [misc]points:  Setting MPFR precision to 576
1538421643.920 * * * * [misc]points:  Computing exacts on every 56 of 1815 points to ramp up precision
1538421643.921 * * * * [misc]points:  Setting MPFR precision to 320
1538421643.922 * * * * [misc]points:  Setting MPFR precision to 576
1538421643.923 * * * * [misc]points:  Computing exacts on every 28 of 1815 points to ramp up precision
1538421643.924 * * * * [misc]points:  Setting MPFR precision to 320
1538421643.927 * * * * [misc]points:  Setting MPFR precision to 576
1538421643.930 * * * * [misc]points:  Computing exacts on every 14 of 1815 points to ramp up precision
1538421643.931 * * * * [misc]points:  Setting MPFR precision to 320
1538421643.938 * * * * [misc]points:  Setting MPFR precision to 576
1538421643.945 * * * * [misc]points:  Computing exacts on every 7 of 1815 points to ramp up precision
1538421643.947 * * * * [misc]points:  Setting MPFR precision to 320
1538421643.958 * * * * [misc]points:  Setting MPFR precision to 576
1538421643.972 * * * * [misc]points:  Computing exacts on every 3 of 1815 points to ramp up precision
1538421643.973 * * * * [misc]points:  Setting MPFR precision to 320
1538421644.034 * * * * [misc]points:  Setting MPFR precision to 576
1538421644.061 * * * * [misc]points:  Computing exacts for 1815 points
1538421644.062 * * * * [misc]points:  Setting MPFR precision to 320
1538421644.110 * * * * [misc]points:  Setting MPFR precision to 576
1538421644.214 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421644.214 * * * * [misc]points:  Sampling 1413 additional inputs, on iter 7 have 6587 / 8000
1538421644.231 * * * * [misc]points:  Computing exacts on every 88 of 1413 points to ramp up precision
1538421644.233 * * * * [misc]points:  Setting MPFR precision to 320
1538421644.234 * * * * [misc]points:  Setting MPFR precision to 576
1538421644.235 * * * * [misc]points:  Computing exacts on every 44 of 1413 points to ramp up precision
1538421644.236 * * * * [misc]points:  Setting MPFR precision to 320
1538421644.238 * * * * [misc]points:  Setting MPFR precision to 576
1538421644.240 * * * * [misc]points:  Computing exacts on every 22 of 1413 points to ramp up precision
1538421644.241 * * * * [misc]points:  Setting MPFR precision to 320
1538421644.244 * * * * [misc]points:  Setting MPFR precision to 576
1538421644.247 * * * * [misc]points:  Computing exacts on every 11 of 1413 points to ramp up precision
1538421644.248 * * * * [misc]points:  Setting MPFR precision to 320
1538421644.254 * * * * [misc]points:  Setting MPFR precision to 576
1538421644.261 * * * * [misc]points:  Computing exacts on every 5 of 1413 points to ramp up precision
1538421644.262 * * * * [misc]points:  Setting MPFR precision to 320
1538421644.273 * * * * [misc]points:  Setting MPFR precision to 576
1538421644.281 * * * * [misc]points:  Computing exacts on every 2 of 1413 points to ramp up precision
1538421644.282 * * * * [misc]points:  Setting MPFR precision to 320
1538421644.294 * * * * [misc]points:  Setting MPFR precision to 576
1538421644.308 * * * * [misc]points:  Computing exacts for 1413 points
1538421644.309 * * * * [misc]points:  Setting MPFR precision to 320
1538421644.343 * * * * [misc]points:  Setting MPFR precision to 576
1538421644.427 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421644.427 * * * * [misc]points:  Sampling 1103 additional inputs, on iter 8 have 6897 / 8000
1538421644.432 * * * * [misc]points:  Computing exacts on every 68 of 1103 points to ramp up precision
1538421644.433 * * * * [misc]points:  Setting MPFR precision to 320
1538421644.434 * * * * [misc]points:  Setting MPFR precision to 576
1538421644.435 * * * * [misc]points:  Computing exacts on every 34 of 1103 points to ramp up precision
1538421644.435 * * * * [misc]points:  Setting MPFR precision to 320
1538421644.436 * * * * [misc]points:  Setting MPFR precision to 576
1538421644.437 * * * * [misc]points:  Computing exacts on every 17 of 1103 points to ramp up precision
1538421644.438 * * * * [misc]points:  Setting MPFR precision to 320
1538421644.439 * * * * [misc]points:  Setting MPFR precision to 576
1538421644.441 * * * * [misc]points:  Computing exacts on every 8 of 1103 points to ramp up precision
1538421644.442 * * * * [misc]points:  Setting MPFR precision to 320
1538421644.445 * * * * [misc]points:  Setting MPFR precision to 576
1538421644.448 * * * * [misc]points:  Computing exacts on every 4 of 1103 points to ramp up precision
1538421644.449 * * * * [misc]points:  Setting MPFR precision to 320
1538421644.455 * * * * [misc]points:  Setting MPFR precision to 576
1538421644.461 * * * * [misc]points:  Computing exacts on every 2 of 1103 points to ramp up precision
1538421644.462 * * * * [misc]points:  Setting MPFR precision to 320
1538421644.471 * * * * [misc]points:  Setting MPFR precision to 576
1538421644.486 * * * * [misc]points:  Computing exacts for 1103 points
1538421644.487 * * * * [misc]points:  Setting MPFR precision to 320
1538421644.555 * * * * [misc]points:  Setting MPFR precision to 576
1538421644.587 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421644.588 * * * * [misc]points:  Sampling 845 additional inputs, on iter 9 have 7155 / 8000
1538421644.592 * * * * [misc]points:  Computing exacts on every 52 of 845 points to ramp up precision
1538421644.593 * * * * [misc]points:  Setting MPFR precision to 320
1538421644.593 * * * * [misc]points:  Setting MPFR precision to 576
1538421644.594 * * * * [misc]points:  Computing exacts on every 26 of 845 points to ramp up precision
1538421644.594 * * * * [misc]points:  Setting MPFR precision to 320
1538421644.595 * * * * [misc]points:  Setting MPFR precision to 576
1538421644.596 * * * * [misc]points:  Computing exacts on every 13 of 845 points to ramp up precision
1538421644.597 * * * * [misc]points:  Setting MPFR precision to 320
1538421644.598 * * * * [misc]points:  Setting MPFR precision to 576
1538421644.600 * * * * [misc]points:  Computing exacts on every 6 of 845 points to ramp up precision
1538421644.601 * * * * [misc]points:  Setting MPFR precision to 320
1538421644.604 * * * * [misc]points:  Setting MPFR precision to 576
1538421644.608 * * * * [misc]points:  Computing exacts on every 3 of 845 points to ramp up precision
1538421644.609 * * * * [misc]points:  Setting MPFR precision to 320
1538421644.615 * * * * [misc]points:  Setting MPFR precision to 576
1538421644.622 * * * * [misc]points:  Computing exacts for 845 points
1538421644.622 * * * * [misc]points:  Setting MPFR precision to 320
1538421644.658 * * * * [misc]points:  Setting MPFR precision to 576
1538421644.734 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421644.734 * * * * [misc]points:  Sampling 677 additional inputs, on iter 10 have 7323 / 8000
1538421644.744 * * * * [misc]points:  Computing exacts on every 42 of 677 points to ramp up precision
1538421644.746 * * * * [misc]points:  Setting MPFR precision to 320
1538421644.747 * * * * [misc]points:  Setting MPFR precision to 576
1538421644.748 * * * * [misc]points:  Computing exacts on every 21 of 677 points to ramp up precision
1538421644.749 * * * * [misc]points:  Setting MPFR precision to 320
1538421644.750 * * * * [misc]points:  Setting MPFR precision to 576
1538421644.752 * * * * [misc]points:  Computing exacts on every 10 of 677 points to ramp up precision
1538421644.753 * * * * [misc]points:  Setting MPFR precision to 320
1538421644.756 * * * * [misc]points:  Setting MPFR precision to 576
1538421644.760 * * * * [misc]points:  Computing exacts on every 5 of 677 points to ramp up precision
1538421644.761 * * * * [misc]points:  Setting MPFR precision to 320
1538421644.767 * * * * [misc]points:  Setting MPFR precision to 576
1538421644.773 * * * * [misc]points:  Computing exacts on every 2 of 677 points to ramp up precision
1538421644.774 * * * * [misc]points:  Setting MPFR precision to 320
1538421644.786 * * * * [misc]points:  Setting MPFR precision to 576
1538421644.799 * * * * [misc]points:  Computing exacts for 677 points
1538421644.800 * * * * [misc]points:  Setting MPFR precision to 320
1538421644.825 * * * * [misc]points:  Setting MPFR precision to 576
1538421644.845 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421644.845 * * * * [misc]points:  Sampling 537 additional inputs, on iter 11 have 7463 / 8000
1538421644.848 * * * * [misc]points:  Computing exacts on every 33 of 537 points to ramp up precision
1538421644.848 * * * * [misc]points:  Setting MPFR precision to 320
1538421644.849 * * * * [misc]points:  Setting MPFR precision to 576
1538421644.849 * * * * [misc]points:  Computing exacts on every 16 of 537 points to ramp up precision
1538421644.850 * * * * [misc]points:  Setting MPFR precision to 320
1538421644.851 * * * * [misc]points:  Setting MPFR precision to 576
1538421644.852 * * * * [misc]points:  Computing exacts on every 8 of 537 points to ramp up precision
1538421644.853 * * * * [misc]points:  Setting MPFR precision to 320
1538421644.854 * * * * [misc]points:  Setting MPFR precision to 576
1538421644.857 * * * * [misc]points:  Computing exacts on every 4 of 537 points to ramp up precision
1538421644.858 * * * * [misc]points:  Setting MPFR precision to 320
1538421644.863 * * * * [misc]points:  Setting MPFR precision to 576
1538421644.869 * * * * [misc]points:  Computing exacts on every 2 of 537 points to ramp up precision
1538421644.870 * * * * [misc]points:  Setting MPFR precision to 320
1538421644.879 * * * * [misc]points:  Setting MPFR precision to 576
1538421644.930 * * * * [misc]points:  Computing exacts for 537 points
1538421644.931 * * * * [misc]points:  Setting MPFR precision to 320
1538421644.961 * * * * [misc]points:  Setting MPFR precision to 576
1538421644.992 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421644.992 * * * * [misc]points:  Sampling 425 additional inputs, on iter 12 have 7575 / 8000
1538421644.996 * * * * [misc]points:  Computing exacts on every 26 of 425 points to ramp up precision
1538421644.997 * * * * [misc]points:  Setting MPFR precision to 320
1538421644.998 * * * * [misc]points:  Setting MPFR precision to 576
1538421644.999 * * * * [misc]points:  Computing exacts on every 13 of 425 points to ramp up precision
1538421645.001 * * * * [misc]points:  Setting MPFR precision to 320
1538421645.002 * * * * [misc]points:  Setting MPFR precision to 576
1538421645.004 * * * * [misc]points:  Computing exacts on every 6 of 425 points to ramp up precision
1538421645.006 * * * * [misc]points:  Setting MPFR precision to 320
1538421645.009 * * * * [misc]points:  Setting MPFR precision to 576
1538421645.013 * * * * [misc]points:  Computing exacts on every 3 of 425 points to ramp up precision
1538421645.015 * * * * [misc]points:  Setting MPFR precision to 320
1538421645.020 * * * * [misc]points:  Setting MPFR precision to 576
1538421645.026 * * * * [misc]points:  Computing exacts for 425 points
1538421645.028 * * * * [misc]points:  Setting MPFR precision to 320
1538421645.049 * * * * [misc]points:  Setting MPFR precision to 576
1538421645.074 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421645.074 * * * * [misc]points:  Sampling 331 additional inputs, on iter 13 have 7669 / 8000
1538421645.077 * * * * [misc]points:  Computing exacts on every 20 of 331 points to ramp up precision
1538421645.078 * * * * [misc]points:  Setting MPFR precision to 320
1538421645.079 * * * * [misc]points:  Setting MPFR precision to 576
1538421645.080 * * * * [misc]points:  Computing exacts on every 10 of 331 points to ramp up precision
1538421645.081 * * * * [misc]points:  Setting MPFR precision to 320
1538421645.082 * * * * [misc]points:  Setting MPFR precision to 576
1538421645.084 * * * * [misc]points:  Computing exacts on every 5 of 331 points to ramp up precision
1538421645.085 * * * * [misc]points:  Setting MPFR precision to 320
1538421645.088 * * * * [misc]points:  Setting MPFR precision to 576
1538421645.091 * * * * [misc]points:  Computing exacts on every 2 of 331 points to ramp up precision
1538421645.092 * * * * [misc]points:  Setting MPFR precision to 320
1538421645.095 * * * * [misc]points:  Setting MPFR precision to 576
1538421645.098 * * * * [misc]points:  Computing exacts for 331 points
1538421645.098 * * * * [misc]points:  Setting MPFR precision to 320
1538421645.106 * * * * [misc]points:  Setting MPFR precision to 576
1538421645.116 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421645.116 * * * * [misc]points:  Sampling 269 additional inputs, on iter 14 have 7731 / 8000
1538421645.117 * * * * [misc]points:  Computing exacts on every 16 of 269 points to ramp up precision
1538421645.118 * * * * [misc]points:  Setting MPFR precision to 320
1538421645.156 * * * * [misc]points:  Setting MPFR precision to 576
1538421645.158 * * * * [misc]points:  Computing exacts on every 8 of 269 points to ramp up precision
1538421645.159 * * * * [misc]points:  Setting MPFR precision to 320
1538421645.160 * * * * [misc]points:  Setting MPFR precision to 576
1538421645.162 * * * * [misc]points:  Computing exacts on every 4 of 269 points to ramp up precision
1538421645.163 * * * * [misc]points:  Setting MPFR precision to 320
1538421645.165 * * * * [misc]points:  Setting MPFR precision to 576
1538421645.172 * * * * [misc]points:  Computing exacts on every 2 of 269 points to ramp up precision
1538421645.174 * * * * [misc]points:  Setting MPFR precision to 320
1538421645.178 * * * * [misc]points:  Setting MPFR precision to 576
1538421645.183 * * * * [misc]points:  Computing exacts for 269 points
1538421645.184 * * * * [misc]points:  Setting MPFR precision to 320
1538421645.196 * * * * [misc]points:  Setting MPFR precision to 576
1538421645.206 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421645.206 * * * * [misc]points:  Sampling 203 additional inputs, on iter 15 have 7797 / 8000
1538421645.207 * * * * [misc]points:  Computing exacts on every 12 of 203 points to ramp up precision
1538421645.208 * * * * [misc]points:  Setting MPFR precision to 320
1538421645.208 * * * * [misc]points:  Setting MPFR precision to 576
1538421645.209 * * * * [misc]points:  Computing exacts on every 6 of 203 points to ramp up precision
1538421645.209 * * * * [misc]points:  Setting MPFR precision to 320
1538421645.210 * * * * [misc]points:  Setting MPFR precision to 576
1538421645.211 * * * * [misc]points:  Computing exacts on every 3 of 203 points to ramp up precision
1538421645.212 * * * * [misc]points:  Setting MPFR precision to 320
1538421645.213 * * * * [misc]points:  Setting MPFR precision to 576
1538421645.215 * * * * [misc]points:  Computing exacts for 203 points
1538421645.216 * * * * [misc]points:  Setting MPFR precision to 320
1538421645.221 * * * * [misc]points:  Setting MPFR precision to 576
1538421645.227 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421645.227 * * * * [misc]points:  Sampling 154 additional inputs, on iter 16 have 7846 / 8000
1538421645.228 * * * * [misc]points:  Computing exacts on every 9 of 154 points to ramp up precision
1538421645.229 * * * * [misc]points:  Setting MPFR precision to 320
1538421645.230 * * * * [misc]points:  Setting MPFR precision to 576
1538421645.230 * * * * [misc]points:  Computing exacts on every 4 of 154 points to ramp up precision
1538421645.231 * * * * [misc]points:  Setting MPFR precision to 320
1538421645.232 * * * * [misc]points:  Setting MPFR precision to 576
1538421645.234 * * * * [misc]points:  Computing exacts on every 2 of 154 points to ramp up precision
1538421645.235 * * * * [misc]points:  Setting MPFR precision to 320
1538421645.236 * * * * [misc]points:  Setting MPFR precision to 576
1538421645.238 * * * * [misc]points:  Computing exacts for 154 points
1538421645.238 * * * * [misc]points:  Setting MPFR precision to 320
1538421645.242 * * * * [misc]points:  Setting MPFR precision to 576
1538421645.247 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421645.247 * * * * [misc]points:  Sampling 120 additional inputs, on iter 17 have 7880 / 8000
1538421645.247 * * * * [misc]points:  Computing exacts on every 7 of 120 points to ramp up precision
1538421645.248 * * * * [misc]points:  Setting MPFR precision to 320
1538421645.249 * * * * [misc]points:  Setting MPFR precision to 576
1538421645.249 * * * * [misc]points:  Computing exacts on every 3 of 120 points to ramp up precision
1538421645.250 * * * * [misc]points:  Setting MPFR precision to 320
1538421645.251 * * * * [misc]points:  Setting MPFR precision to 576
1538421645.251 * * * * [misc]points:  Computing exacts for 120 points
1538421645.252 * * * * [misc]points:  Setting MPFR precision to 320
1538421645.255 * * * * [misc]points:  Setting MPFR precision to 576
1538421645.258 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421645.258 * * * * [misc]points:  Sampling 103 additional inputs, on iter 18 have 7897 / 8000
1538421645.259 * * * * [misc]points:  Computing exacts on every 6 of 103 points to ramp up precision
1538421645.259 * * * * [misc]points:  Setting MPFR precision to 320
1538421645.260 * * * * [misc]points:  Setting MPFR precision to 576
1538421645.260 * * * * [misc]points:  Computing exacts on every 3 of 103 points to ramp up precision
1538421645.261 * * * * [misc]points:  Setting MPFR precision to 320
1538421645.262 * * * * [misc]points:  Setting MPFR precision to 576
1538421645.262 * * * * [misc]points:  Computing exacts for 103 points
1538421645.263 * * * * [misc]points:  Setting MPFR precision to 320
1538421645.268 * * * * [misc]points:  Setting MPFR precision to 576
1538421645.273 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421645.274 * * * * [misc]points:  Sampling 81 additional inputs, on iter 19 have 7919 / 8000
1538421645.274 * * * * [misc]points:  Computing exacts on every 5 of 81 points to ramp up precision
1538421645.276 * * * * [misc]points:  Setting MPFR precision to 320
1538421645.277 * * * * [misc]points:  Setting MPFR precision to 576
1538421645.278 * * * * [misc]points:  Computing exacts on every 2 of 81 points to ramp up precision
1538421645.279 * * * * [misc]points:  Setting MPFR precision to 320
1538421645.280 * * * * [misc]points:  Setting MPFR precision to 576
1538421645.282 * * * * [misc]points:  Computing exacts for 81 points
1538421645.283 * * * * [misc]points:  Setting MPFR precision to 320
1538421645.287 * * * * [misc]points:  Setting MPFR precision to 576
1538421645.292 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421645.292 * * * * [misc]points:  Sampling 62 additional inputs, on iter 20 have 7938 / 8000
1538421645.293 * * * * [misc]points:  Computing exacts on every 3 of 62 points to ramp up precision
1538421645.294 * * * * [misc]points:  Setting MPFR precision to 320
1538421645.295 * * * * [misc]points:  Setting MPFR precision to 576
1538421645.295 * * * * [misc]points:  Computing exacts for 62 points
1538421645.296 * * * * [misc]points:  Setting MPFR precision to 320
1538421645.299 * * * * [misc]points:  Setting MPFR precision to 576
1538421645.302 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421645.303 * * * * [misc]points:  Sampling 54 additional inputs, on iter 21 have 7946 / 8000
1538421645.303 * * * * [misc]points:  Computing exacts on every 3 of 54 points to ramp up precision
1538421645.304 * * * * [misc]points:  Setting MPFR precision to 320
1538421645.305 * * * * [misc]points:  Setting MPFR precision to 576
1538421645.306 * * * * [misc]points:  Computing exacts for 54 points
1538421645.307 * * * * [misc]points:  Setting MPFR precision to 320
1538421645.310 * * * * [misc]points:  Setting MPFR precision to 576
1538421645.344 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421645.344 * * * * [misc]points:  Sampling 38 additional inputs, on iter 22 have 7962 / 8000
1538421645.344 * * * * [misc]points:  Computing exacts on every 2 of 38 points to ramp up precision
1538421645.345 * * * * [misc]points:  Setting MPFR precision to 320
1538421645.345 * * * * [misc]points:  Setting MPFR precision to 576
1538421645.346 * * * * [misc]points:  Computing exacts for 38 points
1538421645.346 * * * * [misc]points:  Setting MPFR precision to 320
1538421645.347 * * * * [misc]points:  Setting MPFR precision to 576
1538421645.349 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421645.349 * * * * [misc]points:  Sampling 25 additional inputs, on iter 23 have 7975 / 8000
1538421645.349 * * * * [misc]points:  Computing exacts for 25 points
1538421645.350 * * * * [misc]points:  Setting MPFR precision to 320
1538421645.350 * * * * [misc]points:  Setting MPFR precision to 576
1538421645.351 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421645.351 * * * * [misc]points:  Sampling 17 additional inputs, on iter 24 have 7983 / 8000
1538421645.351 * * * * [misc]points:  Computing exacts for 17 points
1538421645.352 * * * * [misc]points:  Setting MPFR precision to 320
1538421645.354 * * * * [misc]points:  Setting MPFR precision to 576
1538421645.355 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421645.355 * * * * [misc]points:  Sampling 14 additional inputs, on iter 25 have 7986 / 8000
1538421645.355 * * * * [misc]points:  Computing exacts for 14 points
1538421645.356 * * * * [misc]points:  Setting MPFR precision to 320
1538421645.356 * * * * [misc]points:  Setting MPFR precision to 576
1538421645.357 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421645.357 * * * * [misc]points:  Sampling 13 additional inputs, on iter 26 have 7987 / 8000
1538421645.357 * * * * [misc]points:  Computing exacts for 13 points
1538421645.357 * * * * [misc]points:  Setting MPFR precision to 320
1538421645.358 * * * * [misc]points:  Setting MPFR precision to 576
1538421645.358 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421645.358 * * * * [misc]points:  Sampling 10 additional inputs, on iter 27 have 7990 / 8000
1538421645.358 * * * * [misc]points:  Computing exacts for 10 points
1538421645.359 * * * * [misc]points:  Setting MPFR precision to 320
1538421645.359 * * * * [misc]points:  Setting MPFR precision to 576
1538421645.360 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421645.360 * * * * [misc]points:  Sampling 9 additional inputs, on iter 28 have 7991 / 8000
1538421645.360 * * * * [misc]points:  Computing exacts for 9 points
1538421645.362 * * * * [misc]points:  Setting MPFR precision to 320
1538421645.362 * * * * [misc]points:  Setting MPFR precision to 576
1538421645.363 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421645.363 * * * * [misc]points:  Sampling 7 additional inputs, on iter 29 have 7993 / 8000
1538421645.363 * * * * [misc]points:  Computing exacts for 7 points
1538421645.364 * * * * [misc]points:  Setting MPFR precision to 320
1538421645.364 * * * * [misc]points:  Setting MPFR precision to 576
1538421645.365 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421645.365 * * * * [misc]points:  Sampling 5 additional inputs, on iter 30 have 7995 / 8000
1538421645.365 * * * * [misc]points:  Computing exacts for 5 points
1538421645.366 * * * * [misc]points:  Setting MPFR precision to 320
1538421645.366 * * * * [misc]points:  Setting MPFR precision to 576
1538421645.366 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421645.367 * * * * [misc]points:  Sampling 4 additional inputs, on iter 31 have 7996 / 8000
1538421645.367 * * * * [misc]points:  Computing exacts for 4 points
1538421645.367 * * * * [misc]points:  Setting MPFR precision to 320
1538421645.368 * * * * [misc]points:  Setting MPFR precision to 576
1538421645.368 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421645.368 * * * * [misc]points:  Sampling 4 additional inputs, on iter 32 have 7999 / 8000
1538421645.368 * * * * [misc]points:  Computing exacts for 4 points
1538421645.369 * * * * [misc]points:  Setting MPFR precision to 320
1538421645.369 * * * * [misc]points:  Setting MPFR precision to 576
1538421645.369 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421645.369 * * * * [misc]points:  Sampling 4 additional inputs, on iter 33 have 7999 / 8000
1538421645.369 * * * * [misc]points:  Computing exacts for 4 points
1538421645.370 * * * * [misc]points:  Setting MPFR precision to 320
1538421645.370 * * * * [misc]points:  Setting MPFR precision to 576
1538421645.370 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538421645.370 * * * * [exit]points:  Sampled 8001 points with exact outputs
1538421645.532 * [misc]regime-testing:  Baseline error score: 0
1538421645.532 * [misc]regime-testing:  End program error score: 0
1538421645.534 * [misc]regime-testing:  Oracle error score: 0
1538421645.607 * [misc]regime-testing:  Target error score: 0