1538416127.590 * [misc]progress: [Phase 1 of 3] Setting up. 1538416127.592 * * * [misc]progress: [1/2] Preparing points 1538416127.593 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1538416127.627 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1538416127.770 * * * * [misc]points: Setting MPFR precision to 64 1538416127.773 * * * * [misc]points: Setting MPFR precision to 320 1538416127.775 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1538416127.778 * * * * [misc]points: Setting MPFR precision to 64 1538416127.781 * * * * [misc]points: Setting MPFR precision to 320 1538416127.784 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1538416127.787 * * * * [misc]points: Setting MPFR precision to 64 1538416127.791 * * * * [misc]points: Setting MPFR precision to 320 1538416127.793 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1538416127.796 * * * * [misc]points: Setting MPFR precision to 64 1538416127.801 * * * * [misc]points: Setting MPFR precision to 320 1538416127.805 * * * * [misc]points: Computing exacts for 256 points 1538416127.807 * * * * [misc]points: Setting MPFR precision to 64 1538416127.817 * * * * [misc]points: Setting MPFR precision to 320 1538416127.823 * * * * [misc]points: Filtering points with unrepresentable outputs 1538416127.824 * * * * [misc]points: Sampling 149 additional inputs, on iter 1 have 107 / 256 1538416127.825 * * * * [misc]points: Computing exacts on every 9 of 149 points to ramp up precision 1538416127.826 * * * * [misc]points: Setting MPFR precision to 64 1538416127.826 * * * * [misc]points: Setting MPFR precision to 320 1538416127.827 * * * * [misc]points: Computing exacts on every 4 of 149 points to ramp up precision 1538416127.828 * * * * [misc]points: Setting MPFR precision to 64 1538416127.829 * * * * [misc]points: Setting MPFR precision to 320 1538416127.829 * * * * [misc]points: Computing exacts on every 2 of 149 points to ramp up precision 1538416127.831 * * * * [misc]points: Setting MPFR precision to 64 1538416127.832 * * * * [misc]points: Setting MPFR precision to 320 1538416127.833 * * * * [misc]points: Computing exacts for 149 points 1538416127.834 * * * * [misc]points: Setting MPFR precision to 64 1538416127.838 * * * * [misc]points: Setting MPFR precision to 320 1538416127.841 * * * * [misc]points: Filtering points with unrepresentable outputs 1538416127.841 * * * * [misc]points: Sampling 89 additional inputs, on iter 2 have 167 / 256 1538416127.842 * * * * [misc]points: Computing exacts on every 5 of 89 points to ramp up precision 1538416127.843 * * * * [misc]points: Setting MPFR precision to 64 1538416127.844 * * * * [misc]points: Setting MPFR precision to 320 1538416127.844 * * * * [misc]points: Computing exacts on every 2 of 89 points to ramp up precision 1538416127.846 * * * * [misc]points: Setting MPFR precision to 64 1538416127.848 * * * * [misc]points: Setting MPFR precision to 320 1538416127.849 * * * * [misc]points: Computing exacts for 89 points 1538416127.852 * * * * [misc]points: Setting MPFR precision to 64 1538416127.856 * * * * [misc]points: Setting MPFR precision to 320 1538416127.860 * * * * [misc]points: Filtering points with unrepresentable outputs 1538416127.860 * * * * [misc]points: Sampling 58 additional inputs, on iter 3 have 198 / 256 1538416127.861 * * * * [misc]points: Computing exacts on every 3 of 58 points to ramp up precision 1538416127.863 * * * * [misc]points: Setting MPFR precision to 64 1538416127.863 * * * * [misc]points: Setting MPFR precision to 320 1538416127.898 * * * * [misc]points: Computing exacts for 58 points 1538416127.899 * * * * [misc]points: Setting MPFR precision to 64 1538416127.901 * * * * [misc]points: Setting MPFR precision to 320 1538416127.902 * * * * [misc]points: Filtering points with unrepresentable outputs 1538416127.902 * * * * [misc]points: Sampling 30 additional inputs, on iter 4 have 226 / 256 1538416127.902 * * * * [misc]points: Computing exacts for 30 points 1538416127.904 * * * * [misc]points: Setting MPFR precision to 64 1538416127.904 * * * * [misc]points: Setting MPFR precision to 320 1538416127.905 * * * * [misc]points: Filtering points with unrepresentable outputs 1538416127.905 * * * * [misc]points: Sampling 20 additional inputs, on iter 5 have 236 / 256 1538416127.905 * * * * [misc]points: Computing exacts for 20 points 1538416127.906 * * * * [misc]points: Setting MPFR precision to 64 1538416127.907 * * * * [misc]points: Setting MPFR precision to 320 1538416127.909 * * * * [misc]points: Filtering points with unrepresentable outputs 1538416127.909 * * * * [misc]points: Sampling 11 additional inputs, on iter 6 have 245 / 256 1538416127.910 * * * * [misc]points: Computing exacts for 11 points 1538416127.911 * * * * [misc]points: Setting MPFR precision to 64 1538416127.911 * * * * [misc]points: Setting MPFR precision to 320 1538416127.911 * * * * [misc]points: Filtering points with unrepresentable outputs 1538416127.911 * * * * [misc]points: Sampling 5 additional inputs, on iter 7 have 251 / 256 1538416127.911 * * * * [misc]points: Computing exacts for 5 points 1538416127.912 * * * * [misc]points: Setting MPFR precision to 64 1538416127.913 * * * * [misc]points: Setting MPFR precision to 320 1538416127.913 * * * * [misc]points: Filtering points with unrepresentable outputs 1538416127.913 * * * * [misc]points: Sampling 4 additional inputs, on iter 8 have 252 / 256 1538416127.913 * * * * [misc]points: Computing exacts for 4 points 1538416127.914 * * * * [misc]points: Setting MPFR precision to 64 1538416127.914 * * * * [misc]points: Setting MPFR precision to 320 1538416127.914 * * * * [misc]points: Filtering points with unrepresentable outputs 1538416127.914 * * * * [misc]points: Sampling 4 additional inputs, on iter 9 have 254 / 256 1538416127.914 * * * * [misc]points: Computing exacts for 4 points 1538416127.915 * * * * [misc]points: Setting MPFR precision to 64 1538416127.915 * * * * [misc]points: Setting MPFR precision to 320 1538416127.916 * * * * [misc]points: Filtering points with unrepresentable outputs 1538416127.916 * * * * [misc]points: Sampling 4 additional inputs, on iter 10 have 254 / 256 1538416127.916 * * * * [misc]points: Computing exacts for 4 points 1538416127.918 * * * * [misc]points: Setting MPFR precision to 64 1538416127.918 * * * * [misc]points: Setting MPFR precision to 320 1538416127.918 * * * * [misc]points: Filtering points with unrepresentable outputs 1538416127.918 * * * * [exit]points: Sampled 256 points with exact outputs 1538416127.919 * * * [misc]progress: [2/2] Setting up program. 1538416127.926 * [misc]progress: [Phase 2 of 3] Improving. 1538416127.927 * [enter]simplify: Simplifying (- (pow x 4) (pow y 4)) 1538416127.929 * * [misc]simplify: iters left: 3 (6 enodes) 1538416127.935 * * [misc]simplify: iters left: 2 (8 enodes) 1538416127.937 * * [misc]simplify: iters left: 1 (9 enodes) 1538416127.939 * [exit]simplify: Simplified to (- (pow x 4) (pow y 4)) 1538416127.947 * * [misc]progress: iteration 1 / 4 1538416127.947 * * * [misc]progress: picking best candidate 1538416127.951 * * * * [misc]pick: Picked # 1538416127.951 * * * [misc]progress: localizing error 1538416127.963 * * * [misc]progress: generating rewritten candidates 1538416127.963 * * * [misc]progress: generating series expansions 1538416127.963 * * * [misc]progress: simplifying candidates 1538416127.964 * * * [misc]progress: adding candidates to table 1538416127.964 * [misc]progress: [Phase 3 of 3] Extracting. 1538416127.967 * [enter]simplify: Simplifying (- (pow x 4) (pow y 4)) 1538416127.967 * * [misc]simplify: iters left: 3 (6 enodes) 1538416127.967 * [exit]simplify: Simplified to (- (pow x 4) (pow y 4)) 1538416127.967 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1538416128.040 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1538416128.043 * * * * [misc]points: Setting MPFR precision to 64 1538416128.043 * * * * [misc]points: Setting MPFR precision to 320 1538416128.044 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1538416128.045 * * * * [misc]points: Setting MPFR precision to 64 1538416128.046 * * * * [misc]points: Setting MPFR precision to 320 1538416128.046 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1538416128.047 * * * * [misc]points: Setting MPFR precision to 64 1538416128.049 * * * * [misc]points: Setting MPFR precision to 320 1538416128.050 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1538416128.052 * * * * [misc]points: Setting MPFR precision to 64 1538416128.054 * * * * [misc]points: Setting MPFR precision to 320 1538416128.057 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1538416128.058 * * * * [misc]points: Setting MPFR precision to 64 1538416128.064 * * * * [misc]points: Setting MPFR precision to 320 1538416128.070 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1538416128.071 * * * * [misc]points: Setting MPFR precision to 64 1538416128.088 * * * * [misc]points: Setting MPFR precision to 320 1538416128.109 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1538416128.111 * * * * [misc]points: Setting MPFR precision to 64 1538416128.169 * * * * [misc]points: Setting MPFR precision to 320 1538416128.200 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1538416128.202 * * * * [misc]points: Setting MPFR precision to 64 1538416128.250 * * * * [misc]points: Setting MPFR precision to 320 1538416128.362 * * * * [misc]points: Computing exacts for 8000 points 1538416128.365 * * * * [misc]points: Setting MPFR precision to 64 1538416128.626 * * * * [misc]points: Setting MPFR precision to 320 1538416128.944 * * * * [misc]points: Filtering points with unrepresentable outputs 1538416128.947 * * * * [misc]points: Sampling 4833 additional inputs, on iter 1 have 3167 / 8000 1538416129.393 * * * * [misc]points: Computing exacts on every 302 of 4833 points to ramp up precision 1538416129.395 * * * * [misc]points: Setting MPFR precision to 64 1538416129.395 * * * * [misc]points: Setting MPFR precision to 320 1538416129.396 * * * * [misc]points: Computing exacts on every 151 of 4833 points to ramp up precision 1538416129.397 * * * * [misc]points: Setting MPFR precision to 64 1538416129.397 * * * * [misc]points: Setting MPFR precision to 320 1538416129.398 * * * * [misc]points: Computing exacts on every 75 of 4833 points to ramp up precision 1538416129.399 * * * * [misc]points: Setting MPFR precision to 64 1538416129.401 * * * * [misc]points: Setting MPFR precision to 320 1538416129.402 * * * * [misc]points: Computing exacts on every 37 of 4833 points to ramp up precision 1538416129.404 * * * * [misc]points: Setting MPFR precision to 64 1538416129.407 * * * * [misc]points: Setting MPFR precision to 320 1538416129.410 * * * * [misc]points: Computing exacts on every 18 of 4833 points to ramp up precision 1538416129.411 * * * * [misc]points: Setting MPFR precision to 64 1538416129.416 * * * * [misc]points: Setting MPFR precision to 320 1538416129.421 * * * * [misc]points: Computing exacts on every 9 of 4833 points to ramp up precision 1538416129.422 * * * * [misc]points: Setting MPFR precision to 64 1538416129.434 * * * * [misc]points: Setting MPFR precision to 320 1538416129.454 * * * * [misc]points: Computing exacts on every 4 of 4833 points to ramp up precision 1538416129.456 * * * * [misc]points: Setting MPFR precision to 64 1538416129.495 * * * * [misc]points: Setting MPFR precision to 320 1538416129.535 * * * * [misc]points: Computing exacts on every 2 of 4833 points to ramp up precision 1538416129.537 * * * * [misc]points: Setting MPFR precision to 64 1538416129.656 * * * * [misc]points: Setting MPFR precision to 320 1538416129.702 * * * * [misc]points: Setting MPFR precision to 576 1538416129.767 * * * * [misc]points: Computing exacts for 4833 points 1538416129.768 * * * * [misc]points: Setting MPFR precision to 320 1538416129.918 * * * * [misc]points: Setting MPFR precision to 576 1538416130.132 * * * * [misc]points: Filtering points with unrepresentable outputs 1538416130.133 * * * * [misc]points: Sampling 2964 additional inputs, on iter 2 have 5036 / 8000 1538416130.157 * * * * [misc]points: Computing exacts on every 185 of 2964 points to ramp up precision 1538416130.159 * * * * [misc]points: Setting MPFR precision to 320 1538416130.159 * * * * [misc]points: Setting MPFR precision to 576 1538416130.160 * * * * [misc]points: Computing exacts on every 92 of 2964 points to ramp up precision 1538416130.161 * * * * [misc]points: Setting MPFR precision to 320 1538416130.162 * * * * [misc]points: Setting MPFR precision to 576 1538416130.163 * * * * [misc]points: Computing exacts on every 46 of 2964 points to ramp up precision 1538416130.164 * * * * [misc]points: Setting MPFR precision to 320 1538416130.165 * * * * [misc]points: Setting MPFR precision to 576 1538416130.166 * * * * [misc]points: Computing exacts on every 23 of 2964 points to ramp up precision 1538416130.168 * * * * [misc]points: Setting MPFR precision to 320 1538416130.171 * * * * [misc]points: Setting MPFR precision to 576 1538416130.173 * * * * [misc]points: Computing exacts on every 11 of 2964 points to ramp up precision 1538416130.175 * * * * [misc]points: Setting MPFR precision to 320 1538416130.180 * * * * [misc]points: Setting MPFR precision to 576 1538416130.187 * * * * [misc]points: Computing exacts on every 5 of 2964 points to ramp up precision 1538416130.190 * * * * [misc]points: Setting MPFR precision to 320 1538416130.213 * * * * [misc]points: Setting MPFR precision to 576 1538416130.235 * * * * [misc]points: Computing exacts on every 2 of 2964 points to ramp up precision 1538416130.237 * * * * [misc]points: Setting MPFR precision to 320 1538416130.278 * * * * [misc]points: Setting MPFR precision to 576 1538416130.311 * * * * [misc]points: Computing exacts for 2964 points 1538416130.313 * * * * [misc]points: Setting MPFR precision to 320 1538416130.457 * * * * [misc]points: Setting MPFR precision to 576 1538416130.526 * * * * [misc]points: Filtering points with unrepresentable outputs 1538416130.527 * * * * [misc]points: Sampling 1831 additional inputs, on iter 3 have 6169 / 8000 1538416130.538 * * * * [misc]points: Computing exacts on every 114 of 1831 points to ramp up precision 1538416130.541 * * * * [misc]points: Setting MPFR precision to 320 1538416130.542 * * * * [misc]points: Setting MPFR precision to 576 1538416130.542 * * * * [misc]points: Computing exacts on every 57 of 1831 points to ramp up precision 1538416130.545 * * * * [misc]points: Setting MPFR precision to 320 1538416130.546 * * * * [misc]points: Setting MPFR precision to 576 1538416130.548 * * * * [misc]points: Computing exacts on every 28 of 1831 points to ramp up precision 1538416130.550 * * * * [misc]points: Setting MPFR precision to 320 1538416130.581 * * * * [misc]points: Setting MPFR precision to 576 1538416130.583 * * * * [misc]points: Computing exacts on every 14 of 1831 points to ramp up precision 1538416130.585 * * * * [misc]points: Setting MPFR precision to 320 1538416130.590 * * * * [misc]points: Setting MPFR precision to 576 1538416130.598 * * * * [misc]points: Computing exacts on every 7 of 1831 points to ramp up precision 1538416130.600 * * * * [misc]points: Setting MPFR precision to 320 1538416130.605 * * * * [misc]points: Setting MPFR precision to 576 1538416130.610 * * * * [misc]points: Computing exacts on every 3 of 1831 points to ramp up precision 1538416130.611 * * * * [misc]points: Setting MPFR precision to 320 1538416130.621 * * * * [misc]points: Setting MPFR precision to 576 1538416130.630 * * * * [misc]points: Computing exacts for 1831 points 1538416130.632 * * * * [misc]points: Setting MPFR precision to 320 1538416130.680 * * * * [misc]points: Setting MPFR precision to 576 1538416130.778 * * * * [misc]points: Filtering points with unrepresentable outputs 1538416130.778 * * * * [misc]points: Sampling 1121 additional inputs, on iter 4 have 6879 / 8000 1538416130.783 * * * * [misc]points: Computing exacts on every 70 of 1121 points to ramp up precision 1538416130.785 * * * * [misc]points: Setting MPFR precision to 320 1538416130.785 * * * * [misc]points: Setting MPFR precision to 576 1538416130.786 * * * * [misc]points: Computing exacts on every 35 of 1121 points to ramp up precision 1538416130.787 * * * * [misc]points: Setting MPFR precision to 320 1538416130.788 * * * * [misc]points: Setting MPFR precision to 576 1538416130.788 * * * * [misc]points: Computing exacts on every 17 of 1121 points to ramp up precision 1538416130.790 * * * * [misc]points: Setting MPFR precision to 320 1538416130.791 * * * * [misc]points: Setting MPFR precision to 576 1538416130.792 * * * * [misc]points: Computing exacts on every 8 of 1121 points to ramp up precision 1538416130.794 * * * * [misc]points: Setting MPFR precision to 320 1538416130.796 * * * * [misc]points: Setting MPFR precision to 576 1538416130.799 * * * * [misc]points: Computing exacts on every 4 of 1121 points to ramp up precision 1538416130.801 * * * * [misc]points: Setting MPFR precision to 320 1538416130.805 * * * * [misc]points: Setting MPFR precision to 576 1538416130.811 * * * * [misc]points: Computing exacts on every 2 of 1121 points to ramp up precision 1538416130.812 * * * * [misc]points: Setting MPFR precision to 320 1538416130.820 * * * * [misc]points: Setting MPFR precision to 576 1538416130.828 * * * * [misc]points: Computing exacts for 1121 points 1538416130.829 * * * * [misc]points: Setting MPFR precision to 320 1538416130.906 * * * * [misc]points: Setting MPFR precision to 576 1538416130.931 * * * * [misc]points: Filtering points with unrepresentable outputs 1538416130.931 * * * * [misc]points: Sampling 714 additional inputs, on iter 5 have 7286 / 8000 1538416130.935 * * * * [misc]points: Computing exacts on every 44 of 714 points to ramp up precision 1538416130.936 * * * * [misc]points: Setting MPFR precision to 320 1538416130.937 * * * * [misc]points: Setting MPFR precision to 576 1538416130.937 * * * * [misc]points: Computing exacts on every 22 of 714 points to ramp up precision 1538416130.938 * * * * [misc]points: Setting MPFR precision to 320 1538416130.939 * * * * [misc]points: Setting MPFR precision to 576 1538416130.940 * * * * [misc]points: Computing exacts on every 11 of 714 points to ramp up precision 1538416130.941 * * * * [misc]points: Setting MPFR precision to 320 1538416130.942 * * * * [misc]points: Setting MPFR precision to 576 1538416130.943 * * * * [misc]points: Computing exacts on every 5 of 714 points to ramp up precision 1538416130.944 * * * * [misc]points: Setting MPFR precision to 320 1538416130.947 * * * * [misc]points: Setting MPFR precision to 576 1538416130.950 * * * * [misc]points: Computing exacts on every 2 of 714 points to ramp up precision 1538416130.951 * * * * [misc]points: Setting MPFR precision to 320 1538416130.956 * * * * [misc]points: Setting MPFR precision to 576 1538416130.966 * * * * [misc]points: Computing exacts for 714 points 1538416130.969 * * * * [misc]points: Setting MPFR precision to 320 1538416130.999 * * * * [misc]points: Setting MPFR precision to 576 1538416131.052 * * * * [misc]points: Filtering points with unrepresentable outputs 1538416131.053 * * * * [misc]points: Sampling 421 additional inputs, on iter 6 have 7579 / 8000 1538416131.057 * * * * [misc]points: Computing exacts on every 26 of 421 points to ramp up precision 1538416131.063 * * * * [misc]points: Setting MPFR precision to 320 1538416131.064 * * * * [misc]points: Setting MPFR precision to 576 1538416131.064 * * * * [misc]points: Computing exacts on every 13 of 421 points to ramp up precision 1538416131.067 * * * * [misc]points: Setting MPFR precision to 320 1538416131.068 * * * * [misc]points: Setting MPFR precision to 576 1538416131.070 * * * * [misc]points: Computing exacts on every 6 of 421 points to ramp up precision 1538416131.072 * * * * [misc]points: Setting MPFR precision to 320 1538416131.075 * * * * [misc]points: Setting MPFR precision to 576 1538416131.077 * * * * [misc]points: Computing exacts on every 3 of 421 points to ramp up precision 1538416131.080 * * * * [misc]points: Setting MPFR precision to 320 1538416131.084 * * * * [misc]points: Setting MPFR precision to 576 1538416131.089 * * * * [misc]points: Computing exacts for 421 points 1538416131.091 * * * * [misc]points: Setting MPFR precision to 320 1538416131.100 * * * * [misc]points: Setting MPFR precision to 576 1538416131.109 * * * * [misc]points: Filtering points with unrepresentable outputs 1538416131.109 * * * * [misc]points: Sampling 248 additional inputs, on iter 7 have 7752 / 8000 1538416131.110 * * * * [misc]points: Computing exacts on every 15 of 248 points to ramp up precision 1538416131.112 * * * * [misc]points: Setting MPFR precision to 320 1538416131.112 * * * * [misc]points: Setting MPFR precision to 576 1538416131.112 * * * * [misc]points: Computing exacts on every 7 of 248 points to ramp up precision 1538416131.114 * * * * [misc]points: Setting MPFR precision to 320 1538416131.114 * * * * [misc]points: Setting MPFR precision to 576 1538416131.115 * * * * [misc]points: Computing exacts on every 3 of 248 points to ramp up precision 1538416131.116 * * * * [misc]points: Setting MPFR precision to 320 1538416131.118 * * * * [misc]points: Setting MPFR precision to 576 1538416131.119 * * * * [misc]points: Computing exacts for 248 points 1538416131.120 * * * * [misc]points: Setting MPFR precision to 320 1538416131.126 * * * * [misc]points: Setting MPFR precision to 576 1538416131.131 * * * * [misc]points: Filtering points with unrepresentable outputs 1538416131.131 * * * * [misc]points: Sampling 156 additional inputs, on iter 8 have 7844 / 8000 1538416131.132 * * * * [misc]points: Computing exacts on every 9 of 156 points to ramp up precision 1538416131.133 * * * * [misc]points: Setting MPFR precision to 320 1538416131.134 * * * * [misc]points: Setting MPFR precision to 576 1538416131.134 * * * * [misc]points: Computing exacts on every 4 of 156 points to ramp up precision 1538416131.135 * * * * [misc]points: Setting MPFR precision to 320 1538416131.136 * * * * [misc]points: Setting MPFR precision to 576 1538416131.137 * * * * [misc]points: Computing exacts on every 2 of 156 points to ramp up precision 1538416131.138 * * * * [misc]points: Setting MPFR precision to 320 1538416131.139 * * * * [misc]points: Setting MPFR precision to 576 1538416131.140 * * * * [misc]points: Computing exacts for 156 points 1538416131.142 * * * * [misc]points: Setting MPFR precision to 320 1538416131.145 * * * * [misc]points: Setting MPFR precision to 576 1538416131.148 * * * * [misc]points: Filtering points with unrepresentable outputs 1538416131.148 * * * * [misc]points: Sampling 98 additional inputs, on iter 9 have 7902 / 8000 1538416131.149 * * * * [misc]points: Computing exacts on every 6 of 98 points to ramp up precision 1538416131.408 * * * * [misc]points: Setting MPFR precision to 320 1538416131.408 * * * * [misc]points: Setting MPFR precision to 576 1538416131.409 * * * * [misc]points: Computing exacts on every 3 of 98 points to ramp up precision 1538416131.411 * * * * [misc]points: Setting MPFR precision to 320 1538416131.413 * * * * [misc]points: Setting MPFR precision to 576 1538416131.414 * * * * [misc]points: Computing exacts for 98 points 1538416131.416 * * * * [misc]points: Setting MPFR precision to 320 1538416131.423 * * * * [misc]points: Setting MPFR precision to 576 1538416131.427 * * * * [misc]points: Filtering points with unrepresentable outputs 1538416131.428 * * * * [misc]points: Sampling 56 additional inputs, on iter 10 have 7944 / 8000 1538416131.428 * * * * [misc]points: Computing exacts on every 3 of 56 points to ramp up precision 1538416131.430 * * * * [misc]points: Setting MPFR precision to 320 1538416131.431 * * * * [misc]points: Setting MPFR precision to 576 1538416131.432 * * * * [misc]points: Computing exacts for 56 points 1538416131.434 * * * * [misc]points: Setting MPFR precision to 320 1538416131.437 * * * * [misc]points: Setting MPFR precision to 576 1538416131.439 * * * * [misc]points: Filtering points with unrepresentable outputs 1538416131.439 * * * * [misc]points: Sampling 35 additional inputs, on iter 11 have 7965 / 8000 1538416131.439 * * * * [misc]points: Computing exacts on every 2 of 35 points to ramp up precision 1538416131.442 * * * * [misc]points: Setting MPFR precision to 320 1538416131.443 * * * * [misc]points: Setting MPFR precision to 576 1538416131.443 * * * * [misc]points: Computing exacts for 35 points 1538416131.445 * * * * [misc]points: Setting MPFR precision to 320 1538416131.447 * * * * [misc]points: Setting MPFR precision to 576 1538416131.448 * * * * [misc]points: Filtering points with unrepresentable outputs 1538416131.449 * * * * [misc]points: Sampling 23 additional inputs, on iter 12 have 7977 / 8000 1538416131.449 * * * * [misc]points: Computing exacts for 23 points 1538416131.451 * * * * [misc]points: Setting MPFR precision to 320 1538416131.452 * * * * [misc]points: Setting MPFR precision to 576 1538416131.453 * * * * [misc]points: Filtering points with unrepresentable outputs 1538416131.454 * * * * [misc]points: Sampling 14 additional inputs, on iter 13 have 7986 / 8000 1538416131.454 * * * * [misc]points: Computing exacts for 14 points 1538416131.456 * * * * [misc]points: Setting MPFR precision to 320 1538416131.457 * * * * [misc]points: Setting MPFR precision to 576 1538416131.457 * * * * [misc]points: Filtering points with unrepresentable outputs 1538416131.457 * * * * [misc]points: Sampling 9 additional inputs, on iter 14 have 7991 / 8000 1538416131.458 * * * * [misc]points: Computing exacts for 9 points 1538416131.460 * * * * [misc]points: Setting MPFR precision to 320 1538416131.461 * * * * [misc]points: Setting MPFR precision to 576 1538416131.461 * * * * [misc]points: Filtering points with unrepresentable outputs 1538416131.461 * * * * [misc]points: Sampling 5 additional inputs, on iter 15 have 7995 / 8000 1538416131.461 * * * * [misc]points: Computing exacts for 5 points 1538416131.464 * * * * [misc]points: Setting MPFR precision to 320 1538416131.464 * * * * [misc]points: Setting MPFR precision to 576 1538416131.464 * * * * [misc]points: Filtering points with unrepresentable outputs 1538416131.464 * * * * [misc]points: Sampling 4 additional inputs, on iter 16 have 7998 / 8000 1538416131.464 * * * * [misc]points: Computing exacts for 4 points 1538416131.467 * * * * [misc]points: Setting MPFR precision to 320 1538416131.467 * * * * [misc]points: Setting MPFR precision to 576 1538416131.467 * * * * [misc]points: Filtering points with unrepresentable outputs 1538416131.467 * * * * [exit]points: Sampled 8001 points with exact outputs 1538416131.722 * [misc]regime-testing: Baseline error score: 0.00225 1538416131.722 * [misc]regime-testing: End program error score: 0.00225 1538416131.723 * [misc]regime-testing: Oracle error score: 0.00225