1540197410.728 * [misc]progress: [Phase 1 of 3] Setting up. 1540197410.728 * * * [misc]progress: [1/2] Preparing points 1540197410.728 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1540197410.729 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1540197410.731 * * * * [misc]points: Setting MPFR precision to 64 1540197410.731 * * * * [misc]points: Setting MPFR precision to 320 1540197410.732 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1540197410.732 * * * * [misc]points: Setting MPFR precision to 64 1540197410.733 * * * * [misc]points: Setting MPFR precision to 320 1540197410.734 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1540197410.734 * * * * [misc]points: Setting MPFR precision to 64 1540197410.735 * * * * [misc]points: Setting MPFR precision to 320 1540197410.736 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1540197410.737 * * * * [misc]points: Setting MPFR precision to 64 1540197410.738 * * * * [misc]points: Setting MPFR precision to 320 1540197410.740 * * * * [misc]points: Computing exacts for 256 points 1540197410.741 * * * * [misc]points: Setting MPFR precision to 64 1540197410.745 * * * * [misc]points: Setting MPFR precision to 320 1540197410.749 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197410.750 * * * * [misc]points: Sampling 133 additional inputs, on iter 1 have 123 / 256 1540197410.750 * * * * [misc]points: Computing exacts on every 8 of 133 points to ramp up precision 1540197410.751 * * * * [misc]points: Setting MPFR precision to 64 1540197410.751 * * * * [misc]points: Setting MPFR precision to 320 1540197410.752 * * * * [misc]points: Computing exacts on every 4 of 133 points to ramp up precision 1540197410.753 * * * * [misc]points: Setting MPFR precision to 64 1540197410.753 * * * * [misc]points: Setting MPFR precision to 320 1540197410.754 * * * * [misc]points: Computing exacts on every 2 of 133 points to ramp up precision 1540197410.755 * * * * [misc]points: Setting MPFR precision to 64 1540197410.755 * * * * [misc]points: Setting MPFR precision to 320 1540197410.756 * * * * [misc]points: Computing exacts for 133 points 1540197410.757 * * * * [misc]points: Setting MPFR precision to 64 1540197410.760 * * * * [misc]points: Setting MPFR precision to 320 1540197410.765 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197410.765 * * * * [misc]points: Sampling 68 additional inputs, on iter 2 have 188 / 256 1540197410.765 * * * * [misc]points: Computing exacts on every 4 of 68 points to ramp up precision 1540197410.767 * * * * [misc]points: Setting MPFR precision to 64 1540197410.768 * * * * [misc]points: Setting MPFR precision to 320 1540197410.768 * * * * [misc]points: Computing exacts on every 2 of 68 points to ramp up precision 1540197410.770 * * * * [misc]points: Setting MPFR precision to 64 1540197410.771 * * * * [misc]points: Setting MPFR precision to 320 1540197410.772 * * * * [misc]points: Computing exacts for 68 points 1540197410.773 * * * * [misc]points: Setting MPFR precision to 64 1540197410.790 * * * * [misc]points: Setting MPFR precision to 320 1540197410.792 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197410.792 * * * * [misc]points: Sampling 30 additional inputs, on iter 3 have 226 / 256 1540197410.792 * * * * [misc]points: Computing exacts for 30 points 1540197410.794 * * * * [misc]points: Setting MPFR precision to 64 1540197410.795 * * * * [misc]points: Setting MPFR precision to 320 1540197410.796 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197410.796 * * * * [misc]points: Sampling 13 additional inputs, on iter 4 have 243 / 256 1540197410.796 * * * * [misc]points: Computing exacts for 13 points 1540197410.798 * * * * [misc]points: Setting MPFR precision to 64 1540197410.798 * * * * [misc]points: Setting MPFR precision to 320 1540197410.799 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197410.799 * * * * [misc]points: Sampling 5 additional inputs, on iter 5 have 251 / 256 1540197410.800 * * * * [misc]points: Computing exacts for 5 points 1540197410.802 * * * * [misc]points: Setting MPFR precision to 64 1540197410.802 * * * * [misc]points: Setting MPFR precision to 320 1540197410.802 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197410.802 * * * * [misc]points: Sampling 4 additional inputs, on iter 6 have 254 / 256 1540197410.802 * * * * [misc]points: Computing exacts for 4 points 1540197410.804 * * * * [misc]points: Setting MPFR precision to 64 1540197410.804 * * * * [misc]points: Setting MPFR precision to 320 1540197410.804 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197410.804 * * * * [exit]points: Sampled 256 points with exact outputs 1540197410.804 * * * [misc]progress: [2/2] Setting up program. 1540197410.808 * [misc]progress: [Phase 2 of 3] Improving. 1540197410.808 * [enter]simplify: Simplifying (exp (- (- 1 (* x x)))) 1540197410.808 * * [misc]simplify: iters left: 6 (6 enodes) 1540197410.811 * * [misc]simplify: iters left: 5 (12 enodes) 1540197410.815 * * [misc]simplify: iters left: 4 (25 enodes) 1540197410.824 * * [misc]simplify: iters left: 3 (49 enodes) 1540197410.838 * * [misc]simplify: iters left: 2 (78 enodes) 1540197410.861 * * [misc]simplify: iters left: 1 (122 enodes) 1540197410.881 * [exit]simplify: Simplified to (/ (exp (* x x)) E) 1540197410.885 * * [misc]progress: iteration 1 / 4 1540197410.885 * * * [misc]progress: picking best candidate 1540197410.887 * * * * [misc]pick: Picked # 1540197410.887 * * * [misc]progress: localizing error 1540197410.897 * * * [misc]progress: generating rewritten candidates 1540197410.897 * * * [misc]progress: generating series expansions 1540197410.897 * * * [misc]progress: simplifying candidates 1540197410.897 * * * [misc]progress: adding candidates to table 1540197410.897 * [misc]progress: [Phase 3 of 3] Extracting. 1540197410.899 * [enter]simplify: Simplifying (exp (- (- 1 (* x x)))) 1540197410.899 * * [misc]simplify: iters left: 6 (6 enodes) 1540197410.904 * * [misc]simplify: iters left: 5 (8 enodes) 1540197410.905 * [exit]simplify: Simplified to (exp (- (- 1 (* x x)))) 1540197410.905 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1540197410.924 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1540197410.925 * * * * [misc]points: Setting MPFR precision to 64 1540197410.926 * * * * [misc]points: Setting MPFR precision to 320 1540197410.926 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1540197410.927 * * * * [misc]points: Setting MPFR precision to 64 1540197410.928 * * * * [misc]points: Setting MPFR precision to 320 1540197410.928 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1540197410.929 * * * * [misc]points: Setting MPFR precision to 64 1540197410.931 * * * * [misc]points: Setting MPFR precision to 320 1540197410.932 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1540197410.933 * * * * [misc]points: Setting MPFR precision to 64 1540197410.935 * * * * [misc]points: Setting MPFR precision to 320 1540197410.937 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1540197410.938 * * * * [misc]points: Setting MPFR precision to 64 1540197410.942 * * * * [misc]points: Setting MPFR precision to 320 1540197410.946 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1540197410.948 * * * * [misc]points: Setting MPFR precision to 64 1540197410.955 * * * * [misc]points: Setting MPFR precision to 320 1540197410.970 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1540197410.972 * * * * [misc]points: Setting MPFR precision to 64 1540197410.995 * * * * [misc]points: Setting MPFR precision to 320 1540197411.042 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1540197411.044 * * * * [misc]points: Setting MPFR precision to 64 1540197411.078 * * * * [misc]points: Setting MPFR precision to 320 1540197411.119 * * * * [misc]points: Computing exacts for 8000 points 1540197411.120 * * * * [misc]points: Setting MPFR precision to 64 1540197411.347 * * * * [misc]points: Setting MPFR precision to 320 1540197411.572 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197411.573 * * * * [misc]points: Sampling 4100 additional inputs, on iter 1 have 3900 / 8000 1540197411.583 * * * * [misc]points: Computing exacts on every 256 of 4100 points to ramp up precision 1540197411.606 * * * * [misc]points: Setting MPFR precision to 64 1540197411.606 * * * * [misc]points: Setting MPFR precision to 320 1540197411.607 * * * * [misc]points: Computing exacts on every 128 of 4100 points to ramp up precision 1540197411.608 * * * * [misc]points: Setting MPFR precision to 64 1540197411.608 * * * * [misc]points: Setting MPFR precision to 320 1540197411.609 * * * * [misc]points: Computing exacts on every 64 of 4100 points to ramp up precision 1540197411.610 * * * * [misc]points: Setting MPFR precision to 64 1540197411.611 * * * * [misc]points: Setting MPFR precision to 320 1540197411.612 * * * * [misc]points: Computing exacts on every 32 of 4100 points to ramp up precision 1540197411.613 * * * * [misc]points: Setting MPFR precision to 64 1540197411.616 * * * * [misc]points: Setting MPFR precision to 320 1540197411.618 * * * * [misc]points: Computing exacts on every 16 of 4100 points to ramp up precision 1540197411.619 * * * * [misc]points: Setting MPFR precision to 64 1540197411.623 * * * * [misc]points: Setting MPFR precision to 320 1540197411.627 * * * * [misc]points: Computing exacts on every 8 of 4100 points to ramp up precision 1540197411.628 * * * * [misc]points: Setting MPFR precision to 64 1540197411.635 * * * * [misc]points: Setting MPFR precision to 320 1540197411.647 * * * * [misc]points: Computing exacts on every 4 of 4100 points to ramp up precision 1540197411.649 * * * * [misc]points: Setting MPFR precision to 64 1540197411.667 * * * * [misc]points: Setting MPFR precision to 320 1540197411.681 * * * * [misc]points: Computing exacts on every 2 of 4100 points to ramp up precision 1540197411.682 * * * * [misc]points: Setting MPFR precision to 64 1540197411.717 * * * * [misc]points: Setting MPFR precision to 320 1540197411.795 * * * * [misc]points: Computing exacts for 4100 points 1540197411.796 * * * * [misc]points: Setting MPFR precision to 64 1540197411.902 * * * * [misc]points: Setting MPFR precision to 320 1540197412.053 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197412.054 * * * * [misc]points: Sampling 1952 additional inputs, on iter 2 have 6048 / 8000 1540197412.063 * * * * [misc]points: Computing exacts on every 122 of 1952 points to ramp up precision 1540197412.064 * * * * [misc]points: Setting MPFR precision to 64 1540197412.065 * * * * [misc]points: Setting MPFR precision to 320 1540197412.065 * * * * [misc]points: Computing exacts on every 61 of 1952 points to ramp up precision 1540197412.066 * * * * [misc]points: Setting MPFR precision to 64 1540197412.066 * * * * [misc]points: Setting MPFR precision to 320 1540197412.067 * * * * [misc]points: Computing exacts on every 30 of 1952 points to ramp up precision 1540197412.068 * * * * [misc]points: Setting MPFR precision to 64 1540197412.069 * * * * [misc]points: Setting MPFR precision to 320 1540197412.070 * * * * [misc]points: Computing exacts on every 15 of 1952 points to ramp up precision 1540197412.071 * * * * [misc]points: Setting MPFR precision to 64 1540197412.073 * * * * [misc]points: Setting MPFR precision to 320 1540197412.075 * * * * [misc]points: Computing exacts on every 7 of 1952 points to ramp up precision 1540197412.076 * * * * [misc]points: Setting MPFR precision to 64 1540197412.079 * * * * [misc]points: Setting MPFR precision to 320 1540197412.084 * * * * [misc]points: Computing exacts on every 3 of 1952 points to ramp up precision 1540197412.085 * * * * [misc]points: Setting MPFR precision to 64 1540197412.128 * * * * [misc]points: Setting MPFR precision to 320 1540197412.138 * * * * [misc]points: Computing exacts for 1952 points 1540197412.140 * * * * [misc]points: Setting MPFR precision to 64 1540197412.174 * * * * [misc]points: Setting MPFR precision to 320 1540197412.215 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197412.216 * * * * [misc]points: Sampling 974 additional inputs, on iter 3 have 7026 / 8000 1540197412.218 * * * * [misc]points: Computing exacts on every 60 of 974 points to ramp up precision 1540197412.220 * * * * [misc]points: Setting MPFR precision to 64 1540197412.220 * * * * [misc]points: Setting MPFR precision to 320 1540197412.221 * * * * [misc]points: Computing exacts on every 30 of 974 points to ramp up precision 1540197412.221 * * * * [misc]points: Setting MPFR precision to 64 1540197412.222 * * * * [misc]points: Setting MPFR precision to 320 1540197412.223 * * * * [misc]points: Computing exacts on every 15 of 974 points to ramp up precision 1540197412.223 * * * * [misc]points: Setting MPFR precision to 64 1540197412.224 * * * * [misc]points: Setting MPFR precision to 320 1540197412.226 * * * * [misc]points: Computing exacts on every 7 of 974 points to ramp up precision 1540197412.226 * * * * [misc]points: Setting MPFR precision to 64 1540197412.259 * * * * [misc]points: Setting MPFR precision to 320 1540197412.263 * * * * [misc]points: Computing exacts on every 3 of 974 points to ramp up precision 1540197412.265 * * * * [misc]points: Setting MPFR precision to 64 1540197412.277 * * * * [misc]points: Setting MPFR precision to 320 1540197412.287 * * * * [misc]points: Computing exacts for 974 points 1540197412.289 * * * * [misc]points: Setting MPFR precision to 64 1540197412.321 * * * * [misc]points: Setting MPFR precision to 320 1540197412.353 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197412.354 * * * * [misc]points: Sampling 475 additional inputs, on iter 4 have 7525 / 8000 1540197412.355 * * * * [misc]points: Computing exacts on every 29 of 475 points to ramp up precision 1540197412.356 * * * * [misc]points: Setting MPFR precision to 64 1540197412.356 * * * * [misc]points: Setting MPFR precision to 320 1540197412.357 * * * * [misc]points: Computing exacts on every 14 of 475 points to ramp up precision 1540197412.357 * * * * [misc]points: Setting MPFR precision to 64 1540197412.358 * * * * [misc]points: Setting MPFR precision to 320 1540197412.359 * * * * [misc]points: Computing exacts on every 7 of 475 points to ramp up precision 1540197412.359 * * * * [misc]points: Setting MPFR precision to 64 1540197412.360 * * * * [misc]points: Setting MPFR precision to 320 1540197412.361 * * * * [misc]points: Computing exacts on every 3 of 475 points to ramp up precision 1540197412.362 * * * * [misc]points: Setting MPFR precision to 64 1540197412.364 * * * * [misc]points: Setting MPFR precision to 320 1540197412.366 * * * * [misc]points: Computing exacts for 475 points 1540197412.367 * * * * [misc]points: Setting MPFR precision to 64 1540197412.375 * * * * [misc]points: Setting MPFR precision to 320 1540197412.383 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197412.383 * * * * [misc]points: Sampling 239 additional inputs, on iter 5 have 7761 / 8000 1540197412.383 * * * * [misc]points: Computing exacts on every 14 of 239 points to ramp up precision 1540197412.385 * * * * [misc]points: Setting MPFR precision to 64 1540197412.385 * * * * [misc]points: Setting MPFR precision to 320 1540197412.385 * * * * [misc]points: Computing exacts on every 7 of 239 points to ramp up precision 1540197412.386 * * * * [misc]points: Setting MPFR precision to 64 1540197412.387 * * * * [misc]points: Setting MPFR precision to 320 1540197412.387 * * * * [misc]points: Computing exacts on every 3 of 239 points to ramp up precision 1540197412.388 * * * * [misc]points: Setting MPFR precision to 64 1540197412.389 * * * * [misc]points: Setting MPFR precision to 320 1540197412.390 * * * * [misc]points: Computing exacts for 239 points 1540197412.391 * * * * [misc]points: Setting MPFR precision to 64 1540197412.394 * * * * [misc]points: Setting MPFR precision to 320 1540197412.399 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197412.399 * * * * [misc]points: Sampling 113 additional inputs, on iter 6 have 7887 / 8000 1540197412.399 * * * * [misc]points: Computing exacts on every 7 of 113 points to ramp up precision 1540197412.805 * * * * [misc]points: Setting MPFR precision to 64 1540197412.806 * * * * [misc]points: Setting MPFR precision to 320 1540197412.806 * * * * [misc]points: Computing exacts on every 3 of 113 points to ramp up precision 1540197412.808 * * * * [misc]points: Setting MPFR precision to 64 1540197412.809 * * * * [misc]points: Setting MPFR precision to 320 1540197412.810 * * * * [misc]points: Computing exacts for 113 points 1540197412.811 * * * * [misc]points: Setting MPFR precision to 64 1540197412.815 * * * * [misc]points: Setting MPFR precision to 320 1540197412.824 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197412.824 * * * * [misc]points: Sampling 51 additional inputs, on iter 7 have 7949 / 8000 1540197412.825 * * * * [misc]points: Computing exacts on every 3 of 51 points to ramp up precision 1540197412.826 * * * * [misc]points: Setting MPFR precision to 64 1540197412.827 * * * * [misc]points: Setting MPFR precision to 320 1540197412.827 * * * * [misc]points: Computing exacts for 51 points 1540197412.829 * * * * [misc]points: Setting MPFR precision to 64 1540197412.831 * * * * [misc]points: Setting MPFR precision to 320 1540197412.833 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197412.833 * * * * [misc]points: Sampling 21 additional inputs, on iter 8 have 7979 / 8000 1540197412.833 * * * * [misc]points: Computing exacts for 21 points 1540197412.834 * * * * [misc]points: Setting MPFR precision to 64 1540197412.835 * * * * [misc]points: Setting MPFR precision to 320 1540197412.836 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197412.836 * * * * [misc]points: Sampling 11 additional inputs, on iter 9 have 7989 / 8000 1540197412.836 * * * * [misc]points: Computing exacts for 11 points 1540197412.838 * * * * [misc]points: Setting MPFR precision to 64 1540197412.839 * * * * [misc]points: Setting MPFR precision to 320 1540197412.839 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197412.839 * * * * [misc]points: Sampling 5 additional inputs, on iter 10 have 7995 / 8000 1540197412.840 * * * * [misc]points: Computing exacts for 5 points 1540197412.841 * * * * [misc]points: Setting MPFR precision to 64 1540197412.842 * * * * [misc]points: Setting MPFR precision to 320 1540197412.842 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197412.842 * * * * [misc]points: Sampling 4 additional inputs, on iter 11 have 7996 / 8000 1540197412.842 * * * * [misc]points: Computing exacts for 4 points 1540197412.844 * * * * [misc]points: Setting MPFR precision to 64 1540197412.844 * * * * [misc]points: Setting MPFR precision to 320 1540197412.844 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197412.844 * * * * [misc]points: Sampling 4 additional inputs, on iter 12 have 7998 / 8000 1540197412.845 * * * * [misc]points: Computing exacts for 4 points 1540197412.846 * * * * [misc]points: Setting MPFR precision to 64 1540197412.847 * * * * [misc]points: Setting MPFR precision to 320 1540197412.847 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197412.847 * * * * [exit]points: Sampled 8001 points with exact outputs 1540197413.060 * [misc]regime-testing: Baseline error score: 0.017593727041583785 1540197413.060 * [misc]regime-testing: End program error score: 0.017593727041583785 1540197413.063 * [misc]regime-testing: Oracle error score: 0.017593727041583785