0.002 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.003 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.005 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.011 * * * * [points]: Setting MPFR precision to 64
0.013 * * * * [points]: Setting MPFR precision to 320
0.016 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.023 * * * * [points]: Setting MPFR precision to 64
0.027 * * * * [points]: Setting MPFR precision to 320
0.031 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.039 * * * * [points]: Setting MPFR precision to 64
0.046 * * * * [points]: Setting MPFR precision to 320
0.053 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.061 * * * * [points]: Setting MPFR precision to 64
0.072 * * * * [points]: Setting MPFR precision to 320
0.084 * * * * [points]: Computing exacts for 256 points
0.092 * * * * [points]: Setting MPFR precision to 64
0.147 * * * * [points]: Setting MPFR precision to 320
0.181 * * * * [points]: Filtering points with unrepresentable outputs
0.182 * * * * [points]: Sampling 223 additional inputs, on iter 1 have 33 / 256
0.184 * * * * [points]: Computing exacts on every 13 of 223 points to ramp up precision
0.190 * * * * [points]: Setting MPFR precision to 64
0.193 * * * * [points]: Setting MPFR precision to 320
0.195 * * * * [points]: Computing exacts on every 6 of 223 points to ramp up precision
0.202 * * * * [points]: Setting MPFR precision to 64
0.206 * * * * [points]: Setting MPFR precision to 320
0.211 * * * * [points]: Computing exacts on every 3 of 223 points to ramp up precision
0.218 * * * * [points]: Setting MPFR precision to 64
0.226 * * * * [points]: Setting MPFR precision to 320
0.234 * * * * [points]: Computing exacts for 223 points
0.243 * * * * [points]: Setting MPFR precision to 64
0.274 * * * * [points]: Setting MPFR precision to 320
0.305 * * * * [points]: Filtering points with unrepresentable outputs
0.305 * * * * [points]: Sampling 186 additional inputs, on iter 2 have 70 / 256
0.307 * * * * [points]: Computing exacts on every 11 of 186 points to ramp up precision
0.314 * * * * [points]: Setting MPFR precision to 64
0.316 * * * * [points]: Setting MPFR precision to 320
0.319 * * * * [points]: Computing exacts on every 5 of 186 points to ramp up precision
0.365 * * * * [points]: Setting MPFR precision to 64
0.373 * * * * [points]: Setting MPFR precision to 320
0.377 * * * * [points]: Computing exacts on every 2 of 186 points to ramp up precision
0.385 * * * * [points]: Setting MPFR precision to 64
0.395 * * * * [points]: Setting MPFR precision to 320
0.403 * * * * [points]: Computing exacts for 186 points
0.410 * * * * [points]: Setting MPFR precision to 64
0.434 * * * * [points]: Setting MPFR precision to 320
0.461 * * * * [points]: Filtering points with unrepresentable outputs
0.461 * * * * [points]: Sampling 170 additional inputs, on iter 3 have 86 / 256
0.463 * * * * [points]: Computing exacts on every 10 of 170 points to ramp up precision
0.471 * * * * [points]: Setting MPFR precision to 64
0.473 * * * * [points]: Setting MPFR precision to 320
0.475 * * * * [points]: Computing exacts on every 5 of 170 points to ramp up precision
0.482 * * * * [points]: Setting MPFR precision to 64
0.486 * * * * [points]: Setting MPFR precision to 320
0.490 * * * * [points]: Computing exacts on every 2 of 170 points to ramp up precision
0.498 * * * * [points]: Setting MPFR precision to 64
0.506 * * * * [points]: Setting MPFR precision to 320
0.514 * * * * [points]: Computing exacts for 170 points
0.522 * * * * [points]: Setting MPFR precision to 64
0.546 * * * * [points]: Setting MPFR precision to 320
1.041 * * * * [points]: Filtering points with unrepresentable outputs
1.042 * * * * [points]: Sampling 152 additional inputs, on iter 4 have 104 / 256
1.042 * * * * [points]: Computing exacts on every 9 of 152 points to ramp up precision
1.046 * * * * [points]: Setting MPFR precision to 64
1.047 * * * * [points]: Setting MPFR precision to 320
1.049 * * * * [points]: Computing exacts on every 4 of 152 points to ramp up precision
1.052 * * * * [points]: Setting MPFR precision to 64
1.055 * * * * [points]: Setting MPFR precision to 320
1.057 * * * * [points]: Computing exacts on every 2 of 152 points to ramp up precision
1.061 * * * * [points]: Setting MPFR precision to 64
1.067 * * * * [points]: Setting MPFR precision to 320
1.074 * * * * [points]: Computing exacts for 152 points
1.082 * * * * [points]: Setting MPFR precision to 64
1.104 * * * * [points]: Setting MPFR precision to 320
1.125 * * * * [points]: Filtering points with unrepresentable outputs
1.125 * * * * [points]: Sampling 131 additional inputs, on iter 5 have 125 / 256
1.126 * * * * [points]: Computing exacts on every 8 of 131 points to ramp up precision
1.135 * * * * [points]: Setting MPFR precision to 64
1.137 * * * * [points]: Setting MPFR precision to 320
1.140 * * * * [points]: Computing exacts on every 4 of 131 points to ramp up precision
1.145 * * * * [points]: Setting MPFR precision to 64
1.147 * * * * [points]: Setting MPFR precision to 320
1.149 * * * * [points]: Computing exacts on every 2 of 131 points to ramp up precision
1.153 * * * * [points]: Setting MPFR precision to 64
1.157 * * * * [points]: Setting MPFR precision to 320
1.160 * * * * [points]: Computing exacts for 131 points
1.190 * * * * [points]: Setting MPFR precision to 64
1.211 * * * * [points]: Setting MPFR precision to 320
1.230 * * * * [points]: Filtering points with unrepresentable outputs
1.230 * * * * [points]: Sampling 113 additional inputs, on iter 6 have 143 / 256
1.231 * * * * [points]: Computing exacts on every 7 of 113 points to ramp up precision
1.239 * * * * [points]: Setting MPFR precision to 64
1.241 * * * * [points]: Setting MPFR precision to 320
1.243 * * * * [points]: Computing exacts on every 3 of 113 points to ramp up precision
1.247 * * * * [points]: Setting MPFR precision to 64
1.249 * * * * [points]: Setting MPFR precision to 320
1.251 * * * * [points]: Computing exacts for 113 points
1.255 * * * * [points]: Setting MPFR precision to 64
1.264 * * * * [points]: Setting MPFR precision to 320
1.272 * * * * [points]: Filtering points with unrepresentable outputs
1.272 * * * * [points]: Sampling 102 additional inputs, on iter 7 have 154 / 256
1.273 * * * * [points]: Computing exacts on every 6 of 102 points to ramp up precision
1.277 * * * * [points]: Setting MPFR precision to 64
1.278 * * * * [points]: Setting MPFR precision to 320
1.279 * * * * [points]: Computing exacts on every 3 of 102 points to ramp up precision
1.283 * * * * [points]: Setting MPFR precision to 64
1.285 * * * * [points]: Setting MPFR precision to 320
1.287 * * * * [points]: Computing exacts for 102 points
1.291 * * * * [points]: Setting MPFR precision to 64
1.299 * * * * [points]: Setting MPFR precision to 320
1.306 * * * * [points]: Filtering points with unrepresentable outputs
1.306 * * * * [points]: Sampling 84 additional inputs, on iter 8 have 172 / 256
1.307 * * * * [points]: Computing exacts on every 5 of 84 points to ramp up precision
1.311 * * * * [points]: Setting MPFR precision to 64
1.312 * * * * [points]: Setting MPFR precision to 320
1.313 * * * * [points]: Computing exacts on every 2 of 84 points to ramp up precision
1.338 * * * * [points]: Setting MPFR precision to 64
1.341 * * * * [points]: Setting MPFR precision to 320
1.343 * * * * [points]: Computing exacts for 84 points
1.353 * * * * [points]: Setting MPFR precision to 64
1.366 * * * * [points]: Setting MPFR precision to 320
1.377 * * * * [points]: Filtering points with unrepresentable outputs
1.377 * * * * [points]: Sampling 74 additional inputs, on iter 9 have 182 / 256
1.378 * * * * [points]: Computing exacts on every 4 of 74 points to ramp up precision
1.384 * * * * [points]: Setting MPFR precision to 64
1.385 * * * * [points]: Setting MPFR precision to 320
1.386 * * * * [points]: Computing exacts on every 2 of 74 points to ramp up precision
1.390 * * * * [points]: Setting MPFR precision to 64
1.392 * * * * [points]: Setting MPFR precision to 320
1.393 * * * * [points]: Computing exacts for 74 points
1.397 * * * * [points]: Setting MPFR precision to 64
1.406 * * * * [points]: Setting MPFR precision to 320
1.416 * * * * [points]: Filtering points with unrepresentable outputs
1.416 * * * * [points]: Sampling 68 additional inputs, on iter 10 have 188 / 256
1.417 * * * * [points]: Computing exacts on every 4 of 68 points to ramp up precision
1.424 * * * * [points]: Setting MPFR precision to 64
1.426 * * * * [points]: Setting MPFR precision to 320
1.428 * * * * [points]: Computing exacts on every 2 of 68 points to ramp up precision
1.435 * * * * [points]: Setting MPFR precision to 64
1.437 * * * * [points]: Setting MPFR precision to 320
1.439 * * * * [points]: Computing exacts for 68 points
1.442 * * * * [points]: Setting MPFR precision to 64
1.448 * * * * [points]: Setting MPFR precision to 320
1.453 * * * * [points]: Filtering points with unrepresentable outputs
1.453 * * * * [points]: Sampling 61 additional inputs, on iter 11 have 195 / 256
1.453 * * * * [points]: Computing exacts on every 3 of 61 points to ramp up precision
1.458 * * * * [points]: Setting MPFR precision to 64
1.459 * * * * [points]: Setting MPFR precision to 320
1.460 * * * * [points]: Computing exacts for 61 points
1.482 * * * * [points]: Setting MPFR precision to 64
1.487 * * * * [points]: Setting MPFR precision to 320
1.491 * * * * [points]: Filtering points with unrepresentable outputs
1.492 * * * * [points]: Sampling 55 additional inputs, on iter 12 have 201 / 256
1.493 * * * * [points]: Computing exacts on every 3 of 55 points to ramp up precision
1.497 * * * * [points]: Setting MPFR precision to 64
1.498 * * * * [points]: Setting MPFR precision to 320
1.499 * * * * [points]: Computing exacts for 55 points
1.503 * * * * [points]: Setting MPFR precision to 64
1.507 * * * * [points]: Setting MPFR precision to 320
1.511 * * * * [points]: Filtering points with unrepresentable outputs
1.511 * * * * [points]: Sampling 47 additional inputs, on iter 13 have 209 / 256
1.511 * * * * [points]: Computing exacts on every 2 of 47 points to ramp up precision
1.516 * * * * [points]: Setting MPFR precision to 64
1.517 * * * * [points]: Setting MPFR precision to 320
1.518 * * * * [points]: Computing exacts for 47 points
1.522 * * * * [points]: Setting MPFR precision to 64
1.525 * * * * [points]: Setting MPFR precision to 320
1.529 * * * * [points]: Filtering points with unrepresentable outputs
1.529 * * * * [points]: Sampling 41 additional inputs, on iter 14 have 215 / 256
1.529 * * * * [points]: Computing exacts on every 2 of 41 points to ramp up precision
1.534 * * * * [points]: Setting MPFR precision to 64
1.535 * * * * [points]: Setting MPFR precision to 320
1.536 * * * * [points]: Computing exacts for 41 points
1.541 * * * * [points]: Setting MPFR precision to 64
1.544 * * * * [points]: Setting MPFR precision to 320
1.547 * * * * [points]: Filtering points with unrepresentable outputs
1.548 * * * * [points]: Sampling 38 additional inputs, on iter 15 have 218 / 256
1.548 * * * * [points]: Computing exacts on every 2 of 38 points to ramp up precision
1.551 * * * * [points]: Setting MPFR precision to 64
1.553 * * * * [points]: Setting MPFR precision to 320
1.553 * * * * [points]: Computing exacts for 38 points
1.557 * * * * [points]: Setting MPFR precision to 64
1.560 * * * * [points]: Setting MPFR precision to 320
1.563 * * * * [points]: Filtering points with unrepresentable outputs
1.563 * * * * [points]: Sampling 33 additional inputs, on iter 16 have 223 / 256
1.563 * * * * [points]: Computing exacts on every 2 of 33 points to ramp up precision
1.567 * * * * [points]: Setting MPFR precision to 64
1.568 * * * * [points]: Setting MPFR precision to 320
1.569 * * * * [points]: Computing exacts for 33 points
1.572 * * * * [points]: Setting MPFR precision to 64
1.575 * * * * [points]: Setting MPFR precision to 320
1.594 * * * * [points]: Filtering points with unrepresentable outputs
1.594 * * * * [points]: Sampling 29 additional inputs, on iter 17 have 227 / 256
1.595 * * * * [points]: Computing exacts for 29 points
1.602 * * * * [points]: Setting MPFR precision to 64
1.606 * * * * [points]: Setting MPFR precision to 320
1.610 * * * * [points]: Filtering points with unrepresentable outputs
1.610 * * * * [points]: Sampling 27 additional inputs, on iter 18 have 229 / 256
1.610 * * * * [points]: Computing exacts for 27 points
1.616 * * * * [points]: Setting MPFR precision to 64
1.618 * * * * [points]: Setting MPFR precision to 320
1.620 * * * * [points]: Filtering points with unrepresentable outputs
1.620 * * * * [points]: Sampling 25 additional inputs, on iter 19 have 231 / 256
1.621 * * * * [points]: Computing exacts for 25 points
1.624 * * * * [points]: Setting MPFR precision to 64
1.626 * * * * [points]: Setting MPFR precision to 320
1.628 * * * * [points]: Filtering points with unrepresentable outputs
1.628 * * * * [points]: Sampling 23 additional inputs, on iter 20 have 233 / 256
1.628 * * * * [points]: Computing exacts for 23 points
1.633 * * * * [points]: Setting MPFR precision to 64
1.635 * * * * [points]: Setting MPFR precision to 320
1.637 * * * * [points]: Filtering points with unrepresentable outputs
1.637 * * * * [points]: Sampling 22 additional inputs, on iter 21 have 234 / 256
1.637 * * * * [points]: Computing exacts for 22 points
1.640 * * * * [points]: Setting MPFR precision to 64
1.642 * * * * [points]: Setting MPFR precision to 320
1.644 * * * * [points]: Filtering points with unrepresentable outputs
1.644 * * * * [points]: Sampling 17 additional inputs, on iter 22 have 239 / 256
1.644 * * * * [points]: Computing exacts for 17 points
1.647 * * * * [points]: Setting MPFR precision to 64
1.649 * * * * [points]: Setting MPFR precision to 320
1.650 * * * * [points]: Filtering points with unrepresentable outputs
1.650 * * * * [points]: Sampling 15 additional inputs, on iter 23 have 241 / 256
1.650 * * * * [points]: Computing exacts for 15 points
1.654 * * * * [points]: Setting MPFR precision to 64
1.655 * * * * [points]: Setting MPFR precision to 320
1.656 * * * * [points]: Filtering points with unrepresentable outputs
1.656 * * * * [points]: Sampling 14 additional inputs, on iter 24 have 242 / 256
1.656 * * * * [points]: Computing exacts for 14 points
1.660 * * * * [points]: Setting MPFR precision to 64
1.661 * * * * [points]: Setting MPFR precision to 320
1.662 * * * * [points]: Filtering points with unrepresentable outputs
1.662 * * * * [points]: Sampling 13 additional inputs, on iter 25 have 243 / 256
1.662 * * * * [points]: Computing exacts for 13 points
1.666 * * * * [points]: Setting MPFR precision to 64
1.667 * * * * [points]: Setting MPFR precision to 320
1.668 * * * * [points]: Filtering points with unrepresentable outputs
1.668 * * * * [points]: Sampling 12 additional inputs, on iter 26 have 244 / 256
1.668 * * * * [points]: Computing exacts for 12 points
1.672 * * * * [points]: Setting MPFR precision to 64
1.673 * * * * [points]: Setting MPFR precision to 320
1.674 * * * * [points]: Filtering points with unrepresentable outputs
1.674 * * * * [points]: Sampling 11 additional inputs, on iter 27 have 245 / 256
1.674 * * * * [points]: Computing exacts for 11 points
1.677 * * * * [points]: Setting MPFR precision to 64
1.678 * * * * [points]: Setting MPFR precision to 320
1.679 * * * * [points]: Filtering points with unrepresentable outputs
1.679 * * * * [points]: Sampling 9 additional inputs, on iter 28 have 247 / 256
1.679 * * * * [points]: Computing exacts for 9 points
1.683 * * * * [points]: Setting MPFR precision to 64
1.684 * * * * [points]: Setting MPFR precision to 320
1.684 * * * * [points]: Filtering points with unrepresentable outputs
1.684 * * * * [points]: Sampling 7 additional inputs, on iter 29 have 249 / 256
1.684 * * * * [points]: Computing exacts for 7 points
1.699 * * * * [points]: Setting MPFR precision to 64
1.700 * * * * [points]: Setting MPFR precision to 320
1.701 * * * * [points]: Filtering points with unrepresentable outputs
1.701 * * * * [points]: Sampling 7 additional inputs, on iter 30 have 249 / 256
1.701 * * * * [points]: Computing exacts for 7 points
1.706 * * * * [points]: Setting MPFR precision to 64
1.706 * * * * [points]: Setting MPFR precision to 320
1.707 * * * * [points]: Filtering points with unrepresentable outputs
1.707 * * * * [points]: Sampling 5 additional inputs, on iter 31 have 251 / 256
1.707 * * * * [points]: Computing exacts for 5 points
1.711 * * * * [points]: Setting MPFR precision to 64
1.711 * * * * [points]: Setting MPFR precision to 320
1.712 * * * * [points]: Filtering points with unrepresentable outputs
1.712 * * * * [points]: Sampling 4 additional inputs, on iter 32 have 252 / 256
1.712 * * * * [points]: Computing exacts for 4 points
1.715 * * * * [points]: Setting MPFR precision to 64
1.716 * * * * [points]: Setting MPFR precision to 320
1.716 * * * * [points]: Filtering points with unrepresentable outputs
1.716 * * * * [points]: Sampling 4 additional inputs, on iter 33 have 253 / 256
1.716 * * * * [points]: Computing exacts for 4 points
1.720 * * * * [points]: Setting MPFR precision to 64
1.720 * * * * [points]: Setting MPFR precision to 320
1.721 * * * * [points]: Filtering points with unrepresentable outputs
1.721 * * * * [points]: Sampling 4 additional inputs, on iter 34 have 253 / 256
1.721 * * * * [points]: Computing exacts for 4 points
1.724 * * * * [points]: Setting MPFR precision to 64
1.725 * * * * [points]: Setting MPFR precision to 320
1.725 * * * * [points]: Filtering points with unrepresentable outputs
1.725 * * * * [points]: Sampling 4 additional inputs, on iter 35 have 253 / 256
1.725 * * * * [points]: Computing exacts for 4 points
1.729 * * * * [points]: Setting MPFR precision to 64
1.729 * * * * [points]: Setting MPFR precision to 320
1.729 * * * * [points]: Filtering points with unrepresentable outputs
1.729 * * * * [points]: Sampling 4 additional inputs, on iter 36 have 253 / 256
1.730 * * * * [points]: Computing exacts for 4 points
1.733 * * * * [points]: Setting MPFR precision to 64
1.733 * * * * [points]: Setting MPFR precision to 320
1.734 * * * * [points]: Filtering points with unrepresentable outputs
1.734 * * * * [points]: Sampling 4 additional inputs, on iter 37 have 254 / 256
1.734 * * * * [points]: Computing exacts for 4 points
1.737 * * * * [points]: Setting MPFR precision to 64
1.738 * * * * [points]: Setting MPFR precision to 320
1.738 * * * * [points]: Filtering points with unrepresentable outputs
1.738 * * * * [points]: Sampling 4 additional inputs, on iter 38 have 254 / 256
1.738 * * * * [points]: Computing exacts for 4 points
1.743 * * * * [points]: Setting MPFR precision to 64
1.743 * * * * [points]: Setting MPFR precision to 320
1.743 * * * * [points]: Filtering points with unrepresentable outputs
1.743 * * * * [points]: Sampling 4 additional inputs, on iter 39 have 254 / 256
1.744 * * * * [points]: Computing exacts for 4 points
1.747 * * * * [points]: Setting MPFR precision to 64
1.748 * * * * [points]: Setting MPFR precision to 320
1.748 * * * * [points]: Filtering points with unrepresentable outputs
1.748 * * * * [points]: Sampling 4 additional inputs, on iter 40 have 254 / 256
1.748 * * * * [points]: Computing exacts for 4 points
1.752 * * * * [points]: Setting MPFR precision to 64
1.752 * * * * [points]: Setting MPFR precision to 320
1.753 * * * * [points]: Filtering points with unrepresentable outputs
1.753 * * * * [points]: Sampling 4 additional inputs, on iter 41 have 255 / 256
1.753 * * * * [points]: Computing exacts for 4 points
1.757 * * * * [points]: Setting MPFR precision to 64
1.757 * * * * [points]: Setting MPFR precision to 320
1.757 * * * * [points]: Filtering points with unrepresentable outputs
1.757 * * * * [points]: Sampled 256 points with exact outputs
1.757 * * * [progress]: [2/2] Setting up program.
1.770 * [progress]: [Phase 2 of 3] Improving.
1.770 * * * * [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.771 * [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.771 * * [simplify]: iteration 1: (15 enodes)
1.784 * * [simplify]: iteration 2: (54 enodes)
1.802 * * [simplify]: iteration 3: (174 enodes)
1.878 * * [simplify]: iteration 4: (1021 enodes)
3.615 * * [simplify]: Extracting #0: cost 1 inf + 0
3.615 * * [simplify]: Extracting #1: cost 2 inf + 0
3.615 * * [simplify]: Extracting #2: cost 174 inf + 0
3.622 * * [simplify]: Extracting #3: cost 1342 inf + 0
3.638 * * [simplify]: Extracting #4: cost 2271 inf + 691
3.663 * * [simplify]: Extracting #5: cost 2231 inf + 82476
3.797 * * [simplify]: Extracting #6: cost 1375 inf + 1509565
4.113 * * [simplify]: Extracting #7: cost 86 inf + 4121745
4.506 * * [simplify]: Extracting #8: cost 0 inf + 3944289
4.990 * * [simplify]: Extracting #9: cost 0 inf + 3923289
5.416 * [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.437 * * [progress]: iteration 1 / 4
5.437 * * * [progress]: picking best candidate
5.450 * * * * [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.450 * * * [progress]: localizing error
5.846 * * * [progress]: generating rewritten candidates
5.846 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2)
5.886 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
5.917 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 2)
5.943 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
5.988 * * * [progress]: generating series expansions
5.988 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2)
5.989 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
5.989 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 2)
5.989 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
5.989 * * * [progress]: simplifying candidates
5.989 * * * * [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.989 * * * * [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.989 * * * * [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)) 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.989 * * * * [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 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.989 * * * * [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)) (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.989 * * * * [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 (+.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.989 * * * * [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.989 * * * * [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.989 * * * * [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.989 * * * * [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.989 * * * * [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.989 * * * * [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.989 * * * * [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.989 * * * * [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.989 * * * * [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.989 * * * * [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.989 * * * * [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.990 * [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 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)
  (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)
  (*.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.990 * * [simplify]: iteration 1: (38 enodes)
5.998 * * [simplify]: iteration 2: (114 enodes)
6.039 * * [simplify]: iteration 3: (465 enodes)
6.545 * * [simplify]: Extracting #0: cost 16 inf + 0
6.546 * * [simplify]: Extracting #1: cost 245 inf + 0
6.549 * * [simplify]: Extracting #2: cost 837 inf + 1610
6.553 * * [simplify]: Extracting #3: cost 1020 inf + 16624
6.568 * * [simplify]: Extracting #4: cost 775 inf + 340595
6.688 * * [simplify]: Extracting #5: cost 128 inf + 1380887
6.853 * * [simplify]: Extracting #6: cost 0 inf + 1588039
7.010 * [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 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)))
  (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)
  (*.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 c (+.p16 a b)) (real->posit16 2)) b) (*.p16 (*.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) (-.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 (+.p16 c (+.p16 a b)) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) a) (+.p16 c (+.p16 a b))))
  (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))))
7.012 * * * [progress]: adding candidates to table
7.897 * * [progress]: iteration 2 / 4
7.897 * * * [progress]: picking best candidate
7.974 * * * * [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 (+.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.974 * * * [progress]: localizing error
8.395 * * * [progress]: generating rewritten candidates
8.395 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
8.521 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2)
8.547 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1)
8.550 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2)
8.593 * * * [progress]: generating series expansions
8.593 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
8.593 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2)
8.593 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1)
8.593 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2)
8.593 * * * [progress]: simplifying candidates
8.593 * * * * [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 a b) c) (real->posit16 2)) b)) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))))>
8.593 * * * * [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 a b) c) (real->posit16 2)) b)) (/.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 c c) (*.p16 c c))) (*.p16 (+.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 c c)))))))>
8.593 * * * * [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 a b) c) (real->posit16 2)) (neg.p16 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)))))>
8.593 * * * * [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))) (*.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)))))>
8.593 * * * * [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 a b) c) (real->posit16 2)) b)) (/.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
8.593 * * * * [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)) 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))) (neg.p16 (*.p16 c c))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
8.594 * * * * [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 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.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 c c) (*.p16 c 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)))))>
8.594 * * * * [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)) (neg.p16 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)))))>
8.594 * * * * [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 (+.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 (+.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)))))>
8.594 * * * * [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 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)))))>
8.594 * * * * [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 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)))))>
8.594 * * * * [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 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)))))>
8.594 * * * * [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 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)))))>
8.595 * [simplify]: Simplifying:
  (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
  (*.p16 (+.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 c c)))
  (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)
  (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
  (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
  (neg.p16 (*.p16 c c))
  (-.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 c c) (*.p16 c c)))
  (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c))
  (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)
  (-.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 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 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 c c))
  (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
8.596 * * [simplify]: iteration 1: (28 enodes)
8.610 * * [simplify]: iteration 2: (92 enodes)
8.648 * * [simplify]: iteration 3: (269 enodes)
8.793 * * [simplify]: iteration 4: (1093 enodes)
10.166 * * [simplify]: Extracting #0: cost 14 inf + 0
10.168 * * [simplify]: Extracting #1: cost 328 inf + 0
10.176 * * [simplify]: Extracting #2: cost 1346 inf + 2891
10.205 * * [simplify]: Extracting #3: cost 1849 inf + 16194
10.226 * * [simplify]: Extracting #4: cost 2002 inf + 91347
10.263 * * [simplify]: Extracting #5: cost 1825 inf + 298651
10.429 * * [simplify]: Extracting #6: cost 989 inf + 1846286
10.822 * * [simplify]: Extracting #7: cost 64 inf + 3886679
11.181 * * [simplify]: Extracting #8: cost 0 inf + 4033466
11.675 * [simplify]: Simplified to:
  (/.p16 (+.p16 c (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2))) (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) c))
  (*.p16 (+.p16 c (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2))) (+.p16 (*.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2))) (*.p16 c c)))
  (neg.p16 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 c (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)))
  (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) c)
  (neg.p16 (*.p16 c c))
  (*.p16 (-.p16 (*.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2))) (*.p16 c c)) (+.p16 (*.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2))) (*.p16 c c)))
  (+.p16 (*.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2))) (*.p16 c c))
  (neg.p16 a)
  (*.p16 (+.p16 a (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2))) (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) a))
  (+.p16 a (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)))
  (*.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 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 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 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)))
11.679 * * * [progress]: adding candidates to table
12.285 * * [progress]: iteration 3 / 4
12.285 * * * [progress]: picking best candidate
12.377 * * * * [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)) 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)))))>
12.378 * * * [progress]: localizing error
12.860 * * * [progress]: generating rewritten candidates
12.860 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 2)
12.922 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
13.014 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
13.040 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1)
13.043 * * * [progress]: generating series expansions
13.043 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 2)
13.043 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
13.043 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
13.043 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1)
13.043 * * * [progress]: simplifying candidates
13.043 * * * * [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 (+.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)) 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)))))>
13.044 * * * * [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 (/.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)) 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 (+.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)))))>
13.044 * * * * [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 (+.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 (+.p16 a b) c) (real->posit16 2)) c) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))))>
13.044 * * * * [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 (+.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 (/.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 c c) (*.p16 c c))) (*.p16 (+.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 c c)))))))>
13.044 * * * * [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 (+.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)) (neg.p16 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)))))>
13.044 * * * * [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 (+.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 (+.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)))))>
13.044 * * * * [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 a b) c) (real->posit16 2)) b)) (/.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
13.044 * * * * [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 (+.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 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (neg.p16 (*.p16 c c))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
13.044 * * * * [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 (+.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 (*.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 c c) (*.p16 c 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)))))>
13.044 * * * * [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 (+.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 (+.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)))))>
13.044 * * * * [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 (+.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 (+.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)))))>
13.044 * * * * [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 (+.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 (+.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)))))>
13.044 * * * * [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 (+.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 (+.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)))))>
13.044 * [simplify]: Simplifying:
  (/.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 (+.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)) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
  (*.p16 (+.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 c c)))
  (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)
  (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
  (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
  (neg.p16 (*.p16 c c))
  (-.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 c c) (*.p16 c 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 (+.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 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 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 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)
13.045 * * [simplify]: iteration 1: (30 enodes)
13.051 * * [simplify]: iteration 2: (101 enodes)
13.079 * * [simplify]: iteration 3: (300 enodes)
13.163 * * [simplify]: iteration 4: (1144 enodes)
14.391 * * [simplify]: Extracting #0: cost 14 inf + 0
14.391 * * [simplify]: Extracting #1: cost 205 inf + 0
14.393 * * [simplify]: Extracting #2: cost 840 inf + 1769
14.398 * * [simplify]: Extracting #3: cost 1378 inf + 11226
14.408 * * [simplify]: Extracting #4: cost 1594 inf + 73450
14.423 * * [simplify]: Extracting #5: cost 1455 inf + 225694
14.498 * * [simplify]: Extracting #6: cost 720 inf + 1413368
14.665 * * [simplify]: Extracting #7: cost 80 inf + 2737237
14.858 * * [simplify]: Extracting #8: cost 1 inf + 2898479
15.058 * * [simplify]: Extracting #9: cost 0 inf + 2894963
15.393 * [simplify]: Simplified to:
  (/.p16 (+.p16 a (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2))) (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) a))
  (*.p16 (+.p16 a (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2))) (+.p16 (*.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2))) (*.p16 a a)))
  (/.p16 (+.p16 c (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2))) (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) c))
  (*.p16 (+.p16 c (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2))) (+.p16 (*.p16 c c) (*.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)))))
  (neg.p16 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 c (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)))
  (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) c)
  (neg.p16 (*.p16 c c))
  (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2))) (*.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)))) (*.p16 (*.p16 c c) (*.p16 c c)))
  (+.p16 (*.p16 c c) (*.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2))))
  (*.p16 (+.p16 a (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2))) (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) a))
  (+.p16 a (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)))
  (*.p16 (+.p16 a (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2))) (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) a))
  (+.p16 a (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)))
  (*.p16 (+.p16 a (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2))) (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) a))
  (+.p16 a (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)))
  (*.p16 (+.p16 a (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2))) (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) a))
  (+.p16 a (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)))
15.396 * * * [progress]: adding candidates to table
15.954 * * [progress]: iteration 4 / 4
15.954 * * * [progress]: picking best candidate
16.032 * * * * [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)) 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)))))>
16.032 * * * [progress]: localizing error
16.798 * * * [progress]: generating rewritten candidates
16.798 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 2)
16.859 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
16.918 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
17.015 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1)
17.021 * * * [progress]: generating series expansions
17.021 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 2)
17.022 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
17.022 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
17.022 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1)
17.022 * * * [progress]: simplifying candidates
17.022 * * * * [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 (+.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)) 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)))))>
17.022 * * * * [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 (/.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)) 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 (+.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)))))>
17.022 * * * * [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 (+.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 (+.p16 a b) c) (real->posit16 2)) c) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))))>
17.022 * * * * [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 (+.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 (/.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 c c) (*.p16 c c))) (*.p16 (+.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 c c)))))))>
17.022 * * * * [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 (+.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 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 (+.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)))))>
17.022 * * * * [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 (+.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 (+.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 (+.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)))))>
17.022 * * * * [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)) 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 (+.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)))))>
17.023 * * * * [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 (+.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))) (neg.p16 (*.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)))))>
17.023 * * * * [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 (+.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 (+.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 (+.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)))))>
17.023 * * * * [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 (+.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 (+.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)))))>
17.023 * * * * [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 (+.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 (+.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)))))>
17.023 * * * * [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 (+.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 (+.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)))))>
17.023 * * * * [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 (+.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 (+.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)))))>
17.024 * [simplify]: Simplifying:
  (/.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 (+.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)) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
  (*.p16 (+.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 c c)))
  (/.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))
  (-.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)
17.024 * * [simplify]: iteration 1: (32 enodes)
17.038 * * [simplify]: iteration 2: (104 enodes)
17.079 * * [simplify]: iteration 3: (347 enodes)
17.279 * * [simplify]: iteration 4: (1408 enodes)
19.434 * * [simplify]: Extracting #0: cost 12 inf + 0
19.435 * * [simplify]: Extracting #1: cost 322 inf + 0
19.442 * * [simplify]: Extracting #2: cost 1257 inf + 1445
19.458 * * [simplify]: Extracting #3: cost 1962 inf + 8425
19.482 * * [simplify]: Extracting #4: cost 2188 inf + 59132
19.510 * * [simplify]: Extracting #5: cost 1876 inf + 492998
19.694 * * [simplify]: Extracting #6: cost 804 inf + 2795819
20.015 * * [simplify]: Extracting #7: cost 51 inf + 4325721
20.469 * * [simplify]: Extracting #8: cost 0 inf + 4247704
21.006 * * [simplify]: Extracting #9: cost 0 inf + 4241544
21.573 * [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)) a))
  (*.p16 (+.p16 a (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))) (+.p16 (*.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))) (*.p16 a a)))
  (/.p16 (+.p16 c (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))) (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) c))
  (*.p16 (+.p16 c (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))) (+.p16 (*.p16 c c) (*.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) (/.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)) b))
  (*.p16 (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b) (+.p16 (*.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))) (*.p16 b 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 (*.p16 b b))
  (*.p16 (-.p16 (*.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))) (*.p16 b b)) (+.p16 (*.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))) (*.p16 b b)))
  (+.p16 (*.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))) (*.p16 b 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)
  (*.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)
  (*.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)
  (*.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)
21.581 * * * [progress]: adding candidates to table
22.321 * [progress]: [Phase 3 of 3] Extracting.
22.321 * * [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 (+.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 (*.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 c c) (*.p16 c 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)))))> #<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 (+.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)))))> #<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 (+.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 (+.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)))))> #<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)))))> #<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))))> #<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))))>)
22.327 * * * [regime-changes]: Trying 3 branch expressions: (c b a)
22.327 * * * * [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 (+.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 (*.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 c c) (*.p16 c 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)))))> #<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 (+.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)))))> #<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 (+.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 (+.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)))))> #<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)))))> #<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))))> #<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))))>)
22.574 * * * * [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 (+.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 (*.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 c c) (*.p16 c 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)))))> #<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 (+.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)))))> #<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 (+.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 (+.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)))))> #<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)))))> #<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))))> #<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))))>)
22.773 * * * * [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 (+.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 (*.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 c c) (*.p16 c 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)))))> #<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 (+.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)))))> #<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 (+.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 (+.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)))))> #<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)))))> #<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))))> #<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))))>)
23.008 * * * [regime]: Found split indices: #<option (#s(si 3 256))>
23.008 * [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 (+.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))))
23.009 * * [simplify]: iteration 1: (19 enodes)
23.011 * * [simplify]: Extracting #0: cost 1 inf + 0
23.011 * * [simplify]: Extracting #1: cost 2 inf + 0
23.011 * * [simplify]: Extracting #2: cost 4 inf + 0
23.011 * * [simplify]: Extracting #3: cost 8 inf + 0
23.011 * * [simplify]: Extracting #4: cost 14 inf + 0
23.011 * * [simplify]: Extracting #5: cost 14 inf + 323
23.011 * * [simplify]: Extracting #6: cost 15 inf + 324
23.011 * * [simplify]: Extracting #7: cost 12 inf + 450
23.011 * * [simplify]: Extracting #8: cost 9 inf + 1539
23.011 * * [simplify]: Extracting #9: cost 2 inf + 8807
23.012 * * [simplify]: Extracting #10: cost 0 inf + 14535
23.012 * [simplify]: Simplified to:
  (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))))
23.012 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
23.062 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
23.070 * * * * [points]: Setting MPFR precision to 64
23.072 * * * * [points]: Setting MPFR precision to 320
23.074 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
23.082 * * * * [points]: Setting MPFR precision to 64
23.086 * * * * [points]: Setting MPFR precision to 320
23.090 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
23.097 * * * * [points]: Setting MPFR precision to 64
23.106 * * * * [points]: Setting MPFR precision to 320
23.115 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
23.123 * * * * [points]: Setting MPFR precision to 64
23.139 * * * * [points]: Setting MPFR precision to 320
23.155 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
23.159 * * * * [points]: Setting MPFR precision to 64
23.177 * * * * [points]: Setting MPFR precision to 320
23.241 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
23.249 * * * * [points]: Setting MPFR precision to 64
23.320 * * * * [points]: Setting MPFR precision to 320
23.359 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
23.363 * * * * [points]: Setting MPFR precision to 64
23.537 * * * * [points]: Setting MPFR precision to 320
23.723 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
23.734 * * * * [points]: Setting MPFR precision to 64
23.922 * * * * [points]: Setting MPFR precision to 320
24.111 * * * * [points]: Computing exacts for 8000 points
24.115 * * * * [points]: Setting MPFR precision to 64
24.900 * * * * [points]: Setting MPFR precision to 320
26.101 * * * * [points]: Filtering points with unrepresentable outputs
26.105 * * * * [points]: Sampling 6996 additional inputs, on iter 1 have 1004 / 8000
26.142 * * * * [points]: Computing exacts on every 437 of 6996 points to ramp up precision
26.146 * * * * [points]: Setting MPFR precision to 64
26.147 * * * * [points]: Setting MPFR precision to 320
26.148 * * * * [points]: Computing exacts on every 218 of 6996 points to ramp up precision
26.152 * * * * [points]: Setting MPFR precision to 64
26.154 * * * * [points]: Setting MPFR precision to 320
26.157 * * * * [points]: Computing exacts on every 109 of 6996 points to ramp up precision
26.160 * * * * [points]: Setting MPFR precision to 64
26.165 * * * * [points]: Setting MPFR precision to 320
26.172 * * * * [points]: Computing exacts on every 54 of 6996 points to ramp up precision
26.180 * * * * [points]: Setting MPFR precision to 64
26.197 * * * * [points]: Setting MPFR precision to 320
26.211 * * * * [points]: Computing exacts on every 27 of 6996 points to ramp up precision
26.235 * * * * [points]: Setting MPFR precision to 64
26.255 * * * * [points]: Setting MPFR precision to 320
26.273 * * * * [points]: Computing exacts on every 13 of 6996 points to ramp up precision
26.277 * * * * [points]: Setting MPFR precision to 64
26.316 * * * * [points]: Setting MPFR precision to 320
26.352 * * * * [points]: Computing exacts on every 6 of 6996 points to ramp up precision
26.388 * * * * [points]: Setting MPFR precision to 64
26.511 * * * * [points]: Setting MPFR precision to 320
26.623 * * * * [points]: Computing exacts on every 3 of 6996 points to ramp up precision
26.627 * * * * [points]: Setting MPFR precision to 64
26.900 * * * * [points]: Setting MPFR precision to 320
27.129 * * * * [points]: Computing exacts for 6996 points
27.133 * * * * [points]: Setting MPFR precision to 64
27.940 * * * * [points]: Setting MPFR precision to 320
29.476 * * * * [points]: Filtering points with unrepresentable outputs
29.479 * * * * [points]: Sampling 6129 additional inputs, on iter 2 have 1871 / 8000
29.551 * * * * [points]: Computing exacts on every 383 of 6129 points to ramp up precision
29.563 * * * * [points]: Setting MPFR precision to 64
29.566 * * * * [points]: Setting MPFR precision to 320
29.568 * * * * [points]: Computing exacts on every 191 of 6129 points to ramp up precision
29.575 * * * * [points]: Setting MPFR precision to 64
29.580 * * * * [points]: Setting MPFR precision to 320
29.584 * * * * [points]: Computing exacts on every 95 of 6129 points to ramp up precision
29.592 * * * * [points]: Setting MPFR precision to 64
29.601 * * * * [points]: Setting MPFR precision to 320
29.610 * * * * [points]: Computing exacts on every 47 of 6129 points to ramp up precision
29.619 * * * * [points]: Setting MPFR precision to 64
29.636 * * * * [points]: Setting MPFR precision to 320
29.655 * * * * [points]: Computing exacts on every 23 of 6129 points to ramp up precision
29.662 * * * * [points]: Setting MPFR precision to 64
29.682 * * * * [points]: Setting MPFR precision to 320
29.702 * * * * [points]: Computing exacts on every 11 of 6129 points to ramp up precision
29.706 * * * * [points]: Setting MPFR precision to 64
29.768 * * * * [points]: Setting MPFR precision to 320
29.806 * * * * [points]: Computing exacts on every 5 of 6129 points to ramp up precision
29.810 * * * * [points]: Setting MPFR precision to 64
29.918 * * * * [points]: Setting MPFR precision to 320
30.004 * * * * [points]: Computing exacts on every 2 of 6129 points to ramp up precision
30.044 * * * * [points]: Setting MPFR precision to 64
30.269 * * * * [points]: Setting MPFR precision to 320
30.540 * * * * [points]: Computing exacts for 6129 points
30.547 * * * * [points]: Setting MPFR precision to 64
31.423 * * * * [points]: Setting MPFR precision to 320
32.466 * * * * [points]: Filtering points with unrepresentable outputs
32.472 * * * * [points]: Sampling 5330 additional inputs, on iter 3 have 2670 / 8000
32.512 * * * * [points]: Computing exacts on every 333 of 5330 points to ramp up precision
32.520 * * * * [points]: Setting MPFR precision to 64
32.522 * * * * [points]: Setting MPFR precision to 320
32.524 * * * * [points]: Computing exacts on every 166 of 5330 points to ramp up precision
32.531 * * * * [points]: Setting MPFR precision to 64
32.534 * * * * [points]: Setting MPFR precision to 320
32.538 * * * * [points]: Computing exacts on every 83 of 5330 points to ramp up precision
32.576 * * * * [points]: Setting MPFR precision to 64
32.587 * * * * [points]: Setting MPFR precision to 320
32.595 * * * * [points]: Computing exacts on every 41 of 5330 points to ramp up precision
32.602 * * * * [points]: Setting MPFR precision to 64
32.619 * * * * [points]: Setting MPFR precision to 320
32.636 * * * * [points]: Computing exacts on every 20 of 5330 points to ramp up precision
32.640 * * * * [points]: Setting MPFR precision to 64
32.658 * * * * [points]: Setting MPFR precision to 320
32.691 * * * * [points]: Computing exacts on every 10 of 5330 points to ramp up precision
32.695 * * * * [points]: Setting MPFR precision to 64
32.766 * * * * [points]: Setting MPFR precision to 320
32.804 * * * * [points]: Computing exacts on every 5 of 5330 points to ramp up precision
32.809 * * * * [points]: Setting MPFR precision to 64
32.912 * * * * [points]: Setting MPFR precision to 320
33.028 * * * * [points]: Computing exacts on every 2 of 5330 points to ramp up precision
33.032 * * * * [points]: Setting MPFR precision to 64
33.282 * * * * [points]: Setting MPFR precision to 320
33.560 * * * * [points]: Computing exacts for 5330 points
33.568 * * * * [points]: Setting MPFR precision to 64
34.374 * * * * [points]: Setting MPFR precision to 320
34.912 * * * * [points]: Filtering points with unrepresentable outputs
34.914 * * * * [points]: Sampling 4670 additional inputs, on iter 4 have 3330 / 8000
34.933 * * * * [points]: Computing exacts on every 291 of 4670 points to ramp up precision
34.937 * * * * [points]: Setting MPFR precision to 64
34.938 * * * * [points]: Setting MPFR precision to 320
34.940 * * * * [points]: Computing exacts on every 145 of 4670 points to ramp up precision
34.970 * * * * [points]: Setting MPFR precision to 64
34.972 * * * * [points]: Setting MPFR precision to 320
34.975 * * * * [points]: Computing exacts on every 72 of 4670 points to ramp up precision
34.980 * * * * [points]: Setting MPFR precision to 64
34.987 * * * * [points]: Setting MPFR precision to 320
34.991 * * * * [points]: Computing exacts on every 36 of 4670 points to ramp up precision
34.995 * * * * [points]: Setting MPFR precision to 64
35.006 * * * * [points]: Setting MPFR precision to 320
35.015 * * * * [points]: Computing exacts on every 18 of 4670 points to ramp up precision
35.019 * * * * [points]: Setting MPFR precision to 64
35.036 * * * * [points]: Setting MPFR precision to 320
35.053 * * * * [points]: Computing exacts on every 9 of 4670 points to ramp up precision
35.057 * * * * [points]: Setting MPFR precision to 64
35.119 * * * * [points]: Setting MPFR precision to 320
35.153 * * * * [points]: Computing exacts on every 4 of 4670 points to ramp up precision
35.157 * * * * [points]: Setting MPFR precision to 64
35.529 * * * * [points]: Setting MPFR precision to 320
35.599 * * * * [points]: Computing exacts on every 2 of 4670 points to ramp up precision
35.603 * * * * [points]: Setting MPFR precision to 64
35.748 * * * * [points]: Setting MPFR precision to 320
35.938 * * * * [points]: Computing exacts for 4670 points
35.943 * * * * [points]: Setting MPFR precision to 64
36.424 * * * * [points]: Setting MPFR precision to 320
36.905 * * * * [points]: Filtering points with unrepresentable outputs
36.907 * * * * [points]: Sampling 4080 additional inputs, on iter 5 have 3920 / 8000
36.938 * * * * [points]: Computing exacts on every 255 of 4080 points to ramp up precision
36.945 * * * * [points]: Setting MPFR precision to 64
36.947 * * * * [points]: Setting MPFR precision to 320
36.949 * * * * [points]: Computing exacts on every 127 of 4080 points to ramp up precision
36.958 * * * * [points]: Setting MPFR precision to 64
36.962 * * * * [points]: Setting MPFR precision to 320
37.011 * * * * [points]: Computing exacts on every 63 of 4080 points to ramp up precision
37.018 * * * * [points]: Setting MPFR precision to 64
37.030 * * * * [points]: Setting MPFR precision to 320
37.038 * * * * [points]: Computing exacts on every 31 of 4080 points to ramp up precision
37.045 * * * * [points]: Setting MPFR precision to 64
37.064 * * * * [points]: Setting MPFR precision to 320
37.082 * * * * [points]: Computing exacts on every 15 of 4080 points to ramp up precision
37.089 * * * * [points]: Setting MPFR precision to 64
37.124 * * * * [points]: Setting MPFR precision to 320
37.157 * * * * [points]: Computing exacts on every 7 of 4080 points to ramp up precision
37.165 * * * * [points]: Setting MPFR precision to 64
37.241 * * * * [points]: Setting MPFR precision to 320
37.279 * * * * [points]: Computing exacts on every 3 of 4080 points to ramp up precision
37.283 * * * * [points]: Setting MPFR precision to 64
37.386 * * * * [points]: Setting MPFR precision to 320
37.463 * * * * [points]: Computing exacts for 4080 points
37.467 * * * * [points]: Setting MPFR precision to 64
37.955 * * * * [points]: Setting MPFR precision to 320
38.949 * * * * [points]: Filtering points with unrepresentable outputs
38.957 * * * * [points]: Sampling 3560 additional inputs, on iter 6 have 4440 / 8000
38.984 * * * * [points]: Computing exacts on every 222 of 3560 points to ramp up precision
38.992 * * * * [points]: Setting MPFR precision to 64
38.994 * * * * [points]: Setting MPFR precision to 320
38.996 * * * * [points]: Computing exacts on every 111 of 3560 points to ramp up precision
39.004 * * * * [points]: Setting MPFR precision to 64
39.009 * * * * [points]: Setting MPFR precision to 320
39.014 * * * * [points]: Computing exacts on every 55 of 3560 points to ramp up precision
39.021 * * * * [points]: Setting MPFR precision to 64
39.029 * * * * [points]: Setting MPFR precision to 320
39.038 * * * * [points]: Computing exacts on every 27 of 3560 points to ramp up precision
39.045 * * * * [points]: Setting MPFR precision to 64
39.062 * * * * [points]: Setting MPFR precision to 320
39.079 * * * * [points]: Computing exacts on every 13 of 3560 points to ramp up precision
39.086 * * * * [points]: Setting MPFR precision to 64
39.119 * * * * [points]: Setting MPFR precision to 320
39.180 * * * * [points]: Computing exacts on every 6 of 3560 points to ramp up precision
39.189 * * * * [points]: Setting MPFR precision to 64
39.254 * * * * [points]: Setting MPFR precision to 320
39.317 * * * * [points]: Computing exacts on every 3 of 3560 points to ramp up precision
39.323 * * * * [points]: Setting MPFR precision to 64
39.456 * * * * [points]: Setting MPFR precision to 320
39.521 * * * * [points]: Computing exacts for 3560 points
39.525 * * * * [points]: Setting MPFR precision to 64
39.937 * * * * [points]: Setting MPFR precision to 320
40.387 * * * * [points]: Filtering points with unrepresentable outputs
40.389 * * * * [points]: Sampling 3107 additional inputs, on iter 7 have 4893 / 8000
40.411 * * * * [points]: Computing exacts on every 194 of 3107 points to ramp up precision
40.418 * * * * [points]: Setting MPFR precision to 64
40.420 * * * * [points]: Setting MPFR precision to 320
40.421 * * * * [points]: Computing exacts on every 97 of 3107 points to ramp up precision
40.425 * * * * [points]: Setting MPFR precision to 64
40.427 * * * * [points]: Setting MPFR precision to 320
40.429 * * * * [points]: Computing exacts on every 48 of 3107 points to ramp up precision
40.433 * * * * [points]: Setting MPFR precision to 64
40.438 * * * * [points]: Setting MPFR precision to 320
40.442 * * * * [points]: Computing exacts on every 24 of 3107 points to ramp up precision
40.446 * * * * [points]: Setting MPFR precision to 64
40.482 * * * * [points]: Setting MPFR precision to 320
40.493 * * * * [points]: Computing exacts on every 12 of 3107 points to ramp up precision
40.498 * * * * [points]: Setting MPFR precision to 64
40.515 * * * * [points]: Setting MPFR precision to 320
40.534 * * * * [points]: Computing exacts on every 6 of 3107 points to ramp up precision
40.538 * * * * [points]: Setting MPFR precision to 64
40.575 * * * * [points]: Setting MPFR precision to 320
40.659 * * * * [points]: Computing exacts on every 3 of 3107 points to ramp up precision
40.664 * * * * [points]: Setting MPFR precision to 64
40.721 * * * * [points]: Setting MPFR precision to 320
40.808 * * * * [points]: Computing exacts for 3107 points
40.812 * * * * [points]: Setting MPFR precision to 64
41.149 * * * * [points]: Setting MPFR precision to 320
41.777 * * * * [points]: Filtering points with unrepresentable outputs
41.780 * * * * [points]: Sampling 2709 additional inputs, on iter 8 have 5291 / 8000
41.801 * * * * [points]: Computing exacts on every 169 of 2709 points to ramp up precision
41.808 * * * * [points]: Setting MPFR precision to 64
41.810 * * * * [points]: Setting MPFR precision to 320
41.812 * * * * [points]: Computing exacts on every 84 of 2709 points to ramp up precision
41.819 * * * * [points]: Setting MPFR precision to 64
41.823 * * * * [points]: Setting MPFR precision to 320
41.827 * * * * [points]: Computing exacts on every 42 of 2709 points to ramp up precision
41.831 * * * * [points]: Setting MPFR precision to 64
41.836 * * * * [points]: Setting MPFR precision to 320
41.840 * * * * [points]: Computing exacts on every 21 of 2709 points to ramp up precision
41.844 * * * * [points]: Setting MPFR precision to 64
41.853 * * * * [points]: Setting MPFR precision to 320
41.862 * * * * [points]: Computing exacts on every 10 of 2709 points to ramp up precision
41.865 * * * * [points]: Setting MPFR precision to 64
41.883 * * * * [points]: Setting MPFR precision to 320
41.927 * * * * [points]: Computing exacts on every 5 of 2709 points to ramp up precision
41.932 * * * * [points]: Setting MPFR precision to 64
41.965 * * * * [points]: Setting MPFR precision to 320
41.997 * * * * [points]: Computing exacts on every 2 of 2709 points to ramp up precision
42.001 * * * * [points]: Setting MPFR precision to 64
42.095 * * * * [points]: Setting MPFR precision to 320
42.169 * * * * [points]: Computing exacts for 2709 points
42.173 * * * * [points]: Setting MPFR precision to 64
42.429 * * * * [points]: Setting MPFR precision to 320
42.688 * * * * [points]: Filtering points with unrepresentable outputs
42.689 * * * * [points]: Sampling 2372 additional inputs, on iter 9 have 5628 / 8000
42.699 * * * * [points]: Computing exacts on every 148 of 2372 points to ramp up precision
42.703 * * * * [points]: Setting MPFR precision to 64
42.704 * * * * [points]: Setting MPFR precision to 320
42.705 * * * * [points]: Computing exacts on every 74 of 2372 points to ramp up precision
42.709 * * * * [points]: Setting MPFR precision to 64
42.711 * * * * [points]: Setting MPFR precision to 320
42.713 * * * * [points]: Computing exacts on every 37 of 2372 points to ramp up precision
42.717 * * * * [points]: Setting MPFR precision to 64
42.721 * * * * [points]: Setting MPFR precision to 320
42.726 * * * * [points]: Computing exacts on every 18 of 2372 points to ramp up precision
42.729 * * * * [points]: Setting MPFR precision to 64
42.738 * * * * [points]: Setting MPFR precision to 320
42.775 * * * * [points]: Computing exacts on every 9 of 2372 points to ramp up precision
42.783 * * * * [points]: Setting MPFR precision to 64
42.808 * * * * [points]: Setting MPFR precision to 320
42.825 * * * * [points]: Computing exacts on every 4 of 2372 points to ramp up precision
42.828 * * * * [points]: Setting MPFR precision to 64
42.861 * * * * [points]: Setting MPFR precision to 320
42.927 * * * * [points]: Computing exacts on every 2 of 2372 points to ramp up precision
42.931 * * * * [points]: Setting MPFR precision to 64
43.003 * * * * [points]: Setting MPFR precision to 320
43.109 * * * * [points]: Computing exacts for 2372 points
43.114 * * * * [points]: Setting MPFR precision to 64
43.335 * * * * [points]: Setting MPFR precision to 320
43.583 * * * * [points]: Filtering points with unrepresentable outputs
43.589 * * * * [points]: Sampling 2067 additional inputs, on iter 10 have 5933 / 8000
43.602 * * * * [points]: Computing exacts on every 129 of 2067 points to ramp up precision
43.606 * * * * [points]: Setting MPFR precision to 64
43.607 * * * * [points]: Setting MPFR precision to 320
43.608 * * * * [points]: Computing exacts on every 64 of 2067 points to ramp up precision
43.612 * * * * [points]: Setting MPFR precision to 64
43.614 * * * * [points]: Setting MPFR precision to 320
43.616 * * * * [points]: Computing exacts on every 32 of 2067 points to ramp up precision
43.620 * * * * [points]: Setting MPFR precision to 64
43.624 * * * * [points]: Setting MPFR precision to 320
43.629 * * * * [points]: Computing exacts on every 16 of 2067 points to ramp up precision
43.632 * * * * [points]: Setting MPFR precision to 64
43.642 * * * * [points]: Setting MPFR precision to 320
43.650 * * * * [points]: Computing exacts on every 8 of 2067 points to ramp up precision
43.654 * * * * [points]: Setting MPFR precision to 64
43.669 * * * * [points]: Setting MPFR precision to 320
43.711 * * * * [points]: Computing exacts on every 4 of 2067 points to ramp up precision
43.715 * * * * [points]: Setting MPFR precision to 64
43.746 * * * * [points]: Setting MPFR precision to 320
43.776 * * * * [points]: Computing exacts on every 2 of 2067 points to ramp up precision
43.780 * * * * [points]: Setting MPFR precision to 64
43.860 * * * * [points]: Setting MPFR precision to 320
43.913 * * * * [points]: Computing exacts for 2067 points
43.917 * * * * [points]: Setting MPFR precision to 64
44.097 * * * * [points]: Setting MPFR precision to 320
44.623 * * * * [points]: Filtering points with unrepresentable outputs
44.624 * * * * [points]: Sampling 1851 additional inputs, on iter 11 have 6149 / 8000
44.632 * * * * [points]: Computing exacts on every 115 of 1851 points to ramp up precision
44.637 * * * * [points]: Setting MPFR precision to 64
44.638 * * * * [points]: Setting MPFR precision to 320
44.639 * * * * [points]: Computing exacts on every 57 of 1851 points to ramp up precision
44.643 * * * * [points]: Setting MPFR precision to 64
44.645 * * * * [points]: Setting MPFR precision to 320
44.647 * * * * [points]: Computing exacts on every 28 of 1851 points to ramp up precision
44.651 * * * * [points]: Setting MPFR precision to 64
44.656 * * * * [points]: Setting MPFR precision to 320
44.660 * * * * [points]: Computing exacts on every 14 of 1851 points to ramp up precision
44.665 * * * * [points]: Setting MPFR precision to 64
44.676 * * * * [points]: Setting MPFR precision to 320
44.685 * * * * [points]: Computing exacts on every 7 of 1851 points to ramp up precision
44.689 * * * * [points]: Setting MPFR precision to 64
44.705 * * * * [points]: Setting MPFR precision to 320
44.748 * * * * [points]: Computing exacts on every 3 of 1851 points to ramp up precision
44.752 * * * * [points]: Setting MPFR precision to 64
44.785 * * * * [points]: Setting MPFR precision to 320
44.821 * * * * [points]: Computing exacts for 1851 points
44.824 * * * * [points]: Setting MPFR precision to 64
44.985 * * * * [points]: Setting MPFR precision to 320
45.185 * * * * [points]: Filtering points with unrepresentable outputs
45.186 * * * * [points]: Sampling 1631 additional inputs, on iter 12 have 6369 / 8000
45.193 * * * * [points]: Computing exacts on every 101 of 1631 points to ramp up precision
45.200 * * * * [points]: Setting MPFR precision to 64
45.201 * * * * [points]: Setting MPFR precision to 320
45.202 * * * * [points]: Computing exacts on every 50 of 1631 points to ramp up precision
45.206 * * * * [points]: Setting MPFR precision to 64
45.208 * * * * [points]: Setting MPFR precision to 320
45.210 * * * * [points]: Computing exacts on every 25 of 1631 points to ramp up precision
45.214 * * * * [points]: Setting MPFR precision to 64
45.219 * * * * [points]: Setting MPFR precision to 320
45.223 * * * * [points]: Computing exacts on every 12 of 1631 points to ramp up precision
45.227 * * * * [points]: Setting MPFR precision to 64
45.236 * * * * [points]: Setting MPFR precision to 320
45.244 * * * * [points]: Computing exacts on every 6 of 1631 points to ramp up precision
45.248 * * * * [points]: Setting MPFR precision to 64
45.266 * * * * [points]: Setting MPFR precision to 320
45.306 * * * * [points]: Computing exacts on every 3 of 1631 points to ramp up precision
45.312 * * * * [points]: Setting MPFR precision to 64
45.344 * * * * [points]: Setting MPFR precision to 320
45.373 * * * * [points]: Computing exacts for 1631 points
45.377 * * * * [points]: Setting MPFR precision to 64
45.526 * * * * [points]: Setting MPFR precision to 320
45.680 * * * * [points]: Filtering points with unrepresentable outputs
45.680 * * * * [points]: Sampling 1419 additional inputs, on iter 13 have 6581 / 8000
45.686 * * * * [points]: Computing exacts on every 88 of 1419 points to ramp up precision
45.690 * * * * [points]: Setting MPFR precision to 64
45.692 * * * * [points]: Setting MPFR precision to 320
45.693 * * * * [points]: Computing exacts on every 44 of 1419 points to ramp up precision
45.697 * * * * [points]: Setting MPFR precision to 64
45.699 * * * * [points]: Setting MPFR precision to 320
45.702 * * * * [points]: Computing exacts on every 22 of 1419 points to ramp up precision
45.741 * * * * [points]: Setting MPFR precision to 64
45.746 * * * * [points]: Setting MPFR precision to 320
45.752 * * * * [points]: Computing exacts on every 11 of 1419 points to ramp up precision
45.756 * * * * [points]: Setting MPFR precision to 64
45.764 * * * * [points]: Setting MPFR precision to 320
45.773 * * * * [points]: Computing exacts on every 5 of 1419 points to ramp up precision
45.777 * * * * [points]: Setting MPFR precision to 64
45.793 * * * * [points]: Setting MPFR precision to 320
45.810 * * * * [points]: Computing exacts on every 2 of 1419 points to ramp up precision
45.814 * * * * [points]: Setting MPFR precision to 64
45.847 * * * * [points]: Setting MPFR precision to 320
45.914 * * * * [points]: Computing exacts for 1419 points
45.917 * * * * [points]: Setting MPFR precision to 64
46.053 * * * * [points]: Setting MPFR precision to 320
46.193 * * * * [points]: Filtering points with unrepresentable outputs
46.194 * * * * [points]: Sampling 1244 additional inputs, on iter 14 have 6756 / 8000
46.199 * * * * [points]: Computing exacts on every 77 of 1244 points to ramp up precision
46.203 * * * * [points]: Setting MPFR precision to 64
46.205 * * * * [points]: Setting MPFR precision to 320
46.206 * * * * [points]: Computing exacts on every 38 of 1244 points to ramp up precision
46.210 * * * * [points]: Setting MPFR precision to 64
46.212 * * * * [points]: Setting MPFR precision to 320
46.214 * * * * [points]: Computing exacts on every 19 of 1244 points to ramp up precision
46.218 * * * * [points]: Setting MPFR precision to 64
46.222 * * * * [points]: Setting MPFR precision to 320
46.227 * * * * [points]: Computing exacts on every 9 of 1244 points to ramp up precision
46.230 * * * * [points]: Setting MPFR precision to 64
46.240 * * * * [points]: Setting MPFR precision to 320
46.249 * * * * [points]: Computing exacts on every 4 of 1244 points to ramp up precision
46.253 * * * * [points]: Setting MPFR precision to 64
46.272 * * * * [points]: Setting MPFR precision to 320
46.316 * * * * [points]: Computing exacts on every 2 of 1244 points to ramp up precision
46.322 * * * * [points]: Setting MPFR precision to 64
46.351 * * * * [points]: Setting MPFR precision to 320
46.380 * * * * [points]: Computing exacts for 1244 points
46.384 * * * * [points]: Setting MPFR precision to 64
46.505 * * * * [points]: Setting MPFR precision to 320
46.633 * * * * [points]: Filtering points with unrepresentable outputs
46.633 * * * * [points]: Sampling 1077 additional inputs, on iter 15 have 6923 / 8000
46.638 * * * * [points]: Computing exacts on every 67 of 1077 points to ramp up precision
46.643 * * * * [points]: Setting MPFR precision to 64
46.644 * * * * [points]: Setting MPFR precision to 320
46.645 * * * * [points]: Computing exacts on every 33 of 1077 points to ramp up precision
46.649 * * * * [points]: Setting MPFR precision to 64
46.653 * * * * [points]: Setting MPFR precision to 320
46.655 * * * * [points]: Computing exacts on every 16 of 1077 points to ramp up precision
46.659 * * * * [points]: Setting MPFR precision to 64
46.665 * * * * [points]: Setting MPFR precision to 320
46.669 * * * * [points]: Computing exacts on every 8 of 1077 points to ramp up precision
46.673 * * * * [points]: Setting MPFR precision to 64
46.682 * * * * [points]: Setting MPFR precision to 320
46.692 * * * * [points]: Computing exacts on every 4 of 1077 points to ramp up precision
46.696 * * * * [points]: Setting MPFR precision to 64
47.045 * * * * [points]: Setting MPFR precision to 320
47.062 * * * * [points]: Computing exacts on every 2 of 1077 points to ramp up precision
47.066 * * * * [points]: Setting MPFR precision to 64
47.094 * * * * [points]: Setting MPFR precision to 320
47.120 * * * * [points]: Computing exacts for 1077 points
47.123 * * * * [points]: Setting MPFR precision to 64
47.230 * * * * [points]: Setting MPFR precision to 320
47.341 * * * * [points]: Filtering points with unrepresentable outputs
47.341 * * * * [points]: Sampling 949 additional inputs, on iter 16 have 7051 / 8000
47.345 * * * * [points]: Computing exacts on every 59 of 949 points to ramp up precision
47.351 * * * * [points]: Setting MPFR precision to 64
47.352 * * * * [points]: Setting MPFR precision to 320
47.354 * * * * [points]: Computing exacts on every 29 of 949 points to ramp up precision
47.357 * * * * [points]: Setting MPFR precision to 64
47.360 * * * * [points]: Setting MPFR precision to 320
47.362 * * * * [points]: Computing exacts on every 14 of 949 points to ramp up precision
47.365 * * * * [points]: Setting MPFR precision to 64
47.370 * * * * [points]: Setting MPFR precision to 320
47.374 * * * * [points]: Computing exacts on every 7 of 949 points to ramp up precision
47.378 * * * * [points]: Setting MPFR precision to 64
47.386 * * * * [points]: Setting MPFR precision to 320
47.395 * * * * [points]: Computing exacts on every 3 of 949 points to ramp up precision
47.399 * * * * [points]: Setting MPFR precision to 64
47.415 * * * * [points]: Setting MPFR precision to 320
47.431 * * * * [points]: Computing exacts for 949 points
47.460 * * * * [points]: Setting MPFR precision to 64
47.527 * * * * [points]: Setting MPFR precision to 320
47.627 * * * * [points]: Filtering points with unrepresentable outputs
47.628 * * * * [points]: Sampling 839 additional inputs, on iter 17 have 7161 / 8000
47.631 * * * * [points]: Computing exacts on every 52 of 839 points to ramp up precision
47.635 * * * * [points]: Setting MPFR precision to 64
47.636 * * * * [points]: Setting MPFR precision to 320
47.638 * * * * [points]: Computing exacts on every 26 of 839 points to ramp up precision
47.641 * * * * [points]: Setting MPFR precision to 64
47.643 * * * * [points]: Setting MPFR precision to 320
47.645 * * * * [points]: Computing exacts on every 13 of 839 points to ramp up precision
47.649 * * * * [points]: Setting MPFR precision to 64
47.653 * * * * [points]: Setting MPFR precision to 320
47.657 * * * * [points]: Computing exacts on every 6 of 839 points to ramp up precision
47.661 * * * * [points]: Setting MPFR precision to 64
47.669 * * * * [points]: Setting MPFR precision to 320
47.677 * * * * [points]: Computing exacts on every 3 of 839 points to ramp up precision
47.681 * * * * [points]: Setting MPFR precision to 64
47.695 * * * * [points]: Setting MPFR precision to 320
47.736 * * * * [points]: Computing exacts for 839 points
47.740 * * * * [points]: Setting MPFR precision to 64
47.797 * * * * [points]: Setting MPFR precision to 320
47.888 * * * * [points]: Filtering points with unrepresentable outputs
47.889 * * * * [points]: Sampling 717 additional inputs, on iter 18 have 7283 / 8000
47.892 * * * * [points]: Computing exacts on every 44 of 717 points to ramp up precision
47.896 * * * * [points]: Setting MPFR precision to 64
47.897 * * * * [points]: Setting MPFR precision to 320
47.898 * * * * [points]: Computing exacts on every 22 of 717 points to ramp up precision
47.901 * * * * [points]: Setting MPFR precision to 64
47.904 * * * * [points]: Setting MPFR precision to 320
47.906 * * * * [points]: Computing exacts on every 11 of 717 points to ramp up precision
47.909 * * * * [points]: Setting MPFR precision to 64
47.913 * * * * [points]: Setting MPFR precision to 320
47.918 * * * * [points]: Computing exacts on every 5 of 717 points to ramp up precision
47.921 * * * * [points]: Setting MPFR precision to 64
47.929 * * * * [points]: Setting MPFR precision to 320
47.937 * * * * [points]: Computing exacts on every 2 of 717 points to ramp up precision
47.941 * * * * [points]: Setting MPFR precision to 64
47.958 * * * * [points]: Setting MPFR precision to 320
47.999 * * * * [points]: Computing exacts for 717 points
48.002 * * * * [points]: Setting MPFR precision to 64
48.051 * * * * [points]: Setting MPFR precision to 320
48.130 * * * * [points]: Filtering points with unrepresentable outputs
48.131 * * * * [points]: Sampling 631 additional inputs, on iter 19 have 7369 / 8000
48.133 * * * * [points]: Computing exacts on every 39 of 631 points to ramp up precision
48.137 * * * * [points]: Setting MPFR precision to 64
48.138 * * * * [points]: Setting MPFR precision to 320
48.139 * * * * [points]: Computing exacts on every 19 of 631 points to ramp up precision
48.145 * * * * [points]: Setting MPFR precision to 64
48.147 * * * * [points]: Setting MPFR precision to 320
48.149 * * * * [points]: Computing exacts on every 9 of 631 points to ramp up precision
48.153 * * * * [points]: Setting MPFR precision to 64
48.157 * * * * [points]: Setting MPFR precision to 320
48.162 * * * * [points]: Computing exacts on every 4 of 631 points to ramp up precision
48.165 * * * * [points]: Setting MPFR precision to 64
48.174 * * * * [points]: Setting MPFR precision to 320
48.182 * * * * [points]: Computing exacts on every 2 of 631 points to ramp up precision
48.186 * * * * [points]: Setting MPFR precision to 64
48.200 * * * * [points]: Setting MPFR precision to 320
48.216 * * * * [points]: Computing exacts for 631 points
48.220 * * * * [points]: Setting MPFR precision to 64
48.286 * * * * [points]: Setting MPFR precision to 320
48.330 * * * * [points]: Filtering points with unrepresentable outputs
48.331 * * * * [points]: Sampling 554 additional inputs, on iter 20 have 7446 / 8000
48.333 * * * * [points]: Computing exacts on every 34 of 554 points to ramp up precision
48.337 * * * * [points]: Setting MPFR precision to 64
48.339 * * * * [points]: Setting MPFR precision to 320
48.340 * * * * [points]: Computing exacts on every 17 of 554 points to ramp up precision
48.344 * * * * [points]: Setting MPFR precision to 64
48.346 * * * * [points]: Setting MPFR precision to 320
48.348 * * * * [points]: Computing exacts on every 8 of 554 points to ramp up precision
48.351 * * * * [points]: Setting MPFR precision to 64
48.384 * * * * [points]: Setting MPFR precision to 320
48.388 * * * * [points]: Computing exacts on every 4 of 554 points to ramp up precision
48.392 * * * * [points]: Setting MPFR precision to 64
48.401 * * * * [points]: Setting MPFR precision to 320
48.409 * * * * [points]: Computing exacts on every 2 of 554 points to ramp up precision
48.412 * * * * [points]: Setting MPFR precision to 64
48.425 * * * * [points]: Setting MPFR precision to 320
48.438 * * * * [points]: Computing exacts for 554 points
48.441 * * * * [points]: Setting MPFR precision to 64
48.479 * * * * [points]: Setting MPFR precision to 320
48.546 * * * * [points]: Filtering points with unrepresentable outputs
48.547 * * * * [points]: Sampling 495 additional inputs, on iter 21 have 7505 / 8000
48.549 * * * * [points]: Computing exacts on every 30 of 495 points to ramp up precision
48.553 * * * * [points]: Setting MPFR precision to 64
48.554 * * * * [points]: Setting MPFR precision to 320
48.555 * * * * [points]: Computing exacts on every 15 of 495 points to ramp up precision
48.558 * * * * [points]: Setting MPFR precision to 64
48.561 * * * * [points]: Setting MPFR precision to 320
48.563 * * * * [points]: Computing exacts on every 7 of 495 points to ramp up precision
48.566 * * * * [points]: Setting MPFR precision to 64
48.571 * * * * [points]: Setting MPFR precision to 320
48.575 * * * * [points]: Computing exacts on every 3 of 495 points to ramp up precision
48.579 * * * * [points]: Setting MPFR precision to 64
48.589 * * * * [points]: Setting MPFR precision to 320
48.598 * * * * [points]: Computing exacts for 495 points
48.601 * * * * [points]: Setting MPFR precision to 64
48.658 * * * * [points]: Setting MPFR precision to 320
48.692 * * * * [points]: Filtering points with unrepresentable outputs
48.692 * * * * [points]: Sampling 441 additional inputs, on iter 22 have 7559 / 8000
48.694 * * * * [points]: Computing exacts on every 27 of 441 points to ramp up precision
48.698 * * * * [points]: Setting MPFR precision to 64
48.700 * * * * [points]: Setting MPFR precision to 320
48.701 * * * * [points]: Computing exacts on every 13 of 441 points to ramp up precision
48.704 * * * * [points]: Setting MPFR precision to 64
48.707 * * * * [points]: Setting MPFR precision to 320
48.710 * * * * [points]: Computing exacts on every 6 of 441 points to ramp up precision
48.713 * * * * [points]: Setting MPFR precision to 64
48.718 * * * * [points]: Setting MPFR precision to 320
48.722 * * * * [points]: Computing exacts on every 3 of 441 points to ramp up precision
48.725 * * * * [points]: Setting MPFR precision to 64
48.733 * * * * [points]: Setting MPFR precision to 320
48.764 * * * * [points]: Computing exacts for 441 points
48.768 * * * * [points]: Setting MPFR precision to 64
48.800 * * * * [points]: Setting MPFR precision to 320
48.830 * * * * [points]: Filtering points with unrepresentable outputs
48.830 * * * * [points]: Sampling 397 additional inputs, on iter 23 have 7603 / 8000
48.832 * * * * [points]: Computing exacts on every 24 of 397 points to ramp up precision
48.836 * * * * [points]: Setting MPFR precision to 64
48.838 * * * * [points]: Setting MPFR precision to 320
48.839 * * * * [points]: Computing exacts on every 12 of 397 points to ramp up precision
48.842 * * * * [points]: Setting MPFR precision to 64
48.845 * * * * [points]: Setting MPFR precision to 320
48.847 * * * * [points]: Computing exacts on every 6 of 397 points to ramp up precision
48.850 * * * * [points]: Setting MPFR precision to 64
48.854 * * * * [points]: Setting MPFR precision to 320
48.858 * * * * [points]: Computing exacts on every 3 of 397 points to ramp up precision
48.885 * * * * [points]: Setting MPFR precision to 64
48.892 * * * * [points]: Setting MPFR precision to 320
48.900 * * * * [points]: Computing exacts for 397 points
48.904 * * * * [points]: Setting MPFR precision to 64
48.931 * * * * [points]: Setting MPFR precision to 320
48.958 * * * * [points]: Filtering points with unrepresentable outputs
48.959 * * * * [points]: Sampling 356 additional inputs, on iter 24 have 7644 / 8000
48.961 * * * * [points]: Computing exacts on every 22 of 356 points to ramp up precision
48.965 * * * * [points]: Setting MPFR precision to 64
48.966 * * * * [points]: Setting MPFR precision to 320
48.967 * * * * [points]: Computing exacts on every 11 of 356 points to ramp up precision
48.971 * * * * [points]: Setting MPFR precision to 64
48.973 * * * * [points]: Setting MPFR precision to 320
48.975 * * * * [points]: Computing exacts on every 5 of 356 points to ramp up precision
48.978 * * * * [points]: Setting MPFR precision to 64
48.982 * * * * [points]: Setting MPFR precision to 320
49.011 * * * * [points]: Computing exacts on every 2 of 356 points to ramp up precision
49.014 * * * * [points]: Setting MPFR precision to 64
49.024 * * * * [points]: Setting MPFR precision to 320
49.032 * * * * [points]: Computing exacts for 356 points
49.036 * * * * [points]: Setting MPFR precision to 64
49.060 * * * * [points]: Setting MPFR precision to 320
49.084 * * * * [points]: Filtering points with unrepresentable outputs
49.085 * * * * [points]: Sampling 317 additional inputs, on iter 25 have 7683 / 8000
49.086 * * * * [points]: Computing exacts on every 19 of 317 points to ramp up precision
49.090 * * * * [points]: Setting MPFR precision to 64
49.092 * * * * [points]: Setting MPFR precision to 320
49.093 * * * * [points]: Computing exacts on every 9 of 317 points to ramp up precision
49.096 * * * * [points]: Setting MPFR precision to 64
49.098 * * * * [points]: Setting MPFR precision to 320
49.101 * * * * [points]: Computing exacts on every 4 of 317 points to ramp up precision
49.104 * * * * [points]: Setting MPFR precision to 64
49.132 * * * * [points]: Setting MPFR precision to 320
49.136 * * * * [points]: Computing exacts on every 2 of 317 points to ramp up precision
49.140 * * * * [points]: Setting MPFR precision to 64
49.149 * * * * [points]: Setting MPFR precision to 320
49.156 * * * * [points]: Computing exacts for 317 points
49.160 * * * * [points]: Setting MPFR precision to 64
49.181 * * * * [points]: Setting MPFR precision to 320
49.203 * * * * [points]: Filtering points with unrepresentable outputs
49.204 * * * * [points]: Sampling 269 additional inputs, on iter 26 have 7731 / 8000
49.205 * * * * [points]: Computing exacts on every 16 of 269 points to ramp up precision
49.208 * * * * [points]: Setting MPFR precision to 64
49.210 * * * * [points]: Setting MPFR precision to 320
49.211 * * * * [points]: Computing exacts on every 8 of 269 points to ramp up precision
49.215 * * * * [points]: Setting MPFR precision to 64
49.217 * * * * [points]: Setting MPFR precision to 320
49.220 * * * * [points]: Computing exacts on every 4 of 269 points to ramp up precision
49.223 * * * * [points]: Setting MPFR precision to 64
49.227 * * * * [points]: Setting MPFR precision to 320
49.252 * * * * [points]: Computing exacts on every 2 of 269 points to ramp up precision
49.256 * * * * [points]: Setting MPFR precision to 64
49.264 * * * * [points]: Setting MPFR precision to 320
49.270 * * * * [points]: Computing exacts for 269 points
49.274 * * * * [points]: Setting MPFR precision to 64
49.291 * * * * [points]: Setting MPFR precision to 320
49.309 * * * * [points]: Filtering points with unrepresentable outputs
49.310 * * * * [points]: Sampling 240 additional inputs, on iter 27 have 7760 / 8000
49.311 * * * * [points]: Computing exacts on every 15 of 240 points to ramp up precision
49.314 * * * * [points]: Setting MPFR precision to 64
49.316 * * * * [points]: Setting MPFR precision to 320
49.317 * * * * [points]: Computing exacts on every 7 of 240 points to ramp up precision
49.320 * * * * [points]: Setting MPFR precision to 64
49.323 * * * * [points]: Setting MPFR precision to 320
49.325 * * * * [points]: Computing exacts on every 3 of 240 points to ramp up precision
49.329 * * * * [points]: Setting MPFR precision to 64
49.333 * * * * [points]: Setting MPFR precision to 320
49.338 * * * * [points]: Computing exacts for 240 points
49.342 * * * * [points]: Setting MPFR precision to 64
49.652 * * * * [points]: Setting MPFR precision to 320
49.668 * * * * [points]: Filtering points with unrepresentable outputs
49.668 * * * * [points]: Sampling 205 additional inputs, on iter 28 have 7795 / 8000
49.669 * * * * [points]: Computing exacts on every 12 of 205 points to ramp up precision
49.673 * * * * [points]: Setting MPFR precision to 64
49.674 * * * * [points]: Setting MPFR precision to 320
49.675 * * * * [points]: Computing exacts on every 6 of 205 points to ramp up precision
49.678 * * * * [points]: Setting MPFR precision to 64
49.680 * * * * [points]: Setting MPFR precision to 320
49.682 * * * * [points]: Computing exacts on every 3 of 205 points to ramp up precision
49.686 * * * * [points]: Setting MPFR precision to 64
49.690 * * * * [points]: Setting MPFR precision to 320
49.693 * * * * [points]: Computing exacts for 205 points
49.697 * * * * [points]: Setting MPFR precision to 64
49.710 * * * * [points]: Setting MPFR precision to 320
49.724 * * * * [points]: Filtering points with unrepresentable outputs
49.724 * * * * [points]: Sampling 185 additional inputs, on iter 29 have 7815 / 8000
49.725 * * * * [points]: Computing exacts on every 11 of 185 points to ramp up precision
49.729 * * * * [points]: Setting MPFR precision to 64
49.730 * * * * [points]: Setting MPFR precision to 320
49.731 * * * * [points]: Computing exacts on every 5 of 185 points to ramp up precision
49.753 * * * * [points]: Setting MPFR precision to 64
49.756 * * * * [points]: Setting MPFR precision to 320
49.758 * * * * [points]: Computing exacts on every 2 of 185 points to ramp up precision
49.761 * * * * [points]: Setting MPFR precision to 64
49.767 * * * * [points]: Setting MPFR precision to 320
49.771 * * * * [points]: Computing exacts for 185 points
49.775 * * * * [points]: Setting MPFR precision to 64
49.788 * * * * [points]: Setting MPFR precision to 320
49.800 * * * * [points]: Filtering points with unrepresentable outputs
49.801 * * * * [points]: Sampling 160 additional inputs, on iter 30 have 7840 / 8000
49.801 * * * * [points]: Computing exacts on every 10 of 160 points to ramp up precision
49.805 * * * * [points]: Setting MPFR precision to 64
49.806 * * * * [points]: Setting MPFR precision to 320
49.807 * * * * [points]: Computing exacts on every 5 of 160 points to ramp up precision
49.811 * * * * [points]: Setting MPFR precision to 64
49.813 * * * * [points]: Setting MPFR precision to 320
49.815 * * * * [points]: Computing exacts on every 2 of 160 points to ramp up precision
49.818 * * * * [points]: Setting MPFR precision to 64
49.822 * * * * [points]: Setting MPFR precision to 320
49.826 * * * * [points]: Computing exacts for 160 points
49.830 * * * * [points]: Setting MPFR precision to 64
49.841 * * * * [points]: Setting MPFR precision to 320
49.873 * * * * [points]: Filtering points with unrepresentable outputs
49.873 * * * * [points]: Sampling 133 additional inputs, on iter 31 have 7867 / 8000
49.874 * * * * [points]: Computing exacts on every 8 of 133 points to ramp up precision
49.877 * * * * [points]: Setting MPFR precision to 64
49.879 * * * * [points]: Setting MPFR precision to 320
49.881 * * * * [points]: Computing exacts on every 4 of 133 points to ramp up precision
49.885 * * * * [points]: Setting MPFR precision to 64
49.887 * * * * [points]: Setting MPFR precision to 320
49.889 * * * * [points]: Computing exacts on every 2 of 133 points to ramp up precision
49.893 * * * * [points]: Setting MPFR precision to 64
49.896 * * * * [points]: Setting MPFR precision to 320
49.899 * * * * [points]: Computing exacts for 133 points
49.902 * * * * [points]: Setting MPFR precision to 64
49.911 * * * * [points]: Setting MPFR precision to 320
49.920 * * * * [points]: Filtering points with unrepresentable outputs
49.920 * * * * [points]: Sampling 118 additional inputs, on iter 32 have 7882 / 8000
49.921 * * * * [points]: Computing exacts on every 7 of 118 points to ramp up precision
49.925 * * * * [points]: Setting MPFR precision to 64
49.926 * * * * [points]: Setting MPFR precision to 320
49.927 * * * * [points]: Computing exacts on every 3 of 118 points to ramp up precision
49.931 * * * * [points]: Setting MPFR precision to 64
49.933 * * * * [points]: Setting MPFR precision to 320
49.936 * * * * [points]: Computing exacts for 118 points
49.939 * * * * [points]: Setting MPFR precision to 64
49.947 * * * * [points]: Setting MPFR precision to 320
49.955 * * * * [points]: Filtering points with unrepresentable outputs
49.956 * * * * [points]: Sampling 107 additional inputs, on iter 33 have 7893 / 8000
49.956 * * * * [points]: Computing exacts on every 6 of 107 points to ramp up precision
49.960 * * * * [points]: Setting MPFR precision to 64
49.981 * * * * [points]: Setting MPFR precision to 320
49.982 * * * * [points]: Computing exacts on every 3 of 107 points to ramp up precision
49.986 * * * * [points]: Setting MPFR precision to 64
49.988 * * * * [points]: Setting MPFR precision to 320
49.991 * * * * [points]: Computing exacts for 107 points
49.995 * * * * [points]: Setting MPFR precision to 64
50.002 * * * * [points]: Setting MPFR precision to 320
50.009 * * * * [points]: Filtering points with unrepresentable outputs
50.009 * * * * [points]: Sampling 94 additional inputs, on iter 34 have 7906 / 8000
50.010 * * * * [points]: Computing exacts on every 5 of 94 points to ramp up precision
50.013 * * * * [points]: Setting MPFR precision to 64
50.015 * * * * [points]: Setting MPFR precision to 320
50.016 * * * * [points]: Computing exacts on every 2 of 94 points to ramp up precision
50.019 * * * * [points]: Setting MPFR precision to 64
50.021 * * * * [points]: Setting MPFR precision to 320
50.024 * * * * [points]: Computing exacts for 94 points
50.027 * * * * [points]: Setting MPFR precision to 64
50.034 * * * * [points]: Setting MPFR precision to 320
50.040 * * * * [points]: Filtering points with unrepresentable outputs
50.040 * * * * [points]: Sampling 84 additional inputs, on iter 35 have 7916 / 8000
50.041 * * * * [points]: Computing exacts on every 5 of 84 points to ramp up precision
50.045 * * * * [points]: Setting MPFR precision to 64
50.046 * * * * [points]: Setting MPFR precision to 320
50.047 * * * * [points]: Computing exacts on every 2 of 84 points to ramp up precision
50.051 * * * * [points]: Setting MPFR precision to 64
50.053 * * * * [points]: Setting MPFR precision to 320
50.055 * * * * [points]: Computing exacts for 84 points
50.058 * * * * [points]: Setting MPFR precision to 64
50.064 * * * * [points]: Setting MPFR precision to 320
50.086 * * * * [points]: Filtering points with unrepresentable outputs
50.087 * * * * [points]: Sampling 75 additional inputs, on iter 36 have 7925 / 8000
50.087 * * * * [points]: Computing exacts on every 4 of 75 points to ramp up precision
50.091 * * * * [points]: Setting MPFR precision to 64
50.092 * * * * [points]: Setting MPFR precision to 320
50.093 * * * * [points]: Computing exacts on every 2 of 75 points to ramp up precision
50.099 * * * * [points]: Setting MPFR precision to 64
50.101 * * * * [points]: Setting MPFR precision to 320
50.103 * * * * [points]: Computing exacts for 75 points
50.107 * * * * [points]: Setting MPFR precision to 64
50.112 * * * * [points]: Setting MPFR precision to 320
50.117 * * * * [points]: Filtering points with unrepresentable outputs
50.117 * * * * [points]: Sampling 61 additional inputs, on iter 37 have 7939 / 8000
50.117 * * * * [points]: Computing exacts on every 3 of 61 points to ramp up precision
50.121 * * * * [points]: Setting MPFR precision to 64
50.122 * * * * [points]: Setting MPFR precision to 320
50.123 * * * * [points]: Computing exacts for 61 points
50.127 * * * * [points]: Setting MPFR precision to 64
50.131 * * * * [points]: Setting MPFR precision to 320
50.135 * * * * [points]: Filtering points with unrepresentable outputs
50.135 * * * * [points]: Sampling 55 additional inputs, on iter 38 have 7945 / 8000
50.135 * * * * [points]: Computing exacts on every 3 of 55 points to ramp up precision
50.139 * * * * [points]: Setting MPFR precision to 64
50.140 * * * * [points]: Setting MPFR precision to 320
50.141 * * * * [points]: Computing exacts for 55 points
50.146 * * * * [points]: Setting MPFR precision to 64
50.150 * * * * [points]: Setting MPFR precision to 320
50.153 * * * * [points]: Filtering points with unrepresentable outputs
50.153 * * * * [points]: Sampling 50 additional inputs, on iter 39 have 7950 / 8000
50.154 * * * * [points]: Computing exacts on every 3 of 50 points to ramp up precision
50.158 * * * * [points]: Setting MPFR precision to 64
50.159 * * * * [points]: Setting MPFR precision to 320
50.160 * * * * [points]: Computing exacts for 50 points
50.163 * * * * [points]: Setting MPFR precision to 64
50.167 * * * * [points]: Setting MPFR precision to 320
50.170 * * * * [points]: Filtering points with unrepresentable outputs
50.170 * * * * [points]: Sampling 45 additional inputs, on iter 40 have 7955 / 8000
50.171 * * * * [points]: Computing exacts on every 2 of 45 points to ramp up precision
50.189 * * * * [points]: Setting MPFR precision to 64
50.191 * * * * [points]: Setting MPFR precision to 320
50.192 * * * * [points]: Computing exacts for 45 points
50.196 * * * * [points]: Setting MPFR precision to 64
50.201 * * * * [points]: Setting MPFR precision to 320
50.204 * * * * [points]: Filtering points with unrepresentable outputs
50.204 * * * * [points]: Sampling 38 additional inputs, on iter 41 have 7962 / 8000
50.205 * * * * [points]: Computing exacts on every 2 of 38 points to ramp up precision
50.208 * * * * [points]: Setting MPFR precision to 64
50.209 * * * * [points]: Setting MPFR precision to 320
50.210 * * * * [points]: Computing exacts for 38 points
50.213 * * * * [points]: Setting MPFR precision to 64
50.216 * * * * [points]: Setting MPFR precision to 320
50.219 * * * * [points]: Filtering points with unrepresentable outputs
50.219 * * * * [points]: Sampling 29 additional inputs, on iter 42 have 7971 / 8000
50.219 * * * * [points]: Computing exacts for 29 points
50.222 * * * * [points]: Setting MPFR precision to 64
50.224 * * * * [points]: Setting MPFR precision to 320
50.226 * * * * [points]: Filtering points with unrepresentable outputs
50.226 * * * * [points]: Sampling 23 additional inputs, on iter 43 have 7977 / 8000
50.227 * * * * [points]: Computing exacts for 23 points
50.230 * * * * [points]: Setting MPFR precision to 64
50.232 * * * * [points]: Setting MPFR precision to 320
50.233 * * * * [points]: Filtering points with unrepresentable outputs
50.233 * * * * [points]: Sampling 20 additional inputs, on iter 44 have 7980 / 8000
50.233 * * * * [points]: Computing exacts for 20 points
50.237 * * * * [points]: Setting MPFR precision to 64
50.238 * * * * [points]: Setting MPFR precision to 320
50.240 * * * * [points]: Filtering points with unrepresentable outputs
50.240 * * * * [points]: Sampling 20 additional inputs, on iter 45 have 7980 / 8000
50.240 * * * * [points]: Computing exacts for 20 points
50.243 * * * * [points]: Setting MPFR precision to 64
50.245 * * * * [points]: Setting MPFR precision to 320
50.246 * * * * [points]: Filtering points with unrepresentable outputs
50.246 * * * * [points]: Sampling 17 additional inputs, on iter 46 have 7983 / 8000
50.246 * * * * [points]: Computing exacts for 17 points
50.250 * * * * [points]: Setting MPFR precision to 64
50.251 * * * * [points]: Setting MPFR precision to 320
50.252 * * * * [points]: Filtering points with unrepresentable outputs
50.253 * * * * [points]: Sampling 16 additional inputs, on iter 47 have 7984 / 8000
50.253 * * * * [points]: Computing exacts for 16 points
50.256 * * * * [points]: Setting MPFR precision to 64
50.257 * * * * [points]: Setting MPFR precision to 320
50.258 * * * * [points]: Filtering points with unrepresentable outputs
50.258 * * * * [points]: Sampling 15 additional inputs, on iter 48 have 7985 / 8000
50.258 * * * * [points]: Computing exacts for 15 points
50.262 * * * * [points]: Setting MPFR precision to 64
50.263 * * * * [points]: Setting MPFR precision to 320
50.264 * * * * [points]: Filtering points with unrepresentable outputs
50.264 * * * * [points]: Sampling 14 additional inputs, on iter 49 have 7986 / 8000
50.264 * * * * [points]: Computing exacts for 14 points
50.268 * * * * [points]: Setting MPFR precision to 64
50.269 * * * * [points]: Setting MPFR precision to 320
50.270 * * * * [points]: Filtering points with unrepresentable outputs
50.270 * * * * [points]: Sampling 14 additional inputs, on iter 50 have 7986 / 8000
50.270 * * * * [points]: Computing exacts for 14 points
50.286 * * * * [points]: Setting MPFR precision to 64
50.287 * * * * [points]: Setting MPFR precision to 320
50.288 * * * * [points]: Filtering points with unrepresentable outputs
50.288 * * * * [points]: Sampling 13 additional inputs, on iter 51 have 7987 / 8000
50.288 * * * * [points]: Computing exacts for 13 points
50.293 * * * * [points]: Setting MPFR precision to 64
50.294 * * * * [points]: Setting MPFR precision to 320
50.295 * * * * [points]: Filtering points with unrepresentable outputs
50.295 * * * * [points]: Sampling 12 additional inputs, on iter 52 have 7988 / 8000
50.295 * * * * [points]: Computing exacts for 12 points
50.299 * * * * [points]: Setting MPFR precision to 64
50.300 * * * * [points]: Setting MPFR precision to 320
50.301 * * * * [points]: Filtering points with unrepresentable outputs
50.301 * * * * [points]: Sampling 12 additional inputs, on iter 53 have 7988 / 8000
50.301 * * * * [points]: Computing exacts for 12 points
50.305 * * * * [points]: Setting MPFR precision to 64
50.305 * * * * [points]: Setting MPFR precision to 320
50.306 * * * * [points]: Filtering points with unrepresentable outputs
50.306 * * * * [points]: Sampling 12 additional inputs, on iter 54 have 7988 / 8000
50.306 * * * * [points]: Computing exacts for 12 points
50.310 * * * * [points]: Setting MPFR precision to 64
50.311 * * * * [points]: Setting MPFR precision to 320
50.312 * * * * [points]: Filtering points with unrepresentable outputs
50.312 * * * * [points]: Sampling 11 additional inputs, on iter 55 have 7989 / 8000
50.312 * * * * [points]: Computing exacts for 11 points
50.315 * * * * [points]: Setting MPFR precision to 64
50.316 * * * * [points]: Setting MPFR precision to 320
50.317 * * * * [points]: Filtering points with unrepresentable outputs
50.317 * * * * [points]: Sampling 11 additional inputs, on iter 56 have 7989 / 8000
50.317 * * * * [points]: Computing exacts for 11 points
50.320 * * * * [points]: Setting MPFR precision to 64
50.321 * * * * [points]: Setting MPFR precision to 320
50.322 * * * * [points]: Filtering points with unrepresentable outputs
50.322 * * * * [points]: Sampling 8 additional inputs, on iter 57 have 7992 / 8000
50.322 * * * * [points]: Computing exacts for 8 points
50.326 * * * * [points]: Setting MPFR precision to 64
50.326 * * * * [points]: Setting MPFR precision to 320
50.327 * * * * [points]: Filtering points with unrepresentable outputs
50.327 * * * * [points]: Sampling 7 additional inputs, on iter 58 have 7993 / 8000
50.327 * * * * [points]: Computing exacts for 7 points
50.330 * * * * [points]: Setting MPFR precision to 64
50.331 * * * * [points]: Setting MPFR precision to 320
50.332 * * * * [points]: Filtering points with unrepresentable outputs
50.332 * * * * [points]: Sampling 7 additional inputs, on iter 59 have 7993 / 8000
50.332 * * * * [points]: Computing exacts for 7 points
50.335 * * * * [points]: Setting MPFR precision to 64
50.336 * * * * [points]: Setting MPFR precision to 320
50.336 * * * * [points]: Filtering points with unrepresentable outputs
50.336 * * * * [points]: Sampling 7 additional inputs, on iter 60 have 7993 / 8000
50.336 * * * * [points]: Computing exacts for 7 points
50.340 * * * * [points]: Setting MPFR precision to 64
50.340 * * * * [points]: Setting MPFR precision to 320
50.341 * * * * [points]: Filtering points with unrepresentable outputs
50.341 * * * * [points]: Sampling 6 additional inputs, on iter 61 have 7994 / 8000
50.341 * * * * [points]: Computing exacts for 6 points
50.344 * * * * [points]: Setting MPFR precision to 64
50.345 * * * * [points]: Setting MPFR precision to 320
50.345 * * * * [points]: Filtering points with unrepresentable outputs
50.345 * * * * [points]: Sampling 5 additional inputs, on iter 62 have 7995 / 8000
50.345 * * * * [points]: Computing exacts for 5 points
50.349 * * * * [points]: Setting MPFR precision to 64
50.349 * * * * [points]: Setting MPFR precision to 320
50.349 * * * * [points]: Filtering points with unrepresentable outputs
50.350 * * * * [points]: Sampling 5 additional inputs, on iter 63 have 7995 / 8000
50.350 * * * * [points]: Computing exacts for 5 points
50.353 * * * * [points]: Setting MPFR precision to 64
50.354 * * * * [points]: Setting MPFR precision to 320
50.354 * * * * [points]: Filtering points with unrepresentable outputs
50.354 * * * * [points]: Sampling 5 additional inputs, on iter 64 have 7995 / 8000
50.354 * * * * [points]: Computing exacts for 5 points
50.367 * * * * [points]: Setting MPFR precision to 64
50.367 * * * * [points]: Setting MPFR precision to 320
50.368 * * * * [points]: Filtering points with unrepresentable outputs
50.368 * * * * [points]: Sampling 4 additional inputs, on iter 65 have 7996 / 8000
50.368 * * * * [points]: Computing exacts for 4 points
50.372 * * * * [points]: Setting MPFR precision to 64
50.373 * * * * [points]: Setting MPFR precision to 320
50.373 * * * * [points]: Filtering points with unrepresentable outputs
50.373 * * * * [points]: Sampling 4 additional inputs, on iter 66 have 7996 / 8000
50.373 * * * * [points]: Computing exacts for 4 points
50.377 * * * * [points]: Setting MPFR precision to 64
50.377 * * * * [points]: Setting MPFR precision to 320
50.377 * * * * [points]: Filtering points with unrepresentable outputs
50.377 * * * * [points]: Sampling 4 additional inputs, on iter 67 have 7998 / 8000
50.377 * * * * [points]: Computing exacts for 4 points
50.381 * * * * [points]: Setting MPFR precision to 64
50.381 * * * * [points]: Setting MPFR precision to 320
50.382 * * * * [points]: Filtering points with unrepresentable outputs
50.382 * * * * [points]: Sampling 4 additional inputs, on iter 68 have 7998 / 8000
50.382 * * * * [points]: Computing exacts for 4 points
50.385 * * * * [points]: Setting MPFR precision to 64
50.385 * * * * [points]: Setting MPFR precision to 320
50.386 * * * * [points]: Filtering points with unrepresentable outputs
50.386 * * * * [points]: Sampling 4 additional inputs, on iter 69 have 7999 / 8000
50.386 * * * * [points]: Computing exacts for 4 points
50.389 * * * * [points]: Setting MPFR precision to 64
50.389 * * * * [points]: Setting MPFR precision to 320
50.390 * * * * [points]: Filtering points with unrepresentable outputs
50.390 * * * * [points]: Sampled 8000 points with exact outputs
53.247 * [regime-testing]: Baseline error score: 0.22344425837558074
53.249 * [regime-testing]: Oracle error score: 0.12895451263252874
53.253 * [regime-testing]: End program error score: 0.22344425837558074