1537436761.112 * [misc]progress: [Phase 1 of 3] Setting up. 1537436761.112 * * * [misc]progress: [1/2] Preparing points 1537436761.112 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1537436761.113 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1537436761.114 * * * * [misc]points: Setting MPFR precision to 64 1537436761.114 * * * * [misc]points: Setting MPFR precision to 320 1537436761.115 * * * * [misc]points: Setting MPFR precision to 576 1537436761.115 * * * * [misc]points: Setting MPFR precision to 832 1537436761.116 * * * * [misc]points: Setting MPFR precision to 1088 1537436761.116 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1537436761.118 * * * * [misc]points: Setting MPFR precision to 832 1537436761.119 * * * * [misc]points: Setting MPFR precision to 1088 1537436761.120 * * * * [misc]points: Setting MPFR precision to 1344 1537436761.121 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1537436761.123 * * * * [misc]points: Setting MPFR precision to 1088 1537436761.125 * * * * [misc]points: Setting MPFR precision to 1344 1537436761.127 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1537436761.129 * * * * [misc]points: Setting MPFR precision to 1088 1537436761.134 * * * * [misc]points: Setting MPFR precision to 1344 1537436761.140 * * * * [misc]points: Computing exacts for 256 points 1537436761.143 * * * * [misc]points: Setting MPFR precision to 1088 1537436761.162 * * * * [misc]points: Setting MPFR precision to 1344 1537436761.172 * * * * [misc]points: Filtering points with unrepresentable outputs 1537436761.172 * * * * [misc]points: Sampling 84 additional inputs, on iter 1 have 172 / 256 1537436761.172 * * * * [misc]points: Computing exacts on every 5 of 84 points to ramp up precision 1537436761.174 * * * * [misc]points: Setting MPFR precision to 1088 1537436761.175 * * * * [misc]points: Setting MPFR precision to 1344 1537436761.175 * * * * [misc]points: Computing exacts on every 2 of 84 points to ramp up precision 1537436761.177 * * * * [misc]points: Setting MPFR precision to 1088 1537436761.178 * * * * [misc]points: Setting MPFR precision to 1344 1537436761.180 * * * * [misc]points: Computing exacts for 84 points 1537436761.181 * * * * [misc]points: Setting MPFR precision to 1088 1537436761.185 * * * * [misc]points: Setting MPFR precision to 1344 1537436761.189 * * * * [misc]points: Filtering points with unrepresentable outputs 1537436761.189 * * * * [misc]points: Sampling 30 additional inputs, on iter 2 have 226 / 256 1537436761.189 * * * * [misc]points: Computing exacts for 30 points 1537436761.192 * * * * [misc]points: Setting MPFR precision to 1088 1537436761.195 * * * * [misc]points: Setting MPFR precision to 1344 1537436761.197 * * * * [misc]points: Filtering points with unrepresentable outputs 1537436761.197 * * * * [misc]points: Sampling 10 additional inputs, on iter 3 have 246 / 256 1537436761.197 * * * * [misc]points: Computing exacts for 10 points 1537436761.200 * * * * [misc]points: Setting MPFR precision to 1088 1537436761.200 * * * * [misc]points: Setting MPFR precision to 1344 1537436761.201 * * * * [misc]points: Filtering points with unrepresentable outputs 1537436761.201 * * * * [misc]points: Sampling 4 additional inputs, on iter 4 have 252 / 256 1537436761.201 * * * * [misc]points: Computing exacts for 4 points 1537436761.202 * * * * [misc]points: Setting MPFR precision to 1088 1537436761.202 * * * * [misc]points: Setting MPFR precision to 1344 1537436761.203 * * * * [misc]points: Filtering points with unrepresentable outputs 1537436761.203 * * * * [misc]points: Sampling 4 additional inputs, on iter 5 have 254 / 256 1537436761.203 * * * * [misc]points: Computing exacts for 4 points 1537436761.204 * * * * [misc]points: Setting MPFR precision to 1088 1537436761.204 * * * * [misc]points: Setting MPFR precision to 1344 1537436761.205 * * * * [misc]points: Filtering points with unrepresentable outputs 1537436761.205 * * * * [exit]points: Sampled 257 points with exact outputs 1537436761.205 * * * [misc]progress: [2/2] Setting up program. 1537436761.207 * [misc]progress: [Phase 2 of 3] Improving. 1537436761.207 * [enter]simplify: Simplifying (- (exp x) 1) 1537436761.208 * * [misc]simplify: iters left: 3 (4 enodes) 1537436761.209 * * [misc]simplify: iters left: 2 (10 enodes) 1537436761.210 * [exit]simplify: Simplified to (expm1 x) 1537436761.216 * * [misc]progress: iteration 1 / 4 1537436761.216 * * * [misc]progress: picking best candidate 1537436761.218 * * * * [misc]pick: Picked # 1537436761.218 * * * [misc]progress: localizing error 1537436761.284 * * * [misc]progress: generating rewritten candidates 1537436761.284 * * * [misc]progress: generating series expansions 1537436761.284 * * * [misc]progress: simplifying candidates 1537436761.284 * * * [misc]progress: adding candidates to table 1537436761.284 * [misc]progress: [Phase 3 of 3] Extracting. 1537436761.286 * [enter]simplify: Simplifying (expm1 x) 1537436761.286 * * [misc]simplify: iters left: 1 (2 enodes) 1537436761.286 * [exit]simplify: Simplified to (expm1 x) 1537436761.287 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1537436761.306 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1537436761.308 * * * * [misc]points: Setting MPFR precision to 1088 1537436761.308 * * * * [misc]points: Setting MPFR precision to 1344 1537436761.309 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1537436761.311 * * * * [misc]points: Setting MPFR precision to 1088 1537436761.312 * * * * [misc]points: Setting MPFR precision to 1344 1537436761.313 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1537436761.315 * * * * [misc]points: Setting MPFR precision to 1088 1537436761.317 * * * * [misc]points: Setting MPFR precision to 1344 1537436761.320 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1537436761.322 * * * * [misc]points: Setting MPFR precision to 1088 1537436761.327 * * * * [misc]points: Setting MPFR precision to 1344 1537436761.333 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1537436761.335 * * * * [misc]points: Setting MPFR precision to 1088 1537436761.344 * * * * [misc]points: Setting MPFR precision to 1344 1537436761.354 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1537436761.356 * * * * [misc]points: Setting MPFR precision to 1088 1537436761.389 * * * * [misc]points: Setting MPFR precision to 1344 1537436761.440 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1537436761.443 * * * * [misc]points: Setting MPFR precision to 1088 1537436761.487 * * * * [misc]points: Setting MPFR precision to 1344 1537436761.542 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1537436761.544 * * * * [misc]points: Setting MPFR precision to 1088 1537436761.633 * * * * [misc]points: Setting MPFR precision to 1344 1537436761.809 * * * * [misc]points: Computing exacts for 8000 points 1537436761.812 * * * * [misc]points: Setting MPFR precision to 1088 1537436762.375 * * * * [misc]points: Setting MPFR precision to 1344 1537436762.889 * * * * [misc]points: Filtering points with unrepresentable outputs 1537436762.890 * * * * [misc]points: Sampling 2721 additional inputs, on iter 1 have 5279 / 8000 1537436762.897 * * * * [misc]points: Computing exacts on every 170 of 2721 points to ramp up precision 1537436762.898 * * * * [misc]points: Setting MPFR precision to 1088 1537436762.899 * * * * [misc]points: Setting MPFR precision to 1344 1537436762.900 * * * * [misc]points: Computing exacts on every 85 of 2721 points to ramp up precision 1537436762.902 * * * * [misc]points: Setting MPFR precision to 1088 1537436762.903 * * * * [misc]points: Setting MPFR precision to 1344 1537436762.904 * * * * [misc]points: Computing exacts on every 42 of 2721 points to ramp up precision 1537436762.906 * * * * [misc]points: Setting MPFR precision to 1088 1537436762.909 * * * * [misc]points: Setting MPFR precision to 1344 1537436762.911 * * * * [misc]points: Computing exacts on every 21 of 2721 points to ramp up precision 1537436762.913 * * * * [misc]points: Setting MPFR precision to 1088 1537436762.942 * * * * [misc]points: Setting MPFR precision to 1344 1537436762.954 * * * * [misc]points: Computing exacts on every 10 of 2721 points to ramp up precision 1537436762.957 * * * * [misc]points: Setting MPFR precision to 1088 1537436762.970 * * * * [misc]points: Setting MPFR precision to 1344 1537436762.980 * * * * [misc]points: Computing exacts on every 5 of 2721 points to ramp up precision 1537436762.982 * * * * [misc]points: Setting MPFR precision to 1088 1537436763.001 * * * * [misc]points: Setting MPFR precision to 1344 1537436763.020 * * * * [misc]points: Computing exacts on every 2 of 2721 points to ramp up precision 1537436763.022 * * * * [misc]points: Setting MPFR precision to 1088 1537436763.068 * * * * [misc]points: Setting MPFR precision to 1344 1537436763.137 * * * * [misc]points: Computing exacts for 2721 points 1537436763.139 * * * * [misc]points: Setting MPFR precision to 1088 1537436763.357 * * * * [misc]points: Setting MPFR precision to 1344 1537436763.536 * * * * [misc]points: Filtering points with unrepresentable outputs 1537436763.537 * * * * [misc]points: Sampling 882 additional inputs, on iter 2 have 7118 / 8000 1537436763.539 * * * * [misc]points: Computing exacts on every 55 of 882 points to ramp up precision 1537436763.541 * * * * [misc]points: Setting MPFR precision to 1088 1537436763.541 * * * * [misc]points: Setting MPFR precision to 1344 1537436763.542 * * * * [misc]points: Computing exacts on every 27 of 882 points to ramp up precision 1537436763.544 * * * * [misc]points: Setting MPFR precision to 1088 1537436763.545 * * * * [misc]points: Setting MPFR precision to 1344 1537436763.546 * * * * [misc]points: Computing exacts on every 13 of 882 points to ramp up precision 1537436763.570 * * * * [misc]points: Setting MPFR precision to 1088 1537436763.575 * * * * [misc]points: Setting MPFR precision to 1344 1537436763.577 * * * * [misc]points: Computing exacts on every 6 of 882 points to ramp up precision 1537436763.579 * * * * [misc]points: Setting MPFR precision to 1088 1537436763.584 * * * * [misc]points: Setting MPFR precision to 1344 1537436763.589 * * * * [misc]points: Computing exacts on every 3 of 882 points to ramp up precision 1537436763.591 * * * * [misc]points: Setting MPFR precision to 1088 1537436763.599 * * * * [misc]points: Setting MPFR precision to 1344 1537436763.611 * * * * [misc]points: Computing exacts for 882 points 1537436763.615 * * * * [misc]points: Setting MPFR precision to 1088 1537436763.677 * * * * [misc]points: Setting MPFR precision to 1344 1537436763.741 * * * * [misc]points: Filtering points with unrepresentable outputs 1537436763.741 * * * * [misc]points: Sampling 289 additional inputs, on iter 3 have 7711 / 8000 1537436763.742 * * * * [misc]points: Computing exacts on every 18 of 289 points to ramp up precision 1537436763.744 * * * * [misc]points: Setting MPFR precision to 1088 1537436763.745 * * * * [misc]points: Setting MPFR precision to 1344 1537436763.746 * * * * [misc]points: Computing exacts on every 9 of 289 points to ramp up precision 1537436763.747 * * * * [misc]points: Setting MPFR precision to 1088 1537436763.749 * * * * [misc]points: Setting MPFR precision to 1344 1537436763.750 * * * * [misc]points: Computing exacts on every 4 of 289 points to ramp up precision 1537436763.752 * * * * [misc]points: Setting MPFR precision to 1088 1537436763.754 * * * * [misc]points: Setting MPFR precision to 1344 1537436763.757 * * * * [misc]points: Computing exacts on every 2 of 289 points to ramp up precision 1537436763.759 * * * * [misc]points: Setting MPFR precision to 1088 1537436763.763 * * * * [misc]points: Setting MPFR precision to 1344 1537436763.767 * * * * [misc]points: Computing exacts for 289 points 1537436763.768 * * * * [misc]points: Setting MPFR precision to 1088 1537436763.786 * * * * [misc]points: Setting MPFR precision to 1344 1537436763.815 * * * * [misc]points: Filtering points with unrepresentable outputs 1537436763.815 * * * * [misc]points: Sampling 99 additional inputs, on iter 4 have 7901 / 8000 1537436763.816 * * * * [misc]points: Computing exacts on every 6 of 99 points to ramp up precision 1537436763.818 * * * * [misc]points: Setting MPFR precision to 1088 1537436763.819 * * * * [misc]points: Setting MPFR precision to 1344 1537436763.820 * * * * [misc]points: Computing exacts on every 3 of 99 points to ramp up precision 1537436763.823 * * * * [misc]points: Setting MPFR precision to 1088 1537436763.826 * * * * [misc]points: Setting MPFR precision to 1344 1537436763.828 * * * * [misc]points: Computing exacts for 99 points 1537436763.831 * * * * [misc]points: Setting MPFR precision to 1088 1537436763.835 * * * * [misc]points: Setting MPFR precision to 1344 1537436763.839 * * * * [misc]points: Filtering points with unrepresentable outputs 1537436763.839 * * * * [misc]points: Sampling 26 additional inputs, on iter 5 have 7974 / 8000 1537436763.839 * * * * [misc]points: Computing exacts for 26 points 1537436763.841 * * * * [misc]points: Setting MPFR precision to 1088 1537436763.842 * * * * [misc]points: Setting MPFR precision to 1344 1537436763.843 * * * * [misc]points: Filtering points with unrepresentable outputs 1537436763.843 * * * * [misc]points: Sampling 7 additional inputs, on iter 6 have 7993 / 8000 1537436763.843 * * * * [misc]points: Computing exacts for 7 points 1537436763.845 * * * * [misc]points: Setting MPFR precision to 1088 1537436763.845 * * * * [misc]points: Setting MPFR precision to 1344 1537436763.846 * * * * [misc]points: Filtering points with unrepresentable outputs 1537436763.846 * * * * [misc]points: Sampling 4 additional inputs, on iter 7 have 7998 / 8000 1537436763.846 * * * * [misc]points: Computing exacts for 4 points 1537436763.847 * * * * [misc]points: Setting MPFR precision to 1088 1537436763.848 * * * * [misc]points: Setting MPFR precision to 1344 1537436763.848 * * * * [misc]points: Filtering points with unrepresentable outputs 1537436763.848 * * * * [misc]points: Sampling 4 additional inputs, on iter 8 have 7998 / 8000 1537436763.848 * * * * [misc]points: Computing exacts for 4 points 1537436763.850 * * * * [misc]points: Setting MPFR precision to 1088 1537436763.850 * * * * [misc]points: Setting MPFR precision to 1344 1537436763.850 * * * * [misc]points: Filtering points with unrepresentable outputs 1537436763.850 * * * * [exit]points: Sampled 8001 points with exact outputs 1537436764.350 * [misc]regime-testing: Baseline error score: 0.001 1537436764.350 * [misc]regime-testing: End program error score: 0.001 1537436764.351 * [misc]regime-testing: Oracle error score: 0.001 1537436764.440 * [misc]regime-testing: Target error score: 0.5744432530888688