0.001 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.002 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.003 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.005 * * * * [points]: Setting MPFR precision to 64
0.007 * * * * [points]: Setting MPFR precision to 320
0.008 * * * * [points]: Computing exacts on every 8 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 4 of 256 points to ramp up precision
0.018 * * * * [points]: Setting MPFR precision to 64
0.021 * * * * [points]: Setting MPFR precision to 320
0.025 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.029 * * * * [points]: Setting MPFR precision to 64
0.037 * * * * [points]: Setting MPFR precision to 320
0.046 * * * * [points]: Computing exacts for 256 points
0.051 * * * * [points]: Setting MPFR precision to 64
0.077 * * * * [points]: Setting MPFR precision to 320
0.122 * * * * [points]: Filtering points with unrepresentable outputs
0.123 * * * * [points]: Sampling 223 additional inputs, on iter 1 have 33 / 256
0.124 * * * * [points]: Computing exacts on every 13 of 223 points to ramp up precision
0.129 * * * * [points]: Setting MPFR precision to 64
0.130 * * * * [points]: Setting MPFR precision to 320
0.132 * * * * [points]: Computing exacts on every 6 of 223 points to ramp up precision
0.137 * * * * [points]: Setting MPFR precision to 64
0.140 * * * * [points]: Setting MPFR precision to 320
0.143 * * * * [points]: Computing exacts on every 3 of 223 points to ramp up precision
0.147 * * * * [points]: Setting MPFR precision to 64
0.153 * * * * [points]: Setting MPFR precision to 320
0.158 * * * * [points]: Computing exacts for 223 points
0.164 * * * * [points]: Setting MPFR precision to 64
0.186 * * * * [points]: Setting MPFR precision to 320
0.208 * * * * [points]: Filtering points with unrepresentable outputs
0.208 * * * * [points]: Sampling 199 additional inputs, on iter 2 have 57 / 256
0.210 * * * * [points]: Computing exacts on every 12 of 199 points to ramp up precision
0.215 * * * * [points]: Setting MPFR precision to 64
0.216 * * * * [points]: Setting MPFR precision to 320
0.218 * * * * [points]: Computing exacts on every 6 of 199 points to ramp up precision
0.221 * * * * [points]: Setting MPFR precision to 64
0.224 * * * * [points]: Setting MPFR precision to 320
0.227 * * * * [points]: Computing exacts on every 3 of 199 points to ramp up precision
0.232 * * * * [points]: Setting MPFR precision to 64
0.237 * * * * [points]: Setting MPFR precision to 320
0.242 * * * * [points]: Computing exacts for 199 points
0.245 * * * * [points]: Setting MPFR precision to 64
0.277 * * * * [points]: Setting MPFR precision to 320
0.290 * * * * [points]: Filtering points with unrepresentable outputs
0.291 * * * * [points]: Sampling 177 additional inputs, on iter 3 have 79 / 256
0.291 * * * * [points]: Computing exacts on every 11 of 177 points to ramp up precision
0.295 * * * * [points]: Setting MPFR precision to 64
0.296 * * * * [points]: Setting MPFR precision to 320
0.297 * * * * [points]: Computing exacts on every 5 of 177 points to ramp up precision
0.300 * * * * [points]: Setting MPFR precision to 64
0.302 * * * * [points]: Setting MPFR precision to 320
0.305 * * * * [points]: Computing exacts on every 2 of 177 points to ramp up precision
0.310 * * * * [points]: Setting MPFR precision to 64
0.316 * * * * [points]: Setting MPFR precision to 320
0.321 * * * * [points]: Computing exacts for 177 points
0.325 * * * * [points]: Setting MPFR precision to 64
0.345 * * * * [points]: Setting MPFR precision to 320
0.365 * * * * [points]: Filtering points with unrepresentable outputs
0.365 * * * * [points]: Sampling 158 additional inputs, on iter 4 have 98 / 256
0.366 * * * * [points]: Computing exacts on every 9 of 158 points to ramp up precision
0.371 * * * * [points]: Setting MPFR precision to 64
0.373 * * * * [points]: Setting MPFR precision to 320
0.375 * * * * [points]: Computing exacts on every 4 of 158 points to ramp up precision
0.380 * * * * [points]: Setting MPFR precision to 64
0.383 * * * * [points]: Setting MPFR precision to 320
0.386 * * * * [points]: Computing exacts on every 2 of 158 points to ramp up precision
0.417 * * * * [points]: Setting MPFR precision to 64
0.423 * * * * [points]: Setting MPFR precision to 320
0.428 * * * * [points]: Computing exacts for 158 points
0.433 * * * * [points]: Setting MPFR precision to 64
0.445 * * * * [points]: Setting MPFR precision to 320
0.461 * * * * [points]: Filtering points with unrepresentable outputs
0.461 * * * * [points]: Sampling 136 additional inputs, on iter 5 have 120 / 256
0.462 * * * * [points]: Computing exacts on every 8 of 136 points to ramp up precision
0.467 * * * * [points]: Setting MPFR precision to 64
0.469 * * * * [points]: Setting MPFR precision to 320
0.470 * * * * [points]: Computing exacts on every 4 of 136 points to ramp up precision
0.475 * * * * [points]: Setting MPFR precision to 64
0.478 * * * * [points]: Setting MPFR precision to 320
0.481 * * * * [points]: Computing exacts on every 2 of 136 points to ramp up precision
0.485 * * * * [points]: Setting MPFR precision to 64
0.490 * * * * [points]: Setting MPFR precision to 320
0.495 * * * * [points]: Computing exacts for 136 points
0.500 * * * * [points]: Setting MPFR precision to 64
0.513 * * * * [points]: Setting MPFR precision to 320
0.527 * * * * [points]: Filtering points with unrepresentable outputs
0.527 * * * * [points]: Sampling 127 additional inputs, on iter 6 have 129 / 256
0.528 * * * * [points]: Computing exacts on every 7 of 127 points to ramp up precision
0.533 * * * * [points]: Setting MPFR precision to 64
0.535 * * * * [points]: Setting MPFR precision to 320
0.536 * * * * [points]: Computing exacts on every 3 of 127 points to ramp up precision
0.540 * * * * [points]: Setting MPFR precision to 64
0.566 * * * * [points]: Setting MPFR precision to 320
0.568 * * * * [points]: Computing exacts for 127 points
0.571 * * * * [points]: Setting MPFR precision to 64
0.583 * * * * [points]: Setting MPFR precision to 320
0.591 * * * * [points]: Filtering points with unrepresentable outputs
0.591 * * * * [points]: Sampling 111 additional inputs, on iter 7 have 145 / 256
0.592 * * * * [points]: Computing exacts on every 6 of 111 points to ramp up precision
0.595 * * * * [points]: Setting MPFR precision to 64
0.596 * * * * [points]: Setting MPFR precision to 320
0.597 * * * * [points]: Computing exacts on every 3 of 111 points to ramp up precision
0.601 * * * * [points]: Setting MPFR precision to 64
0.604 * * * * [points]: Setting MPFR precision to 320
0.607 * * * * [points]: Computing exacts for 111 points
0.611 * * * * [points]: Setting MPFR precision to 64
0.619 * * * * [points]: Setting MPFR precision to 320
0.629 * * * * [points]: Filtering points with unrepresentable outputs
0.629 * * * * [points]: Sampling 99 additional inputs, on iter 8 have 157 / 256
0.629 * * * * [points]: Computing exacts on every 6 of 99 points to ramp up precision
0.633 * * * * [points]: Setting MPFR precision to 64
0.634 * * * * [points]: Setting MPFR precision to 320
0.635 * * * * [points]: Computing exacts on every 3 of 99 points to ramp up precision
0.638 * * * * [points]: Setting MPFR precision to 64
0.640 * * * * [points]: Setting MPFR precision to 320
0.642 * * * * [points]: Computing exacts for 99 points
0.645 * * * * [points]: Setting MPFR precision to 64
0.652 * * * * [points]: Setting MPFR precision to 320
0.659 * * * * [points]: Filtering points with unrepresentable outputs
0.659 * * * * [points]: Sampling 88 additional inputs, on iter 9 have 168 / 256
0.659 * * * * [points]: Computing exacts on every 5 of 88 points to ramp up precision
0.684 * * * * [points]: Setting MPFR precision to 64
0.685 * * * * [points]: Setting MPFR precision to 320
0.686 * * * * [points]: Computing exacts on every 2 of 88 points to ramp up precision
0.689 * * * * [points]: Setting MPFR precision to 64
0.691 * * * * [points]: Setting MPFR precision to 320
0.693 * * * * [points]: Computing exacts for 88 points
0.697 * * * * [points]: Setting MPFR precision to 64
0.702 * * * * [points]: Setting MPFR precision to 320
0.708 * * * * [points]: Filtering points with unrepresentable outputs
0.709 * * * * [points]: Sampling 72 additional inputs, on iter 10 have 184 / 256
0.709 * * * * [points]: Computing exacts on every 4 of 72 points to ramp up precision
0.712 * * * * [points]: Setting MPFR precision to 64
0.713 * * * * [points]: Setting MPFR precision to 320
0.714 * * * * [points]: Computing exacts on every 2 of 72 points to ramp up precision
0.718 * * * * [points]: Setting MPFR precision to 64
0.720 * * * * [points]: Setting MPFR precision to 320
0.721 * * * * [points]: Computing exacts for 72 points
0.725 * * * * [points]: Setting MPFR precision to 64
0.730 * * * * [points]: Setting MPFR precision to 320
0.735 * * * * [points]: Filtering points with unrepresentable outputs
0.735 * * * * [points]: Sampling 60 additional inputs, on iter 11 have 196 / 256
0.735 * * * * [points]: Computing exacts on every 3 of 60 points to ramp up precision
0.739 * * * * [points]: Setting MPFR precision to 64
0.740 * * * * [points]: Setting MPFR precision to 320
0.741 * * * * [points]: Computing exacts for 60 points
0.744 * * * * [points]: Setting MPFR precision to 64
0.748 * * * * [points]: Setting MPFR precision to 320
0.752 * * * * [points]: Filtering points with unrepresentable outputs
0.752 * * * * [points]: Sampling 52 additional inputs, on iter 12 have 204 / 256
0.752 * * * * [points]: Computing exacts on every 3 of 52 points to ramp up precision
0.756 * * * * [points]: Setting MPFR precision to 64
0.757 * * * * [points]: Setting MPFR precision to 320
0.758 * * * * [points]: Computing exacts for 52 points
0.761 * * * * [points]: Setting MPFR precision to 64
0.765 * * * * [points]: Setting MPFR precision to 320
0.768 * * * * [points]: Filtering points with unrepresentable outputs
0.768 * * * * [points]: Sampling 44 additional inputs, on iter 13 have 212 / 256
0.768 * * * * [points]: Computing exacts on every 2 of 44 points to ramp up precision
0.797 * * * * [points]: Setting MPFR precision to 64
0.799 * * * * [points]: Setting MPFR precision to 320
0.801 * * * * [points]: Computing exacts for 44 points
0.806 * * * * [points]: Setting MPFR precision to 64
0.811 * * * * [points]: Setting MPFR precision to 320
0.815 * * * * [points]: Filtering points with unrepresentable outputs
0.815 * * * * [points]: Sampling 35 additional inputs, on iter 14 have 221 / 256
0.816 * * * * [points]: Computing exacts on every 2 of 35 points to ramp up precision
0.821 * * * * [points]: Setting MPFR precision to 64
0.822 * * * * [points]: Setting MPFR precision to 320
0.823 * * * * [points]: Computing exacts for 35 points
0.829 * * * * [points]: Setting MPFR precision to 64
0.833 * * * * [points]: Setting MPFR precision to 320
0.837 * * * * [points]: Filtering points with unrepresentable outputs
0.837 * * * * [points]: Sampling 32 additional inputs, on iter 15 have 224 / 256
0.837 * * * * [points]: Computing exacts on every 2 of 32 points to ramp up precision
0.842 * * * * [points]: Setting MPFR precision to 64
0.843 * * * * [points]: Setting MPFR precision to 320
0.844 * * * * [points]: Computing exacts for 32 points
0.848 * * * * [points]: Setting MPFR precision to 64
0.850 * * * * [points]: Setting MPFR precision to 320
0.853 * * * * [points]: Filtering points with unrepresentable outputs
0.853 * * * * [points]: Sampling 29 additional inputs, on iter 16 have 227 / 256
0.853 * * * * [points]: Computing exacts for 29 points
0.858 * * * * [points]: Setting MPFR precision to 64
0.860 * * * * [points]: Setting MPFR precision to 320
0.862 * * * * [points]: Filtering points with unrepresentable outputs
0.862 * * * * [points]: Sampling 27 additional inputs, on iter 17 have 229 / 256
0.862 * * * * [points]: Computing exacts for 27 points
0.865 * * * * [points]: Setting MPFR precision to 64
0.867 * * * * [points]: Setting MPFR precision to 320
0.869 * * * * [points]: Filtering points with unrepresentable outputs
0.869 * * * * [points]: Sampling 24 additional inputs, on iter 18 have 232 / 256
0.869 * * * * [points]: Computing exacts for 24 points
0.874 * * * * [points]: Setting MPFR precision to 64
0.877 * * * * [points]: Setting MPFR precision to 320
0.879 * * * * [points]: Filtering points with unrepresentable outputs
0.879 * * * * [points]: Sampling 23 additional inputs, on iter 19 have 233 / 256
0.879 * * * * [points]: Computing exacts for 23 points
0.884 * * * * [points]: Setting MPFR precision to 64
0.887 * * * * [points]: Setting MPFR precision to 320
0.889 * * * * [points]: Filtering points with unrepresentable outputs
0.889 * * * * [points]: Sampling 20 additional inputs, on iter 20 have 236 / 256
0.889 * * * * [points]: Computing exacts for 20 points
0.894 * * * * [points]: Setting MPFR precision to 64
0.896 * * * * [points]: Setting MPFR precision to 320
0.899 * * * * [points]: Filtering points with unrepresentable outputs
0.899 * * * * [points]: Sampling 18 additional inputs, on iter 21 have 238 / 256
0.899 * * * * [points]: Computing exacts for 18 points
0.914 * * * * [points]: Setting MPFR precision to 64
0.943 * * * * [points]: Setting MPFR precision to 320
0.945 * * * * [points]: Filtering points with unrepresentable outputs
0.945 * * * * [points]: Sampling 17 additional inputs, on iter 22 have 239 / 256
0.945 * * * * [points]: Computing exacts for 17 points
0.951 * * * * [points]: Setting MPFR precision to 64
0.952 * * * * [points]: Setting MPFR precision to 320
0.954 * * * * [points]: Filtering points with unrepresentable outputs
0.954 * * * * [points]: Sampling 10 additional inputs, on iter 23 have 246 / 256
0.954 * * * * [points]: Computing exacts for 10 points
0.959 * * * * [points]: Setting MPFR precision to 64
0.960 * * * * [points]: Setting MPFR precision to 320
0.961 * * * * [points]: Filtering points with unrepresentable outputs
0.961 * * * * [points]: Sampling 8 additional inputs, on iter 24 have 248 / 256
0.961 * * * * [points]: Computing exacts for 8 points
0.967 * * * * [points]: Setting MPFR precision to 64
0.968 * * * * [points]: Setting MPFR precision to 320
0.968 * * * * [points]: Filtering points with unrepresentable outputs
0.968 * * * * [points]: Sampling 7 additional inputs, on iter 25 have 249 / 256
0.969 * * * * [points]: Computing exacts for 7 points
0.973 * * * * [points]: Setting MPFR precision to 64
0.974 * * * * [points]: Setting MPFR precision to 320
0.975 * * * * [points]: Filtering points with unrepresentable outputs
0.975 * * * * [points]: Sampling 6 additional inputs, on iter 26 have 250 / 256
0.975 * * * * [points]: Computing exacts for 6 points
0.980 * * * * [points]: Setting MPFR precision to 64
0.981 * * * * [points]: Setting MPFR precision to 320
0.982 * * * * [points]: Filtering points with unrepresentable outputs
0.982 * * * * [points]: Sampling 4 additional inputs, on iter 27 have 252 / 256
0.982 * * * * [points]: Computing exacts for 4 points
0.987 * * * * [points]: Setting MPFR precision to 64
0.987 * * * * [points]: Setting MPFR precision to 320
0.988 * * * * [points]: Filtering points with unrepresentable outputs
0.988 * * * * [points]: Sampling 4 additional inputs, on iter 28 have 252 / 256
0.988 * * * * [points]: Computing exacts for 4 points
0.993 * * * * [points]: Setting MPFR precision to 64
0.993 * * * * [points]: Setting MPFR precision to 320
0.993 * * * * [points]: Filtering points with unrepresentable outputs
0.994 * * * * [points]: Sampling 4 additional inputs, on iter 29 have 252 / 256
0.994 * * * * [points]: Computing exacts for 4 points
0.998 * * * * [points]: Setting MPFR precision to 64
0.999 * * * * [points]: Setting MPFR precision to 320
0.999 * * * * [points]: Filtering points with unrepresentable outputs
0.999 * * * * [points]: Sampling 4 additional inputs, on iter 30 have 253 / 256
0.999 * * * * [points]: Computing exacts for 4 points
1.004 * * * * [points]: Setting MPFR precision to 64
1.005 * * * * [points]: Setting MPFR precision to 320
1.005 * * * * [points]: Filtering points with unrepresentable outputs
1.005 * * * * [points]: Sampling 4 additional inputs, on iter 31 have 253 / 256
1.005 * * * * [points]: Computing exacts for 4 points
1.010 * * * * [points]: Setting MPFR precision to 64
1.011 * * * * [points]: Setting MPFR precision to 320
1.011 * * * * [points]: Filtering points with unrepresentable outputs
1.011 * * * * [points]: Sampling 4 additional inputs, on iter 32 have 254 / 256
1.011 * * * * [points]: Computing exacts for 4 points
1.017 * * * * [points]: Setting MPFR precision to 64
1.017 * * * * [points]: Setting MPFR precision to 320
1.018 * * * * [points]: Filtering points with unrepresentable outputs
1.018 * * * * [points]: Sampling 4 additional inputs, on iter 33 have 254 / 256
1.018 * * * * [points]: Computing exacts for 4 points
1.023 * * * * [points]: Setting MPFR precision to 64
1.024 * * * * [points]: Setting MPFR precision to 320
1.024 * * * * [points]: Filtering points with unrepresentable outputs
1.024 * * * * [points]: Sampling 4 additional inputs, on iter 34 have 254 / 256
1.024 * * * * [points]: Computing exacts for 4 points
1.029 * * * * [points]: Setting MPFR precision to 64
1.030 * * * * [points]: Setting MPFR precision to 320
1.030 * * * * [points]: Filtering points with unrepresentable outputs
1.030 * * * * [points]: Sampling 4 additional inputs, on iter 35 have 255 / 256
1.031 * * * * [points]: Computing exacts for 4 points
1.036 * * * * [points]: Setting MPFR precision to 64
1.036 * * * * [points]: Setting MPFR precision to 320
1.037 * * * * [points]: Filtering points with unrepresentable outputs
1.037 * * * * [points]: Sampling 4 additional inputs, on iter 36 have 255 / 256
1.037 * * * * [points]: Computing exacts for 4 points
1.042 * * * * [points]: Setting MPFR precision to 64
1.043 * * * * [points]: Setting MPFR precision to 320
1.043 * * * * [points]: Filtering points with unrepresentable outputs
1.043 * * * * [points]: Sampled 256 points with exact outputs
1.043 * * * [progress]: [2/2] Setting up program.
1.069 * [progress]: [Phase 2 of 3] Improving.
1.069 * * * * [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.069 * [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.069 * * [simplify]: iters left: 6 (15 enodes)
1.072 * * [simplify]: iters left: 5 (54 enodes)
1.082 * * [simplify]: iters left: 4 (174 enodes)
1.171 * * [simplify]: Extracting #0: cost 1 inf + 0
1.171 * * [simplify]: Extracting #1: cost 2 inf + 0
1.171 * * [simplify]: Extracting #2: cost 52 inf + 0
1.172 * * [simplify]: Extracting #3: cost 218 inf + 0
1.173 * * [simplify]: Extracting #4: cost 350 inf + 488
1.180 * * [simplify]: Extracting #5: cost 271 inf + 83278
1.200 * * [simplify]: Extracting #6: cost 99 inf + 301152
1.236 * * [simplify]: Extracting #7: cost 13 inf + 445414
1.280 * * [simplify]: Extracting #8: cost 0 inf + 471346
1.321 * [simplify]: Simplified to (sqrt.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c)))
1.322 * [simplify]: Simplified (2) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c))))
1.339 * * [progress]: iteration 1 / 4
1.339 * * * [progress]: picking best candidate
1.351 * * * * [pick]: Picked  #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
1.351 * * * [progress]: localizing error
1.593 * * * [progress]: generating rewritten candidates
1.593 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 2)
1.616 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
1.652 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
1.682 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
1.708 * * * [progress]: generating series expansions
1.708 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 2)
1.708 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
1.708 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
1.708 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
1.708 * * * [progress]: simplifying candidates
1.708 * * * * [progress]: [ 1 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
1.708 * * * * [progress]: [ 2 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
1.708 * * * * [progress]: [ 3 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 c)))))>
1.708 * * * * [progress]: [ 4 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
1.708 * * * * [progress]: [ 5 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
1.708 * * * * [progress]: [ 6 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
1.708 * * * * [progress]: [ 7 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (+.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (neg.p16 b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
1.708 * [simplify]: Simplifying (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (neg.p16 b))
1.709 * * [simplify]: iters left: 6 (12 enodes)
1.712 * * [simplify]: iters left: 5 (36 enodes)
1.719 * * [simplify]: iters left: 4 (88 enodes)
1.738 * * [simplify]: iters left: 3 (326 enodes)
1.928 * * [simplify]: Extracting #0: cost 1 inf + 0
1.928 * * [simplify]: Extracting #1: cost 40 inf + 0
1.929 * * [simplify]: Extracting #2: cost 279 inf + 0
1.933 * * [simplify]: Extracting #3: cost 410 inf + 33268
1.960 * * [simplify]: Extracting #4: cost 143 inf + 349076
2.004 * * [simplify]: Extracting #5: cost 45 inf + 540181
2.056 * * [simplify]: Extracting #6: cost 1 inf + 609412
2.112 * * [simplify]: Extracting #7: cost 0 inf + 612496
2.158 * [simplify]: Simplified to (*.p16 (neg.p16 b) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))))
2.158 * [simplify]: Simplified (2 1 1 2) to (λ (a b c) (sqrt.p16 (*.p16 (+.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (neg.p16 b) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
2.158 * * * * [progress]: [ 8 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (*.p16 (neg.p16 b) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
2.158 * [simplify]: Simplifying (*.p16 (neg.p16 b) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)))
2.158 * * [simplify]: iters left: 6 (12 enodes)
2.161 * * [simplify]: iters left: 5 (36 enodes)
2.168 * * [simplify]: iters left: 4 (94 enodes)
2.193 * * [simplify]: iters left: 3 (374 enodes)
2.362 * * [simplify]: Extracting #0: cost 1 inf + 0
2.362 * * [simplify]: Extracting #1: cost 43 inf + 0
2.363 * * [simplify]: Extracting #2: cost 305 inf + 0
2.366 * * [simplify]: Extracting #3: cost 440 inf + 32487
2.395 * * [simplify]: Extracting #4: cost 120 inf + 424278
2.436 * * [simplify]: Extracting #5: cost 24 inf + 622865
2.493 * * [simplify]: Extracting #6: cost 0 inf + 657281
2.537 * [simplify]: Simplified to (*.p16 (neg.p16 b) (*.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) a)))
2.537 * [simplify]: Simplified (2 1 1 2) to (λ (a b c) (sqrt.p16 (*.p16 (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (*.p16 (neg.p16 b) (*.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
2.537 * * * * [progress]: [ 9 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
2.538 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))
2.538 * * [simplify]: iters left: 3 (8 enodes)
2.540 * * [simplify]: iters left: 2 (19 enodes)
2.542 * * [simplify]: iters left: 1 (25 enodes)
2.546 * * [simplify]: Extracting #0: cost 1 inf + 0
2.546 * * [simplify]: Extracting #1: cost 3 inf + 0
2.546 * * [simplify]: Extracting #2: cost 10 inf + 0
2.546 * * [simplify]: Extracting #3: cost 5 inf + 46
2.546 * * [simplify]: Extracting #4: cost 0 inf + 738
2.546 * [simplify]: Simplified to (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))
2.546 * [simplify]: Simplified (2 1 1 1) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
2.546 * * * * [progress]: [ 10 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
2.546 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)
2.546 * * [simplify]: iters left: 4 (9 enodes)
2.548 * * [simplify]: iters left: 3 (21 enodes)
2.551 * * [simplify]: iters left: 2 (27 enodes)
2.555 * * [simplify]: iters left: 1 (28 enodes)
2.558 * * [simplify]: Extracting #0: cost 1 inf + 0
2.558 * * [simplify]: Extracting #1: cost 3 inf + 0
2.558 * * [simplify]: Extracting #2: cost 4 inf + 1
2.558 * * [simplify]: Extracting #3: cost 10 inf + 1
2.558 * * [simplify]: Extracting #4: cost 5 inf + 47
2.558 * * [simplify]: Extracting #5: cost 1 inf + 738
2.558 * * [simplify]: Extracting #6: cost 0 inf + 1302
2.559 * [simplify]: Simplified to (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b)
2.559 * [simplify]: Simplified (2 1 1 2) to (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
2.559 * * * * [progress]: [ 11 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
2.559 * [simplify]: Simplifying (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))
2.559 * * [simplify]: iters left: 6 (14 enodes)
2.562 * * [simplify]: iters left: 5 (51 enodes)
2.572 * * [simplify]: iters left: 4 (173 enodes)
2.629 * * [simplify]: Extracting #0: cost 1 inf + 0
2.630 * * [simplify]: Extracting #1: cost 48 inf + 0
2.630 * * [simplify]: Extracting #2: cost 196 inf + 0
2.632 * * [simplify]: Extracting #3: cost 275 inf + 1859
2.636 * * [simplify]: Extracting #4: cost 237 inf + 79873
2.656 * * [simplify]: Extracting #5: cost 41 inf + 350410
2.683 * * [simplify]: Extracting #6: cost 1 inf + 422604
2.721 * * [simplify]: Extracting #7: cost 0 inf + 425528
2.761 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)))
2.761 * [simplify]: Simplified (2 1 1 1) to (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
2.762 * * * * [progress]: [ 12 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
2.762 * [simplify]: Simplifying (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))
2.762 * * [simplify]: iters left: 6 (12 enodes)
2.767 * * [simplify]: iters left: 5 (40 enodes)
2.778 * * [simplify]: iters left: 4 (117 enodes)
2.847 * * [simplify]: Extracting #0: cost 1 inf + 0
2.847 * * [simplify]: Extracting #1: cost 45 inf + 0
2.847 * * [simplify]: Extracting #2: cost 164 inf + 0
2.848 * * [simplify]: Extracting #3: cost 241 inf + 1094
2.850 * * [simplify]: Extracting #4: cost 183 inf + 54639
2.862 * * [simplify]: Extracting #5: cost 31 inf + 243256
2.880 * * [simplify]: Extracting #6: cost 5 inf + 280996
2.896 * * [simplify]: Extracting #7: cost 0 inf + 291976
2.913 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 (+.p16 b a) c) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a))
2.913 * [simplify]: Simplified (2 1 1 1) to (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (+.p16 (+.p16 b a) c) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
2.913 * * * * [progress]: [ 13 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
2.914 * * * * [progress]: [ 14 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
2.914 * [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)))
2.914 * * [simplify]: iters left: 6 (15 enodes)
2.918 * * [simplify]: iters left: 5 (54 enodes)
2.927 * * [simplify]: iters left: 4 (174 enodes)
2.999 * * [simplify]: Extracting #0: cost 1 inf + 0
2.999 * * [simplify]: Extracting #1: cost 2 inf + 0
2.999 * * [simplify]: Extracting #2: cost 52 inf + 0
3.000 * * [simplify]: Extracting #3: cost 218 inf + 0
3.001 * * [simplify]: Extracting #4: cost 350 inf + 488
3.005 * * [simplify]: Extracting #5: cost 271 inf + 83278
3.023 * * [simplify]: Extracting #6: cost 99 inf + 301152
3.048 * * [simplify]: Extracting #7: cost 13 inf + 445414
3.076 * * [simplify]: Extracting #8: cost 0 inf + 471346
3.105 * [simplify]: Simplified to (sqrt.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c)))
3.105 * [simplify]: Simplified (2) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c))))
3.105 * * * * [progress]: [ 15 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
3.105 * [simplify]: Simplifying (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))
3.105 * * [simplify]: iters left: 6 (15 enodes)
3.109 * * [simplify]: iters left: 5 (54 enodes)
3.120 * * [simplify]: iters left: 4 (174 enodes)
3.208 * * [simplify]: Extracting #0: cost 1 inf + 0
3.208 * * [simplify]: Extracting #1: cost 2 inf + 0
3.208 * * [simplify]: Extracting #2: cost 52 inf + 0
3.209 * * [simplify]: Extracting #3: cost 218 inf + 0
3.211 * * [simplify]: Extracting #4: cost 350 inf + 488
3.219 * * [simplify]: Extracting #5: cost 271 inf + 83278
3.244 * * [simplify]: Extracting #6: cost 99 inf + 301152
3.275 * * [simplify]: Extracting #7: cost 13 inf + 445414
3.306 * * [simplify]: Extracting #8: cost 0 inf + 471346
3.334 * [simplify]: Simplified to (sqrt.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c)))
3.334 * [simplify]: Simplified (2) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c))))
3.334 * * * * [progress]: [ 16 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
3.335 * [simplify]: Simplifying (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))
3.335 * * [simplify]: iters left: 6 (15 enodes)
3.338 * * [simplify]: iters left: 5 (54 enodes)
3.348 * * [simplify]: iters left: 4 (174 enodes)
3.416 * * [simplify]: Extracting #0: cost 1 inf + 0
3.416 * * [simplify]: Extracting #1: cost 2 inf + 0
3.416 * * [simplify]: Extracting #2: cost 52 inf + 0
3.417 * * [simplify]: Extracting #3: cost 218 inf + 0
3.418 * * [simplify]: Extracting #4: cost 350 inf + 488
3.422 * * [simplify]: Extracting #5: cost 271 inf + 83278
3.437 * * [simplify]: Extracting #6: cost 99 inf + 301152
3.464 * * [simplify]: Extracting #7: cost 13 inf + 445414
3.493 * * [simplify]: Extracting #8: cost 0 inf + 471346
3.521 * [simplify]: Simplified to (sqrt.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c)))
3.521 * [simplify]: Simplified (2) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c))))
3.521 * * * * [progress]: [ 17 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
3.521 * [simplify]: Simplifying (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))
3.521 * * [simplify]: iters left: 6 (15 enodes)
3.524 * * [simplify]: iters left: 5 (54 enodes)
3.534 * * [simplify]: iters left: 4 (174 enodes)
3.627 * * [simplify]: Extracting #0: cost 1 inf + 0
3.627 * * [simplify]: Extracting #1: cost 2 inf + 0
3.627 * * [simplify]: Extracting #2: cost 52 inf + 0
3.628 * * [simplify]: Extracting #3: cost 218 inf + 0
3.630 * * [simplify]: Extracting #4: cost 350 inf + 488
3.637 * * [simplify]: Extracting #5: cost 271 inf + 83278
3.660 * * [simplify]: Extracting #6: cost 99 inf + 301152
3.700 * * [simplify]: Extracting #7: cost 13 inf + 445414
3.745 * * [simplify]: Extracting #8: cost 0 inf + 471346
3.791 * [simplify]: Simplified to (sqrt.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c)))
3.791 * [simplify]: Simplified (2) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c))))
3.792 * * * [progress]: adding candidates to table
4.281 * * [progress]: iteration 2 / 4
4.281 * * * [progress]: picking best candidate
4.351 * * * * [pick]: Picked  #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
4.351 * * * [progress]: localizing error
4.729 * * * [progress]: generating rewritten candidates
4.729 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
5.085 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 2)
5.110 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
5.132 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2)
5.135 * * * [progress]: generating series expansions
5.135 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
5.135 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 2)
5.135 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
5.135 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2)
5.135 * * * [progress]: simplifying candidates
5.135 * * * * [progress]: [ 1 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
5.136 * [simplify]: Simplifying (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))
5.136 * * [simplify]: iters left: 5 (10 enodes)
5.138 * * [simplify]: iters left: 4 (31 enodes)
5.144 * * [simplify]: iters left: 3 (69 enodes)
5.162 * * [simplify]: iters left: 2 (236 enodes)
5.305 * * [simplify]: Extracting #0: cost 1 inf + 0
5.305 * * [simplify]: Extracting #1: cost 28 inf + 0
5.306 * * [simplify]: Extracting #2: cost 177 inf + 0
5.308 * * [simplify]: Extracting #3: cost 284 inf + 4676
5.314 * * [simplify]: Extracting #4: cost 222 inf + 71674
5.338 * * [simplify]: Extracting #5: cost 74 inf + 271655
5.368 * * [simplify]: Extracting #6: cost 0 inf + 386774
5.393 * * [simplify]: Extracting #7: cost 0 inf + 386134
5.419 * [simplify]: Simplified to (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))
5.419 * [simplify]: Simplified (2 1 1 1) to (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
5.419 * * * * [progress]: [ 2 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 b b) (*.p16 b b)))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
5.419 * [simplify]: Simplifying (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 b b) (*.p16 b b))))
5.419 * * [simplify]: iters left: 6 (16 enodes)
5.423 * * [simplify]: iters left: 5 (61 enodes)
5.445 * * [simplify]: iters left: 4 (216 enodes)
5.575 * * [simplify]: Extracting #0: cost 1 inf + 0
5.575 * * [simplify]: Extracting #1: cost 48 inf + 0
5.576 * * [simplify]: Extracting #2: cost 223 inf + 0
5.582 * * [simplify]: Extracting #3: cost 263 inf + 69049
5.612 * * [simplify]: Extracting #4: cost 152 inf + 380772
5.653 * * [simplify]: Extracting #5: cost 3 inf + 629182
5.691 * * [simplify]: Extracting #6: cost 0 inf + 637514
5.741 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 b b)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 b b))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))))
5.741 * [simplify]: Simplified (2 1 1 1) to (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 b b)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 b b))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
5.741 * * * * [progress]: [ 3 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
5.742 * [simplify]: Simplifying (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)))
5.742 * * [simplify]: iters left: 6 (15 enodes)
5.746 * * [simplify]: iters left: 5 (55 enodes)
5.758 * * [simplify]: iters left: 4 (194 enodes)
5.843 * * [simplify]: Extracting #0: cost 1 inf + 0
5.843 * * [simplify]: Extracting #1: cost 59 inf + 0
5.844 * * [simplify]: Extracting #2: cost 262 inf + 0
5.847 * * [simplify]: Extracting #3: cost 306 inf + 47598
5.865 * * [simplify]: Extracting #4: cost 150 inf + 352982
5.912 * * [simplify]: Extracting #5: cost 10 inf + 577466
5.976 * * [simplify]: Extracting #6: cost 0 inf + 595542
6.048 * [simplify]: Simplified to (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))))
6.048 * [simplify]: Simplified (2 1 1 1) to (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
6.048 * * * * [progress]: [ 4 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
6.048 * [simplify]: Simplifying (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)))
6.049 * * [simplify]: iters left: 6 (14 enodes)
6.055 * * [simplify]: iters left: 5 (49 enodes)
6.075 * * [simplify]: iters left: 4 (169 enodes)
6.179 * * [simplify]: Extracting #0: cost 1 inf + 0
6.179 * * [simplify]: Extracting #1: cost 57 inf + 0
6.179 * * [simplify]: Extracting #2: cost 236 inf + 0
6.180 * * [simplify]: Extracting #3: cost 335 inf + 695
6.185 * * [simplify]: Extracting #4: cost 268 inf + 84470
6.199 * * [simplify]: Extracting #5: cost 93 inf + 311002
6.242 * * [simplify]: Extracting #6: cost 21 inf + 436169
6.295 * * [simplify]: Extracting #7: cost 1 inf + 484889
6.348 * * [simplify]: Extracting #8: cost 0 inf + 488053
6.401 * [simplify]: Simplified to (*.p16 (+.p16 (+.p16 b a) c) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a))))
6.401 * [simplify]: Simplified (2 1 1 1) to (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (+.p16 (+.p16 b a) c) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
6.402 * * * * [progress]: [ 5 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 a))) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
6.402 * * * * [progress]: [ 6 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
6.402 * * * * [progress]: [ 7 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.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)))))>
6.402 * * * * [progress]: [ 8 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
6.402 * * * * [progress]: [ 9 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 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))))>
6.402 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)
6.403 * * [simplify]: iters left: 4 (9 enodes)
6.407 * * [simplify]: iters left: 3 (21 enodes)
6.415 * * [simplify]: iters left: 2 (27 enodes)
6.423 * * [simplify]: iters left: 1 (28 enodes)
6.430 * * [simplify]: Extracting #0: cost 1 inf + 0
6.430 * * [simplify]: Extracting #1: cost 3 inf + 0
6.430 * * [simplify]: Extracting #2: cost 4 inf + 1
6.430 * * [simplify]: Extracting #3: cost 10 inf + 1
6.430 * * [simplify]: Extracting #4: cost 5 inf + 47
6.430 * * [simplify]: Extracting #5: cost 1 inf + 738
6.431 * * [simplify]: Extracting #6: cost 0 inf + 1302
6.431 * [simplify]: Simplified to (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b)
6.431 * [simplify]: Simplified (2 1 1 1 2 1) to (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (*.p16 (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
6.431 * [simplify]: Simplifying (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)
6.431 * * [simplify]: iters left: 4 (9 enodes)
6.433 * * [simplify]: iters left: 3 (27 enodes)
6.437 * * [simplify]: iters left: 2 (47 enodes)
6.445 * * [simplify]: iters left: 1 (123 enodes)
6.489 * * [simplify]: Extracting #0: cost 1 inf + 0
6.489 * * [simplify]: Extracting #1: cost 15 inf + 0
6.489 * * [simplify]: Extracting #2: cost 52 inf + 82
6.489 * * [simplify]: Extracting #3: cost 87 inf + 1044
6.490 * * [simplify]: Extracting #4: cost 140 inf + 5615
6.491 * * [simplify]: Extracting #5: cost 118 inf + 19352
6.494 * * [simplify]: Extracting #6: cost 58 inf + 77580
6.502 * * [simplify]: Extracting #7: cost 8 inf + 157140
6.514 * * [simplify]: Extracting #8: cost 0 inf + 176132
6.531 * [simplify]: Simplified to (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) b)
6.531 * [simplify]: Simplified (2 1 1 1 2 2) to (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
6.531 * * * * [progress]: [ 10 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (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))))>
6.531 * * * * [progress]: [ 11 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.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))))>
6.531 * * * * [progress]: [ 12 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
6.532 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)
6.532 * * [simplify]: iters left: 4 (9 enodes)
6.535 * * [simplify]: iters left: 3 (21 enodes)
6.541 * * [simplify]: iters left: 2 (27 enodes)
6.549 * * [simplify]: iters left: 1 (28 enodes)
6.557 * * [simplify]: Extracting #0: cost 1 inf + 0
6.557 * * [simplify]: Extracting #1: cost 3 inf + 0
6.557 * * [simplify]: Extracting #2: cost 4 inf + 1
6.557 * * [simplify]: Extracting #3: cost 10 inf + 1
6.557 * * [simplify]: Extracting #4: cost 5 inf + 47
6.557 * * [simplify]: Extracting #5: cost 1 inf + 738
6.558 * * [simplify]: Extracting #6: cost 0 inf + 1302
6.558 * [simplify]: Simplified to (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b)
6.558 * [simplify]: Simplified (2 1 1 2) to (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
6.558 * * * * [progress]: [ 13 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
6.558 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)
6.559 * * [simplify]: iters left: 4 (9 enodes)
6.562 * * [simplify]: iters left: 3 (21 enodes)
6.569 * * [simplify]: iters left: 2 (27 enodes)
6.576 * * [simplify]: iters left: 1 (28 enodes)
6.584 * * [simplify]: Extracting #0: cost 1 inf + 0
6.584 * * [simplify]: Extracting #1: cost 3 inf + 0
6.584 * * [simplify]: Extracting #2: cost 4 inf + 1
6.584 * * [simplify]: Extracting #3: cost 10 inf + 1
6.584 * * [simplify]: Extracting #4: cost 5 inf + 47
6.584 * * [simplify]: Extracting #5: cost 1 inf + 738
6.584 * * [simplify]: Extracting #6: cost 0 inf + 1302
6.585 * [simplify]: Simplified to (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b)
6.585 * [simplify]: Simplified (2 1 1 2) to (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
6.585 * * * * [progress]: [ 14 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
6.585 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)
6.585 * * [simplify]: iters left: 4 (9 enodes)
6.589 * * [simplify]: iters left: 3 (21 enodes)
6.596 * * [simplify]: iters left: 2 (27 enodes)
6.603 * * [simplify]: iters left: 1 (28 enodes)
6.610 * * [simplify]: Extracting #0: cost 1 inf + 0
6.610 * * [simplify]: Extracting #1: cost 3 inf + 0
6.610 * * [simplify]: Extracting #2: cost 4 inf + 1
6.610 * * [simplify]: Extracting #3: cost 10 inf + 1
6.611 * * [simplify]: Extracting #4: cost 5 inf + 47
6.611 * * [simplify]: Extracting #5: cost 1 inf + 738
6.611 * * [simplify]: Extracting #6: cost 0 inf + 1302
6.611 * [simplify]: Simplified to (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b)
6.611 * [simplify]: Simplified (2 1 1 2) to (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
6.612 * * * * [progress]: [ 15 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
6.612 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)
6.612 * * [simplify]: iters left: 4 (9 enodes)
6.616 * * [simplify]: iters left: 3 (21 enodes)
6.623 * * [simplify]: iters left: 2 (27 enodes)
6.630 * * [simplify]: iters left: 1 (28 enodes)
6.637 * * [simplify]: Extracting #0: cost 1 inf + 0
6.637 * * [simplify]: Extracting #1: cost 3 inf + 0
6.637 * * [simplify]: Extracting #2: cost 4 inf + 1
6.637 * * [simplify]: Extracting #3: cost 10 inf + 1
6.637 * * [simplify]: Extracting #4: cost 5 inf + 47
6.638 * * [simplify]: Extracting #5: cost 1 inf + 738
6.638 * * [simplify]: Extracting #6: cost 0 inf + 1302
6.638 * [simplify]: Simplified to (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b)
6.638 * [simplify]: Simplified (2 1 1 2) to (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
6.638 * * * [progress]: adding candidates to table
7.083 * * [progress]: iteration 3 / 4
7.083 * * * [progress]: picking best candidate
7.167 * * * * [pick]: Picked  #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
7.168 * * * [progress]: localizing error
7.648 * * * [progress]: generating rewritten candidates
7.648 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
7.751 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
7.781 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 2)
7.809 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 2)
7.812 * * * [progress]: generating series expansions
7.812 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
7.812 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
7.812 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 2)
7.812 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 2)
7.812 * * * [progress]: simplifying candidates
7.812 * * * * [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 (+.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 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
7.812 * [simplify]: Simplifying (*.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)))
7.812 * * [simplify]: iters left: 6 (12 enodes)
7.815 * * [simplify]: iters left: 5 (40 enodes)
7.823 * * [simplify]: iters left: 4 (121 enodes)
7.882 * * [simplify]: iters left: 3 (491 enodes)
8.341 * * [simplify]: Extracting #0: cost 1 inf + 0
8.341 * * [simplify]: Extracting #1: cost 63 inf + 0
8.342 * * [simplify]: Extracting #2: cost 418 inf + 0
8.351 * * [simplify]: Extracting #3: cost 579 inf + 186728
8.429 * * [simplify]: Extracting #4: cost 216 inf + 950133
8.539 * * [simplify]: Extracting #5: cost 69 inf + 1202225
8.648 * * [simplify]: Extracting #6: cost 0 inf + 1333843
8.800 * [simplify]: Simplified to (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)))
8.800 * [simplify]: Simplified (2 1 1 1) to (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a))) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
8.801 * * * * [progress]: [ 2 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
8.801 * [simplify]: Simplifying (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)))
8.801 * * [simplify]: iters left: 6 (15 enodes)
8.809 * * [simplify]: iters left: 5 (55 enodes)
8.833 * * [simplify]: iters left: 4 (194 enodes)
8.942 * * [simplify]: Extracting #0: cost 1 inf + 0
8.942 * * [simplify]: Extracting #1: cost 59 inf + 0
8.944 * * [simplify]: Extracting #2: cost 262 inf + 0
8.949 * * [simplify]: Extracting #3: cost 306 inf + 47598
8.984 * * [simplify]: Extracting #4: cost 150 inf + 352982
9.043 * * [simplify]: Extracting #5: cost 10 inf + 577466
9.087 * * [simplify]: Extracting #6: cost 0 inf + 595542
9.157 * [simplify]: Simplified to (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))))
9.157 * [simplify]: Simplified (2 1 1 1) to (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
9.157 * * * * [progress]: [ 3 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (*.p16 (+.p16 (/.p16 (+.p16 (+.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)) c))))>
9.158 * [simplify]: Simplifying (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))
9.158 * * [simplify]: iters left: 6 (16 enodes)
9.166 * * [simplify]: iters left: 5 (61 enodes)
9.191 * * [simplify]: iters left: 4 (211 enodes)
9.311 * * [simplify]: Extracting #0: cost 1 inf + 0
9.312 * * [simplify]: Extracting #1: cost 48 inf + 0
9.312 * * [simplify]: Extracting #2: cost 213 inf + 0
9.317 * * [simplify]: Extracting #3: cost 257 inf + 67986
9.357 * * [simplify]: Extracting #4: cost 144 inf + 395103
9.408 * * [simplify]: Extracting #5: cost 11 inf + 607772
9.449 * * [simplify]: Extracting #6: cost 0 inf + 631970
9.489 * [simplify]: Simplified to (*.p16 (+.p16 (*.p16 a a) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (*.p16 (*.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 a a)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)))
9.489 * [simplify]: Simplified (2 1 1 1) to (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (+.p16 (*.p16 a a) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (*.p16 (*.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 a a)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
9.489 * * * * [progress]: [ 4 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
9.489 * [simplify]: Simplifying (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))
9.490 * * [simplify]: iters left: 6 (14 enodes)
9.496 * * [simplify]: iters left: 5 (49 enodes)
9.518 * * [simplify]: iters left: 4 (169 enodes)
9.625 * * [simplify]: Extracting #0: cost 1 inf + 0
9.626 * * [simplify]: Extracting #1: cost 58 inf + 0
9.627 * * [simplify]: Extracting #2: cost 220 inf + 0
9.629 * * [simplify]: Extracting #3: cost 337 inf + 1337
9.634 * * [simplify]: Extracting #4: cost 337 inf + 21516
9.644 * * [simplify]: Extracting #5: cost 161 inf + 244811
9.669 * * [simplify]: Extracting #6: cost 19 inf + 461933
9.722 * * [simplify]: Extracting #7: cost 0 inf + 499729
9.782 * * [simplify]: Extracting #8: cost 0 inf + 499449
9.840 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (+.p16 (+.p16 b a) c)) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)))
9.840 * [simplify]: Simplified (2 1 1 1) to (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (+.p16 (+.p16 b a) c)) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
9.840 * * * * [progress]: [ 5 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 c)))))>
9.840 * * * * [progress]: [ 6 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.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)))))>
9.840 * * * * [progress]: [ 7 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
9.841 * * * * [progress]: [ 8 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
9.841 * * * * [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)) 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)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
9.841 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
9.841 * * [simplify]: iters left: 4 (9 enodes)
9.846 * * [simplify]: iters left: 3 (21 enodes)
9.852 * * [simplify]: iters left: 2 (27 enodes)
9.858 * * [simplify]: iters left: 1 (28 enodes)
9.865 * * [simplify]: Extracting #0: cost 1 inf + 0
9.865 * * [simplify]: Extracting #1: cost 3 inf + 0
9.865 * * [simplify]: Extracting #2: cost 4 inf + 1
9.865 * * [simplify]: Extracting #3: cost 10 inf + 1
9.865 * * [simplify]: Extracting #4: cost 1 inf + 738
9.866 * * [simplify]: Extracting #5: cost 0 inf + 1302
9.866 * [simplify]: Simplified to (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))
9.866 * [simplify]: Simplified (2 1 1 1 1 2 1) to (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
9.866 * [simplify]: Simplifying (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
9.866 * * [simplify]: iters left: 4 (9 enodes)
9.870 * * [simplify]: iters left: 3 (27 enodes)
9.878 * * [simplify]: iters left: 2 (47 enodes)
9.895 * * [simplify]: iters left: 1 (123 enodes)
9.958 * * [simplify]: Extracting #0: cost 1 inf + 0
9.959 * * [simplify]: Extracting #1: cost 15 inf + 0
9.959 * * [simplify]: Extracting #2: cost 53 inf + 1
9.959 * * [simplify]: Extracting #3: cost 87 inf + 1044
9.960 * * [simplify]: Extracting #4: cost 139 inf + 5657
9.962 * * [simplify]: Extracting #5: cost 115 inf + 19521
9.969 * * [simplify]: Extracting #6: cost 57 inf + 79064
9.985 * * [simplify]: Extracting #7: cost 8 inf + 157140
10.004 * * [simplify]: Extracting #8: cost 0 inf + 176132
10.022 * [simplify]: Simplified to (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) a)
10.022 * [simplify]: Simplified (2 1 1 1 1 2 2) to (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
10.023 * * * * [progress]: [ 10 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (neg.p16 (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
10.023 * * * * [progress]: [ 11 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a))) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
10.023 * * * * [progress]: [ 12 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
10.023 * [simplify]: Simplifying (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))
10.023 * * [simplify]: iters left: 6 (14 enodes)
10.031 * * [simplify]: iters left: 5 (51 enodes)
10.051 * * [simplify]: iters left: 4 (173 enodes)
10.163 * * [simplify]: Extracting #0: cost 1 inf + 0
10.163 * * [simplify]: Extracting #1: cost 48 inf + 0
10.164 * * [simplify]: Extracting #2: cost 196 inf + 0
10.165 * * [simplify]: Extracting #3: cost 275 inf + 1859
10.176 * * [simplify]: Extracting #4: cost 237 inf + 79873
10.208 * * [simplify]: Extracting #5: cost 41 inf + 350410
10.255 * * [simplify]: Extracting #6: cost 1 inf + 422604
10.304 * * [simplify]: Extracting #7: cost 0 inf + 425528
10.352 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)))
10.352 * [simplify]: Simplified (2 1 1 1) to (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
10.352 * * * * [progress]: [ 13 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
10.353 * [simplify]: Simplifying (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))
10.353 * * [simplify]: iters left: 6 (14 enodes)
10.359 * * [simplify]: iters left: 5 (51 enodes)
10.381 * * [simplify]: iters left: 4 (173 enodes)
10.501 * * [simplify]: Extracting #0: cost 1 inf + 0
10.501 * * [simplify]: Extracting #1: cost 48 inf + 0
10.502 * * [simplify]: Extracting #2: cost 196 inf + 0
10.504 * * [simplify]: Extracting #3: cost 275 inf + 1859
10.511 * * [simplify]: Extracting #4: cost 237 inf + 79873
10.544 * * [simplify]: Extracting #5: cost 41 inf + 350410
10.590 * * [simplify]: Extracting #6: cost 1 inf + 422604
10.640 * * [simplify]: Extracting #7: cost 0 inf + 425528
10.689 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)))
10.689 * [simplify]: Simplified (2 1 1 1) to (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
10.689 * * * * [progress]: [ 14 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
10.690 * [simplify]: Simplifying (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))
10.690 * * [simplify]: iters left: 6 (14 enodes)
10.697 * * [simplify]: iters left: 5 (51 enodes)
10.717 * * [simplify]: iters left: 4 (173 enodes)
10.835 * * [simplify]: Extracting #0: cost 1 inf + 0
10.836 * * [simplify]: Extracting #1: cost 48 inf + 0
10.836 * * [simplify]: Extracting #2: cost 196 inf + 0
10.838 * * [simplify]: Extracting #3: cost 275 inf + 1859
10.846 * * [simplify]: Extracting #4: cost 237 inf + 79873
10.878 * * [simplify]: Extracting #5: cost 41 inf + 350410
10.925 * * [simplify]: Extracting #6: cost 1 inf + 422604
10.973 * * [simplify]: Extracting #7: cost 0 inf + 425528
11.024 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)))
11.024 * [simplify]: Simplified (2 1 1 1) to (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
11.024 * * * * [progress]: [ 15 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
11.025 * [simplify]: Simplifying (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))
11.025 * * [simplify]: iters left: 6 (14 enodes)
11.032 * * [simplify]: iters left: 5 (51 enodes)
11.053 * * [simplify]: iters left: 4 (173 enodes)
11.172 * * [simplify]: Extracting #0: cost 1 inf + 0
11.172 * * [simplify]: Extracting #1: cost 48 inf + 0
11.173 * * [simplify]: Extracting #2: cost 196 inf + 0
11.175 * * [simplify]: Extracting #3: cost 275 inf + 1859
11.183 * * [simplify]: Extracting #4: cost 237 inf + 79873
11.215 * * [simplify]: Extracting #5: cost 41 inf + 350410
11.263 * * [simplify]: Extracting #6: cost 1 inf + 422604
11.311 * * [simplify]: Extracting #7: cost 0 inf + 425528
11.361 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)))
11.361 * [simplify]: Simplified (2 1 1 1) to (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
11.361 * * * [progress]: adding candidates to table
12.069 * * [progress]: iteration 4 / 4
12.069 * * * [progress]: picking best candidate
12.177 * * * * [pick]: Picked  #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.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.177 * * * [progress]: localizing error
12.907 * * * [progress]: generating rewritten candidates
12.907 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
13.028 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
13.113 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 2)
13.157 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1)
13.163 * * * [progress]: generating series expansions
13.163 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
13.163 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
13.163 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 2)
13.163 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1)
13.163 * * * [progress]: simplifying candidates
13.163 * * * * [progress]: [ 1 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)))) (/.p16 (-.p16 (*.p16 (/.p16 (+.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)))))>
13.163 * [simplify]: Simplifying (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))
13.163 * * [simplify]: iters left: 5 (10 enodes)
13.168 * * [simplify]: iters left: 4 (31 enodes)
13.179 * * [simplify]: iters left: 3 (69 enodes)
13.206 * * [simplify]: iters left: 2 (236 enodes)
13.362 * * [simplify]: Extracting #0: cost 1 inf + 0
13.362 * * [simplify]: Extracting #1: cost 28 inf + 0
13.364 * * [simplify]: Extracting #2: cost 177 inf + 0
13.366 * * [simplify]: Extracting #3: cost 284 inf + 4676
13.374 * * [simplify]: Extracting #4: cost 222 inf + 71674
13.403 * * [simplify]: Extracting #5: cost 74 inf + 271655
13.448 * * [simplify]: Extracting #6: cost 0 inf + 386774
13.496 * * [simplify]: Extracting #7: cost 0 inf + 386134
13.544 * [simplify]: Simplified to (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))
13.545 * [simplify]: Simplified (2 1 1 1) to (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)))) (/.p16 (-.p16 (*.p16 (/.p16 (+.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)))))
13.545 * * * * [progress]: [ 2 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 b b) (*.p16 b b)))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)))) (/.p16 (-.p16 (*.p16 (/.p16 (+.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)))))>
13.545 * [simplify]: Simplifying (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 b b) (*.p16 b b))))
13.546 * * [simplify]: iters left: 6 (16 enodes)
13.553 * * [simplify]: iters left: 5 (61 enodes)
13.581 * * [simplify]: iters left: 4 (216 enodes)
13.667 * * [simplify]: Extracting #0: cost 1 inf + 0
13.667 * * [simplify]: Extracting #1: cost 48 inf + 0
13.667 * * [simplify]: Extracting #2: cost 223 inf + 0
13.670 * * [simplify]: Extracting #3: cost 263 inf + 69049
13.689 * * [simplify]: Extracting #4: cost 152 inf + 380772
13.725 * * [simplify]: Extracting #5: cost 3 inf + 629182
13.770 * * [simplify]: Extracting #6: cost 0 inf + 637514
13.841 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 b b)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 b b))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))))
13.841 * [simplify]: Simplified (2 1 1 1) to (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 b b)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 b b))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)))) (/.p16 (-.p16 (*.p16 (/.p16 (+.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)))))
13.842 * * * * [progress]: [ 3 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (/.p16 (-.p16 (*.p16 (/.p16 (+.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)))))>
13.842 * [simplify]: Simplifying (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)))
13.843 * * [simplify]: iters left: 6 (15 enodes)
13.851 * * [simplify]: iters left: 5 (55 enodes)
13.877 * * [simplify]: iters left: 4 (194 enodes)
13.995 * * [simplify]: Extracting #0: cost 1 inf + 0
13.995 * * [simplify]: Extracting #1: cost 59 inf + 0
13.996 * * [simplify]: Extracting #2: cost 262 inf + 0
14.000 * * [simplify]: Extracting #3: cost 306 inf + 47598
14.025 * * [simplify]: Extracting #4: cost 150 inf + 352982
14.067 * * [simplify]: Extracting #5: cost 10 inf + 577466
14.137 * * [simplify]: Extracting #6: cost 0 inf + 595542
14.202 * [simplify]: Simplified to (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))))
14.202 * [simplify]: Simplified (2 1 1 1) to (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))
14.202 * * * * [progress]: [ 4 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (real->posit16 2))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
14.203 * [simplify]: Simplifying (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)))
14.203 * * [simplify]: iters left: 6 (14 enodes)
14.210 * * [simplify]: iters left: 5 (49 enodes)
14.229 * * [simplify]: iters left: 4 (169 enodes)
14.328 * * [simplify]: Extracting #0: cost 1 inf + 0
14.329 * * [simplify]: Extracting #1: cost 57 inf + 0
14.330 * * [simplify]: Extracting #2: cost 236 inf + 0
14.332 * * [simplify]: Extracting #3: cost 335 inf + 695
14.341 * * [simplify]: Extracting #4: cost 268 inf + 84470
14.369 * * [simplify]: Extracting #5: cost 93 inf + 311002
14.397 * * [simplify]: Extracting #6: cost 21 inf + 436169
14.425 * * [simplify]: Extracting #7: cost 1 inf + 484889
14.465 * * [simplify]: Extracting #8: cost 0 inf + 488053
14.494 * [simplify]: Simplified to (*.p16 (+.p16 (+.p16 b a) c) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a))))
14.494 * [simplify]: Simplified (2 1 1 1) to (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (+.p16 (+.p16 b a) c) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (real->posit16 2))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))
14.494 * * * * [progress]: [ 5 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))))>
14.494 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
14.494 * * [simplify]: iters left: 4 (9 enodes)
14.497 * * [simplify]: iters left: 3 (21 enodes)
14.500 * * [simplify]: iters left: 2 (27 enodes)
14.503 * * [simplify]: iters left: 1 (28 enodes)
14.507 * * [simplify]: Extracting #0: cost 1 inf + 0
14.507 * * [simplify]: Extracting #1: cost 3 inf + 0
14.507 * * [simplify]: Extracting #2: cost 4 inf + 1
14.507 * * [simplify]: Extracting #3: cost 10 inf + 1
14.507 * * [simplify]: Extracting #4: cost 5 inf + 47
14.507 * * [simplify]: Extracting #5: cost 1 inf + 738
14.507 * * [simplify]: Extracting #6: cost 0 inf + 1302
14.507 * [simplify]: Simplified to (+.p16 c (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)))
14.507 * [simplify]: Simplified (2 1 2 1) to (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.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 c (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))))
14.507 * * * * [progress]: [ 6 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 c c) (*.p16 c c))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)))))))>
14.508 * [simplify]: Simplifying (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 c c) (*.p16 c c)))
14.508 * * [simplify]: iters left: 6 (13 enodes)
14.511 * * [simplify]: iters left: 5 (46 enodes)
14.520 * * [simplify]: iters left: 4 (130 enodes)
14.554 * * [simplify]: Extracting #0: cost 1 inf + 0
14.554 * * [simplify]: Extracting #1: cost 25 inf + 0
14.554 * * [simplify]: Extracting #2: cost 62 inf + 0
14.554 * * [simplify]: Extracting #3: cost 154 inf + 82
14.556 * * [simplify]: Extracting #4: cost 155 inf + 19371
14.563 * * [simplify]: Extracting #5: cost 43 inf + 161234
14.574 * * [simplify]: Extracting #6: cost 2 inf + 235712
14.587 * * [simplify]: Extracting #7: cost 0 inf + 242680
14.600 * [simplify]: Simplified to (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2))) (*.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)))) (*.p16 (*.p16 c c) (*.p16 c c)))
14.600 * [simplify]: Simplified (2 1 2 1) to (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.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 b (+.p16 a c)) (real->posit16 2)) (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2))) (*.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)))) (*.p16 (*.p16 c c) (*.p16 c c))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)))))))
14.600 * * * * [progress]: [ 7 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 a))) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
14.600 * * * * [progress]: [ 8 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
14.600 * * * * [progress]: [ 9 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 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)))))>
14.601 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
14.601 * * [simplify]: iters left: 4 (9 enodes)
14.603 * * [simplify]: iters left: 3 (21 enodes)
14.606 * * [simplify]: iters left: 2 (27 enodes)
14.609 * * [simplify]: iters left: 1 (28 enodes)
14.613 * * [simplify]: Extracting #0: cost 1 inf + 0
14.613 * * [simplify]: Extracting #1: cost 3 inf + 0
14.613 * * [simplify]: Extracting #2: cost 4 inf + 1
14.613 * * [simplify]: Extracting #3: cost 10 inf + 1
14.613 * * [simplify]: Extracting #4: cost 5 inf + 47
14.613 * * [simplify]: Extracting #5: cost 1 inf + 738
14.613 * * [simplify]: Extracting #6: cost 0 inf + 1302
14.613 * [simplify]: Simplified to (+.p16 c (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)))
14.613 * [simplify]: Simplified (2 1 2 1 1) to (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.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 c (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))
14.614 * [simplify]: Simplifying (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
14.614 * * [simplify]: iters left: 4 (9 enodes)
14.616 * * [simplify]: iters left: 3 (27 enodes)
14.620 * * [simplify]: iters left: 2 (47 enodes)
14.628 * * [simplify]: iters left: 1 (123 enodes)
14.660 * * [simplify]: Extracting #0: cost 1 inf + 0
14.660 * * [simplify]: Extracting #1: cost 15 inf + 0
14.660 * * [simplify]: Extracting #2: cost 52 inf + 82
14.660 * * [simplify]: Extracting #3: cost 87 inf + 1044
14.661 * * [simplify]: Extracting #4: cost 140 inf + 5615
14.662 * * [simplify]: Extracting #5: cost 118 inf + 19272
14.665 * * [simplify]: Extracting #6: cost 57 inf + 79064
14.680 * * [simplify]: Extracting #7: cost 8 inf + 157140
14.691 * * [simplify]: Extracting #8: cost 0 inf + 176132
14.701 * [simplify]: Simplified to (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) c)
14.701 * [simplify]: Simplified (2 1 2 1 2) to (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.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 b (+.p16 a c)) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))
14.701 * * * * [progress]: [ 10 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (+.p16 (*.p16 (/.p16 (+.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)))))>
14.701 * * * * [progress]: [ 11 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.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)))))>
14.701 * * * * [progress]: [ 12 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
14.701 * * * * [progress]: [ 13 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
14.701 * * * * [progress]: [ 14 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
14.701 * * * * [progress]: [ 15 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
14.701 * * * [progress]: adding candidates to table
15.151 * [progress]: [Phase 3 of 3] Extracting.
15.151 * * [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)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (+.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (neg.p16 b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 b b) (*.p16 b b))) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 c c) (*.p16 c c))) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a))) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>)
15.162 * * * [regime-changes]: Trying 3 branch expressions: (c b a)
15.162 * * * * [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)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (+.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (neg.p16 b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 b b) (*.p16 b b))) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 c c) (*.p16 c c))) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a))) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>)
15.300 * * * * [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)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (+.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (neg.p16 b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 b b) (*.p16 b b))) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 c c) (*.p16 c c))) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a))) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>)
15.499 * * * * [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)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (+.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (neg.p16 b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 b b) (*.p16 b b))) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 c c) (*.p16 c c))) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a))) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>)
15.665 * * * [regime]: Found split indices: #<option (#s(si 0 256))>
15.666 * [simplify]: Simplifying (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))
15.666 * * [simplify]: iters left: 6 (19 enodes)
15.668 * * [simplify]: Extracting #0: cost 1 inf + 0
15.668 * * [simplify]: Extracting #1: cost 2 inf + 0
15.668 * * [simplify]: Extracting #2: cost 4 inf + 0
15.668 * * [simplify]: Extracting #3: cost 8 inf + 0
15.668 * * [simplify]: Extracting #4: cost 12 inf + 1
15.668 * * [simplify]: Extracting #5: cost 15 inf + 2
15.668 * * [simplify]: Extracting #6: cost 15 inf + 4
15.668 * * [simplify]: Extracting #7: cost 10 inf + 975
15.669 * * [simplify]: Extracting #8: cost 2 inf + 10807
15.670 * * [simplify]: Extracting #9: cost 0 inf + 16535
15.671 * [simplify]: Simplified to (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))
15.671 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
15.731 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
15.737 * * * * [points]: Setting MPFR precision to 64
15.740 * * * * [points]: Setting MPFR precision to 320
15.742 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
15.748 * * * * [points]: Setting MPFR precision to 64
15.753 * * * * [points]: Setting MPFR precision to 320
15.757 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
15.763 * * * * [points]: Setting MPFR precision to 64
15.772 * * * * [points]: Setting MPFR precision to 320
15.780 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
15.787 * * * * [points]: Setting MPFR precision to 64
15.804 * * * * [points]: Setting MPFR precision to 320
15.820 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
15.827 * * * * [points]: Setting MPFR precision to 64
15.870 * * * * [points]: Setting MPFR precision to 320
15.896 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
15.900 * * * * [points]: Setting MPFR precision to 64
15.935 * * * * [points]: Setting MPFR precision to 320
15.970 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
15.974 * * * * [points]: Setting MPFR precision to 64
16.156 * * * * [points]: Setting MPFR precision to 320
16.347 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
16.354 * * * * [points]: Setting MPFR precision to 64
16.624 * * * * [points]: Setting MPFR precision to 320
16.863 * * * * [points]: Computing exacts for 8000 points
16.867 * * * * [points]: Setting MPFR precision to 64
18.216 * * * * [points]: Setting MPFR precision to 320
19.410 * * * * [points]: Filtering points with unrepresentable outputs
19.416 * * * * [points]: Sampling 7004 additional inputs, on iter 1 have 996 / 8000
19.467 * * * * [points]: Computing exacts on every 437 of 7004 points to ramp up precision
19.474 * * * * [points]: Setting MPFR precision to 64
19.476 * * * * [points]: Setting MPFR precision to 320
19.478 * * * * [points]: Computing exacts on every 218 of 7004 points to ramp up precision
19.485 * * * * [points]: Setting MPFR precision to 64
19.490 * * * * [points]: Setting MPFR precision to 320
19.494 * * * * [points]: Computing exacts on every 109 of 7004 points to ramp up precision
19.500 * * * * [points]: Setting MPFR precision to 64
19.508 * * * * [points]: Setting MPFR precision to 320
19.517 * * * * [points]: Computing exacts on every 54 of 7004 points to ramp up precision
19.524 * * * * [points]: Setting MPFR precision to 64
19.540 * * * * [points]: Setting MPFR precision to 320
19.589 * * * * [points]: Computing exacts on every 27 of 7004 points to ramp up precision
19.597 * * * * [points]: Setting MPFR precision to 64
19.631 * * * * [points]: Setting MPFR precision to 320
19.665 * * * * [points]: Computing exacts on every 13 of 7004 points to ramp up precision
19.672 * * * * [points]: Setting MPFR precision to 64
19.730 * * * * [points]: Setting MPFR precision to 320
19.846 * * * * [points]: Computing exacts on every 6 of 7004 points to ramp up precision
19.853 * * * * [points]: Setting MPFR precision to 64
19.981 * * * * [points]: Setting MPFR precision to 320
20.160 * * * * [points]: Computing exacts on every 3 of 7004 points to ramp up precision
20.167 * * * * [points]: Setting MPFR precision to 64
20.457 * * * * [points]: Setting MPFR precision to 320
20.743 * * * * [points]: Computing exacts for 7004 points
20.749 * * * * [points]: Setting MPFR precision to 64
22.319 * * * * [points]: Setting MPFR precision to 320
23.101 * * * * [points]: Filtering points with unrepresentable outputs
23.107 * * * * [points]: Sampling 6136 additional inputs, on iter 2 have 1864 / 8000
23.136 * * * * [points]: Computing exacts on every 383 of 6136 points to ramp up precision
23.139 * * * * [points]: Setting MPFR precision to 64
23.141 * * * * [points]: Setting MPFR precision to 320
23.142 * * * * [points]: Computing exacts on every 191 of 6136 points to ramp up precision
23.145 * * * * [points]: Setting MPFR precision to 64
23.148 * * * * [points]: Setting MPFR precision to 320
23.175 * * * * [points]: Computing exacts on every 95 of 6136 points to ramp up precision
23.179 * * * * [points]: Setting MPFR precision to 64
23.185 * * * * [points]: Setting MPFR precision to 320
23.189 * * * * [points]: Computing exacts on every 47 of 6136 points to ramp up precision
23.192 * * * * [points]: Setting MPFR precision to 64
23.207 * * * * [points]: Setting MPFR precision to 320
23.223 * * * * [points]: Computing exacts on every 23 of 6136 points to ramp up precision
23.229 * * * * [points]: Setting MPFR precision to 64
23.252 * * * * [points]: Setting MPFR precision to 320
23.270 * * * * [points]: Computing exacts on every 11 of 6136 points to ramp up precision
23.273 * * * * [points]: Setting MPFR precision to 64
23.356 * * * * [points]: Setting MPFR precision to 320
23.414 * * * * [points]: Computing exacts on every 5 of 6136 points to ramp up precision
23.421 * * * * [points]: Setting MPFR precision to 64
23.587 * * * * [points]: Setting MPFR precision to 320
23.702 * * * * [points]: Computing exacts on every 2 of 6136 points to ramp up precision
23.709 * * * * [points]: Setting MPFR precision to 64
24.034 * * * * [points]: Setting MPFR precision to 320
24.256 * * * * [points]: Computing exacts for 6136 points
24.259 * * * * [points]: Setting MPFR precision to 64
25.057 * * * * [points]: Setting MPFR precision to 320
25.575 * * * * [points]: Filtering points with unrepresentable outputs
25.579 * * * * [points]: Sampling 5381 additional inputs, on iter 3 have 2619 / 8000
25.601 * * * * [points]: Computing exacts on every 336 of 5381 points to ramp up precision
25.604 * * * * [points]: Setting MPFR precision to 64
25.606 * * * * [points]: Setting MPFR precision to 320
25.607 * * * * [points]: Computing exacts on every 168 of 5381 points to ramp up precision
25.610 * * * * [points]: Setting MPFR precision to 64
25.613 * * * * [points]: Setting MPFR precision to 320
25.615 * * * * [points]: Computing exacts on every 84 of 5381 points to ramp up precision
25.619 * * * * [points]: Setting MPFR precision to 64
25.623 * * * * [points]: Setting MPFR precision to 320
25.628 * * * * [points]: Computing exacts on every 42 of 5381 points to ramp up precision
25.631 * * * * [points]: Setting MPFR precision to 64
25.639 * * * * [points]: Setting MPFR precision to 320
25.647 * * * * [points]: Computing exacts on every 21 of 5381 points to ramp up precision
25.650 * * * * [points]: Setting MPFR precision to 64
25.666 * * * * [points]: Setting MPFR precision to 320
25.703 * * * * [points]: Computing exacts on every 10 of 5381 points to ramp up precision
25.707 * * * * [points]: Setting MPFR precision to 64
25.740 * * * * [points]: Setting MPFR precision to 320
25.772 * * * * [points]: Computing exacts on every 5 of 5381 points to ramp up precision
25.775 * * * * [points]: Setting MPFR precision to 64
25.861 * * * * [points]: Setting MPFR precision to 320
25.919 * * * * [points]: Computing exacts on every 2 of 5381 points to ramp up precision
25.923 * * * * [points]: Setting MPFR precision to 64
26.099 * * * * [points]: Setting MPFR precision to 320
26.249 * * * * [points]: Computing exacts for 5381 points
26.252 * * * * [points]: Setting MPFR precision to 64
26.701 * * * * [points]: Setting MPFR precision to 320
27.419 * * * * [points]: Filtering points with unrepresentable outputs
27.421 * * * * [points]: Sampling 4696 additional inputs, on iter 4 have 3304 / 8000
27.466 * * * * [points]: Computing exacts on every 293 of 4696 points to ramp up precision
27.470 * * * * [points]: Setting MPFR precision to 64
27.471 * * * * [points]: Setting MPFR precision to 320
27.472 * * * * [points]: Computing exacts on every 146 of 4696 points to ramp up precision
27.475 * * * * [points]: Setting MPFR precision to 64
27.477 * * * * [points]: Setting MPFR precision to 320
27.479 * * * * [points]: Computing exacts on every 73 of 4696 points to ramp up precision
27.483 * * * * [points]: Setting MPFR precision to 64
27.487 * * * * [points]: Setting MPFR precision to 320
27.491 * * * * [points]: Computing exacts on every 36 of 4696 points to ramp up precision
27.494 * * * * [points]: Setting MPFR precision to 64
27.502 * * * * [points]: Setting MPFR precision to 320
27.510 * * * * [points]: Computing exacts on every 18 of 4696 points to ramp up precision
27.514 * * * * [points]: Setting MPFR precision to 64
27.530 * * * * [points]: Setting MPFR precision to 320
27.548 * * * * [points]: Computing exacts on every 9 of 4696 points to ramp up precision
27.551 * * * * [points]: Setting MPFR precision to 64
27.605 * * * * [points]: Setting MPFR precision to 320
27.635 * * * * [points]: Computing exacts on every 4 of 4696 points to ramp up precision
27.639 * * * * [points]: Setting MPFR precision to 64
27.730 * * * * [points]: Setting MPFR precision to 320
27.792 * * * * [points]: Computing exacts on every 2 of 4696 points to ramp up precision
27.795 * * * * [points]: Setting MPFR precision to 64
27.926 * * * * [points]: Setting MPFR precision to 320
28.056 * * * * [points]: Computing exacts for 4696 points
28.060 * * * * [points]: Setting MPFR precision to 64
28.443 * * * * [points]: Setting MPFR precision to 320
28.832 * * * * [points]: Filtering points with unrepresentable outputs
28.834 * * * * [points]: Sampling 4086 additional inputs, on iter 5 have 3914 / 8000
28.850 * * * * [points]: Computing exacts on every 255 of 4086 points to ramp up precision
28.853 * * * * [points]: Setting MPFR precision to 64
28.854 * * * * [points]: Setting MPFR precision to 320
28.855 * * * * [points]: Computing exacts on every 127 of 4086 points to ramp up precision
28.858 * * * * [points]: Setting MPFR precision to 64
28.860 * * * * [points]: Setting MPFR precision to 320
28.862 * * * * [points]: Computing exacts on every 63 of 4086 points to ramp up precision
28.885 * * * * [points]: Setting MPFR precision to 64
28.890 * * * * [points]: Setting MPFR precision to 320
28.893 * * * * [points]: Computing exacts on every 31 of 4086 points to ramp up precision
28.898 * * * * [points]: Setting MPFR precision to 64
28.906 * * * * [points]: Setting MPFR precision to 320
28.914 * * * * [points]: Computing exacts on every 15 of 4086 points to ramp up precision
28.917 * * * * [points]: Setting MPFR precision to 64
28.934 * * * * [points]: Setting MPFR precision to 320
28.950 * * * * [points]: Computing exacts on every 7 of 4086 points to ramp up precision
28.953 * * * * [points]: Setting MPFR precision to 64
29.007 * * * * [points]: Setting MPFR precision to 320
29.042 * * * * [points]: Computing exacts on every 3 of 4086 points to ramp up precision
29.045 * * * * [points]: Setting MPFR precision to 64
29.390 * * * * [points]: Setting MPFR precision to 320
29.456 * * * * [points]: Computing exacts for 4086 points
29.459 * * * * [points]: Setting MPFR precision to 64
29.792 * * * * [points]: Setting MPFR precision to 320
30.107 * * * * [points]: Filtering points with unrepresentable outputs
30.109 * * * * [points]: Sampling 3613 additional inputs, on iter 6 have 4387 / 8000
30.124 * * * * [points]: Computing exacts on every 225 of 3613 points to ramp up precision
30.128 * * * * [points]: Setting MPFR precision to 64
30.129 * * * * [points]: Setting MPFR precision to 320
30.130 * * * * [points]: Computing exacts on every 112 of 3613 points to ramp up precision
30.157 * * * * [points]: Setting MPFR precision to 64
30.159 * * * * [points]: Setting MPFR precision to 320
30.161 * * * * [points]: Computing exacts on every 56 of 3613 points to ramp up precision
30.166 * * * * [points]: Setting MPFR precision to 64
30.170 * * * * [points]: Setting MPFR precision to 320
30.174 * * * * [points]: Computing exacts on every 28 of 3613 points to ramp up precision
30.177 * * * * [points]: Setting MPFR precision to 64
30.185 * * * * [points]: Setting MPFR precision to 320
30.193 * * * * [points]: Computing exacts on every 14 of 3613 points to ramp up precision
30.196 * * * * [points]: Setting MPFR precision to 64
30.211 * * * * [points]: Setting MPFR precision to 320
30.226 * * * * [points]: Computing exacts on every 7 of 3613 points to ramp up precision
30.230 * * * * [points]: Setting MPFR precision to 64
30.281 * * * * [points]: Setting MPFR precision to 320
30.311 * * * * [points]: Computing exacts on every 3 of 3613 points to ramp up precision
30.315 * * * * [points]: Setting MPFR precision to 64
30.371 * * * * [points]: Setting MPFR precision to 320
30.454 * * * * [points]: Computing exacts for 3613 points
30.458 * * * * [points]: Setting MPFR precision to 64
30.746 * * * * [points]: Setting MPFR precision to 320
31.067 * * * * [points]: Filtering points with unrepresentable outputs
31.069 * * * * [points]: Sampling 3143 additional inputs, on iter 7 have 4857 / 8000
31.082 * * * * [points]: Computing exacts on every 196 of 3143 points to ramp up precision
31.086 * * * * [points]: Setting MPFR precision to 64
31.087 * * * * [points]: Setting MPFR precision to 320
31.088 * * * * [points]: Computing exacts on every 98 of 3143 points to ramp up precision
31.091 * * * * [points]: Setting MPFR precision to 64
31.093 * * * * [points]: Setting MPFR precision to 320
31.095 * * * * [points]: Computing exacts on every 49 of 3143 points to ramp up precision
31.098 * * * * [points]: Setting MPFR precision to 64
31.102 * * * * [points]: Setting MPFR precision to 320
31.105 * * * * [points]: Computing exacts on every 24 of 3143 points to ramp up precision
31.108 * * * * [points]: Setting MPFR precision to 64
31.116 * * * * [points]: Setting MPFR precision to 320
31.124 * * * * [points]: Computing exacts on every 12 of 3143 points to ramp up precision
31.127 * * * * [points]: Setting MPFR precision to 64
31.142 * * * * [points]: Setting MPFR precision to 320
31.180 * * * * [points]: Computing exacts on every 6 of 3143 points to ramp up precision
31.184 * * * * [points]: Setting MPFR precision to 64
31.213 * * * * [points]: Setting MPFR precision to 320
31.241 * * * * [points]: Computing exacts on every 3 of 3143 points to ramp up precision
31.244 * * * * [points]: Setting MPFR precision to 64
31.567 * * * * [points]: Setting MPFR precision to 320
31.617 * * * * [points]: Computing exacts for 3143 points
31.620 * * * * [points]: Setting MPFR precision to 64
31.875 * * * * [points]: Setting MPFR precision to 320
32.133 * * * * [points]: Filtering points with unrepresentable outputs
32.134 * * * * [points]: Sampling 2754 additional inputs, on iter 8 have 5246 / 8000
32.145 * * * * [points]: Computing exacts on every 172 of 2754 points to ramp up precision
32.148 * * * * [points]: Setting MPFR precision to 64
32.150 * * * * [points]: Setting MPFR precision to 320
32.151 * * * * [points]: Computing exacts on every 86 of 2754 points to ramp up precision
32.154 * * * * [points]: Setting MPFR precision to 64
32.156 * * * * [points]: Setting MPFR precision to 320
32.158 * * * * [points]: Computing exacts on every 43 of 2754 points to ramp up precision
32.161 * * * * [points]: Setting MPFR precision to 64
32.165 * * * * [points]: Setting MPFR precision to 320
32.169 * * * * [points]: Computing exacts on every 21 of 2754 points to ramp up precision
32.197 * * * * [points]: Setting MPFR precision to 64
32.205 * * * * [points]: Setting MPFR precision to 320
32.214 * * * * [points]: Computing exacts on every 10 of 2754 points to ramp up precision
32.217 * * * * [points]: Setting MPFR precision to 64
32.233 * * * * [points]: Setting MPFR precision to 320
32.249 * * * * [points]: Computing exacts on every 5 of 2754 points to ramp up precision
32.252 * * * * [points]: Setting MPFR precision to 64
32.280 * * * * [points]: Setting MPFR precision to 320
32.339 * * * * [points]: Computing exacts on every 2 of 2754 points to ramp up precision
32.342 * * * * [points]: Setting MPFR precision to 64
32.400 * * * * [points]: Setting MPFR precision to 320
32.489 * * * * [points]: Computing exacts for 2754 points
32.493 * * * * [points]: Setting MPFR precision to 64
32.724 * * * * [points]: Setting MPFR precision to 320
32.930 * * * * [points]: Filtering points with unrepresentable outputs
32.931 * * * * [points]: Sampling 2435 additional inputs, on iter 9 have 5565 / 8000
32.941 * * * * [points]: Computing exacts on every 152 of 2435 points to ramp up precision
32.944 * * * * [points]: Setting MPFR precision to 64
32.945 * * * * [points]: Setting MPFR precision to 320
32.946 * * * * [points]: Computing exacts on every 76 of 2435 points to ramp up precision
32.949 * * * * [points]: Setting MPFR precision to 64
32.951 * * * * [points]: Setting MPFR precision to 320
32.977 * * * * [points]: Computing exacts on every 38 of 2435 points to ramp up precision
32.980 * * * * [points]: Setting MPFR precision to 64
32.985 * * * * [points]: Setting MPFR precision to 320
32.990 * * * * [points]: Computing exacts on every 19 of 2435 points to ramp up precision
32.994 * * * * [points]: Setting MPFR precision to 64
33.002 * * * * [points]: Setting MPFR precision to 320
33.010 * * * * [points]: Computing exacts on every 9 of 2435 points to ramp up precision
33.013 * * * * [points]: Setting MPFR precision to 64
33.028 * * * * [points]: Setting MPFR precision to 320
33.043 * * * * [points]: Computing exacts on every 4 of 2435 points to ramp up precision
33.046 * * * * [points]: Setting MPFR precision to 64
33.099 * * * * [points]: Setting MPFR precision to 320
33.133 * * * * [points]: Computing exacts on every 2 of 2435 points to ramp up precision
33.136 * * * * [points]: Setting MPFR precision to 64
33.185 * * * * [points]: Setting MPFR precision to 320
33.267 * * * * [points]: Computing exacts for 2435 points
33.270 * * * * [points]: Setting MPFR precision to 64
33.450 * * * * [points]: Setting MPFR precision to 320
33.920 * * * * [points]: Filtering points with unrepresentable outputs
33.921 * * * * [points]: Sampling 2126 additional inputs, on iter 10 have 5874 / 8000
33.929 * * * * [points]: Computing exacts on every 132 of 2126 points to ramp up precision
33.932 * * * * [points]: Setting MPFR precision to 64
33.934 * * * * [points]: Setting MPFR precision to 320
33.935 * * * * [points]: Computing exacts on every 66 of 2126 points to ramp up precision
33.938 * * * * [points]: Setting MPFR precision to 64
33.940 * * * * [points]: Setting MPFR precision to 320
33.942 * * * * [points]: Computing exacts on every 33 of 2126 points to ramp up precision
33.945 * * * * [points]: Setting MPFR precision to 64
33.949 * * * * [points]: Setting MPFR precision to 320
33.952 * * * * [points]: Computing exacts on every 16 of 2126 points to ramp up precision
33.955 * * * * [points]: Setting MPFR precision to 64
33.963 * * * * [points]: Setting MPFR precision to 320
33.992 * * * * [points]: Computing exacts on every 8 of 2126 points to ramp up precision
33.995 * * * * [points]: Setting MPFR precision to 64
34.012 * * * * [points]: Setting MPFR precision to 320
34.027 * * * * [points]: Computing exacts on every 4 of 2126 points to ramp up precision
34.030 * * * * [points]: Setting MPFR precision to 64
34.056 * * * * [points]: Setting MPFR precision to 320
34.082 * * * * [points]: Computing exacts on every 2 of 2126 points to ramp up precision
34.085 * * * * [points]: Setting MPFR precision to 64
34.154 * * * * [points]: Setting MPFR precision to 320
34.198 * * * * [points]: Computing exacts for 2126 points
34.202 * * * * [points]: Setting MPFR precision to 64
34.392 * * * * [points]: Setting MPFR precision to 320
34.555 * * * * [points]: Filtering points with unrepresentable outputs
34.556 * * * * [points]: Sampling 1864 additional inputs, on iter 11 have 6136 / 8000
34.564 * * * * [points]: Computing exacts on every 116 of 1864 points to ramp up precision
34.567 * * * * [points]: Setting MPFR precision to 64
34.568 * * * * [points]: Setting MPFR precision to 320
34.569 * * * * [points]: Computing exacts on every 58 of 1864 points to ramp up precision
34.572 * * * * [points]: Setting MPFR precision to 64
34.574 * * * * [points]: Setting MPFR precision to 320
34.576 * * * * [points]: Computing exacts on every 29 of 1864 points to ramp up precision
34.579 * * * * [points]: Setting MPFR precision to 64
34.584 * * * * [points]: Setting MPFR precision to 320
34.588 * * * * [points]: Computing exacts on every 14 of 1864 points to ramp up precision
34.592 * * * * [points]: Setting MPFR precision to 64
34.621 * * * * [points]: Setting MPFR precision to 320
34.629 * * * * [points]: Computing exacts on every 7 of 1864 points to ramp up precision
34.634 * * * * [points]: Setting MPFR precision to 64
34.648 * * * * [points]: Setting MPFR precision to 320
34.663 * * * * [points]: Computing exacts on every 3 of 1864 points to ramp up precision
34.666 * * * * [points]: Setting MPFR precision to 64
34.695 * * * * [points]: Setting MPFR precision to 320
34.749 * * * * [points]: Computing exacts for 1864 points
34.753 * * * * [points]: Setting MPFR precision to 64
34.899 * * * * [points]: Setting MPFR precision to 320
35.044 * * * * [points]: Filtering points with unrepresentable outputs
35.045 * * * * [points]: Sampling 1601 additional inputs, on iter 12 have 6399 / 8000
35.052 * * * * [points]: Computing exacts on every 100 of 1601 points to ramp up precision
35.055 * * * * [points]: Setting MPFR precision to 64
35.057 * * * * [points]: Setting MPFR precision to 320
35.058 * * * * [points]: Computing exacts on every 50 of 1601 points to ramp up precision
35.061 * * * * [points]: Setting MPFR precision to 64
35.063 * * * * [points]: Setting MPFR precision to 320
35.065 * * * * [points]: Computing exacts on every 25 of 1601 points to ramp up precision
35.068 * * * * [points]: Setting MPFR precision to 64
35.072 * * * * [points]: Setting MPFR precision to 320
35.076 * * * * [points]: Computing exacts on every 12 of 1601 points to ramp up precision
35.079 * * * * [points]: Setting MPFR precision to 64
35.087 * * * * [points]: Setting MPFR precision to 320
35.094 * * * * [points]: Computing exacts on every 6 of 1601 points to ramp up precision
35.097 * * * * [points]: Setting MPFR precision to 64
35.129 * * * * [points]: Setting MPFR precision to 320
35.145 * * * * [points]: Computing exacts on every 3 of 1601 points to ramp up precision
35.148 * * * * [points]: Setting MPFR precision to 64
35.172 * * * * [points]: Setting MPFR precision to 320
35.197 * * * * [points]: Computing exacts for 1601 points
35.200 * * * * [points]: Setting MPFR precision to 64
35.319 * * * * [points]: Setting MPFR precision to 320
35.442 * * * * [points]: Filtering points with unrepresentable outputs
35.443 * * * * [points]: Sampling 1389 additional inputs, on iter 13 have 6611 / 8000
35.449 * * * * [points]: Computing exacts on every 86 of 1389 points to ramp up precision
35.452 * * * * [points]: Setting MPFR precision to 64
35.453 * * * * [points]: Setting MPFR precision to 320
35.454 * * * * [points]: Computing exacts on every 43 of 1389 points to ramp up precision
35.457 * * * * [points]: Setting MPFR precision to 64
35.459 * * * * [points]: Setting MPFR precision to 320
35.461 * * * * [points]: Computing exacts on every 21 of 1389 points to ramp up precision
35.486 * * * * [points]: Setting MPFR precision to 64
35.490 * * * * [points]: Setting MPFR precision to 320
35.496 * * * * [points]: Computing exacts on every 10 of 1389 points to ramp up precision
35.499 * * * * [points]: Setting MPFR precision to 64
35.506 * * * * [points]: Setting MPFR precision to 320
35.514 * * * * [points]: Computing exacts on every 5 of 1389 points to ramp up precision
35.517 * * * * [points]: Setting MPFR precision to 64
35.530 * * * * [points]: Setting MPFR precision to 320
35.544 * * * * [points]: Computing exacts on every 2 of 1389 points to ramp up precision
35.547 * * * * [points]: Setting MPFR precision to 64
35.596 * * * * [points]: Setting MPFR precision to 320
35.626 * * * * [points]: Computing exacts for 1389 points
35.629 * * * * [points]: Setting MPFR precision to 64
35.968 * * * * [points]: Setting MPFR precision to 320
36.076 * * * * [points]: Filtering points with unrepresentable outputs
36.077 * * * * [points]: Sampling 1222 additional inputs, on iter 14 have 6778 / 8000
36.081 * * * * [points]: Computing exacts on every 76 of 1222 points to ramp up precision
36.086 * * * * [points]: Setting MPFR precision to 64
36.087 * * * * [points]: Setting MPFR precision to 320
36.088 * * * * [points]: Computing exacts on every 38 of 1222 points to ramp up precision
36.091 * * * * [points]: Setting MPFR precision to 64
36.093 * * * * [points]: Setting MPFR precision to 320
36.095 * * * * [points]: Computing exacts on every 19 of 1222 points to ramp up precision
36.098 * * * * [points]: Setting MPFR precision to 64
36.101 * * * * [points]: Setting MPFR precision to 320
36.105 * * * * [points]: Computing exacts on every 9 of 1222 points to ramp up precision
36.108 * * * * [points]: Setting MPFR precision to 64
36.115 * * * * [points]: Setting MPFR precision to 320
36.122 * * * * [points]: Computing exacts on every 4 of 1222 points to ramp up precision
36.125 * * * * [points]: Setting MPFR precision to 64
36.140 * * * * [points]: Setting MPFR precision to 320
36.154 * * * * [points]: Computing exacts on every 2 of 1222 points to ramp up precision
36.176 * * * * [points]: Setting MPFR precision to 64
36.202 * * * * [points]: Setting MPFR precision to 320
36.226 * * * * [points]: Computing exacts for 1222 points
36.229 * * * * [points]: Setting MPFR precision to 64
36.328 * * * * [points]: Setting MPFR precision to 320
36.427 * * * * [points]: Filtering points with unrepresentable outputs
36.428 * * * * [points]: Sampling 1072 additional inputs, on iter 15 have 6928 / 8000
36.432 * * * * [points]: Computing exacts on every 67 of 1072 points to ramp up precision
36.437 * * * * [points]: Setting MPFR precision to 64
36.438 * * * * [points]: Setting MPFR precision to 320
36.439 * * * * [points]: Computing exacts on every 33 of 1072 points to ramp up precision
36.442 * * * * [points]: Setting MPFR precision to 64
36.444 * * * * [points]: Setting MPFR precision to 320
36.445 * * * * [points]: Computing exacts on every 16 of 1072 points to ramp up precision
36.448 * * * * [points]: Setting MPFR precision to 64
36.452 * * * * [points]: Setting MPFR precision to 320
36.456 * * * * [points]: Computing exacts on every 8 of 1072 points to ramp up precision
36.459 * * * * [points]: Setting MPFR precision to 64
36.466 * * * * [points]: Setting MPFR precision to 320
36.473 * * * * [points]: Computing exacts on every 4 of 1072 points to ramp up precision
36.476 * * * * [points]: Setting MPFR precision to 64
36.489 * * * * [points]: Setting MPFR precision to 320
36.501 * * * * [points]: Computing exacts on every 2 of 1072 points to ramp up precision
36.504 * * * * [points]: Setting MPFR precision to 64
36.544 * * * * [points]: Setting MPFR precision to 320
36.566 * * * * [points]: Computing exacts for 1072 points
36.569 * * * * [points]: Setting MPFR precision to 64
36.656 * * * * [points]: Setting MPFR precision to 320
36.723 * * * * [points]: Filtering points with unrepresentable outputs
36.723 * * * * [points]: Sampling 931 additional inputs, on iter 16 have 7069 / 8000
36.727 * * * * [points]: Computing exacts on every 58 of 931 points to ramp up precision
36.730 * * * * [points]: Setting MPFR precision to 64
36.731 * * * * [points]: Setting MPFR precision to 320
36.732 * * * * [points]: Computing exacts on every 29 of 931 points to ramp up precision
36.735 * * * * [points]: Setting MPFR precision to 64
36.737 * * * * [points]: Setting MPFR precision to 320
36.739 * * * * [points]: Computing exacts on every 14 of 931 points to ramp up precision
36.765 * * * * [points]: Setting MPFR precision to 64
36.769 * * * * [points]: Setting MPFR precision to 320
36.773 * * * * [points]: Computing exacts on every 7 of 931 points to ramp up precision
36.778 * * * * [points]: Setting MPFR precision to 64
36.785 * * * * [points]: Setting MPFR precision to 320
36.792 * * * * [points]: Computing exacts on every 3 of 931 points to ramp up precision
36.795 * * * * [points]: Setting MPFR precision to 64
36.809 * * * * [points]: Setting MPFR precision to 320
36.823 * * * * [points]: Computing exacts for 931 points
36.826 * * * * [points]: Setting MPFR precision to 64
36.906 * * * * [points]: Setting MPFR precision to 320
36.963 * * * * [points]: Filtering points with unrepresentable outputs
36.963 * * * * [points]: Sampling 818 additional inputs, on iter 17 have 7182 / 8000
36.966 * * * * [points]: Computing exacts on every 51 of 818 points to ramp up precision
36.969 * * * * [points]: Setting MPFR precision to 64
36.970 * * * * [points]: Setting MPFR precision to 320
36.971 * * * * [points]: Computing exacts on every 25 of 818 points to ramp up precision
36.974 * * * * [points]: Setting MPFR precision to 64
36.976 * * * * [points]: Setting MPFR precision to 320
37.002 * * * * [points]: Computing exacts on every 12 of 818 points to ramp up precision
37.005 * * * * [points]: Setting MPFR precision to 64
37.009 * * * * [points]: Setting MPFR precision to 320
37.014 * * * * [points]: Computing exacts on every 6 of 818 points to ramp up precision
37.017 * * * * [points]: Setting MPFR precision to 64
37.024 * * * * [points]: Setting MPFR precision to 320
37.031 * * * * [points]: Computing exacts on every 3 of 818 points to ramp up precision
37.034 * * * * [points]: Setting MPFR precision to 64
37.046 * * * * [points]: Setting MPFR precision to 320
37.058 * * * * [points]: Computing exacts for 818 points
37.061 * * * * [points]: Setting MPFR precision to 64
37.132 * * * * [points]: Setting MPFR precision to 320
37.182 * * * * [points]: Filtering points with unrepresentable outputs
37.182 * * * * [points]: Sampling 727 additional inputs, on iter 18 have 7273 / 8000
37.185 * * * * [points]: Computing exacts on every 45 of 727 points to ramp up precision
37.188 * * * * [points]: Setting MPFR precision to 64
37.189 * * * * [points]: Setting MPFR precision to 320
37.190 * * * * [points]: Computing exacts on every 22 of 727 points to ramp up precision
37.193 * * * * [points]: Setting MPFR precision to 64
37.195 * * * * [points]: Setting MPFR precision to 320
37.197 * * * * [points]: Computing exacts on every 11 of 727 points to ramp up precision
37.200 * * * * [points]: Setting MPFR precision to 64
37.203 * * * * [points]: Setting MPFR precision to 320
37.228 * * * * [points]: Computing exacts on every 5 of 727 points to ramp up precision
37.232 * * * * [points]: Setting MPFR precision to 64
37.241 * * * * [points]: Setting MPFR precision to 320
37.248 * * * * [points]: Computing exacts on every 2 of 727 points to ramp up precision
37.251 * * * * [points]: Setting MPFR precision to 64
37.265 * * * * [points]: Setting MPFR precision to 320
37.280 * * * * [points]: Computing exacts for 727 points
37.283 * * * * [points]: Setting MPFR precision to 64
37.347 * * * * [points]: Setting MPFR precision to 320
37.392 * * * * [points]: Filtering points with unrepresentable outputs
37.393 * * * * [points]: Sampling 651 additional inputs, on iter 19 have 7349 / 8000
37.395 * * * * [points]: Computing exacts on every 40 of 651 points to ramp up precision
37.398 * * * * [points]: Setting MPFR precision to 64
37.399 * * * * [points]: Setting MPFR precision to 320
37.400 * * * * [points]: Computing exacts on every 20 of 651 points to ramp up precision
37.403 * * * * [points]: Setting MPFR precision to 64
37.405 * * * * [points]: Setting MPFR precision to 320
37.407 * * * * [points]: Computing exacts on every 10 of 651 points to ramp up precision
37.410 * * * * [points]: Setting MPFR precision to 64
37.414 * * * * [points]: Setting MPFR precision to 320
37.417 * * * * [points]: Computing exacts on every 5 of 651 points to ramp up precision
37.420 * * * * [points]: Setting MPFR precision to 64
37.427 * * * * [points]: Setting MPFR precision to 320
37.454 * * * * [points]: Computing exacts on every 2 of 651 points to ramp up precision
37.457 * * * * [points]: Setting MPFR precision to 64
37.471 * * * * [points]: Setting MPFR precision to 320
37.485 * * * * [points]: Computing exacts for 651 points
37.488 * * * * [points]: Setting MPFR precision to 64
37.526 * * * * [points]: Setting MPFR precision to 320
37.590 * * * * [points]: Filtering points with unrepresentable outputs
37.590 * * * * [points]: Sampling 596 additional inputs, on iter 20 have 7404 / 8000
37.592 * * * * [points]: Computing exacts on every 37 of 596 points to ramp up precision
37.596 * * * * [points]: Setting MPFR precision to 64
37.597 * * * * [points]: Setting MPFR precision to 320
37.598 * * * * [points]: Computing exacts on every 18 of 596 points to ramp up precision
37.600 * * * * [points]: Setting MPFR precision to 64
37.602 * * * * [points]: Setting MPFR precision to 320
37.604 * * * * [points]: Computing exacts on every 9 of 596 points to ramp up precision
37.607 * * * * [points]: Setting MPFR precision to 64
37.611 * * * * [points]: Setting MPFR precision to 320
37.614 * * * * [points]: Computing exacts on every 4 of 596 points to ramp up precision
37.617 * * * * [points]: Setting MPFR precision to 64
37.624 * * * * [points]: Setting MPFR precision to 320
37.631 * * * * [points]: Computing exacts on every 2 of 596 points to ramp up precision
37.634 * * * * [points]: Setting MPFR precision to 64
37.646 * * * * [points]: Setting MPFR precision to 320
37.677 * * * * [points]: Computing exacts for 596 points
37.680 * * * * [points]: Setting MPFR precision to 64
37.717 * * * * [points]: Setting MPFR precision to 320
37.753 * * * * [points]: Filtering points with unrepresentable outputs
37.754 * * * * [points]: Sampling 526 additional inputs, on iter 21 have 7474 / 8000
37.756 * * * * [points]: Computing exacts on every 32 of 526 points to ramp up precision
37.759 * * * * [points]: Setting MPFR precision to 64
37.760 * * * * [points]: Setting MPFR precision to 320
37.761 * * * * [points]: Computing exacts on every 16 of 526 points to ramp up precision
37.764 * * * * [points]: Setting MPFR precision to 64
37.765 * * * * [points]: Setting MPFR precision to 320
37.767 * * * * [points]: Computing exacts on every 8 of 526 points to ramp up precision
37.791 * * * * [points]: Setting MPFR precision to 64
37.795 * * * * [points]: Setting MPFR precision to 320
37.799 * * * * [points]: Computing exacts on every 4 of 526 points to ramp up precision
37.803 * * * * [points]: Setting MPFR precision to 64
37.810 * * * * [points]: Setting MPFR precision to 320
37.816 * * * * [points]: Computing exacts on every 2 of 526 points to ramp up precision
37.819 * * * * [points]: Setting MPFR precision to 64
37.829 * * * * [points]: Setting MPFR precision to 320
37.840 * * * * [points]: Computing exacts for 526 points
37.843 * * * * [points]: Setting MPFR precision to 64
37.874 * * * * [points]: Setting MPFR precision to 320
38.170 * * * * [points]: Filtering points with unrepresentable outputs
38.170 * * * * [points]: Sampling 472 additional inputs, on iter 22 have 7528 / 8000
38.172 * * * * [points]: Computing exacts on every 29 of 472 points to ramp up precision
38.175 * * * * [points]: Setting MPFR precision to 64
38.176 * * * * [points]: Setting MPFR precision to 320
38.177 * * * * [points]: Computing exacts on every 14 of 472 points to ramp up precision
38.180 * * * * [points]: Setting MPFR precision to 64
38.181 * * * * [points]: Setting MPFR precision to 320
38.183 * * * * [points]: Computing exacts on every 7 of 472 points to ramp up precision
38.186 * * * * [points]: Setting MPFR precision to 64
38.190 * * * * [points]: Setting MPFR precision to 320
38.193 * * * * [points]: Computing exacts on every 3 of 472 points to ramp up precision
38.196 * * * * [points]: Setting MPFR precision to 64
38.203 * * * * [points]: Setting MPFR precision to 320
38.210 * * * * [points]: Computing exacts for 472 points
38.213 * * * * [points]: Setting MPFR precision to 64
38.259 * * * * [points]: Setting MPFR precision to 320
38.287 * * * * [points]: Filtering points with unrepresentable outputs
38.288 * * * * [points]: Sampling 417 additional inputs, on iter 23 have 7583 / 8000
38.289 * * * * [points]: Computing exacts on every 26 of 417 points to ramp up precision
38.292 * * * * [points]: Setting MPFR precision to 64
38.293 * * * * [points]: Setting MPFR precision to 320
38.294 * * * * [points]: Computing exacts on every 13 of 417 points to ramp up precision
38.297 * * * * [points]: Setting MPFR precision to 64
38.299 * * * * [points]: Setting MPFR precision to 320
38.301 * * * * [points]: Computing exacts on every 6 of 417 points to ramp up precision
38.304 * * * * [points]: Setting MPFR precision to 64
38.307 * * * * [points]: Setting MPFR precision to 320
38.311 * * * * [points]: Computing exacts on every 3 of 417 points to ramp up precision
38.314 * * * * [points]: Setting MPFR precision to 64
38.320 * * * * [points]: Setting MPFR precision to 320
38.326 * * * * [points]: Computing exacts for 417 points
38.329 * * * * [points]: Setting MPFR precision to 64
38.374 * * * * [points]: Setting MPFR precision to 320
38.399 * * * * [points]: Filtering points with unrepresentable outputs
38.399 * * * * [points]: Sampling 379 additional inputs, on iter 24 have 7621 / 8000
38.401 * * * * [points]: Computing exacts on every 23 of 379 points to ramp up precision
38.404 * * * * [points]: Setting MPFR precision to 64
38.405 * * * * [points]: Setting MPFR precision to 320
38.406 * * * * [points]: Computing exacts on every 11 of 379 points to ramp up precision
38.408 * * * * [points]: Setting MPFR precision to 64
38.410 * * * * [points]: Setting MPFR precision to 320
38.412 * * * * [points]: Computing exacts on every 5 of 379 points to ramp up precision
38.415 * * * * [points]: Setting MPFR precision to 64
38.419 * * * * [points]: Setting MPFR precision to 320
38.423 * * * * [points]: Computing exacts on every 2 of 379 points to ramp up precision
38.426 * * * * [points]: Setting MPFR precision to 64
38.433 * * * * [points]: Setting MPFR precision to 320
38.441 * * * * [points]: Computing exacts for 379 points
38.464 * * * * [points]: Setting MPFR precision to 64
38.488 * * * * [points]: Setting MPFR precision to 320
38.511 * * * * [points]: Filtering points with unrepresentable outputs
38.511 * * * * [points]: Sampling 332 additional inputs, on iter 25 have 7668 / 8000
38.512 * * * * [points]: Computing exacts on every 20 of 332 points to ramp up precision
38.515 * * * * [points]: Setting MPFR precision to 64
38.516 * * * * [points]: Setting MPFR precision to 320
38.517 * * * * [points]: Computing exacts on every 10 of 332 points to ramp up precision
38.520 * * * * [points]: Setting MPFR precision to 64
38.522 * * * * [points]: Setting MPFR precision to 320
38.524 * * * * [points]: Computing exacts on every 5 of 332 points to ramp up precision
38.527 * * * * [points]: Setting MPFR precision to 64
38.530 * * * * [points]: Setting MPFR precision to 320
38.534 * * * * [points]: Computing exacts on every 2 of 332 points to ramp up precision
38.536 * * * * [points]: Setting MPFR precision to 64
38.543 * * * * [points]: Setting MPFR precision to 320
38.549 * * * * [points]: Computing exacts for 332 points
38.572 * * * * [points]: Setting MPFR precision to 64
38.593 * * * * [points]: Setting MPFR precision to 320
38.613 * * * * [points]: Filtering points with unrepresentable outputs
38.613 * * * * [points]: Sampling 283 additional inputs, on iter 26 have 7717 / 8000
38.615 * * * * [points]: Computing exacts on every 17 of 283 points to ramp up precision
38.618 * * * * [points]: Setting MPFR precision to 64
38.619 * * * * [points]: Setting MPFR precision to 320
38.620 * * * * [points]: Computing exacts on every 8 of 283 points to ramp up precision
38.623 * * * * [points]: Setting MPFR precision to 64
38.625 * * * * [points]: Setting MPFR precision to 320
38.627 * * * * [points]: Computing exacts on every 4 of 283 points to ramp up precision
38.630 * * * * [points]: Setting MPFR precision to 64
38.634 * * * * [points]: Setting MPFR precision to 320
38.637 * * * * [points]: Computing exacts on every 2 of 283 points to ramp up precision
38.640 * * * * [points]: Setting MPFR precision to 64
38.646 * * * * [points]: Setting MPFR precision to 320
38.651 * * * * [points]: Computing exacts for 283 points
38.654 * * * * [points]: Setting MPFR precision to 64
38.693 * * * * [points]: Setting MPFR precision to 320
38.711 * * * * [points]: Filtering points with unrepresentable outputs
38.711 * * * * [points]: Sampling 252 additional inputs, on iter 27 have 7748 / 8000
38.712 * * * * [points]: Computing exacts on every 15 of 252 points to ramp up precision
38.715 * * * * [points]: Setting MPFR precision to 64
38.716 * * * * [points]: Setting MPFR precision to 320
38.717 * * * * [points]: Computing exacts on every 7 of 252 points to ramp up precision
38.720 * * * * [points]: Setting MPFR precision to 64
38.722 * * * * [points]: Setting MPFR precision to 320
38.724 * * * * [points]: Computing exacts on every 3 of 252 points to ramp up precision
38.727 * * * * [points]: Setting MPFR precision to 64
38.731 * * * * [points]: Setting MPFR precision to 320
38.735 * * * * [points]: Computing exacts for 252 points
38.737 * * * * [points]: Setting MPFR precision to 64
38.752 * * * * [points]: Setting MPFR precision to 320
38.790 * * * * [points]: Filtering points with unrepresentable outputs
38.791 * * * * [points]: Sampling 218 additional inputs, on iter 28 have 7782 / 8000
38.792 * * * * [points]: Computing exacts on every 13 of 218 points to ramp up precision
38.795 * * * * [points]: Setting MPFR precision to 64
38.796 * * * * [points]: Setting MPFR precision to 320
38.797 * * * * [points]: Computing exacts on every 6 of 218 points to ramp up precision
38.802 * * * * [points]: Setting MPFR precision to 64
38.804 * * * * [points]: Setting MPFR precision to 320
38.806 * * * * [points]: Computing exacts on every 3 of 218 points to ramp up precision
38.809 * * * * [points]: Setting MPFR precision to 64
38.812 * * * * [points]: Setting MPFR precision to 320
38.816 * * * * [points]: Computing exacts for 218 points
38.819 * * * * [points]: Setting MPFR precision to 64
38.832 * * * * [points]: Setting MPFR precision to 320
38.845 * * * * [points]: Filtering points with unrepresentable outputs
38.845 * * * * [points]: Sampling 189 additional inputs, on iter 29 have 7811 / 8000
38.846 * * * * [points]: Computing exacts on every 11 of 189 points to ramp up precision
38.849 * * * * [points]: Setting MPFR precision to 64
38.850 * * * * [points]: Setting MPFR precision to 320
38.851 * * * * [points]: Computing exacts on every 5 of 189 points to ramp up precision
38.854 * * * * [points]: Setting MPFR precision to 64
38.856 * * * * [points]: Setting MPFR precision to 320
38.858 * * * * [points]: Computing exacts on every 2 of 189 points to ramp up precision
38.861 * * * * [points]: Setting MPFR precision to 64
38.865 * * * * [points]: Setting MPFR precision to 320
38.869 * * * * [points]: Computing exacts for 189 points
38.887 * * * * [points]: Setting MPFR precision to 64
38.900 * * * * [points]: Setting MPFR precision to 320
38.912 * * * * [points]: Filtering points with unrepresentable outputs
38.912 * * * * [points]: Sampling 162 additional inputs, on iter 30 have 7838 / 8000
38.913 * * * * [points]: Computing exacts on every 10 of 162 points to ramp up precision
38.916 * * * * [points]: Setting MPFR precision to 64
38.917 * * * * [points]: Setting MPFR precision to 320
38.917 * * * * [points]: Computing exacts on every 5 of 162 points to ramp up precision
38.920 * * * * [points]: Setting MPFR precision to 64
38.922 * * * * [points]: Setting MPFR precision to 320
38.924 * * * * [points]: Computing exacts on every 2 of 162 points to ramp up precision
38.927 * * * * [points]: Setting MPFR precision to 64
38.930 * * * * [points]: Setting MPFR precision to 320
38.933 * * * * [points]: Computing exacts for 162 points
38.936 * * * * [points]: Setting MPFR precision to 64
38.946 * * * * [points]: Setting MPFR precision to 320
38.955 * * * * [points]: Filtering points with unrepresentable outputs
38.955 * * * * [points]: Sampling 140 additional inputs, on iter 31 have 7860 / 8000
38.956 * * * * [points]: Computing exacts on every 8 of 140 points to ramp up precision
38.959 * * * * [points]: Setting MPFR precision to 64
38.960 * * * * [points]: Setting MPFR precision to 320
38.961 * * * * [points]: Computing exacts on every 4 of 140 points to ramp up precision
38.964 * * * * [points]: Setting MPFR precision to 64
38.966 * * * * [points]: Setting MPFR precision to 320
38.967 * * * * [points]: Computing exacts on every 2 of 140 points to ramp up precision
38.987 * * * * [points]: Setting MPFR precision to 64
38.990 * * * * [points]: Setting MPFR precision to 320
38.993 * * * * [points]: Computing exacts for 140 points
38.996 * * * * [points]: Setting MPFR precision to 64
39.006 * * * * [points]: Setting MPFR precision to 320
39.014 * * * * [points]: Filtering points with unrepresentable outputs
39.014 * * * * [points]: Sampling 126 additional inputs, on iter 32 have 7874 / 8000
39.015 * * * * [points]: Computing exacts on every 7 of 126 points to ramp up precision
39.018 * * * * [points]: Setting MPFR precision to 64
39.019 * * * * [points]: Setting MPFR precision to 320
39.020 * * * * [points]: Computing exacts on every 3 of 126 points to ramp up precision
39.023 * * * * [points]: Setting MPFR precision to 64
39.025 * * * * [points]: Setting MPFR precision to 320
39.027 * * * * [points]: Computing exacts for 126 points
39.030 * * * * [points]: Setting MPFR precision to 64
39.037 * * * * [points]: Setting MPFR precision to 320
39.045 * * * * [points]: Filtering points with unrepresentable outputs
39.045 * * * * [points]: Sampling 112 additional inputs, on iter 33 have 7888 / 8000
39.045 * * * * [points]: Computing exacts on every 7 of 112 points to ramp up precision
39.048 * * * * [points]: Setting MPFR precision to 64
39.049 * * * * [points]: Setting MPFR precision to 320
39.050 * * * * [points]: Computing exacts on every 3 of 112 points to ramp up precision
39.053 * * * * [points]: Setting MPFR precision to 64
39.055 * * * * [points]: Setting MPFR precision to 320
39.056 * * * * [points]: Computing exacts for 112 points
39.059 * * * * [points]: Setting MPFR precision to 64
39.066 * * * * [points]: Setting MPFR precision to 320
39.091 * * * * [points]: Filtering points with unrepresentable outputs
39.091 * * * * [points]: Sampling 97 additional inputs, on iter 34 have 7903 / 8000
39.091 * * * * [points]: Computing exacts on every 6 of 97 points to ramp up precision
39.095 * * * * [points]: Setting MPFR precision to 64
39.096 * * * * [points]: Setting MPFR precision to 320
39.096 * * * * [points]: Computing exacts on every 3 of 97 points to ramp up precision
39.099 * * * * [points]: Setting MPFR precision to 64
39.101 * * * * [points]: Setting MPFR precision to 320
39.102 * * * * [points]: Computing exacts for 97 points
39.105 * * * * [points]: Setting MPFR precision to 64
39.111 * * * * [points]: Setting MPFR precision to 320
39.117 * * * * [points]: Filtering points with unrepresentable outputs
39.117 * * * * [points]: Sampling 81 additional inputs, on iter 35 have 7919 / 8000
39.117 * * * * [points]: Computing exacts on every 5 of 81 points to ramp up precision
39.120 * * * * [points]: Setting MPFR precision to 64
39.121 * * * * [points]: Setting MPFR precision to 320
39.122 * * * * [points]: Computing exacts on every 2 of 81 points to ramp up precision
39.125 * * * * [points]: Setting MPFR precision to 64
39.127 * * * * [points]: Setting MPFR precision to 320
39.128 * * * * [points]: Computing exacts for 81 points
39.131 * * * * [points]: Setting MPFR precision to 64
39.136 * * * * [points]: Setting MPFR precision to 320
39.141 * * * * [points]: Filtering points with unrepresentable outputs
39.141 * * * * [points]: Sampling 71 additional inputs, on iter 36 have 7929 / 8000
39.141 * * * * [points]: Computing exacts on every 4 of 71 points to ramp up precision
39.144 * * * * [points]: Setting MPFR precision to 64
39.145 * * * * [points]: Setting MPFR precision to 320
39.146 * * * * [points]: Computing exacts on every 2 of 71 points to ramp up precision
39.149 * * * * [points]: Setting MPFR precision to 64
39.150 * * * * [points]: Setting MPFR precision to 320
39.152 * * * * [points]: Computing exacts for 71 points
39.155 * * * * [points]: Setting MPFR precision to 64
39.159 * * * * [points]: Setting MPFR precision to 320
39.177 * * * * [points]: Filtering points with unrepresentable outputs
39.178 * * * * [points]: Sampling 63 additional inputs, on iter 37 have 7937 / 8000
39.179 * * * * [points]: Computing exacts on every 3 of 63 points to ramp up precision
39.182 * * * * [points]: Setting MPFR precision to 64
39.183 * * * * [points]: Setting MPFR precision to 320
39.184 * * * * [points]: Computing exacts for 63 points
39.187 * * * * [points]: Setting MPFR precision to 64
39.191 * * * * [points]: Setting MPFR precision to 320
39.195 * * * * [points]: Filtering points with unrepresentable outputs
39.195 * * * * [points]: Sampling 56 additional inputs, on iter 38 have 7944 / 8000
39.196 * * * * [points]: Computing exacts on every 3 of 56 points to ramp up precision
39.199 * * * * [points]: Setting MPFR precision to 64
39.199 * * * * [points]: Setting MPFR precision to 320
39.200 * * * * [points]: Computing exacts for 56 points
39.203 * * * * [points]: Setting MPFR precision to 64
39.207 * * * * [points]: Setting MPFR precision to 320
39.210 * * * * [points]: Filtering points with unrepresentable outputs
39.210 * * * * [points]: Sampling 50 additional inputs, on iter 39 have 7950 / 8000
39.210 * * * * [points]: Computing exacts on every 3 of 50 points to ramp up precision
39.213 * * * * [points]: Setting MPFR precision to 64
39.214 * * * * [points]: Setting MPFR precision to 320
39.215 * * * * [points]: Computing exacts for 50 points
39.218 * * * * [points]: Setting MPFR precision to 64
39.221 * * * * [points]: Setting MPFR precision to 320
39.224 * * * * [points]: Filtering points with unrepresentable outputs
39.224 * * * * [points]: Sampling 45 additional inputs, on iter 40 have 7955 / 8000
39.224 * * * * [points]: Computing exacts on every 2 of 45 points to ramp up precision
39.227 * * * * [points]: Setting MPFR precision to 64
39.228 * * * * [points]: Setting MPFR precision to 320
39.229 * * * * [points]: Computing exacts for 45 points
39.232 * * * * [points]: Setting MPFR precision to 64
39.235 * * * * [points]: Setting MPFR precision to 320
39.237 * * * * [points]: Filtering points with unrepresentable outputs
39.237 * * * * [points]: Sampling 41 additional inputs, on iter 41 have 7959 / 8000
39.238 * * * * [points]: Computing exacts on every 2 of 41 points to ramp up precision
39.240 * * * * [points]: Setting MPFR precision to 64
39.241 * * * * [points]: Setting MPFR precision to 320
39.242 * * * * [points]: Computing exacts for 41 points
39.245 * * * * [points]: Setting MPFR precision to 64
39.248 * * * * [points]: Setting MPFR precision to 320
39.250 * * * * [points]: Filtering points with unrepresentable outputs
39.250 * * * * [points]: Sampling 39 additional inputs, on iter 42 have 7961 / 8000
39.250 * * * * [points]: Computing exacts on every 2 of 39 points to ramp up precision
39.266 * * * * [points]: Setting MPFR precision to 64
39.267 * * * * [points]: Setting MPFR precision to 320
39.268 * * * * [points]: Computing exacts for 39 points
39.273 * * * * [points]: Setting MPFR precision to 64
39.275 * * * * [points]: Setting MPFR precision to 320
39.277 * * * * [points]: Filtering points with unrepresentable outputs
39.278 * * * * [points]: Sampling 32 additional inputs, on iter 43 have 7968 / 8000
39.278 * * * * [points]: Computing exacts on every 2 of 32 points to ramp up precision
39.281 * * * * [points]: Setting MPFR precision to 64
39.281 * * * * [points]: Setting MPFR precision to 320
39.282 * * * * [points]: Computing exacts for 32 points
39.285 * * * * [points]: Setting MPFR precision to 64
39.287 * * * * [points]: Setting MPFR precision to 320
39.289 * * * * [points]: Filtering points with unrepresentable outputs
39.289 * * * * [points]: Sampling 31 additional inputs, on iter 44 have 7969 / 8000
39.289 * * * * [points]: Computing exacts for 31 points
39.292 * * * * [points]: Setting MPFR precision to 64
39.294 * * * * [points]: Setting MPFR precision to 320
39.296 * * * * [points]: Filtering points with unrepresentable outputs
39.296 * * * * [points]: Sampling 26 additional inputs, on iter 45 have 7974 / 8000
39.296 * * * * [points]: Computing exacts for 26 points
39.299 * * * * [points]: Setting MPFR precision to 64
39.301 * * * * [points]: Setting MPFR precision to 320
39.302 * * * * [points]: Filtering points with unrepresentable outputs
39.302 * * * * [points]: Sampling 22 additional inputs, on iter 46 have 7978 / 8000
39.302 * * * * [points]: Computing exacts for 22 points
39.305 * * * * [points]: Setting MPFR precision to 64
39.307 * * * * [points]: Setting MPFR precision to 320
39.308 * * * * [points]: Filtering points with unrepresentable outputs
39.308 * * * * [points]: Sampling 21 additional inputs, on iter 47 have 7979 / 8000
39.308 * * * * [points]: Computing exacts for 21 points
39.311 * * * * [points]: Setting MPFR precision to 64
39.313 * * * * [points]: Setting MPFR precision to 320
39.314 * * * * [points]: Filtering points with unrepresentable outputs
39.314 * * * * [points]: Sampling 18 additional inputs, on iter 48 have 7982 / 8000
39.314 * * * * [points]: Computing exacts for 18 points
39.317 * * * * [points]: Setting MPFR precision to 64
39.318 * * * * [points]: Setting MPFR precision to 320
39.319 * * * * [points]: Filtering points with unrepresentable outputs
39.319 * * * * [points]: Sampling 15 additional inputs, on iter 49 have 7985 / 8000
39.319 * * * * [points]: Computing exacts for 15 points
39.322 * * * * [points]: Setting MPFR precision to 64
39.323 * * * * [points]: Setting MPFR precision to 320
39.324 * * * * [points]: Filtering points with unrepresentable outputs
39.324 * * * * [points]: Sampling 13 additional inputs, on iter 50 have 7987 / 8000
39.324 * * * * [points]: Computing exacts for 13 points
39.327 * * * * [points]: Setting MPFR precision to 64
39.328 * * * * [points]: Setting MPFR precision to 320
39.329 * * * * [points]: Filtering points with unrepresentable outputs
39.329 * * * * [points]: Sampling 11 additional inputs, on iter 51 have 7989 / 8000
39.329 * * * * [points]: Computing exacts for 11 points
39.332 * * * * [points]: Setting MPFR precision to 64
39.333 * * * * [points]: Setting MPFR precision to 320
39.333 * * * * [points]: Filtering points with unrepresentable outputs
39.334 * * * * [points]: Sampling 9 additional inputs, on iter 52 have 7991 / 8000
39.334 * * * * [points]: Computing exacts for 9 points
39.336 * * * * [points]: Setting MPFR precision to 64
39.337 * * * * [points]: Setting MPFR precision to 320
39.338 * * * * [points]: Filtering points with unrepresentable outputs
39.338 * * * * [points]: Sampling 8 additional inputs, on iter 53 have 7992 / 8000
39.338 * * * * [points]: Computing exacts for 8 points
39.352 * * * * [points]: Setting MPFR precision to 64
39.353 * * * * [points]: Setting MPFR precision to 320
39.354 * * * * [points]: Filtering points with unrepresentable outputs
39.354 * * * * [points]: Sampling 8 additional inputs, on iter 54 have 7992 / 8000
39.354 * * * * [points]: Computing exacts for 8 points
39.357 * * * * [points]: Setting MPFR precision to 64
39.357 * * * * [points]: Setting MPFR precision to 320
39.358 * * * * [points]: Filtering points with unrepresentable outputs
39.358 * * * * [points]: Sampling 5 additional inputs, on iter 55 have 7995 / 8000
39.358 * * * * [points]: Computing exacts for 5 points
39.362 * * * * [points]: Setting MPFR precision to 64
39.363 * * * * [points]: Setting MPFR precision to 320
39.363 * * * * [points]: Filtering points with unrepresentable outputs
39.363 * * * * [points]: Sampling 5 additional inputs, on iter 56 have 7995 / 8000
39.363 * * * * [points]: Computing exacts for 5 points
39.366 * * * * [points]: Setting MPFR precision to 64
39.366 * * * * [points]: Setting MPFR precision to 320
39.367 * * * * [points]: Filtering points with unrepresentable outputs
39.367 * * * * [points]: Sampling 4 additional inputs, on iter 57 have 7997 / 8000
39.367 * * * * [points]: Computing exacts for 4 points
39.370 * * * * [points]: Setting MPFR precision to 64
39.370 * * * * [points]: Setting MPFR precision to 320
39.370 * * * * [points]: Filtering points with unrepresentable outputs
39.370 * * * * [points]: Sampling 4 additional inputs, on iter 58 have 7999 / 8000
39.370 * * * * [points]: Computing exacts for 4 points
39.373 * * * * [points]: Setting MPFR precision to 64
39.373 * * * * [points]: Setting MPFR precision to 320
39.374 * * * * [points]: Filtering points with unrepresentable outputs
39.374 * * * * [points]: Sampling 4 additional inputs, on iter 59 have 7999 / 8000
39.374 * * * * [points]: Computing exacts for 4 points
39.377 * * * * [points]: Setting MPFR precision to 64
39.377 * * * * [points]: Setting MPFR precision to 320
39.377 * * * * [points]: Filtering points with unrepresentable outputs
39.377 * * * * [points]: Sampled 8000 points with exact outputs
41.721 * [regime-testing]: Baseline error score: 64.0
41.724 * [regime-testing]: Oracle error score: 64.0
41.730 * [regime-testing]: End program error score: 0.2093226137733465