1539343451.334 * [misc]progress: [Phase 1 of 3] Setting up. 1539343451.335 * * * [misc]progress: [1/2] Preparing points 1539343451.336 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1539343451.337 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1539343451.378 * * * * [misc]points: Setting MPFR precision to 64 1539343451.379 * * * * [misc]points: Setting MPFR precision to 320 1539343451.380 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1539343451.382 * * * * [misc]points: Setting MPFR precision to 64 1539343451.382 * * * * [misc]points: Setting MPFR precision to 320 1539343451.383 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1539343451.384 * * * * [misc]points: Setting MPFR precision to 64 1539343451.385 * * * * [misc]points: Setting MPFR precision to 320 1539343451.386 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1539343451.387 * * * * [misc]points: Setting MPFR precision to 64 1539343451.388 * * * * [misc]points: Setting MPFR precision to 320 1539343451.390 * * * * [misc]points: Computing exacts for 256 points 1539343451.391 * * * * [misc]points: Setting MPFR precision to 64 1539343451.395 * * * * [misc]points: Setting MPFR precision to 320 1539343451.401 * * * * [misc]points: Filtering points with unrepresentable outputs 1539343451.401 * * * * [misc]points: Sampling 181 additional inputs, on iter 1 have 75 / 256 1539343451.402 * * * * [misc]points: Computing exacts on every 11 of 181 points to ramp up precision 1539343451.403 * * * * [misc]points: Setting MPFR precision to 64 1539343451.403 * * * * [misc]points: Setting MPFR precision to 320 1539343451.404 * * * * [misc]points: Computing exacts on every 5 of 181 points to ramp up precision 1539343451.405 * * * * [misc]points: Setting MPFR precision to 64 1539343451.405 * * * * [misc]points: Setting MPFR precision to 320 1539343451.406 * * * * [misc]points: Computing exacts on every 2 of 181 points to ramp up precision 1539343451.407 * * * * [misc]points: Setting MPFR precision to 64 1539343451.408 * * * * [misc]points: Setting MPFR precision to 320 1539343451.409 * * * * [misc]points: Computing exacts for 181 points 1539343451.410 * * * * [misc]points: Setting MPFR precision to 64 1539343451.413 * * * * [misc]points: Setting MPFR precision to 320 1539343451.416 * * * * [misc]points: Filtering points with unrepresentable outputs 1539343451.416 * * * * [misc]points: Sampling 144 additional inputs, on iter 2 have 112 / 256 1539343451.417 * * * * [misc]points: Computing exacts on every 9 of 144 points to ramp up precision 1539343451.418 * * * * [misc]points: Setting MPFR precision to 64 1539343451.418 * * * * [misc]points: Setting MPFR precision to 320 1539343451.418 * * * * [misc]points: Computing exacts on every 4 of 144 points to ramp up precision 1539343451.421 * * * * [misc]points: Setting MPFR precision to 64 1539343451.422 * * * * [misc]points: Setting MPFR precision to 320 1539343451.422 * * * * [misc]points: Computing exacts on every 2 of 144 points to ramp up precision 1539343451.423 * * * * [misc]points: Setting MPFR precision to 64 1539343451.424 * * * * [misc]points: Setting MPFR precision to 320 1539343451.425 * * * * [misc]points: Computing exacts for 144 points 1539343451.426 * * * * [misc]points: Setting MPFR precision to 64 1539343451.429 * * * * [misc]points: Setting MPFR precision to 320 1539343451.432 * * * * [misc]points: Filtering points with unrepresentable outputs 1539343451.432 * * * * [misc]points: Sampling 114 additional inputs, on iter 3 have 142 / 256 1539343451.432 * * * * [misc]points: Computing exacts on every 7 of 114 points to ramp up precision 1539343451.434 * * * * [misc]points: Setting MPFR precision to 64 1539343451.468 * * * * [misc]points: Setting MPFR precision to 320 1539343451.469 * * * * [misc]points: Computing exacts on every 3 of 114 points to ramp up precision 1539343451.472 * * * * [misc]points: Setting MPFR precision to 64 1539343451.472 * * * * [misc]points: Setting MPFR precision to 320 1539343451.473 * * * * [misc]points: Computing exacts for 114 points 1539343451.474 * * * * [misc]points: Setting MPFR precision to 64 1539343451.476 * * * * [misc]points: Setting MPFR precision to 320 1539343451.478 * * * * [misc]points: Filtering points with unrepresentable outputs 1539343451.478 * * * * [misc]points: Sampling 93 additional inputs, on iter 4 have 163 / 256 1539343451.478 * * * * [misc]points: Computing exacts on every 5 of 93 points to ramp up precision 1539343451.480 * * * * [misc]points: Setting MPFR precision to 64 1539343451.481 * * * * [misc]points: Setting MPFR precision to 320 1539343451.481 * * * * [misc]points: Computing exacts on every 2 of 93 points to ramp up precision 1539343451.482 * * * * [misc]points: Setting MPFR precision to 64 1539343451.482 * * * * [misc]points: Setting MPFR precision to 320 1539343451.483 * * * * [misc]points: Computing exacts for 93 points 1539343451.484 * * * * [misc]points: Setting MPFR precision to 64 1539343451.486 * * * * [misc]points: Setting MPFR precision to 320 1539343451.487 * * * * [misc]points: Filtering points with unrepresentable outputs 1539343451.487 * * * * [misc]points: Sampling 72 additional inputs, on iter 5 have 184 / 256 1539343451.487 * * * * [misc]points: Computing exacts on every 4 of 72 points to ramp up precision 1539343451.489 * * * * [misc]points: Setting MPFR precision to 64 1539343451.489 * * * * [misc]points: Setting MPFR precision to 320 1539343451.489 * * * * [misc]points: Computing exacts on every 2 of 72 points to ramp up precision 1539343451.490 * * * * [misc]points: Setting MPFR precision to 64 1539343451.491 * * * * [misc]points: Setting MPFR precision to 320 1539343451.491 * * * * [misc]points: Computing exacts for 72 points 1539343451.492 * * * * [misc]points: Setting MPFR precision to 64 1539343451.493 * * * * [misc]points: Setting MPFR precision to 320 1539343451.494 * * * * [misc]points: Filtering points with unrepresentable outputs 1539343451.494 * * * * [misc]points: Sampling 56 additional inputs, on iter 6 have 200 / 256 1539343451.495 * * * * [misc]points: Computing exacts on every 3 of 56 points to ramp up precision 1539343451.496 * * * * [misc]points: Setting MPFR precision to 64 1539343451.496 * * * * [misc]points: Setting MPFR precision to 320 1539343451.496 * * * * [misc]points: Computing exacts for 56 points 1539343451.497 * * * * [misc]points: Setting MPFR precision to 64 1539343451.498 * * * * [misc]points: Setting MPFR precision to 320 1539343451.499 * * * * [misc]points: Filtering points with unrepresentable outputs 1539343451.499 * * * * [misc]points: Sampling 41 additional inputs, on iter 7 have 215 / 256 1539343451.499 * * * * [misc]points: Computing exacts on every 2 of 41 points to ramp up precision 1539343451.500 * * * * [misc]points: Setting MPFR precision to 64 1539343451.501 * * * * [misc]points: Setting MPFR precision to 320 1539343451.501 * * * * [misc]points: Computing exacts for 41 points 1539343451.502 * * * * [misc]points: Setting MPFR precision to 64 1539343451.503 * * * * [misc]points: Setting MPFR precision to 320 1539343451.503 * * * * [misc]points: Filtering points with unrepresentable outputs 1539343451.503 * * * * [misc]points: Sampling 32 additional inputs, on iter 8 have 224 / 256 1539343451.503 * * * * [misc]points: Computing exacts on every 2 of 32 points to ramp up precision 1539343451.504 * * * * [misc]points: Setting MPFR precision to 64 1539343451.505 * * * * [misc]points: Setting MPFR precision to 320 1539343451.505 * * * * [misc]points: Computing exacts for 32 points 1539343451.506 * * * * [misc]points: Setting MPFR precision to 64 1539343451.506 * * * * [misc]points: Setting MPFR precision to 320 1539343451.507 * * * * [misc]points: Filtering points with unrepresentable outputs 1539343451.507 * * * * [misc]points: Sampling 26 additional inputs, on iter 9 have 230 / 256 1539343451.507 * * * * [misc]points: Computing exacts for 26 points 1539343451.508 * * * * [misc]points: Setting MPFR precision to 64 1539343451.509 * * * * [misc]points: Setting MPFR precision to 320 1539343451.509 * * * * [misc]points: Filtering points with unrepresentable outputs 1539343451.509 * * * * [misc]points: Sampling 24 additional inputs, on iter 10 have 232 / 256 1539343451.509 * * * * [misc]points: Computing exacts for 24 points 1539343451.510 * * * * [misc]points: Setting MPFR precision to 64 1539343451.511 * * * * [misc]points: Setting MPFR precision to 320 1539343451.511 * * * * [misc]points: Filtering points with unrepresentable outputs 1539343451.511 * * * * [misc]points: Sampling 20 additional inputs, on iter 11 have 236 / 256 1539343451.511 * * * * [misc]points: Computing exacts for 20 points 1539343451.513 * * * * [misc]points: Setting MPFR precision to 64 1539343451.514 * * * * [misc]points: Setting MPFR precision to 320 1539343451.514 * * * * [misc]points: Filtering points with unrepresentable outputs 1539343451.514 * * * * [misc]points: Sampling 12 additional inputs, on iter 12 have 244 / 256 1539343451.515 * * * * [misc]points: Computing exacts for 12 points 1539343451.516 * * * * [misc]points: Setting MPFR precision to 64 1539343451.517 * * * * [misc]points: Setting MPFR precision to 320 1539343451.517 * * * * [misc]points: Filtering points with unrepresentable outputs 1539343451.517 * * * * [misc]points: Sampling 8 additional inputs, on iter 13 have 248 / 256 1539343451.517 * * * * [misc]points: Computing exacts for 8 points 1539343451.519 * * * * [misc]points: Setting MPFR precision to 64 1539343451.519 * * * * [misc]points: Setting MPFR precision to 320 1539343451.520 * * * * [misc]points: Filtering points with unrepresentable outputs 1539343451.520 * * * * [misc]points: Sampling 4 additional inputs, on iter 14 have 252 / 256 1539343451.520 * * * * [misc]points: Computing exacts for 4 points 1539343451.522 * * * * [misc]points: Setting MPFR precision to 64 1539343451.522 * * * * [misc]points: Setting MPFR precision to 320 1539343451.522 * * * * [misc]points: Filtering points with unrepresentable outputs 1539343451.522 * * * * [misc]points: Sampling 4 additional inputs, on iter 15 have 254 / 256 1539343451.522 * * * * [misc]points: Computing exacts for 4 points 1539343451.524 * * * * [misc]points: Setting MPFR precision to 64 1539343451.524 * * * * [misc]points: Setting MPFR precision to 320 1539343451.524 * * * * [misc]points: Filtering points with unrepresentable outputs 1539343451.524 * * * * [exit]points: Sampled 256 points with exact outputs 1539343451.525 * * * [misc]progress: [2/2] Setting up program. 1539343451.530 * [misc]progress: [Phase 2 of 3] Improving. 1539343451.531 * [enter]simplify: Simplifying (- (log (- (/ 1 x) 1))) 1539343451.532 * * [misc]simplify: iters left: 6 (6 enodes) 1539343451.541 * * [misc]simplify: iters left: 5 (11 enodes) 1539343451.544 * * [misc]simplify: iters left: 4 (12 enodes) 1539343451.548 * [exit]simplify: Simplified to (- (log (- (/ 1 x) 1))) 1539343451.559 * * [misc]progress: iteration 1 / 4 1539343451.559 * * * [misc]progress: picking best candidate 1539343451.564 * * * * [misc]pick: Picked # 1539343451.564 * * * [misc]progress: localizing error 1539343451.613 * * * [misc]progress: generating rewritten candidates 1539343451.614 * * * [misc]progress: generating series expansions 1539343451.614 * * * [misc]progress: simplifying candidates 1539343451.614 * * * [misc]progress: adding candidates to table 1539343451.614 * [misc]progress: [Phase 3 of 3] Extracting. 1539343451.619 * [enter]simplify: Simplifying (- (log (- (/ 1 x) 1))) 1539343451.619 * * [misc]simplify: iters left: 6 (6 enodes) 1539343451.619 * * [misc]simplify: iters left: 5 (8 enodes) 1539343451.620 * [exit]simplify: Simplified to (- (log (- (/ 1 x) 1))) 1539343451.620 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1539343451.638 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1539343451.640 * * * * [misc]points: Setting MPFR precision to 64 1539343451.640 * * * * [misc]points: Setting MPFR precision to 320 1539343451.640 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1539343451.641 * * * * [misc]points: Setting MPFR precision to 64 1539343451.642 * * * * [misc]points: Setting MPFR precision to 320 1539343451.642 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1539343451.644 * * * * [misc]points: Setting MPFR precision to 64 1539343451.645 * * * * [misc]points: Setting MPFR precision to 320 1539343451.646 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1539343451.647 * * * * [misc]points: Setting MPFR precision to 64 1539343451.649 * * * * [misc]points: Setting MPFR precision to 320 1539343451.651 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1539343451.654 * * * * [misc]points: Setting MPFR precision to 64 1539343451.662 * * * * [misc]points: Setting MPFR precision to 320 1539343451.670 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1539343451.672 * * * * [misc]points: Setting MPFR precision to 64 1539343451.688 * * * * [misc]points: Setting MPFR precision to 320 1539343451.705 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1539343451.707 * * * * [misc]points: Setting MPFR precision to 64 1539343451.769 * * * * [misc]points: Setting MPFR precision to 320 1539343451.795 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1539343451.797 * * * * [misc]points: Setting MPFR precision to 64 1539343451.829 * * * * [misc]points: Setting MPFR precision to 320 1539343451.867 * * * * [misc]points: Computing exacts for 8000 points 1539343451.914 * * * * [misc]points: Setting MPFR precision to 64 1539343452.204 * * * * [misc]points: Setting MPFR precision to 320 1539343452.489 * * * * [misc]points: Filtering points with unrepresentable outputs 1539343452.492 * * * * [misc]points: Sampling 5998 additional inputs, on iter 1 have 2002 / 8000 1539343452.572 * * * * [misc]points: Computing exacts on every 374 of 5998 points to ramp up precision 1539343452.574 * * * * [misc]points: Setting MPFR precision to 64 1539343452.575 * * * * [misc]points: Setting MPFR precision to 320 1539343452.575 * * * * [misc]points: Computing exacts on every 187 of 5998 points to ramp up precision 1539343452.576 * * * * [misc]points: Setting MPFR precision to 64 1539343452.577 * * * * [misc]points: Setting MPFR precision to 320 1539343452.578 * * * * [misc]points: Computing exacts on every 93 of 5998 points to ramp up precision 1539343452.579 * * * * [misc]points: Setting MPFR precision to 64 1539343452.580 * * * * [misc]points: Setting MPFR precision to 320 1539343452.581 * * * * [misc]points: Computing exacts on every 46 of 5998 points to ramp up precision 1539343452.582 * * * * [misc]points: Setting MPFR precision to 64 1539343452.584 * * * * [misc]points: Setting MPFR precision to 320 1539343452.586 * * * * [misc]points: Computing exacts on every 23 of 5998 points to ramp up precision 1539343452.587 * * * * [misc]points: Setting MPFR precision to 64 1539343452.592 * * * * [misc]points: Setting MPFR precision to 320 1539343452.596 * * * * [misc]points: Computing exacts on every 11 of 5998 points to ramp up precision 1539343452.597 * * * * [misc]points: Setting MPFR precision to 64 1539343452.607 * * * * [misc]points: Setting MPFR precision to 320 1539343452.624 * * * * [misc]points: Computing exacts on every 5 of 5998 points to ramp up precision 1539343452.626 * * * * [misc]points: Setting MPFR precision to 64 1539343452.658 * * * * [misc]points: Setting MPFR precision to 320 1539343453.094 * * * * [misc]points: Computing exacts on every 2 of 5998 points to ramp up precision 1539343453.096 * * * * [misc]points: Setting MPFR precision to 64 1539343453.147 * * * * [misc]points: Setting MPFR precision to 320 1539343453.189 * * * * [misc]points: Computing exacts for 5998 points 1539343453.191 * * * * [misc]points: Setting MPFR precision to 64 1539343453.394 * * * * [misc]points: Setting MPFR precision to 320 1539343453.562 * * * * [misc]points: Filtering points with unrepresentable outputs 1539343453.563 * * * * [misc]points: Sampling 4566 additional inputs, on iter 2 have 3434 / 8000 1539343453.602 * * * * [misc]points: Computing exacts on every 285 of 4566 points to ramp up precision 1539343453.603 * * * * [misc]points: Setting MPFR precision to 64 1539343453.604 * * * * [misc]points: Setting MPFR precision to 320 1539343453.604 * * * * [misc]points: Computing exacts on every 142 of 4566 points to ramp up precision 1539343453.605 * * * * [misc]points: Setting MPFR precision to 64 1539343453.606 * * * * [misc]points: Setting MPFR precision to 320 1539343453.606 * * * * [misc]points: Computing exacts on every 71 of 4566 points to ramp up precision 1539343453.609 * * * * [misc]points: Setting MPFR precision to 64 1539343453.610 * * * * [misc]points: Setting MPFR precision to 320 1539343453.612 * * * * [misc]points: Computing exacts on every 35 of 4566 points to ramp up precision 1539343453.614 * * * * [misc]points: Setting MPFR precision to 64 1539343453.618 * * * * [misc]points: Setting MPFR precision to 320 1539343453.623 * * * * [misc]points: Computing exacts on every 17 of 4566 points to ramp up precision 1539343453.625 * * * * [misc]points: Setting MPFR precision to 64 1539343453.632 * * * * [misc]points: Setting MPFR precision to 320 1539343453.636 * * * * [misc]points: Computing exacts on every 8 of 4566 points to ramp up precision 1539343453.638 * * * * [misc]points: Setting MPFR precision to 64 1539343453.646 * * * * [misc]points: Setting MPFR precision to 320 1539343453.655 * * * * [misc]points: Computing exacts on every 4 of 4566 points to ramp up precision 1539343453.656 * * * * [misc]points: Setting MPFR precision to 64 1539343453.670 * * * * [misc]points: Setting MPFR precision to 320 1539343453.685 * * * * [misc]points: Computing exacts on every 2 of 4566 points to ramp up precision 1539343453.687 * * * * [misc]points: Setting MPFR precision to 64 1539343453.760 * * * * [misc]points: Setting MPFR precision to 320 1539343453.791 * * * * [misc]points: Computing exacts for 4566 points 1539343453.792 * * * * [misc]points: Setting MPFR precision to 64 1539343453.939 * * * * [misc]points: Setting MPFR precision to 320 1539343454.104 * * * * [misc]points: Filtering points with unrepresentable outputs 1539343454.105 * * * * [misc]points: Sampling 3452 additional inputs, on iter 3 have 4548 / 8000 1539343454.123 * * * * [misc]points: Computing exacts on every 215 of 3452 points to ramp up precision 1539343454.125 * * * * [misc]points: Setting MPFR precision to 64 1539343454.126 * * * * [misc]points: Setting MPFR precision to 320 1539343454.127 * * * * [misc]points: Computing exacts on every 107 of 3452 points to ramp up precision 1539343454.129 * * * * [misc]points: Setting MPFR precision to 64 1539343454.130 * * * * [misc]points: Setting MPFR precision to 320 1539343454.131 * * * * [misc]points: Computing exacts on every 53 of 3452 points to ramp up precision 1539343454.133 * * * * [misc]points: Setting MPFR precision to 64 1539343454.135 * * * * [misc]points: Setting MPFR precision to 320 1539343454.137 * * * * [misc]points: Computing exacts on every 26 of 3452 points to ramp up precision 1539343454.139 * * * * [misc]points: Setting MPFR precision to 64 1539343454.143 * * * * [misc]points: Setting MPFR precision to 320 1539343454.147 * * * * [misc]points: Computing exacts on every 13 of 3452 points to ramp up precision 1539343454.149 * * * * [misc]points: Setting MPFR precision to 64 1539343454.157 * * * * [misc]points: Setting MPFR precision to 320 1539343454.165 * * * * [misc]points: Computing exacts on every 6 of 3452 points to ramp up precision 1539343454.167 * * * * [misc]points: Setting MPFR precision to 64 1539343454.184 * * * * [misc]points: Setting MPFR precision to 320 1539343454.194 * * * * [misc]points: Computing exacts on every 3 of 3452 points to ramp up precision 1539343454.195 * * * * [misc]points: Setting MPFR precision to 64 1539343454.209 * * * * [misc]points: Setting MPFR precision to 320 1539343454.231 * * * * [misc]points: Computing exacts for 3452 points 1539343454.233 * * * * [misc]points: Setting MPFR precision to 64 1539343454.350 * * * * [misc]points: Setting MPFR precision to 320 1539343454.508 * * * * [misc]points: Filtering points with unrepresentable outputs 1539343454.508 * * * * [misc]points: Sampling 2597 additional inputs, on iter 4 have 5403 / 8000 1539343454.514 * * * * [misc]points: Computing exacts on every 162 of 2597 points to ramp up precision 1539343454.516 * * * * [misc]points: Setting MPFR precision to 64 1539343454.516 * * * * [misc]points: Setting MPFR precision to 320 1539343454.516 * * * * [misc]points: Computing exacts on every 81 of 2597 points to ramp up precision 1539343454.517 * * * * [misc]points: Setting MPFR precision to 64 1539343454.518 * * * * [misc]points: Setting MPFR precision to 320 1539343454.518 * * * * [misc]points: Computing exacts on every 40 of 2597 points to ramp up precision 1539343454.519 * * * * [misc]points: Setting MPFR precision to 64 1539343454.521 * * * * [misc]points: Setting MPFR precision to 320 1539343454.522 * * * * [misc]points: Computing exacts on every 20 of 2597 points to ramp up precision 1539343454.523 * * * * [misc]points: Setting MPFR precision to 64 1539343454.525 * * * * [misc]points: Setting MPFR precision to 320 1539343454.527 * * * * [misc]points: Computing exacts on every 10 of 2597 points to ramp up precision 1539343454.528 * * * * [misc]points: Setting MPFR precision to 64 1539343454.532 * * * * [misc]points: Setting MPFR precision to 320 1539343454.536 * * * * [misc]points: Computing exacts on every 5 of 2597 points to ramp up precision 1539343454.537 * * * * [misc]points: Setting MPFR precision to 64 1539343454.544 * * * * [misc]points: Setting MPFR precision to 320 1539343454.552 * * * * [misc]points: Computing exacts on every 2 of 2597 points to ramp up precision 1539343454.553 * * * * [misc]points: Setting MPFR precision to 64 1539343454.570 * * * * [misc]points: Setting MPFR precision to 320 1539343454.645 * * * * [misc]points: Computing exacts for 2597 points 1539343454.648 * * * * [misc]points: Setting MPFR precision to 64 1539343454.739 * * * * [misc]points: Setting MPFR precision to 320 1539343454.829 * * * * [misc]points: Filtering points with unrepresentable outputs 1539343454.830 * * * * [misc]points: Sampling 1947 additional inputs, on iter 5 have 6053 / 8000 1539343454.839 * * * * [misc]points: Computing exacts on every 121 of 1947 points to ramp up precision 1539343454.877 * * * * [misc]points: Setting MPFR precision to 64 1539343454.877 * * * * [misc]points: Setting MPFR precision to 320 1539343454.877 * * * * [misc]points: Computing exacts on every 60 of 1947 points to ramp up precision 1539343454.878 * * * * [misc]points: Setting MPFR precision to 64 1539343454.879 * * * * [misc]points: Setting MPFR precision to 320 1539343454.880 * * * * [misc]points: Computing exacts on every 30 of 1947 points to ramp up precision 1539343454.881 * * * * [misc]points: Setting MPFR precision to 64 1539343454.882 * * * * [misc]points: Setting MPFR precision to 320 1539343454.883 * * * * [misc]points: Computing exacts on every 15 of 1947 points to ramp up precision 1539343454.884 * * * * [misc]points: Setting MPFR precision to 64 1539343454.886 * * * * [misc]points: Setting MPFR precision to 320 1539343454.890 * * * * [misc]points: Computing exacts on every 7 of 1947 points to ramp up precision 1539343454.891 * * * * [misc]points: Setting MPFR precision to 64 1539343454.895 * * * * [misc]points: Setting MPFR precision to 320 1539343454.900 * * * * [misc]points: Computing exacts on every 3 of 1947 points to ramp up precision 1539343454.901 * * * * [misc]points: Setting MPFR precision to 64 1539343454.909 * * * * [misc]points: Setting MPFR precision to 320 1539343454.923 * * * * [misc]points: Computing exacts for 1947 points 1539343454.924 * * * * [misc]points: Setting MPFR precision to 64 1539343454.963 * * * * [misc]points: Setting MPFR precision to 320 1539343455.252 * * * * [misc]points: Setting MPFR precision to 576 1539343455.298 * * * * [misc]points: Filtering points with unrepresentable outputs 1539343455.298 * * * * [misc]points: Sampling 1465 additional inputs, on iter 6 have 6535 / 8000 1539343455.302 * * * * [misc]points: Computing exacts on every 91 of 1465 points to ramp up precision 1539343455.303 * * * * [misc]points: Setting MPFR precision to 320 1539343455.304 * * * * [misc]points: Setting MPFR precision to 576 1539343455.304 * * * * [misc]points: Computing exacts on every 45 of 1465 points to ramp up precision 1539343455.305 * * * * [misc]points: Setting MPFR precision to 320 1539343455.306 * * * * [misc]points: Setting MPFR precision to 576 1539343455.306 * * * * [misc]points: Computing exacts on every 22 of 1465 points to ramp up precision 1539343455.307 * * * * [misc]points: Setting MPFR precision to 320 1539343455.309 * * * * [misc]points: Setting MPFR precision to 576 1539343455.310 * * * * [misc]points: Computing exacts on every 11 of 1465 points to ramp up precision 1539343455.311 * * * * [misc]points: Setting MPFR precision to 320 1539343455.313 * * * * [misc]points: Setting MPFR precision to 576 1539343455.315 * * * * [misc]points: Computing exacts on every 5 of 1465 points to ramp up precision 1539343455.316 * * * * [misc]points: Setting MPFR precision to 320 1539343455.321 * * * * [misc]points: Setting MPFR precision to 576 1539343455.325 * * * * [misc]points: Computing exacts on every 2 of 1465 points to ramp up precision 1539343455.326 * * * * [misc]points: Setting MPFR precision to 320 1539343455.338 * * * * [misc]points: Setting MPFR precision to 576 1539343455.395 * * * * [misc]points: Computing exacts for 1465 points 1539343455.397 * * * * [misc]points: Setting MPFR precision to 320 1539343455.447 * * * * [misc]points: Setting MPFR precision to 576 1539343455.495 * * * * [misc]points: Filtering points with unrepresentable outputs 1539343455.495 * * * * [misc]points: Sampling 1121 additional inputs, on iter 7 have 6879 / 8000 1539343455.498 * * * * [misc]points: Computing exacts on every 70 of 1121 points to ramp up precision 1539343455.499 * * * * [misc]points: Setting MPFR precision to 320 1539343455.500 * * * * [misc]points: Setting MPFR precision to 576 1539343455.500 * * * * [misc]points: Computing exacts on every 35 of 1121 points to ramp up precision 1539343455.501 * * * * [misc]points: Setting MPFR precision to 320 1539343455.502 * * * * [misc]points: Setting MPFR precision to 576 1539343455.502 * * * * [misc]points: Computing exacts on every 17 of 1121 points to ramp up precision 1539343455.504 * * * * [misc]points: Setting MPFR precision to 320 1539343455.505 * * * * [misc]points: Setting MPFR precision to 576 1539343455.506 * * * * [misc]points: Computing exacts on every 8 of 1121 points to ramp up precision 1539343455.507 * * * * [misc]points: Setting MPFR precision to 320 1539343455.510 * * * * [misc]points: Setting MPFR precision to 576 1539343455.512 * * * * [misc]points: Computing exacts on every 4 of 1121 points to ramp up precision 1539343455.513 * * * * [misc]points: Setting MPFR precision to 320 1539343455.517 * * * * [misc]points: Setting MPFR precision to 576 1539343455.521 * * * * [misc]points: Computing exacts on every 2 of 1121 points to ramp up precision 1539343455.564 * * * * [misc]points: Setting MPFR precision to 320 1539343455.580 * * * * [misc]points: Setting MPFR precision to 576 1539343455.590 * * * * [misc]points: Computing exacts for 1121 points 1539343455.592 * * * * [misc]points: Setting MPFR precision to 320 1539343455.610 * * * * [misc]points: Setting MPFR precision to 576 1539343455.631 * * * * [misc]points: Filtering points with unrepresentable outputs 1539343455.631 * * * * [misc]points: Sampling 836 additional inputs, on iter 8 have 7164 / 8000 1539343455.633 * * * * [misc]points: Computing exacts on every 52 of 836 points to ramp up precision 1539343455.634 * * * * [misc]points: Setting MPFR precision to 320 1539343455.635 * * * * [misc]points: Setting MPFR precision to 576 1539343455.635 * * * * [misc]points: Computing exacts on every 26 of 836 points to ramp up precision 1539343455.636 * * * * [misc]points: Setting MPFR precision to 320 1539343455.637 * * * * [misc]points: Setting MPFR precision to 576 1539343455.637 * * * * [misc]points: Computing exacts on every 13 of 836 points to ramp up precision 1539343455.638 * * * * [misc]points: Setting MPFR precision to 320 1539343455.639 * * * * [misc]points: Setting MPFR precision to 576 1539343455.641 * * * * [misc]points: Computing exacts on every 6 of 836 points to ramp up precision 1539343455.642 * * * * [misc]points: Setting MPFR precision to 320 1539343455.644 * * * * [misc]points: Setting MPFR precision to 576 1539343455.646 * * * * [misc]points: Computing exacts on every 3 of 836 points to ramp up precision 1539343455.647 * * * * [misc]points: Setting MPFR precision to 320 1539343455.651 * * * * [misc]points: Setting MPFR precision to 576 1539343455.655 * * * * [misc]points: Computing exacts for 836 points 1539343455.656 * * * * [misc]points: Setting MPFR precision to 320 1539343455.696 * * * * [misc]points: Setting MPFR precision to 576 1539343455.713 * * * * [misc]points: Filtering points with unrepresentable outputs 1539343455.713 * * * * [misc]points: Sampling 628 additional inputs, on iter 9 have 7372 / 8000 1539343455.714 * * * * [misc]points: Computing exacts on every 39 of 628 points to ramp up precision 1539343455.716 * * * * [misc]points: Setting MPFR precision to 320 1539343455.716 * * * * [misc]points: Setting MPFR precision to 576 1539343455.716 * * * * [misc]points: Computing exacts on every 19 of 628 points to ramp up precision 1539343455.718 * * * * [misc]points: Setting MPFR precision to 320 1539343455.718 * * * * [misc]points: Setting MPFR precision to 576 1539343455.719 * * * * [misc]points: Computing exacts on every 9 of 628 points to ramp up precision 1539343455.720 * * * * [misc]points: Setting MPFR precision to 320 1539343455.721 * * * * [misc]points: Setting MPFR precision to 576 1539343455.722 * * * * [misc]points: Computing exacts on every 4 of 628 points to ramp up precision 1539343455.724 * * * * [misc]points: Setting MPFR precision to 320 1539343455.726 * * * * [misc]points: Setting MPFR precision to 576 1539343455.728 * * * * [misc]points: Computing exacts on every 2 of 628 points to ramp up precision 1539343455.729 * * * * [misc]points: Setting MPFR precision to 320 1539343455.733 * * * * [misc]points: Setting MPFR precision to 576 1539343455.737 * * * * [misc]points: Computing exacts for 628 points 1539343455.738 * * * * [misc]points: Setting MPFR precision to 320 1539343455.749 * * * * [misc]points: Setting MPFR precision to 576 1539343455.760 * * * * [misc]points: Filtering points with unrepresentable outputs 1539343455.760 * * * * [misc]points: Sampling 477 additional inputs, on iter 10 have 7523 / 8000 1539343455.761 * * * * [misc]points: Computing exacts on every 29 of 477 points to ramp up precision 1539343455.762 * * * * [misc]points: Setting MPFR precision to 320 1539343455.763 * * * * [misc]points: Setting MPFR precision to 576 1539343455.763 * * * * [misc]points: Computing exacts on every 14 of 477 points to ramp up precision 1539343455.764 * * * * [misc]points: Setting MPFR precision to 320 1539343455.765 * * * * [misc]points: Setting MPFR precision to 576 1539343455.766 * * * * [misc]points: Computing exacts on every 7 of 477 points to ramp up precision 1539343455.767 * * * * [misc]points: Setting MPFR precision to 320 1539343455.768 * * * * [misc]points: Setting MPFR precision to 576 1539343455.769 * * * * [misc]points: Computing exacts on every 3 of 477 points to ramp up precision 1539343455.770 * * * * [misc]points: Setting MPFR precision to 320 1539343455.772 * * * * [misc]points: Setting MPFR precision to 576 1539343455.775 * * * * [misc]points: Computing exacts for 477 points 1539343455.776 * * * * [misc]points: Setting MPFR precision to 320 1539343455.810 * * * * [misc]points: Setting MPFR precision to 576 1539343455.820 * * * * [misc]points: Filtering points with unrepresentable outputs 1539343455.820 * * * * [misc]points: Sampling 360 additional inputs, on iter 11 have 7640 / 8000 1539343455.821 * * * * [misc]points: Computing exacts on every 22 of 360 points to ramp up precision 1539343455.822 * * * * [misc]points: Setting MPFR precision to 320 1539343455.823 * * * * [misc]points: Setting MPFR precision to 576 1539343455.823 * * * * [misc]points: Computing exacts on every 11 of 360 points to ramp up precision 1539343455.824 * * * * [misc]points: Setting MPFR precision to 320 1539343455.825 * * * * [misc]points: Setting MPFR precision to 576 1539343455.825 * * * * [misc]points: Computing exacts on every 5 of 360 points to ramp up precision 1539343455.827 * * * * [misc]points: Setting MPFR precision to 320 1539343455.828 * * * * [misc]points: Setting MPFR precision to 576 1539343455.830 * * * * [misc]points: Computing exacts on every 2 of 360 points to ramp up precision 1539343455.832 * * * * [misc]points: Setting MPFR precision to 320 1539343455.836 * * * * [misc]points: Setting MPFR precision to 576 1539343455.838 * * * * [misc]points: Computing exacts for 360 points 1539343455.840 * * * * [misc]points: Setting MPFR precision to 320 1539343455.846 * * * * [misc]points: Setting MPFR precision to 576 1539343455.852 * * * * [misc]points: Filtering points with unrepresentable outputs 1539343455.852 * * * * [misc]points: Sampling 274 additional inputs, on iter 12 have 7726 / 8000 1539343455.853 * * * * [misc]points: Computing exacts on every 17 of 274 points to ramp up precision 1539343455.854 * * * * [misc]points: Setting MPFR precision to 320 1539343455.855 * * * * [misc]points: Setting MPFR precision to 576 1539343455.855 * * * * [misc]points: Computing exacts on every 8 of 274 points to ramp up precision 1539343455.856 * * * * [misc]points: Setting MPFR precision to 320 1539343455.857 * * * * [misc]points: Setting MPFR precision to 576 1539343455.858 * * * * [misc]points: Computing exacts on every 4 of 274 points to ramp up precision 1539343455.859 * * * * [misc]points: Setting MPFR precision to 320 1539343455.860 * * * * [misc]points: Setting MPFR precision to 576 1539343455.861 * * * * [misc]points: Computing exacts on every 2 of 274 points to ramp up precision 1539343455.862 * * * * [misc]points: Setting MPFR precision to 320 1539343455.864 * * * * [misc]points: Setting MPFR precision to 576 1539343455.866 * * * * [misc]points: Computing exacts for 274 points 1539343455.867 * * * * [misc]points: Setting MPFR precision to 320 1539343455.872 * * * * [misc]points: Setting MPFR precision to 576 1539343455.877 * * * * [misc]points: Filtering points with unrepresentable outputs 1539343455.877 * * * * [misc]points: Sampling 208 additional inputs, on iter 13 have 7792 / 8000 1539343455.878 * * * * [misc]points: Computing exacts on every 13 of 208 points to ramp up precision 1539343455.879 * * * * [misc]points: Setting MPFR precision to 320 1539343455.880 * * * * [misc]points: Setting MPFR precision to 576 1539343455.880 * * * * [misc]points: Computing exacts on every 6 of 208 points to ramp up precision 1539343455.881 * * * * [misc]points: Setting MPFR precision to 320 1539343455.882 * * * * [misc]points: Setting MPFR precision to 576 1539343455.882 * * * * [misc]points: Computing exacts on every 3 of 208 points to ramp up precision 1539343455.884 * * * * [misc]points: Setting MPFR precision to 320 1539343455.885 * * * * [misc]points: Setting MPFR precision to 576 1539343455.886 * * * * [misc]points: Computing exacts for 208 points 1539343455.887 * * * * [misc]points: Setting MPFR precision to 320 1539343455.890 * * * * [misc]points: Setting MPFR precision to 576 1539343455.916 * * * * [misc]points: Filtering points with unrepresentable outputs 1539343455.917 * * * * [misc]points: Sampling 148 additional inputs, on iter 14 have 7852 / 8000 1539343455.917 * * * * [misc]points: Computing exacts on every 9 of 148 points to ramp up precision 1539343455.918 * * * * [misc]points: Setting MPFR precision to 320 1539343455.919 * * * * [misc]points: Setting MPFR precision to 576 1539343455.919 * * * * [misc]points: Computing exacts on every 4 of 148 points to ramp up precision 1539343455.921 * * * * [misc]points: Setting MPFR precision to 320 1539343455.922 * * * * [misc]points: Setting MPFR precision to 576 1539343455.924 * * * * [misc]points: Computing exacts on every 2 of 148 points to ramp up precision 1539343455.926 * * * * [misc]points: Setting MPFR precision to 320 1539343455.931 * * * * [misc]points: Setting MPFR precision to 576 1539343455.933 * * * * [misc]points: Computing exacts for 148 points 1539343455.935 * * * * [misc]points: Setting MPFR precision to 320 1539343455.940 * * * * [misc]points: Setting MPFR precision to 576 1539343455.945 * * * * [misc]points: Filtering points with unrepresentable outputs 1539343455.946 * * * * [misc]points: Sampling 114 additional inputs, on iter 15 have 7886 / 8000 1539343455.946 * * * * [misc]points: Computing exacts on every 7 of 114 points to ramp up precision 1539343455.949 * * * * [misc]points: Setting MPFR precision to 320 1539343455.949 * * * * [misc]points: Setting MPFR precision to 576 1539343455.950 * * * * [misc]points: Computing exacts on every 3 of 114 points to ramp up precision 1539343455.952 * * * * [misc]points: Setting MPFR precision to 320 1539343455.953 * * * * [misc]points: Setting MPFR precision to 576 1539343455.954 * * * * [misc]points: Computing exacts for 114 points 1539343455.957 * * * * [misc]points: Setting MPFR precision to 320 1539343455.961 * * * * [misc]points: Setting MPFR precision to 576 1539343455.965 * * * * [misc]points: Filtering points with unrepresentable outputs 1539343455.965 * * * * [misc]points: Sampling 82 additional inputs, on iter 16 have 7918 / 8000 1539343455.966 * * * * [misc]points: Computing exacts on every 5 of 82 points to ramp up precision 1539343455.968 * * * * [misc]points: Setting MPFR precision to 320 1539343455.969 * * * * [misc]points: Setting MPFR precision to 576 1539343455.969 * * * * [misc]points: Computing exacts on every 2 of 82 points to ramp up precision 1539343455.972 * * * * [misc]points: Setting MPFR precision to 320 1539343455.973 * * * * [misc]points: Setting MPFR precision to 576 1539343455.974 * * * * [misc]points: Computing exacts for 82 points 1539343455.976 * * * * [misc]points: Setting MPFR precision to 320 1539343455.979 * * * * [misc]points: Setting MPFR precision to 576 1539343455.982 * * * * [misc]points: Filtering points with unrepresentable outputs 1539343455.983 * * * * [misc]points: Sampling 63 additional inputs, on iter 17 have 7937 / 8000 1539343455.983 * * * * [misc]points: Computing exacts on every 3 of 63 points to ramp up precision 1539343455.985 * * * * [misc]points: Setting MPFR precision to 320 1539343455.986 * * * * [misc]points: Setting MPFR precision to 576 1539343455.986 * * * * [misc]points: Computing exacts for 63 points 1539343455.989 * * * * [misc]points: Setting MPFR precision to 320 1539343455.991 * * * * [misc]points: Setting MPFR precision to 576 1539343455.993 * * * * [misc]points: Filtering points with unrepresentable outputs 1539343455.993 * * * * [misc]points: Sampling 47 additional inputs, on iter 18 have 7953 / 8000 1539343455.994 * * * * [misc]points: Computing exacts on every 2 of 47 points to ramp up precision 1539343455.996 * * * * [misc]points: Setting MPFR precision to 320 1539343455.997 * * * * [misc]points: Setting MPFR precision to 576 1539343455.997 * * * * [misc]points: Computing exacts for 47 points 1539343456.000 * * * * [misc]points: Setting MPFR precision to 320 1539343456.001 * * * * [misc]points: Setting MPFR precision to 576 1539343456.003 * * * * [misc]points: Filtering points with unrepresentable outputs 1539343456.003 * * * * [misc]points: Sampling 33 additional inputs, on iter 19 have 7967 / 8000 1539343456.003 * * * * [misc]points: Computing exacts on every 2 of 33 points to ramp up precision 1539343456.006 * * * * [misc]points: Setting MPFR precision to 320 1539343456.006 * * * * [misc]points: Setting MPFR precision to 576 1539343456.007 * * * * [misc]points: Computing exacts for 33 points 1539343456.009 * * * * [misc]points: Setting MPFR precision to 320 1539343456.011 * * * * [misc]points: Setting MPFR precision to 576 1539343456.012 * * * * [misc]points: Filtering points with unrepresentable outputs 1539343456.012 * * * * [misc]points: Sampling 23 additional inputs, on iter 20 have 7977 / 8000 1539343456.012 * * * * [misc]points: Computing exacts for 23 points 1539343456.014 * * * * [misc]points: Setting MPFR precision to 320 1539343456.015 * * * * [misc]points: Setting MPFR precision to 576 1539343456.016 * * * * [misc]points: Filtering points with unrepresentable outputs 1539343456.016 * * * * [misc]points: Sampling 19 additional inputs, on iter 21 have 7981 / 8000 1539343456.017 * * * * [misc]points: Computing exacts for 19 points 1539343456.019 * * * * [misc]points: Setting MPFR precision to 320 1539343456.020 * * * * [misc]points: Setting MPFR precision to 576 1539343456.020 * * * * [misc]points: Filtering points with unrepresentable outputs 1539343456.021 * * * * [misc]points: Sampling 16 additional inputs, on iter 22 have 7984 / 8000 1539343456.021 * * * * [misc]points: Computing exacts for 16 points 1539343456.023 * * * * [misc]points: Setting MPFR precision to 320 1539343456.024 * * * * [misc]points: Setting MPFR precision to 576 1539343456.025 * * * * [misc]points: Filtering points with unrepresentable outputs 1539343456.025 * * * * [misc]points: Sampling 11 additional inputs, on iter 23 have 7989 / 8000 1539343456.025 * * * * [misc]points: Computing exacts for 11 points 1539343456.027 * * * * [misc]points: Setting MPFR precision to 320 1539343456.028 * * * * [misc]points: Setting MPFR precision to 576 1539343456.028 * * * * [misc]points: Filtering points with unrepresentable outputs 1539343456.028 * * * * [misc]points: Sampling 9 additional inputs, on iter 24 have 7991 / 8000 1539343456.029 * * * * [misc]points: Computing exacts for 9 points 1539343456.031 * * * * [misc]points: Setting MPFR precision to 320 1539343456.031 * * * * [misc]points: Setting MPFR precision to 576 1539343456.032 * * * * [misc]points: Filtering points with unrepresentable outputs 1539343456.032 * * * * [misc]points: Sampling 8 additional inputs, on iter 25 have 7992 / 8000 1539343456.032 * * * * [misc]points: Computing exacts for 8 points 1539343456.034 * * * * [misc]points: Setting MPFR precision to 320 1539343456.035 * * * * [misc]points: Setting MPFR precision to 576 1539343456.035 * * * * [misc]points: Filtering points with unrepresentable outputs 1539343456.035 * * * * [misc]points: Sampling 4 additional inputs, on iter 26 have 7996 / 8000 1539343456.036 * * * * [misc]points: Computing exacts for 4 points 1539343456.038 * * * * [misc]points: Setting MPFR precision to 320 1539343456.038 * * * * [misc]points: Setting MPFR precision to 576 1539343456.039 * * * * [misc]points: Filtering points with unrepresentable outputs 1539343456.039 * * * * [misc]points: Sampling 4 additional inputs, on iter 27 have 7997 / 8000 1539343456.039 * * * * [misc]points: Computing exacts for 4 points 1539343456.041 * * * * [misc]points: Setting MPFR precision to 320 1539343456.042 * * * * [misc]points: Setting MPFR precision to 576 1539343456.042 * * * * [misc]points: Filtering points with unrepresentable outputs 1539343456.042 * * * * [misc]points: Sampling 4 additional inputs, on iter 28 have 7998 / 8000 1539343456.042 * * * * [misc]points: Computing exacts for 4 points 1539343456.044 * * * * [misc]points: Setting MPFR precision to 320 1539343456.044 * * * * [misc]points: Setting MPFR precision to 576 1539343456.045 * * * * [misc]points: Filtering points with unrepresentable outputs 1539343456.045 * * * * [exit]points: Sampled 8000 points with exact outputs 1539343456.212 * [misc]regime-testing: Baseline error score: 0.011727301980223415 1539343456.212 * [misc]regime-testing: End program error score: 0.011727301980223415 1539343456.215 * [misc]regime-testing: Oracle error score: 0.011727301980223415