1539346104.401 * [misc]progress: [Phase 1 of 3] Setting up. 1539346104.401 * * * [misc]progress: [1/2] Preparing points 1539346104.402 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1539346104.402 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1539346104.403 * * * * [misc]points: Setting MPFR precision to 64 1539346104.404 * * * * [misc]points: Setting MPFR precision to 320 1539346104.404 * * * * [misc]points: Setting MPFR precision to 576 1539346104.404 * * * * [misc]points: Setting MPFR precision to 832 1539346104.405 * * * * [misc]points: Setting MPFR precision to 1088 1539346104.405 * * * * [misc]points: Setting MPFR precision to 1344 1539346104.406 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1539346104.407 * * * * [misc]points: Setting MPFR precision to 1088 1539346104.409 * * * * [misc]points: Setting MPFR precision to 1344 1539346104.410 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1539346104.412 * * * * [misc]points: Setting MPFR precision to 1088 1539346104.416 * * * * [misc]points: Setting MPFR precision to 1344 1539346104.419 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1539346104.423 * * * * [misc]points: Setting MPFR precision to 1088 1539346104.429 * * * * [misc]points: Setting MPFR precision to 1344 1539346104.434 * * * * [misc]points: Computing exacts for 256 points 1539346104.441 * * * * [misc]points: Setting MPFR precision to 1088 1539346104.451 * * * * [misc]points: Setting MPFR precision to 1344 1539346104.459 * * * * [misc]points: Filtering points with unrepresentable outputs 1539346104.460 * * * * [misc]points: Sampling 95 additional inputs, on iter 1 have 161 / 256 1539346104.460 * * * * [misc]points: Computing exacts on every 5 of 95 points to ramp up precision 1539346104.462 * * * * [misc]points: Setting MPFR precision to 1088 1539346104.462 * * * * [misc]points: Setting MPFR precision to 1344 1539346104.463 * * * * [misc]points: Computing exacts on every 2 of 95 points to ramp up precision 1539346104.465 * * * * [misc]points: Setting MPFR precision to 1088 1539346104.466 * * * * [misc]points: Setting MPFR precision to 1344 1539346104.468 * * * * [misc]points: Computing exacts for 95 points 1539346104.471 * * * * [misc]points: Setting MPFR precision to 1088 1539346104.478 * * * * [misc]points: Setting MPFR precision to 1344 1539346104.484 * * * * [misc]points: Filtering points with unrepresentable outputs 1539346104.484 * * * * [misc]points: Sampling 20 additional inputs, on iter 2 have 236 / 256 1539346104.485 * * * * [misc]points: Computing exacts for 20 points 1539346104.486 * * * * [misc]points: Setting MPFR precision to 1088 1539346104.488 * * * * [misc]points: Setting MPFR precision to 1344 1539346104.488 * * * * [misc]points: Filtering points with unrepresentable outputs 1539346104.488 * * * * [misc]points: Sampling 7 additional inputs, on iter 3 have 249 / 256 1539346104.488 * * * * [misc]points: Computing exacts for 7 points 1539346104.490 * * * * [misc]points: Setting MPFR precision to 1088 1539346104.490 * * * * [misc]points: Setting MPFR precision to 1344 1539346104.491 * * * * [misc]points: Filtering points with unrepresentable outputs 1539346104.491 * * * * [misc]points: Sampling 4 additional inputs, on iter 4 have 253 / 256 1539346104.491 * * * * [misc]points: Computing exacts for 4 points 1539346104.492 * * * * [misc]points: Setting MPFR precision to 1088 1539346104.492 * * * * [misc]points: Setting MPFR precision to 1344 1539346104.493 * * * * [misc]points: Filtering points with unrepresentable outputs 1539346104.493 * * * * [misc]points: Sampling 4 additional inputs, on iter 5 have 255 / 256 1539346104.493 * * * * [misc]points: Computing exacts for 4 points 1539346104.494 * * * * [misc]points: Setting MPFR precision to 1088 1539346104.494 * * * * [misc]points: Setting MPFR precision to 1344 1539346104.495 * * * * [misc]points: Filtering points with unrepresentable outputs 1539346104.495 * * * * [exit]points: Sampled 257 points with exact outputs 1539346104.495 * * * [misc]progress: [2/2] Setting up program. 1539346104.497 * [misc]progress: [Phase 2 of 3] Improving. 1539346104.497 * [enter]simplify: Simplifying (- (exp x) 1) 1539346104.497 * * [misc]simplify: iters left: 3 (4 enodes) 1539346104.498 * * [misc]simplify: iters left: 2 (10 enodes) 1539346104.499 * [exit]simplify: Simplified to (expm1 x) 1539346104.504 * * [misc]progress: iteration 1 / 4 1539346104.504 * * * [misc]progress: picking best candidate 1539346104.505 * * * * [misc]pick: Picked # 1539346104.505 * * * [misc]progress: localizing error 1539346104.567 * * * [misc]progress: generating rewritten candidates 1539346104.567 * * * [misc]progress: generating series expansions 1539346104.567 * * * [misc]progress: simplifying candidates 1539346104.567 * * * [misc]progress: adding candidates to table 1539346104.567 * [misc]progress: [Phase 3 of 3] Extracting. 1539346104.570 * [enter]simplify: Simplifying (expm1 x) 1539346104.570 * * [misc]simplify: iters left: 1 (2 enodes) 1539346104.570 * [exit]simplify: Simplified to (expm1 x) 1539346104.570 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1539346104.603 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1539346104.605 * * * * [misc]points: Setting MPFR precision to 1088 1539346104.606 * * * * [misc]points: Setting MPFR precision to 1344 1539346104.607 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1539346104.609 * * * * [misc]points: Setting MPFR precision to 1088 1539346104.611 * * * * [misc]points: Setting MPFR precision to 1344 1539346104.612 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1539346104.614 * * * * [misc]points: Setting MPFR precision to 1088 1539346104.616 * * * * [misc]points: Setting MPFR precision to 1344 1539346104.618 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1539346104.620 * * * * [misc]points: Setting MPFR precision to 1088 1539346104.625 * * * * [misc]points: Setting MPFR precision to 1344 1539346104.629 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1539346104.631 * * * * [misc]points: Setting MPFR precision to 1088 1539346104.643 * * * * [misc]points: Setting MPFR precision to 1344 1539346104.661 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1539346104.664 * * * * [misc]points: Setting MPFR precision to 1088 1539346104.698 * * * * [misc]points: Setting MPFR precision to 1344 1539346104.734 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1539346104.738 * * * * [misc]points: Setting MPFR precision to 1088 1539346104.775 * * * * [misc]points: Setting MPFR precision to 1344 1539346104.851 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1539346104.853 * * * * [misc]points: Setting MPFR precision to 1088 1539346104.978 * * * * [misc]points: Setting MPFR precision to 1344 1539346105.065 * * * * [misc]points: Computing exacts for 8000 points 1539346105.068 * * * * [misc]points: Setting MPFR precision to 1088 1539346105.556 * * * * [misc]points: Setting MPFR precision to 1344 1539346105.991 * * * * [misc]points: Filtering points with unrepresentable outputs 1539346105.993 * * * * [misc]points: Sampling 2625 additional inputs, on iter 1 have 5375 / 8000 1539346105.999 * * * * [misc]points: Computing exacts on every 164 of 2625 points to ramp up precision 1539346106.022 * * * * [misc]points: Setting MPFR precision to 1088 1539346106.024 * * * * [misc]points: Setting MPFR precision to 1344 1539346106.025 * * * * [misc]points: Computing exacts on every 82 of 2625 points to ramp up precision 1539346106.031 * * * * [misc]points: Setting MPFR precision to 1088 1539346106.033 * * * * [misc]points: Setting MPFR precision to 1344 1539346106.035 * * * * [misc]points: Computing exacts on every 41 of 2625 points to ramp up precision 1539346106.038 * * * * [misc]points: Setting MPFR precision to 1088 1539346106.041 * * * * [misc]points: Setting MPFR precision to 1344 1539346106.043 * * * * [misc]points: Computing exacts on every 20 of 2625 points to ramp up precision 1539346106.045 * * * * [misc]points: Setting MPFR precision to 1088 1539346106.049 * * * * [misc]points: Setting MPFR precision to 1344 1539346106.053 * * * * [misc]points: Computing exacts on every 10 of 2625 points to ramp up precision 1539346106.055 * * * * [misc]points: Setting MPFR precision to 1088 1539346106.064 * * * * [misc]points: Setting MPFR precision to 1344 1539346106.073 * * * * [misc]points: Computing exacts on every 5 of 2625 points to ramp up precision 1539346106.077 * * * * [misc]points: Setting MPFR precision to 1088 1539346106.107 * * * * [misc]points: Setting MPFR precision to 1344 1539346106.136 * * * * [misc]points: Computing exacts on every 2 of 2625 points to ramp up precision 1539346106.140 * * * * [misc]points: Setting MPFR precision to 1088 1539346106.199 * * * * [misc]points: Setting MPFR precision to 1344 1539346106.251 * * * * [misc]points: Computing exacts for 2625 points 1539346106.253 * * * * [misc]points: Setting MPFR precision to 1088 1539346106.414 * * * * [misc]points: Setting MPFR precision to 1344 1539346106.539 * * * * [misc]points: Filtering points with unrepresentable outputs 1539346106.540 * * * * [misc]points: Sampling 861 additional inputs, on iter 2 have 7139 / 8000 1539346106.544 * * * * [misc]points: Computing exacts on every 53 of 861 points to ramp up precision 1539346106.548 * * * * [misc]points: Setting MPFR precision to 1088 1539346106.581 * * * * [misc]points: Setting MPFR precision to 1344 1539346106.582 * * * * [misc]points: Computing exacts on every 26 of 861 points to ramp up precision 1539346106.585 * * * * [misc]points: Setting MPFR precision to 1088 1539346106.588 * * * * [misc]points: Setting MPFR precision to 1344 1539346106.593 * * * * [misc]points: Computing exacts on every 13 of 861 points to ramp up precision 1539346106.596 * * * * [misc]points: Setting MPFR precision to 1088 1539346106.601 * * * * [misc]points: Setting MPFR precision to 1344 1539346106.605 * * * * [misc]points: Computing exacts on every 6 of 861 points to ramp up precision 1539346106.608 * * * * [misc]points: Setting MPFR precision to 1088 1539346106.616 * * * * [misc]points: Setting MPFR precision to 1344 1539346106.624 * * * * [misc]points: Computing exacts on every 3 of 861 points to ramp up precision 1539346106.627 * * * * [misc]points: Setting MPFR precision to 1088 1539346106.642 * * * * [misc]points: Setting MPFR precision to 1344 1539346106.658 * * * * [misc]points: Computing exacts for 861 points 1539346106.661 * * * * [misc]points: Setting MPFR precision to 1088 1539346106.713 * * * * [misc]points: Setting MPFR precision to 1344 1539346106.746 * * * * [misc]points: Filtering points with unrepresentable outputs 1539346106.746 * * * * [misc]points: Sampling 281 additional inputs, on iter 3 have 7719 / 8000 1539346106.747 * * * * [misc]points: Computing exacts on every 17 of 281 points to ramp up precision 1539346106.751 * * * * [misc]points: Setting MPFR precision to 1088 1539346106.752 * * * * [misc]points: Setting MPFR precision to 1344 1539346106.753 * * * * [misc]points: Computing exacts on every 8 of 281 points to ramp up precision 1539346106.757 * * * * [misc]points: Setting MPFR precision to 1088 1539346106.761 * * * * [misc]points: Setting MPFR precision to 1344 1539346106.763 * * * * [misc]points: Computing exacts on every 4 of 281 points to ramp up precision 1539346106.767 * * * * [misc]points: Setting MPFR precision to 1088 1539346106.772 * * * * [misc]points: Setting MPFR precision to 1344 1539346106.777 * * * * [misc]points: Computing exacts on every 2 of 281 points to ramp up precision 1539346106.780 * * * * [misc]points: Setting MPFR precision to 1088 1539346106.787 * * * * [misc]points: Setting MPFR precision to 1344 1539346106.795 * * * * [misc]points: Computing exacts for 281 points 1539346106.820 * * * * [misc]points: Setting MPFR precision to 1088 1539346106.842 * * * * [misc]points: Setting MPFR precision to 1344 1539346106.863 * * * * [misc]points: Filtering points with unrepresentable outputs 1539346106.863 * * * * [misc]points: Sampling 81 additional inputs, on iter 4 have 7919 / 8000 1539346106.864 * * * * [misc]points: Computing exacts on every 5 of 81 points to ramp up precision 1539346106.867 * * * * [misc]points: Setting MPFR precision to 1088 1539346106.868 * * * * [misc]points: Setting MPFR precision to 1344 1539346106.869 * * * * [misc]points: Computing exacts on every 2 of 81 points to ramp up precision 1539346106.873 * * * * [misc]points: Setting MPFR precision to 1088 1539346106.875 * * * * [misc]points: Setting MPFR precision to 1344 1539346106.876 * * * * [misc]points: Computing exacts for 81 points 1539346106.879 * * * * [misc]points: Setting MPFR precision to 1088 1539346106.885 * * * * [misc]points: Setting MPFR precision to 1344 1539346106.890 * * * * [misc]points: Filtering points with unrepresentable outputs 1539346106.890 * * * * [misc]points: Sampling 29 additional inputs, on iter 5 have 7971 / 8000 1539346106.890 * * * * [misc]points: Computing exacts for 29 points 1539346106.893 * * * * [misc]points: Setting MPFR precision to 1088 1539346106.896 * * * * [misc]points: Setting MPFR precision to 1344 1539346106.897 * * * * [misc]points: Filtering points with unrepresentable outputs 1539346106.897 * * * * [misc]points: Sampling 11 additional inputs, on iter 6 have 7989 / 8000 1539346106.897 * * * * [misc]points: Computing exacts for 11 points 1539346106.900 * * * * [misc]points: Setting MPFR precision to 1088 1539346106.901 * * * * [misc]points: Setting MPFR precision to 1344 1539346106.902 * * * * [misc]points: Filtering points with unrepresentable outputs 1539346106.902 * * * * [misc]points: Sampling 4 additional inputs, on iter 7 have 7996 / 8000 1539346106.902 * * * * [misc]points: Computing exacts for 4 points 1539346106.905 * * * * [misc]points: Setting MPFR precision to 1088 1539346106.905 * * * * [misc]points: Setting MPFR precision to 1344 1539346106.905 * * * * [misc]points: Filtering points with unrepresentable outputs 1539346106.906 * * * * [misc]points: Sampling 4 additional inputs, on iter 8 have 7999 / 8000 1539346106.906 * * * * [misc]points: Computing exacts for 4 points 1539346106.909 * * * * [misc]points: Setting MPFR precision to 1088 1539346106.909 * * * * [misc]points: Setting MPFR precision to 1344 1539346106.910 * * * * [misc]points: Filtering points with unrepresentable outputs 1539346106.910 * * * * [exit]points: Sampled 8002 points with exact outputs 1539346107.110 * [misc]regime-testing: Baseline error score: 0.000625 1539346107.110 * [misc]regime-testing: End program error score: 0.000625 1539346107.112 * [misc]regime-testing: Oracle error score: 0.000625 1539346107.144 * [misc]regime-testing: Target error score: 0.4241704824927309