0.465 * [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.003 * * * * [points]: Setting MPFR precision to 64 0.003 * * * * [points]: Setting MPFR precision to 320 0.006 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.006 * * * * [points]: Setting MPFR precision to 64 0.007 * * * * [points]: Setting MPFR precision to 320 0.013 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 0.013 * * * * [points]: Setting MPFR precision to 64 0.014 * * * * [points]: Setting MPFR precision to 320 0.024 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 0.024 * * * * [points]: Setting MPFR precision to 64 0.026 * * * * [points]: Setting MPFR precision to 320 0.041 * * * * [points]: Computing exacts for 256 points 0.041 * * * * [points]: Setting MPFR precision to 64 0.045 * * * * [points]: Setting MPFR precision to 320 0.094 * * * * [points]: Filtering points with unrepresentable outputs 0.094 * * * * [points]: Sampling 191 additional inputs, on iter 1 have 65 / 256 0.096 * * * * [points]: Computing exacts on every 11 of 191 points to ramp up precision 0.096 * * * * [points]: Setting MPFR precision to 64 0.096 * * * * [points]: Setting MPFR precision to 320 0.100 * * * * [points]: Computing exacts on every 5 of 191 points to ramp up precision 0.100 * * * * [points]: Setting MPFR precision to 64 0.100 * * * * [points]: Setting MPFR precision to 320 0.107 * * * * [points]: Computing exacts on every 2 of 191 points to ramp up precision 0.108 * * * * [points]: Setting MPFR precision to 64 0.109 * * * * [points]: Setting MPFR precision to 320 0.123 * * * * [points]: Computing exacts for 191 points 0.123 * * * * [points]: Setting MPFR precision to 64 0.126 * * * * [points]: Setting MPFR precision to 320 0.155 * * * * [points]: Filtering points with unrepresentable outputs 0.155 * * * * [points]: Sampling 144 additional inputs, on iter 2 have 112 / 256 0.157 * * * * [points]: Computing exacts on every 9 of 144 points to ramp up precision 0.157 * * * * [points]: Setting MPFR precision to 64 0.157 * * * * [points]: Setting MPFR precision to 320 0.160 * * * * [points]: Computing exacts on every 4 of 144 points to ramp up precision 0.160 * * * * [points]: Setting MPFR precision to 64 0.161 * * * * [points]: Setting MPFR precision to 320 0.164 * * * * [points]: Computing exacts on every 2 of 144 points to ramp up precision 0.164 * * * * [points]: Setting MPFR precision to 64 0.165 * * * * [points]: Setting MPFR precision to 320 0.172 * * * * [points]: Computing exacts for 144 points 0.172 * * * * [points]: Setting MPFR precision to 64 0.174 * * * * [points]: Setting MPFR precision to 320 0.199 * * * * [points]: Filtering points with unrepresentable outputs 0.199 * * * * [points]: Sampling 106 additional inputs, on iter 3 have 150 / 256 0.200 * * * * [points]: Computing exacts on every 6 of 106 points to ramp up precision 0.200 * * * * [points]: Setting MPFR precision to 64 0.200 * * * * [points]: Setting MPFR precision to 320 0.203 * * * * [points]: Computing exacts on every 3 of 106 points to ramp up precision 0.203 * * * * [points]: Setting MPFR precision to 64 0.203 * * * * [points]: Setting MPFR precision to 320 0.209 * * * * [points]: Computing exacts for 106 points 0.209 * * * * [points]: Setting MPFR precision to 64 0.211 * * * * [points]: Setting MPFR precision to 320 0.228 * * * * [points]: Filtering points with unrepresentable outputs 0.228 * * * * [points]: Sampling 86 additional inputs, on iter 4 have 170 / 256 0.229 * * * * [points]: Computing exacts on every 5 of 86 points to ramp up precision 0.229 * * * * [points]: Setting MPFR precision to 64 0.229 * * * * [points]: Setting MPFR precision to 320 0.234 * * * * [points]: Computing exacts on every 2 of 86 points to ramp up precision 0.234 * * * * [points]: Setting MPFR precision to 64 0.235 * * * * [points]: Setting MPFR precision to 320 0.244 * * * * [points]: Computing exacts for 86 points 0.244 * * * * [points]: Setting MPFR precision to 64 0.245 * * * * [points]: Setting MPFR precision to 320 0.264 * * * * [points]: Filtering points with unrepresentable outputs 0.264 * * * * [points]: Sampling 61 additional inputs, on iter 5 have 195 / 256 0.264 * * * * [points]: Computing exacts on every 3 of 61 points to ramp up precision 0.264 * * * * [points]: Setting MPFR precision to 64 0.265 * * * * [points]: Setting MPFR precision to 320 0.268 * * * * [points]: Computing exacts for 61 points 0.268 * * * * [points]: Setting MPFR precision to 64 0.269 * * * * [points]: Setting MPFR precision to 320 0.275 * * * * [points]: Filtering points with unrepresentable outputs 0.275 * * * * [points]: Sampling 46 additional inputs, on iter 6 have 210 / 256 0.276 * * * * [points]: Computing exacts on every 2 of 46 points to ramp up precision 0.276 * * * * [points]: Setting MPFR precision to 64 0.276 * * * * [points]: Setting MPFR precision to 320 0.276 * * * * [points]: Computing exacts for 46 points 0.276 * * * * [points]: Setting MPFR precision to 64 0.277 * * * * [points]: Setting MPFR precision to 320 0.280 * * * * [points]: Filtering points with unrepresentable outputs 0.281 * * * * [points]: Sampling 39 additional inputs, on iter 7 have 217 / 256 0.281 * * * * [points]: Computing exacts on every 2 of 39 points to ramp up precision 0.281 * * * * [points]: Setting MPFR precision to 64 0.281 * * * * [points]: Setting MPFR precision to 320 0.282 * * * * [points]: Computing exacts for 39 points 0.282 * * * * [points]: Setting MPFR precision to 64 0.283 * * * * [points]: Setting MPFR precision to 320 0.294 * * * * [points]: Filtering points with unrepresentable outputs 0.294 * * * * [points]: Sampling 30 additional inputs, on iter 8 have 226 / 256 0.294 * * * * [points]: Computing exacts for 30 points 0.294 * * * * [points]: Setting MPFR precision to 64 0.294 * * * * [points]: Setting MPFR precision to 320 0.305 * * * * [points]: Filtering points with unrepresentable outputs 0.305 * * * * [points]: Sampling 17 additional inputs, on iter 9 have 239 / 256 0.305 * * * * [points]: Computing exacts for 17 points 0.305 * * * * [points]: Setting MPFR precision to 64 0.305 * * * * [points]: Setting MPFR precision to 320 0.311 * * * * [points]: Filtering points with unrepresentable outputs 0.311 * * * * [points]: Sampling 10 additional inputs, on iter 10 have 246 / 256 0.311 * * * * [points]: Computing exacts for 10 points 0.311 * * * * [points]: Setting MPFR precision to 64 0.311 * * * * [points]: Setting MPFR precision to 320 0.312 * * * * [points]: Filtering points with unrepresentable outputs 0.312 * * * * [points]: Sampling 8 additional inputs, on iter 11 have 248 / 256 0.312 * * * * [points]: Computing exacts for 8 points 0.312 * * * * [points]: Setting MPFR precision to 64 0.312 * * * * [points]: Setting MPFR precision to 320 0.313 * * * * [points]: Filtering points with unrepresentable outputs 0.314 * * * * [points]: Sampling 6 additional inputs, on iter 12 have 250 / 256 0.314 * * * * [points]: Computing exacts for 6 points 0.314 * * * * [points]: Setting MPFR precision to 64 0.314 * * * * [points]: Setting MPFR precision to 320 0.314 * * * * [points]: Filtering points with unrepresentable outputs 0.314 * * * * [points]: Sampling 6 additional inputs, on iter 13 have 250 / 256 0.314 * * * * [points]: Computing exacts for 6 points 0.314 * * * * [points]: Setting MPFR precision to 64 0.314 * * * * [points]: Setting MPFR precision to 320 0.315 * * * * [points]: Filtering points with unrepresentable outputs 0.315 * * * * [points]: Sampling 4 additional inputs, on iter 14 have 254 / 256 0.315 * * * * [points]: Computing exacts for 4 points 0.316 * * * * [points]: Setting MPFR precision to 64 0.316 * * * * [points]: Setting MPFR precision to 320 0.316 * * * * [points]: Filtering points with unrepresentable outputs 0.316 * * * * [points]: Sampling 4 additional inputs, on iter 15 have 254 / 256 0.316 * * * * [points]: Computing exacts for 4 points 0.316 * * * * [points]: Setting MPFR precision to 64 0.316 * * * * [points]: Setting MPFR precision to 320 0.317 * * * * [points]: Filtering points with unrepresentable outputs 0.317 * * * * [points]: Sampling 4 additional inputs, on iter 16 have 255 / 256 0.317 * * * * [points]: Computing exacts for 4 points 0.317 * * * * [points]: Setting MPFR precision to 64 0.317 * * * * [points]: Setting MPFR precision to 320 0.318 * * * * [points]: Filtering points with unrepresentable outputs 0.318 * * * * [points]: Sampled 256 points with exact outputs 0.318 * * * [progress]: [2/2] Setting up program. 0.321 * [progress]: [Phase 2 of 3] Improving. 0.321 * [simplify]: Simplifying using # : (exp (lgamma (+ (sqrt n) 1.0))) 0.323 * * [simplify]: iteration 0 : 7 enodes (cost 4 ) 0.324 * * [simplify]: iteration 1 : 7 enodes (cost 4 ) 0.324 * [simplify]: Simplified to: (exp (lgamma (+ (sqrt n) 1.0))) 0.324 * [progress]: [Phase 3 of 3] Extracting. 0.326 * [simplify]: Simplifying using # : (exp (lgamma (+ (sqrt n) 1.0))) 0.327 * * [simplify]: iteration 0 : 7 enodes (cost 4 ) 0.327 * * [simplify]: iteration 1 : 7 enodes (cost 4 ) 0.327 * [simplify]: Simplified to: (exp (lgamma (+ (sqrt n) 1.0))) 0.327 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 0.399 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision 0.400 * * * * [points]: Setting MPFR precision to 64 0.400 * * * * [points]: Setting MPFR precision to 320 0.403 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision 0.403 * * * * [points]: Setting MPFR precision to 64 0.404 * * * * [points]: Setting MPFR precision to 320 0.413 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision 0.413 * * * * [points]: Setting MPFR precision to 64 0.414 * * * * [points]: Setting MPFR precision to 320 0.423 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision 0.424 * * * * [points]: Setting MPFR precision to 64 0.426 * * * * [points]: Setting MPFR precision to 320 0.447 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision 0.447 * * * * [points]: Setting MPFR precision to 64 0.450 * * * * [points]: Setting MPFR precision to 320 0.502 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision 0.502 * * * * [points]: Setting MPFR precision to 64 0.509 * * * * [points]: Setting MPFR precision to 320 0.606 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision 0.606 * * * * [points]: Setting MPFR precision to 64 0.620 * * * * [points]: Setting MPFR precision to 320 0.787 * * * * [points]: Setting MPFR precision to 576 1.528 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision 1.528 * * * * [points]: Setting MPFR precision to 320 1.890 * * * * [points]: Setting MPFR precision to 576 3.372 * * * * [points]: Computing exacts for 8000 points 3.372 * * * * [points]: Setting MPFR precision to 320 4.766 * * * * [points]: Setting MPFR precision to 576 10.632 * * * * [points]: Filtering points with unrepresentable outputs 10.635 * * * * [points]: Sampling 6014 additional inputs, on iter 1 have 1986 / 8000 10.690 * * * * [points]: Computing exacts on every 375 of 6014 points to ramp up precision 10.691 * * * * [points]: Setting MPFR precision to 320 10.692 * * * * [points]: Setting MPFR precision to 576 10.704 * * * * [points]: Computing exacts on every 187 of 6014 points to ramp up precision 10.704 * * * * [points]: Setting MPFR precision to 320 10.708 * * * * [points]: Setting MPFR precision to 576 10.731 * * * * [points]: Computing exacts on every 93 of 6014 points to ramp up precision 10.731 * * * * [points]: Setting MPFR precision to 320 10.741 * * * * [points]: Setting MPFR precision to 576 10.786 * * * * [points]: Computing exacts on every 46 of 6014 points to ramp up precision 10.786 * * * * [points]: Setting MPFR precision to 320 10.814 * * * * [points]: Setting MPFR precision to 576 10.921 * * * * [points]: Computing exacts on every 23 of 6014 points to ramp up precision 10.921 * * * * [points]: Setting MPFR precision to 320 10.969 * * * * [points]: Setting MPFR precision to 576 11.150 * * * * [points]: Computing exacts on every 11 of 6014 points to ramp up precision 11.150 * * * * [points]: Setting MPFR precision to 320 11.244 * * * * [points]: Setting MPFR precision to 576 11.591 * * * * [points]: Computing exacts on every 5 of 6014 points to ramp up precision 11.591 * * * * [points]: Setting MPFR precision to 320 11.757 * * * * [points]: Setting MPFR precision to 576 12.410 * * * * [points]: Computing exacts on every 2 of 6014 points to ramp up precision 12.410 * * * * [points]: Setting MPFR precision to 320 12.749 * * * * [points]: Setting MPFR precision to 576 14.165 * * * * [points]: Computing exacts for 6014 points 14.165 * * * * [points]: Setting MPFR precision to 320 15.277 * * * * [points]: Setting MPFR precision to 576 19.879 * * * * [points]: Filtering points with unrepresentable outputs 19.882 * * * * [points]: Sampling 4454 additional inputs, on iter 2 have 3546 / 8000 19.924 * * * * [points]: Computing exacts on every 278 of 4454 points to ramp up precision 19.924 * * * * [points]: Setting MPFR precision to 320 19.927 * * * * [points]: Setting MPFR precision to 576 19.935 * * * * [points]: Computing exacts on every 139 of 4454 points to ramp up precision 19.935 * * * * [points]: Setting MPFR precision to 320 19.941 * * * * [points]: Setting MPFR precision to 576 19.964 * * * * [points]: Computing exacts on every 69 of 4454 points to ramp up precision 19.965 * * * * [points]: Setting MPFR precision to 320 19.973 * * * * [points]: Setting MPFR precision to 576 20.012 * * * * [points]: Computing exacts on every 34 of 4454 points to ramp up precision 20.012 * * * * [points]: Setting MPFR precision to 320 20.030 * * * * [points]: Setting MPFR precision to 576 20.103 * * * * [points]: Computing exacts on every 17 of 4454 points to ramp up precision 20.103 * * * * [points]: Setting MPFR precision to 320 20.138 * * * * [points]: Setting MPFR precision to 576 20.299 * * * * [points]: Computing exacts on every 8 of 4454 points to ramp up precision 20.299 * * * * [points]: Setting MPFR precision to 320 20.387 * * * * [points]: Setting MPFR precision to 576 20.756 * * * * [points]: Computing exacts on every 4 of 4454 points to ramp up precision 20.756 * * * * [points]: Setting MPFR precision to 320 20.896 * * * * [points]: Setting MPFR precision to 576 21.534 * * * * [points]: Computing exacts on every 2 of 4454 points to ramp up precision 21.534 * * * * [points]: Setting MPFR precision to 320 21.815 * * * * [points]: Setting MPFR precision to 576 22.950 * * * * [points]: Computing exacts for 4454 points 22.950 * * * * [points]: Setting MPFR precision to 320 23.761 * * * * [points]: Setting MPFR precision to 576 27.120 * * * * [points]: Filtering points with unrepresentable outputs 27.122 * * * * [points]: Sampling 3314 additional inputs, on iter 3 have 4686 / 8000 27.151 * * * * [points]: Computing exacts on every 207 of 3314 points to ramp up precision 27.151 * * * * [points]: Setting MPFR precision to 320 27.153 * * * * [points]: Setting MPFR precision to 576 27.163 * * * * [points]: Computing exacts on every 103 of 3314 points to ramp up precision 27.163 * * * * [points]: Setting MPFR precision to 320 27.170 * * * * [points]: Setting MPFR precision to 576 27.194 * * * * [points]: Computing exacts on every 51 of 3314 points to ramp up precision 27.194 * * * * [points]: Setting MPFR precision to 320 27.209 * * * * [points]: Setting MPFR precision to 576 27.272 * * * * [points]: Computing exacts on every 25 of 3314 points to ramp up precision 27.272 * * * * [points]: Setting MPFR precision to 320 27.298 * * * * [points]: Setting MPFR precision to 576 27.406 * * * * [points]: Computing exacts on every 12 of 3314 points to ramp up precision 27.406 * * * * [points]: Setting MPFR precision to 320 27.455 * * * * [points]: Setting MPFR precision to 576 27.663 * * * * [points]: Computing exacts on every 6 of 3314 points to ramp up precision 27.663 * * * * [points]: Setting MPFR precision to 320 27.751 * * * * [points]: Setting MPFR precision to 576 28.058 * * * * [points]: Computing exacts on every 3 of 3314 points to ramp up precision 28.058 * * * * [points]: Setting MPFR precision to 320 28.214 * * * * [points]: Setting MPFR precision to 576 28.868 * * * * [points]: Computing exacts for 3314 points 28.868 * * * * [points]: Setting MPFR precision to 320 29.437 * * * * [points]: Setting MPFR precision to 576 31.770 * * * * [points]: Filtering points with unrepresentable outputs 31.772 * * * * [points]: Sampling 2511 additional inputs, on iter 4 have 5489 / 8000 31.796 * * * * [points]: Computing exacts on every 156 of 2511 points to ramp up precision 31.797 * * * * [points]: Setting MPFR precision to 320 31.799 * * * * [points]: Setting MPFR precision to 576 31.814 * * * * [points]: Computing exacts on every 78 of 2511 points to ramp up precision 31.814 * * * * [points]: Setting MPFR precision to 320 31.822 * * * * [points]: Setting MPFR precision to 576 31.856 * * * * [points]: Computing exacts on every 39 of 2511 points to ramp up precision 31.856 * * * * [points]: Setting MPFR precision to 320 31.867 * * * * [points]: Setting MPFR precision to 576 31.915 * * * * [points]: Computing exacts on every 19 of 2511 points to ramp up precision 31.915 * * * * [points]: Setting MPFR precision to 320 31.935 * * * * [points]: Setting MPFR precision to 576 32.029 * * * * [points]: Computing exacts on every 9 of 2511 points to ramp up precision 32.029 * * * * [points]: Setting MPFR precision to 320 32.078 * * * * [points]: Setting MPFR precision to 576 32.279 * * * * [points]: Computing exacts on every 4 of 2511 points to ramp up precision 32.280 * * * * [points]: Setting MPFR precision to 320 32.375 * * * * [points]: Setting MPFR precision to 576 32.791 * * * * [points]: Computing exacts on every 2 of 2511 points to ramp up precision 32.791 * * * * [points]: Setting MPFR precision to 320 32.937 * * * * [points]: Setting MPFR precision to 576 33.513 * * * * [points]: Computing exacts for 2511 points 33.514 * * * * [points]: Setting MPFR precision to 320 33.971 * * * * [points]: Setting MPFR precision to 576 35.827 * * * * [points]: Filtering points with unrepresentable outputs 35.828 * * * * [points]: Sampling 1879 additional inputs, on iter 5 have 6121 / 8000 35.844 * * * * [points]: Computing exacts on every 117 of 1879 points to ramp up precision 35.844 * * * * [points]: Setting MPFR precision to 320 35.846 * * * * [points]: Setting MPFR precision to 576 35.850 * * * * [points]: Computing exacts on every 58 of 1879 points to ramp up precision 35.850 * * * * [points]: Setting MPFR precision to 320 35.853 * * * * [points]: Setting MPFR precision to 576 35.861 * * * * [points]: Computing exacts on every 29 of 1879 points to ramp up precision 35.861 * * * * [points]: Setting MPFR precision to 320 35.871 * * * * [points]: Setting MPFR precision to 576 35.913 * * * * [points]: Computing exacts on every 14 of 1879 points to ramp up precision 35.913 * * * * [points]: Setting MPFR precision to 320 35.935 * * * * [points]: Setting MPFR precision to 576 36.028 * * * * [points]: Computing exacts on every 7 of 1879 points to ramp up precision 36.028 * * * * [points]: Setting MPFR precision to 320 36.066 * * * * [points]: Setting MPFR precision to 576 36.240 * * * * [points]: Computing exacts on every 3 of 1879 points to ramp up precision 36.240 * * * * [points]: Setting MPFR precision to 320 36.321 * * * * [points]: Setting MPFR precision to 576 36.696 * * * * [points]: Computing exacts for 1879 points 36.696 * * * * [points]: Setting MPFR precision to 320 37.021 * * * * [points]: Setting MPFR precision to 576 38.418 * * * * [points]: Filtering points with unrepresentable outputs 38.419 * * * * [points]: Sampling 1408 additional inputs, on iter 6 have 6592 / 8000 38.432 * * * * [points]: Computing exacts on every 88 of 1408 points to ramp up precision 38.432 * * * * [points]: Setting MPFR precision to 320 38.436 * * * * [points]: Setting MPFR precision to 576 38.442 * * * * [points]: Computing exacts on every 44 of 1408 points to ramp up precision 38.442 * * * * [points]: Setting MPFR precision to 320 38.447 * * * * [points]: Setting MPFR precision to 576 38.471 * * * * [points]: Computing exacts on every 22 of 1408 points to ramp up precision 38.471 * * * * [points]: Setting MPFR precision to 320 38.480 * * * * [points]: Setting MPFR precision to 576 38.523 * * * * [points]: Computing exacts on every 11 of 1408 points to ramp up precision 38.523 * * * * [points]: Setting MPFR precision to 320 38.554 * * * * [points]: Setting MPFR precision to 576 38.664 * * * * [points]: Computing exacts on every 5 of 1408 points to ramp up precision 38.664 * * * * [points]: Setting MPFR precision to 320 38.715 * * * * [points]: Setting MPFR precision to 576 38.895 * * * * [points]: Computing exacts on every 2 of 1408 points to ramp up precision 38.899 * * * * [points]: Setting MPFR precision to 320 38.987 * * * * [points]: Setting MPFR precision to 576 39.314 * * * * [points]: Computing exacts for 1408 points 39.314 * * * * [points]: Setting MPFR precision to 320 39.559 * * * * [points]: Setting MPFR precision to 576 40.606 * * * * [points]: Filtering points with unrepresentable outputs 40.606 * * * * [points]: Sampling 1052 additional inputs, on iter 7 have 6948 / 8000 40.616 * * * * [points]: Computing exacts on every 65 of 1052 points to ramp up precision 40.616 * * * * [points]: Setting MPFR precision to 320 40.618 * * * * [points]: Setting MPFR precision to 576 40.631 * * * * [points]: Computing exacts on every 32 of 1052 points to ramp up precision 40.631 * * * * [points]: Setting MPFR precision to 320 40.637 * * * * [points]: Setting MPFR precision to 576 40.658 * * * * [points]: Computing exacts on every 16 of 1052 points to ramp up precision 40.658 * * * * [points]: Setting MPFR precision to 320 40.666 * * * * [points]: Setting MPFR precision to 576 40.707 * * * * [points]: Computing exacts on every 8 of 1052 points to ramp up precision 40.707 * * * * [points]: Setting MPFR precision to 320 40.728 * * * * [points]: Setting MPFR precision to 576 40.835 * * * * [points]: Computing exacts on every 4 of 1052 points to ramp up precision 40.835 * * * * [points]: Setting MPFR precision to 320 40.867 * * * * [points]: Setting MPFR precision to 576 41.003 * * * * [points]: Computing exacts on every 2 of 1052 points to ramp up precision 41.003 * * * * [points]: Setting MPFR precision to 320 41.061 * * * * [points]: Setting MPFR precision to 576 41.334 * * * * [points]: Computing exacts for 1052 points 41.334 * * * * [points]: Setting MPFR precision to 320 41.521 * * * * [points]: Setting MPFR precision to 576 42.281 * * * * [points]: Filtering points with unrepresentable outputs 42.281 * * * * [points]: Sampling 797 additional inputs, on iter 8 have 7203 / 8000 42.288 * * * * [points]: Computing exacts on every 49 of 797 points to ramp up precision 42.288 * * * * [points]: Setting MPFR precision to 320 42.289 * * * * [points]: Setting MPFR precision to 576 42.309 * * * * [points]: Computing exacts on every 24 of 797 points to ramp up precision 42.310 * * * * [points]: Setting MPFR precision to 320 42.311 * * * * [points]: Setting MPFR precision to 576 42.341 * * * * [points]: Computing exacts on every 12 of 797 points to ramp up precision 42.341 * * * * [points]: Setting MPFR precision to 320 42.353 * * * * [points]: Setting MPFR precision to 576 42.401 * * * * [points]: Computing exacts on every 6 of 797 points to ramp up precision 42.401 * * * * [points]: Setting MPFR precision to 320 42.417 * * * * [points]: Setting MPFR precision to 576 42.469 * * * * [points]: Computing exacts on every 3 of 797 points to ramp up precision 42.469 * * * * [points]: Setting MPFR precision to 320 42.504 * * * * [points]: Setting MPFR precision to 576 42.633 * * * * [points]: Computing exacts for 797 points 42.633 * * * * [points]: Setting MPFR precision to 320 42.768 * * * * [points]: Setting MPFR precision to 576 43.300 * * * * [points]: Filtering points with unrepresentable outputs 43.300 * * * * [points]: Sampling 611 additional inputs, on iter 9 have 7389 / 8000 43.305 * * * * [points]: Computing exacts on every 38 of 611 points to ramp up precision 43.305 * * * * [points]: Setting MPFR precision to 320 43.306 * * * * [points]: Setting MPFR precision to 576 43.316 * * * * [points]: Computing exacts on every 19 of 611 points to ramp up precision 43.316 * * * * [points]: Setting MPFR precision to 320 43.322 * * * * [points]: Setting MPFR precision to 576 43.336 * * * * [points]: Computing exacts on every 9 of 611 points to ramp up precision 43.336 * * * * [points]: Setting MPFR precision to 320 43.352 * * * * [points]: Setting MPFR precision to 576 43.388 * * * * [points]: Computing exacts on every 4 of 611 points to ramp up precision 43.388 * * * * [points]: Setting MPFR precision to 320 43.417 * * * * [points]: Setting MPFR precision to 576 43.512 * * * * [points]: Computing exacts on every 2 of 611 points to ramp up precision 43.512 * * * * [points]: Setting MPFR precision to 320 43.548 * * * * [points]: Setting MPFR precision to 576 43.701 * * * * [points]: Computing exacts for 611 points 43.701 * * * * [points]: Setting MPFR precision to 320 43.828 * * * * [points]: Setting MPFR precision to 576 44.296 * * * * [points]: Filtering points with unrepresentable outputs 44.296 * * * * [points]: Sampling 450 additional inputs, on iter 10 have 7550 / 8000 44.300 * * * * [points]: Computing exacts on every 28 of 450 points to ramp up precision 44.300 * * * * [points]: Setting MPFR precision to 320 44.302 * * * * [points]: Setting MPFR precision to 576 44.313 * * * * [points]: Computing exacts on every 14 of 450 points to ramp up precision 44.313 * * * * [points]: Setting MPFR precision to 320 44.317 * * * * [points]: Setting MPFR precision to 576 44.335 * * * * [points]: Computing exacts on every 7 of 450 points to ramp up precision 44.335 * * * * [points]: Setting MPFR precision to 320 44.348 * * * * [points]: Setting MPFR precision to 576 44.399 * * * * [points]: Computing exacts on every 3 of 450 points to ramp up precision 44.399 * * * * [points]: Setting MPFR precision to 320 44.421 * * * * [points]: Setting MPFR precision to 576 44.514 * * * * [points]: Computing exacts for 450 points 44.514 * * * * [points]: Setting MPFR precision to 320 44.581 * * * * [points]: Setting MPFR precision to 576 44.888 * * * * [points]: Filtering points with unrepresentable outputs 44.888 * * * * [points]: Sampling 343 additional inputs, on iter 11 have 7657 / 8000 44.891 * * * * [points]: Computing exacts on every 21 of 343 points to ramp up precision 44.891 * * * * [points]: Setting MPFR precision to 320 44.893 * * * * [points]: Setting MPFR precision to 576 44.896 * * * * [points]: Computing exacts on every 10 of 343 points to ramp up precision 44.896 * * * * [points]: Setting MPFR precision to 320 44.902 * * * * [points]: Setting MPFR precision to 576 44.917 * * * * [points]: Computing exacts on every 5 of 343 points to ramp up precision 44.917 * * * * [points]: Setting MPFR precision to 320 44.929 * * * * [points]: Setting MPFR precision to 576 44.977 * * * * [points]: Computing exacts on every 2 of 343 points to ramp up precision 44.977 * * * * [points]: Setting MPFR precision to 320 44.996 * * * * [points]: Setting MPFR precision to 576 45.080 * * * * [points]: Computing exacts for 343 points 45.080 * * * * [points]: Setting MPFR precision to 320 45.142 * * * * [points]: Setting MPFR precision to 576 45.424 * * * * [points]: Filtering points with unrepresentable outputs 45.425 * * * * [points]: Sampling 251 additional inputs, on iter 12 have 7749 / 8000 45.427 * * * * [points]: Computing exacts on every 15 of 251 points to ramp up precision 45.427 * * * * [points]: Setting MPFR precision to 320 45.429 * * * * [points]: Setting MPFR precision to 576 45.437 * * * * [points]: Computing exacts on every 7 of 251 points to ramp up precision 45.437 * * * * [points]: Setting MPFR precision to 320 45.442 * * * * [points]: Setting MPFR precision to 576 45.455 * * * * [points]: Computing exacts on every 3 of 251 points to ramp up precision 45.455 * * * * [points]: Setting MPFR precision to 320 45.461 * * * * [points]: Setting MPFR precision to 576 45.494 * * * * [points]: Computing exacts for 251 points 45.494 * * * * [points]: Setting MPFR precision to 320 45.523 * * * * [points]: Setting MPFR precision to 576 45.673 * * * * [points]: Filtering points with unrepresentable outputs 45.673 * * * * [points]: Sampling 204 additional inputs, on iter 13 have 7796 / 8000 45.674 * * * * [points]: Computing exacts on every 12 of 204 points to ramp up precision 45.675 * * * * [points]: Setting MPFR precision to 320 45.677 * * * * [points]: Setting MPFR precision to 576 45.697 * * * * [points]: Computing exacts on every 6 of 204 points to ramp up precision 45.697 * * * * [points]: Setting MPFR precision to 320 45.701 * * * * [points]: Setting MPFR precision to 576 45.720 * * * * [points]: Computing exacts on every 3 of 204 points to ramp up precision 45.720 * * * * [points]: Setting MPFR precision to 320 45.732 * * * * [points]: Setting MPFR precision to 576 45.773 * * * * [points]: Computing exacts for 204 points 45.773 * * * * [points]: Setting MPFR precision to 320 45.816 * * * * [points]: Setting MPFR precision to 576 45.959 * * * * [points]: Filtering points with unrepresentable outputs 45.959 * * * * [points]: Sampling 156 additional inputs, on iter 14 have 7844 / 8000 45.960 * * * * [points]: Computing exacts on every 9 of 156 points to ramp up precision 45.960 * * * * [points]: Setting MPFR precision to 320 45.964 * * * * [points]: Setting MPFR precision to 576 45.979 * * * * [points]: Computing exacts on every 4 of 156 points to ramp up precision 45.979 * * * * [points]: Setting MPFR precision to 320 45.987 * * * * [points]: Setting MPFR precision to 576 46.013 * * * * [points]: Computing exacts on every 2 of 156 points to ramp up precision 46.013 * * * * [points]: Setting MPFR precision to 320 46.024 * * * * [points]: Setting MPFR precision to 576 46.065 * * * * [points]: Computing exacts for 156 points 46.065 * * * * [points]: Setting MPFR precision to 320 46.096 * * * * [points]: Setting MPFR precision to 576 46.220 * * * * [points]: Filtering points with unrepresentable outputs 46.220 * * * * [points]: Sampling 110 additional inputs, on iter 15 have 7890 / 8000 46.221 * * * * [points]: Computing exacts on every 6 of 110 points to ramp up precision 46.221 * * * * [points]: Setting MPFR precision to 320 46.222 * * * * [points]: Setting MPFR precision to 576 46.235 * * * * [points]: Computing exacts on every 3 of 110 points to ramp up precision 46.235 * * * * [points]: Setting MPFR precision to 320 46.248 * * * * [points]: Setting MPFR precision to 576 46.272 * * * * [points]: Computing exacts for 110 points 46.272 * * * * [points]: Setting MPFR precision to 320 46.302 * * * * [points]: Setting MPFR precision to 576 46.396 * * * * [points]: Filtering points with unrepresentable outputs 46.396 * * * * [points]: Sampling 78 additional inputs, on iter 16 have 7922 / 8000 46.398 * * * * [points]: Computing exacts on every 4 of 78 points to ramp up precision 46.398 * * * * [points]: Setting MPFR precision to 320 46.402 * * * * [points]: Setting MPFR precision to 576 46.421 * * * * [points]: Computing exacts on every 2 of 78 points to ramp up precision 46.422 * * * * [points]: Setting MPFR precision to 320 46.428 * * * * [points]: Setting MPFR precision to 576 46.463 * * * * [points]: Computing exacts for 78 points 46.463 * * * * [points]: Setting MPFR precision to 320 46.481 * * * * [points]: Setting MPFR precision to 576 46.574 * * * * [points]: Filtering points with unrepresentable outputs 46.574 * * * * [points]: Sampling 48 additional inputs, on iter 17 have 7952 / 8000 46.574 * * * * [points]: Computing exacts on every 3 of 48 points to ramp up precision 46.574 * * * * [points]: Setting MPFR precision to 320 46.575 * * * * [points]: Setting MPFR precision to 576 46.579 * * * * [points]: Computing exacts for 48 points 46.579 * * * * [points]: Setting MPFR precision to 320 46.587 * * * * [points]: Setting MPFR precision to 576 46.615 * * * * [points]: Filtering points with unrepresentable outputs 46.615 * * * * [points]: Sampling 37 additional inputs, on iter 18 have 7963 / 8000 46.615 * * * * [points]: Computing exacts on every 2 of 37 points to ramp up precision 46.615 * * * * [points]: Setting MPFR precision to 320 46.621 * * * * [points]: Setting MPFR precision to 576 46.628 * * * * [points]: Computing exacts for 37 points 46.629 * * * * [points]: Setting MPFR precision to 320 46.639 * * * * [points]: Setting MPFR precision to 576 46.672 * * * * [points]: Filtering points with unrepresentable outputs 46.672 * * * * [points]: Sampling 25 additional inputs, on iter 19 have 7975 / 8000 46.672 * * * * [points]: Computing exacts for 25 points 46.672 * * * * [points]: Setting MPFR precision to 320 46.675 * * * * [points]: Setting MPFR precision to 576 46.682 * * * * [points]: Filtering points with unrepresentable outputs 46.682 * * * * [points]: Sampling 22 additional inputs, on iter 20 have 7978 / 8000 46.682 * * * * [points]: Computing exacts for 22 points 46.682 * * * * [points]: Setting MPFR precision to 320 46.684 * * * * [points]: Setting MPFR precision to 576 46.695 * * * * [points]: Filtering points with unrepresentable outputs 46.695 * * * * [points]: Sampling 18 additional inputs, on iter 21 have 7982 / 8000 46.695 * * * * [points]: Computing exacts for 18 points 46.695 * * * * [points]: Setting MPFR precision to 320 46.698 * * * * [points]: Setting MPFR precision to 576 46.716 * * * * [points]: Filtering points with unrepresentable outputs 46.716 * * * * [points]: Sampling 13 additional inputs, on iter 22 have 7987 / 8000 46.716 * * * * [points]: Computing exacts for 13 points 46.716 * * * * [points]: Setting MPFR precision to 320 46.718 * * * * [points]: Setting MPFR precision to 576 46.724 * * * * [points]: Filtering points with unrepresentable outputs 46.724 * * * * [points]: Sampling 11 additional inputs, on iter 23 have 7989 / 8000 46.724 * * * * [points]: Computing exacts for 11 points 46.724 * * * * [points]: Setting MPFR precision to 320 46.727 * * * * [points]: Setting MPFR precision to 576 46.741 * * * * [points]: Filtering points with unrepresentable outputs 46.741 * * * * [points]: Sampling 6 additional inputs, on iter 24 have 7994 / 8000 46.741 * * * * [points]: Computing exacts for 6 points 46.741 * * * * [points]: Setting MPFR precision to 320 46.741 * * * * [points]: Setting MPFR precision to 576 46.741 * * * * [points]: Filtering points with unrepresentable outputs 46.741 * * * * [points]: Sampling 6 additional inputs, on iter 25 have 7994 / 8000 46.741 * * * * [points]: Computing exacts for 6 points 46.743 * * * * [points]: Setting MPFR precision to 320 46.745 * * * * [points]: Setting MPFR precision to 576 46.752 * * * * [points]: Filtering points with unrepresentable outputs 46.752 * * * * [points]: Sampling 4 additional inputs, on iter 26 have 7997 / 8000 46.752 * * * * [points]: Computing exacts for 4 points 46.752 * * * * [points]: Setting MPFR precision to 320 46.753 * * * * [points]: Setting MPFR precision to 576 46.761 * * * * [points]: Filtering points with unrepresentable outputs 46.761 * * * * [points]: Sampling 4 additional inputs, on iter 27 have 7999 / 8000 46.761 * * * * [points]: Computing exacts for 4 points 46.761 * * * * [points]: Setting MPFR precision to 320 46.763 * * * * [points]: Setting MPFR precision to 576 46.766 * * * * [points]: Filtering points with unrepresentable outputs 46.766 * * * * [points]: Sampled 8000 points with exact outputs 46.967 * [regime-testing]: End program error score: 0.08181142618762341