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.013 * * * * [points]: Setting MPFR precision to 320
0.015 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.022 * * * * [points]: Setting MPFR precision to 64
0.026 * * * * [points]: Setting MPFR precision to 320
0.030 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.037 * * * * [points]: Setting MPFR precision to 64
0.045 * * * * [points]: Setting MPFR precision to 320
0.051 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.059 * * * * [points]: Setting MPFR precision to 64
0.083 * * * * [points]: Setting MPFR precision to 320
0.094 * * * * [points]: Computing exacts for 256 points
0.098 * * * * [points]: Setting MPFR precision to 64
0.116 * * * * [points]: Setting MPFR precision to 320
0.134 * * * * [points]: Filtering points with unrepresentable outputs
0.134 * * * * [points]: Sampling 219 additional inputs, on iter 1 have 37 / 256
0.135 * * * * [points]: Computing exacts on every 13 of 219 points to ramp up precision
0.139 * * * * [points]: Setting MPFR precision to 64
0.140 * * * * [points]: Setting MPFR precision to 320
0.141 * * * * [points]: Computing exacts on every 6 of 219 points to ramp up precision
0.144 * * * * [points]: Setting MPFR precision to 64
0.147 * * * * [points]: Setting MPFR precision to 320
0.149 * * * * [points]: Computing exacts on every 3 of 219 points to ramp up precision
0.152 * * * * [points]: Setting MPFR precision to 64
0.156 * * * * [points]: Setting MPFR precision to 320
0.160 * * * * [points]: Computing exacts for 219 points
0.163 * * * * [points]: Setting MPFR precision to 64
0.178 * * * * [points]: Setting MPFR precision to 320
0.218 * * * * [points]: Filtering points with unrepresentable outputs
0.218 * * * * [points]: Sampling 184 additional inputs, on iter 2 have 72 / 256
0.219 * * * * [points]: Computing exacts on every 11 of 184 points to ramp up precision
0.223 * * * * [points]: Setting MPFR precision to 64
0.224 * * * * [points]: Setting MPFR precision to 320
0.227 * * * * [points]: Computing exacts on every 5 of 184 points to ramp up precision
0.230 * * * * [points]: Setting MPFR precision to 64
0.233 * * * * [points]: Setting MPFR precision to 320
0.235 * * * * [points]: Computing exacts on every 2 of 184 points to ramp up precision
0.239 * * * * [points]: Setting MPFR precision to 64
0.244 * * * * [points]: Setting MPFR precision to 320
0.248 * * * * [points]: Computing exacts for 184 points
0.251 * * * * [points]: Setting MPFR precision to 64
0.264 * * * * [points]: Setting MPFR precision to 320
0.277 * * * * [points]: Filtering points with unrepresentable outputs
0.277 * * * * [points]: Sampling 152 additional inputs, on iter 3 have 104 / 256
0.278 * * * * [points]: Computing exacts on every 9 of 152 points to ramp up precision
0.281 * * * * [points]: Setting MPFR precision to 64
0.282 * * * * [points]: Setting MPFR precision to 320
0.283 * * * * [points]: Computing exacts on every 4 of 152 points to ramp up precision
0.287 * * * * [points]: Setting MPFR precision to 64
0.289 * * * * [points]: Setting MPFR precision to 320
0.291 * * * * [points]: Computing exacts on every 2 of 152 points to ramp up precision
0.295 * * * * [points]: Setting MPFR precision to 64
0.298 * * * * [points]: Setting MPFR precision to 320
0.302 * * * * [points]: Computing exacts for 152 points
0.306 * * * * [points]: Setting MPFR precision to 64
0.338 * * * * [points]: Setting MPFR precision to 320
0.350 * * * * [points]: Filtering points with unrepresentable outputs
0.350 * * * * [points]: Sampling 142 additional inputs, on iter 4 have 114 / 256
0.351 * * * * [points]: Computing exacts on every 8 of 142 points to ramp up precision
0.355 * * * * [points]: Setting MPFR precision to 64
0.356 * * * * [points]: Setting MPFR precision to 320
0.357 * * * * [points]: Computing exacts on every 4 of 142 points to ramp up precision
0.360 * * * * [points]: Setting MPFR precision to 64
0.363 * * * * [points]: Setting MPFR precision to 320
0.365 * * * * [points]: Computing exacts on every 2 of 142 points to ramp up precision
0.368 * * * * [points]: Setting MPFR precision to 64
0.371 * * * * [points]: Setting MPFR precision to 320
0.375 * * * * [points]: Computing exacts for 142 points
0.378 * * * * [points]: Setting MPFR precision to 64
0.388 * * * * [points]: Setting MPFR precision to 320
0.398 * * * * [points]: Filtering points with unrepresentable outputs
0.398 * * * * [points]: Sampling 123 additional inputs, on iter 5 have 133 / 256
0.399 * * * * [points]: Computing exacts on every 7 of 123 points to ramp up precision
0.403 * * * * [points]: Setting MPFR precision to 64
0.404 * * * * [points]: Setting MPFR precision to 320
0.405 * * * * [points]: Computing exacts on every 3 of 123 points to ramp up precision
0.408 * * * * [points]: Setting MPFR precision to 64
0.410 * * * * [points]: Setting MPFR precision to 320
0.412 * * * * [points]: Computing exacts for 123 points
0.416 * * * * [points]: Setting MPFR precision to 64
0.424 * * * * [points]: Setting MPFR precision to 320
0.454 * * * * [points]: Filtering points with unrepresentable outputs
0.454 * * * * [points]: Sampling 114 additional inputs, on iter 6 have 142 / 256
0.455 * * * * [points]: Computing exacts on every 7 of 114 points to ramp up precision
0.460 * * * * [points]: Setting MPFR precision to 64
0.461 * * * * [points]: Setting MPFR precision to 320
0.462 * * * * [points]: Computing exacts on every 3 of 114 points to ramp up precision
0.466 * * * * [points]: Setting MPFR precision to 64
0.468 * * * * [points]: Setting MPFR precision to 320
0.470 * * * * [points]: Computing exacts for 114 points
0.473 * * * * [points]: Setting MPFR precision to 64
0.481 * * * * [points]: Setting MPFR precision to 320
0.489 * * * * [points]: Filtering points with unrepresentable outputs
0.489 * * * * [points]: Sampling 106 additional inputs, on iter 7 have 150 / 256
0.489 * * * * [points]: Computing exacts on every 6 of 106 points to ramp up precision
0.493 * * * * [points]: Setting MPFR precision to 64
0.494 * * * * [points]: Setting MPFR precision to 320
0.495 * * * * [points]: Computing exacts on every 3 of 106 points to ramp up precision
0.498 * * * * [points]: Setting MPFR precision to 64
0.500 * * * * [points]: Setting MPFR precision to 320
0.502 * * * * [points]: Computing exacts for 106 points
0.505 * * * * [points]: Setting MPFR precision to 64
0.513 * * * * [points]: Setting MPFR precision to 320
0.520 * * * * [points]: Filtering points with unrepresentable outputs
0.520 * * * * [points]: Sampling 97 additional inputs, on iter 8 have 159 / 256
0.521 * * * * [points]: Computing exacts on every 6 of 97 points to ramp up precision
0.524 * * * * [points]: Setting MPFR precision to 64
0.525 * * * * [points]: Setting MPFR precision to 320
0.526 * * * * [points]: Computing exacts on every 3 of 97 points to ramp up precision
0.529 * * * * [points]: Setting MPFR precision to 64
0.531 * * * * [points]: Setting MPFR precision to 320
0.533 * * * * [points]: Computing exacts for 97 points
0.536 * * * * [points]: Setting MPFR precision to 64
0.563 * * * * [points]: Setting MPFR precision to 320
0.572 * * * * [points]: Filtering points with unrepresentable outputs
0.572 * * * * [points]: Sampling 87 additional inputs, on iter 9 have 169 / 256
0.573 * * * * [points]: Computing exacts on every 5 of 87 points to ramp up precision
0.577 * * * * [points]: Setting MPFR precision to 64
0.578 * * * * [points]: Setting MPFR precision to 320
0.580 * * * * [points]: Computing exacts on every 2 of 87 points to ramp up precision
0.587 * * * * [points]: Setting MPFR precision to 64
0.590 * * * * [points]: Setting MPFR precision to 320
0.594 * * * * [points]: Computing exacts for 87 points
0.601 * * * * [points]: Setting MPFR precision to 64
0.612 * * * * [points]: Setting MPFR precision to 320
0.624 * * * * [points]: Filtering points with unrepresentable outputs
0.624 * * * * [points]: Sampling 78 additional inputs, on iter 10 have 178 / 256
0.625 * * * * [points]: Computing exacts on every 4 of 78 points to ramp up precision
0.631 * * * * [points]: Setting MPFR precision to 64
0.633 * * * * [points]: Setting MPFR precision to 320
0.635 * * * * [points]: Computing exacts on every 2 of 78 points to ramp up precision
0.642 * * * * [points]: Setting MPFR precision to 64
0.644 * * * * [points]: Setting MPFR precision to 320
0.645 * * * * [points]: Computing exacts for 78 points
0.649 * * * * [points]: Setting MPFR precision to 64
0.654 * * * * [points]: Setting MPFR precision to 320
0.660 * * * * [points]: Filtering points with unrepresentable outputs
0.660 * * * * [points]: Sampling 65 additional inputs, on iter 11 have 191 / 256
0.660 * * * * [points]: Computing exacts on every 4 of 65 points to ramp up precision
0.664 * * * * [points]: Setting MPFR precision to 64
0.665 * * * * [points]: Setting MPFR precision to 320
0.666 * * * * [points]: Computing exacts on every 2 of 65 points to ramp up precision
0.669 * * * * [points]: Setting MPFR precision to 64
0.670 * * * * [points]: Setting MPFR precision to 320
0.672 * * * * [points]: Computing exacts for 65 points
0.675 * * * * [points]: Setting MPFR precision to 64
0.698 * * * * [points]: Setting MPFR precision to 320
0.704 * * * * [points]: Filtering points with unrepresentable outputs
0.704 * * * * [points]: Sampling 57 additional inputs, on iter 12 have 199 / 256
0.704 * * * * [points]: Computing exacts on every 3 of 57 points to ramp up precision
0.708 * * * * [points]: Setting MPFR precision to 64
0.709 * * * * [points]: Setting MPFR precision to 320
0.711 * * * * [points]: Computing exacts for 57 points
0.718 * * * * [points]: Setting MPFR precision to 64
0.726 * * * * [points]: Setting MPFR precision to 320
0.733 * * * * [points]: Filtering points with unrepresentable outputs
0.733 * * * * [points]: Sampling 49 additional inputs, on iter 13 have 207 / 256
0.734 * * * * [points]: Computing exacts on every 3 of 49 points to ramp up precision
0.741 * * * * [points]: Setting MPFR precision to 64
0.743 * * * * [points]: Setting MPFR precision to 320
0.745 * * * * [points]: Computing exacts for 49 points
0.752 * * * * [points]: Setting MPFR precision to 64
0.759 * * * * [points]: Setting MPFR precision to 320
0.765 * * * * [points]: Filtering points with unrepresentable outputs
0.765 * * * * [points]: Sampling 43 additional inputs, on iter 14 have 213 / 256
0.766 * * * * [points]: Computing exacts on every 2 of 43 points to ramp up precision
0.773 * * * * [points]: Setting MPFR precision to 64
0.775 * * * * [points]: Setting MPFR precision to 320
0.777 * * * * [points]: Computing exacts for 43 points
0.784 * * * * [points]: Setting MPFR precision to 64
0.790 * * * * [points]: Setting MPFR precision to 320
0.795 * * * * [points]: Filtering points with unrepresentable outputs
0.796 * * * * [points]: Sampling 39 additional inputs, on iter 15 have 217 / 256
0.796 * * * * [points]: Computing exacts on every 2 of 39 points to ramp up precision
0.804 * * * * [points]: Setting MPFR precision to 64
0.806 * * * * [points]: Setting MPFR precision to 320
0.808 * * * * [points]: Computing exacts for 39 points
0.813 * * * * [points]: Setting MPFR precision to 64
0.816 * * * * [points]: Setting MPFR precision to 320
0.819 * * * * [points]: Filtering points with unrepresentable outputs
0.819 * * * * [points]: Sampling 35 additional inputs, on iter 16 have 221 / 256
0.819 * * * * [points]: Computing exacts on every 2 of 35 points to ramp up precision
0.823 * * * * [points]: Setting MPFR precision to 64
0.824 * * * * [points]: Setting MPFR precision to 320
0.824 * * * * [points]: Computing exacts for 35 points
0.828 * * * * [points]: Setting MPFR precision to 64
0.830 * * * * [points]: Setting MPFR precision to 320
0.834 * * * * [points]: Filtering points with unrepresentable outputs
0.834 * * * * [points]: Sampling 30 additional inputs, on iter 17 have 226 / 256
0.834 * * * * [points]: Computing exacts for 30 points
0.855 * * * * [points]: Setting MPFR precision to 64
0.857 * * * * [points]: Setting MPFR precision to 320
0.859 * * * * [points]: Filtering points with unrepresentable outputs
0.859 * * * * [points]: Sampling 26 additional inputs, on iter 18 have 230 / 256
0.859 * * * * [points]: Computing exacts for 26 points
0.863 * * * * [points]: Setting MPFR precision to 64
0.866 * * * * [points]: Setting MPFR precision to 320
0.868 * * * * [points]: Filtering points with unrepresentable outputs
0.868 * * * * [points]: Sampling 23 additional inputs, on iter 19 have 233 / 256
0.868 * * * * [points]: Computing exacts for 23 points
0.872 * * * * [points]: Setting MPFR precision to 64
0.874 * * * * [points]: Setting MPFR precision to 320
0.875 * * * * [points]: Filtering points with unrepresentable outputs
0.875 * * * * [points]: Sampling 19 additional inputs, on iter 20 have 237 / 256
0.875 * * * * [points]: Computing exacts for 19 points
0.879 * * * * [points]: Setting MPFR precision to 64
0.880 * * * * [points]: Setting MPFR precision to 320
0.882 * * * * [points]: Filtering points with unrepresentable outputs
0.882 * * * * [points]: Sampling 17 additional inputs, on iter 21 have 239 / 256
0.882 * * * * [points]: Computing exacts for 17 points
0.885 * * * * [points]: Setting MPFR precision to 64
0.886 * * * * [points]: Setting MPFR precision to 320
0.888 * * * * [points]: Filtering points with unrepresentable outputs
0.888 * * * * [points]: Sampling 14 additional inputs, on iter 22 have 242 / 256
0.888 * * * * [points]: Computing exacts for 14 points
0.891 * * * * [points]: Setting MPFR precision to 64
0.892 * * * * [points]: Setting MPFR precision to 320
0.893 * * * * [points]: Filtering points with unrepresentable outputs
0.893 * * * * [points]: Sampling 13 additional inputs, on iter 23 have 243 / 256
0.893 * * * * [points]: Computing exacts for 13 points
0.896 * * * * [points]: Setting MPFR precision to 64
0.897 * * * * [points]: Setting MPFR precision to 320
0.898 * * * * [points]: Filtering points with unrepresentable outputs
0.898 * * * * [points]: Sampling 13 additional inputs, on iter 24 have 243 / 256
0.898 * * * * [points]: Computing exacts for 13 points
0.902 * * * * [points]: Setting MPFR precision to 64
0.903 * * * * [points]: Setting MPFR precision to 320
0.904 * * * * [points]: Filtering points with unrepresentable outputs
0.904 * * * * [points]: Sampling 9 additional inputs, on iter 25 have 247 / 256
0.904 * * * * [points]: Computing exacts for 9 points
0.907 * * * * [points]: Setting MPFR precision to 64
0.908 * * * * [points]: Setting MPFR precision to 320
0.909 * * * * [points]: Filtering points with unrepresentable outputs
0.909 * * * * [points]: Sampling 8 additional inputs, on iter 26 have 248 / 256
0.909 * * * * [points]: Computing exacts for 8 points
0.912 * * * * [points]: Setting MPFR precision to 64
0.913 * * * * [points]: Setting MPFR precision to 320
0.913 * * * * [points]: Filtering points with unrepresentable outputs
0.913 * * * * [points]: Sampling 8 additional inputs, on iter 27 have 248 / 256
0.913 * * * * [points]: Computing exacts for 8 points
0.917 * * * * [points]: Setting MPFR precision to 64
0.917 * * * * [points]: Setting MPFR precision to 320
0.918 * * * * [points]: Filtering points with unrepresentable outputs
0.918 * * * * [points]: Sampling 7 additional inputs, on iter 28 have 249 / 256
0.918 * * * * [points]: Computing exacts for 7 points
0.922 * * * * [points]: Setting MPFR precision to 64
0.922 * * * * [points]: Setting MPFR precision to 320
0.923 * * * * [points]: Filtering points with unrepresentable outputs
0.923 * * * * [points]: Sampling 7 additional inputs, on iter 29 have 249 / 256
0.923 * * * * [points]: Computing exacts for 7 points
0.926 * * * * [points]: Setting MPFR precision to 64
0.927 * * * * [points]: Setting MPFR precision to 320
0.927 * * * * [points]: Filtering points with unrepresentable outputs
0.927 * * * * [points]: Sampling 7 additional inputs, on iter 30 have 249 / 256
0.927 * * * * [points]: Computing exacts for 7 points
0.931 * * * * [points]: Setting MPFR precision to 64
0.932 * * * * [points]: Setting MPFR precision to 320
0.932 * * * * [points]: Filtering points with unrepresentable outputs
0.932 * * * * [points]: Sampling 5 additional inputs, on iter 31 have 251 / 256
0.932 * * * * [points]: Computing exacts for 5 points
0.947 * * * * [points]: Setting MPFR precision to 64
0.948 * * * * [points]: Setting MPFR precision to 320
0.948 * * * * [points]: Filtering points with unrepresentable outputs
0.948 * * * * [points]: Sampling 5 additional inputs, on iter 32 have 251 / 256
0.948 * * * * [points]: Computing exacts for 5 points
0.951 * * * * [points]: Setting MPFR precision to 64
0.952 * * * * [points]: Setting MPFR precision to 320
0.952 * * * * [points]: Filtering points with unrepresentable outputs
0.952 * * * * [points]: Sampling 5 additional inputs, on iter 33 have 251 / 256
0.952 * * * * [points]: Computing exacts for 5 points
0.957 * * * * [points]: Setting MPFR precision to 64
0.958 * * * * [points]: Setting MPFR precision to 320
0.958 * * * * [points]: Filtering points with unrepresentable outputs
0.958 * * * * [points]: Sampling 4 additional inputs, on iter 34 have 253 / 256
0.958 * * * * [points]: Computing exacts for 4 points
0.961 * * * * [points]: Setting MPFR precision to 64
0.962 * * * * [points]: Setting MPFR precision to 320
0.962 * * * * [points]: Filtering points with unrepresentable outputs
0.962 * * * * [points]: Sampling 4 additional inputs, on iter 35 have 255 / 256
0.962 * * * * [points]: Computing exacts for 4 points
0.966 * * * * [points]: Setting MPFR precision to 64
0.966 * * * * [points]: Setting MPFR precision to 320
0.966 * * * * [points]: Filtering points with unrepresentable outputs
0.966 * * * * [points]: Sampled 256 points with exact outputs
0.967 * * * [progress]: [2/2] Setting up program.
0.977 * [progress]: [Phase 2 of 3] Improving.
0.977 * * * * [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))))>
0.977 * [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)))
0.978 * * [simplify]: iteration 1: (15 enodes)
0.982 * * [simplify]: iteration 2: (54 enodes)
0.994 * * [simplify]: iteration 3: (174 enodes)
1.072 * * [simplify]: iteration 4: (1021 enodes)
3.309 * * [simplify]: Extracting #0: cost 1 inf + 0
3.309 * * [simplify]: Extracting #1: cost 2 inf + 0
3.310 * * [simplify]: Extracting #2: cost 174 inf + 0
3.316 * * [simplify]: Extracting #3: cost 1342 inf + 0
3.332 * * [simplify]: Extracting #4: cost 2271 inf + 691
3.372 * * [simplify]: Extracting #5: cost 2231 inf + 82476
3.508 * * [simplify]: Extracting #6: cost 1375 inf + 1509565
3.940 * * [simplify]: Extracting #7: cost 86 inf + 4121745
4.421 * * [simplify]: Extracting #8: cost 0 inf + 3944289
4.766 * * [simplify]: Extracting #9: cost 0 inf + 3923289
5.199 * [simplify]: Simplified to:
  (sqrt.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) c) (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)))
5.213 * * [progress]: iteration 1 / 4
5.213 * * * [progress]: picking best candidate
5.224 * * * * [pick]: Picked  #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
5.224 * * * [progress]: localizing error
5.490 * * * [progress]: generating rewritten candidates
5.490 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
5.533 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2)
5.578 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
6.007 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1)
6.029 * * * [progress]: generating series expansions
6.029 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
6.030 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2)
6.030 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
6.030 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1)
6.030 * * * [progress]: simplifying candidates
6.030 * * * * [progress]: [ 1 / 10 ] 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)))))>
6.030 * * * * [progress]: [ 2 / 10 ] 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)))))>
6.030 * * * * [progress]: [ 3 / 10 ] 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))))>
6.030 * * * * [progress]: [ 4 / 10 ] 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))))>
6.030 * * * * [progress]: [ 5 / 10 ] 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))))>
6.030 * * * * [progress]: [ 6 / 10 ] 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))))>
6.030 * * * * [progress]: [ 7 / 10 ] 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))))>
6.030 * * * * [progress]: [ 8 / 10 ] 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))))>
6.030 * * * * [progress]: [ 9 / 10 ] 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))))>
6.030 * * * * [progress]: [ 10 / 10 ] 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))))>
6.031 * [simplify]: Simplifying:
  (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)
  (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)
  (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)))
6.031 * * [simplify]: iteration 1: (28 enodes)
6.045 * * [simplify]: iteration 2: (83 enodes)
6.080 * * [simplify]: iteration 3: (285 enodes)
6.288 * * [simplify]: iteration 4: (1785 enodes)
10.760 * * [simplify]: Extracting #0: cost 10 inf + 0
10.760 * * [simplify]: Extracting #1: cost 190 inf + 0
10.766 * * [simplify]: Extracting #2: cost 1095 inf + 2813
10.787 * * [simplify]: Extracting #3: cost 3592 inf + 10264
10.847 * * [simplify]: Extracting #4: cost 5603 inf + 59377
10.966 * * [simplify]: Extracting #5: cost 4896 inf + 1192482
11.511 * * [simplify]: Extracting #6: cost 1089 inf + 8532425
12.717 * * [simplify]: Extracting #7: cost 3 inf + 10939844
13.856 * * [simplify]: Extracting #8: cost 0 inf + 10935016
15.016 * [simplify]: Simplified to:
  (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)
  (neg.p16 b)
  (*.p16 (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) b) (+.p16 b (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2))))
  (+.p16 b (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)))
  (sqrt.p16 (*.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)) c))))
  (sqrt.p16 (*.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)) c))))
  (sqrt.p16 (*.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)) c))))
  (sqrt.p16 (*.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)) c))))
15.018 * * * [progress]: adding candidates to table
15.514 * * [progress]: iteration 2 / 4
15.514 * * * [progress]: picking best candidate
15.582 * * * * [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)))))>
15.583 * * * [progress]: localizing error
16.026 * * * [progress]: generating rewritten candidates
16.026 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
16.117 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2)
16.142 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1)
16.145 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2)
16.169 * * * [progress]: generating series expansions
16.169 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
16.169 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2)
16.169 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1)
16.169 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2)
16.170 * * * [progress]: simplifying candidates
16.170 * * * * [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))))))>
16.170 * * * * [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)))))))>
16.170 * * * * [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)) (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)))))>
16.170 * * * * [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 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
16.170 * * * * [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)))))>
16.170 * * * * [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)))))>
16.170 * * * * [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)))))>
16.170 * * * * [progress]: [ 8 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 (+.p16 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)))))>
16.170 * * * * [progress]: [ 9 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
16.170 * * * * [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)))))>
16.170 * * * * [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)))))>
16.170 * * * * [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)))))>
16.170 * * * * [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)))))>
16.171 * [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 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 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 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 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)
16.171 * * [simplify]: iteration 1: (28 enodes)
16.179 * * [simplify]: iteration 2: (92 enodes)
16.200 * * [simplify]: iteration 3: (269 enodes)
16.299 * * [simplify]: iteration 4: (1093 enodes)
17.787 * * [simplify]: Extracting #0: cost 14 inf + 0
17.787 * * [simplify]: Extracting #1: cost 328 inf + 0
17.791 * * [simplify]: Extracting #2: cost 1346 inf + 2891
17.798 * * [simplify]: Extracting #3: cost 1842 inf + 18997
17.808 * * [simplify]: Extracting #4: cost 1998 inf + 90109
17.833 * * [simplify]: Extracting #5: cost 1816 inf + 298720
17.922 * * [simplify]: Extracting #6: cost 982 inf + 1851714
18.265 * * [simplify]: Extracting #7: cost 64 inf + 3878875
18.754 * * [simplify]: Extracting #8: cost 0 inf + 4027702
19.211 * [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 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 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 b)
  (*.p16 (+.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) b))
  (+.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) b)
  (*.p16 (+.p16 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)))
19.213 * * * [progress]: adding candidates to table
19.553 * * [progress]: iteration 3 / 4
19.553 * * * [progress]: picking best candidate
19.602 * * * * [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 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))))))>
19.602 * * * [progress]: localizing error
19.889 * * * [progress]: generating rewritten candidates
19.889 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2)
20.007 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 2)
20.044 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 2)
20.067 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2)
20.089 * * * [progress]: generating series expansions
20.089 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2)
20.089 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 2)
20.089 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 2)
20.089 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2)
20.089 * * * [progress]: simplifying candidates
20.089 * * * * [progress]: [ 1 / 11 ] 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 (+.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))))))>
20.089 * * * * [progress]: [ 2 / 11 ] 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)) (neg.p16 c)))))))>
20.090 * * * * [progress]: [ 3 / 11 ] 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 (+.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)))))))>
20.090 * * * * [progress]: [ 4 / 11 ] 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 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))))))>
20.090 * * * * [progress]: [ 5 / 11 ] 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))))))>
20.090 * * * * [progress]: [ 6 / 11 ] 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 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))))))>
20.090 * * * * [progress]: [ 7 / 11 ] 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 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))))))>
20.090 * * * * [progress]: [ 8 / 11 ] 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))))))>
20.090 * * * * [progress]: [ 9 / 11 ] 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))))))>
20.090 * * * * [progress]: [ 10 / 11 ] 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))))))>
20.090 * * * * [progress]: [ 11 / 11 ] 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))))))>
20.090 * [simplify]: Simplifying:
  (/.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 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)
  (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 (+.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 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))
  (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
20.090 * * [simplify]: iteration 1: (24 enodes)
20.097 * * [simplify]: iteration 2: (68 enodes)
20.112 * * [simplify]: iteration 3: (168 enodes)
20.157 * * [simplify]: iteration 4: (605 enodes)
20.628 * * [simplify]: Extracting #0: cost 11 inf + 0
20.629 * * [simplify]: Extracting #1: cost 178 inf + 0
20.633 * * [simplify]: Extracting #2: cost 676 inf + 405
20.639 * * [simplify]: Extracting #3: cost 903 inf + 5940
20.650 * * [simplify]: Extracting #4: cost 1070 inf + 38463
21.113 * * [simplify]: Extracting #5: cost 906 inf + 258791
21.205 * * [simplify]: Extracting #6: cost 304 inf + 1295525
21.390 * * [simplify]: Extracting #7: cost 20 inf + 1870832
21.583 * * [simplify]: Extracting #8: cost 0 inf + 1922731
21.765 * * [simplify]: Extracting #9: cost 0 inf + 1922575
21.942 * [simplify]: Simplified to:
  (/.p16 (real->posit16 1.0) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c))
  (neg.p16 c)
  (*.p16 (+.p16 c (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c))
  (+.p16 c (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))
  (neg.p16 a)
  (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a))
  (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))
  (neg.p16 b)
  (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (+.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b))
  (+.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)
  (/.p16 (+.p16 c (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c))
  (/.p16 (+.p16 c (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c))
  (/.p16 (+.p16 c (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c))
  (/.p16 (+.p16 c (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c))
21.944 * * * [progress]: adding candidates to table
22.218 * * [progress]: iteration 4 / 4
22.218 * * * [progress]: picking best candidate
22.257 * * * * [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)))))>
22.257 * * * [progress]: localizing error
22.637 * * * [progress]: generating rewritten candidates
22.637 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 2)
22.698 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
22.755 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 2 1)
22.758 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1)
22.761 * * * [progress]: generating series expansions
22.761 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 2)
22.761 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
22.761 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 2 1)
22.761 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1)
22.761 * * * [progress]: simplifying candidates
22.761 * * * * [progress]: [ 1 / 14 ] 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)))))>
22.762 * * * * [progress]: [ 2 / 14 ] 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)))))>
22.762 * * * * [progress]: [ 3 / 14 ] 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))))))>
22.762 * * * * [progress]: [ 4 / 14 ] 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)))))))>
22.762 * * * * [progress]: [ 5 / 14 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) 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)))))>
22.762 * * * * [progress]: [ 6 / 14 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (neg.p16 (*.p16 a a))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) 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)))))>
22.762 * * * * [progress]: [ 7 / 14 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a))) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) 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)))))>
22.762 * * * * [progress]: [ 8 / 14 ] 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)))))>
22.762 * * * * [progress]: [ 9 / 14 ] 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)))))>
22.762 * * * * [progress]: [ 10 / 14 ] 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)))))>
22.762 * * * * [progress]: [ 11 / 14 ] 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)))))>
22.762 * * * * [progress]: [ 12 / 14 ] 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)))))>
22.762 * * * * [progress]: [ 13 / 14 ] 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)))))>
22.762 * * * * [progress]: [ 14 / 14 ] 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)))))>
22.763 * [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 a b) c) (real->posit16 2)) a)
  (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
  (neg.p16 (*.p16 a a))
  (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a)))
  (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))
  (+.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)
22.763 * * [simplify]: iteration 1: (29 enodes)
22.771 * * [simplify]: iteration 2: (99 enodes)
22.796 * * [simplify]: iteration 3: (304 enodes)
22.903 * * [simplify]: iteration 4: (1236 enodes)
24.513 * * [simplify]: Extracting #0: cost 15 inf + 0
24.515 * * [simplify]: Extracting #1: cost 356 inf + 0
24.523 * * [simplify]: Extracting #2: cost 1378 inf + 3291
24.538 * * [simplify]: Extracting #3: cost 1980 inf + 14585
24.563 * * [simplify]: Extracting #4: cost 2124 inf + 109596
24.606 * * [simplify]: Extracting #5: cost 1915 inf + 347678
24.767 * * [simplify]: Extracting #6: cost 1068 inf + 1813521
24.992 * * [simplify]: Extracting #7: cost 238 inf + 3718394
25.430 * * [simplify]: Extracting #8: cost 4 inf + 4344981
25.843 * * [simplify]: Extracting #9: cost 0 inf + 4329032
26.185 * [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)))))
  (+.p16 a (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)))
  (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) a)
  (neg.p16 (*.p16 a a))
  (*.p16 (+.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 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2))) (*.p16 a a)))
  (+.p16 (*.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2))) (*.p16 a a))
  (+.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)))
26.189 * * * [progress]: adding candidates to table
26.735 * [progress]: [Phase 3 of 3] Extracting.
26.735 * * [regime]: Finding splitpoints for: (#<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (/.p16 (+.p16 (/.p16 (+.p16 (+.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)))))> #<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)))))> #<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))))))> #<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))))> #<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)))))> #<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)))))))>)
26.746 * * * [regime-changes]: Trying 3 branch expressions: (c b a)
26.746 * * * * [regimes]: Trying to branch on c from (#<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (/.p16 (+.p16 (/.p16 (+.p16 (+.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)))))> #<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)))))> #<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))))))> #<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))))> #<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)))))> #<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)))))))>)
26.958 * * * * [regimes]: Trying to branch on b from (#<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (/.p16 (+.p16 (/.p16 (+.p16 (+.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)))))> #<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)))))> #<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))))))> #<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))))> #<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)))))> #<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)))))))>)
27.139 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (/.p16 (+.p16 (/.p16 (+.p16 (+.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)))))> #<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)))))> #<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))))))> #<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))))> #<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)))))> #<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)))))))>)
27.349 * * * [regime]: Found split indices: #<option (#s(si 2 256))>
27.350 * [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 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)))))
27.350 * * [simplify]: iteration 1: (18 enodes)
27.351 * * [simplify]: Extracting #0: cost 1 inf + 0
27.351 * * [simplify]: Extracting #1: cost 2 inf + 0
27.351 * * [simplify]: Extracting #2: cost 4 inf + 0
27.351 * * [simplify]: Extracting #3: cost 8 inf + 0
27.351 * * [simplify]: Extracting #4: cost 13 inf + 0
27.351 * * [simplify]: Extracting #5: cost 14 inf + 2
27.351 * * [simplify]: Extracting #6: cost 15 inf + 3
27.351 * * [simplify]: Extracting #7: cost 12 inf + 129
27.351 * * [simplify]: Extracting #8: cost 9 inf + 1258
27.352 * * [simplify]: Extracting #9: cost 2 inf + 7886
27.352 * * [simplify]: Extracting #10: cost 1 inf + 10530
27.352 * * [simplify]: Extracting #11: cost 0 inf + 13214
27.353 * [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 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)))))
27.353 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
27.394 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
27.402 * * * * [points]: Setting MPFR precision to 64
27.404 * * * * [points]: Setting MPFR precision to 320
27.406 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
27.413 * * * * [points]: Setting MPFR precision to 64
27.416 * * * * [points]: Setting MPFR precision to 320
27.418 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
27.421 * * * * [points]: Setting MPFR precision to 64
27.426 * * * * [points]: Setting MPFR precision to 320
27.430 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
27.434 * * * * [points]: Setting MPFR precision to 64
27.443 * * * * [points]: Setting MPFR precision to 320
27.482 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
27.489 * * * * [points]: Setting MPFR precision to 64
27.523 * * * * [points]: Setting MPFR precision to 320
27.556 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
27.563 * * * * [points]: Setting MPFR precision to 64
27.601 * * * * [points]: Setting MPFR precision to 320
27.668 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
27.672 * * * * [points]: Setting MPFR precision to 64
27.742 * * * * [points]: Setting MPFR precision to 320
27.894 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
27.901 * * * * [points]: Setting MPFR precision to 64
28.174 * * * * [points]: Setting MPFR precision to 320
28.401 * * * * [points]: Computing exacts for 8000 points
28.405 * * * * [points]: Setting MPFR precision to 64
30.042 * * * * [points]: Setting MPFR precision to 320
30.974 * * * * [points]: Filtering points with unrepresentable outputs
30.981 * * * * [points]: Sampling 7050 additional inputs, on iter 1 have 950 / 8000
31.035 * * * * [points]: Computing exacts on every 440 of 7050 points to ramp up precision
31.042 * * * * [points]: Setting MPFR precision to 64
31.044 * * * * [points]: Setting MPFR precision to 320
31.046 * * * * [points]: Computing exacts on every 220 of 7050 points to ramp up precision
31.053 * * * * [points]: Setting MPFR precision to 64
31.058 * * * * [points]: Setting MPFR precision to 320
31.062 * * * * [points]: Computing exacts on every 110 of 7050 points to ramp up precision
31.069 * * * * [points]: Setting MPFR precision to 64
31.077 * * * * [points]: Setting MPFR precision to 320
31.085 * * * * [points]: Computing exacts on every 55 of 7050 points to ramp up precision
31.092 * * * * [points]: Setting MPFR precision to 64
31.138 * * * * [points]: Setting MPFR precision to 320
31.156 * * * * [points]: Computing exacts on every 27 of 7050 points to ramp up precision
31.163 * * * * [points]: Setting MPFR precision to 64
31.193 * * * * [points]: Setting MPFR precision to 320
31.224 * * * * [points]: Computing exacts on every 13 of 7050 points to ramp up precision
31.231 * * * * [points]: Setting MPFR precision to 64
31.293 * * * * [points]: Setting MPFR precision to 320
31.370 * * * * [points]: Computing exacts on every 6 of 7050 points to ramp up precision
31.375 * * * * [points]: Setting MPFR precision to 64
31.443 * * * * [points]: Setting MPFR precision to 320
31.555 * * * * [points]: Computing exacts on every 3 of 7050 points to ramp up precision
31.562 * * * * [points]: Setting MPFR precision to 64
31.721 * * * * [points]: Setting MPFR precision to 320
31.921 * * * * [points]: Computing exacts for 7050 points
31.929 * * * * [points]: Setting MPFR precision to 64
32.929 * * * * [points]: Setting MPFR precision to 320
33.894 * * * * [points]: Filtering points with unrepresentable outputs
33.897 * * * * [points]: Sampling 6224 additional inputs, on iter 2 have 1776 / 8000
33.947 * * * * [points]: Computing exacts on every 389 of 6224 points to ramp up precision
33.953 * * * * [points]: Setting MPFR precision to 64
33.954 * * * * [points]: Setting MPFR precision to 320
33.955 * * * * [points]: Computing exacts on every 194 of 6224 points to ramp up precision
33.958 * * * * [points]: Setting MPFR precision to 64
33.961 * * * * [points]: Setting MPFR precision to 320
33.963 * * * * [points]: Computing exacts on every 97 of 6224 points to ramp up precision
33.967 * * * * [points]: Setting MPFR precision to 64
33.971 * * * * [points]: Setting MPFR precision to 320
33.976 * * * * [points]: Computing exacts on every 48 of 6224 points to ramp up precision
33.979 * * * * [points]: Setting MPFR precision to 64
33.988 * * * * [points]: Setting MPFR precision to 320
33.997 * * * * [points]: Computing exacts on every 24 of 6224 points to ramp up precision
34.001 * * * * [points]: Setting MPFR precision to 64
34.019 * * * * [points]: Setting MPFR precision to 320
34.036 * * * * [points]: Computing exacts on every 12 of 6224 points to ramp up precision
34.040 * * * * [points]: Setting MPFR precision to 64
34.108 * * * * [points]: Setting MPFR precision to 320
34.153 * * * * [points]: Computing exacts on every 6 of 6224 points to ramp up precision
34.160 * * * * [points]: Setting MPFR precision to 64
34.336 * * * * [points]: Setting MPFR precision to 320
34.452 * * * * [points]: Computing exacts on every 3 of 6224 points to ramp up precision
34.460 * * * * [points]: Setting MPFR precision to 64
34.692 * * * * [points]: Setting MPFR precision to 320
34.938 * * * * [points]: Computing exacts for 6224 points
34.945 * * * * [points]: Setting MPFR precision to 64
35.990 * * * * [points]: Setting MPFR precision to 320
37.329 * * * * [points]: Filtering points with unrepresentable outputs
37.331 * * * * [points]: Sampling 5453 additional inputs, on iter 3 have 2547 / 8000
37.355 * * * * [points]: Computing exacts on every 340 of 5453 points to ramp up precision
37.362 * * * * [points]: Setting MPFR precision to 64
37.364 * * * * [points]: Setting MPFR precision to 320
37.366 * * * * [points]: Computing exacts on every 170 of 5453 points to ramp up precision
37.403 * * * * [points]: Setting MPFR precision to 64
37.407 * * * * [points]: Setting MPFR precision to 320
37.413 * * * * [points]: Computing exacts on every 85 of 5453 points to ramp up precision
37.420 * * * * [points]: Setting MPFR precision to 64
37.427 * * * * [points]: Setting MPFR precision to 320
37.434 * * * * [points]: Computing exacts on every 42 of 5453 points to ramp up precision
37.437 * * * * [points]: Setting MPFR precision to 64
37.447 * * * * [points]: Setting MPFR precision to 320
37.456 * * * * [points]: Computing exacts on every 21 of 5453 points to ramp up precision
37.463 * * * * [points]: Setting MPFR precision to 64
37.482 * * * * [points]: Setting MPFR precision to 320
37.498 * * * * [points]: Computing exacts on every 10 of 5453 points to ramp up precision
37.502 * * * * [points]: Setting MPFR precision to 64
37.565 * * * * [points]: Setting MPFR precision to 320
37.627 * * * * [points]: Computing exacts on every 5 of 5453 points to ramp up precision
37.634 * * * * [points]: Setting MPFR precision to 64
37.739 * * * * [points]: Setting MPFR precision to 320
37.811 * * * * [points]: Computing exacts on every 2 of 5453 points to ramp up precision
37.815 * * * * [points]: Setting MPFR precision to 64
37.999 * * * * [points]: Setting MPFR precision to 320
38.183 * * * * [points]: Computing exacts for 5453 points
38.187 * * * * [points]: Setting MPFR precision to 64
38.698 * * * * [points]: Setting MPFR precision to 320
39.187 * * * * [points]: Filtering points with unrepresentable outputs
39.190 * * * * [points]: Sampling 4778 additional inputs, on iter 4 have 3222 / 8000
39.210 * * * * [points]: Computing exacts on every 298 of 4778 points to ramp up precision
39.213 * * * * [points]: Setting MPFR precision to 64
39.617 * * * * [points]: Setting MPFR precision to 320
39.618 * * * * [points]: Computing exacts on every 149 of 4778 points to ramp up precision
39.622 * * * * [points]: Setting MPFR precision to 64
39.624 * * * * [points]: Setting MPFR precision to 320
39.628 * * * * [points]: Computing exacts on every 74 of 4778 points to ramp up precision
39.631 * * * * [points]: Setting MPFR precision to 64
39.636 * * * * [points]: Setting MPFR precision to 320
39.640 * * * * [points]: Computing exacts on every 37 of 4778 points to ramp up precision
39.643 * * * * [points]: Setting MPFR precision to 64
39.652 * * * * [points]: Setting MPFR precision to 320
39.660 * * * * [points]: Computing exacts on every 18 of 4778 points to ramp up precision
39.663 * * * * [points]: Setting MPFR precision to 64
39.680 * * * * [points]: Setting MPFR precision to 320
39.710 * * * * [points]: Computing exacts on every 9 of 4778 points to ramp up precision
39.714 * * * * [points]: Setting MPFR precision to 64
39.776 * * * * [points]: Setting MPFR precision to 320
39.811 * * * * [points]: Computing exacts on every 4 of 4778 points to ramp up precision
39.815 * * * * [points]: Setting MPFR precision to 64
39.923 * * * * [points]: Setting MPFR precision to 320
39.992 * * * * [points]: Computing exacts on every 2 of 4778 points to ramp up precision
39.996 * * * * [points]: Setting MPFR precision to 64
40.142 * * * * [points]: Setting MPFR precision to 320
40.289 * * * * [points]: Computing exacts for 4778 points
40.293 * * * * [points]: Setting MPFR precision to 64
40.732 * * * * [points]: Setting MPFR precision to 320
41.181 * * * * [points]: Filtering points with unrepresentable outputs
41.183 * * * * [points]: Sampling 4200 additional inputs, on iter 5 have 3800 / 8000
41.200 * * * * [points]: Computing exacts on every 262 of 4200 points to ramp up precision
41.204 * * * * [points]: Setting MPFR precision to 64
41.206 * * * * [points]: Setting MPFR precision to 320
41.207 * * * * [points]: Computing exacts on every 131 of 4200 points to ramp up precision
41.210 * * * * [points]: Setting MPFR precision to 64
41.213 * * * * [points]: Setting MPFR precision to 320
41.241 * * * * [points]: Computing exacts on every 65 of 4200 points to ramp up precision
41.245 * * * * [points]: Setting MPFR precision to 64
41.253 * * * * [points]: Setting MPFR precision to 320
41.257 * * * * [points]: Computing exacts on every 32 of 4200 points to ramp up precision
41.261 * * * * [points]: Setting MPFR precision to 64
41.270 * * * * [points]: Setting MPFR precision to 320
41.279 * * * * [points]: Computing exacts on every 16 of 4200 points to ramp up precision
41.282 * * * * [points]: Setting MPFR precision to 64
41.299 * * * * [points]: Setting MPFR precision to 320
41.316 * * * * [points]: Computing exacts on every 8 of 4200 points to ramp up precision
41.319 * * * * [points]: Setting MPFR precision to 64
41.383 * * * * [points]: Setting MPFR precision to 320
41.416 * * * * [points]: Computing exacts on every 4 of 4200 points to ramp up precision
41.419 * * * * [points]: Setting MPFR precision to 64
41.473 * * * * [points]: Setting MPFR precision to 320
41.565 * * * * [points]: Computing exacts on every 2 of 4200 points to ramp up precision
41.569 * * * * [points]: Setting MPFR precision to 64
41.707 * * * * [points]: Setting MPFR precision to 320
42.127 * * * * [points]: Computing exacts for 4200 points
42.130 * * * * [points]: Setting MPFR precision to 64
42.476 * * * * [points]: Setting MPFR precision to 320
42.853 * * * * [points]: Filtering points with unrepresentable outputs
42.855 * * * * [points]: Sampling 3692 additional inputs, on iter 6 have 4308 / 8000
42.870 * * * * [points]: Computing exacts on every 230 of 3692 points to ramp up precision
42.873 * * * * [points]: Setting MPFR precision to 64
42.875 * * * * [points]: Setting MPFR precision to 320
42.876 * * * * [points]: Computing exacts on every 115 of 3692 points to ramp up precision
42.879 * * * * [points]: Setting MPFR precision to 64
42.881 * * * * [points]: Setting MPFR precision to 320
42.883 * * * * [points]: Computing exacts on every 57 of 3692 points to ramp up precision
42.887 * * * * [points]: Setting MPFR precision to 64
42.891 * * * * [points]: Setting MPFR precision to 320
42.896 * * * * [points]: Computing exacts on every 28 of 3692 points to ramp up precision
42.899 * * * * [points]: Setting MPFR precision to 64
42.907 * * * * [points]: Setting MPFR precision to 320
42.939 * * * * [points]: Computing exacts on every 14 of 3692 points to ramp up precision
42.945 * * * * [points]: Setting MPFR precision to 64
42.963 * * * * [points]: Setting MPFR precision to 320
42.979 * * * * [points]: Computing exacts on every 7 of 3692 points to ramp up precision
42.983 * * * * [points]: Setting MPFR precision to 64
43.013 * * * * [points]: Setting MPFR precision to 320
43.071 * * * * [points]: Computing exacts on every 3 of 3692 points to ramp up precision
43.076 * * * * [points]: Setting MPFR precision to 64
43.138 * * * * [points]: Setting MPFR precision to 320
43.235 * * * * [points]: Computing exacts for 3692 points
43.239 * * * * [points]: Setting MPFR precision to 64
43.554 * * * * [points]: Setting MPFR precision to 320
43.873 * * * * [points]: Filtering points with unrepresentable outputs
43.875 * * * * [points]: Sampling 3217 additional inputs, on iter 7 have 4783 / 8000
43.889 * * * * [points]: Computing exacts on every 201 of 3217 points to ramp up precision
43.921 * * * * [points]: Setting MPFR precision to 64
43.922 * * * * [points]: Setting MPFR precision to 320
43.923 * * * * [points]: Computing exacts on every 100 of 3217 points to ramp up precision
43.926 * * * * [points]: Setting MPFR precision to 64
43.929 * * * * [points]: Setting MPFR precision to 320
43.933 * * * * [points]: Computing exacts on every 50 of 3217 points to ramp up precision
43.936 * * * * [points]: Setting MPFR precision to 64
43.941 * * * * [points]: Setting MPFR precision to 320
43.945 * * * * [points]: Computing exacts on every 25 of 3217 points to ramp up precision
43.948 * * * * [points]: Setting MPFR precision to 64
43.957 * * * * [points]: Setting MPFR precision to 320
43.965 * * * * [points]: Computing exacts on every 12 of 3217 points to ramp up precision
43.969 * * * * [points]: Setting MPFR precision to 64
43.987 * * * * [points]: Setting MPFR precision to 320
44.004 * * * * [points]: Computing exacts on every 6 of 3217 points to ramp up precision
44.008 * * * * [points]: Setting MPFR precision to 64
44.066 * * * * [points]: Setting MPFR precision to 320
44.096 * * * * [points]: Computing exacts on every 3 of 3217 points to ramp up precision
44.100 * * * * [points]: Setting MPFR precision to 64
44.153 * * * * [points]: Setting MPFR precision to 320
44.237 * * * * [points]: Computing exacts for 3217 points
44.241 * * * * [points]: Setting MPFR precision to 64
44.778 * * * * [points]: Setting MPFR precision to 320
45.057 * * * * [points]: Filtering points with unrepresentable outputs
45.058 * * * * [points]: Sampling 2837 additional inputs, on iter 8 have 5163 / 8000
45.070 * * * * [points]: Computing exacts on every 177 of 2837 points to ramp up precision
45.074 * * * * [points]: Setting MPFR precision to 64
45.075 * * * * [points]: Setting MPFR precision to 320
45.076 * * * * [points]: Computing exacts on every 88 of 2837 points to ramp up precision
45.079 * * * * [points]: Setting MPFR precision to 64
45.081 * * * * [points]: Setting MPFR precision to 320
45.083 * * * * [points]: Computing exacts on every 44 of 2837 points to ramp up precision
45.087 * * * * [points]: Setting MPFR precision to 64
45.091 * * * * [points]: Setting MPFR precision to 320
45.095 * * * * [points]: Computing exacts on every 22 of 2837 points to ramp up precision
45.099 * * * * [points]: Setting MPFR precision to 64
45.132 * * * * [points]: Setting MPFR precision to 320
45.142 * * * * [points]: Computing exacts on every 11 of 2837 points to ramp up precision
45.146 * * * * [points]: Setting MPFR precision to 64
45.162 * * * * [points]: Setting MPFR precision to 320
45.178 * * * * [points]: Computing exacts on every 5 of 2837 points to ramp up precision
45.182 * * * * [points]: Setting MPFR precision to 64
45.214 * * * * [points]: Setting MPFR precision to 320
45.279 * * * * [points]: Computing exacts on every 2 of 2837 points to ramp up precision
45.284 * * * * [points]: Setting MPFR precision to 64
45.352 * * * * [points]: Setting MPFR precision to 320
45.454 * * * * [points]: Computing exacts for 2837 points
45.458 * * * * [points]: Setting MPFR precision to 64
45.723 * * * * [points]: Setting MPFR precision to 320
45.955 * * * * [points]: Filtering points with unrepresentable outputs
45.956 * * * * [points]: Sampling 2516 additional inputs, on iter 9 have 5484 / 8000
45.968 * * * * [points]: Computing exacts on every 157 of 2516 points to ramp up precision
45.972 * * * * [points]: Setting MPFR precision to 64
45.974 * * * * [points]: Setting MPFR precision to 320
45.975 * * * * [points]: Computing exacts on every 78 of 2516 points to ramp up precision
46.008 * * * * [points]: Setting MPFR precision to 64
46.011 * * * * [points]: Setting MPFR precision to 320
46.013 * * * * [points]: Computing exacts on every 39 of 2516 points to ramp up precision
46.018 * * * * [points]: Setting MPFR precision to 64
46.023 * * * * [points]: Setting MPFR precision to 320
46.027 * * * * [points]: Computing exacts on every 19 of 2516 points to ramp up precision
46.031 * * * * [points]: Setting MPFR precision to 64
46.041 * * * * [points]: Setting MPFR precision to 320
46.050 * * * * [points]: Computing exacts on every 9 of 2516 points to ramp up precision
46.053 * * * * [points]: Setting MPFR precision to 64
46.071 * * * * [points]: Setting MPFR precision to 320
46.089 * * * * [points]: Computing exacts on every 4 of 2516 points to ramp up precision
46.092 * * * * [points]: Setting MPFR precision to 64
46.158 * * * * [points]: Setting MPFR precision to 320
46.194 * * * * [points]: Computing exacts on every 2 of 2516 points to ramp up precision
46.198 * * * * [points]: Setting MPFR precision to 64
46.289 * * * * [points]: Setting MPFR precision to 320
46.350 * * * * [points]: Computing exacts for 2516 points
46.355 * * * * [points]: Setting MPFR precision to 64
46.594 * * * * [points]: Setting MPFR precision to 320
47.075 * * * * [points]: Filtering points with unrepresentable outputs
47.077 * * * * [points]: Sampling 2179 additional inputs, on iter 10 have 5821 / 8000
47.086 * * * * [points]: Computing exacts on every 136 of 2179 points to ramp up precision
47.090 * * * * [points]: Setting MPFR precision to 64
47.091 * * * * [points]: Setting MPFR precision to 320
47.092 * * * * [points]: Computing exacts on every 68 of 2179 points to ramp up precision
47.095 * * * * [points]: Setting MPFR precision to 64
47.097 * * * * [points]: Setting MPFR precision to 320
47.099 * * * * [points]: Computing exacts on every 34 of 2179 points to ramp up precision
47.103 * * * * [points]: Setting MPFR precision to 64
47.132 * * * * [points]: Setting MPFR precision to 320
47.137 * * * * [points]: Computing exacts on every 17 of 2179 points to ramp up precision
47.142 * * * * [points]: Setting MPFR precision to 64
47.150 * * * * [points]: Setting MPFR precision to 320
47.159 * * * * [points]: Computing exacts on every 8 of 2179 points to ramp up precision
47.162 * * * * [points]: Setting MPFR precision to 64
47.178 * * * * [points]: Setting MPFR precision to 320
47.195 * * * * [points]: Computing exacts on every 4 of 2179 points to ramp up precision
47.199 * * * * [points]: Setting MPFR precision to 64
47.227 * * * * [points]: Setting MPFR precision to 320
47.287 * * * * [points]: Computing exacts on every 2 of 2179 points to ramp up precision
47.291 * * * * [points]: Setting MPFR precision to 64
47.339 * * * * [points]: Setting MPFR precision to 320
47.426 * * * * [points]: Computing exacts for 2179 points
47.430 * * * * [points]: Setting MPFR precision to 64
47.610 * * * * [points]: Setting MPFR precision to 320
47.792 * * * * [points]: Filtering points with unrepresentable outputs
47.793 * * * * [points]: Sampling 1889 additional inputs, on iter 11 have 6111 / 8000
47.802 * * * * [points]: Computing exacts on every 118 of 1889 points to ramp up precision
47.805 * * * * [points]: Setting MPFR precision to 64
47.836 * * * * [points]: Setting MPFR precision to 320
47.837 * * * * [points]: Computing exacts on every 59 of 1889 points to ramp up precision
47.841 * * * * [points]: Setting MPFR precision to 64
47.843 * * * * [points]: Setting MPFR precision to 320
47.847 * * * * [points]: Computing exacts on every 29 of 1889 points to ramp up precision
47.851 * * * * [points]: Setting MPFR precision to 64
47.856 * * * * [points]: Setting MPFR precision to 320
47.861 * * * * [points]: Computing exacts on every 14 of 1889 points to ramp up precision
47.864 * * * * [points]: Setting MPFR precision to 64
47.873 * * * * [points]: Setting MPFR precision to 320
47.881 * * * * [points]: Computing exacts on every 7 of 1889 points to ramp up precision
47.885 * * * * [points]: Setting MPFR precision to 64
47.900 * * * * [points]: Setting MPFR precision to 320
47.916 * * * * [points]: Computing exacts on every 3 of 1889 points to ramp up precision
47.920 * * * * [points]: Setting MPFR precision to 64
47.983 * * * * [points]: Setting MPFR precision to 320
48.014 * * * * [points]: Computing exacts for 1889 points
48.018 * * * * [points]: Setting MPFR precision to 64
48.182 * * * * [points]: Setting MPFR precision to 320
48.345 * * * * [points]: Filtering points with unrepresentable outputs
48.346 * * * * [points]: Sampling 1668 additional inputs, on iter 12 have 6332 / 8000
48.353 * * * * [points]: Computing exacts on every 104 of 1668 points to ramp up precision
48.356 * * * * [points]: Setting MPFR precision to 64
48.358 * * * * [points]: Setting MPFR precision to 320
48.359 * * * * [points]: Computing exacts on every 52 of 1668 points to ramp up precision
48.363 * * * * [points]: Setting MPFR precision to 64
48.366 * * * * [points]: Setting MPFR precision to 320
48.397 * * * * [points]: Computing exacts on every 26 of 1668 points to ramp up precision
48.401 * * * * [points]: Setting MPFR precision to 64
48.405 * * * * [points]: Setting MPFR precision to 320
48.411 * * * * [points]: Computing exacts on every 13 of 1668 points to ramp up precision
48.414 * * * * [points]: Setting MPFR precision to 64
48.422 * * * * [points]: Setting MPFR precision to 320
48.430 * * * * [points]: Computing exacts on every 6 of 1668 points to ramp up precision
48.434 * * * * [points]: Setting MPFR precision to 64
48.449 * * * * [points]: Setting MPFR precision to 320
48.465 * * * * [points]: Computing exacts on every 3 of 1668 points to ramp up precision
48.469 * * * * [points]: Setting MPFR precision to 64
48.497 * * * * [points]: Setting MPFR precision to 320
48.553 * * * * [points]: Computing exacts for 1668 points
48.556 * * * * [points]: Setting MPFR precision to 64
48.700 * * * * [points]: Setting MPFR precision to 320
48.842 * * * * [points]: Filtering points with unrepresentable outputs
48.843 * * * * [points]: Sampling 1465 additional inputs, on iter 13 have 6535 / 8000
48.849 * * * * [points]: Computing exacts on every 91 of 1465 points to ramp up precision
48.852 * * * * [points]: Setting MPFR precision to 64
48.854 * * * * [points]: Setting MPFR precision to 320
48.855 * * * * [points]: Computing exacts on every 45 of 1465 points to ramp up precision
48.858 * * * * [points]: Setting MPFR precision to 64
48.860 * * * * [points]: Setting MPFR precision to 320
48.862 * * * * [points]: Computing exacts on every 22 of 1465 points to ramp up precision
48.866 * * * * [points]: Setting MPFR precision to 64
48.870 * * * * [points]: Setting MPFR precision to 320
48.875 * * * * [points]: Computing exacts on every 11 of 1465 points to ramp up precision
48.879 * * * * [points]: Setting MPFR precision to 64
48.887 * * * * [points]: Setting MPFR precision to 320
48.895 * * * * [points]: Computing exacts on every 5 of 1465 points to ramp up precision
48.898 * * * * [points]: Setting MPFR precision to 64
48.940 * * * * [points]: Setting MPFR precision to 320
48.956 * * * * [points]: Computing exacts on every 2 of 1465 points to ramp up precision
48.959 * * * * [points]: Setting MPFR precision to 64
48.992 * * * * [points]: Setting MPFR precision to 320
49.024 * * * * [points]: Computing exacts for 1465 points
49.028 * * * * [points]: Setting MPFR precision to 64
49.151 * * * * [points]: Setting MPFR precision to 320
49.549 * * * * [points]: Filtering points with unrepresentable outputs
49.550 * * * * [points]: Sampling 1288 additional inputs, on iter 14 have 6712 / 8000
49.555 * * * * [points]: Computing exacts on every 80 of 1288 points to ramp up precision
49.559 * * * * [points]: Setting MPFR precision to 64
49.560 * * * * [points]: Setting MPFR precision to 320
49.561 * * * * [points]: Computing exacts on every 40 of 1288 points to ramp up precision
49.565 * * * * [points]: Setting MPFR precision to 64
49.567 * * * * [points]: Setting MPFR precision to 320
49.569 * * * * [points]: Computing exacts on every 20 of 1288 points to ramp up precision
49.572 * * * * [points]: Setting MPFR precision to 64
49.604 * * * * [points]: Setting MPFR precision to 320
49.608 * * * * [points]: Computing exacts on every 10 of 1288 points to ramp up precision
49.613 * * * * [points]: Setting MPFR precision to 64
49.622 * * * * [points]: Setting MPFR precision to 320
49.630 * * * * [points]: Computing exacts on every 5 of 1288 points to ramp up precision
49.633 * * * * [points]: Setting MPFR precision to 64
49.648 * * * * [points]: Setting MPFR precision to 320
49.662 * * * * [points]: Computing exacts on every 2 of 1288 points to ramp up precision
49.665 * * * * [points]: Setting MPFR precision to 64
49.692 * * * * [points]: Setting MPFR precision to 320
49.748 * * * * [points]: Computing exacts for 1288 points
49.751 * * * * [points]: Setting MPFR precision to 64
49.862 * * * * [points]: Setting MPFR precision to 320
49.945 * * * * [points]: Filtering points with unrepresentable outputs
49.946 * * * * [points]: Sampling 1148 additional inputs, on iter 15 have 6852 / 8000
49.950 * * * * [points]: Computing exacts on every 71 of 1148 points to ramp up precision
49.954 * * * * [points]: Setting MPFR precision to 64
49.955 * * * * [points]: Setting MPFR precision to 320
49.956 * * * * [points]: Computing exacts on every 35 of 1148 points to ramp up precision
49.959 * * * * [points]: Setting MPFR precision to 64
49.962 * * * * [points]: Setting MPFR precision to 320
49.964 * * * * [points]: Computing exacts on every 17 of 1148 points to ramp up precision
49.994 * * * * [points]: Setting MPFR precision to 64
49.999 * * * * [points]: Setting MPFR precision to 320
50.004 * * * * [points]: Computing exacts on every 8 of 1148 points to ramp up precision
50.008 * * * * [points]: Setting MPFR precision to 64
50.016 * * * * [points]: Setting MPFR precision to 320
50.024 * * * * [points]: Computing exacts on every 4 of 1148 points to ramp up precision
50.027 * * * * [points]: Setting MPFR precision to 64
50.042 * * * * [points]: Setting MPFR precision to 320
50.056 * * * * [points]: Computing exacts on every 2 of 1148 points to ramp up precision
50.060 * * * * [points]: Setting MPFR precision to 64
50.083 * * * * [points]: Setting MPFR precision to 320
50.134 * * * * [points]: Computing exacts for 1148 points
50.137 * * * * [points]: Setting MPFR precision to 64
50.208 * * * * [points]: Setting MPFR precision to 320
50.308 * * * * [points]: Filtering points with unrepresentable outputs
50.309 * * * * [points]: Sampling 1008 additional inputs, on iter 16 have 6992 / 8000
50.313 * * * * [points]: Computing exacts on every 63 of 1008 points to ramp up precision
50.316 * * * * [points]: Setting MPFR precision to 64
50.318 * * * * [points]: Setting MPFR precision to 320
50.319 * * * * [points]: Computing exacts on every 31 of 1008 points to ramp up precision
50.322 * * * * [points]: Setting MPFR precision to 64
50.324 * * * * [points]: Setting MPFR precision to 320
50.326 * * * * [points]: Computing exacts on every 15 of 1008 points to ramp up precision
50.329 * * * * [points]: Setting MPFR precision to 64
50.333 * * * * [points]: Setting MPFR precision to 320
50.337 * * * * [points]: Computing exacts on every 7 of 1008 points to ramp up precision
50.365 * * * * [points]: Setting MPFR precision to 64
50.375 * * * * [points]: Setting MPFR precision to 320
50.383 * * * * [points]: Computing exacts on every 3 of 1008 points to ramp up precision
50.386 * * * * [points]: Setting MPFR precision to 64
50.402 * * * * [points]: Setting MPFR precision to 320
50.418 * * * * [points]: Computing exacts for 1008 points
50.421 * * * * [points]: Setting MPFR precision to 64
50.512 * * * * [points]: Setting MPFR precision to 320
50.574 * * * * [points]: Filtering points with unrepresentable outputs
50.575 * * * * [points]: Sampling 882 additional inputs, on iter 17 have 7118 / 8000
50.578 * * * * [points]: Computing exacts on every 55 of 882 points to ramp up precision
50.582 * * * * [points]: Setting MPFR precision to 64
50.583 * * * * [points]: Setting MPFR precision to 320
50.584 * * * * [points]: Computing exacts on every 27 of 882 points to ramp up precision
50.587 * * * * [points]: Setting MPFR precision to 64
50.616 * * * * [points]: Setting MPFR precision to 320
50.619 * * * * [points]: Computing exacts on every 13 of 882 points to ramp up precision
50.622 * * * * [points]: Setting MPFR precision to 64
50.628 * * * * [points]: Setting MPFR precision to 320
50.632 * * * * [points]: Computing exacts on every 6 of 882 points to ramp up precision
50.635 * * * * [points]: Setting MPFR precision to 64
50.643 * * * * [points]: Setting MPFR precision to 320
50.651 * * * * [points]: Computing exacts on every 3 of 882 points to ramp up precision
50.654 * * * * [points]: Setting MPFR precision to 64
50.669 * * * * [points]: Setting MPFR precision to 320
50.682 * * * * [points]: Computing exacts for 882 points
50.686 * * * * [points]: Setting MPFR precision to 64
50.767 * * * * [points]: Setting MPFR precision to 320
50.822 * * * * [points]: Filtering points with unrepresentable outputs
50.822 * * * * [points]: Sampling 783 additional inputs, on iter 18 have 7217 / 8000
50.825 * * * * [points]: Computing exacts on every 48 of 783 points to ramp up precision
50.829 * * * * [points]: Setting MPFR precision to 64
50.830 * * * * [points]: Setting MPFR precision to 320
50.831 * * * * [points]: Computing exacts on every 24 of 783 points to ramp up precision
50.834 * * * * [points]: Setting MPFR precision to 64
50.862 * * * * [points]: Setting MPFR precision to 320
50.864 * * * * [points]: Computing exacts on every 12 of 783 points to ramp up precision
50.868 * * * * [points]: Setting MPFR precision to 64
50.873 * * * * [points]: Setting MPFR precision to 320
50.877 * * * * [points]: Computing exacts on every 6 of 783 points to ramp up precision
50.881 * * * * [points]: Setting MPFR precision to 64
50.888 * * * * [points]: Setting MPFR precision to 320
50.895 * * * * [points]: Computing exacts on every 3 of 783 points to ramp up precision
50.898 * * * * [points]: Setting MPFR precision to 64
50.911 * * * * [points]: Setting MPFR precision to 320
50.923 * * * * [points]: Computing exacts for 783 points
50.927 * * * * [points]: Setting MPFR precision to 64
51.005 * * * * [points]: Setting MPFR precision to 320
51.056 * * * * [points]: Filtering points with unrepresentable outputs
51.056 * * * * [points]: Sampling 670 additional inputs, on iter 19 have 7330 / 8000
51.059 * * * * [points]: Computing exacts on every 41 of 670 points to ramp up precision
51.063 * * * * [points]: Setting MPFR precision to 64
51.064 * * * * [points]: Setting MPFR precision to 320
51.065 * * * * [points]: Computing exacts on every 20 of 670 points to ramp up precision
51.068 * * * * [points]: Setting MPFR precision to 64
51.070 * * * * [points]: Setting MPFR precision to 320
51.072 * * * * [points]: Computing exacts on every 10 of 670 points to ramp up precision
51.076 * * * * [points]: Setting MPFR precision to 64
51.080 * * * * [points]: Setting MPFR precision to 320
51.084 * * * * [points]: Computing exacts on every 5 of 670 points to ramp up precision
51.112 * * * * [points]: Setting MPFR precision to 64
51.119 * * * * [points]: Setting MPFR precision to 320
51.128 * * * * [points]: Computing exacts on every 2 of 670 points to ramp up precision
51.132 * * * * [points]: Setting MPFR precision to 64
51.146 * * * * [points]: Setting MPFR precision to 320
51.161 * * * * [points]: Computing exacts for 670 points
51.164 * * * * [points]: Setting MPFR precision to 64
51.206 * * * * [points]: Setting MPFR precision to 320
51.277 * * * * [points]: Filtering points with unrepresentable outputs
51.277 * * * * [points]: Sampling 580 additional inputs, on iter 20 have 7420 / 8000
51.280 * * * * [points]: Computing exacts on every 36 of 580 points to ramp up precision
51.283 * * * * [points]: Setting MPFR precision to 64
51.284 * * * * [points]: Setting MPFR precision to 320
51.285 * * * * [points]: Computing exacts on every 18 of 580 points to ramp up precision
51.289 * * * * [points]: Setting MPFR precision to 64
51.291 * * * * [points]: Setting MPFR precision to 320
51.293 * * * * [points]: Computing exacts on every 9 of 580 points to ramp up precision
51.296 * * * * [points]: Setting MPFR precision to 64
51.300 * * * * [points]: Setting MPFR precision to 320
51.304 * * * * [points]: Computing exacts on every 4 of 580 points to ramp up precision
51.307 * * * * [points]: Setting MPFR precision to 64
51.314 * * * * [points]: Setting MPFR precision to 320
51.322 * * * * [points]: Computing exacts on every 2 of 580 points to ramp up precision
51.325 * * * * [points]: Setting MPFR precision to 64
51.362 * * * * [points]: Setting MPFR precision to 320
51.376 * * * * [points]: Computing exacts for 580 points
51.380 * * * * [points]: Setting MPFR precision to 64
51.416 * * * * [points]: Setting MPFR precision to 320
51.452 * * * * [points]: Filtering points with unrepresentable outputs
51.453 * * * * [points]: Sampling 496 additional inputs, on iter 21 have 7504 / 8000
51.455 * * * * [points]: Computing exacts on every 31 of 496 points to ramp up precision
51.458 * * * * [points]: Setting MPFR precision to 64
51.487 * * * * [points]: Setting MPFR precision to 320
51.488 * * * * [points]: Computing exacts on every 15 of 496 points to ramp up precision
51.492 * * * * [points]: Setting MPFR precision to 64
51.494 * * * * [points]: Setting MPFR precision to 320
51.498 * * * * [points]: Computing exacts on every 7 of 496 points to ramp up precision
51.502 * * * * [points]: Setting MPFR precision to 64
51.506 * * * * [points]: Setting MPFR precision to 320
51.510 * * * * [points]: Computing exacts on every 3 of 496 points to ramp up precision
51.513 * * * * [points]: Setting MPFR precision to 64
51.521 * * * * [points]: Setting MPFR precision to 320
51.530 * * * * [points]: Computing exacts for 496 points
51.533 * * * * [points]: Setting MPFR precision to 64
51.565 * * * * [points]: Setting MPFR precision to 320
51.902 * * * * [points]: Filtering points with unrepresentable outputs
51.902 * * * * [points]: Sampling 430 additional inputs, on iter 22 have 7570 / 8000
51.904 * * * * [points]: Computing exacts on every 26 of 430 points to ramp up precision
51.908 * * * * [points]: Setting MPFR precision to 64
51.909 * * * * [points]: Setting MPFR precision to 320
51.910 * * * * [points]: Computing exacts on every 13 of 430 points to ramp up precision
51.913 * * * * [points]: Setting MPFR precision to 64
51.915 * * * * [points]: Setting MPFR precision to 320
51.918 * * * * [points]: Computing exacts on every 6 of 430 points to ramp up precision
51.921 * * * * [points]: Setting MPFR precision to 64
51.925 * * * * [points]: Setting MPFR precision to 320
51.929 * * * * [points]: Computing exacts on every 3 of 430 points to ramp up precision
51.932 * * * * [points]: Setting MPFR precision to 64
51.939 * * * * [points]: Setting MPFR precision to 320
51.946 * * * * [points]: Computing exacts for 430 points
51.950 * * * * [points]: Setting MPFR precision to 64
51.977 * * * * [points]: Setting MPFR precision to 320
52.026 * * * * [points]: Filtering points with unrepresentable outputs
52.026 * * * * [points]: Sampling 382 additional inputs, on iter 23 have 7618 / 8000
52.028 * * * * [points]: Computing exacts on every 23 of 382 points to ramp up precision
52.031 * * * * [points]: Setting MPFR precision to 64
52.033 * * * * [points]: Setting MPFR precision to 320
52.034 * * * * [points]: Computing exacts on every 11 of 382 points to ramp up precision
52.037 * * * * [points]: Setting MPFR precision to 64
52.039 * * * * [points]: Setting MPFR precision to 320
52.041 * * * * [points]: Computing exacts on every 5 of 382 points to ramp up precision
52.045 * * * * [points]: Setting MPFR precision to 64
52.049 * * * * [points]: Setting MPFR precision to 320
52.053 * * * * [points]: Computing exacts on every 2 of 382 points to ramp up precision
52.057 * * * * [points]: Setting MPFR precision to 64
52.065 * * * * [points]: Setting MPFR precision to 320
52.073 * * * * [points]: Computing exacts for 382 points
52.077 * * * * [points]: Setting MPFR precision to 64
52.124 * * * * [points]: Setting MPFR precision to 320
52.151 * * * * [points]: Filtering points with unrepresentable outputs
52.151 * * * * [points]: Sampling 348 additional inputs, on iter 24 have 7652 / 8000
52.153 * * * * [points]: Computing exacts on every 21 of 348 points to ramp up precision
52.156 * * * * [points]: Setting MPFR precision to 64
52.157 * * * * [points]: Setting MPFR precision to 320
52.158 * * * * [points]: Computing exacts on every 10 of 348 points to ramp up precision
52.162 * * * * [points]: Setting MPFR precision to 64
52.164 * * * * [points]: Setting MPFR precision to 320
52.166 * * * * [points]: Computing exacts on every 5 of 348 points to ramp up precision
52.170 * * * * [points]: Setting MPFR precision to 64
52.174 * * * * [points]: Setting MPFR precision to 320
52.177 * * * * [points]: Computing exacts on every 2 of 348 points to ramp up precision
52.181 * * * * [points]: Setting MPFR precision to 64
52.189 * * * * [points]: Setting MPFR precision to 320
52.196 * * * * [points]: Computing exacts for 348 points
52.199 * * * * [points]: Setting MPFR precision to 64
52.245 * * * * [points]: Setting MPFR precision to 320
52.269 * * * * [points]: Filtering points with unrepresentable outputs
52.269 * * * * [points]: Sampling 291 additional inputs, on iter 25 have 7709 / 8000
52.270 * * * * [points]: Computing exacts on every 18 of 291 points to ramp up precision
52.274 * * * * [points]: Setting MPFR precision to 64
52.275 * * * * [points]: Setting MPFR precision to 320
52.276 * * * * [points]: Computing exacts on every 9 of 291 points to ramp up precision
52.279 * * * * [points]: Setting MPFR precision to 64
52.281 * * * * [points]: Setting MPFR precision to 320
52.283 * * * * [points]: Computing exacts on every 4 of 291 points to ramp up precision
52.287 * * * * [points]: Setting MPFR precision to 64
52.290 * * * * [points]: Setting MPFR precision to 320
52.294 * * * * [points]: Computing exacts on every 2 of 291 points to ramp up precision
52.297 * * * * [points]: Setting MPFR precision to 64
52.304 * * * * [points]: Setting MPFR precision to 320
52.310 * * * * [points]: Computing exacts for 291 points
52.313 * * * * [points]: Setting MPFR precision to 64
52.331 * * * * [points]: Setting MPFR precision to 320
52.372 * * * * [points]: Filtering points with unrepresentable outputs
52.372 * * * * [points]: Sampling 253 additional inputs, on iter 26 have 7747 / 8000
52.373 * * * * [points]: Computing exacts on every 15 of 253 points to ramp up precision
52.377 * * * * [points]: Setting MPFR precision to 64
52.378 * * * * [points]: Setting MPFR precision to 320
52.379 * * * * [points]: Computing exacts on every 7 of 253 points to ramp up precision
52.382 * * * * [points]: Setting MPFR precision to 64
52.384 * * * * [points]: Setting MPFR precision to 320
52.386 * * * * [points]: Computing exacts on every 3 of 253 points to ramp up precision
52.389 * * * * [points]: Setting MPFR precision to 64
52.394 * * * * [points]: Setting MPFR precision to 320
52.398 * * * * [points]: Computing exacts for 253 points
52.401 * * * * [points]: Setting MPFR precision to 64
52.417 * * * * [points]: Setting MPFR precision to 320
52.433 * * * * [points]: Filtering points with unrepresentable outputs
52.433 * * * * [points]: Sampling 226 additional inputs, on iter 27 have 7774 / 8000
52.434 * * * * [points]: Computing exacts on every 14 of 226 points to ramp up precision
52.438 * * * * [points]: Setting MPFR precision to 64
52.439 * * * * [points]: Setting MPFR precision to 320
52.440 * * * * [points]: Computing exacts on every 7 of 226 points to ramp up precision
52.443 * * * * [points]: Setting MPFR precision to 64
52.445 * * * * [points]: Setting MPFR precision to 320
52.447 * * * * [points]: Computing exacts on every 3 of 226 points to ramp up precision
52.471 * * * * [points]: Setting MPFR precision to 64
52.475 * * * * [points]: Setting MPFR precision to 320
52.478 * * * * [points]: Computing exacts for 226 points
52.483 * * * * [points]: Setting MPFR precision to 64
52.498 * * * * [points]: Setting MPFR precision to 320
52.512 * * * * [points]: Filtering points with unrepresentable outputs
52.513 * * * * [points]: Sampling 193 additional inputs, on iter 28 have 7807 / 8000
52.513 * * * * [points]: Computing exacts on every 12 of 193 points to ramp up precision
52.517 * * * * [points]: Setting MPFR precision to 64
52.518 * * * * [points]: Setting MPFR precision to 320
52.519 * * * * [points]: Computing exacts on every 6 of 193 points to ramp up precision
52.522 * * * * [points]: Setting MPFR precision to 64
52.524 * * * * [points]: Setting MPFR precision to 320
52.526 * * * * [points]: Computing exacts on every 3 of 193 points to ramp up precision
52.529 * * * * [points]: Setting MPFR precision to 64
52.532 * * * * [points]: Setting MPFR precision to 320
52.535 * * * * [points]: Computing exacts for 193 points
52.539 * * * * [points]: Setting MPFR precision to 64
52.551 * * * * [points]: Setting MPFR precision to 320
52.585 * * * * [points]: Filtering points with unrepresentable outputs
52.586 * * * * [points]: Sampling 164 additional inputs, on iter 29 have 7836 / 8000
52.586 * * * * [points]: Computing exacts on every 10 of 164 points to ramp up precision
52.590 * * * * [points]: Setting MPFR precision to 64
52.591 * * * * [points]: Setting MPFR precision to 320
52.592 * * * * [points]: Computing exacts on every 5 of 164 points to ramp up precision
52.597 * * * * [points]: Setting MPFR precision to 64
52.599 * * * * [points]: Setting MPFR precision to 320
52.601 * * * * [points]: Computing exacts on every 2 of 164 points to ramp up precision
52.604 * * * * [points]: Setting MPFR precision to 64
52.608 * * * * [points]: Setting MPFR precision to 320
52.611 * * * * [points]: Computing exacts for 164 points
52.614 * * * * [points]: Setting MPFR precision to 64
52.625 * * * * [points]: Setting MPFR precision to 320
52.635 * * * * [points]: Filtering points with unrepresentable outputs
52.635 * * * * [points]: Sampling 143 additional inputs, on iter 30 have 7857 / 8000
52.636 * * * * [points]: Computing exacts on every 8 of 143 points to ramp up precision
52.639 * * * * [points]: Setting MPFR precision to 64
52.640 * * * * [points]: Setting MPFR precision to 320
52.641 * * * * [points]: Computing exacts on every 4 of 143 points to ramp up precision
52.644 * * * * [points]: Setting MPFR precision to 64
52.646 * * * * [points]: Setting MPFR precision to 320
52.649 * * * * [points]: Computing exacts on every 2 of 143 points to ramp up precision
52.652 * * * * [points]: Setting MPFR precision to 64
52.655 * * * * [points]: Setting MPFR precision to 320
52.658 * * * * [points]: Computing exacts for 143 points
52.661 * * * * [points]: Setting MPFR precision to 64
52.670 * * * * [points]: Setting MPFR precision to 320
52.698 * * * * [points]: Filtering points with unrepresentable outputs
52.698 * * * * [points]: Sampling 114 additional inputs, on iter 31 have 7886 / 8000
52.699 * * * * [points]: Computing exacts on every 7 of 114 points to ramp up precision
52.704 * * * * [points]: Setting MPFR precision to 64
52.706 * * * * [points]: Setting MPFR precision to 320
52.706 * * * * [points]: Computing exacts on every 3 of 114 points to ramp up precision
52.710 * * * * [points]: Setting MPFR precision to 64
52.712 * * * * [points]: Setting MPFR precision to 320
52.713 * * * * [points]: Computing exacts for 114 points
52.717 * * * * [points]: Setting MPFR precision to 64
52.724 * * * * [points]: Setting MPFR precision to 320
52.731 * * * * [points]: Filtering points with unrepresentable outputs
52.731 * * * * [points]: Sampling 102 additional inputs, on iter 32 have 7898 / 8000
52.732 * * * * [points]: Computing exacts on every 6 of 102 points to ramp up precision
52.735 * * * * [points]: Setting MPFR precision to 64
52.736 * * * * [points]: Setting MPFR precision to 320
52.737 * * * * [points]: Computing exacts on every 3 of 102 points to ramp up precision
52.740 * * * * [points]: Setting MPFR precision to 64
52.742 * * * * [points]: Setting MPFR precision to 320
52.743 * * * * [points]: Computing exacts for 102 points
52.747 * * * * [points]: Setting MPFR precision to 64
52.753 * * * * [points]: Setting MPFR precision to 320
52.760 * * * * [points]: Filtering points with unrepresentable outputs
52.760 * * * * [points]: Sampling 90 additional inputs, on iter 33 have 7910 / 8000
52.760 * * * * [points]: Computing exacts on every 5 of 90 points to ramp up precision
52.764 * * * * [points]: Setting MPFR precision to 64
52.765 * * * * [points]: Setting MPFR precision to 320
52.766 * * * * [points]: Computing exacts on every 2 of 90 points to ramp up precision
52.769 * * * * [points]: Setting MPFR precision to 64
52.771 * * * * [points]: Setting MPFR precision to 320
52.773 * * * * [points]: Computing exacts for 90 points
52.794 * * * * [points]: Setting MPFR precision to 64
52.800 * * * * [points]: Setting MPFR precision to 320
52.807 * * * * [points]: Filtering points with unrepresentable outputs
52.807 * * * * [points]: Sampling 78 additional inputs, on iter 34 have 7922 / 8000
52.807 * * * * [points]: Computing exacts on every 4 of 78 points to ramp up precision
52.811 * * * * [points]: Setting MPFR precision to 64
52.812 * * * * [points]: Setting MPFR precision to 320
52.813 * * * * [points]: Computing exacts on every 2 of 78 points to ramp up precision
52.816 * * * * [points]: Setting MPFR precision to 64
52.818 * * * * [points]: Setting MPFR precision to 320
52.820 * * * * [points]: Computing exacts for 78 points
52.823 * * * * [points]: Setting MPFR precision to 64
52.828 * * * * [points]: Setting MPFR precision to 320
52.833 * * * * [points]: Filtering points with unrepresentable outputs
52.833 * * * * [points]: Sampling 71 additional inputs, on iter 35 have 7929 / 8000
52.833 * * * * [points]: Computing exacts on every 4 of 71 points to ramp up precision
52.837 * * * * [points]: Setting MPFR precision to 64
52.838 * * * * [points]: Setting MPFR precision to 320
52.839 * * * * [points]: Computing exacts on every 2 of 71 points to ramp up precision
52.842 * * * * [points]: Setting MPFR precision to 64
52.843 * * * * [points]: Setting MPFR precision to 320
52.845 * * * * [points]: Computing exacts for 71 points
52.848 * * * * [points]: Setting MPFR precision to 64
52.852 * * * * [points]: Setting MPFR precision to 320
52.857 * * * * [points]: Filtering points with unrepresentable outputs
52.857 * * * * [points]: Sampling 60 additional inputs, on iter 36 have 7940 / 8000
52.857 * * * * [points]: Computing exacts on every 3 of 60 points to ramp up precision
52.861 * * * * [points]: Setting MPFR precision to 64
52.862 * * * * [points]: Setting MPFR precision to 320
52.863 * * * * [points]: Computing exacts for 60 points
52.866 * * * * [points]: Setting MPFR precision to 64
52.870 * * * * [points]: Setting MPFR precision to 320
52.874 * * * * [points]: Filtering points with unrepresentable outputs
52.874 * * * * [points]: Sampling 55 additional inputs, on iter 37 have 7945 / 8000
52.874 * * * * [points]: Computing exacts on every 3 of 55 points to ramp up precision
52.877 * * * * [points]: Setting MPFR precision to 64
52.896 * * * * [points]: Setting MPFR precision to 320
52.897 * * * * [points]: Computing exacts for 55 points
52.900 * * * * [points]: Setting MPFR precision to 64
52.903 * * * * [points]: Setting MPFR precision to 320
52.909 * * * * [points]: Filtering points with unrepresentable outputs
52.909 * * * * [points]: Sampling 50 additional inputs, on iter 38 have 7950 / 8000
52.909 * * * * [points]: Computing exacts on every 3 of 50 points to ramp up precision
52.912 * * * * [points]: Setting MPFR precision to 64
52.913 * * * * [points]: Setting MPFR precision to 320
52.914 * * * * [points]: Computing exacts for 50 points
52.917 * * * * [points]: Setting MPFR precision to 64
52.921 * * * * [points]: Setting MPFR precision to 320
52.924 * * * * [points]: Filtering points with unrepresentable outputs
52.924 * * * * [points]: Sampling 48 additional inputs, on iter 39 have 7952 / 8000
52.924 * * * * [points]: Computing exacts on every 3 of 48 points to ramp up precision
52.927 * * * * [points]: Setting MPFR precision to 64
52.928 * * * * [points]: Setting MPFR precision to 320
52.929 * * * * [points]: Computing exacts for 48 points
52.932 * * * * [points]: Setting MPFR precision to 64
52.935 * * * * [points]: Setting MPFR precision to 320
52.938 * * * * [points]: Filtering points with unrepresentable outputs
52.939 * * * * [points]: Sampling 43 additional inputs, on iter 40 have 7957 / 8000
52.939 * * * * [points]: Computing exacts on every 2 of 43 points to ramp up precision
52.942 * * * * [points]: Setting MPFR precision to 64
52.943 * * * * [points]: Setting MPFR precision to 320
52.944 * * * * [points]: Computing exacts for 43 points
52.947 * * * * [points]: Setting MPFR precision to 64
52.950 * * * * [points]: Setting MPFR precision to 320
52.953 * * * * [points]: Filtering points with unrepresentable outputs
52.953 * * * * [points]: Sampling 35 additional inputs, on iter 41 have 7965 / 8000
52.953 * * * * [points]: Computing exacts on every 2 of 35 points to ramp up precision
52.956 * * * * [points]: Setting MPFR precision to 64
52.957 * * * * [points]: Setting MPFR precision to 320
52.958 * * * * [points]: Computing exacts for 35 points
52.962 * * * * [points]: Setting MPFR precision to 64
52.964 * * * * [points]: Setting MPFR precision to 320
52.966 * * * * [points]: Filtering points with unrepresentable outputs
52.966 * * * * [points]: Sampling 33 additional inputs, on iter 42 have 7967 / 8000
52.967 * * * * [points]: Computing exacts on every 2 of 33 points to ramp up precision
52.970 * * * * [points]: Setting MPFR precision to 64
52.971 * * * * [points]: Setting MPFR precision to 320
52.972 * * * * [points]: Computing exacts for 33 points
52.975 * * * * [points]: Setting MPFR precision to 64
52.977 * * * * [points]: Setting MPFR precision to 320
52.994 * * * * [points]: Filtering points with unrepresentable outputs
52.994 * * * * [points]: Sampling 29 additional inputs, on iter 43 have 7971 / 8000
52.995 * * * * [points]: Computing exacts for 29 points
52.999 * * * * [points]: Setting MPFR precision to 64
53.001 * * * * [points]: Setting MPFR precision to 320
53.003 * * * * [points]: Filtering points with unrepresentable outputs
53.003 * * * * [points]: Sampling 27 additional inputs, on iter 44 have 7973 / 8000
53.004 * * * * [points]: Computing exacts for 27 points
53.007 * * * * [points]: Setting MPFR precision to 64
53.009 * * * * [points]: Setting MPFR precision to 320
53.010 * * * * [points]: Filtering points with unrepresentable outputs
53.011 * * * * [points]: Sampling 26 additional inputs, on iter 45 have 7974 / 8000
53.011 * * * * [points]: Computing exacts for 26 points
53.014 * * * * [points]: Setting MPFR precision to 64
53.017 * * * * [points]: Setting MPFR precision to 320
53.018 * * * * [points]: Filtering points with unrepresentable outputs
53.018 * * * * [points]: Sampling 23 additional inputs, on iter 46 have 7977 / 8000
53.018 * * * * [points]: Computing exacts for 23 points
53.022 * * * * [points]: Setting MPFR precision to 64
53.023 * * * * [points]: Setting MPFR precision to 320
53.025 * * * * [points]: Filtering points with unrepresentable outputs
53.025 * * * * [points]: Sampling 20 additional inputs, on iter 47 have 7980 / 8000
53.025 * * * * [points]: Computing exacts for 20 points
53.028 * * * * [points]: Setting MPFR precision to 64
53.030 * * * * [points]: Setting MPFR precision to 320
53.031 * * * * [points]: Filtering points with unrepresentable outputs
53.031 * * * * [points]: Sampling 19 additional inputs, on iter 48 have 7981 / 8000
53.031 * * * * [points]: Computing exacts for 19 points
53.034 * * * * [points]: Setting MPFR precision to 64
53.036 * * * * [points]: Setting MPFR precision to 320
53.037 * * * * [points]: Filtering points with unrepresentable outputs
53.037 * * * * [points]: Sampling 15 additional inputs, on iter 49 have 7985 / 8000
53.037 * * * * [points]: Computing exacts for 15 points
53.040 * * * * [points]: Setting MPFR precision to 64
53.041 * * * * [points]: Setting MPFR precision to 320
53.042 * * * * [points]: Filtering points with unrepresentable outputs
53.042 * * * * [points]: Sampling 12 additional inputs, on iter 50 have 7988 / 8000
53.042 * * * * [points]: Computing exacts for 12 points
53.045 * * * * [points]: Setting MPFR precision to 64
53.046 * * * * [points]: Setting MPFR precision to 320
53.047 * * * * [points]: Filtering points with unrepresentable outputs
53.047 * * * * [points]: Sampling 11 additional inputs, on iter 51 have 7989 / 8000
53.047 * * * * [points]: Computing exacts for 11 points
53.050 * * * * [points]: Setting MPFR precision to 64
53.051 * * * * [points]: Setting MPFR precision to 320
53.052 * * * * [points]: Filtering points with unrepresentable outputs
53.052 * * * * [points]: Sampling 9 additional inputs, on iter 52 have 7991 / 8000
53.052 * * * * [points]: Computing exacts for 9 points
53.055 * * * * [points]: Setting MPFR precision to 64
53.056 * * * * [points]: Setting MPFR precision to 320
53.057 * * * * [points]: Filtering points with unrepresentable outputs
53.057 * * * * [points]: Sampling 7 additional inputs, on iter 53 have 7993 / 8000
53.057 * * * * [points]: Computing exacts for 7 points
53.060 * * * * [points]: Setting MPFR precision to 64
53.061 * * * * [points]: Setting MPFR precision to 320
53.061 * * * * [points]: Filtering points with unrepresentable outputs
53.061 * * * * [points]: Sampling 7 additional inputs, on iter 54 have 7993 / 8000
53.061 * * * * [points]: Computing exacts for 7 points
53.064 * * * * [points]: Setting MPFR precision to 64
53.065 * * * * [points]: Setting MPFR precision to 320
53.066 * * * * [points]: Filtering points with unrepresentable outputs
53.066 * * * * [points]: Sampling 7 additional inputs, on iter 55 have 7993 / 8000
53.066 * * * * [points]: Computing exacts for 7 points
53.069 * * * * [points]: Setting MPFR precision to 64
53.070 * * * * [points]: Setting MPFR precision to 320
53.070 * * * * [points]: Filtering points with unrepresentable outputs
53.070 * * * * [points]: Sampling 5 additional inputs, on iter 56 have 7995 / 8000
53.070 * * * * [points]: Computing exacts for 5 points
53.086 * * * * [points]: Setting MPFR precision to 64
53.088 * * * * [points]: Setting MPFR precision to 320
53.088 * * * * [points]: Filtering points with unrepresentable outputs
53.089 * * * * [points]: Sampling 5 additional inputs, on iter 57 have 7995 / 8000
53.089 * * * * [points]: Computing exacts for 5 points
53.092 * * * * [points]: Setting MPFR precision to 64
53.092 * * * * [points]: Setting MPFR precision to 320
53.093 * * * * [points]: Filtering points with unrepresentable outputs
53.093 * * * * [points]: Sampling 4 additional inputs, on iter 58 have 7997 / 8000
53.093 * * * * [points]: Computing exacts for 4 points
53.096 * * * * [points]: Setting MPFR precision to 64
53.096 * * * * [points]: Setting MPFR precision to 320
53.097 * * * * [points]: Filtering points with unrepresentable outputs
53.097 * * * * [points]: Sampling 4 additional inputs, on iter 59 have 7997 / 8000
53.097 * * * * [points]: Computing exacts for 4 points
53.100 * * * * [points]: Setting MPFR precision to 64
53.100 * * * * [points]: Setting MPFR precision to 320
53.101 * * * * [points]: Filtering points with unrepresentable outputs
53.101 * * * * [points]: Sampling 4 additional inputs, on iter 60 have 7997 / 8000
53.101 * * * * [points]: Computing exacts for 4 points
53.104 * * * * [points]: Setting MPFR precision to 64
53.104 * * * * [points]: Setting MPFR precision to 320
53.104 * * * * [points]: Filtering points with unrepresentable outputs
53.105 * * * * [points]: Sampling 4 additional inputs, on iter 61 have 7997 / 8000
53.105 * * * * [points]: Computing exacts for 4 points
53.108 * * * * [points]: Setting MPFR precision to 64
53.108 * * * * [points]: Setting MPFR precision to 320
53.109 * * * * [points]: Filtering points with unrepresentable outputs
53.109 * * * * [points]: Sampling 4 additional inputs, on iter 62 have 7998 / 8000
53.109 * * * * [points]: Computing exacts for 4 points
53.112 * * * * [points]: Setting MPFR precision to 64
53.112 * * * * [points]: Setting MPFR precision to 320
53.112 * * * * [points]: Filtering points with unrepresentable outputs
53.113 * * * * [points]: Sampling 4 additional inputs, on iter 63 have 7998 / 8000
53.113 * * * * [points]: Computing exacts for 4 points
53.116 * * * * [points]: Setting MPFR precision to 64
53.116 * * * * [points]: Setting MPFR precision to 320
53.117 * * * * [points]: Filtering points with unrepresentable outputs
53.117 * * * * [points]: Sampling 4 additional inputs, on iter 64 have 7999 / 8000
53.117 * * * * [points]: Computing exacts for 4 points
53.120 * * * * [points]: Setting MPFR precision to 64
53.120 * * * * [points]: Setting MPFR precision to 320
53.121 * * * * [points]: Filtering points with unrepresentable outputs
53.121 * * * * [points]: Sampled 8000 points with exact outputs
55.481 * [regime-testing]: Baseline error score: 0.15473731875522373
55.483 * [regime-testing]: Oracle error score: 0.1249427509292017
55.488 * [regime-testing]: End program error score: 0.15473731875522373