1544091248.485 * [misc]progress: [Phase 1 of 3] Setting up. 1544091248.485 * * * [misc]progress: [1/2] Preparing points 1544091248.485 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1544091248.486 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1544091248.487 * * * * [misc]points: Setting MPFR precision to 64 1544091248.487 * * * * [misc]points: Setting MPFR precision to 320 1544091248.488 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1544091248.488 * * * * [misc]points: Setting MPFR precision to 64 1544091248.489 * * * * [misc]points: Setting MPFR precision to 320 1544091248.490 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1544091248.490 * * * * [misc]points: Setting MPFR precision to 64 1544091248.492 * * * * [misc]points: Setting MPFR precision to 320 1544091248.493 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1544091248.494 * * * * [misc]points: Setting MPFR precision to 64 1544091248.496 * * * * [misc]points: Setting MPFR precision to 320 1544091248.498 * * * * [misc]points: Computing exacts for 256 points 1544091248.498 * * * * [misc]points: Setting MPFR precision to 64 1544091248.504 * * * * [misc]points: Setting MPFR precision to 320 1544091248.515 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091248.515 * * * * [misc]points: Sampling 77 additional inputs, on iter 1 have 179 / 256 1544091248.515 * * * * [misc]points: Computing exacts on every 4 of 77 points to ramp up precision 1544091248.516 * * * * [misc]points: Setting MPFR precision to 64 1544091248.517 * * * * [misc]points: Setting MPFR precision to 320 1544091248.517 * * * * [misc]points: Computing exacts on every 2 of 77 points to ramp up precision 1544091248.518 * * * * [misc]points: Setting MPFR precision to 64 1544091248.518 * * * * [misc]points: Setting MPFR precision to 320 1544091248.519 * * * * [misc]points: Computing exacts for 77 points 1544091248.520 * * * * [misc]points: Setting MPFR precision to 64 1544091248.522 * * * * [misc]points: Setting MPFR precision to 320 1544091248.524 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091248.524 * * * * [misc]points: Sampling 24 additional inputs, on iter 2 have 232 / 256 1544091248.524 * * * * [misc]points: Computing exacts for 24 points 1544091248.525 * * * * [misc]points: Setting MPFR precision to 64 1544091248.525 * * * * [misc]points: Setting MPFR precision to 320 1544091248.526 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091248.526 * * * * [misc]points: Sampling 5 additional inputs, on iter 3 have 251 / 256 1544091248.526 * * * * [misc]points: Computing exacts for 5 points 1544091248.527 * * * * [misc]points: Setting MPFR precision to 64 1544091248.527 * * * * [misc]points: Setting MPFR precision to 320 1544091248.527 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091248.527 * * * * [misc]points: Sampling 4 additional inputs, on iter 4 have 253 / 256 1544091248.527 * * * * [misc]points: Computing exacts for 4 points 1544091248.528 * * * * [misc]points: Setting MPFR precision to 64 1544091248.528 * * * * [misc]points: Setting MPFR precision to 320 1544091248.529 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091248.529 * * * * [misc]points: Sampling 4 additional inputs, on iter 5 have 254 / 256 1544091248.529 * * * * [misc]points: Computing exacts for 4 points 1544091248.529 * * * * [misc]points: Setting MPFR precision to 64 1544091248.530 * * * * [misc]points: Setting MPFR precision to 320 1544091248.530 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091248.530 * * * * [exit]points: Sampled 257 points with exact outputs 1544091248.530 * * * [misc]progress: [2/2] Setting up program. 1544091248.533 * [misc]progress: [Phase 2 of 3] Improving. 1544091248.533 * [enter]simplify: Simplifying (* (* x x) x) 1544091248.533 * * [misc]simplify: iters left: 4 (3 enodes) 1544091248.534 * * [misc]simplify: iters left: 3 (4 enodes) 1544091248.536 * * [misc]simplify: iters left: 2 (6 enodes) 1544091248.538 * [exit]simplify: Simplified to (pow x 3) 1544091248.546 * * [misc]progress: iteration 1 / 4 1544091248.546 * * * [misc]progress: picking best candidate 1544091248.549 * * * * [misc]pick: Picked # 1544091248.549 * * * [misc]progress: localizing error 1544091248.557 * * * [misc]progress: generating rewritten candidates 1544091248.557 * * * [misc]progress: generating series expansions 1544091248.557 * * * [misc]progress: simplifying candidates 1544091248.557 * * * [misc]progress: adding candidates to table 1544091248.557 * [misc]progress: [Phase 3 of 3] Extracting. 1544091248.560 * [enter]simplify: Simplifying (pow x 3) 1544091248.560 * * [misc]simplify: iters left: 1 (3 enodes) 1544091248.561 * [exit]simplify: Simplified to (pow x 3) 1544091248.561 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1544091248.597 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1544091248.598 * * * * [misc]points: Setting MPFR precision to 64 1544091248.598 * * * * [misc]points: Setting MPFR precision to 320 1544091248.599 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1544091248.599 * * * * [misc]points: Setting MPFR precision to 64 1544091248.600 * * * * [misc]points: Setting MPFR precision to 320 1544091248.601 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1544091248.602 * * * * [misc]points: Setting MPFR precision to 64 1544091248.603 * * * * [misc]points: Setting MPFR precision to 320 1544091248.604 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1544091248.605 * * * * [misc]points: Setting MPFR precision to 64 1544091248.608 * * * * [misc]points: Setting MPFR precision to 320 1544091248.610 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1544091248.612 * * * * [misc]points: Setting MPFR precision to 64 1544091248.617 * * * * [misc]points: Setting MPFR precision to 320 1544091248.623 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1544091248.624 * * * * [misc]points: Setting MPFR precision to 64 1544091248.634 * * * * [misc]points: Setting MPFR precision to 320 1544091248.661 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1544091248.662 * * * * [misc]points: Setting MPFR precision to 64 1544091248.686 * * * * [misc]points: Setting MPFR precision to 320 1544091248.703 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1544091248.704 * * * * [misc]points: Setting MPFR precision to 64 1544091248.723 * * * * [misc]points: Setting MPFR precision to 320 1544091248.754 * * * * [misc]points: Computing exacts for 8000 points 1544091248.755 * * * * [misc]points: Setting MPFR precision to 64 1544091248.952 * * * * [misc]points: Setting MPFR precision to 320 1544091249.574 * * * * [misc]points: Setting MPFR precision to 576 1544091249.743 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091249.745 * * * * [misc]points: Sampling 2682 additional inputs, on iter 1 have 5318 / 8000 1544091249.756 * * * * [misc]points: Computing exacts on every 167 of 2682 points to ramp up precision 1544091249.757 * * * * [misc]points: Setting MPFR precision to 320 1544091249.757 * * * * [misc]points: Setting MPFR precision to 576 1544091249.758 * * * * [misc]points: Computing exacts on every 83 of 2682 points to ramp up precision 1544091249.758 * * * * [misc]points: Setting MPFR precision to 320 1544091249.759 * * * * [misc]points: Setting MPFR precision to 576 1544091249.759 * * * * [misc]points: Computing exacts on every 41 of 2682 points to ramp up precision 1544091249.759 * * * * [misc]points: Setting MPFR precision to 320 1544091249.760 * * * * [misc]points: Setting MPFR precision to 576 1544091249.761 * * * * [misc]points: Computing exacts on every 20 of 2682 points to ramp up precision 1544091249.761 * * * * [misc]points: Setting MPFR precision to 320 1544091249.763 * * * * [misc]points: Setting MPFR precision to 576 1544091249.764 * * * * [misc]points: Computing exacts on every 10 of 2682 points to ramp up precision 1544091249.765 * * * * [misc]points: Setting MPFR precision to 320 1544091249.767 * * * * [misc]points: Setting MPFR precision to 576 1544091249.770 * * * * [misc]points: Computing exacts on every 5 of 2682 points to ramp up precision 1544091249.770 * * * * [misc]points: Setting MPFR precision to 320 1544091249.775 * * * * [misc]points: Setting MPFR precision to 576 1544091249.799 * * * * [misc]points: Computing exacts on every 2 of 2682 points to ramp up precision 1544091249.800 * * * * [misc]points: Setting MPFR precision to 320 1544091249.810 * * * * [misc]points: Setting MPFR precision to 576 1544091249.819 * * * * [misc]points: Computing exacts for 2682 points 1544091249.820 * * * * [misc]points: Setting MPFR precision to 320 1544091249.867 * * * * [misc]points: Setting MPFR precision to 576 1544091249.933 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091249.934 * * * * [misc]points: Sampling 863 additional inputs, on iter 2 have 7137 / 8000 1544091249.935 * * * * [misc]points: Computing exacts on every 53 of 863 points to ramp up precision 1544091249.936 * * * * [misc]points: Setting MPFR precision to 320 1544091249.938 * * * * [misc]points: Setting MPFR precision to 576 1544091249.939 * * * * [misc]points: Computing exacts on every 26 of 863 points to ramp up precision 1544091249.939 * * * * [misc]points: Setting MPFR precision to 320 1544091249.940 * * * * [misc]points: Setting MPFR precision to 576 1544091249.940 * * * * [misc]points: Computing exacts on every 13 of 863 points to ramp up precision 1544091249.940 * * * * [misc]points: Setting MPFR precision to 320 1544091249.941 * * * * [misc]points: Setting MPFR precision to 576 1544091249.942 * * * * [misc]points: Computing exacts on every 6 of 863 points to ramp up precision 1544091249.942 * * * * [misc]points: Setting MPFR precision to 320 1544091249.944 * * * * [misc]points: Setting MPFR precision to 576 1544091249.945 * * * * [misc]points: Computing exacts on every 3 of 863 points to ramp up precision 1544091249.946 * * * * [misc]points: Setting MPFR precision to 320 1544091249.948 * * * * [misc]points: Setting MPFR precision to 576 1544091249.950 * * * * [misc]points: Computing exacts for 863 points 1544091249.951 * * * * [misc]points: Setting MPFR precision to 320 1544091249.963 * * * * [misc]points: Setting MPFR precision to 576 1544091249.982 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091249.982 * * * * [misc]points: Sampling 278 additional inputs, on iter 3 have 7722 / 8000 1544091249.984 * * * * [misc]points: Computing exacts on every 17 of 278 points to ramp up precision 1544091249.985 * * * * [misc]points: Setting MPFR precision to 320 1544091249.985 * * * * [misc]points: Setting MPFR precision to 576 1544091249.986 * * * * [misc]points: Computing exacts on every 8 of 278 points to ramp up precision 1544091249.987 * * * * [misc]points: Setting MPFR precision to 320 1544091249.987 * * * * [misc]points: Setting MPFR precision to 576 1544091249.988 * * * * [misc]points: Computing exacts on every 4 of 278 points to ramp up precision 1544091249.989 * * * * [misc]points: Setting MPFR precision to 320 1544091249.990 * * * * [misc]points: Setting MPFR precision to 576 1544091249.991 * * * * [misc]points: Computing exacts on every 2 of 278 points to ramp up precision 1544091249.992 * * * * [misc]points: Setting MPFR precision to 320 1544091249.994 * * * * [misc]points: Setting MPFR precision to 576 1544091249.996 * * * * [misc]points: Computing exacts for 278 points 1544091249.997 * * * * [misc]points: Setting MPFR precision to 320 1544091250.003 * * * * [misc]points: Setting MPFR precision to 576 1544091250.010 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091250.010 * * * * [misc]points: Sampling 104 additional inputs, on iter 4 have 7896 / 8000 1544091250.010 * * * * [misc]points: Computing exacts on every 6 of 104 points to ramp up precision 1544091250.011 * * * * [misc]points: Setting MPFR precision to 320 1544091250.012 * * * * [misc]points: Setting MPFR precision to 576 1544091250.012 * * * * [misc]points: Computing exacts on every 3 of 104 points to ramp up precision 1544091250.012 * * * * [misc]points: Setting MPFR precision to 320 1544091250.013 * * * * [misc]points: Setting MPFR precision to 576 1544091250.013 * * * * [misc]points: Computing exacts for 104 points 1544091250.013 * * * * [misc]points: Setting MPFR precision to 320 1544091250.015 * * * * [misc]points: Setting MPFR precision to 576 1544091250.016 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091250.016 * * * * [misc]points: Sampling 31 additional inputs, on iter 5 have 7969 / 8000 1544091250.016 * * * * [misc]points: Computing exacts for 31 points 1544091250.016 * * * * [misc]points: Setting MPFR precision to 320 1544091250.017 * * * * [misc]points: Setting MPFR precision to 576 1544091250.017 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091250.017 * * * * [misc]points: Sampling 7 additional inputs, on iter 6 have 7993 / 8000 1544091250.017 * * * * [misc]points: Computing exacts for 7 points 1544091250.018 * * * * [misc]points: Setting MPFR precision to 320 1544091250.018 * * * * [misc]points: Setting MPFR precision to 576 1544091250.018 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091250.018 * * * * [misc]points: Sampling 4 additional inputs, on iter 7 have 7997 / 8000 1544091250.018 * * * * [misc]points: Computing exacts for 4 points 1544091250.019 * * * * [misc]points: Setting MPFR precision to 320 1544091250.019 * * * * [misc]points: Setting MPFR precision to 576 1544091250.019 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091250.019 * * * * [exit]points: Sampled 8000 points with exact outputs 1544091250.219 * [misc]regime-testing: Baseline error score: 0 1544091250.219 * [misc]regime-testing: End program error score: 0 1544091250.221 * [misc]regime-testing: Oracle error score: 0 1544091250.298 * [misc]regime-testing: Target error score: 0