0.002 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.003 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.005 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.011 * * * * [points]: Setting MPFR precision to 64
0.013 * * * * [points]: Setting MPFR precision to 320
0.015 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.023 * * * * [points]: Setting MPFR precision to 64
0.027 * * * * [points]: Setting MPFR precision to 320
0.031 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.038 * * * * [points]: Setting MPFR precision to 64
0.046 * * * * [points]: Setting MPFR precision to 320
0.055 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.062 * * * * [points]: Setting MPFR precision to 64
0.074 * * * * [points]: Setting MPFR precision to 320
0.085 * * * * [points]: Computing exacts for 256 points
0.092 * * * * [points]: Setting MPFR precision to 64
0.119 * * * * [points]: Setting MPFR precision to 320
0.136 * * * * [points]: Filtering points with unrepresentable outputs
0.137 * * * * [points]: Sampling 218 additional inputs, on iter 1 have 38 / 256
0.138 * * * * [points]: Computing exacts on every 13 of 218 points to ramp up precision
0.141 * * * * [points]: Setting MPFR precision to 64
0.142 * * * * [points]: Setting MPFR precision to 320
0.162 * * * * [points]: Computing exacts on every 6 of 218 points to ramp up precision
0.166 * * * * [points]: Setting MPFR precision to 64
0.168 * * * * [points]: Setting MPFR precision to 320
0.170 * * * * [points]: Computing exacts on every 3 of 218 points to ramp up precision
0.175 * * * * [points]: Setting MPFR precision to 64
0.180 * * * * [points]: Setting MPFR precision to 320
0.184 * * * * [points]: Computing exacts for 218 points
0.187 * * * * [points]: Setting MPFR precision to 64
0.202 * * * * [points]: Setting MPFR precision to 320
0.218 * * * * [points]: Filtering points with unrepresentable outputs
0.218 * * * * [points]: Sampling 194 additional inputs, on iter 2 have 62 / 256
0.219 * * * * [points]: Computing exacts on every 12 of 194 points to ramp up precision
0.222 * * * * [points]: Setting MPFR precision to 64
0.224 * * * * [points]: Setting MPFR precision to 320
0.225 * * * * [points]: Computing exacts on every 6 of 194 points to ramp up precision
0.228 * * * * [points]: Setting MPFR precision to 64
0.230 * * * * [points]: Setting MPFR precision to 320
0.232 * * * * [points]: Computing exacts on every 3 of 194 points to ramp up precision
0.236 * * * * [points]: Setting MPFR precision to 64
0.239 * * * * [points]: Setting MPFR precision to 320
0.243 * * * * [points]: Computing exacts for 194 points
0.246 * * * * [points]: Setting MPFR precision to 64
0.290 * * * * [points]: Setting MPFR precision to 320
0.318 * * * * [points]: Filtering points with unrepresentable outputs
0.319 * * * * [points]: Sampling 176 additional inputs, on iter 3 have 80 / 256
0.320 * * * * [points]: Computing exacts on every 11 of 176 points to ramp up precision
0.327 * * * * [points]: Setting MPFR precision to 64
0.329 * * * * [points]: Setting MPFR precision to 320
0.331 * * * * [points]: Computing exacts on every 5 of 176 points to ramp up precision
0.338 * * * * [points]: Setting MPFR precision to 64
0.342 * * * * [points]: Setting MPFR precision to 320
0.346 * * * * [points]: Computing exacts on every 2 of 176 points to ramp up precision
0.353 * * * * [points]: Setting MPFR precision to 64
0.361 * * * * [points]: Setting MPFR precision to 320
0.369 * * * * [points]: Computing exacts for 176 points
0.375 * * * * [points]: Setting MPFR precision to 64
0.399 * * * * [points]: Setting MPFR precision to 320
0.417 * * * * [points]: Filtering points with unrepresentable outputs
0.417 * * * * [points]: Sampling 149 additional inputs, on iter 4 have 107 / 256
0.418 * * * * [points]: Computing exacts on every 9 of 149 points to ramp up precision
0.424 * * * * [points]: Setting MPFR precision to 64
0.425 * * * * [points]: Setting MPFR precision to 320
0.426 * * * * [points]: Computing exacts on every 4 of 149 points to ramp up precision
0.429 * * * * [points]: Setting MPFR precision to 64
0.432 * * * * [points]: Setting MPFR precision to 320
0.434 * * * * [points]: Computing exacts on every 2 of 149 points to ramp up precision
0.437 * * * * [points]: Setting MPFR precision to 64
0.441 * * * * [points]: Setting MPFR precision to 320
0.467 * * * * [points]: Computing exacts for 149 points
0.479 * * * * [points]: Setting MPFR precision to 64
0.498 * * * * [points]: Setting MPFR precision to 320
0.515 * * * * [points]: Filtering points with unrepresentable outputs
0.515 * * * * [points]: Sampling 125 additional inputs, on iter 5 have 131 / 256
0.516 * * * * [points]: Computing exacts on every 7 of 125 points to ramp up precision
0.523 * * * * [points]: Setting MPFR precision to 64
0.525 * * * * [points]: Setting MPFR precision to 320
0.527 * * * * [points]: Computing exacts on every 3 of 125 points to ramp up precision
0.533 * * * * [points]: Setting MPFR precision to 64
0.537 * * * * [points]: Setting MPFR precision to 320
0.540 * * * * [points]: Computing exacts for 125 points
0.547 * * * * [points]: Setting MPFR precision to 64
0.560 * * * * [points]: Setting MPFR precision to 320
0.575 * * * * [points]: Filtering points with unrepresentable outputs
0.575 * * * * [points]: Sampling 112 additional inputs, on iter 6 have 144 / 256
0.576 * * * * [points]: Computing exacts on every 7 of 112 points to ramp up precision
0.583 * * * * [points]: Setting MPFR precision to 64
0.585 * * * * [points]: Setting MPFR precision to 320
0.586 * * * * [points]: Computing exacts on every 3 of 112 points to ramp up precision
0.592 * * * * [points]: Setting MPFR precision to 64
0.594 * * * * [points]: Setting MPFR precision to 320
0.597 * * * * [points]: Computing exacts for 112 points
0.605 * * * * [points]: Setting MPFR precision to 64
0.618 * * * * [points]: Setting MPFR precision to 320
0.655 * * * * [points]: Filtering points with unrepresentable outputs
0.655 * * * * [points]: Sampling 96 additional inputs, on iter 7 have 160 / 256
0.656 * * * * [points]: Computing exacts on every 6 of 96 points to ramp up precision
0.660 * * * * [points]: Setting MPFR precision to 64
0.661 * * * * [points]: Setting MPFR precision to 320
0.662 * * * * [points]: Computing exacts on every 3 of 96 points to ramp up precision
0.667 * * * * [points]: Setting MPFR precision to 64
0.669 * * * * [points]: Setting MPFR precision to 320
0.671 * * * * [points]: Computing exacts for 96 points
0.675 * * * * [points]: Setting MPFR precision to 64
0.681 * * * * [points]: Setting MPFR precision to 320
0.688 * * * * [points]: Filtering points with unrepresentable outputs
0.688 * * * * [points]: Sampling 89 additional inputs, on iter 8 have 167 / 256
0.689 * * * * [points]: Computing exacts on every 5 of 89 points to ramp up precision
0.692 * * * * [points]: Setting MPFR precision to 64
0.693 * * * * [points]: Setting MPFR precision to 320
0.694 * * * * [points]: Computing exacts on every 2 of 89 points to ramp up precision
0.698 * * * * [points]: Setting MPFR precision to 64
0.700 * * * * [points]: Setting MPFR precision to 320
0.702 * * * * [points]: Computing exacts for 89 points
0.706 * * * * [points]: Setting MPFR precision to 64
0.712 * * * * [points]: Setting MPFR precision to 320
0.718 * * * * [points]: Filtering points with unrepresentable outputs
0.719 * * * * [points]: Sampling 75 additional inputs, on iter 9 have 181 / 256
0.719 * * * * [points]: Computing exacts on every 4 of 75 points to ramp up precision
0.722 * * * * [points]: Setting MPFR precision to 64
0.724 * * * * [points]: Setting MPFR precision to 320
0.725 * * * * [points]: Computing exacts on every 2 of 75 points to ramp up precision
0.728 * * * * [points]: Setting MPFR precision to 64
0.730 * * * * [points]: Setting MPFR precision to 320
0.732 * * * * [points]: Computing exacts for 75 points
0.735 * * * * [points]: Setting MPFR precision to 64
0.740 * * * * [points]: Setting MPFR precision to 320
0.768 * * * * [points]: Filtering points with unrepresentable outputs
0.768 * * * * [points]: Sampling 68 additional inputs, on iter 10 have 188 / 256
0.769 * * * * [points]: Computing exacts on every 4 of 68 points to ramp up precision
0.776 * * * * [points]: Setting MPFR precision to 64
0.778 * * * * [points]: Setting MPFR precision to 320
0.780 * * * * [points]: Computing exacts on every 2 of 68 points to ramp up precision
0.786 * * * * [points]: Setting MPFR precision to 64
0.788 * * * * [points]: Setting MPFR precision to 320
0.792 * * * * [points]: Computing exacts for 68 points
0.799 * * * * [points]: Setting MPFR precision to 64
0.808 * * * * [points]: Setting MPFR precision to 320
0.817 * * * * [points]: Filtering points with unrepresentable outputs
0.817 * * * * [points]: Sampling 59 additional inputs, on iter 11 have 197 / 256
0.818 * * * * [points]: Computing exacts on every 3 of 59 points to ramp up precision
0.825 * * * * [points]: Setting MPFR precision to 64
0.827 * * * * [points]: Setting MPFR precision to 320
0.829 * * * * [points]: Computing exacts for 59 points
0.837 * * * * [points]: Setting MPFR precision to 64
0.844 * * * * [points]: Setting MPFR precision to 320
0.852 * * * * [points]: Filtering points with unrepresentable outputs
0.852 * * * * [points]: Sampling 56 additional inputs, on iter 12 have 200 / 256
0.853 * * * * [points]: Computing exacts on every 3 of 56 points to ramp up precision
0.860 * * * * [points]: Setting MPFR precision to 64
0.862 * * * * [points]: Setting MPFR precision to 320
0.864 * * * * [points]: Computing exacts for 56 points
0.871 * * * * [points]: Setting MPFR precision to 64
0.879 * * * * [points]: Setting MPFR precision to 320
0.886 * * * * [points]: Filtering points with unrepresentable outputs
0.886 * * * * [points]: Sampling 49 additional inputs, on iter 13 have 207 / 256
0.887 * * * * [points]: Computing exacts on every 3 of 49 points to ramp up precision
0.894 * * * * [points]: Setting MPFR precision to 64
0.895 * * * * [points]: Setting MPFR precision to 320
0.897 * * * * [points]: Computing exacts for 49 points
0.904 * * * * [points]: Setting MPFR precision to 64
0.911 * * * * [points]: Setting MPFR precision to 320
0.917 * * * * [points]: Filtering points with unrepresentable outputs
0.917 * * * * [points]: Sampling 41 additional inputs, on iter 14 have 215 / 256
0.918 * * * * [points]: Computing exacts on every 2 of 41 points to ramp up precision
0.925 * * * * [points]: Setting MPFR precision to 64
0.927 * * * * [points]: Setting MPFR precision to 320
0.929 * * * * [points]: Computing exacts for 41 points
0.964 * * * * [points]: Setting MPFR precision to 64
0.973 * * * * [points]: Setting MPFR precision to 320
0.979 * * * * [points]: Filtering points with unrepresentable outputs
0.979 * * * * [points]: Sampling 36 additional inputs, on iter 15 have 220 / 256
0.979 * * * * [points]: Computing exacts on every 2 of 36 points to ramp up precision
0.987 * * * * [points]: Setting MPFR precision to 64
0.989 * * * * [points]: Setting MPFR precision to 320
0.990 * * * * [points]: Computing exacts for 36 points
0.997 * * * * [points]: Setting MPFR precision to 64
1.002 * * * * [points]: Setting MPFR precision to 320
1.006 * * * * [points]: Filtering points with unrepresentable outputs
1.006 * * * * [points]: Sampling 28 additional inputs, on iter 16 have 228 / 256
1.007 * * * * [points]: Computing exacts for 28 points
1.014 * * * * [points]: Setting MPFR precision to 64
1.018 * * * * [points]: Setting MPFR precision to 320
1.021 * * * * [points]: Filtering points with unrepresentable outputs
1.021 * * * * [points]: Sampling 25 additional inputs, on iter 17 have 231 / 256
1.022 * * * * [points]: Computing exacts for 25 points
1.025 * * * * [points]: Setting MPFR precision to 64
1.027 * * * * [points]: Setting MPFR precision to 320
1.029 * * * * [points]: Filtering points with unrepresentable outputs
1.029 * * * * [points]: Sampling 19 additional inputs, on iter 18 have 237 / 256
1.029 * * * * [points]: Computing exacts for 19 points
1.033 * * * * [points]: Setting MPFR precision to 64
1.035 * * * * [points]: Setting MPFR precision to 320
1.036 * * * * [points]: Filtering points with unrepresentable outputs
1.036 * * * * [points]: Sampling 16 additional inputs, on iter 19 have 240 / 256
1.036 * * * * [points]: Computing exacts for 16 points
1.041 * * * * [points]: Setting MPFR precision to 64
1.042 * * * * [points]: Setting MPFR precision to 320
1.044 * * * * [points]: Filtering points with unrepresentable outputs
1.044 * * * * [points]: Sampling 14 additional inputs, on iter 20 have 242 / 256
1.044 * * * * [points]: Computing exacts for 14 points
1.048 * * * * [points]: Setting MPFR precision to 64
1.049 * * * * [points]: Setting MPFR precision to 320
1.050 * * * * [points]: Filtering points with unrepresentable outputs
1.050 * * * * [points]: Sampling 12 additional inputs, on iter 21 have 244 / 256
1.050 * * * * [points]: Computing exacts for 12 points
1.054 * * * * [points]: Setting MPFR precision to 64
1.055 * * * * [points]: Setting MPFR precision to 320
1.056 * * * * [points]: Filtering points with unrepresentable outputs
1.056 * * * * [points]: Sampling 10 additional inputs, on iter 22 have 246 / 256
1.056 * * * * [points]: Computing exacts for 10 points
1.060 * * * * [points]: Setting MPFR precision to 64
1.061 * * * * [points]: Setting MPFR precision to 320
1.062 * * * * [points]: Filtering points with unrepresentable outputs
1.062 * * * * [points]: Sampling 9 additional inputs, on iter 23 have 247 / 256
1.062 * * * * [points]: Computing exacts for 9 points
1.066 * * * * [points]: Setting MPFR precision to 64
1.067 * * * * [points]: Setting MPFR precision to 320
1.067 * * * * [points]: Filtering points with unrepresentable outputs
1.067 * * * * [points]: Sampling 9 additional inputs, on iter 24 have 247 / 256
1.067 * * * * [points]: Computing exacts for 9 points
1.071 * * * * [points]: Setting MPFR precision to 64
1.072 * * * * [points]: Setting MPFR precision to 320
1.073 * * * * [points]: Filtering points with unrepresentable outputs
1.073 * * * * [points]: Sampling 8 additional inputs, on iter 25 have 248 / 256
1.073 * * * * [points]: Computing exacts for 8 points
1.472 * * * * [points]: Setting MPFR precision to 64
1.472 * * * * [points]: Setting MPFR precision to 320
1.473 * * * * [points]: Filtering points with unrepresentable outputs
1.473 * * * * [points]: Sampling 8 additional inputs, on iter 26 have 248 / 256
1.473 * * * * [points]: Computing exacts for 8 points
1.477 * * * * [points]: Setting MPFR precision to 64
1.477 * * * * [points]: Setting MPFR precision to 320
1.478 * * * * [points]: Filtering points with unrepresentable outputs
1.478 * * * * [points]: Sampling 6 additional inputs, on iter 27 have 250 / 256
1.478 * * * * [points]: Computing exacts for 6 points
1.482 * * * * [points]: Setting MPFR precision to 64
1.482 * * * * [points]: Setting MPFR precision to 320
1.483 * * * * [points]: Filtering points with unrepresentable outputs
1.483 * * * * [points]: Sampling 4 additional inputs, on iter 28 have 252 / 256
1.483 * * * * [points]: Computing exacts for 4 points
1.486 * * * * [points]: Setting MPFR precision to 64
1.487 * * * * [points]: Setting MPFR precision to 320
1.487 * * * * [points]: Filtering points with unrepresentable outputs
1.487 * * * * [points]: Sampling 4 additional inputs, on iter 29 have 253 / 256
1.487 * * * * [points]: Computing exacts for 4 points
1.491 * * * * [points]: Setting MPFR precision to 64
1.491 * * * * [points]: Setting MPFR precision to 320
1.492 * * * * [points]: Filtering points with unrepresentable outputs
1.492 * * * * [points]: Sampling 4 additional inputs, on iter 30 have 254 / 256
1.492 * * * * [points]: Computing exacts for 4 points
1.495 * * * * [points]: Setting MPFR precision to 64
1.496 * * * * [points]: Setting MPFR precision to 320
1.496 * * * * [points]: Filtering points with unrepresentable outputs
1.496 * * * * [points]: Sampling 4 additional inputs, on iter 31 have 254 / 256
1.497 * * * * [points]: Computing exacts for 4 points
1.500 * * * * [points]: Setting MPFR precision to 64
1.501 * * * * [points]: Setting MPFR precision to 320
1.501 * * * * [points]: Filtering points with unrepresentable outputs
1.501 * * * * [points]: Sampling 4 additional inputs, on iter 32 have 254 / 256
1.501 * * * * [points]: Computing exacts for 4 points
1.505 * * * * [points]: Setting MPFR precision to 64
1.505 * * * * [points]: Setting MPFR precision to 320
1.505 * * * * [points]: Filtering points with unrepresentable outputs
1.505 * * * * [points]: Sampling 4 additional inputs, on iter 33 have 254 / 256
1.506 * * * * [points]: Computing exacts for 4 points
1.509 * * * * [points]: Setting MPFR precision to 64
1.509 * * * * [points]: Setting MPFR precision to 320
1.510 * * * * [points]: Filtering points with unrepresentable outputs
1.510 * * * * [points]: Sampling 4 additional inputs, on iter 34 have 254 / 256
1.510 * * * * [points]: Computing exacts for 4 points
1.513 * * * * [points]: Setting MPFR precision to 64
1.514 * * * * [points]: Setting MPFR precision to 320
1.514 * * * * [points]: Filtering points with unrepresentable outputs
1.514 * * * * [points]: Sampling 4 additional inputs, on iter 35 have 255 / 256
1.514 * * * * [points]: Computing exacts for 4 points
1.518 * * * * [points]: Setting MPFR precision to 64
1.519 * * * * [points]: Setting MPFR precision to 320
1.519 * * * * [points]: Filtering points with unrepresentable outputs
1.519 * * * * [points]: Sampled 256 points with exact outputs
1.519 * * * [progress]: [2/2] Setting up program.
1.531 * [progress]: [Phase 2 of 3] Improving.
1.531 * * * * [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.531 * [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.531 * * [simplify]: iteration 1: (15 enodes)
1.535 * * [simplify]: iteration 2: (54 enodes)
1.545 * * [simplify]: iteration 3: (174 enodes)
1.685 * * [simplify]: iteration 4: (1021 enodes)
3.700 * * [simplify]: Extracting #0: cost 1 inf + 0
3.700 * * [simplify]: Extracting #1: cost 2 inf + 0
3.700 * * [simplify]: Extracting #2: cost 174 inf + 0
3.707 * * [simplify]: Extracting #3: cost 1342 inf + 0
3.717 * * [simplify]: Extracting #4: cost 2271 inf + 691
3.731 * * [simplify]: Extracting #5: cost 2231 inf + 82476
3.817 * * [simplify]: Extracting #6: cost 1375 inf + 1509565
4.157 * * [simplify]: Extracting #7: cost 86 inf + 4121745
4.617 * * [simplify]: Extracting #8: cost 0 inf + 3944289
5.074 * * [simplify]: Extracting #9: cost 0 inf + 3923289
5.488 * [simplify]: Simplified to (sqrt.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) c) (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)))
5.512 * * [progress]: iteration 1 / 4
5.512 * * * [progress]: picking best candidate
5.534 * * * * [pick]: Picked  #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
5.534 * * * [progress]: localizing error
5.907 * * * [progress]: generating rewritten candidates
5.907 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 2)
5.935 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2)
5.957 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
5.978 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
6.007 * * * [progress]: generating series expansions
6.008 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 2)
6.008 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2)
6.008 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
6.008 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
6.008 * * * [progress]: simplifying candidates
6.008 * * * * [progress]: [ 1 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
6.008 * * * * [progress]: [ 2 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
6.008 * * * * [progress]: [ 3 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
6.008 * * * * [progress]: [ 4 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
6.008 * * * * [progress]: [ 5 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 c)))))>
6.008 * * * * [progress]: [ 6 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
6.008 * * * * [progress]: [ 7 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
6.008 * * * * [progress]: [ 8 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (neg.p16 a) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
6.008 * * * * [progress]: [ 9 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
6.008 * * * * [progress]: [ 10 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
6.008 * * * * [progress]: [ 11 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
6.008 * * * * [progress]: [ 12 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
6.008 * * * * [progress]: [ 13 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
6.008 * * * * [progress]: [ 14 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
6.008 * * * * [progress]: [ 15 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
6.009 * [simplify]: Simplifying (neg.p16 a), (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)), (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a), (neg.p16 b), (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)), (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b), (neg.p16 c), (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)), (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c), (*.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)) (neg.p16 a)), (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))), (*.p16 (neg.p16 a) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))), (*.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 a b) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)), (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))), (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))), (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))), (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))
6.009 * * [simplify]: iteration 1: (32 enodes)
6.016 * * [simplify]: iteration 2: (94 enodes)
6.042 * * [simplify]: iteration 3: (342 enodes)
6.325 * * [simplify]: Extracting #0: cost 14 inf + 0
6.326 * * [simplify]: Extracting #1: cost 137 inf + 0
6.338 * * [simplify]: Extracting #2: cost 399 inf + 84
6.355 * * [simplify]: Extracting #3: cost 431 inf + 181932
6.414 * * [simplify]: Extracting #4: cost 206 inf + 662947
6.471 * * [simplify]: Extracting #5: cost 3 inf + 1002088
6.529 * * [simplify]: Extracting #6: cost 0 inf + 1010820
6.602 * [simplify]: Simplified to (neg.p16 a), (*.p16 (+.p16 a (/.p16 (+.p16 c (+.p16 b a)) (real->posit16 2))) (-.p16 (/.p16 (+.p16 c (+.p16 b a)) (real->posit16 2)) a)), (+.p16 a (/.p16 (+.p16 c (+.p16 b a)) (real->posit16 2))), (neg.p16 b), (*.p16 (-.p16 (/.p16 (+.p16 c (+.p16 b a)) (real->posit16 2)) b) (+.p16 (/.p16 (+.p16 c (+.p16 b a)) (real->posit16 2)) b)), (+.p16 (/.p16 (+.p16 c (+.p16 b a)) (real->posit16 2)) b), (neg.p16 c), (*.p16 (-.p16 (/.p16 (+.p16 c (+.p16 b a)) (real->posit16 2)) c) (+.p16 c (/.p16 (+.p16 c (+.p16 b a)) (real->posit16 2)))), (+.p16 c (/.p16 (+.p16 c (+.p16 b a)) (real->posit16 2))), (*.p16 (/.p16 (+.p16 c (+.p16 b a)) (real->posit16 2)) (/.p16 (+.p16 c (+.p16 b a)) (real->posit16 2))), (*.p16 (/.p16 (+.p16 c (+.p16 b a)) (real->posit16 2)) (neg.p16 a)), (*.p16 (/.p16 (+.p16 c (+.p16 b a)) (real->posit16 2)) (/.p16 (+.p16 c (+.p16 b a)) (real->posit16 2))), (*.p16 (/.p16 (+.p16 c (+.p16 b a)) (real->posit16 2)) (neg.p16 a)), (*.p16 (/.p16 (+.p16 c (+.p16 b a)) (real->posit16 2)) (*.p16 (+.p16 a (/.p16 (+.p16 c (+.p16 b a)) (real->posit16 2))) (-.p16 (/.p16 (+.p16 c (+.p16 b a)) (real->posit16 2)) a))), (*.p16 (+.p16 c (+.p16 b a)) (-.p16 (/.p16 (+.p16 c (+.p16 b a)) (real->posit16 2)) a)), (sqrt.p16 (*.p16 (-.p16 (/.p16 (+.p16 c (+.p16 b a)) (real->posit16 2)) c) (*.p16 (-.p16 (/.p16 (+.p16 c (+.p16 b a)) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 c (+.p16 b a)) (real->posit16 2)) a) (/.p16 (+.p16 c (+.p16 b a)) (real->posit16 2)))))), (sqrt.p16 (*.p16 (-.p16 (/.p16 (+.p16 c (+.p16 b a)) (real->posit16 2)) c) (*.p16 (-.p16 (/.p16 (+.p16 c (+.p16 b a)) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 c (+.p16 b a)) (real->posit16 2)) a) (/.p16 (+.p16 c (+.p16 b a)) (real->posit16 2)))))), (sqrt.p16 (*.p16 (-.p16 (/.p16 (+.p16 c (+.p16 b a)) (real->posit16 2)) c) (*.p16 (-.p16 (/.p16 (+.p16 c (+.p16 b a)) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 c (+.p16 b a)) (real->posit16 2)) a) (/.p16 (+.p16 c (+.p16 b a)) (real->posit16 2)))))), (sqrt.p16 (*.p16 (-.p16 (/.p16 (+.p16 c (+.p16 b a)) (real->posit16 2)) c) (*.p16 (-.p16 (/.p16 (+.p16 c (+.p16 b a)) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 c (+.p16 b a)) (real->posit16 2)) a) (/.p16 (+.p16 c (+.p16 b a)) (real->posit16 2))))))
6.606 * * * [progress]: adding candidates to table
7.302 * * [progress]: iteration 2 / 4
7.302 * * * [progress]: picking best candidate
7.328 * * * * [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 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
7.328 * * * [progress]: localizing error
7.875 * * * [progress]: generating rewritten candidates
7.875 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2)
7.991 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2)
8.029 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1)
8.032 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
8.058 * * * [progress]: generating series expansions
8.058 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2)
8.058 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2)
8.058 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1)
8.058 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
8.058 * * * [progress]: simplifying candidates
8.058 * * * * [progress]: [ 1 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
8.058 * * * * [progress]: [ 2 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 b b) (*.p16 b b))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
8.058 * * * * [progress]: [ 3 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 a))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
8.058 * * * * [progress]: [ 4 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
8.058 * * * * [progress]: [ 5 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
8.059 * * * * [progress]: [ 6 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (neg.p16 (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
8.059 * * * * [progress]: [ 7 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 b b) (*.p16 b b))) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
8.059 * * * * [progress]: [ 8 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 c)))))>
8.059 * * * * [progress]: [ 9 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
8.059 * * * * [progress]: [ 10 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
8.059 * * * * [progress]: [ 11 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
8.059 * * * * [progress]: [ 12 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
8.059 * * * * [progress]: [ 13 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
8.060 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)), (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))), (neg.p16 a), (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)), (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a), (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b), (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b), (neg.p16 (*.p16 b b)), (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 b b) (*.p16 b b))), (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)), (neg.p16 c), (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)), (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c), (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)), (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b), (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)), (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b), (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)), (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b), (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)), (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)
8.060 * * [simplify]: iteration 1: (28 enodes)
8.074 * * [simplify]: iteration 2: (92 enodes)
8.114 * * [simplify]: iteration 3: (269 enodes)
8.242 * * [simplify]: iteration 4: (1108 enodes)
9.966 * * [simplify]: Extracting #0: cost 14 inf + 0
9.967 * * [simplify]: Extracting #1: cost 329 inf + 0
9.975 * * [simplify]: Extracting #2: cost 1337 inf + 3373
9.990 * * [simplify]: Extracting #3: cost 1851 inf + 21240
10.022 * * [simplify]: Extracting #4: cost 2027 inf + 92304
10.059 * * [simplify]: Extracting #5: cost 1848 inf + 288753
10.210 * * [simplify]: Extracting #6: cost 942 inf + 2002645
10.574 * * [simplify]: Extracting #7: cost 78 inf + 3857271
11.060 * * [simplify]: Extracting #8: cost 0 inf + 4059068
11.435 * [simplify]: Simplified to (/.p16 (+.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) b)), (*.p16 (+.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) b) (+.p16 (*.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2))) (*.p16 b b))), (neg.p16 a), (*.p16 (+.p16 a (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2))) (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) a)), (+.p16 a (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2))), (+.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) b), (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) b), (neg.p16 (*.p16 b b)), (*.p16 (-.p16 (*.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2))) (*.p16 b b)) (+.p16 (*.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2))) (*.p16 b b))), (+.p16 (*.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2))) (*.p16 b b)), (neg.p16 c), (*.p16 (+.p16 c (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2))) (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) c)), (+.p16 c (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2))), (*.p16 (+.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) b)), (+.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) b), (*.p16 (+.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) b)), (+.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) b), (*.p16 (+.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) b)), (+.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) b), (*.p16 (+.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) b)), (+.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) b)
11.438 * * * [progress]: adding candidates to table
11.913 * * [progress]: iteration 3 / 4
11.913 * * * [progress]: picking best candidate
11.991 * * * * [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 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
11.991 * * * [progress]: localizing error
12.601 * * * [progress]: generating rewritten candidates
12.601 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2)
12.674 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
12.764 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1)
12.767 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2)
12.802 * * * [progress]: generating series expansions
12.802 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2)
12.802 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
12.802 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1)
12.802 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2)
12.802 * * * [progress]: simplifying candidates
12.802 * * * * [progress]: [ 1 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
12.802 * * * * [progress]: [ 2 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 b b) (*.p16 b b))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
12.802 * * * * [progress]: [ 3 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))))>
12.802 * * * * [progress]: [ 4 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 c c) (*.p16 c c))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)))))))>
12.803 * * * * [progress]: [ 5 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (/.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
12.803 * * * * [progress]: [ 6 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (/.p16 (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (neg.p16 (*.p16 c c))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
12.803 * * * * [progress]: [ 7 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 c c) (*.p16 c c))) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
12.803 * * * * [progress]: [ 8 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 a))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
12.803 * * * * [progress]: [ 9 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
12.803 * * * * [progress]: [ 10 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
12.803 * * * * [progress]: [ 11 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
12.803 * * * * [progress]: [ 12 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
12.803 * * * * [progress]: [ 13 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
12.804 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)), (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))), (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)), (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c))), (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c), (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c), (neg.p16 (*.p16 c c)), (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 c c) (*.p16 c c))), (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)), (neg.p16 a), (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)), (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a), (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)), (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c), (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)), (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c), (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)), (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c), (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)), (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
12.805 * * [simplify]: iteration 1: (30 enodes)
12.817 * * [simplify]: iteration 2: (98 enodes)
12.837 * * [simplify]: iteration 3: (300 enodes)
12.985 * * [simplify]: iteration 4: (1218 enodes)
14.232 * * [simplify]: Extracting #0: cost 13 inf + 0
14.232 * * [simplify]: Extracting #1: cost 352 inf + 0
14.237 * * [simplify]: Extracting #2: cost 1371 inf + 724
14.244 * * [simplify]: Extracting #3: cost 2009 inf + 6497
14.259 * * [simplify]: Extracting #4: cost 2139 inf + 70417
14.311 * * [simplify]: Extracting #5: cost 1837 inf + 551885
14.529 * * [simplify]: Extracting #6: cost 821 inf + 2493985
14.891 * * [simplify]: Extracting #7: cost 126 inf + 3994618
15.325 * * [simplify]: Extracting #8: cost 0 inf + 4252915
15.642 * * [simplify]: Extracting #9: cost 0 inf + 4188755
16.115 * [simplify]: Simplified to (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) b)), (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) b) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2))) (*.p16 b b))), (/.p16 (+.p16 c (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) c)), (*.p16 (+.p16 c (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2))) (+.p16 (*.p16 c c) (*.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2))))), (+.p16 c (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2))), (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) c), (neg.p16 (*.p16 c c)), (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)))) (*.p16 (*.p16 c c) (*.p16 c c))), (+.p16 (*.p16 c c) (*.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)))), (neg.p16 a), (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a) (+.p16 a (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)))), (+.p16 a (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2))), (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) c) (+.p16 c (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)))), (+.p16 c (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2))), (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) c) (+.p16 c (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)))), (+.p16 c (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2))), (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) c) (+.p16 c (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)))), (+.p16 c (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2))), (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) c) (+.p16 c (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)))), (+.p16 c (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)))
16.119 * * * [progress]: adding candidates to table
16.739 * * [progress]: iteration 4 / 4
16.739 * * * [progress]: picking best candidate
16.803 * * * * [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)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
16.803 * * * [progress]: localizing error
17.313 * * * [progress]: generating rewritten candidates
17.314 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1)
17.394 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 2)
17.401 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
17.435 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
17.458 * * * [progress]: generating series expansions
17.458 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1)
17.458 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 2)
17.458 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
17.458 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
17.458 * * * [progress]: simplifying candidates
17.458 * * * * [progress]: [ 1 / 14 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.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))))>
17.458 * * * * [progress]: [ 2 / 14 ] 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 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
17.458 * * * * [progress]: [ 3 / 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 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
17.458 * * * * [progress]: [ 4 / 14 ] 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)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
17.459 * * * * [progress]: [ 5 / 14 ] 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)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
17.459 * * * * [progress]: [ 6 / 14 ] 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)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
17.459 * * * * [progress]: [ 7 / 14 ] 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)) 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))))>
17.459 * * * * [progress]: [ 8 / 14 ] 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)) 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))))>
17.459 * * * * [progress]: [ 9 / 14 ] 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)) 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)))))>
17.459 * * * * [progress]: [ 10 / 14 ] 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)) 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)))))>
17.459 * * * * [progress]: [ 11 / 14 ] 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)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
17.459 * * * * [progress]: [ 12 / 14 ] 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)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
17.459 * * * * [progress]: [ 13 / 14 ] 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)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
17.459 * * * * [progress]: [ 14 / 14 ] 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)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
17.459 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))), (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))), (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)), (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a), (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a), (neg.p16 (*.p16 a a)), (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a))), (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)), (neg.p16 b), (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)), (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b), (neg.p16 c), (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)), (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c), (*.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)) (-.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)) (-.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)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)))
17.460 * * [simplify]: iteration 1: (30 enodes)
17.468 * * [simplify]: iteration 2: (98 enodes)
17.488 * * [simplify]: iteration 3: (313 enodes)
17.639 * * [simplify]: iteration 4: (1388 enodes)
20.243 * * [simplify]: Extracting #0: cost 15 inf + 0
20.245 * * [simplify]: Extracting #1: cost 428 inf + 0
20.257 * * [simplify]: Extracting #2: cost 2045 inf + 3212
20.294 * * [simplify]: Extracting #3: cost 2820 inf + 21185
20.329 * * [simplify]: Extracting #4: cost 2668 inf + 569087
20.517 * * [simplify]: Extracting #5: cost 1218 inf + 3915194
20.942 * * [simplify]: Extracting #6: cost 45 inf + 6409020
21.501 * * [simplify]: Extracting #7: cost 0 inf + 6044844
21.947 * * [simplify]: Extracting #8: cost 0 inf + 6038564
22.576 * [simplify]: Simplified to (/.p16 (real->posit16 1.0) (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a)), (*.p16 (+.p16 a (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))) (+.p16 (*.p16 a a) (*.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))))), (*.p16 (real->posit16 2) (+.p16 a (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)))), (+.p16 a (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))), (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a), (neg.p16 (*.p16 a a)), (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))) (*.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a))), (+.p16 (*.p16 a a) (*.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)))), (neg.p16 b), (*.p16 (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b) (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b)), (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b), (neg.p16 c), (*.p16 (+.p16 c (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))) (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) c)), (+.p16 c (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))), (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a) (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))) (+.p16 a (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)))), (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a) (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))) (+.p16 a (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)))), (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a) (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))) (+.p16 a (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)))), (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a) (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))) (+.p16 a (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))))
22.578 * * * [progress]: adding candidates to table
23.046 * [progress]: [Phase 3 of 3] Extracting.
23.047 * * [regime]: Finding splitpoints for: (#<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.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))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 c c) (*.p16 c c))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)))))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a)))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (real->posit16 1.0) (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (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))))> #<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)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>)
23.053 * * * [regime-changes]: Trying 3 branch expressions: (c b a)
23.053 * * * * [regimes]: Trying to branch on c from (#<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.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))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 c c) (*.p16 c c))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)))))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a)))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (real->posit16 1.0) (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (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))))> #<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)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>)
23.209 * * * * [regimes]: Trying to branch on b from (#<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.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))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 c c) (*.p16 c c))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)))))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a)))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (real->posit16 1.0) (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (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))))> #<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)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>)
23.353 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.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))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 c c) (*.p16 c c))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)))))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a)))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (real->posit16 1.0) (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (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))))> #<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)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>)
23.555 * * * [regime]: Found split indices: #<option (#s(si 3 256))>
23.555 * [simplify]: Simplifying (sqrt.p16 (*.p16 (*.p16 (/.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (real->posit16 1.0) (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (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)))
23.556 * * [simplify]: iteration 1: (21 enodes)
23.558 * * [simplify]: Extracting #0: cost 1 inf + 0
23.558 * * [simplify]: Extracting #1: cost 2 inf + 0
23.558 * * [simplify]: Extracting #2: cost 4 inf + 0
23.558 * * [simplify]: Extracting #3: cost 8 inf + 0
23.558 * * [simplify]: Extracting #4: cost 11 inf + 1
23.558 * * [simplify]: Extracting #5: cost 14 inf + 2
23.558 * * [simplify]: Extracting #6: cost 16 inf + 3
23.559 * * [simplify]: Extracting #7: cost 13 inf + 7
23.559 * * [simplify]: Extracting #8: cost 11 inf + 656
23.559 * * [simplify]: Extracting #9: cost 7 inf + 1989
23.559 * * [simplify]: Extracting #10: cost 5 inf + 3117
23.560 * * [simplify]: Extracting #11: cost 3 inf + 6167
23.561 * * [simplify]: Extracting #12: cost 0 inf + 14222
23.561 * [simplify]: Simplified to (sqrt.p16 (*.p16 (*.p16 (/.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (real->posit16 1.0) (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (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)))
23.561 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
23.614 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
23.618 * * * * [points]: Setting MPFR precision to 64
23.620 * * * * [points]: Setting MPFR precision to 320
23.621 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
23.632 * * * * [points]: Setting MPFR precision to 64
23.635 * * * * [points]: Setting MPFR precision to 320
23.638 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
23.642 * * * * [points]: Setting MPFR precision to 64
23.647 * * * * [points]: Setting MPFR precision to 320
23.652 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
23.656 * * * * [points]: Setting MPFR precision to 64
23.665 * * * * [points]: Setting MPFR precision to 320
23.675 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
23.679 * * * * [points]: Setting MPFR precision to 64
23.699 * * * * [points]: Setting MPFR precision to 320
23.732 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
23.739 * * * * [points]: Setting MPFR precision to 64
23.823 * * * * [points]: Setting MPFR precision to 320
23.885 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
23.893 * * * * [points]: Setting MPFR precision to 64
24.067 * * * * [points]: Setting MPFR precision to 320
24.191 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
24.199 * * * * [points]: Setting MPFR precision to 64
24.518 * * * * [points]: Setting MPFR precision to 320
24.812 * * * * [points]: Computing exacts for 8000 points
24.819 * * * * [points]: Setting MPFR precision to 64
26.092 * * * * [points]: Setting MPFR precision to 320
27.658 * * * * [points]: Filtering points with unrepresentable outputs
27.665 * * * * [points]: Sampling 6980 additional inputs, on iter 1 have 1020 / 8000
27.734 * * * * [points]: Computing exacts on every 436 of 6980 points to ramp up precision
27.739 * * * * [points]: Setting MPFR precision to 64
27.741 * * * * [points]: Setting MPFR precision to 320
27.742 * * * * [points]: Computing exacts on every 218 of 6980 points to ramp up precision
27.750 * * * * [points]: Setting MPFR precision to 64
27.754 * * * * [points]: Setting MPFR precision to 320
27.758 * * * * [points]: Computing exacts on every 109 of 6980 points to ramp up precision
27.765 * * * * [points]: Setting MPFR precision to 64
27.774 * * * * [points]: Setting MPFR precision to 320
27.782 * * * * [points]: Computing exacts on every 54 of 6980 points to ramp up precision
27.789 * * * * [points]: Setting MPFR precision to 64
27.805 * * * * [points]: Setting MPFR precision to 320
27.822 * * * * [points]: Computing exacts on every 27 of 6980 points to ramp up precision
27.829 * * * * [points]: Setting MPFR precision to 64
27.863 * * * * [points]: Setting MPFR precision to 320
27.894 * * * * [points]: Computing exacts on every 13 of 6980 points to ramp up precision
27.940 * * * * [points]: Setting MPFR precision to 64
27.999 * * * * [points]: Setting MPFR precision to 320
28.061 * * * * [points]: Computing exacts on every 6 of 6980 points to ramp up precision
28.068 * * * * [points]: Setting MPFR precision to 64
28.236 * * * * [points]: Setting MPFR precision to 320
28.336 * * * * [points]: Computing exacts on every 3 of 6980 points to ramp up precision
28.340 * * * * [points]: Setting MPFR precision to 64
28.600 * * * * [points]: Setting MPFR precision to 320
28.849 * * * * [points]: Computing exacts for 6980 points
28.857 * * * * [points]: Setting MPFR precision to 64
29.737 * * * * [points]: Setting MPFR precision to 320
31.173 * * * * [points]: Filtering points with unrepresentable outputs
31.179 * * * * [points]: Sampling 6084 additional inputs, on iter 2 have 1916 / 8000
31.225 * * * * [points]: Computing exacts on every 380 of 6084 points to ramp up precision
31.232 * * * * [points]: Setting MPFR precision to 64
31.234 * * * * [points]: Setting MPFR precision to 320
31.236 * * * * [points]: Computing exacts on every 190 of 6084 points to ramp up precision
31.242 * * * * [points]: Setting MPFR precision to 64
31.244 * * * * [points]: Setting MPFR precision to 320
31.246 * * * * [points]: Computing exacts on every 95 of 6084 points to ramp up precision
31.250 * * * * [points]: Setting MPFR precision to 64
31.255 * * * * [points]: Setting MPFR precision to 320
31.260 * * * * [points]: Computing exacts on every 47 of 6084 points to ramp up precision
31.264 * * * * [points]: Setting MPFR precision to 64
31.273 * * * * [points]: Setting MPFR precision to 320
31.285 * * * * [points]: Computing exacts on every 23 of 6084 points to ramp up precision
31.292 * * * * [points]: Setting MPFR precision to 64
31.332 * * * * [points]: Setting MPFR precision to 320
31.351 * * * * [points]: Computing exacts on every 11 of 6084 points to ramp up precision
31.355 * * * * [points]: Setting MPFR precision to 64
31.415 * * * * [points]: Setting MPFR precision to 320
31.452 * * * * [points]: Computing exacts on every 5 of 6084 points to ramp up precision
31.458 * * * * [points]: Setting MPFR precision to 64
31.631 * * * * [points]: Setting MPFR precision to 320
31.812 * * * * [points]: Computing exacts on every 2 of 6084 points to ramp up precision
31.819 * * * * [points]: Setting MPFR precision to 64
32.070 * * * * [points]: Setting MPFR precision to 320
32.330 * * * * [points]: Computing exacts for 6084 points
32.334 * * * * [points]: Setting MPFR precision to 64
33.197 * * * * [points]: Setting MPFR precision to 320
34.617 * * * * [points]: Filtering points with unrepresentable outputs
34.620 * * * * [points]: Sampling 5307 additional inputs, on iter 3 have 2693 / 8000
34.643 * * * * [points]: Computing exacts on every 331 of 5307 points to ramp up precision
34.647 * * * * [points]: Setting MPFR precision to 64
34.649 * * * * [points]: Setting MPFR precision to 320
34.650 * * * * [points]: Computing exacts on every 165 of 5307 points to ramp up precision
34.653 * * * * [points]: Setting MPFR precision to 64
34.656 * * * * [points]: Setting MPFR precision to 320
34.691 * * * * [points]: Computing exacts on every 82 of 5307 points to ramp up precision
34.701 * * * * [points]: Setting MPFR precision to 64
34.711 * * * * [points]: Setting MPFR precision to 320
34.719 * * * * [points]: Computing exacts on every 41 of 5307 points to ramp up precision
34.727 * * * * [points]: Setting MPFR precision to 64
34.743 * * * * [points]: Setting MPFR precision to 320
34.760 * * * * [points]: Computing exacts on every 20 of 5307 points to ramp up precision
34.767 * * * * [points]: Setting MPFR precision to 64
34.797 * * * * [points]: Setting MPFR precision to 320
34.831 * * * * [points]: Computing exacts on every 10 of 5307 points to ramp up precision
34.839 * * * * [points]: Setting MPFR precision to 64
34.944 * * * * [points]: Setting MPFR precision to 320
35.006 * * * * [points]: Computing exacts on every 5 of 5307 points to ramp up precision
35.014 * * * * [points]: Setting MPFR precision to 64
35.126 * * * * [points]: Setting MPFR precision to 320
35.292 * * * * [points]: Computing exacts on every 2 of 5307 points to ramp up precision
35.300 * * * * [points]: Setting MPFR precision to 64
35.604 * * * * [points]: Setting MPFR precision to 320
35.914 * * * * [points]: Computing exacts for 5307 points
35.922 * * * * [points]: Setting MPFR precision to 64
36.581 * * * * [points]: Setting MPFR precision to 320
37.278 * * * * [points]: Filtering points with unrepresentable outputs
37.283 * * * * [points]: Sampling 4623 additional inputs, on iter 4 have 3377 / 8000
37.320 * * * * [points]: Computing exacts on every 288 of 4623 points to ramp up precision
37.328 * * * * [points]: Setting MPFR precision to 64
37.330 * * * * [points]: Setting MPFR precision to 320
37.332 * * * * [points]: Computing exacts on every 144 of 4623 points to ramp up precision
37.339 * * * * [points]: Setting MPFR precision to 64
37.343 * * * * [points]: Setting MPFR precision to 320
37.347 * * * * [points]: Computing exacts on every 72 of 4623 points to ramp up precision
37.354 * * * * [points]: Setting MPFR precision to 64
37.361 * * * * [points]: Setting MPFR precision to 320
37.405 * * * * [points]: Computing exacts on every 36 of 4623 points to ramp up precision
37.412 * * * * [points]: Setting MPFR precision to 64
37.435 * * * * [points]: Setting MPFR precision to 320
37.453 * * * * [points]: Computing exacts on every 18 of 4623 points to ramp up precision
37.460 * * * * [points]: Setting MPFR precision to 64
37.494 * * * * [points]: Setting MPFR precision to 320
37.525 * * * * [points]: Computing exacts on every 9 of 4623 points to ramp up precision
37.532 * * * * [points]: Setting MPFR precision to 64
37.596 * * * * [points]: Setting MPFR precision to 320
37.714 * * * * [points]: Computing exacts on every 4 of 4623 points to ramp up precision
37.722 * * * * [points]: Setting MPFR precision to 64
37.844 * * * * [points]: Setting MPFR precision to 320
38.029 * * * * [points]: Computing exacts on every 2 of 4623 points to ramp up precision
38.037 * * * * [points]: Setting MPFR precision to 64
38.753 * * * * [points]: Setting MPFR precision to 320
38.992 * * * * [points]: Computing exacts for 4623 points
39.000 * * * * [points]: Setting MPFR precision to 64
39.621 * * * * [points]: Setting MPFR precision to 320
40.147 * * * * [points]: Filtering points with unrepresentable outputs
40.149 * * * * [points]: Sampling 4055 additional inputs, on iter 5 have 3945 / 8000
40.166 * * * * [points]: Computing exacts on every 253 of 4055 points to ramp up precision
40.169 * * * * [points]: Setting MPFR precision to 64
40.172 * * * * [points]: Setting MPFR precision to 320
40.173 * * * * [points]: Computing exacts on every 126 of 4055 points to ramp up precision
40.177 * * * * [points]: Setting MPFR precision to 64
40.180 * * * * [points]: Setting MPFR precision to 320
40.182 * * * * [points]: Computing exacts on every 63 of 4055 points to ramp up precision
40.186 * * * * [points]: Setting MPFR precision to 64
40.191 * * * * [points]: Setting MPFR precision to 320
40.195 * * * * [points]: Computing exacts on every 31 of 4055 points to ramp up precision
40.199 * * * * [points]: Setting MPFR precision to 64
40.209 * * * * [points]: Setting MPFR precision to 320
40.221 * * * * [points]: Computing exacts on every 15 of 4055 points to ramp up precision
40.228 * * * * [points]: Setting MPFR precision to 64
40.274 * * * * [points]: Setting MPFR precision to 320
40.292 * * * * [points]: Computing exacts on every 7 of 4055 points to ramp up precision
40.299 * * * * [points]: Setting MPFR precision to 64
40.360 * * * * [points]: Setting MPFR precision to 320
40.401 * * * * [points]: Computing exacts on every 3 of 4055 points to ramp up precision
40.408 * * * * [points]: Setting MPFR precision to 64
40.559 * * * * [points]: Setting MPFR precision to 320
40.717 * * * * [points]: Computing exacts for 4055 points
40.722 * * * * [points]: Setting MPFR precision to 64
41.226 * * * * [points]: Setting MPFR precision to 320
42.249 * * * * [points]: Filtering points with unrepresentable outputs
42.251 * * * * [points]: Sampling 3542 additional inputs, on iter 6 have 4458 / 8000
42.266 * * * * [points]: Computing exacts on every 221 of 3542 points to ramp up precision
42.270 * * * * [points]: Setting MPFR precision to 64
42.271 * * * * [points]: Setting MPFR precision to 320
42.272 * * * * [points]: Computing exacts on every 110 of 3542 points to ramp up precision
42.276 * * * * [points]: Setting MPFR precision to 64
42.278 * * * * [points]: Setting MPFR precision to 320
42.280 * * * * [points]: Computing exacts on every 55 of 3542 points to ramp up precision
42.283 * * * * [points]: Setting MPFR precision to 64
42.288 * * * * [points]: Setting MPFR precision to 320
42.295 * * * * [points]: Computing exacts on every 27 of 3542 points to ramp up precision
42.301 * * * * [points]: Setting MPFR precision to 64
42.317 * * * * [points]: Setting MPFR precision to 320
42.332 * * * * [points]: Computing exacts on every 13 of 3542 points to ramp up precision
42.364 * * * * [points]: Setting MPFR precision to 64
42.399 * * * * [points]: Setting MPFR precision to 320
42.421 * * * * [points]: Computing exacts on every 6 of 3542 points to ramp up precision
42.425 * * * * [points]: Setting MPFR precision to 64
42.466 * * * * [points]: Setting MPFR precision to 320
42.539 * * * * [points]: Computing exacts on every 3 of 3542 points to ramp up precision
42.550 * * * * [points]: Setting MPFR precision to 64
42.625 * * * * [points]: Setting MPFR precision to 320
42.771 * * * * [points]: Computing exacts for 3542 points
42.778 * * * * [points]: Setting MPFR precision to 64
43.162 * * * * [points]: Setting MPFR precision to 320
43.606 * * * * [points]: Filtering points with unrepresentable outputs
43.608 * * * * [points]: Sampling 3084 additional inputs, on iter 7 have 4916 / 8000
43.621 * * * * [points]: Computing exacts on every 192 of 3084 points to ramp up precision
43.624 * * * * [points]: Setting MPFR precision to 64
43.626 * * * * [points]: Setting MPFR precision to 320
43.627 * * * * [points]: Computing exacts on every 96 of 3084 points to ramp up precision
43.630 * * * * [points]: Setting MPFR precision to 64
43.633 * * * * [points]: Setting MPFR precision to 320
43.635 * * * * [points]: Computing exacts on every 48 of 3084 points to ramp up precision
43.638 * * * * [points]: Setting MPFR precision to 64
43.643 * * * * [points]: Setting MPFR precision to 320
43.673 * * * * [points]: Computing exacts on every 24 of 3084 points to ramp up precision
43.677 * * * * [points]: Setting MPFR precision to 64
43.688 * * * * [points]: Setting MPFR precision to 320
43.696 * * * * [points]: Computing exacts on every 12 of 3084 points to ramp up precision
43.701 * * * * [points]: Setting MPFR precision to 64
43.718 * * * * [points]: Setting MPFR precision to 320
43.734 * * * * [points]: Computing exacts on every 6 of 3084 points to ramp up precision
43.738 * * * * [points]: Setting MPFR precision to 64
43.767 * * * * [points]: Setting MPFR precision to 320
43.827 * * * * [points]: Computing exacts on every 3 of 3084 points to ramp up precision
43.831 * * * * [points]: Setting MPFR precision to 64
43.889 * * * * [points]: Setting MPFR precision to 320
43.972 * * * * [points]: Computing exacts for 3084 points
43.976 * * * * [points]: Setting MPFR precision to 64
44.273 * * * * [points]: Setting MPFR precision to 320
44.582 * * * * [points]: Filtering points with unrepresentable outputs
44.584 * * * * [points]: Sampling 2673 additional inputs, on iter 8 have 5327 / 8000
44.601 * * * * [points]: Computing exacts on every 167 of 2673 points to ramp up precision
44.605 * * * * [points]: Setting MPFR precision to 64
44.607 * * * * [points]: Setting MPFR precision to 320
44.608 * * * * [points]: Computing exacts on every 83 of 2673 points to ramp up precision
44.612 * * * * [points]: Setting MPFR precision to 64
44.614 * * * * [points]: Setting MPFR precision to 320
44.616 * * * * [points]: Computing exacts on every 41 of 2673 points to ramp up precision
44.620 * * * * [points]: Setting MPFR precision to 64
44.624 * * * * [points]: Setting MPFR precision to 320
44.628 * * * * [points]: Computing exacts on every 20 of 2673 points to ramp up precision
44.632 * * * * [points]: Setting MPFR precision to 64
44.640 * * * * [points]: Setting MPFR precision to 320
44.649 * * * * [points]: Computing exacts on every 10 of 2673 points to ramp up precision
44.653 * * * * [points]: Setting MPFR precision to 64
44.669 * * * * [points]: Setting MPFR precision to 320
44.731 * * * * [points]: Computing exacts on every 5 of 2673 points to ramp up precision
44.741 * * * * [points]: Setting MPFR precision to 64
44.774 * * * * [points]: Setting MPFR precision to 320
44.805 * * * * [points]: Computing exacts on every 2 of 2673 points to ramp up precision
44.809 * * * * [points]: Setting MPFR precision to 64
45.277 * * * * [points]: Setting MPFR precision to 320
45.356 * * * * [points]: Computing exacts for 2673 points
45.363 * * * * [points]: Setting MPFR precision to 64
45.639 * * * * [points]: Setting MPFR precision to 320
45.920 * * * * [points]: Filtering points with unrepresentable outputs
45.923 * * * * [points]: Sampling 2325 additional inputs, on iter 9 have 5675 / 8000
45.934 * * * * [points]: Computing exacts on every 145 of 2325 points to ramp up precision
45.938 * * * * [points]: Setting MPFR precision to 64
45.939 * * * * [points]: Setting MPFR precision to 320
45.940 * * * * [points]: Computing exacts on every 72 of 2325 points to ramp up precision
45.944 * * * * [points]: Setting MPFR precision to 64
45.946 * * * * [points]: Setting MPFR precision to 320
45.948 * * * * [points]: Computing exacts on every 36 of 2325 points to ramp up precision
45.952 * * * * [points]: Setting MPFR precision to 64
45.957 * * * * [points]: Setting MPFR precision to 320
45.961 * * * * [points]: Computing exacts on every 18 of 2325 points to ramp up precision
45.965 * * * * [points]: Setting MPFR precision to 64
45.975 * * * * [points]: Setting MPFR precision to 320
45.984 * * * * [points]: Computing exacts on every 9 of 2325 points to ramp up precision
45.988 * * * * [points]: Setting MPFR precision to 64
46.008 * * * * [points]: Setting MPFR precision to 320
46.060 * * * * [points]: Computing exacts on every 4 of 2325 points to ramp up precision
46.065 * * * * [points]: Setting MPFR precision to 64
46.098 * * * * [points]: Setting MPFR precision to 320
46.132 * * * * [points]: Computing exacts on every 2 of 2325 points to ramp up precision
46.136 * * * * [points]: Setting MPFR precision to 64
46.234 * * * * [points]: Setting MPFR precision to 320
46.306 * * * * [points]: Computing exacts for 2325 points
46.310 * * * * [points]: Setting MPFR precision to 64
46.561 * * * * [points]: Setting MPFR precision to 320
46.758 * * * * [points]: Filtering points with unrepresentable outputs
46.759 * * * * [points]: Sampling 2031 additional inputs, on iter 10 have 5969 / 8000
46.769 * * * * [points]: Computing exacts on every 126 of 2031 points to ramp up precision
46.774 * * * * [points]: Setting MPFR precision to 64
46.775 * * * * [points]: Setting MPFR precision to 320
46.776 * * * * [points]: Computing exacts on every 63 of 2031 points to ramp up precision
46.780 * * * * [points]: Setting MPFR precision to 64
46.782 * * * * [points]: Setting MPFR precision to 320
46.784 * * * * [points]: Computing exacts on every 31 of 2031 points to ramp up precision
46.788 * * * * [points]: Setting MPFR precision to 64
46.792 * * * * [points]: Setting MPFR precision to 320
46.796 * * * * [points]: Computing exacts on every 15 of 2031 points to ramp up precision
46.824 * * * * [points]: Setting MPFR precision to 64
46.834 * * * * [points]: Setting MPFR precision to 320
46.843 * * * * [points]: Computing exacts on every 7 of 2031 points to ramp up precision
46.846 * * * * [points]: Setting MPFR precision to 64
46.865 * * * * [points]: Setting MPFR precision to 320
46.896 * * * * [points]: Computing exacts on every 3 of 2031 points to ramp up precision
46.900 * * * * [points]: Setting MPFR precision to 64
46.937 * * * * [points]: Setting MPFR precision to 320
47.015 * * * * [points]: Computing exacts for 2031 points
47.019 * * * * [points]: Setting MPFR precision to 64
47.212 * * * * [points]: Setting MPFR precision to 320
47.400 * * * * [points]: Filtering points with unrepresentable outputs
47.401 * * * * [points]: Sampling 1792 additional inputs, on iter 11 have 6208 / 8000
47.408 * * * * [points]: Computing exacts on every 112 of 1792 points to ramp up precision
47.413 * * * * [points]: Setting MPFR precision to 64
47.414 * * * * [points]: Setting MPFR precision to 320
47.415 * * * * [points]: Computing exacts on every 56 of 1792 points to ramp up precision
47.419 * * * * [points]: Setting MPFR precision to 64
47.448 * * * * [points]: Setting MPFR precision to 320
47.450 * * * * [points]: Computing exacts on every 28 of 1792 points to ramp up precision
47.454 * * * * [points]: Setting MPFR precision to 64
47.460 * * * * [points]: Setting MPFR precision to 320
47.464 * * * * [points]: Computing exacts on every 14 of 1792 points to ramp up precision
47.468 * * * * [points]: Setting MPFR precision to 64
47.476 * * * * [points]: Setting MPFR precision to 320
47.484 * * * * [points]: Computing exacts on every 7 of 1792 points to ramp up precision
47.487 * * * * [points]: Setting MPFR precision to 64
47.503 * * * * [points]: Setting MPFR precision to 320
47.519 * * * * [points]: Computing exacts on every 3 of 1792 points to ramp up precision
47.523 * * * * [points]: Setting MPFR precision to 64
47.588 * * * * [points]: Setting MPFR precision to 320
47.620 * * * * [points]: Computing exacts for 1792 points
47.624 * * * * [points]: Setting MPFR precision to 64
48.096 * * * * [points]: Setting MPFR precision to 320
48.298 * * * * [points]: Filtering points with unrepresentable outputs
48.299 * * * * [points]: Sampling 1574 additional inputs, on iter 12 have 6426 / 8000
48.305 * * * * [points]: Computing exacts on every 98 of 1574 points to ramp up precision
48.309 * * * * [points]: Setting MPFR precision to 64
48.310 * * * * [points]: Setting MPFR precision to 320
48.311 * * * * [points]: Computing exacts on every 49 of 1574 points to ramp up precision
48.315 * * * * [points]: Setting MPFR precision to 64
48.317 * * * * [points]: Setting MPFR precision to 320
48.319 * * * * [points]: Computing exacts on every 24 of 1574 points to ramp up precision
48.323 * * * * [points]: Setting MPFR precision to 64
48.327 * * * * [points]: Setting MPFR precision to 320
48.333 * * * * [points]: Computing exacts on every 12 of 1574 points to ramp up precision
48.339 * * * * [points]: Setting MPFR precision to 64
48.385 * * * * [points]: Setting MPFR precision to 320
48.395 * * * * [points]: Computing exacts on every 6 of 1574 points to ramp up precision
48.400 * * * * [points]: Setting MPFR precision to 64
48.422 * * * * [points]: Setting MPFR precision to 320
48.437 * * * * [points]: Computing exacts on every 3 of 1574 points to ramp up precision
48.441 * * * * [points]: Setting MPFR precision to 64
48.477 * * * * [points]: Setting MPFR precision to 320
48.527 * * * * [points]: Computing exacts for 1574 points
48.572 * * * * [points]: Setting MPFR precision to 64
48.681 * * * * [points]: Setting MPFR precision to 320
48.825 * * * * [points]: Filtering points with unrepresentable outputs
48.826 * * * * [points]: Sampling 1372 additional inputs, on iter 13 have 6628 / 8000
48.868 * * * * [points]: Computing exacts on every 85 of 1372 points to ramp up precision
48.872 * * * * [points]: Setting MPFR precision to 64
48.875 * * * * [points]: Setting MPFR precision to 320
48.876 * * * * [points]: Computing exacts on every 42 of 1372 points to ramp up precision
48.879 * * * * [points]: Setting MPFR precision to 64
48.882 * * * * [points]: Setting MPFR precision to 320
48.884 * * * * [points]: Computing exacts on every 21 of 1372 points to ramp up precision
48.887 * * * * [points]: Setting MPFR precision to 64
48.892 * * * * [points]: Setting MPFR precision to 320
48.896 * * * * [points]: Computing exacts on every 10 of 1372 points to ramp up precision
48.899 * * * * [points]: Setting MPFR precision to 64
48.908 * * * * [points]: Setting MPFR precision to 320
48.916 * * * * [points]: Computing exacts on every 5 of 1372 points to ramp up precision
48.920 * * * * [points]: Setting MPFR precision to 64
48.941 * * * * [points]: Setting MPFR precision to 320
48.965 * * * * [points]: Computing exacts on every 2 of 1372 points to ramp up precision
48.969 * * * * [points]: Setting MPFR precision to 64
49.035 * * * * [points]: Setting MPFR precision to 320
49.066 * * * * [points]: Computing exacts for 1372 points
49.070 * * * * [points]: Setting MPFR precision to 64
49.215 * * * * [points]: Setting MPFR precision to 320
49.351 * * * * [points]: Filtering points with unrepresentable outputs
49.351 * * * * [points]: Sampling 1194 additional inputs, on iter 14 have 6806 / 8000
49.356 * * * * [points]: Computing exacts on every 74 of 1194 points to ramp up precision
49.360 * * * * [points]: Setting MPFR precision to 64
49.361 * * * * [points]: Setting MPFR precision to 320
49.362 * * * * [points]: Computing exacts on every 37 of 1194 points to ramp up precision
49.366 * * * * [points]: Setting MPFR precision to 64
49.368 * * * * [points]: Setting MPFR precision to 320
49.370 * * * * [points]: Computing exacts on every 18 of 1194 points to ramp up precision
49.374 * * * * [points]: Setting MPFR precision to 64
49.378 * * * * [points]: Setting MPFR precision to 320
49.386 * * * * [points]: Computing exacts on every 9 of 1194 points to ramp up precision
49.391 * * * * [points]: Setting MPFR precision to 64
49.400 * * * * [points]: Setting MPFR precision to 320
49.408 * * * * [points]: Computing exacts on every 4 of 1194 points to ramp up precision
49.412 * * * * [points]: Setting MPFR precision to 64
49.431 * * * * [points]: Setting MPFR precision to 320
49.479 * * * * [points]: Computing exacts on every 2 of 1194 points to ramp up precision
49.482 * * * * [points]: Setting MPFR precision to 64
49.509 * * * * [points]: Setting MPFR precision to 320
49.542 * * * * [points]: Computing exacts for 1194 points
49.546 * * * * [points]: Setting MPFR precision to 64
49.668 * * * * [points]: Setting MPFR precision to 320
49.804 * * * * [points]: Filtering points with unrepresentable outputs
49.804 * * * * [points]: Sampling 1044 additional inputs, on iter 15 have 6956 / 8000
49.809 * * * * [points]: Computing exacts on every 65 of 1044 points to ramp up precision
49.813 * * * * [points]: Setting MPFR precision to 64
49.814 * * * * [points]: Setting MPFR precision to 320
49.816 * * * * [points]: Computing exacts on every 32 of 1044 points to ramp up precision
49.819 * * * * [points]: Setting MPFR precision to 64
49.821 * * * * [points]: Setting MPFR precision to 320
49.823 * * * * [points]: Computing exacts on every 16 of 1044 points to ramp up precision
49.827 * * * * [points]: Setting MPFR precision to 64
49.831 * * * * [points]: Setting MPFR precision to 320
49.836 * * * * [points]: Computing exacts on every 8 of 1044 points to ramp up precision
49.840 * * * * [points]: Setting MPFR precision to 64
49.848 * * * * [points]: Setting MPFR precision to 320
49.861 * * * * [points]: Computing exacts on every 4 of 1044 points to ramp up precision
49.868 * * * * [points]: Setting MPFR precision to 64
49.884 * * * * [points]: Setting MPFR precision to 320
49.929 * * * * [points]: Computing exacts on every 2 of 1044 points to ramp up precision
49.935 * * * * [points]: Setting MPFR precision to 64
49.960 * * * * [points]: Setting MPFR precision to 320
49.984 * * * * [points]: Computing exacts for 1044 points
49.991 * * * * [points]: Setting MPFR precision to 64
50.113 * * * * [points]: Setting MPFR precision to 320
50.205 * * * * [points]: Filtering points with unrepresentable outputs
50.206 * * * * [points]: Sampling 918 additional inputs, on iter 16 have 7082 / 8000
50.210 * * * * [points]: Computing exacts on every 57 of 918 points to ramp up precision
50.213 * * * * [points]: Setting MPFR precision to 64
50.215 * * * * [points]: Setting MPFR precision to 320
50.216 * * * * [points]: Computing exacts on every 28 of 918 points to ramp up precision
50.253 * * * * [points]: Setting MPFR precision to 64
50.257 * * * * [points]: Setting MPFR precision to 320
50.263 * * * * [points]: Computing exacts on every 14 of 918 points to ramp up precision
50.266 * * * * [points]: Setting MPFR precision to 64
50.271 * * * * [points]: Setting MPFR precision to 320
50.275 * * * * [points]: Computing exacts on every 7 of 918 points to ramp up precision
50.278 * * * * [points]: Setting MPFR precision to 64
50.286 * * * * [points]: Setting MPFR precision to 320
50.294 * * * * [points]: Computing exacts on every 3 of 918 points to ramp up precision
50.302 * * * * [points]: Setting MPFR precision to 64
50.329 * * * * [points]: Setting MPFR precision to 320
50.354 * * * * [points]: Computing exacts for 918 points
50.358 * * * * [points]: Setting MPFR precision to 64
50.457 * * * * [points]: Setting MPFR precision to 320
50.523 * * * * [points]: Filtering points with unrepresentable outputs
50.524 * * * * [points]: Sampling 814 additional inputs, on iter 17 have 7186 / 8000
50.531 * * * * [points]: Computing exacts on every 50 of 814 points to ramp up precision
50.538 * * * * [points]: Setting MPFR precision to 64
50.578 * * * * [points]: Setting MPFR precision to 320
50.580 * * * * [points]: Computing exacts on every 25 of 814 points to ramp up precision
50.584 * * * * [points]: Setting MPFR precision to 64
50.586 * * * * [points]: Setting MPFR precision to 320
50.590 * * * * [points]: Computing exacts on every 12 of 814 points to ramp up precision
50.593 * * * * [points]: Setting MPFR precision to 64
50.598 * * * * [points]: Setting MPFR precision to 320
50.602 * * * * [points]: Computing exacts on every 6 of 814 points to ramp up precision
50.605 * * * * [points]: Setting MPFR precision to 64
50.613 * * * * [points]: Setting MPFR precision to 320
50.621 * * * * [points]: Computing exacts on every 3 of 814 points to ramp up precision
50.624 * * * * [points]: Setting MPFR precision to 64
50.638 * * * * [points]: Setting MPFR precision to 320
50.651 * * * * [points]: Computing exacts for 814 points
50.655 * * * * [points]: Setting MPFR precision to 64
51.109 * * * * [points]: Setting MPFR precision to 320
51.188 * * * * [points]: Filtering points with unrepresentable outputs
51.189 * * * * [points]: Sampling 721 additional inputs, on iter 18 have 7279 / 8000
51.192 * * * * [points]: Computing exacts on every 45 of 721 points to ramp up precision
51.195 * * * * [points]: Setting MPFR precision to 64
51.196 * * * * [points]: Setting MPFR precision to 320
51.197 * * * * [points]: Computing exacts on every 22 of 721 points to ramp up precision
51.201 * * * * [points]: Setting MPFR precision to 64
51.203 * * * * [points]: Setting MPFR precision to 320
51.228 * * * * [points]: Computing exacts on every 11 of 721 points to ramp up precision
51.232 * * * * [points]: Setting MPFR precision to 64
51.236 * * * * [points]: Setting MPFR precision to 320
51.242 * * * * [points]: Computing exacts on every 5 of 721 points to ramp up precision
51.246 * * * * [points]: Setting MPFR precision to 64
51.254 * * * * [points]: Setting MPFR precision to 320
51.262 * * * * [points]: Computing exacts on every 2 of 721 points to ramp up precision
51.266 * * * * [points]: Setting MPFR precision to 64
51.288 * * * * [points]: Setting MPFR precision to 320
51.318 * * * * [points]: Computing exacts for 721 points
51.322 * * * * [points]: Setting MPFR precision to 64
51.414 * * * * [points]: Setting MPFR precision to 320
51.464 * * * * [points]: Filtering points with unrepresentable outputs
51.465 * * * * [points]: Sampling 647 additional inputs, on iter 19 have 7353 / 8000
51.467 * * * * [points]: Computing exacts on every 40 of 647 points to ramp up precision
51.471 * * * * [points]: Setting MPFR precision to 64
51.472 * * * * [points]: Setting MPFR precision to 320
51.473 * * * * [points]: Computing exacts on every 20 of 647 points to ramp up precision
51.477 * * * * [points]: Setting MPFR precision to 64
51.480 * * * * [points]: Setting MPFR precision to 320
51.482 * * * * [points]: Computing exacts on every 10 of 647 points to ramp up precision
51.486 * * * * [points]: Setting MPFR precision to 64
51.490 * * * * [points]: Setting MPFR precision to 320
51.494 * * * * [points]: Computing exacts on every 5 of 647 points to ramp up precision
51.523 * * * * [points]: Setting MPFR precision to 64
51.533 * * * * [points]: Setting MPFR precision to 320
51.540 * * * * [points]: Computing exacts on every 2 of 647 points to ramp up precision
51.544 * * * * [points]: Setting MPFR precision to 64
51.562 * * * * [points]: Setting MPFR precision to 320
51.582 * * * * [points]: Computing exacts for 647 points
51.585 * * * * [points]: Setting MPFR precision to 64
51.632 * * * * [points]: Setting MPFR precision to 320
51.706 * * * * [points]: Filtering points with unrepresentable outputs
51.706 * * * * [points]: Sampling 581 additional inputs, on iter 20 have 7419 / 8000
51.709 * * * * [points]: Computing exacts on every 36 of 581 points to ramp up precision
51.713 * * * * [points]: Setting MPFR precision to 64
51.714 * * * * [points]: Setting MPFR precision to 320
51.715 * * * * [points]: Computing exacts on every 18 of 581 points to ramp up precision
51.719 * * * * [points]: Setting MPFR precision to 64
51.721 * * * * [points]: Setting MPFR precision to 320
51.723 * * * * [points]: Computing exacts on every 9 of 581 points to ramp up precision
51.727 * * * * [points]: Setting MPFR precision to 64
51.731 * * * * [points]: Setting MPFR precision to 320
51.738 * * * * [points]: Computing exacts on every 4 of 581 points to ramp up precision
51.745 * * * * [points]: Setting MPFR precision to 64
51.755 * * * * [points]: Setting MPFR precision to 320
51.763 * * * * [points]: Computing exacts on every 2 of 581 points to ramp up precision
51.767 * * * * [points]: Setting MPFR precision to 64
51.807 * * * * [points]: Setting MPFR precision to 320
51.823 * * * * [points]: Computing exacts for 581 points
51.827 * * * * [points]: Setting MPFR precision to 64
51.866 * * * * [points]: Setting MPFR precision to 320
51.908 * * * * [points]: Filtering points with unrepresentable outputs
51.908 * * * * [points]: Sampling 513 additional inputs, on iter 21 have 7487 / 8000
51.911 * * * * [points]: Computing exacts on every 32 of 513 points to ramp up precision
51.915 * * * * [points]: Setting MPFR precision to 64
51.916 * * * * [points]: Setting MPFR precision to 320
51.917 * * * * [points]: Computing exacts on every 16 of 513 points to ramp up precision
51.965 * * * * [points]: Setting MPFR precision to 64
51.972 * * * * [points]: Setting MPFR precision to 320
51.976 * * * * [points]: Computing exacts on every 8 of 513 points to ramp up precision
51.983 * * * * [points]: Setting MPFR precision to 64
51.990 * * * * [points]: Setting MPFR precision to 320
51.996 * * * * [points]: Computing exacts on every 4 of 513 points to ramp up precision
52.000 * * * * [points]: Setting MPFR precision to 64
52.007 * * * * [points]: Setting MPFR precision to 320
52.014 * * * * [points]: Computing exacts on every 2 of 513 points to ramp up precision
52.018 * * * * [points]: Setting MPFR precision to 64
52.030 * * * * [points]: Setting MPFR precision to 320
52.042 * * * * [points]: Computing exacts for 513 points
52.046 * * * * [points]: Setting MPFR precision to 64
52.113 * * * * [points]: Setting MPFR precision to 320
52.152 * * * * [points]: Filtering points with unrepresentable outputs
52.152 * * * * [points]: Sampling 443 additional inputs, on iter 22 have 7557 / 8000
52.154 * * * * [points]: Computing exacts on every 27 of 443 points to ramp up precision
52.157 * * * * [points]: Setting MPFR precision to 64
52.159 * * * * [points]: Setting MPFR precision to 320
52.160 * * * * [points]: Computing exacts on every 13 of 443 points to ramp up precision
52.163 * * * * [points]: Setting MPFR precision to 64
52.166 * * * * [points]: Setting MPFR precision to 320
52.168 * * * * [points]: Computing exacts on every 6 of 443 points to ramp up precision
52.171 * * * * [points]: Setting MPFR precision to 64
52.176 * * * * [points]: Setting MPFR precision to 320
52.180 * * * * [points]: Computing exacts on every 3 of 443 points to ramp up precision
52.184 * * * * [points]: Setting MPFR precision to 64
52.191 * * * * [points]: Setting MPFR precision to 320
52.199 * * * * [points]: Computing exacts for 443 points
52.202 * * * * [points]: Setting MPFR precision to 64
52.276 * * * * [points]: Setting MPFR precision to 320
52.311 * * * * [points]: Filtering points with unrepresentable outputs
52.311 * * * * [points]: Sampling 390 additional inputs, on iter 23 have 7610 / 8000
52.312 * * * * [points]: Computing exacts on every 24 of 390 points to ramp up precision
52.316 * * * * [points]: Setting MPFR precision to 64
52.317 * * * * [points]: Setting MPFR precision to 320
52.318 * * * * [points]: Computing exacts on every 12 of 390 points to ramp up precision
52.322 * * * * [points]: Setting MPFR precision to 64
52.324 * * * * [points]: Setting MPFR precision to 320
52.327 * * * * [points]: Computing exacts on every 6 of 390 points to ramp up precision
52.331 * * * * [points]: Setting MPFR precision to 64
52.335 * * * * [points]: Setting MPFR precision to 320
52.339 * * * * [points]: Computing exacts on every 3 of 390 points to ramp up precision
52.342 * * * * [points]: Setting MPFR precision to 64
52.349 * * * * [points]: Setting MPFR precision to 320
52.356 * * * * [points]: Computing exacts for 390 points
52.397 * * * * [points]: Setting MPFR precision to 64
52.450 * * * * [points]: Setting MPFR precision to 320
52.500 * * * * [points]: Filtering points with unrepresentable outputs
52.501 * * * * [points]: Sampling 345 additional inputs, on iter 24 have 7655 / 8000
52.504 * * * * [points]: Computing exacts on every 21 of 345 points to ramp up precision
52.511 * * * * [points]: Setting MPFR precision to 64
52.513 * * * * [points]: Setting MPFR precision to 320
52.515 * * * * [points]: Computing exacts on every 10 of 345 points to ramp up precision
52.522 * * * * [points]: Setting MPFR precision to 64
52.526 * * * * [points]: Setting MPFR precision to 320
52.531 * * * * [points]: Computing exacts on every 5 of 345 points to ramp up precision
52.537 * * * * [points]: Setting MPFR precision to 64
52.545 * * * * [points]: Setting MPFR precision to 320
52.554 * * * * [points]: Computing exacts on every 2 of 345 points to ramp up precision
52.561 * * * * [points]: Setting MPFR precision to 64
52.576 * * * * [points]: Setting MPFR precision to 320
52.612 * * * * [points]: Computing exacts for 345 points
52.617 * * * * [points]: Setting MPFR precision to 64
52.647 * * * * [points]: Setting MPFR precision to 320
52.673 * * * * [points]: Filtering points with unrepresentable outputs
52.674 * * * * [points]: Sampling 302 additional inputs, on iter 25 have 7698 / 8000
52.675 * * * * [points]: Computing exacts on every 18 of 302 points to ramp up precision
52.678 * * * * [points]: Setting MPFR precision to 64
52.680 * * * * [points]: Setting MPFR precision to 320
52.681 * * * * [points]: Computing exacts on every 9 of 302 points to ramp up precision
52.685 * * * * [points]: Setting MPFR precision to 64
52.687 * * * * [points]: Setting MPFR precision to 320
52.689 * * * * [points]: Computing exacts on every 4 of 302 points to ramp up precision
52.693 * * * * [points]: Setting MPFR precision to 64
52.699 * * * * [points]: Setting MPFR precision to 320
52.704 * * * * [points]: Computing exacts on every 2 of 302 points to ramp up precision
52.707 * * * * [points]: Setting MPFR precision to 64
52.714 * * * * [points]: Setting MPFR precision to 320
52.749 * * * * [points]: Computing exacts for 302 points
52.753 * * * * [points]: Setting MPFR precision to 64
52.778 * * * * [points]: Setting MPFR precision to 320
52.813 * * * * [points]: Filtering points with unrepresentable outputs
52.813 * * * * [points]: Sampling 274 additional inputs, on iter 26 have 7726 / 8000
52.814 * * * * [points]: Computing exacts on every 17 of 274 points to ramp up precision
52.818 * * * * [points]: Setting MPFR precision to 64
52.819 * * * * [points]: Setting MPFR precision to 320
52.820 * * * * [points]: Computing exacts on every 8 of 274 points to ramp up precision
52.823 * * * * [points]: Setting MPFR precision to 64
52.825 * * * * [points]: Setting MPFR precision to 320
52.827 * * * * [points]: Computing exacts on every 4 of 274 points to ramp up precision
52.831 * * * * [points]: Setting MPFR precision to 64
52.835 * * * * [points]: Setting MPFR precision to 320
52.839 * * * * [points]: Computing exacts on every 2 of 274 points to ramp up precision
52.843 * * * * [points]: Setting MPFR precision to 64
52.850 * * * * [points]: Setting MPFR precision to 320
52.856 * * * * [points]: Computing exacts for 274 points
52.860 * * * * [points]: Setting MPFR precision to 64
52.901 * * * * [points]: Setting MPFR precision to 320
52.921 * * * * [points]: Filtering points with unrepresentable outputs
52.921 * * * * [points]: Sampling 240 additional inputs, on iter 27 have 7760 / 8000
52.922 * * * * [points]: Computing exacts on every 15 of 240 points to ramp up precision
52.926 * * * * [points]: Setting MPFR precision to 64
52.927 * * * * [points]: Setting MPFR precision to 320
52.928 * * * * [points]: Computing exacts on every 7 of 240 points to ramp up precision
52.932 * * * * [points]: Setting MPFR precision to 64
52.934 * * * * [points]: Setting MPFR precision to 320
52.936 * * * * [points]: Computing exacts on every 3 of 240 points to ramp up precision
52.939 * * * * [points]: Setting MPFR precision to 64
52.944 * * * * [points]: Setting MPFR precision to 320
52.948 * * * * [points]: Computing exacts for 240 points
52.951 * * * * [points]: Setting MPFR precision to 64
52.968 * * * * [points]: Setting MPFR precision to 320
52.989 * * * * [points]: Filtering points with unrepresentable outputs
52.989 * * * * [points]: Sampling 214 additional inputs, on iter 28 have 7786 / 8000
52.990 * * * * [points]: Computing exacts on every 13 of 214 points to ramp up precision
53.026 * * * * [points]: Setting MPFR precision to 64
53.029 * * * * [points]: Setting MPFR precision to 320
53.034 * * * * [points]: Computing exacts on every 6 of 214 points to ramp up precision
53.040 * * * * [points]: Setting MPFR precision to 64
53.044 * * * * [points]: Setting MPFR precision to 320
53.048 * * * * [points]: Computing exacts on every 3 of 214 points to ramp up precision
53.056 * * * * [points]: Setting MPFR precision to 64
53.060 * * * * [points]: Setting MPFR precision to 320
53.064 * * * * [points]: Computing exacts for 214 points
53.067 * * * * [points]: Setting MPFR precision to 64
53.089 * * * * [points]: Setting MPFR precision to 320
53.104 * * * * [points]: Filtering points with unrepresentable outputs
53.104 * * * * [points]: Sampling 184 additional inputs, on iter 29 have 7816 / 8000
53.105 * * * * [points]: Computing exacts on every 11 of 184 points to ramp up precision
53.109 * * * * [points]: Setting MPFR precision to 64
53.110 * * * * [points]: Setting MPFR precision to 320
53.111 * * * * [points]: Computing exacts on every 5 of 184 points to ramp up precision
53.114 * * * * [points]: Setting MPFR precision to 64
53.116 * * * * [points]: Setting MPFR precision to 320
53.118 * * * * [points]: Computing exacts on every 2 of 184 points to ramp up precision
53.122 * * * * [points]: Setting MPFR precision to 64
53.127 * * * * [points]: Setting MPFR precision to 320
53.132 * * * * [points]: Computing exacts for 184 points
53.135 * * * * [points]: Setting MPFR precision to 64
53.175 * * * * [points]: Setting MPFR precision to 320
53.189 * * * * [points]: Filtering points with unrepresentable outputs
53.189 * * * * [points]: Sampling 167 additional inputs, on iter 30 have 7833 / 8000
53.190 * * * * [points]: Computing exacts on every 10 of 167 points to ramp up precision
53.193 * * * * [points]: Setting MPFR precision to 64
53.195 * * * * [points]: Setting MPFR precision to 320
53.196 * * * * [points]: Computing exacts on every 5 of 167 points to ramp up precision
53.199 * * * * [points]: Setting MPFR precision to 64
53.202 * * * * [points]: Setting MPFR precision to 320
53.204 * * * * [points]: Computing exacts on every 2 of 167 points to ramp up precision
53.208 * * * * [points]: Setting MPFR precision to 64
53.212 * * * * [points]: Setting MPFR precision to 320
53.216 * * * * [points]: Computing exacts for 167 points
53.220 * * * * [points]: Setting MPFR precision to 64
53.231 * * * * [points]: Setting MPFR precision to 320
53.242 * * * * [points]: Filtering points with unrepresentable outputs
53.243 * * * * [points]: Sampling 150 additional inputs, on iter 31 have 7850 / 8000
53.243 * * * * [points]: Computing exacts on every 9 of 150 points to ramp up precision
53.247 * * * * [points]: Setting MPFR precision to 64
53.248 * * * * [points]: Setting MPFR precision to 320
53.249 * * * * [points]: Computing exacts on every 4 of 150 points to ramp up precision
53.252 * * * * [points]: Setting MPFR precision to 64
53.254 * * * * [points]: Setting MPFR precision to 320
53.256 * * * * [points]: Computing exacts on every 2 of 150 points to ramp up precision
53.260 * * * * [points]: Setting MPFR precision to 64
53.282 * * * * [points]: Setting MPFR precision to 320
53.285 * * * * [points]: Computing exacts for 150 points
53.290 * * * * [points]: Setting MPFR precision to 64
53.307 * * * * [points]: Setting MPFR precision to 320
53.320 * * * * [points]: Filtering points with unrepresentable outputs
53.320 * * * * [points]: Sampling 128 additional inputs, on iter 32 have 7872 / 8000
53.321 * * * * [points]: Computing exacts on every 8 of 128 points to ramp up precision
53.325 * * * * [points]: Setting MPFR precision to 64
53.326 * * * * [points]: Setting MPFR precision to 320
53.327 * * * * [points]: Computing exacts on every 4 of 128 points to ramp up precision
53.330 * * * * [points]: Setting MPFR precision to 64
53.332 * * * * [points]: Setting MPFR precision to 320
53.333 * * * * [points]: Computing exacts on every 2 of 128 points to ramp up precision
53.337 * * * * [points]: Setting MPFR precision to 64
53.340 * * * * [points]: Setting MPFR precision to 320
53.344 * * * * [points]: Computing exacts for 128 points
53.351 * * * * [points]: Setting MPFR precision to 64
53.361 * * * * [points]: Setting MPFR precision to 320
53.370 * * * * [points]: Filtering points with unrepresentable outputs
53.371 * * * * [points]: Sampling 114 additional inputs, on iter 33 have 7886 / 8000
53.371 * * * * [points]: Computing exacts on every 7 of 114 points to ramp up precision
53.375 * * * * [points]: Setting MPFR precision to 64
53.376 * * * * [points]: Setting MPFR precision to 320
53.377 * * * * [points]: Computing exacts on every 3 of 114 points to ramp up precision
53.380 * * * * [points]: Setting MPFR precision to 64
53.382 * * * * [points]: Setting MPFR precision to 320
53.384 * * * * [points]: Computing exacts for 114 points
53.408 * * * * [points]: Setting MPFR precision to 64
53.417 * * * * [points]: Setting MPFR precision to 320
53.425 * * * * [points]: Filtering points with unrepresentable outputs
53.425 * * * * [points]: Sampling 103 additional inputs, on iter 34 have 7897 / 8000
53.426 * * * * [points]: Computing exacts on every 6 of 103 points to ramp up precision
53.429 * * * * [points]: Setting MPFR precision to 64
53.430 * * * * [points]: Setting MPFR precision to 320
53.431 * * * * [points]: Computing exacts on every 3 of 103 points to ramp up precision
53.435 * * * * [points]: Setting MPFR precision to 64
53.437 * * * * [points]: Setting MPFR precision to 320
53.438 * * * * [points]: Computing exacts for 103 points
53.442 * * * * [points]: Setting MPFR precision to 64
53.451 * * * * [points]: Setting MPFR precision to 320
53.458 * * * * [points]: Filtering points with unrepresentable outputs
53.458 * * * * [points]: Sampling 91 additional inputs, on iter 35 have 7909 / 8000
53.458 * * * * [points]: Computing exacts on every 5 of 91 points to ramp up precision
53.462 * * * * [points]: Setting MPFR precision to 64
53.463 * * * * [points]: Setting MPFR precision to 320
53.464 * * * * [points]: Computing exacts on every 2 of 91 points to ramp up precision
53.468 * * * * [points]: Setting MPFR precision to 64
53.470 * * * * [points]: Setting MPFR precision to 320
53.472 * * * * [points]: Computing exacts for 91 points
53.476 * * * * [points]: Setting MPFR precision to 64
53.482 * * * * [points]: Setting MPFR precision to 320
53.488 * * * * [points]: Filtering points with unrepresentable outputs
53.489 * * * * [points]: Sampling 84 additional inputs, on iter 36 have 7916 / 8000
53.489 * * * * [points]: Computing exacts on every 5 of 84 points to ramp up precision
53.493 * * * * [points]: Setting MPFR precision to 64
53.494 * * * * [points]: Setting MPFR precision to 320
53.495 * * * * [points]: Computing exacts on every 2 of 84 points to ramp up precision
53.499 * * * * [points]: Setting MPFR precision to 64
53.523 * * * * [points]: Setting MPFR precision to 320
53.525 * * * * [points]: Computing exacts for 84 points
53.529 * * * * [points]: Setting MPFR precision to 64
53.537 * * * * [points]: Setting MPFR precision to 320
53.546 * * * * [points]: Filtering points with unrepresentable outputs
53.547 * * * * [points]: Sampling 75 additional inputs, on iter 37 have 7925 / 8000
53.547 * * * * [points]: Computing exacts on every 4 of 75 points to ramp up precision
53.554 * * * * [points]: Setting MPFR precision to 64
53.555 * * * * [points]: Setting MPFR precision to 320
53.556 * * * * [points]: Computing exacts on every 2 of 75 points to ramp up precision
53.559 * * * * [points]: Setting MPFR precision to 64
53.561 * * * * [points]: Setting MPFR precision to 320
53.563 * * * * [points]: Computing exacts for 75 points
53.567 * * * * [points]: Setting MPFR precision to 64
53.572 * * * * [points]: Setting MPFR precision to 320
53.577 * * * * [points]: Filtering points with unrepresentable outputs
53.577 * * * * [points]: Sampling 66 additional inputs, on iter 38 have 7934 / 8000
53.578 * * * * [points]: Computing exacts on every 4 of 66 points to ramp up precision
53.581 * * * * [points]: Setting MPFR precision to 64
53.583 * * * * [points]: Setting MPFR precision to 320
53.585 * * * * [points]: Computing exacts on every 2 of 66 points to ramp up precision
53.589 * * * * [points]: Setting MPFR precision to 64
53.591 * * * * [points]: Setting MPFR precision to 320
53.592 * * * * [points]: Computing exacts for 66 points
53.596 * * * * [points]: Setting MPFR precision to 64
53.601 * * * * [points]: Setting MPFR precision to 320
53.606 * * * * [points]: Filtering points with unrepresentable outputs
53.606 * * * * [points]: Sampling 58 additional inputs, on iter 39 have 7942 / 8000
53.606 * * * * [points]: Computing exacts on every 3 of 58 points to ramp up precision
53.610 * * * * [points]: Setting MPFR precision to 64
53.611 * * * * [points]: Setting MPFR precision to 320
53.612 * * * * [points]: Computing exacts for 58 points
53.617 * * * * [points]: Setting MPFR precision to 64
53.624 * * * * [points]: Setting MPFR precision to 320
53.649 * * * * [points]: Filtering points with unrepresentable outputs
53.649 * * * * [points]: Sampling 47 additional inputs, on iter 40 have 7953 / 8000
53.649 * * * * [points]: Computing exacts on every 2 of 47 points to ramp up precision
53.653 * * * * [points]: Setting MPFR precision to 64
53.654 * * * * [points]: Setting MPFR precision to 320
53.657 * * * * [points]: Computing exacts for 47 points
53.664 * * * * [points]: Setting MPFR precision to 64
53.670 * * * * [points]: Setting MPFR precision to 320
53.676 * * * * [points]: Filtering points with unrepresentable outputs
53.677 * * * * [points]: Sampling 42 additional inputs, on iter 41 have 7958 / 8000
53.677 * * * * [points]: Computing exacts on every 2 of 42 points to ramp up precision
53.684 * * * * [points]: Setting MPFR precision to 64
53.686 * * * * [points]: Setting MPFR precision to 320
53.688 * * * * [points]: Computing exacts for 42 points
53.695 * * * * [points]: Setting MPFR precision to 64
53.701 * * * * [points]: Setting MPFR precision to 320
53.707 * * * * [points]: Filtering points with unrepresentable outputs
53.707 * * * * [points]: Sampling 40 additional inputs, on iter 42 have 7960 / 8000
53.707 * * * * [points]: Computing exacts on every 2 of 40 points to ramp up precision
53.714 * * * * [points]: Setting MPFR precision to 64
53.716 * * * * [points]: Setting MPFR precision to 320
53.718 * * * * [points]: Computing exacts for 40 points
53.725 * * * * [points]: Setting MPFR precision to 64
53.730 * * * * [points]: Setting MPFR precision to 320
53.735 * * * * [points]: Filtering points with unrepresentable outputs
53.735 * * * * [points]: Sampling 33 additional inputs, on iter 43 have 7967 / 8000
53.736 * * * * [points]: Computing exacts on every 2 of 33 points to ramp up precision
53.740 * * * * [points]: Setting MPFR precision to 64
53.741 * * * * [points]: Setting MPFR precision to 320
53.742 * * * * [points]: Computing exacts for 33 points
53.745 * * * * [points]: Setting MPFR precision to 64
53.748 * * * * [points]: Setting MPFR precision to 320
53.750 * * * * [points]: Filtering points with unrepresentable outputs
53.750 * * * * [points]: Sampling 26 additional inputs, on iter 44 have 7974 / 8000
53.750 * * * * [points]: Computing exacts for 26 points
53.754 * * * * [points]: Setting MPFR precision to 64
53.756 * * * * [points]: Setting MPFR precision to 320
53.758 * * * * [points]: Filtering points with unrepresentable outputs
53.759 * * * * [points]: Sampling 20 additional inputs, on iter 45 have 7980 / 8000
53.759 * * * * [points]: Computing exacts for 20 points
53.762 * * * * [points]: Setting MPFR precision to 64
53.764 * * * * [points]: Setting MPFR precision to 320
53.765 * * * * [points]: Filtering points with unrepresentable outputs
53.765 * * * * [points]: Sampling 17 additional inputs, on iter 46 have 7983 / 8000
53.765 * * * * [points]: Computing exacts for 17 points
53.769 * * * * [points]: Setting MPFR precision to 64
53.771 * * * * [points]: Setting MPFR precision to 320
53.795 * * * * [points]: Filtering points with unrepresentable outputs
53.795 * * * * [points]: Sampling 15 additional inputs, on iter 47 have 7985 / 8000
53.796 * * * * [points]: Computing exacts for 15 points
53.799 * * * * [points]: Setting MPFR precision to 64
53.801 * * * * [points]: Setting MPFR precision to 320
53.802 * * * * [points]: Filtering points with unrepresentable outputs
53.802 * * * * [points]: Sampling 14 additional inputs, on iter 48 have 7986 / 8000
53.802 * * * * [points]: Computing exacts for 14 points
53.808 * * * * [points]: Setting MPFR precision to 64
53.809 * * * * [points]: Setting MPFR precision to 320
53.810 * * * * [points]: Filtering points with unrepresentable outputs
53.811 * * * * [points]: Sampling 12 additional inputs, on iter 49 have 7988 / 8000
53.811 * * * * [points]: Computing exacts for 12 points
53.816 * * * * [points]: Setting MPFR precision to 64
53.817 * * * * [points]: Setting MPFR precision to 320
53.818 * * * * [points]: Filtering points with unrepresentable outputs
53.818 * * * * [points]: Sampling 10 additional inputs, on iter 50 have 7990 / 8000
53.818 * * * * [points]: Computing exacts for 10 points
53.822 * * * * [points]: Setting MPFR precision to 64
53.822 * * * * [points]: Setting MPFR precision to 320
53.823 * * * * [points]: Filtering points with unrepresentable outputs
53.823 * * * * [points]: Sampling 10 additional inputs, on iter 51 have 7990 / 8000
53.823 * * * * [points]: Computing exacts for 10 points
53.827 * * * * [points]: Setting MPFR precision to 64
53.828 * * * * [points]: Setting MPFR precision to 320
53.829 * * * * [points]: Filtering points with unrepresentable outputs
53.829 * * * * [points]: Sampling 8 additional inputs, on iter 52 have 7992 / 8000
53.829 * * * * [points]: Computing exacts for 8 points
53.832 * * * * [points]: Setting MPFR precision to 64
53.833 * * * * [points]: Setting MPFR precision to 320
53.833 * * * * [points]: Filtering points with unrepresentable outputs
53.833 * * * * [points]: Sampling 8 additional inputs, on iter 53 have 7992 / 8000
53.834 * * * * [points]: Computing exacts for 8 points
53.837 * * * * [points]: Setting MPFR precision to 64
53.838 * * * * [points]: Setting MPFR precision to 320
53.838 * * * * [points]: Filtering points with unrepresentable outputs
53.838 * * * * [points]: Sampling 7 additional inputs, on iter 54 have 7993 / 8000
53.838 * * * * [points]: Computing exacts for 7 points
53.842 * * * * [points]: Setting MPFR precision to 64
53.842 * * * * [points]: Setting MPFR precision to 320
53.843 * * * * [points]: Filtering points with unrepresentable outputs
53.843 * * * * [points]: Sampling 7 additional inputs, on iter 55 have 7993 / 8000
53.843 * * * * [points]: Computing exacts for 7 points
53.847 * * * * [points]: Setting MPFR precision to 64
53.848 * * * * [points]: Setting MPFR precision to 320
53.849 * * * * [points]: Filtering points with unrepresentable outputs
53.849 * * * * [points]: Sampling 6 additional inputs, on iter 56 have 7994 / 8000
53.849 * * * * [points]: Computing exacts for 6 points
53.852 * * * * [points]: Setting MPFR precision to 64
53.853 * * * * [points]: Setting MPFR precision to 320
53.853 * * * * [points]: Filtering points with unrepresentable outputs
53.853 * * * * [points]: Sampling 5 additional inputs, on iter 57 have 7995 / 8000
53.853 * * * * [points]: Computing exacts for 5 points
53.857 * * * * [points]: Setting MPFR precision to 64
53.857 * * * * [points]: Setting MPFR precision to 320
53.858 * * * * [points]: Filtering points with unrepresentable outputs
53.858 * * * * [points]: Sampling 4 additional inputs, on iter 58 have 7996 / 8000
53.858 * * * * [points]: Computing exacts for 4 points
53.861 * * * * [points]: Setting MPFR precision to 64
53.862 * * * * [points]: Setting MPFR precision to 320
53.862 * * * * [points]: Filtering points with unrepresentable outputs
53.862 * * * * [points]: Sampling 4 additional inputs, on iter 59 have 7996 / 8000
53.862 * * * * [points]: Computing exacts for 4 points
53.866 * * * * [points]: Setting MPFR precision to 64
53.866 * * * * [points]: Setting MPFR precision to 320
53.866 * * * * [points]: Filtering points with unrepresentable outputs
53.866 * * * * [points]: Sampling 4 additional inputs, on iter 60 have 7996 / 8000
53.867 * * * * [points]: Computing exacts for 4 points
53.870 * * * * [points]: Setting MPFR precision to 64
53.870 * * * * [points]: Setting MPFR precision to 320
53.871 * * * * [points]: Filtering points with unrepresentable outputs
53.871 * * * * [points]: Sampling 4 additional inputs, on iter 61 have 7996 / 8000
53.871 * * * * [points]: Computing exacts for 4 points
54.230 * * * * [points]: Setting MPFR precision to 64
54.231 * * * * [points]: Setting MPFR precision to 320
54.231 * * * * [points]: Filtering points with unrepresentable outputs
54.231 * * * * [points]: Sampling 4 additional inputs, on iter 62 have 7996 / 8000
54.231 * * * * [points]: Computing exacts for 4 points
54.235 * * * * [points]: Setting MPFR precision to 64
54.235 * * * * [points]: Setting MPFR precision to 320
54.235 * * * * [points]: Filtering points with unrepresentable outputs
54.236 * * * * [points]: Sampling 4 additional inputs, on iter 63 have 7997 / 8000
54.236 * * * * [points]: Computing exacts for 4 points
54.241 * * * * [points]: Setting MPFR precision to 64
54.242 * * * * [points]: Setting MPFR precision to 320
54.242 * * * * [points]: Filtering points with unrepresentable outputs
54.242 * * * * [points]: Sampling 4 additional inputs, on iter 64 have 7997 / 8000
54.242 * * * * [points]: Computing exacts for 4 points
54.246 * * * * [points]: Setting MPFR precision to 64
54.246 * * * * [points]: Setting MPFR precision to 320
54.247 * * * * [points]: Filtering points with unrepresentable outputs
54.247 * * * * [points]: Sampling 4 additional inputs, on iter 65 have 7997 / 8000
54.247 * * * * [points]: Computing exacts for 4 points
54.254 * * * * [points]: Setting MPFR precision to 64
54.255 * * * * [points]: Setting MPFR precision to 320
54.255 * * * * [points]: Filtering points with unrepresentable outputs
54.255 * * * * [points]: Sampling 4 additional inputs, on iter 66 have 7998 / 8000
54.256 * * * * [points]: Computing exacts for 4 points
54.262 * * * * [points]: Setting MPFR precision to 64
54.263 * * * * [points]: Setting MPFR precision to 320
54.264 * * * * [points]: Filtering points with unrepresentable outputs
54.264 * * * * [points]: Sampling 4 additional inputs, on iter 67 have 7999 / 8000
54.264 * * * * [points]: Computing exacts for 4 points
54.270 * * * * [points]: Setting MPFR precision to 64
54.271 * * * * [points]: Setting MPFR precision to 320
54.272 * * * * [points]: Filtering points with unrepresentable outputs
54.272 * * * * [points]: Sampling 4 additional inputs, on iter 68 have 7999 / 8000
54.272 * * * * [points]: Computing exacts for 4 points
54.279 * * * * [points]: Setting MPFR precision to 64
54.280 * * * * [points]: Setting MPFR precision to 320
54.281 * * * * [points]: Filtering points with unrepresentable outputs
54.281 * * * * [points]: Sampling 4 additional inputs, on iter 69 have 7999 / 8000
54.281 * * * * [points]: Computing exacts for 4 points
54.288 * * * * [points]: Setting MPFR precision to 64
54.289 * * * * [points]: Setting MPFR precision to 320
54.290 * * * * [points]: Filtering points with unrepresentable outputs
54.290 * * * * [points]: Sampled 8000 points with exact outputs
57.212 * [regime-testing]: Baseline error score: 64.0
57.217 * [regime-testing]: Oracle error score: 64.0
57.224 * [regime-testing]: End program error score: 0.16279421713485165