1539341730.137 * [misc]progress: [Phase 1 of 3] Setting up. 1539341730.137 * * * [misc]progress: [1/2] Preparing points 1539341730.137 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1539341730.139 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1539341730.141 * * * * [misc]points: Setting MPFR precision to 64 1539341730.142 * * * * [misc]points: Setting MPFR precision to 320 1539341730.143 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1539341730.144 * * * * [misc]points: Setting MPFR precision to 64 1539341730.145 * * * * [misc]points: Setting MPFR precision to 320 1539341730.147 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1539341730.148 * * * * [misc]points: Setting MPFR precision to 64 1539341730.151 * * * * [misc]points: Setting MPFR precision to 320 1539341730.153 * * * * [misc]points: Setting MPFR precision to 576 1539341730.156 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1539341730.157 * * * * [misc]points: Setting MPFR precision to 320 1539341730.162 * * * * [misc]points: Setting MPFR precision to 576 1539341730.167 * * * * [misc]points: Computing exacts for 256 points 1539341730.168 * * * * [misc]points: Setting MPFR precision to 320 1539341730.181 * * * * [misc]points: Setting MPFR precision to 576 1539341730.197 * * * * [misc]points: Filtering points with unrepresentable outputs 1539341730.197 * * * * [misc]points: Sampling 205 additional inputs, on iter 1 have 51 / 256 1539341730.199 * * * * [misc]points: Computing exacts on every 12 of 205 points to ramp up precision 1539341730.200 * * * * [misc]points: Setting MPFR precision to 320 1539341730.201 * * * * [misc]points: Setting MPFR precision to 576 1539341730.202 * * * * [misc]points: Computing exacts on every 6 of 205 points to ramp up precision 1539341730.203 * * * * [misc]points: Setting MPFR precision to 320 1539341730.205 * * * * [misc]points: Setting MPFR precision to 576 1539341730.207 * * * * [misc]points: Computing exacts on every 3 of 205 points to ramp up precision 1539341730.208 * * * * [misc]points: Setting MPFR precision to 320 1539341730.211 * * * * [misc]points: Setting MPFR precision to 576 1539341730.214 * * * * [misc]points: Computing exacts for 205 points 1539341730.215 * * * * [misc]points: Setting MPFR precision to 320 1539341730.242 * * * * [misc]points: Setting MPFR precision to 576 1539341730.255 * * * * [misc]points: Filtering points with unrepresentable outputs 1539341730.256 * * * * [misc]points: Sampling 163 additional inputs, on iter 2 have 93 / 256 1539341730.257 * * * * [misc]points: Computing exacts on every 10 of 163 points to ramp up precision 1539341730.259 * * * * [misc]points: Setting MPFR precision to 320 1539341730.260 * * * * [misc]points: Setting MPFR precision to 576 1539341730.260 * * * * [misc]points: Computing exacts on every 5 of 163 points to ramp up precision 1539341730.262 * * * * [misc]points: Setting MPFR precision to 320 1539341730.263 * * * * [misc]points: Setting MPFR precision to 576 1539341730.265 * * * * [misc]points: Computing exacts on every 2 of 163 points to ramp up precision 1539341730.267 * * * * [misc]points: Setting MPFR precision to 320 1539341730.270 * * * * [misc]points: Setting MPFR precision to 576 1539341730.273 * * * * [misc]points: Computing exacts for 163 points 1539341730.275 * * * * [misc]points: Setting MPFR precision to 320 1539341730.283 * * * * [misc]points: Setting MPFR precision to 576 1539341730.293 * * * * [misc]points: Filtering points with unrepresentable outputs 1539341730.293 * * * * [misc]points: Sampling 125 additional inputs, on iter 3 have 131 / 256 1539341730.294 * * * * [misc]points: Computing exacts on every 7 of 125 points to ramp up precision 1539341730.296 * * * * [misc]points: Setting MPFR precision to 320 1539341730.297 * * * * [misc]points: Setting MPFR precision to 576 1539341730.298 * * * * [misc]points: Computing exacts on every 3 of 125 points to ramp up precision 1539341730.299 * * * * [misc]points: Setting MPFR precision to 320 1539341730.301 * * * * [misc]points: Setting MPFR precision to 576 1539341730.303 * * * * [misc]points: Computing exacts for 125 points 1539341730.304 * * * * [misc]points: Setting MPFR precision to 320 1539341730.311 * * * * [misc]points: Setting MPFR precision to 576 1539341730.319 * * * * [misc]points: Filtering points with unrepresentable outputs 1539341730.319 * * * * [misc]points: Sampling 92 additional inputs, on iter 4 have 164 / 256 1539341730.320 * * * * [misc]points: Computing exacts on every 5 of 92 points to ramp up precision 1539341730.321 * * * * [misc]points: Setting MPFR precision to 320 1539341730.322 * * * * [misc]points: Setting MPFR precision to 576 1539341730.323 * * * * [misc]points: Computing exacts on every 2 of 92 points to ramp up precision 1539341730.324 * * * * [misc]points: Setting MPFR precision to 320 1539341730.326 * * * * [misc]points: Setting MPFR precision to 576 1539341730.328 * * * * [misc]points: Computing exacts for 92 points 1539341730.329 * * * * [misc]points: Setting MPFR precision to 320 1539341730.333 * * * * [misc]points: Setting MPFR precision to 576 1539341730.339 * * * * [misc]points: Filtering points with unrepresentable outputs 1539341730.339 * * * * [misc]points: Sampling 78 additional inputs, on iter 5 have 178 / 256 1539341730.340 * * * * [misc]points: Computing exacts on every 4 of 78 points to ramp up precision 1539341730.341 * * * * [misc]points: Setting MPFR precision to 320 1539341730.342 * * * * [misc]points: Setting MPFR precision to 576 1539341730.343 * * * * [misc]points: Computing exacts on every 2 of 78 points to ramp up precision 1539341730.344 * * * * [misc]points: Setting MPFR precision to 320 1539341730.346 * * * * [misc]points: Setting MPFR precision to 576 1539341730.347 * * * * [misc]points: Computing exacts for 78 points 1539341730.348 * * * * [misc]points: Setting MPFR precision to 320 1539341730.352 * * * * [misc]points: Setting MPFR precision to 576 1539341730.357 * * * * [misc]points: Filtering points with unrepresentable outputs 1539341730.357 * * * * [misc]points: Sampling 62 additional inputs, on iter 6 have 194 / 256 1539341730.358 * * * * [misc]points: Computing exacts on every 3 of 62 points to ramp up precision 1539341730.359 * * * * [misc]points: Setting MPFR precision to 320 1539341730.360 * * * * [misc]points: Setting MPFR precision to 576 1539341730.361 * * * * [misc]points: Computing exacts for 62 points 1539341730.362 * * * * [misc]points: Setting MPFR precision to 320 1539341730.365 * * * * [misc]points: Setting MPFR precision to 576 1539341730.370 * * * * [misc]points: Filtering points with unrepresentable outputs 1539341730.370 * * * * [misc]points: Sampling 49 additional inputs, on iter 7 have 207 / 256 1539341730.370 * * * * [misc]points: Computing exacts on every 3 of 49 points to ramp up precision 1539341730.372 * * * * [misc]points: Setting MPFR precision to 320 1539341730.372 * * * * [misc]points: Setting MPFR precision to 576 1539341730.373 * * * * [misc]points: Computing exacts for 49 points 1539341730.374 * * * * [misc]points: Setting MPFR precision to 320 1539341730.377 * * * * [misc]points: Setting MPFR precision to 576 1539341730.380 * * * * [misc]points: Filtering points with unrepresentable outputs 1539341730.380 * * * * [misc]points: Sampling 38 additional inputs, on iter 8 have 218 / 256 1539341730.380 * * * * [misc]points: Computing exacts on every 2 of 38 points to ramp up precision 1539341730.382 * * * * [misc]points: Setting MPFR precision to 320 1539341730.382 * * * * [misc]points: Setting MPFR precision to 576 1539341730.383 * * * * [misc]points: Computing exacts for 38 points 1539341730.384 * * * * [misc]points: Setting MPFR precision to 320 1539341730.386 * * * * [misc]points: Setting MPFR precision to 576 1539341730.388 * * * * [misc]points: Filtering points with unrepresentable outputs 1539341730.388 * * * * [misc]points: Sampling 26 additional inputs, on iter 9 have 230 / 256 1539341730.388 * * * * [misc]points: Computing exacts for 26 points 1539341730.389 * * * * [misc]points: Setting MPFR precision to 320 1539341730.390 * * * * [misc]points: Setting MPFR precision to 576 1539341730.391 * * * * [misc]points: Filtering points with unrepresentable outputs 1539341730.391 * * * * [misc]points: Sampling 20 additional inputs, on iter 10 have 236 / 256 1539341730.391 * * * * [misc]points: Computing exacts for 20 points 1539341730.392 * * * * [misc]points: Setting MPFR precision to 320 1539341730.392 * * * * [misc]points: Setting MPFR precision to 576 1539341730.393 * * * * [misc]points: Filtering points with unrepresentable outputs 1539341730.393 * * * * [misc]points: Sampling 13 additional inputs, on iter 11 have 243 / 256 1539341730.393 * * * * [misc]points: Computing exacts for 13 points 1539341730.394 * * * * [misc]points: Setting MPFR precision to 320 1539341730.394 * * * * [misc]points: Setting MPFR precision to 576 1539341730.394 * * * * [misc]points: Filtering points with unrepresentable outputs 1539341730.394 * * * * [misc]points: Sampling 10 additional inputs, on iter 12 have 246 / 256 1539341730.395 * * * * [misc]points: Computing exacts for 10 points 1539341730.395 * * * * [misc]points: Setting MPFR precision to 320 1539341730.396 * * * * [misc]points: Setting MPFR precision to 576 1539341730.396 * * * * [misc]points: Filtering points with unrepresentable outputs 1539341730.396 * * * * [misc]points: Sampling 7 additional inputs, on iter 13 have 249 / 256 1539341730.396 * * * * [misc]points: Computing exacts for 7 points 1539341730.397 * * * * [misc]points: Setting MPFR precision to 320 1539341730.397 * * * * [misc]points: Setting MPFR precision to 576 1539341730.397 * * * * [misc]points: Filtering points with unrepresentable outputs 1539341730.397 * * * * [misc]points: Sampling 6 additional inputs, on iter 14 have 250 / 256 1539341730.397 * * * * [misc]points: Computing exacts for 6 points 1539341730.398 * * * * [misc]points: Setting MPFR precision to 320 1539341730.398 * * * * [misc]points: Setting MPFR precision to 576 1539341730.398 * * * * [misc]points: Filtering points with unrepresentable outputs 1539341730.398 * * * * [misc]points: Sampling 5 additional inputs, on iter 15 have 251 / 256 1539341730.398 * * * * [misc]points: Computing exacts for 5 points 1539341730.399 * * * * [misc]points: Setting MPFR precision to 320 1539341730.399 * * * * [misc]points: Setting MPFR precision to 576 1539341730.399 * * * * [misc]points: Filtering points with unrepresentable outputs 1539341730.399 * * * * [misc]points: Sampling 5 additional inputs, on iter 16 have 251 / 256 1539341730.399 * * * * [misc]points: Computing exacts for 5 points 1539341730.400 * * * * [misc]points: Setting MPFR precision to 320 1539341730.400 * * * * [misc]points: Setting MPFR precision to 576 1539341730.401 * * * * [misc]points: Filtering points with unrepresentable outputs 1539341730.401 * * * * [misc]points: Sampling 4 additional inputs, on iter 17 have 253 / 256 1539341730.401 * * * * [misc]points: Computing exacts for 4 points 1539341730.401 * * * * [misc]points: Setting MPFR precision to 320 1539341730.401 * * * * [misc]points: Setting MPFR precision to 576 1539341730.402 * * * * [misc]points: Filtering points with unrepresentable outputs 1539341730.402 * * * * [misc]points: Sampling 4 additional inputs, on iter 18 have 253 / 256 1539341730.402 * * * * [misc]points: Computing exacts for 4 points 1539341730.402 * * * * [misc]points: Setting MPFR precision to 320 1539341730.402 * * * * [misc]points: Setting MPFR precision to 576 1539341730.403 * * * * [misc]points: Filtering points with unrepresentable outputs 1539341730.403 * * * * [misc]points: Sampling 4 additional inputs, on iter 19 have 254 / 256 1539341730.403 * * * * [misc]points: Computing exacts for 4 points 1539341730.403 * * * * [misc]points: Setting MPFR precision to 320 1539341730.403 * * * * [misc]points: Setting MPFR precision to 576 1539341730.404 * * * * [misc]points: Filtering points with unrepresentable outputs 1539341730.404 * * * * [misc]points: Sampling 4 additional inputs, on iter 20 have 255 / 256 1539341730.404 * * * * [misc]points: Computing exacts for 4 points 1539341730.404 * * * * [misc]points: Setting MPFR precision to 320 1539341730.405 * * * * [misc]points: Setting MPFR precision to 576 1539341730.405 * * * * [misc]points: Filtering points with unrepresentable outputs 1539341730.405 * * * * [exit]points: Sampled 256 points with exact outputs 1539341730.405 * * * [misc]progress: [2/2] Setting up program. 1539341730.407 * [misc]progress: [Phase 2 of 3] Improving. 1539341730.408 * [enter]simplify: Simplifying (exp (+ (log a) (log b))) 1539341730.408 * * [misc]simplify: iters left: 4 (6 enodes) 1539341730.408 * * [misc]simplify: iters left: 3 (10 enodes) 1539341730.410 * * [misc]simplify: iters left: 2 (11 enodes) 1539341730.411 * [exit]simplify: Simplified to (* a b) 1539341730.417 * * [misc]progress: iteration 1 / 4 1539341730.417 * * * [misc]progress: picking best candidate 1539341730.438 * * * * [misc]pick: Picked # 1539341730.438 * * * [misc]progress: localizing error 1539341730.442 * * * [misc]progress: generating rewritten candidates 1539341730.442 * * * [misc]progress: generating series expansions 1539341730.442 * * * [misc]progress: simplifying candidates 1539341730.442 * * * [misc]progress: adding candidates to table 1539341730.442 * [misc]progress: [Phase 3 of 3] Extracting. 1539341730.444 * [enter]simplify: Simplifying (* a b) 1539341730.444 * * [misc]simplify: iters left: 2 (3 enodes) 1539341730.444 * * [misc]simplify: iters left: 1 (4 enodes) 1539341730.444 * [exit]simplify: Simplified to (* a b) 1539341730.444 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1539341730.490 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1539341730.491 * * * * [misc]points: Setting MPFR precision to 320 1539341730.492 * * * * [misc]points: Setting MPFR precision to 576 1539341730.493 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1539341730.494 * * * * [misc]points: Setting MPFR precision to 320 1539341730.496 * * * * [misc]points: Setting MPFR precision to 576 1539341730.497 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1539341730.497 * * * * [misc]points: Setting MPFR precision to 320 1539341730.499 * * * * [misc]points: Setting MPFR precision to 576 1539341730.501 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1539341730.510 * * * * [misc]points: Setting MPFR precision to 320 1539341730.514 * * * * [misc]points: Setting MPFR precision to 576 1539341730.518 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1539341730.519 * * * * [misc]points: Setting MPFR precision to 320 1539341730.526 * * * * [misc]points: Setting MPFR precision to 576 1539341730.541 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1539341730.542 * * * * [misc]points: Setting MPFR precision to 320 1539341730.558 * * * * [misc]points: Setting MPFR precision to 576 1539341730.574 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1539341730.575 * * * * [misc]points: Setting MPFR precision to 320 1539341730.610 * * * * [misc]points: Setting MPFR precision to 576 1539341730.658 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1539341730.660 * * * * [misc]points: Setting MPFR precision to 320 1539341730.800 * * * * [misc]points: Setting MPFR precision to 576 1539341730.867 * * * * [misc]points: Computing exacts for 8000 points 1539341730.869 * * * * [misc]points: Setting MPFR precision to 320 1539341731.223 * * * * [misc]points: Setting MPFR precision to 576 1539341731.633 * * * * [misc]points: Filtering points with unrepresentable outputs 1539341731.635 * * * * [misc]points: Sampling 6263 additional inputs, on iter 1 have 1737 / 8000 1539341732.013 * * * * [misc]points: Computing exacts on every 391 of 6263 points to ramp up precision 1539341732.014 * * * * [misc]points: Setting MPFR precision to 320 1539341732.015 * * * * [misc]points: Setting MPFR precision to 576 1539341732.015 * * * * [misc]points: Computing exacts on every 195 of 6263 points to ramp up precision 1539341732.016 * * * * [misc]points: Setting MPFR precision to 320 1539341732.018 * * * * [misc]points: Setting MPFR precision to 576 1539341732.020 * * * * [misc]points: Computing exacts on every 97 of 6263 points to ramp up precision 1539341732.021 * * * * [misc]points: Setting MPFR precision to 320 1539341732.025 * * * * [misc]points: Setting MPFR precision to 576 1539341732.029 * * * * [misc]points: Computing exacts on every 48 of 6263 points to ramp up precision 1539341732.030 * * * * [misc]points: Setting MPFR precision to 320 1539341732.037 * * * * [misc]points: Setting MPFR precision to 576 1539341732.045 * * * * [misc]points: Computing exacts on every 24 of 6263 points to ramp up precision 1539341732.047 * * * * [misc]points: Setting MPFR precision to 320 1539341732.059 * * * * [misc]points: Setting MPFR precision to 576 1539341732.067 * * * * [misc]points: Computing exacts on every 12 of 6263 points to ramp up precision 1539341732.068 * * * * [misc]points: Setting MPFR precision to 320 1539341732.081 * * * * [misc]points: Setting MPFR precision to 576 1539341732.103 * * * * [misc]points: Computing exacts on every 6 of 6263 points to ramp up precision 1539341732.104 * * * * [misc]points: Setting MPFR precision to 320 1539341732.150 * * * * [misc]points: Setting MPFR precision to 576 1539341732.184 * * * * [misc]points: Computing exacts on every 3 of 6263 points to ramp up precision 1539341732.185 * * * * [misc]points: Setting MPFR precision to 320 1539341732.232 * * * * [misc]points: Setting MPFR precision to 576 1539341732.327 * * * * [misc]points: Computing exacts for 6263 points 1539341732.328 * * * * [misc]points: Setting MPFR precision to 320 1539341732.580 * * * * [misc]points: Setting MPFR precision to 576 1539341732.903 * * * * [misc]points: Filtering points with unrepresentable outputs 1539341732.905 * * * * [misc]points: Sampling 4888 additional inputs, on iter 2 have 3112 / 8000 1539341732.926 * * * * [misc]points: Computing exacts on every 305 of 4888 points to ramp up precision 1539341732.927 * * * * [misc]points: Setting MPFR precision to 320 1539341732.928 * * * * [misc]points: Setting MPFR precision to 576 1539341732.928 * * * * [misc]points: Computing exacts on every 152 of 4888 points to ramp up precision 1539341732.929 * * * * [misc]points: Setting MPFR precision to 320 1539341732.930 * * * * [misc]points: Setting MPFR precision to 576 1539341732.931 * * * * [misc]points: Computing exacts on every 76 of 4888 points to ramp up precision 1539341732.932 * * * * [misc]points: Setting MPFR precision to 320 1539341732.933 * * * * [misc]points: Setting MPFR precision to 576 1539341732.935 * * * * [misc]points: Computing exacts on every 38 of 4888 points to ramp up precision 1539341732.936 * * * * [misc]points: Setting MPFR precision to 320 1539341732.940 * * * * [misc]points: Setting MPFR precision to 576 1539341732.944 * * * * [misc]points: Computing exacts on every 19 of 4888 points to ramp up precision 1539341732.945 * * * * [misc]points: Setting MPFR precision to 320 1539341732.952 * * * * [misc]points: Setting MPFR precision to 576 1539341732.959 * * * * [misc]points: Computing exacts on every 9 of 4888 points to ramp up precision 1539341732.960 * * * * [misc]points: Setting MPFR precision to 320 1539341732.993 * * * * [misc]points: Setting MPFR precision to 576 1539341733.010 * * * * [misc]points: Computing exacts on every 4 of 4888 points to ramp up precision 1539341733.011 * * * * [misc]points: Setting MPFR precision to 320 1539341733.037 * * * * [misc]points: Setting MPFR precision to 576 1539341733.078 * * * * [misc]points: Computing exacts on every 2 of 4888 points to ramp up precision 1539341733.079 * * * * [misc]points: Setting MPFR precision to 320 1539341733.136 * * * * [misc]points: Setting MPFR precision to 576 1539341733.234 * * * * [misc]points: Computing exacts for 4888 points 1539341733.236 * * * * [misc]points: Setting MPFR precision to 320 1539341733.434 * * * * [misc]points: Setting MPFR precision to 576 1539341733.681 * * * * [misc]points: Filtering points with unrepresentable outputs 1539341733.682 * * * * [misc]points: Sampling 3806 additional inputs, on iter 3 have 4194 / 8000 1539341733.719 * * * * [misc]points: Computing exacts on every 237 of 3806 points to ramp up precision 1539341733.720 * * * * [misc]points: Setting MPFR precision to 320 1539341733.721 * * * * [misc]points: Setting MPFR precision to 576 1539341733.722 * * * * [misc]points: Computing exacts on every 118 of 3806 points to ramp up precision 1539341733.722 * * * * [misc]points: Setting MPFR precision to 320 1539341733.723 * * * * [misc]points: Setting MPFR precision to 576 1539341733.724 * * * * [misc]points: Computing exacts on every 59 of 3806 points to ramp up precision 1539341733.725 * * * * [misc]points: Setting MPFR precision to 320 1539341733.729 * * * * [misc]points: Setting MPFR precision to 576 1539341733.731 * * * * [misc]points: Computing exacts on every 29 of 3806 points to ramp up precision 1539341733.732 * * * * [misc]points: Setting MPFR precision to 320 1539341733.735 * * * * [misc]points: Setting MPFR precision to 576 1539341733.739 * * * * [misc]points: Computing exacts on every 14 of 3806 points to ramp up precision 1539341733.740 * * * * [misc]points: Setting MPFR precision to 320 1539341733.747 * * * * [misc]points: Setting MPFR precision to 576 1539341733.755 * * * * [misc]points: Computing exacts on every 7 of 3806 points to ramp up precision 1539341733.756 * * * * [misc]points: Setting MPFR precision to 320 1539341733.768 * * * * [misc]points: Setting MPFR precision to 576 1539341733.784 * * * * [misc]points: Computing exacts on every 3 of 3806 points to ramp up precision 1539341733.784 * * * * [misc]points: Setting MPFR precision to 320 1539341733.814 * * * * [misc]points: Setting MPFR precision to 576 1539341734.153 * * * * [misc]points: Computing exacts for 3806 points 1539341734.154 * * * * [misc]points: Setting MPFR precision to 320 1539341734.298 * * * * [misc]points: Setting MPFR precision to 576 1539341734.493 * * * * [misc]points: Filtering points with unrepresentable outputs 1539341734.494 * * * * [misc]points: Sampling 2945 additional inputs, on iter 4 have 5055 / 8000 1539341734.542 * * * * [misc]points: Computing exacts on every 184 of 2945 points to ramp up precision 1539341734.544 * * * * [misc]points: Setting MPFR precision to 320 1539341734.545 * * * * [misc]points: Setting MPFR precision to 576 1539341734.546 * * * * [misc]points: Computing exacts on every 92 of 2945 points to ramp up precision 1539341734.548 * * * * [misc]points: Setting MPFR precision to 320 1539341734.549 * * * * [misc]points: Setting MPFR precision to 576 1539341734.555 * * * * [misc]points: Computing exacts on every 46 of 2945 points to ramp up precision 1539341734.556 * * * * [misc]points: Setting MPFR precision to 320 1539341734.559 * * * * [misc]points: Setting MPFR precision to 576 1539341734.563 * * * * [misc]points: Computing exacts on every 23 of 2945 points to ramp up precision 1539341734.564 * * * * [misc]points: Setting MPFR precision to 320 1539341734.569 * * * * [misc]points: Setting MPFR precision to 576 1539341734.573 * * * * [misc]points: Computing exacts on every 11 of 2945 points to ramp up precision 1539341734.574 * * * * [misc]points: Setting MPFR precision to 320 1539341734.580 * * * * [misc]points: Setting MPFR precision to 576 1539341734.588 * * * * [misc]points: Computing exacts on every 5 of 2945 points to ramp up precision 1539341734.589 * * * * [misc]points: Setting MPFR precision to 320 1539341734.609 * * * * [misc]points: Setting MPFR precision to 576 1539341734.638 * * * * [misc]points: Computing exacts on every 2 of 2945 points to ramp up precision 1539341734.640 * * * * [misc]points: Setting MPFR precision to 320 1539341734.674 * * * * [misc]points: Setting MPFR precision to 576 1539341734.709 * * * * [misc]points: Computing exacts for 2945 points 1539341734.710 * * * * [misc]points: Setting MPFR precision to 320 1539341734.843 * * * * [misc]points: Setting MPFR precision to 576 1539341734.988 * * * * [misc]points: Filtering points with unrepresentable outputs 1539341734.988 * * * * [misc]points: Sampling 2303 additional inputs, on iter 5 have 5697 / 8000 1539341735.000 * * * * [misc]points: Computing exacts on every 143 of 2303 points to ramp up precision 1539341735.002 * * * * [misc]points: Setting MPFR precision to 320 1539341735.003 * * * * [misc]points: Setting MPFR precision to 576 1539341735.004 * * * * [misc]points: Computing exacts on every 71 of 2303 points to ramp up precision 1539341735.005 * * * * [misc]points: Setting MPFR precision to 320 1539341735.007 * * * * [misc]points: Setting MPFR precision to 576 1539341735.009 * * * * [misc]points: Computing exacts on every 35 of 2303 points to ramp up precision 1539341735.010 * * * * [misc]points: Setting MPFR precision to 320 1539341735.014 * * * * [misc]points: Setting MPFR precision to 576 1539341735.016 * * * * [misc]points: Computing exacts on every 17 of 2303 points to ramp up precision 1539341735.017 * * * * [misc]points: Setting MPFR precision to 320 1539341735.021 * * * * [misc]points: Setting MPFR precision to 576 1539341735.025 * * * * [misc]points: Computing exacts on every 8 of 2303 points to ramp up precision 1539341735.026 * * * * [misc]points: Setting MPFR precision to 320 1539341735.033 * * * * [misc]points: Setting MPFR precision to 576 1539341735.041 * * * * [misc]points: Computing exacts on every 4 of 2303 points to ramp up precision 1539341735.042 * * * * [misc]points: Setting MPFR precision to 320 1539341735.084 * * * * [misc]points: Setting MPFR precision to 576 1539341735.113 * * * * [misc]points: Computing exacts on every 2 of 2303 points to ramp up precision 1539341735.115 * * * * [misc]points: Setting MPFR precision to 320 1539341735.139 * * * * [misc]points: Setting MPFR precision to 576 1539341735.170 * * * * [misc]points: Computing exacts for 2303 points 1539341735.171 * * * * [misc]points: Setting MPFR precision to 320 1539341735.271 * * * * [misc]points: Setting MPFR precision to 576 1539341735.345 * * * * [misc]points: Filtering points with unrepresentable outputs 1539341735.346 * * * * [misc]points: Sampling 1790 additional inputs, on iter 6 have 6210 / 8000 1539341735.353 * * * * [misc]points: Computing exacts on every 111 of 1790 points to ramp up precision 1539341735.354 * * * * [misc]points: Setting MPFR precision to 320 1539341735.355 * * * * [misc]points: Setting MPFR precision to 576 1539341735.356 * * * * [misc]points: Computing exacts on every 55 of 1790 points to ramp up precision 1539341735.356 * * * * [misc]points: Setting MPFR precision to 320 1539341735.357 * * * * [misc]points: Setting MPFR precision to 576 1539341735.358 * * * * [misc]points: Computing exacts on every 27 of 1790 points to ramp up precision 1539341735.359 * * * * [misc]points: Setting MPFR precision to 320 1539341735.361 * * * * [misc]points: Setting MPFR precision to 576 1539341735.363 * * * * [misc]points: Computing exacts on every 13 of 1790 points to ramp up precision 1539341735.364 * * * * [misc]points: Setting MPFR precision to 320 1539341735.368 * * * * [misc]points: Setting MPFR precision to 576 1539341735.373 * * * * [misc]points: Computing exacts on every 6 of 1790 points to ramp up precision 1539341735.374 * * * * [misc]points: Setting MPFR precision to 320 1539341735.382 * * * * [misc]points: Setting MPFR precision to 576 1539341735.419 * * * * [misc]points: Computing exacts on every 3 of 1790 points to ramp up precision 1539341735.420 * * * * [misc]points: Setting MPFR precision to 320 1539341735.435 * * * * [misc]points: Setting MPFR precision to 576 1539341735.450 * * * * [misc]points: Computing exacts for 1790 points 1539341735.451 * * * * [misc]points: Setting MPFR precision to 320 1539341735.499 * * * * [misc]points: Setting MPFR precision to 576 1539341735.615 * * * * [misc]points: Filtering points with unrepresentable outputs 1539341735.615 * * * * [misc]points: Sampling 1377 additional inputs, on iter 7 have 6623 / 8000 1539341735.623 * * * * [misc]points: Computing exacts on every 86 of 1377 points to ramp up precision 1539341735.624 * * * * [misc]points: Setting MPFR precision to 320 1539341735.625 * * * * [misc]points: Setting MPFR precision to 576 1539341735.626 * * * * [misc]points: Computing exacts on every 43 of 1377 points to ramp up precision 1539341735.626 * * * * [misc]points: Setting MPFR precision to 320 1539341735.627 * * * * [misc]points: Setting MPFR precision to 576 1539341735.628 * * * * [misc]points: Computing exacts on every 21 of 1377 points to ramp up precision 1539341735.629 * * * * [misc]points: Setting MPFR precision to 320 1539341735.631 * * * * [misc]points: Setting MPFR precision to 576 1539341735.635 * * * * [misc]points: Computing exacts on every 10 of 1377 points to ramp up precision 1539341735.637 * * * * [misc]points: Setting MPFR precision to 320 1539341735.644 * * * * [misc]points: Setting MPFR precision to 576 1539341735.652 * * * * [misc]points: Computing exacts on every 5 of 1377 points to ramp up precision 1539341735.653 * * * * [misc]points: Setting MPFR precision to 320 1539341735.665 * * * * [misc]points: Setting MPFR precision to 576 1539341735.680 * * * * [misc]points: Computing exacts on every 2 of 1377 points to ramp up precision 1539341735.681 * * * * [misc]points: Setting MPFR precision to 320 1539341735.705 * * * * [misc]points: Setting MPFR precision to 576 1539341735.730 * * * * [misc]points: Computing exacts for 1377 points 1539341735.731 * * * * [misc]points: Setting MPFR precision to 320 1539341735.802 * * * * [misc]points: Setting MPFR precision to 576 1539341735.855 * * * * [misc]points: Filtering points with unrepresentable outputs 1539341735.855 * * * * [misc]points: Sampling 1086 additional inputs, on iter 8 have 6914 / 8000 1539341735.860 * * * * [misc]points: Computing exacts on every 67 of 1086 points to ramp up precision 1539341735.861 * * * * [misc]points: Setting MPFR precision to 320 1539341735.862 * * * * [misc]points: Setting MPFR precision to 576 1539341735.862 * * * * [misc]points: Computing exacts on every 33 of 1086 points to ramp up precision 1539341735.863 * * * * [misc]points: Setting MPFR precision to 320 1539341735.864 * * * * [misc]points: Setting MPFR precision to 576 1539341735.865 * * * * [misc]points: Computing exacts on every 16 of 1086 points to ramp up precision 1539341735.865 * * * * [misc]points: Setting MPFR precision to 320 1539341735.867 * * * * [misc]points: Setting MPFR precision to 576 1539341735.870 * * * * [misc]points: Computing exacts on every 8 of 1086 points to ramp up precision 1539341735.871 * * * * [misc]points: Setting MPFR precision to 320 1539341735.874 * * * * [misc]points: Setting MPFR precision to 576 1539341735.878 * * * * [misc]points: Computing exacts on every 4 of 1086 points to ramp up precision 1539341735.879 * * * * [misc]points: Setting MPFR precision to 320 1539341735.885 * * * * [misc]points: Setting MPFR precision to 576 1539341735.893 * * * * [misc]points: Computing exacts on every 2 of 1086 points to ramp up precision 1539341735.894 * * * * [misc]points: Setting MPFR precision to 320 1539341735.904 * * * * [misc]points: Setting MPFR precision to 576 1539341735.916 * * * * [misc]points: Computing exacts for 1086 points 1539341735.917 * * * * [misc]points: Setting MPFR precision to 320 1539341735.984 * * * * [misc]points: Setting MPFR precision to 576 1539341736.035 * * * * [misc]points: Filtering points with unrepresentable outputs 1539341736.035 * * * * [misc]points: Sampling 838 additional inputs, on iter 9 have 7162 / 8000 1539341736.042 * * * * [misc]points: Computing exacts on every 52 of 838 points to ramp up precision 1539341736.044 * * * * [misc]points: Setting MPFR precision to 320 1539341736.045 * * * * [misc]points: Setting MPFR precision to 576 1539341736.046 * * * * [misc]points: Computing exacts on every 26 of 838 points to ramp up precision 1539341736.047 * * * * [misc]points: Setting MPFR precision to 320 1539341736.048 * * * * [misc]points: Setting MPFR precision to 576 1539341736.050 * * * * [misc]points: Computing exacts on every 13 of 838 points to ramp up precision 1539341736.052 * * * * [misc]points: Setting MPFR precision to 320 1539341736.055 * * * * [misc]points: Setting MPFR precision to 576 1539341736.058 * * * * [misc]points: Computing exacts on every 6 of 838 points to ramp up precision 1539341736.059 * * * * [misc]points: Setting MPFR precision to 320 1539341736.063 * * * * [misc]points: Setting MPFR precision to 576 1539341736.067 * * * * [misc]points: Computing exacts on every 3 of 838 points to ramp up precision 1539341736.067 * * * * [misc]points: Setting MPFR precision to 320 1539341736.073 * * * * [misc]points: Setting MPFR precision to 576 1539341736.080 * * * * [misc]points: Computing exacts for 838 points 1539341736.081 * * * * [misc]points: Setting MPFR precision to 320 1539341736.107 * * * * [misc]points: Setting MPFR precision to 576 1539341736.449 * * * * [misc]points: Filtering points with unrepresentable outputs 1539341736.450 * * * * [misc]points: Sampling 652 additional inputs, on iter 10 have 7348 / 8000 1539341736.452 * * * * [misc]points: Computing exacts on every 40 of 652 points to ramp up precision 1539341736.454 * * * * [misc]points: Setting MPFR precision to 320 1539341736.454 * * * * [misc]points: Setting MPFR precision to 576 1539341736.455 * * * * [misc]points: Computing exacts on every 20 of 652 points to ramp up precision 1539341736.456 * * * * [misc]points: Setting MPFR precision to 320 1539341736.457 * * * * [misc]points: Setting MPFR precision to 576 1539341736.458 * * * * [misc]points: Computing exacts on every 10 of 652 points to ramp up precision 1539341736.458 * * * * [misc]points: Setting MPFR precision to 320 1539341736.460 * * * * [misc]points: Setting MPFR precision to 576 1539341736.462 * * * * [misc]points: Computing exacts on every 5 of 652 points to ramp up precision 1539341736.463 * * * * [misc]points: Setting MPFR precision to 320 1539341736.466 * * * * [misc]points: Setting MPFR precision to 576 1539341736.469 * * * * [misc]points: Computing exacts on every 2 of 652 points to ramp up precision 1539341736.470 * * * * [misc]points: Setting MPFR precision to 320 1539341736.476 * * * * [misc]points: Setting MPFR precision to 576 1539341736.483 * * * * [misc]points: Computing exacts for 652 points 1539341736.484 * * * * [misc]points: Setting MPFR precision to 320 1539341736.502 * * * * [misc]points: Setting MPFR precision to 576 1539341736.532 * * * * [misc]points: Filtering points with unrepresentable outputs 1539341736.532 * * * * [misc]points: Sampling 523 additional inputs, on iter 11 have 7477 / 8000 1539341736.536 * * * * [misc]points: Computing exacts on every 32 of 523 points to ramp up precision 1539341736.538 * * * * [misc]points: Setting MPFR precision to 320 1539341736.539 * * * * [misc]points: Setting MPFR precision to 576 1539341736.540 * * * * [misc]points: Computing exacts on every 16 of 523 points to ramp up precision 1539341736.541 * * * * [misc]points: Setting MPFR precision to 320 1539341736.543 * * * * [misc]points: Setting MPFR precision to 576 1539341736.545 * * * * [misc]points: Computing exacts on every 8 of 523 points to ramp up precision 1539341736.546 * * * * [misc]points: Setting MPFR precision to 320 1539341736.549 * * * * [misc]points: Setting MPFR precision to 576 1539341736.553 * * * * [misc]points: Computing exacts on every 4 of 523 points to ramp up precision 1539341736.554 * * * * [misc]points: Setting MPFR precision to 320 1539341736.557 * * * * [misc]points: Setting MPFR precision to 576 1539341736.561 * * * * [misc]points: Computing exacts on every 2 of 523 points to ramp up precision 1539341736.562 * * * * [misc]points: Setting MPFR precision to 320 1539341736.567 * * * * [misc]points: Setting MPFR precision to 576 1539341736.601 * * * * [misc]points: Computing exacts for 523 points 1539341736.602 * * * * [misc]points: Setting MPFR precision to 320 1539341736.618 * * * * [misc]points: Setting MPFR precision to 576 1539341736.637 * * * * [misc]points: Filtering points with unrepresentable outputs 1539341736.637 * * * * [misc]points: Sampling 399 additional inputs, on iter 12 have 7601 / 8000 1539341736.639 * * * * [misc]points: Computing exacts on every 24 of 399 points to ramp up precision 1539341736.640 * * * * [misc]points: Setting MPFR precision to 320 1539341736.641 * * * * [misc]points: Setting MPFR precision to 576 1539341736.641 * * * * [misc]points: Computing exacts on every 12 of 399 points to ramp up precision 1539341736.642 * * * * [misc]points: Setting MPFR precision to 320 1539341736.643 * * * * [misc]points: Setting MPFR precision to 576 1539341736.644 * * * * [misc]points: Computing exacts on every 6 of 399 points to ramp up precision 1539341736.644 * * * * [misc]points: Setting MPFR precision to 320 1539341736.646 * * * * [misc]points: Setting MPFR precision to 576 1539341736.648 * * * * [misc]points: Computing exacts on every 3 of 399 points to ramp up precision 1539341736.649 * * * * [misc]points: Setting MPFR precision to 320 1539341736.651 * * * * [misc]points: Setting MPFR precision to 576 1539341736.654 * * * * [misc]points: Computing exacts for 399 points 1539341736.655 * * * * [misc]points: Setting MPFR precision to 320 1539341736.666 * * * * [misc]points: Setting MPFR precision to 576 1539341736.682 * * * * [misc]points: Filtering points with unrepresentable outputs 1539341736.682 * * * * [misc]points: Sampling 328 additional inputs, on iter 13 have 7672 / 8000 1539341736.684 * * * * [misc]points: Computing exacts on every 20 of 328 points to ramp up precision 1539341736.685 * * * * [misc]points: Setting MPFR precision to 320 1539341736.685 * * * * [misc]points: Setting MPFR precision to 576 1539341736.686 * * * * [misc]points: Computing exacts on every 10 of 328 points to ramp up precision 1539341736.686 * * * * [misc]points: Setting MPFR precision to 320 1539341736.687 * * * * [misc]points: Setting MPFR precision to 576 1539341736.688 * * * * [misc]points: Computing exacts on every 5 of 328 points to ramp up precision 1539341736.689 * * * * [misc]points: Setting MPFR precision to 320 1539341736.690 * * * * [misc]points: Setting MPFR precision to 576 1539341736.692 * * * * [misc]points: Computing exacts on every 2 of 328 points to ramp up precision 1539341736.693 * * * * [misc]points: Setting MPFR precision to 320 1539341736.696 * * * * [misc]points: Setting MPFR precision to 576 1539341736.699 * * * * [misc]points: Computing exacts for 328 points 1539341736.700 * * * * [misc]points: Setting MPFR precision to 320 1539341736.710 * * * * [misc]points: Setting MPFR precision to 576 1539341736.728 * * * * [misc]points: Filtering points with unrepresentable outputs 1539341736.728 * * * * [misc]points: Sampling 253 additional inputs, on iter 14 have 7747 / 8000 1539341736.730 * * * * [misc]points: Computing exacts on every 15 of 253 points to ramp up precision 1539341736.732 * * * * [misc]points: Setting MPFR precision to 320 1539341736.733 * * * * [misc]points: Setting MPFR precision to 576 1539341736.734 * * * * [misc]points: Computing exacts on every 7 of 253 points to ramp up precision 1539341736.735 * * * * [misc]points: Setting MPFR precision to 320 1539341736.765 * * * * [misc]points: Setting MPFR precision to 576 1539341736.766 * * * * [misc]points: Computing exacts on every 3 of 253 points to ramp up precision 1539341736.767 * * * * [misc]points: Setting MPFR precision to 320 1539341736.769 * * * * [misc]points: Setting MPFR precision to 576 1539341736.771 * * * * [misc]points: Computing exacts for 253 points 1539341736.772 * * * * [misc]points: Setting MPFR precision to 320 1539341736.780 * * * * [misc]points: Setting MPFR precision to 576 1539341736.788 * * * * [misc]points: Filtering points with unrepresentable outputs 1539341736.789 * * * * [misc]points: Sampling 199 additional inputs, on iter 15 have 7801 / 8000 1539341736.789 * * * * [misc]points: Computing exacts on every 12 of 199 points to ramp up precision 1539341736.790 * * * * [misc]points: Setting MPFR precision to 320 1539341736.791 * * * * [misc]points: Setting MPFR precision to 576 1539341736.791 * * * * [misc]points: Computing exacts on every 6 of 199 points to ramp up precision 1539341736.792 * * * * [misc]points: Setting MPFR precision to 320 1539341736.793 * * * * [misc]points: Setting MPFR precision to 576 1539341736.794 * * * * [misc]points: Computing exacts on every 3 of 199 points to ramp up precision 1539341736.794 * * * * [misc]points: Setting MPFR precision to 320 1539341736.796 * * * * [misc]points: Setting MPFR precision to 576 1539341736.800 * * * * [misc]points: Computing exacts for 199 points 1539341736.801 * * * * [misc]points: Setting MPFR precision to 320 1539341736.807 * * * * [misc]points: Setting MPFR precision to 576 1539341736.814 * * * * [misc]points: Filtering points with unrepresentable outputs 1539341736.814 * * * * [misc]points: Sampling 150 additional inputs, on iter 16 have 7850 / 8000 1539341736.815 * * * * [misc]points: Computing exacts on every 9 of 150 points to ramp up precision 1539341736.816 * * * * [misc]points: Setting MPFR precision to 320 1539341736.816 * * * * [misc]points: Setting MPFR precision to 576 1539341736.817 * * * * [misc]points: Computing exacts on every 4 of 150 points to ramp up precision 1539341736.817 * * * * [misc]points: Setting MPFR precision to 320 1539341736.818 * * * * [misc]points: Setting MPFR precision to 576 1539341736.819 * * * * [misc]points: Computing exacts on every 2 of 150 points to ramp up precision 1539341736.820 * * * * [misc]points: Setting MPFR precision to 320 1539341736.821 * * * * [misc]points: Setting MPFR precision to 576 1539341736.823 * * * * [misc]points: Computing exacts for 150 points 1539341736.824 * * * * [misc]points: Setting MPFR precision to 320 1539341736.828 * * * * [misc]points: Setting MPFR precision to 576 1539341736.834 * * * * [misc]points: Filtering points with unrepresentable outputs 1539341736.834 * * * * [misc]points: Sampling 117 additional inputs, on iter 17 have 7883 / 8000 1539341736.835 * * * * [misc]points: Computing exacts on every 7 of 117 points to ramp up precision 1539341736.837 * * * * [misc]points: Setting MPFR precision to 320 1539341736.838 * * * * [misc]points: Setting MPFR precision to 576 1539341736.839 * * * * [misc]points: Computing exacts on every 3 of 117 points to ramp up precision 1539341736.840 * * * * [misc]points: Setting MPFR precision to 320 1539341736.841 * * * * [misc]points: Setting MPFR precision to 576 1539341736.843 * * * * [misc]points: Computing exacts for 117 points 1539341736.844 * * * * [misc]points: Setting MPFR precision to 320 1539341736.849 * * * * [misc]points: Setting MPFR precision to 576 1539341736.853 * * * * [misc]points: Filtering points with unrepresentable outputs 1539341736.853 * * * * [misc]points: Sampling 85 additional inputs, on iter 18 have 7915 / 8000 1539341736.853 * * * * [misc]points: Computing exacts on every 5 of 85 points to ramp up precision 1539341736.854 * * * * [misc]points: Setting MPFR precision to 320 1539341736.855 * * * * [misc]points: Setting MPFR precision to 576 1539341736.855 * * * * [misc]points: Computing exacts on every 2 of 85 points to ramp up precision 1539341736.856 * * * * [misc]points: Setting MPFR precision to 320 1539341736.857 * * * * [misc]points: Setting MPFR precision to 576 1539341736.857 * * * * [misc]points: Computing exacts for 85 points 1539341736.858 * * * * [misc]points: Setting MPFR precision to 320 1539341736.860 * * * * [misc]points: Setting MPFR precision to 576 1539341736.863 * * * * [misc]points: Filtering points with unrepresentable outputs 1539341736.863 * * * * [misc]points: Sampling 78 additional inputs, on iter 19 have 7922 / 8000 1539341736.863 * * * * [misc]points: Computing exacts on every 4 of 78 points to ramp up precision 1539341736.864 * * * * [misc]points: Setting MPFR precision to 320 1539341736.864 * * * * [misc]points: Setting MPFR precision to 576 1539341736.865 * * * * [misc]points: Computing exacts on every 2 of 78 points to ramp up precision 1539341736.866 * * * * [misc]points: Setting MPFR precision to 320 1539341736.866 * * * * [misc]points: Setting MPFR precision to 576 1539341736.867 * * * * [misc]points: Computing exacts for 78 points 1539341736.868 * * * * [misc]points: Setting MPFR precision to 320 1539341736.872 * * * * [misc]points: Setting MPFR precision to 576 1539341736.877 * * * * [misc]points: Filtering points with unrepresentable outputs 1539341736.877 * * * * [misc]points: Sampling 59 additional inputs, on iter 20 have 7941 / 8000 1539341736.878 * * * * [misc]points: Computing exacts on every 3 of 59 points to ramp up precision 1539341736.879 * * * * [misc]points: Setting MPFR precision to 320 1539341736.880 * * * * [misc]points: Setting MPFR precision to 576 1539341736.881 * * * * [misc]points: Computing exacts for 59 points 1539341736.882 * * * * [misc]points: Setting MPFR precision to 320 1539341736.885 * * * * [misc]points: Setting MPFR precision to 576 1539341736.889 * * * * [misc]points: Filtering points with unrepresentable outputs 1539341736.889 * * * * [misc]points: Sampling 48 additional inputs, on iter 21 have 7952 / 8000 1539341736.889 * * * * [misc]points: Computing exacts on every 3 of 48 points to ramp up precision 1539341736.890 * * * * [misc]points: Setting MPFR precision to 320 1539341736.891 * * * * [misc]points: Setting MPFR precision to 576 1539341736.892 * * * * [misc]points: Computing exacts for 48 points 1539341736.893 * * * * [misc]points: Setting MPFR precision to 320 1539341736.895 * * * * [misc]points: Setting MPFR precision to 576 1539341736.897 * * * * [misc]points: Filtering points with unrepresentable outputs 1539341736.897 * * * * [misc]points: Sampling 39 additional inputs, on iter 22 have 7961 / 8000 1539341736.897 * * * * [misc]points: Computing exacts on every 2 of 39 points to ramp up precision 1539341736.898 * * * * [misc]points: Setting MPFR precision to 320 1539341736.899 * * * * [misc]points: Setting MPFR precision to 576 1539341736.899 * * * * [misc]points: Computing exacts for 39 points 1539341736.900 * * * * [misc]points: Setting MPFR precision to 320 1539341736.901 * * * * [misc]points: Setting MPFR precision to 576 1539341736.902 * * * * [misc]points: Filtering points with unrepresentable outputs 1539341736.902 * * * * [misc]points: Sampling 30 additional inputs, on iter 23 have 7970 / 8000 1539341736.902 * * * * [misc]points: Computing exacts for 30 points 1539341736.903 * * * * [misc]points: Setting MPFR precision to 320 1539341736.904 * * * * [misc]points: Setting MPFR precision to 576 1539341736.905 * * * * [misc]points: Filtering points with unrepresentable outputs 1539341736.905 * * * * [misc]points: Sampling 23 additional inputs, on iter 24 have 7977 / 8000 1539341736.905 * * * * [misc]points: Computing exacts for 23 points 1539341736.906 * * * * [misc]points: Setting MPFR precision to 320 1539341736.929 * * * * [misc]points: Setting MPFR precision to 576 1539341736.930 * * * * [misc]points: Filtering points with unrepresentable outputs 1539341736.930 * * * * [misc]points: Sampling 18 additional inputs, on iter 25 have 7982 / 8000 1539341736.930 * * * * [misc]points: Computing exacts for 18 points 1539341736.931 * * * * [misc]points: Setting MPFR precision to 320 1539341736.932 * * * * [misc]points: Setting MPFR precision to 576 1539341736.932 * * * * [misc]points: Filtering points with unrepresentable outputs 1539341736.932 * * * * [misc]points: Sampling 14 additional inputs, on iter 26 have 7986 / 8000 1539341736.933 * * * * [misc]points: Computing exacts for 14 points 1539341736.933 * * * * [misc]points: Setting MPFR precision to 320 1539341736.934 * * * * [misc]points: Setting MPFR precision to 576 1539341736.934 * * * * [misc]points: Filtering points with unrepresentable outputs 1539341736.934 * * * * [misc]points: Sampling 11 additional inputs, on iter 27 have 7989 / 8000 1539341736.934 * * * * [misc]points: Computing exacts for 11 points 1539341736.935 * * * * [misc]points: Setting MPFR precision to 320 1539341736.935 * * * * [misc]points: Setting MPFR precision to 576 1539341736.936 * * * * [misc]points: Filtering points with unrepresentable outputs 1539341736.936 * * * * [misc]points: Sampling 10 additional inputs, on iter 28 have 7990 / 8000 1539341736.936 * * * * [misc]points: Computing exacts for 10 points 1539341736.936 * * * * [misc]points: Setting MPFR precision to 320 1539341736.937 * * * * [misc]points: Setting MPFR precision to 576 1539341736.937 * * * * [misc]points: Filtering points with unrepresentable outputs 1539341736.937 * * * * [misc]points: Sampling 9 additional inputs, on iter 29 have 7991 / 8000 1539341736.937 * * * * [misc]points: Computing exacts for 9 points 1539341736.938 * * * * [misc]points: Setting MPFR precision to 320 1539341736.938 * * * * [misc]points: Setting MPFR precision to 576 1539341736.940 * * * * [misc]points: Filtering points with unrepresentable outputs 1539341736.940 * * * * [misc]points: Sampling 7 additional inputs, on iter 30 have 7993 / 8000 1539341736.940 * * * * [misc]points: Computing exacts for 7 points 1539341736.941 * * * * [misc]points: Setting MPFR precision to 320 1539341736.941 * * * * [misc]points: Setting MPFR precision to 576 1539341736.941 * * * * [misc]points: Filtering points with unrepresentable outputs 1539341736.942 * * * * [misc]points: Sampling 5 additional inputs, on iter 31 have 7995 / 8000 1539341736.942 * * * * [misc]points: Computing exacts for 5 points 1539341736.942 * * * * [misc]points: Setting MPFR precision to 320 1539341736.942 * * * * [misc]points: Setting MPFR precision to 576 1539341736.943 * * * * [misc]points: Filtering points with unrepresentable outputs 1539341736.943 * * * * [misc]points: Sampling 4 additional inputs, on iter 32 have 7996 / 8000 1539341736.943 * * * * [misc]points: Computing exacts for 4 points 1539341736.943 * * * * [misc]points: Setting MPFR precision to 320 1539341736.943 * * * * [misc]points: Setting MPFR precision to 576 1539341736.944 * * * * [misc]points: Filtering points with unrepresentable outputs 1539341736.944 * * * * [misc]points: Sampling 4 additional inputs, on iter 33 have 7997 / 8000 1539341736.944 * * * * [misc]points: Computing exacts for 4 points 1539341736.944 * * * * [misc]points: Setting MPFR precision to 320 1539341736.945 * * * * [misc]points: Setting MPFR precision to 576 1539341736.945 * * * * [misc]points: Filtering points with unrepresentable outputs 1539341736.945 * * * * [misc]points: Sampling 4 additional inputs, on iter 34 have 7998 / 8000 1539341736.945 * * * * [misc]points: Computing exacts for 4 points 1539341736.945 * * * * [misc]points: Setting MPFR precision to 320 1539341736.946 * * * * [misc]points: Setting MPFR precision to 576 1539341736.946 * * * * [misc]points: Filtering points with unrepresentable outputs 1539341736.946 * * * * [exit]points: Sampled 8001 points with exact outputs 1539341737.077 * [misc]regime-testing: Baseline error score: 0 1539341737.077 * [misc]regime-testing: End program error score: 0 1539341737.078 * [misc]regime-testing: Oracle error score: 0 1539341737.130 * [misc]regime-testing: Target error score: 0