1540195657.253 * [misc]progress: [Phase 1 of 3] Setting up. 1540195657.253 * * * [misc]progress: [1/2] Preparing points 1540195657.253 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1540195657.254 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1540195657.255 * * * * [misc]points: Setting MPFR precision to 64 1540195657.256 * * * * [misc]points: Setting MPFR precision to 320 1540195657.256 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1540195657.257 * * * * [misc]points: Setting MPFR precision to 64 1540195657.257 * * * * [misc]points: Setting MPFR precision to 320 1540195657.258 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1540195657.259 * * * * [misc]points: Setting MPFR precision to 64 1540195657.260 * * * * [misc]points: Setting MPFR precision to 320 1540195657.261 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1540195657.262 * * * * [misc]points: Setting MPFR precision to 64 1540195657.263 * * * * [misc]points: Setting MPFR precision to 320 1540195657.266 * * * * [misc]points: Computing exacts for 256 points 1540195657.266 * * * * [misc]points: Setting MPFR precision to 64 1540195657.271 * * * * [misc]points: Setting MPFR precision to 320 1540195657.278 * * * * [misc]points: Setting MPFR precision to 576 1540195657.285 * * * * [misc]points: Filtering points with unrepresentable outputs 1540195657.285 * * * * [misc]points: Sampling 202 additional inputs, on iter 1 have 54 / 256 1540195657.286 * * * * [misc]points: Computing exacts on every 12 of 202 points to ramp up precision 1540195657.287 * * * * [misc]points: Setting MPFR precision to 320 1540195657.288 * * * * [misc]points: Setting MPFR precision to 576 1540195657.288 * * * * [misc]points: Computing exacts on every 6 of 202 points to ramp up precision 1540195657.289 * * * * [misc]points: Setting MPFR precision to 320 1540195657.300 * * * * [misc]points: Setting MPFR precision to 576 1540195657.301 * * * * [misc]points: Computing exacts on every 3 of 202 points to ramp up precision 1540195657.302 * * * * [misc]points: Setting MPFR precision to 320 1540195657.303 * * * * [misc]points: Setting MPFR precision to 576 1540195657.304 * * * * [misc]points: Computing exacts for 202 points 1540195657.305 * * * * [misc]points: Setting MPFR precision to 320 1540195657.310 * * * * [misc]points: Setting MPFR precision to 576 1540195657.316 * * * * [misc]points: Filtering points with unrepresentable outputs 1540195657.316 * * * * [misc]points: Sampling 165 additional inputs, on iter 2 have 91 / 256 1540195657.317 * * * * [misc]points: Computing exacts on every 10 of 165 points to ramp up precision 1540195657.317 * * * * [misc]points: Setting MPFR precision to 320 1540195657.318 * * * * [misc]points: Setting MPFR precision to 576 1540195657.318 * * * * [misc]points: Computing exacts on every 5 of 165 points to ramp up precision 1540195657.319 * * * * [misc]points: Setting MPFR precision to 320 1540195657.320 * * * * [misc]points: Setting MPFR precision to 576 1540195657.321 * * * * [misc]points: Computing exacts on every 2 of 165 points to ramp up precision 1540195657.321 * * * * [misc]points: Setting MPFR precision to 320 1540195657.323 * * * * [misc]points: Setting MPFR precision to 576 1540195657.324 * * * * [misc]points: Computing exacts for 165 points 1540195657.325 * * * * [misc]points: Setting MPFR precision to 320 1540195657.329 * * * * [misc]points: Setting MPFR precision to 576 1540195657.334 * * * * [misc]points: Filtering points with unrepresentable outputs 1540195657.334 * * * * [misc]points: Sampling 129 additional inputs, on iter 3 have 127 / 256 1540195657.334 * * * * [misc]points: Computing exacts on every 8 of 129 points to ramp up precision 1540195657.335 * * * * [misc]points: Setting MPFR precision to 320 1540195657.336 * * * * [misc]points: Setting MPFR precision to 576 1540195657.336 * * * * [misc]points: Computing exacts on every 4 of 129 points to ramp up precision 1540195657.337 * * * * [misc]points: Setting MPFR precision to 320 1540195657.337 * * * * [misc]points: Setting MPFR precision to 576 1540195657.338 * * * * [misc]points: Computing exacts on every 2 of 129 points to ramp up precision 1540195657.338 * * * * [misc]points: Setting MPFR precision to 320 1540195657.340 * * * * [misc]points: Setting MPFR precision to 576 1540195657.341 * * * * [misc]points: Computing exacts for 129 points 1540195657.342 * * * * [misc]points: Setting MPFR precision to 320 1540195657.345 * * * * [misc]points: Setting MPFR precision to 576 1540195657.348 * * * * [misc]points: Filtering points with unrepresentable outputs 1540195657.348 * * * * [misc]points: Sampling 108 additional inputs, on iter 4 have 148 / 256 1540195657.349 * * * * [misc]points: Computing exacts on every 6 of 108 points to ramp up precision 1540195657.350 * * * * [misc]points: Setting MPFR precision to 320 1540195657.350 * * * * [misc]points: Setting MPFR precision to 576 1540195657.351 * * * * [misc]points: Computing exacts on every 3 of 108 points to ramp up precision 1540195657.351 * * * * [misc]points: Setting MPFR precision to 320 1540195657.352 * * * * [misc]points: Setting MPFR precision to 576 1540195657.353 * * * * [misc]points: Computing exacts for 108 points 1540195657.353 * * * * [misc]points: Setting MPFR precision to 320 1540195657.356 * * * * [misc]points: Setting MPFR precision to 576 1540195657.359 * * * * [misc]points: Filtering points with unrepresentable outputs 1540195657.359 * * * * [misc]points: Sampling 85 additional inputs, on iter 5 have 171 / 256 1540195657.360 * * * * [misc]points: Computing exacts on every 5 of 85 points to ramp up precision 1540195657.360 * * * * [misc]points: Setting MPFR precision to 320 1540195657.361 * * * * [misc]points: Setting MPFR precision to 576 1540195657.361 * * * * [misc]points: Computing exacts on every 2 of 85 points to ramp up precision 1540195657.362 * * * * [misc]points: Setting MPFR precision to 320 1540195657.363 * * * * [misc]points: Setting MPFR precision to 576 1540195657.364 * * * * [misc]points: Computing exacts for 85 points 1540195657.364 * * * * [misc]points: Setting MPFR precision to 320 1540195657.367 * * * * [misc]points: Setting MPFR precision to 576 1540195657.369 * * * * [misc]points: Filtering points with unrepresentable outputs 1540195657.369 * * * * [misc]points: Sampling 64 additional inputs, on iter 6 have 192 / 256 1540195657.370 * * * * [misc]points: Computing exacts on every 4 of 64 points to ramp up precision 1540195657.371 * * * * [misc]points: Setting MPFR precision to 320 1540195657.371 * * * * [misc]points: Setting MPFR precision to 576 1540195657.371 * * * * [misc]points: Computing exacts on every 2 of 64 points to ramp up precision 1540195657.372 * * * * [misc]points: Setting MPFR precision to 320 1540195657.372 * * * * [misc]points: Setting MPFR precision to 576 1540195657.373 * * * * [misc]points: Computing exacts for 64 points 1540195657.374 * * * * [misc]points: Setting MPFR precision to 320 1540195657.375 * * * * [misc]points: Setting MPFR precision to 576 1540195657.377 * * * * [misc]points: Filtering points with unrepresentable outputs 1540195657.377 * * * * [misc]points: Sampling 50 additional inputs, on iter 7 have 206 / 256 1540195657.378 * * * * [misc]points: Computing exacts on every 3 of 50 points to ramp up precision 1540195657.378 * * * * [misc]points: Setting MPFR precision to 320 1540195657.379 * * * * [misc]points: Setting MPFR precision to 576 1540195657.379 * * * * [misc]points: Computing exacts for 50 points 1540195657.380 * * * * [misc]points: Setting MPFR precision to 320 1540195657.381 * * * * [misc]points: Setting MPFR precision to 576 1540195657.383 * * * * [misc]points: Filtering points with unrepresentable outputs 1540195657.383 * * * * [misc]points: Sampling 30 additional inputs, on iter 8 have 226 / 256 1540195657.383 * * * * [misc]points: Computing exacts for 30 points 1540195657.384 * * * * [misc]points: Setting MPFR precision to 320 1540195657.385 * * * * [misc]points: Setting MPFR precision to 576 1540195657.385 * * * * [misc]points: Filtering points with unrepresentable outputs 1540195657.385 * * * * [misc]points: Sampling 24 additional inputs, on iter 9 have 232 / 256 1540195657.386 * * * * [misc]points: Computing exacts for 24 points 1540195657.386 * * * * [misc]points: Setting MPFR precision to 320 1540195657.387 * * * * [misc]points: Setting MPFR precision to 576 1540195657.388 * * * * [misc]points: Filtering points with unrepresentable outputs 1540195657.388 * * * * [misc]points: Sampling 21 additional inputs, on iter 10 have 235 / 256 1540195657.388 * * * * [misc]points: Computing exacts for 21 points 1540195657.388 * * * * [misc]points: Setting MPFR precision to 320 1540195657.389 * * * * [misc]points: Setting MPFR precision to 576 1540195657.390 * * * * [misc]points: Filtering points with unrepresentable outputs 1540195657.390 * * * * [misc]points: Sampling 16 additional inputs, on iter 11 have 240 / 256 1540195657.390 * * * * [misc]points: Computing exacts for 16 points 1540195657.390 * * * * [misc]points: Setting MPFR precision to 320 1540195657.391 * * * * [misc]points: Setting MPFR precision to 576 1540195657.391 * * * * [misc]points: Filtering points with unrepresentable outputs 1540195657.391 * * * * [misc]points: Sampling 13 additional inputs, on iter 12 have 243 / 256 1540195657.391 * * * * [misc]points: Computing exacts for 13 points 1540195657.392 * * * * [misc]points: Setting MPFR precision to 320 1540195657.392 * * * * [misc]points: Setting MPFR precision to 576 1540195657.393 * * * * [misc]points: Filtering points with unrepresentable outputs 1540195657.393 * * * * [misc]points: Sampling 10 additional inputs, on iter 13 have 246 / 256 1540195657.393 * * * * [misc]points: Computing exacts for 10 points 1540195657.394 * * * * [misc]points: Setting MPFR precision to 320 1540195657.394 * * * * [misc]points: Setting MPFR precision to 576 1540195657.394 * * * * [misc]points: Filtering points with unrepresentable outputs 1540195657.394 * * * * [misc]points: Sampling 8 additional inputs, on iter 14 have 248 / 256 1540195657.394 * * * * [misc]points: Computing exacts for 8 points 1540195657.395 * * * * [misc]points: Setting MPFR precision to 320 1540195657.395 * * * * [misc]points: Setting MPFR precision to 576 1540195657.395 * * * * [misc]points: Filtering points with unrepresentable outputs 1540195657.395 * * * * [misc]points: Sampling 6 additional inputs, on iter 15 have 250 / 256 1540195657.396 * * * * [misc]points: Computing exacts for 6 points 1540195657.396 * * * * [misc]points: Setting MPFR precision to 320 1540195657.396 * * * * [misc]points: Setting MPFR precision to 576 1540195657.397 * * * * [misc]points: Filtering points with unrepresentable outputs 1540195657.397 * * * * [misc]points: Sampling 5 additional inputs, on iter 16 have 251 / 256 1540195657.397 * * * * [misc]points: Computing exacts for 5 points 1540195657.397 * * * * [misc]points: Setting MPFR precision to 320 1540195657.398 * * * * [misc]points: Setting MPFR precision to 576 1540195657.398 * * * * [misc]points: Filtering points with unrepresentable outputs 1540195657.398 * * * * [misc]points: Sampling 4 additional inputs, on iter 17 have 253 / 256 1540195657.398 * * * * [misc]points: Computing exacts for 4 points 1540195657.398 * * * * [misc]points: Setting MPFR precision to 320 1540195657.399 * * * * [misc]points: Setting MPFR precision to 576 1540195657.399 * * * * [misc]points: Filtering points with unrepresentable outputs 1540195657.399 * * * * [misc]points: Sampling 4 additional inputs, on iter 18 have 254 / 256 1540195657.399 * * * * [misc]points: Computing exacts for 4 points 1540195657.399 * * * * [misc]points: Setting MPFR precision to 320 1540195657.400 * * * * [misc]points: Setting MPFR precision to 576 1540195657.400 * * * * [misc]points: Filtering points with unrepresentable outputs 1540195657.400 * * * * [exit]points: Sampled 257 points with exact outputs 1540195657.400 * * * [misc]progress: [2/2] Setting up program. 1540195657.403 * [misc]progress: [Phase 2 of 3] Improving. 1540195657.403 * [enter]simplify: Simplifying (exp (+ (log a) (log b))) 1540195657.403 * * [misc]simplify: iters left: 4 (6 enodes) 1540195657.404 * * [misc]simplify: iters left: 3 (10 enodes) 1540195657.405 * * [misc]simplify: iters left: 2 (11 enodes) 1540195657.407 * [exit]simplify: Simplified to (* a b) 1540195657.435 * * [misc]progress: iteration 1 / 4 1540195657.435 * * * [misc]progress: picking best candidate 1540195657.438 * * * * [misc]pick: Picked # 1540195657.438 * * * [misc]progress: localizing error 1540195657.449 * * * [misc]progress: generating rewritten candidates 1540195657.449 * * * [misc]progress: generating series expansions 1540195657.449 * * * [misc]progress: simplifying candidates 1540195657.449 * * * [misc]progress: adding candidates to table 1540195657.449 * [misc]progress: [Phase 3 of 3] Extracting. 1540195657.452 * [enter]simplify: Simplifying (* a b) 1540195657.452 * * [misc]simplify: iters left: 2 (3 enodes) 1540195657.453 * * [misc]simplify: iters left: 1 (4 enodes) 1540195657.453 * [exit]simplify: Simplified to (* a b) 1540195657.453 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1540195657.510 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1540195657.511 * * * * [misc]points: Setting MPFR precision to 320 1540195657.513 * * * * [misc]points: Setting MPFR precision to 576 1540195657.513 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1540195657.515 * * * * [misc]points: Setting MPFR precision to 320 1540195657.517 * * * * [misc]points: Setting MPFR precision to 576 1540195657.519 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1540195657.520 * * * * [misc]points: Setting MPFR precision to 320 1540195657.523 * * * * [misc]points: Setting MPFR precision to 576 1540195657.527 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1540195657.528 * * * * [misc]points: Setting MPFR precision to 320 1540195657.535 * * * * [misc]points: Setting MPFR precision to 576 1540195657.542 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1540195657.544 * * * * [misc]points: Setting MPFR precision to 320 1540195657.556 * * * * [misc]points: Setting MPFR precision to 576 1540195657.571 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1540195657.573 * * * * [misc]points: Setting MPFR precision to 320 1540195657.598 * * * * [misc]points: Setting MPFR precision to 576 1540195657.627 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1540195657.628 * * * * [misc]points: Setting MPFR precision to 320 1540195657.668 * * * * [misc]points: Setting MPFR precision to 576 1540195657.698 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1540195657.699 * * * * [misc]points: Setting MPFR precision to 320 1540195657.830 * * * * [misc]points: Setting MPFR precision to 576 1540195657.888 * * * * [misc]points: Computing exacts for 8000 points 1540195657.890 * * * * [misc]points: Setting MPFR precision to 320 1540195658.194 * * * * [misc]points: Setting MPFR precision to 576 1540195658.548 * * * * [misc]points: Filtering points with unrepresentable outputs 1540195658.550 * * * * [misc]points: Sampling 6250 additional inputs, on iter 1 have 1750 / 8000 1540195658.611 * * * * [misc]points: Computing exacts on every 390 of 6250 points to ramp up precision 1540195658.612 * * * * [misc]points: Setting MPFR precision to 320 1540195658.613 * * * * [misc]points: Setting MPFR precision to 576 1540195658.614 * * * * [misc]points: Computing exacts on every 195 of 6250 points to ramp up precision 1540195658.614 * * * * [misc]points: Setting MPFR precision to 320 1540195658.615 * * * * [misc]points: Setting MPFR precision to 576 1540195658.616 * * * * [misc]points: Computing exacts on every 97 of 6250 points to ramp up precision 1540195658.617 * * * * [misc]points: Setting MPFR precision to 320 1540195658.619 * * * * [misc]points: Setting MPFR precision to 576 1540195658.621 * * * * [misc]points: Computing exacts on every 48 of 6250 points to ramp up precision 1540195658.621 * * * * [misc]points: Setting MPFR precision to 320 1540195658.625 * * * * [misc]points: Setting MPFR precision to 576 1540195658.628 * * * * [misc]points: Computing exacts on every 24 of 6250 points to ramp up precision 1540195658.629 * * * * [misc]points: Setting MPFR precision to 320 1540195658.636 * * * * [misc]points: Setting MPFR precision to 576 1540195658.650 * * * * [misc]points: Computing exacts on every 12 of 6250 points to ramp up precision 1540195658.651 * * * * [misc]points: Setting MPFR precision to 320 1540195658.671 * * * * [misc]points: Setting MPFR precision to 576 1540195658.686 * * * * [misc]points: Computing exacts on every 6 of 6250 points to ramp up precision 1540195658.687 * * * * [misc]points: Setting MPFR precision to 320 1540195659.012 * * * * [misc]points: Setting MPFR precision to 576 1540195659.064 * * * * [misc]points: Computing exacts on every 3 of 6250 points to ramp up precision 1540195659.065 * * * * [misc]points: Setting MPFR precision to 320 1540195659.108 * * * * [misc]points: Setting MPFR precision to 576 1540195659.196 * * * * [misc]points: Computing exacts for 6250 points 1540195659.197 * * * * [misc]points: Setting MPFR precision to 320 1540195659.418 * * * * [misc]points: Setting MPFR precision to 576 1540195659.732 * * * * [misc]points: Filtering points with unrepresentable outputs 1540195659.734 * * * * [misc]points: Sampling 4870 additional inputs, on iter 2 have 3130 / 8000 1540195659.764 * * * * [misc]points: Computing exacts on every 304 of 4870 points to ramp up precision 1540195659.765 * * * * [misc]points: Setting MPFR precision to 320 1540195659.766 * * * * [misc]points: Setting MPFR precision to 576 1540195659.767 * * * * [misc]points: Computing exacts on every 152 of 4870 points to ramp up precision 1540195659.767 * * * * [misc]points: Setting MPFR precision to 320 1540195659.768 * * * * [misc]points: Setting MPFR precision to 576 1540195659.769 * * * * [misc]points: Computing exacts on every 76 of 4870 points to ramp up precision 1540195659.770 * * * * [misc]points: Setting MPFR precision to 320 1540195659.772 * * * * [misc]points: Setting MPFR precision to 576 1540195659.773 * * * * [misc]points: Computing exacts on every 38 of 4870 points to ramp up precision 1540195659.774 * * * * [misc]points: Setting MPFR precision to 320 1540195659.777 * * * * [misc]points: Setting MPFR precision to 576 1540195659.781 * * * * [misc]points: Computing exacts on every 19 of 4870 points to ramp up precision 1540195659.782 * * * * [misc]points: Setting MPFR precision to 320 1540195659.788 * * * * [misc]points: Setting MPFR precision to 576 1540195659.795 * * * * [misc]points: Computing exacts on every 9 of 4870 points to ramp up precision 1540195659.796 * * * * [misc]points: Setting MPFR precision to 320 1540195659.808 * * * * [misc]points: Setting MPFR precision to 576 1540195659.842 * * * * [misc]points: Computing exacts on every 4 of 4870 points to ramp up precision 1540195659.844 * * * * [misc]points: Setting MPFR precision to 320 1540195659.884 * * * * [misc]points: Setting MPFR precision to 576 1540195659.940 * * * * [misc]points: Computing exacts on every 2 of 4870 points to ramp up precision 1540195659.941 * * * * [misc]points: Setting MPFR precision to 320 1540195659.994 * * * * [misc]points: Setting MPFR precision to 576 1540195660.106 * * * * [misc]points: Computing exacts for 4870 points 1540195660.107 * * * * [misc]points: Setting MPFR precision to 320 1540195660.267 * * * * [misc]points: Setting MPFR precision to 576 1540195660.442 * * * * [misc]points: Filtering points with unrepresentable outputs 1540195660.443 * * * * [misc]points: Sampling 3797 additional inputs, on iter 3 have 4203 / 8000 1540195660.459 * * * * [misc]points: Computing exacts on every 237 of 3797 points to ramp up precision 1540195660.460 * * * * [misc]points: Setting MPFR precision to 320 1540195660.480 * * * * [misc]points: Setting MPFR precision to 576 1540195660.481 * * * * [misc]points: Computing exacts on every 118 of 3797 points to ramp up precision 1540195660.482 * * * * [misc]points: Setting MPFR precision to 320 1540195660.483 * * * * [misc]points: Setting MPFR precision to 576 1540195660.484 * * * * [misc]points: Computing exacts on every 59 of 3797 points to ramp up precision 1540195660.484 * * * * [misc]points: Setting MPFR precision to 320 1540195660.486 * * * * [misc]points: Setting MPFR precision to 576 1540195660.488 * * * * [misc]points: Computing exacts on every 29 of 3797 points to ramp up precision 1540195660.489 * * * * [misc]points: Setting MPFR precision to 320 1540195660.493 * * * * [misc]points: Setting MPFR precision to 576 1540195660.497 * * * * [misc]points: Computing exacts on every 14 of 3797 points to ramp up precision 1540195660.498 * * * * [misc]points: Setting MPFR precision to 320 1540195660.504 * * * * [misc]points: Setting MPFR precision to 576 1540195660.512 * * * * [misc]points: Computing exacts on every 7 of 3797 points to ramp up precision 1540195660.513 * * * * [misc]points: Setting MPFR precision to 320 1540195660.525 * * * * [misc]points: Setting MPFR precision to 576 1540195660.538 * * * * [misc]points: Computing exacts on every 3 of 3797 points to ramp up precision 1540195660.539 * * * * [misc]points: Setting MPFR precision to 320 1540195660.563 * * * * [misc]points: Setting MPFR precision to 576 1540195660.600 * * * * [misc]points: Computing exacts for 3797 points 1540195660.601 * * * * [misc]points: Setting MPFR precision to 320 1540195660.777 * * * * [misc]points: Setting MPFR precision to 576 1540195661.191 * * * * [misc]points: Filtering points with unrepresentable outputs 1540195661.191 * * * * [misc]points: Sampling 2952 additional inputs, on iter 4 have 5048 / 8000 1540195661.203 * * * * [misc]points: Computing exacts on every 184 of 2952 points to ramp up precision 1540195661.204 * * * * [misc]points: Setting MPFR precision to 320 1540195661.227 * * * * [misc]points: Setting MPFR precision to 576 1540195661.227 * * * * [misc]points: Computing exacts on every 92 of 2952 points to ramp up precision 1540195661.228 * * * * [misc]points: Setting MPFR precision to 320 1540195661.229 * * * * [misc]points: Setting MPFR precision to 576 1540195661.230 * * * * [misc]points: Computing exacts on every 46 of 2952 points to ramp up precision 1540195661.231 * * * * [misc]points: Setting MPFR precision to 320 1540195661.233 * * * * [misc]points: Setting MPFR precision to 576 1540195661.234 * * * * [misc]points: Computing exacts on every 23 of 2952 points to ramp up precision 1540195661.235 * * * * [misc]points: Setting MPFR precision to 320 1540195661.239 * * * * [misc]points: Setting MPFR precision to 576 1540195661.243 * * * * [misc]points: Computing exacts on every 11 of 2952 points to ramp up precision 1540195661.244 * * * * [misc]points: Setting MPFR precision to 320 1540195661.250 * * * * [misc]points: Setting MPFR precision to 576 1540195661.257 * * * * [misc]points: Computing exacts on every 5 of 2952 points to ramp up precision 1540195661.258 * * * * [misc]points: Setting MPFR precision to 320 1540195661.269 * * * * [misc]points: Setting MPFR precision to 576 1540195661.284 * * * * [misc]points: Computing exacts on every 2 of 2952 points to ramp up precision 1540195661.285 * * * * [misc]points: Setting MPFR precision to 320 1540195661.308 * * * * [misc]points: Setting MPFR precision to 576 1540195661.341 * * * * [misc]points: Computing exacts for 2952 points 1540195661.342 * * * * [misc]points: Setting MPFR precision to 320 1540195661.450 * * * * [misc]points: Setting MPFR precision to 576 1540195661.572 * * * * [misc]points: Filtering points with unrepresentable outputs 1540195661.572 * * * * [misc]points: Sampling 2319 additional inputs, on iter 5 have 5681 / 8000 1540195661.582 * * * * [misc]points: Computing exacts on every 144 of 2319 points to ramp up precision 1540195661.583 * * * * [misc]points: Setting MPFR precision to 320 1540195661.584 * * * * [misc]points: Setting MPFR precision to 576 1540195661.584 * * * * [misc]points: Computing exacts on every 72 of 2319 points to ramp up precision 1540195661.585 * * * * [misc]points: Setting MPFR precision to 320 1540195661.586 * * * * [misc]points: Setting MPFR precision to 576 1540195661.587 * * * * [misc]points: Computing exacts on every 36 of 2319 points to ramp up precision 1540195661.587 * * * * [misc]points: Setting MPFR precision to 320 1540195661.589 * * * * [misc]points: Setting MPFR precision to 576 1540195661.591 * * * * [misc]points: Computing exacts on every 18 of 2319 points to ramp up precision 1540195661.591 * * * * [misc]points: Setting MPFR precision to 320 1540195661.595 * * * * [misc]points: Setting MPFR precision to 576 1540195661.598 * * * * [misc]points: Computing exacts on every 9 of 2319 points to ramp up precision 1540195661.599 * * * * [misc]points: Setting MPFR precision to 320 1540195661.605 * * * * [misc]points: Setting MPFR precision to 576 1540195661.612 * * * * [misc]points: Computing exacts on every 4 of 2319 points to ramp up precision 1540195661.613 * * * * [misc]points: Setting MPFR precision to 320 1540195661.624 * * * * [misc]points: Setting MPFR precision to 576 1540195661.664 * * * * [misc]points: Computing exacts on every 2 of 2319 points to ramp up precision 1540195661.665 * * * * [misc]points: Setting MPFR precision to 320 1540195661.686 * * * * [misc]points: Setting MPFR precision to 576 1540195661.708 * * * * [misc]points: Computing exacts for 2319 points 1540195661.708 * * * * [misc]points: Setting MPFR precision to 320 1540195661.765 * * * * [misc]points: Setting MPFR precision to 576 1540195661.867 * * * * [misc]points: Filtering points with unrepresentable outputs 1540195661.868 * * * * [misc]points: Sampling 1780 additional inputs, on iter 6 have 6220 / 8000 1540195661.875 * * * * [misc]points: Computing exacts on every 111 of 1780 points to ramp up precision 1540195661.876 * * * * [misc]points: Setting MPFR precision to 320 1540195661.877 * * * * [misc]points: Setting MPFR precision to 576 1540195661.877 * * * * [misc]points: Computing exacts on every 55 of 1780 points to ramp up precision 1540195661.878 * * * * [misc]points: Setting MPFR precision to 320 1540195661.879 * * * * [misc]points: Setting MPFR precision to 576 1540195661.880 * * * * [misc]points: Computing exacts on every 27 of 1780 points to ramp up precision 1540195661.881 * * * * [misc]points: Setting MPFR precision to 320 1540195661.882 * * * * [misc]points: Setting MPFR precision to 576 1540195661.884 * * * * [misc]points: Computing exacts on every 13 of 1780 points to ramp up precision 1540195661.885 * * * * [misc]points: Setting MPFR precision to 320 1540195661.888 * * * * [misc]points: Setting MPFR precision to 576 1540195661.892 * * * * [misc]points: Computing exacts on every 6 of 1780 points to ramp up precision 1540195661.893 * * * * [misc]points: Setting MPFR precision to 320 1540195661.899 * * * * [misc]points: Setting MPFR precision to 576 1540195661.907 * * * * [misc]points: Computing exacts on every 3 of 1780 points to ramp up precision 1540195661.908 * * * * [misc]points: Setting MPFR precision to 320 1540195661.946 * * * * [misc]points: Setting MPFR precision to 576 1540195661.961 * * * * [misc]points: Computing exacts for 1780 points 1540195661.962 * * * * [misc]points: Setting MPFR precision to 320 1540195662.005 * * * * [misc]points: Setting MPFR precision to 576 1540195662.092 * * * * [misc]points: Filtering points with unrepresentable outputs 1540195662.092 * * * * [misc]points: Sampling 1379 additional inputs, on iter 7 have 6621 / 8000 1540195662.098 * * * * [misc]points: Computing exacts on every 86 of 1379 points to ramp up precision 1540195662.099 * * * * [misc]points: Setting MPFR precision to 320 1540195662.100 * * * * [misc]points: Setting MPFR precision to 576 1540195662.103 * * * * [misc]points: Computing exacts on every 43 of 1379 points to ramp up precision 1540195662.104 * * * * [misc]points: Setting MPFR precision to 320 1540195662.105 * * * * [misc]points: Setting MPFR precision to 576 1540195662.106 * * * * [misc]points: Computing exacts on every 21 of 1379 points to ramp up precision 1540195662.107 * * * * [misc]points: Setting MPFR precision to 320 1540195662.108 * * * * [misc]points: Setting MPFR precision to 576 1540195662.110 * * * * [misc]points: Computing exacts on every 10 of 1379 points to ramp up precision 1540195662.111 * * * * [misc]points: Setting MPFR precision to 320 1540195662.115 * * * * [misc]points: Setting MPFR precision to 576 1540195662.118 * * * * [misc]points: Computing exacts on every 5 of 1379 points to ramp up precision 1540195662.119 * * * * [misc]points: Setting MPFR precision to 320 1540195662.125 * * * * [misc]points: Setting MPFR precision to 576 1540195662.131 * * * * [misc]points: Computing exacts on every 2 of 1379 points to ramp up precision 1540195662.132 * * * * [misc]points: Setting MPFR precision to 320 1540195662.144 * * * * [misc]points: Setting MPFR precision to 576 1540195662.157 * * * * [misc]points: Computing exacts for 1379 points 1540195662.158 * * * * [misc]points: Setting MPFR precision to 320 1540195662.193 * * * * [misc]points: Setting MPFR precision to 576 1540195662.263 * * * * [misc]points: Filtering points with unrepresentable outputs 1540195662.263 * * * * [misc]points: Sampling 1067 additional inputs, on iter 8 have 6933 / 8000 1540195662.268 * * * * [misc]points: Computing exacts on every 66 of 1067 points to ramp up precision 1540195662.269 * * * * [misc]points: Setting MPFR precision to 320 1540195662.270 * * * * [misc]points: Setting MPFR precision to 576 1540195662.270 * * * * [misc]points: Computing exacts on every 33 of 1067 points to ramp up precision 1540195662.271 * * * * [misc]points: Setting MPFR precision to 320 1540195662.272 * * * * [misc]points: Setting MPFR precision to 576 1540195662.272 * * * * [misc]points: Computing exacts on every 16 of 1067 points to ramp up precision 1540195662.273 * * * * [misc]points: Setting MPFR precision to 320 1540195662.275 * * * * [misc]points: Setting MPFR precision to 576 1540195662.276 * * * * [misc]points: Computing exacts on every 8 of 1067 points to ramp up precision 1540195662.277 * * * * [misc]points: Setting MPFR precision to 320 1540195662.280 * * * * [misc]points: Setting MPFR precision to 576 1540195662.284 * * * * [misc]points: Computing exacts on every 4 of 1067 points to ramp up precision 1540195662.284 * * * * [misc]points: Setting MPFR precision to 320 1540195662.290 * * * * [misc]points: Setting MPFR precision to 576 1540195662.296 * * * * [misc]points: Computing exacts on every 2 of 1067 points to ramp up precision 1540195662.297 * * * * [misc]points: Setting MPFR precision to 320 1540195662.306 * * * * [misc]points: Setting MPFR precision to 576 1540195662.316 * * * * [misc]points: Computing exacts for 1067 points 1540195662.317 * * * * [misc]points: Setting MPFR precision to 320 1540195662.372 * * * * [misc]points: Setting MPFR precision to 576 1540195662.406 * * * * [misc]points: Filtering points with unrepresentable outputs 1540195662.406 * * * * [misc]points: Sampling 825 additional inputs, on iter 9 have 7175 / 8000 1540195662.410 * * * * [misc]points: Computing exacts on every 51 of 825 points to ramp up precision 1540195662.411 * * * * [misc]points: Setting MPFR precision to 320 1540195662.411 * * * * [misc]points: Setting MPFR precision to 576 1540195662.412 * * * * [misc]points: Computing exacts on every 25 of 825 points to ramp up precision 1540195662.412 * * * * [misc]points: Setting MPFR precision to 320 1540195662.413 * * * * [misc]points: Setting MPFR precision to 576 1540195662.414 * * * * [misc]points: Computing exacts on every 12 of 825 points to ramp up precision 1540195662.415 * * * * [misc]points: Setting MPFR precision to 320 1540195662.416 * * * * [misc]points: Setting MPFR precision to 576 1540195662.418 * * * * [misc]points: Computing exacts on every 6 of 825 points to ramp up precision 1540195662.419 * * * * [misc]points: Setting MPFR precision to 320 1540195662.422 * * * * [misc]points: Setting MPFR precision to 576 1540195662.425 * * * * [misc]points: Computing exacts on every 3 of 825 points to ramp up precision 1540195662.426 * * * * [misc]points: Setting MPFR precision to 320 1540195662.431 * * * * [misc]points: Setting MPFR precision to 576 1540195662.437 * * * * [misc]points: Computing exacts for 825 points 1540195662.437 * * * * [misc]points: Setting MPFR precision to 320 1540195662.458 * * * * [misc]points: Setting MPFR precision to 576 1540195662.512 * * * * [misc]points: Filtering points with unrepresentable outputs 1540195662.512 * * * * [misc]points: Sampling 655 additional inputs, on iter 10 have 7345 / 8000 1540195662.515 * * * * [misc]points: Computing exacts on every 40 of 655 points to ramp up precision 1540195662.516 * * * * [misc]points: Setting MPFR precision to 320 1540195662.517 * * * * [misc]points: Setting MPFR precision to 576 1540195662.517 * * * * [misc]points: Computing exacts on every 20 of 655 points to ramp up precision 1540195662.518 * * * * [misc]points: Setting MPFR precision to 320 1540195662.519 * * * * [misc]points: Setting MPFR precision to 576 1540195662.520 * * * * [misc]points: Computing exacts on every 10 of 655 points to ramp up precision 1540195662.522 * * * * [misc]points: Setting MPFR precision to 320 1540195662.524 * * * * [misc]points: Setting MPFR precision to 576 1540195662.526 * * * * [misc]points: Computing exacts on every 5 of 655 points to ramp up precision 1540195662.527 * * * * [misc]points: Setting MPFR precision to 320 1540195662.529 * * * * [misc]points: Setting MPFR precision to 576 1540195662.532 * * * * [misc]points: Computing exacts on every 2 of 655 points to ramp up precision 1540195662.533 * * * * [misc]points: Setting MPFR precision to 320 1540195662.539 * * * * [misc]points: Setting MPFR precision to 576 1540195662.545 * * * * [misc]points: Computing exacts for 655 points 1540195662.546 * * * * [misc]points: Setting MPFR precision to 320 1540195662.562 * * * * [misc]points: Setting MPFR precision to 576 1540195662.582 * * * * [misc]points: Filtering points with unrepresentable outputs 1540195662.582 * * * * [misc]points: Sampling 520 additional inputs, on iter 11 have 7480 / 8000 1540195662.585 * * * * [misc]points: Computing exacts on every 32 of 520 points to ramp up precision 1540195662.585 * * * * [misc]points: Setting MPFR precision to 320 1540195662.586 * * * * [misc]points: Setting MPFR precision to 576 1540195662.586 * * * * [misc]points: Computing exacts on every 16 of 520 points to ramp up precision 1540195662.587 * * * * [misc]points: Setting MPFR precision to 320 1540195662.588 * * * * [misc]points: Setting MPFR precision to 576 1540195662.589 * * * * [misc]points: Computing exacts on every 8 of 520 points to ramp up precision 1540195662.589 * * * * [misc]points: Setting MPFR precision to 320 1540195662.591 * * * * [misc]points: Setting MPFR precision to 576 1540195662.593 * * * * [misc]points: Computing exacts on every 4 of 520 points to ramp up precision 1540195662.593 * * * * [misc]points: Setting MPFR precision to 320 1540195662.596 * * * * [misc]points: Setting MPFR precision to 576 1540195662.599 * * * * [misc]points: Computing exacts on every 2 of 520 points to ramp up precision 1540195662.600 * * * * [misc]points: Setting MPFR precision to 320 1540195662.604 * * * * [misc]points: Setting MPFR precision to 576 1540195662.609 * * * * [misc]points: Computing exacts for 520 points 1540195662.610 * * * * [misc]points: Setting MPFR precision to 320 1540195662.650 * * * * [misc]points: Setting MPFR precision to 576 1540195662.667 * * * * [misc]points: Filtering points with unrepresentable outputs 1540195662.667 * * * * [misc]points: Sampling 426 additional inputs, on iter 12 have 7574 / 8000 1540195662.669 * * * * [misc]points: Computing exacts on every 26 of 426 points to ramp up precision 1540195662.670 * * * * [misc]points: Setting MPFR precision to 320 1540195662.671 * * * * [misc]points: Setting MPFR precision to 576 1540195662.671 * * * * [misc]points: Computing exacts on every 13 of 426 points to ramp up precision 1540195662.672 * * * * [misc]points: Setting MPFR precision to 320 1540195662.673 * * * * [misc]points: Setting MPFR precision to 576 1540195662.674 * * * * [misc]points: Computing exacts on every 6 of 426 points to ramp up precision 1540195662.674 * * * * [misc]points: Setting MPFR precision to 320 1540195662.676 * * * * [misc]points: Setting MPFR precision to 576 1540195662.678 * * * * [misc]points: Computing exacts on every 3 of 426 points to ramp up precision 1540195662.679 * * * * [misc]points: Setting MPFR precision to 320 1540195662.682 * * * * [misc]points: Setting MPFR precision to 576 1540195662.685 * * * * [misc]points: Computing exacts for 426 points 1540195662.686 * * * * [misc]points: Setting MPFR precision to 320 1540195662.697 * * * * [misc]points: Setting MPFR precision to 576 1540195662.710 * * * * [misc]points: Filtering points with unrepresentable outputs 1540195662.710 * * * * [misc]points: Sampling 329 additional inputs, on iter 13 have 7671 / 8000 1540195662.711 * * * * [misc]points: Computing exacts on every 20 of 329 points to ramp up precision 1540195662.712 * * * * [misc]points: Setting MPFR precision to 320 1540195662.713 * * * * [misc]points: Setting MPFR precision to 576 1540195662.713 * * * * [misc]points: Computing exacts on every 10 of 329 points to ramp up precision 1540195662.714 * * * * [misc]points: Setting MPFR precision to 320 1540195662.715 * * * * [misc]points: Setting MPFR precision to 576 1540195662.716 * * * * [misc]points: Computing exacts on every 5 of 329 points to ramp up precision 1540195662.717 * * * * [misc]points: Setting MPFR precision to 320 1540195662.718 * * * * [misc]points: Setting MPFR precision to 576 1540195662.720 * * * * [misc]points: Computing exacts on every 2 of 329 points to ramp up precision 1540195662.720 * * * * [misc]points: Setting MPFR precision to 320 1540195662.723 * * * * [misc]points: Setting MPFR precision to 576 1540195662.727 * * * * [misc]points: Computing exacts for 329 points 1540195662.727 * * * * [misc]points: Setting MPFR precision to 320 1540195662.736 * * * * [misc]points: Setting MPFR precision to 576 1540195662.746 * * * * [misc]points: Filtering points with unrepresentable outputs 1540195662.746 * * * * [misc]points: Sampling 254 additional inputs, on iter 14 have 7746 / 8000 1540195662.747 * * * * [misc]points: Computing exacts on every 15 of 254 points to ramp up precision 1540195662.748 * * * * [misc]points: Setting MPFR precision to 320 1540195662.748 * * * * [misc]points: Setting MPFR precision to 576 1540195662.749 * * * * [misc]points: Computing exacts on every 7 of 254 points to ramp up precision 1540195662.750 * * * * [misc]points: Setting MPFR precision to 320 1540195662.751 * * * * [misc]points: Setting MPFR precision to 576 1540195662.752 * * * * [misc]points: Computing exacts on every 3 of 254 points to ramp up precision 1540195662.752 * * * * [misc]points: Setting MPFR precision to 320 1540195662.754 * * * * [misc]points: Setting MPFR precision to 576 1540195662.756 * * * * [misc]points: Computing exacts for 254 points 1540195662.757 * * * * [misc]points: Setting MPFR precision to 320 1540195663.032 * * * * [misc]points: Setting MPFR precision to 576 1540195663.042 * * * * [misc]points: Filtering points with unrepresentable outputs 1540195663.042 * * * * [misc]points: Sampling 201 additional inputs, on iter 15 have 7799 / 8000 1540195663.043 * * * * [misc]points: Computing exacts on every 12 of 201 points to ramp up precision 1540195663.044 * * * * [misc]points: Setting MPFR precision to 320 1540195663.044 * * * * [misc]points: Setting MPFR precision to 576 1540195663.045 * * * * [misc]points: Computing exacts on every 6 of 201 points to ramp up precision 1540195663.046 * * * * [misc]points: Setting MPFR precision to 320 1540195663.046 * * * * [misc]points: Setting MPFR precision to 576 1540195663.047 * * * * [misc]points: Computing exacts on every 3 of 201 points to ramp up precision 1540195663.048 * * * * [misc]points: Setting MPFR precision to 320 1540195663.049 * * * * [misc]points: Setting MPFR precision to 576 1540195663.051 * * * * [misc]points: Computing exacts for 201 points 1540195663.051 * * * * [misc]points: Setting MPFR precision to 320 1540195663.056 * * * * [misc]points: Setting MPFR precision to 576 1540195663.062 * * * * [misc]points: Filtering points with unrepresentable outputs 1540195663.062 * * * * [misc]points: Sampling 160 additional inputs, on iter 16 have 7840 / 8000 1540195663.063 * * * * [misc]points: Computing exacts on every 10 of 160 points to ramp up precision 1540195663.063 * * * * [misc]points: Setting MPFR precision to 320 1540195663.064 * * * * [misc]points: Setting MPFR precision to 576 1540195663.064 * * * * [misc]points: Computing exacts on every 5 of 160 points to ramp up precision 1540195663.065 * * * * [misc]points: Setting MPFR precision to 320 1540195663.065 * * * * [misc]points: Setting MPFR precision to 576 1540195663.066 * * * * [misc]points: Computing exacts on every 2 of 160 points to ramp up precision 1540195663.067 * * * * [misc]points: Setting MPFR precision to 320 1540195663.068 * * * * [misc]points: Setting MPFR precision to 576 1540195663.070 * * * * [misc]points: Computing exacts for 160 points 1540195663.070 * * * * [misc]points: Setting MPFR precision to 320 1540195663.074 * * * * [misc]points: Setting MPFR precision to 576 1540195663.079 * * * * [misc]points: Filtering points with unrepresentable outputs 1540195663.079 * * * * [misc]points: Sampling 130 additional inputs, on iter 17 have 7870 / 8000 1540195663.080 * * * * [misc]points: Computing exacts on every 8 of 130 points to ramp up precision 1540195663.081 * * * * [misc]points: Setting MPFR precision to 320 1540195663.081 * * * * [misc]points: Setting MPFR precision to 576 1540195663.082 * * * * [misc]points: Computing exacts on every 4 of 130 points to ramp up precision 1540195663.082 * * * * [misc]points: Setting MPFR precision to 320 1540195663.083 * * * * [misc]points: Setting MPFR precision to 576 1540195663.084 * * * * [misc]points: Computing exacts on every 2 of 130 points to ramp up precision 1540195663.084 * * * * [misc]points: Setting MPFR precision to 320 1540195663.086 * * * * [misc]points: Setting MPFR precision to 576 1540195663.087 * * * * [misc]points: Computing exacts for 130 points 1540195663.088 * * * * [misc]points: Setting MPFR precision to 320 1540195663.091 * * * * [misc]points: Setting MPFR precision to 576 1540195663.095 * * * * [misc]points: Filtering points with unrepresentable outputs 1540195663.095 * * * * [misc]points: Sampling 100 additional inputs, on iter 18 have 7900 / 8000 1540195663.096 * * * * [misc]points: Computing exacts on every 6 of 100 points to ramp up precision 1540195663.096 * * * * [misc]points: Setting MPFR precision to 320 1540195663.097 * * * * [misc]points: Setting MPFR precision to 576 1540195663.097 * * * * [misc]points: Computing exacts on every 3 of 100 points to ramp up precision 1540195663.098 * * * * [misc]points: Setting MPFR precision to 320 1540195663.099 * * * * [misc]points: Setting MPFR precision to 576 1540195663.099 * * * * [misc]points: Computing exacts for 100 points 1540195663.100 * * * * [misc]points: Setting MPFR precision to 320 1540195663.102 * * * * [misc]points: Setting MPFR precision to 576 1540195663.105 * * * * [misc]points: Filtering points with unrepresentable outputs 1540195663.105 * * * * [misc]points: Sampling 80 additional inputs, on iter 19 have 7920 / 8000 1540195663.106 * * * * [misc]points: Computing exacts on every 5 of 80 points to ramp up precision 1540195663.107 * * * * [misc]points: Setting MPFR precision to 320 1540195663.107 * * * * [misc]points: Setting MPFR precision to 576 1540195663.107 * * * * [misc]points: Computing exacts on every 2 of 80 points to ramp up precision 1540195663.108 * * * * [misc]points: Setting MPFR precision to 320 1540195663.109 * * * * [misc]points: Setting MPFR precision to 576 1540195663.110 * * * * [misc]points: Computing exacts for 80 points 1540195663.110 * * * * [misc]points: Setting MPFR precision to 320 1540195663.112 * * * * [misc]points: Setting MPFR precision to 576 1540195663.114 * * * * [misc]points: Filtering points with unrepresentable outputs 1540195663.114 * * * * [misc]points: Sampling 65 additional inputs, on iter 20 have 7935 / 8000 1540195663.115 * * * * [misc]points: Computing exacts on every 4 of 65 points to ramp up precision 1540195663.116 * * * * [misc]points: Setting MPFR precision to 320 1540195663.116 * * * * [misc]points: Setting MPFR precision to 576 1540195663.116 * * * * [misc]points: Computing exacts on every 2 of 65 points to ramp up precision 1540195663.117 * * * * [misc]points: Setting MPFR precision to 320 1540195663.118 * * * * [misc]points: Setting MPFR precision to 576 1540195663.118 * * * * [misc]points: Computing exacts for 65 points 1540195663.119 * * * * [misc]points: Setting MPFR precision to 320 1540195663.120 * * * * [misc]points: Setting MPFR precision to 576 1540195663.122 * * * * [misc]points: Filtering points with unrepresentable outputs 1540195663.122 * * * * [misc]points: Sampling 50 additional inputs, on iter 21 have 7950 / 8000 1540195663.123 * * * * [misc]points: Computing exacts on every 3 of 50 points to ramp up precision 1540195663.123 * * * * [misc]points: Setting MPFR precision to 320 1540195663.124 * * * * [misc]points: Setting MPFR precision to 576 1540195663.124 * * * * [misc]points: Computing exacts for 50 points 1540195663.125 * * * * [misc]points: Setting MPFR precision to 320 1540195663.126 * * * * [misc]points: Setting MPFR precision to 576 1540195663.127 * * * * [misc]points: Filtering points with unrepresentable outputs 1540195663.127 * * * * [misc]points: Sampling 41 additional inputs, on iter 22 have 7959 / 8000 1540195663.127 * * * * [misc]points: Computing exacts on every 2 of 41 points to ramp up precision 1540195663.128 * * * * [misc]points: Setting MPFR precision to 320 1540195663.129 * * * * [misc]points: Setting MPFR precision to 576 1540195663.129 * * * * [misc]points: Computing exacts for 41 points 1540195663.130 * * * * [misc]points: Setting MPFR precision to 320 1540195663.131 * * * * [misc]points: Setting MPFR precision to 576 1540195663.132 * * * * [misc]points: Filtering points with unrepresentable outputs 1540195663.132 * * * * [misc]points: Sampling 31 additional inputs, on iter 23 have 7969 / 8000 1540195663.133 * * * * [misc]points: Computing exacts for 31 points 1540195663.133 * * * * [misc]points: Setting MPFR precision to 320 1540195663.134 * * * * [misc]points: Setting MPFR precision to 576 1540195663.135 * * * * [misc]points: Filtering points with unrepresentable outputs 1540195663.135 * * * * [misc]points: Sampling 22 additional inputs, on iter 24 have 7978 / 8000 1540195663.135 * * * * [misc]points: Computing exacts for 22 points 1540195663.136 * * * * [misc]points: Setting MPFR precision to 320 1540195663.161 * * * * [misc]points: Setting MPFR precision to 576 1540195663.161 * * * * [misc]points: Filtering points with unrepresentable outputs 1540195663.162 * * * * [misc]points: Sampling 15 additional inputs, on iter 25 have 7985 / 8000 1540195663.162 * * * * [misc]points: Computing exacts for 15 points 1540195663.162 * * * * [misc]points: Setting MPFR precision to 320 1540195663.163 * * * * [misc]points: Setting MPFR precision to 576 1540195663.163 * * * * [misc]points: Filtering points with unrepresentable outputs 1540195663.163 * * * * [misc]points: Sampling 11 additional inputs, on iter 26 have 7989 / 8000 1540195663.164 * * * * [misc]points: Computing exacts for 11 points 1540195663.164 * * * * [misc]points: Setting MPFR precision to 320 1540195663.165 * * * * [misc]points: Setting MPFR precision to 576 1540195663.165 * * * * [misc]points: Filtering points with unrepresentable outputs 1540195663.165 * * * * [misc]points: Sampling 9 additional inputs, on iter 27 have 7991 / 8000 1540195663.165 * * * * [misc]points: Computing exacts for 9 points 1540195663.166 * * * * [misc]points: Setting MPFR precision to 320 1540195663.166 * * * * [misc]points: Setting MPFR precision to 576 1540195663.166 * * * * [misc]points: Filtering points with unrepresentable outputs 1540195663.166 * * * * [misc]points: Sampling 7 additional inputs, on iter 28 have 7993 / 8000 1540195663.166 * * * * [misc]points: Computing exacts for 7 points 1540195663.167 * * * * [misc]points: Setting MPFR precision to 320 1540195663.167 * * * * [misc]points: Setting MPFR precision to 576 1540195663.167 * * * * [misc]points: Filtering points with unrepresentable outputs 1540195663.167 * * * * [misc]points: Sampling 7 additional inputs, on iter 29 have 7993 / 8000 1540195663.167 * * * * [misc]points: Computing exacts for 7 points 1540195663.168 * * * * [misc]points: Setting MPFR precision to 320 1540195663.168 * * * * [misc]points: Setting MPFR precision to 576 1540195663.169 * * * * [misc]points: Filtering points with unrepresentable outputs 1540195663.169 * * * * [misc]points: Sampling 6 additional inputs, on iter 30 have 7994 / 8000 1540195663.169 * * * * [misc]points: Computing exacts for 6 points 1540195663.169 * * * * [misc]points: Setting MPFR precision to 320 1540195663.169 * * * * [misc]points: Setting MPFR precision to 576 1540195663.170 * * * * [misc]points: Filtering points with unrepresentable outputs 1540195663.170 * * * * [misc]points: Sampling 4 additional inputs, on iter 31 have 7996 / 8000 1540195663.170 * * * * [misc]points: Computing exacts for 4 points 1540195663.172 * * * * [misc]points: Setting MPFR precision to 320 1540195663.172 * * * * [misc]points: Setting MPFR precision to 576 1540195663.173 * * * * [misc]points: Filtering points with unrepresentable outputs 1540195663.173 * * * * [misc]points: Sampling 4 additional inputs, on iter 32 have 7997 / 8000 1540195663.173 * * * * [misc]points: Computing exacts for 4 points 1540195663.173 * * * * [misc]points: Setting MPFR precision to 320 1540195663.173 * * * * [misc]points: Setting MPFR precision to 576 1540195663.174 * * * * [misc]points: Filtering points with unrepresentable outputs 1540195663.174 * * * * [misc]points: Sampling 4 additional inputs, on iter 33 have 7997 / 8000 1540195663.174 * * * * [misc]points: Computing exacts for 4 points 1540195663.174 * * * * [misc]points: Setting MPFR precision to 320 1540195663.174 * * * * [misc]points: Setting MPFR precision to 576 1540195663.175 * * * * [misc]points: Filtering points with unrepresentable outputs 1540195663.175 * * * * [exit]points: Sampled 8000 points with exact outputs 1540195663.282 * [misc]regime-testing: Baseline error score: 0 1540195663.282 * [misc]regime-testing: End program error score: 0 1540195663.283 * [misc]regime-testing: Oracle error score: 0 1540195663.316 * [misc]regime-testing: Target error score: 0