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.010 * * * * [points]: Setting MPFR precision to 64
0.016 * * * * [points]: Setting MPFR precision to 320
0.018 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.025 * * * * [points]: Setting MPFR precision to 64
0.029 * * * * [points]: Setting MPFR precision to 320
0.033 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.040 * * * * [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.060 * * * * [points]: Setting MPFR precision to 64
0.072 * * * * [points]: Setting MPFR precision to 320
0.078 * * * * [points]: Computing exacts for 256 points
0.082 * * * * [points]: Setting MPFR precision to 64
0.101 * * * * [points]: Setting MPFR precision to 320
0.119 * * * * [points]: Filtering points with unrepresentable outputs
0.119 * * * * [points]: Sampling 223 additional inputs, on iter 1 have 33 / 256
0.120 * * * * [points]: Computing exacts on every 13 of 223 points to ramp up precision
0.123 * * * * [points]: Setting MPFR precision to 64
0.124 * * * * [points]: Setting MPFR precision to 320
0.126 * * * * [points]: Computing exacts on every 6 of 223 points to ramp up precision
0.129 * * * * [points]: Setting MPFR precision to 64
0.131 * * * * [points]: Setting MPFR precision to 320
0.133 * * * * [points]: Computing exacts on every 3 of 223 points to ramp up precision
0.137 * * * * [points]: Setting MPFR precision to 64
0.161 * * * * [points]: Setting MPFR precision to 320
0.165 * * * * [points]: Computing exacts for 223 points
0.169 * * * * [points]: Setting MPFR precision to 64
0.185 * * * * [points]: Setting MPFR precision to 320
0.202 * * * * [points]: Filtering points with unrepresentable outputs
0.202 * * * * [points]: Sampling 186 additional inputs, on iter 2 have 70 / 256
0.203 * * * * [points]: Computing exacts on every 11 of 186 points to ramp up precision
0.207 * * * * [points]: Setting MPFR precision to 64
0.208 * * * * [points]: Setting MPFR precision to 320
0.210 * * * * [points]: Computing exacts on every 5 of 186 points to ramp up precision
0.213 * * * * [points]: Setting MPFR precision to 64
0.216 * * * * [points]: Setting MPFR precision to 320
0.218 * * * * [points]: Computing exacts on every 2 of 186 points to ramp up precision
0.222 * * * * [points]: Setting MPFR precision to 64
0.226 * * * * [points]: Setting MPFR precision to 320
0.231 * * * * [points]: Computing exacts for 186 points
0.234 * * * * [points]: Setting MPFR precision to 64
0.248 * * * * [points]: Setting MPFR precision to 320
0.261 * * * * [points]: Filtering points with unrepresentable outputs
0.261 * * * * [points]: Sampling 170 additional inputs, on iter 3 have 86 / 256
0.262 * * * * [points]: Computing exacts on every 10 of 170 points to ramp up precision
0.290 * * * * [points]: Setting MPFR precision to 64
0.291 * * * * [points]: Setting MPFR precision to 320
0.292 * * * * [points]: Computing exacts on every 5 of 170 points to ramp up precision
0.296 * * * * [points]: Setting MPFR precision to 64
0.299 * * * * [points]: Setting MPFR precision to 320
0.301 * * * * [points]: Computing exacts on every 2 of 170 points to ramp up precision
0.305 * * * * [points]: Setting MPFR precision to 64
0.309 * * * * [points]: Setting MPFR precision to 320
0.313 * * * * [points]: Computing exacts for 170 points
0.316 * * * * [points]: Setting MPFR precision to 64
0.328 * * * * [points]: Setting MPFR precision to 320
0.341 * * * * [points]: Filtering points with unrepresentable outputs
0.341 * * * * [points]: Sampling 152 additional inputs, on iter 4 have 104 / 256
0.342 * * * * [points]: Computing exacts on every 9 of 152 points to ramp up precision
0.345 * * * * [points]: Setting MPFR precision to 64
0.347 * * * * [points]: Setting MPFR precision to 320
0.348 * * * * [points]: Computing exacts on every 4 of 152 points to ramp up precision
0.351 * * * * [points]: Setting MPFR precision to 64
0.354 * * * * [points]: Setting MPFR precision to 320
0.356 * * * * [points]: Computing exacts on every 2 of 152 points to ramp up precision
0.359 * * * * [points]: Setting MPFR precision to 64
0.363 * * * * [points]: Setting MPFR precision to 320
0.367 * * * * [points]: Computing exacts for 152 points
0.371 * * * * [points]: Setting MPFR precision to 64
0.382 * * * * [points]: Setting MPFR precision to 320
0.424 * * * * [points]: Filtering points with unrepresentable outputs
0.424 * * * * [points]: Sampling 131 additional inputs, on iter 5 have 125 / 256
0.425 * * * * [points]: Computing exacts on every 8 of 131 points to ramp up precision
0.432 * * * * [points]: Setting MPFR precision to 64
0.434 * * * * [points]: Setting MPFR precision to 320
0.436 * * * * [points]: Computing exacts on every 4 of 131 points to ramp up precision
0.442 * * * * [points]: Setting MPFR precision to 64
0.444 * * * * [points]: Setting MPFR precision to 320
0.446 * * * * [points]: Computing exacts on every 2 of 131 points to ramp up precision
0.449 * * * * [points]: Setting MPFR precision to 64
0.452 * * * * [points]: Setting MPFR precision to 320
0.455 * * * * [points]: Computing exacts for 131 points
0.459 * * * * [points]: Setting MPFR precision to 64
0.468 * * * * [points]: Setting MPFR precision to 320
0.477 * * * * [points]: Filtering points with unrepresentable outputs
0.477 * * * * [points]: Sampling 113 additional inputs, on iter 6 have 143 / 256
0.478 * * * * [points]: Computing exacts on every 7 of 113 points to ramp up precision
0.482 * * * * [points]: Setting MPFR precision to 64
0.483 * * * * [points]: Setting MPFR precision to 320
0.484 * * * * [points]: Computing exacts on every 3 of 113 points to ramp up precision
0.488 * * * * [points]: Setting MPFR precision to 64
0.490 * * * * [points]: Setting MPFR precision to 320
0.492 * * * * [points]: Computing exacts for 113 points
0.495 * * * * [points]: Setting MPFR precision to 64
0.503 * * * * [points]: Setting MPFR precision to 320
0.512 * * * * [points]: Filtering points with unrepresentable outputs
0.512 * * * * [points]: Sampling 102 additional inputs, on iter 7 have 154 / 256
0.512 * * * * [points]: Computing exacts on every 6 of 102 points to ramp up precision
0.536 * * * * [points]: Setting MPFR precision to 64
0.537 * * * * [points]: Setting MPFR precision to 320
0.539 * * * * [points]: Computing exacts on every 3 of 102 points to ramp up precision
0.543 * * * * [points]: Setting MPFR precision to 64
0.545 * * * * [points]: Setting MPFR precision to 320
0.547 * * * * [points]: Computing exacts for 102 points
0.550 * * * * [points]: Setting MPFR precision to 64
0.558 * * * * [points]: Setting MPFR precision to 320
0.566 * * * * [points]: Filtering points with unrepresentable outputs
0.566 * * * * [points]: Sampling 84 additional inputs, on iter 8 have 172 / 256
0.566 * * * * [points]: Computing exacts on every 5 of 84 points to ramp up precision
0.570 * * * * [points]: Setting MPFR precision to 64
0.572 * * * * [points]: Setting MPFR precision to 320
0.573 * * * * [points]: Computing exacts on every 2 of 84 points to ramp up precision
0.576 * * * * [points]: Setting MPFR precision to 64
0.578 * * * * [points]: Setting MPFR precision to 320
0.580 * * * * [points]: Computing exacts for 84 points
0.584 * * * * [points]: Setting MPFR precision to 64
0.591 * * * * [points]: Setting MPFR precision to 320
0.597 * * * * [points]: Filtering points with unrepresentable outputs
0.597 * * * * [points]: Sampling 74 additional inputs, on iter 9 have 182 / 256
0.597 * * * * [points]: Computing exacts on every 4 of 74 points to ramp up precision
0.601 * * * * [points]: Setting MPFR precision to 64
0.602 * * * * [points]: Setting MPFR precision to 320
0.603 * * * * [points]: Computing exacts on every 2 of 74 points to ramp up precision
0.607 * * * * [points]: Setting MPFR precision to 64
0.609 * * * * [points]: Setting MPFR precision to 320
0.610 * * * * [points]: Computing exacts for 74 points
0.614 * * * * [points]: Setting MPFR precision to 64
0.619 * * * * [points]: Setting MPFR precision to 320
0.625 * * * * [points]: Filtering points with unrepresentable outputs
0.625 * * * * [points]: Sampling 68 additional inputs, on iter 10 have 188 / 256
0.625 * * * * [points]: Computing exacts on every 4 of 68 points to ramp up precision
0.645 * * * * [points]: Setting MPFR precision to 64
0.647 * * * * [points]: Setting MPFR precision to 320
0.648 * * * * [points]: Computing exacts on every 2 of 68 points to ramp up precision
0.652 * * * * [points]: Setting MPFR precision to 64
0.653 * * * * [points]: Setting MPFR precision to 320
0.655 * * * * [points]: Computing exacts for 68 points
0.660 * * * * [points]: Setting MPFR precision to 64
0.665 * * * * [points]: Setting MPFR precision to 320
0.670 * * * * [points]: Filtering points with unrepresentable outputs
0.670 * * * * [points]: Sampling 61 additional inputs, on iter 11 have 195 / 256
0.671 * * * * [points]: Computing exacts on every 3 of 61 points to ramp up precision
0.674 * * * * [points]: Setting MPFR precision to 64
0.675 * * * * [points]: Setting MPFR precision to 320
0.676 * * * * [points]: Computing exacts for 61 points
0.680 * * * * [points]: Setting MPFR precision to 64
0.684 * * * * [points]: Setting MPFR precision to 320
0.689 * * * * [points]: Filtering points with unrepresentable outputs
0.689 * * * * [points]: Sampling 55 additional inputs, on iter 12 have 201 / 256
0.689 * * * * [points]: Computing exacts on every 3 of 55 points to ramp up precision
0.693 * * * * [points]: Setting MPFR precision to 64
0.694 * * * * [points]: Setting MPFR precision to 320
0.695 * * * * [points]: Computing exacts for 55 points
0.698 * * * * [points]: Setting MPFR precision to 64
0.702 * * * * [points]: Setting MPFR precision to 320
0.707 * * * * [points]: Filtering points with unrepresentable outputs
0.707 * * * * [points]: Sampling 47 additional inputs, on iter 13 have 209 / 256
0.708 * * * * [points]: Computing exacts on every 2 of 47 points to ramp up precision
0.711 * * * * [points]: Setting MPFR precision to 64
0.712 * * * * [points]: Setting MPFR precision to 320
0.713 * * * * [points]: Computing exacts for 47 points
0.717 * * * * [points]: Setting MPFR precision to 64
0.720 * * * * [points]: Setting MPFR precision to 320
0.724 * * * * [points]: Filtering points with unrepresentable outputs
0.724 * * * * [points]: Sampling 41 additional inputs, on iter 14 have 215 / 256
0.724 * * * * [points]: Computing exacts on every 2 of 41 points to ramp up precision
0.728 * * * * [points]: Setting MPFR precision to 64
0.729 * * * * [points]: Setting MPFR precision to 320
0.730 * * * * [points]: Computing exacts for 41 points
0.733 * * * * [points]: Setting MPFR precision to 64
0.736 * * * * [points]: Setting MPFR precision to 320
0.758 * * * * [points]: Filtering points with unrepresentable outputs
0.758 * * * * [points]: Sampling 38 additional inputs, on iter 15 have 218 / 256
0.758 * * * * [points]: Computing exacts on every 2 of 38 points to ramp up precision
0.762 * * * * [points]: Setting MPFR precision to 64
0.763 * * * * [points]: Setting MPFR precision to 320
0.764 * * * * [points]: Computing exacts for 38 points
0.768 * * * * [points]: Setting MPFR precision to 64
0.771 * * * * [points]: Setting MPFR precision to 320
0.774 * * * * [points]: Filtering points with unrepresentable outputs
0.774 * * * * [points]: Sampling 33 additional inputs, on iter 16 have 223 / 256
0.774 * * * * [points]: Computing exacts on every 2 of 33 points to ramp up precision
0.778 * * * * [points]: Setting MPFR precision to 64
0.779 * * * * [points]: Setting MPFR precision to 320
0.780 * * * * [points]: Computing exacts for 33 points
0.783 * * * * [points]: Setting MPFR precision to 64
0.786 * * * * [points]: Setting MPFR precision to 320
0.788 * * * * [points]: Filtering points with unrepresentable outputs
0.788 * * * * [points]: Sampling 29 additional inputs, on iter 17 have 227 / 256
0.788 * * * * [points]: Computing exacts for 29 points
0.792 * * * * [points]: Setting MPFR precision to 64
0.794 * * * * [points]: Setting MPFR precision to 320
0.796 * * * * [points]: Filtering points with unrepresentable outputs
0.796 * * * * [points]: Sampling 27 additional inputs, on iter 18 have 229 / 256
0.796 * * * * [points]: Computing exacts for 27 points
0.800 * * * * [points]: Setting MPFR precision to 64
0.802 * * * * [points]: Setting MPFR precision to 320
0.804 * * * * [points]: Filtering points with unrepresentable outputs
0.804 * * * * [points]: Sampling 25 additional inputs, on iter 19 have 231 / 256
0.804 * * * * [points]: Computing exacts for 25 points
0.808 * * * * [points]: Setting MPFR precision to 64
0.810 * * * * [points]: Setting MPFR precision to 320
0.812 * * * * [points]: Filtering points with unrepresentable outputs
0.812 * * * * [points]: Sampling 23 additional inputs, on iter 20 have 233 / 256
0.812 * * * * [points]: Computing exacts for 23 points
0.816 * * * * [points]: Setting MPFR precision to 64
0.818 * * * * [points]: Setting MPFR precision to 320
0.819 * * * * [points]: Filtering points with unrepresentable outputs
0.819 * * * * [points]: Sampling 22 additional inputs, on iter 21 have 234 / 256
0.820 * * * * [points]: Computing exacts for 22 points
0.823 * * * * [points]: Setting MPFR precision to 64
0.825 * * * * [points]: Setting MPFR precision to 320
0.826 * * * * [points]: Filtering points with unrepresentable outputs
0.826 * * * * [points]: Sampling 17 additional inputs, on iter 22 have 239 / 256
0.826 * * * * [points]: Computing exacts for 17 points
0.830 * * * * [points]: Setting MPFR precision to 64
0.831 * * * * [points]: Setting MPFR precision to 320
0.833 * * * * [points]: Filtering points with unrepresentable outputs
0.833 * * * * [points]: Sampling 15 additional inputs, on iter 23 have 241 / 256
0.833 * * * * [points]: Computing exacts for 15 points
0.840 * * * * [points]: Setting MPFR precision to 64
0.842 * * * * [points]: Setting MPFR precision to 320
0.844 * * * * [points]: Filtering points with unrepresentable outputs
0.845 * * * * [points]: Sampling 14 additional inputs, on iter 24 have 242 / 256
0.845 * * * * [points]: Computing exacts for 14 points
0.873 * * * * [points]: Setting MPFR precision to 64
0.875 * * * * [points]: Setting MPFR precision to 320
0.877 * * * * [points]: Filtering points with unrepresentable outputs
0.877 * * * * [points]: Sampling 13 additional inputs, on iter 25 have 243 / 256
0.877 * * * * [points]: Computing exacts for 13 points
0.887 * * * * [points]: Setting MPFR precision to 64
0.889 * * * * [points]: Setting MPFR precision to 320
0.891 * * * * [points]: Filtering points with unrepresentable outputs
0.891 * * * * [points]: Sampling 12 additional inputs, on iter 26 have 244 / 256
0.891 * * * * [points]: Computing exacts for 12 points
0.898 * * * * [points]: Setting MPFR precision to 64
0.900 * * * * [points]: Setting MPFR precision to 320
0.902 * * * * [points]: Filtering points with unrepresentable outputs
0.902 * * * * [points]: Sampling 11 additional inputs, on iter 27 have 245 / 256
0.902 * * * * [points]: Computing exacts for 11 points
0.909 * * * * [points]: Setting MPFR precision to 64
0.911 * * * * [points]: Setting MPFR precision to 320
0.912 * * * * [points]: Filtering points with unrepresentable outputs
0.912 * * * * [points]: Sampling 9 additional inputs, on iter 28 have 247 / 256
0.912 * * * * [points]: Computing exacts for 9 points
0.919 * * * * [points]: Setting MPFR precision to 64
0.921 * * * * [points]: Setting MPFR precision to 320
0.922 * * * * [points]: Filtering points with unrepresentable outputs
0.922 * * * * [points]: Sampling 7 additional inputs, on iter 29 have 249 / 256
0.922 * * * * [points]: Computing exacts for 7 points
0.929 * * * * [points]: Setting MPFR precision to 64
0.930 * * * * [points]: Setting MPFR precision to 320
0.932 * * * * [points]: Filtering points with unrepresentable outputs
0.932 * * * * [points]: Sampling 7 additional inputs, on iter 30 have 249 / 256
0.932 * * * * [points]: Computing exacts for 7 points
0.939 * * * * [points]: Setting MPFR precision to 64
0.940 * * * * [points]: Setting MPFR precision to 320
0.941 * * * * [points]: Filtering points with unrepresentable outputs
0.941 * * * * [points]: Sampling 5 additional inputs, on iter 31 have 251 / 256
0.941 * * * * [points]: Computing exacts for 5 points
0.948 * * * * [points]: Setting MPFR precision to 64
0.949 * * * * [points]: Setting MPFR precision to 320
0.949 * * * * [points]: Filtering points with unrepresentable outputs
0.949 * * * * [points]: Sampling 4 additional inputs, on iter 32 have 252 / 256
0.950 * * * * [points]: Computing exacts for 4 points
0.957 * * * * [points]: Setting MPFR precision to 64
0.957 * * * * [points]: Setting MPFR precision to 320
0.958 * * * * [points]: Filtering points with unrepresentable outputs
0.958 * * * * [points]: Sampling 4 additional inputs, on iter 33 have 253 / 256
0.958 * * * * [points]: Computing exacts for 4 points
0.965 * * * * [points]: Setting MPFR precision to 64
0.966 * * * * [points]: Setting MPFR precision to 320
0.967 * * * * [points]: Filtering points with unrepresentable outputs
0.967 * * * * [points]: Sampling 4 additional inputs, on iter 34 have 253 / 256
0.967 * * * * [points]: Computing exacts for 4 points
0.974 * * * * [points]: Setting MPFR precision to 64
0.974 * * * * [points]: Setting MPFR precision to 320
0.975 * * * * [points]: Filtering points with unrepresentable outputs
0.975 * * * * [points]: Sampling 4 additional inputs, on iter 35 have 253 / 256
0.975 * * * * [points]: Computing exacts for 4 points
0.982 * * * * [points]: Setting MPFR precision to 64
0.983 * * * * [points]: Setting MPFR precision to 320
0.984 * * * * [points]: Filtering points with unrepresentable outputs
0.984 * * * * [points]: Sampling 4 additional inputs, on iter 36 have 253 / 256
0.984 * * * * [points]: Computing exacts for 4 points
0.991 * * * * [points]: Setting MPFR precision to 64
0.992 * * * * [points]: Setting MPFR precision to 320
0.993 * * * * [points]: Filtering points with unrepresentable outputs
0.993 * * * * [points]: Sampling 4 additional inputs, on iter 37 have 254 / 256
0.993 * * * * [points]: Computing exacts for 4 points
1.000 * * * * [points]: Setting MPFR precision to 64
1.000 * * * * [points]: Setting MPFR precision to 320
1.001 * * * * [points]: Filtering points with unrepresentable outputs
1.001 * * * * [points]: Sampling 4 additional inputs, on iter 38 have 254 / 256
1.001 * * * * [points]: Computing exacts for 4 points
1.006 * * * * [points]: Setting MPFR precision to 64
1.007 * * * * [points]: Setting MPFR precision to 320
1.007 * * * * [points]: Filtering points with unrepresentable outputs
1.007 * * * * [points]: Sampling 4 additional inputs, on iter 39 have 254 / 256
1.007 * * * * [points]: Computing exacts for 4 points
1.020 * * * * [points]: Setting MPFR precision to 64
1.021 * * * * [points]: Setting MPFR precision to 320
1.021 * * * * [points]: Filtering points with unrepresentable outputs
1.021 * * * * [points]: Sampling 4 additional inputs, on iter 40 have 254 / 256
1.023 * * * * [points]: Computing exacts for 4 points
1.026 * * * * [points]: Setting MPFR precision to 64
1.027 * * * * [points]: Setting MPFR precision to 320
1.027 * * * * [points]: Filtering points with unrepresentable outputs
1.027 * * * * [points]: Sampling 4 additional inputs, on iter 41 have 255 / 256
1.027 * * * * [points]: Computing exacts for 4 points
1.031 * * * * [points]: Setting MPFR precision to 64
1.032 * * * * [points]: Setting MPFR precision to 320
1.032 * * * * [points]: Filtering points with unrepresentable outputs
1.032 * * * * [points]: Sampled 256 points with exact outputs
1.032 * * * [progress]: [2/2] Setting up program.
1.056 * [progress]: [Phase 2 of 3] Improving.
1.056 * * * * [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.056 * [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.056 * * [simplify]: iteration 1: (15 enodes)
1.063 * * [simplify]: iteration 2: (54 enodes)
1.083 * * [simplify]: iteration 3: (174 enodes)
1.209 * * [simplify]: iteration 4: (1021 enodes)
3.062 * * [simplify]: Extracting #0: cost 1 inf + 0
3.062 * * [simplify]: Extracting #1: cost 2 inf + 0
3.063 * * [simplify]: Extracting #2: cost 174 inf + 0
3.069 * * [simplify]: Extracting #3: cost 1342 inf + 0
3.086 * * [simplify]: Extracting #4: cost 2271 inf + 691
3.111 * * [simplify]: Extracting #5: cost 2231 inf + 82476
3.193 * * [simplify]: Extracting #6: cost 1375 inf + 1509565
3.516 * * [simplify]: Extracting #7: cost 86 inf + 4121745
3.896 * * [simplify]: Extracting #8: cost 0 inf + 3944289
4.261 * * [simplify]: Extracting #9: cost 0 inf + 3923289
4.659 * [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)))
4.674 * * [progress]: iteration 1 / 4
4.674 * * * [progress]: picking best candidate
4.686 * * * * [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))))>
4.686 * * * [progress]: localizing error
4.943 * * * [progress]: generating rewritten candidates
4.943 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2)
4.987 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
5.031 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 2)
5.078 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
5.127 * * * [progress]: generating series expansions
5.127 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2)
5.128 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
5.128 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 2)
5.128 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
5.128 * * * [progress]: simplifying candidates
5.128 * * * * [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.128 * * * * [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.128 * * * * [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.128 * * * * [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.128 * * * * [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.128 * * * * [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.128 * * * * [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.128 * * * * [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.128 * * * * [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.128 * * * * [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.128 * * * * [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.128 * * * * [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.128 * * * * [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.128 * * * * [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.128 * * * * [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.128 * * * * [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.128 * * * * [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.129 * [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.129 * * [simplify]: iteration 1: (38 enodes)
5.137 * * [simplify]: iteration 2: (114 enodes)
5.163 * * [simplify]: iteration 3: (465 enodes)
5.523 * * [simplify]: Extracting #0: cost 16 inf + 0
5.524 * * [simplify]: Extracting #1: cost 245 inf + 0
5.529 * * [simplify]: Extracting #2: cost 837 inf + 1610
5.538 * * [simplify]: Extracting #3: cost 1020 inf + 16624
5.562 * * [simplify]: Extracting #4: cost 775 inf + 340595
5.669 * * [simplify]: Extracting #5: cost 128 inf + 1380887
5.767 * * [simplify]: Extracting #6: cost 0 inf + 1588039
5.890 * [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))))
5.894 * * * [progress]: adding candidates to table
6.580 * * [progress]: iteration 2 / 4
6.580 * * * [progress]: picking best candidate
6.624 * * * * [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)))))>
6.624 * * * [progress]: localizing error
6.953 * * * [progress]: generating rewritten candidates
6.953 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
7.014 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2)
7.041 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1)
7.046 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2)
7.092 * * * [progress]: generating series expansions
7.092 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
7.092 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2)
7.092 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1)
7.092 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2)
7.092 * * * [progress]: simplifying candidates
7.092 * * * * [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))))))>
7.092 * * * * [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)))))))>
7.092 * * * * [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)))))>
7.092 * * * * [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)))))>
7.092 * * * * [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)))))>
7.092 * * * * [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)))))>
7.093 * * * * [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)))))>
7.093 * * * * [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)))))>
7.093 * * * * [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)))))>
7.093 * * * * [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)))))>
7.093 * * * * [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)))))>
7.093 * * * * [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)))))>
7.093 * * * * [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)))))>
7.094 * [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)
7.094 * * [simplify]: iteration 1: (28 enodes)
7.107 * * [simplify]: iteration 2: (92 enodes)
7.144 * * [simplify]: iteration 3: (269 enodes)
7.273 * * [simplify]: iteration 4: (1093 enodes)
8.555 * * [simplify]: Extracting #0: cost 14 inf + 0
8.557 * * [simplify]: Extracting #1: cost 328 inf + 0
8.577 * * [simplify]: Extracting #2: cost 1346 inf + 2891
8.591 * * [simplify]: Extracting #3: cost 1849 inf + 16194
8.610 * * [simplify]: Extracting #4: cost 2002 inf + 91347
8.633 * * [simplify]: Extracting #5: cost 1825 inf + 298651
8.721 * * [simplify]: Extracting #6: cost 989 inf + 1846286
9.093 * * [simplify]: Extracting #7: cost 64 inf + 3886679
9.544 * * [simplify]: Extracting #8: cost 0 inf + 4033466
9.830 * [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)))
9.832 * * * [progress]: adding candidates to table
10.183 * * [progress]: iteration 3 / 4
10.183 * * * [progress]: picking best candidate
10.241 * * * * [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)))))>
10.242 * * * [progress]: localizing error
10.649 * * * [progress]: generating rewritten candidates
10.649 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 2)
10.982 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
11.043 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
11.066 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1)
11.069 * * * [progress]: generating series expansions
11.069 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 2)
11.069 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
11.069 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
11.069 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1)
11.069 * * * [progress]: simplifying candidates
11.069 * * * * [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)))))>
11.069 * * * * [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)))))>
11.069 * * * * [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))))))>
11.069 * * * * [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)))))))>
11.069 * * * * [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)))))>
11.069 * * * * [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)))))>
11.069 * * * * [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)))))>
11.069 * * * * [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)))))>
11.069 * * * * [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)))))>
11.069 * * * * [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)))))>
11.069 * * * * [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)))))>
11.069 * * * * [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)))))>
11.070 * * * * [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)))))>
11.070 * [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)
11.070 * * [simplify]: iteration 1: (30 enodes)
11.077 * * [simplify]: iteration 2: (101 enodes)
11.096 * * [simplify]: iteration 3: (300 enodes)
11.179 * * [simplify]: iteration 4: (1144 enodes)
12.325 * * [simplify]: Extracting #0: cost 14 inf + 0
12.326 * * [simplify]: Extracting #1: cost 205 inf + 0
12.328 * * [simplify]: Extracting #2: cost 840 inf + 1769
12.332 * * [simplify]: Extracting #3: cost 1378 inf + 11226
12.342 * * [simplify]: Extracting #4: cost 1594 inf + 73450
12.357 * * [simplify]: Extracting #5: cost 1455 inf + 225694
12.433 * * [simplify]: Extracting #6: cost 720 inf + 1413368
12.618 * * [simplify]: Extracting #7: cost 80 inf + 2737237
12.905 * * [simplify]: Extracting #8: cost 1 inf + 2898479
13.234 * * [simplify]: Extracting #9: cost 0 inf + 2894963
13.545 * [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)))
13.551 * * * [progress]: adding candidates to table
14.068 * * [progress]: iteration 4 / 4
14.068 * * * [progress]: picking best candidate
14.132 * * * * [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)))))>
14.132 * * * [progress]: localizing error
14.664 * * * [progress]: generating rewritten candidates
14.665 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 2)
14.742 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
14.808 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
14.891 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1)
14.894 * * * [progress]: generating series expansions
14.894 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 2)
14.894 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
14.895 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
14.895 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1)
14.895 * * * [progress]: simplifying candidates
14.895 * * * * [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)))))>
14.895 * * * * [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)))))>
14.895 * * * * [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))))))>
14.895 * * * * [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)))))))>
14.895 * * * * [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)))))>
14.895 * * * * [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)))))>
14.895 * * * * [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)))))>
14.895 * * * * [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)))))>
14.895 * * * * [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)))))>
14.895 * * * * [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)))))>
14.896 * * * * [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)))))>
14.896 * * * * [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)))))>
14.896 * * * * [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)))))>
14.896 * [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)
14.897 * * [simplify]: iteration 1: (32 enodes)
14.903 * * [simplify]: iteration 2: (104 enodes)
14.946 * * [simplify]: iteration 3: (347 enodes)
15.053 * * [simplify]: iteration 4: (1408 enodes)
16.876 * * [simplify]: Extracting #0: cost 12 inf + 0
16.878 * * [simplify]: Extracting #1: cost 322 inf + 0
16.900 * * [simplify]: Extracting #2: cost 1257 inf + 1445
16.908 * * [simplify]: Extracting #3: cost 1962 inf + 8425
16.921 * * [simplify]: Extracting #4: cost 2188 inf + 59132
16.948 * * [simplify]: Extracting #5: cost 1876 inf + 492998
17.102 * * [simplify]: Extracting #6: cost 804 inf + 2795819
17.481 * * [simplify]: Extracting #7: cost 51 inf + 4325721
17.861 * * [simplify]: Extracting #8: cost 0 inf + 4247704
18.308 * * [simplify]: Extracting #9: cost 0 inf + 4241544
18.801 * [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)
18.805 * * * [progress]: adding candidates to table
19.240 * [progress]: [Phase 3 of 3] Extracting.
19.240 * * [regime]: Finding splitpoints for: (#<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 (/.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 (+.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 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))))> #<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 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)))))>)
19.246 * * * [regime-changes]: Trying 3 branch expressions: (c b a)
19.246 * * * * [regimes]: Trying to branch on c from (#<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 (/.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 (+.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 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))))> #<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 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)))))>)
19.447 * * * * [regimes]: Trying to branch on b from (#<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 (/.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 (+.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 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))))> #<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 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)))))>)
19.602 * * * * [regimes]: Trying to branch on a from (#<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 (/.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 (+.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 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))))> #<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 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)))))>)
19.820 * * * [regime]: Found split indices: #<option (#s(si 5 256))>
19.821 * [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))))
19.821 * * [simplify]: iteration 1: (19 enodes)
19.822 * * [simplify]: Extracting #0: cost 1 inf + 0
19.822 * * [simplify]: Extracting #1: cost 2 inf + 0
19.822 * * [simplify]: Extracting #2: cost 4 inf + 0
19.822 * * [simplify]: Extracting #3: cost 8 inf + 0
19.822 * * [simplify]: Extracting #4: cost 14 inf + 0
19.822 * * [simplify]: Extracting #5: cost 14 inf + 323
19.822 * * [simplify]: Extracting #6: cost 15 inf + 324
19.822 * * [simplify]: Extracting #7: cost 12 inf + 450
19.822 * * [simplify]: Extracting #8: cost 9 inf + 1539
19.823 * * [simplify]: Extracting #9: cost 2 inf + 8807
19.823 * * [simplify]: Extracting #10: cost 0 inf + 14535
19.823 * [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))))
19.824 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
19.882 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
19.885 * * * * [points]: Setting MPFR precision to 64
19.887 * * * * [points]: Setting MPFR precision to 320
19.888 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
19.892 * * * * [points]: Setting MPFR precision to 64
19.894 * * * * [points]: Setting MPFR precision to 320
19.897 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
19.900 * * * * [points]: Setting MPFR precision to 64
19.907 * * * * [points]: Setting MPFR precision to 320
19.912 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
19.916 * * * * [points]: Setting MPFR precision to 64
19.925 * * * * [points]: Setting MPFR precision to 320
19.934 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
19.938 * * * * [points]: Setting MPFR precision to 64
19.958 * * * * [points]: Setting MPFR precision to 320
19.977 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
19.980 * * * * [points]: Setting MPFR precision to 64
20.049 * * * * [points]: Setting MPFR precision to 320
20.097 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
20.104 * * * * [points]: Setting MPFR precision to 64
20.293 * * * * [points]: Setting MPFR precision to 320
20.428 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
20.438 * * * * [points]: Setting MPFR precision to 64
20.819 * * * * [points]: Setting MPFR precision to 320
21.055 * * * * [points]: Computing exacts for 8000 points
21.059 * * * * [points]: Setting MPFR precision to 64
22.675 * * * * [points]: Setting MPFR precision to 320
23.845 * * * * [points]: Filtering points with unrepresentable outputs
23.849 * * * * [points]: Sampling 6996 additional inputs, on iter 1 have 1004 / 8000
23.897 * * * * [points]: Computing exacts on every 437 of 6996 points to ramp up precision
23.901 * * * * [points]: Setting MPFR precision to 64
23.903 * * * * [points]: Setting MPFR precision to 320
23.904 * * * * [points]: Computing exacts on every 218 of 6996 points to ramp up precision
23.907 * * * * [points]: Setting MPFR precision to 64
23.910 * * * * [points]: Setting MPFR precision to 320
23.912 * * * * [points]: Computing exacts on every 109 of 6996 points to ramp up precision
23.916 * * * * [points]: Setting MPFR precision to 64
23.921 * * * * [points]: Setting MPFR precision to 320
23.925 * * * * [points]: Computing exacts on every 54 of 6996 points to ramp up precision
23.929 * * * * [points]: Setting MPFR precision to 64
23.938 * * * * [points]: Setting MPFR precision to 320
23.948 * * * * [points]: Computing exacts on every 27 of 6996 points to ramp up precision
23.979 * * * * [points]: Setting MPFR precision to 64
24.014 * * * * [points]: Setting MPFR precision to 320
24.036 * * * * [points]: Computing exacts on every 13 of 6996 points to ramp up precision
24.040 * * * * [points]: Setting MPFR precision to 64
24.081 * * * * [points]: Setting MPFR precision to 320
24.118 * * * * [points]: Computing exacts on every 6 of 6996 points to ramp up precision
24.151 * * * * [points]: Setting MPFR precision to 64
24.277 * * * * [points]: Setting MPFR precision to 320
24.474 * * * * [points]: Computing exacts on every 3 of 6996 points to ramp up precision
24.483 * * * * [points]: Setting MPFR precision to 64
24.705 * * * * [points]: Setting MPFR precision to 320
24.931 * * * * [points]: Computing exacts for 6996 points
24.939 * * * * [points]: Setting MPFR precision to 64
26.078 * * * * [points]: Setting MPFR precision to 320
26.957 * * * * [points]: Filtering points with unrepresentable outputs
26.964 * * * * [points]: Sampling 6129 additional inputs, on iter 2 have 1871 / 8000
27.011 * * * * [points]: Computing exacts on every 383 of 6129 points to ramp up precision
27.059 * * * * [points]: Setting MPFR precision to 64
27.062 * * * * [points]: Setting MPFR precision to 320
27.067 * * * * [points]: Computing exacts on every 191 of 6129 points to ramp up precision
27.074 * * * * [points]: Setting MPFR precision to 64
27.079 * * * * [points]: Setting MPFR precision to 320
27.083 * * * * [points]: Computing exacts on every 95 of 6129 points to ramp up precision
27.090 * * * * [points]: Setting MPFR precision to 64
27.099 * * * * [points]: Setting MPFR precision to 320
27.109 * * * * [points]: Computing exacts on every 47 of 6129 points to ramp up precision
27.116 * * * * [points]: Setting MPFR precision to 64
27.133 * * * * [points]: Setting MPFR precision to 320
27.151 * * * * [points]: Computing exacts on every 23 of 6129 points to ramp up precision
27.158 * * * * [points]: Setting MPFR precision to 64
27.195 * * * * [points]: Setting MPFR precision to 320
27.228 * * * * [points]: Computing exacts on every 11 of 6129 points to ramp up precision
27.231 * * * * [points]: Setting MPFR precision to 64
27.320 * * * * [points]: Setting MPFR precision to 320
27.385 * * * * [points]: Computing exacts on every 5 of 6129 points to ramp up precision
27.390 * * * * [points]: Setting MPFR precision to 64
27.519 * * * * [points]: Setting MPFR precision to 320
27.636 * * * * [points]: Computing exacts on every 2 of 6129 points to ramp up precision
27.644 * * * * [points]: Setting MPFR precision to 64
27.997 * * * * [points]: Setting MPFR precision to 320
28.289 * * * * [points]: Computing exacts for 6129 points
28.293 * * * * [points]: Setting MPFR precision to 64
29.505 * * * * [points]: Setting MPFR precision to 320
30.355 * * * * [points]: Filtering points with unrepresentable outputs
30.359 * * * * [points]: Sampling 5330 additional inputs, on iter 3 have 2670 / 8000
30.389 * * * * [points]: Computing exacts on every 333 of 5330 points to ramp up precision
30.393 * * * * [points]: Setting MPFR precision to 64
30.394 * * * * [points]: Setting MPFR precision to 320
30.395 * * * * [points]: Computing exacts on every 166 of 5330 points to ramp up precision
30.399 * * * * [points]: Setting MPFR precision to 64
30.401 * * * * [points]: Setting MPFR precision to 320
30.404 * * * * [points]: Computing exacts on every 83 of 5330 points to ramp up precision
30.407 * * * * [points]: Setting MPFR precision to 64
30.451 * * * * [points]: Setting MPFR precision to 320
30.462 * * * * [points]: Computing exacts on every 41 of 5330 points to ramp up precision
30.469 * * * * [points]: Setting MPFR precision to 64
30.486 * * * * [points]: Setting MPFR precision to 320
30.503 * * * * [points]: Computing exacts on every 20 of 5330 points to ramp up precision
30.510 * * * * [points]: Setting MPFR precision to 64
30.529 * * * * [points]: Setting MPFR precision to 320
30.555 * * * * [points]: Computing exacts on every 10 of 5330 points to ramp up precision
30.562 * * * * [points]: Setting MPFR precision to 64
30.644 * * * * [points]: Setting MPFR precision to 320
30.682 * * * * [points]: Computing exacts on every 5 of 5330 points to ramp up precision
30.685 * * * * [points]: Setting MPFR precision to 64
30.750 * * * * [points]: Setting MPFR precision to 320
30.910 * * * * [points]: Computing exacts on every 2 of 5330 points to ramp up precision
30.917 * * * * [points]: Setting MPFR precision to 64
31.096 * * * * [points]: Setting MPFR precision to 320
31.345 * * * * [points]: Computing exacts for 5330 points
31.349 * * * * [points]: Setting MPFR precision to 64
32.059 * * * * [points]: Setting MPFR precision to 320
33.267 * * * * [points]: Filtering points with unrepresentable outputs
33.271 * * * * [points]: Sampling 4670 additional inputs, on iter 4 have 3330 / 8000
33.307 * * * * [points]: Computing exacts on every 291 of 4670 points to ramp up precision
33.310 * * * * [points]: Setting MPFR precision to 64
33.312 * * * * [points]: Setting MPFR precision to 320
33.313 * * * * [points]: Computing exacts on every 145 of 4670 points to ramp up precision
33.336 * * * * [points]: Setting MPFR precision to 64
33.338 * * * * [points]: Setting MPFR precision to 320
33.341 * * * * [points]: Computing exacts on every 72 of 4670 points to ramp up precision
33.344 * * * * [points]: Setting MPFR precision to 64
33.350 * * * * [points]: Setting MPFR precision to 320
33.355 * * * * [points]: Computing exacts on every 36 of 4670 points to ramp up precision
33.358 * * * * [points]: Setting MPFR precision to 64
33.368 * * * * [points]: Setting MPFR precision to 320
33.376 * * * * [points]: Computing exacts on every 18 of 4670 points to ramp up precision
33.380 * * * * [points]: Setting MPFR precision to 64
33.397 * * * * [points]: Setting MPFR precision to 320
33.415 * * * * [points]: Computing exacts on every 9 of 4670 points to ramp up precision
33.418 * * * * [points]: Setting MPFR precision to 64
33.477 * * * * [points]: Setting MPFR precision to 320
33.511 * * * * [points]: Computing exacts on every 4 of 4670 points to ramp up precision
33.515 * * * * [points]: Setting MPFR precision to 64
33.608 * * * * [points]: Setting MPFR precision to 320
33.677 * * * * [points]: Computing exacts on every 2 of 4670 points to ramp up precision
33.681 * * * * [points]: Setting MPFR precision to 64
33.849 * * * * [points]: Setting MPFR precision to 320
34.007 * * * * [points]: Computing exacts for 4670 points
34.011 * * * * [points]: Setting MPFR precision to 64
34.623 * * * * [points]: Setting MPFR precision to 320
35.152 * * * * [points]: Filtering points with unrepresentable outputs
35.154 * * * * [points]: Sampling 4080 additional inputs, on iter 5 have 3920 / 8000
35.171 * * * * [points]: Computing exacts on every 255 of 4080 points to ramp up precision
35.175 * * * * [points]: Setting MPFR precision to 64
35.176 * * * * [points]: Setting MPFR precision to 320
35.177 * * * * [points]: Computing exacts on every 127 of 4080 points to ramp up precision
35.181 * * * * [points]: Setting MPFR precision to 64
35.184 * * * * [points]: Setting MPFR precision to 320
35.212 * * * * [points]: Computing exacts on every 63 of 4080 points to ramp up precision
35.216 * * * * [points]: Setting MPFR precision to 64
35.225 * * * * [points]: Setting MPFR precision to 320
35.233 * * * * [points]: Computing exacts on every 31 of 4080 points to ramp up precision
35.239 * * * * [points]: Setting MPFR precision to 64
35.253 * * * * [points]: Setting MPFR precision to 320
35.268 * * * * [points]: Computing exacts on every 15 of 4080 points to ramp up precision
35.274 * * * * [points]: Setting MPFR precision to 64
35.293 * * * * [points]: Setting MPFR precision to 320
35.310 * * * * [points]: Computing exacts on every 7 of 4080 points to ramp up precision
35.314 * * * * [points]: Setting MPFR precision to 64
35.404 * * * * [points]: Setting MPFR precision to 320
35.470 * * * * [points]: Computing exacts on every 3 of 4080 points to ramp up precision
35.477 * * * * [points]: Setting MPFR precision to 64
35.993 * * * * [points]: Setting MPFR precision to 320
36.066 * * * * [points]: Computing exacts for 4080 points
36.070 * * * * [points]: Setting MPFR precision to 64
36.472 * * * * [points]: Setting MPFR precision to 320
36.866 * * * * [points]: Filtering points with unrepresentable outputs
36.870 * * * * [points]: Sampling 3560 additional inputs, on iter 6 have 4440 / 8000
36.935 * * * * [points]: Computing exacts on every 222 of 3560 points to ramp up precision
36.939 * * * * [points]: Setting MPFR precision to 64
36.940 * * * * [points]: Setting MPFR precision to 320
36.941 * * * * [points]: Computing exacts on every 111 of 3560 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 55 of 3560 points to ramp up precision
36.953 * * * * [points]: Setting MPFR precision to 64
36.957 * * * * [points]: Setting MPFR precision to 320
36.962 * * * * [points]: Computing exacts on every 27 of 3560 points to ramp up precision
36.966 * * * * [points]: Setting MPFR precision to 64
36.975 * * * * [points]: Setting MPFR precision to 320
36.985 * * * * [points]: Computing exacts on every 13 of 3560 points to ramp up precision
36.989 * * * * [points]: Setting MPFR precision to 64
37.008 * * * * [points]: Setting MPFR precision to 320
37.038 * * * * [points]: Computing exacts on every 6 of 3560 points to ramp up precision
37.084 * * * * [points]: Setting MPFR precision to 64
37.124 * * * * [points]: Setting MPFR precision to 320
37.159 * * * * [points]: Computing exacts on every 3 of 3560 points to ramp up precision
37.163 * * * * [points]: Setting MPFR precision to 64
37.308 * * * * [points]: Setting MPFR precision to 320
37.426 * * * * [points]: Computing exacts for 3560 points
37.433 * * * * [points]: Setting MPFR precision to 64
38.076 * * * * [points]: Setting MPFR precision to 320
38.466 * * * * [points]: Filtering points with unrepresentable outputs
38.467 * * * * [points]: Sampling 3107 additional inputs, on iter 7 have 4893 / 8000
38.480 * * * * [points]: Computing exacts on every 194 of 3107 points to ramp up precision
38.484 * * * * [points]: Setting MPFR precision to 64
38.485 * * * * [points]: Setting MPFR precision to 320
38.486 * * * * [points]: Computing exacts on every 97 of 3107 points to ramp up precision
38.490 * * * * [points]: Setting MPFR precision to 64
38.493 * * * * [points]: Setting MPFR precision to 320
38.495 * * * * [points]: Computing exacts on every 48 of 3107 points to ramp up precision
38.499 * * * * [points]: Setting MPFR precision to 64
38.503 * * * * [points]: Setting MPFR precision to 320
38.508 * * * * [points]: Computing exacts on every 24 of 3107 points to ramp up precision
38.511 * * * * [points]: Setting MPFR precision to 64
38.526 * * * * [points]: Setting MPFR precision to 320
38.577 * * * * [points]: Computing exacts on every 12 of 3107 points to ramp up precision
38.584 * * * * [points]: Setting MPFR precision to 64
38.609 * * * * [points]: Setting MPFR precision to 320
38.628 * * * * [points]: Computing exacts on every 6 of 3107 points to ramp up precision
38.631 * * * * [points]: Setting MPFR precision to 64
38.662 * * * * [points]: Setting MPFR precision to 320
38.695 * * * * [points]: Computing exacts on every 3 of 3107 points to ramp up precision
38.727 * * * * [points]: Setting MPFR precision to 64
38.785 * * * * [points]: Setting MPFR precision to 320
38.843 * * * * [points]: Computing exacts for 3107 points
39.217 * * * * [points]: Setting MPFR precision to 64
39.726 * * * * [points]: Setting MPFR precision to 320
40.078 * * * * [points]: Filtering points with unrepresentable outputs
40.084 * * * * [points]: Sampling 2709 additional inputs, on iter 8 have 5291 / 8000
40.106 * * * * [points]: Computing exacts on every 169 of 2709 points to ramp up precision
40.109 * * * * [points]: Setting MPFR precision to 64
40.111 * * * * [points]: Setting MPFR precision to 320
40.112 * * * * [points]: Computing exacts on every 84 of 2709 points to ramp up precision
40.116 * * * * [points]: Setting MPFR precision to 64
40.118 * * * * [points]: Setting MPFR precision to 320
40.121 * * * * [points]: Computing exacts on every 42 of 2709 points to ramp up precision
40.124 * * * * [points]: Setting MPFR precision to 64
40.129 * * * * [points]: Setting MPFR precision to 320
40.134 * * * * [points]: Computing exacts on every 21 of 2709 points to ramp up precision
40.137 * * * * [points]: Setting MPFR precision to 64
40.147 * * * * [points]: Setting MPFR precision to 320
40.162 * * * * [points]: Computing exacts on every 10 of 2709 points to ramp up precision
40.168 * * * * [points]: Setting MPFR precision to 64
40.186 * * * * [points]: Setting MPFR precision to 320
40.227 * * * * [points]: Computing exacts on every 5 of 2709 points to ramp up precision
40.235 * * * * [points]: Setting MPFR precision to 64
40.278 * * * * [points]: Setting MPFR precision to 320
40.319 * * * * [points]: Computing exacts on every 2 of 2709 points to ramp up precision
40.323 * * * * [points]: Setting MPFR precision to 64
40.439 * * * * [points]: Setting MPFR precision to 320
40.514 * * * * [points]: Computing exacts for 2709 points
40.518 * * * * [points]: Setting MPFR precision to 64
40.783 * * * * [points]: Setting MPFR precision to 320
41.052 * * * * [points]: Filtering points with unrepresentable outputs
41.053 * * * * [points]: Sampling 2372 additional inputs, on iter 9 have 5628 / 8000
41.063 * * * * [points]: Computing exacts on every 148 of 2372 points to ramp up precision
41.067 * * * * [points]: Setting MPFR precision to 64
41.068 * * * * [points]: Setting MPFR precision to 320
41.070 * * * * [points]: Computing exacts on every 74 of 2372 points to ramp up precision
41.073 * * * * [points]: Setting MPFR precision to 64
41.075 * * * * [points]: Setting MPFR precision to 320
41.078 * * * * [points]: Computing exacts on every 37 of 2372 points to ramp up precision
41.081 * * * * [points]: Setting MPFR precision to 64
41.086 * * * * [points]: Setting MPFR precision to 320
41.091 * * * * [points]: Computing exacts on every 18 of 2372 points to ramp up precision
41.094 * * * * [points]: Setting MPFR precision to 64
41.104 * * * * [points]: Setting MPFR precision to 320
41.112 * * * * [points]: Computing exacts on every 9 of 2372 points to ramp up precision
41.116 * * * * [points]: Setting MPFR precision to 64
41.165 * * * * [points]: Setting MPFR precision to 320
41.191 * * * * [points]: Computing exacts on every 4 of 2372 points to ramp up precision
41.195 * * * * [points]: Setting MPFR precision to 64
41.230 * * * * [points]: Setting MPFR precision to 320
41.286 * * * * [points]: Computing exacts on every 2 of 2372 points to ramp up precision
41.290 * * * * [points]: Setting MPFR precision to 64
41.379 * * * * [points]: Setting MPFR precision to 320
41.436 * * * * [points]: Computing exacts for 2372 points
41.439 * * * * [points]: Setting MPFR precision to 64
41.685 * * * * [points]: Setting MPFR precision to 320
41.890 * * * * [points]: Filtering points with unrepresentable outputs
41.891 * * * * [points]: Sampling 2067 additional inputs, on iter 10 have 5933 / 8000
41.899 * * * * [points]: Computing exacts on every 129 of 2067 points to ramp up precision
42.278 * * * * [points]: Setting MPFR precision to 64
42.279 * * * * [points]: Setting MPFR precision to 320
42.281 * * * * [points]: Computing exacts on every 64 of 2067 points to ramp up precision
42.286 * * * * [points]: Setting MPFR precision to 64
42.289 * * * * [points]: Setting MPFR precision to 320
42.292 * * * * [points]: Computing exacts on every 32 of 2067 points to ramp up precision
42.296 * * * * [points]: Setting MPFR precision to 64
42.300 * * * * [points]: Setting MPFR precision to 320
42.305 * * * * [points]: Computing exacts on every 16 of 2067 points to ramp up precision
42.308 * * * * [points]: Setting MPFR precision to 64
42.317 * * * * [points]: Setting MPFR precision to 320
42.327 * * * * [points]: Computing exacts on every 8 of 2067 points to ramp up precision
42.330 * * * * [points]: Setting MPFR precision to 64
42.347 * * * * [points]: Setting MPFR precision to 320
42.363 * * * * [points]: Computing exacts on every 4 of 2067 points to ramp up precision
42.367 * * * * [points]: Setting MPFR precision to 64
42.423 * * * * [points]: Setting MPFR precision to 320
42.453 * * * * [points]: Computing exacts on every 2 of 2067 points to ramp up precision
42.457 * * * * [points]: Setting MPFR precision to 64
42.505 * * * * [points]: Setting MPFR precision to 320
42.590 * * * * [points]: Computing exacts for 2067 points
42.593 * * * * [points]: Setting MPFR precision to 64
42.783 * * * * [points]: Setting MPFR precision to 320
43.027 * * * * [points]: Filtering points with unrepresentable outputs
43.028 * * * * [points]: Sampling 1851 additional inputs, on iter 11 have 6149 / 8000
43.038 * * * * [points]: Computing exacts on every 115 of 1851 points to ramp up precision
43.041 * * * * [points]: Setting MPFR precision to 64
43.043 * * * * [points]: Setting MPFR precision to 320
43.044 * * * * [points]: Computing exacts on every 57 of 1851 points to ramp up precision
43.047 * * * * [points]: Setting MPFR precision to 64
43.050 * * * * [points]: Setting MPFR precision to 320
43.052 * * * * [points]: Computing exacts on every 28 of 1851 points to ramp up precision
43.055 * * * * [points]: Setting MPFR precision to 64
43.060 * * * * [points]: Setting MPFR precision to 320
43.064 * * * * [points]: Computing exacts on every 14 of 1851 points to ramp up precision
43.068 * * * * [points]: Setting MPFR precision to 64
43.077 * * * * [points]: Setting MPFR precision to 320
43.086 * * * * [points]: Computing exacts on every 7 of 1851 points to ramp up precision
43.090 * * * * [points]: Setting MPFR precision to 64
43.106 * * * * [points]: Setting MPFR precision to 320
43.123 * * * * [points]: Computing exacts on every 3 of 1851 points to ramp up precision
43.126 * * * * [points]: Setting MPFR precision to 64
43.190 * * * * [points]: Setting MPFR precision to 320
43.224 * * * * [points]: Computing exacts for 1851 points
43.227 * * * * [points]: Setting MPFR precision to 64
43.453 * * * * [points]: Setting MPFR precision to 320
43.658 * * * * [points]: Filtering points with unrepresentable outputs
43.659 * * * * [points]: Sampling 1631 additional inputs, on iter 12 have 6369 / 8000
43.666 * * * * [points]: Computing exacts on every 101 of 1631 points to ramp up precision
43.709 * * * * [points]: Setting MPFR precision to 64
43.715 * * * * [points]: Setting MPFR precision to 320
43.717 * * * * [points]: Computing exacts on every 50 of 1631 points to ramp up precision
43.723 * * * * [points]: Setting MPFR precision to 64
43.727 * * * * [points]: Setting MPFR precision to 320
43.731 * * * * [points]: Computing exacts on every 25 of 1631 points to ramp up precision
43.737 * * * * [points]: Setting MPFR precision to 64
43.744 * * * * [points]: Setting MPFR precision to 320
43.749 * * * * [points]: Computing exacts on every 12 of 1631 points to ramp up precision
43.753 * * * * [points]: Setting MPFR precision to 64
43.762 * * * * [points]: Setting MPFR precision to 320
43.771 * * * * [points]: Computing exacts on every 6 of 1631 points to ramp up precision
43.777 * * * * [points]: Setting MPFR precision to 64
43.803 * * * * [points]: Setting MPFR precision to 320
43.828 * * * * [points]: Computing exacts on every 3 of 1631 points to ramp up precision
43.835 * * * * [points]: Setting MPFR precision to 64
43.931 * * * * [points]: Setting MPFR precision to 320
43.987 * * * * [points]: Computing exacts for 1631 points
43.995 * * * * [points]: Setting MPFR precision to 64
44.223 * * * * [points]: Setting MPFR precision to 320
44.402 * * * * [points]: Filtering points with unrepresentable outputs
44.403 * * * * [points]: Sampling 1419 additional inputs, on iter 13 have 6581 / 8000
44.409 * * * * [points]: Computing exacts on every 88 of 1419 points to ramp up precision
44.413 * * * * [points]: Setting MPFR precision to 64
44.415 * * * * [points]: Setting MPFR precision to 320
44.416 * * * * [points]: Computing exacts on every 44 of 1419 points to ramp up precision
44.419 * * * * [points]: Setting MPFR precision to 64
44.422 * * * * [points]: Setting MPFR precision to 320
44.424 * * * * [points]: Computing exacts on every 22 of 1419 points to ramp up precision
44.428 * * * * [points]: Setting MPFR precision to 64
44.432 * * * * [points]: Setting MPFR precision to 320
44.436 * * * * [points]: Computing exacts on every 11 of 1419 points to ramp up precision
44.440 * * * * [points]: Setting MPFR precision to 64
44.478 * * * * [points]: Setting MPFR precision to 320
44.488 * * * * [points]: Computing exacts on every 5 of 1419 points to ramp up precision
44.492 * * * * [points]: Setting MPFR precision to 64
44.509 * * * * [points]: Setting MPFR precision to 320
44.527 * * * * [points]: Computing exacts on every 2 of 1419 points to ramp up precision
44.531 * * * * [points]: Setting MPFR precision to 64
44.565 * * * * [points]: Setting MPFR precision to 320
44.657 * * * * [points]: Computing exacts for 1419 points
44.664 * * * * [points]: Setting MPFR precision to 64
44.811 * * * * [points]: Setting MPFR precision to 320
44.931 * * * * [points]: Filtering points with unrepresentable outputs
44.932 * * * * [points]: Sampling 1244 additional inputs, on iter 14 have 6756 / 8000
44.941 * * * * [points]: Computing exacts on every 77 of 1244 points to ramp up precision
44.946 * * * * [points]: Setting MPFR precision to 64
44.979 * * * * [points]: Setting MPFR precision to 320
44.981 * * * * [points]: Computing exacts on every 38 of 1244 points to ramp up precision
44.985 * * * * [points]: Setting MPFR precision to 64
44.989 * * * * [points]: Setting MPFR precision to 320
44.992 * * * * [points]: Computing exacts on every 19 of 1244 points to ramp up precision
44.996 * * * * [points]: Setting MPFR precision to 64
45.001 * * * * [points]: Setting MPFR precision to 320
45.008 * * * * [points]: Computing exacts on every 9 of 1244 points to ramp up precision
45.012 * * * * [points]: Setting MPFR precision to 64
45.020 * * * * [points]: Setting MPFR precision to 320
45.032 * * * * [points]: Computing exacts on every 4 of 1244 points to ramp up precision
45.039 * * * * [points]: Setting MPFR precision to 64
45.061 * * * * [points]: Setting MPFR precision to 320
45.079 * * * * [points]: Computing exacts on every 2 of 1244 points to ramp up precision
45.082 * * * * [points]: Setting MPFR precision to 64
45.543 * * * * [points]: Setting MPFR precision to 320
45.579 * * * * [points]: Computing exacts for 1244 points
45.583 * * * * [points]: Setting MPFR precision to 64
45.709 * * * * [points]: Setting MPFR precision to 320
45.843 * * * * [points]: Filtering points with unrepresentable outputs
45.844 * * * * [points]: Sampling 1077 additional inputs, on iter 15 have 6923 / 8000
45.856 * * * * [points]: Computing exacts on every 67 of 1077 points to ramp up precision
45.862 * * * * [points]: Setting MPFR precision to 64
45.864 * * * * [points]: Setting MPFR precision to 320
45.865 * * * * [points]: Computing exacts on every 33 of 1077 points to ramp up precision
45.868 * * * * [points]: Setting MPFR precision to 64
45.871 * * * * [points]: Setting MPFR precision to 320
45.873 * * * * [points]: Computing exacts on every 16 of 1077 points to ramp up precision
45.877 * * * * [points]: Setting MPFR precision to 64
45.881 * * * * [points]: Setting MPFR precision to 320
45.886 * * * * [points]: Computing exacts on every 8 of 1077 points to ramp up precision
45.890 * * * * [points]: Setting MPFR precision to 64
45.898 * * * * [points]: Setting MPFR precision to 320
45.908 * * * * [points]: Computing exacts on every 4 of 1077 points to ramp up precision
45.915 * * * * [points]: Setting MPFR precision to 64
45.932 * * * * [points]: Setting MPFR precision to 320
45.948 * * * * [points]: Computing exacts on every 2 of 1077 points to ramp up precision
45.951 * * * * [points]: Setting MPFR precision to 64
46.003 * * * * [points]: Setting MPFR precision to 320
46.029 * * * * [points]: Computing exacts for 1077 points
46.033 * * * * [points]: Setting MPFR precision to 64
46.175 * * * * [points]: Setting MPFR precision to 320
46.253 * * * * [points]: Filtering points with unrepresentable outputs
46.254 * * * * [points]: Sampling 949 additional inputs, on iter 16 have 7051 / 8000
46.258 * * * * [points]: Computing exacts on every 59 of 949 points to ramp up precision
46.262 * * * * [points]: Setting MPFR precision to 64
46.263 * * * * [points]: Setting MPFR precision to 320
46.265 * * * * [points]: Computing exacts on every 29 of 949 points to ramp up precision
46.272 * * * * [points]: Setting MPFR precision to 64
46.276 * * * * [points]: Setting MPFR precision to 320
46.279 * * * * [points]: Computing exacts on every 14 of 949 points to ramp up precision
46.319 * * * * [points]: Setting MPFR precision to 64
46.330 * * * * [points]: Setting MPFR precision to 320
46.339 * * * * [points]: Computing exacts on every 7 of 949 points to ramp up precision
46.345 * * * * [points]: Setting MPFR precision to 64
46.361 * * * * [points]: Setting MPFR precision to 320
46.371 * * * * [points]: Computing exacts on every 3 of 949 points to ramp up precision
46.375 * * * * [points]: Setting MPFR precision to 64
46.391 * * * * [points]: Setting MPFR precision to 320
46.415 * * * * [points]: Computing exacts for 949 points
46.422 * * * * [points]: Setting MPFR precision to 64
46.529 * * * * [points]: Setting MPFR precision to 320
46.596 * * * * [points]: Filtering points with unrepresentable outputs
46.597 * * * * [points]: Sampling 839 additional inputs, on iter 17 have 7161 / 8000
46.600 * * * * [points]: Computing exacts on every 52 of 839 points to ramp up precision
46.604 * * * * [points]: Setting MPFR precision to 64
46.636 * * * * [points]: Setting MPFR precision to 320
46.638 * * * * [points]: Computing exacts on every 26 of 839 points to ramp up precision
46.641 * * * * [points]: Setting MPFR precision to 64
46.644 * * * * [points]: Setting MPFR precision to 320
46.648 * * * * [points]: Computing exacts on every 13 of 839 points to ramp up precision
46.651 * * * * [points]: Setting MPFR precision to 64
46.655 * * * * [points]: Setting MPFR precision to 320
46.661 * * * * [points]: Computing exacts on every 6 of 839 points to ramp up precision
46.667 * * * * [points]: Setting MPFR precision to 64
46.679 * * * * [points]: Setting MPFR precision to 320
46.688 * * * * [points]: Computing exacts on every 3 of 839 points to ramp up precision
46.692 * * * * [points]: Setting MPFR precision to 64
46.708 * * * * [points]: Setting MPFR precision to 320
46.722 * * * * [points]: Computing exacts for 839 points
46.726 * * * * [points]: Setting MPFR precision to 64
46.810 * * * * [points]: Setting MPFR precision to 320
46.871 * * * * [points]: Filtering points with unrepresentable outputs
46.872 * * * * [points]: Sampling 717 additional inputs, on iter 18 have 7283 / 8000
46.875 * * * * [points]: Computing exacts on every 44 of 717 points to ramp up precision
46.879 * * * * [points]: Setting MPFR precision to 64
46.880 * * * * [points]: Setting MPFR precision to 320
46.881 * * * * [points]: Computing exacts on every 22 of 717 points to ramp up precision
46.914 * * * * [points]: Setting MPFR precision to 64
46.917 * * * * [points]: Setting MPFR precision to 320
46.920 * * * * [points]: Computing exacts on every 11 of 717 points to ramp up precision
46.925 * * * * [points]: Setting MPFR precision to 64
46.930 * * * * [points]: Setting MPFR precision to 320
46.935 * * * * [points]: Computing exacts on every 5 of 717 points to ramp up precision
46.938 * * * * [points]: Setting MPFR precision to 64
46.947 * * * * [points]: Setting MPFR precision to 320
46.956 * * * * [points]: Computing exacts on every 2 of 717 points to ramp up precision
46.960 * * * * [points]: Setting MPFR precision to 64
46.978 * * * * [points]: Setting MPFR precision to 320
46.995 * * * * [points]: Computing exacts for 717 points
46.998 * * * * [points]: Setting MPFR precision to 64
47.077 * * * * [points]: Setting MPFR precision to 320
47.130 * * * * [points]: Filtering points with unrepresentable outputs
47.130 * * * * [points]: Sampling 631 additional inputs, on iter 19 have 7369 / 8000
47.132 * * * * [points]: Computing exacts on every 39 of 631 points to ramp up precision
47.136 * * * * [points]: Setting MPFR precision to 64
47.137 * * * * [points]: Setting MPFR precision to 320
47.138 * * * * [points]: Computing exacts on every 19 of 631 points to ramp up precision
47.142 * * * * [points]: Setting MPFR precision to 64
47.144 * * * * [points]: Setting MPFR precision to 320
47.146 * * * * [points]: Computing exacts on every 9 of 631 points to ramp up precision
47.150 * * * * [points]: Setting MPFR precision to 64
47.179 * * * * [points]: Setting MPFR precision to 320
47.183 * * * * [points]: Computing exacts on every 4 of 631 points to ramp up precision
47.187 * * * * [points]: Setting MPFR precision to 64
47.198 * * * * [points]: Setting MPFR precision to 320
47.208 * * * * [points]: Computing exacts on every 2 of 631 points to ramp up precision
47.212 * * * * [points]: Setting MPFR precision to 64
47.226 * * * * [points]: Setting MPFR precision to 320
47.242 * * * * [points]: Computing exacts for 631 points
47.245 * * * * [points]: Setting MPFR precision to 64
47.330 * * * * [points]: Setting MPFR precision to 320
47.389 * * * * [points]: Filtering points with unrepresentable outputs
47.390 * * * * [points]: Sampling 554 additional inputs, on iter 20 have 7446 / 8000
47.394 * * * * [points]: Computing exacts on every 34 of 554 points to ramp up precision
47.401 * * * * [points]: Setting MPFR precision to 64
47.402 * * * * [points]: Setting MPFR precision to 320
47.403 * * * * [points]: Computing exacts on every 17 of 554 points to ramp up precision
47.407 * * * * [points]: Setting MPFR precision to 64
47.409 * * * * [points]: Setting MPFR precision to 320
47.411 * * * * [points]: Computing exacts on every 8 of 554 points to ramp up precision
47.415 * * * * [points]: Setting MPFR precision to 64
47.419 * * * * [points]: Setting MPFR precision to 320
47.423 * * * * [points]: Computing exacts on every 4 of 554 points to ramp up precision
47.427 * * * * [points]: Setting MPFR precision to 64
47.437 * * * * [points]: Setting MPFR precision to 320
47.451 * * * * [points]: Computing exacts on every 2 of 554 points to ramp up precision
47.455 * * * * [points]: Setting MPFR precision to 64
47.492 * * * * [points]: Setting MPFR precision to 320
47.505 * * * * [points]: Computing exacts for 554 points
47.509 * * * * [points]: Setting MPFR precision to 64
47.567 * * * * [points]: Setting MPFR precision to 320
47.629 * * * * [points]: Filtering points with unrepresentable outputs
47.630 * * * * [points]: Sampling 495 additional inputs, on iter 21 have 7505 / 8000
47.634 * * * * [points]: Computing exacts on every 30 of 495 points to ramp up precision
47.686 * * * * [points]: Setting MPFR precision to 64
47.688 * * * * [points]: Setting MPFR precision to 320
47.694 * * * * [points]: Computing exacts on every 15 of 495 points to ramp up precision
47.699 * * * * [points]: Setting MPFR precision to 64
47.701 * * * * [points]: Setting MPFR precision to 320
47.704 * * * * [points]: Computing exacts on every 7 of 495 points to ramp up precision
47.708 * * * * [points]: Setting MPFR precision to 64
47.712 * * * * [points]: Setting MPFR precision to 320
47.716 * * * * [points]: Computing exacts on every 3 of 495 points to ramp up precision
47.720 * * * * [points]: Setting MPFR precision to 64
47.729 * * * * [points]: Setting MPFR precision to 320
47.738 * * * * [points]: Computing exacts for 495 points
47.742 * * * * [points]: Setting MPFR precision to 64
47.800 * * * * [points]: Setting MPFR precision to 320
47.892 * * * * [points]: Filtering points with unrepresentable outputs
47.893 * * * * [points]: Sampling 441 additional inputs, on iter 22 have 7559 / 8000
47.896 * * * * [points]: Computing exacts on every 27 of 441 points to ramp up precision
47.902 * * * * [points]: Setting MPFR precision to 64
47.903 * * * * [points]: Setting MPFR precision to 320
47.904 * * * * [points]: Computing exacts on every 13 of 441 points to ramp up precision
47.907 * * * * [points]: Setting MPFR precision to 64
47.910 * * * * [points]: Setting MPFR precision to 320
47.912 * * * * [points]: Computing exacts on every 6 of 441 points to ramp up precision
47.915 * * * * [points]: Setting MPFR precision to 64
47.920 * * * * [points]: Setting MPFR precision to 320
47.924 * * * * [points]: Computing exacts on every 3 of 441 points to ramp up precision
47.928 * * * * [points]: Setting MPFR precision to 64
47.936 * * * * [points]: Setting MPFR precision to 320
47.944 * * * * [points]: Computing exacts for 441 points
47.948 * * * * [points]: Setting MPFR precision to 64
48.000 * * * * [points]: Setting MPFR precision to 320
48.035 * * * * [points]: Filtering points with unrepresentable outputs
48.036 * * * * [points]: Sampling 397 additional inputs, on iter 23 have 7603 / 8000
48.037 * * * * [points]: Computing exacts on every 24 of 397 points to ramp up precision
48.042 * * * * [points]: Setting MPFR precision to 64
48.044 * * * * [points]: Setting MPFR precision to 320
48.046 * * * * [points]: Computing exacts on every 12 of 397 points to ramp up precision
48.052 * * * * [points]: Setting MPFR precision to 64
48.056 * * * * [points]: Setting MPFR precision to 320
48.060 * * * * [points]: Computing exacts on every 6 of 397 points to ramp up precision
48.067 * * * * [points]: Setting MPFR precision to 64
48.075 * * * * [points]: Setting MPFR precision to 320
48.082 * * * * [points]: Computing exacts on every 3 of 397 points to ramp up precision
48.089 * * * * [points]: Setting MPFR precision to 64
48.101 * * * * [points]: Setting MPFR precision to 320
48.114 * * * * [points]: Computing exacts for 397 points
48.120 * * * * [points]: Setting MPFR precision to 64
48.576 * * * * [points]: Setting MPFR precision to 320
48.604 * * * * [points]: Filtering points with unrepresentable outputs
48.604 * * * * [points]: Sampling 356 additional inputs, on iter 24 have 7644 / 8000
48.605 * * * * [points]: Computing exacts on every 22 of 356 points to ramp up precision
48.609 * * * * [points]: Setting MPFR precision to 64
48.610 * * * * [points]: Setting MPFR precision to 320
48.611 * * * * [points]: Computing exacts on every 11 of 356 points to ramp up precision
48.615 * * * * [points]: Setting MPFR precision to 64
48.617 * * * * [points]: Setting MPFR precision to 320
48.619 * * * * [points]: Computing exacts on every 5 of 356 points to ramp up precision
48.623 * * * * [points]: Setting MPFR precision to 64
48.627 * * * * [points]: Setting MPFR precision to 320
48.632 * * * * [points]: Computing exacts on every 2 of 356 points to ramp up precision
48.636 * * * * [points]: Setting MPFR precision to 64
48.644 * * * * [points]: Setting MPFR precision to 320
48.653 * * * * [points]: Computing exacts for 356 points
48.656 * * * * [points]: Setting MPFR precision to 64
48.729 * * * * [points]: Setting MPFR precision to 320
48.762 * * * * [points]: Filtering points with unrepresentable outputs
48.762 * * * * [points]: Sampling 317 additional inputs, on iter 25 have 7683 / 8000
48.763 * * * * [points]: Computing exacts on every 19 of 317 points to ramp up precision
48.767 * * * * [points]: Setting MPFR precision to 64
48.769 * * * * [points]: Setting MPFR precision to 320
48.770 * * * * [points]: Computing exacts on every 9 of 317 points to ramp up precision
48.774 * * * * [points]: Setting MPFR precision to 64
48.776 * * * * [points]: Setting MPFR precision to 320
48.778 * * * * [points]: Computing exacts on every 4 of 317 points to ramp up precision
48.782 * * * * [points]: Setting MPFR precision to 64
48.787 * * * * [points]: Setting MPFR precision to 320
48.791 * * * * [points]: Computing exacts on every 2 of 317 points to ramp up precision
48.795 * * * * [points]: Setting MPFR precision to 64
48.803 * * * * [points]: Setting MPFR precision to 320
48.810 * * * * [points]: Computing exacts for 317 points
48.814 * * * * [points]: Setting MPFR precision to 64
48.877 * * * * [points]: Setting MPFR precision to 320
48.902 * * * * [points]: Filtering points with unrepresentable outputs
48.902 * * * * [points]: Sampling 269 additional inputs, on iter 26 have 7731 / 8000
48.903 * * * * [points]: Computing exacts on every 16 of 269 points to ramp up precision
48.907 * * * * [points]: Setting MPFR precision to 64
48.908 * * * * [points]: Setting MPFR precision to 320
48.909 * * * * [points]: Computing exacts on every 8 of 269 points to ramp up precision
48.913 * * * * [points]: Setting MPFR precision to 64
48.915 * * * * [points]: Setting MPFR precision to 320
48.917 * * * * [points]: Computing exacts on every 4 of 269 points to ramp up precision
48.921 * * * * [points]: Setting MPFR precision to 64
48.925 * * * * [points]: Setting MPFR precision to 320
48.929 * * * * [points]: Computing exacts on every 2 of 269 points to ramp up precision
48.933 * * * * [points]: Setting MPFR precision to 64
48.940 * * * * [points]: Setting MPFR precision to 320
48.946 * * * * [points]: Computing exacts for 269 points
48.950 * * * * [points]: Setting MPFR precision to 64
49.000 * * * * [points]: Setting MPFR precision to 320
49.029 * * * * [points]: Filtering points with unrepresentable outputs
49.029 * * * * [points]: Sampling 240 additional inputs, on iter 27 have 7760 / 8000
49.030 * * * * [points]: Computing exacts on every 15 of 240 points to ramp up precision
49.034 * * * * [points]: Setting MPFR precision to 64
49.035 * * * * [points]: Setting MPFR precision to 320
49.036 * * * * [points]: Computing exacts on every 7 of 240 points to ramp up precision
49.040 * * * * [points]: Setting MPFR precision to 64
49.042 * * * * [points]: Setting MPFR precision to 320
49.044 * * * * [points]: Computing exacts on every 3 of 240 points to ramp up precision
49.048 * * * * [points]: Setting MPFR precision to 64
49.052 * * * * [points]: Setting MPFR precision to 320
49.057 * * * * [points]: Computing exacts for 240 points
49.061 * * * * [points]: Setting MPFR precision to 64
49.077 * * * * [points]: Setting MPFR precision to 320
49.097 * * * * [points]: Filtering points with unrepresentable outputs
49.097 * * * * [points]: Sampling 205 additional inputs, on iter 28 have 7795 / 8000
49.098 * * * * [points]: Computing exacts on every 12 of 205 points to ramp up precision
49.102 * * * * [points]: Setting MPFR precision to 64
49.104 * * * * [points]: Setting MPFR precision to 320
49.107 * * * * [points]: Computing exacts on every 6 of 205 points to ramp up precision
49.135 * * * * [points]: Setting MPFR precision to 64
49.138 * * * * [points]: Setting MPFR precision to 320
49.140 * * * * [points]: Computing exacts on every 3 of 205 points to ramp up precision
49.144 * * * * [points]: Setting MPFR precision to 64
49.149 * * * * [points]: Setting MPFR precision to 320
49.153 * * * * [points]: Computing exacts for 205 points
49.157 * * * * [points]: Setting MPFR precision to 64
49.172 * * * * [points]: Setting MPFR precision to 320
49.186 * * * * [points]: Filtering points with unrepresentable outputs
49.186 * * * * [points]: Sampling 185 additional inputs, on iter 29 have 7815 / 8000
49.187 * * * * [points]: Computing exacts on every 11 of 185 points to ramp up precision
49.192 * * * * [points]: Setting MPFR precision to 64
49.193 * * * * [points]: Setting MPFR precision to 320
49.194 * * * * [points]: Computing exacts on every 5 of 185 points to ramp up precision
49.197 * * * * [points]: Setting MPFR precision to 64
49.200 * * * * [points]: Setting MPFR precision to 320
49.202 * * * * [points]: Computing exacts on every 2 of 185 points to ramp up precision
49.205 * * * * [points]: Setting MPFR precision to 64
49.212 * * * * [points]: Setting MPFR precision to 320
49.220 * * * * [points]: Computing exacts for 185 points
49.227 * * * * [points]: Setting MPFR precision to 64
49.244 * * * * [points]: Setting MPFR precision to 320
49.285 * * * * [points]: Filtering points with unrepresentable outputs
49.285 * * * * [points]: Sampling 160 additional inputs, on iter 30 have 7840 / 8000
49.287 * * * * [points]: Computing exacts on every 10 of 160 points to ramp up precision
49.291 * * * * [points]: Setting MPFR precision to 64
49.292 * * * * [points]: Setting MPFR precision to 320
49.293 * * * * [points]: Computing exacts on every 5 of 160 points to ramp up precision
49.297 * * * * [points]: Setting MPFR precision to 64
49.299 * * * * [points]: Setting MPFR precision to 320
49.301 * * * * [points]: Computing exacts on every 2 of 160 points to ramp up precision
49.304 * * * * [points]: Setting MPFR precision to 64
49.308 * * * * [points]: Setting MPFR precision to 320
49.312 * * * * [points]: Computing exacts for 160 points
49.316 * * * * [points]: Setting MPFR precision to 64
49.329 * * * * [points]: Setting MPFR precision to 320
49.351 * * * * [points]: Filtering points with unrepresentable outputs
49.351 * * * * [points]: Sampling 133 additional inputs, on iter 31 have 7867 / 8000
49.352 * * * * [points]: Computing exacts on every 8 of 133 points to ramp up precision
49.356 * * * * [points]: Setting MPFR precision to 64
49.357 * * * * [points]: Setting MPFR precision to 320
49.358 * * * * [points]: Computing exacts on every 4 of 133 points to ramp up precision
49.361 * * * * [points]: Setting MPFR precision to 64
49.363 * * * * [points]: Setting MPFR precision to 320
49.365 * * * * [points]: Computing exacts on every 2 of 133 points to ramp up precision
49.368 * * * * [points]: Setting MPFR precision to 64
49.371 * * * * [points]: Setting MPFR precision to 320
49.375 * * * * [points]: Computing exacts for 133 points
49.378 * * * * [points]: Setting MPFR precision to 64
49.410 * * * * [points]: Setting MPFR precision to 320
49.422 * * * * [points]: Filtering points with unrepresentable outputs
49.422 * * * * [points]: Sampling 118 additional inputs, on iter 32 have 7882 / 8000
49.423 * * * * [points]: Computing exacts on every 7 of 118 points to ramp up precision
49.426 * * * * [points]: Setting MPFR precision to 64
49.427 * * * * [points]: Setting MPFR precision to 320
49.428 * * * * [points]: Computing exacts on every 3 of 118 points to ramp up precision
49.432 * * * * [points]: Setting MPFR precision to 64
49.434 * * * * [points]: Setting MPFR precision to 320
49.436 * * * * [points]: Computing exacts for 118 points
49.439 * * * * [points]: Setting MPFR precision to 64
49.448 * * * * [points]: Setting MPFR precision to 320
49.456 * * * * [points]: Filtering points with unrepresentable outputs
49.456 * * * * [points]: Sampling 107 additional inputs, on iter 33 have 7893 / 8000
49.457 * * * * [points]: Computing exacts on every 6 of 107 points to ramp up precision
49.460 * * * * [points]: Setting MPFR precision to 64
49.461 * * * * [points]: Setting MPFR precision to 320
49.463 * * * * [points]: Computing exacts on every 3 of 107 points to ramp up precision
49.466 * * * * [points]: Setting MPFR precision to 64
49.468 * * * * [points]: Setting MPFR precision to 320
49.470 * * * * [points]: Computing exacts for 107 points
49.473 * * * * [points]: Setting MPFR precision to 64
49.482 * * * * [points]: Setting MPFR precision to 320
49.489 * * * * [points]: Filtering points with unrepresentable outputs
49.490 * * * * [points]: Sampling 94 additional inputs, on iter 34 have 7906 / 8000
49.490 * * * * [points]: Computing exacts on every 5 of 94 points to ramp up precision
49.493 * * * * [points]: Setting MPFR precision to 64
49.495 * * * * [points]: Setting MPFR precision to 320
49.496 * * * * [points]: Computing exacts on every 2 of 94 points to ramp up precision
49.519 * * * * [points]: Setting MPFR precision to 64
49.521 * * * * [points]: Setting MPFR precision to 320
49.524 * * * * [points]: Computing exacts for 94 points
49.529 * * * * [points]: Setting MPFR precision to 64
49.536 * * * * [points]: Setting MPFR precision to 320
49.544 * * * * [points]: Filtering points with unrepresentable outputs
49.544 * * * * [points]: Sampling 84 additional inputs, on iter 35 have 7916 / 8000
49.544 * * * * [points]: Computing exacts on every 5 of 84 points to ramp up precision
49.548 * * * * [points]: Setting MPFR precision to 64
49.549 * * * * [points]: Setting MPFR precision to 320
49.550 * * * * [points]: Computing exacts on every 2 of 84 points to ramp up precision
49.553 * * * * [points]: Setting MPFR precision to 64
49.556 * * * * [points]: Setting MPFR precision to 320
49.558 * * * * [points]: Computing exacts for 84 points
49.561 * * * * [points]: Setting MPFR precision to 64
49.567 * * * * [points]: Setting MPFR precision to 320
49.573 * * * * [points]: Filtering points with unrepresentable outputs
49.573 * * * * [points]: Sampling 75 additional inputs, on iter 36 have 7925 / 8000
49.574 * * * * [points]: Computing exacts on every 4 of 75 points to ramp up precision
49.577 * * * * [points]: Setting MPFR precision to 64
49.579 * * * * [points]: Setting MPFR precision to 320
49.580 * * * * [points]: Computing exacts on every 2 of 75 points to ramp up precision
49.583 * * * * [points]: Setting MPFR precision to 64
49.585 * * * * [points]: Setting MPFR precision to 320
49.588 * * * * [points]: Computing exacts for 75 points
49.592 * * * * [points]: Setting MPFR precision to 64
49.597 * * * * [points]: Setting MPFR precision to 320
49.602 * * * * [points]: Filtering points with unrepresentable outputs
49.603 * * * * [points]: Sampling 61 additional inputs, on iter 37 have 7939 / 8000
49.603 * * * * [points]: Computing exacts on every 3 of 61 points to ramp up precision
49.606 * * * * [points]: Setting MPFR precision to 64
49.607 * * * * [points]: Setting MPFR precision to 320
49.609 * * * * [points]: Computing exacts for 61 points
49.629 * * * * [points]: Setting MPFR precision to 64
49.635 * * * * [points]: Setting MPFR precision to 320
49.646 * * * * [points]: Filtering points with unrepresentable outputs
49.646 * * * * [points]: Sampling 55 additional inputs, on iter 38 have 7945 / 8000
49.646 * * * * [points]: Computing exacts on every 3 of 55 points to ramp up precision
49.652 * * * * [points]: Setting MPFR precision to 64
49.654 * * * * [points]: Setting MPFR precision to 320
49.655 * * * * [points]: Computing exacts for 55 points
49.659 * * * * [points]: Setting MPFR precision to 64
49.662 * * * * [points]: Setting MPFR precision to 320
49.666 * * * * [points]: Filtering points with unrepresentable outputs
49.666 * * * * [points]: Sampling 50 additional inputs, on iter 39 have 7950 / 8000
49.667 * * * * [points]: Computing exacts on every 3 of 50 points to ramp up precision
49.670 * * * * [points]: Setting MPFR precision to 64
49.671 * * * * [points]: Setting MPFR precision to 320
49.672 * * * * [points]: Computing exacts for 50 points
49.675 * * * * [points]: Setting MPFR precision to 64
49.679 * * * * [points]: Setting MPFR precision to 320
49.682 * * * * [points]: Filtering points with unrepresentable outputs
49.683 * * * * [points]: Sampling 45 additional inputs, on iter 40 have 7955 / 8000
49.683 * * * * [points]: Computing exacts on every 2 of 45 points to ramp up precision
49.686 * * * * [points]: Setting MPFR precision to 64
49.688 * * * * [points]: Setting MPFR precision to 320
49.689 * * * * [points]: Computing exacts for 45 points
49.693 * * * * [points]: Setting MPFR precision to 64
49.696 * * * * [points]: Setting MPFR precision to 320
49.699 * * * * [points]: Filtering points with unrepresentable outputs
49.699 * * * * [points]: Sampling 38 additional inputs, on iter 41 have 7962 / 8000
49.699 * * * * [points]: Computing exacts on every 2 of 38 points to ramp up precision
49.703 * * * * [points]: Setting MPFR precision to 64
49.704 * * * * [points]: Setting MPFR precision to 320
49.705 * * * * [points]: Computing exacts for 38 points
49.708 * * * * [points]: Setting MPFR precision to 64
49.711 * * * * [points]: Setting MPFR precision to 320
49.713 * * * * [points]: Filtering points with unrepresentable outputs
49.713 * * * * [points]: Sampling 29 additional inputs, on iter 42 have 7971 / 8000
49.713 * * * * [points]: Computing exacts for 29 points
49.717 * * * * [points]: Setting MPFR precision to 64
49.719 * * * * [points]: Setting MPFR precision to 320
49.721 * * * * [points]: Filtering points with unrepresentable outputs
49.721 * * * * [points]: Sampling 23 additional inputs, on iter 43 have 7977 / 8000
49.721 * * * * [points]: Computing exacts for 23 points
49.725 * * * * [points]: Setting MPFR precision to 64
49.727 * * * * [points]: Setting MPFR precision to 320
49.748 * * * * [points]: Filtering points with unrepresentable outputs
49.748 * * * * [points]: Sampling 20 additional inputs, on iter 44 have 7980 / 8000
49.749 * * * * [points]: Computing exacts for 20 points
49.755 * * * * [points]: Setting MPFR precision to 64
49.761 * * * * [points]: Setting MPFR precision to 320
49.764 * * * * [points]: Filtering points with unrepresentable outputs
49.764 * * * * [points]: Sampling 20 additional inputs, on iter 45 have 7980 / 8000
49.764 * * * * [points]: Computing exacts for 20 points
49.767 * * * * [points]: Setting MPFR precision to 64
49.769 * * * * [points]: Setting MPFR precision to 320
49.770 * * * * [points]: Filtering points with unrepresentable outputs
49.771 * * * * [points]: Sampling 17 additional inputs, on iter 46 have 7983 / 8000
49.771 * * * * [points]: Computing exacts for 17 points
49.774 * * * * [points]: Setting MPFR precision to 64
49.775 * * * * [points]: Setting MPFR precision to 320
49.777 * * * * [points]: Filtering points with unrepresentable outputs
49.777 * * * * [points]: Sampling 16 additional inputs, on iter 47 have 7984 / 8000
49.777 * * * * [points]: Computing exacts for 16 points
49.780 * * * * [points]: Setting MPFR precision to 64
49.781 * * * * [points]: Setting MPFR precision to 320
49.783 * * * * [points]: Filtering points with unrepresentable outputs
49.783 * * * * [points]: Sampling 15 additional inputs, on iter 48 have 7985 / 8000
49.783 * * * * [points]: Computing exacts for 15 points
49.788 * * * * [points]: Setting MPFR precision to 64
49.790 * * * * [points]: Setting MPFR precision to 320
49.792 * * * * [points]: Filtering points with unrepresentable outputs
49.792 * * * * [points]: Sampling 14 additional inputs, on iter 49 have 7986 / 8000
49.792 * * * * [points]: Computing exacts for 14 points
49.799 * * * * [points]: Setting MPFR precision to 64
49.801 * * * * [points]: Setting MPFR precision to 320
49.804 * * * * [points]: Filtering points with unrepresentable outputs
49.804 * * * * [points]: Sampling 14 additional inputs, on iter 50 have 7986 / 8000
49.804 * * * * [points]: Computing exacts for 14 points
49.811 * * * * [points]: Setting MPFR precision to 64
49.813 * * * * [points]: Setting MPFR precision to 320
49.814 * * * * [points]: Filtering points with unrepresentable outputs
49.815 * * * * [points]: Sampling 13 additional inputs, on iter 51 have 7987 / 8000
49.815 * * * * [points]: Computing exacts for 13 points
49.821 * * * * [points]: Setting MPFR precision to 64
49.823 * * * * [points]: Setting MPFR precision to 320
49.825 * * * * [points]: Filtering points with unrepresentable outputs
49.825 * * * * [points]: Sampling 12 additional inputs, on iter 52 have 7988 / 8000
49.825 * * * * [points]: Computing exacts for 12 points
49.832 * * * * [points]: Setting MPFR precision to 64
49.833 * * * * [points]: Setting MPFR precision to 320
49.835 * * * * [points]: Filtering points with unrepresentable outputs
49.835 * * * * [points]: Sampling 12 additional inputs, on iter 53 have 7988 / 8000
49.835 * * * * [points]: Computing exacts for 12 points
49.842 * * * * [points]: Setting MPFR precision to 64
49.843 * * * * [points]: Setting MPFR precision to 320
49.844 * * * * [points]: Filtering points with unrepresentable outputs
49.845 * * * * [points]: Sampling 12 additional inputs, on iter 54 have 7988 / 8000
49.845 * * * * [points]: Computing exacts for 12 points
49.848 * * * * [points]: Setting MPFR precision to 64
49.849 * * * * [points]: Setting MPFR precision to 320
49.850 * * * * [points]: Filtering points with unrepresentable outputs
49.850 * * * * [points]: Sampling 11 additional inputs, on iter 55 have 7989 / 8000
49.850 * * * * [points]: Computing exacts for 11 points
49.853 * * * * [points]: Setting MPFR precision to 64
49.854 * * * * [points]: Setting MPFR precision to 320
49.855 * * * * [points]: Filtering points with unrepresentable outputs
49.855 * * * * [points]: Sampling 11 additional inputs, on iter 56 have 7989 / 8000
49.855 * * * * [points]: Computing exacts for 11 points
49.859 * * * * [points]: Setting MPFR precision to 64
49.860 * * * * [points]: Setting MPFR precision to 320
49.861 * * * * [points]: Filtering points with unrepresentable outputs
49.861 * * * * [points]: Sampling 8 additional inputs, on iter 57 have 7992 / 8000
49.861 * * * * [points]: Computing exacts for 8 points
49.880 * * * * [points]: Setting MPFR precision to 64
49.881 * * * * [points]: Setting MPFR precision to 320
49.883 * * * * [points]: Filtering points with unrepresentable outputs
49.883 * * * * [points]: Sampling 7 additional inputs, on iter 58 have 7993 / 8000
49.883 * * * * [points]: Computing exacts for 7 points
49.889 * * * * [points]: Setting MPFR precision to 64
49.889 * * * * [points]: Setting MPFR precision to 320
49.890 * * * * [points]: Filtering points with unrepresentable outputs
49.890 * * * * [points]: Sampling 7 additional inputs, on iter 59 have 7993 / 8000
49.890 * * * * [points]: Computing exacts for 7 points
49.893 * * * * [points]: Setting MPFR precision to 64
49.894 * * * * [points]: Setting MPFR precision to 320
49.895 * * * * [points]: Filtering points with unrepresentable outputs
49.895 * * * * [points]: Sampling 7 additional inputs, on iter 60 have 7993 / 8000
49.895 * * * * [points]: Computing exacts for 7 points
49.898 * * * * [points]: Setting MPFR precision to 64
49.899 * * * * [points]: Setting MPFR precision to 320
49.899 * * * * [points]: Filtering points with unrepresentable outputs
49.899 * * * * [points]: Sampling 6 additional inputs, on iter 61 have 7994 / 8000
49.899 * * * * [points]: Computing exacts for 6 points
49.903 * * * * [points]: Setting MPFR precision to 64
49.903 * * * * [points]: Setting MPFR precision to 320
49.904 * * * * [points]: Filtering points with unrepresentable outputs
49.904 * * * * [points]: Sampling 5 additional inputs, on iter 62 have 7995 / 8000
49.904 * * * * [points]: Computing exacts for 5 points
49.907 * * * * [points]: Setting MPFR precision to 64
49.908 * * * * [points]: Setting MPFR precision to 320
49.908 * * * * [points]: Filtering points with unrepresentable outputs
49.908 * * * * [points]: Sampling 5 additional inputs, on iter 63 have 7995 / 8000
49.908 * * * * [points]: Computing exacts for 5 points
49.912 * * * * [points]: Setting MPFR precision to 64
49.912 * * * * [points]: Setting MPFR precision to 320
49.912 * * * * [points]: Filtering points with unrepresentable outputs
49.913 * * * * [points]: Sampling 5 additional inputs, on iter 64 have 7995 / 8000
49.913 * * * * [points]: Computing exacts for 5 points
49.916 * * * * [points]: Setting MPFR precision to 64
49.916 * * * * [points]: Setting MPFR precision to 320
49.917 * * * * [points]: Filtering points with unrepresentable outputs
49.917 * * * * [points]: Sampling 4 additional inputs, on iter 65 have 7996 / 8000
49.917 * * * * [points]: Computing exacts for 4 points
49.920 * * * * [points]: Setting MPFR precision to 64
49.920 * * * * [points]: Setting MPFR precision to 320
49.921 * * * * [points]: Filtering points with unrepresentable outputs
49.921 * * * * [points]: Sampling 4 additional inputs, on iter 66 have 7996 / 8000
49.921 * * * * [points]: Computing exacts for 4 points
49.924 * * * * [points]: Setting MPFR precision to 64
49.925 * * * * [points]: Setting MPFR precision to 320
49.925 * * * * [points]: Filtering points with unrepresentable outputs
49.925 * * * * [points]: Sampling 4 additional inputs, on iter 67 have 7998 / 8000
49.925 * * * * [points]: Computing exacts for 4 points
49.928 * * * * [points]: Setting MPFR precision to 64
49.929 * * * * [points]: Setting MPFR precision to 320
49.929 * * * * [points]: Filtering points with unrepresentable outputs
49.929 * * * * [points]: Sampling 4 additional inputs, on iter 68 have 7998 / 8000
49.929 * * * * [points]: Computing exacts for 4 points
49.933 * * * * [points]: Setting MPFR precision to 64
49.934 * * * * [points]: Setting MPFR precision to 320
49.934 * * * * [points]: Filtering points with unrepresentable outputs
49.934 * * * * [points]: Sampling 4 additional inputs, on iter 69 have 7999 / 8000
49.934 * * * * [points]: Computing exacts for 4 points
49.938 * * * * [points]: Setting MPFR precision to 64
49.938 * * * * [points]: Setting MPFR precision to 320
49.939 * * * * [points]: Filtering points with unrepresentable outputs
49.939 * * * * [points]: Sampled 8000 points with exact outputs
53.037 * [regime-testing]: Baseline error score: 0.22344425837558074
53.039 * [regime-testing]: Oracle error score: 0.12895451263252874
53.043 * [regime-testing]: End program error score: 0.22344425837558074