1540201403.797 * [misc]progress: [Phase 1 of 3] Setting up. 1540201403.797 * * * [misc]progress: [1/2] Preparing points 1540201403.797 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1540201403.799 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1540201403.800 * * * * [misc]points: Setting MPFR precision to 64 1540201403.801 * * * * [misc]points: Setting MPFR precision to 320 1540201403.801 * * * * [misc]points: Setting MPFR precision to 576 1540201403.803 * * * * [misc]points: Setting MPFR precision to 832 1540201403.805 * * * * [misc]points: Setting MPFR precision to 1088 1540201403.807 * * * * [misc]points: Setting MPFR precision to 1344 1540201403.810 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1540201403.812 * * * * [misc]points: Setting MPFR precision to 1088 1540201403.815 * * * * [misc]points: Setting MPFR precision to 1344 1540201403.820 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1540201403.822 * * * * [misc]points: Setting MPFR precision to 1088 1540201403.828 * * * * [misc]points: Setting MPFR precision to 1344 1540201403.835 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1540201403.838 * * * * [misc]points: Setting MPFR precision to 1088 1540201403.847 * * * * [misc]points: Setting MPFR precision to 1344 1540201403.857 * * * * [misc]points: Computing exacts for 256 points 1540201403.859 * * * * [misc]points: Setting MPFR precision to 1088 1540201403.888 * * * * [misc]points: Setting MPFR precision to 1344 1540201403.906 * * * * [misc]points: Filtering points with unrepresentable outputs 1540201403.906 * * * * [misc]points: Sampling 63 additional inputs, on iter 1 have 193 / 256 1540201403.906 * * * * [misc]points: Computing exacts on every 3 of 63 points to ramp up precision 1540201403.907 * * * * [misc]points: Setting MPFR precision to 1088 1540201403.908 * * * * [misc]points: Setting MPFR precision to 1344 1540201403.910 * * * * [misc]points: Computing exacts for 63 points 1540201403.911 * * * * [misc]points: Setting MPFR precision to 1088 1540201403.915 * * * * [misc]points: Setting MPFR precision to 1344 1540201403.919 * * * * [misc]points: Filtering points with unrepresentable outputs 1540201403.919 * * * * [misc]points: Sampling 18 additional inputs, on iter 2 have 238 / 256 1540201403.919 * * * * [misc]points: Computing exacts for 18 points 1540201403.921 * * * * [misc]points: Setting MPFR precision to 1088 1540201403.922 * * * * [misc]points: Setting MPFR precision to 1344 1540201403.924 * * * * [misc]points: Filtering points with unrepresentable outputs 1540201403.924 * * * * [misc]points: Sampling 4 additional inputs, on iter 3 have 255 / 256 1540201403.924 * * * * [misc]points: Computing exacts for 4 points 1540201403.925 * * * * [misc]points: Setting MPFR precision to 1088 1540201403.925 * * * * [misc]points: Setting MPFR precision to 1344 1540201403.925 * * * * [misc]points: Filtering points with unrepresentable outputs 1540201403.926 * * * * [exit]points: Sampled 257 points with exact outputs 1540201403.926 * * * [misc]progress: [2/2] Setting up program. 1540201403.927 * [misc]progress: [Phase 2 of 3] Improving. 1540201403.927 * [enter]simplify: Simplifying (log (+ 1 x)) 1540201403.928 * * [misc]simplify: iters left: 3 (4 enodes) 1540201403.928 * * [misc]simplify: iters left: 2 (8 enodes) 1540201403.929 * [exit]simplify: Simplified to (log1p x) 1540201403.937 * * [misc]progress: iteration 1 / 4 1540201403.937 * * * [misc]progress: picking best candidate 1540201403.940 * * * * [misc]pick: Picked # 1540201403.940 * * * [misc]progress: localizing error 1540201403.975 * * * [misc]progress: generating rewritten candidates 1540201403.975 * * * [misc]progress: generating series expansions 1540201403.975 * * * [misc]progress: simplifying candidates 1540201403.975 * * * [misc]progress: adding candidates to table 1540201403.975 * [misc]progress: [Phase 3 of 3] Extracting. 1540201403.977 * [enter]simplify: Simplifying (log1p x) 1540201403.977 * * [misc]simplify: iters left: 1 (2 enodes) 1540201403.977 * [exit]simplify: Simplified to (log1p x) 1540201403.977 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1540201403.998 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1540201404.000 * * * * [misc]points: Setting MPFR precision to 1088 1540201404.001 * * * * [misc]points: Setting MPFR precision to 1344 1540201404.003 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1540201404.005 * * * * [misc]points: Setting MPFR precision to 1088 1540201404.008 * * * * [misc]points: Setting MPFR precision to 1344 1540201404.011 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1540201404.013 * * * * [misc]points: Setting MPFR precision to 1088 1540201404.020 * * * * [misc]points: Setting MPFR precision to 1344 1540201404.027 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1540201404.029 * * * * [misc]points: Setting MPFR precision to 1088 1540201404.043 * * * * [misc]points: Setting MPFR precision to 1344 1540201404.052 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1540201404.053 * * * * [misc]points: Setting MPFR precision to 1088 1540201404.067 * * * * [misc]points: Setting MPFR precision to 1344 1540201404.081 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1540201404.082 * * * * [misc]points: Setting MPFR precision to 1088 1540201404.132 * * * * [misc]points: Setting MPFR precision to 1344 1540201404.162 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1540201404.163 * * * * [misc]points: Setting MPFR precision to 1088 1540201404.268 * * * * [misc]points: Setting MPFR precision to 1344 1540201404.340 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1540201404.342 * * * * [misc]points: Setting MPFR precision to 1088 1540201404.485 * * * * [misc]points: Setting MPFR precision to 1344 1540201404.654 * * * * [misc]points: Computing exacts for 8000 points 1540201404.655 * * * * [misc]points: Setting MPFR precision to 1088 1540201405.361 * * * * [misc]points: Setting MPFR precision to 1344 1540201406.169 * * * * [misc]points: Filtering points with unrepresentable outputs 1540201406.170 * * * * [misc]points: Sampling 2092 additional inputs, on iter 1 have 5908 / 8000 1540201406.176 * * * * [misc]points: Computing exacts on every 130 of 2092 points to ramp up precision 1540201406.178 * * * * [misc]points: Setting MPFR precision to 1088 1540201406.179 * * * * [misc]points: Setting MPFR precision to 1344 1540201406.181 * * * * [misc]points: Computing exacts on every 65 of 2092 points to ramp up precision 1540201406.182 * * * * [misc]points: Setting MPFR precision to 1088 1540201406.184 * * * * [misc]points: Setting MPFR precision to 1344 1540201406.185 * * * * [misc]points: Computing exacts on every 32 of 2092 points to ramp up precision 1540201406.186 * * * * [misc]points: Setting MPFR precision to 1088 1540201406.190 * * * * [misc]points: Setting MPFR precision to 1344 1540201406.193 * * * * [misc]points: Computing exacts on every 16 of 2092 points to ramp up precision 1540201406.194 * * * * [misc]points: Setting MPFR precision to 1088 1540201406.201 * * * * [misc]points: Setting MPFR precision to 1344 1540201406.209 * * * * [misc]points: Computing exacts on every 8 of 2092 points to ramp up precision 1540201406.210 * * * * [misc]points: Setting MPFR precision to 1088 1540201406.236 * * * * [misc]points: Setting MPFR precision to 1344 1540201406.254 * * * * [misc]points: Computing exacts on every 4 of 2092 points to ramp up precision 1540201406.255 * * * * [misc]points: Setting MPFR precision to 1088 1540201406.279 * * * * [misc]points: Setting MPFR precision to 1344 1540201406.307 * * * * [misc]points: Computing exacts on every 2 of 2092 points to ramp up precision 1540201406.308 * * * * [misc]points: Setting MPFR precision to 1088 1540201406.359 * * * * [misc]points: Setting MPFR precision to 1344 1540201406.415 * * * * [misc]points: Computing exacts for 2092 points 1540201406.417 * * * * [misc]points: Setting MPFR precision to 1088 1540201406.610 * * * * [misc]points: Setting MPFR precision to 1344 1540201406.827 * * * * [misc]points: Filtering points with unrepresentable outputs 1540201406.828 * * * * [misc]points: Sampling 499 additional inputs, on iter 2 have 7501 / 8000 1540201406.830 * * * * [misc]points: Computing exacts on every 31 of 499 points to ramp up precision 1540201406.832 * * * * [misc]points: Setting MPFR precision to 1088 1540201406.834 * * * * [misc]points: Setting MPFR precision to 1344 1540201406.836 * * * * [misc]points: Computing exacts on every 15 of 499 points to ramp up precision 1540201406.837 * * * * [misc]points: Setting MPFR precision to 1088 1540201406.840 * * * * [misc]points: Setting MPFR precision to 1344 1540201406.844 * * * * [misc]points: Computing exacts on every 7 of 499 points to ramp up precision 1540201406.845 * * * * [misc]points: Setting MPFR precision to 1088 1540201406.850 * * * * [misc]points: Setting MPFR precision to 1344 1540201406.854 * * * * [misc]points: Computing exacts on every 3 of 499 points to ramp up precision 1540201406.855 * * * * [misc]points: Setting MPFR precision to 1088 1540201406.862 * * * * [misc]points: Setting MPFR precision to 1344 1540201406.870 * * * * [misc]points: Computing exacts for 499 points 1540201406.871 * * * * [misc]points: Setting MPFR precision to 1088 1540201406.917 * * * * [misc]points: Setting MPFR precision to 1344 1540201406.991 * * * * [misc]points: Filtering points with unrepresentable outputs 1540201406.991 * * * * [misc]points: Sampling 132 additional inputs, on iter 3 have 7868 / 8000 1540201406.991 * * * * [misc]points: Computing exacts on every 8 of 132 points to ramp up precision 1540201406.993 * * * * [misc]points: Setting MPFR precision to 1088 1540201406.995 * * * * [misc]points: Setting MPFR precision to 1344 1540201406.997 * * * * [misc]points: Computing exacts on every 4 of 132 points to ramp up precision 1540201406.999 * * * * [misc]points: Setting MPFR precision to 1088 1540201407.003 * * * * [misc]points: Setting MPFR precision to 1344 1540201407.006 * * * * [misc]points: Computing exacts on every 2 of 132 points to ramp up precision 1540201407.008 * * * * [misc]points: Setting MPFR precision to 1088 1540201407.013 * * * * [misc]points: Setting MPFR precision to 1344 1540201407.018 * * * * [misc]points: Computing exacts for 132 points 1540201407.021 * * * * [misc]points: Setting MPFR precision to 1088 1540201407.035 * * * * [misc]points: Setting MPFR precision to 1344 1540201407.050 * * * * [misc]points: Filtering points with unrepresentable outputs 1540201407.050 * * * * [misc]points: Sampling 35 additional inputs, on iter 4 have 7965 / 8000 1540201407.050 * * * * [misc]points: Computing exacts on every 2 of 35 points to ramp up precision 1540201407.052 * * * * [misc]points: Setting MPFR precision to 1088 1540201407.054 * * * * [misc]points: Setting MPFR precision to 1344 1540201407.055 * * * * [misc]points: Computing exacts for 35 points 1540201407.056 * * * * [misc]points: Setting MPFR precision to 1088 1540201407.058 * * * * [misc]points: Setting MPFR precision to 1344 1540201407.060 * * * * [misc]points: Filtering points with unrepresentable outputs 1540201407.060 * * * * [misc]points: Sampling 10 additional inputs, on iter 5 have 7990 / 8000 1540201407.060 * * * * [misc]points: Computing exacts for 10 points 1540201407.061 * * * * [misc]points: Setting MPFR precision to 1088 1540201407.062 * * * * [misc]points: Setting MPFR precision to 1344 1540201407.063 * * * * [misc]points: Filtering points with unrepresentable outputs 1540201407.063 * * * * [misc]points: Sampling 4 additional inputs, on iter 6 have 7999 / 8000 1540201407.063 * * * * [misc]points: Computing exacts for 4 points 1540201407.064 * * * * [misc]points: Setting MPFR precision to 1088 1540201407.064 * * * * [misc]points: Setting MPFR precision to 1344 1540201407.064 * * * * [misc]points: Filtering points with unrepresentable outputs 1540201407.064 * * * * [exit]points: Sampled 8001 points with exact outputs 1540201407.242 * [misc]regime-testing: Baseline error score: 0.000375 1540201407.242 * [misc]regime-testing: End program error score: 0.000375 1540201407.245 * [misc]regime-testing: Oracle error score: 0.000375 1540201407.323 * [misc]regime-testing: Target error score: 0.27266957597603103