1537432602.681 * [misc]progress: [Phase 1 of 3] Setting up. 1537432602.681 * * * [misc]progress: [1/2] Preparing points 1537432602.681 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1537432602.682 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1537432602.683 * * * * [misc]points: Setting MPFR precision to 64 1537432602.684 * * * * [misc]points: Setting MPFR precision to 320 1537432602.684 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1537432602.685 * * * * [misc]points: Setting MPFR precision to 64 1537432602.685 * * * * [misc]points: Setting MPFR precision to 320 1537432602.686 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1537432602.687 * * * * [misc]points: Setting MPFR precision to 64 1537432602.690 * * * * [misc]points: Setting MPFR precision to 320 1537432602.691 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1537432602.692 * * * * [misc]points: Setting MPFR precision to 64 1537432602.694 * * * * [misc]points: Setting MPFR precision to 320 1537432602.696 * * * * [misc]points: Computing exacts for 256 points 1537432602.697 * * * * [misc]points: Setting MPFR precision to 64 1537432602.701 * * * * [misc]points: Setting MPFR precision to 320 1537432602.706 * * * * [misc]points: Filtering points with unrepresentable outputs 1537432602.707 * * * * [misc]points: Sampling 121 additional inputs, on iter 1 have 135 / 256 1537432602.707 * * * * [misc]points: Computing exacts on every 7 of 121 points to ramp up precision 1537432602.708 * * * * [misc]points: Setting MPFR precision to 64 1537432602.709 * * * * [misc]points: Setting MPFR precision to 320 1537432602.709 * * * * [misc]points: Computing exacts on every 3 of 121 points to ramp up precision 1537432602.710 * * * * [misc]points: Setting MPFR precision to 64 1537432602.710 * * * * [misc]points: Setting MPFR precision to 320 1537432602.711 * * * * [misc]points: Computing exacts for 121 points 1537432602.712 * * * * [misc]points: Setting MPFR precision to 64 1537432602.714 * * * * [misc]points: Setting MPFR precision to 320 1537432602.716 * * * * [misc]points: Filtering points with unrepresentable outputs 1537432602.717 * * * * [misc]points: Sampling 47 additional inputs, on iter 2 have 209 / 256 1537432602.717 * * * * [misc]points: Computing exacts on every 2 of 47 points to ramp up precision 1537432602.718 * * * * [misc]points: Setting MPFR precision to 64 1537432602.719 * * * * [misc]points: Setting MPFR precision to 320 1537432602.719 * * * * [misc]points: Computing exacts for 47 points 1537432602.720 * * * * [misc]points: Setting MPFR precision to 64 1537432602.721 * * * * [misc]points: Setting MPFR precision to 320 1537432602.722 * * * * [misc]points: Filtering points with unrepresentable outputs 1537432602.722 * * * * [misc]points: Sampling 20 additional inputs, on iter 3 have 236 / 256 1537432602.722 * * * * [misc]points: Computing exacts for 20 points 1537432602.723 * * * * [misc]points: Setting MPFR precision to 64 1537432602.724 * * * * [misc]points: Setting MPFR precision to 320 1537432602.724 * * * * [misc]points: Filtering points with unrepresentable outputs 1537432602.724 * * * * [misc]points: Sampling 10 additional inputs, on iter 4 have 246 / 256 1537432602.724 * * * * [misc]points: Computing exacts for 10 points 1537432602.725 * * * * [misc]points: Setting MPFR precision to 64 1537432602.725 * * * * [misc]points: Setting MPFR precision to 320 1537432602.725 * * * * [misc]points: Filtering points with unrepresentable outputs 1537432602.725 * * * * [misc]points: Sampling 4 additional inputs, on iter 5 have 252 / 256 1537432602.725 * * * * [misc]points: Computing exacts for 4 points 1537432602.726 * * * * [misc]points: Setting MPFR precision to 64 1537432602.726 * * * * [misc]points: Setting MPFR precision to 320 1537432602.726 * * * * [misc]points: Filtering points with unrepresentable outputs 1537432602.726 * * * * [misc]points: Sampling 4 additional inputs, on iter 6 have 255 / 256 1537432602.726 * * * * [misc]points: Computing exacts for 4 points 1537432602.727 * * * * [misc]points: Setting MPFR precision to 64 1537432602.727 * * * * [misc]points: Setting MPFR precision to 320 1537432602.727 * * * * [misc]points: Filtering points with unrepresentable outputs 1537432602.727 * * * * [exit]points: Sampled 257 points with exact outputs 1537432602.727 * * * [misc]progress: [2/2] Setting up program. 1537432602.730 * [misc]progress: [Phase 2 of 3] Improving. 1537432602.730 * [enter]simplify: Simplifying (- (* a a) (* b b)) 1537432602.731 * * [misc]simplify: iters left: 4 (5 enodes) 1537432602.732 * * [misc]simplify: iters left: 3 (10 enodes) 1537432602.734 * * [misc]simplify: iters left: 2 (17 enodes) 1537432602.738 * * [misc]simplify: iters left: 1 (32 enodes) 1537432602.746 * [exit]simplify: Simplified to (* (+ a b) (- a b)) 1537432602.752 * * [misc]progress: iteration 1 / 4 1537432602.752 * * * [misc]progress: picking best candidate 1537432602.755 * * * * [misc]pick: Picked # 1537432602.755 * * * [misc]progress: localizing error 1537432602.764 * * * [misc]progress: generating rewritten candidates 1537432602.764 * * * [misc]progress: generating series expansions 1537432602.764 * * * [misc]progress: simplifying candidates 1537432602.764 * * * [misc]progress: adding candidates to table 1537432602.764 * [misc]progress: [Phase 3 of 3] Extracting. 1537432602.767 * [enter]simplify: Simplifying (* (+ a b) (- a b)) 1537432602.779 * * [misc]simplify: iters left: 4 (5 enodes) 1537432602.780 * * [misc]simplify: iters left: 3 (7 enodes) 1537432602.781 * [exit]simplify: Simplified to (* (+ b a) (- a b)) 1537432602.781 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1537432602.852 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1537432602.853 * * * * [misc]points: Setting MPFR precision to 64 1537432602.854 * * * * [misc]points: Setting MPFR precision to 320 1537432602.855 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1537432602.856 * * * * [misc]points: Setting MPFR precision to 64 1537432602.858 * * * * [misc]points: Setting MPFR precision to 320 1537432602.859 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1537432602.860 * * * * [misc]points: Setting MPFR precision to 64 1537432602.863 * * * * [misc]points: Setting MPFR precision to 320 1537432602.865 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1537432602.867 * * * * [misc]points: Setting MPFR precision to 64 1537432602.871 * * * * [misc]points: Setting MPFR precision to 320 1537432602.874 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1537432602.875 * * * * [misc]points: Setting MPFR precision to 64 1537432602.892 * * * * [misc]points: Setting MPFR precision to 320 1537432602.897 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1537432602.899 * * * * [misc]points: Setting MPFR precision to 64 1537432602.909 * * * * [misc]points: Setting MPFR precision to 320 1537432602.919 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1537432602.920 * * * * [misc]points: Setting MPFR precision to 64 1537432602.939 * * * * [misc]points: Setting MPFR precision to 320 1537432602.962 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1537432602.963 * * * * [misc]points: Setting MPFR precision to 64 1537432603.064 * * * * [misc]points: Setting MPFR precision to 320 1537432603.138 * * * * [misc]points: Computing exacts for 8000 points 1537432603.140 * * * * [misc]points: Setting MPFR precision to 64 1537432603.494 * * * * [misc]points: Setting MPFR precision to 320 1537432603.830 * * * * [misc]points: Setting MPFR precision to 576 1537432604.143 * * * * [misc]points: Filtering points with unrepresentable outputs 1537432604.144 * * * * [misc]points: Sampling 3505 additional inputs, on iter 1 have 4495 / 8000 1537432604.162 * * * * [misc]points: Computing exacts on every 219 of 3505 points to ramp up precision 1537432604.163 * * * * [misc]points: Setting MPFR precision to 320 1537432604.164 * * * * [misc]points: Setting MPFR precision to 576 1537432604.164 * * * * [misc]points: Computing exacts on every 109 of 3505 points to ramp up precision 1537432604.165 * * * * [misc]points: Setting MPFR precision to 320 1537432604.165 * * * * [misc]points: Setting MPFR precision to 576 1537432604.166 * * * * [misc]points: Computing exacts on every 54 of 3505 points to ramp up precision 1537432604.167 * * * * [misc]points: Setting MPFR precision to 320 1537432604.168 * * * * [misc]points: Setting MPFR precision to 576 1537432604.188 * * * * [misc]points: Computing exacts on every 27 of 3505 points to ramp up precision 1537432604.189 * * * * [misc]points: Setting MPFR precision to 320 1537432604.192 * * * * [misc]points: Setting MPFR precision to 576 1537432604.194 * * * * [misc]points: Computing exacts on every 13 of 3505 points to ramp up precision 1537432604.196 * * * * [misc]points: Setting MPFR precision to 320 1537432604.207 * * * * [misc]points: Setting MPFR precision to 576 1537432604.216 * * * * [misc]points: Computing exacts on every 6 of 3505 points to ramp up precision 1537432604.217 * * * * [misc]points: Setting MPFR precision to 320 1537432604.236 * * * * [misc]points: Setting MPFR precision to 576 1537432604.251 * * * * [misc]points: Computing exacts on every 3 of 3505 points to ramp up precision 1537432604.252 * * * * [misc]points: Setting MPFR precision to 320 1537432604.269 * * * * [misc]points: Setting MPFR precision to 576 1537432604.292 * * * * [misc]points: Computing exacts for 3505 points 1537432604.294 * * * * [misc]points: Setting MPFR precision to 320 1537432604.405 * * * * [misc]points: Setting MPFR precision to 576 1537432604.504 * * * * [misc]points: Filtering points with unrepresentable outputs 1537432604.505 * * * * [misc]points: Sampling 1502 additional inputs, on iter 2 have 6498 / 8000 1537432604.512 * * * * [misc]points: Computing exacts on every 93 of 1502 points to ramp up precision 1537432604.513 * * * * [misc]points: Setting MPFR precision to 320 1537432604.514 * * * * [misc]points: Setting MPFR precision to 576 1537432604.514 * * * * [misc]points: Computing exacts on every 46 of 1502 points to ramp up precision 1537432604.515 * * * * [misc]points: Setting MPFR precision to 320 1537432604.516 * * * * [misc]points: Setting MPFR precision to 576 1537432604.516 * * * * [misc]points: Computing exacts on every 23 of 1502 points to ramp up precision 1537432604.517 * * * * [misc]points: Setting MPFR precision to 320 1537432604.518 * * * * [misc]points: Setting MPFR precision to 576 1537432604.519 * * * * [misc]points: Computing exacts on every 11 of 1502 points to ramp up precision 1537432604.520 * * * * [misc]points: Setting MPFR precision to 320 1537432604.523 * * * * [misc]points: Setting MPFR precision to 576 1537432604.525 * * * * [misc]points: Computing exacts on every 5 of 1502 points to ramp up precision 1537432604.526 * * * * [misc]points: Setting MPFR precision to 320 1537432604.531 * * * * [misc]points: Setting MPFR precision to 576 1537432604.821 * * * * [misc]points: Computing exacts on every 2 of 1502 points to ramp up precision 1537432604.822 * * * * [misc]points: Setting MPFR precision to 320 1537432604.833 * * * * [misc]points: Setting MPFR precision to 576 1537432604.843 * * * * [misc]points: Computing exacts for 1502 points 1537432604.844 * * * * [misc]points: Setting MPFR precision to 320 1537432604.873 * * * * [misc]points: Setting MPFR precision to 576 1537432604.930 * * * * [misc]points: Filtering points with unrepresentable outputs 1537432604.930 * * * * [misc]points: Sampling 639 additional inputs, on iter 3 have 7361 / 8000 1537432604.933 * * * * [misc]points: Computing exacts on every 39 of 639 points to ramp up precision 1537432604.934 * * * * [misc]points: Setting MPFR precision to 320 1537432604.964 * * * * [misc]points: Setting MPFR precision to 576 1537432604.964 * * * * [misc]points: Computing exacts on every 19 of 639 points to ramp up precision 1537432604.965 * * * * [misc]points: Setting MPFR precision to 320 1537432604.966 * * * * [misc]points: Setting MPFR precision to 576 1537432604.966 * * * * [misc]points: Computing exacts on every 9 of 639 points to ramp up precision 1537432604.967 * * * * [misc]points: Setting MPFR precision to 320 1537432604.968 * * * * [misc]points: Setting MPFR precision to 576 1537432604.970 * * * * [misc]points: Computing exacts on every 4 of 639 points to ramp up precision 1537432604.970 * * * * [misc]points: Setting MPFR precision to 320 1537432604.973 * * * * [misc]points: Setting MPFR precision to 576 1537432604.977 * * * * [misc]points: Computing exacts on every 2 of 639 points to ramp up precision 1537432604.978 * * * * [misc]points: Setting MPFR precision to 320 1537432604.982 * * * * [misc]points: Setting MPFR precision to 576 1537432604.987 * * * * [misc]points: Computing exacts for 639 points 1537432604.988 * * * * [misc]points: Setting MPFR precision to 320 1537432605.004 * * * * [misc]points: Setting MPFR precision to 576 1537432605.027 * * * * [misc]points: Filtering points with unrepresentable outputs 1537432605.027 * * * * [misc]points: Sampling 265 additional inputs, on iter 4 have 7735 / 8000 1537432605.028 * * * * [misc]points: Computing exacts on every 16 of 265 points to ramp up precision 1537432605.029 * * * * [misc]points: Setting MPFR precision to 320 1537432605.030 * * * * [misc]points: Setting MPFR precision to 576 1537432605.030 * * * * [misc]points: Computing exacts on every 8 of 265 points to ramp up precision 1537432605.031 * * * * [misc]points: Setting MPFR precision to 320 1537432605.032 * * * * [misc]points: Setting MPFR precision to 576 1537432605.032 * * * * [misc]points: Computing exacts on every 4 of 265 points to ramp up precision 1537432605.033 * * * * [misc]points: Setting MPFR precision to 320 1537432605.034 * * * * [misc]points: Setting MPFR precision to 576 1537432605.035 * * * * [misc]points: Computing exacts on every 2 of 265 points to ramp up precision 1537432605.036 * * * * [misc]points: Setting MPFR precision to 320 1537432605.038 * * * * [misc]points: Setting MPFR precision to 576 1537432605.039 * * * * [misc]points: Computing exacts for 265 points 1537432605.040 * * * * [misc]points: Setting MPFR precision to 320 1537432605.045 * * * * [misc]points: Setting MPFR precision to 576 1537432605.050 * * * * [misc]points: Filtering points with unrepresentable outputs 1537432605.051 * * * * [misc]points: Sampling 109 additional inputs, on iter 5 have 7891 / 8000 1537432605.051 * * * * [misc]points: Computing exacts on every 6 of 109 points to ramp up precision 1537432605.052 * * * * [misc]points: Setting MPFR precision to 320 1537432605.052 * * * * [misc]points: Setting MPFR precision to 576 1537432605.053 * * * * [misc]points: Computing exacts on every 3 of 109 points to ramp up precision 1537432605.053 * * * * [misc]points: Setting MPFR precision to 320 1537432605.054 * * * * [misc]points: Setting MPFR precision to 576 1537432605.054 * * * * [misc]points: Computing exacts for 109 points 1537432605.055 * * * * [misc]points: Setting MPFR precision to 320 1537432605.057 * * * * [misc]points: Setting MPFR precision to 576 1537432605.059 * * * * [misc]points: Filtering points with unrepresentable outputs 1537432605.060 * * * * [misc]points: Sampling 49 additional inputs, on iter 6 have 7951 / 8000 1537432605.060 * * * * [misc]points: Computing exacts on every 3 of 49 points to ramp up precision 1537432605.061 * * * * [misc]points: Setting MPFR precision to 320 1537432605.061 * * * * [misc]points: Setting MPFR precision to 576 1537432605.085 * * * * [misc]points: Computing exacts for 49 points 1537432605.086 * * * * [misc]points: Setting MPFR precision to 320 1537432605.087 * * * * [misc]points: Setting MPFR precision to 576 1537432605.089 * * * * [misc]points: Filtering points with unrepresentable outputs 1537432605.089 * * * * [misc]points: Sampling 21 additional inputs, on iter 7 have 7979 / 8000 1537432605.089 * * * * [misc]points: Computing exacts for 21 points 1537432605.090 * * * * [misc]points: Setting MPFR precision to 320 1537432605.090 * * * * [misc]points: Setting MPFR precision to 576 1537432605.090 * * * * [misc]points: Filtering points with unrepresentable outputs 1537432605.090 * * * * [misc]points: Sampling 10 additional inputs, on iter 8 have 7990 / 8000 1537432605.091 * * * * [misc]points: Computing exacts for 10 points 1537432605.091 * * * * [misc]points: Setting MPFR precision to 320 1537432605.092 * * * * [misc]points: Setting MPFR precision to 576 1537432605.092 * * * * [misc]points: Filtering points with unrepresentable outputs 1537432605.092 * * * * [misc]points: Sampling 4 additional inputs, on iter 9 have 7997 / 8000 1537432605.092 * * * * [misc]points: Computing exacts for 4 points 1537432605.093 * * * * [misc]points: Setting MPFR precision to 320 1537432605.093 * * * * [misc]points: Setting MPFR precision to 576 1537432605.093 * * * * [misc]points: Filtering points with unrepresentable outputs 1537432605.093 * * * * [misc]points: Sampling 4 additional inputs, on iter 10 have 7997 / 8000 1537432605.093 * * * * [misc]points: Computing exacts for 4 points 1537432605.094 * * * * [misc]points: Setting MPFR precision to 320 1537432605.094 * * * * [misc]points: Setting MPFR precision to 576 1537432605.094 * * * * [misc]points: Filtering points with unrepresentable outputs 1537432605.094 * * * * [misc]points: Sampling 4 additional inputs, on iter 11 have 7999 / 8000 1537432605.094 * * * * [misc]points: Computing exacts for 4 points 1537432605.095 * * * * [misc]points: Setting MPFR precision to 320 1537432605.096 * * * * [misc]points: Setting MPFR precision to 576 1537432605.097 * * * * [misc]points: Filtering points with unrepresentable outputs 1537432605.097 * * * * [exit]points: Sampled 8002 points with exact outputs 1537432605.270 * [misc]regime-testing: Baseline error score: 0.00025 1537432605.270 * [misc]regime-testing: End program error score: 0.00025 1537432605.271 * [misc]regime-testing: Oracle error score: 0.00025 1537432605.329 * [misc]regime-testing: Target error score: 0.00025