1539796535.788 * [misc]progress: [Phase 1 of 3] Setting up. 1539796535.789 * * * [misc]progress: [1/2] Preparing points 1539796535.790 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1539796535.792 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1539796535.847 * * * * [misc]points: Setting MPFR precision to 64 1539796535.848 * * * * [misc]points: Setting MPFR precision to 320 1539796535.849 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1539796535.850 * * * * [misc]points: Setting MPFR precision to 64 1539796535.851 * * * * [misc]points: Setting MPFR precision to 320 1539796535.851 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1539796535.853 * * * * [misc]points: Setting MPFR precision to 64 1539796535.854 * * * * [misc]points: Setting MPFR precision to 320 1539796535.855 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1539796535.856 * * * * [misc]points: Setting MPFR precision to 64 1539796535.857 * * * * [misc]points: Setting MPFR precision to 320 1539796535.859 * * * * [misc]points: Computing exacts for 256 points 1539796535.860 * * * * [misc]points: Setting MPFR precision to 64 1539796535.868 * * * * [misc]points: Setting MPFR precision to 320 1539796535.876 * * * * [misc]points: Filtering points with unrepresentable outputs 1539796535.877 * * * * [misc]points: Sampling 186 additional inputs, on iter 1 have 70 / 256 1539796535.878 * * * * [misc]points: Computing exacts on every 11 of 186 points to ramp up precision 1539796535.880 * * * * [misc]points: Setting MPFR precision to 64 1539796535.880 * * * * [misc]points: Setting MPFR precision to 320 1539796535.881 * * * * [misc]points: Computing exacts on every 5 of 186 points to ramp up precision 1539796535.883 * * * * [misc]points: Setting MPFR precision to 64 1539796535.883 * * * * [misc]points: Setting MPFR precision to 320 1539796535.884 * * * * [misc]points: Computing exacts on every 2 of 186 points to ramp up precision 1539796535.886 * * * * [misc]points: Setting MPFR precision to 64 1539796535.888 * * * * [misc]points: Setting MPFR precision to 320 1539796535.889 * * * * [misc]points: Computing exacts for 186 points 1539796535.890 * * * * [misc]points: Setting MPFR precision to 64 1539796535.893 * * * * [misc]points: Setting MPFR precision to 320 1539796535.896 * * * * [misc]points: Filtering points with unrepresentable outputs 1539796535.896 * * * * [misc]points: Sampling 135 additional inputs, on iter 2 have 121 / 256 1539796535.896 * * * * [misc]points: Computing exacts on every 8 of 135 points to ramp up precision 1539796535.897 * * * * [misc]points: Setting MPFR precision to 64 1539796535.898 * * * * [misc]points: Setting MPFR precision to 320 1539796535.898 * * * * [misc]points: Computing exacts on every 4 of 135 points to ramp up precision 1539796535.899 * * * * [misc]points: Setting MPFR precision to 64 1539796535.900 * * * * [misc]points: Setting MPFR precision to 320 1539796535.900 * * * * [misc]points: Computing exacts on every 2 of 135 points to ramp up precision 1539796535.901 * * * * [misc]points: Setting MPFR precision to 64 1539796535.902 * * * * [misc]points: Setting MPFR precision to 320 1539796535.903 * * * * [misc]points: Computing exacts for 135 points 1539796535.904 * * * * [misc]points: Setting MPFR precision to 64 1539796535.908 * * * * [misc]points: Setting MPFR precision to 320 1539796535.911 * * * * [misc]points: Filtering points with unrepresentable outputs 1539796535.911 * * * * [misc]points: Sampling 102 additional inputs, on iter 3 have 154 / 256 1539796535.911 * * * * [misc]points: Computing exacts on every 6 of 102 points to ramp up precision 1539796535.912 * * * * [misc]points: Setting MPFR precision to 64 1539796535.943 * * * * [misc]points: Setting MPFR precision to 320 1539796535.944 * * * * [misc]points: Computing exacts on every 3 of 102 points to ramp up precision 1539796535.945 * * * * [misc]points: Setting MPFR precision to 64 1539796535.946 * * * * [misc]points: Setting MPFR precision to 320 1539796535.946 * * * * [misc]points: Computing exacts for 102 points 1539796535.947 * * * * [misc]points: Setting MPFR precision to 64 1539796535.949 * * * * [misc]points: Setting MPFR precision to 320 1539796535.950 * * * * [misc]points: Filtering points with unrepresentable outputs 1539796535.950 * * * * [misc]points: Sampling 83 additional inputs, on iter 4 have 173 / 256 1539796535.951 * * * * [misc]points: Computing exacts on every 5 of 83 points to ramp up precision 1539796535.952 * * * * [misc]points: Setting MPFR precision to 64 1539796535.952 * * * * [misc]points: Setting MPFR precision to 320 1539796535.952 * * * * [misc]points: Computing exacts on every 2 of 83 points to ramp up precision 1539796535.953 * * * * [misc]points: Setting MPFR precision to 64 1539796535.955 * * * * [misc]points: Setting MPFR precision to 320 1539796535.955 * * * * [misc]points: Computing exacts for 83 points 1539796535.956 * * * * [misc]points: Setting MPFR precision to 64 1539796535.958 * * * * [misc]points: Setting MPFR precision to 320 1539796535.959 * * * * [misc]points: Filtering points with unrepresentable outputs 1539796535.959 * * * * [misc]points: Sampling 57 additional inputs, on iter 5 have 199 / 256 1539796535.960 * * * * [misc]points: Computing exacts on every 3 of 57 points to ramp up precision 1539796535.961 * * * * [misc]points: Setting MPFR precision to 64 1539796535.962 * * * * [misc]points: Setting MPFR precision to 320 1539796535.963 * * * * [misc]points: Computing exacts for 57 points 1539796535.964 * * * * [misc]points: Setting MPFR precision to 64 1539796535.966 * * * * [misc]points: Setting MPFR precision to 320 1539796535.968 * * * * [misc]points: Filtering points with unrepresentable outputs 1539796535.968 * * * * [misc]points: Sampling 49 additional inputs, on iter 6 have 207 / 256 1539796535.969 * * * * [misc]points: Computing exacts on every 3 of 49 points to ramp up precision 1539796535.970 * * * * [misc]points: Setting MPFR precision to 64 1539796535.971 * * * * [misc]points: Setting MPFR precision to 320 1539796535.971 * * * * [misc]points: Computing exacts for 49 points 1539796535.973 * * * * [misc]points: Setting MPFR precision to 64 1539796535.975 * * * * [misc]points: Setting MPFR precision to 320 1539796535.976 * * * * [misc]points: Filtering points with unrepresentable outputs 1539796535.977 * * * * [misc]points: Sampling 33 additional inputs, on iter 7 have 223 / 256 1539796535.977 * * * * [misc]points: Computing exacts on every 2 of 33 points to ramp up precision 1539796535.979 * * * * [misc]points: Setting MPFR precision to 64 1539796535.979 * * * * [misc]points: Setting MPFR precision to 320 1539796535.980 * * * * [misc]points: Computing exacts for 33 points 1539796535.982 * * * * [misc]points: Setting MPFR precision to 64 1539796535.983 * * * * [misc]points: Setting MPFR precision to 320 1539796535.984 * * * * [misc]points: Filtering points with unrepresentable outputs 1539796535.984 * * * * [misc]points: Sampling 26 additional inputs, on iter 8 have 230 / 256 1539796535.984 * * * * [misc]points: Computing exacts for 26 points 1539796535.986 * * * * [misc]points: Setting MPFR precision to 64 1539796535.987 * * * * [misc]points: Setting MPFR precision to 320 1539796535.988 * * * * [misc]points: Filtering points with unrepresentable outputs 1539796535.988 * * * * [misc]points: Sampling 20 additional inputs, on iter 9 have 236 / 256 1539796535.988 * * * * [misc]points: Computing exacts for 20 points 1539796535.990 * * * * [misc]points: Setting MPFR precision to 64 1539796535.991 * * * * [misc]points: Setting MPFR precision to 320 1539796535.991 * * * * [misc]points: Filtering points with unrepresentable outputs 1539796535.992 * * * * [misc]points: Sampling 16 additional inputs, on iter 10 have 240 / 256 1539796535.992 * * * * [misc]points: Computing exacts for 16 points 1539796535.994 * * * * [misc]points: Setting MPFR precision to 64 1539796535.994 * * * * [misc]points: Setting MPFR precision to 320 1539796535.995 * * * * [misc]points: Filtering points with unrepresentable outputs 1539796535.995 * * * * [misc]points: Sampling 14 additional inputs, on iter 11 have 242 / 256 1539796535.995 * * * * [misc]points: Computing exacts for 14 points 1539796535.997 * * * * [misc]points: Setting MPFR precision to 64 1539796535.997 * * * * [misc]points: Setting MPFR precision to 320 1539796535.998 * * * * [misc]points: Filtering points with unrepresentable outputs 1539796535.998 * * * * [misc]points: Sampling 10 additional inputs, on iter 12 have 246 / 256 1539796535.998 * * * * [misc]points: Computing exacts for 10 points 1539796536.000 * * * * [misc]points: Setting MPFR precision to 64 1539796536.001 * * * * [misc]points: Setting MPFR precision to 320 1539796536.001 * * * * [misc]points: Filtering points with unrepresentable outputs 1539796536.001 * * * * [misc]points: Sampling 5 additional inputs, on iter 13 have 251 / 256 1539796536.001 * * * * [misc]points: Computing exacts for 5 points 1539796536.003 * * * * [misc]points: Setting MPFR precision to 64 1539796536.003 * * * * [misc]points: Setting MPFR precision to 320 1539796536.004 * * * * [misc]points: Filtering points with unrepresentable outputs 1539796536.004 * * * * [misc]points: Sampling 4 additional inputs, on iter 14 have 253 / 256 1539796536.004 * * * * [misc]points: Computing exacts for 4 points 1539796536.006 * * * * [misc]points: Setting MPFR precision to 64 1539796536.006 * * * * [misc]points: Setting MPFR precision to 320 1539796536.006 * * * * [misc]points: Filtering points with unrepresentable outputs 1539796536.006 * * * * [exit]points: Sampled 256 points with exact outputs 1539796536.007 * * * [misc]progress: [2/2] Setting up program. 1539796536.013 * [misc]progress: [Phase 2 of 3] Improving. 1539796536.014 * [enter]simplify: Simplifying (- (log (- (/ 1 x) 1))) 1539796536.015 * * [misc]simplify: iters left: 6 (6 enodes) 1539796536.024 * * [misc]simplify: iters left: 5 (11 enodes) 1539796536.027 * * [misc]simplify: iters left: 4 (12 enodes) 1539796536.032 * [exit]simplify: Simplified to (- (log (- (/ 1 x) 1))) 1539796536.043 * * [misc]progress: iteration 1 / 4 1539796536.043 * * * [misc]progress: picking best candidate 1539796536.047 * * * * [misc]pick: Picked # 1539796536.047 * * * [misc]progress: localizing error 1539796536.091 * * * [misc]progress: generating rewritten candidates 1539796536.091 * * * [misc]progress: generating series expansions 1539796536.092 * * * [misc]progress: simplifying candidates 1539796536.092 * * * [misc]progress: adding candidates to table 1539796536.092 * [misc]progress: [Phase 3 of 3] Extracting. 1539796536.096 * [enter]simplify: Simplifying (- (log (- (/ 1 x) 1))) 1539796536.096 * * [misc]simplify: iters left: 6 (6 enodes) 1539796536.096 * * [misc]simplify: iters left: 5 (8 enodes) 1539796536.097 * [exit]simplify: Simplified to (- (log (- (/ 1 x) 1))) 1539796536.097 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1539796536.131 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1539796536.133 * * * * [misc]points: Setting MPFR precision to 64 1539796536.134 * * * * [misc]points: Setting MPFR precision to 320 1539796536.135 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1539796536.136 * * * * [misc]points: Setting MPFR precision to 64 1539796536.137 * * * * [misc]points: Setting MPFR precision to 320 1539796536.138 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1539796536.140 * * * * [misc]points: Setting MPFR precision to 64 1539796536.142 * * * * [misc]points: Setting MPFR precision to 320 1539796536.145 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1539796536.146 * * * * [misc]points: Setting MPFR precision to 64 1539796536.151 * * * * [misc]points: Setting MPFR precision to 320 1539796536.155 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1539796536.157 * * * * [misc]points: Setting MPFR precision to 64 1539796536.165 * * * * [misc]points: Setting MPFR precision to 320 1539796536.174 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1539796536.176 * * * * [misc]points: Setting MPFR precision to 64 1539796536.190 * * * * [misc]points: Setting MPFR precision to 320 1539796536.207 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1539796536.209 * * * * [misc]points: Setting MPFR precision to 64 1539796536.275 * * * * [misc]points: Setting MPFR precision to 320 1539796536.311 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1539796536.313 * * * * [misc]points: Setting MPFR precision to 64 1539796536.362 * * * * [misc]points: Setting MPFR precision to 320 1539796536.395 * * * * [misc]points: Computing exacts for 8000 points 1539796536.396 * * * * [misc]points: Setting MPFR precision to 64 1539796536.690 * * * * [misc]points: Setting MPFR precision to 320 1539796536.867 * * * * [misc]points: Setting MPFR precision to 576 1539796537.515 * * * * [misc]points: Filtering points with unrepresentable outputs 1539796537.516 * * * * [misc]points: Sampling 5976 additional inputs, on iter 1 have 2024 / 8000 1539796537.530 * * * * [misc]points: Computing exacts on every 373 of 5976 points to ramp up precision 1539796537.531 * * * * [misc]points: Setting MPFR precision to 320 1539796537.532 * * * * [misc]points: Setting MPFR precision to 576 1539796537.532 * * * * [misc]points: Computing exacts on every 186 of 5976 points to ramp up precision 1539796537.533 * * * * [misc]points: Setting MPFR precision to 320 1539796537.534 * * * * [misc]points: Setting MPFR precision to 576 1539796537.535 * * * * [misc]points: Computing exacts on every 93 of 5976 points to ramp up precision 1539796537.536 * * * * [misc]points: Setting MPFR precision to 320 1539796537.537 * * * * [misc]points: Setting MPFR precision to 576 1539796537.538 * * * * [misc]points: Computing exacts on every 46 of 5976 points to ramp up precision 1539796537.539 * * * * [misc]points: Setting MPFR precision to 320 1539796537.541 * * * * [misc]points: Setting MPFR precision to 576 1539796537.543 * * * * [misc]points: Computing exacts on every 23 of 5976 points to ramp up precision 1539796537.545 * * * * [misc]points: Setting MPFR precision to 320 1539796537.549 * * * * [misc]points: Setting MPFR precision to 576 1539796537.570 * * * * [misc]points: Computing exacts on every 11 of 5976 points to ramp up precision 1539796537.572 * * * * [misc]points: Setting MPFR precision to 320 1539796537.580 * * * * [misc]points: Setting MPFR precision to 576 1539796537.589 * * * * [misc]points: Computing exacts on every 5 of 5976 points to ramp up precision 1539796537.590 * * * * [misc]points: Setting MPFR precision to 320 1539796537.607 * * * * [misc]points: Setting MPFR precision to 576 1539796537.641 * * * * [misc]points: Computing exacts on every 2 of 5976 points to ramp up precision 1539796537.643 * * * * [misc]points: Setting MPFR precision to 320 1539796537.686 * * * * [misc]points: Setting MPFR precision to 576 1539796537.761 * * * * [misc]points: Computing exacts for 5976 points 1539796537.764 * * * * [misc]points: Setting MPFR precision to 320 1539796537.942 * * * * [misc]points: Setting MPFR precision to 576 1539796538.165 * * * * [misc]points: Filtering points with unrepresentable outputs 1539796538.166 * * * * [misc]points: Sampling 4517 additional inputs, on iter 2 have 3483 / 8000 1539796538.187 * * * * [misc]points: Computing exacts on every 282 of 4517 points to ramp up precision 1539796538.190 * * * * [misc]points: Setting MPFR precision to 320 1539796538.191 * * * * [misc]points: Setting MPFR precision to 576 1539796538.191 * * * * [misc]points: Computing exacts on every 141 of 4517 points to ramp up precision 1539796538.193 * * * * [misc]points: Setting MPFR precision to 320 1539796538.195 * * * * [misc]points: Setting MPFR precision to 576 1539796538.196 * * * * [misc]points: Computing exacts on every 70 of 4517 points to ramp up precision 1539796538.198 * * * * [misc]points: Setting MPFR precision to 320 1539796538.234 * * * * [misc]points: Setting MPFR precision to 576 1539796538.236 * * * * [misc]points: Computing exacts on every 35 of 4517 points to ramp up precision 1539796538.239 * * * * [misc]points: Setting MPFR precision to 320 1539796538.245 * * * * [misc]points: Setting MPFR precision to 576 1539796538.250 * * * * [misc]points: Computing exacts on every 17 of 4517 points to ramp up precision 1539796538.252 * * * * [misc]points: Setting MPFR precision to 320 1539796538.260 * * * * [misc]points: Setting MPFR precision to 576 1539796538.269 * * * * [misc]points: Computing exacts on every 8 of 4517 points to ramp up precision 1539796538.271 * * * * [misc]points: Setting MPFR precision to 320 1539796538.287 * * * * [misc]points: Setting MPFR precision to 576 1539796538.303 * * * * [misc]points: Computing exacts on every 4 of 4517 points to ramp up precision 1539796538.306 * * * * [misc]points: Setting MPFR precision to 320 1539796538.334 * * * * [misc]points: Setting MPFR precision to 576 1539796538.366 * * * * [misc]points: Computing exacts on every 2 of 4517 points to ramp up precision 1539796538.369 * * * * [misc]points: Setting MPFR precision to 320 1539796538.454 * * * * [misc]points: Setting MPFR precision to 576 1539796538.482 * * * * [misc]points: Computing exacts for 4517 points 1539796538.486 * * * * [misc]points: Setting MPFR precision to 320 1539796538.624 * * * * [misc]points: Setting MPFR precision to 576 1539796538.770 * * * * [misc]points: Filtering points with unrepresentable outputs 1539796538.772 * * * * [misc]points: Sampling 3418 additional inputs, on iter 3 have 4582 / 8000 1539796538.792 * * * * [misc]points: Computing exacts on every 213 of 3418 points to ramp up precision 1539796538.795 * * * * [misc]points: Setting MPFR precision to 320 1539796538.796 * * * * [misc]points: Setting MPFR precision to 576 1539796538.796 * * * * [misc]points: Computing exacts on every 106 of 3418 points to ramp up precision 1539796538.799 * * * * [misc]points: Setting MPFR precision to 320 1539796538.800 * * * * [misc]points: Setting MPFR precision to 576 1539796538.801 * * * * [misc]points: Computing exacts on every 53 of 3418 points to ramp up precision 1539796538.803 * * * * [misc]points: Setting MPFR precision to 320 1539796538.806 * * * * [misc]points: Setting MPFR precision to 576 1539796538.808 * * * * [misc]points: Computing exacts on every 26 of 3418 points to ramp up precision 1539796538.811 * * * * [misc]points: Setting MPFR precision to 320 1539796538.816 * * * * [misc]points: Setting MPFR precision to 576 1539796538.820 * * * * [misc]points: Computing exacts on every 13 of 3418 points to ramp up precision 1539796538.823 * * * * [misc]points: Setting MPFR precision to 320 1539796538.831 * * * * [misc]points: Setting MPFR precision to 576 1539796538.840 * * * * [misc]points: Computing exacts on every 6 of 3418 points to ramp up precision 1539796538.842 * * * * [misc]points: Setting MPFR precision to 320 1539796538.858 * * * * [misc]points: Setting MPFR precision to 576 1539796538.875 * * * * [misc]points: Computing exacts on every 3 of 3418 points to ramp up precision 1539796538.878 * * * * [misc]points: Setting MPFR precision to 320 1539796538.906 * * * * [misc]points: Setting MPFR precision to 576 1539796538.971 * * * * [misc]points: Computing exacts for 3418 points 1539796538.974 * * * * [misc]points: Setting MPFR precision to 320 1539796539.061 * * * * [misc]points: Setting MPFR precision to 576 1539796539.180 * * * * [misc]points: Filtering points with unrepresentable outputs 1539796539.181 * * * * [misc]points: Sampling 2571 additional inputs, on iter 4 have 5429 / 8000 1539796539.192 * * * * [misc]points: Computing exacts on every 160 of 2571 points to ramp up precision 1539796539.195 * * * * [misc]points: Setting MPFR precision to 320 1539796539.196 * * * * [misc]points: Setting MPFR precision to 576 1539796539.196 * * * * [misc]points: Computing exacts on every 80 of 2571 points to ramp up precision 1539796539.199 * * * * [misc]points: Setting MPFR precision to 320 1539796539.200 * * * * [misc]points: Setting MPFR precision to 576 1539796539.201 * * * * [misc]points: Computing exacts on every 40 of 2571 points to ramp up precision 1539796539.203 * * * * [misc]points: Setting MPFR precision to 320 1539796539.205 * * * * [misc]points: Setting MPFR precision to 576 1539796539.207 * * * * [misc]points: Computing exacts on every 20 of 2571 points to ramp up precision 1539796539.210 * * * * [misc]points: Setting MPFR precision to 320 1539796539.214 * * * * [misc]points: Setting MPFR precision to 576 1539796539.219 * * * * [misc]points: Computing exacts on every 10 of 2571 points to ramp up precision 1539796539.221 * * * * [misc]points: Setting MPFR precision to 320 1539796539.229 * * * * [misc]points: Setting MPFR precision to 576 1539796539.237 * * * * [misc]points: Computing exacts on every 5 of 2571 points to ramp up precision 1539796539.240 * * * * [misc]points: Setting MPFR precision to 320 1539796539.253 * * * * [misc]points: Setting MPFR precision to 576 1539796539.269 * * * * [misc]points: Computing exacts on every 2 of 2571 points to ramp up precision 1539796539.271 * * * * [misc]points: Setting MPFR precision to 320 1539796539.661 * * * * [misc]points: Setting MPFR precision to 576 1539796539.695 * * * * [misc]points: Computing exacts for 2571 points 1539796539.697 * * * * [misc]points: Setting MPFR precision to 320 1539796539.748 * * * * [misc]points: Setting MPFR precision to 576 1539796539.857 * * * * [misc]points: Filtering points with unrepresentable outputs 1539796539.857 * * * * [misc]points: Sampling 1934 additional inputs, on iter 5 have 6066 / 8000 1539796539.866 * * * * [misc]points: Computing exacts on every 120 of 1934 points to ramp up precision 1539796539.869 * * * * [misc]points: Setting MPFR precision to 320 1539796539.870 * * * * [misc]points: Setting MPFR precision to 576 1539796539.870 * * * * [misc]points: Computing exacts on every 60 of 1934 points to ramp up precision 1539796539.873 * * * * [misc]points: Setting MPFR precision to 320 1539796539.874 * * * * [misc]points: Setting MPFR precision to 576 1539796539.875 * * * * [misc]points: Computing exacts on every 30 of 1934 points to ramp up precision 1539796539.877 * * * * [misc]points: Setting MPFR precision to 320 1539796539.880 * * * * [misc]points: Setting MPFR precision to 576 1539796539.882 * * * * [misc]points: Computing exacts on every 15 of 1934 points to ramp up precision 1539796539.884 * * * * [misc]points: Setting MPFR precision to 320 1539796539.889 * * * * [misc]points: Setting MPFR precision to 576 1539796539.892 * * * * [misc]points: Computing exacts on every 7 of 1934 points to ramp up precision 1539796539.893 * * * * [misc]points: Setting MPFR precision to 320 1539796539.897 * * * * [misc]points: Setting MPFR precision to 576 1539796539.901 * * * * [misc]points: Computing exacts on every 3 of 1934 points to ramp up precision 1539796539.903 * * * * [misc]points: Setting MPFR precision to 320 1539796539.910 * * * * [misc]points: Setting MPFR precision to 576 1539796539.918 * * * * [misc]points: Computing exacts for 1934 points 1539796539.920 * * * * [misc]points: Setting MPFR precision to 320 1539796540.008 * * * * [misc]points: Setting MPFR precision to 576 1539796540.076 * * * * [misc]points: Filtering points with unrepresentable outputs 1539796540.077 * * * * [misc]points: Sampling 1460 additional inputs, on iter 6 have 6540 / 8000 1539796540.084 * * * * [misc]points: Computing exacts on every 91 of 1460 points to ramp up precision 1539796540.086 * * * * [misc]points: Setting MPFR precision to 320 1539796540.087 * * * * [misc]points: Setting MPFR precision to 576 1539796540.087 * * * * [misc]points: Computing exacts on every 45 of 1460 points to ramp up precision 1539796540.090 * * * * [misc]points: Setting MPFR precision to 320 1539796540.091 * * * * [misc]points: Setting MPFR precision to 576 1539796540.092 * * * * [misc]points: Computing exacts on every 22 of 1460 points to ramp up precision 1539796540.093 * * * * [misc]points: Setting MPFR precision to 320 1539796540.094 * * * * [misc]points: Setting MPFR precision to 576 1539796540.095 * * * * [misc]points: Computing exacts on every 11 of 1460 points to ramp up precision 1539796540.096 * * * * [misc]points: Setting MPFR precision to 320 1539796540.098 * * * * [misc]points: Setting MPFR precision to 576 1539796540.101 * * * * [misc]points: Computing exacts on every 5 of 1460 points to ramp up precision 1539796540.102 * * * * [misc]points: Setting MPFR precision to 320 1539796540.106 * * * * [misc]points: Setting MPFR precision to 576 1539796540.111 * * * * [misc]points: Computing exacts on every 2 of 1460 points to ramp up precision 1539796540.112 * * * * [misc]points: Setting MPFR precision to 320 1539796540.120 * * * * [misc]points: Setting MPFR precision to 576 1539796540.162 * * * * [misc]points: Computing exacts for 1460 points 1539796540.168 * * * * [misc]points: Setting MPFR precision to 320 1539796540.198 * * * * [misc]points: Setting MPFR precision to 576 1539796540.227 * * * * [misc]points: Filtering points with unrepresentable outputs 1539796540.228 * * * * [misc]points: Sampling 1129 additional inputs, on iter 7 have 6871 / 8000 1539796540.230 * * * * [misc]points: Computing exacts on every 70 of 1129 points to ramp up precision 1539796540.232 * * * * [misc]points: Setting MPFR precision to 320 1539796540.232 * * * * [misc]points: Setting MPFR precision to 576 1539796540.232 * * * * [misc]points: Computing exacts on every 35 of 1129 points to ramp up precision 1539796540.234 * * * * [misc]points: Setting MPFR precision to 320 1539796540.234 * * * * [misc]points: Setting MPFR precision to 576 1539796540.235 * * * * [misc]points: Computing exacts on every 17 of 1129 points to ramp up precision 1539796540.236 * * * * [misc]points: Setting MPFR precision to 320 1539796540.237 * * * * [misc]points: Setting MPFR precision to 576 1539796540.238 * * * * [misc]points: Computing exacts on every 8 of 1129 points to ramp up precision 1539796540.240 * * * * [misc]points: Setting MPFR precision to 320 1539796540.242 * * * * [misc]points: Setting MPFR precision to 576 1539796540.244 * * * * [misc]points: Computing exacts on every 4 of 1129 points to ramp up precision 1539796540.245 * * * * [misc]points: Setting MPFR precision to 320 1539796540.249 * * * * [misc]points: Setting MPFR precision to 576 1539796540.253 * * * * [misc]points: Computing exacts on every 2 of 1129 points to ramp up precision 1539796540.254 * * * * [misc]points: Setting MPFR precision to 320 1539796540.303 * * * * [misc]points: Setting MPFR precision to 576 1539796540.320 * * * * [misc]points: Computing exacts for 1129 points 1539796540.322 * * * * [misc]points: Setting MPFR precision to 320 1539796540.358 * * * * [misc]points: Setting MPFR precision to 576 1539796540.380 * * * * [misc]points: Filtering points with unrepresentable outputs 1539796540.380 * * * * [misc]points: Sampling 864 additional inputs, on iter 8 have 7136 / 8000 1539796540.382 * * * * [misc]points: Computing exacts on every 54 of 864 points to ramp up precision 1539796540.384 * * * * [misc]points: Setting MPFR precision to 320 1539796540.384 * * * * [misc]points: Setting MPFR precision to 576 1539796540.384 * * * * [misc]points: Computing exacts on every 27 of 864 points to ramp up precision 1539796540.386 * * * * [misc]points: Setting MPFR precision to 320 1539796540.386 * * * * [misc]points: Setting MPFR precision to 576 1539796540.387 * * * * [misc]points: Computing exacts on every 13 of 864 points to ramp up precision 1539796540.388 * * * * [misc]points: Setting MPFR precision to 320 1539796540.389 * * * * [misc]points: Setting MPFR precision to 576 1539796540.390 * * * * [misc]points: Computing exacts on every 6 of 864 points to ramp up precision 1539796540.392 * * * * [misc]points: Setting MPFR precision to 320 1539796540.394 * * * * [misc]points: Setting MPFR precision to 576 1539796540.396 * * * * [misc]points: Computing exacts on every 3 of 864 points to ramp up precision 1539796540.397 * * * * [misc]points: Setting MPFR precision to 320 1539796540.401 * * * * [misc]points: Setting MPFR precision to 576 1539796540.404 * * * * [misc]points: Computing exacts for 864 points 1539796540.406 * * * * [misc]points: Setting MPFR precision to 320 1539796540.443 * * * * [misc]points: Setting MPFR precision to 576 1539796540.459 * * * * [misc]points: Filtering points with unrepresentable outputs 1539796540.460 * * * * [misc]points: Sampling 645 additional inputs, on iter 9 have 7355 / 8000 1539796540.461 * * * * [misc]points: Computing exacts on every 40 of 645 points to ramp up precision 1539796540.463 * * * * [misc]points: Setting MPFR precision to 320 1539796540.463 * * * * [misc]points: Setting MPFR precision to 576 1539796540.463 * * * * [misc]points: Computing exacts on every 20 of 645 points to ramp up precision 1539796540.464 * * * * [misc]points: Setting MPFR precision to 320 1539796540.465 * * * * [misc]points: Setting MPFR precision to 576 1539796540.465 * * * * [misc]points: Computing exacts on every 10 of 645 points to ramp up precision 1539796540.467 * * * * [misc]points: Setting MPFR precision to 320 1539796540.468 * * * * [misc]points: Setting MPFR precision to 576 1539796540.469 * * * * [misc]points: Computing exacts on every 5 of 645 points to ramp up precision 1539796540.470 * * * * [misc]points: Setting MPFR precision to 320 1539796540.472 * * * * [misc]points: Setting MPFR precision to 576 1539796540.474 * * * * [misc]points: Computing exacts on every 2 of 645 points to ramp up precision 1539796540.475 * * * * [misc]points: Setting MPFR precision to 320 1539796540.482 * * * * [misc]points: Setting MPFR precision to 576 1539796540.489 * * * * [misc]points: Computing exacts for 645 points 1539796540.492 * * * * [misc]points: Setting MPFR precision to 320 1539796540.513 * * * * [misc]points: Setting MPFR precision to 576 1539796540.535 * * * * [misc]points: Filtering points with unrepresentable outputs 1539796540.535 * * * * [misc]points: Sampling 498 additional inputs, on iter 10 have 7502 / 8000 1539796540.538 * * * * [misc]points: Computing exacts on every 31 of 498 points to ramp up precision 1539796540.540 * * * * [misc]points: Setting MPFR precision to 320 1539796540.541 * * * * [misc]points: Setting MPFR precision to 576 1539796540.541 * * * * [misc]points: Computing exacts on every 15 of 498 points to ramp up precision 1539796540.544 * * * * [misc]points: Setting MPFR precision to 320 1539796540.545 * * * * [misc]points: Setting MPFR precision to 576 1539796540.546 * * * * [misc]points: Computing exacts on every 7 of 498 points to ramp up precision 1539796540.548 * * * * [misc]points: Setting MPFR precision to 320 1539796540.550 * * * * [misc]points: Setting MPFR precision to 576 1539796540.553 * * * * [misc]points: Computing exacts on every 3 of 498 points to ramp up precision 1539796540.556 * * * * [misc]points: Setting MPFR precision to 320 1539796540.560 * * * * [misc]points: Setting MPFR precision to 576 1539796540.564 * * * * [misc]points: Computing exacts for 498 points 1539796540.567 * * * * [misc]points: Setting MPFR precision to 320 1539796540.621 * * * * [misc]points: Setting MPFR precision to 576 1539796540.638 * * * * [misc]points: Filtering points with unrepresentable outputs 1539796540.638 * * * * [misc]points: Sampling 382 additional inputs, on iter 11 have 7618 / 8000 1539796540.640 * * * * [misc]points: Computing exacts on every 23 of 382 points to ramp up precision 1539796540.643 * * * * [misc]points: Setting MPFR precision to 320 1539796540.643 * * * * [misc]points: Setting MPFR precision to 576 1539796540.644 * * * * [misc]points: Computing exacts on every 11 of 382 points to ramp up precision 1539796540.646 * * * * [misc]points: Setting MPFR precision to 320 1539796540.648 * * * * [misc]points: Setting MPFR precision to 576 1539796540.649 * * * * [misc]points: Computing exacts on every 5 of 382 points to ramp up precision 1539796540.651 * * * * [misc]points: Setting MPFR precision to 320 1539796540.653 * * * * [misc]points: Setting MPFR precision to 576 1539796540.655 * * * * [misc]points: Computing exacts on every 2 of 382 points to ramp up precision 1539796540.658 * * * * [misc]points: Setting MPFR precision to 320 1539796540.662 * * * * [misc]points: Setting MPFR precision to 576 1539796540.666 * * * * [misc]points: Computing exacts for 382 points 1539796540.669 * * * * [misc]points: Setting MPFR precision to 320 1539796540.681 * * * * [misc]points: Setting MPFR precision to 576 1539796540.694 * * * * [misc]points: Filtering points with unrepresentable outputs 1539796540.695 * * * * [misc]points: Sampling 291 additional inputs, on iter 12 have 7709 / 8000 1539796540.696 * * * * [misc]points: Computing exacts on every 18 of 291 points to ramp up precision 1539796540.698 * * * * [misc]points: Setting MPFR precision to 320 1539796540.699 * * * * [misc]points: Setting MPFR precision to 576 1539796540.700 * * * * [misc]points: Computing exacts on every 9 of 291 points to ramp up precision 1539796540.702 * * * * [misc]points: Setting MPFR precision to 320 1539796540.703 * * * * [misc]points: Setting MPFR precision to 576 1539796540.703 * * * * [misc]points: Computing exacts on every 4 of 291 points to ramp up precision 1539796540.705 * * * * [misc]points: Setting MPFR precision to 320 1539796540.706 * * * * [misc]points: Setting MPFR precision to 576 1539796540.707 * * * * [misc]points: Computing exacts on every 2 of 291 points to ramp up precision 1539796540.708 * * * * [misc]points: Setting MPFR precision to 320 1539796540.709 * * * * [misc]points: Setting MPFR precision to 576 1539796540.711 * * * * [misc]points: Computing exacts for 291 points 1539796540.712 * * * * [misc]points: Setting MPFR precision to 320 1539796540.717 * * * * [misc]points: Setting MPFR precision to 576 1539796540.722 * * * * [misc]points: Filtering points with unrepresentable outputs 1539796540.722 * * * * [misc]points: Sampling 219 additional inputs, on iter 13 have 7781 / 8000 1539796540.723 * * * * [misc]points: Computing exacts on every 13 of 219 points to ramp up precision 1539796540.724 * * * * [misc]points: Setting MPFR precision to 320 1539796540.724 * * * * [misc]points: Setting MPFR precision to 576 1539796540.725 * * * * [misc]points: Computing exacts on every 6 of 219 points to ramp up precision 1539796540.726 * * * * [misc]points: Setting MPFR precision to 320 1539796540.727 * * * * [misc]points: Setting MPFR precision to 576 1539796540.727 * * * * [misc]points: Computing exacts on every 3 of 219 points to ramp up precision 1539796540.729 * * * * [misc]points: Setting MPFR precision to 320 1539796540.730 * * * * [misc]points: Setting MPFR precision to 576 1539796540.731 * * * * [misc]points: Computing exacts for 219 points 1539796540.732 * * * * [misc]points: Setting MPFR precision to 320 1539796540.761 * * * * [misc]points: Setting MPFR precision to 576 1539796540.765 * * * * [misc]points: Filtering points with unrepresentable outputs 1539796540.765 * * * * [misc]points: Sampling 165 additional inputs, on iter 14 have 7835 / 8000 1539796540.765 * * * * [misc]points: Computing exacts on every 10 of 165 points to ramp up precision 1539796540.767 * * * * [misc]points: Setting MPFR precision to 320 1539796540.767 * * * * [misc]points: Setting MPFR precision to 576 1539796540.767 * * * * [misc]points: Computing exacts on every 5 of 165 points to ramp up precision 1539796540.768 * * * * [misc]points: Setting MPFR precision to 320 1539796540.769 * * * * [misc]points: Setting MPFR precision to 576 1539796540.769 * * * * [misc]points: Computing exacts on every 2 of 165 points to ramp up precision 1539796540.770 * * * * [misc]points: Setting MPFR precision to 320 1539796540.771 * * * * [misc]points: Setting MPFR precision to 576 1539796540.774 * * * * [misc]points: Computing exacts for 165 points 1539796540.775 * * * * [misc]points: Setting MPFR precision to 320 1539796540.778 * * * * [misc]points: Setting MPFR precision to 576 1539796540.781 * * * * [misc]points: Filtering points with unrepresentable outputs 1539796540.781 * * * * [misc]points: Sampling 120 additional inputs, on iter 15 have 7880 / 8000 1539796540.782 * * * * [misc]points: Computing exacts on every 7 of 120 points to ramp up precision 1539796540.783 * * * * [misc]points: Setting MPFR precision to 320 1539796540.783 * * * * [misc]points: Setting MPFR precision to 576 1539796540.783 * * * * [misc]points: Computing exacts on every 3 of 120 points to ramp up precision 1539796540.785 * * * * [misc]points: Setting MPFR precision to 320 1539796540.785 * * * * [misc]points: Setting MPFR precision to 576 1539796540.786 * * * * [misc]points: Computing exacts for 120 points 1539796540.787 * * * * [misc]points: Setting MPFR precision to 320 1539796540.789 * * * * [misc]points: Setting MPFR precision to 576 1539796540.791 * * * * [misc]points: Filtering points with unrepresentable outputs 1539796540.791 * * * * [misc]points: Sampling 90 additional inputs, on iter 16 have 7910 / 8000 1539796540.791 * * * * [misc]points: Computing exacts on every 5 of 90 points to ramp up precision 1539796540.793 * * * * [misc]points: Setting MPFR precision to 320 1539796540.793 * * * * [misc]points: Setting MPFR precision to 576 1539796540.793 * * * * [misc]points: Computing exacts on every 2 of 90 points to ramp up precision 1539796540.794 * * * * [misc]points: Setting MPFR precision to 320 1539796540.795 * * * * [misc]points: Setting MPFR precision to 576 1539796540.795 * * * * [misc]points: Computing exacts for 90 points 1539796540.797 * * * * [misc]points: Setting MPFR precision to 320 1539796540.798 * * * * [misc]points: Setting MPFR precision to 576 1539796540.799 * * * * [misc]points: Filtering points with unrepresentable outputs 1539796540.800 * * * * [misc]points: Sampling 73 additional inputs, on iter 17 have 7927 / 8000 1539796540.800 * * * * [misc]points: Computing exacts on every 4 of 73 points to ramp up precision 1539796540.801 * * * * [misc]points: Setting MPFR precision to 320 1539796540.801 * * * * [misc]points: Setting MPFR precision to 576 1539796540.802 * * * * [misc]points: Computing exacts on every 2 of 73 points to ramp up precision 1539796540.803 * * * * [misc]points: Setting MPFR precision to 320 1539796540.803 * * * * [misc]points: Setting MPFR precision to 576 1539796540.804 * * * * [misc]points: Computing exacts for 73 points 1539796540.805 * * * * [misc]points: Setting MPFR precision to 320 1539796540.806 * * * * [misc]points: Setting MPFR precision to 576 1539796540.807 * * * * [misc]points: Filtering points with unrepresentable outputs 1539796540.807 * * * * [misc]points: Sampling 55 additional inputs, on iter 18 have 7945 / 8000 1539796540.808 * * * * [misc]points: Computing exacts on every 3 of 55 points to ramp up precision 1539796540.809 * * * * [misc]points: Setting MPFR precision to 320 1539796540.809 * * * * [misc]points: Setting MPFR precision to 576 1539796540.809 * * * * [misc]points: Computing exacts for 55 points 1539796540.811 * * * * [misc]points: Setting MPFR precision to 320 1539796540.812 * * * * [misc]points: Setting MPFR precision to 576 1539796540.813 * * * * [misc]points: Filtering points with unrepresentable outputs 1539796540.813 * * * * [misc]points: Sampling 45 additional inputs, on iter 19 have 7955 / 8000 1539796540.813 * * * * [misc]points: Computing exacts on every 2 of 45 points to ramp up precision 1539796540.814 * * * * [misc]points: Setting MPFR precision to 320 1539796540.815 * * * * [misc]points: Setting MPFR precision to 576 1539796540.815 * * * * [misc]points: Computing exacts for 45 points 1539796540.816 * * * * [misc]points: Setting MPFR precision to 320 1539796540.817 * * * * [misc]points: Setting MPFR precision to 576 1539796540.818 * * * * [misc]points: Filtering points with unrepresentable outputs 1539796540.818 * * * * [misc]points: Sampling 29 additional inputs, on iter 20 have 7971 / 8000 1539796540.818 * * * * [misc]points: Computing exacts for 29 points 1539796540.819 * * * * [misc]points: Setting MPFR precision to 320 1539796540.820 * * * * [misc]points: Setting MPFR precision to 576 1539796540.821 * * * * [misc]points: Filtering points with unrepresentable outputs 1539796540.821 * * * * [misc]points: Sampling 20 additional inputs, on iter 21 have 7980 / 8000 1539796540.821 * * * * [misc]points: Computing exacts for 20 points 1539796540.824 * * * * [misc]points: Setting MPFR precision to 320 1539796540.824 * * * * [misc]points: Setting MPFR precision to 576 1539796540.825 * * * * [misc]points: Filtering points with unrepresentable outputs 1539796540.825 * * * * [misc]points: Sampling 17 additional inputs, on iter 22 have 7983 / 8000 1539796540.825 * * * * [misc]points: Computing exacts for 17 points 1539796540.828 * * * * [misc]points: Setting MPFR precision to 320 1539796540.828 * * * * [misc]points: Setting MPFR precision to 576 1539796540.828 * * * * [misc]points: Filtering points with unrepresentable outputs 1539796540.828 * * * * [misc]points: Sampling 13 additional inputs, on iter 23 have 7987 / 8000 1539796540.828 * * * * [misc]points: Computing exacts for 13 points 1539796540.830 * * * * [misc]points: Setting MPFR precision to 320 1539796540.830 * * * * [misc]points: Setting MPFR precision to 576 1539796540.830 * * * * [misc]points: Filtering points with unrepresentable outputs 1539796540.830 * * * * [misc]points: Sampling 9 additional inputs, on iter 24 have 7991 / 8000 1539796540.830 * * * * [misc]points: Computing exacts for 9 points 1539796540.831 * * * * [misc]points: Setting MPFR precision to 320 1539796540.832 * * * * [misc]points: Setting MPFR precision to 576 1539796540.832 * * * * [misc]points: Filtering points with unrepresentable outputs 1539796540.832 * * * * [misc]points: Sampling 4 additional inputs, on iter 25 have 7996 / 8000 1539796540.832 * * * * [misc]points: Computing exacts for 4 points 1539796540.833 * * * * [misc]points: Setting MPFR precision to 320 1539796540.833 * * * * [misc]points: Setting MPFR precision to 576 1539796540.834 * * * * [misc]points: Filtering points with unrepresentable outputs 1539796540.834 * * * * [misc]points: Sampling 4 additional inputs, on iter 26 have 7997 / 8000 1539796540.834 * * * * [misc]points: Computing exacts for 4 points 1539796540.835 * * * * [misc]points: Setting MPFR precision to 320 1539796540.835 * * * * [misc]points: Setting MPFR precision to 576 1539796540.835 * * * * [misc]points: Filtering points with unrepresentable outputs 1539796540.835 * * * * [misc]points: Sampling 4 additional inputs, on iter 27 have 7998 / 8000 1539796540.835 * * * * [misc]points: Computing exacts for 4 points 1539796540.836 * * * * [misc]points: Setting MPFR precision to 320 1539796540.851 * * * * [misc]points: Setting MPFR precision to 576 1539796540.851 * * * * [misc]points: Filtering points with unrepresentable outputs 1539796540.851 * * * * [misc]points: Sampling 4 additional inputs, on iter 28 have 7999 / 8000 1539796540.851 * * * * [misc]points: Computing exacts for 4 points 1539796540.854 * * * * [misc]points: Setting MPFR precision to 320 1539796540.854 * * * * [misc]points: Setting MPFR precision to 576 1539796540.854 * * * * [misc]points: Filtering points with unrepresentable outputs 1539796540.854 * * * * [misc]points: Sampling 4 additional inputs, on iter 29 have 7999 / 8000 1539796540.854 * * * * [misc]points: Computing exacts for 4 points 1539796540.855 * * * * [misc]points: Setting MPFR precision to 320 1539796540.856 * * * * [misc]points: Setting MPFR precision to 576 1539796540.856 * * * * [misc]points: Filtering points with unrepresentable outputs 1539796540.856 * * * * [misc]points: Sampling 4 additional inputs, on iter 30 have 7999 / 8000 1539796540.856 * * * * [misc]points: Computing exacts for 4 points 1539796540.857 * * * * [misc]points: Setting MPFR precision to 320 1539796540.857 * * * * [misc]points: Setting MPFR precision to 576 1539796540.857 * * * * [misc]points: Filtering points with unrepresentable outputs 1539796540.857 * * * * [exit]points: Sampled 8000 points with exact outputs 1539796541.016 * [misc]regime-testing: Baseline error score: 0.02045440026383472 1539796541.016 * [misc]regime-testing: End program error score: 0.02045440026383472 1539796541.018 * [misc]regime-testing: Oracle error score: 0.02045440026383472