0.003 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
0.003 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.006 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.012 * * * * [points]: Setting MPFR precision to 64
0.015 * * * * [points]: Setting MPFR precision to 320
0.018 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.025 * * * * [points]: Setting MPFR precision to 64
0.029 * * * * [points]: Setting MPFR precision to 320
0.039 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.046 * * * * [points]: Setting MPFR precision to 64
0.054 * * * * [points]: Setting MPFR precision to 320
0.061 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.068 * * * * [points]: Setting MPFR precision to 64
0.080 * * * * [points]: Setting MPFR precision to 320
0.091 * * * * [points]: Computing exacts for 256 points
0.098 * * * * [points]: Setting MPFR precision to 64
0.133 * * * * [points]: Setting MPFR precision to 320
0.170 * * * * [points]: Filtering points with unrepresentable outputs
0.170 * * * * [points]: Sampling 232 additional inputs, on iter 1 have 24 / 256
0.173 * * * * [points]: Computing exacts on every 14 of 232 points to ramp up precision
0.180 * * * * [points]: Setting MPFR precision to 64
0.182 * * * * [points]: Setting MPFR precision to 320
0.184 * * * * [points]: Computing exacts on every 7 of 232 points to ramp up precision
0.191 * * * * [points]: Setting MPFR precision to 64
0.196 * * * * [points]: Setting MPFR precision to 320
0.200 * * * * [points]: Computing exacts on every 3 of 232 points to ramp up precision
0.206 * * * * [points]: Setting MPFR precision to 64
0.214 * * * * [points]: Setting MPFR precision to 320
0.222 * * * * [points]: Computing exacts for 232 points
0.230 * * * * [points]: Setting MPFR precision to 64
0.297 * * * * [points]: Setting MPFR precision to 320
0.314 * * * * [points]: Filtering points with unrepresentable outputs
0.315 * * * * [points]: Sampling 215 additional inputs, on iter 2 have 41 / 256
0.316 * * * * [points]: Computing exacts on every 13 of 215 points to ramp up precision
0.322 * * * * [points]: Setting MPFR precision to 64
0.324 * * * * [points]: Setting MPFR precision to 320
0.325 * * * * [points]: Computing exacts on every 6 of 215 points to ramp up precision
0.328 * * * * [points]: Setting MPFR precision to 64
0.331 * * * * [points]: Setting MPFR precision to 320
0.333 * * * * [points]: Computing exacts on every 3 of 215 points to ramp up precision
0.337 * * * * [points]: Setting MPFR precision to 64
0.341 * * * * [points]: Setting MPFR precision to 320
0.345 * * * * [points]: Computing exacts for 215 points
0.348 * * * * [points]: Setting MPFR precision to 64
0.378 * * * * [points]: Setting MPFR precision to 320
0.406 * * * * [points]: Filtering points with unrepresentable outputs
0.406 * * * * [points]: Sampling 199 additional inputs, on iter 3 have 57 / 256
0.408 * * * * [points]: Computing exacts on every 12 of 199 points to ramp up precision
0.414 * * * * [points]: Setting MPFR precision to 64
0.416 * * * * [points]: Setting MPFR precision to 320
0.418 * * * * [points]: Computing exacts on every 6 of 199 points to ramp up precision
0.424 * * * * [points]: Setting MPFR precision to 64
0.460 * * * * [points]: Setting MPFR precision to 320
0.464 * * * * [points]: Computing exacts on every 3 of 199 points to ramp up precision
0.474 * * * * [points]: Setting MPFR precision to 64
0.481 * * * * [points]: Setting MPFR precision to 320
0.487 * * * * [points]: Computing exacts for 199 points
0.494 * * * * [points]: Setting MPFR precision to 64
0.520 * * * * [points]: Setting MPFR precision to 320
0.542 * * * * [points]: Filtering points with unrepresentable outputs
0.542 * * * * [points]: Sampling 172 additional inputs, on iter 4 have 84 / 256
0.543 * * * * [points]: Computing exacts on every 10 of 172 points to ramp up precision
0.547 * * * * [points]: Setting MPFR precision to 64
0.548 * * * * [points]: Setting MPFR precision to 320
0.549 * * * * [points]: Computing exacts on every 5 of 172 points to ramp up precision
0.553 * * * * [points]: Setting MPFR precision to 64
0.555 * * * * [points]: Setting MPFR precision to 320
0.557 * * * * [points]: Computing exacts on every 2 of 172 points to ramp up precision
0.561 * * * * [points]: Setting MPFR precision to 64
0.565 * * * * [points]: Setting MPFR precision to 320
0.572 * * * * [points]: Computing exacts for 172 points
0.579 * * * * [points]: Setting MPFR precision to 64
0.604 * * * * [points]: Setting MPFR precision to 320
0.625 * * * * [points]: Filtering points with unrepresentable outputs
0.625 * * * * [points]: Sampling 153 additional inputs, on iter 5 have 103 / 256
0.626 * * * * [points]: Computing exacts on every 9 of 153 points to ramp up precision
0.652 * * * * [points]: Setting MPFR precision to 64
0.654 * * * * [points]: Setting MPFR precision to 320
0.655 * * * * [points]: Computing exacts on every 4 of 153 points to ramp up precision
0.661 * * * * [points]: Setting MPFR precision to 64
0.663 * * * * [points]: Setting MPFR precision to 320
0.666 * * * * [points]: Computing exacts on every 2 of 153 points to ramp up precision
0.670 * * * * [points]: Setting MPFR precision to 64
0.674 * * * * [points]: Setting MPFR precision to 320
0.678 * * * * [points]: Computing exacts for 153 points
0.682 * * * * [points]: Setting MPFR precision to 64
0.693 * * * * [points]: Setting MPFR precision to 320
0.704 * * * * [points]: Filtering points with unrepresentable outputs
0.705 * * * * [points]: Sampling 127 additional inputs, on iter 6 have 129 / 256
0.705 * * * * [points]: Computing exacts on every 7 of 127 points to ramp up precision
0.709 * * * * [points]: Setting MPFR precision to 64
0.710 * * * * [points]: Setting MPFR precision to 320
0.711 * * * * [points]: Computing exacts on every 3 of 127 points to ramp up precision
0.714 * * * * [points]: Setting MPFR precision to 64
0.717 * * * * [points]: Setting MPFR precision to 320
0.719 * * * * [points]: Computing exacts for 127 points
0.723 * * * * [points]: Setting MPFR precision to 64
0.732 * * * * [points]: Setting MPFR precision to 320
0.742 * * * * [points]: Filtering points with unrepresentable outputs
0.742 * * * * [points]: Sampling 111 additional inputs, on iter 7 have 145 / 256
0.742 * * * * [points]: Computing exacts on every 6 of 111 points to ramp up precision
0.747 * * * * [points]: Setting MPFR precision to 64
0.749 * * * * [points]: Setting MPFR precision to 320
0.751 * * * * [points]: Computing exacts on every 3 of 111 points to ramp up precision
0.789 * * * * [points]: Setting MPFR precision to 64
0.793 * * * * [points]: Setting MPFR precision to 320
0.800 * * * * [points]: Computing exacts for 111 points
0.806 * * * * [points]: Setting MPFR precision to 64
0.820 * * * * [points]: Setting MPFR precision to 320
0.835 * * * * [points]: Filtering points with unrepresentable outputs
0.835 * * * * [points]: Sampling 99 additional inputs, on iter 8 have 157 / 256
0.836 * * * * [points]: Computing exacts on every 6 of 99 points to ramp up precision
0.842 * * * * [points]: Setting MPFR precision to 64
0.844 * * * * [points]: Setting MPFR precision to 320
0.846 * * * * [points]: Computing exacts on every 3 of 99 points to ramp up precision
0.853 * * * * [points]: Setting MPFR precision to 64
0.856 * * * * [points]: Setting MPFR precision to 320
0.859 * * * * [points]: Computing exacts for 99 points
0.866 * * * * [points]: Setting MPFR precision to 64
0.879 * * * * [points]: Setting MPFR precision to 320
0.892 * * * * [points]: Filtering points with unrepresentable outputs
0.892 * * * * [points]: Sampling 83 additional inputs, on iter 9 have 173 / 256
0.893 * * * * [points]: Computing exacts on every 5 of 83 points to ramp up precision
0.901 * * * * [points]: Setting MPFR precision to 64
0.903 * * * * [points]: Setting MPFR precision to 320
0.905 * * * * [points]: Computing exacts on every 2 of 83 points to ramp up precision
0.912 * * * * [points]: Setting MPFR precision to 64
0.916 * * * * [points]: Setting MPFR precision to 320
0.919 * * * * [points]: Computing exacts for 83 points
0.926 * * * * [points]: Setting MPFR precision to 64
0.937 * * * * [points]: Setting MPFR precision to 320
0.948 * * * * [points]: Filtering points with unrepresentable outputs
0.948 * * * * [points]: Sampling 77 additional inputs, on iter 10 have 179 / 256
0.949 * * * * [points]: Computing exacts on every 4 of 77 points to ramp up precision
0.955 * * * * [points]: Setting MPFR precision to 64
0.958 * * * * [points]: Setting MPFR precision to 320
0.960 * * * * [points]: Computing exacts on every 2 of 77 points to ramp up precision
0.966 * * * * [points]: Setting MPFR precision to 64
0.998 * * * * [points]: Setting MPFR precision to 320
1.001 * * * * [points]: Computing exacts for 77 points
1.011 * * * * [points]: Setting MPFR precision to 64
1.017 * * * * [points]: Setting MPFR precision to 320
1.023 * * * * [points]: Filtering points with unrepresentable outputs
1.023 * * * * [points]: Sampling 72 additional inputs, on iter 11 have 184 / 256
1.023 * * * * [points]: Computing exacts on every 4 of 72 points to ramp up precision
1.027 * * * * [points]: Setting MPFR precision to 64
1.028 * * * * [points]: Setting MPFR precision to 320
1.029 * * * * [points]: Computing exacts on every 2 of 72 points to ramp up precision
1.033 * * * * [points]: Setting MPFR precision to 64
1.035 * * * * [points]: Setting MPFR precision to 320
1.037 * * * * [points]: Computing exacts for 72 points
1.040 * * * * [points]: Setting MPFR precision to 64
1.045 * * * * [points]: Setting MPFR precision to 320
1.051 * * * * [points]: Filtering points with unrepresentable outputs
1.051 * * * * [points]: Sampling 59 additional inputs, on iter 12 have 197 / 256
1.052 * * * * [points]: Computing exacts on every 3 of 59 points to ramp up precision
1.055 * * * * [points]: Setting MPFR precision to 64
1.057 * * * * [points]: Setting MPFR precision to 320
1.058 * * * * [points]: Computing exacts for 59 points
1.061 * * * * [points]: Setting MPFR precision to 64
1.067 * * * * [points]: Setting MPFR precision to 320
1.075 * * * * [points]: Filtering points with unrepresentable outputs
1.076 * * * * [points]: Sampling 57 additional inputs, on iter 13 have 199 / 256
1.076 * * * * [points]: Computing exacts on every 3 of 57 points to ramp up precision
1.080 * * * * [points]: Setting MPFR precision to 64
1.081 * * * * [points]: Setting MPFR precision to 320
1.082 * * * * [points]: Computing exacts for 57 points
1.086 * * * * [points]: Setting MPFR precision to 64
1.090 * * * * [points]: Setting MPFR precision to 320
1.094 * * * * [points]: Filtering points with unrepresentable outputs
1.094 * * * * [points]: Sampling 50 additional inputs, on iter 14 have 206 / 256
1.095 * * * * [points]: Computing exacts on every 3 of 50 points to ramp up precision
1.098 * * * * [points]: Setting MPFR precision to 64
1.099 * * * * [points]: Setting MPFR precision to 320
1.100 * * * * [points]: Computing exacts for 50 points
1.104 * * * * [points]: Setting MPFR precision to 64
1.141 * * * * [points]: Setting MPFR precision to 320
1.151 * * * * [points]: Filtering points with unrepresentable outputs
1.151 * * * * [points]: Sampling 45 additional inputs, on iter 15 have 211 / 256
1.152 * * * * [points]: Computing exacts on every 2 of 45 points to ramp up precision
1.159 * * * * [points]: Setting MPFR precision to 64
1.161 * * * * [points]: Setting MPFR precision to 320
1.163 * * * * [points]: Computing exacts for 45 points
1.170 * * * * [points]: Setting MPFR precision to 64
1.176 * * * * [points]: Setting MPFR precision to 320
1.182 * * * * [points]: Filtering points with unrepresentable outputs
1.182 * * * * [points]: Sampling 35 additional inputs, on iter 16 have 221 / 256
1.183 * * * * [points]: Computing exacts on every 2 of 35 points to ramp up precision
1.189 * * * * [points]: Setting MPFR precision to 64
1.191 * * * * [points]: Setting MPFR precision to 320
1.192 * * * * [points]: Computing exacts for 35 points
1.199 * * * * [points]: Setting MPFR precision to 64
1.204 * * * * [points]: Setting MPFR precision to 320
1.209 * * * * [points]: Filtering points with unrepresentable outputs
1.209 * * * * [points]: Sampling 32 additional inputs, on iter 17 have 224 / 256
1.209 * * * * [points]: Computing exacts on every 2 of 32 points to ramp up precision
1.215 * * * * [points]: Setting MPFR precision to 64
1.217 * * * * [points]: Setting MPFR precision to 320
1.218 * * * * [points]: Computing exacts for 32 points
1.226 * * * * [points]: Setting MPFR precision to 64
1.231 * * * * [points]: Setting MPFR precision to 320
1.235 * * * * [points]: Filtering points with unrepresentable outputs
1.235 * * * * [points]: Sampling 28 additional inputs, on iter 18 have 228 / 256
1.235 * * * * [points]: Computing exacts for 28 points
1.241 * * * * [points]: Setting MPFR precision to 64
1.246 * * * * [points]: Setting MPFR precision to 320
1.250 * * * * [points]: Filtering points with unrepresentable outputs
1.250 * * * * [points]: Sampling 24 additional inputs, on iter 19 have 232 / 256
1.250 * * * * [points]: Computing exacts for 24 points
1.256 * * * * [points]: Setting MPFR precision to 64
1.259 * * * * [points]: Setting MPFR precision to 320
1.262 * * * * [points]: Filtering points with unrepresentable outputs
1.262 * * * * [points]: Sampling 21 additional inputs, on iter 20 have 235 / 256
1.262 * * * * [points]: Computing exacts for 21 points
1.268 * * * * [points]: Setting MPFR precision to 64
1.271 * * * * [points]: Setting MPFR precision to 320
1.273 * * * * [points]: Filtering points with unrepresentable outputs
1.273 * * * * [points]: Sampling 18 additional inputs, on iter 21 have 238 / 256
1.273 * * * * [points]: Computing exacts for 18 points
1.279 * * * * [points]: Setting MPFR precision to 64
1.282 * * * * [points]: Setting MPFR precision to 320
1.284 * * * * [points]: Filtering points with unrepresentable outputs
1.284 * * * * [points]: Sampling 18 additional inputs, on iter 22 have 238 / 256
1.284 * * * * [points]: Computing exacts for 18 points
1.288 * * * * [points]: Setting MPFR precision to 64
1.289 * * * * [points]: Setting MPFR precision to 320
1.290 * * * * [points]: Filtering points with unrepresentable outputs
1.290 * * * * [points]: Sampling 12 additional inputs, on iter 23 have 244 / 256
1.291 * * * * [points]: Computing exacts for 12 points
1.294 * * * * [points]: Setting MPFR precision to 64
1.311 * * * * [points]: Setting MPFR precision to 320
1.313 * * * * [points]: Filtering points with unrepresentable outputs
1.313 * * * * [points]: Sampling 9 additional inputs, on iter 24 have 247 / 256
1.313 * * * * [points]: Computing exacts for 9 points
1.316 * * * * [points]: Setting MPFR precision to 64
1.317 * * * * [points]: Setting MPFR precision to 320
1.318 * * * * [points]: Filtering points with unrepresentable outputs
1.318 * * * * [points]: Sampling 9 additional inputs, on iter 25 have 247 / 256
1.318 * * * * [points]: Computing exacts for 9 points
1.323 * * * * [points]: Setting MPFR precision to 64
1.324 * * * * [points]: Setting MPFR precision to 320
1.325 * * * * [points]: Filtering points with unrepresentable outputs
1.325 * * * * [points]: Sampling 9 additional inputs, on iter 26 have 247 / 256
1.325 * * * * [points]: Computing exacts for 9 points
1.328 * * * * [points]: Setting MPFR precision to 64
1.329 * * * * [points]: Setting MPFR precision to 320
1.330 * * * * [points]: Filtering points with unrepresentable outputs
1.330 * * * * [points]: Sampling 7 additional inputs, on iter 27 have 249 / 256
1.330 * * * * [points]: Computing exacts for 7 points
1.334 * * * * [points]: Setting MPFR precision to 64
1.334 * * * * [points]: Setting MPFR precision to 320
1.335 * * * * [points]: Filtering points with unrepresentable outputs
1.335 * * * * [points]: Sampling 6 additional inputs, on iter 28 have 250 / 256
1.335 * * * * [points]: Computing exacts for 6 points
1.338 * * * * [points]: Setting MPFR precision to 64
1.339 * * * * [points]: Setting MPFR precision to 320
1.339 * * * * [points]: Filtering points with unrepresentable outputs
1.339 * * * * [points]: Sampling 6 additional inputs, on iter 29 have 250 / 256
1.339 * * * * [points]: Computing exacts for 6 points
1.342 * * * * [points]: Setting MPFR precision to 64
1.343 * * * * [points]: Setting MPFR precision to 320
1.343 * * * * [points]: Filtering points with unrepresentable outputs
1.344 * * * * [points]: Sampling 5 additional inputs, on iter 30 have 251 / 256
1.344 * * * * [points]: Computing exacts for 5 points
1.347 * * * * [points]: Setting MPFR precision to 64
1.347 * * * * [points]: Setting MPFR precision to 320
1.348 * * * * [points]: Filtering points with unrepresentable outputs
1.348 * * * * [points]: Sampling 5 additional inputs, on iter 31 have 251 / 256
1.348 * * * * [points]: Computing exacts for 5 points
1.351 * * * * [points]: Setting MPFR precision to 64
1.352 * * * * [points]: Setting MPFR precision to 320
1.352 * * * * [points]: Filtering points with unrepresentable outputs
1.352 * * * * [points]: Sampling 4 additional inputs, on iter 32 have 252 / 256
1.352 * * * * [points]: Computing exacts for 4 points
1.355 * * * * [points]: Setting MPFR precision to 64
1.356 * * * * [points]: Setting MPFR precision to 320
1.356 * * * * [points]: Filtering points with unrepresentable outputs
1.356 * * * * [points]: Sampling 4 additional inputs, on iter 33 have 252 / 256
1.356 * * * * [points]: Computing exacts for 4 points
1.360 * * * * [points]: Setting MPFR precision to 64
1.361 * * * * [points]: Setting MPFR precision to 320
1.361 * * * * [points]: Filtering points with unrepresentable outputs
1.361 * * * * [points]: Sampling 4 additional inputs, on iter 34 have 252 / 256
1.362 * * * * [points]: Computing exacts for 4 points
1.365 * * * * [points]: Setting MPFR precision to 64
1.365 * * * * [points]: Setting MPFR precision to 320
1.366 * * * * [points]: Filtering points with unrepresentable outputs
1.366 * * * * [points]: Sampling 4 additional inputs, on iter 35 have 252 / 256
1.366 * * * * [points]: Computing exacts for 4 points
1.369 * * * * [points]: Setting MPFR precision to 64
1.370 * * * * [points]: Setting MPFR precision to 320
1.370 * * * * [points]: Filtering points with unrepresentable outputs
1.370 * * * * [points]: Sampling 4 additional inputs, on iter 36 have 252 / 256
1.370 * * * * [points]: Computing exacts for 4 points
1.373 * * * * [points]: Setting MPFR precision to 64
1.374 * * * * [points]: Setting MPFR precision to 320
1.374 * * * * [points]: Filtering points with unrepresentable outputs
1.374 * * * * [points]: Sampling 4 additional inputs, on iter 37 have 253 / 256
1.374 * * * * [points]: Computing exacts for 4 points
1.377 * * * * [points]: Setting MPFR precision to 64
1.378 * * * * [points]: Setting MPFR precision to 320
1.378 * * * * [points]: Filtering points with unrepresentable outputs
1.378 * * * * [points]: Sampling 4 additional inputs, on iter 38 have 253 / 256
1.378 * * * * [points]: Computing exacts for 4 points
1.381 * * * * [points]: Setting MPFR precision to 64
1.382 * * * * [points]: Setting MPFR precision to 320
1.382 * * * * [points]: Filtering points with unrepresentable outputs
1.382 * * * * [points]: Sampling 4 additional inputs, on iter 39 have 253 / 256
1.382 * * * * [points]: Computing exacts for 4 points
1.386 * * * * [points]: Setting MPFR precision to 64
1.386 * * * * [points]: Setting MPFR precision to 320
1.386 * * * * [points]: Filtering points with unrepresentable outputs
1.386 * * * * [points]: Sampling 4 additional inputs, on iter 40 have 254 / 256
1.386 * * * * [points]: Computing exacts for 4 points
1.399 * * * * [points]: Setting MPFR precision to 64
1.399 * * * * [points]: Setting MPFR precision to 320
1.400 * * * * [points]: Filtering points with unrepresentable outputs
1.400 * * * * [points]: Sampling 4 additional inputs, on iter 41 have 254 / 256
1.400 * * * * [points]: Computing exacts for 4 points
1.404 * * * * [points]: Setting MPFR precision to 64
1.405 * * * * [points]: Setting MPFR precision to 320
1.405 * * * * [points]: Filtering points with unrepresentable outputs
1.405 * * * * [points]: Sampling 4 additional inputs, on iter 42 have 254 / 256
1.405 * * * * [points]: Computing exacts for 4 points
1.408 * * * * [points]: Setting MPFR precision to 64
1.409 * * * * [points]: Setting MPFR precision to 320
1.409 * * * * [points]: Filtering points with unrepresentable outputs
1.409 * * * * [points]: Sampling 4 additional inputs, on iter 43 have 254 / 256
1.409 * * * * [points]: Computing exacts for 4 points
1.413 * * * * [points]: Setting MPFR precision to 64
1.413 * * * * [points]: Setting MPFR precision to 320
1.413 * * * * [points]: Filtering points with unrepresentable outputs
1.414 * * * * [points]: Sampling 4 additional inputs, on iter 44 have 255 / 256
1.414 * * * * [points]: Computing exacts for 4 points
1.417 * * * * [points]: Setting MPFR precision to 64
1.417 * * * * [points]: Setting MPFR precision to 320
1.417 * * * * [points]: Filtering points with unrepresentable outputs
1.417 * * * * [points]: Sampling 4 additional inputs, on iter 45 have 255 / 256
1.418 * * * * [points]: Computing exacts for 4 points
1.421 * * * * [points]: Setting MPFR precision to 64
1.421 * * * * [points]: Setting MPFR precision to 320
1.421 * * * * [points]: Filtering points with unrepresentable outputs
1.422 * * * * [points]: Sampled 258 points with exact outputs
1.422 * * * [progress]: [2/2] Setting up program.
1.433 * [progress]: [Phase 2 of 3] Improving.
1.433 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
1.433 * [simplify]: Simplifying (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))
1.433 * * [simplify]: iteration 1: (15 enodes)
1.437 * * [simplify]: iteration 2: (54 enodes)
1.448 * * [simplify]: iteration 3: (174 enodes)
1.571 * * [simplify]: iteration 4: (1021 enodes)
3.366 * * [simplify]: Extracting #0: cost 1 inf + 0
3.366 * * [simplify]: Extracting #1: cost 2 inf + 0
3.367 * * [simplify]: Extracting #2: cost 174 inf + 0
3.388 * * [simplify]: Extracting #3: cost 1342 inf + 0
3.406 * * [simplify]: Extracting #4: cost 2271 inf + 691
3.432 * * [simplify]: Extracting #5: cost 2231 inf + 82476
3.530 * * [simplify]: Extracting #6: cost 1375 inf + 1509565
3.939 * * [simplify]: Extracting #7: cost 86 inf + 4121745
4.376 * * [simplify]: Extracting #8: cost 0 inf + 3944289
4.729 * * [simplify]: Extracting #9: cost 0 inf + 3923289
5.073 * [simplify]: Simplified to (sqrt.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) c) (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)))
5.094 * * [progress]: iteration 1 / 4
5.094 * * * [progress]: picking best candidate
5.108 * * * * [pick]: Picked  #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
5.108 * * * [progress]: localizing error
5.349 * * * [progress]: generating rewritten candidates
5.349 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2)
5.375 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2)
5.408 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
5.430 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
5.458 * * * [progress]: generating series expansions
5.458 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2)
5.458 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2)
5.458 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
5.458 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
5.458 * * * [progress]: simplifying candidates
5.458 * * * * [progress]: [ 1 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
5.458 * * * * [progress]: [ 2 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
5.458 * * * * [progress]: [ 3 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
5.458 * * * * [progress]: [ 4 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
5.458 * * * * [progress]: [ 5 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 c)))))>
5.459 * * * * [progress]: [ 6 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
5.459 * * * * [progress]: [ 7 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (+.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (neg.p16 b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
5.459 * * * * [progress]: [ 8 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (*.p16 (neg.p16 b) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
5.459 * * * * [progress]: [ 9 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
5.459 * * * * [progress]: [ 10 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
5.459 * * * * [progress]: [ 11 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
5.459 * * * * [progress]: [ 12 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
5.459 * * * * [progress]: [ 13 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
5.459 * * * * [progress]: [ 14 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
5.459 * * * * [progress]: [ 15 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
5.459 * * * * [progress]: [ 16 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
5.459 * * * * [progress]: [ 17 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
5.459 * [simplify]: Simplifying (neg.p16 b), (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)), (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b), (neg.p16 a), (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)), (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a), (neg.p16 c), (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)), (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c), (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))), (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (neg.p16 b)), (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))), (*.p16 (neg.p16 b) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))), (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)), (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))), (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)), (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)), (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))), (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))), (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))), (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))
5.460 * * [simplify]: iteration 1: (38 enodes)
5.469 * * [simplify]: iteration 2: (114 enodes)
5.496 * * [simplify]: iteration 3: (465 enodes)
5.895 * * [simplify]: Extracting #0: cost 16 inf + 0
5.896 * * [simplify]: Extracting #1: cost 245 inf + 0
5.898 * * [simplify]: Extracting #2: cost 836 inf + 1209
5.903 * * [simplify]: Extracting #3: cost 1022 inf + 14298
5.922 * * [simplify]: Extracting #4: cost 774 inf + 323444
6.020 * * [simplify]: Extracting #5: cost 152 inf + 1307426
6.118 * * [simplify]: Extracting #6: cost 2 inf + 1573986
6.276 * * [simplify]: Extracting #7: cost 0 inf + 1579634
6.406 * [simplify]: Simplified to (neg.p16 b), (*.p16 (+.p16 b (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2))) (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) b)), (+.p16 b (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2))), (neg.p16 a), (*.p16 (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) a) (+.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) a)), (+.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) a), (neg.p16 c), (*.p16 (+.p16 c (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2))) (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) c)), (+.p16 c (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2))), (*.p16 (*.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2))) (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) a)), (*.p16 (neg.p16 b) (*.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) a))), (*.p16 (*.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2))) (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) a)), (*.p16 (neg.p16 b) (*.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) a))), (*.p16 (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) a)), (*.p16 (+.p16 b (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2))) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) a)) (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)))), (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) a) (+.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) a)) (*.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) b))), (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) b) (+.p16 c (+.p16 a b))) (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) a)), (sqrt.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) c) (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2))) (*.p16 (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) a)))), (sqrt.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) c) (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2))) (*.p16 (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) a)))), (sqrt.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) c) (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2))) (*.p16 (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) a)))), (sqrt.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) c) (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2))) (*.p16 (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) a))))
6.409 * * * [progress]: adding candidates to table
7.129 * * [progress]: iteration 2 / 4
7.129 * * * [progress]: picking best candidate
7.170 * * * * [pick]: Picked  #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
7.170 * * * [progress]: localizing error
7.447 * * * [progress]: generating rewritten candidates
7.447 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 2)
7.477 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1)
7.505 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
7.529 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
7.559 * * * [progress]: generating series expansions
7.559 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 2)
7.559 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1)
7.559 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
7.560 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
7.560 * * * [progress]: simplifying candidates
7.560 * * * * [progress]: [ 1 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 b)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
7.560 * * * * [progress]: [ 2 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
7.560 * * * * [progress]: [ 3 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
7.560 * * * * [progress]: [ 4 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
7.560 * * * * [progress]: [ 5 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 c)))))>
7.560 * * * * [progress]: [ 6 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
7.560 * * * * [progress]: [ 7 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (+.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (neg.p16 c)))))>
7.560 * * * * [progress]: [ 8 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)))) (*.p16 (neg.p16 c) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)))))))>
7.560 * * * * [progress]: [ 9 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
7.560 * * * * [progress]: [ 10 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
7.560 * * * * [progress]: [ 11 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))))>
7.560 * * * * [progress]: [ 12 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))>
7.560 * * * * [progress]: [ 13 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (real->posit16 2))))>
7.560 * * * * [progress]: [ 14 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))))))>
7.560 * * * * [progress]: [ 15 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
7.560 * * * * [progress]: [ 16 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
7.560 * * * * [progress]: [ 17 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
7.560 * * * * [progress]: [ 18 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
7.561 * [simplify]: Simplifying (neg.p16 b), (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)), (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b), (neg.p16 a), (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)), (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a), (neg.p16 c), (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)), (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c), (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))), (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (neg.p16 c)), (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)))), (*.p16 (neg.p16 c) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)))), (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)), (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c))), (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)), (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)), (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)), (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)), (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)), (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)), (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))
7.561 * * [simplify]: iteration 1: (40 enodes)
7.571 * * [simplify]: iteration 2: (129 enodes)
7.610 * * [simplify]: iteration 3: (598 enodes)
8.352 * * [simplify]: Extracting #0: cost 17 inf + 0
8.354 * * [simplify]: Extracting #1: cost 425 inf + 0
8.376 * * [simplify]: Extracting #2: cost 1451 inf + 2011
8.390 * * [simplify]: Extracting #3: cost 1617 inf + 13425
8.441 * * [simplify]: Extracting #4: cost 1239 inf + 509744
8.662 * * [simplify]: Extracting #5: cost 212 inf + 2336605
8.899 * * [simplify]: Extracting #6: cost 0 inf + 2788413
9.111 * [simplify]: Simplified to (neg.p16 b), (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) b) (+.p16 b (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)))), (+.p16 b (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2))), (neg.p16 a), (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) a) (+.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) a)), (+.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) a), (neg.p16 c), (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) c) (+.p16 c (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)))), (+.p16 c (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2))), (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) a))), (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) a)) (neg.p16 c)) (-.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) b)), (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) a))), (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) a)) (neg.p16 c)) (-.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) b)), (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) c))), (*.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) (*.p16 (+.p16 c (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) c))))), (*.p16 (+.p16 b (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2))) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) a)) (*.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) c)))), (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) b) (+.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) a)) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) a) (*.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) c)))), (*.p16 (*.p16 (+.p16 (+.p16 a c) b) (-.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) c)) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) a))), (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) a)), (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) a)), (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) a)), (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) a))
9.114 * * * [progress]: adding candidates to table
9.613 * * [progress]: iteration 3 / 4
9.613 * * * [progress]: picking best candidate
9.673 * * * * [pick]: Picked  #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
9.673 * * * [progress]: localizing error
10.111 * * * [progress]: generating rewritten candidates
10.111 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2)
10.216 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1)
10.222 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 2)
10.248 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
10.271 * * * [progress]: generating series expansions
10.271 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2)
10.272 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1)
10.272 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 2)
10.272 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
10.272 * * * [progress]: simplifying candidates
10.272 * * * * [progress]: [ 1 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
10.272 * * * * [progress]: [ 2 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 b b) (*.p16 b b))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
10.272 * * * * [progress]: [ 3 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
10.272 * * * * [progress]: [ 4 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (neg.p16 (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
10.272 * * * * [progress]: [ 5 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 b b) (*.p16 b b))) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
10.272 * * * * [progress]: [ 6 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 a))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
10.272 * * * * [progress]: [ 7 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
10.272 * * * * [progress]: [ 8 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 c)))))>
10.272 * * * * [progress]: [ 9 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
10.272 * * * * [progress]: [ 10 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
10.272 * * * * [progress]: [ 11 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
10.272 * * * * [progress]: [ 12 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
10.272 * * * * [progress]: [ 13 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
10.273 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)), (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))), (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b), (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b), (neg.p16 (*.p16 b b)), (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 b b) (*.p16 b b))), (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)), (neg.p16 a), (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)), (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a), (neg.p16 c), (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)), (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c), (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)), (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b), (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)), (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b), (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)), (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b), (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)), (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)
10.273 * * [simplify]: iteration 1: (28 enodes)
10.281 * * [simplify]: iteration 2: (92 enodes)
10.309 * * [simplify]: iteration 3: (267 enodes)
10.450 * * [simplify]: iteration 4: (1103 enodes)
12.034 * * [simplify]: Extracting #0: cost 14 inf + 0
12.035 * * [simplify]: Extracting #1: cost 326 inf + 0
12.039 * * [simplify]: Extracting #2: cost 1339 inf + 3532
12.047 * * [simplify]: Extracting #3: cost 1844 inf + 20036
12.081 * * [simplify]: Extracting #4: cost 2006 inf + 99673
12.111 * * [simplify]: Extracting #5: cost 1792 inf + 366573
12.234 * * [simplify]: Extracting #6: cost 957 inf + 1975323
12.532 * * [simplify]: Extracting #7: cost 79 inf + 3845211
12.964 * * [simplify]: Extracting #8: cost 0 inf + 4049543
13.384 * * [simplify]: Extracting #9: cost 0 inf + 4049223
13.727 * [simplify]: Simplified to (/.p16 (+.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) b)), (*.p16 (+.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) b) (+.p16 (*.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2))) (*.p16 b b))), (+.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) b), (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) b), (neg.p16 (*.p16 b b)), (*.p16 (-.p16 (*.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2))) (*.p16 b b)) (+.p16 (*.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2))) (*.p16 b b))), (+.p16 (*.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2))) (*.p16 b b)), (neg.p16 a), (*.p16 (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) a) (+.p16 a (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)))), (+.p16 a (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2))), (neg.p16 c), (*.p16 (+.p16 c (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2))) (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) c)), (+.p16 c (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2))), (*.p16 (+.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) b)), (+.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) b), (*.p16 (+.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) b)), (+.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) b), (*.p16 (+.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) b)), (+.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) b), (*.p16 (+.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) b)), (+.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) b)
13.730 * * * [progress]: adding candidates to table
14.194 * * [progress]: iteration 4 / 4
14.194 * * * [progress]: picking best candidate
14.266 * * * * [pick]: Picked  #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))>
14.266 * * * [progress]: localizing error
14.665 * * * [progress]: generating rewritten candidates
14.665 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
14.773 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2 1)
14.779 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 2 2)
14.807 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2)
14.832 * * * [progress]: generating series expansions
14.833 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
14.833 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2 1)
14.833 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 2 2)
14.833 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2)
14.833 * * * [progress]: simplifying candidates
14.833 * * * * [progress]: [ 1 / 16 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
14.833 * * * * [progress]: [ 2 / 16 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
14.833 * * * * [progress]: [ 3 / 16 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)))))>
14.833 * * * * [progress]: [ 4 / 16 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))))))>
14.833 * * * * [progress]: [ 5 / 16 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (*.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))>
14.833 * * * * [progress]: [ 6 / 16 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))>
14.833 * * * * [progress]: [ 7 / 16 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (neg.p16 (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))>
14.833 * * * * [progress]: [ 8 / 16 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a))) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))>
14.833 * * * * [progress]: [ 9 / 16 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 b)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))>
14.833 * * * * [progress]: [ 10 / 16 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))>
14.833 * * * * [progress]: [ 11 / 16 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 c))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))>
14.833 * * * * [progress]: [ 12 / 16 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))>
14.833 * * * * [progress]: [ 13 / 16 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))>
14.833 * * * * [progress]: [ 14 / 16 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))>
14.834 * * * * [progress]: [ 15 / 16 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))>
14.834 * * * * [progress]: [ 16 / 16 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))>
14.834 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)), (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)), (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)), (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))), (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)), (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a), (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a), (neg.p16 (*.p16 a a)), (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a))), (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)), (neg.p16 b), (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)), (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b), (neg.p16 c), (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)), (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c), (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)), (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)), (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)), (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
14.834 * * [simplify]: iteration 1: (36 enodes)
14.844 * * [simplify]: iteration 2: (124 enodes)
14.902 * * [simplify]: iteration 3: (451 enodes)
15.167 * * [simplify]: Extracting #0: cost 17 inf + 0
15.167 * * [simplify]: Extracting #1: cost 225 inf + 0
15.169 * * [simplify]: Extracting #2: cost 672 inf + 2172
15.181 * * [simplify]: Extracting #3: cost 737 inf + 231946
15.242 * * [simplify]: Extracting #4: cost 220 inf + 1107184
15.353 * * [simplify]: Extracting #5: cost 0 inf + 1547637
15.466 * * [simplify]: Extracting #6: cost 0 inf + 1547317
15.566 * [simplify]: Simplified to (/.p16 (+.p16 a (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))) (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) c)), (*.p16 (+.p16 a (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))) (+.p16 c (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)))), (*.p16 (+.p16 a (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))) (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b)), (*.p16 (+.p16 a (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))) (+.p16 (*.p16 a a) (*.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))))), (*.p16 (real->posit16 2) (+.p16 a (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)))), (+.p16 a (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))), (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a), (neg.p16 (*.p16 a a)), (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))) (*.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a))), (+.p16 (*.p16 a a) (*.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)))), (neg.p16 b), (*.p16 (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b) (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b)), (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b), (neg.p16 c), (*.p16 (+.p16 c (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))) (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) c)), (+.p16 c (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))), (*.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) c) (+.p16 a (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)))) (*.p16 (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a))) (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))), (*.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) c) (+.p16 a (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)))) (*.p16 (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a))) (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))), (*.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) c) (+.p16 a (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)))) (*.p16 (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a))) (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))), (*.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) c) (+.p16 a (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)))) (*.p16 (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a))) (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)))
15.571 * * * [progress]: adding candidates to table
16.220 * [progress]: [Phase 3 of 3] Extracting.
16.220 * * [regime]: Finding splitpoints for: (#<alt (λ (a b c) (sqrt.p16 (+.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (neg.p16 c)))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 b b) (*.p16 b b))) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))> #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))>)
16.225 * * * [regime-changes]: Trying 3 branch expressions: (c b a)
16.225 * * * * [regimes]: Trying to branch on c from (#<alt (λ (a b c) (sqrt.p16 (+.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (neg.p16 c)))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 b b) (*.p16 b b))) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))> #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))>)
16.345 * * * * [regimes]: Trying to branch on b from (#<alt (λ (a b c) (sqrt.p16 (+.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (neg.p16 c)))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 b b) (*.p16 b b))) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))> #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))>)
16.500 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a b c) (sqrt.p16 (+.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (neg.p16 c)))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 b b) (*.p16 b b))) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))> #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))>)
16.611 * * * [regime]: Found split indices: #<option (#s(si 2 256))>
16.611 * [simplify]: Simplifying (sqrt.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)))
16.611 * * [simplify]: iteration 1: (18 enodes)
16.612 * * [simplify]: Extracting #0: cost 1 inf + 0
16.612 * * [simplify]: Extracting #1: cost 2 inf + 0
16.612 * * [simplify]: Extracting #2: cost 4 inf + 0
16.612 * * [simplify]: Extracting #3: cost 8 inf + 0
16.612 * * [simplify]: Extracting #4: cost 11 inf + 1
16.613 * * [simplify]: Extracting #5: cost 14 inf + 2
16.613 * * [simplify]: Extracting #6: cost 15 inf + 3
16.613 * * [simplify]: Extracting #7: cost 13 inf + 5
16.613 * * [simplify]: Extracting #8: cost 8 inf + 1862
16.613 * * [simplify]: Extracting #9: cost 2 inf + 9126
16.614 * * [simplify]: Extracting #10: cost 1 inf + 11650
16.614 * * [simplify]: Extracting #11: cost 0 inf + 14214
16.615 * [simplify]: Simplified to (sqrt.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)))
16.615 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
16.659 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
16.665 * * * * [points]: Setting MPFR precision to 64
16.667 * * * * [points]: Setting MPFR precision to 320
16.669 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
16.676 * * * * [points]: Setting MPFR precision to 64
16.679 * * * * [points]: Setting MPFR precision to 320
16.681 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
16.685 * * * * [points]: Setting MPFR precision to 64
16.689 * * * * [points]: Setting MPFR precision to 320
16.694 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
16.698 * * * * [points]: Setting MPFR precision to 64
16.731 * * * * [points]: Setting MPFR precision to 320
16.748 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
16.756 * * * * [points]: Setting MPFR precision to 64
16.789 * * * * [points]: Setting MPFR precision to 320
16.821 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
16.828 * * * * [points]: Setting MPFR precision to 64
16.898 * * * * [points]: Setting MPFR precision to 320
17.024 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
17.031 * * * * [points]: Setting MPFR precision to 64
17.161 * * * * [points]: Setting MPFR precision to 320
17.306 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
17.312 * * * * [points]: Setting MPFR precision to 64
17.550 * * * * [points]: Setting MPFR precision to 320
17.822 * * * * [points]: Computing exacts for 8000 points
17.857 * * * * [points]: Setting MPFR precision to 64
19.376 * * * * [points]: Setting MPFR precision to 320
20.396 * * * * [points]: Filtering points with unrepresentable outputs
20.404 * * * * [points]: Sampling 6997 additional inputs, on iter 1 have 1003 / 8000
20.463 * * * * [points]: Computing exacts on every 437 of 6997 points to ramp up precision
20.471 * * * * [points]: Setting MPFR precision to 64
20.474 * * * * [points]: Setting MPFR precision to 320
20.476 * * * * [points]: Computing exacts on every 218 of 6997 points to ramp up precision
20.483 * * * * [points]: Setting MPFR precision to 64
20.488 * * * * [points]: Setting MPFR precision to 320
20.493 * * * * [points]: Computing exacts on every 109 of 6997 points to ramp up precision
20.500 * * * * [points]: Setting MPFR precision to 64
20.547 * * * * [points]: Setting MPFR precision to 320
20.558 * * * * [points]: Computing exacts on every 54 of 6997 points to ramp up precision
20.566 * * * * [points]: Setting MPFR precision to 64
20.586 * * * * [points]: Setting MPFR precision to 320
20.604 * * * * [points]: Computing exacts on every 27 of 6997 points to ramp up precision
20.611 * * * * [points]: Setting MPFR precision to 64
20.646 * * * * [points]: Setting MPFR precision to 320
20.680 * * * * [points]: Computing exacts on every 13 of 6997 points to ramp up precision
20.688 * * * * [points]: Setting MPFR precision to 64
20.750 * * * * [points]: Setting MPFR precision to 320
20.830 * * * * [points]: Computing exacts on every 6 of 6997 points to ramp up precision
20.835 * * * * [points]: Setting MPFR precision to 64
20.920 * * * * [points]: Setting MPFR precision to 320
21.113 * * * * [points]: Computing exacts on every 3 of 6997 points to ramp up precision
21.121 * * * * [points]: Setting MPFR precision to 64
21.398 * * * * [points]: Setting MPFR precision to 320
21.640 * * * * [points]: Computing exacts for 6997 points
21.646 * * * * [points]: Setting MPFR precision to 64
22.956 * * * * [points]: Setting MPFR precision to 320
23.967 * * * * [points]: Filtering points with unrepresentable outputs
23.971 * * * * [points]: Sampling 6127 additional inputs, on iter 2 have 1873 / 8000
24.053 * * * * [points]: Computing exacts on every 382 of 6127 points to ramp up precision
24.060 * * * * [points]: Setting MPFR precision to 64
24.063 * * * * [points]: Setting MPFR precision to 320
24.065 * * * * [points]: Computing exacts on every 191 of 6127 points to ramp up precision
24.072 * * * * [points]: Setting MPFR precision to 64
24.076 * * * * [points]: Setting MPFR precision to 320
24.079 * * * * [points]: Computing exacts on every 95 of 6127 points to ramp up precision
24.082 * * * * [points]: Setting MPFR precision to 64
24.087 * * * * [points]: Setting MPFR precision to 320
24.092 * * * * [points]: Computing exacts on every 47 of 6127 points to ramp up precision
24.096 * * * * [points]: Setting MPFR precision to 64
24.109 * * * * [points]: Setting MPFR precision to 320
24.125 * * * * [points]: Computing exacts on every 23 of 6127 points to ramp up precision
24.130 * * * * [points]: Setting MPFR precision to 64
24.148 * * * * [points]: Setting MPFR precision to 320
24.168 * * * * [points]: Computing exacts on every 11 of 6127 points to ramp up precision
24.174 * * * * [points]: Setting MPFR precision to 64
24.267 * * * * [points]: Setting MPFR precision to 320
24.325 * * * * [points]: Computing exacts on every 5 of 6127 points to ramp up precision
24.329 * * * * [points]: Setting MPFR precision to 64
24.521 * * * * [points]: Setting MPFR precision to 320
24.661 * * * * [points]: Computing exacts on every 2 of 6127 points to ramp up precision
24.669 * * * * [points]: Setting MPFR precision to 64
24.936 * * * * [points]: Setting MPFR precision to 320
25.181 * * * * [points]: Computing exacts for 6127 points
25.187 * * * * [points]: Setting MPFR precision to 64
26.562 * * * * [points]: Setting MPFR precision to 320
27.503 * * * * [points]: Filtering points with unrepresentable outputs
27.509 * * * * [points]: Sampling 5343 additional inputs, on iter 3 have 2657 / 8000
27.552 * * * * [points]: Computing exacts on every 333 of 5343 points to ramp up precision
27.556 * * * * [points]: Setting MPFR precision to 64
27.558 * * * * [points]: Setting MPFR precision to 320
27.559 * * * * [points]: Computing exacts on every 166 of 5343 points to ramp up precision
27.562 * * * * [points]: Setting MPFR precision to 64
27.565 * * * * [points]: Setting MPFR precision to 320
27.568 * * * * [points]: Computing exacts on every 83 of 5343 points to ramp up precision
27.571 * * * * [points]: Setting MPFR precision to 64
27.577 * * * * [points]: Setting MPFR precision to 320
27.581 * * * * [points]: Computing exacts on every 41 of 5343 points to ramp up precision
27.585 * * * * [points]: Setting MPFR precision to 64
27.599 * * * * [points]: Setting MPFR precision to 320
27.651 * * * * [points]: Computing exacts on every 20 of 5343 points to ramp up precision
27.657 * * * * [points]: Setting MPFR precision to 64
27.678 * * * * [points]: Setting MPFR precision to 320
27.698 * * * * [points]: Computing exacts on every 10 of 5343 points to ramp up precision
27.705 * * * * [points]: Setting MPFR precision to 64
27.746 * * * * [points]: Setting MPFR precision to 320
27.833 * * * * [points]: Computing exacts on every 5 of 5343 points to ramp up precision
27.841 * * * * [points]: Setting MPFR precision to 64
27.919 * * * * [points]: Setting MPFR precision to 320
28.075 * * * * [points]: Computing exacts on every 2 of 5343 points to ramp up precision
28.082 * * * * [points]: Setting MPFR precision to 64
28.283 * * * * [points]: Setting MPFR precision to 320
28.521 * * * * [points]: Computing exacts for 5343 points
28.525 * * * * [points]: Setting MPFR precision to 64
29.257 * * * * [points]: Setting MPFR precision to 320
30.394 * * * * [points]: Filtering points with unrepresentable outputs
30.397 * * * * [points]: Sampling 4677 additional inputs, on iter 4 have 3323 / 8000
30.423 * * * * [points]: Computing exacts on every 292 of 4677 points to ramp up precision
30.429 * * * * [points]: Setting MPFR precision to 64
30.431 * * * * [points]: Setting MPFR precision to 320
30.434 * * * * [points]: Computing exacts on every 146 of 4677 points to ramp up precision
30.440 * * * * [points]: Setting MPFR precision to 64
30.443 * * * * [points]: Setting MPFR precision to 320
30.448 * * * * [points]: Computing exacts on every 73 of 4677 points to ramp up precision
30.455 * * * * [points]: Setting MPFR precision to 64
30.463 * * * * [points]: Setting MPFR precision to 320
30.472 * * * * [points]: Computing exacts on every 36 of 4677 points to ramp up precision
30.479 * * * * [points]: Setting MPFR precision to 64
30.495 * * * * [points]: Setting MPFR precision to 320
30.513 * * * * [points]: Computing exacts on every 18 of 4677 points to ramp up precision
30.519 * * * * [points]: Setting MPFR precision to 64
30.582 * * * * [points]: Setting MPFR precision to 320
30.600 * * * * [points]: Computing exacts on every 9 of 4677 points to ramp up precision
30.603 * * * * [points]: Setting MPFR precision to 64
30.638 * * * * [points]: Setting MPFR precision to 320
30.672 * * * * [points]: Computing exacts on every 4 of 4677 points to ramp up precision
30.675 * * * * [points]: Setting MPFR precision to 64
30.777 * * * * [points]: Setting MPFR precision to 320
30.895 * * * * [points]: Computing exacts on every 2 of 4677 points to ramp up precision
30.900 * * * * [points]: Setting MPFR precision to 64
31.084 * * * * [points]: Setting MPFR precision to 320
31.275 * * * * [points]: Computing exacts for 4677 points
31.280 * * * * [points]: Setting MPFR precision to 64
31.865 * * * * [points]: Setting MPFR precision to 320
32.499 * * * * [points]: Filtering points with unrepresentable outputs
32.504 * * * * [points]: Sampling 4131 additional inputs, on iter 5 have 3869 / 8000
32.536 * * * * [points]: Computing exacts on every 258 of 4131 points to ramp up precision
32.543 * * * * [points]: Setting MPFR precision to 64
32.545 * * * * [points]: Setting MPFR precision to 320
32.547 * * * * [points]: Computing exacts on every 129 of 4131 points to ramp up precision
32.551 * * * * [points]: Setting MPFR precision to 64
32.554 * * * * [points]: Setting MPFR precision to 320
32.556 * * * * [points]: Computing exacts on every 64 of 4131 points to ramp up precision
32.559 * * * * [points]: Setting MPFR precision to 64
32.564 * * * * [points]: Setting MPFR precision to 320
32.568 * * * * [points]: Computing exacts on every 32 of 4131 points to ramp up precision
32.572 * * * * [points]: Setting MPFR precision to 64
32.584 * * * * [points]: Setting MPFR precision to 320
32.596 * * * * [points]: Computing exacts on every 16 of 4131 points to ramp up precision
32.600 * * * * [points]: Setting MPFR precision to 64
32.617 * * * * [points]: Setting MPFR precision to 320
33.085 * * * * [points]: Computing exacts on every 8 of 4131 points to ramp up precision
33.091 * * * * [points]: Setting MPFR precision to 64
33.140 * * * * [points]: Setting MPFR precision to 320
33.172 * * * * [points]: Computing exacts on every 4 of 4131 points to ramp up precision
33.176 * * * * [points]: Setting MPFR precision to 64
33.266 * * * * [points]: Setting MPFR precision to 320
33.329 * * * * [points]: Computing exacts on every 2 of 4131 points to ramp up precision
33.333 * * * * [points]: Setting MPFR precision to 64
33.496 * * * * [points]: Setting MPFR precision to 320
33.672 * * * * [points]: Computing exacts for 4131 points
33.675 * * * * [points]: Setting MPFR precision to 64
34.211 * * * * [points]: Setting MPFR precision to 320
34.759 * * * * [points]: Filtering points with unrepresentable outputs
34.763 * * * * [points]: Sampling 3590 additional inputs, on iter 6 have 4410 / 8000
34.793 * * * * [points]: Computing exacts on every 224 of 3590 points to ramp up precision
34.800 * * * * [points]: Setting MPFR precision to 64
34.802 * * * * [points]: Setting MPFR precision to 320
34.804 * * * * [points]: Computing exacts on every 112 of 3590 points to ramp up precision
34.848 * * * * [points]: Setting MPFR precision to 64
34.854 * * * * [points]: Setting MPFR precision to 320
34.861 * * * * [points]: Computing exacts on every 56 of 3590 points to ramp up precision
34.868 * * * * [points]: Setting MPFR precision to 64
34.876 * * * * [points]: Setting MPFR precision to 320
34.885 * * * * [points]: Computing exacts on every 28 of 3590 points to ramp up precision
34.891 * * * * [points]: Setting MPFR precision to 64
34.906 * * * * [points]: Setting MPFR precision to 320
34.921 * * * * [points]: Computing exacts on every 14 of 3590 points to ramp up precision
34.928 * * * * [points]: Setting MPFR precision to 64
34.960 * * * * [points]: Setting MPFR precision to 320
34.991 * * * * [points]: Computing exacts on every 7 of 3590 points to ramp up precision
34.998 * * * * [points]: Setting MPFR precision to 64
35.098 * * * * [points]: Setting MPFR precision to 320
35.159 * * * * [points]: Computing exacts on every 3 of 3590 points to ramp up precision
35.165 * * * * [points]: Setting MPFR precision to 64
35.271 * * * * [points]: Setting MPFR precision to 320
35.400 * * * * [points]: Computing exacts for 3590 points
35.404 * * * * [points]: Setting MPFR precision to 64
35.789 * * * * [points]: Setting MPFR precision to 320
36.838 * * * * [points]: Filtering points with unrepresentable outputs
36.841 * * * * [points]: Sampling 3157 additional inputs, on iter 7 have 4843 / 8000
36.870 * * * * [points]: Computing exacts on every 197 of 3157 points to ramp up precision
36.877 * * * * [points]: Setting MPFR precision to 64
36.880 * * * * [points]: Setting MPFR precision to 320
36.882 * * * * [points]: Computing exacts on every 98 of 3157 points to ramp up precision
36.889 * * * * [points]: Setting MPFR precision to 64
36.894 * * * * [points]: Setting MPFR precision to 320
36.899 * * * * [points]: Computing exacts on every 49 of 3157 points to ramp up precision
36.906 * * * * [points]: Setting MPFR precision to 64
36.913 * * * * [points]: Setting MPFR precision to 320
36.921 * * * * [points]: Computing exacts on every 24 of 3157 points to ramp up precision
36.924 * * * * [points]: Setting MPFR precision to 64
36.933 * * * * [points]: Setting MPFR precision to 320
36.942 * * * * [points]: Computing exacts on every 12 of 3157 points to ramp up precision
36.946 * * * * [points]: Setting MPFR precision to 64
36.965 * * * * [points]: Setting MPFR precision to 320
36.983 * * * * [points]: Computing exacts on every 6 of 3157 points to ramp up precision
37.015 * * * * [points]: Setting MPFR precision to 64
37.048 * * * * [points]: Setting MPFR precision to 320
37.082 * * * * [points]: Computing exacts on every 3 of 3157 points to ramp up precision
37.087 * * * * [points]: Setting MPFR precision to 64
37.177 * * * * [points]: Setting MPFR precision to 320
37.239 * * * * [points]: Computing exacts for 3157 points
37.245 * * * * [points]: Setting MPFR precision to 64
37.756 * * * * [points]: Setting MPFR precision to 320
38.323 * * * * [points]: Filtering points with unrepresentable outputs
38.326 * * * * [points]: Sampling 2737 additional inputs, on iter 8 have 5263 / 8000
38.339 * * * * [points]: Computing exacts on every 171 of 2737 points to ramp up precision
38.343 * * * * [points]: Setting MPFR precision to 64
38.344 * * * * [points]: Setting MPFR precision to 320
38.345 * * * * [points]: Computing exacts on every 85 of 2737 points to ramp up precision
38.349 * * * * [points]: Setting MPFR precision to 64
38.351 * * * * [points]: Setting MPFR precision to 320
38.354 * * * * [points]: Computing exacts on every 42 of 2737 points to ramp up precision
38.357 * * * * [points]: Setting MPFR precision to 64
38.362 * * * * [points]: Setting MPFR precision to 320
38.367 * * * * [points]: Computing exacts on every 21 of 2737 points to ramp up precision
38.371 * * * * [points]: Setting MPFR precision to 64
38.412 * * * * [points]: Setting MPFR precision to 320
38.428 * * * * [points]: Computing exacts on every 10 of 2737 points to ramp up precision
38.436 * * * * [points]: Setting MPFR precision to 64
38.471 * * * * [points]: Setting MPFR precision to 320
38.506 * * * * [points]: Computing exacts on every 5 of 2737 points to ramp up precision
38.514 * * * * [points]: Setting MPFR precision to 64
38.578 * * * * [points]: Setting MPFR precision to 320
38.694 * * * * [points]: Computing exacts on every 2 of 2737 points to ramp up precision
38.701 * * * * [points]: Setting MPFR precision to 64
38.823 * * * * [points]: Setting MPFR precision to 320
38.958 * * * * [points]: Computing exacts for 2737 points
38.963 * * * * [points]: Setting MPFR precision to 64
39.354 * * * * [points]: Setting MPFR precision to 320
39.691 * * * * [points]: Filtering points with unrepresentable outputs
39.692 * * * * [points]: Sampling 2401 additional inputs, on iter 9 have 5599 / 8000
39.712 * * * * [points]: Computing exacts on every 150 of 2401 points to ramp up precision
39.719 * * * * [points]: Setting MPFR precision to 64
39.722 * * * * [points]: Setting MPFR precision to 320
39.724 * * * * [points]: Computing exacts on every 75 of 2401 points to ramp up precision
39.730 * * * * [points]: Setting MPFR precision to 64
39.734 * * * * [points]: Setting MPFR precision to 320
39.738 * * * * [points]: Computing exacts on every 37 of 2401 points to ramp up precision
39.775 * * * * [points]: Setting MPFR precision to 64
39.779 * * * * [points]: Setting MPFR precision to 320
39.786 * * * * [points]: Computing exacts on every 18 of 2401 points to ramp up precision
39.789 * * * * [points]: Setting MPFR precision to 64
39.799 * * * * [points]: Setting MPFR precision to 320
39.807 * * * * [points]: Computing exacts on every 9 of 2401 points to ramp up precision
39.811 * * * * [points]: Setting MPFR precision to 64
39.827 * * * * [points]: Setting MPFR precision to 320
39.845 * * * * [points]: Computing exacts on every 4 of 2401 points to ramp up precision
39.849 * * * * [points]: Setting MPFR precision to 64
39.915 * * * * [points]: Setting MPFR precision to 320
39.952 * * * * [points]: Computing exacts on every 2 of 2401 points to ramp up precision
39.956 * * * * [points]: Setting MPFR precision to 64
40.014 * * * * [points]: Setting MPFR precision to 320
40.429 * * * * [points]: Computing exacts for 2401 points
40.433 * * * * [points]: Setting MPFR precision to 64
40.654 * * * * [points]: Setting MPFR precision to 320
40.976 * * * * [points]: Filtering points with unrepresentable outputs
40.977 * * * * [points]: Sampling 2094 additional inputs, on iter 10 have 5906 / 8000
40.987 * * * * [points]: Computing exacts on every 130 of 2094 points to ramp up precision
40.990 * * * * [points]: Setting MPFR precision to 64
40.992 * * * * [points]: Setting MPFR precision to 320
40.993 * * * * [points]: Computing exacts on every 65 of 2094 points to ramp up precision
40.996 * * * * [points]: Setting MPFR precision to 64
40.999 * * * * [points]: Setting MPFR precision to 320
41.001 * * * * [points]: Computing exacts on every 32 of 2094 points to ramp up precision
41.005 * * * * [points]: Setting MPFR precision to 64
41.009 * * * * [points]: Setting MPFR precision to 320
41.015 * * * * [points]: Computing exacts on every 16 of 2094 points to ramp up precision
41.018 * * * * [points]: Setting MPFR precision to 64
41.027 * * * * [points]: Setting MPFR precision to 320
41.036 * * * * [points]: Computing exacts on every 8 of 2094 points to ramp up precision
41.039 * * * * [points]: Setting MPFR precision to 64
41.082 * * * * [points]: Setting MPFR precision to 320
41.098 * * * * [points]: Computing exacts on every 4 of 2094 points to ramp up precision
41.102 * * * * [points]: Setting MPFR precision to 64
41.132 * * * * [points]: Setting MPFR precision to 320
41.163 * * * * [points]: Computing exacts on every 2 of 2094 points to ramp up precision
41.166 * * * * [points]: Setting MPFR precision to 64
41.250 * * * * [points]: Setting MPFR precision to 320
41.301 * * * * [points]: Computing exacts for 2094 points
41.304 * * * * [points]: Setting MPFR precision to 64
41.526 * * * * [points]: Setting MPFR precision to 320
41.762 * * * * [points]: Filtering points with unrepresentable outputs
41.763 * * * * [points]: Sampling 1827 additional inputs, on iter 11 have 6173 / 8000
41.775 * * * * [points]: Computing exacts on every 114 of 1827 points to ramp up precision
41.782 * * * * [points]: Setting MPFR precision to 64
41.784 * * * * [points]: Setting MPFR precision to 320
41.786 * * * * [points]: Computing exacts on every 57 of 1827 points to ramp up precision
41.792 * * * * [points]: Setting MPFR precision to 64
41.796 * * * * [points]: Setting MPFR precision to 320
41.800 * * * * [points]: Computing exacts on every 28 of 1827 points to ramp up precision
41.806 * * * * [points]: Setting MPFR precision to 64
41.813 * * * * [points]: Setting MPFR precision to 320
41.821 * * * * [points]: Computing exacts on every 14 of 1827 points to ramp up precision
41.827 * * * * [points]: Setting MPFR precision to 64
41.841 * * * * [points]: Setting MPFR precision to 320
41.857 * * * * [points]: Computing exacts on every 7 of 1827 points to ramp up precision
41.863 * * * * [points]: Setting MPFR precision to 64
41.907 * * * * [points]: Setting MPFR precision to 320
41.931 * * * * [points]: Computing exacts on every 3 of 1827 points to ramp up precision
41.937 * * * * [points]: Setting MPFR precision to 64
41.978 * * * * [points]: Setting MPFR precision to 320
42.016 * * * * [points]: Computing exacts for 1827 points
42.020 * * * * [points]: Setting MPFR precision to 64
42.323 * * * * [points]: Setting MPFR precision to 320
42.543 * * * * [points]: Filtering points with unrepresentable outputs
42.545 * * * * [points]: Sampling 1562 additional inputs, on iter 12 have 6438 / 8000
42.557 * * * * [points]: Computing exacts on every 97 of 1562 points to ramp up precision
42.564 * * * * [points]: Setting MPFR precision to 64
42.567 * * * * [points]: Setting MPFR precision to 320
42.569 * * * * [points]: Computing exacts on every 48 of 1562 points to ramp up precision
42.576 * * * * [points]: Setting MPFR precision to 64
42.579 * * * * [points]: Setting MPFR precision to 320
42.584 * * * * [points]: Computing exacts on every 24 of 1562 points to ramp up precision
42.590 * * * * [points]: Setting MPFR precision to 64
42.598 * * * * [points]: Setting MPFR precision to 320
42.606 * * * * [points]: Computing exacts on every 12 of 1562 points to ramp up precision
42.613 * * * * [points]: Setting MPFR precision to 64
42.629 * * * * [points]: Setting MPFR precision to 320
42.644 * * * * [points]: Computing exacts on every 6 of 1562 points to ramp up precision
42.651 * * * * [points]: Setting MPFR precision to 64
42.680 * * * * [points]: Setting MPFR precision to 320
42.733 * * * * [points]: Computing exacts on every 3 of 1562 points to ramp up precision
42.736 * * * * [points]: Setting MPFR precision to 64
42.787 * * * * [points]: Setting MPFR precision to 320
42.835 * * * * [points]: Computing exacts for 1562 points
42.841 * * * * [points]: Setting MPFR precision to 64
43.006 * * * * [points]: Setting MPFR precision to 320
43.162 * * * * [points]: Filtering points with unrepresentable outputs
43.162 * * * * [points]: Sampling 1377 additional inputs, on iter 13 have 6623 / 8000
43.169 * * * * [points]: Computing exacts on every 86 of 1377 points to ramp up precision
43.174 * * * * [points]: Setting MPFR precision to 64
43.176 * * * * [points]: Setting MPFR precision to 320
43.177 * * * * [points]: Computing exacts on every 43 of 1377 points to ramp up precision
43.181 * * * * [points]: Setting MPFR precision to 64
43.183 * * * * [points]: Setting MPFR precision to 320
43.185 * * * * [points]: Computing exacts on every 21 of 1377 points to ramp up precision
43.189 * * * * [points]: Setting MPFR precision to 64
43.193 * * * * [points]: Setting MPFR precision to 320
43.198 * * * * [points]: Computing exacts on every 10 of 1377 points to ramp up precision
43.201 * * * * [points]: Setting MPFR precision to 64
43.212 * * * * [points]: Setting MPFR precision to 320
43.619 * * * * [points]: Computing exacts on every 5 of 1377 points to ramp up precision
43.625 * * * * [points]: Setting MPFR precision to 64
43.642 * * * * [points]: Setting MPFR precision to 320
43.658 * * * * [points]: Computing exacts on every 2 of 1377 points to ramp up precision
43.662 * * * * [points]: Setting MPFR precision to 64
43.694 * * * * [points]: Setting MPFR precision to 320
43.761 * * * * [points]: Computing exacts for 1377 points
43.765 * * * * [points]: Setting MPFR precision to 64
43.866 * * * * [points]: Setting MPFR precision to 320
44.021 * * * * [points]: Filtering points with unrepresentable outputs
44.023 * * * * [points]: Sampling 1204 additional inputs, on iter 14 have 6796 / 8000
44.032 * * * * [points]: Computing exacts on every 75 of 1204 points to ramp up precision
44.040 * * * * [points]: Setting MPFR precision to 64
44.042 * * * * [points]: Setting MPFR precision to 320
44.044 * * * * [points]: Computing exacts on every 37 of 1204 points to ramp up precision
44.050 * * * * [points]: Setting MPFR precision to 64
44.052 * * * * [points]: Setting MPFR precision to 320
44.054 * * * * [points]: Computing exacts on every 18 of 1204 points to ramp up precision
44.058 * * * * [points]: Setting MPFR precision to 64
44.093 * * * * [points]: Setting MPFR precision to 320
44.099 * * * * [points]: Computing exacts on every 9 of 1204 points to ramp up precision
44.103 * * * * [points]: Setting MPFR precision to 64
44.112 * * * * [points]: Setting MPFR precision to 320
44.120 * * * * [points]: Computing exacts on every 4 of 1204 points to ramp up precision
44.126 * * * * [points]: Setting MPFR precision to 64
44.148 * * * * [points]: Setting MPFR precision to 320
44.165 * * * * [points]: Computing exacts on every 2 of 1204 points to ramp up precision
44.168 * * * * [points]: Setting MPFR precision to 64
44.203 * * * * [points]: Setting MPFR precision to 320
44.293 * * * * [points]: Computing exacts for 1204 points
44.299 * * * * [points]: Setting MPFR precision to 64
44.425 * * * * [points]: Setting MPFR precision to 320
44.588 * * * * [points]: Filtering points with unrepresentable outputs
44.589 * * * * [points]: Sampling 1068 additional inputs, on iter 15 have 6932 / 8000
44.594 * * * * [points]: Computing exacts on every 66 of 1068 points to ramp up precision
44.597 * * * * [points]: Setting MPFR precision to 64
44.599 * * * * [points]: Setting MPFR precision to 320
44.600 * * * * [points]: Computing exacts on every 33 of 1068 points to ramp up precision
44.603 * * * * [points]: Setting MPFR precision to 64
44.606 * * * * [points]: Setting MPFR precision to 320
44.609 * * * * [points]: Computing exacts on every 16 of 1068 points to ramp up precision
44.613 * * * * [points]: Setting MPFR precision to 64
44.618 * * * * [points]: Setting MPFR precision to 320
44.650 * * * * [points]: Computing exacts on every 8 of 1068 points to ramp up precision
44.654 * * * * [points]: Setting MPFR precision to 64
44.667 * * * * [points]: Setting MPFR precision to 320
44.682 * * * * [points]: Computing exacts on every 4 of 1068 points to ramp up precision
44.688 * * * * [points]: Setting MPFR precision to 64
44.716 * * * * [points]: Setting MPFR precision to 320
44.744 * * * * [points]: Computing exacts on every 2 of 1068 points to ramp up precision
44.751 * * * * [points]: Setting MPFR precision to 64
44.784 * * * * [points]: Setting MPFR precision to 320
44.838 * * * * [points]: Computing exacts for 1068 points
44.842 * * * * [points]: Setting MPFR precision to 64
44.948 * * * * [points]: Setting MPFR precision to 320
45.100 * * * * [points]: Filtering points with unrepresentable outputs
45.101 * * * * [points]: Sampling 934 additional inputs, on iter 16 have 7066 / 8000
45.108 * * * * [points]: Computing exacts on every 58 of 934 points to ramp up precision
45.112 * * * * [points]: Setting MPFR precision to 64
45.113 * * * * [points]: Setting MPFR precision to 320
45.114 * * * * [points]: Computing exacts on every 29 of 934 points to ramp up precision
45.118 * * * * [points]: Setting MPFR precision to 64
45.120 * * * * [points]: Setting MPFR precision to 320
45.122 * * * * [points]: Computing exacts on every 14 of 934 points to ramp up precision
45.125 * * * * [points]: Setting MPFR precision to 64
45.130 * * * * [points]: Setting MPFR precision to 320
45.134 * * * * [points]: Computing exacts on every 7 of 934 points to ramp up precision
45.138 * * * * [points]: Setting MPFR precision to 64
45.152 * * * * [points]: Setting MPFR precision to 320
45.164 * * * * [points]: Computing exacts on every 3 of 934 points to ramp up precision
45.167 * * * * [points]: Setting MPFR precision to 64
45.214 * * * * [points]: Setting MPFR precision to 320
45.231 * * * * [points]: Computing exacts for 934 points
45.237 * * * * [points]: Setting MPFR precision to 64
45.313 * * * * [points]: Setting MPFR precision to 320
45.423 * * * * [points]: Filtering points with unrepresentable outputs
45.424 * * * * [points]: Sampling 808 additional inputs, on iter 17 have 7192 / 8000
45.427 * * * * [points]: Computing exacts on every 50 of 808 points to ramp up precision
45.431 * * * * [points]: Setting MPFR precision to 64
45.432 * * * * [points]: Setting MPFR precision to 320
45.434 * * * * [points]: Computing exacts on every 25 of 808 points to ramp up precision
45.437 * * * * [points]: Setting MPFR precision to 64
45.439 * * * * [points]: Setting MPFR precision to 320
45.442 * * * * [points]: Computing exacts on every 12 of 808 points to ramp up precision
45.445 * * * * [points]: Setting MPFR precision to 64
45.450 * * * * [points]: Setting MPFR precision to 320
45.455 * * * * [points]: Computing exacts on every 6 of 808 points to ramp up precision
45.458 * * * * [points]: Setting MPFR precision to 64
45.468 * * * * [points]: Setting MPFR precision to 320
45.484 * * * * [points]: Computing exacts on every 3 of 808 points to ramp up precision
45.488 * * * * [points]: Setting MPFR precision to 64
45.538 * * * * [points]: Setting MPFR precision to 320
45.553 * * * * [points]: Computing exacts for 808 points
45.556 * * * * [points]: Setting MPFR precision to 64
45.656 * * * * [points]: Setting MPFR precision to 320
45.767 * * * * [points]: Filtering points with unrepresentable outputs
45.767 * * * * [points]: Sampling 718 additional inputs, on iter 18 have 7282 / 8000
45.771 * * * * [points]: Computing exacts on every 44 of 718 points to ramp up precision
45.777 * * * * [points]: Setting MPFR precision to 64
45.779 * * * * [points]: Setting MPFR precision to 320
45.781 * * * * [points]: Computing exacts on every 22 of 718 points to ramp up precision
45.788 * * * * [points]: Setting MPFR precision to 64
45.792 * * * * [points]: Setting MPFR precision to 320
45.796 * * * * [points]: Computing exacts on every 11 of 718 points to ramp up precision
45.803 * * * * [points]: Setting MPFR precision to 64
45.810 * * * * [points]: Setting MPFR precision to 320
45.819 * * * * [points]: Computing exacts on every 5 of 718 points to ramp up precision
45.824 * * * * [points]: Setting MPFR precision to 64
45.833 * * * * [points]: Setting MPFR precision to 320
45.842 * * * * [points]: Computing exacts on every 2 of 718 points to ramp up precision
45.845 * * * * [points]: Setting MPFR precision to 64
45.862 * * * * [points]: Setting MPFR precision to 320
45.910 * * * * [points]: Computing exacts for 718 points
45.914 * * * * [points]: Setting MPFR precision to 64
45.972 * * * * [points]: Setting MPFR precision to 320
46.075 * * * * [points]: Filtering points with unrepresentable outputs
46.076 * * * * [points]: Sampling 632 additional inputs, on iter 19 have 7368 / 8000
46.079 * * * * [points]: Computing exacts on every 39 of 632 points to ramp up precision
46.084 * * * * [points]: Setting MPFR precision to 64
46.085 * * * * [points]: Setting MPFR precision to 320
46.087 * * * * [points]: Computing exacts on every 19 of 632 points to ramp up precision
46.090 * * * * [points]: Setting MPFR precision to 64
46.093 * * * * [points]: Setting MPFR precision to 320
46.095 * * * * [points]: Computing exacts on every 9 of 632 points to ramp up precision
46.098 * * * * [points]: Setting MPFR precision to 64
46.103 * * * * [points]: Setting MPFR precision to 320
46.107 * * * * [points]: Computing exacts on every 4 of 632 points to ramp up precision
46.111 * * * * [points]: Setting MPFR precision to 64
46.120 * * * * [points]: Setting MPFR precision to 320
46.129 * * * * [points]: Computing exacts on every 2 of 632 points to ramp up precision
46.134 * * * * [points]: Setting MPFR precision to 64
46.149 * * * * [points]: Setting MPFR precision to 320
46.164 * * * * [points]: Computing exacts for 632 points
46.168 * * * * [points]: Setting MPFR precision to 64
46.241 * * * * [points]: Setting MPFR precision to 320
46.287 * * * * [points]: Filtering points with unrepresentable outputs
46.287 * * * * [points]: Sampling 552 additional inputs, on iter 20 have 7448 / 8000
46.290 * * * * [points]: Computing exacts on every 34 of 552 points to ramp up precision
46.293 * * * * [points]: Setting MPFR precision to 64
46.294 * * * * [points]: Setting MPFR precision to 320
46.296 * * * * [points]: Computing exacts on every 17 of 552 points to ramp up precision
46.299 * * * * [points]: Setting MPFR precision to 64
46.301 * * * * [points]: Setting MPFR precision to 320
46.303 * * * * [points]: Computing exacts on every 8 of 552 points to ramp up precision
46.307 * * * * [points]: Setting MPFR precision to 64
46.312 * * * * [points]: Setting MPFR precision to 320
46.344 * * * * [points]: Computing exacts on every 4 of 552 points to ramp up precision
46.347 * * * * [points]: Setting MPFR precision to 64
46.358 * * * * [points]: Setting MPFR precision to 320
46.367 * * * * [points]: Computing exacts on every 2 of 552 points to ramp up precision
46.371 * * * * [points]: Setting MPFR precision to 64
46.385 * * * * [points]: Setting MPFR precision to 320
46.398 * * * * [points]: Computing exacts for 552 points
46.401 * * * * [points]: Setting MPFR precision to 64
46.440 * * * * [points]: Setting MPFR precision to 320
46.814 * * * * [points]: Filtering points with unrepresentable outputs
46.815 * * * * [points]: Sampling 463 additional inputs, on iter 21 have 7537 / 8000
46.817 * * * * [points]: Computing exacts on every 28 of 463 points to ramp up precision
46.820 * * * * [points]: Setting MPFR precision to 64
46.822 * * * * [points]: Setting MPFR precision to 320
46.823 * * * * [points]: Computing exacts on every 14 of 463 points to ramp up precision
46.827 * * * * [points]: Setting MPFR precision to 64
46.829 * * * * [points]: Setting MPFR precision to 320
46.831 * * * * [points]: Computing exacts on every 7 of 463 points to ramp up precision
46.835 * * * * [points]: Setting MPFR precision to 64
46.840 * * * * [points]: Setting MPFR precision to 320
46.845 * * * * [points]: Computing exacts on every 3 of 463 points to ramp up precision
46.848 * * * * [points]: Setting MPFR precision to 64
46.857 * * * * [points]: Setting MPFR precision to 320
46.865 * * * * [points]: Computing exacts for 463 points
46.869 * * * * [points]: Setting MPFR precision to 64
46.939 * * * * [points]: Setting MPFR precision to 320
46.977 * * * * [points]: Filtering points with unrepresentable outputs
46.977 * * * * [points]: Sampling 410 additional inputs, on iter 22 have 7590 / 8000
46.981 * * * * [points]: Computing exacts on every 25 of 410 points to ramp up precision
46.987 * * * * [points]: Setting MPFR precision to 64
46.990 * * * * [points]: Setting MPFR precision to 320
46.992 * * * * [points]: Computing exacts on every 12 of 410 points to ramp up precision
46.998 * * * * [points]: Setting MPFR precision to 64
47.003 * * * * [points]: Setting MPFR precision to 320
47.007 * * * * [points]: Computing exacts on every 6 of 410 points to ramp up precision
47.014 * * * * [points]: Setting MPFR precision to 64
47.019 * * * * [points]: Setting MPFR precision to 320
47.023 * * * * [points]: Computing exacts on every 3 of 410 points to ramp up precision
47.027 * * * * [points]: Setting MPFR precision to 64
47.034 * * * * [points]: Setting MPFR precision to 320
47.042 * * * * [points]: Computing exacts for 410 points
47.045 * * * * [points]: Setting MPFR precision to 64
47.102 * * * * [points]: Setting MPFR precision to 320
47.156 * * * * [points]: Filtering points with unrepresentable outputs
47.156 * * * * [points]: Sampling 351 additional inputs, on iter 23 have 7649 / 8000
47.159 * * * * [points]: Computing exacts on every 21 of 351 points to ramp up precision
47.164 * * * * [points]: Setting MPFR precision to 64
47.165 * * * * [points]: Setting MPFR precision to 320
47.166 * * * * [points]: Computing exacts on every 10 of 351 points to ramp up precision
47.170 * * * * [points]: Setting MPFR precision to 64
47.173 * * * * [points]: Setting MPFR precision to 320
47.175 * * * * [points]: Computing exacts on every 5 of 351 points to ramp up precision
47.179 * * * * [points]: Setting MPFR precision to 64
47.183 * * * * [points]: Setting MPFR precision to 320
47.188 * * * * [points]: Computing exacts on every 2 of 351 points to ramp up precision
47.191 * * * * [points]: Setting MPFR precision to 64
47.200 * * * * [points]: Setting MPFR precision to 320
47.208 * * * * [points]: Computing exacts for 351 points
47.212 * * * * [points]: Setting MPFR precision to 64
47.299 * * * * [points]: Setting MPFR precision to 320
47.346 * * * * [points]: Filtering points with unrepresentable outputs
47.346 * * * * [points]: Sampling 313 additional inputs, on iter 24 have 7687 / 8000
47.349 * * * * [points]: Computing exacts on every 19 of 313 points to ramp up precision
47.354 * * * * [points]: Setting MPFR precision to 64
47.355 * * * * [points]: Setting MPFR precision to 320
47.357 * * * * [points]: Computing exacts on every 9 of 313 points to ramp up precision
47.360 * * * * [points]: Setting MPFR precision to 64
47.362 * * * * [points]: Setting MPFR precision to 320
47.364 * * * * [points]: Computing exacts on every 4 of 313 points to ramp up precision
47.368 * * * * [points]: Setting MPFR precision to 64
47.376 * * * * [points]: Setting MPFR precision to 320
47.383 * * * * [points]: Computing exacts on every 2 of 313 points to ramp up precision
47.390 * * * * [points]: Setting MPFR precision to 64
47.403 * * * * [points]: Setting MPFR precision to 320
47.412 * * * * [points]: Computing exacts for 313 points
47.415 * * * * [points]: Setting MPFR precision to 64
47.466 * * * * [points]: Setting MPFR precision to 320
47.490 * * * * [points]: Filtering points with unrepresentable outputs
47.490 * * * * [points]: Sampling 276 additional inputs, on iter 25 have 7724 / 8000
47.492 * * * * [points]: Computing exacts on every 17 of 276 points to ramp up precision
47.496 * * * * [points]: Setting MPFR precision to 64
47.497 * * * * [points]: Setting MPFR precision to 320
47.499 * * * * [points]: Computing exacts on every 8 of 276 points to ramp up precision
47.502 * * * * [points]: Setting MPFR precision to 64
47.504 * * * * [points]: Setting MPFR precision to 320
47.506 * * * * [points]: Computing exacts on every 4 of 276 points to ramp up precision
47.511 * * * * [points]: Setting MPFR precision to 64
47.518 * * * * [points]: Setting MPFR precision to 320
47.525 * * * * [points]: Computing exacts on every 2 of 276 points to ramp up precision
47.532 * * * * [points]: Setting MPFR precision to 64
47.543 * * * * [points]: Setting MPFR precision to 320
47.554 * * * * [points]: Computing exacts for 276 points
47.557 * * * * [points]: Setting MPFR precision to 64
47.578 * * * * [points]: Setting MPFR precision to 320
47.624 * * * * [points]: Filtering points with unrepresentable outputs
47.624 * * * * [points]: Sampling 242 additional inputs, on iter 26 have 7758 / 8000
47.625 * * * * [points]: Computing exacts on every 15 of 242 points to ramp up precision
47.629 * * * * [points]: Setting MPFR precision to 64
47.630 * * * * [points]: Setting MPFR precision to 320
47.631 * * * * [points]: Computing exacts on every 7 of 242 points to ramp up precision
47.635 * * * * [points]: Setting MPFR precision to 64
47.637 * * * * [points]: Setting MPFR precision to 320
47.639 * * * * [points]: Computing exacts on every 3 of 242 points to ramp up precision
47.642 * * * * [points]: Setting MPFR precision to 64
47.646 * * * * [points]: Setting MPFR precision to 320
47.651 * * * * [points]: Computing exacts for 242 points
47.655 * * * * [points]: Setting MPFR precision to 64
47.681 * * * * [points]: Setting MPFR precision to 320
47.707 * * * * [points]: Filtering points with unrepresentable outputs
47.707 * * * * [points]: Sampling 213 additional inputs, on iter 27 have 7787 / 8000
47.708 * * * * [points]: Computing exacts on every 13 of 213 points to ramp up precision
47.711 * * * * [points]: Setting MPFR precision to 64
47.712 * * * * [points]: Setting MPFR precision to 320
47.714 * * * * [points]: Computing exacts on every 6 of 213 points to ramp up precision
47.718 * * * * [points]: Setting MPFR precision to 64
47.720 * * * * [points]: Setting MPFR precision to 320
47.722 * * * * [points]: Computing exacts on every 3 of 213 points to ramp up precision
47.725 * * * * [points]: Setting MPFR precision to 64
47.729 * * * * [points]: Setting MPFR precision to 320
47.755 * * * * [points]: Computing exacts for 213 points
47.758 * * * * [points]: Setting MPFR precision to 64
47.775 * * * * [points]: Setting MPFR precision to 320
47.790 * * * * [points]: Filtering points with unrepresentable outputs
47.790 * * * * [points]: Sampling 189 additional inputs, on iter 28 have 7811 / 8000
47.791 * * * * [points]: Computing exacts on every 11 of 189 points to ramp up precision
47.795 * * * * [points]: Setting MPFR precision to 64
47.797 * * * * [points]: Setting MPFR precision to 320
47.799 * * * * [points]: Computing exacts on every 5 of 189 points to ramp up precision
47.804 * * * * [points]: Setting MPFR precision to 64
47.808 * * * * [points]: Setting MPFR precision to 320
47.811 * * * * [points]: Computing exacts on every 2 of 189 points to ramp up precision
47.814 * * * * [points]: Setting MPFR precision to 64
47.819 * * * * [points]: Setting MPFR precision to 320
47.824 * * * * [points]: Computing exacts for 189 points
47.827 * * * * [points]: Setting MPFR precision to 64
47.841 * * * * [points]: Setting MPFR precision to 320
47.854 * * * * [points]: Filtering points with unrepresentable outputs
47.854 * * * * [points]: Sampling 161 additional inputs, on iter 29 have 7839 / 8000
47.855 * * * * [points]: Computing exacts on every 10 of 161 points to ramp up precision
47.858 * * * * [points]: Setting MPFR precision to 64
47.860 * * * * [points]: Setting MPFR precision to 320
47.861 * * * * [points]: Computing exacts on every 5 of 161 points to ramp up precision
47.888 * * * * [points]: Setting MPFR precision to 64
47.890 * * * * [points]: Setting MPFR precision to 320
47.892 * * * * [points]: Computing exacts on every 2 of 161 points to ramp up precision
47.897 * * * * [points]: Setting MPFR precision to 64
47.903 * * * * [points]: Setting MPFR precision to 320
47.909 * * * * [points]: Computing exacts for 161 points
47.916 * * * * [points]: Setting MPFR precision to 64
47.928 * * * * [points]: Setting MPFR precision to 320
47.939 * * * * [points]: Filtering points with unrepresentable outputs
47.940 * * * * [points]: Sampling 141 additional inputs, on iter 30 have 7859 / 8000
47.940 * * * * [points]: Computing exacts on every 8 of 141 points to ramp up precision
47.944 * * * * [points]: Setting MPFR precision to 64
47.946 * * * * [points]: Setting MPFR precision to 320
47.948 * * * * [points]: Computing exacts on every 4 of 141 points to ramp up precision
47.952 * * * * [points]: Setting MPFR precision to 64
47.954 * * * * [points]: Setting MPFR precision to 320
47.956 * * * * [points]: Computing exacts on every 2 of 141 points to ramp up precision
47.960 * * * * [points]: Setting MPFR precision to 64
47.963 * * * * [points]: Setting MPFR precision to 320
47.966 * * * * [points]: Computing exacts for 141 points
47.970 * * * * [points]: Setting MPFR precision to 64
47.980 * * * * [points]: Setting MPFR precision to 320
47.995 * * * * [points]: Filtering points with unrepresentable outputs
47.995 * * * * [points]: Sampling 123 additional inputs, on iter 31 have 7877 / 8000
47.996 * * * * [points]: Computing exacts on every 7 of 123 points to ramp up precision
48.024 * * * * [points]: Setting MPFR precision to 64
48.026 * * * * [points]: Setting MPFR precision to 320
48.027 * * * * [points]: Computing exacts on every 3 of 123 points to ramp up precision
48.030 * * * * [points]: Setting MPFR precision to 64
48.032 * * * * [points]: Setting MPFR precision to 320
48.039 * * * * [points]: Computing exacts for 123 points
48.045 * * * * [points]: Setting MPFR precision to 64
48.056 * * * * [points]: Setting MPFR precision to 320
48.064 * * * * [points]: Filtering points with unrepresentable outputs
48.065 * * * * [points]: Sampling 99 additional inputs, on iter 32 have 7901 / 8000
48.065 * * * * [points]: Computing exacts on every 6 of 99 points to ramp up precision
48.068 * * * * [points]: Setting MPFR precision to 64
48.069 * * * * [points]: Setting MPFR precision to 320
48.071 * * * * [points]: Computing exacts on every 3 of 99 points to ramp up precision
48.074 * * * * [points]: Setting MPFR precision to 64
48.076 * * * * [points]: Setting MPFR precision to 320
48.078 * * * * [points]: Computing exacts for 99 points
48.084 * * * * [points]: Setting MPFR precision to 64
48.096 * * * * [points]: Setting MPFR precision to 320
48.109 * * * * [points]: Filtering points with unrepresentable outputs
48.109 * * * * [points]: Sampling 82 additional inputs, on iter 33 have 7918 / 8000
48.110 * * * * [points]: Computing exacts on every 5 of 82 points to ramp up precision
48.113 * * * * [points]: Setting MPFR precision to 64
48.114 * * * * [points]: Setting MPFR precision to 320
48.115 * * * * [points]: Computing exacts on every 2 of 82 points to ramp up precision
48.119 * * * * [points]: Setting MPFR precision to 64
48.121 * * * * [points]: Setting MPFR precision to 320
48.123 * * * * [points]: Computing exacts for 82 points
48.127 * * * * [points]: Setting MPFR precision to 64
48.133 * * * * [points]: Setting MPFR precision to 320
48.139 * * * * [points]: Filtering points with unrepresentable outputs
48.139 * * * * [points]: Sampling 74 additional inputs, on iter 34 have 7926 / 8000
48.139 * * * * [points]: Computing exacts on every 4 of 74 points to ramp up precision
48.167 * * * * [points]: Setting MPFR precision to 64
48.168 * * * * [points]: Setting MPFR precision to 320
48.169 * * * * [points]: Computing exacts on every 2 of 74 points to ramp up precision
48.173 * * * * [points]: Setting MPFR precision to 64
48.176 * * * * [points]: Setting MPFR precision to 320
48.178 * * * * [points]: Computing exacts for 74 points
48.181 * * * * [points]: Setting MPFR precision to 64
48.187 * * * * [points]: Setting MPFR precision to 320
48.192 * * * * [points]: Filtering points with unrepresentable outputs
48.192 * * * * [points]: Sampling 68 additional inputs, on iter 35 have 7932 / 8000
48.192 * * * * [points]: Computing exacts on every 4 of 68 points to ramp up precision
48.195 * * * * [points]: Setting MPFR precision to 64
48.196 * * * * [points]: Setting MPFR precision to 320
48.197 * * * * [points]: Computing exacts on every 2 of 68 points to ramp up precision
48.201 * * * * [points]: Setting MPFR precision to 64
48.202 * * * * [points]: Setting MPFR precision to 320
48.204 * * * * [points]: Computing exacts for 68 points
48.207 * * * * [points]: Setting MPFR precision to 64
48.212 * * * * [points]: Setting MPFR precision to 320
48.217 * * * * [points]: Filtering points with unrepresentable outputs
48.217 * * * * [points]: Sampling 61 additional inputs, on iter 36 have 7939 / 8000
48.217 * * * * [points]: Computing exacts on every 3 of 61 points to ramp up precision
48.220 * * * * [points]: Setting MPFR precision to 64
48.222 * * * * [points]: Setting MPFR precision to 320
48.223 * * * * [points]: Computing exacts for 61 points
48.226 * * * * [points]: Setting MPFR precision to 64
48.230 * * * * [points]: Setting MPFR precision to 320
48.234 * * * * [points]: Filtering points with unrepresentable outputs
48.235 * * * * [points]: Sampling 55 additional inputs, on iter 37 have 7945 / 8000
48.235 * * * * [points]: Computing exacts on every 3 of 55 points to ramp up precision
48.238 * * * * [points]: Setting MPFR precision to 64
48.239 * * * * [points]: Setting MPFR precision to 320
48.240 * * * * [points]: Computing exacts for 55 points
48.243 * * * * [points]: Setting MPFR precision to 64
48.247 * * * * [points]: Setting MPFR precision to 320
48.251 * * * * [points]: Filtering points with unrepresentable outputs
48.251 * * * * [points]: Sampling 46 additional inputs, on iter 38 have 7954 / 8000
48.252 * * * * [points]: Computing exacts on every 2 of 46 points to ramp up precision
48.255 * * * * [points]: Setting MPFR precision to 64
48.272 * * * * [points]: Setting MPFR precision to 320
48.275 * * * * [points]: Computing exacts for 46 points
48.284 * * * * [points]: Setting MPFR precision to 64
48.291 * * * * [points]: Setting MPFR precision to 320
48.297 * * * * [points]: Filtering points with unrepresentable outputs
48.297 * * * * [points]: Sampling 42 additional inputs, on iter 39 have 7958 / 8000
48.297 * * * * [points]: Computing exacts on every 2 of 42 points to ramp up precision
48.304 * * * * [points]: Setting MPFR precision to 64
48.306 * * * * [points]: Setting MPFR precision to 320
48.307 * * * * [points]: Computing exacts for 42 points
48.310 * * * * [points]: Setting MPFR precision to 64
48.313 * * * * [points]: Setting MPFR precision to 320
48.316 * * * * [points]: Filtering points with unrepresentable outputs
48.316 * * * * [points]: Sampling 37 additional inputs, on iter 40 have 7963 / 8000
48.316 * * * * [points]: Computing exacts on every 2 of 37 points to ramp up precision
48.319 * * * * [points]: Setting MPFR precision to 64
48.320 * * * * [points]: Setting MPFR precision to 320
48.321 * * * * [points]: Computing exacts for 37 points
48.324 * * * * [points]: Setting MPFR precision to 64
48.327 * * * * [points]: Setting MPFR precision to 320
48.329 * * * * [points]: Filtering points with unrepresentable outputs
48.329 * * * * [points]: Sampling 34 additional inputs, on iter 41 have 7966 / 8000
48.330 * * * * [points]: Computing exacts on every 2 of 34 points to ramp up precision
48.333 * * * * [points]: Setting MPFR precision to 64
48.334 * * * * [points]: Setting MPFR precision to 320
48.335 * * * * [points]: Computing exacts for 34 points
48.338 * * * * [points]: Setting MPFR precision to 64
48.340 * * * * [points]: Setting MPFR precision to 320
48.343 * * * * [points]: Filtering points with unrepresentable outputs
48.343 * * * * [points]: Sampling 32 additional inputs, on iter 42 have 7968 / 8000
48.343 * * * * [points]: Computing exacts on every 2 of 32 points to ramp up precision
48.346 * * * * [points]: Setting MPFR precision to 64
48.347 * * * * [points]: Setting MPFR precision to 320
48.348 * * * * [points]: Computing exacts for 32 points
48.351 * * * * [points]: Setting MPFR precision to 64
48.353 * * * * [points]: Setting MPFR precision to 320
48.355 * * * * [points]: Filtering points with unrepresentable outputs
48.355 * * * * [points]: Sampling 27 additional inputs, on iter 43 have 7973 / 8000
48.355 * * * * [points]: Computing exacts for 27 points
48.359 * * * * [points]: Setting MPFR precision to 64
48.361 * * * * [points]: Setting MPFR precision to 320
48.363 * * * * [points]: Filtering points with unrepresentable outputs
48.363 * * * * [points]: Sampling 23 additional inputs, on iter 44 have 7977 / 8000
48.363 * * * * [points]: Computing exacts for 23 points
48.366 * * * * [points]: Setting MPFR precision to 64
48.368 * * * * [points]: Setting MPFR precision to 320
48.369 * * * * [points]: Filtering points with unrepresentable outputs
48.369 * * * * [points]: Sampling 22 additional inputs, on iter 45 have 7978 / 8000
48.369 * * * * [points]: Computing exacts for 22 points
48.373 * * * * [points]: Setting MPFR precision to 64
48.374 * * * * [points]: Setting MPFR precision to 320
48.390 * * * * [points]: Filtering points with unrepresentable outputs
48.390 * * * * [points]: Sampling 21 additional inputs, on iter 46 have 7979 / 8000
48.390 * * * * [points]: Computing exacts for 21 points
48.394 * * * * [points]: Setting MPFR precision to 64
48.395 * * * * [points]: Setting MPFR precision to 320
48.397 * * * * [points]: Filtering points with unrepresentable outputs
48.397 * * * * [points]: Sampling 18 additional inputs, on iter 47 have 7982 / 8000
48.397 * * * * [points]: Computing exacts for 18 points
48.402 * * * * [points]: Setting MPFR precision to 64
48.403 * * * * [points]: Setting MPFR precision to 320
48.405 * * * * [points]: Filtering points with unrepresentable outputs
48.405 * * * * [points]: Sampling 17 additional inputs, on iter 48 have 7983 / 8000
48.405 * * * * [points]: Computing exacts for 17 points
48.408 * * * * [points]: Setting MPFR precision to 64
48.410 * * * * [points]: Setting MPFR precision to 320
48.412 * * * * [points]: Filtering points with unrepresentable outputs
48.412 * * * * [points]: Sampling 14 additional inputs, on iter 49 have 7986 / 8000
48.412 * * * * [points]: Computing exacts for 14 points
48.418 * * * * [points]: Setting MPFR precision to 64
48.420 * * * * [points]: Setting MPFR precision to 320
48.422 * * * * [points]: Filtering points with unrepresentable outputs
48.422 * * * * [points]: Sampling 13 additional inputs, on iter 50 have 7987 / 8000
48.422 * * * * [points]: Computing exacts for 13 points
48.427 * * * * [points]: Setting MPFR precision to 64
48.428 * * * * [points]: Setting MPFR precision to 320
48.429 * * * * [points]: Filtering points with unrepresentable outputs
48.429 * * * * [points]: Sampling 12 additional inputs, on iter 51 have 7988 / 8000
48.429 * * * * [points]: Computing exacts for 12 points
48.432 * * * * [points]: Setting MPFR precision to 64
48.433 * * * * [points]: Setting MPFR precision to 320
48.434 * * * * [points]: Filtering points with unrepresentable outputs
48.434 * * * * [points]: Sampling 11 additional inputs, on iter 52 have 7989 / 8000
48.434 * * * * [points]: Computing exacts for 11 points
48.437 * * * * [points]: Setting MPFR precision to 64
48.438 * * * * [points]: Setting MPFR precision to 320
48.439 * * * * [points]: Filtering points with unrepresentable outputs
48.439 * * * * [points]: Sampling 10 additional inputs, on iter 53 have 7990 / 8000
48.439 * * * * [points]: Computing exacts for 10 points
48.442 * * * * [points]: Setting MPFR precision to 64
48.443 * * * * [points]: Setting MPFR precision to 320
48.444 * * * * [points]: Filtering points with unrepresentable outputs
48.444 * * * * [points]: Sampling 10 additional inputs, on iter 54 have 7990 / 8000
48.444 * * * * [points]: Computing exacts for 10 points
48.447 * * * * [points]: Setting MPFR precision to 64
48.448 * * * * [points]: Setting MPFR precision to 320
48.449 * * * * [points]: Filtering points with unrepresentable outputs
48.449 * * * * [points]: Sampling 10 additional inputs, on iter 55 have 7990 / 8000
48.449 * * * * [points]: Computing exacts for 10 points
48.452 * * * * [points]: Setting MPFR precision to 64
48.453 * * * * [points]: Setting MPFR precision to 320
48.454 * * * * [points]: Filtering points with unrepresentable outputs
48.454 * * * * [points]: Sampling 10 additional inputs, on iter 56 have 7990 / 8000
48.454 * * * * [points]: Computing exacts for 10 points
48.458 * * * * [points]: Setting MPFR precision to 64
48.459 * * * * [points]: Setting MPFR precision to 320
48.460 * * * * [points]: Filtering points with unrepresentable outputs
48.460 * * * * [points]: Sampling 8 additional inputs, on iter 57 have 7992 / 8000
48.460 * * * * [points]: Computing exacts for 8 points
48.463 * * * * [points]: Setting MPFR precision to 64
48.464 * * * * [points]: Setting MPFR precision to 320
48.465 * * * * [points]: Filtering points with unrepresentable outputs
48.465 * * * * [points]: Sampling 8 additional inputs, on iter 58 have 7992 / 8000
48.465 * * * * [points]: Computing exacts for 8 points
48.471 * * * * [points]: Setting MPFR precision to 64
48.472 * * * * [points]: Setting MPFR precision to 320
48.473 * * * * [points]: Filtering points with unrepresentable outputs
48.473 * * * * [points]: Sampling 7 additional inputs, on iter 59 have 7993 / 8000
48.473 * * * * [points]: Computing exacts for 7 points
48.479 * * * * [points]: Setting MPFR precision to 64
48.480 * * * * [points]: Setting MPFR precision to 320
48.481 * * * * [points]: Filtering points with unrepresentable outputs
48.481 * * * * [points]: Sampling 7 additional inputs, on iter 60 have 7993 / 8000
48.482 * * * * [points]: Computing exacts for 7 points
48.498 * * * * [points]: Setting MPFR precision to 64
48.499 * * * * [points]: Setting MPFR precision to 320
48.501 * * * * [points]: Filtering points with unrepresentable outputs
48.501 * * * * [points]: Sampling 5 additional inputs, on iter 61 have 7995 / 8000
48.501 * * * * [points]: Computing exacts for 5 points
48.504 * * * * [points]: Setting MPFR precision to 64
48.504 * * * * [points]: Setting MPFR precision to 320
48.505 * * * * [points]: Filtering points with unrepresentable outputs
48.505 * * * * [points]: Sampling 5 additional inputs, on iter 62 have 7995 / 8000
48.505 * * * * [points]: Computing exacts for 5 points
48.508 * * * * [points]: Setting MPFR precision to 64
48.508 * * * * [points]: Setting MPFR precision to 320
48.509 * * * * [points]: Filtering points with unrepresentable outputs
48.509 * * * * [points]: Sampling 5 additional inputs, on iter 63 have 7995 / 8000
48.509 * * * * [points]: Computing exacts for 5 points
48.512 * * * * [points]: Setting MPFR precision to 64
48.512 * * * * [points]: Setting MPFR precision to 320
48.513 * * * * [points]: Filtering points with unrepresentable outputs
48.513 * * * * [points]: Sampling 5 additional inputs, on iter 64 have 7995 / 8000
48.513 * * * * [points]: Computing exacts for 5 points
48.516 * * * * [points]: Setting MPFR precision to 64
48.516 * * * * [points]: Setting MPFR precision to 320
48.517 * * * * [points]: Filtering points with unrepresentable outputs
48.517 * * * * [points]: Sampling 5 additional inputs, on iter 65 have 7995 / 8000
48.517 * * * * [points]: Computing exacts for 5 points
48.520 * * * * [points]: Setting MPFR precision to 64
48.520 * * * * [points]: Setting MPFR precision to 320
48.521 * * * * [points]: Filtering points with unrepresentable outputs
48.521 * * * * [points]: Sampling 5 additional inputs, on iter 66 have 7995 / 8000
48.521 * * * * [points]: Computing exacts for 5 points
48.524 * * * * [points]: Setting MPFR precision to 64
48.524 * * * * [points]: Setting MPFR precision to 320
48.525 * * * * [points]: Filtering points with unrepresentable outputs
48.525 * * * * [points]: Sampling 5 additional inputs, on iter 67 have 7995 / 8000
48.525 * * * * [points]: Computing exacts for 5 points
48.528 * * * * [points]: Setting MPFR precision to 64
48.529 * * * * [points]: Setting MPFR precision to 320
48.529 * * * * [points]: Filtering points with unrepresentable outputs
48.529 * * * * [points]: Sampling 5 additional inputs, on iter 68 have 7995 / 8000
48.529 * * * * [points]: Computing exacts for 5 points
48.532 * * * * [points]: Setting MPFR precision to 64
48.533 * * * * [points]: Setting MPFR precision to 320
48.533 * * * * [points]: Filtering points with unrepresentable outputs
48.533 * * * * [points]: Sampling 4 additional inputs, on iter 69 have 7996 / 8000
48.533 * * * * [points]: Computing exacts for 4 points
48.536 * * * * [points]: Setting MPFR precision to 64
48.537 * * * * [points]: Setting MPFR precision to 320
48.537 * * * * [points]: Filtering points with unrepresentable outputs
48.537 * * * * [points]: Sampling 4 additional inputs, on iter 70 have 7996 / 8000
48.537 * * * * [points]: Computing exacts for 4 points
48.540 * * * * [points]: Setting MPFR precision to 64
48.540 * * * * [points]: Setting MPFR precision to 320
48.541 * * * * [points]: Filtering points with unrepresentable outputs
48.541 * * * * [points]: Sampling 4 additional inputs, on iter 71 have 7996 / 8000
48.541 * * * * [points]: Computing exacts for 4 points
48.544 * * * * [points]: Setting MPFR precision to 64
48.545 * * * * [points]: Setting MPFR precision to 320
48.545 * * * * [points]: Filtering points with unrepresentable outputs
48.545 * * * * [points]: Sampling 4 additional inputs, on iter 72 have 7997 / 8000
48.545 * * * * [points]: Computing exacts for 4 points
48.548 * * * * [points]: Setting MPFR precision to 64
48.549 * * * * [points]: Setting MPFR precision to 320
48.549 * * * * [points]: Filtering points with unrepresentable outputs
48.549 * * * * [points]: Sampling 4 additional inputs, on iter 73 have 7997 / 8000
48.549 * * * * [points]: Computing exacts for 4 points
48.552 * * * * [points]: Setting MPFR precision to 64
48.553 * * * * [points]: Setting MPFR precision to 320
48.553 * * * * [points]: Filtering points with unrepresentable outputs
48.553 * * * * [points]: Sampling 4 additional inputs, on iter 74 have 7997 / 8000
48.553 * * * * [points]: Computing exacts for 4 points
48.556 * * * * [points]: Setting MPFR precision to 64
48.557 * * * * [points]: Setting MPFR precision to 320
48.557 * * * * [points]: Filtering points with unrepresentable outputs
48.557 * * * * [points]: Sampling 4 additional inputs, on iter 75 have 7998 / 8000
48.557 * * * * [points]: Computing exacts for 4 points
48.560 * * * * [points]: Setting MPFR precision to 64
48.561 * * * * [points]: Setting MPFR precision to 320
48.561 * * * * [points]: Filtering points with unrepresentable outputs
48.561 * * * * [points]: Sampling 4 additional inputs, on iter 76 have 7999 / 8000
48.561 * * * * [points]: Computing exacts for 4 points
48.564 * * * * [points]: Setting MPFR precision to 64
48.565 * * * * [points]: Setting MPFR precision to 320
48.565 * * * * [points]: Filtering points with unrepresentable outputs
48.565 * * * * [points]: Sampling 4 additional inputs, on iter 77 have 7999 / 8000
48.565 * * * * [points]: Computing exacts for 4 points
48.578 * * * * [points]: Setting MPFR precision to 64
48.579 * * * * [points]: Setting MPFR precision to 320
48.582 * * * * [points]: Filtering points with unrepresentable outputs
48.582 * * * * [points]: Sampled 8000 points with exact outputs
50.712 * [regime-testing]: Baseline error score: 64.0
50.719 * [regime-testing]: Oracle error score: 64.0
50.734 * [regime-testing]: End program error score: 0.159090089972951