0.094 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [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.004 * * * * [points]: Setting MPFR precision to 64 0.005 * * * * [points]: Setting MPFR precision to 320 0.013 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.013 * * * * [points]: Setting MPFR precision to 64 0.014 * * * * [points]: Setting MPFR precision to 320 0.020 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 0.020 * * * * [points]: Setting MPFR precision to 64 0.021 * * * * [points]: Setting MPFR precision to 320 0.022 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 0.022 * * * * [points]: Setting MPFR precision to 64 0.024 * * * * [points]: Setting MPFR precision to 320 0.080 * * * * [points]: Computing exacts for 256 points 0.080 * * * * [points]: Setting MPFR precision to 64 0.086 * * * * [points]: Setting MPFR precision to 320 0.266 * * * * [points]: Filtering points with unrepresentable outputs 0.266 * * * * [points]: Sampling 189 additional inputs, on iter 1 have 67 / 256 0.268 * * * * [points]: Computing exacts on every 11 of 189 points to ramp up precision 0.268 * * * * [points]: Setting MPFR precision to 64 0.269 * * * * [points]: Setting MPFR precision to 320 0.276 * * * * [points]: Computing exacts on every 5 of 189 points to ramp up precision 0.276 * * * * [points]: Setting MPFR precision to 64 0.278 * * * * [points]: Setting MPFR precision to 320 0.292 * * * * [points]: Computing exacts on every 2 of 189 points to ramp up precision 0.292 * * * * [points]: Setting MPFR precision to 64 0.295 * * * * [points]: Setting MPFR precision to 320 0.373 * * * * [points]: Computing exacts for 189 points 0.373 * * * * [points]: Setting MPFR precision to 64 0.378 * * * * [points]: Setting MPFR precision to 320 0.556 * * * * [points]: Filtering points with unrepresentable outputs 0.556 * * * * [points]: Sampling 148 additional inputs, on iter 2 have 108 / 256 0.560 * * * * [points]: Computing exacts on every 9 of 148 points to ramp up precision 0.560 * * * * [points]: Setting MPFR precision to 64 0.561 * * * * [points]: Setting MPFR precision to 320 0.574 * * * * [points]: Computing exacts on every 4 of 148 points to ramp up precision 0.574 * * * * [points]: Setting MPFR precision to 64 0.575 * * * * [points]: Setting MPFR precision to 320 0.594 * * * * [points]: Computing exacts on every 2 of 148 points to ramp up precision 0.594 * * * * [points]: Setting MPFR precision to 64 0.595 * * * * [points]: Setting MPFR precision to 320 0.647 * * * * [points]: Computing exacts for 148 points 0.648 * * * * [points]: Setting MPFR precision to 64 0.651 * * * * [points]: Setting MPFR precision to 320 0.739 * * * * [points]: Filtering points with unrepresentable outputs 0.739 * * * * [points]: Sampling 105 additional inputs, on iter 3 have 151 / 256 0.740 * * * * [points]: Computing exacts on every 6 of 105 points to ramp up precision 0.740 * * * * [points]: Setting MPFR precision to 64 0.740 * * * * [points]: Setting MPFR precision to 320 0.752 * * * * [points]: Computing exacts on every 3 of 105 points to ramp up precision 0.752 * * * * [points]: Setting MPFR precision to 64 0.753 * * * * [points]: Setting MPFR precision to 320 0.790 * * * * [points]: Computing exacts for 105 points 0.790 * * * * [points]: Setting MPFR precision to 64 0.792 * * * * [points]: Setting MPFR precision to 320 0.873 * * * * [points]: Filtering points with unrepresentable outputs 0.873 * * * * [points]: Sampling 82 additional inputs, on iter 4 have 174 / 256 0.874 * * * * [points]: Computing exacts on every 5 of 82 points to ramp up precision 0.874 * * * * [points]: Setting MPFR precision to 64 0.874 * * * * [points]: Setting MPFR precision to 320 0.875 * * * * [points]: Computing exacts on every 2 of 82 points to ramp up precision 0.875 * * * * [points]: Setting MPFR precision to 64 0.875 * * * * [points]: Setting MPFR precision to 320 0.876 * * * * [points]: Computing exacts for 82 points 0.876 * * * * [points]: Setting MPFR precision to 64 0.879 * * * * [points]: Setting MPFR precision to 320 0.906 * * * * [points]: Filtering points with unrepresentable outputs 0.906 * * * * [points]: Sampling 60 additional inputs, on iter 5 have 196 / 256 0.906 * * * * [points]: Computing exacts on every 3 of 60 points to ramp up precision 0.906 * * * * [points]: Setting MPFR precision to 64 0.907 * * * * [points]: Setting MPFR precision to 320 0.922 * * * * [points]: Computing exacts for 60 points 0.922 * * * * [points]: Setting MPFR precision to 64 0.924 * * * * [points]: Setting MPFR precision to 320 0.970 * * * * [points]: Filtering points with unrepresentable outputs 0.970 * * * * [points]: Sampling 46 additional inputs, on iter 6 have 210 / 256 0.970 * * * * [points]: Computing exacts on every 2 of 46 points to ramp up precision 0.970 * * * * [points]: Setting MPFR precision to 64 0.971 * * * * [points]: Setting MPFR precision to 320 0.971 * * * * [points]: Computing exacts for 46 points 0.971 * * * * [points]: Setting MPFR precision to 64 0.972 * * * * [points]: Setting MPFR precision to 320 0.997 * * * * [points]: Filtering points with unrepresentable outputs 0.997 * * * * [points]: Sampling 32 additional inputs, on iter 7 have 224 / 256 0.997 * * * * [points]: Computing exacts on every 2 of 32 points to ramp up precision 0.998 * * * * [points]: Setting MPFR precision to 64 0.998 * * * * [points]: Setting MPFR precision to 320 1.011 * * * * [points]: Computing exacts for 32 points 1.011 * * * * [points]: Setting MPFR precision to 64 1.012 * * * * [points]: Setting MPFR precision to 320 1.064 * * * * [points]: Filtering points with unrepresentable outputs 1.064 * * * * [points]: Sampling 25 additional inputs, on iter 8 have 231 / 256 1.065 * * * * [points]: Computing exacts for 25 points 1.065 * * * * [points]: Setting MPFR precision to 64 1.066 * * * * [points]: Setting MPFR precision to 320 1.104 * * * * [points]: Filtering points with unrepresentable outputs 1.104 * * * * [points]: Sampling 24 additional inputs, on iter 9 have 232 / 256 1.104 * * * * [points]: Computing exacts for 24 points 1.104 * * * * [points]: Setting MPFR precision to 64 1.105 * * * * [points]: Setting MPFR precision to 320 1.112 * * * * [points]: Filtering points with unrepresentable outputs 1.112 * * * * [points]: Sampling 18 additional inputs, on iter 10 have 238 / 256 1.113 * * * * [points]: Computing exacts for 18 points 1.113 * * * * [points]: Setting MPFR precision to 64 1.113 * * * * [points]: Setting MPFR precision to 320 1.128 * * * * [points]: Filtering points with unrepresentable outputs 1.128 * * * * [points]: Sampling 15 additional inputs, on iter 11 have 241 / 256 1.128 * * * * [points]: Computing exacts for 15 points 1.128 * * * * [points]: Setting MPFR precision to 64 1.128 * * * * [points]: Setting MPFR precision to 320 1.149 * * * * [points]: Filtering points with unrepresentable outputs 1.149 * * * * [points]: Sampling 13 additional inputs, on iter 12 have 243 / 256 1.149 * * * * [points]: Computing exacts for 13 points 1.149 * * * * [points]: Setting MPFR precision to 64 1.149 * * * * [points]: Setting MPFR precision to 320 1.161 * * * * [points]: Filtering points with unrepresentable outputs 1.161 * * * * [points]: Sampling 8 additional inputs, on iter 13 have 248 / 256 1.161 * * * * [points]: Computing exacts for 8 points 1.162 * * * * [points]: Setting MPFR precision to 64 1.162 * * * * [points]: Setting MPFR precision to 320 1.169 * * * * [points]: Filtering points with unrepresentable outputs 1.169 * * * * [points]: Sampling 7 additional inputs, on iter 14 have 249 / 256 1.169 * * * * [points]: Computing exacts for 7 points 1.169 * * * * [points]: Setting MPFR precision to 64 1.170 * * * * [points]: Setting MPFR precision to 320 1.183 * * * * [points]: Filtering points with unrepresentable outputs 1.183 * * * * [points]: Sampling 4 additional inputs, on iter 15 have 252 / 256 1.183 * * * * [points]: Computing exacts for 4 points 1.183 * * * * [points]: Setting MPFR precision to 64 1.183 * * * * [points]: Setting MPFR precision to 320 1.189 * * * * [points]: Filtering points with unrepresentable outputs 1.189 * * * * [points]: Sampling 4 additional inputs, on iter 16 have 252 / 256 1.189 * * * * [points]: Computing exacts for 4 points 1.190 * * * * [points]: Setting MPFR precision to 64 1.190 * * * * [points]: Setting MPFR precision to 320 1.190 * * * * [points]: Filtering points with unrepresentable outputs 1.190 * * * * [points]: Sampling 4 additional inputs, on iter 17 have 253 / 256 1.190 * * * * [points]: Computing exacts for 4 points 1.190 * * * * [points]: Setting MPFR precision to 64 1.190 * * * * [points]: Setting MPFR precision to 320 1.190 * * * * [points]: Filtering points with unrepresentable outputs 1.190 * * * * [points]: Sampling 4 additional inputs, on iter 18 have 254 / 256 1.190 * * * * [points]: Computing exacts for 4 points 1.190 * * * * [points]: Setting MPFR precision to 64 1.190 * * * * [points]: Setting MPFR precision to 320 1.202 * * * * [points]: Filtering points with unrepresentable outputs 1.202 * * * * [points]: Sampling 4 additional inputs, on iter 19 have 255 / 256 1.202 * * * * [points]: Computing exacts for 4 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 4 additional inputs, on iter 20 have 255 / 256 1.208 * * * * [points]: Computing exacts for 4 points 1.208 * * * * [points]: Setting MPFR precision to 64 1.208 * * * * [points]: Setting MPFR precision to 320 1.215 * * * * [points]: Filtering points with unrepresentable outputs 1.215 * * * * [points]: Sampled 257 points with exact outputs 1.215 * * * [progress]: [2/2] Setting up program. 1.218 * [progress]: [Phase 2 of 3] Improving. 1.218 * [simplify]: Simplifying using # : (log (/ (lgamma x) (log x))) 1.220 * * [simplify]: iteration 0 : 8 enodes (cost 4 ) 1.221 * * [simplify]: iteration 1 : 10 enodes (cost 4 ) 1.222 * * [simplify]: iteration 2 : 11 enodes (cost 4 ) 1.223 * * [simplify]: iteration 3 : 11 enodes (cost 4 ) 1.223 * [simplify]: Simplified to: (log (/ (lgamma x) (log x))) 1.223 * [progress]: [Phase 3 of 3] Extracting. 1.226 * [simplify]: Simplifying using # : (log (/ (lgamma x) (log x))) 1.226 * * [simplify]: iteration 0 : 5 enodes (cost 4 ) 1.226 * [simplify]: Simplified to: (log (/ (lgamma x) (log x))) 1.226 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1.306 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision 1.306 * * * * [points]: Setting MPFR precision to 64 1.307 * * * * [points]: Setting MPFR precision to 320 1.325 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision 1.325 * * * * [points]: Setting MPFR precision to 64 1.326 * * * * [points]: Setting MPFR precision to 320 1.344 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision 1.344 * * * * [points]: Setting MPFR precision to 64 1.345 * * * * [points]: Setting MPFR precision to 320 1.390 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision 1.390 * * * * [points]: Setting MPFR precision to 64 1.392 * * * * [points]: Setting MPFR precision to 320 1.484 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision 1.485 * * * * [points]: Setting MPFR precision to 64 1.491 * * * * [points]: Setting MPFR precision to 320 1.703 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision 1.703 * * * * [points]: Setting MPFR precision to 64 1.716 * * * * [points]: Setting MPFR precision to 320 2.107 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision 2.107 * * * * [points]: Setting MPFR precision to 64 2.136 * * * * [points]: Setting MPFR precision to 320 2.987 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision 2.987 * * * * [points]: Setting MPFR precision to 64 3.039 * * * * [points]: Setting MPFR precision to 320 4.735 * * * * [points]: Computing exacts for 8000 points 4.736 * * * * [points]: Setting MPFR precision to 64 4.943 * * * * [points]: Setting MPFR precision to 320 11.773 * * * * [points]: Filtering points with unrepresentable outputs 11.777 * * * * [points]: Sampling 6008 additional inputs, on iter 1 have 1992 / 8000 11.834 * * * * [points]: Computing exacts on every 375 of 6008 points to ramp up precision 11.834 * * * * [points]: Setting MPFR precision to 64 11.835 * * * * [points]: Setting MPFR precision to 320 11.841 * * * * [points]: Computing exacts on every 187 of 6008 points to ramp up precision 11.841 * * * * [points]: Setting MPFR precision to 64 11.842 * * * * [points]: Setting MPFR precision to 320 11.848 * * * * [points]: Computing exacts on every 93 of 6008 points to ramp up precision 11.848 * * * * [points]: Setting MPFR precision to 64 11.849 * * * * [points]: Setting MPFR precision to 320 11.871 * * * * [points]: Computing exacts on every 46 of 6008 points to ramp up precision 11.872 * * * * [points]: Setting MPFR precision to 64 11.874 * * * * [points]: Setting MPFR precision to 320 11.945 * * * * [points]: Computing exacts on every 23 of 6008 points to ramp up precision 11.945 * * * * [points]: Setting MPFR precision to 64 11.952 * * * * [points]: Setting MPFR precision to 320 12.221 * * * * [points]: Computing exacts on every 11 of 6008 points to ramp up precision 12.221 * * * * [points]: Setting MPFR precision to 64 12.235 * * * * [points]: Setting MPFR precision to 320 12.743 * * * * [points]: Computing exacts on every 5 of 6008 points to ramp up precision 12.743 * * * * [points]: Setting MPFR precision to 64 12.768 * * * * [points]: Setting MPFR precision to 320 13.596 * * * * [points]: Computing exacts on every 2 of 6008 points to ramp up precision 13.597 * * * * [points]: Setting MPFR precision to 64 13.666 * * * * [points]: Setting MPFR precision to 320 15.444 * * * * [points]: Computing exacts for 6008 points 15.444 * * * * [points]: Setting MPFR precision to 64 15.598 * * * * [points]: Setting MPFR precision to 320 20.956 * * * * [points]: Filtering points with unrepresentable outputs 20.959 * * * * [points]: Sampling 4539 additional inputs, on iter 2 have 3461 / 8000 21.002 * * * * [points]: Computing exacts on every 283 of 4539 points to ramp up precision 21.002 * * * * [points]: Setting MPFR precision to 64 21.002 * * * * [points]: Setting MPFR precision to 320 21.008 * * * * [points]: Computing exacts on every 141 of 4539 points to ramp up precision 21.008 * * * * [points]: Setting MPFR precision to 64 21.009 * * * * [points]: Setting MPFR precision to 320 21.033 * * * * [points]: Computing exacts on every 70 of 4539 points to ramp up precision 21.033 * * * * [points]: Setting MPFR precision to 64 21.034 * * * * [points]: Setting MPFR precision to 320 21.090 * * * * [points]: Computing exacts on every 35 of 4539 points to ramp up precision 21.090 * * * * [points]: Setting MPFR precision to 64 21.093 * * * * [points]: Setting MPFR precision to 320 21.182 * * * * [points]: Computing exacts on every 17 of 4539 points to ramp up precision 21.182 * * * * [points]: Setting MPFR precision to 64 21.190 * * * * [points]: Setting MPFR precision to 320 21.346 * * * * [points]: Computing exacts on every 8 of 4539 points to ramp up precision 21.346 * * * * [points]: Setting MPFR precision to 64 21.362 * * * * [points]: Setting MPFR precision to 320 21.727 * * * * [points]: Computing exacts on every 4 of 4539 points to ramp up precision 21.727 * * * * [points]: Setting MPFR precision to 64 21.752 * * * * [points]: Setting MPFR precision to 320 22.633 * * * * [points]: Setting MPFR precision to 576 26.609 * * * * [points]: Computing exacts on every 2 of 4539 points to ramp up precision 26.610 * * * * [points]: Setting MPFR precision to 320 27.802 * * * * [points]: Setting MPFR precision to 576 34.136 * * * * [points]: Computing exacts for 4539 points 34.137 * * * * [points]: Setting MPFR precision to 320 37.939 * * * * [points]: Setting MPFR precision to 576 58.307 * * * * [points]: Filtering points with unrepresentable outputs 58.309 * * * * [points]: Sampling 3409 additional inputs, on iter 3 have 4591 / 8000 58.342 * * * * [points]: Computing exacts on every 213 of 3409 points to ramp up precision 58.342 * * * * [points]: Setting MPFR precision to 320 58.380 * * * * [points]: Setting MPFR precision to 576 58.492 * * * * [points]: Computing exacts on every 106 of 3409 points to ramp up precision 58.492 * * * * [points]: Setting MPFR precision to 320 58.579 * * * * [points]: Setting MPFR precision to 576 58.807 * * * * [points]: Computing exacts on every 53 of 3409 points to ramp up precision 58.808 * * * * [points]: Setting MPFR precision to 320 58.853 * * * * [points]: Setting MPFR precision to 576 59.229 * * * * [points]: Computing exacts on every 26 of 3409 points to ramp up precision 59.229 * * * * [points]: Setting MPFR precision to 320 59.347 * * * * [points]: Setting MPFR precision to 576 60.012 * * * * [points]: Computing exacts on every 13 of 3409 points to ramp up precision 60.012 * * * * [points]: Setting MPFR precision to 320 60.250 * * * * [points]: Setting MPFR precision to 576 61.428 * * * * [points]: Computing exacts on every 6 of 3409 points to ramp up precision 61.429 * * * * [points]: Setting MPFR precision to 320 61.815 * * * * [points]: Setting MPFR precision to 576 63.999 * * * * [points]: Computing exacts on every 3 of 3409 points to ramp up precision 64.000 * * * * [points]: Setting MPFR precision to 320 64.815 * * * * [points]: Setting MPFR precision to 576 68.764 * * * * [points]: Computing exacts for 3409 points 68.764 * * * * [points]: Setting MPFR precision to 320 71.691 * * * * [points]: Setting MPFR precision to 576 87.837 * * * * [points]: Filtering points with unrepresentable outputs 87.838 * * * * [points]: Sampling 2576 additional inputs, on iter 4 have 5424 / 8000 87.863 * * * * [points]: Computing exacts on every 161 of 2576 points to ramp up precision 87.863 * * * * [points]: Setting MPFR precision to 320 87.870 * * * * [points]: Setting MPFR precision to 576 87.962 * * * * [points]: Computing exacts on every 80 of 2576 points to ramp up precision 87.962 * * * * [points]: Setting MPFR precision to 320 87.983 * * * * [points]: Setting MPFR precision to 576 88.164 * * * * [points]: Computing exacts on every 40 of 2576 points to ramp up precision 88.164 * * * * [points]: Setting MPFR precision to 320 88.207 * * * * [points]: Setting MPFR precision to 576 88.601 * * * * [points]: Computing exacts on every 20 of 2576 points to ramp up precision 88.601 * * * * [points]: Setting MPFR precision to 320 88.701 * * * * [points]: Setting MPFR precision to 576 89.258 * * * * [points]: Computing exacts on every 10 of 2576 points to ramp up precision 89.258 * * * * [points]: Setting MPFR precision to 320 89.453 * * * * [points]: Setting MPFR precision to 576 90.473 * * * * [points]: Computing exacts on every 5 of 2576 points to ramp up precision 90.473 * * * * [points]: Setting MPFR precision to 320 90.821 * * * * [points]: Setting MPFR precision to 576 92.653 * * * * [points]: Computing exacts on every 2 of 2576 points to ramp up precision 92.654 * * * * [points]: Setting MPFR precision to 320 93.310 * * * * [points]: Setting MPFR precision to 576 96.920 * * * * [points]: Computing exacts for 2576 points 96.920 * * * * [points]: Setting MPFR precision to 320 98.997 * * * * [points]: Setting MPFR precision to 576 110.528 * * * * [points]: Filtering points with unrepresentable outputs 110.529 * * * * [points]: Sampling 1947 additional inputs, on iter 5 have 6053 / 8000 110.554 * * * * [points]: Computing exacts on every 121 of 1947 points to ramp up precision 110.554 * * * * [points]: Setting MPFR precision to 320 110.570 * * * * [points]: Setting MPFR precision to 576 110.651 * * * * [points]: Computing exacts on every 60 of 1947 points to ramp up precision 110.651 * * * * [points]: Setting MPFR precision to 320 110.686 * * * * [points]: Setting MPFR precision to 576 110.838 * * * * [points]: Computing exacts on every 30 of 1947 points to ramp up precision 110.838 * * * * [points]: Setting MPFR precision to 320 110.924 * * * * [points]: Setting MPFR precision to 576 111.272 * * * * [points]: Computing exacts on every 15 of 1947 points to ramp up precision 111.272 * * * * [points]: Setting MPFR precision to 320 111.381 * * * * [points]: Setting MPFR precision to 576 112.030 * * * * [points]: Computing exacts on every 7 of 1947 points to ramp up precision 112.031 * * * * [points]: Setting MPFR precision to 320 112.246 * * * * [points]: Setting MPFR precision to 576 113.343 * * * * [points]: Computing exacts on every 3 of 1947 points to ramp up precision 113.343 * * * * [points]: Setting MPFR precision to 320 113.757 * * * * [points]: Setting MPFR precision to 576 115.972 * * * * [points]: Computing exacts for 1947 points 115.972 * * * * [points]: Setting MPFR precision to 320 117.862 * * * * [points]: Setting MPFR precision to 576 127.278 * * * * [points]: Filtering points with unrepresentable outputs 127.279 * * * * [points]: Sampling 1493 additional inputs, on iter 6 have 6507 / 8000 127.293 * * * * [points]: Computing exacts on every 93 of 1493 points to ramp up precision 127.293 * * * * [points]: Setting MPFR precision to 320 127.301 * * * * [points]: Setting MPFR precision to 576 127.375 * * * * [points]: Computing exacts on every 46 of 1493 points to ramp up precision 127.375 * * * * [points]: Setting MPFR precision to 320 127.388 * * * * [points]: Setting MPFR precision to 576 127.553 * * * * [points]: Computing exacts on every 23 of 1493 points to ramp up precision 127.553 * * * * [points]: Setting MPFR precision to 320 127.603 * * * * [points]: Setting MPFR precision to 576 127.786 * * * * [points]: Computing exacts on every 11 of 1493 points to ramp up precision 127.786 * * * * [points]: Setting MPFR precision to 320 127.897 * * * * [points]: Setting MPFR precision to 576 128.382 * * * * [points]: Computing exacts on every 5 of 1493 points to ramp up precision 128.383 * * * * [points]: Setting MPFR precision to 320 128.611 * * * * [points]: Setting MPFR precision to 576 129.640 * * * * [points]: Computing exacts on every 2 of 1493 points to ramp up precision 129.640 * * * * [points]: Setting MPFR precision to 320 130.051 * * * * [points]: Setting MPFR precision to 576 132.187 * * * * [points]: Computing exacts for 1493 points 132.187 * * * * [points]: Setting MPFR precision to 320 133.351 * * * * [points]: Setting MPFR precision to 576 140.148 * * * * [points]: Filtering points with unrepresentable outputs 140.149 * * * * [points]: Sampling 1103 additional inputs, on iter 7 have 6897 / 8000 140.159 * * * * [points]: Computing exacts on every 68 of 1103 points to ramp up precision 140.160 * * * * [points]: Setting MPFR precision to 320 140.162 * * * * [points]: Setting MPFR precision to 576 140.202 * * * * [points]: Computing exacts on every 34 of 1103 points to ramp up precision 140.202 * * * * [points]: Setting MPFR precision to 320 140.235 * * * * [points]: Setting MPFR precision to 576 140.325 * * * * [points]: Computing exacts on every 17 of 1103 points to ramp up precision 140.326 * * * * [points]: Setting MPFR precision to 320 140.396 * * * * [points]: Setting MPFR precision to 576 140.702 * * * * [points]: Computing exacts on every 8 of 1103 points to ramp up precision 140.702 * * * * [points]: Setting MPFR precision to 320 140.816 * * * * [points]: Setting MPFR precision to 576 141.344 * * * * [points]: Computing exacts on every 4 of 1103 points to ramp up precision 141.344 * * * * [points]: Setting MPFR precision to 320 141.554 * * * * [points]: Setting MPFR precision to 576 142.387 * * * * [points]: Computing exacts on every 2 of 1103 points to ramp up precision 142.387 * * * * [points]: Setting MPFR precision to 320 142.748 * * * * [points]: Setting MPFR precision to 576 144.429 * * * * [points]: Computing exacts for 1103 points 144.429 * * * * [points]: Setting MPFR precision to 320 145.472 * * * * [points]: Setting MPFR precision to 576