1536748406.471 * [misc]progress: [Phase 1 of 3] Setting up. 1536748406.471 * * * [misc]progress: [1/2] Preparing points 1536748406.471 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1536748406.472 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1536748406.474 * * * * [misc]points: Setting MPFR precision to 64 1536748406.474 * * * * [misc]points: Setting MPFR precision to 320 1536748406.475 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1536748406.476 * * * * [misc]points: Setting MPFR precision to 64 1536748406.477 * * * * [misc]points: Setting MPFR precision to 320 1536748406.477 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1536748406.479 * * * * [misc]points: Setting MPFR precision to 64 1536748406.480 * * * * [misc]points: Setting MPFR precision to 320 1536748406.482 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1536748406.483 * * * * [misc]points: Setting MPFR precision to 64 1536748406.485 * * * * [misc]points: Setting MPFR precision to 320 1536748406.488 * * * * [misc]points: Computing exacts for 256 points 1536748406.489 * * * * [misc]points: Setting MPFR precision to 64 1536748406.496 * * * * [misc]points: Setting MPFR precision to 320 1536748406.503 * * * * [misc]points: Filtering points with unrepresentable outputs 1536748406.503 * * * * [misc]points: Sampling 76 additional inputs, on iter 1 have 180 / 256 1536748406.503 * * * * [misc]points: Computing exacts on every 4 of 76 points to ramp up precision 1536748406.505 * * * * [misc]points: Setting MPFR precision to 64 1536748406.505 * * * * [misc]points: Setting MPFR precision to 320 1536748406.506 * * * * [misc]points: Computing exacts on every 2 of 76 points to ramp up precision 1536748406.506 * * * * [misc]points: Setting MPFR precision to 64 1536748406.507 * * * * [misc]points: Setting MPFR precision to 320 1536748406.508 * * * * [misc]points: Computing exacts for 76 points 1536748406.509 * * * * [misc]points: Setting MPFR precision to 64 1536748406.511 * * * * [misc]points: Setting MPFR precision to 320 1536748406.513 * * * * [misc]points: Filtering points with unrepresentable outputs 1536748406.514 * * * * [misc]points: Sampling 32 additional inputs, on iter 2 have 224 / 256 1536748406.514 * * * * [misc]points: Computing exacts on every 2 of 32 points to ramp up precision 1536748406.515 * * * * [misc]points: Setting MPFR precision to 64 1536748406.515 * * * * [misc]points: Setting MPFR precision to 320 1536748406.516 * * * * [misc]points: Computing exacts for 32 points 1536748406.517 * * * * [misc]points: Setting MPFR precision to 64 1536748406.517 * * * * [misc]points: Setting MPFR precision to 320 1536748406.518 * * * * [misc]points: Filtering points with unrepresentable outputs 1536748406.518 * * * * [misc]points: Sampling 12 additional inputs, on iter 3 have 244 / 256 1536748406.518 * * * * [misc]points: Computing exacts for 12 points 1536748406.519 * * * * [misc]points: Setting MPFR precision to 64 1536748406.520 * * * * [misc]points: Setting MPFR precision to 320 1536748406.520 * * * * [misc]points: Filtering points with unrepresentable outputs 1536748406.520 * * * * [misc]points: Sampling 4 additional inputs, on iter 4 have 252 / 256 1536748406.520 * * * * [misc]points: Computing exacts for 4 points 1536748406.521 * * * * [misc]points: Setting MPFR precision to 64 1536748406.521 * * * * [misc]points: Setting MPFR precision to 320 1536748406.522 * * * * [misc]points: Filtering points with unrepresentable outputs 1536748406.522 * * * * [misc]points: Sampling 4 additional inputs, on iter 5 have 254 / 256 1536748406.522 * * * * [misc]points: Computing exacts for 4 points 1536748406.523 * * * * [misc]points: Setting MPFR precision to 64 1536748406.523 * * * * [misc]points: Setting MPFR precision to 320 1536748406.523 * * * * [misc]points: Filtering points with unrepresentable outputs 1536748406.523 * * * * [exit]points: Sampled 257 points with exact outputs 1536748406.523 * * * [misc]progress: [2/2] Setting up program. 1536748406.527 * [misc]progress: [Phase 2 of 3] Improving. 1536748406.527 * [enter]simplify: Simplifying (* (* x x) x) 1536748406.528 * * [misc]simplify: iters left: 4 (3 enodes) 1536748406.529 * * [misc]simplify: iters left: 3 (4 enodes) 1536748406.531 * * [misc]simplify: iters left: 2 (6 enodes) 1536748406.533 * [exit]simplify: Simplified to (pow x 3) 1536748406.543 * * [misc]progress: iteration 1 / 4 1536748406.543 * * * [misc]progress: picking best candidate 1536748406.547 * * * * [misc]pick: Picked # 1536748406.547 * * * [misc]progress: localizing error 1536748406.556 * * * [misc]progress: generating rewritten candidates 1536748406.556 * * * [misc]progress: generating series expansions 1536748406.556 * * * [misc]progress: simplifying candidates 1536748406.556 * * * [misc]progress: adding candidates to table 1536748406.556 * [misc]progress: [Phase 3 of 3] Extracting. 1536748406.560 * [enter]simplify: Simplifying (pow x 3) 1536748406.561 * * [misc]simplify: iters left: 1 (3 enodes) 1536748406.561 * [exit]simplify: Simplified to (pow x 3) 1536748406.561 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1536748406.608 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1536748406.609 * * * * [misc]points: Setting MPFR precision to 64 1536748406.610 * * * * [misc]points: Setting MPFR precision to 320 1536748406.610 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1536748406.612 * * * * [misc]points: Setting MPFR precision to 64 1536748406.613 * * * * [misc]points: Setting MPFR precision to 320 1536748406.613 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1536748406.614 * * * * [misc]points: Setting MPFR precision to 64 1536748406.616 * * * * [misc]points: Setting MPFR precision to 320 1536748406.618 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1536748406.619 * * * * [misc]points: Setting MPFR precision to 64 1536748406.623 * * * * [misc]points: Setting MPFR precision to 320 1536748406.626 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1536748406.628 * * * * [misc]points: Setting MPFR precision to 64 1536748406.634 * * * * [misc]points: Setting MPFR precision to 320 1536748406.641 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1536748406.643 * * * * [misc]points: Setting MPFR precision to 64 1536748406.656 * * * * [misc]points: Setting MPFR precision to 320 1536748406.670 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1536748406.671 * * * * [misc]points: Setting MPFR precision to 64 1536748406.697 * * * * [misc]points: Setting MPFR precision to 320 1536748406.724 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1536748406.725 * * * * [misc]points: Setting MPFR precision to 64 1536748406.797 * * * * [misc]points: Setting MPFR precision to 320 1536748406.824 * * * * [misc]points: Setting MPFR precision to 576 1536748406.852 * * * * [misc]points: Computing exacts for 8000 points 1536748406.853 * * * * [misc]points: Setting MPFR precision to 320 1536748407.098 * * * * [misc]points: Setting MPFR precision to 576 1536748407.300 * * * * [misc]points: Filtering points with unrepresentable outputs 1536748407.303 * * * * [misc]points: Sampling 2608 additional inputs, on iter 1 have 5392 / 8000 1536748407.313 * * * * [misc]points: Computing exacts on every 163 of 2608 points to ramp up precision 1536748407.314 * * * * [misc]points: Setting MPFR precision to 320 1536748407.314 * * * * [misc]points: Setting MPFR precision to 576 1536748407.314 * * * * [misc]points: Computing exacts on every 81 of 2608 points to ramp up precision 1536748407.315 * * * * [misc]points: Setting MPFR precision to 320 1536748407.316 * * * * [misc]points: Setting MPFR precision to 576 1536748407.316 * * * * [misc]points: Computing exacts on every 40 of 2608 points to ramp up precision 1536748407.317 * * * * [misc]points: Setting MPFR precision to 320 1536748407.318 * * * * [misc]points: Setting MPFR precision to 576 1536748407.318 * * * * [misc]points: Computing exacts on every 20 of 2608 points to ramp up precision 1536748407.319 * * * * [misc]points: Setting MPFR precision to 320 1536748407.321 * * * * [misc]points: Setting MPFR precision to 576 1536748407.322 * * * * [misc]points: Computing exacts on every 10 of 2608 points to ramp up precision 1536748407.323 * * * * [misc]points: Setting MPFR precision to 320 1536748407.327 * * * * [misc]points: Setting MPFR precision to 576 1536748407.333 * * * * [misc]points: Computing exacts on every 5 of 2608 points to ramp up precision 1536748407.334 * * * * [misc]points: Setting MPFR precision to 320 1536748407.346 * * * * [misc]points: Setting MPFR precision to 576 1536748407.358 * * * * [misc]points: Computing exacts on every 2 of 2608 points to ramp up precision 1536748407.359 * * * * [misc]points: Setting MPFR precision to 320 1536748407.412 * * * * [misc]points: Setting MPFR precision to 576 1536748407.435 * * * * [misc]points: Computing exacts for 2608 points 1536748407.436 * * * * [misc]points: Setting MPFR precision to 320 1536748407.504 * * * * [misc]points: Setting MPFR precision to 576 1536748407.621 * * * * [misc]points: Filtering points with unrepresentable outputs 1536748407.622 * * * * [misc]points: Sampling 885 additional inputs, on iter 2 have 7115 / 8000 1536748407.626 * * * * [misc]points: Computing exacts on every 55 of 885 points to ramp up precision 1536748407.627 * * * * [misc]points: Setting MPFR precision to 320 1536748407.628 * * * * [misc]points: Setting MPFR precision to 576 1536748407.628 * * * * [misc]points: Computing exacts on every 27 of 885 points to ramp up precision 1536748407.629 * * * * [misc]points: Setting MPFR precision to 320 1536748407.629 * * * * [misc]points: Setting MPFR precision to 576 1536748407.630 * * * * [misc]points: Computing exacts on every 13 of 885 points to ramp up precision 1536748407.630 * * * * [misc]points: Setting MPFR precision to 320 1536748407.631 * * * * [misc]points: Setting MPFR precision to 576 1536748407.632 * * * * [misc]points: Computing exacts on every 6 of 885 points to ramp up precision 1536748407.633 * * * * [misc]points: Setting MPFR precision to 320 1536748407.635 * * * * [misc]points: Setting MPFR precision to 576 1536748407.637 * * * * [misc]points: Computing exacts on every 3 of 885 points to ramp up precision 1536748407.637 * * * * [misc]points: Setting MPFR precision to 320 1536748407.640 * * * * [misc]points: Setting MPFR precision to 576 1536748407.643 * * * * [misc]points: Computing exacts for 885 points 1536748407.644 * * * * [misc]points: Setting MPFR precision to 320 1536748407.656 * * * * [misc]points: Setting MPFR precision to 576 1536748407.681 * * * * [misc]points: Filtering points with unrepresentable outputs 1536748407.681 * * * * [misc]points: Sampling 326 additional inputs, on iter 3 have 7674 / 8000 1536748407.682 * * * * [misc]points: Computing exacts on every 20 of 326 points to ramp up precision 1536748407.684 * * * * [misc]points: Setting MPFR precision to 320 1536748407.684 * * * * [misc]points: Setting MPFR precision to 576 1536748407.685 * * * * [misc]points: Computing exacts on every 10 of 326 points to ramp up precision 1536748407.686 * * * * [misc]points: Setting MPFR precision to 320 1536748407.687 * * * * [misc]points: Setting MPFR precision to 576 1536748407.688 * * * * [misc]points: Computing exacts on every 5 of 326 points to ramp up precision 1536748407.689 * * * * [misc]points: Setting MPFR precision to 320 1536748407.690 * * * * [misc]points: Setting MPFR precision to 576 1536748407.692 * * * * [misc]points: Computing exacts on every 2 of 326 points to ramp up precision 1536748407.693 * * * * [misc]points: Setting MPFR precision to 320 1536748407.696 * * * * [misc]points: Setting MPFR precision to 576 1536748407.699 * * * * [misc]points: Computing exacts for 326 points 1536748407.700 * * * * [misc]points: Setting MPFR precision to 320 1536748407.709 * * * * [misc]points: Setting MPFR precision to 576 1536748407.718 * * * * [misc]points: Filtering points with unrepresentable outputs 1536748407.718 * * * * [misc]points: Sampling 95 additional inputs, on iter 4 have 7905 / 8000 1536748407.718 * * * * [misc]points: Computing exacts on every 5 of 95 points to ramp up precision 1536748407.720 * * * * [misc]points: Setting MPFR precision to 320 1536748407.720 * * * * [misc]points: Setting MPFR precision to 576 1536748407.721 * * * * [misc]points: Computing exacts on every 2 of 95 points to ramp up precision 1536748407.722 * * * * [misc]points: Setting MPFR precision to 320 1536748407.723 * * * * [misc]points: Setting MPFR precision to 576 1536748407.724 * * * * [misc]points: Computing exacts for 95 points 1536748407.725 * * * * [misc]points: Setting MPFR precision to 320 1536748407.727 * * * * [misc]points: Setting MPFR precision to 576 1536748407.730 * * * * [misc]points: Filtering points with unrepresentable outputs 1536748407.730 * * * * [misc]points: Sampling 23 additional inputs, on iter 5 have 7977 / 8000 1536748407.730 * * * * [misc]points: Computing exacts for 23 points 1536748407.731 * * * * [misc]points: Setting MPFR precision to 320 1536748407.732 * * * * [misc]points: Setting MPFR precision to 576 1536748407.732 * * * * [misc]points: Filtering points with unrepresentable outputs 1536748407.733 * * * * [misc]points: Sampling 6 additional inputs, on iter 6 have 7994 / 8000 1536748407.733 * * * * [misc]points: Computing exacts for 6 points 1536748407.734 * * * * [misc]points: Setting MPFR precision to 320 1536748407.734 * * * * [misc]points: Setting MPFR precision to 576 1536748407.734 * * * * [misc]points: Filtering points with unrepresentable outputs 1536748407.734 * * * * [misc]points: Sampling 4 additional inputs, on iter 7 have 7997 / 8000 1536748407.734 * * * * [misc]points: Computing exacts for 4 points 1536748407.735 * * * * [misc]points: Setting MPFR precision to 320 1536748407.735 * * * * [misc]points: Setting MPFR precision to 576 1536748407.735 * * * * [misc]points: Filtering points with unrepresentable outputs 1536748407.736 * * * * [misc]points: Sampling 4 additional inputs, on iter 8 have 7999 / 8000 1536748407.736 * * * * [misc]points: Computing exacts for 4 points 1536748407.736 * * * * [misc]points: Setting MPFR precision to 320 1536748407.737 * * * * [misc]points: Setting MPFR precision to 576 1536748407.737 * * * * [misc]points: Filtering points with unrepresentable outputs 1536748407.737 * * * * [exit]points: Sampled 8002 points with exact outputs