0.019 * [progress]: [Phase 1 of 3] Setting up. 0.000 * * * [progress]: [1/2] Preparing points 0.001 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256 0.003 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 0.003 * * * * [points]: Setting MPFR precision to 64 0.004 * * * * [points]: Setting MPFR precision to 320 0.021 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.022 * * * * [points]: Setting MPFR precision to 64 0.022 * * * * [points]: Setting MPFR precision to 320 0.031 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 0.031 * * * * [points]: Setting MPFR precision to 64 0.032 * * * * [points]: Setting MPFR precision to 320 0.068 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 0.068 * * * * [points]: Setting MPFR precision to 64 0.070 * * * * [points]: Setting MPFR precision to 320 0.142 * * * * [points]: Computing exacts for 256 points 0.142 * * * * [points]: Setting MPFR precision to 64 0.149 * * * * [points]: Setting MPFR precision to 320 0.374 * * * * [points]: Filtering points with unrepresentable outputs 0.374 * * * * [points]: Sampling 188 additional inputs, on iter 1 have 68 / 256 0.376 * * * * [points]: Computing exacts on every 11 of 188 points to ramp up precision 0.376 * * * * [points]: Setting MPFR precision to 64 0.377 * * * * [points]: Setting MPFR precision to 320 0.383 * * * * [points]: Computing exacts on every 5 of 188 points to ramp up precision 0.383 * * * * [points]: Setting MPFR precision to 64 0.384 * * * * [points]: Setting MPFR precision to 320 0.404 * * * * [points]: Computing exacts on every 2 of 188 points to ramp up precision 0.404 * * * * [points]: Setting MPFR precision to 64 0.406 * * * * [points]: Setting MPFR precision to 320 0.450 * * * * [points]: Computing exacts for 188 points 0.450 * * * * [points]: Setting MPFR precision to 64 0.454 * * * * [points]: Setting MPFR precision to 320 0.586 * * * * [points]: Filtering points with unrepresentable outputs 0.586 * * * * [points]: Sampling 143 additional inputs, on iter 2 have 113 / 256 0.588 * * * * [points]: Computing exacts on every 8 of 143 points to ramp up precision 0.588 * * * * [points]: Setting MPFR precision to 64 0.588 * * * * [points]: Setting MPFR precision to 320 0.613 * * * * [points]: Computing exacts on every 4 of 143 points to ramp up precision 0.613 * * * * [points]: Setting MPFR precision to 64 0.614 * * * * [points]: Setting MPFR precision to 320 0.651 * * * * [points]: Computing exacts on every 2 of 143 points to ramp up precision 0.651 * * * * [points]: Setting MPFR precision to 64 0.652 * * * * [points]: Setting MPFR precision to 320 0.702 * * * * [points]: Computing exacts for 143 points 0.702 * * * * [points]: Setting MPFR precision to 64 0.705 * * * * [points]: Setting MPFR precision to 320 0.818 * * * * [points]: Filtering points with unrepresentable outputs 0.818 * * * * [points]: Sampling 102 additional inputs, on iter 3 have 154 / 256 0.819 * * * * [points]: Computing exacts on every 6 of 102 points to ramp up precision 0.819 * * * * [points]: Setting MPFR precision to 64 0.819 * * * * [points]: Setting MPFR precision to 320 0.819 * * * * [points]: Computing exacts on every 3 of 102 points to ramp up precision 0.819 * * * * [points]: Setting MPFR precision to 64 0.820 * * * * [points]: Setting MPFR precision to 320 0.848 * * * * [points]: Computing exacts for 102 points 0.848 * * * * [points]: Setting MPFR precision to 64 0.850 * * * * [points]: Setting MPFR precision to 320 0.931 * * * * [points]: Filtering points with unrepresentable outputs 0.931 * * * * [points]: Sampling 65 additional inputs, on iter 4 have 191 / 256 0.931 * * * * [points]: Computing exacts on every 4 of 65 points to ramp up precision 0.931 * * * * [points]: Setting MPFR precision to 64 0.932 * * * * [points]: Setting MPFR precision to 320 0.950 * * * * [points]: Computing exacts on every 2 of 65 points to ramp up precision 0.950 * * * * [points]: Setting MPFR precision to 64 0.950 * * * * [points]: Setting MPFR precision to 320 0.963 * * * * [points]: Computing exacts for 65 points 0.963 * * * * [points]: Setting MPFR precision to 64 0.965 * * * * [points]: Setting MPFR precision to 320 1.045 * * * * [points]: Filtering points with unrepresentable outputs 1.045 * * * * [points]: Sampling 51 additional inputs, on iter 5 have 205 / 256 1.046 * * * * [points]: Computing exacts on every 3 of 51 points to ramp up precision 1.046 * * * * [points]: Setting MPFR precision to 64 1.046 * * * * [points]: Setting MPFR precision to 320 1.077 * * * * [points]: Computing exacts for 51 points 1.077 * * * * [points]: Setting MPFR precision to 64 1.079 * * * * [points]: Setting MPFR precision to 320 1.148 * * * * [points]: Filtering points with unrepresentable outputs 1.149 * * * * [points]: Sampling 33 additional inputs, on iter 6 have 223 / 256 1.149 * * * * [points]: Computing exacts on every 2 of 33 points to ramp up precision 1.149 * * * * [points]: Setting MPFR precision to 64 1.149 * * * * [points]: Setting MPFR precision to 320 1.151 * * * * [points]: Computing exacts for 33 points 1.151 * * * * [points]: Setting MPFR precision to 64 1.152 * * * * [points]: Setting MPFR precision to 320 1.161 * * * * [points]: Filtering points with unrepresentable outputs 1.161 * * * * [points]: Sampling 26 additional inputs, on iter 7 have 230 / 256 1.161 * * * * [points]: Computing exacts for 26 points 1.161 * * * * [points]: Setting MPFR precision to 64 1.162 * * * * [points]: Setting MPFR precision to 320 1.180 * * * * [points]: Filtering points with unrepresentable outputs 1.180 * * * * [points]: Sampling 17 additional inputs, on iter 8 have 239 / 256 1.180 * * * * [points]: Computing exacts for 17 points 1.180 * * * * [points]: Setting MPFR precision to 64 1.181 * * * * [points]: Setting MPFR precision to 320 1.188 * * * * [points]: Filtering points with unrepresentable outputs 1.188 * * * * [points]: Sampling 13 additional inputs, on iter 9 have 243 / 256 1.188 * * * * [points]: Computing exacts for 13 points 1.188 * * * * [points]: Setting MPFR precision to 64 1.188 * * * * [points]: Setting MPFR precision to 320 1.202 * * * * [points]: Filtering points with unrepresentable outputs 1.202 * * * * [points]: Sampling 10 additional inputs, on iter 10 have 246 / 256 1.202 * * * * [points]: Computing exacts for 10 points 1.202 * * * * [points]: Setting MPFR precision to 64 1.202 * * * * [points]: Setting MPFR precision to 320 1.208 * * * * [points]: Filtering points with unrepresentable outputs 1.208 * * * * [points]: Sampling 8 additional inputs, on iter 11 have 248 / 256 1.208 * * * * [points]: Computing exacts for 8 points 1.208 * * * * [points]: Setting MPFR precision to 64 1.208 * * * * [points]: Setting MPFR precision to 320 1.209 * * * * [points]: Filtering points with unrepresentable outputs 1.209 * * * * [points]: Sampling 6 additional inputs, on iter 12 have 250 / 256 1.209 * * * * [points]: Computing exacts for 6 points 1.209 * * * * [points]: Setting MPFR precision to 64 1.209 * * * * [points]: Setting MPFR precision to 320 1.217 * * * * [points]: Filtering points with unrepresentable outputs 1.217 * * * * [points]: Sampling 6 additional inputs, on iter 13 have 250 / 256 1.217 * * * * [points]: Computing exacts for 6 points 1.217 * * * * [points]: Setting MPFR precision to 64 1.217 * * * * [points]: Setting MPFR precision to 320 1.223 * * * * [points]: Filtering points with unrepresentable outputs 1.223 * * * * [points]: Sampling 6 additional inputs, on iter 14 have 250 / 256 1.223 * * * * [points]: Computing exacts for 6 points 1.223 * * * * [points]: Setting MPFR precision to 64 1.223 * * * * [points]: Setting MPFR precision to 320 1.223 * * * * [points]: Filtering points with unrepresentable outputs 1.223 * * * * [points]: Sampling 4 additional inputs, on iter 15 have 252 / 256 1.223 * * * * [points]: Computing exacts for 4 points 1.223 * * * * [points]: Setting MPFR precision to 64 1.223 * * * * [points]: Setting MPFR precision to 320 1.224 * * * * [points]: Filtering points with unrepresentable outputs 1.224 * * * * [points]: Sampling 4 additional inputs, on iter 16 have 253 / 256 1.224 * * * * [points]: Computing exacts for 4 points 1.224 * * * * [points]: Setting MPFR precision to 64 1.224 * * * * [points]: Setting MPFR precision to 320 1.225 * * * * [points]: Filtering points with unrepresentable outputs 1.225 * * * * [points]: Sampling 4 additional inputs, on iter 17 have 253 / 256 1.225 * * * * [points]: Computing exacts for 4 points 1.226 * * * * [points]: Setting MPFR precision to 64 1.226 * * * * [points]: Setting MPFR precision to 320 1.226 * * * * [points]: Filtering points with unrepresentable outputs 1.226 * * * * [points]: Sampling 4 additional inputs, on iter 18 have 255 / 256 1.226 * * * * [points]: Computing exacts for 4 points 1.226 * * * * [points]: Setting MPFR precision to 64 1.226 * * * * [points]: Setting MPFR precision to 320 1.232 * * * * [points]: Filtering points with unrepresentable outputs 1.232 * * * * [points]: Sampling 4 additional inputs, on iter 19 have 255 / 256 1.232 * * * * [points]: Computing exacts for 4 points 1.232 * * * * [points]: Setting MPFR precision to 64 1.232 * * * * [points]: Setting MPFR precision to 320 1.238 * * * * [points]: Filtering points with unrepresentable outputs 1.238 * * * * [points]: Sampled 257 points with exact outputs 1.238 * * * [progress]: [2/2] Setting up program. 1.240 * [progress]: [Phase 2 of 3] Improving. 1.240 * [simplify]: Simplifying using # : (log (/ (lgamma x) (log x))) 1.242 * * [simplify]: iteration 0 : 8 enodes (cost 4 ) 1.243 * * [simplify]: iteration 1 : 10 enodes (cost 4 ) 1.244 * * [simplify]: iteration 2 : 11 enodes (cost 4 ) 1.245 * * [simplify]: iteration 3 : 11 enodes (cost 4 ) 1.245 * [simplify]: Simplified to: (log (/ (lgamma x) (log x))) 1.245 * [progress]: [Phase 3 of 3] Extracting. 1.247 * [simplify]: Simplifying using # : (log (/ (lgamma x) (log x))) 1.248 * * [simplify]: iteration 0 : 5 enodes (cost 4 ) 1.248 * [simplify]: Simplified to: (log (/ (lgamma x) (log x))) 1.248 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1.319 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision 1.319 * * * * [points]: Setting MPFR precision to 64 1.320 * * * * [points]: Setting MPFR precision to 320 1.339 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision 1.339 * * * * [points]: Setting MPFR precision to 64 1.339 * * * * [points]: Setting MPFR precision to 320 1.373 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision 1.373 * * * * [points]: Setting MPFR precision to 64 1.375 * * * * [points]: Setting MPFR precision to 320 1.405 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision 1.405 * * * * [points]: Setting MPFR precision to 64 1.409 * * * * [points]: Setting MPFR precision to 320 1.495 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision 1.495 * * * * [points]: Setting MPFR precision to 64 1.500 * * * * [points]: Setting MPFR precision to 320 1.661 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision 1.661 * * * * [points]: Setting MPFR precision to 64 1.671 * * * * [points]: Setting MPFR precision to 320 2.003 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision 2.003 * * * * [points]: Setting MPFR precision to 64 2.027 * * * * [points]: Setting MPFR precision to 320 2.660 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision 2.660 * * * * [points]: Setting MPFR precision to 64 2.703 * * * * [points]: Setting MPFR precision to 320 4.093 * * * * [points]: Computing exacts for 8000 points 4.093 * * * * [points]: Setting MPFR precision to 64 4.276 * * * * [points]: Setting MPFR precision to 320 10.462 * * * * [points]: Filtering points with unrepresentable outputs 10.465 * * * * [points]: Sampling 5992 additional inputs, on iter 1 have 2008 / 8000 10.520 * * * * [points]: Computing exacts on every 374 of 5992 points to ramp up precision 10.520 * * * * [points]: Setting MPFR precision to 64 10.521 * * * * [points]: Setting MPFR precision to 320 10.521 * * * * [points]: Computing exacts on every 187 of 5992 points to ramp up precision 10.521 * * * * [points]: Setting MPFR precision to 64 10.522 * * * * [points]: Setting MPFR precision to 320 10.559 * * * * [points]: Computing exacts on every 93 of 5992 points to ramp up precision 10.560 * * * * [points]: Setting MPFR precision to 64 10.561 * * * * [points]: Setting MPFR precision to 320 10.625 * * * * [points]: Computing exacts on every 46 of 5992 points to ramp up precision 10.625 * * * * [points]: Setting MPFR precision to 64 10.629 * * * * [points]: Setting MPFR precision to 320 10.740 * * * * [points]: Computing exacts on every 23 of 5992 points to ramp up precision 10.740 * * * * [points]: Setting MPFR precision to 64 10.746 * * * * [points]: Setting MPFR precision to 320 10.969 * * * * [points]: Computing exacts on every 11 of 5992 points to ramp up precision 10.969 * * * * [points]: Setting MPFR precision to 64 10.983 * * * * [points]: Setting MPFR precision to 320 11.434 * * * * [points]: Computing exacts on every 5 of 5992 points to ramp up precision 11.434 * * * * [points]: Setting MPFR precision to 64 11.460 * * * * [points]: Setting MPFR precision to 320 12.272 * * * * [points]: Computing exacts on every 2 of 5992 points to ramp up precision 12.272 * * * * [points]: Setting MPFR precision to 64 12.322 * * * * [points]: Setting MPFR precision to 320 13.920 * * * * [points]: Computing exacts for 5992 points 13.920 * * * * [points]: Setting MPFR precision to 64 14.068 * * * * [points]: Setting MPFR precision to 320 18.884 * * * * [points]: Filtering points with unrepresentable outputs 18.887 * * * * [points]: Sampling 4466 additional inputs, on iter 2 have 3534 / 8000 18.929 * * * * [points]: Computing exacts on every 279 of 4466 points to ramp up precision 18.929 * * * * [points]: Setting MPFR precision to 64 18.929 * * * * [points]: Setting MPFR precision to 320 18.947 * * * * [points]: Computing exacts on every 139 of 4466 points to ramp up precision 18.947 * * * * [points]: Setting MPFR precision to 64 18.948 * * * * [points]: Setting MPFR precision to 320 18.973 * * * * [points]: Computing exacts on every 69 of 4466 points to ramp up precision 18.974 * * * * [points]: Setting MPFR precision to 64 18.975 * * * * [points]: Setting MPFR precision to 320 19.026 * * * * [points]: Computing exacts on every 34 of 4466 points to ramp up precision 19.026 * * * * [points]: Setting MPFR precision to 64 19.031 * * * * [points]: Setting MPFR precision to 320 19.134 * * * * [points]: Computing exacts on every 17 of 4466 points to ramp up precision 19.134 * * * * [points]: Setting MPFR precision to 64 19.140 * * * * [points]: Setting MPFR precision to 320 19.348 * * * * [points]: Computing exacts on every 8 of 4466 points to ramp up precision 19.349 * * * * [points]: Setting MPFR precision to 64 19.359 * * * * [points]: Setting MPFR precision to 320 19.754 * * * * [points]: Computing exacts on every 4 of 4466 points to ramp up precision 19.754 * * * * [points]: Setting MPFR precision to 64 19.776 * * * * [points]: Setting MPFR precision to 320 20.514 * * * * [points]: Computing exacts on every 2 of 4466 points to ramp up precision 20.514 * * * * [points]: Setting MPFR precision to 64 20.553 * * * * [points]: Setting MPFR precision to 320 21.884 * * * * [points]: Computing exacts for 4466 points 21.884 * * * * [points]: Setting MPFR precision to 64 21.994 * * * * [points]: Setting MPFR precision to 320 25.898 * * * * [points]: Filtering points with unrepresentable outputs 25.900 * * * * [points]: Sampling 3359 additional inputs, on iter 3 have 4641 / 8000 25.932 * * * * [points]: Computing exacts on every 209 of 3359 points to ramp up precision 25.933 * * * * [points]: Setting MPFR precision to 64 25.934 * * * * [points]: Setting MPFR precision to 320 25.942 * * * * [points]: Computing exacts on every 104 of 3359 points to ramp up precision 25.942 * * * * [points]: Setting MPFR precision to 64 25.943 * * * * [points]: Setting MPFR precision to 320 25.974 * * * * [points]: Computing exacts on every 52 of 3359 points to ramp up precision 25.974 * * * * [points]: Setting MPFR precision to 64 25.975 * * * * [points]: Setting MPFR precision to 320 25.992 * * * * [points]: Computing exacts on every 26 of 3359 points to ramp up precision 25.992 * * * * [points]: Setting MPFR precision to 64 25.994 * * * * [points]: Setting MPFR precision to 320 26.096 * * * * [points]: Computing exacts on every 13 of 3359 points to ramp up precision 26.096 * * * * [points]: Setting MPFR precision to 64 26.101 * * * * [points]: Setting MPFR precision to 320 26.259 * * * * [points]: Computing exacts on every 6 of 3359 points to ramp up precision 26.259 * * * * [points]: Setting MPFR precision to 64 26.271 * * * * [points]: Setting MPFR precision to 320 26.625 * * * * [points]: Computing exacts on every 3 of 3359 points to ramp up precision 26.625 * * * * [points]: Setting MPFR precision to 64 26.644 * * * * [points]: Setting MPFR precision to 320 27.145 * * * * [points]: Computing exacts for 3359 points 27.145 * * * * [points]: Setting MPFR precision to 64 27.227 * * * * [points]: Setting MPFR precision to 320 29.818 * * * * [points]: Filtering points with unrepresentable outputs 29.820 * * * * [points]: Sampling 2509 additional inputs, on iter 4 have 5491 / 8000 29.844 * * * * [points]: Computing exacts on every 156 of 2509 points to ramp up precision 29.845 * * * * [points]: Setting MPFR precision to 64 29.845 * * * * [points]: Setting MPFR precision to 320 29.855 * * * * [points]: Computing exacts on every 78 of 2509 points to ramp up precision 29.855 * * * * [points]: Setting MPFR precision to 64 29.856 * * * * [points]: Setting MPFR precision to 320 29.870 * * * * [points]: Computing exacts on every 39 of 2509 points to ramp up precision 29.870 * * * * [points]: Setting MPFR precision to 64 29.871 * * * * [points]: Setting MPFR precision to 320 29.941 * * * * [points]: Computing exacts on every 19 of 2509 points to ramp up precision 29.941 * * * * [points]: Setting MPFR precision to 64 29.944 * * * * [points]: Setting MPFR precision to 320 30.049 * * * * [points]: Computing exacts on every 9 of 2509 points to ramp up precision 30.049 * * * * [points]: Setting MPFR precision to 64 30.054 * * * * [points]: Setting MPFR precision to 320 30.221 * * * * [points]: Computing exacts on every 4 of 2509 points to ramp up precision 30.221 * * * * [points]: Setting MPFR precision to 64 30.232 * * * * [points]: Setting MPFR precision to 320 30.602 * * * * [points]: Computing exacts on every 2 of 2509 points to ramp up precision 30.602 * * * * [points]: Setting MPFR precision to 64 30.623 * * * * [points]: Setting MPFR precision to 320 31.312 * * * * [points]: Computing exacts for 2509 points 31.313 * * * * [points]: Setting MPFR precision to 64 31.370 * * * * [points]: Setting MPFR precision to 320 33.410 * * * * [points]: Filtering points with unrepresentable outputs 33.411 * * * * [points]: Sampling 1894 additional inputs, on iter 5 have 6106 / 8000 33.427 * * * * [points]: Computing exacts on every 118 of 1894 points to ramp up precision 33.427 * * * * [points]: Setting MPFR precision to 64 33.427 * * * * [points]: Setting MPFR precision to 320 33.428 * * * * [points]: Computing exacts on every 59 of 1894 points to ramp up precision 33.428 * * * * [points]: Setting MPFR precision to 64 33.428 * * * * [points]: Setting MPFR precision to 320 33.473 * * * * [points]: Computing exacts on every 29 of 1894 points to ramp up precision 33.473 * * * * [points]: Setting MPFR precision to 64 33.474 * * * * [points]: Setting MPFR precision to 320 33.548 * * * * [points]: Computing exacts on every 14 of 1894 points to ramp up precision 33.548 * * * * [points]: Setting MPFR precision to 64 33.550 * * * * [points]: Setting MPFR precision to 320 33.687 * * * * [points]: Computing exacts on every 7 of 1894 points to ramp up precision 33.687 * * * * [points]: Setting MPFR precision to 64 33.693 * * * * [points]: Setting MPFR precision to 320 33.947 * * * * [points]: Computing exacts on every 3 of 1894 points to ramp up precision 33.947 * * * * [points]: Setting MPFR precision to 64 33.956 * * * * [points]: Setting MPFR precision to 320 34.356 * * * * [points]: Computing exacts for 1894 points 34.357 * * * * [points]: Setting MPFR precision to 64 34.400 * * * * [points]: Setting MPFR precision to 320 35.932 * * * * [points]: Setting MPFR precision to 576 44.297 * * * * [points]: Filtering points with unrepresentable outputs 44.297 * * * * [points]: Sampling 1408 additional inputs, on iter 6 have 6592 / 8000 44.310 * * * * [points]: Computing exacts on every 88 of 1408 points to ramp up precision 44.310 * * * * [points]: Setting MPFR precision to 320 44.310 * * * * [points]: Setting MPFR precision to 576 44.396 * * * * [points]: Computing exacts on every 44 of 1408 points to ramp up precision 44.396 * * * * [points]: Setting MPFR precision to 320 44.418 * * * * [points]: Setting MPFR precision to 576 44.478 * * * * [points]: Computing exacts on every 22 of 1408 points to ramp up precision 44.478 * * * * [points]: Setting MPFR precision to 320 44.515 * * * * [points]: Setting MPFR precision to 576 44.781 * * * * [points]: Computing exacts on every 11 of 1408 points to ramp up precision 44.781 * * * * [points]: Setting MPFR precision to 320 44.876 * * * * [points]: Setting MPFR precision to 576 45.469 * * * * [points]: Computing exacts on every 5 of 1408 points to ramp up precision 45.469 * * * * [points]: Setting MPFR precision to 320 45.657 * * * * [points]: Setting MPFR precision to 576 46.788 * * * * [points]: Computing exacts on every 2 of 1408 points to ramp up precision 46.788 * * * * [points]: Setting MPFR precision to 320 47.130 * * * * [points]: Setting MPFR precision to 576 49.256 * * * * [points]: Computing exacts for 1408 points 49.256 * * * * [points]: Setting MPFR precision to 320 50.269 * * * * [points]: Setting MPFR precision to 576 56.267 * * * * [points]: Filtering points with unrepresentable outputs 56.267 * * * * [points]: Sampling 1062 additional inputs, on iter 7 have 6938 / 8000 56.276 * * * * [points]: Computing exacts on every 66 of 1062 points to ramp up precision 56.277 * * * * [points]: Setting MPFR precision to 320 56.282 * * * * [points]: Setting MPFR precision to 576 56.460 * * * * [points]: Computing exacts on every 33 of 1062 points to ramp up precision 56.460 * * * * [points]: Setting MPFR precision to 320 56.478 * * * * [points]: Setting MPFR precision to 576 56.558 * * * * [points]: Computing exacts on every 16 of 1062 points to ramp up precision 56.558 * * * * [points]: Setting MPFR precision to 320 56.603 * * * * [points]: Setting MPFR precision to 576 56.901 * * * * [points]: Computing exacts on every 8 of 1062 points to ramp up precision 56.901 * * * * [points]: Setting MPFR precision to 320 56.979 * * * * [points]: Setting MPFR precision to 576 57.523 * * * * [points]: Computing exacts on every 4 of 1062 points to ramp up precision 57.523 * * * * [points]: Setting MPFR precision to 320 57.688 * * * * [points]: Setting MPFR precision to 576 58.705 * * * * [points]: Computing exacts on every 2 of 1062 points to ramp up precision 58.705 * * * * [points]: Setting MPFR precision to 320 59.004 * * * * [points]: Setting MPFR precision to 576 60.720 * * * * [points]: Computing exacts for 1062 points 60.720 * * * * [points]: Setting MPFR precision to 320 61.581 * * * * [points]: Setting MPFR precision to 576 66.602 * * * * [points]: Filtering points with unrepresentable outputs 66.603 * * * * [points]: Sampling 811 additional inputs, on iter 8 have 7189 / 8000 66.610 * * * * [points]: Computing exacts on every 50 of 811 points to ramp up precision 66.610 * * * * [points]: Setting MPFR precision to 320 66.611 * * * * [points]: Setting MPFR precision to 576 66.623 * * * * [points]: Computing exacts on every 25 of 811 points to ramp up precision 66.624 * * * * [points]: Setting MPFR precision to 320 66.647 * * * * [points]: Setting MPFR precision to 576 66.800 * * * * [points]: Computing exacts on every 12 of 811 points to ramp up precision 66.800 * * * * [points]: Setting MPFR precision to 320 66.837 * * * * [points]: Setting MPFR precision to 576 67.062 * * * * [points]: Computing exacts on every 6 of 811 points to ramp up precision 67.062 * * * * [points]: Setting MPFR precision to 320 67.143 * * * * [points]: Setting MPFR precision to 576 67.566 * * * * [points]: Computing exacts on every 3 of 811 points to ramp up precision 67.566 * * * * [points]: Setting MPFR precision to 320 67.667 * * * * [points]: Setting MPFR precision to 576 68.330 * * * * [points]: Computing exacts for 811 points 68.330 * * * * [points]: Setting MPFR precision to 320 68.934 * * * * [points]: Setting MPFR precision to 576 72.519 * * * * [points]: Filtering points with unrepresentable outputs 72.519 * * * * [points]: Sampling 614 additional inputs, on iter 9 have 7386 / 8000 72.525 * * * * [points]: Computing exacts on every 38 of 614 points to ramp up precision 72.525 * * * * [points]: Setting MPFR precision to 320 72.531 * * * * [points]: Setting MPFR precision to 576 72.558 * * * * [points]: Computing exacts on every 19 of 614 points to ramp up precision 72.558 * * * * [points]: Setting MPFR precision to 320 72.575 * * * * [points]: Setting MPFR precision to 576 72.656 * * * * [points]: Computing exacts on every 9 of 614 points to ramp up precision 72.656 * * * * [points]: Setting MPFR precision to 320 72.688 * * * * [points]: Setting MPFR precision to 576 72.904 * * * * [points]: Computing exacts on every 4 of 614 points to ramp up precision 72.904 * * * * [points]: Setting MPFR precision to 320 72.986 * * * * [points]: Setting MPFR precision to 576 73.458 * * * * [points]: Computing exacts on every 2 of 614 points to ramp up precision 73.458 * * * * [points]: Setting MPFR precision to 320 73.602 * * * * [points]: Setting MPFR precision to 576 74.385 * * * * [points]: Computing exacts for 614 points 74.385 * * * * [points]: Setting MPFR precision to 320 74.987 * * * * [points]: Setting MPFR precision to 576 77.310 * * * * [points]: Filtering points with unrepresentable outputs 77.311 * * * * [points]: Sampling 471 additional inputs, on iter 10 have 7529 / 8000 77.315 * * * * [points]: Computing exacts on every 29 of 471 points to ramp up precision 77.315 * * * * [points]: Setting MPFR precision to 320 77.323 * * * * [points]: Setting MPFR precision to 576 77.381 * * * * [points]: Computing exacts on every 14 of 471 points to ramp up precision 77.381 * * * * [points]: Setting MPFR precision to 320 77.414 * * * * [points]: Setting MPFR precision to 576 77.569 * * * * [points]: Computing exacts on every 7 of 471 points to ramp up precision 77.569 * * * * [points]: Setting MPFR precision to 320 77.653 * * * * [points]: Setting MPFR precision to 576 77.952 * * * * [points]: Computing exacts on every 3 of 471 points to ramp up precision 77.952 * * * * [points]: Setting MPFR precision to 320 78.079 * * * * [points]: Setting MPFR precision to 576 78.572 * * * * [points]: Computing exacts for 471 points 78.572 * * * * [points]: Setting MPFR precision to 320 78.944 * * * * [points]: Setting MPFR precision to 576 81.066 * * * * [points]: Filtering points with unrepresentable outputs 81.066 * * * * [points]: Sampling 354 additional inputs, on iter 11 have 7646 / 8000 81.069 * * * * [points]: Computing exacts on every 22 of 354 points to ramp up precision 81.069 * * * * [points]: Setting MPFR precision to 320 81.083 * * * * [points]: Setting MPFR precision to 576 81.144 * * * * [points]: Computing exacts on every 11 of 354 points to ramp up precision 81.144 * * * * [points]: Setting MPFR precision to 320 81.184 * * * * [points]: Setting MPFR precision to 576 81.319 * * * * [points]: Computing exacts on every 5 of 354 points to ramp up precision 81.319 * * * * [points]: Setting MPFR precision to 320 81.375 * * * * [points]: Setting MPFR precision to 576 81.671 * * * * [points]: Computing exacts on every 2 of 354 points to ramp up precision 81.671 * * * * [points]: Setting MPFR precision to 320 81.763 * * * * [points]: Setting MPFR precision to 576 82.375 * * * * [points]: Computing exacts for 354 points 82.375 * * * * [points]: Setting MPFR precision to 320 82.671 * * * * [points]: Setting MPFR precision to 576 84.381 * * * * [points]: Filtering points with unrepresentable outputs 84.381 * * * * [points]: Sampling 262 additional inputs, on iter 12 have 7738 / 8000 84.387 * * * * [points]: Computing exacts on every 16 of 262 points to ramp up precision 84.387 * * * * [points]: Setting MPFR precision to 320 84.400 * * * * [points]: Setting MPFR precision to 576 84.452 * * * * [points]: Computing exacts on every 8 of 262 points to ramp up precision 84.452 * * * * [points]: Setting MPFR precision to 320 84.465 * * * * [points]: Setting MPFR precision to 576 84.564 * * * * [points]: Computing exacts on every 4 of 262 points to ramp up precision 84.564 * * * * [points]: Setting MPFR precision to 320 84.590 * * * * [points]: Setting MPFR precision to 576 84.819 * * * * [points]: Computing exacts on every 2 of 262 points to ramp up precision 84.819 * * * * [points]: Setting MPFR precision to 320 84.874 * * * * [points]: Setting MPFR precision to 576 85.263 * * * * [points]: Computing exacts for 262 points 85.263 * * * * [points]: Setting MPFR precision to 320 85.443 * * * * [points]: Setting MPFR precision to 576 86.535 * * * * [points]: Filtering points with unrepresentable outputs 86.535 * * * * [points]: Sampling 192 additional inputs, on iter 13 have 7808 / 8000 86.537 * * * * [points]: Computing exacts on every 12 of 192 points to ramp up precision 86.537 * * * * [points]: Setting MPFR precision to 320 86.556 * * * * [points]: Setting MPFR precision to 576 86.599 * * * * [points]: Computing exacts on every 6 of 192 points to ramp up precision 86.599 * * * * [points]: Setting MPFR precision to 320 86.628 * * * * [points]: Setting MPFR precision to 576 86.733 * * * * [points]: Computing exacts on every 3 of 192 points to ramp up precision 86.733 * * * * [points]: Setting MPFR precision to 320 86.785 * * * * [points]: Setting MPFR precision to 576 86.999 * * * * [points]: Computing exacts for 192 points 86.999 * * * * [points]: Setting MPFR precision to 320 87.180 * * * * [points]: Setting MPFR precision to 576 88.124 * * * * [points]: Filtering points with unrepresentable outputs 88.124 * * * * [points]: Sampling 147 additional inputs, on iter 14 have 7853 / 8000 88.125 * * * * [points]: Computing exacts on every 9 of 147 points to ramp up precision 88.125 * * * * [points]: Setting MPFR precision to 320 88.140 * * * * [points]: Setting MPFR precision to 576 88.233 * * * * [points]: Computing exacts on every 4 of 147 points to ramp up precision 88.233 * * * * [points]: Setting MPFR precision to 320 88.252 * * * * [points]: Setting MPFR precision to 576 88.421 * * * * [points]: Computing exacts on every 2 of 147 points to ramp up precision 88.421 * * * * [points]: Setting MPFR precision to 320 88.455 * * * * [points]: Setting MPFR precision to 576 88.684 * * * * [points]: Computing exacts for 147 points 88.684 * * * * [points]: Setting MPFR precision to 320 88.798 * * * * [points]: Setting MPFR precision to 576 89.461 * * * * [points]: Filtering points with unrepresentable outputs 89.461 * * * * [points]: Sampling 108 additional inputs, on iter 15 have 7892 / 8000 89.463 * * * * [points]: Computing exacts on every 6 of 108 points to ramp up precision 89.463 * * * * [points]: Setting MPFR precision to 320 89.472 * * * * [points]: Setting MPFR precision to 576 89.518 * * * * [points]: Computing exacts on every 3 of 108 points to ramp up precision 89.518 * * * * [points]: Setting MPFR precision to 320 89.533 * * * * [points]: Setting MPFR precision to 576 89.606 * * * * [points]: Computing exacts for 108 points 89.606 * * * * [points]: Setting MPFR precision to 320 89.679 * * * * [points]: Setting MPFR precision to 576 90.097 * * * * [points]: Filtering points with unrepresentable outputs 90.097 * * * * [points]: Sampling 91 additional inputs, on iter 16 have 7909 / 8000 90.098 * * * * [points]: Computing exacts on every 5 of 91 points to ramp up precision 90.098 * * * * [points]: Setting MPFR precision to 320 90.104 * * * * [points]: Setting MPFR precision to 576 90.147 * * * * [points]: Computing exacts on every 2 of 91 points to ramp up precision 90.147 * * * * [points]: Setting MPFR precision to 320 90.185 * * * * [points]: Setting MPFR precision to 576 90.311 * * * * [points]: Computing exacts for 91 points 90.311 * * * * [points]: Setting MPFR precision to 320 90.371 * * * * [points]: Setting MPFR precision to 576 90.701 * * * * [points]: Filtering points with unrepresentable outputs 90.701 * * * * [points]: Sampling 64 additional inputs, on iter 17 have 7936 / 8000 90.701 * * * * [points]: Computing exacts on every 4 of 64 points to ramp up precision 90.702 * * * * [points]: Setting MPFR precision to 320 90.708 * * * * [points]: Setting MPFR precision to 576 90.750 * * * * [points]: Computing exacts on every 2 of 64 points to ramp up precision 90.750 * * * * [points]: Setting MPFR precision to 320 90.768 * * * * [points]: Setting MPFR precision to 576 90.865 * * * * [points]: Computing exacts for 64 points 90.865 * * * * [points]: Setting MPFR precision to 320 90.901 * * * * [points]: Setting MPFR precision to 576 91.143 * * * * [points]: Filtering points with unrepresentable outputs 91.143 * * * * [points]: Sampling 45 additional inputs, on iter 18 have 7955 / 8000 91.144 * * * * [points]: Computing exacts on every 2 of 45 points to ramp up precision 91.144 * * * * [points]: Setting MPFR precision to 320 91.144 * * * * [points]: Setting MPFR precision to 576 91.157 * * * * [points]: Computing exacts for 45 points 91.157 * * * * [points]: Setting MPFR precision to 320 91.187 * * * * [points]: Setting MPFR precision to 576 91.383 * * * * [points]: Filtering points with unrepresentable outputs 91.383 * * * * [points]: Sampling 30 additional inputs, on iter 19 have 7970 / 8000 91.383 * * * * [points]: Computing exacts for 30 points 91.383 * * * * [points]: Setting MPFR precision to 320 91.418 * * * * [points]: Setting MPFR precision to 576 91.568 * * * * [points]: Filtering points with unrepresentable outputs 91.568 * * * * [points]: Sampling 24 additional inputs, on iter 20 have 7976 / 8000 91.568 * * * * [points]: Computing exacts for 24 points 91.568 * * * * [points]: Setting MPFR precision to 320 91.592 * * * * [points]: Setting MPFR precision to 576 91.672 * * * * [points]: Filtering points with unrepresentable outputs 91.672 * * * * [points]: Sampling 15 additional inputs, on iter 21 have 7985 / 8000 91.672 * * * * [points]: Computing exacts for 15 points 91.672 * * * * [points]: Setting MPFR precision to 320 91.695 * * * * [points]: Setting MPFR precision to 576 91.762 * * * * [points]: Filtering points with unrepresentable outputs 91.762 * * * * [points]: Sampling 9 additional inputs, on iter 22 have 7991 / 8000 91.762 * * * * [points]: Computing exacts for 9 points 91.762 * * * * [points]: Setting MPFR precision to 320 91.765 * * * * [points]: Setting MPFR precision to 576 91.802 * * * * [points]: Filtering points with unrepresentable outputs 91.802 * * * * [points]: Sampling 4 additional inputs, on iter 23 have 7996 / 8000 91.802 * * * * [points]: Computing exacts for 4 points 91.802 * * * * [points]: Setting MPFR precision to 320 91.802 * * * * [points]: Setting MPFR precision to 576 91.833 * * * * [points]: Filtering points with unrepresentable outputs 91.833 * * * * [points]: Sampling 4 additional inputs, on iter 24 have 7996 / 8000 91.833 * * * * [points]: Computing exacts for 4 points 91.833 * * * * [points]: Setting MPFR precision to 320 91.839 * * * * [points]: Setting MPFR precision to 576 91.851 * * * * [points]: Filtering points with unrepresentable outputs 91.851 * * * * [points]: Sampling 4 additional inputs, on iter 25 have 7997 / 8000 91.851 * * * * [points]: Computing exacts for 4 points 91.852 * * * * [points]: Setting MPFR precision to 320 91.868 * * * * [points]: Setting MPFR precision to 576 91.905 * * * * [points]: Filtering points with unrepresentable outputs 91.905 * * * * [points]: Sampling 4 additional inputs, on iter 26 have 7998 / 8000 91.905 * * * * [points]: Computing exacts for 4 points 91.905 * * * * [points]: Setting MPFR precision to 320 91.905 * * * * [points]: Setting MPFR precision to 576 91.934 * * * * [points]: Filtering points with unrepresentable outputs 91.934 * * * * [points]: Sampling 4 additional inputs, on iter 27 have 7999 / 8000 91.934 * * * * [points]: Computing exacts for 4 points 91.935 * * * * [points]: Setting MPFR precision to 320 91.935 * * * * [points]: Setting MPFR precision to 576 91.948 * * * * [points]: Filtering points with unrepresentable outputs 91.948 * * * * [points]: Sampled 8000 points with exact outputs 92.150 * [regime-testing]: End program error score: 0.5824281099727225