1536752250.821 * [misc]progress: [Phase 1 of 3] Setting up. 1536752250.821 * * * [misc]progress: [1/2] Preparing points 1536752250.821 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1536752250.822 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1536752250.824 * * * * [misc]points: Setting MPFR precision to 64 1536752250.825 * * * * [misc]points: Setting MPFR precision to 320 1536752250.826 * * * * [misc]points: Setting MPFR precision to 576 1536752250.826 * * * * [misc]points: Setting MPFR precision to 832 1536752250.827 * * * * [misc]points: Setting MPFR precision to 1088 1536752250.828 * * * * [misc]points: Setting MPFR precision to 1344 1536752250.829 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1536752250.832 * * * * [misc]points: Setting MPFR precision to 1088 1536752250.835 * * * * [misc]points: Setting MPFR precision to 1344 1536752250.838 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1536752250.840 * * * * [misc]points: Setting MPFR precision to 1088 1536752250.842 * * * * [misc]points: Setting MPFR precision to 1344 1536752250.844 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1536752250.846 * * * * [misc]points: Setting MPFR precision to 1088 1536752250.849 * * * * [misc]points: Setting MPFR precision to 1344 1536752250.853 * * * * [misc]points: Computing exacts for 256 points 1536752250.855 * * * * [misc]points: Setting MPFR precision to 1088 1536752250.865 * * * * [misc]points: Setting MPFR precision to 1344 1536752250.882 * * * * [misc]points: Filtering points with unrepresentable outputs 1536752250.883 * * * * [misc]points: Sampling 86 additional inputs, on iter 1 have 170 / 256 1536752250.883 * * * * [misc]points: Computing exacts on every 5 of 86 points to ramp up precision 1536752250.885 * * * * [misc]points: Setting MPFR precision to 1088 1536752250.886 * * * * [misc]points: Setting MPFR precision to 1344 1536752250.886 * * * * [misc]points: Computing exacts on every 2 of 86 points to ramp up precision 1536752250.888 * * * * [misc]points: Setting MPFR precision to 1088 1536752250.889 * * * * [misc]points: Setting MPFR precision to 1344 1536752250.890 * * * * [misc]points: Computing exacts for 86 points 1536752250.892 * * * * [misc]points: Setting MPFR precision to 1088 1536752250.896 * * * * [misc]points: Setting MPFR precision to 1344 1536752250.900 * * * * [misc]points: Filtering points with unrepresentable outputs 1536752250.900 * * * * [misc]points: Sampling 26 additional inputs, on iter 2 have 230 / 256 1536752250.900 * * * * [misc]points: Computing exacts for 26 points 1536752250.902 * * * * [misc]points: Setting MPFR precision to 1088 1536752250.903 * * * * [misc]points: Setting MPFR precision to 1344 1536752250.904 * * * * [misc]points: Filtering points with unrepresentable outputs 1536752250.904 * * * * [misc]points: Sampling 9 additional inputs, on iter 3 have 247 / 256 1536752250.904 * * * * [misc]points: Computing exacts for 9 points 1536752250.906 * * * * [misc]points: Setting MPFR precision to 1088 1536752250.906 * * * * [misc]points: Setting MPFR precision to 1344 1536752250.907 * * * * [misc]points: Filtering points with unrepresentable outputs 1536752250.907 * * * * [misc]points: Sampling 4 additional inputs, on iter 4 have 253 / 256 1536752250.907 * * * * [misc]points: Computing exacts for 4 points 1536752250.909 * * * * [misc]points: Setting MPFR precision to 1088 1536752250.909 * * * * [misc]points: Setting MPFR precision to 1344 1536752250.909 * * * * [misc]points: Filtering points with unrepresentable outputs 1536752250.909 * * * * [exit]points: Sampled 256 points with exact outputs 1536752250.909 * * * [misc]progress: [2/2] Setting up program. 1536752250.911 * [misc]progress: [Phase 2 of 3] Improving. 1536752250.912 * [enter]simplify: Simplifying (- (exp x) 1) 1536752250.920 * * [misc]simplify: iters left: 3 (4 enodes) 1536752250.921 * * [misc]simplify: iters left: 2 (10 enodes) 1536752250.923 * [exit]simplify: Simplified to (expm1 x) 1536752250.928 * * [misc]progress: iteration 1 / 4 1536752250.929 * * * [misc]progress: picking best candidate 1536752250.930 * * * * [misc]pick: Picked # 1536752250.930 * * * [misc]progress: localizing error 1536752250.981 * * * [misc]progress: generating rewritten candidates 1536752250.981 * * * [misc]progress: generating series expansions 1536752250.981 * * * [misc]progress: simplifying candidates 1536752250.981 * * * [misc]progress: adding candidates to table 1536752250.981 * [misc]progress: [Phase 3 of 3] Extracting. 1536752250.985 * [enter]simplify: Simplifying (expm1 x) 1536752250.985 * * [misc]simplify: iters left: 1 (2 enodes) 1536752250.986 * [exit]simplify: Simplified to (expm1 x) 1536752250.986 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1536752251.022 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1536752251.026 * * * * [misc]points: Setting MPFR precision to 1088 1536752251.027 * * * * [misc]points: Setting MPFR precision to 1344 1536752251.028 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1536752251.031 * * * * [misc]points: Setting MPFR precision to 1088 1536752251.034 * * * * [misc]points: Setting MPFR precision to 1344 1536752251.036 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1536752251.040 * * * * [misc]points: Setting MPFR precision to 1088 1536752251.046 * * * * [misc]points: Setting MPFR precision to 1344 1536752251.052 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1536752251.056 * * * * [misc]points: Setting MPFR precision to 1088 1536752251.067 * * * * [misc]points: Setting MPFR precision to 1344 1536752251.077 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1536752251.079 * * * * [misc]points: Setting MPFR precision to 1088 1536752251.089 * * * * [misc]points: Setting MPFR precision to 1344 1536752251.099 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1536752251.110 * * * * [misc]points: Setting MPFR precision to 1088 1536752251.132 * * * * [misc]points: Setting MPFR precision to 1344 1536752251.152 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1536752251.154 * * * * [misc]points: Setting MPFR precision to 1088 1536752251.196 * * * * [misc]points: Setting MPFR precision to 1344 1536752251.236 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1536752251.238 * * * * [misc]points: Setting MPFR precision to 1088 1536752251.378 * * * * [misc]points: Setting MPFR precision to 1344 1536752251.539 * * * * [misc]points: Computing exacts for 8000 points 1536752251.542 * * * * [misc]points: Setting MPFR precision to 1088 1536752252.054 * * * * [misc]points: Setting MPFR precision to 1344 1536752252.515 * * * * [misc]points: Filtering points with unrepresentable outputs 1536752252.517 * * * * [misc]points: Sampling 2664 additional inputs, on iter 1 have 5336 / 8000 1536752252.526 * * * * [misc]points: Computing exacts on every 166 of 2664 points to ramp up precision 1536752252.528 * * * * [misc]points: Setting MPFR precision to 1088 1536752252.529 * * * * [misc]points: Setting MPFR precision to 1344 1536752252.529 * * * * [misc]points: Computing exacts on every 83 of 2664 points to ramp up precision 1536752252.531 * * * * [misc]points: Setting MPFR precision to 1088 1536752252.532 * * * * [misc]points: Setting MPFR precision to 1344 1536752252.533 * * * * [misc]points: Computing exacts on every 41 of 2664 points to ramp up precision 1536752252.559 * * * * [misc]points: Setting MPFR precision to 1088 1536752252.564 * * * * [misc]points: Setting MPFR precision to 1344 1536752252.570 * * * * [misc]points: Computing exacts on every 20 of 2664 points to ramp up precision 1536752252.573 * * * * [misc]points: Setting MPFR precision to 1088 1536752252.582 * * * * [misc]points: Setting MPFR precision to 1344 1536752252.591 * * * * [misc]points: Computing exacts on every 10 of 2664 points to ramp up precision 1536752252.594 * * * * [misc]points: Setting MPFR precision to 1088 1536752252.614 * * * * [misc]points: Setting MPFR precision to 1344 1536752252.634 * * * * [misc]points: Computing exacts on every 5 of 2664 points to ramp up precision 1536752252.637 * * * * [misc]points: Setting MPFR precision to 1088 1536752252.676 * * * * [misc]points: Setting MPFR precision to 1344 1536752252.702 * * * * [misc]points: Computing exacts on every 2 of 2664 points to ramp up precision 1536752252.704 * * * * [misc]points: Setting MPFR precision to 1088 1536752252.767 * * * * [misc]points: Setting MPFR precision to 1344 1536752252.838 * * * * [misc]points: Computing exacts for 2664 points 1536752252.842 * * * * [misc]points: Setting MPFR precision to 1088 1536752252.999 * * * * [misc]points: Setting MPFR precision to 1344 1536752253.169 * * * * [misc]points: Filtering points with unrepresentable outputs 1536752253.169 * * * * [misc]points: Sampling 810 additional inputs, on iter 2 have 7190 / 8000 1536752253.172 * * * * [misc]points: Computing exacts on every 50 of 810 points to ramp up precision 1536752253.173 * * * * [misc]points: Setting MPFR precision to 1088 1536752253.174 * * * * [misc]points: Setting MPFR precision to 1344 1536752253.175 * * * * [misc]points: Computing exacts on every 25 of 810 points to ramp up precision 1536752253.197 * * * * [misc]points: Setting MPFR precision to 1088 1536752253.199 * * * * [misc]points: Setting MPFR precision to 1344 1536752253.200 * * * * [misc]points: Computing exacts on every 12 of 810 points to ramp up precision 1536752253.201 * * * * [misc]points: Setting MPFR precision to 1088 1536752253.204 * * * * [misc]points: Setting MPFR precision to 1344 1536752253.206 * * * * [misc]points: Computing exacts on every 6 of 810 points to ramp up precision 1536752253.208 * * * * [misc]points: Setting MPFR precision to 1088 1536752253.213 * * * * [misc]points: Setting MPFR precision to 1344 1536752253.218 * * * * [misc]points: Computing exacts on every 3 of 810 points to ramp up precision 1536752253.220 * * * * [misc]points: Setting MPFR precision to 1088 1536752253.228 * * * * [misc]points: Setting MPFR precision to 1344 1536752253.236 * * * * [misc]points: Computing exacts for 810 points 1536752253.238 * * * * [misc]points: Setting MPFR precision to 1088 1536752253.281 * * * * [misc]points: Setting MPFR precision to 1344 1536752253.332 * * * * [misc]points: Filtering points with unrepresentable outputs 1536752253.332 * * * * [misc]points: Sampling 267 additional inputs, on iter 3 have 7733 / 8000 1536752253.334 * * * * [misc]points: Computing exacts on every 16 of 267 points to ramp up precision 1536752253.337 * * * * [misc]points: Setting MPFR precision to 1088 1536752253.338 * * * * [misc]points: Setting MPFR precision to 1344 1536752253.340 * * * * [misc]points: Computing exacts on every 8 of 267 points to ramp up precision 1536752253.343 * * * * [misc]points: Setting MPFR precision to 1088 1536752253.345 * * * * [misc]points: Setting MPFR precision to 1344 1536752253.347 * * * * [misc]points: Computing exacts on every 4 of 267 points to ramp up precision 1536752253.350 * * * * [misc]points: Setting MPFR precision to 1088 1536752253.354 * * * * [misc]points: Setting MPFR precision to 1344 1536752253.359 * * * * [misc]points: Computing exacts on every 2 of 267 points to ramp up precision 1536752253.363 * * * * [misc]points: Setting MPFR precision to 1088 1536752253.370 * * * * [misc]points: Setting MPFR precision to 1344 1536752253.378 * * * * [misc]points: Computing exacts for 267 points 1536752253.381 * * * * [misc]points: Setting MPFR precision to 1088 1536752253.402 * * * * [misc]points: Setting MPFR precision to 1344 1536752253.804 * * * * [misc]points: Filtering points with unrepresentable outputs 1536752253.804 * * * * [misc]points: Sampling 83 additional inputs, on iter 4 have 7917 / 8000 1536752253.805 * * * * [misc]points: Computing exacts on every 5 of 83 points to ramp up precision 1536752253.812 * * * * [misc]points: Setting MPFR precision to 1088 1536752253.814 * * * * [misc]points: Setting MPFR precision to 1344 1536752253.815 * * * * [misc]points: Computing exacts on every 2 of 83 points to ramp up precision 1536752253.818 * * * * [misc]points: Setting MPFR precision to 1088 1536752253.821 * * * * [misc]points: Setting MPFR precision to 1344 1536752253.823 * * * * [misc]points: Computing exacts for 83 points 1536752253.827 * * * * [misc]points: Setting MPFR precision to 1088 1536752253.833 * * * * [misc]points: Setting MPFR precision to 1344 1536752253.837 * * * * [misc]points: Filtering points with unrepresentable outputs 1536752253.838 * * * * [misc]points: Sampling 27 additional inputs, on iter 5 have 7973 / 8000 1536752253.838 * * * * [misc]points: Computing exacts for 27 points 1536752253.839 * * * * [misc]points: Setting MPFR precision to 1088 1536752253.841 * * * * [misc]points: Setting MPFR precision to 1344 1536752253.842 * * * * [misc]points: Filtering points with unrepresentable outputs 1536752253.842 * * * * [misc]points: Sampling 10 additional inputs, on iter 6 have 7990 / 8000 1536752253.842 * * * * [misc]points: Computing exacts for 10 points 1536752253.844 * * * * [misc]points: Setting MPFR precision to 1088 1536752253.844 * * * * [misc]points: Setting MPFR precision to 1344 1536752253.845 * * * * [misc]points: Filtering points with unrepresentable outputs 1536752253.845 * * * * [misc]points: Sampling 4 additional inputs, on iter 7 have 7996 / 8000 1536752253.845 * * * * [misc]points: Computing exacts for 4 points 1536752253.846 * * * * [misc]points: Setting MPFR precision to 1088 1536752253.847 * * * * [misc]points: Setting MPFR precision to 1344 1536752253.847 * * * * [misc]points: Filtering points with unrepresentable outputs 1536752253.847 * * * * [misc]points: Sampling 4 additional inputs, on iter 8 have 7998 / 8000 1536752253.847 * * * * [misc]points: Computing exacts for 4 points 1536752253.849 * * * * [misc]points: Setting MPFR precision to 1088 1536752253.849 * * * * [misc]points: Setting MPFR precision to 1344 1536752253.850 * * * * [misc]points: Filtering points with unrepresentable outputs 1536752253.850 * * * * [exit]points: Sampled 8001 points with exact outputs