0.002 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
0.003 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.005 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.010 * * * * [points]: Setting MPFR precision to 64
0.012 * * * * [points]: Setting MPFR precision to 320
0.014 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.020 * * * * [points]: Setting MPFR precision to 64
0.023 * * * * [points]: Setting MPFR precision to 320
0.026 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.032 * * * * [points]: Setting MPFR precision to 64
0.038 * * * * [points]: Setting MPFR precision to 320
0.043 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.049 * * * * [points]: Setting MPFR precision to 64
0.058 * * * * [points]: Setting MPFR precision to 320
0.067 * * * * [points]: Computing exacts for 256 points
0.086 * * * * [points]: Setting MPFR precision to 64
0.116 * * * * [points]: Setting MPFR precision to 320
0.149 * * * * [points]: Filtering points with unrepresentable outputs
0.149 * * * * [points]: Sampling 226 additional inputs, on iter 1 have 30 / 256
0.151 * * * * [points]: Computing exacts on every 14 of 226 points to ramp up precision
0.156 * * * * [points]: Setting MPFR precision to 64
0.158 * * * * [points]: Setting MPFR precision to 320
0.159 * * * * [points]: Computing exacts on every 7 of 226 points to ramp up precision
0.162 * * * * [points]: Setting MPFR precision to 64
0.164 * * * * [points]: Setting MPFR precision to 320
0.166 * * * * [points]: Computing exacts on every 3 of 226 points to ramp up precision
0.170 * * * * [points]: Setting MPFR precision to 64
0.174 * * * * [points]: Setting MPFR precision to 320
0.178 * * * * [points]: Computing exacts for 226 points
0.182 * * * * [points]: Setting MPFR precision to 64
0.207 * * * * [points]: Setting MPFR precision to 320
0.237 * * * * [points]: Filtering points with unrepresentable outputs
0.237 * * * * [points]: Sampling 207 additional inputs, on iter 2 have 49 / 256
0.239 * * * * [points]: Computing exacts on every 12 of 207 points to ramp up precision
0.246 * * * * [points]: Setting MPFR precision to 64
0.248 * * * * [points]: Setting MPFR precision to 320
0.250 * * * * [points]: Computing exacts on every 6 of 207 points to ramp up precision
0.288 * * * * [points]: Setting MPFR precision to 64
0.291 * * * * [points]: Setting MPFR precision to 320
0.293 * * * * [points]: Computing exacts on every 3 of 207 points to ramp up precision
0.298 * * * * [points]: Setting MPFR precision to 64
0.301 * * * * [points]: Setting MPFR precision to 320
0.305 * * * * [points]: Computing exacts for 207 points
0.309 * * * * [points]: Setting MPFR precision to 64
0.323 * * * * [points]: Setting MPFR precision to 320
0.338 * * * * [points]: Filtering points with unrepresentable outputs
0.338 * * * * [points]: Sampling 174 additional inputs, on iter 3 have 82 / 256
0.339 * * * * [points]: Computing exacts on every 10 of 174 points to ramp up precision
0.342 * * * * [points]: Setting MPFR precision to 64
0.343 * * * * [points]: Setting MPFR precision to 320
0.344 * * * * [points]: Computing exacts on every 5 of 174 points to ramp up precision
0.348 * * * * [points]: Setting MPFR precision to 64
0.350 * * * * [points]: Setting MPFR precision to 320
0.352 * * * * [points]: Computing exacts on every 2 of 174 points to ramp up precision
0.355 * * * * [points]: Setting MPFR precision to 64
0.360 * * * * [points]: Setting MPFR precision to 320
0.367 * * * * [points]: Computing exacts for 174 points
0.373 * * * * [points]: Setting MPFR precision to 64
0.395 * * * * [points]: Setting MPFR precision to 320
0.451 * * * * [points]: Filtering points with unrepresentable outputs
0.451 * * * * [points]: Sampling 156 additional inputs, on iter 4 have 100 / 256
0.453 * * * * [points]: Computing exacts on every 9 of 156 points to ramp up precision
0.462 * * * * [points]: Setting MPFR precision to 64
0.464 * * * * [points]: Setting MPFR precision to 320
0.466 * * * * [points]: Computing exacts on every 4 of 156 points to ramp up precision
0.473 * * * * [points]: Setting MPFR precision to 64
0.477 * * * * [points]: Setting MPFR precision to 320
0.481 * * * * [points]: Computing exacts on every 2 of 156 points to ramp up precision
0.487 * * * * [points]: Setting MPFR precision to 64
0.494 * * * * [points]: Setting MPFR precision to 320
0.500 * * * * [points]: Computing exacts for 156 points
0.507 * * * * [points]: Setting MPFR precision to 64
0.527 * * * * [points]: Setting MPFR precision to 320
0.548 * * * * [points]: Filtering points with unrepresentable outputs
0.548 * * * * [points]: Sampling 133 additional inputs, on iter 5 have 123 / 256
0.549 * * * * [points]: Computing exacts on every 8 of 133 points to ramp up precision
0.556 * * * * [points]: Setting MPFR precision to 64
0.558 * * * * [points]: Setting MPFR precision to 320
0.560 * * * * [points]: Computing exacts on every 4 of 133 points to ramp up precision
0.568 * * * * [points]: Setting MPFR precision to 64
0.572 * * * * [points]: Setting MPFR precision to 320
0.575 * * * * [points]: Computing exacts on every 2 of 133 points to ramp up precision
0.581 * * * * [points]: Setting MPFR precision to 64
0.587 * * * * [points]: Setting MPFR precision to 320
0.593 * * * * [points]: Computing exacts for 133 points
0.599 * * * * [points]: Setting MPFR precision to 64
0.616 * * * * [points]: Setting MPFR precision to 320
0.664 * * * * [points]: Filtering points with unrepresentable outputs
0.665 * * * * [points]: Sampling 120 additional inputs, on iter 6 have 136 / 256
0.666 * * * * [points]: Computing exacts on every 7 of 120 points to ramp up precision
0.675 * * * * [points]: Setting MPFR precision to 64
0.678 * * * * [points]: Setting MPFR precision to 320
0.681 * * * * [points]: Computing exacts on every 3 of 120 points to ramp up precision
0.687 * * * * [points]: Setting MPFR precision to 64
0.691 * * * * [points]: Setting MPFR precision to 320
0.695 * * * * [points]: Computing exacts for 120 points
0.701 * * * * [points]: Setting MPFR precision to 64
0.717 * * * * [points]: Setting MPFR precision to 320
0.726 * * * * [points]: Filtering points with unrepresentable outputs
0.726 * * * * [points]: Sampling 100 additional inputs, on iter 7 have 156 / 256
0.727 * * * * [points]: Computing exacts on every 6 of 100 points to ramp up precision
0.730 * * * * [points]: Setting MPFR precision to 64
0.731 * * * * [points]: Setting MPFR precision to 320
0.732 * * * * [points]: Computing exacts on every 3 of 100 points to ramp up precision
0.735 * * * * [points]: Setting MPFR precision to 64
0.737 * * * * [points]: Setting MPFR precision to 320
0.739 * * * * [points]: Computing exacts for 100 points
0.742 * * * * [points]: Setting MPFR precision to 64
0.749 * * * * [points]: Setting MPFR precision to 320
0.756 * * * * [points]: Filtering points with unrepresentable outputs
0.756 * * * * [points]: Sampling 89 additional inputs, on iter 8 have 167 / 256
0.757 * * * * [points]: Computing exacts on every 5 of 89 points to ramp up precision
0.760 * * * * [points]: Setting MPFR precision to 64
0.761 * * * * [points]: Setting MPFR precision to 320
0.762 * * * * [points]: Computing exacts on every 2 of 89 points to ramp up precision
0.765 * * * * [points]: Setting MPFR precision to 64
0.768 * * * * [points]: Setting MPFR precision to 320
0.770 * * * * [points]: Computing exacts for 89 points
0.773 * * * * [points]: Setting MPFR precision to 64
0.779 * * * * [points]: Setting MPFR precision to 320
0.804 * * * * [points]: Filtering points with unrepresentable outputs
0.805 * * * * [points]: Sampling 77 additional inputs, on iter 9 have 179 / 256
0.805 * * * * [points]: Computing exacts on every 4 of 77 points to ramp up precision
0.808 * * * * [points]: Setting MPFR precision to 64
0.811 * * * * [points]: Setting MPFR precision to 320
0.813 * * * * [points]: Computing exacts on every 2 of 77 points to ramp up precision
0.816 * * * * [points]: Setting MPFR precision to 64
0.818 * * * * [points]: Setting MPFR precision to 320
0.820 * * * * [points]: Computing exacts for 77 points
0.823 * * * * [points]: Setting MPFR precision to 64
0.830 * * * * [points]: Setting MPFR precision to 320
0.835 * * * * [points]: Filtering points with unrepresentable outputs
0.835 * * * * [points]: Sampling 67 additional inputs, on iter 10 have 189 / 256
0.836 * * * * [points]: Computing exacts on every 4 of 67 points to ramp up precision
0.839 * * * * [points]: Setting MPFR precision to 64
0.840 * * * * [points]: Setting MPFR precision to 320
0.841 * * * * [points]: Computing exacts on every 2 of 67 points to ramp up precision
0.844 * * * * [points]: Setting MPFR precision to 64
0.846 * * * * [points]: Setting MPFR precision to 320
0.847 * * * * [points]: Computing exacts for 67 points
0.850 * * * * [points]: Setting MPFR precision to 64
0.855 * * * * [points]: Setting MPFR precision to 320
0.860 * * * * [points]: Filtering points with unrepresentable outputs
0.860 * * * * [points]: Sampling 58 additional inputs, on iter 11 have 198 / 256
0.860 * * * * [points]: Computing exacts on every 3 of 58 points to ramp up precision
0.863 * * * * [points]: Setting MPFR precision to 64
0.865 * * * * [points]: Setting MPFR precision to 320
0.866 * * * * [points]: Computing exacts for 58 points
0.869 * * * * [points]: Setting MPFR precision to 64
0.873 * * * * [points]: Setting MPFR precision to 320
0.877 * * * * [points]: Filtering points with unrepresentable outputs
0.877 * * * * [points]: Sampling 47 additional inputs, on iter 12 have 209 / 256
0.877 * * * * [points]: Computing exacts on every 2 of 47 points to ramp up precision
0.880 * * * * [points]: Setting MPFR precision to 64
0.881 * * * * [points]: Setting MPFR precision to 320
0.883 * * * * [points]: Computing exacts for 47 points
0.886 * * * * [points]: Setting MPFR precision to 64
0.889 * * * * [points]: Setting MPFR precision to 320
0.909 * * * * [points]: Filtering points with unrepresentable outputs
0.910 * * * * [points]: Sampling 42 additional inputs, on iter 13 have 214 / 256
0.911 * * * * [points]: Computing exacts on every 2 of 42 points to ramp up precision
0.914 * * * * [points]: Setting MPFR precision to 64
0.916 * * * * [points]: Setting MPFR precision to 320
0.917 * * * * [points]: Computing exacts for 42 points
0.920 * * * * [points]: Setting MPFR precision to 64
0.923 * * * * [points]: Setting MPFR precision to 320
0.926 * * * * [points]: Filtering points with unrepresentable outputs
0.926 * * * * [points]: Sampling 38 additional inputs, on iter 14 have 218 / 256
0.926 * * * * [points]: Computing exacts on every 2 of 38 points to ramp up precision
0.929 * * * * [points]: Setting MPFR precision to 64
0.930 * * * * [points]: Setting MPFR precision to 320
0.931 * * * * [points]: Computing exacts for 38 points
0.935 * * * * [points]: Setting MPFR precision to 64
0.938 * * * * [points]: Setting MPFR precision to 320
0.941 * * * * [points]: Filtering points with unrepresentable outputs
0.941 * * * * [points]: Sampling 33 additional inputs, on iter 15 have 223 / 256
0.941 * * * * [points]: Computing exacts on every 2 of 33 points to ramp up precision
0.944 * * * * [points]: Setting MPFR precision to 64
0.945 * * * * [points]: Setting MPFR precision to 320
0.946 * * * * [points]: Computing exacts for 33 points
0.950 * * * * [points]: Setting MPFR precision to 64
0.952 * * * * [points]: Setting MPFR precision to 320
0.955 * * * * [points]: Filtering points with unrepresentable outputs
0.955 * * * * [points]: Sampling 26 additional inputs, on iter 16 have 230 / 256
0.955 * * * * [points]: Computing exacts for 26 points
0.958 * * * * [points]: Setting MPFR precision to 64
0.960 * * * * [points]: Setting MPFR precision to 320
0.962 * * * * [points]: Filtering points with unrepresentable outputs
0.962 * * * * [points]: Sampling 22 additional inputs, on iter 17 have 234 / 256
0.962 * * * * [points]: Computing exacts for 22 points
0.966 * * * * [points]: Setting MPFR precision to 64
0.967 * * * * [points]: Setting MPFR precision to 320
0.969 * * * * [points]: Filtering points with unrepresentable outputs
0.969 * * * * [points]: Sampling 22 additional inputs, on iter 18 have 234 / 256
0.969 * * * * [points]: Computing exacts for 22 points
0.973 * * * * [points]: Setting MPFR precision to 64
0.974 * * * * [points]: Setting MPFR precision to 320
0.976 * * * * [points]: Filtering points with unrepresentable outputs
0.976 * * * * [points]: Sampling 19 additional inputs, on iter 19 have 237 / 256
0.976 * * * * [points]: Computing exacts for 19 points
0.979 * * * * [points]: Setting MPFR precision to 64
0.981 * * * * [points]: Setting MPFR precision to 320
0.982 * * * * [points]: Filtering points with unrepresentable outputs
0.982 * * * * [points]: Sampling 14 additional inputs, on iter 20 have 242 / 256
0.983 * * * * [points]: Computing exacts for 14 points
0.986 * * * * [points]: Setting MPFR precision to 64
0.987 * * * * [points]: Setting MPFR precision to 320
0.988 * * * * [points]: Filtering points with unrepresentable outputs
0.988 * * * * [points]: Sampling 9 additional inputs, on iter 21 have 247 / 256
0.988 * * * * [points]: Computing exacts for 9 points
0.992 * * * * [points]: Setting MPFR precision to 64
0.993 * * * * [points]: Setting MPFR precision to 320
0.994 * * * * [points]: Filtering points with unrepresentable outputs
0.994 * * * * [points]: Sampling 9 additional inputs, on iter 22 have 247 / 256
0.994 * * * * [points]: Computing exacts for 9 points
0.997 * * * * [points]: Setting MPFR precision to 64
0.998 * * * * [points]: Setting MPFR precision to 320
0.998 * * * * [points]: Filtering points with unrepresentable outputs
0.998 * * * * [points]: Sampling 9 additional inputs, on iter 23 have 247 / 256
0.999 * * * * [points]: Computing exacts for 9 points
1.295 * * * * [points]: Setting MPFR precision to 64
1.296 * * * * [points]: Setting MPFR precision to 320
1.298 * * * * [points]: Filtering points with unrepresentable outputs
1.298 * * * * [points]: Sampling 9 additional inputs, on iter 24 have 247 / 256
1.298 * * * * [points]: Computing exacts for 9 points
1.307 * * * * [points]: Setting MPFR precision to 64
1.309 * * * * [points]: Setting MPFR precision to 320
1.310 * * * * [points]: Filtering points with unrepresentable outputs
1.310 * * * * [points]: Sampling 8 additional inputs, on iter 25 have 248 / 256
1.310 * * * * [points]: Computing exacts for 8 points
1.316 * * * * [points]: Setting MPFR precision to 64
1.317 * * * * [points]: Setting MPFR precision to 320
1.318 * * * * [points]: Filtering points with unrepresentable outputs
1.318 * * * * [points]: Sampling 7 additional inputs, on iter 26 have 249 / 256
1.318 * * * * [points]: Computing exacts for 7 points
1.324 * * * * [points]: Setting MPFR precision to 64
1.326 * * * * [points]: Setting MPFR precision to 320
1.327 * * * * [points]: Filtering points with unrepresentable outputs
1.327 * * * * [points]: Sampling 6 additional inputs, on iter 27 have 250 / 256
1.327 * * * * [points]: Computing exacts for 6 points
1.333 * * * * [points]: Setting MPFR precision to 64
1.334 * * * * [points]: Setting MPFR precision to 320
1.335 * * * * [points]: Filtering points with unrepresentable outputs
1.335 * * * * [points]: Sampling 4 additional inputs, on iter 28 have 252 / 256
1.335 * * * * [points]: Computing exacts for 4 points
1.341 * * * * [points]: Setting MPFR precision to 64
1.342 * * * * [points]: Setting MPFR precision to 320
1.343 * * * * [points]: Filtering points with unrepresentable outputs
1.343 * * * * [points]: Sampling 4 additional inputs, on iter 29 have 252 / 256
1.343 * * * * [points]: Computing exacts for 4 points
1.349 * * * * [points]: Setting MPFR precision to 64
1.349 * * * * [points]: Setting MPFR precision to 320
1.350 * * * * [points]: Filtering points with unrepresentable outputs
1.350 * * * * [points]: Sampling 4 additional inputs, on iter 30 have 252 / 256
1.350 * * * * [points]: Computing exacts for 4 points
1.356 * * * * [points]: Setting MPFR precision to 64
1.357 * * * * [points]: Setting MPFR precision to 320
1.357 * * * * [points]: Filtering points with unrepresentable outputs
1.358 * * * * [points]: Sampling 4 additional inputs, on iter 31 have 252 / 256
1.358 * * * * [points]: Computing exacts for 4 points
1.364 * * * * [points]: Setting MPFR precision to 64
1.365 * * * * [points]: Setting MPFR precision to 320
1.365 * * * * [points]: Filtering points with unrepresentable outputs
1.365 * * * * [points]: Sampling 4 additional inputs, on iter 32 have 253 / 256
1.365 * * * * [points]: Computing exacts for 4 points
1.372 * * * * [points]: Setting MPFR precision to 64
1.372 * * * * [points]: Setting MPFR precision to 320
1.373 * * * * [points]: Filtering points with unrepresentable outputs
1.373 * * * * [points]: Sampling 4 additional inputs, on iter 33 have 253 / 256
1.373 * * * * [points]: Computing exacts for 4 points
1.379 * * * * [points]: Setting MPFR precision to 64
1.380 * * * * [points]: Setting MPFR precision to 320
1.380 * * * * [points]: Filtering points with unrepresentable outputs
1.380 * * * * [points]: Sampling 4 additional inputs, on iter 34 have 253 / 256
1.380 * * * * [points]: Computing exacts for 4 points
1.387 * * * * [points]: Setting MPFR precision to 64
1.388 * * * * [points]: Setting MPFR precision to 320
1.388 * * * * [points]: Filtering points with unrepresentable outputs
1.388 * * * * [points]: Sampling 4 additional inputs, on iter 35 have 254 / 256
1.389 * * * * [points]: Computing exacts for 4 points
1.395 * * * * [points]: Setting MPFR precision to 64
1.396 * * * * [points]: Setting MPFR precision to 320
1.396 * * * * [points]: Filtering points with unrepresentable outputs
1.396 * * * * [points]: Sampled 256 points with exact outputs
1.396 * * * [progress]: [2/2] Setting up program.
1.417 * [progress]: [Phase 2 of 3] Improving.
1.417 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
1.417 * [simplify]: Simplifying (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))
1.417 * * [simplify]: iters left: 6 (15 enodes)
1.424 * * [simplify]: iters left: 5 (54 enodes)
1.445 * * [simplify]: iters left: 4 (174 enodes)
1.519 * * [simplify]: Extracting #0: cost 1 inf + 0
1.519 * * [simplify]: Extracting #1: cost 2 inf + 0
1.520 * * [simplify]: Extracting #2: cost 52 inf + 0
1.520 * * [simplify]: Extracting #3: cost 218 inf + 0
1.521 * * [simplify]: Extracting #4: cost 350 inf + 488
1.526 * * [simplify]: Extracting #5: cost 271 inf + 83278
1.541 * * [simplify]: Extracting #6: cost 99 inf + 301152
1.567 * * [simplify]: Extracting #7: cost 13 inf + 445414
1.604 * * [simplify]: Extracting #8: cost 0 inf + 471346
1.648 * [simplify]: Simplified to (sqrt.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c)))
1.648 * [simplify]: Simplified (2) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c))))
1.660 * * [progress]: iteration 1 / 4
1.660 * * * [progress]: picking best candidate
1.671 * * * * [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))))>
1.671 * * * [progress]: localizing error
2.025 * * * [progress]: generating rewritten candidates
2.025 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 2)
2.060 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
2.088 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
2.133 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
2.181 * * * [progress]: generating series expansions
2.182 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 2)
2.182 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
2.182 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
2.182 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
2.182 * * * [progress]: simplifying candidates
2.182 * * * * [progress]: [ 1 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (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))))>
2.182 * * * * [progress]: [ 2 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (/.p16 (+.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))))>
2.182 * * * * [progress]: [ 3 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 c)))))>
2.182 * * * * [progress]: [ 4 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
2.182 * * * * [progress]: [ 5 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
2.182 * * * * [progress]: [ 6 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (/.p16 (+.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))))>
2.182 * * * * [progress]: [ 7 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (+.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (neg.p16 b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
2.183 * [simplify]: Simplifying (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (neg.p16 b))
2.183 * * [simplify]: iters left: 6 (12 enodes)
2.188 * * [simplify]: iters left: 5 (36 enodes)
2.199 * * [simplify]: iters left: 4 (88 enodes)
2.229 * * [simplify]: iters left: 3 (326 enodes)
2.484 * * [simplify]: Extracting #0: cost 1 inf + 0
2.484 * * [simplify]: Extracting #1: cost 40 inf + 0
2.485 * * [simplify]: Extracting #2: cost 278 inf + 0
2.491 * * [simplify]: Extracting #3: cost 408 inf + 33268
2.521 * * [simplify]: Extracting #4: cost 142 inf + 348993
2.585 * * [simplify]: Extracting #5: cost 45 inf + 538814
2.650 * * [simplify]: Extracting #6: cost 1 inf + 608045
2.690 * * [simplify]: Extracting #7: cost 0 inf + 611129
2.726 * [simplify]: Simplified to (*.p16 (neg.p16 b) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))))
2.726 * [simplify]: Simplified (2 1 1 2) to (λ (a b c) (sqrt.p16 (*.p16 (+.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (neg.p16 b) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
2.726 * * * * [progress]: [ 8 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (*.p16 (neg.p16 b) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
2.726 * [simplify]: Simplifying (*.p16 (neg.p16 b) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)))
2.726 * * [simplify]: iters left: 6 (12 enodes)
2.729 * * [simplify]: iters left: 5 (36 enodes)
2.736 * * [simplify]: iters left: 4 (94 enodes)
2.760 * * [simplify]: iters left: 3 (374 enodes)
2.937 * * [simplify]: Extracting #0: cost 1 inf + 0
2.937 * * [simplify]: Extracting #1: cost 43 inf + 0
2.938 * * [simplify]: Extracting #2: cost 305 inf + 0
2.941 * * [simplify]: Extracting #3: cost 439 inf + 32487
2.964 * * [simplify]: Extracting #4: cost 120 inf + 424195
3.000 * * [simplify]: Extracting #5: cost 24 inf + 622782
3.038 * * [simplify]: Extracting #6: cost 0 inf + 657198
3.076 * [simplify]: Simplified to (*.p16 (neg.p16 b) (*.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) a)))
3.077 * [simplify]: Simplified (2 1 1 2) to (λ (a b c) (sqrt.p16 (*.p16 (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (*.p16 (neg.p16 b) (*.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
3.077 * * * * [progress]: [ 9 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
3.077 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))
3.077 * * [simplify]: iters left: 3 (8 enodes)
3.079 * * [simplify]: iters left: 2 (19 enodes)
3.082 * * [simplify]: iters left: 1 (25 enodes)
3.086 * * [simplify]: Extracting #0: cost 1 inf + 0
3.086 * * [simplify]: Extracting #1: cost 3 inf + 0
3.086 * * [simplify]: Extracting #2: cost 10 inf + 0
3.086 * * [simplify]: Extracting #3: cost 5 inf + 46
3.086 * * [simplify]: Extracting #4: cost 0 inf + 738
3.086 * [simplify]: Simplified to (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))
3.086 * [simplify]: Simplified (2 1 1 1) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
3.087 * * * * [progress]: [ 10 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
3.087 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)
3.087 * * [simplify]: iters left: 4 (9 enodes)
3.089 * * [simplify]: iters left: 3 (21 enodes)
3.092 * * [simplify]: iters left: 2 (27 enodes)
3.096 * * [simplify]: iters left: 1 (28 enodes)
3.100 * * [simplify]: Extracting #0: cost 1 inf + 0
3.100 * * [simplify]: Extracting #1: cost 3 inf + 0
3.100 * * [simplify]: Extracting #2: cost 4 inf + 1
3.100 * * [simplify]: Extracting #3: cost 10 inf + 1
3.100 * * [simplify]: Extracting #4: cost 5 inf + 47
3.100 * * [simplify]: Extracting #5: cost 1 inf + 738
3.100 * * [simplify]: Extracting #6: cost 0 inf + 1302
3.100 * [simplify]: Simplified to (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b)
3.100 * [simplify]: Simplified (2 1 1 2) to (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
3.101 * * * * [progress]: [ 11 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
3.101 * [simplify]: Simplifying (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))
3.101 * * [simplify]: iters left: 6 (14 enodes)
3.105 * * [simplify]: iters left: 5 (51 enodes)
3.115 * * [simplify]: iters left: 4 (173 enodes)
3.177 * * [simplify]: Extracting #0: cost 1 inf + 0
3.177 * * [simplify]: Extracting #1: cost 48 inf + 0
3.178 * * [simplify]: Extracting #2: cost 196 inf + 0
3.181 * * [simplify]: Extracting #3: cost 238 inf + 48206
3.197 * * [simplify]: Extracting #4: cost 92 inf + 288054
3.240 * * [simplify]: Extracting #5: cost 7 inf + 410909
3.287 * * [simplify]: Extracting #6: cost 0 inf + 425608
3.334 * * [simplify]: Extracting #7: cost 0 inf + 425528
3.383 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)))
3.383 * [simplify]: Simplified (2 1 1 1) to (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
3.383 * * * * [progress]: [ 12 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
3.384 * [simplify]: Simplifying (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))
3.384 * * [simplify]: iters left: 6 (12 enodes)
3.390 * * [simplify]: iters left: 5 (40 enodes)
3.405 * * [simplify]: iters left: 4 (117 enodes)
3.495 * * [simplify]: Extracting #0: cost 1 inf + 0
3.495 * * [simplify]: Extracting #1: cost 45 inf + 0
3.496 * * [simplify]: Extracting #2: cost 164 inf + 0
3.497 * * [simplify]: Extracting #3: cost 241 inf + 1094
3.502 * * [simplify]: Extracting #4: cost 183 inf + 54639
3.528 * * [simplify]: Extracting #5: cost 31 inf + 243256
3.558 * * [simplify]: Extracting #6: cost 5 inf + 280996
3.590 * * [simplify]: Extracting #7: cost 0 inf + 291976
3.623 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 (+.p16 b a) c) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a))
3.623 * [simplify]: Simplified (2 1 1 1) to (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (+.p16 (+.p16 b a) c) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
3.623 * * * * [progress]: [ 13 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
3.623 * * * * [progress]: [ 14 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
3.623 * [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)))
3.624 * * [simplify]: iters left: 6 (15 enodes)
3.631 * * [simplify]: iters left: 5 (54 enodes)
3.653 * * [simplify]: iters left: 4 (174 enodes)
3.784 * * [simplify]: Extracting #0: cost 1 inf + 0
3.784 * * [simplify]: Extracting #1: cost 2 inf + 0
3.784 * * [simplify]: Extracting #2: cost 52 inf + 0
3.787 * * [simplify]: Extracting #3: cost 218 inf + 0
3.788 * * [simplify]: Extracting #4: cost 350 inf + 488
3.792 * * [simplify]: Extracting #5: cost 271 inf + 83278
3.810 * * [simplify]: Extracting #6: cost 99 inf + 301152
3.837 * * [simplify]: Extracting #7: cost 13 inf + 445414
3.878 * * [simplify]: Extracting #8: cost 0 inf + 471346
3.935 * [simplify]: Simplified to (sqrt.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c)))
3.935 * [simplify]: Simplified (2) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c))))
3.935 * * * * [progress]: [ 15 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
3.936 * [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)))
3.936 * * [simplify]: iters left: 6 (15 enodes)
3.943 * * [simplify]: iters left: 5 (54 enodes)
3.965 * * [simplify]: iters left: 4 (174 enodes)
4.114 * * [simplify]: Extracting #0: cost 1 inf + 0
4.114 * * [simplify]: Extracting #1: cost 2 inf + 0
4.114 * * [simplify]: Extracting #2: cost 52 inf + 0
4.115 * * [simplify]: Extracting #3: cost 218 inf + 0
4.117 * * [simplify]: Extracting #4: cost 350 inf + 488
4.126 * * [simplify]: Extracting #5: cost 271 inf + 83278
4.153 * * [simplify]: Extracting #6: cost 99 inf + 301152
4.202 * * [simplify]: Extracting #7: cost 13 inf + 445414
4.260 * * [simplify]: Extracting #8: cost 0 inf + 471346
4.316 * [simplify]: Simplified to (sqrt.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c)))
4.316 * [simplify]: Simplified (2) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c))))
4.316 * * * * [progress]: [ 16 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
4.316 * [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)))
4.317 * * [simplify]: iters left: 6 (15 enodes)
4.324 * * [simplify]: iters left: 5 (54 enodes)
4.346 * * [simplify]: iters left: 4 (174 enodes)
4.490 * * [simplify]: Extracting #0: cost 1 inf + 0
4.490 * * [simplify]: Extracting #1: cost 2 inf + 0
4.490 * * [simplify]: Extracting #2: cost 52 inf + 0
4.491 * * [simplify]: Extracting #3: cost 218 inf + 0
4.493 * * [simplify]: Extracting #4: cost 350 inf + 488
4.501 * * [simplify]: Extracting #5: cost 271 inf + 83278
4.531 * * [simplify]: Extracting #6: cost 99 inf + 301152
4.556 * * [simplify]: Extracting #7: cost 13 inf + 445414
4.583 * * [simplify]: Extracting #8: cost 0 inf + 471346
4.625 * [simplify]: Simplified to (sqrt.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c)))
4.625 * [simplify]: Simplified (2) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c))))
4.625 * * * * [progress]: [ 17 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
4.625 * [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)))
4.626 * * [simplify]: iters left: 6 (15 enodes)
4.633 * * [simplify]: iters left: 5 (54 enodes)
4.656 * * [simplify]: iters left: 4 (174 enodes)
4.728 * * [simplify]: Extracting #0: cost 1 inf + 0
4.728 * * [simplify]: Extracting #1: cost 2 inf + 0
4.728 * * [simplify]: Extracting #2: cost 52 inf + 0
4.728 * * [simplify]: Extracting #3: cost 218 inf + 0
4.729 * * [simplify]: Extracting #4: cost 350 inf + 488
4.734 * * [simplify]: Extracting #5: cost 271 inf + 83278
4.748 * * [simplify]: Extracting #6: cost 99 inf + 301152
4.773 * * [simplify]: Extracting #7: cost 13 inf + 445414
4.802 * * [simplify]: Extracting #8: cost 0 inf + 471346
4.844 * [simplify]: Simplified to (sqrt.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c)))
4.844 * [simplify]: Simplified (2) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c))))
4.844 * * * [progress]: adding candidates to table
5.605 * * [progress]: iteration 2 / 4
5.605 * * * [progress]: picking best candidate
5.703 * * * * [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)))))>
5.703 * * * [progress]: localizing error
6.093 * * * [progress]: generating rewritten candidates
6.093 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
6.159 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2)
6.188 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1)
6.193 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2)
6.217 * * * [progress]: generating series expansions
6.217 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
6.217 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2)
6.217 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1)
6.217 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2)
6.217 * * * [progress]: simplifying candidates
6.217 * * * * [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))))))>
6.218 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
6.218 * * [simplify]: iters left: 4 (9 enodes)
6.221 * * [simplify]: iters left: 3 (21 enodes)
6.227 * * [simplify]: iters left: 2 (27 enodes)
6.234 * * [simplify]: iters left: 1 (28 enodes)
6.240 * * [simplify]: Extracting #0: cost 1 inf + 0
6.240 * * [simplify]: Extracting #1: cost 3 inf + 0
6.240 * * [simplify]: Extracting #2: cost 4 inf + 1
6.240 * * [simplify]: Extracting #3: cost 10 inf + 1
6.241 * * [simplify]: Extracting #4: cost 5 inf + 47
6.241 * * [simplify]: Extracting #5: cost 1 inf + 738
6.241 * * [simplify]: Extracting #6: cost 0 inf + 1302
6.241 * [simplify]: Simplified to (+.p16 c (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)))
6.241 * [simplify]: Simplified (2 1 2 1) to (λ (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 c (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))))
6.241 * * * * [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)))))))>
6.242 * [simplify]: Simplifying (-.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)))
6.242 * * [simplify]: iters left: 6 (13 enodes)
6.247 * * [simplify]: iters left: 5 (46 enodes)
6.261 * * [simplify]: iters left: 4 (130 enodes)
6.313 * * [simplify]: Extracting #0: cost 1 inf + 0
6.314 * * [simplify]: Extracting #1: cost 25 inf + 0
6.314 * * [simplify]: Extracting #2: cost 62 inf + 0
6.314 * * [simplify]: Extracting #3: cost 154 inf + 82
6.315 * * [simplify]: Extracting #4: cost 155 inf + 19368
6.325 * * [simplify]: Extracting #5: cost 49 inf + 150527
6.342 * * [simplify]: Extracting #6: cost 3 inf + 233588
6.361 * * [simplify]: Extracting #7: cost 0 inf + 242680
6.379 * [simplify]: Simplified to (-.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)))
6.380 * [simplify]: Simplified (2 1 2 1) to (λ (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 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 (/.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)))))))
6.380 * * * * [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)))))>
6.380 * * * * [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)))))>
6.380 * * * * [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)))))>
6.380 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
6.380 * * [simplify]: iters left: 4 (9 enodes)
6.384 * * [simplify]: iters left: 3 (21 enodes)
6.389 * * [simplify]: iters left: 2 (27 enodes)
6.395 * * [simplify]: iters left: 1 (28 enodes)
6.401 * * [simplify]: Extracting #0: cost 1 inf + 0
6.401 * * [simplify]: Extracting #1: cost 3 inf + 0
6.401 * * [simplify]: Extracting #2: cost 4 inf + 1
6.401 * * [simplify]: Extracting #3: cost 10 inf + 1
6.401 * * [simplify]: Extracting #4: cost 5 inf + 47
6.401 * * [simplify]: Extracting #5: cost 1 inf + 738
6.402 * * [simplify]: Extracting #6: cost 0 inf + 1302
6.402 * [simplify]: Simplified to (+.p16 c (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)))
6.402 * [simplify]: Simplified (2 1 2 1 1) to (λ (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 c (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))
6.405 * [simplify]: Simplifying (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
6.405 * * [simplify]: iters left: 4 (9 enodes)
6.408 * * [simplify]: iters left: 3 (27 enodes)
6.415 * * [simplify]: iters left: 2 (47 enodes)
6.428 * * [simplify]: iters left: 1 (123 enodes)
6.478 * * [simplify]: Extracting #0: cost 1 inf + 0
6.478 * * [simplify]: Extracting #1: cost 15 inf + 0
6.478 * * [simplify]: Extracting #2: cost 52 inf + 82
6.478 * * [simplify]: Extracting #3: cost 87 inf + 1044
6.479 * * [simplify]: Extracting #4: cost 139 inf + 5615
6.480 * * [simplify]: Extracting #5: cost 117 inf + 19272
6.483 * * [simplify]: Extracting #6: cost 57 inf + 78981
6.491 * * [simplify]: Extracting #7: cost 8 inf + 157057
6.500 * * [simplify]: Extracting #8: cost 0 inf + 176049
6.511 * [simplify]: Simplified to (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) c)
6.511 * [simplify]: Simplified (2 1 2 1 2) to (λ (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 b (+.p16 a c)) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))
6.511 * * * * [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)))))>
6.511 * * * * [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)))))>
6.511 * * * * [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)))))>
6.511 * * * * [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)))))>
6.511 * * * * [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)))))>
6.511 * * * * [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)))))>
6.511 * * * * [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)))))>
6.511 * * * * [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)))))>
6.511 * * * [progress]: adding candidates to table
6.861 * * [progress]: iteration 3 / 4
6.861 * * * [progress]: picking best candidate
6.897 * * * * [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 a b) c) (real->posit16 2)) c))))>
6.897 * * * [progress]: localizing error
7.318 * * * [progress]: generating rewritten candidates
7.318 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 2)
7.411 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2 1)
7.417 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
7.464 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2)
7.492 * * * [progress]: generating series expansions
7.492 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 2)
7.493 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2 1)
7.493 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
7.493 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2)
7.493 * * * [progress]: simplifying candidates
7.493 * * * * [progress]: [ 1 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
7.493 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
7.493 * * [simplify]: iters left: 4 (9 enodes)
7.495 * * [simplify]: iters left: 3 (21 enodes)
7.499 * * [simplify]: iters left: 2 (27 enodes)
7.502 * * [simplify]: iters left: 1 (28 enodes)
7.510 * * [simplify]: Extracting #0: cost 1 inf + 0
7.510 * * [simplify]: Extracting #1: cost 3 inf + 0
7.510 * * [simplify]: Extracting #2: cost 4 inf + 1
7.510 * * [simplify]: Extracting #3: cost 10 inf + 1
7.510 * * [simplify]: Extracting #4: cost 1 inf + 738
7.510 * * [simplify]: Extracting #5: cost 0 inf + 1302
7.511 * [simplify]: Simplified to (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))
7.511 * [simplify]: Simplified (2 1 1 1 2 1) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
7.511 * * * * [progress]: [ 2 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
7.511 * [simplify]: Simplifying (-.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)))
7.511 * * [simplify]: iters left: 6 (13 enodes)
7.518 * * [simplify]: iters left: 5 (46 enodes)
7.536 * * [simplify]: iters left: 4 (130 enodes)
7.612 * * [simplify]: Extracting #0: cost 1 inf + 0
7.612 * * [simplify]: Extracting #1: cost 25 inf + 0
7.612 * * [simplify]: Extracting #2: cost 62 inf + 0
7.613 * * [simplify]: Extracting #3: cost 155 inf + 1
7.615 * * [simplify]: Extracting #4: cost 156 inf + 18688
7.624 * * [simplify]: Extracting #5: cost 41 inf + 165081
7.638 * * [simplify]: Extracting #6: cost 3 inf + 231747
7.651 * * [simplify]: Extracting #7: cost 0 inf + 241279
7.663 * [simplify]: Simplified to (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a)))
7.664 * [simplify]: Simplified (2 1 1 1 2 1) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) 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 a b) c) (real->posit16 2)) c))))
7.664 * * * * [progress]: [ 3 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) 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 a b) c) (real->posit16 2)) c))))>
7.664 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
7.664 * * [simplify]: iters left: 4 (9 enodes)
7.668 * * [simplify]: iters left: 3 (21 enodes)
7.671 * * [simplify]: iters left: 2 (27 enodes)
7.675 * * [simplify]: iters left: 1 (28 enodes)
7.682 * * [simplify]: Extracting #0: cost 1 inf + 0
7.682 * * [simplify]: Extracting #1: cost 3 inf + 0
7.682 * * [simplify]: Extracting #2: cost 4 inf + 1
7.682 * * [simplify]: Extracting #3: cost 10 inf + 1
7.682 * * [simplify]: Extracting #4: cost 1 inf + 738
7.683 * * [simplify]: Extracting #5: cost 0 inf + 1302
7.683 * [simplify]: Simplified to (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))
7.683 * [simplify]: Simplified (2 1 1 1 2 1 1) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) 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)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
7.684 * [simplify]: Simplifying (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
7.684 * * [simplify]: iters left: 4 (9 enodes)
7.688 * * [simplify]: iters left: 3 (27 enodes)
7.695 * * [simplify]: iters left: 2 (47 enodes)
7.710 * * [simplify]: iters left: 1 (123 enodes)
7.746 * * [simplify]: Extracting #0: cost 1 inf + 0
7.747 * * [simplify]: Extracting #1: cost 15 inf + 0
7.747 * * [simplify]: Extracting #2: cost 53 inf + 1
7.747 * * [simplify]: Extracting #3: cost 87 inf + 1044
7.748 * * [simplify]: Extracting #4: cost 138 inf + 5657
7.750 * * [simplify]: Extracting #5: cost 115 inf + 19438
7.756 * * [simplify]: Extracting #6: cost 57 inf + 78981
7.769 * * [simplify]: Extracting #7: cost 8 inf + 157057
7.782 * * [simplify]: Extracting #8: cost 0 inf + 176049
7.792 * [simplify]: Simplified to (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) a)
7.792 * [simplify]: Simplified (2 1 1 1 2 1 2) to (λ (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 b (+.p16 a c)) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
7.792 * * * * [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))) (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 a b) c) (real->posit16 2)) c))))>
7.792 * * * * [progress]: [ 5 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.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 a b) c) (real->posit16 2)) c))))>
7.792 * * * * [progress]: [ 6 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 c)))))>
7.792 * * * * [progress]: [ 7 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
7.793 * * * * [progress]: [ 8 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
7.793 * * * * [progress]: [ 9 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
7.793 * * * * [progress]: [ 10 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
7.793 * * * * [progress]: [ 11 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
7.793 * * * * [progress]: [ 12 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
7.793 * * * * [progress]: [ 13 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
7.793 * * * [progress]: adding candidates to table
8.295 * * [progress]: iteration 4 / 4
8.295 * * * [progress]: picking best candidate
8.341 * * * * [pick]: Picked  #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
8.341 * * * [progress]: localizing error
8.762 * * * [progress]: generating rewritten candidates
8.762 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
8.871 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 2)
8.910 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 2)
8.916 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
8.954 * * * [progress]: generating series expansions
8.954 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
8.954 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 2)
8.954 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 2)
8.954 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
8.954 * * * [progress]: simplifying candidates
8.954 * * * * [progress]: [ 1 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
8.955 * [simplify]: Simplifying (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))
8.955 * * [simplify]: iters left: 5 (10 enodes)
8.959 * * [simplify]: iters left: 4 (31 enodes)
8.968 * * [simplify]: iters left: 3 (69 enodes)
8.993 * * [simplify]: iters left: 2 (236 enodes)
9.123 * * [simplify]: Extracting #0: cost 1 inf + 0
9.123 * * [simplify]: Extracting #1: cost 28 inf + 0
9.124 * * [simplify]: Extracting #2: cost 177 inf + 0
9.126 * * [simplify]: Extracting #3: cost 283 inf + 4676
9.132 * * [simplify]: Extracting #4: cost 222 inf + 71591
9.158 * * [simplify]: Extracting #5: cost 74 inf + 271572
9.191 * * [simplify]: Extracting #6: cost 0 inf + 386691
9.225 * * [simplify]: Extracting #7: cost 0 inf + 386051
9.264 * [simplify]: Simplified to (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))
9.264 * [simplify]: Simplified (2 1 1 1) to (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
9.264 * * * * [progress]: [ 2 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 b b) (*.p16 b b)))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
9.265 * [simplify]: Simplifying (*.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 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 b b) (*.p16 b b))))
9.265 * * [simplify]: iters left: 6 (16 enodes)
9.272 * * [simplify]: iters left: 5 (61 enodes)
9.293 * * [simplify]: iters left: 4 (216 enodes)
9.391 * * [simplify]: Extracting #0: cost 1 inf + 0
9.391 * * [simplify]: Extracting #1: cost 48 inf + 0
9.392 * * [simplify]: Extracting #2: cost 223 inf + 0
9.395 * * [simplify]: Extracting #3: cost 263 inf + 69049
9.413 * * [simplify]: Extracting #4: cost 150 inf + 380736
9.460 * * [simplify]: Extracting #5: cost 3 inf + 627261
9.497 * * [simplify]: Extracting #6: cost 0 inf + 635593
9.537 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 b b)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 b b))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))))
9.537 * [simplify]: Simplified (2 1 1 1) to (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 b b)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 b b))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
9.538 * * * * [progress]: [ 3 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
9.538 * [simplify]: Simplifying (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)))
9.538 * * [simplify]: iters left: 6 (15 enodes)
9.542 * * [simplify]: iters left: 5 (55 enodes)
9.555 * * [simplify]: iters left: 4 (194 enodes)
9.666 * * [simplify]: Extracting #0: cost 1 inf + 0
9.667 * * [simplify]: Extracting #1: cost 59 inf + 0
9.667 * * [simplify]: Extracting #2: cost 262 inf + 0
9.671 * * [simplify]: Extracting #3: cost 306 inf + 47598
9.699 * * [simplify]: Extracting #4: cost 150 inf + 352982
9.736 * * [simplify]: Extracting #5: cost 10 inf + 577466
9.773 * * [simplify]: Extracting #6: cost 0 inf + 595542
9.808 * [simplify]: Simplified to (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))))
9.808 * [simplify]: Simplified (2 1 1 1) to (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
9.808 * * * * [progress]: [ 4 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
9.808 * [simplify]: Simplifying (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)))
9.808 * * [simplify]: iters left: 6 (14 enodes)
9.812 * * [simplify]: iters left: 5 (49 enodes)
9.822 * * [simplify]: iters left: 4 (169 enodes)
9.902 * * [simplify]: Extracting #0: cost 1 inf + 0
9.902 * * [simplify]: Extracting #1: cost 57 inf + 0
9.903 * * [simplify]: Extracting #2: cost 236 inf + 0
9.906 * * [simplify]: Extracting #3: cost 335 inf + 695
9.915 * * [simplify]: Extracting #4: cost 268 inf + 84470
9.941 * * [simplify]: Extracting #5: cost 93 inf + 311002
9.967 * * [simplify]: Extracting #6: cost 21 inf + 436169
10.008 * * [simplify]: Extracting #7: cost 1 inf + 484889
10.047 * * [simplify]: Extracting #8: cost 0 inf + 488053
10.099 * [simplify]: Simplified to (*.p16 (+.p16 (+.p16 b a) c) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a))))
10.100 * [simplify]: Simplified (2 1 1 1) to (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (+.p16 (+.p16 b a) c) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
10.100 * * * * [progress]: [ 5 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 a))) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
10.100 * * * * [progress]: [ 6 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.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 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
10.100 * * * * [progress]: [ 7 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
10.100 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)
10.101 * * [simplify]: iters left: 4 (9 enodes)
10.106 * * [simplify]: iters left: 3 (21 enodes)
10.112 * * [simplify]: iters left: 2 (27 enodes)
10.119 * * [simplify]: iters left: 1 (28 enodes)
10.126 * * [simplify]: Extracting #0: cost 1 inf + 0
10.126 * * [simplify]: Extracting #1: cost 3 inf + 0
10.126 * * [simplify]: Extracting #2: cost 4 inf + 1
10.126 * * [simplify]: Extracting #3: cost 10 inf + 1
10.126 * * [simplify]: Extracting #4: cost 5 inf + 47
10.126 * * [simplify]: Extracting #5: cost 1 inf + 738
10.126 * * [simplify]: Extracting #6: cost 0 inf + 1302
10.127 * [simplify]: Simplified to (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b)
10.127 * [simplify]: Simplified (2 1 1 1 2 1) to (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (*.p16 (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
10.127 * [simplify]: Simplifying (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)
10.127 * * [simplify]: iters left: 4 (9 enodes)
10.129 * * [simplify]: iters left: 3 (27 enodes)
10.135 * * [simplify]: iters left: 2 (47 enodes)
10.149 * * [simplify]: iters left: 1 (123 enodes)
10.185 * * [simplify]: Extracting #0: cost 1 inf + 0
10.185 * * [simplify]: Extracting #1: cost 15 inf + 0
10.185 * * [simplify]: Extracting #2: cost 52 inf + 82
10.186 * * [simplify]: Extracting #3: cost 87 inf + 1044
10.186 * * [simplify]: Extracting #4: cost 139 inf + 5615
10.187 * * [simplify]: Extracting #5: cost 117 inf + 19352
10.190 * * [simplify]: Extracting #6: cost 58 inf + 77497
10.199 * * [simplify]: Extracting #7: cost 8 inf + 157057
10.208 * * [simplify]: Extracting #8: cost 0 inf + 176049
10.217 * [simplify]: Simplified to (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) b)
10.217 * [simplify]: Simplified (2 1 1 1 2 2) to (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
10.217 * * * * [progress]: [ 8 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (neg.p16 (*.p16 b b)))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
10.217 * * * * [progress]: [ 9 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 b b) (*.p16 b b))) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
10.218 * * * * [progress]: [ 10 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 c)))))>
10.218 * * * * [progress]: [ 11 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
10.218 * * * * [progress]: [ 12 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
10.218 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)
10.218 * * [simplify]: iters left: 4 (9 enodes)
10.220 * * [simplify]: iters left: 3 (21 enodes)
10.223 * * [simplify]: iters left: 2 (27 enodes)
10.227 * * [simplify]: iters left: 1 (28 enodes)
10.231 * * [simplify]: Extracting #0: cost 1 inf + 0
10.231 * * [simplify]: Extracting #1: cost 3 inf + 0
10.231 * * [simplify]: Extracting #2: cost 4 inf + 1
10.231 * * [simplify]: Extracting #3: cost 10 inf + 1
10.231 * * [simplify]: Extracting #4: cost 5 inf + 47
10.231 * * [simplify]: Extracting #5: cost 1 inf + 738
10.231 * * [simplify]: Extracting #6: cost 0 inf + 1302
10.231 * [simplify]: Simplified to (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b)
10.231 * [simplify]: Simplified (2 1 1 2) to (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
10.231 * * * * [progress]: [ 13 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
10.232 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)
10.232 * * [simplify]: iters left: 4 (9 enodes)
10.234 * * [simplify]: iters left: 3 (21 enodes)
10.237 * * [simplify]: iters left: 2 (27 enodes)
10.241 * * [simplify]: iters left: 1 (28 enodes)
10.244 * * [simplify]: Extracting #0: cost 1 inf + 0
10.245 * * [simplify]: Extracting #1: cost 3 inf + 0
10.245 * * [simplify]: Extracting #2: cost 4 inf + 1
10.245 * * [simplify]: Extracting #3: cost 10 inf + 1
10.245 * * [simplify]: Extracting #4: cost 5 inf + 47
10.245 * * [simplify]: Extracting #5: cost 1 inf + 738
10.245 * * [simplify]: Extracting #6: cost 0 inf + 1302
10.245 * [simplify]: Simplified to (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b)
10.245 * [simplify]: Simplified (2 1 1 2) to (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
10.245 * * * * [progress]: [ 14 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
10.245 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)
10.245 * * [simplify]: iters left: 4 (9 enodes)
10.247 * * [simplify]: iters left: 3 (21 enodes)
10.250 * * [simplify]: iters left: 2 (27 enodes)
10.254 * * [simplify]: iters left: 1 (28 enodes)
10.258 * * [simplify]: Extracting #0: cost 1 inf + 0
10.258 * * [simplify]: Extracting #1: cost 3 inf + 0
10.258 * * [simplify]: Extracting #2: cost 4 inf + 1
10.258 * * [simplify]: Extracting #3: cost 10 inf + 1
10.258 * * [simplify]: Extracting #4: cost 5 inf + 47
10.258 * * [simplify]: Extracting #5: cost 1 inf + 738
10.258 * * [simplify]: Extracting #6: cost 0 inf + 1302
10.259 * [simplify]: Simplified to (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b)
10.259 * [simplify]: Simplified (2 1 1 2) to (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
10.259 * * * * [progress]: [ 15 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
10.259 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)
10.259 * * [simplify]: iters left: 4 (9 enodes)
10.261 * * [simplify]: iters left: 3 (21 enodes)
10.265 * * [simplify]: iters left: 2 (27 enodes)
10.268 * * [simplify]: iters left: 1 (28 enodes)
10.272 * * [simplify]: Extracting #0: cost 1 inf + 0
10.272 * * [simplify]: Extracting #1: cost 3 inf + 0
10.272 * * [simplify]: Extracting #2: cost 4 inf + 1
10.272 * * [simplify]: Extracting #3: cost 10 inf + 1
10.272 * * [simplify]: Extracting #4: cost 5 inf + 47
10.272 * * [simplify]: Extracting #5: cost 1 inf + 738
10.272 * * [simplify]: Extracting #6: cost 0 inf + 1302
10.273 * [simplify]: Simplified to (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b)
10.273 * [simplify]: Simplified (2 1 1 2) to (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
10.273 * * * [progress]: adding candidates to table
10.767 * [progress]: [Phase 3 of 3] Extracting.
10.767 * * [regime]: Finding splitpoints for: (#<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.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)))))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.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 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 b b) (*.p16 b b)))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))> #<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 a b) c) (real->posit16 2)) c))))>)
10.774 * * * [regime-changes]: Trying 3 branch expressions: (c b a)
10.774 * * * * [regimes]: Trying to branch on c from (#<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.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)))))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.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 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 b b) (*.p16 b b)))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))> #<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 a b) c) (real->posit16 2)) c))))>)
10.977 * * * * [regimes]: Trying to branch on b from (#<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.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)))))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.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 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 b b) (*.p16 b b)))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))> #<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 a b) c) (real->posit16 2)) c))))>)
11.120 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.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)))))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.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 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 b b) (*.p16 b b)))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))> #<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 a b) c) (real->posit16 2)) c))))>)
11.309 * * * [regime]: Found split indices: #<option (#s(si 0 256))>
11.310 * [simplify]: Simplifying (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
11.310 * * [simplify]: iters left: 6 (22 enodes)
11.311 * * [simplify]: Extracting #0: cost 1 inf + 0
11.311 * * [simplify]: Extracting #1: cost 2 inf + 0
11.311 * * [simplify]: Extracting #2: cost 4 inf + 0
11.311 * * [simplify]: Extracting #3: cost 8 inf + 0
11.311 * * [simplify]: Extracting #4: cost 15 inf + 0
11.311 * * [simplify]: Extracting #5: cost 17 inf + 2
11.311 * * [simplify]: Extracting #6: cost 18 inf + 644
11.311 * * [simplify]: Extracting #7: cost 16 inf + 646
11.311 * * [simplify]: Extracting #8: cost 12 inf + 1296
11.312 * * [simplify]: Extracting #9: cost 4 inf + 10448
11.312 * * [simplify]: Extracting #10: cost 1 inf + 17060
11.313 * * [simplify]: Extracting #11: cost 0 inf + 20744
11.313 * [simplify]: Simplified to (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
11.313 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
11.352 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
11.357 * * * * [points]: Setting MPFR precision to 64
11.359 * * * * [points]: Setting MPFR precision to 320
11.360 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
11.365 * * * * [points]: Setting MPFR precision to 64
11.368 * * * * [points]: Setting MPFR precision to 320
11.371 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
11.374 * * * * [points]: Setting MPFR precision to 64
11.379 * * * * [points]: Setting MPFR precision to 320
11.383 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
11.386 * * * * [points]: Setting MPFR precision to 64
11.395 * * * * [points]: Setting MPFR precision to 320
11.405 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
11.410 * * * * [points]: Setting MPFR precision to 64
11.445 * * * * [points]: Setting MPFR precision to 320
11.462 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
11.466 * * * * [points]: Setting MPFR precision to 64
11.499 * * * * [points]: Setting MPFR precision to 320
11.533 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
11.537 * * * * [points]: Setting MPFR precision to 64
11.666 * * * * [points]: Setting MPFR precision to 320
11.832 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
11.839 * * * * [points]: Setting MPFR precision to 64
12.109 * * * * [points]: Setting MPFR precision to 320
12.340 * * * * [points]: Computing exacts for 8000 points
12.346 * * * * [points]: Setting MPFR precision to 64
13.752 * * * * [points]: Setting MPFR precision to 320
14.678 * * * * [points]: Filtering points with unrepresentable outputs
14.682 * * * * [points]: Sampling 6989 additional inputs, on iter 1 have 1011 / 8000
14.721 * * * * [points]: Computing exacts on every 436 of 6989 points to ramp up precision
14.727 * * * * [points]: Setting MPFR precision to 64
14.729 * * * * [points]: Setting MPFR precision to 320
14.730 * * * * [points]: Computing exacts on every 218 of 6989 points to ramp up precision
14.736 * * * * [points]: Setting MPFR precision to 64
14.739 * * * * [points]: Setting MPFR precision to 320
14.741 * * * * [points]: Computing exacts on every 109 of 6989 points to ramp up precision
14.745 * * * * [points]: Setting MPFR precision to 64
14.749 * * * * [points]: Setting MPFR precision to 320
14.753 * * * * [points]: Computing exacts on every 54 of 6989 points to ramp up precision
14.756 * * * * [points]: Setting MPFR precision to 64
14.765 * * * * [points]: Setting MPFR precision to 320
14.777 * * * * [points]: Computing exacts on every 27 of 6989 points to ramp up precision
14.783 * * * * [points]: Setting MPFR precision to 64
14.843 * * * * [points]: Setting MPFR precision to 320
14.870 * * * * [points]: Computing exacts on every 13 of 6989 points to ramp up precision
14.877 * * * * [points]: Setting MPFR precision to 64
14.917 * * * * [points]: Setting MPFR precision to 320
14.951 * * * * [points]: Computing exacts on every 6 of 6989 points to ramp up precision
14.954 * * * * [points]: Setting MPFR precision to 64
15.065 * * * * [points]: Setting MPFR precision to 320
15.198 * * * * [points]: Computing exacts on every 3 of 6989 points to ramp up precision
15.202 * * * * [points]: Setting MPFR precision to 64
15.352 * * * * [points]: Setting MPFR precision to 320
15.510 * * * * [points]: Computing exacts for 6989 points
15.514 * * * * [points]: Setting MPFR precision to 64
16.730 * * * * [points]: Setting MPFR precision to 320
17.559 * * * * [points]: Filtering points with unrepresentable outputs
17.565 * * * * [points]: Sampling 6095 additional inputs, on iter 2 have 1905 / 8000
17.591 * * * * [points]: Computing exacts on every 380 of 6095 points to ramp up precision
17.595 * * * * [points]: Setting MPFR precision to 64
17.596 * * * * [points]: Setting MPFR precision to 320
17.597 * * * * [points]: Computing exacts on every 190 of 6095 points to ramp up precision
17.601 * * * * [points]: Setting MPFR precision to 64
17.603 * * * * [points]: Setting MPFR precision to 320
17.605 * * * * [points]: Computing exacts on every 95 of 6095 points to ramp up precision
17.608 * * * * [points]: Setting MPFR precision to 64
17.613 * * * * [points]: Setting MPFR precision to 320
17.617 * * * * [points]: Computing exacts on every 47 of 6095 points to ramp up precision
17.644 * * * * [points]: Setting MPFR precision to 64
17.660 * * * * [points]: Setting MPFR precision to 320
17.668 * * * * [points]: Computing exacts on every 23 of 6095 points to ramp up precision
17.674 * * * * [points]: Setting MPFR precision to 64
17.700 * * * * [points]: Setting MPFR precision to 320
17.717 * * * * [points]: Computing exacts on every 11 of 6095 points to ramp up precision
17.722 * * * * [points]: Setting MPFR precision to 64
17.777 * * * * [points]: Setting MPFR precision to 320
17.854 * * * * [points]: Computing exacts on every 5 of 6095 points to ramp up precision
17.861 * * * * [points]: Setting MPFR precision to 64
17.947 * * * * [points]: Setting MPFR precision to 320
18.098 * * * * [points]: Computing exacts on every 2 of 6095 points to ramp up precision
18.104 * * * * [points]: Setting MPFR precision to 64
18.378 * * * * [points]: Setting MPFR precision to 320
18.589 * * * * [points]: Computing exacts for 6095 points
18.594 * * * * [points]: Setting MPFR precision to 64
19.386 * * * * [points]: Setting MPFR precision to 320
20.012 * * * * [points]: Filtering points with unrepresentable outputs
20.017 * * * * [points]: Sampling 5313 additional inputs, on iter 3 have 2687 / 8000
20.044 * * * * [points]: Computing exacts on every 332 of 5313 points to ramp up precision
20.075 * * * * [points]: Setting MPFR precision to 64
20.076 * * * * [points]: Setting MPFR precision to 320
20.077 * * * * [points]: Computing exacts on every 166 of 5313 points to ramp up precision
20.081 * * * * [points]: Setting MPFR precision to 64
20.084 * * * * [points]: Setting MPFR precision to 320
20.087 * * * * [points]: Computing exacts on every 83 of 5313 points to ramp up precision
20.090 * * * * [points]: Setting MPFR precision to 64
20.095 * * * * [points]: Setting MPFR precision to 320
20.100 * * * * [points]: Computing exacts on every 41 of 5313 points to ramp up precision
20.103 * * * * [points]: Setting MPFR precision to 64
20.113 * * * * [points]: Setting MPFR precision to 320
20.122 * * * * [points]: Computing exacts on every 20 of 5313 points to ramp up precision
20.126 * * * * [points]: Setting MPFR precision to 64
20.145 * * * * [points]: Setting MPFR precision to 320
20.163 * * * * [points]: Computing exacts on every 10 of 5313 points to ramp up precision
20.167 * * * * [points]: Setting MPFR precision to 64
20.230 * * * * [points]: Setting MPFR precision to 320
20.264 * * * * [points]: Computing exacts on every 5 of 5313 points to ramp up precision
20.267 * * * * [points]: Setting MPFR precision to 64
20.362 * * * * [points]: Setting MPFR precision to 320
20.427 * * * * [points]: Computing exacts on every 2 of 5313 points to ramp up precision
20.431 * * * * [points]: Setting MPFR precision to 64
20.625 * * * * [points]: Setting MPFR precision to 320
20.786 * * * * [points]: Computing exacts for 5313 points
20.790 * * * * [points]: Setting MPFR precision to 64
21.321 * * * * [points]: Setting MPFR precision to 320
22.091 * * * * [points]: Filtering points with unrepresentable outputs
22.094 * * * * [points]: Sampling 4650 additional inputs, on iter 4 have 3350 / 8000
22.114 * * * * [points]: Computing exacts on every 290 of 4650 points to ramp up precision
22.117 * * * * [points]: Setting MPFR precision to 64
22.119 * * * * [points]: Setting MPFR precision to 320
22.120 * * * * [points]: Computing exacts on every 145 of 4650 points to ramp up precision
22.123 * * * * [points]: Setting MPFR precision to 64
22.125 * * * * [points]: Setting MPFR precision to 320
22.128 * * * * [points]: Computing exacts on every 72 of 4650 points to ramp up precision
22.131 * * * * [points]: Setting MPFR precision to 64
22.135 * * * * [points]: Setting MPFR precision to 320
22.140 * * * * [points]: Computing exacts on every 36 of 4650 points to ramp up precision
22.166 * * * * [points]: Setting MPFR precision to 64
22.178 * * * * [points]: Setting MPFR precision to 320
22.187 * * * * [points]: Computing exacts on every 18 of 4650 points to ramp up precision
22.190 * * * * [points]: Setting MPFR precision to 64
22.208 * * * * [points]: Setting MPFR precision to 320
22.225 * * * * [points]: Computing exacts on every 9 of 4650 points to ramp up precision
22.228 * * * * [points]: Setting MPFR precision to 64
22.261 * * * * [points]: Setting MPFR precision to 320
22.322 * * * * [points]: Computing exacts on every 4 of 4650 points to ramp up precision
22.325 * * * * [points]: Setting MPFR precision to 64
22.394 * * * * [points]: Setting MPFR precision to 320
22.534 * * * * [points]: Computing exacts on every 2 of 4650 points to ramp up precision
22.541 * * * * [points]: Setting MPFR precision to 64
22.791 * * * * [points]: Setting MPFR precision to 320
23.041 * * * * [points]: Computing exacts for 4650 points
23.047 * * * * [points]: Setting MPFR precision to 64
23.487 * * * * [points]: Setting MPFR precision to 320
23.915 * * * * [points]: Filtering points with unrepresentable outputs
23.917 * * * * [points]: Sampling 4089 additional inputs, on iter 5 have 3911 / 8000
23.934 * * * * [points]: Computing exacts on every 255 of 4089 points to ramp up precision
23.937 * * * * [points]: Setting MPFR precision to 64
23.939 * * * * [points]: Setting MPFR precision to 320
23.940 * * * * [points]: Computing exacts on every 127 of 4089 points to ramp up precision
23.943 * * * * [points]: Setting MPFR precision to 64
23.945 * * * * [points]: Setting MPFR precision to 320
23.947 * * * * [points]: Computing exacts on every 63 of 4089 points to ramp up precision
23.951 * * * * [points]: Setting MPFR precision to 64
23.955 * * * * [points]: Setting MPFR precision to 320
23.960 * * * * [points]: Computing exacts on every 31 of 4089 points to ramp up precision
23.963 * * * * [points]: Setting MPFR precision to 64
23.972 * * * * [points]: Setting MPFR precision to 320
23.981 * * * * [points]: Computing exacts on every 15 of 4089 points to ramp up precision
23.984 * * * * [points]: Setting MPFR precision to 64
24.002 * * * * [points]: Setting MPFR precision to 320
24.046 * * * * [points]: Computing exacts on every 7 of 4089 points to ramp up precision
24.049 * * * * [points]: Setting MPFR precision to 64
24.085 * * * * [points]: Setting MPFR precision to 320
24.121 * * * * [points]: Computing exacts on every 3 of 4089 points to ramp up precision
24.124 * * * * [points]: Setting MPFR precision to 64
24.225 * * * * [points]: Setting MPFR precision to 320
24.594 * * * * [points]: Computing exacts for 4089 points
24.599 * * * * [points]: Setting MPFR precision to 64
24.975 * * * * [points]: Setting MPFR precision to 320
25.485 * * * * [points]: Filtering points with unrepresentable outputs
25.487 * * * * [points]: Sampling 3544 additional inputs, on iter 6 have 4456 / 8000
25.502 * * * * [points]: Computing exacts on every 221 of 3544 points to ramp up precision
25.505 * * * * [points]: Setting MPFR precision to 64
25.506 * * * * [points]: Setting MPFR precision to 320
25.507 * * * * [points]: Computing exacts on every 110 of 3544 points to ramp up precision
25.510 * * * * [points]: Setting MPFR precision to 64
25.513 * * * * [points]: Setting MPFR precision to 320
25.515 * * * * [points]: Computing exacts on every 55 of 3544 points to ramp up precision
25.521 * * * * [points]: Setting MPFR precision to 64
25.530 * * * * [points]: Setting MPFR precision to 320
25.538 * * * * [points]: Computing exacts on every 27 of 3544 points to ramp up precision
25.545 * * * * [points]: Setting MPFR precision to 64
25.560 * * * * [points]: Setting MPFR precision to 320
25.577 * * * * [points]: Computing exacts on every 13 of 3544 points to ramp up precision
25.583 * * * * [points]: Setting MPFR precision to 64
25.648 * * * * [points]: Setting MPFR precision to 320
25.667 * * * * [points]: Computing exacts on every 6 of 3544 points to ramp up precision
25.670 * * * * [points]: Setting MPFR precision to 64
25.719 * * * * [points]: Setting MPFR precision to 320
25.762 * * * * [points]: Computing exacts on every 3 of 3544 points to ramp up precision
25.769 * * * * [points]: Setting MPFR precision to 64
25.916 * * * * [points]: Setting MPFR precision to 320
26.088 * * * * [points]: Computing exacts for 3544 points
26.098 * * * * [points]: Setting MPFR precision to 64
26.586 * * * * [points]: Setting MPFR precision to 320
27.041 * * * * [points]: Filtering points with unrepresentable outputs
27.044 * * * * [points]: Sampling 3106 additional inputs, on iter 7 have 4894 / 8000
27.066 * * * * [points]: Computing exacts on every 194 of 3106 points to ramp up precision
27.071 * * * * [points]: Setting MPFR precision to 64
27.073 * * * * [points]: Setting MPFR precision to 320
27.075 * * * * [points]: Computing exacts on every 97 of 3106 points to ramp up precision
27.080 * * * * [points]: Setting MPFR precision to 64
27.084 * * * * [points]: Setting MPFR precision to 320
27.088 * * * * [points]: Computing exacts on every 48 of 3106 points to ramp up precision
27.093 * * * * [points]: Setting MPFR precision to 64
27.100 * * * * [points]: Setting MPFR precision to 320
27.107 * * * * [points]: Computing exacts on every 24 of 3106 points to ramp up precision
27.113 * * * * [points]: Setting MPFR precision to 64
27.169 * * * * [points]: Setting MPFR precision to 320
27.188 * * * * [points]: Computing exacts on every 12 of 3106 points to ramp up precision
27.194 * * * * [points]: Setting MPFR precision to 64
27.212 * * * * [points]: Setting MPFR precision to 320
27.229 * * * * [points]: Computing exacts on every 6 of 3106 points to ramp up precision
27.233 * * * * [points]: Setting MPFR precision to 64
27.264 * * * * [points]: Setting MPFR precision to 320
27.344 * * * * [points]: Computing exacts on every 3 of 3106 points to ramp up precision
27.355 * * * * [points]: Setting MPFR precision to 64
27.450 * * * * [points]: Setting MPFR precision to 320
27.957 * * * * [points]: Computing exacts for 3106 points
27.968 * * * * [points]: Setting MPFR precision to 64
28.446 * * * * [points]: Setting MPFR precision to 320
28.929 * * * * [points]: Filtering points with unrepresentable outputs
28.931 * * * * [points]: Sampling 2717 additional inputs, on iter 8 have 5283 / 8000
28.956 * * * * [points]: Computing exacts on every 169 of 2717 points to ramp up precision
28.962 * * * * [points]: Setting MPFR precision to 64
28.964 * * * * [points]: Setting MPFR precision to 320
28.966 * * * * [points]: Computing exacts on every 84 of 2717 points to ramp up precision
28.973 * * * * [points]: Setting MPFR precision to 64
28.977 * * * * [points]: Setting MPFR precision to 320
28.981 * * * * [points]: Computing exacts on every 42 of 2717 points to ramp up precision
28.987 * * * * [points]: Setting MPFR precision to 64
28.996 * * * * [points]: Setting MPFR precision to 320
29.004 * * * * [points]: Computing exacts on every 21 of 2717 points to ramp up precision
29.011 * * * * [points]: Setting MPFR precision to 64
29.027 * * * * [points]: Setting MPFR precision to 320
29.043 * * * * [points]: Computing exacts on every 10 of 2717 points to ramp up precision
29.049 * * * * [points]: Setting MPFR precision to 64
29.081 * * * * [points]: Setting MPFR precision to 320
29.114 * * * * [points]: Computing exacts on every 5 of 2717 points to ramp up precision
29.121 * * * * [points]: Setting MPFR precision to 64
29.219 * * * * [points]: Setting MPFR precision to 320
29.280 * * * * [points]: Computing exacts on every 2 of 2717 points to ramp up precision
29.287 * * * * [points]: Setting MPFR precision to 64
29.453 * * * * [points]: Setting MPFR precision to 320
29.567 * * * * [points]: Computing exacts for 2717 points
29.573 * * * * [points]: Setting MPFR precision to 64
29.965 * * * * [points]: Setting MPFR precision to 320
30.367 * * * * [points]: Filtering points with unrepresentable outputs
30.370 * * * * [points]: Sampling 2399 additional inputs, on iter 9 have 5601 / 8000
30.388 * * * * [points]: Computing exacts on every 149 of 2399 points to ramp up precision
30.395 * * * * [points]: Setting MPFR precision to 64
30.397 * * * * [points]: Setting MPFR precision to 320
30.399 * * * * [points]: Computing exacts on every 74 of 2399 points to ramp up precision
30.405 * * * * [points]: Setting MPFR precision to 64
30.409 * * * * [points]: Setting MPFR precision to 320
30.413 * * * * [points]: Computing exacts on every 37 of 2399 points to ramp up precision
30.419 * * * * [points]: Setting MPFR precision to 64
30.428 * * * * [points]: Setting MPFR precision to 320
30.436 * * * * [points]: Computing exacts on every 18 of 2399 points to ramp up precision
30.442 * * * * [points]: Setting MPFR precision to 64
30.458 * * * * [points]: Setting MPFR precision to 320
30.475 * * * * [points]: Computing exacts on every 9 of 2399 points to ramp up precision
30.481 * * * * [points]: Setting MPFR precision to 64
30.512 * * * * [points]: Setting MPFR precision to 320
30.584 * * * * [points]: Computing exacts on every 4 of 2399 points to ramp up precision
30.593 * * * * [points]: Setting MPFR precision to 64
30.657 * * * * [points]: Setting MPFR precision to 320
30.719 * * * * [points]: Computing exacts on every 2 of 2399 points to ramp up precision
30.724 * * * * [points]: Setting MPFR precision to 64
30.815 * * * * [points]: Setting MPFR precision to 320
30.871 * * * * [points]: Computing exacts for 2399 points
30.874 * * * * [points]: Setting MPFR precision to 64
31.113 * * * * [points]: Setting MPFR precision to 320
31.708 * * * * [points]: Filtering points with unrepresentable outputs
31.709 * * * * [points]: Sampling 2123 additional inputs, on iter 10 have 5877 / 8000
31.718 * * * * [points]: Computing exacts on every 132 of 2123 points to ramp up precision
31.721 * * * * [points]: Setting MPFR precision to 64
31.723 * * * * [points]: Setting MPFR precision to 320
31.724 * * * * [points]: Computing exacts on every 66 of 2123 points to ramp up precision
31.727 * * * * [points]: Setting MPFR precision to 64
31.730 * * * * [points]: Setting MPFR precision to 320
31.732 * * * * [points]: Computing exacts on every 33 of 2123 points to ramp up precision
31.735 * * * * [points]: Setting MPFR precision to 64
31.765 * * * * [points]: Setting MPFR precision to 320
31.770 * * * * [points]: Computing exacts on every 16 of 2123 points to ramp up precision
31.775 * * * * [points]: Setting MPFR precision to 64
31.784 * * * * [points]: Setting MPFR precision to 320
31.792 * * * * [points]: Computing exacts on every 8 of 2123 points to ramp up precision
31.796 * * * * [points]: Setting MPFR precision to 64
31.812 * * * * [points]: Setting MPFR precision to 320
31.829 * * * * [points]: Computing exacts on every 4 of 2123 points to ramp up precision
31.832 * * * * [points]: Setting MPFR precision to 64
31.862 * * * * [points]: Setting MPFR precision to 320
31.923 * * * * [points]: Computing exacts on every 2 of 2123 points to ramp up precision
31.927 * * * * [points]: Setting MPFR precision to 64
31.982 * * * * [points]: Setting MPFR precision to 320
32.062 * * * * [points]: Computing exacts for 2123 points
32.065 * * * * [points]: Setting MPFR precision to 64
32.254 * * * * [points]: Setting MPFR precision to 320
32.435 * * * * [points]: Filtering points with unrepresentable outputs
32.436 * * * * [points]: Sampling 1882 additional inputs, on iter 11 have 6118 / 8000
32.444 * * * * [points]: Computing exacts on every 117 of 1882 points to ramp up precision
32.448 * * * * [points]: Setting MPFR precision to 64
32.449 * * * * [points]: Setting MPFR precision to 320
32.450 * * * * [points]: Computing exacts on every 58 of 1882 points to ramp up precision
32.453 * * * * [points]: Setting MPFR precision to 64
32.455 * * * * [points]: Setting MPFR precision to 320
32.458 * * * * [points]: Computing exacts on every 29 of 1882 points to ramp up precision
32.461 * * * * [points]: Setting MPFR precision to 64
32.492 * * * * [points]: Setting MPFR precision to 320
32.497 * * * * [points]: Computing exacts on every 14 of 1882 points to ramp up precision
32.502 * * * * [points]: Setting MPFR precision to 64
32.512 * * * * [points]: Setting MPFR precision to 320
32.521 * * * * [points]: Computing exacts on every 7 of 1882 points to ramp up precision
32.524 * * * * [points]: Setting MPFR precision to 64
32.542 * * * * [points]: Setting MPFR precision to 320
32.559 * * * * [points]: Computing exacts on every 3 of 1882 points to ramp up precision
32.562 * * * * [points]: Setting MPFR precision to 64
32.595 * * * * [points]: Setting MPFR precision to 320
32.658 * * * * [points]: Computing exacts for 1882 points
32.662 * * * * [points]: Setting MPFR precision to 64
32.829 * * * * [points]: Setting MPFR precision to 320
33.000 * * * * [points]: Filtering points with unrepresentable outputs
33.001 * * * * [points]: Sampling 1641 additional inputs, on iter 12 have 6359 / 8000
33.008 * * * * [points]: Computing exacts on every 102 of 1641 points to ramp up precision
33.011 * * * * [points]: Setting MPFR precision to 64
33.013 * * * * [points]: Setting MPFR precision to 320
33.014 * * * * [points]: Computing exacts on every 51 of 1641 points to ramp up precision
33.017 * * * * [points]: Setting MPFR precision to 64
33.019 * * * * [points]: Setting MPFR precision to 320
33.021 * * * * [points]: Computing exacts on every 25 of 1641 points to ramp up precision
33.025 * * * * [points]: Setting MPFR precision to 64
33.030 * * * * [points]: Setting MPFR precision to 320
33.034 * * * * [points]: Computing exacts on every 12 of 1641 points to ramp up precision
33.037 * * * * [points]: Setting MPFR precision to 64
33.071 * * * * [points]: Setting MPFR precision to 320
33.082 * * * * [points]: Computing exacts on every 6 of 1641 points to ramp up precision
33.085 * * * * [points]: Setting MPFR precision to 64
33.103 * * * * [points]: Setting MPFR precision to 320
33.120 * * * * [points]: Computing exacts on every 3 of 1641 points to ramp up precision
33.123 * * * * [points]: Setting MPFR precision to 64
33.152 * * * * [points]: Setting MPFR precision to 320
33.180 * * * * [points]: Computing exacts for 1641 points
33.218 * * * * [points]: Setting MPFR precision to 64
33.370 * * * * [points]: Setting MPFR precision to 320
33.520 * * * * [points]: Filtering points with unrepresentable outputs
33.521 * * * * [points]: Sampling 1431 additional inputs, on iter 13 have 6569 / 8000
33.529 * * * * [points]: Computing exacts on every 89 of 1431 points to ramp up precision
33.532 * * * * [points]: Setting MPFR precision to 64
33.533 * * * * [points]: Setting MPFR precision to 320
33.534 * * * * [points]: Computing exacts on every 44 of 1431 points to ramp up precision
33.538 * * * * [points]: Setting MPFR precision to 64
33.540 * * * * [points]: Setting MPFR precision to 320
33.542 * * * * [points]: Computing exacts on every 22 of 1431 points to ramp up precision
33.545 * * * * [points]: Setting MPFR precision to 64
33.549 * * * * [points]: Setting MPFR precision to 320
33.554 * * * * [points]: Computing exacts on every 11 of 1431 points to ramp up precision
33.557 * * * * [points]: Setting MPFR precision to 64
33.565 * * * * [points]: Setting MPFR precision to 320
33.573 * * * * [points]: Computing exacts on every 5 of 1431 points to ramp up precision
33.577 * * * * [points]: Setting MPFR precision to 64
33.594 * * * * [points]: Setting MPFR precision to 320
33.611 * * * * [points]: Computing exacts on every 2 of 1431 points to ramp up precision
33.614 * * * * [points]: Setting MPFR precision to 64
33.672 * * * * [points]: Setting MPFR precision to 320
33.705 * * * * [points]: Computing exacts for 1431 points
33.709 * * * * [points]: Setting MPFR precision to 64
33.839 * * * * [points]: Setting MPFR precision to 320
34.365 * * * * [points]: Filtering points with unrepresentable outputs
34.366 * * * * [points]: Sampling 1243 additional inputs, on iter 14 have 6757 / 8000
34.371 * * * * [points]: Computing exacts on every 77 of 1243 points to ramp up precision
34.375 * * * * [points]: Setting MPFR precision to 64
34.376 * * * * [points]: Setting MPFR precision to 320
34.377 * * * * [points]: Computing exacts on every 38 of 1243 points to ramp up precision
34.381 * * * * [points]: Setting MPFR precision to 64
34.383 * * * * [points]: Setting MPFR precision to 320
34.385 * * * * [points]: Computing exacts on every 19 of 1243 points to ramp up precision
34.388 * * * * [points]: Setting MPFR precision to 64
34.392 * * * * [points]: Setting MPFR precision to 320
34.397 * * * * [points]: Computing exacts on every 9 of 1243 points to ramp up precision
34.400 * * * * [points]: Setting MPFR precision to 64
34.408 * * * * [points]: Setting MPFR precision to 320
34.417 * * * * [points]: Computing exacts on every 4 of 1243 points to ramp up precision
34.420 * * * * [points]: Setting MPFR precision to 64
34.470 * * * * [points]: Setting MPFR precision to 320
34.488 * * * * [points]: Computing exacts on every 2 of 1243 points to ramp up precision
34.492 * * * * [points]: Setting MPFR precision to 64
34.520 * * * * [points]: Setting MPFR precision to 320
34.554 * * * * [points]: Computing exacts for 1243 points
34.560 * * * * [points]: Setting MPFR precision to 64
34.746 * * * * [points]: Setting MPFR precision to 320
34.900 * * * * [points]: Filtering points with unrepresentable outputs
34.901 * * * * [points]: Sampling 1082 additional inputs, on iter 15 have 6918 / 8000
34.905 * * * * [points]: Computing exacts on every 67 of 1082 points to ramp up precision
34.908 * * * * [points]: Setting MPFR precision to 64
34.910 * * * * [points]: Setting MPFR precision to 320
34.911 * * * * [points]: Computing exacts on every 33 of 1082 points to ramp up precision
34.914 * * * * [points]: Setting MPFR precision to 64
34.916 * * * * [points]: Setting MPFR precision to 320
34.918 * * * * [points]: Computing exacts on every 16 of 1082 points to ramp up precision
34.921 * * * * [points]: Setting MPFR precision to 64
34.926 * * * * [points]: Setting MPFR precision to 320
34.930 * * * * [points]: Computing exacts on every 8 of 1082 points to ramp up precision
34.933 * * * * [points]: Setting MPFR precision to 64
34.942 * * * * [points]: Setting MPFR precision to 320
34.950 * * * * [points]: Computing exacts on every 4 of 1082 points to ramp up precision
34.954 * * * * [points]: Setting MPFR precision to 64
34.993 * * * * [points]: Setting MPFR precision to 320
35.009 * * * * [points]: Computing exacts on every 2 of 1082 points to ramp up precision
35.013 * * * * [points]: Setting MPFR precision to 64
35.037 * * * * [points]: Setting MPFR precision to 320
35.062 * * * * [points]: Computing exacts for 1082 points
35.065 * * * * [points]: Setting MPFR precision to 64
35.188 * * * * [points]: Setting MPFR precision to 320
35.313 * * * * [points]: Filtering points with unrepresentable outputs
35.313 * * * * [points]: Sampling 951 additional inputs, on iter 16 have 7049 / 8000
35.317 * * * * [points]: Computing exacts on every 59 of 951 points to ramp up precision
35.322 * * * * [points]: Setting MPFR precision to 64
35.324 * * * * [points]: Setting MPFR precision to 320
35.325 * * * * [points]: Computing exacts on every 29 of 951 points to ramp up precision
35.328 * * * * [points]: Setting MPFR precision to 64
35.330 * * * * [points]: Setting MPFR precision to 320
35.332 * * * * [points]: Computing exacts on every 14 of 951 points to ramp up precision
35.335 * * * * [points]: Setting MPFR precision to 64
35.340 * * * * [points]: Setting MPFR precision to 320
35.344 * * * * [points]: Computing exacts on every 7 of 951 points to ramp up precision
35.347 * * * * [points]: Setting MPFR precision to 64
35.355 * * * * [points]: Setting MPFR precision to 320
35.364 * * * * [points]: Computing exacts on every 3 of 951 points to ramp up precision
35.367 * * * * [points]: Setting MPFR precision to 64
35.384 * * * * [points]: Setting MPFR precision to 320
35.400 * * * * [points]: Computing exacts for 951 points
35.403 * * * * [points]: Setting MPFR precision to 64
35.494 * * * * [points]: Setting MPFR precision to 320
35.592 * * * * [points]: Filtering points with unrepresentable outputs
35.593 * * * * [points]: Sampling 844 additional inputs, on iter 17 have 7156 / 8000
35.598 * * * * [points]: Computing exacts on every 52 of 844 points to ramp up precision
35.601 * * * * [points]: Setting MPFR precision to 64
35.603 * * * * [points]: Setting MPFR precision to 320
35.604 * * * * [points]: Computing exacts on every 26 of 844 points to ramp up precision
35.607 * * * * [points]: Setting MPFR precision to 64
35.610 * * * * [points]: Setting MPFR precision to 320
35.612 * * * * [points]: Computing exacts on every 13 of 844 points to ramp up precision
35.615 * * * * [points]: Setting MPFR precision to 64
35.620 * * * * [points]: Setting MPFR precision to 320
35.624 * * * * [points]: Computing exacts on every 6 of 844 points to ramp up precision
35.627 * * * * [points]: Setting MPFR precision to 64
35.636 * * * * [points]: Setting MPFR precision to 320
35.644 * * * * [points]: Computing exacts on every 3 of 844 points to ramp up precision
35.648 * * * * [points]: Setting MPFR precision to 64
35.663 * * * * [points]: Setting MPFR precision to 320
35.678 * * * * [points]: Computing exacts for 844 points
35.681 * * * * [points]: Setting MPFR precision to 64
35.766 * * * * [points]: Setting MPFR precision to 320
35.857 * * * * [points]: Filtering points with unrepresentable outputs
35.858 * * * * [points]: Sampling 744 additional inputs, on iter 18 have 7256 / 8000
35.861 * * * * [points]: Computing exacts on every 46 of 744 points to ramp up precision
35.864 * * * * [points]: Setting MPFR precision to 64
35.866 * * * * [points]: Setting MPFR precision to 320
35.869 * * * * [points]: Computing exacts on every 23 of 744 points to ramp up precision
35.872 * * * * [points]: Setting MPFR precision to 64
35.874 * * * * [points]: Setting MPFR precision to 320
35.877 * * * * [points]: Computing exacts on every 11 of 744 points to ramp up precision
35.880 * * * * [points]: Setting MPFR precision to 64
35.885 * * * * [points]: Setting MPFR precision to 320
35.889 * * * * [points]: Computing exacts on every 5 of 744 points to ramp up precision
35.892 * * * * [points]: Setting MPFR precision to 64
35.901 * * * * [points]: Setting MPFR precision to 320
35.910 * * * * [points]: Computing exacts on every 2 of 744 points to ramp up precision
35.913 * * * * [points]: Setting MPFR precision to 64
35.931 * * * * [points]: Setting MPFR precision to 320
35.948 * * * * [points]: Computing exacts for 744 points
35.952 * * * * [points]: Setting MPFR precision to 64
36.031 * * * * [points]: Setting MPFR precision to 320
36.096 * * * * [points]: Filtering points with unrepresentable outputs
36.097 * * * * [points]: Sampling 650 additional inputs, on iter 19 have 7350 / 8000
36.100 * * * * [points]: Computing exacts on every 40 of 650 points to ramp up precision
36.103 * * * * [points]: Setting MPFR precision to 64
36.104 * * * * [points]: Setting MPFR precision to 320
36.105 * * * * [points]: Computing exacts on every 20 of 650 points to ramp up precision
36.108 * * * * [points]: Setting MPFR precision to 64
36.111 * * * * [points]: Setting MPFR precision to 320
36.142 * * * * [points]: Computing exacts on every 10 of 650 points to ramp up precision
36.145 * * * * [points]: Setting MPFR precision to 64
36.149 * * * * [points]: Setting MPFR precision to 320
36.155 * * * * [points]: Computing exacts on every 5 of 650 points to ramp up precision
36.158 * * * * [points]: Setting MPFR precision to 64
36.166 * * * * [points]: Setting MPFR precision to 320
36.174 * * * * [points]: Computing exacts on every 2 of 650 points to ramp up precision
36.177 * * * * [points]: Setting MPFR precision to 64
36.203 * * * * [points]: Setting MPFR precision to 320
36.230 * * * * [points]: Computing exacts for 650 points
36.236 * * * * [points]: Setting MPFR precision to 64
36.363 * * * * [points]: Setting MPFR precision to 320
36.448 * * * * [points]: Filtering points with unrepresentable outputs
36.449 * * * * [points]: Sampling 568 additional inputs, on iter 20 have 7432 / 8000
36.453 * * * * [points]: Computing exacts on every 35 of 568 points to ramp up precision
36.459 * * * * [points]: Setting MPFR precision to 64
36.461 * * * * [points]: Setting MPFR precision to 320
36.463 * * * * [points]: Computing exacts on every 17 of 568 points to ramp up precision
36.470 * * * * [points]: Setting MPFR precision to 64
36.474 * * * * [points]: Setting MPFR precision to 320
36.478 * * * * [points]: Computing exacts on every 8 of 568 points to ramp up precision
36.485 * * * * [points]: Setting MPFR precision to 64
36.493 * * * * [points]: Setting MPFR precision to 320
36.501 * * * * [points]: Computing exacts on every 4 of 568 points to ramp up precision
36.508 * * * * [points]: Setting MPFR precision to 64
36.524 * * * * [points]: Setting MPFR precision to 320
36.539 * * * * [points]: Computing exacts on every 2 of 568 points to ramp up precision
36.587 * * * * [points]: Setting MPFR precision to 64
36.614 * * * * [points]: Setting MPFR precision to 320
36.629 * * * * [points]: Computing exacts for 568 points
36.632 * * * * [points]: Setting MPFR precision to 64
36.671 * * * * [points]: Setting MPFR precision to 320
36.710 * * * * [points]: Filtering points with unrepresentable outputs
36.710 * * * * [points]: Sampling 506 additional inputs, on iter 21 have 7494 / 8000
36.740 * * * * [points]: Computing exacts on every 31 of 506 points to ramp up precision
36.743 * * * * [points]: Setting MPFR precision to 64
36.745 * * * * [points]: Setting MPFR precision to 320
36.746 * * * * [points]: Computing exacts on every 15 of 506 points to ramp up precision
36.749 * * * * [points]: Setting MPFR precision to 64
36.753 * * * * [points]: Setting MPFR precision to 320
36.755 * * * * [points]: Computing exacts on every 7 of 506 points to ramp up precision
36.758 * * * * [points]: Setting MPFR precision to 64
36.762 * * * * [points]: Setting MPFR precision to 320
36.767 * * * * [points]: Computing exacts on every 3 of 506 points to ramp up precision
36.771 * * * * [points]: Setting MPFR precision to 64
36.780 * * * * [points]: Setting MPFR precision to 320
36.790 * * * * [points]: Computing exacts for 506 points
36.793 * * * * [points]: Setting MPFR precision to 64
36.827 * * * * [points]: Setting MPFR precision to 320
36.914 * * * * [points]: Filtering points with unrepresentable outputs
36.915 * * * * [points]: Sampling 461 additional inputs, on iter 22 have 7539 / 8000
36.919 * * * * [points]: Computing exacts on every 28 of 461 points to ramp up precision
36.924 * * * * [points]: Setting MPFR precision to 64
36.925 * * * * [points]: Setting MPFR precision to 320
36.926 * * * * [points]: Computing exacts on every 14 of 461 points to ramp up precision
36.929 * * * * [points]: Setting MPFR precision to 64
36.931 * * * * [points]: Setting MPFR precision to 320
36.934 * * * * [points]: Computing exacts on every 7 of 461 points to ramp up precision
36.937 * * * * [points]: Setting MPFR precision to 64
36.941 * * * * [points]: Setting MPFR precision to 320
36.945 * * * * [points]: Computing exacts on every 3 of 461 points to ramp up precision
36.948 * * * * [points]: Setting MPFR precision to 64
36.956 * * * * [points]: Setting MPFR precision to 320
36.964 * * * * [points]: Computing exacts for 461 points
36.967 * * * * [points]: Setting MPFR precision to 64
36.998 * * * * [points]: Setting MPFR precision to 320
37.371 * * * * [points]: Filtering points with unrepresentable outputs
37.372 * * * * [points]: Sampling 396 additional inputs, on iter 23 have 7604 / 8000
37.375 * * * * [points]: Computing exacts on every 24 of 396 points to ramp up precision
37.381 * * * * [points]: Setting MPFR precision to 64
37.383 * * * * [points]: Setting MPFR precision to 320
37.385 * * * * [points]: Computing exacts on every 12 of 396 points to ramp up precision
37.391 * * * * [points]: Setting MPFR precision to 64
37.395 * * * * [points]: Setting MPFR precision to 320
37.399 * * * * [points]: Computing exacts on every 6 of 396 points to ramp up precision
37.405 * * * * [points]: Setting MPFR precision to 64
37.412 * * * * [points]: Setting MPFR precision to 320
37.420 * * * * [points]: Computing exacts on every 3 of 396 points to ramp up precision
37.426 * * * * [points]: Setting MPFR precision to 64
37.439 * * * * [points]: Setting MPFR precision to 320
37.449 * * * * [points]: Computing exacts for 396 points
37.452 * * * * [points]: Setting MPFR precision to 64
37.505 * * * * [points]: Setting MPFR precision to 320
37.543 * * * * [points]: Filtering points with unrepresentable outputs
37.543 * * * * [points]: Sampling 347 additional inputs, on iter 24 have 7653 / 8000
37.546 * * * * [points]: Computing exacts on every 21 of 347 points to ramp up precision
37.552 * * * * [points]: Setting MPFR precision to 64
37.554 * * * * [points]: Setting MPFR precision to 320
37.556 * * * * [points]: Computing exacts on every 10 of 347 points to ramp up precision
37.561 * * * * [points]: Setting MPFR precision to 64
37.563 * * * * [points]: Setting MPFR precision to 320
37.566 * * * * [points]: Computing exacts on every 5 of 347 points to ramp up precision
37.569 * * * * [points]: Setting MPFR precision to 64
37.573 * * * * [points]: Setting MPFR precision to 320
37.577 * * * * [points]: Computing exacts on every 2 of 347 points to ramp up precision
37.580 * * * * [points]: Setting MPFR precision to 64
37.588 * * * * [points]: Setting MPFR precision to 320
37.601 * * * * [points]: Computing exacts for 347 points
37.608 * * * * [points]: Setting MPFR precision to 64
37.667 * * * * [points]: Setting MPFR precision to 320
37.694 * * * * [points]: Filtering points with unrepresentable outputs
37.694 * * * * [points]: Sampling 298 additional inputs, on iter 25 have 7702 / 8000
37.695 * * * * [points]: Computing exacts on every 18 of 298 points to ramp up precision
37.699 * * * * [points]: Setting MPFR precision to 64
37.700 * * * * [points]: Setting MPFR precision to 320
37.701 * * * * [points]: Computing exacts on every 9 of 298 points to ramp up precision
37.704 * * * * [points]: Setting MPFR precision to 64
37.706 * * * * [points]: Setting MPFR precision to 320
37.708 * * * * [points]: Computing exacts on every 4 of 298 points to ramp up precision
37.711 * * * * [points]: Setting MPFR precision to 64
37.716 * * * * [points]: Setting MPFR precision to 320
37.720 * * * * [points]: Computing exacts on every 2 of 298 points to ramp up precision
37.723 * * * * [points]: Setting MPFR precision to 64
37.730 * * * * [points]: Setting MPFR precision to 320
37.741 * * * * [points]: Computing exacts for 298 points
37.746 * * * * [points]: Setting MPFR precision to 64
37.768 * * * * [points]: Setting MPFR precision to 320
37.819 * * * * [points]: Filtering points with unrepresentable outputs
37.819 * * * * [points]: Sampling 261 additional inputs, on iter 26 have 7739 / 8000
37.820 * * * * [points]: Computing exacts on every 16 of 261 points to ramp up precision
37.823 * * * * [points]: Setting MPFR precision to 64
37.825 * * * * [points]: Setting MPFR precision to 320
37.826 * * * * [points]: Computing exacts on every 8 of 261 points to ramp up precision
37.831 * * * * [points]: Setting MPFR precision to 64
37.834 * * * * [points]: Setting MPFR precision to 320
37.837 * * * * [points]: Computing exacts on every 4 of 261 points to ramp up precision
37.842 * * * * [points]: Setting MPFR precision to 64
37.846 * * * * [points]: Setting MPFR precision to 320
37.850 * * * * [points]: Computing exacts on every 2 of 261 points to ramp up precision
37.853 * * * * [points]: Setting MPFR precision to 64
37.859 * * * * [points]: Setting MPFR precision to 320
37.865 * * * * [points]: Computing exacts for 261 points
37.868 * * * * [points]: Setting MPFR precision to 64
37.887 * * * * [points]: Setting MPFR precision to 320
37.905 * * * * [points]: Filtering points with unrepresentable outputs
37.905 * * * * [points]: Sampling 231 additional inputs, on iter 27 have 7769 / 8000
37.906 * * * * [points]: Computing exacts on every 14 of 231 points to ramp up precision
37.909 * * * * [points]: Setting MPFR precision to 64
37.911 * * * * [points]: Setting MPFR precision to 320
37.912 * * * * [points]: Computing exacts on every 7 of 231 points to ramp up precision
37.939 * * * * [points]: Setting MPFR precision to 64
37.942 * * * * [points]: Setting MPFR precision to 320
37.944 * * * * [points]: Computing exacts on every 3 of 231 points to ramp up precision
37.949 * * * * [points]: Setting MPFR precision to 64
37.953 * * * * [points]: Setting MPFR precision to 320
37.957 * * * * [points]: Computing exacts for 231 points
37.960 * * * * [points]: Setting MPFR precision to 64
37.976 * * * * [points]: Setting MPFR precision to 320
37.993 * * * * [points]: Filtering points with unrepresentable outputs
37.993 * * * * [points]: Sampling 204 additional inputs, on iter 28 have 7796 / 8000
37.994 * * * * [points]: Computing exacts on every 12 of 204 points to ramp up precision
37.997 * * * * [points]: Setting MPFR precision to 64
37.998 * * * * [points]: Setting MPFR precision to 320
38.000 * * * * [points]: Computing exacts on every 6 of 204 points to ramp up precision
38.003 * * * * [points]: Setting MPFR precision to 64
38.005 * * * * [points]: Setting MPFR precision to 320
38.007 * * * * [points]: Computing exacts on every 3 of 204 points to ramp up precision
38.010 * * * * [points]: Setting MPFR precision to 64
38.013 * * * * [points]: Setting MPFR precision to 320
38.017 * * * * [points]: Computing exacts for 204 points
38.021 * * * * [points]: Setting MPFR precision to 64
38.035 * * * * [points]: Setting MPFR precision to 320
38.073 * * * * [points]: Filtering points with unrepresentable outputs
38.073 * * * * [points]: Sampling 183 additional inputs, on iter 29 have 7817 / 8000
38.074 * * * * [points]: Computing exacts on every 11 of 183 points to ramp up precision
38.077 * * * * [points]: Setting MPFR precision to 64
38.079 * * * * [points]: Setting MPFR precision to 320
38.080 * * * * [points]: Computing exacts on every 5 of 183 points to ramp up precision
38.083 * * * * [points]: Setting MPFR precision to 64
38.085 * * * * [points]: Setting MPFR precision to 320
38.087 * * * * [points]: Computing exacts on every 2 of 183 points to ramp up precision
38.091 * * * * [points]: Setting MPFR precision to 64
38.095 * * * * [points]: Setting MPFR precision to 320
38.099 * * * * [points]: Computing exacts for 183 points
38.102 * * * * [points]: Setting MPFR precision to 64
38.115 * * * * [points]: Setting MPFR precision to 320
38.128 * * * * [points]: Filtering points with unrepresentable outputs
38.128 * * * * [points]: Sampling 159 additional inputs, on iter 30 have 7841 / 8000
38.129 * * * * [points]: Computing exacts on every 9 of 159 points to ramp up precision
38.133 * * * * [points]: Setting MPFR precision to 64
38.134 * * * * [points]: Setting MPFR precision to 320
38.135 * * * * [points]: Computing exacts on every 4 of 159 points to ramp up precision
38.138 * * * * [points]: Setting MPFR precision to 64
38.140 * * * * [points]: Setting MPFR precision to 320
38.143 * * * * [points]: Computing exacts on every 2 of 159 points to ramp up precision
38.146 * * * * [points]: Setting MPFR precision to 64
38.149 * * * * [points]: Setting MPFR precision to 320
38.153 * * * * [points]: Computing exacts for 159 points
38.157 * * * * [points]: Setting MPFR precision to 64
38.199 * * * * [points]: Setting MPFR precision to 320
38.211 * * * * [points]: Filtering points with unrepresentable outputs
38.211 * * * * [points]: Sampling 138 additional inputs, on iter 31 have 7862 / 8000
38.212 * * * * [points]: Computing exacts on every 8 of 138 points to ramp up precision
38.215 * * * * [points]: Setting MPFR precision to 64
38.216 * * * * [points]: Setting MPFR precision to 320
38.217 * * * * [points]: Computing exacts on every 4 of 138 points to ramp up precision
38.220 * * * * [points]: Setting MPFR precision to 64
38.222 * * * * [points]: Setting MPFR precision to 320
38.224 * * * * [points]: Computing exacts on every 2 of 138 points to ramp up precision
38.227 * * * * [points]: Setting MPFR precision to 64
38.230 * * * * [points]: Setting MPFR precision to 320
38.234 * * * * [points]: Computing exacts for 138 points
38.237 * * * * [points]: Setting MPFR precision to 64
38.246 * * * * [points]: Setting MPFR precision to 320
38.256 * * * * [points]: Filtering points with unrepresentable outputs
38.256 * * * * [points]: Sampling 119 additional inputs, on iter 32 have 7881 / 8000
38.257 * * * * [points]: Computing exacts on every 7 of 119 points to ramp up precision
38.260 * * * * [points]: Setting MPFR precision to 64
38.261 * * * * [points]: Setting MPFR precision to 320
38.262 * * * * [points]: Computing exacts on every 3 of 119 points to ramp up precision
38.265 * * * * [points]: Setting MPFR precision to 64
38.268 * * * * [points]: Setting MPFR precision to 320
38.270 * * * * [points]: Computing exacts for 119 points
38.273 * * * * [points]: Setting MPFR precision to 64
38.281 * * * * [points]: Setting MPFR precision to 320
38.312 * * * * [points]: Filtering points with unrepresentable outputs
38.312 * * * * [points]: Sampling 107 additional inputs, on iter 33 have 7893 / 8000
38.313 * * * * [points]: Computing exacts on every 6 of 107 points to ramp up precision
38.316 * * * * [points]: Setting MPFR precision to 64
38.317 * * * * [points]: Setting MPFR precision to 320
38.320 * * * * [points]: Computing exacts on every 3 of 107 points to ramp up precision
38.323 * * * * [points]: Setting MPFR precision to 64
38.325 * * * * [points]: Setting MPFR precision to 320
38.327 * * * * [points]: Computing exacts for 107 points
38.330 * * * * [points]: Setting MPFR precision to 64
38.340 * * * * [points]: Setting MPFR precision to 320
38.354 * * * * [points]: Filtering points with unrepresentable outputs
38.354 * * * * [points]: Sampling 91 additional inputs, on iter 34 have 7909 / 8000
38.355 * * * * [points]: Computing exacts on every 5 of 91 points to ramp up precision
38.362 * * * * [points]: Setting MPFR precision to 64
38.364 * * * * [points]: Setting MPFR precision to 320
38.366 * * * * [points]: Computing exacts on every 2 of 91 points to ramp up precision
38.372 * * * * [points]: Setting MPFR precision to 64
38.377 * * * * [points]: Setting MPFR precision to 320
38.381 * * * * [points]: Computing exacts for 91 points
38.387 * * * * [points]: Setting MPFR precision to 64
38.398 * * * * [points]: Setting MPFR precision to 320
38.408 * * * * [points]: Filtering points with unrepresentable outputs
38.408 * * * * [points]: Sampling 79 additional inputs, on iter 35 have 7921 / 8000
38.409 * * * * [points]: Computing exacts on every 4 of 79 points to ramp up precision
38.415 * * * * [points]: Setting MPFR precision to 64
38.417 * * * * [points]: Setting MPFR precision to 320
38.419 * * * * [points]: Computing exacts on every 2 of 79 points to ramp up precision
38.426 * * * * [points]: Setting MPFR precision to 64
38.429 * * * * [points]: Setting MPFR precision to 320
38.432 * * * * [points]: Computing exacts for 79 points
38.438 * * * * [points]: Setting MPFR precision to 64
38.449 * * * * [points]: Setting MPFR precision to 320
38.491 * * * * [points]: Filtering points with unrepresentable outputs
38.491 * * * * [points]: Sampling 74 additional inputs, on iter 36 have 7926 / 8000
38.491 * * * * [points]: Computing exacts on every 4 of 74 points to ramp up precision
38.498 * * * * [points]: Setting MPFR precision to 64
38.502 * * * * [points]: Setting MPFR precision to 320
38.505 * * * * [points]: Computing exacts on every 2 of 74 points to ramp up precision
38.511 * * * * [points]: Setting MPFR precision to 64
38.514 * * * * [points]: Setting MPFR precision to 320
38.517 * * * * [points]: Computing exacts for 74 points
38.523 * * * * [points]: Setting MPFR precision to 64
38.533 * * * * [points]: Setting MPFR precision to 320
38.542 * * * * [points]: Filtering points with unrepresentable outputs
38.542 * * * * [points]: Sampling 67 additional inputs, on iter 37 have 7933 / 8000
38.542 * * * * [points]: Computing exacts on every 4 of 67 points to ramp up precision
38.549 * * * * [points]: Setting MPFR precision to 64
38.551 * * * * [points]: Setting MPFR precision to 320
38.553 * * * * [points]: Computing exacts on every 2 of 67 points to ramp up precision
38.559 * * * * [points]: Setting MPFR precision to 64
38.562 * * * * [points]: Setting MPFR precision to 320
38.565 * * * * [points]: Computing exacts for 67 points
38.570 * * * * [points]: Setting MPFR precision to 64
38.579 * * * * [points]: Setting MPFR precision to 320
38.588 * * * * [points]: Filtering points with unrepresentable outputs
38.588 * * * * [points]: Sampling 59 additional inputs, on iter 38 have 7941 / 8000
38.588 * * * * [points]: Computing exacts on every 3 of 59 points to ramp up precision
38.595 * * * * [points]: Setting MPFR precision to 64
38.597 * * * * [points]: Setting MPFR precision to 320
38.599 * * * * [points]: Computing exacts for 59 points
38.605 * * * * [points]: Setting MPFR precision to 64
38.612 * * * * [points]: Setting MPFR precision to 320
38.620 * * * * [points]: Filtering points with unrepresentable outputs
38.620 * * * * [points]: Sampling 55 additional inputs, on iter 39 have 7945 / 8000
38.620 * * * * [points]: Computing exacts on every 3 of 55 points to ramp up precision
38.626 * * * * [points]: Setting MPFR precision to 64
38.628 * * * * [points]: Setting MPFR precision to 320
38.629 * * * * [points]: Computing exacts for 55 points
38.635 * * * * [points]: Setting MPFR precision to 64
38.641 * * * * [points]: Setting MPFR precision to 320
38.647 * * * * [points]: Filtering points with unrepresentable outputs
38.647 * * * * [points]: Sampling 51 additional inputs, on iter 40 have 7949 / 8000
38.648 * * * * [points]: Computing exacts on every 3 of 51 points to ramp up precision
38.654 * * * * [points]: Setting MPFR precision to 64
38.683 * * * * [points]: Setting MPFR precision to 320
38.685 * * * * [points]: Computing exacts for 51 points
38.691 * * * * [points]: Setting MPFR precision to 64
38.700 * * * * [points]: Setting MPFR precision to 320
38.707 * * * * [points]: Filtering points with unrepresentable outputs
38.707 * * * * [points]: Sampling 41 additional inputs, on iter 41 have 7959 / 8000
38.707 * * * * [points]: Computing exacts on every 2 of 41 points to ramp up precision
38.714 * * * * [points]: Setting MPFR precision to 64
38.715 * * * * [points]: Setting MPFR precision to 320
38.717 * * * * [points]: Computing exacts for 41 points
38.723 * * * * [points]: Setting MPFR precision to 64
38.729 * * * * [points]: Setting MPFR precision to 320
38.734 * * * * [points]: Filtering points with unrepresentable outputs
38.734 * * * * [points]: Sampling 38 additional inputs, on iter 42 have 7962 / 8000
38.734 * * * * [points]: Computing exacts on every 2 of 38 points to ramp up precision
38.741 * * * * [points]: Setting MPFR precision to 64
38.742 * * * * [points]: Setting MPFR precision to 320
38.744 * * * * [points]: Computing exacts for 38 points
38.750 * * * * [points]: Setting MPFR precision to 64
38.755 * * * * [points]: Setting MPFR precision to 320
38.760 * * * * [points]: Filtering points with unrepresentable outputs
38.760 * * * * [points]: Sampling 36 additional inputs, on iter 43 have 7964 / 8000
38.760 * * * * [points]: Computing exacts on every 2 of 36 points to ramp up precision
38.767 * * * * [points]: Setting MPFR precision to 64
38.768 * * * * [points]: Setting MPFR precision to 320
38.770 * * * * [points]: Computing exacts for 36 points
38.776 * * * * [points]: Setting MPFR precision to 64
38.781 * * * * [points]: Setting MPFR precision to 320
38.786 * * * * [points]: Filtering points with unrepresentable outputs
38.786 * * * * [points]: Sampling 31 additional inputs, on iter 44 have 7969 / 8000
38.786 * * * * [points]: Computing exacts for 31 points
38.793 * * * * [points]: Setting MPFR precision to 64
38.797 * * * * [points]: Setting MPFR precision to 320
38.801 * * * * [points]: Filtering points with unrepresentable outputs
38.801 * * * * [points]: Sampling 28 additional inputs, on iter 45 have 7972 / 8000
38.801 * * * * [points]: Computing exacts for 28 points
38.808 * * * * [points]: Setting MPFR precision to 64
38.811 * * * * [points]: Setting MPFR precision to 320
38.815 * * * * [points]: Filtering points with unrepresentable outputs
38.815 * * * * [points]: Sampling 27 additional inputs, on iter 46 have 7973 / 8000
38.815 * * * * [points]: Computing exacts for 27 points
38.821 * * * * [points]: Setting MPFR precision to 64
38.825 * * * * [points]: Setting MPFR precision to 320
38.829 * * * * [points]: Filtering points with unrepresentable outputs
38.829 * * * * [points]: Sampling 25 additional inputs, on iter 47 have 7975 / 8000
38.829 * * * * [points]: Computing exacts for 25 points
38.835 * * * * [points]: Setting MPFR precision to 64
38.839 * * * * [points]: Setting MPFR precision to 320
38.842 * * * * [points]: Filtering points with unrepresentable outputs
38.842 * * * * [points]: Sampling 23 additional inputs, on iter 48 have 7977 / 8000
38.842 * * * * [points]: Computing exacts for 23 points
38.848 * * * * [points]: Setting MPFR precision to 64
38.871 * * * * [points]: Setting MPFR precision to 320
38.873 * * * * [points]: Filtering points with unrepresentable outputs
38.873 * * * * [points]: Sampling 22 additional inputs, on iter 49 have 7978 / 8000
38.873 * * * * [points]: Computing exacts for 22 points
38.876 * * * * [points]: Setting MPFR precision to 64
38.878 * * * * [points]: Setting MPFR precision to 320
38.882 * * * * [points]: Filtering points with unrepresentable outputs
38.882 * * * * [points]: Sampling 18 additional inputs, on iter 50 have 7982 / 8000
38.882 * * * * [points]: Computing exacts for 18 points
38.886 * * * * [points]: Setting MPFR precision to 64
38.887 * * * * [points]: Setting MPFR precision to 320
38.889 * * * * [points]: Filtering points with unrepresentable outputs
38.889 * * * * [points]: Sampling 14 additional inputs, on iter 51 have 7986 / 8000
38.889 * * * * [points]: Computing exacts for 14 points
38.892 * * * * [points]: Setting MPFR precision to 64
38.893 * * * * [points]: Setting MPFR precision to 320
38.894 * * * * [points]: Filtering points with unrepresentable outputs
38.894 * * * * [points]: Sampling 14 additional inputs, on iter 52 have 7986 / 8000
38.895 * * * * [points]: Computing exacts for 14 points
38.898 * * * * [points]: Setting MPFR precision to 64
38.899 * * * * [points]: Setting MPFR precision to 320
38.900 * * * * [points]: Filtering points with unrepresentable outputs
38.900 * * * * [points]: Sampling 12 additional inputs, on iter 53 have 7988 / 8000
38.900 * * * * [points]: Computing exacts for 12 points
38.903 * * * * [points]: Setting MPFR precision to 64
38.904 * * * * [points]: Setting MPFR precision to 320
38.905 * * * * [points]: Filtering points with unrepresentable outputs
38.905 * * * * [points]: Sampling 12 additional inputs, on iter 54 have 7988 / 8000
38.905 * * * * [points]: Computing exacts for 12 points
38.908 * * * * [points]: Setting MPFR precision to 64
38.909 * * * * [points]: Setting MPFR precision to 320
38.910 * * * * [points]: Filtering points with unrepresentable outputs
38.910 * * * * [points]: Sampling 10 additional inputs, on iter 55 have 7990 / 8000
38.910 * * * * [points]: Computing exacts for 10 points
38.913 * * * * [points]: Setting MPFR precision to 64
38.914 * * * * [points]: Setting MPFR precision to 320
38.915 * * * * [points]: Filtering points with unrepresentable outputs
38.915 * * * * [points]: Sampling 6 additional inputs, on iter 56 have 7994 / 8000
38.915 * * * * [points]: Computing exacts for 6 points
38.918 * * * * [points]: Setting MPFR precision to 64
38.919 * * * * [points]: Setting MPFR precision to 320
38.919 * * * * [points]: Filtering points with unrepresentable outputs
38.919 * * * * [points]: Sampling 6 additional inputs, on iter 57 have 7994 / 8000
38.919 * * * * [points]: Computing exacts for 6 points
38.922 * * * * [points]: Setting MPFR precision to 64
38.923 * * * * [points]: Setting MPFR precision to 320
38.923 * * * * [points]: Filtering points with unrepresentable outputs
38.923 * * * * [points]: Sampling 5 additional inputs, on iter 58 have 7995 / 8000
38.923 * * * * [points]: Computing exacts for 5 points
38.926 * * * * [points]: Setting MPFR precision to 64
38.927 * * * * [points]: Setting MPFR precision to 320
38.927 * * * * [points]: Filtering points with unrepresentable outputs
38.927 * * * * [points]: Sampling 4 additional inputs, on iter 59 have 7996 / 8000
38.927 * * * * [points]: Computing exacts for 4 points
38.931 * * * * [points]: Setting MPFR precision to 64
38.931 * * * * [points]: Setting MPFR precision to 320
38.931 * * * * [points]: Filtering points with unrepresentable outputs
38.931 * * * * [points]: Sampling 4 additional inputs, on iter 60 have 7996 / 8000
38.931 * * * * [points]: Computing exacts for 4 points
38.934 * * * * [points]: Setting MPFR precision to 64
38.935 * * * * [points]: Setting MPFR precision to 320
38.935 * * * * [points]: Filtering points with unrepresentable outputs
38.935 * * * * [points]: Sampling 4 additional inputs, on iter 61 have 7998 / 8000
38.935 * * * * [points]: Computing exacts for 4 points
38.938 * * * * [points]: Setting MPFR precision to 64
38.939 * * * * [points]: Setting MPFR precision to 320
38.939 * * * * [points]: Filtering points with unrepresentable outputs
38.939 * * * * [points]: Sampling 4 additional inputs, on iter 62 have 7998 / 8000
38.939 * * * * [points]: Computing exacts for 4 points
38.942 * * * * [points]: Setting MPFR precision to 64
38.943 * * * * [points]: Setting MPFR precision to 320
38.943 * * * * [points]: Filtering points with unrepresentable outputs
38.943 * * * * [points]: Sampling 4 additional inputs, on iter 63 have 7998 / 8000
38.943 * * * * [points]: Computing exacts for 4 points
38.946 * * * * [points]: Setting MPFR precision to 64
38.946 * * * * [points]: Setting MPFR precision to 320
38.947 * * * * [points]: Filtering points with unrepresentable outputs
38.947 * * * * [points]: Sampling 4 additional inputs, on iter 64 have 7999 / 8000
38.947 * * * * [points]: Computing exacts for 4 points
38.960 * * * * [points]: Setting MPFR precision to 64
38.961 * * * * [points]: Setting MPFR precision to 320
38.961 * * * * [points]: Filtering points with unrepresentable outputs
38.962 * * * * [points]: Sampled 8000 points with exact outputs
41.548 * [regime-testing]: Baseline error score: 64.0
41.551 * [regime-testing]: Oracle error score: 64.0
41.558 * [regime-testing]: End program error score: 0.25552944202215794