1539424478.461 * [misc]progress: [Phase 1 of 3] Setting up. 1539424478.461 * * * [misc]progress: [1/2] Preparing points 1539424478.461 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1539424478.463 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1539424478.464 * * * * [misc]points: Setting MPFR precision to 64 1539424478.466 * * * * [misc]points: Setting MPFR precision to 320 1539424478.466 * * * * [misc]points: Setting MPFR precision to 576 1539424478.467 * * * * [misc]points: Setting MPFR precision to 832 1539424478.468 * * * * [misc]points: Setting MPFR precision to 1088 1539424478.469 * * * * [misc]points: Setting MPFR precision to 1344 1539424478.470 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1539424478.473 * * * * [misc]points: Setting MPFR precision to 1088 1539424478.475 * * * * [misc]points: Setting MPFR precision to 1344 1539424478.477 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1539424478.480 * * * * [misc]points: Setting MPFR precision to 1088 1539424478.483 * * * * [misc]points: Setting MPFR precision to 1344 1539424478.486 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1539424478.490 * * * * [misc]points: Setting MPFR precision to 1088 1539424478.494 * * * * [misc]points: Setting MPFR precision to 1344 1539424478.498 * * * * [misc]points: Computing exacts for 256 points 1539424478.499 * * * * [misc]points: Setting MPFR precision to 1088 1539424478.508 * * * * [misc]points: Setting MPFR precision to 1344 1539424478.518 * * * * [misc]points: Filtering points with unrepresentable outputs 1539424478.518 * * * * [misc]points: Sampling 92 additional inputs, on iter 1 have 164 / 256 1539424478.518 * * * * [misc]points: Computing exacts on every 5 of 92 points to ramp up precision 1539424478.525 * * * * [misc]points: Setting MPFR precision to 1088 1539424478.526 * * * * [misc]points: Setting MPFR precision to 1344 1539424478.526 * * * * [misc]points: Computing exacts on every 2 of 92 points to ramp up precision 1539424478.528 * * * * [misc]points: Setting MPFR precision to 1088 1539424478.529 * * * * [misc]points: Setting MPFR precision to 1344 1539424478.530 * * * * [misc]points: Computing exacts for 92 points 1539424478.532 * * * * [misc]points: Setting MPFR precision to 1088 1539424478.535 * * * * [misc]points: Setting MPFR precision to 1344 1539424478.539 * * * * [misc]points: Filtering points with unrepresentable outputs 1539424478.539 * * * * [misc]points: Sampling 27 additional inputs, on iter 2 have 229 / 256 1539424478.539 * * * * [misc]points: Computing exacts for 27 points 1539424478.541 * * * * [misc]points: Setting MPFR precision to 1088 1539424478.542 * * * * [misc]points: Setting MPFR precision to 1344 1539424478.543 * * * * [misc]points: Filtering points with unrepresentable outputs 1539424478.543 * * * * [misc]points: Sampling 9 additional inputs, on iter 3 have 247 / 256 1539424478.543 * * * * [misc]points: Computing exacts for 9 points 1539424478.546 * * * * [misc]points: Setting MPFR precision to 1088 1539424478.546 * * * * [misc]points: Setting MPFR precision to 1344 1539424478.547 * * * * [misc]points: Filtering points with unrepresentable outputs 1539424478.547 * * * * [misc]points: Sampling 4 additional inputs, on iter 4 have 254 / 256 1539424478.547 * * * * [misc]points: Computing exacts for 4 points 1539424478.550 * * * * [misc]points: Setting MPFR precision to 1088 1539424478.550 * * * * [misc]points: Setting MPFR precision to 1344 1539424478.551 * * * * [misc]points: Filtering points with unrepresentable outputs 1539424478.551 * * * * [misc]points: Sampling 4 additional inputs, on iter 5 have 255 / 256 1539424478.551 * * * * [misc]points: Computing exacts for 4 points 1539424478.554 * * * * [misc]points: Setting MPFR precision to 1088 1539424478.554 * * * * [misc]points: Setting MPFR precision to 1344 1539424478.554 * * * * [misc]points: Filtering points with unrepresentable outputs 1539424478.554 * * * * [exit]points: Sampled 257 points with exact outputs 1539424478.554 * * * [misc]progress: [2/2] Setting up program. 1539424478.558 * [misc]progress: [Phase 2 of 3] Improving. 1539424478.558 * [enter]simplify: Simplifying (- (exp x) 1) 1539424478.558 * * [misc]simplify: iters left: 3 (4 enodes) 1539424478.560 * * [misc]simplify: iters left: 2 (10 enodes) 1539424478.562 * [exit]simplify: Simplified to (expm1 x) 1539424478.572 * * [misc]progress: iteration 1 / 4 1539424478.572 * * * [misc]progress: picking best candidate 1539424478.575 * * * * [misc]pick: Picked # 1539424478.576 * * * [misc]progress: localizing error 1539424478.644 * * * [misc]progress: generating rewritten candidates 1539424478.645 * * * [misc]progress: generating series expansions 1539424478.645 * * * [misc]progress: simplifying candidates 1539424478.645 * * * [misc]progress: adding candidates to table 1539424478.645 * [misc]progress: [Phase 3 of 3] Extracting. 1539424478.647 * [enter]simplify: Simplifying (expm1 x) 1539424478.647 * * [misc]simplify: iters left: 1 (2 enodes) 1539424478.647 * [exit]simplify: Simplified to (expm1 x) 1539424478.647 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1539424478.666 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1539424478.674 * * * * [misc]points: Setting MPFR precision to 1088 1539424478.675 * * * * [misc]points: Setting MPFR precision to 1344 1539424478.676 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1539424478.677 * * * * [misc]points: Setting MPFR precision to 1088 1539424478.679 * * * * [misc]points: Setting MPFR precision to 1344 1539424478.681 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1539424478.684 * * * * [misc]points: Setting MPFR precision to 1088 1539424478.689 * * * * [misc]points: Setting MPFR precision to 1344 1539424478.693 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1539424478.696 * * * * [misc]points: Setting MPFR precision to 1088 1539424478.701 * * * * [misc]points: Setting MPFR precision to 1344 1539424478.705 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1539424478.707 * * * * [misc]points: Setting MPFR precision to 1088 1539424478.716 * * * * [misc]points: Setting MPFR precision to 1344 1539424478.724 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1539424478.726 * * * * [misc]points: Setting MPFR precision to 1088 1539424478.758 * * * * [misc]points: Setting MPFR precision to 1344 1539424478.783 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1539424478.785 * * * * [misc]points: Setting MPFR precision to 1088 1539424478.829 * * * * [misc]points: Setting MPFR precision to 1344 1539424478.868 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1539424478.901 * * * * [misc]points: Setting MPFR precision to 1088 1539424479.030 * * * * [misc]points: Setting MPFR precision to 1344 1539424479.147 * * * * [misc]points: Computing exacts for 8000 points 1539424479.150 * * * * [misc]points: Setting MPFR precision to 1088 1539424479.731 * * * * [misc]points: Setting MPFR precision to 1344 1539424480.133 * * * * [misc]points: Filtering points with unrepresentable outputs 1539424480.135 * * * * [misc]points: Sampling 2639 additional inputs, on iter 1 have 5361 / 8000 1539424480.141 * * * * [misc]points: Computing exacts on every 164 of 2639 points to ramp up precision 1539424480.143 * * * * [misc]points: Setting MPFR precision to 1088 1539424480.144 * * * * [misc]points: Setting MPFR precision to 1344 1539424480.144 * * * * [misc]points: Computing exacts on every 82 of 2639 points to ramp up precision 1539424480.165 * * * * [misc]points: Setting MPFR precision to 1088 1539424480.166 * * * * [misc]points: Setting MPFR precision to 1344 1539424480.168 * * * * [misc]points: Computing exacts on every 41 of 2639 points to ramp up precision 1539424480.169 * * * * [misc]points: Setting MPFR precision to 1088 1539424480.172 * * * * [misc]points: Setting MPFR precision to 1344 1539424480.176 * * * * [misc]points: Computing exacts on every 20 of 2639 points to ramp up precision 1539424480.177 * * * * [misc]points: Setting MPFR precision to 1088 1539424480.182 * * * * [misc]points: Setting MPFR precision to 1344 1539424480.187 * * * * [misc]points: Computing exacts on every 10 of 2639 points to ramp up precision 1539424480.189 * * * * [misc]points: Setting MPFR precision to 1088 1539424480.197 * * * * [misc]points: Setting MPFR precision to 1344 1539424480.206 * * * * [misc]points: Computing exacts on every 5 of 2639 points to ramp up precision 1539424480.207 * * * * [misc]points: Setting MPFR precision to 1088 1539424480.228 * * * * [misc]points: Setting MPFR precision to 1344 1539424480.245 * * * * [misc]points: Computing exacts on every 2 of 2639 points to ramp up precision 1539424480.247 * * * * [misc]points: Setting MPFR precision to 1088 1539424480.287 * * * * [misc]points: Setting MPFR precision to 1344 1539424480.321 * * * * [misc]points: Computing exacts for 2639 points 1539424480.323 * * * * [misc]points: Setting MPFR precision to 1088 1539424480.512 * * * * [misc]points: Setting MPFR precision to 1344 1539424480.689 * * * * [misc]points: Filtering points with unrepresentable outputs 1539424480.689 * * * * [misc]points: Sampling 877 additional inputs, on iter 2 have 7123 / 8000 1539424480.691 * * * * [misc]points: Computing exacts on every 54 of 877 points to ramp up precision 1539424480.693 * * * * [misc]points: Setting MPFR precision to 1088 1539424480.694 * * * * [misc]points: Setting MPFR precision to 1344 1539424480.694 * * * * [misc]points: Computing exacts on every 27 of 877 points to ramp up precision 1539424480.696 * * * * [misc]points: Setting MPFR precision to 1088 1539424480.697 * * * * [misc]points: Setting MPFR precision to 1344 1539424480.698 * * * * [misc]points: Computing exacts on every 13 of 877 points to ramp up precision 1539424480.727 * * * * [misc]points: Setting MPFR precision to 1088 1539424480.731 * * * * [misc]points: Setting MPFR precision to 1344 1539424480.735 * * * * [misc]points: Computing exacts on every 6 of 877 points to ramp up precision 1539424480.741 * * * * [misc]points: Setting MPFR precision to 1088 1539424480.749 * * * * [misc]points: Setting MPFR precision to 1344 1539424480.757 * * * * [misc]points: Computing exacts on every 3 of 877 points to ramp up precision 1539424480.758 * * * * [misc]points: Setting MPFR precision to 1088 1539424480.766 * * * * [misc]points: Setting MPFR precision to 1344 1539424480.773 * * * * [misc]points: Computing exacts for 877 points 1539424480.775 * * * * [misc]points: Setting MPFR precision to 1088 1539424480.821 * * * * [misc]points: Setting MPFR precision to 1344 1539424480.857 * * * * [misc]points: Filtering points with unrepresentable outputs 1539424480.858 * * * * [misc]points: Sampling 306 additional inputs, on iter 3 have 7694 / 8000 1539424480.859 * * * * [misc]points: Computing exacts on every 19 of 306 points to ramp up precision 1539424480.862 * * * * [misc]points: Setting MPFR precision to 1088 1539424480.864 * * * * [misc]points: Setting MPFR precision to 1344 1539424480.865 * * * * [misc]points: Computing exacts on every 9 of 306 points to ramp up precision 1539424480.868 * * * * [misc]points: Setting MPFR precision to 1088 1539424480.871 * * * * [misc]points: Setting MPFR precision to 1344 1539424480.873 * * * * [misc]points: Computing exacts on every 4 of 306 points to ramp up precision 1539424480.877 * * * * [misc]points: Setting MPFR precision to 1088 1539424480.881 * * * * [misc]points: Setting MPFR precision to 1344 1539424480.885 * * * * [misc]points: Computing exacts on every 2 of 306 points to ramp up precision 1539424480.889 * * * * [misc]points: Setting MPFR precision to 1088 1539424480.896 * * * * [misc]points: Setting MPFR precision to 1344 1539424480.903 * * * * [misc]points: Computing exacts for 306 points 1539424480.907 * * * * [misc]points: Setting MPFR precision to 1088 1539424480.927 * * * * [misc]points: Setting MPFR precision to 1344 1539424480.972 * * * * [misc]points: Filtering points with unrepresentable outputs 1539424480.972 * * * * [misc]points: Sampling 102 additional inputs, on iter 4 have 7898 / 8000 1539424480.973 * * * * [misc]points: Computing exacts on every 6 of 102 points to ramp up precision 1539424480.976 * * * * [misc]points: Setting MPFR precision to 1088 1539424480.977 * * * * [misc]points: Setting MPFR precision to 1344 1539424480.978 * * * * [misc]points: Computing exacts on every 3 of 102 points to ramp up precision 1539424480.984 * * * * [misc]points: Setting MPFR precision to 1088 1539424480.985 * * * * [misc]points: Setting MPFR precision to 1344 1539424480.987 * * * * [misc]points: Computing exacts for 102 points 1539424480.990 * * * * [misc]points: Setting MPFR precision to 1088 1539424480.997 * * * * [misc]points: Setting MPFR precision to 1344 1539424481.004 * * * * [misc]points: Filtering points with unrepresentable outputs 1539424481.004 * * * * [misc]points: Sampling 35 additional inputs, on iter 5 have 7965 / 8000 1539424481.004 * * * * [misc]points: Computing exacts on every 2 of 35 points to ramp up precision 1539424481.007 * * * * [misc]points: Setting MPFR precision to 1088 1539424481.008 * * * * [misc]points: Setting MPFR precision to 1344 1539424481.009 * * * * [misc]points: Computing exacts for 35 points 1539424481.012 * * * * [misc]points: Setting MPFR precision to 1088 1539424481.015 * * * * [misc]points: Setting MPFR precision to 1344 1539424481.017 * * * * [misc]points: Filtering points with unrepresentable outputs 1539424481.017 * * * * [misc]points: Sampling 12 additional inputs, on iter 6 have 7988 / 8000 1539424481.018 * * * * [misc]points: Computing exacts for 12 points 1539424481.021 * * * * [misc]points: Setting MPFR precision to 1088 1539424481.022 * * * * [misc]points: Setting MPFR precision to 1344 1539424481.023 * * * * [misc]points: Filtering points with unrepresentable outputs 1539424481.023 * * * * [misc]points: Sampling 4 additional inputs, on iter 7 have 7996 / 8000 1539424481.023 * * * * [misc]points: Computing exacts for 4 points 1539424481.026 * * * * [misc]points: Setting MPFR precision to 1088 1539424481.026 * * * * [misc]points: Setting MPFR precision to 1344 1539424481.026 * * * * [misc]points: Filtering points with unrepresentable outputs 1539424481.026 * * * * [misc]points: Sampling 4 additional inputs, on iter 8 have 7997 / 8000 1539424481.026 * * * * [misc]points: Computing exacts for 4 points 1539424481.029 * * * * [misc]points: Setting MPFR precision to 1088 1539424481.030 * * * * [misc]points: Setting MPFR precision to 1344 1539424481.030 * * * * [misc]points: Filtering points with unrepresentable outputs 1539424481.030 * * * * [exit]points: Sampled 8000 points with exact outputs 1539424481.226 * [misc]regime-testing: Baseline error score: 0.00025 1539424481.226 * [misc]regime-testing: End program error score: 0.00025 1539424481.228 * [misc]regime-testing: Oracle error score: 0.00025 1539424481.270 * [misc]regime-testing: Target error score: 0.5268431314542523