0.002 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.002 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.003 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.006 * * * * [points]: Setting MPFR precision to 64
0.008 * * * * [points]: Setting MPFR precision to 320
0.009 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.012 * * * * [points]: Setting MPFR precision to 64
0.014 * * * * [points]: Setting MPFR precision to 320
0.016 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.020 * * * * [points]: Setting MPFR precision to 64
0.023 * * * * [points]: Setting MPFR precision to 320
0.027 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.030 * * * * [points]: Setting MPFR precision to 64
0.036 * * * * [points]: Setting MPFR precision to 320
0.041 * * * * [points]: Computing exacts for 256 points
0.045 * * * * [points]: Setting MPFR precision to 64
0.071 * * * * [points]: Setting MPFR precision to 320
0.087 * * * * [points]: Filtering points with unrepresentable outputs
0.087 * * * * [points]: Sampling 229 additional inputs, on iter 1 have 27 / 256
0.088 * * * * [points]: Computing exacts on every 14 of 229 points to ramp up precision
0.092 * * * * [points]: Setting MPFR precision to 64
0.093 * * * * [points]: Setting MPFR precision to 320
0.094 * * * * [points]: Computing exacts on every 7 of 229 points to ramp up precision
0.097 * * * * [points]: Setting MPFR precision to 64
0.099 * * * * [points]: Setting MPFR precision to 320
0.101 * * * * [points]: Computing exacts on every 3 of 229 points to ramp up precision
0.104 * * * * [points]: Setting MPFR precision to 64
0.108 * * * * [points]: Setting MPFR precision to 320
0.113 * * * * [points]: Computing exacts for 229 points
0.116 * * * * [points]: Setting MPFR precision to 64
0.131 * * * * [points]: Setting MPFR precision to 320
0.146 * * * * [points]: Filtering points with unrepresentable outputs
0.146 * * * * [points]: Sampling 195 additional inputs, on iter 2 have 61 / 256
0.148 * * * * [points]: Computing exacts on every 12 of 195 points to ramp up precision
0.151 * * * * [points]: Setting MPFR precision to 64
0.184 * * * * [points]: Setting MPFR precision to 320
0.186 * * * * [points]: Computing exacts on every 6 of 195 points to ramp up precision
0.192 * * * * [points]: Setting MPFR precision to 64
0.195 * * * * [points]: Setting MPFR precision to 320
0.198 * * * * [points]: Computing exacts on every 3 of 195 points to ramp up precision
0.202 * * * * [points]: Setting MPFR precision to 64
0.208 * * * * [points]: Setting MPFR precision to 320
0.213 * * * * [points]: Computing exacts for 195 points
0.218 * * * * [points]: Setting MPFR precision to 64
0.238 * * * * [points]: Setting MPFR precision to 320
0.259 * * * * [points]: Filtering points with unrepresentable outputs
0.259 * * * * [points]: Sampling 177 additional inputs, on iter 3 have 79 / 256
0.261 * * * * [points]: Computing exacts on every 11 of 177 points to ramp up precision
0.267 * * * * [points]: Setting MPFR precision to 64
0.268 * * * * [points]: Setting MPFR precision to 320
0.270 * * * * [points]: Computing exacts on every 5 of 177 points to ramp up precision
0.274 * * * * [points]: Setting MPFR precision to 64
0.275 * * * * [points]: Setting MPFR precision to 320
0.277 * * * * [points]: Computing exacts on every 2 of 177 points to ramp up precision
0.281 * * * * [points]: Setting MPFR precision to 64
0.285 * * * * [points]: Setting MPFR precision to 320
0.289 * * * * [points]: Computing exacts for 177 points
0.292 * * * * [points]: Setting MPFR precision to 64
0.337 * * * * [points]: Setting MPFR precision to 320
0.356 * * * * [points]: Filtering points with unrepresentable outputs
0.357 * * * * [points]: Sampling 158 additional inputs, on iter 4 have 98 / 256
0.358 * * * * [points]: Computing exacts on every 9 of 158 points to ramp up precision
0.363 * * * * [points]: Setting MPFR precision to 64
0.364 * * * * [points]: Setting MPFR precision to 320
0.365 * * * * [points]: Computing exacts on every 4 of 158 points to ramp up precision
0.369 * * * * [points]: Setting MPFR precision to 64
0.371 * * * * [points]: Setting MPFR precision to 320
0.373 * * * * [points]: Computing exacts on every 2 of 158 points to ramp up precision
0.376 * * * * [points]: Setting MPFR precision to 64
0.380 * * * * [points]: Setting MPFR precision to 320
0.383 * * * * [points]: Computing exacts for 158 points
0.387 * * * * [points]: Setting MPFR precision to 64
0.397 * * * * [points]: Setting MPFR precision to 320
0.409 * * * * [points]: Filtering points with unrepresentable outputs
0.409 * * * * [points]: Sampling 127 additional inputs, on iter 5 have 129 / 256
0.409 * * * * [points]: Computing exacts on every 7 of 127 points to ramp up precision
0.414 * * * * [points]: Setting MPFR precision to 64
0.417 * * * * [points]: Setting MPFR precision to 320
0.418 * * * * [points]: Computing exacts on every 3 of 127 points to ramp up precision
0.423 * * * * [points]: Setting MPFR precision to 64
0.425 * * * * [points]: Setting MPFR precision to 320
0.428 * * * * [points]: Computing exacts for 127 points
0.432 * * * * [points]: Setting MPFR precision to 64
0.441 * * * * [points]: Setting MPFR precision to 320
0.478 * * * * [points]: Filtering points with unrepresentable outputs
0.478 * * * * [points]: Sampling 113 additional inputs, on iter 6 have 143 / 256
0.479 * * * * [points]: Computing exacts on every 7 of 113 points to ramp up precision
0.484 * * * * [points]: Setting MPFR precision to 64
0.486 * * * * [points]: Setting MPFR precision to 320
0.487 * * * * [points]: Computing exacts on every 3 of 113 points to ramp up precision
0.493 * * * * [points]: Setting MPFR precision to 64
0.496 * * * * [points]: Setting MPFR precision to 320
0.499 * * * * [points]: Computing exacts for 113 points
0.505 * * * * [points]: Setting MPFR precision to 64
0.517 * * * * [points]: Setting MPFR precision to 320
0.530 * * * * [points]: Filtering points with unrepresentable outputs
0.530 * * * * [points]: Sampling 100 additional inputs, on iter 7 have 156 / 256
0.531 * * * * [points]: Computing exacts on every 6 of 100 points to ramp up precision
0.537 * * * * [points]: Setting MPFR precision to 64
0.539 * * * * [points]: Setting MPFR precision to 320
0.541 * * * * [points]: Computing exacts on every 3 of 100 points to ramp up precision
0.546 * * * * [points]: Setting MPFR precision to 64
0.549 * * * * [points]: Setting MPFR precision to 320
0.552 * * * * [points]: Computing exacts for 100 points
0.558 * * * * [points]: Setting MPFR precision to 64
0.570 * * * * [points]: Setting MPFR precision to 320
0.577 * * * * [points]: Filtering points with unrepresentable outputs
0.577 * * * * [points]: Sampling 93 additional inputs, on iter 8 have 163 / 256
0.578 * * * * [points]: Computing exacts on every 5 of 93 points to ramp up precision
0.582 * * * * [points]: Setting MPFR precision to 64
0.583 * * * * [points]: Setting MPFR precision to 320
0.584 * * * * [points]: Computing exacts on every 2 of 93 points to ramp up precision
0.588 * * * * [points]: Setting MPFR precision to 64
0.590 * * * * [points]: Setting MPFR precision to 320
0.592 * * * * [points]: Computing exacts for 93 points
0.620 * * * * [points]: Setting MPFR precision to 64
0.626 * * * * [points]: Setting MPFR precision to 320
0.632 * * * * [points]: Filtering points with unrepresentable outputs
0.632 * * * * [points]: Sampling 83 additional inputs, on iter 9 have 173 / 256
0.633 * * * * [points]: Computing exacts on every 5 of 83 points to ramp up precision
0.636 * * * * [points]: Setting MPFR precision to 64
0.637 * * * * [points]: Setting MPFR precision to 320
0.638 * * * * [points]: Computing exacts on every 2 of 83 points to ramp up precision
0.642 * * * * [points]: Setting MPFR precision to 64
0.643 * * * * [points]: Setting MPFR precision to 320
0.645 * * * * [points]: Computing exacts for 83 points
0.649 * * * * [points]: Setting MPFR precision to 64
0.654 * * * * [points]: Setting MPFR precision to 320
0.660 * * * * [points]: Filtering points with unrepresentable outputs
0.660 * * * * [points]: Sampling 73 additional inputs, on iter 10 have 183 / 256
0.661 * * * * [points]: Computing exacts on every 4 of 73 points to ramp up precision
0.664 * * * * [points]: Setting MPFR precision to 64
0.665 * * * * [points]: Setting MPFR precision to 320
0.666 * * * * [points]: Computing exacts on every 2 of 73 points to ramp up precision
0.671 * * * * [points]: Setting MPFR precision to 64
0.674 * * * * [points]: Setting MPFR precision to 320
0.677 * * * * [points]: Computing exacts for 73 points
0.684 * * * * [points]: Setting MPFR precision to 64
0.690 * * * * [points]: Setting MPFR precision to 320
0.694 * * * * [points]: Filtering points with unrepresentable outputs
0.694 * * * * [points]: Sampling 69 additional inputs, on iter 11 have 187 / 256
0.695 * * * * [points]: Computing exacts on every 4 of 69 points to ramp up precision
0.698 * * * * [points]: Setting MPFR precision to 64
0.699 * * * * [points]: Setting MPFR precision to 320
0.700 * * * * [points]: Computing exacts on every 2 of 69 points to ramp up precision
0.703 * * * * [points]: Setting MPFR precision to 64
0.705 * * * * [points]: Setting MPFR precision to 320
0.706 * * * * [points]: Computing exacts for 69 points
0.710 * * * * [points]: Setting MPFR precision to 64
0.744 * * * * [points]: Setting MPFR precision to 320
0.757 * * * * [points]: Filtering points with unrepresentable outputs
0.757 * * * * [points]: Sampling 60 additional inputs, on iter 12 have 196 / 256
0.758 * * * * [points]: Computing exacts on every 3 of 60 points to ramp up precision
0.763 * * * * [points]: Setting MPFR precision to 64
0.765 * * * * [points]: Setting MPFR precision to 320
0.766 * * * * [points]: Computing exacts for 60 points
0.772 * * * * [points]: Setting MPFR precision to 64
0.779 * * * * [points]: Setting MPFR precision to 320
0.786 * * * * [points]: Filtering points with unrepresentable outputs
0.786 * * * * [points]: Sampling 54 additional inputs, on iter 13 have 202 / 256
0.786 * * * * [points]: Computing exacts on every 3 of 54 points to ramp up precision
0.793 * * * * [points]: Setting MPFR precision to 64
0.795 * * * * [points]: Setting MPFR precision to 320
0.797 * * * * [points]: Computing exacts for 54 points
0.803 * * * * [points]: Setting MPFR precision to 64
0.808 * * * * [points]: Setting MPFR precision to 320
0.813 * * * * [points]: Filtering points with unrepresentable outputs
0.813 * * * * [points]: Sampling 46 additional inputs, on iter 14 have 210 / 256
0.813 * * * * [points]: Computing exacts on every 2 of 46 points to ramp up precision
0.817 * * * * [points]: Setting MPFR precision to 64
0.819 * * * * [points]: Setting MPFR precision to 320
0.820 * * * * [points]: Computing exacts for 46 points
0.826 * * * * [points]: Setting MPFR precision to 64
0.831 * * * * [points]: Setting MPFR precision to 320
0.836 * * * * [points]: Filtering points with unrepresentable outputs
0.836 * * * * [points]: Sampling 40 additional inputs, on iter 15 have 216 / 256
0.836 * * * * [points]: Computing exacts on every 2 of 40 points to ramp up precision
0.842 * * * * [points]: Setting MPFR precision to 64
0.843 * * * * [points]: Setting MPFR precision to 320
0.845 * * * * [points]: Computing exacts for 40 points
0.851 * * * * [points]: Setting MPFR precision to 64
0.855 * * * * [points]: Setting MPFR precision to 320
0.857 * * * * [points]: Filtering points with unrepresentable outputs
0.857 * * * * [points]: Sampling 38 additional inputs, on iter 16 have 218 / 256
0.858 * * * * [points]: Computing exacts on every 2 of 38 points to ramp up precision
0.862 * * * * [points]: Setting MPFR precision to 64
0.863 * * * * [points]: Setting MPFR precision to 320
0.865 * * * * [points]: Computing exacts for 38 points
0.870 * * * * [points]: Setting MPFR precision to 64
0.895 * * * * [points]: Setting MPFR precision to 320
0.898 * * * * [points]: Filtering points with unrepresentable outputs
0.898 * * * * [points]: Sampling 33 additional inputs, on iter 17 have 223 / 256
0.898 * * * * [points]: Computing exacts on every 2 of 33 points to ramp up precision
0.906 * * * * [points]: Setting MPFR precision to 64
0.909 * * * * [points]: Setting MPFR precision to 320
0.910 * * * * [points]: Computing exacts for 33 points
0.917 * * * * [points]: Setting MPFR precision to 64
0.921 * * * * [points]: Setting MPFR precision to 320
0.925 * * * * [points]: Filtering points with unrepresentable outputs
0.925 * * * * [points]: Sampling 31 additional inputs, on iter 18 have 225 / 256
0.925 * * * * [points]: Computing exacts for 31 points
0.929 * * * * [points]: Setting MPFR precision to 64
0.932 * * * * [points]: Setting MPFR precision to 320
0.934 * * * * [points]: Filtering points with unrepresentable outputs
0.934 * * * * [points]: Sampling 25 additional inputs, on iter 19 have 231 / 256
0.934 * * * * [points]: Computing exacts for 25 points
0.937 * * * * [points]: Setting MPFR precision to 64
0.939 * * * * [points]: Setting MPFR precision to 320
0.942 * * * * [points]: Filtering points with unrepresentable outputs
0.942 * * * * [points]: Sampling 23 additional inputs, on iter 20 have 233 / 256
0.942 * * * * [points]: Computing exacts for 23 points
0.948 * * * * [points]: Setting MPFR precision to 64
0.951 * * * * [points]: Setting MPFR precision to 320
0.953 * * * * [points]: Filtering points with unrepresentable outputs
0.953 * * * * [points]: Sampling 18 additional inputs, on iter 21 have 238 / 256
0.953 * * * * [points]: Computing exacts for 18 points
0.959 * * * * [points]: Setting MPFR precision to 64
0.961 * * * * [points]: Setting MPFR precision to 320
0.963 * * * * [points]: Filtering points with unrepresentable outputs
0.963 * * * * [points]: Sampling 17 additional inputs, on iter 22 have 239 / 256
0.963 * * * * [points]: Computing exacts for 17 points
0.969 * * * * [points]: Setting MPFR precision to 64
0.971 * * * * [points]: Setting MPFR precision to 320
0.973 * * * * [points]: Filtering points with unrepresentable outputs
0.973 * * * * [points]: Sampling 13 additional inputs, on iter 23 have 243 / 256
0.973 * * * * [points]: Computing exacts for 13 points
0.977 * * * * [points]: Setting MPFR precision to 64
0.978 * * * * [points]: Setting MPFR precision to 320
0.979 * * * * [points]: Filtering points with unrepresentable outputs
0.979 * * * * [points]: Sampling 12 additional inputs, on iter 24 have 244 / 256
0.979 * * * * [points]: Computing exacts for 12 points
0.982 * * * * [points]: Setting MPFR precision to 64
0.983 * * * * [points]: Setting MPFR precision to 320
0.984 * * * * [points]: Filtering points with unrepresentable outputs
0.984 * * * * [points]: Sampling 11 additional inputs, on iter 25 have 245 / 256
0.984 * * * * [points]: Computing exacts for 11 points
0.988 * * * * [points]: Setting MPFR precision to 64
0.988 * * * * [points]: Setting MPFR precision to 320
0.989 * * * * [points]: Filtering points with unrepresentable outputs
0.989 * * * * [points]: Sampling 11 additional inputs, on iter 26 have 245 / 256
0.989 * * * * [points]: Computing exacts for 11 points
0.993 * * * * [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 7 additional inputs, on iter 27 have 249 / 256
0.994 * * * * [points]: Computing exacts for 7 points
0.998 * * * * [points]: Setting MPFR precision to 64
0.998 * * * * [points]: Setting MPFR precision to 320
0.999 * * * * [points]: Filtering points with unrepresentable outputs
0.999 * * * * [points]: Sampling 6 additional inputs, on iter 28 have 250 / 256
0.999 * * * * [points]: Computing exacts for 6 points
1.018 * * * * [points]: Setting MPFR precision to 64
1.019 * * * * [points]: Setting MPFR precision to 320
1.019 * * * * [points]: Filtering points with unrepresentable outputs
1.019 * * * * [points]: Sampling 5 additional inputs, on iter 29 have 251 / 256
1.019 * * * * [points]: Computing exacts for 5 points
1.023 * * * * [points]: Setting MPFR precision to 64
1.023 * * * * [points]: Setting MPFR precision to 320
1.024 * * * * [points]: Filtering points with unrepresentable outputs
1.024 * * * * [points]: Sampling 5 additional inputs, on iter 30 have 251 / 256
1.024 * * * * [points]: Computing exacts for 5 points
1.027 * * * * [points]: Setting MPFR precision to 64
1.028 * * * * [points]: Setting MPFR precision to 320
1.028 * * * * [points]: Filtering points with unrepresentable outputs
1.028 * * * * [points]: Sampling 4 additional inputs, on iter 31 have 252 / 256
1.028 * * * * [points]: Computing exacts for 4 points
1.031 * * * * [points]: Setting MPFR precision to 64
1.032 * * * * [points]: Setting MPFR precision to 320
1.032 * * * * [points]: Filtering points with unrepresentable outputs
1.032 * * * * [points]: Sampling 4 additional inputs, on iter 32 have 253 / 256
1.032 * * * * [points]: Computing exacts for 4 points
1.035 * * * * [points]: Setting MPFR precision to 64
1.036 * * * * [points]: Setting MPFR precision to 320
1.036 * * * * [points]: Filtering points with unrepresentable outputs
1.036 * * * * [points]: Sampling 4 additional inputs, on iter 33 have 255 / 256
1.036 * * * * [points]: Computing exacts for 4 points
1.040 * * * * [points]: Setting MPFR precision to 64
1.040 * * * * [points]: Setting MPFR precision to 320
1.040 * * * * [points]: Filtering points with unrepresentable outputs
1.040 * * * * [points]: Sampled 257 points with exact outputs
1.040 * * * [progress]: [2/2] Setting up program.
1.051 * [progress]: [Phase 2 of 3] Improving.
1.051 * * * * [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.051 * [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.051 * * [simplify]: iters left: 6 (15 enodes)
1.055 * * [simplify]: iters left: 5 (54 enodes)
1.065 * * [simplify]: iters left: 4 (174 enodes)
1.140 * * [simplify]: Extracting #0: cost 1 inf + 0
1.140 * * [simplify]: Extracting #1: cost 2 inf + 0
1.140 * * [simplify]: Extracting #2: cost 52 inf + 0
1.141 * * [simplify]: Extracting #3: cost 218 inf + 0
1.142 * * [simplify]: Extracting #4: cost 350 inf + 488
1.146 * * [simplify]: Extracting #5: cost 271 inf + 83278
1.164 * * [simplify]: Extracting #6: cost 99 inf + 301152
1.188 * * [simplify]: Extracting #7: cost 13 inf + 445414
1.215 * * [simplify]: Extracting #8: cost 0 inf + 471346
1.242 * [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.243 * [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.254 * * [progress]: iteration 1 / 4
1.254 * * * [progress]: picking best candidate
1.267 * * * * [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.267 * * * [progress]: localizing error
1.467 * * * [progress]: generating rewritten candidates
1.467 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2)
1.497 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2)
1.519 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
1.540 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
1.569 * * * [progress]: generating series expansions
1.569 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2)
1.569 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2)
1.569 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
1.569 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
1.569 * * * [progress]: simplifying candidates
1.569 * * * * [progress]: [ 1 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 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))))>
1.569 * * * * [progress]: [ 2 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 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))))>
1.569 * * * * [progress]: [ 3 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (+.p16 (/.p16 (+.p16 (+.p16 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))))>
1.570 * * * * [progress]: [ 4 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
1.570 * * * * [progress]: [ 5 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 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)))))>
1.570 * * * * [progress]: [ 6 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 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)))))>
1.570 * * * * [progress]: [ 7 / 18 ] 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 a b) c) (real->posit16 2)) b)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.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)) (neg.p16 c)))))>
1.570 * [simplify]: Simplifying (*.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)) (neg.p16 c))
1.570 * * [simplify]: iters left: 6 (14 enodes)
1.573 * * [simplify]: iters left: 5 (47 enodes)
1.582 * * [simplify]: iters left: 4 (142 enodes)
1.640 * * [simplify]: Extracting #0: cost 1 inf + 0
1.640 * * [simplify]: Extracting #1: cost 47 inf + 0
1.641 * * [simplify]: Extracting #2: cost 138 inf + 0
1.642 * * [simplify]: Extracting #3: cost 255 inf + 167
1.646 * * [simplify]: Extracting #4: cost 197 inf + 51251
1.666 * * [simplify]: Extracting #5: cost 37 inf + 258423
1.688 * * [simplify]: Extracting #6: cost 5 inf + 309031
1.711 * * [simplify]: Extracting #7: cost 0 inf + 319571
2.007 * [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)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (neg.p16 c))
2.008 * [simplify]: Simplified (2 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 a b) c) (real->posit16 2)) b)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.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)))) (neg.p16 c)))))
2.008 * * * * [progress]: [ 8 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (*.p16 (/.p16 (+.p16 (+.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 (neg.p16 c) (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))))))>
2.008 * [simplify]: Simplifying (*.p16 (neg.p16 c) (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)))
2.008 * * [simplify]: iters left: 6 (14 enodes)
2.012 * * [simplify]: iters left: 5 (47 enodes)
2.021 * * [simplify]: iters left: 4 (147 enodes)
2.106 * * [simplify]: Extracting #0: cost 1 inf + 0
2.106 * * [simplify]: Extracting #1: cost 41 inf + 0
2.106 * * [simplify]: Extracting #2: cost 134 inf + 0
2.108 * * [simplify]: Extracting #3: cost 242 inf + 248
2.111 * * [simplify]: Extracting #4: cost 243 inf + 24866
2.126 * * [simplify]: Extracting #5: cost 84 inf + 207409
2.160 * * [simplify]: Extracting #6: cost 1 inf + 335141
2.190 * * [simplify]: Extracting #7: cost 0 inf + 336465
2.218 * [simplify]: Simplified to (*.p16 (*.p16 (*.p16 (neg.p16 c) (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) a)) (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)))
2.218 * [simplify]: Simplified (2 1 2) to (λ (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)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (*.p16 (*.p16 (*.p16 (neg.p16 c) (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) a)) (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2))))))
2.218 * * * * [progress]: [ 9 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
2.218 * [simplify]: Simplifying (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))
2.219 * * [simplify]: iters left: 5 (10 enodes)
2.221 * * [simplify]: iters left: 4 (31 enodes)
2.227 * * [simplify]: iters left: 3 (69 enodes)
2.249 * * [simplify]: iters left: 2 (236 enodes)
2.380 * * [simplify]: Extracting #0: cost 1 inf + 0
2.381 * * [simplify]: Extracting #1: cost 28 inf + 0
2.381 * * [simplify]: Extracting #2: cost 177 inf + 0
2.383 * * [simplify]: Extracting #3: cost 284 inf + 4676
2.390 * * [simplify]: Extracting #4: cost 222 inf + 71674
2.412 * * [simplify]: Extracting #5: cost 74 inf + 271655
2.440 * * [simplify]: Extracting #6: cost 0 inf + 386774
2.464 * * [simplify]: Extracting #7: cost 0 inf + 386134
2.487 * [simplify]: Simplified to (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))
2.487 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.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 a b) c) (real->posit16 2)) c)))))
2.487 * * * * [progress]: [ 10 / 18 ] 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 a b) c) (real->posit16 2)) b)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
2.487 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
2.487 * * [simplify]: iters left: 4 (9 enodes)
2.490 * * [simplify]: iters left: 3 (21 enodes)
2.493 * * [simplify]: iters left: 2 (27 enodes)
2.497 * * [simplify]: iters left: 1 (28 enodes)
2.500 * * [simplify]: Extracting #0: cost 1 inf + 0
2.500 * * [simplify]: Extracting #1: cost 3 inf + 0
2.500 * * [simplify]: Extracting #2: cost 4 inf + 1
2.500 * * [simplify]: Extracting #3: cost 10 inf + 1
2.500 * * [simplify]: Extracting #4: cost 5 inf + 47
2.501 * * [simplify]: Extracting #5: cost 1 inf + 738
2.501 * * [simplify]: Extracting #6: cost 0 inf + 1302
2.501 * [simplify]: Simplified to (+.p16 c (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)))
2.501 * [simplify]: Simplified (2 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 a b) c) (real->posit16 2)) b)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c))) (+.p16 c (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))))))
2.501 * * * * [progress]: [ 11 / 18 ] 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)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))))>
2.501 * [simplify]: Simplifying (*.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)) c))
2.501 * * [simplify]: iters left: 6 (16 enodes)
2.505 * * [simplify]: iters left: 5 (62 enodes)
2.518 * * [simplify]: iters left: 4 (229 enodes)
2.630 * * [simplify]: Extracting #0: cost 1 inf + 0
2.631 * * [simplify]: Extracting #1: cost 65 inf + 0
2.632 * * [simplify]: Extracting #2: cost 288 inf + 0
2.635 * * [simplify]: Extracting #3: cost 447 inf + 407
2.650 * * [simplify]: Extracting #4: cost 317 inf + 175419
2.692 * * [simplify]: Extracting #5: cost 63 inf + 601180
2.753 * * [simplify]: Extracting #6: cost 6 inf + 706836
2.819 * * [simplify]: Extracting #7: cost 0 inf + 722900
2.889 * [simplify]: Simplified to (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (+.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)) (*.p16 (*.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 b a) c) (real->posit16 2)) a)))
2.890 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (+.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)) (*.p16 (*.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 b a) c) (real->posit16 2)) a))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))))
2.890 * * * * [progress]: [ 12 / 18 ] 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)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))>
2.890 * [simplify]: Simplifying (*.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)) c))
2.890 * * [simplify]: iters left: 6 (16 enodes)
2.897 * * [simplify]: iters left: 5 (62 enodes)
2.921 * * [simplify]: iters left: 4 (229 enodes)
3.053 * * [simplify]: Extracting #0: cost 1 inf + 0
3.053 * * [simplify]: Extracting #1: cost 59 inf + 0
3.054 * * [simplify]: Extracting #2: cost 276 inf + 0
3.059 * * [simplify]: Extracting #3: cost 431 inf + 809
3.070 * * [simplify]: Extracting #4: cost 315 inf + 215074
3.118 * * [simplify]: Extracting #5: cost 47 inf + 641310
3.169 * * [simplify]: Extracting #6: cost 3 inf + 707919
3.242 * * [simplify]: Extracting #7: cost 0 inf + 715051
3.291 * [simplify]: Simplified to (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 (-.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.291 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 (-.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))))
3.292 * * * * [progress]: [ 13 / 18 ] 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)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (real->posit16 2))))>
3.292 * [simplify]: Simplifying (*.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)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
3.292 * * [simplify]: iters left: 6 (14 enodes)
3.297 * * [simplify]: iters left: 5 (51 enodes)
3.313 * * [simplify]: iters left: 4 (171 enodes)
3.434 * * [simplify]: Extracting #0: cost 1 inf + 0
3.435 * * [simplify]: Extracting #1: cost 53 inf + 0
3.436 * * [simplify]: Extracting #2: cost 257 inf + 0
3.438 * * [simplify]: Extracting #3: cost 412 inf + 938
3.451 * * [simplify]: Extracting #4: cost 235 inf + 203438
3.492 * * [simplify]: Extracting #5: cost 22 inf + 506689
3.534 * * [simplify]: Extracting #6: cost 0 inf + 540771
3.569 * [simplify]: Simplified to (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (+.p16 (+.p16 b a) c) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c))
3.569 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (+.p16 (+.p16 b a) c) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c)) (real->posit16 2))))
3.569 * * * * [progress]: [ 14 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (*.p16 (*.p16 (/.p16 (+.p16 (+.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)))))>
3.569 * * * * [progress]: [ 15 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 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.569 * [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.569 * * [simplify]: iters left: 6 (15 enodes)
3.573 * * [simplify]: iters left: 5 (54 enodes)
3.583 * * [simplify]: iters left: 4 (174 enodes)
3.662 * * [simplify]: Extracting #0: cost 1 inf + 0
3.662 * * [simplify]: Extracting #1: cost 2 inf + 0
3.662 * * [simplify]: Extracting #2: cost 52 inf + 0
3.663 * * [simplify]: Extracting #3: cost 218 inf + 0
3.665 * * [simplify]: Extracting #4: cost 350 inf + 488
3.672 * * [simplify]: Extracting #5: cost 271 inf + 83278
3.694 * * [simplify]: Extracting #6: cost 99 inf + 301152
3.732 * * [simplify]: Extracting #7: cost 13 inf + 445414
3.772 * * [simplify]: Extracting #8: cost 0 inf + 471346
3.819 * [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.819 * [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.820 * * * * [progress]: [ 16 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 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.820 * [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.820 * * [simplify]: iters left: 6 (15 enodes)
3.826 * * [simplify]: iters left: 5 (54 enodes)
3.843 * * [simplify]: iters left: 4 (174 enodes)
3.922 * * [simplify]: Extracting #0: cost 1 inf + 0
3.922 * * [simplify]: Extracting #1: cost 2 inf + 0
3.922 * * [simplify]: Extracting #2: cost 52 inf + 0
3.923 * * [simplify]: Extracting #3: cost 218 inf + 0
3.925 * * [simplify]: Extracting #4: cost 350 inf + 488
3.932 * * [simplify]: Extracting #5: cost 271 inf + 83278
3.956 * * [simplify]: Extracting #6: cost 99 inf + 301152
3.998 * * [simplify]: Extracting #7: cost 13 inf + 445414
4.025 * * [simplify]: Extracting #8: cost 0 inf + 471346
4.061 * [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.061 * [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.061 * * * * [progress]: [ 17 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 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.061 * [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.061 * * [simplify]: iters left: 6 (15 enodes)
4.065 * * [simplify]: iters left: 5 (54 enodes)
4.079 * * [simplify]: iters left: 4 (174 enodes)
4.153 * * [simplify]: Extracting #0: cost 1 inf + 0
4.153 * * [simplify]: Extracting #1: cost 2 inf + 0
4.153 * * [simplify]: Extracting #2: cost 52 inf + 0
4.154 * * [simplify]: Extracting #3: cost 218 inf + 0
4.155 * * [simplify]: Extracting #4: cost 350 inf + 488
4.160 * * [simplify]: Extracting #5: cost 271 inf + 83278
4.174 * * [simplify]: Extracting #6: cost 99 inf + 301152
4.202 * * [simplify]: Extracting #7: cost 13 inf + 445414
4.229 * * [simplify]: Extracting #8: cost 0 inf + 471346
4.256 * [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.256 * [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.256 * * * * [progress]: [ 18 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 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.256 * [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.257 * * [simplify]: iters left: 6 (15 enodes)
4.260 * * [simplify]: iters left: 5 (54 enodes)
4.271 * * [simplify]: iters left: 4 (174 enodes)
4.343 * * [simplify]: Extracting #0: cost 1 inf + 0
4.343 * * [simplify]: Extracting #1: cost 2 inf + 0
4.343 * * [simplify]: Extracting #2: cost 52 inf + 0
4.344 * * [simplify]: Extracting #3: cost 218 inf + 0
4.345 * * [simplify]: Extracting #4: cost 350 inf + 488
4.352 * * [simplify]: Extracting #5: cost 271 inf + 83278
4.366 * * [simplify]: Extracting #6: cost 99 inf + 301152
4.391 * * [simplify]: Extracting #7: cost 13 inf + 445414
4.419 * * [simplify]: Extracting #8: cost 0 inf + 471346
4.446 * [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.446 * [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.446 * * * [progress]: adding candidates to table
5.074 * * [progress]: iteration 2 / 4
5.074 * * * [progress]: picking best candidate
5.125 * * * * [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 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))>
5.125 * * * [progress]: localizing error
5.494 * * * [progress]: generating rewritten candidates
5.494 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
5.568 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2)
5.602 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 2)
5.605 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2)
5.628 * * * [progress]: generating series expansions
5.628 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
5.628 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2)
5.629 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 2)
5.629 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2)
5.629 * * * [progress]: simplifying candidates
5.629 * * * * [progress]: [ 1 / 16 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
5.629 * [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))
5.629 * * [simplify]: iters left: 6 (14 enodes)
5.636 * * [simplify]: iters left: 5 (51 enodes)
5.654 * * [simplify]: iters left: 4 (173 enodes)
5.724 * * [simplify]: Extracting #0: cost 1 inf + 0
5.724 * * [simplify]: Extracting #1: cost 48 inf + 0
5.724 * * [simplify]: Extracting #2: cost 196 inf + 0
5.725 * * [simplify]: Extracting #3: cost 275 inf + 1859
5.729 * * [simplify]: Extracting #4: cost 237 inf + 79873
5.747 * * [simplify]: Extracting #5: cost 41 inf + 350410
5.787 * * [simplify]: Extracting #6: cost 1 inf + 422604
5.815 * * [simplify]: Extracting #7: cost 0 inf + 425528
5.839 * [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)))
5.839 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.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 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))
5.839 * * * * [progress]: [ 2 / 16 ] 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 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
5.840 * [simplify]: Simplifying (*.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 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)))
5.840 * * [simplify]: iters left: 6 (17 enodes)
5.844 * * [simplify]: iters left: 5 (66 enodes)
5.857 * * [simplify]: iters left: 4 (250 enodes)
6.019 * * [simplify]: Extracting #0: cost 1 inf + 0
6.019 * * [simplify]: Extracting #1: cost 70 inf + 0
6.020 * * [simplify]: Extracting #2: cost 345 inf + 0
6.021 * * [simplify]: Extracting #3: cost 507 inf + 890
6.031 * * [simplify]: Extracting #4: cost 399 inf + 227592
6.076 * * [simplify]: Extracting #5: cost 85 inf + 736749
6.164 * * [simplify]: Extracting #6: cost 1 inf + 915516
6.269 * * [simplify]: Extracting #7: cost 0 inf + 916080
6.326 * [simplify]: Simplified to (*.p16 (*.p16 (*.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 (+.p16 b a) c) (real->posit16 2)) a) (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (+.p16 c (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))))
6.326 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.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 (+.p16 b a) c) (real->posit16 2)) a) (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (+.p16 c (/.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)) c)))))
6.326 * * * * [progress]: [ 3 / 16 ] 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 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)))))>
6.327 * [simplify]: Simplifying (*.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 a b) c) (real->posit16 2)) c))
6.327 * * [simplify]: iters left: 6 (17 enodes)
6.331 * * [simplify]: iters left: 5 (66 enodes)
6.346 * * [simplify]: iters left: 4 (252 enodes)
6.464 * * [simplify]: Extracting #0: cost 1 inf + 0
6.464 * * [simplify]: Extracting #1: cost 73 inf + 0
6.465 * * [simplify]: Extracting #2: cost 347 inf + 0
6.467 * * [simplify]: Extracting #3: cost 531 inf + 1612
6.478 * * [simplify]: Extracting #4: cost 388 inf + 273369
6.522 * * [simplify]: Extracting #5: cost 84 inf + 812947
6.576 * * [simplify]: Extracting #6: cost 0 inf + 988759
6.675 * * [simplify]: Extracting #7: cost 0 inf + 987839
6.759 * [simplify]: Simplified to (*.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) c) (-.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) b)) (*.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) a) (+.p16 a (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2))))))
6.759 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) c) (-.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) b)) (*.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) a) (+.p16 a (/.p16 (+.p16 (+.p16 a 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)))))
6.759 * * * * [progress]: [ 4 / 16 ] 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 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))))))>
6.760 * [simplify]: Simplifying (*.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 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
6.760 * * [simplify]: iters left: 6 (18 enodes)
6.764 * * [simplify]: iters left: 5 (72 enodes)
6.780 * * [simplify]: iters left: 4 (269 enodes)
6.907 * * [simplify]: Extracting #0: cost 1 inf + 0
6.907 * * [simplify]: Extracting #1: cost 59 inf + 0
6.908 * * [simplify]: Extracting #2: cost 290 inf + 0
6.910 * * [simplify]: Extracting #3: cost 460 inf + 166
6.922 * * [simplify]: Extracting #4: cost 380 inf + 281442
6.972 * * [simplify]: Extracting #5: cost 63 inf + 884806
7.054 * * [simplify]: Extracting #6: cost 0 inf + 1034028
7.170 * [simplify]: Simplified to (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (-.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 b a) c) (real->posit16 2)) b) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))))
7.171 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (-.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 b a) c) (real->posit16 2)) b) (/.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 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))))))
7.171 * * * * [progress]: [ 5 / 16 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))>
7.171 * [simplify]: Simplifying (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
7.172 * * [simplify]: iters left: 6 (16 enodes)
7.180 * * [simplify]: iters left: 5 (60 enodes)
7.204 * * [simplify]: iters left: 4 (223 enodes)
7.397 * * [simplify]: Extracting #0: cost 1 inf + 0
7.397 * * [simplify]: Extracting #1: cost 62 inf + 0
7.397 * * [simplify]: Extracting #2: cost 310 inf + 0
7.399 * * [simplify]: Extracting #3: cost 507 inf + 1699
7.410 * * [simplify]: Extracting #4: cost 370 inf + 235542
7.454 * * [simplify]: Extracting #5: cost 33 inf + 741482
7.548 * * [simplify]: Extracting #6: cost 0 inf + 796563
7.631 * * [simplify]: Extracting #7: cost 0 inf + 796003
7.680 * [simplify]: Simplified to (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (+.p16 (+.p16 b a) c)) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a))))
7.680 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (+.p16 (+.p16 b a) c)) (*.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 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))
7.680 * * * * [progress]: [ 6 / 16 ] 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)) (neg.p16 b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))>
7.680 * * * * [progress]: [ 7 / 16 ] 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 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))>
7.680 * * * * [progress]: [ 8 / 16 ] 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)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))>
7.681 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
7.681 * * [simplify]: iters left: 4 (9 enodes)
7.685 * * [simplify]: iters left: 3 (21 enodes)
7.691 * * [simplify]: iters left: 2 (27 enodes)
7.699 * * [simplify]: iters left: 1 (28 enodes)
7.706 * * [simplify]: Extracting #0: cost 1 inf + 0
7.706 * * [simplify]: Extracting #1: cost 3 inf + 0
7.706 * * [simplify]: Extracting #2: cost 4 inf + 1
7.706 * * [simplify]: Extracting #3: cost 10 inf + 1
7.706 * * [simplify]: Extracting #4: cost 1 inf + 738
7.706 * * [simplify]: Extracting #5: cost 0 inf + 1302
7.707 * [simplify]: Simplified to (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))
7.707 * [simplify]: Simplified (2 1 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 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)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))
7.707 * [simplify]: Simplifying (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
7.707 * * [simplify]: iters left: 4 (9 enodes)
7.711 * * [simplify]: iters left: 3 (27 enodes)
7.720 * * [simplify]: iters left: 2 (47 enodes)
7.734 * * [simplify]: iters left: 1 (123 enodes)
7.769 * * [simplify]: Extracting #0: cost 1 inf + 0
7.769 * * [simplify]: Extracting #1: cost 15 inf + 0
7.769 * * [simplify]: Extracting #2: cost 53 inf + 1
7.769 * * [simplify]: Extracting #3: cost 87 inf + 1044
7.770 * * [simplify]: Extracting #4: cost 139 inf + 5657
7.770 * * [simplify]: Extracting #5: cost 115 inf + 19521
7.776 * * [simplify]: Extracting #6: cost 57 inf + 79064
7.790 * * [simplify]: Extracting #7: cost 8 inf + 157140
7.800 * * [simplify]: Extracting #8: cost 0 inf + 176132
7.809 * [simplify]: Simplified to (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) a)
7.809 * [simplify]: Simplified (2 1 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 (+.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)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))
7.810 * * * * [progress]: [ 9 / 16 ] 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))) (neg.p16 (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))>
7.810 * * * * [progress]: [ 10 / 16 ] 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 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a))) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))>
7.810 * * * * [progress]: [ 11 / 16 ] 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)) (neg.p16 c))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))>
7.810 * * * * [progress]: [ 12 / 16 ] 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 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))>
7.810 * * * * [progress]: [ 13 / 16 ] 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)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))>
7.810 * [simplify]: Simplifying (*.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)) c))
7.810 * * [simplify]: iters left: 6 (16 enodes)
7.816 * * [simplify]: iters left: 5 (62 enodes)
7.839 * * [simplify]: iters left: 4 (229 enodes)
7.959 * * [simplify]: Extracting #0: cost 1 inf + 0
7.959 * * [simplify]: Extracting #1: cost 59 inf + 0
7.960 * * [simplify]: Extracting #2: cost 276 inf + 0
7.961 * * [simplify]: Extracting #3: cost 431 inf + 809
7.970 * * [simplify]: Extracting #4: cost 315 inf + 215074
8.006 * * [simplify]: Extracting #5: cost 47 inf + 641310
8.073 * * [simplify]: Extracting #6: cost 3 inf + 707919
8.135 * * [simplify]: Extracting #7: cost 0 inf + 715051
8.178 * [simplify]: Simplified to (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 (-.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)))))
8.179 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 (-.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))))
8.179 * * * * [progress]: [ 14 / 16 ] 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)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))>
8.179 * [simplify]: Simplifying (*.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)) c))
8.179 * * [simplify]: iters left: 6 (16 enodes)
8.183 * * [simplify]: iters left: 5 (62 enodes)
8.196 * * [simplify]: iters left: 4 (229 enodes)
8.318 * * [simplify]: Extracting #0: cost 1 inf + 0
8.318 * * [simplify]: Extracting #1: cost 59 inf + 0
8.318 * * [simplify]: Extracting #2: cost 276 inf + 0
8.320 * * [simplify]: Extracting #3: cost 431 inf + 809
8.329 * * [simplify]: Extracting #4: cost 315 inf + 215074
8.368 * * [simplify]: Extracting #5: cost 47 inf + 641310
8.410 * * [simplify]: Extracting #6: cost 3 inf + 707919
8.454 * * [simplify]: Extracting #7: cost 0 inf + 715051
8.500 * [simplify]: Simplified to (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 (-.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)))))
8.500 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 (-.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))))
8.500 * * * * [progress]: [ 15 / 16 ] 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)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))>
8.500 * [simplify]: Simplifying (*.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)) c))
8.501 * * [simplify]: iters left: 6 (16 enodes)
8.504 * * [simplify]: iters left: 5 (62 enodes)
8.523 * * [simplify]: iters left: 4 (229 enodes)
8.648 * * [simplify]: Extracting #0: cost 1 inf + 0
8.648 * * [simplify]: Extracting #1: cost 59 inf + 0
8.649 * * [simplify]: Extracting #2: cost 276 inf + 0
8.650 * * [simplify]: Extracting #3: cost 431 inf + 809
8.659 * * [simplify]: Extracting #4: cost 315 inf + 215074
8.696 * * [simplify]: Extracting #5: cost 47 inf + 641310
8.743 * * [simplify]: Extracting #6: cost 3 inf + 707919
8.795 * * [simplify]: Extracting #7: cost 0 inf + 715051
8.855 * [simplify]: Simplified to (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 (-.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)))))
8.855 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 (-.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))))
8.857 * * * * [progress]: [ 16 / 16 ] 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)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))>
8.857 * [simplify]: Simplifying (*.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)) c))
8.857 * * [simplify]: iters left: 6 (16 enodes)
8.864 * * [simplify]: iters left: 5 (62 enodes)
8.878 * * [simplify]: iters left: 4 (229 enodes)
8.990 * * [simplify]: Extracting #0: cost 1 inf + 0
8.990 * * [simplify]: Extracting #1: cost 59 inf + 0
8.991 * * [simplify]: Extracting #2: cost 276 inf + 0
8.993 * * [simplify]: Extracting #3: cost 431 inf + 809
9.002 * * [simplify]: Extracting #4: cost 315 inf + 215074
9.041 * * [simplify]: Extracting #5: cost 47 inf + 641310
9.111 * * [simplify]: Extracting #6: cost 3 inf + 707919
9.172 * * [simplify]: Extracting #7: cost 0 inf + 715051
9.246 * [simplify]: Simplified to (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 (-.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)))))
9.246 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 (-.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))))
9.246 * * * [progress]: adding candidates to table
9.660 * * [progress]: iteration 3 / 4
9.660 * * * [progress]: picking best candidate
9.736 * * * * [pick]: Picked  #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))>
9.736 * * * [progress]: localizing error
10.060 * * * [progress]: generating rewritten candidates
10.060 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
10.068 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2)
10.093 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 2)
10.096 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2)
10.124 * * * [progress]: generating series expansions
10.124 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
10.125 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2)
10.125 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 2)
10.125 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2)
10.125 * * * [progress]: simplifying candidates
10.125 * * * * [progress]: [ 1 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (real->posit16 2))))>
10.125 * [simplify]: Simplifying (real->posit16 2)
10.125 * * [simplify]: iters left: 1 (2 enodes)
10.126 * * [simplify]: Extracting #0: cost 1 inf + 0
10.126 * * [simplify]: Extracting #1: cost 2 inf + 0
10.126 * * [simplify]: Extracting #2: cost 1 inf + 1
10.126 * * [simplify]: Extracting #3: cost 0 inf + 2
10.126 * [simplify]: Simplified to (real->posit16 2)
10.126 * [simplify]: Simplified (2 1 2) to (λ (a b c) (sqrt.p16 (/.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (real->posit16 2))))
10.126 * * * * [progress]: [ 2 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
10.126 * [simplify]: Simplifying (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))
10.126 * * [simplify]: iters left: 6 (14 enodes)
10.130 * * [simplify]: iters left: 5 (49 enodes)
10.140 * * [simplify]: iters left: 4 (169 enodes)
10.260 * * [simplify]: Extracting #0: cost 1 inf + 0
10.260 * * [simplify]: Extracting #1: cost 58 inf + 0
10.261 * * [simplify]: Extracting #2: cost 220 inf + 0
10.263 * * [simplify]: Extracting #3: cost 337 inf + 1337
10.267 * * [simplify]: Extracting #4: cost 337 inf + 21516
10.284 * * [simplify]: Extracting #5: cost 161 inf + 244811
10.310 * * [simplify]: Extracting #6: cost 19 inf + 461933
10.339 * * [simplify]: Extracting #7: cost 0 inf + 499729
10.373 * * [simplify]: Extracting #8: cost 0 inf + 499449
10.410 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (+.p16 (+.p16 b a) c)) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)))
10.410 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (+.p16 (+.p16 b a) c)) (*.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 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))
10.410 * * * * [progress]: [ 3 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c))) (*.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
10.411 * [simplify]: Simplifying (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)))
10.411 * * [simplify]: iters left: 6 (17 enodes)
10.418 * * [simplify]: iters left: 5 (64 enodes)
10.443 * * [simplify]: iters left: 4 (242 enodes)
10.618 * * [simplify]: Extracting #0: cost 1 inf + 0
10.618 * * [simplify]: Extracting #1: cost 73 inf + 0
10.619 * * [simplify]: Extracting #2: cost 376 inf + 0
10.623 * * [simplify]: Extracting #3: cost 565 inf + 5032
10.638 * * [simplify]: Extracting #4: cost 372 inf + 346893
10.701 * * [simplify]: Extracting #5: cost 33 inf + 912212
10.788 * * [simplify]: Extracting #6: cost 0 inf + 974901
10.888 * * [simplify]: Extracting #7: cost 0 inf + 974061
10.998 * [simplify]: Simplified to (*.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (+.p16 (+.p16 b a) c)) (*.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 b a) c) (real->posit16 2)) c) (+.p16 c (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))))
10.998 * [simplify]: Simplified (2 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 b a) c)) (*.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 b a) c) (real->posit16 2)) c) (+.p16 c (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))))) (*.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))
10.998 * * * * [progress]: [ 4 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)))))>
10.999 * [simplify]: Simplifying (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
10.999 * * [simplify]: iters left: 6 (17 enodes)
11.008 * * [simplify]: iters left: 5 (64 enodes)
11.034 * * [simplify]: iters left: 4 (244 enodes)
11.215 * * [simplify]: Extracting #0: cost 1 inf + 0
11.215 * * [simplify]: Extracting #1: cost 76 inf + 0
11.217 * * [simplify]: Extracting #2: cost 392 inf + 0
11.221 * * [simplify]: Extracting #3: cost 598 inf + 3829
11.256 * * [simplify]: Extracting #4: cost 375 inf + 398622
11.350 * * [simplify]: Extracting #5: cost 47 inf + 992277
11.472 * * [simplify]: Extracting #6: cost 0 inf + 1067056
11.540 * * [simplify]: Extracting #7: cost 0 inf + 1066216
11.616 * [simplify]: Simplified to (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 b a) c) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c)) (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)))
11.616 * [simplify]: Simplified (2 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)) c)) (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b))) (*.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)))))
11.616 * * * * [progress]: [ 5 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (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))))))>
11.616 * [simplify]: Simplifying (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
11.617 * * [simplify]: iters left: 6 (18 enodes)
11.621 * * [simplify]: iters left: 5 (70 enodes)
11.647 * * [simplify]: iters left: 4 (264 enodes)
11.794 * * [simplify]: Extracting #0: cost 1 inf + 0
11.794 * * [simplify]: Extracting #1: cost 62 inf + 0
11.795 * * [simplify]: Extracting #2: cost 323 inf + 0
11.797 * * [simplify]: Extracting #3: cost 559 inf + 3747
11.812 * * [simplify]: Extracting #4: cost 398 inf + 366962
11.873 * * [simplify]: Extracting #5: cost 61 inf + 992720
11.969 * * [simplify]: Extracting #6: cost 0 inf + 1129703
12.050 * * [simplify]: Extracting #7: cost 0 inf + 1129383
12.127 * [simplify]: Simplified to (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c)) (*.p16 (*.p16 (+.p16 (+.p16 b a) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 a a))) (+.p16 (*.p16 a a) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))))))
12.127 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c)) (*.p16 (*.p16 (+.p16 (+.p16 b a) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 a a))) (+.p16 (*.p16 a a) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))))) (*.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (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))))))
12.128 * * * * [progress]: [ 6 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (real->posit16 2)))))>
12.128 * [simplify]: Simplifying (/.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))
12.128 * * [simplify]: iters left: 6 (16 enodes)
12.132 * * [simplify]: iters left: 5 (53 enodes)
12.147 * * [simplify]: iters left: 4 (176 enodes)
12.258 * * [simplify]: Extracting #0: cost 1 inf + 0
12.258 * * [simplify]: Extracting #1: cost 38 inf + 0
12.259 * * [simplify]: Extracting #2: cost 221 inf + 0
12.260 * * [simplify]: Extracting #3: cost 343 inf + 1580
12.262 * * [simplify]: Extracting #4: cost 380 inf + 17508
12.271 * * [simplify]: Extracting #5: cost 195 inf + 244388
12.297 * * [simplify]: Extracting #6: cost 28 inf + 500686
12.332 * * [simplify]: Extracting #7: cost 0 inf + 558598
12.368 * [simplify]: Simplified to (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (+.p16 (+.p16 b a) c)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b))
12.368 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (+.p16 (+.p16 b a) c)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)) (/.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (real->posit16 2)))))
12.368 * [simplify]: Simplifying (/.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (real->posit16 2))
12.368 * * [simplify]: iters left: 5 (10 enodes)
12.371 * * [simplify]: iters left: 4 (28 enodes)
12.376 * * [simplify]: iters left: 3 (50 enodes)
12.387 * * [simplify]: iters left: 2 (140 enodes)
12.425 * * [simplify]: iters left: 1 (496 enodes)
12.711 * * [simplify]: Extracting #0: cost 1 inf + 0
12.711 * * [simplify]: Extracting #1: cost 80 inf + 0
12.712 * * [simplify]: Extracting #2: cost 392 inf + 0
12.714 * * [simplify]: Extracting #3: cost 557 inf + 2495
12.717 * * [simplify]: Extracting #4: cost 780 inf + 19212
12.722 * * [simplify]: Extracting #5: cost 832 inf + 46690
12.729 * * [simplify]: Extracting #6: cost 745 inf + 107718
12.779 * * [simplify]: Extracting #7: cost 293 inf + 839375
12.913 * * [simplify]: Extracting #8: cost 9 inf + 1397966
13.047 * * [simplify]: Extracting #9: cost 0 inf + 1349322
13.128 * * [simplify]: Extracting #10: cost 0 inf + 1348322
13.207 * [simplify]: Simplified to (/.p16 (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) c) (real->posit16 2))
13.207 * [simplify]: Simplified (2 1 2) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (+.p16 (+.p16 b a) c)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)) (/.p16 (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) c) (real->posit16 2)))))
13.207 * * * * [progress]: [ 7 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))>
13.207 * * * * [progress]: [ 8 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))>
13.207 * * * * [progress]: [ 9 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))>
13.207 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
13.208 * * [simplify]: iters left: 4 (9 enodes)
13.210 * * [simplify]: iters left: 3 (21 enodes)
13.213 * * [simplify]: iters left: 2 (27 enodes)
13.219 * * [simplify]: iters left: 1 (28 enodes)
13.227 * * [simplify]: Extracting #0: cost 1 inf + 0
13.227 * * [simplify]: Extracting #1: cost 3 inf + 0
13.227 * * [simplify]: Extracting #2: cost 4 inf + 1
13.227 * * [simplify]: Extracting #3: cost 10 inf + 1
13.227 * * [simplify]: Extracting #4: cost 1 inf + 738
13.227 * * [simplify]: Extracting #5: cost 0 inf + 1302
13.228 * [simplify]: Simplified to (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))
13.228 * [simplify]: Simplified (2 1 1 1 1 2 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (*.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)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))
13.228 * [simplify]: Simplifying (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
13.228 * * [simplify]: iters left: 4 (9 enodes)
13.232 * * [simplify]: iters left: 3 (27 enodes)
13.241 * * [simplify]: iters left: 2 (47 enodes)
13.258 * * [simplify]: iters left: 1 (123 enodes)
13.319 * * [simplify]: Extracting #0: cost 1 inf + 0
13.319 * * [simplify]: Extracting #1: cost 15 inf + 0
13.319 * * [simplify]: Extracting #2: cost 53 inf + 1
13.319 * * [simplify]: Extracting #3: cost 87 inf + 1044
13.321 * * [simplify]: Extracting #4: cost 139 inf + 5657
13.323 * * [simplify]: Extracting #5: cost 115 inf + 19521
13.329 * * [simplify]: Extracting #6: cost 57 inf + 79064
13.349 * * [simplify]: Extracting #7: cost 8 inf + 157140
13.367 * * [simplify]: Extracting #8: cost 0 inf + 176132
13.385 * [simplify]: Simplified to (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) a)
13.386 * [simplify]: Simplified (2 1 1 1 1 2 2) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (*.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)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))
13.386 * * * * [progress]: [ 10 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (neg.p16 (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))>
13.386 * * * * [progress]: [ 11 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a))) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))>
13.386 * * * * [progress]: [ 12 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 c))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))>
13.386 * * * * [progress]: [ 13 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))>
13.386 * * * * [progress]: [ 14 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))>
13.387 * [simplify]: Simplifying (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
13.387 * * [simplify]: iters left: 6 (16 enodes)
13.395 * * [simplify]: iters left: 5 (60 enodes)
13.420 * * [simplify]: iters left: 4 (223 enodes)
13.587 * * [simplify]: Extracting #0: cost 1 inf + 0
13.587 * * [simplify]: Extracting #1: cost 62 inf + 0
13.588 * * [simplify]: Extracting #2: cost 310 inf + 0
13.590 * * [simplify]: Extracting #3: cost 507 inf + 1699
13.607 * * [simplify]: Extracting #4: cost 370 inf + 235542
13.683 * * [simplify]: Extracting #5: cost 33 inf + 741482
13.777 * * [simplify]: Extracting #6: cost 0 inf + 796563
13.869 * * [simplify]: Extracting #7: cost 0 inf + 796003
13.943 * [simplify]: Simplified to (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (+.p16 (+.p16 b a) c)) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a))))
13.943 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (+.p16 (+.p16 b a) c)) (*.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 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))
13.943 * * * * [progress]: [ 15 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))>
13.943 * [simplify]: Simplifying (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
13.944 * * [simplify]: iters left: 6 (16 enodes)
13.948 * * [simplify]: iters left: 5 (60 enodes)
13.964 * * [simplify]: iters left: 4 (223 enodes)
14.087 * * [simplify]: Extracting #0: cost 1 inf + 0
14.087 * * [simplify]: Extracting #1: cost 62 inf + 0
14.087 * * [simplify]: Extracting #2: cost 310 inf + 0
14.089 * * [simplify]: Extracting #3: cost 507 inf + 1699
14.101 * * [simplify]: Extracting #4: cost 370 inf + 235542
14.153 * * [simplify]: Extracting #5: cost 33 inf + 741482
14.244 * * [simplify]: Extracting #6: cost 0 inf + 796563
14.335 * * [simplify]: Extracting #7: cost 0 inf + 796003
14.425 * [simplify]: Simplified to (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (+.p16 (+.p16 b a) c)) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a))))
14.425 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (+.p16 (+.p16 b a) c)) (*.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 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))
14.425 * * * * [progress]: [ 16 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))>
14.426 * [simplify]: Simplifying (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
14.426 * * [simplify]: iters left: 6 (16 enodes)
14.433 * * [simplify]: iters left: 5 (60 enodes)
14.458 * * [simplify]: iters left: 4 (223 enodes)
14.671 * * [simplify]: Extracting #0: cost 1 inf + 0
14.671 * * [simplify]: Extracting #1: cost 62 inf + 0
14.672 * * [simplify]: Extracting #2: cost 310 inf + 0
14.676 * * [simplify]: Extracting #3: cost 507 inf + 1699
14.696 * * [simplify]: Extracting #4: cost 370 inf + 235542
14.743 * * [simplify]: Extracting #5: cost 33 inf + 741482
14.834 * * [simplify]: Extracting #6: cost 0 inf + 796563
14.888 * * [simplify]: Extracting #7: cost 0 inf + 796003
14.950 * [simplify]: Simplified to (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (+.p16 (+.p16 b a) c)) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a))))
14.950 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (+.p16 (+.p16 b a) c)) (*.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 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))
14.951 * * * * [progress]: [ 17 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))>
14.951 * [simplify]: Simplifying (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
14.951 * * [simplify]: iters left: 6 (16 enodes)
14.955 * * [simplify]: iters left: 5 (60 enodes)
14.967 * * [simplify]: iters left: 4 (223 enodes)
15.153 * * [simplify]: Extracting #0: cost 1 inf + 0
15.153 * * [simplify]: Extracting #1: cost 62 inf + 0
15.155 * * [simplify]: Extracting #2: cost 310 inf + 0
15.158 * * [simplify]: Extracting #3: cost 507 inf + 1699
15.181 * * [simplify]: Extracting #4: cost 370 inf + 235542
15.253 * * [simplify]: Extracting #5: cost 33 inf + 741482
15.346 * * [simplify]: Extracting #6: cost 0 inf + 796563
15.435 * * [simplify]: Extracting #7: cost 0 inf + 796003
15.527 * [simplify]: Simplified to (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (+.p16 (+.p16 b a) c)) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a))))
15.528 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (+.p16 (+.p16 b a) c)) (*.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 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))
15.528 * * * [progress]: adding candidates to table
16.383 * * [progress]: iteration 4 / 4
16.383 * * * [progress]: picking best candidate
16.507 * * * * [pick]: Picked  #<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)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (real->posit16 2))))>
16.507 * * * [progress]: localizing error
16.953 * * * [progress]: generating rewritten candidates
16.953 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 2)
16.998 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 2)
17.046 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
17.091 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
17.106 * * * [progress]: generating series expansions
17.106 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 2)
17.106 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 2)
17.106 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
17.107 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
17.107 * * * [progress]: simplifying candidates
17.107 * * * * [progress]: [ 1 / 14 ] 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)) (neg.p16 b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (real->posit16 2))))>
17.107 * * * * [progress]: [ 2 / 14 ] 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 (+.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)) (real->posit16 2))))>
17.107 * * * * [progress]: [ 3 / 14 ] 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)) (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)) (real->posit16 2))))>
17.107 * * * * [progress]: [ 4 / 14 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (real->posit16 2))))>
17.107 * * * * [progress]: [ 5 / 14 ] 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)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 c))) (real->posit16 2))))>
17.107 * * * * [progress]: [ 6 / 14 ] 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)) (/.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))) (real->posit16 2))))>
17.107 * * * * [progress]: [ 7 / 14 ] simplifiying candidate #<alt (λ (a b c) (sqrt.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)) (/.p16 (real->posit16 2) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
17.107 * [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))
17.108 * * [simplify]: iters left: 6 (12 enodes)
17.113 * * [simplify]: iters left: 5 (40 enodes)
17.128 * * [simplify]: iters left: 4 (117 enodes)
17.220 * * [simplify]: Extracting #0: cost 1 inf + 0
17.220 * * [simplify]: Extracting #1: cost 45 inf + 0
17.221 * * [simplify]: Extracting #2: cost 164 inf + 0
17.222 * * [simplify]: Extracting #3: cost 241 inf + 1094
17.228 * * [simplify]: Extracting #4: cost 183 inf + 54639
17.249 * * [simplify]: Extracting #5: cost 31 inf + 243256
17.279 * * [simplify]: Extracting #6: cost 5 inf + 280996
17.310 * * [simplify]: Extracting #7: cost 0 inf + 291976
17.346 * [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))
17.346 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.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)) (/.p16 (real->posit16 2) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))
17.346 * * * * [progress]: [ 8 / 14 ] 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)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c))) (*.p16 (real->posit16 2) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
17.347 * [simplify]: Simplifying (*.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)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)))
17.347 * * [simplify]: iters left: 6 (16 enodes)
17.355 * * [simplify]: iters left: 5 (60 enodes)
17.380 * * [simplify]: iters left: 4 (221 enodes)
17.552 * * [simplify]: Extracting #0: cost 1 inf + 0
17.552 * * [simplify]: Extracting #1: cost 65 inf + 0
17.553 * * [simplify]: Extracting #2: cost 339 inf + 0
17.554 * * [simplify]: Extracting #3: cost 497 inf + 1777
17.565 * * [simplify]: Extracting #4: cost 324 inf + 262964
17.615 * * [simplify]: Extracting #5: cost 32 inf + 700460
17.663 * * [simplify]: Extracting #6: cost 1 inf + 753780
17.707 * * [simplify]: Extracting #7: cost 0 inf + 755984
17.750 * [simplify]: Simplified to (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (*.p16 (*.p16 (+.p16 c (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c))) (+.p16 (+.p16 b a) c))
17.750 * [simplify]: Simplified (2 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 c (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c))) (+.p16 (+.p16 b a) c)) (*.p16 (real->posit16 2) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))
17.750 * * * * [progress]: [ 9 / 14 ] 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 a b) c) (real->posit16 2)) c)) (*.p16 (real->posit16 2) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)))))>
17.751 * [simplify]: Simplifying (*.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 a b) c) (real->posit16 2)) c))
17.751 * * [simplify]: iters left: 6 (16 enodes)
17.755 * * [simplify]: iters left: 5 (60 enodes)
17.781 * * [simplify]: iters left: 4 (225 enodes)
17.953 * * [simplify]: Extracting #0: cost 1 inf + 0
17.954 * * [simplify]: Extracting #1: cost 67 inf + 0
17.955 * * [simplify]: Extracting #2: cost 343 inf + 0
17.958 * * [simplify]: Extracting #3: cost 512 inf + 893
17.985 * * [simplify]: Extracting #4: cost 331 inf + 283769
18.061 * * [simplify]: Extracting #5: cost 28 inf + 752180
18.149 * * [simplify]: Extracting #6: cost 0 inf + 808411
18.234 * * [simplify]: Extracting #7: cost 0 inf + 808171
18.298 * [simplify]: Simplified to (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (+.p16 (+.p16 b a) c) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a))) (+.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)))
18.298 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (+.p16 (+.p16 b a) c) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a))) (+.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b))) (*.p16 (real->posit16 2) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)))))
18.298 * * * * [progress]: [ 10 / 14 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (real->posit16 2) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)))))>
18.298 * [simplify]: Simplifying (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
18.299 * * [simplify]: iters left: 6 (16 enodes)
18.306 * * [simplify]: iters left: 5 (60 enodes)
18.333 * * [simplify]: iters left: 4 (223 enodes)
18.536 * * [simplify]: Extracting #0: cost 1 inf + 0
18.536 * * [simplify]: Extracting #1: cost 62 inf + 0
18.537 * * [simplify]: Extracting #2: cost 310 inf + 0
18.541 * * [simplify]: Extracting #3: cost 507 inf + 1699
18.562 * * [simplify]: Extracting #4: cost 370 inf + 235542
18.606 * * [simplify]: Extracting #5: cost 33 inf + 741482
18.663 * * [simplify]: Extracting #6: cost 0 inf + 796563
18.754 * * [simplify]: Extracting #7: cost 0 inf + 796003
18.847 * [simplify]: Simplified to (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (+.p16 (+.p16 b a) c)) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a))))
18.847 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (+.p16 (+.p16 b a) c)) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)))) (*.p16 (real->posit16 2) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)))))
18.848 * * * * [progress]: [ 11 / 14 ] 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)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (real->posit16 2))))>
18.848 * [simplify]: Simplifying (*.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)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
18.848 * * [simplify]: iters left: 6 (14 enodes)
18.855 * * [simplify]: iters left: 5 (51 enodes)
18.875 * * [simplify]: iters left: 4 (171 enodes)
19.032 * * [simplify]: Extracting #0: cost 1 inf + 0
19.032 * * [simplify]: Extracting #1: cost 53 inf + 0
19.032 * * [simplify]: Extracting #2: cost 257 inf + 0
19.034 * * [simplify]: Extracting #3: cost 412 inf + 938
19.042 * * [simplify]: Extracting #4: cost 235 inf + 203438
19.092 * * [simplify]: Extracting #5: cost 22 inf + 506689
19.156 * * [simplify]: Extracting #6: cost 0 inf + 540771
19.216 * [simplify]: Simplified to (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (+.p16 (+.p16 b a) c) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c))
19.216 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (+.p16 (+.p16 b a) c) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c)) (real->posit16 2))))
19.217 * * * * [progress]: [ 12 / 14 ] 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)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (real->posit16 2))))>
19.217 * [simplify]: Simplifying (*.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)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
19.217 * * [simplify]: iters left: 6 (14 enodes)
19.224 * * [simplify]: iters left: 5 (51 enodes)
19.243 * * [simplify]: iters left: 4 (171 enodes)
19.406 * * [simplify]: Extracting #0: cost 1 inf + 0
19.406 * * [simplify]: Extracting #1: cost 53 inf + 0
19.407 * * [simplify]: Extracting #2: cost 257 inf + 0
19.410 * * [simplify]: Extracting #3: cost 412 inf + 938
19.432 * * [simplify]: Extracting #4: cost 235 inf + 203438
19.483 * * [simplify]: Extracting #5: cost 22 inf + 506689
19.543 * * [simplify]: Extracting #6: cost 0 inf + 540771
19.606 * [simplify]: Simplified to (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (+.p16 (+.p16 b a) c) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c))
19.606 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (+.p16 (+.p16 b a) c) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c)) (real->posit16 2))))
19.606 * * * * [progress]: [ 13 / 14 ] 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)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (real->posit16 2))))>
19.606 * [simplify]: Simplifying (*.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)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
19.607 * * [simplify]: iters left: 6 (14 enodes)
19.613 * * [simplify]: iters left: 5 (51 enodes)
19.633 * * [simplify]: iters left: 4 (171 enodes)
19.788 * * [simplify]: Extracting #0: cost 1 inf + 0
19.789 * * [simplify]: Extracting #1: cost 53 inf + 0
19.789 * * [simplify]: Extracting #2: cost 257 inf + 0
19.791 * * [simplify]: Extracting #3: cost 412 inf + 938
19.807 * * [simplify]: Extracting #4: cost 235 inf + 203438
19.860 * * [simplify]: Extracting #5: cost 22 inf + 506689
19.898 * * [simplify]: Extracting #6: cost 0 inf + 540771
19.929 * [simplify]: Simplified to (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (+.p16 (+.p16 b a) c) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c))
19.930 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (+.p16 (+.p16 b a) c) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c)) (real->posit16 2))))
19.930 * * * * [progress]: [ 14 / 14 ] 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)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (real->posit16 2))))>
19.930 * [simplify]: Simplifying (*.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)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
19.930 * * [simplify]: iters left: 6 (14 enodes)
19.934 * * [simplify]: iters left: 5 (51 enodes)
19.944 * * [simplify]: iters left: 4 (171 enodes)
20.028 * * [simplify]: Extracting #0: cost 1 inf + 0
20.029 * * [simplify]: Extracting #1: cost 53 inf + 0
20.029 * * [simplify]: Extracting #2: cost 257 inf + 0
20.031 * * [simplify]: Extracting #3: cost 412 inf + 938
20.039 * * [simplify]: Extracting #4: cost 235 inf + 203438
20.065 * * [simplify]: Extracting #5: cost 22 inf + 506689
20.096 * * [simplify]: Extracting #6: cost 0 inf + 540771
20.131 * [simplify]: Simplified to (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (+.p16 (+.p16 b a) c) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c))
20.131 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (+.p16 (+.p16 b a) c) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c)) (real->posit16 2))))
20.131 * * * [progress]: adding candidates to table
20.531 * [progress]: [Phase 3 of 3] Extracting.
20.531 * * [regime]: Finding splitpoints for: (#<alt (λ (a b c) (sqrt.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)) (/.p16 (real->posit16 2) (-.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 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)))))> #<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)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c))) (*.p16 (real->posit16 2) (+.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 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))> #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)))))> #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (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))))))>)
20.539 * * * [regime-changes]: Trying 3 branch expressions: (c b a)
20.539 * * * * [regimes]: Trying to branch on c from (#<alt (λ (a b c) (sqrt.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)) (/.p16 (real->posit16 2) (-.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 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)))))> #<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)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c))) (*.p16 (real->posit16 2) (+.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 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))> #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)))))> #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (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))))))>)
20.665 * * * * [regimes]: Trying to branch on b from (#<alt (λ (a b c) (sqrt.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)) (/.p16 (real->posit16 2) (-.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 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)))))> #<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)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c))) (*.p16 (real->posit16 2) (+.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 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))> #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)))))> #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (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))))))>)
20.796 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a b c) (sqrt.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)) (/.p16 (real->posit16 2) (-.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 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)))))> #<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)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c))) (*.p16 (real->posit16 2) (+.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 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))> #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)))))> #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (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))))))>)
20.922 * * * [regime]: Found split indices: #<option (#s(si 0 256))>
20.922 * [simplify]: Simplifying (sqrt.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)) (/.p16 (real->posit16 2) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
20.923 * * [simplify]: iters left: 6 (16 enodes)
20.924 * * [simplify]: Extracting #0: cost 1 inf + 0
20.924 * * [simplify]: Extracting #1: cost 2 inf + 0
20.924 * * [simplify]: Extracting #2: cost 4 inf + 0
20.924 * * [simplify]: Extracting #3: cost 8 inf + 0
20.924 * * [simplify]: Extracting #4: cost 14 inf + 0
20.924 * * [simplify]: Extracting #5: cost 13 inf + 3
20.924 * * [simplify]: Extracting #6: cost 11 inf + 5
20.924 * * [simplify]: Extracting #7: cost 8 inf + 654
20.924 * * [simplify]: Extracting #8: cost 2 inf + 5758
20.924 * * [simplify]: Extracting #9: cost 0 inf + 10366
20.925 * [simplify]: Simplified to (sqrt.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)) (/.p16 (real->posit16 2) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
20.925 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
20.958 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
20.962 * * * * [points]: Setting MPFR precision to 64
20.964 * * * * [points]: Setting MPFR precision to 320
20.965 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
20.969 * * * * [points]: Setting MPFR precision to 64
20.971 * * * * [points]: Setting MPFR precision to 320
20.974 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
20.977 * * * * [points]: Setting MPFR precision to 64
20.991 * * * * [points]: Setting MPFR precision to 320
20.996 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
21.001 * * * * [points]: Setting MPFR precision to 64
21.010 * * * * [points]: Setting MPFR precision to 320
21.019 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
21.023 * * * * [points]: Setting MPFR precision to 64
21.041 * * * * [points]: Setting MPFR precision to 320
21.058 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
21.062 * * * * [points]: Setting MPFR precision to 64
21.098 * * * * [points]: Setting MPFR precision to 320
21.160 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
21.164 * * * * [points]: Setting MPFR precision to 64
21.235 * * * * [points]: Setting MPFR precision to 320
21.406 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
21.414 * * * * [points]: Setting MPFR precision to 64
21.694 * * * * [points]: Setting MPFR precision to 320
22.469 * * * * [points]: Computing exacts for 8000 points
22.476 * * * * [points]: Setting MPFR precision to 64
23.743 * * * * [points]: Setting MPFR precision to 320
24.715 * * * * [points]: Filtering points with unrepresentable outputs
24.718 * * * * [points]: Sampling 6985 additional inputs, on iter 1 have 1015 / 8000
24.747 * * * * [points]: Computing exacts on every 436 of 6985 points to ramp up precision
24.750 * * * * [points]: Setting MPFR precision to 64
24.777 * * * * [points]: Setting MPFR precision to 320
24.778 * * * * [points]: Computing exacts on every 218 of 6985 points to ramp up precision
24.782 * * * * [points]: Setting MPFR precision to 64
24.784 * * * * [points]: Setting MPFR precision to 320
24.788 * * * * [points]: Computing exacts on every 109 of 6985 points to ramp up precision
24.792 * * * * [points]: Setting MPFR precision to 64
24.797 * * * * [points]: Setting MPFR precision to 320
24.801 * * * * [points]: Computing exacts on every 54 of 6985 points to ramp up precision
24.804 * * * * [points]: Setting MPFR precision to 64
24.813 * * * * [points]: Setting MPFR precision to 320
24.822 * * * * [points]: Computing exacts on every 27 of 6985 points to ramp up precision
24.826 * * * * [points]: Setting MPFR precision to 64
24.844 * * * * [points]: Setting MPFR precision to 320
24.870 * * * * [points]: Computing exacts on every 13 of 6985 points to ramp up precision
24.877 * * * * [points]: Setting MPFR precision to 64
24.978 * * * * [points]: Setting MPFR precision to 320
25.014 * * * * [points]: Computing exacts on every 6 of 6985 points to ramp up precision
25.017 * * * * [points]: Setting MPFR precision to 64
25.121 * * * * [points]: Setting MPFR precision to 320
25.192 * * * * [points]: Computing exacts on every 3 of 6985 points to ramp up precision
25.196 * * * * [points]: Setting MPFR precision to 64
25.869 * * * * [points]: Setting MPFR precision to 320
26.177 * * * * [points]: Computing exacts for 6985 points
26.183 * * * * [points]: Setting MPFR precision to 64
27.291 * * * * [points]: Setting MPFR precision to 320
28.416 * * * * [points]: Filtering points with unrepresentable outputs
28.422 * * * * [points]: Sampling 6052 additional inputs, on iter 2 have 1948 / 8000
28.468 * * * * [points]: Computing exacts on every 378 of 6052 points to ramp up precision
28.476 * * * * [points]: Setting MPFR precision to 64
28.478 * * * * [points]: Setting MPFR precision to 320
28.480 * * * * [points]: Computing exacts on every 189 of 6052 points to ramp up precision
28.487 * * * * [points]: Setting MPFR precision to 64
28.491 * * * * [points]: Setting MPFR precision to 320
28.495 * * * * [points]: Computing exacts on every 94 of 6052 points to ramp up precision
28.503 * * * * [points]: Setting MPFR precision to 64
28.512 * * * * [points]: Setting MPFR precision to 320
28.521 * * * * [points]: Computing exacts on every 47 of 6052 points to ramp up precision
28.528 * * * * [points]: Setting MPFR precision to 64
28.544 * * * * [points]: Setting MPFR precision to 320
28.595 * * * * [points]: Computing exacts on every 23 of 6052 points to ramp up precision
28.599 * * * * [points]: Setting MPFR precision to 64
28.619 * * * * [points]: Setting MPFR precision to 320
28.637 * * * * [points]: Computing exacts on every 11 of 6052 points to ramp up precision
28.641 * * * * [points]: Setting MPFR precision to 64
28.677 * * * * [points]: Setting MPFR precision to 320
28.742 * * * * [points]: Computing exacts on every 5 of 6052 points to ramp up precision
28.746 * * * * [points]: Setting MPFR precision to 64
28.818 * * * * [points]: Setting MPFR precision to 320
28.921 * * * * [points]: Computing exacts on every 2 of 6052 points to ramp up precision
28.925 * * * * [points]: Setting MPFR precision to 64
29.387 * * * * [points]: Setting MPFR precision to 320
29.593 * * * * [points]: Computing exacts for 6052 points
29.598 * * * * [points]: Setting MPFR precision to 64
30.206 * * * * [points]: Setting MPFR precision to 320
30.789 * * * * [points]: Filtering points with unrepresentable outputs
30.792 * * * * [points]: Sampling 5260 additional inputs, on iter 3 have 2740 / 8000
30.815 * * * * [points]: Computing exacts on every 328 of 5260 points to ramp up precision
30.818 * * * * [points]: Setting MPFR precision to 64
30.819 * * * * [points]: Setting MPFR precision to 320
30.820 * * * * [points]: Computing exacts on every 164 of 5260 points to ramp up precision
30.824 * * * * [points]: Setting MPFR precision to 64
30.826 * * * * [points]: Setting MPFR precision to 320
30.828 * * * * [points]: Computing exacts on every 82 of 5260 points to ramp up precision
30.832 * * * * [points]: Setting MPFR precision to 64
30.837 * * * * [points]: Setting MPFR precision to 320
30.863 * * * * [points]: Computing exacts on every 41 of 5260 points to ramp up precision
30.867 * * * * [points]: Setting MPFR precision to 64
30.877 * * * * [points]: Setting MPFR precision to 320
30.885 * * * * [points]: Computing exacts on every 20 of 5260 points to ramp up precision
30.889 * * * * [points]: Setting MPFR precision to 64
30.907 * * * * [points]: Setting MPFR precision to 320
30.924 * * * * [points]: Computing exacts on every 10 of 5260 points to ramp up precision
30.928 * * * * [points]: Setting MPFR precision to 64
30.960 * * * * [points]: Setting MPFR precision to 320
31.020 * * * * [points]: Computing exacts on every 5 of 5260 points to ramp up precision
31.024 * * * * [points]: Setting MPFR precision to 64
31.083 * * * * [points]: Setting MPFR precision to 320
31.174 * * * * [points]: Computing exacts on every 2 of 5260 points to ramp up precision
31.178 * * * * [points]: Setting MPFR precision to 64
31.333 * * * * [points]: Setting MPFR precision to 320
31.486 * * * * [points]: Computing exacts for 5260 points
31.490 * * * * [points]: Setting MPFR precision to 64
32.214 * * * * [points]: Setting MPFR precision to 320
32.701 * * * * [points]: Filtering points with unrepresentable outputs
32.703 * * * * [points]: Sampling 4622 additional inputs, on iter 4 have 3378 / 8000
32.724 * * * * [points]: Computing exacts on every 288 of 4622 points to ramp up precision
32.728 * * * * [points]: Setting MPFR precision to 64
32.729 * * * * [points]: Setting MPFR precision to 320
32.730 * * * * [points]: Computing exacts on every 144 of 4622 points to ramp up precision
32.734 * * * * [points]: Setting MPFR precision to 64
32.736 * * * * [points]: Setting MPFR precision to 320
32.738 * * * * [points]: Computing exacts on every 72 of 4622 points to ramp up precision
32.742 * * * * [points]: Setting MPFR precision to 64
32.746 * * * * [points]: Setting MPFR precision to 320
32.750 * * * * [points]: Computing exacts on every 36 of 4622 points to ramp up precision
32.754 * * * * [points]: Setting MPFR precision to 64
32.762 * * * * [points]: Setting MPFR precision to 320
32.770 * * * * [points]: Computing exacts on every 18 of 4622 points to ramp up precision
32.774 * * * * [points]: Setting MPFR precision to 64
32.811 * * * * [points]: Setting MPFR precision to 320
32.830 * * * * [points]: Computing exacts on every 9 of 4622 points to ramp up precision
32.833 * * * * [points]: Setting MPFR precision to 64
32.865 * * * * [points]: Setting MPFR precision to 320
32.895 * * * * [points]: Computing exacts on every 4 of 4622 points to ramp up precision
32.899 * * * * [points]: Setting MPFR precision to 64
32.990 * * * * [points]: Setting MPFR precision to 320
33.086 * * * * [points]: Computing exacts on every 2 of 4622 points to ramp up precision
33.090 * * * * [points]: Setting MPFR precision to 64
33.194 * * * * [points]: Setting MPFR precision to 320
33.330 * * * * [points]: Computing exacts for 4622 points
33.364 * * * * [points]: Setting MPFR precision to 64
33.741 * * * * [points]: Setting MPFR precision to 320
34.424 * * * * [points]: Filtering points with unrepresentable outputs
34.426 * * * * [points]: Sampling 4048 additional inputs, on iter 5 have 3952 / 8000
34.443 * * * * [points]: Computing exacts on every 253 of 4048 points to ramp up precision
34.446 * * * * [points]: Setting MPFR precision to 64
34.472 * * * * [points]: Setting MPFR precision to 320
34.473 * * * * [points]: Computing exacts on every 126 of 4048 points to ramp up precision
34.477 * * * * [points]: Setting MPFR precision to 64
34.479 * * * * [points]: Setting MPFR precision to 320
34.483 * * * * [points]: Computing exacts on every 63 of 4048 points to ramp up precision
34.486 * * * * [points]: Setting MPFR precision to 64
34.490 * * * * [points]: Setting MPFR precision to 320
34.495 * * * * [points]: Computing exacts on every 31 of 4048 points to ramp up precision
34.498 * * * * [points]: Setting MPFR precision to 64
34.508 * * * * [points]: Setting MPFR precision to 320
34.517 * * * * [points]: Computing exacts on every 15 of 4048 points to ramp up precision
34.520 * * * * [points]: Setting MPFR precision to 64
34.539 * * * * [points]: Setting MPFR precision to 320
34.556 * * * * [points]: Computing exacts on every 7 of 4048 points to ramp up precision
34.559 * * * * [points]: Setting MPFR precision to 64
34.618 * * * * [points]: Setting MPFR precision to 320
34.654 * * * * [points]: Computing exacts on every 3 of 4048 points to ramp up precision
34.658 * * * * [points]: Setting MPFR precision to 64
34.754 * * * * [points]: Setting MPFR precision to 320
34.820 * * * * [points]: Computing exacts for 4048 points
34.824 * * * * [points]: Setting MPFR precision to 64
35.190 * * * * [points]: Setting MPFR precision to 320
35.532 * * * * [points]: Filtering points with unrepresentable outputs
35.534 * * * * [points]: Sampling 3556 additional inputs, on iter 6 have 4444 / 8000
35.549 * * * * [points]: Computing exacts on every 222 of 3556 points to ramp up precision
35.577 * * * * [points]: Setting MPFR precision to 64
35.578 * * * * [points]: Setting MPFR precision to 320
35.579 * * * * [points]: Computing exacts on every 111 of 3556 points to ramp up precision
35.583 * * * * [points]: Setting MPFR precision to 64
35.586 * * * * [points]: Setting MPFR precision to 320
35.589 * * * * [points]: Computing exacts on every 55 of 3556 points to ramp up precision
35.592 * * * * [points]: Setting MPFR precision to 64
35.596 * * * * [points]: Setting MPFR precision to 320
35.600 * * * * [points]: Computing exacts on every 27 of 3556 points to ramp up precision
35.604 * * * * [points]: Setting MPFR precision to 64
35.612 * * * * [points]: Setting MPFR precision to 320
35.621 * * * * [points]: Computing exacts on every 13 of 3556 points to ramp up precision
35.624 * * * * [points]: Setting MPFR precision to 64
35.641 * * * * [points]: Setting MPFR precision to 320
35.660 * * * * [points]: Computing exacts on every 6 of 3556 points to ramp up precision
35.663 * * * * [points]: Setting MPFR precision to 64
35.720 * * * * [points]: Setting MPFR precision to 320
35.754 * * * * [points]: Computing exacts on every 3 of 3556 points to ramp up precision
35.757 * * * * [points]: Setting MPFR precision to 64
35.847 * * * * [points]: Setting MPFR precision to 320
35.907 * * * * [points]: Computing exacts for 3556 points
35.910 * * * * [points]: Setting MPFR precision to 64
36.203 * * * * [points]: Setting MPFR precision to 320
36.799 * * * * [points]: Filtering points with unrepresentable outputs
36.800 * * * * [points]: Sampling 3123 additional inputs, on iter 7 have 4877 / 8000
36.813 * * * * [points]: Computing exacts on every 195 of 3123 points to ramp up precision
36.816 * * * * [points]: Setting MPFR precision to 64
36.817 * * * * [points]: Setting MPFR precision to 320
36.818 * * * * [points]: Computing exacts on every 97 of 3123 points to ramp up precision
36.821 * * * * [points]: Setting MPFR precision to 64
36.824 * * * * [points]: Setting MPFR precision to 320
36.826 * * * * [points]: Computing exacts on every 48 of 3123 points to ramp up precision
36.829 * * * * [points]: Setting MPFR precision to 64
36.833 * * * * [points]: Setting MPFR precision to 320
36.837 * * * * [points]: Computing exacts on every 24 of 3123 points to ramp up precision
36.841 * * * * [points]: Setting MPFR precision to 64
36.849 * * * * [points]: Setting MPFR precision to 320
36.857 * * * * [points]: Computing exacts on every 12 of 3123 points to ramp up precision
36.860 * * * * [points]: Setting MPFR precision to 64
36.875 * * * * [points]: Setting MPFR precision to 320
36.919 * * * * [points]: Computing exacts on every 6 of 3123 points to ramp up precision
36.923 * * * * [points]: Setting MPFR precision to 64
36.952 * * * * [points]: Setting MPFR precision to 320
36.981 * * * * [points]: Computing exacts on every 3 of 3123 points to ramp up precision
36.984 * * * * [points]: Setting MPFR precision to 64
37.070 * * * * [points]: Setting MPFR precision to 320
37.121 * * * * [points]: Computing exacts for 3123 points
37.125 * * * * [points]: Setting MPFR precision to 64
37.394 * * * * [points]: Setting MPFR precision to 320
37.664 * * * * [points]: Filtering points with unrepresentable outputs
37.665 * * * * [points]: Sampling 2732 additional inputs, on iter 8 have 5268 / 8000
37.676 * * * * [points]: Computing exacts on every 170 of 2732 points to ramp up precision
37.680 * * * * [points]: Setting MPFR precision to 64
37.681 * * * * [points]: Setting MPFR precision to 320
37.682 * * * * [points]: Computing exacts on every 85 of 2732 points to ramp up precision
37.685 * * * * [points]: Setting MPFR precision to 64
37.688 * * * * [points]: Setting MPFR precision to 320
37.690 * * * * [points]: Computing exacts on every 42 of 2732 points to ramp up precision
37.693 * * * * [points]: Setting MPFR precision to 64
37.721 * * * * [points]: Setting MPFR precision to 320
37.725 * * * * [points]: Computing exacts on every 21 of 2732 points to ramp up precision
37.729 * * * * [points]: Setting MPFR precision to 64
37.739 * * * * [points]: Setting MPFR precision to 320
37.747 * * * * [points]: Computing exacts on every 10 of 2732 points to ramp up precision
37.751 * * * * [points]: Setting MPFR precision to 64
37.768 * * * * [points]: Setting MPFR precision to 320
37.785 * * * * [points]: Computing exacts on every 5 of 2732 points to ramp up precision
37.788 * * * * [points]: Setting MPFR precision to 64
37.817 * * * * [points]: Setting MPFR precision to 320
37.875 * * * * [points]: Computing exacts on every 2 of 2732 points to ramp up precision
37.878 * * * * [points]: Setting MPFR precision to 64
37.937 * * * * [points]: Setting MPFR precision to 320
38.029 * * * * [points]: Computing exacts for 2732 points
38.032 * * * * [points]: Setting MPFR precision to 64
38.276 * * * * [points]: Setting MPFR precision to 320
38.485 * * * * [points]: Filtering points with unrepresentable outputs
38.487 * * * * [points]: Sampling 2349 additional inputs, on iter 9 have 5651 / 8000
38.497 * * * * [points]: Computing exacts on every 146 of 2349 points to ramp up precision
38.500 * * * * [points]: Setting MPFR precision to 64
38.501 * * * * [points]: Setting MPFR precision to 320
38.502 * * * * [points]: Computing exacts on every 73 of 2349 points to ramp up precision
38.532 * * * * [points]: Setting MPFR precision to 64
38.535 * * * * [points]: Setting MPFR precision to 320
38.537 * * * * [points]: Computing exacts on every 36 of 2349 points to ramp up precision
38.542 * * * * [points]: Setting MPFR precision to 64
38.546 * * * * [points]: Setting MPFR precision to 320
38.550 * * * * [points]: Computing exacts on every 18 of 2349 points to ramp up precision
38.553 * * * * [points]: Setting MPFR precision to 64
38.561 * * * * [points]: Setting MPFR precision to 320
38.569 * * * * [points]: Computing exacts on every 9 of 2349 points to ramp up precision
38.572 * * * * [points]: Setting MPFR precision to 64
38.587 * * * * [points]: Setting MPFR precision to 320
38.601 * * * * [points]: Computing exacts on every 4 of 2349 points to ramp up precision
38.605 * * * * [points]: Setting MPFR precision to 64
38.660 * * * * [points]: Setting MPFR precision to 320
38.690 * * * * [points]: Computing exacts on every 2 of 2349 points to ramp up precision
38.694 * * * * [points]: Setting MPFR precision to 64
38.744 * * * * [points]: Setting MPFR precision to 320
39.101 * * * * [points]: Computing exacts for 2349 points
39.105 * * * * [points]: Setting MPFR precision to 64
39.285 * * * * [points]: Setting MPFR precision to 320
39.500 * * * * [points]: Filtering points with unrepresentable outputs
39.501 * * * * [points]: Sampling 2055 additional inputs, on iter 10 have 5945 / 8000
39.509 * * * * [points]: Computing exacts on every 128 of 2055 points to ramp up precision
39.513 * * * * [points]: Setting MPFR precision to 64
39.514 * * * * [points]: Setting MPFR precision to 320
39.515 * * * * [points]: Computing exacts on every 64 of 2055 points to ramp up precision
39.519 * * * * [points]: Setting MPFR precision to 64
39.521 * * * * [points]: Setting MPFR precision to 320
39.523 * * * * [points]: Computing exacts on every 32 of 2055 points to ramp up precision
39.526 * * * * [points]: Setting MPFR precision to 64
39.530 * * * * [points]: Setting MPFR precision to 320
39.535 * * * * [points]: Computing exacts on every 16 of 2055 points to ramp up precision
39.538 * * * * [points]: Setting MPFR precision to 64
39.546 * * * * [points]: Setting MPFR precision to 320
39.553 * * * * [points]: Computing exacts on every 8 of 2055 points to ramp up precision
39.580 * * * * [points]: Setting MPFR precision to 64
39.597 * * * * [points]: Setting MPFR precision to 320
39.613 * * * * [points]: Computing exacts on every 4 of 2055 points to ramp up precision
39.617 * * * * [points]: Setting MPFR precision to 64
39.643 * * * * [points]: Setting MPFR precision to 320
39.670 * * * * [points]: Computing exacts on every 2 of 2055 points to ramp up precision
39.674 * * * * [points]: Setting MPFR precision to 64
39.748 * * * * [points]: Setting MPFR precision to 320
39.792 * * * * [points]: Computing exacts for 2055 points
39.795 * * * * [points]: Setting MPFR precision to 64
39.990 * * * * [points]: Setting MPFR precision to 320
40.157 * * * * [points]: Filtering points with unrepresentable outputs
40.158 * * * * [points]: Sampling 1802 additional inputs, on iter 11 have 6198 / 8000
40.165 * * * * [points]: Computing exacts on every 112 of 1802 points to ramp up precision
40.169 * * * * [points]: Setting MPFR precision to 64
40.170 * * * * [points]: Setting MPFR precision to 320
40.171 * * * * [points]: Computing exacts on every 56 of 1802 points to ramp up precision
40.174 * * * * [points]: Setting MPFR precision to 64
40.176 * * * * [points]: Setting MPFR precision to 320
40.178 * * * * [points]: Computing exacts on every 28 of 1802 points to ramp up precision
40.181 * * * * [points]: Setting MPFR precision to 64
40.185 * * * * [points]: Setting MPFR precision to 320
40.190 * * * * [points]: Computing exacts on every 14 of 1802 points to ramp up precision
40.193 * * * * [points]: Setting MPFR precision to 64
40.201 * * * * [points]: Setting MPFR precision to 320
40.208 * * * * [points]: Computing exacts on every 7 of 1802 points to ramp up precision
40.212 * * * * [points]: Setting MPFR precision to 64
40.253 * * * * [points]: Setting MPFR precision to 320
40.267 * * * * [points]: Computing exacts on every 3 of 1802 points to ramp up precision
40.271 * * * * [points]: Setting MPFR precision to 64
40.300 * * * * [points]: Setting MPFR precision to 320
40.330 * * * * [points]: Computing exacts for 1802 points
40.333 * * * * [points]: Setting MPFR precision to 64
40.510 * * * * [points]: Setting MPFR precision to 320
40.658 * * * * [points]: Filtering points with unrepresentable outputs
40.659 * * * * [points]: Sampling 1572 additional inputs, on iter 12 have 6428 / 8000
40.666 * * * * [points]: Computing exacts on every 98 of 1572 points to ramp up precision
40.669 * * * * [points]: Setting MPFR precision to 64
40.670 * * * * [points]: Setting MPFR precision to 320
40.671 * * * * [points]: Computing exacts on every 49 of 1572 points to ramp up precision
40.675 * * * * [points]: Setting MPFR precision to 64
40.677 * * * * [points]: Setting MPFR precision to 320
40.679 * * * * [points]: Computing exacts on every 24 of 1572 points to ramp up precision
40.682 * * * * [points]: Setting MPFR precision to 64
40.686 * * * * [points]: Setting MPFR precision to 320
40.691 * * * * [points]: Computing exacts on every 12 of 1572 points to ramp up precision
40.694 * * * * [points]: Setting MPFR precision to 64
40.703 * * * * [points]: Setting MPFR precision to 320
40.711 * * * * [points]: Computing exacts on every 6 of 1572 points to ramp up precision
40.715 * * * * [points]: Setting MPFR precision to 64
40.729 * * * * [points]: Setting MPFR precision to 320
40.767 * * * * [points]: Computing exacts on every 3 of 1572 points to ramp up precision
40.770 * * * * [points]: Setting MPFR precision to 64
40.796 * * * * [points]: Setting MPFR precision to 320
40.822 * * * * [points]: Computing exacts for 1572 points
40.825 * * * * [points]: Setting MPFR precision to 64
40.955 * * * * [points]: Setting MPFR precision to 320
41.089 * * * * [points]: Filtering points with unrepresentable outputs
41.089 * * * * [points]: Sampling 1399 additional inputs, on iter 13 have 6601 / 8000
41.095 * * * * [points]: Computing exacts on every 87 of 1399 points to ramp up precision
41.098 * * * * [points]: Setting MPFR precision to 64
41.100 * * * * [points]: Setting MPFR precision to 320
41.101 * * * * [points]: Computing exacts on every 43 of 1399 points to ramp up precision
41.104 * * * * [points]: Setting MPFR precision to 64
41.106 * * * * [points]: Setting MPFR precision to 320
41.108 * * * * [points]: Computing exacts on every 21 of 1399 points to ramp up precision
41.111 * * * * [points]: Setting MPFR precision to 64
41.115 * * * * [points]: Setting MPFR precision to 320
41.119 * * * * [points]: Computing exacts on every 10 of 1399 points to ramp up precision
41.122 * * * * [points]: Setting MPFR precision to 64
41.409 * * * * [points]: Setting MPFR precision to 320
41.419 * * * * [points]: Computing exacts on every 5 of 1399 points to ramp up precision
41.423 * * * * [points]: Setting MPFR precision to 64
41.437 * * * * [points]: Setting MPFR precision to 320
41.451 * * * * [points]: Computing exacts on every 2 of 1399 points to ramp up precision
41.454 * * * * [points]: Setting MPFR precision to 64
41.482 * * * * [points]: Setting MPFR precision to 320
41.532 * * * * [points]: Computing exacts for 1399 points
41.537 * * * * [points]: Setting MPFR precision to 64
41.644 * * * * [points]: Setting MPFR precision to 320
41.728 * * * * [points]: Filtering points with unrepresentable outputs
41.729 * * * * [points]: Sampling 1210 additional inputs, on iter 14 have 6790 / 8000
41.733 * * * * [points]: Computing exacts on every 75 of 1210 points to ramp up precision
41.736 * * * * [points]: Setting MPFR precision to 64
41.738 * * * * [points]: Setting MPFR precision to 320
41.739 * * * * [points]: Computing exacts on every 37 of 1210 points to ramp up precision
41.766 * * * * [points]: Setting MPFR precision to 64
41.768 * * * * [points]: Setting MPFR precision to 320
41.770 * * * * [points]: Computing exacts on every 18 of 1210 points to ramp up precision
41.774 * * * * [points]: Setting MPFR precision to 64
41.778 * * * * [points]: Setting MPFR precision to 320
41.782 * * * * [points]: Computing exacts on every 9 of 1210 points to ramp up precision
41.785 * * * * [points]: Setting MPFR precision to 64
41.792 * * * * [points]: Setting MPFR precision to 320
41.799 * * * * [points]: Computing exacts on every 4 of 1210 points to ramp up precision
41.802 * * * * [points]: Setting MPFR precision to 64
41.817 * * * * [points]: Setting MPFR precision to 320
41.831 * * * * [points]: Computing exacts on every 2 of 1210 points to ramp up precision
41.834 * * * * [points]: Setting MPFR precision to 64
41.878 * * * * [points]: Setting MPFR precision to 320
41.904 * * * * [points]: Computing exacts for 1210 points
41.907 * * * * [points]: Setting MPFR precision to 64
42.005 * * * * [points]: Setting MPFR precision to 320
42.076 * * * * [points]: Filtering points with unrepresentable outputs
42.077 * * * * [points]: Sampling 1024 additional inputs, on iter 15 have 6976 / 8000
42.081 * * * * [points]: Computing exacts on every 64 of 1024 points to ramp up precision
42.084 * * * * [points]: Setting MPFR precision to 64
42.085 * * * * [points]: Setting MPFR precision to 320
42.086 * * * * [points]: Computing exacts on every 32 of 1024 points to ramp up precision
42.114 * * * * [points]: Setting MPFR precision to 64
42.116 * * * * [points]: Setting MPFR precision to 320
42.118 * * * * [points]: Computing exacts on every 16 of 1024 points to ramp up precision
42.121 * * * * [points]: Setting MPFR precision to 64
42.126 * * * * [points]: Setting MPFR precision to 320
42.129 * * * * [points]: Computing exacts on every 8 of 1024 points to ramp up precision
42.132 * * * * [points]: Setting MPFR precision to 64
42.139 * * * * [points]: Setting MPFR precision to 320
42.146 * * * * [points]: Computing exacts on every 4 of 1024 points to ramp up precision
42.149 * * * * [points]: Setting MPFR precision to 64
42.161 * * * * [points]: Setting MPFR precision to 320
42.173 * * * * [points]: Computing exacts on every 2 of 1024 points to ramp up precision
42.177 * * * * [points]: Setting MPFR precision to 64
42.197 * * * * [points]: Setting MPFR precision to 320
42.239 * * * * [points]: Computing exacts for 1024 points
42.242 * * * * [points]: Setting MPFR precision to 64
42.303 * * * * [points]: Setting MPFR precision to 320
42.391 * * * * [points]: Filtering points with unrepresentable outputs
42.392 * * * * [points]: Sampling 893 additional inputs, on iter 16 have 7107 / 8000
42.395 * * * * [points]: Computing exacts on every 55 of 893 points to ramp up precision
42.399 * * * * [points]: Setting MPFR precision to 64
42.400 * * * * [points]: Setting MPFR precision to 320
42.401 * * * * [points]: Computing exacts on every 27 of 893 points to ramp up precision
42.404 * * * * [points]: Setting MPFR precision to 64
42.406 * * * * [points]: Setting MPFR precision to 320
42.408 * * * * [points]: Computing exacts on every 13 of 893 points to ramp up precision
42.411 * * * * [points]: Setting MPFR precision to 64
42.415 * * * * [points]: Setting MPFR precision to 320
42.419 * * * * [points]: Computing exacts on every 6 of 893 points to ramp up precision
42.422 * * * * [points]: Setting MPFR precision to 64
42.429 * * * * [points]: Setting MPFR precision to 320
42.457 * * * * [points]: Computing exacts on every 3 of 893 points to ramp up precision
42.460 * * * * [points]: Setting MPFR precision to 64
42.475 * * * * [points]: Setting MPFR precision to 320
42.489 * * * * [points]: Computing exacts for 893 points
42.492 * * * * [points]: Setting MPFR precision to 64
42.545 * * * * [points]: Setting MPFR precision to 320
42.621 * * * * [points]: Filtering points with unrepresentable outputs
42.622 * * * * [points]: Sampling 789 additional inputs, on iter 17 have 7211 / 8000
42.625 * * * * [points]: Computing exacts on every 49 of 789 points to ramp up precision
42.628 * * * * [points]: Setting MPFR precision to 64
42.629 * * * * [points]: Setting MPFR precision to 320
42.630 * * * * [points]: Computing exacts on every 24 of 789 points to ramp up precision
42.633 * * * * [points]: Setting MPFR precision to 64
42.635 * * * * [points]: Setting MPFR precision to 320
42.637 * * * * [points]: Computing exacts on every 12 of 789 points to ramp up precision
42.640 * * * * [points]: Setting MPFR precision to 64
42.644 * * * * [points]: Setting MPFR precision to 320
42.647 * * * * [points]: Computing exacts on every 6 of 789 points to ramp up precision
42.650 * * * * [points]: Setting MPFR precision to 64
42.657 * * * * [points]: Setting MPFR precision to 320
42.685 * * * * [points]: Computing exacts on every 3 of 789 points to ramp up precision
42.689 * * * * [points]: Setting MPFR precision to 64
42.700 * * * * [points]: Setting MPFR precision to 320
42.712 * * * * [points]: Computing exacts for 789 points
42.715 * * * * [points]: Setting MPFR precision to 64
42.762 * * * * [points]: Setting MPFR precision to 320
42.834 * * * * [points]: Filtering points with unrepresentable outputs
42.835 * * * * [points]: Sampling 690 additional inputs, on iter 18 have 7310 / 8000
42.837 * * * * [points]: Computing exacts on every 43 of 690 points to ramp up precision
42.841 * * * * [points]: Setting MPFR precision to 64
42.842 * * * * [points]: Setting MPFR precision to 320
42.843 * * * * [points]: Computing exacts on every 21 of 690 points to ramp up precision
42.845 * * * * [points]: Setting MPFR precision to 64
42.848 * * * * [points]: Setting MPFR precision to 320
42.850 * * * * [points]: Computing exacts on every 10 of 690 points to ramp up precision
42.852 * * * * [points]: Setting MPFR precision to 64
42.856 * * * * [points]: Setting MPFR precision to 320
42.860 * * * * [points]: Computing exacts on every 5 of 690 points to ramp up precision
42.863 * * * * [points]: Setting MPFR precision to 64
42.870 * * * * [points]: Setting MPFR precision to 320
42.877 * * * * [points]: Computing exacts on every 2 of 690 points to ramp up precision
42.880 * * * * [points]: Setting MPFR precision to 64
42.914 * * * * [points]: Setting MPFR precision to 320
42.928 * * * * [points]: Computing exacts for 690 points
42.931 * * * * [points]: Setting MPFR precision to 64
42.972 * * * * [points]: Setting MPFR precision to 320
43.040 * * * * [points]: Filtering points with unrepresentable outputs
43.041 * * * * [points]: Sampling 611 additional inputs, on iter 19 have 7389 / 8000
43.043 * * * * [points]: Computing exacts on every 38 of 611 points to ramp up precision
43.046 * * * * [points]: Setting MPFR precision to 64
43.048 * * * * [points]: Setting MPFR precision to 320
43.049 * * * * [points]: Computing exacts on every 19 of 611 points to ramp up precision
43.051 * * * * [points]: Setting MPFR precision to 64
43.053 * * * * [points]: Setting MPFR precision to 320
43.055 * * * * [points]: Computing exacts on every 9 of 611 points to ramp up precision
43.058 * * * * [points]: Setting MPFR precision to 64
43.062 * * * * [points]: Setting MPFR precision to 320
43.066 * * * * [points]: Computing exacts on every 4 of 611 points to ramp up precision
43.069 * * * * [points]: Setting MPFR precision to 64
43.076 * * * * [points]: Setting MPFR precision to 320
43.083 * * * * [points]: Computing exacts on every 2 of 611 points to ramp up precision
43.086 * * * * [points]: Setting MPFR precision to 64
43.099 * * * * [points]: Setting MPFR precision to 320
43.111 * * * * [points]: Computing exacts for 611 points
43.133 * * * * [points]: Setting MPFR precision to 64
43.171 * * * * [points]: Setting MPFR precision to 320
43.208 * * * * [points]: Filtering points with unrepresentable outputs
43.208 * * * * [points]: Sampling 535 additional inputs, on iter 20 have 7465 / 8000
43.210 * * * * [points]: Computing exacts on every 33 of 535 points to ramp up precision
43.213 * * * * [points]: Setting MPFR precision to 64
43.214 * * * * [points]: Setting MPFR precision to 320
43.215 * * * * [points]: Computing exacts on every 16 of 535 points to ramp up precision
43.218 * * * * [points]: Setting MPFR precision to 64
43.220 * * * * [points]: Setting MPFR precision to 320
43.222 * * * * [points]: Computing exacts on every 8 of 535 points to ramp up precision
43.245 * * * * [points]: Setting MPFR precision to 64
43.249 * * * * [points]: Setting MPFR precision to 320
43.254 * * * * [points]: Computing exacts on every 4 of 535 points to ramp up precision
43.257 * * * * [points]: Setting MPFR precision to 64
43.264 * * * * [points]: Setting MPFR precision to 320
43.270 * * * * [points]: Computing exacts on every 2 of 535 points to ramp up precision
43.273 * * * * [points]: Setting MPFR precision to 64
43.284 * * * * [points]: Setting MPFR precision to 320
43.295 * * * * [points]: Computing exacts for 535 points
43.298 * * * * [points]: Setting MPFR precision to 64
43.330 * * * * [points]: Setting MPFR precision to 320
43.622 * * * * [points]: Filtering points with unrepresentable outputs
43.623 * * * * [points]: Sampling 478 additional inputs, on iter 21 have 7522 / 8000
43.625 * * * * [points]: Computing exacts on every 29 of 478 points to ramp up precision
43.628 * * * * [points]: Setting MPFR precision to 64
43.629 * * * * [points]: Setting MPFR precision to 320
43.630 * * * * [points]: Computing exacts on every 14 of 478 points to ramp up precision
43.633 * * * * [points]: Setting MPFR precision to 64
43.635 * * * * [points]: Setting MPFR precision to 320
43.637 * * * * [points]: Computing exacts on every 7 of 478 points to ramp up precision
43.640 * * * * [points]: Setting MPFR precision to 64
43.643 * * * * [points]: Setting MPFR precision to 320
43.647 * * * * [points]: Computing exacts on every 3 of 478 points to ramp up precision
43.650 * * * * [points]: Setting MPFR precision to 64
43.657 * * * * [points]: Setting MPFR precision to 320
43.664 * * * * [points]: Computing exacts for 478 points
43.667 * * * * [points]: Setting MPFR precision to 64
43.714 * * * * [points]: Setting MPFR precision to 320
43.743 * * * * [points]: Filtering points with unrepresentable outputs
43.743 * * * * [points]: Sampling 420 additional inputs, on iter 22 have 7580 / 8000
43.744 * * * * [points]: Computing exacts on every 26 of 420 points to ramp up precision
43.748 * * * * [points]: Setting MPFR precision to 64
43.749 * * * * [points]: Setting MPFR precision to 320
43.750 * * * * [points]: Computing exacts on every 13 of 420 points to ramp up precision
43.753 * * * * [points]: Setting MPFR precision to 64
43.755 * * * * [points]: Setting MPFR precision to 320
43.757 * * * * [points]: Computing exacts on every 6 of 420 points to ramp up precision
43.759 * * * * [points]: Setting MPFR precision to 64
43.763 * * * * [points]: Setting MPFR precision to 320
43.767 * * * * [points]: Computing exacts on every 3 of 420 points to ramp up precision
43.770 * * * * [points]: Setting MPFR precision to 64
43.776 * * * * [points]: Setting MPFR precision to 320
43.782 * * * * [points]: Computing exacts for 420 points
43.805 * * * * [points]: Setting MPFR precision to 64
43.831 * * * * [points]: Setting MPFR precision to 320
43.856 * * * * [points]: Filtering points with unrepresentable outputs
43.856 * * * * [points]: Sampling 358 additional inputs, on iter 23 have 7642 / 8000
43.858 * * * * [points]: Computing exacts on every 22 of 358 points to ramp up precision
43.861 * * * * [points]: Setting MPFR precision to 64
43.862 * * * * [points]: Setting MPFR precision to 320
43.863 * * * * [points]: Computing exacts on every 11 of 358 points to ramp up precision
43.866 * * * * [points]: Setting MPFR precision to 64
43.868 * * * * [points]: Setting MPFR precision to 320
43.869 * * * * [points]: Computing exacts on every 5 of 358 points to ramp up precision
43.872 * * * * [points]: Setting MPFR precision to 64
43.876 * * * * [points]: Setting MPFR precision to 320
43.880 * * * * [points]: Computing exacts on every 2 of 358 points to ramp up precision
43.883 * * * * [points]: Setting MPFR precision to 64
43.890 * * * * [points]: Setting MPFR precision to 320
43.917 * * * * [points]: Computing exacts for 358 points
43.920 * * * * [points]: Setting MPFR precision to 64
43.943 * * * * [points]: Setting MPFR precision to 320
43.964 * * * * [points]: Filtering points with unrepresentable outputs
43.964 * * * * [points]: Sampling 305 additional inputs, on iter 24 have 7695 / 8000
43.965 * * * * [points]: Computing exacts on every 19 of 305 points to ramp up precision
43.968 * * * * [points]: Setting MPFR precision to 64
43.969 * * * * [points]: Setting MPFR precision to 320
43.970 * * * * [points]: Computing exacts on every 9 of 305 points to ramp up precision
43.973 * * * * [points]: Setting MPFR precision to 64
43.975 * * * * [points]: Setting MPFR precision to 320
43.977 * * * * [points]: Computing exacts on every 4 of 305 points to ramp up precision
43.980 * * * * [points]: Setting MPFR precision to 64
43.984 * * * * [points]: Setting MPFR precision to 320
43.988 * * * * [points]: Computing exacts on every 2 of 305 points to ramp up precision
43.991 * * * * [points]: Setting MPFR precision to 64
43.997 * * * * [points]: Setting MPFR precision to 320
44.021 * * * * [points]: Computing exacts for 305 points
44.024 * * * * [points]: Setting MPFR precision to 64
44.044 * * * * [points]: Setting MPFR precision to 320
44.062 * * * * [points]: Filtering points with unrepresentable outputs
44.062 * * * * [points]: Sampling 270 additional inputs, on iter 25 have 7730 / 8000
44.063 * * * * [points]: Computing exacts on every 16 of 270 points to ramp up precision
44.066 * * * * [points]: Setting MPFR precision to 64
44.067 * * * * [points]: Setting MPFR precision to 320
44.068 * * * * [points]: Computing exacts on every 8 of 270 points to ramp up precision
44.071 * * * * [points]: Setting MPFR precision to 64
44.073 * * * * [points]: Setting MPFR precision to 320
44.075 * * * * [points]: Computing exacts on every 4 of 270 points to ramp up precision
44.078 * * * * [points]: Setting MPFR precision to 64
44.081 * * * * [points]: Setting MPFR precision to 320
44.084 * * * * [points]: Computing exacts on every 2 of 270 points to ramp up precision
44.087 * * * * [points]: Setting MPFR precision to 64
44.093 * * * * [points]: Setting MPFR precision to 320
44.098 * * * * [points]: Computing exacts for 270 points
44.119 * * * * [points]: Setting MPFR precision to 64
44.137 * * * * [points]: Setting MPFR precision to 320
44.153 * * * * [points]: Filtering points with unrepresentable outputs
44.153 * * * * [points]: Sampling 239 additional inputs, on iter 26 have 7761 / 8000
44.154 * * * * [points]: Computing exacts on every 14 of 239 points to ramp up precision
44.157 * * * * [points]: Setting MPFR precision to 64
44.158 * * * * [points]: Setting MPFR precision to 320
44.159 * * * * [points]: Computing exacts on every 7 of 239 points to ramp up precision
44.162 * * * * [points]: Setting MPFR precision to 64
44.164 * * * * [points]: Setting MPFR precision to 320
44.166 * * * * [points]: Computing exacts on every 3 of 239 points to ramp up precision
44.169 * * * * [points]: Setting MPFR precision to 64
44.172 * * * * [points]: Setting MPFR precision to 320
44.176 * * * * [points]: Computing exacts for 239 points
44.179 * * * * [points]: Setting MPFR precision to 64
44.193 * * * * [points]: Setting MPFR precision to 320
44.226 * * * * [points]: Filtering points with unrepresentable outputs
44.227 * * * * [points]: Sampling 215 additional inputs, on iter 27 have 7785 / 8000
44.227 * * * * [points]: Computing exacts on every 13 of 215 points to ramp up precision
44.231 * * * * [points]: Setting MPFR precision to 64
44.232 * * * * [points]: Setting MPFR precision to 320
44.233 * * * * [points]: Computing exacts on every 6 of 215 points to ramp up precision
44.237 * * * * [points]: Setting MPFR precision to 64
44.239 * * * * [points]: Setting MPFR precision to 320
44.241 * * * * [points]: Computing exacts on every 3 of 215 points to ramp up precision
44.244 * * * * [points]: Setting MPFR precision to 64
44.247 * * * * [points]: Setting MPFR precision to 320
44.250 * * * * [points]: Computing exacts for 215 points
44.253 * * * * [points]: Setting MPFR precision to 64
44.266 * * * * [points]: Setting MPFR precision to 320
44.279 * * * * [points]: Filtering points with unrepresentable outputs
44.279 * * * * [points]: Sampling 191 additional inputs, on iter 28 have 7809 / 8000
44.279 * * * * [points]: Computing exacts on every 11 of 191 points to ramp up precision
44.283 * * * * [points]: Setting MPFR precision to 64
44.284 * * * * [points]: Setting MPFR precision to 320
44.284 * * * * [points]: Computing exacts on every 5 of 191 points to ramp up precision
44.287 * * * * [points]: Setting MPFR precision to 64
44.289 * * * * [points]: Setting MPFR precision to 320
44.291 * * * * [points]: Computing exacts on every 2 of 191 points to ramp up precision
44.294 * * * * [points]: Setting MPFR precision to 64
44.299 * * * * [points]: Setting MPFR precision to 320
44.302 * * * * [points]: Computing exacts for 191 points
44.321 * * * * [points]: Setting MPFR precision to 64
44.333 * * * * [points]: Setting MPFR precision to 320
44.345 * * * * [points]: Filtering points with unrepresentable outputs
44.345 * * * * [points]: Sampling 169 additional inputs, on iter 29 have 7831 / 8000
44.346 * * * * [points]: Computing exacts on every 10 of 169 points to ramp up precision
44.349 * * * * [points]: Setting MPFR precision to 64
44.350 * * * * [points]: Setting MPFR precision to 320
44.351 * * * * [points]: Computing exacts on every 5 of 169 points to ramp up precision
44.354 * * * * [points]: Setting MPFR precision to 64
44.355 * * * * [points]: Setting MPFR precision to 320
44.357 * * * * [points]: Computing exacts on every 2 of 169 points to ramp up precision
44.360 * * * * [points]: Setting MPFR precision to 64
44.364 * * * * [points]: Setting MPFR precision to 320
44.367 * * * * [points]: Computing exacts for 169 points
44.370 * * * * [points]: Setting MPFR precision to 64
44.380 * * * * [points]: Setting MPFR precision to 320
44.390 * * * * [points]: Filtering points with unrepresentable outputs
44.390 * * * * [points]: Sampling 146 additional inputs, on iter 30 have 7854 / 8000
44.391 * * * * [points]: Computing exacts on every 9 of 146 points to ramp up precision
44.394 * * * * [points]: Setting MPFR precision to 64
44.395 * * * * [points]: Setting MPFR precision to 320
44.396 * * * * [points]: Computing exacts on every 4 of 146 points to ramp up precision
44.399 * * * * [points]: Setting MPFR precision to 64
44.401 * * * * [points]: Setting MPFR precision to 320
44.419 * * * * [points]: Computing exacts on every 2 of 146 points to ramp up precision
44.424 * * * * [points]: Setting MPFR precision to 64
44.427 * * * * [points]: Setting MPFR precision to 320
44.430 * * * * [points]: Computing exacts for 146 points
44.433 * * * * [points]: Setting MPFR precision to 64
44.442 * * * * [points]: Setting MPFR precision to 320
44.451 * * * * [points]: Filtering points with unrepresentable outputs
44.451 * * * * [points]: Sampling 132 additional inputs, on iter 31 have 7868 / 8000
44.451 * * * * [points]: Computing exacts on every 8 of 132 points to ramp up precision
44.454 * * * * [points]: Setting MPFR precision to 64
44.455 * * * * [points]: Setting MPFR precision to 320
44.456 * * * * [points]: Computing exacts on every 4 of 132 points to ramp up precision
44.459 * * * * [points]: Setting MPFR precision to 64
44.461 * * * * [points]: Setting MPFR precision to 320
44.462 * * * * [points]: Computing exacts on every 2 of 132 points to ramp up precision
44.465 * * * * [points]: Setting MPFR precision to 64
44.468 * * * * [points]: Setting MPFR precision to 320
44.471 * * * * [points]: Computing exacts for 132 points
44.474 * * * * [points]: Setting MPFR precision to 64
44.481 * * * * [points]: Setting MPFR precision to 320
44.489 * * * * [points]: Filtering points with unrepresentable outputs
44.489 * * * * [points]: Sampling 117 additional inputs, on iter 32 have 7883 / 8000
44.490 * * * * [points]: Computing exacts on every 7 of 117 points to ramp up precision
44.493 * * * * [points]: Setting MPFR precision to 64
44.494 * * * * [points]: Setting MPFR precision to 320
44.495 * * * * [points]: Computing exacts on every 3 of 117 points to ramp up precision
44.498 * * * * [points]: Setting MPFR precision to 64
44.515 * * * * [points]: Setting MPFR precision to 320
44.517 * * * * [points]: Computing exacts for 117 points
44.520 * * * * [points]: Setting MPFR precision to 64
44.529 * * * * [points]: Setting MPFR precision to 320
44.536 * * * * [points]: Filtering points with unrepresentable outputs
44.536 * * * * [points]: Sampling 101 additional inputs, on iter 33 have 7899 / 8000
44.536 * * * * [points]: Computing exacts on every 6 of 101 points to ramp up precision
44.539 * * * * [points]: Setting MPFR precision to 64
44.540 * * * * [points]: Setting MPFR precision to 320
44.541 * * * * [points]: Computing exacts on every 3 of 101 points to ramp up precision
44.544 * * * * [points]: Setting MPFR precision to 64
44.546 * * * * [points]: Setting MPFR precision to 320
44.547 * * * * [points]: Computing exacts for 101 points
44.550 * * * * [points]: Setting MPFR precision to 64
44.556 * * * * [points]: Setting MPFR precision to 320
44.562 * * * * [points]: Filtering points with unrepresentable outputs
44.563 * * * * [points]: Sampling 83 additional inputs, on iter 34 have 7917 / 8000
44.563 * * * * [points]: Computing exacts on every 5 of 83 points to ramp up precision
44.566 * * * * [points]: Setting MPFR precision to 64
44.567 * * * * [points]: Setting MPFR precision to 320
44.568 * * * * [points]: Computing exacts on every 2 of 83 points to ramp up precision
44.571 * * * * [points]: Setting MPFR precision to 64
44.572 * * * * [points]: Setting MPFR precision to 320
44.574 * * * * [points]: Computing exacts for 83 points
44.577 * * * * [points]: Setting MPFR precision to 64
44.582 * * * * [points]: Setting MPFR precision to 320
44.587 * * * * [points]: Filtering points with unrepresentable outputs
44.587 * * * * [points]: Sampling 68 additional inputs, on iter 35 have 7932 / 8000
44.587 * * * * [points]: Computing exacts on every 4 of 68 points to ramp up precision
44.590 * * * * [points]: Setting MPFR precision to 64
44.591 * * * * [points]: Setting MPFR precision to 320
44.607 * * * * [points]: Computing exacts on every 2 of 68 points to ramp up precision
44.611 * * * * [points]: Setting MPFR precision to 64
44.612 * * * * [points]: Setting MPFR precision to 320
44.613 * * * * [points]: Computing exacts for 68 points
44.616 * * * * [points]: Setting MPFR precision to 64
44.622 * * * * [points]: Setting MPFR precision to 320
44.626 * * * * [points]: Filtering points with unrepresentable outputs
44.626 * * * * [points]: Sampling 58 additional inputs, on iter 36 have 7942 / 8000
44.626 * * * * [points]: Computing exacts on every 3 of 58 points to ramp up precision
44.629 * * * * [points]: Setting MPFR precision to 64
44.630 * * * * [points]: Setting MPFR precision to 320
44.631 * * * * [points]: Computing exacts for 58 points
44.634 * * * * [points]: Setting MPFR precision to 64
44.638 * * * * [points]: Setting MPFR precision to 320
44.641 * * * * [points]: Filtering points with unrepresentable outputs
44.641 * * * * [points]: Sampling 54 additional inputs, on iter 37 have 7946 / 8000
44.642 * * * * [points]: Computing exacts on every 3 of 54 points to ramp up precision
44.645 * * * * [points]: Setting MPFR precision to 64
44.645 * * * * [points]: Setting MPFR precision to 320
44.646 * * * * [points]: Computing exacts for 54 points
44.649 * * * * [points]: Setting MPFR precision to 64
44.653 * * * * [points]: Setting MPFR precision to 320
44.656 * * * * [points]: Filtering points with unrepresentable outputs
44.656 * * * * [points]: Sampling 48 additional inputs, on iter 38 have 7952 / 8000
44.656 * * * * [points]: Computing exacts on every 3 of 48 points to ramp up precision
44.659 * * * * [points]: Setting MPFR precision to 64
44.660 * * * * [points]: Setting MPFR precision to 320
44.661 * * * * [points]: Computing exacts for 48 points
44.664 * * * * [points]: Setting MPFR precision to 64
44.667 * * * * [points]: Setting MPFR precision to 320
44.670 * * * * [points]: Filtering points with unrepresentable outputs
44.670 * * * * [points]: Sampling 37 additional inputs, on iter 39 have 7963 / 8000
44.670 * * * * [points]: Computing exacts on every 2 of 37 points to ramp up precision
44.673 * * * * [points]: Setting MPFR precision to 64
44.674 * * * * [points]: Setting MPFR precision to 320
44.674 * * * * [points]: Computing exacts for 37 points
44.677 * * * * [points]: Setting MPFR precision to 64
44.680 * * * * [points]: Setting MPFR precision to 320
44.682 * * * * [points]: Filtering points with unrepresentable outputs
44.682 * * * * [points]: Sampling 28 additional inputs, on iter 40 have 7972 / 8000
44.682 * * * * [points]: Computing exacts for 28 points
44.700 * * * * [points]: Setting MPFR precision to 64
44.702 * * * * [points]: Setting MPFR precision to 320
44.703 * * * * [points]: Filtering points with unrepresentable outputs
44.704 * * * * [points]: Sampling 26 additional inputs, on iter 41 have 7974 / 8000
44.704 * * * * [points]: Computing exacts for 26 points
44.707 * * * * [points]: Setting MPFR precision to 64
44.708 * * * * [points]: Setting MPFR precision to 320
44.710 * * * * [points]: Filtering points with unrepresentable outputs
44.710 * * * * [points]: Sampling 20 additional inputs, on iter 42 have 7980 / 8000
44.710 * * * * [points]: Computing exacts for 20 points
44.713 * * * * [points]: Setting MPFR precision to 64
44.714 * * * * [points]: Setting MPFR precision to 320
44.716 * * * * [points]: Filtering points with unrepresentable outputs
44.716 * * * * [points]: Sampling 15 additional inputs, on iter 43 have 7985 / 8000
44.716 * * * * [points]: Computing exacts for 15 points
44.719 * * * * [points]: Setting MPFR precision to 64
44.720 * * * * [points]: Setting MPFR precision to 320
44.721 * * * * [points]: Filtering points with unrepresentable outputs
44.721 * * * * [points]: Sampling 13 additional inputs, on iter 44 have 7987 / 8000
44.721 * * * * [points]: Computing exacts for 13 points
44.724 * * * * [points]: Setting MPFR precision to 64
44.725 * * * * [points]: Setting MPFR precision to 320
44.726 * * * * [points]: Filtering points with unrepresentable outputs
44.726 * * * * [points]: Sampling 12 additional inputs, on iter 45 have 7988 / 8000
44.726 * * * * [points]: Computing exacts for 12 points
44.729 * * * * [points]: Setting MPFR precision to 64
44.729 * * * * [points]: Setting MPFR precision to 320
44.730 * * * * [points]: Filtering points with unrepresentable outputs
44.730 * * * * [points]: Sampling 12 additional inputs, on iter 46 have 7988 / 8000
44.730 * * * * [points]: Computing exacts for 12 points
44.733 * * * * [points]: Setting MPFR precision to 64
44.734 * * * * [points]: Setting MPFR precision to 320
44.735 * * * * [points]: Filtering points with unrepresentable outputs
44.735 * * * * [points]: Sampling 10 additional inputs, on iter 47 have 7990 / 8000
44.735 * * * * [points]: Computing exacts for 10 points
44.738 * * * * [points]: Setting MPFR precision to 64
44.739 * * * * [points]: Setting MPFR precision to 320
44.739 * * * * [points]: Filtering points with unrepresentable outputs
44.739 * * * * [points]: Sampling 10 additional inputs, on iter 48 have 7990 / 8000
44.739 * * * * [points]: Computing exacts for 10 points
44.742 * * * * [points]: Setting MPFR precision to 64
44.743 * * * * [points]: Setting MPFR precision to 320
44.744 * * * * [points]: Filtering points with unrepresentable outputs
44.744 * * * * [points]: Sampling 8 additional inputs, on iter 49 have 7992 / 8000
44.744 * * * * [points]: Computing exacts for 8 points
44.747 * * * * [points]: Setting MPFR precision to 64
44.747 * * * * [points]: Setting MPFR precision to 320
44.748 * * * * [points]: Filtering points with unrepresentable outputs
44.748 * * * * [points]: Sampling 7 additional inputs, on iter 50 have 7993 / 8000
44.748 * * * * [points]: Computing exacts for 7 points
44.751 * * * * [points]: Setting MPFR precision to 64
44.751 * * * * [points]: Setting MPFR precision to 320
44.752 * * * * [points]: Filtering points with unrepresentable outputs
44.752 * * * * [points]: Sampling 6 additional inputs, on iter 51 have 7994 / 8000
44.752 * * * * [points]: Computing exacts for 6 points
44.755 * * * * [points]: Setting MPFR precision to 64
44.755 * * * * [points]: Setting MPFR precision to 320
44.756 * * * * [points]: Filtering points with unrepresentable outputs
44.756 * * * * [points]: Sampling 6 additional inputs, on iter 52 have 7994 / 8000
44.756 * * * * [points]: Computing exacts for 6 points
44.759 * * * * [points]: Setting MPFR precision to 64
44.760 * * * * [points]: Setting MPFR precision to 320
44.760 * * * * [points]: Filtering points with unrepresentable outputs
44.760 * * * * [points]: Sampling 6 additional inputs, on iter 53 have 7994 / 8000
44.760 * * * * [points]: Computing exacts for 6 points
44.772 * * * * [points]: Setting MPFR precision to 64
44.772 * * * * [points]: Setting MPFR precision to 320
44.773 * * * * [points]: Filtering points with unrepresentable outputs
44.773 * * * * [points]: Sampling 6 additional inputs, on iter 54 have 7994 / 8000
44.773 * * * * [points]: Computing exacts for 6 points
44.776 * * * * [points]: Setting MPFR precision to 64
44.776 * * * * [points]: Setting MPFR precision to 320
44.777 * * * * [points]: Filtering points with unrepresentable outputs
44.777 * * * * [points]: Sampling 6 additional inputs, on iter 55 have 7994 / 8000
44.777 * * * * [points]: Computing exacts for 6 points
44.781 * * * * [points]: Setting MPFR precision to 64
44.782 * * * * [points]: Setting MPFR precision to 320
44.782 * * * * [points]: Filtering points with unrepresentable outputs
44.782 * * * * [points]: Sampling 6 additional inputs, on iter 56 have 7994 / 8000
44.782 * * * * [points]: Computing exacts for 6 points
44.785 * * * * [points]: Setting MPFR precision to 64
44.786 * * * * [points]: Setting MPFR precision to 320
44.786 * * * * [points]: Filtering points with unrepresentable outputs
44.786 * * * * [points]: Sampling 6 additional inputs, on iter 57 have 7994 / 8000
44.786 * * * * [points]: Computing exacts for 6 points
44.789 * * * * [points]: Setting MPFR precision to 64
44.790 * * * * [points]: Setting MPFR precision to 320
44.790 * * * * [points]: Filtering points with unrepresentable outputs
44.790 * * * * [points]: Sampling 5 additional inputs, on iter 58 have 7995 / 8000
44.790 * * * * [points]: Computing exacts for 5 points
44.793 * * * * [points]: Setting MPFR precision to 64
44.793 * * * * [points]: Setting MPFR precision to 320
44.794 * * * * [points]: Filtering points with unrepresentable outputs
44.794 * * * * [points]: Sampling 4 additional inputs, on iter 59 have 7997 / 8000
44.794 * * * * [points]: Computing exacts for 4 points
44.797 * * * * [points]: Setting MPFR precision to 64
44.797 * * * * [points]: Setting MPFR precision to 320
44.797 * * * * [points]: Filtering points with unrepresentable outputs
44.797 * * * * [points]: Sampling 4 additional inputs, on iter 60 have 7997 / 8000
44.797 * * * * [points]: Computing exacts for 4 points
44.800 * * * * [points]: Setting MPFR precision to 64
44.801 * * * * [points]: Setting MPFR precision to 320
44.801 * * * * [points]: Filtering points with unrepresentable outputs
44.801 * * * * [points]: Sampling 4 additional inputs, on iter 61 have 7999 / 8000
44.801 * * * * [points]: Computing exacts for 4 points
44.804 * * * * [points]: Setting MPFR precision to 64
44.804 * * * * [points]: Setting MPFR precision to 320
44.805 * * * * [points]: Filtering points with unrepresentable outputs
44.805 * * * * [points]: Sampling 4 additional inputs, on iter 62 have 7999 / 8000
44.805 * * * * [points]: Computing exacts for 4 points
44.808 * * * * [points]: Setting MPFR precision to 64
44.808 * * * * [points]: Setting MPFR precision to 320
44.809 * * * * [points]: Filtering points with unrepresentable outputs
44.809 * * * * [points]: Sampling 4 additional inputs, on iter 63 have 7999 / 8000
44.809 * * * * [points]: Computing exacts for 4 points
44.812 * * * * [points]: Setting MPFR precision to 64
44.812 * * * * [points]: Setting MPFR precision to 320
44.812 * * * * [points]: Filtering points with unrepresentable outputs
44.812 * * * * [points]: Sampled 8000 points with exact outputs
47.006 * [regime-testing]: Baseline error score: 64.0
47.012 * [regime-testing]: Oracle error score: 64.0
47.018 * [regime-testing]: End program error score: 0.15221147432478435