1538421891.439 * [misc]progress: [Phase 1 of 3] Setting up. 1538421891.439 * * * [misc]progress: [1/2] Preparing points 1538421891.439 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1538421891.440 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1538421891.441 * * * * [misc]points: Setting MPFR precision to 64 1538421891.441 * * * * [misc]points: Setting MPFR precision to 320 1538421891.442 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1538421891.442 * * * * [misc]points: Setting MPFR precision to 64 1538421891.443 * * * * [misc]points: Setting MPFR precision to 320 1538421891.443 * * * * [misc]points: Setting MPFR precision to 576 1538421891.444 * * * * [misc]points: Setting MPFR precision to 832 1538421891.446 * * * * [misc]points: Setting MPFR precision to 1088 1538421891.448 * * * * [misc]points: Setting MPFR precision to 1344 1538421891.450 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1538421891.451 * * * * [misc]points: Setting MPFR precision to 1088 1538421891.457 * * * * [misc]points: Setting MPFR precision to 1344 1538421891.464 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1538421891.465 * * * * [misc]points: Setting MPFR precision to 1088 1538421891.473 * * * * [misc]points: Setting MPFR precision to 1344 1538421891.480 * * * * [misc]points: Computing exacts for 256 points 1538421891.482 * * * * [misc]points: Setting MPFR precision to 1088 1538421891.503 * * * * [misc]points: Setting MPFR precision to 1344 1538421891.521 * * * * [misc]points: Filtering points with unrepresentable outputs 1538421891.521 * * * * [misc]points: Sampling 59 additional inputs, on iter 1 have 197 / 256 1538421891.522 * * * * [misc]points: Computing exacts on every 3 of 59 points to ramp up precision 1538421891.523 * * * * [misc]points: Setting MPFR precision to 1088 1538421891.526 * * * * [misc]points: Setting MPFR precision to 1344 1538421891.528 * * * * [misc]points: Computing exacts for 59 points 1538421891.530 * * * * [misc]points: Setting MPFR precision to 1088 1538421891.536 * * * * [misc]points: Setting MPFR precision to 1344 1538421891.543 * * * * [misc]points: Filtering points with unrepresentable outputs 1538421891.543 * * * * [misc]points: Sampling 13 additional inputs, on iter 2 have 243 / 256 1538421891.543 * * * * [misc]points: Computing exacts for 13 points 1538421891.545 * * * * [misc]points: Setting MPFR precision to 1088 1538421891.547 * * * * [misc]points: Setting MPFR precision to 1344 1538421891.548 * * * * [misc]points: Filtering points with unrepresentable outputs 1538421891.548 * * * * [misc]points: Sampling 4 additional inputs, on iter 3 have 253 / 256 1538421891.548 * * * * [misc]points: Computing exacts for 4 points 1538421891.550 * * * * [misc]points: Setting MPFR precision to 1088 1538421891.550 * * * * [misc]points: Setting MPFR precision to 1344 1538421891.550 * * * * [misc]points: Filtering points with unrepresentable outputs 1538421891.550 * * * * [misc]points: Sampling 4 additional inputs, on iter 4 have 255 / 256 1538421891.550 * * * * [misc]points: Computing exacts for 4 points 1538421891.551 * * * * [misc]points: Setting MPFR precision to 1088 1538421891.551 * * * * [misc]points: Setting MPFR precision to 1344 1538421891.552 * * * * [misc]points: Filtering points with unrepresentable outputs 1538421891.552 * * * * [exit]points: Sampled 259 points with exact outputs 1538421891.552 * * * [misc]progress: [2/2] Setting up program. 1538421891.554 * [misc]progress: [Phase 2 of 3] Improving. 1538421891.554 * [enter]simplify: Simplifying (log (+ 1 x)) 1538421891.554 * * [misc]simplify: iters left: 3 (4 enodes) 1538421891.555 * * [misc]simplify: iters left: 2 (8 enodes) 1538421891.556 * [exit]simplify: Simplified to (log1p x) 1538421891.561 * * [misc]progress: iteration 1 / 4 1538421891.561 * * * [misc]progress: picking best candidate 1538421891.563 * * * * [misc]pick: Picked # 1538421891.563 * * * [misc]progress: localizing error 1538421891.588 * * * [misc]progress: generating rewritten candidates 1538421891.588 * * * [misc]progress: generating series expansions 1538421891.588 * * * [misc]progress: simplifying candidates 1538421891.588 * * * [misc]progress: adding candidates to table 1538421891.589 * [misc]progress: [Phase 3 of 3] Extracting. 1538421891.590 * [enter]simplify: Simplifying (log1p x) 1538421891.590 * * [misc]simplify: iters left: 1 (2 enodes) 1538421891.591 * [exit]simplify: Simplified to (log1p x) 1538421891.591 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1538421891.625 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1538421891.627 * * * * [misc]points: Setting MPFR precision to 1088 1538421891.628 * * * * [misc]points: Setting MPFR precision to 1344 1538421891.629 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1538421891.630 * * * * [misc]points: Setting MPFR precision to 1088 1538421891.632 * * * * [misc]points: Setting MPFR precision to 1344 1538421891.634 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1538421891.635 * * * * [misc]points: Setting MPFR precision to 1088 1538421891.639 * * * * [misc]points: Setting MPFR precision to 1344 1538421891.643 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1538421891.644 * * * * [misc]points: Setting MPFR precision to 1088 1538421891.652 * * * * [misc]points: Setting MPFR precision to 1344 1538421891.659 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1538421891.661 * * * * [misc]points: Setting MPFR precision to 1088 1538421891.675 * * * * [misc]points: Setting MPFR precision to 1344 1538421891.700 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1538421891.701 * * * * [misc]points: Setting MPFR precision to 1088 1538421891.735 * * * * [misc]points: Setting MPFR precision to 1344 1538421891.787 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1538421891.788 * * * * [misc]points: Setting MPFR precision to 1088 1538421891.842 * * * * [misc]points: Setting MPFR precision to 1344 1538421891.946 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1538421891.948 * * * * [misc]points: Setting MPFR precision to 1088 1538421892.117 * * * * [misc]points: Setting MPFR precision to 1344 1538421892.285 * * * * [misc]points: Computing exacts for 8000 points 1538421892.286 * * * * [misc]points: Setting MPFR precision to 1088 1538421893.044 * * * * [misc]points: Setting MPFR precision to 1344 1538421893.901 * * * * [misc]points: Filtering points with unrepresentable outputs 1538421893.902 * * * * [misc]points: Sampling 1968 additional inputs, on iter 1 have 6032 / 8000 1538421893.907 * * * * [misc]points: Computing exacts on every 123 of 1968 points to ramp up precision 1538421893.929 * * * * [misc]points: Setting MPFR precision to 1088 1538421893.931 * * * * [misc]points: Setting MPFR precision to 1344 1538421893.932 * * * * [misc]points: Computing exacts on every 61 of 1968 points to ramp up precision 1538421893.934 * * * * [misc]points: Setting MPFR precision to 1088 1538421893.940 * * * * [misc]points: Setting MPFR precision to 1344 1538421893.943 * * * * [misc]points: Computing exacts on every 30 of 1968 points to ramp up precision 1538421893.945 * * * * [misc]points: Setting MPFR precision to 1088 1538421893.951 * * * * [misc]points: Setting MPFR precision to 1344 1538421893.958 * * * * [misc]points: Computing exacts on every 15 of 1968 points to ramp up precision 1538421893.960 * * * * [misc]points: Setting MPFR precision to 1088 1538421893.973 * * * * [misc]points: Setting MPFR precision to 1344 1538421893.982 * * * * [misc]points: Computing exacts on every 7 of 1968 points to ramp up precision 1538421893.983 * * * * [misc]points: Setting MPFR precision to 1088 1538421893.997 * * * * [misc]points: Setting MPFR precision to 1344 1538421894.013 * * * * [misc]points: Computing exacts on every 3 of 1968 points to ramp up precision 1538421894.014 * * * * [misc]points: Setting MPFR precision to 1088 1538421894.042 * * * * [misc]points: Setting MPFR precision to 1344 1538421894.082 * * * * [misc]points: Computing exacts for 1968 points 1538421894.083 * * * * [misc]points: Setting MPFR precision to 1088 1538421894.223 * * * * [misc]points: Setting MPFR precision to 1344 1538421894.405 * * * * [misc]points: Filtering points with unrepresentable outputs 1538421894.405 * * * * [misc]points: Sampling 486 additional inputs, on iter 2 have 7514 / 8000 1538421894.406 * * * * [misc]points: Computing exacts on every 30 of 486 points to ramp up precision 1538421894.408 * * * * [misc]points: Setting MPFR precision to 1088 1538421894.409 * * * * [misc]points: Setting MPFR precision to 1344 1538421894.410 * * * * [misc]points: Computing exacts on every 15 of 486 points to ramp up precision 1538421894.411 * * * * [misc]points: Setting MPFR precision to 1088 1538421894.412 * * * * [misc]points: Setting MPFR precision to 1344 1538421894.414 * * * * [misc]points: Computing exacts on every 7 of 486 points to ramp up precision 1538421894.415 * * * * [misc]points: Setting MPFR precision to 1088 1538421894.417 * * * * [misc]points: Setting MPFR precision to 1344 1538421894.420 * * * * [misc]points: Computing exacts on every 3 of 486 points to ramp up precision 1538421894.421 * * * * [misc]points: Setting MPFR precision to 1088 1538421894.427 * * * * [misc]points: Setting MPFR precision to 1344 1538421894.440 * * * * [misc]points: Computing exacts for 486 points 1538421894.441 * * * * [misc]points: Setting MPFR precision to 1088 1538421894.489 * * * * [misc]points: Setting MPFR precision to 1344 1538421894.520 * * * * [misc]points: Filtering points with unrepresentable outputs 1538421894.521 * * * * [misc]points: Sampling 114 additional inputs, on iter 3 have 7886 / 8000 1538421894.521 * * * * [misc]points: Computing exacts on every 7 of 114 points to ramp up precision 1538421894.522 * * * * [misc]points: Setting MPFR precision to 1088 1538421894.523 * * * * [misc]points: Setting MPFR precision to 1344 1538421894.524 * * * * [misc]points: Computing exacts on every 3 of 114 points to ramp up precision 1538421894.525 * * * * [misc]points: Setting MPFR precision to 1088 1538421894.526 * * * * [misc]points: Setting MPFR precision to 1344 1538421894.528 * * * * [misc]points: Computing exacts for 114 points 1538421894.529 * * * * [misc]points: Setting MPFR precision to 1088 1538421894.535 * * * * [misc]points: Setting MPFR precision to 1344 1538421894.543 * * * * [misc]points: Filtering points with unrepresentable outputs 1538421894.543 * * * * [misc]points: Sampling 24 additional inputs, on iter 4 have 7976 / 8000 1538421894.544 * * * * [misc]points: Computing exacts for 24 points 1538421894.546 * * * * [misc]points: Setting MPFR precision to 1088 1538421894.549 * * * * [misc]points: Setting MPFR precision to 1344 1538421894.552 * * * * [misc]points: Filtering points with unrepresentable outputs 1538421894.552 * * * * [misc]points: Sampling 6 additional inputs, on iter 5 have 7994 / 8000 1538421894.552 * * * * [misc]points: Computing exacts for 6 points 1538421894.554 * * * * [misc]points: Setting MPFR precision to 1088 1538421894.555 * * * * [misc]points: Setting MPFR precision to 1344 1538421894.555 * * * * [misc]points: Filtering points with unrepresentable outputs 1538421894.555 * * * * [misc]points: Sampling 4 additional inputs, on iter 6 have 7998 / 8000 1538421894.555 * * * * [misc]points: Computing exacts for 4 points 1538421894.557 * * * * [misc]points: Setting MPFR precision to 1088 1538421894.557 * * * * [misc]points: Setting MPFR precision to 1344 1538421894.558 * * * * [misc]points: Filtering points with unrepresentable outputs 1538421894.558 * * * * [exit]points: Sampled 8000 points with exact outputs 1538421894.744 * [misc]regime-testing: Baseline error score: 0.00075 1538421894.744 * [misc]regime-testing: End program error score: 0.00075 1538421894.745 * [misc]regime-testing: Oracle error score: 0.00075 1538421894.802 * [misc]regime-testing: Target error score: 0.18716659263258237