0.001 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.002 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.003 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.006 * * * * [points]: Setting MPFR precision to 64
0.008 * * * * [points]: Setting MPFR precision to 320
0.009 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.012 * * * * [points]: Setting MPFR precision to 64
0.015 * * * * [points]: Setting MPFR precision to 320
0.017 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.020 * * * * [points]: Setting MPFR precision to 64
0.024 * * * * [points]: Setting MPFR precision to 320
0.028 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.031 * * * * [points]: Setting MPFR precision to 64
0.038 * * * * [points]: Setting MPFR precision to 320
0.044 * * * * [points]: Computing exacts for 256 points
0.048 * * * * [points]: Setting MPFR precision to 64
0.067 * * * * [points]: Setting MPFR precision to 320
0.109 * * * * [points]: Filtering points with unrepresentable outputs
0.109 * * * * [points]: Sampling 229 additional inputs, on iter 1 have 27 / 256
0.110 * * * * [points]: Computing exacts on every 14 of 229 points to ramp up precision
0.114 * * * * [points]: Setting MPFR precision to 64
0.115 * * * * [points]: Setting MPFR precision to 320
0.116 * * * * [points]: Computing exacts on every 7 of 229 points to ramp up precision
0.120 * * * * [points]: Setting MPFR precision to 64
0.122 * * * * [points]: Setting MPFR precision to 320
0.125 * * * * [points]: Computing exacts on every 3 of 229 points to ramp up precision
0.129 * * * * [points]: Setting MPFR precision to 64
0.134 * * * * [points]: Setting MPFR precision to 320
0.138 * * * * [points]: Computing exacts for 229 points
0.142 * * * * [points]: Setting MPFR precision to 64
0.159 * * * * [points]: Setting MPFR precision to 320
0.176 * * * * [points]: Filtering points with unrepresentable outputs
0.176 * * * * [points]: Sampling 194 additional inputs, on iter 2 have 62 / 256
0.177 * * * * [points]: Computing exacts on every 12 of 194 points to ramp up precision
0.181 * * * * [points]: Setting MPFR precision to 64
0.182 * * * * [points]: Setting MPFR precision to 320
0.183 * * * * [points]: Computing exacts on every 6 of 194 points to ramp up precision
0.186 * * * * [points]: Setting MPFR precision to 64
0.188 * * * * [points]: Setting MPFR precision to 320
0.190 * * * * [points]: Computing exacts on every 3 of 194 points to ramp up precision
0.194 * * * * [points]: Setting MPFR precision to 64
0.219 * * * * [points]: Setting MPFR precision to 320
0.223 * * * * [points]: Computing exacts for 194 points
0.228 * * * * [points]: Setting MPFR precision to 64
0.243 * * * * [points]: Setting MPFR precision to 320
0.257 * * * * [points]: Filtering points with unrepresentable outputs
0.258 * * * * [points]: Sampling 161 additional inputs, on iter 3 have 95 / 256
0.258 * * * * [points]: Computing exacts on every 10 of 161 points to ramp up precision
0.262 * * * * [points]: Setting MPFR precision to 64
0.263 * * * * [points]: Setting MPFR precision to 320
0.264 * * * * [points]: Computing exacts on every 5 of 161 points to ramp up precision
0.268 * * * * [points]: Setting MPFR precision to 64
0.270 * * * * [points]: Setting MPFR precision to 320
0.272 * * * * [points]: Computing exacts on every 2 of 161 points to ramp up precision
0.275 * * * * [points]: Setting MPFR precision to 64
0.279 * * * * [points]: Setting MPFR precision to 320
0.283 * * * * [points]: Computing exacts for 161 points
0.287 * * * * [points]: Setting MPFR precision to 64
0.299 * * * * [points]: Setting MPFR precision to 320
0.312 * * * * [points]: Filtering points with unrepresentable outputs
0.312 * * * * [points]: Sampling 142 additional inputs, on iter 4 have 114 / 256
0.313 * * * * [points]: Computing exacts on every 8 of 142 points to ramp up precision
0.316 * * * * [points]: Setting MPFR precision to 64
0.318 * * * * [points]: Setting MPFR precision to 320
0.319 * * * * [points]: Computing exacts on every 4 of 142 points to ramp up precision
0.343 * * * * [points]: Setting MPFR precision to 64
0.346 * * * * [points]: Setting MPFR precision to 320
0.348 * * * * [points]: Computing exacts on every 2 of 142 points to ramp up precision
0.354 * * * * [points]: Setting MPFR precision to 64
0.359 * * * * [points]: Setting MPFR precision to 320
0.362 * * * * [points]: Computing exacts for 142 points
0.366 * * * * [points]: Setting MPFR precision to 64
0.377 * * * * [points]: Setting MPFR precision to 320
0.387 * * * * [points]: Filtering points with unrepresentable outputs
0.387 * * * * [points]: Sampling 123 additional inputs, on iter 5 have 133 / 256
0.388 * * * * [points]: Computing exacts on every 7 of 123 points to ramp up precision
0.392 * * * * [points]: Setting MPFR precision to 64
0.393 * * * * [points]: Setting MPFR precision to 320
0.394 * * * * [points]: Computing exacts on every 3 of 123 points to ramp up precision
0.398 * * * * [points]: Setting MPFR precision to 64
0.400 * * * * [points]: Setting MPFR precision to 320
0.402 * * * * [points]: Computing exacts for 123 points
0.406 * * * * [points]: Setting MPFR precision to 64
0.415 * * * * [points]: Setting MPFR precision to 320
0.424 * * * * [points]: Filtering points with unrepresentable outputs
0.424 * * * * [points]: Sampling 112 additional inputs, on iter 6 have 144 / 256
0.425 * * * * [points]: Computing exacts on every 7 of 112 points to ramp up precision
0.429 * * * * [points]: Setting MPFR precision to 64
0.430 * * * * [points]: Setting MPFR precision to 320
0.431 * * * * [points]: Computing exacts on every 3 of 112 points to ramp up precision
0.434 * * * * [points]: Setting MPFR precision to 64
0.437 * * * * [points]: Setting MPFR precision to 320
0.462 * * * * [points]: Computing exacts for 112 points
0.466 * * * * [points]: Setting MPFR precision to 64
0.477 * * * * [points]: Setting MPFR precision to 320
0.486 * * * * [points]: Filtering points with unrepresentable outputs
0.486 * * * * [points]: Sampling 103 additional inputs, on iter 7 have 153 / 256
0.486 * * * * [points]: Computing exacts on every 6 of 103 points to ramp up precision
0.490 * * * * [points]: Setting MPFR precision to 64
0.491 * * * * [points]: Setting MPFR precision to 320
0.492 * * * * [points]: Computing exacts on every 3 of 103 points to ramp up precision
0.496 * * * * [points]: Setting MPFR precision to 64
0.498 * * * * [points]: Setting MPFR precision to 320
0.500 * * * * [points]: Computing exacts for 103 points
0.503 * * * * [points]: Setting MPFR precision to 64
0.511 * * * * [points]: Setting MPFR precision to 320
0.519 * * * * [points]: Filtering points with unrepresentable outputs
0.519 * * * * [points]: Sampling 92 additional inputs, on iter 8 have 164 / 256
0.520 * * * * [points]: Computing exacts on every 5 of 92 points to ramp up precision
0.524 * * * * [points]: Setting MPFR precision to 64
0.525 * * * * [points]: Setting MPFR precision to 320
0.526 * * * * [points]: Computing exacts on every 2 of 92 points to ramp up precision
0.530 * * * * [points]: Setting MPFR precision to 64
0.532 * * * * [points]: Setting MPFR precision to 320
0.535 * * * * [points]: Computing exacts for 92 points
0.538 * * * * [points]: Setting MPFR precision to 64
0.545 * * * * [points]: Setting MPFR precision to 320
0.552 * * * * [points]: Filtering points with unrepresentable outputs
0.552 * * * * [points]: Sampling 81 additional inputs, on iter 9 have 175 / 256
0.553 * * * * [points]: Computing exacts on every 5 of 81 points to ramp up precision
0.556 * * * * [points]: Setting MPFR precision to 64
0.558 * * * * [points]: Setting MPFR precision to 320
0.559 * * * * [points]: Computing exacts on every 2 of 81 points to ramp up precision
0.582 * * * * [points]: Setting MPFR precision to 64
0.584 * * * * [points]: Setting MPFR precision to 320
0.586 * * * * [points]: Computing exacts for 81 points
0.591 * * * * [points]: Setting MPFR precision to 64
0.598 * * * * [points]: Setting MPFR precision to 320
0.604 * * * * [points]: Filtering points with unrepresentable outputs
0.604 * * * * [points]: Sampling 71 additional inputs, on iter 10 have 185 / 256
0.605 * * * * [points]: Computing exacts on every 4 of 71 points to ramp up precision
0.608 * * * * [points]: Setting MPFR precision to 64
0.609 * * * * [points]: Setting MPFR precision to 320
0.610 * * * * [points]: Computing exacts on every 2 of 71 points to ramp up precision
0.614 * * * * [points]: Setting MPFR precision to 64
0.616 * * * * [points]: Setting MPFR precision to 320
0.617 * * * * [points]: Computing exacts for 71 points
0.621 * * * * [points]: Setting MPFR precision to 64
0.626 * * * * [points]: Setting MPFR precision to 320
0.632 * * * * [points]: Filtering points with unrepresentable outputs
0.632 * * * * [points]: Sampling 62 additional inputs, on iter 11 have 194 / 256
0.632 * * * * [points]: Computing exacts on every 3 of 62 points to ramp up precision
0.636 * * * * [points]: Setting MPFR precision to 64
0.637 * * * * [points]: Setting MPFR precision to 320
0.639 * * * * [points]: Computing exacts for 62 points
0.642 * * * * [points]: Setting MPFR precision to 64
0.647 * * * * [points]: Setting MPFR precision to 320
0.652 * * * * [points]: Filtering points with unrepresentable outputs
0.652 * * * * [points]: Sampling 53 additional inputs, on iter 12 have 203 / 256
0.652 * * * * [points]: Computing exacts on every 3 of 53 points to ramp up precision
0.656 * * * * [points]: Setting MPFR precision to 64
0.657 * * * * [points]: Setting MPFR precision to 320
0.658 * * * * [points]: Computing exacts for 53 points
0.662 * * * * [points]: Setting MPFR precision to 64
0.666 * * * * [points]: Setting MPFR precision to 320
0.670 * * * * [points]: Filtering points with unrepresentable outputs
0.670 * * * * [points]: Sampling 49 additional inputs, on iter 13 have 207 / 256
0.671 * * * * [points]: Computing exacts on every 3 of 49 points to ramp up precision
0.674 * * * * [points]: Setting MPFR precision to 64
0.675 * * * * [points]: Setting MPFR precision to 320
0.676 * * * * [points]: Computing exacts for 49 points
0.700 * * * * [points]: Setting MPFR precision to 64
0.703 * * * * [points]: Setting MPFR precision to 320
0.709 * * * * [points]: Filtering points with unrepresentable outputs
0.709 * * * * [points]: Sampling 41 additional inputs, on iter 14 have 215 / 256
0.709 * * * * [points]: Computing exacts on every 2 of 41 points to ramp up precision
0.713 * * * * [points]: Setting MPFR precision to 64
0.714 * * * * [points]: Setting MPFR precision to 320
0.715 * * * * [points]: Computing exacts for 41 points
0.719 * * * * [points]: Setting MPFR precision to 64
0.722 * * * * [points]: Setting MPFR precision to 320
0.725 * * * * [points]: Filtering points with unrepresentable outputs
0.725 * * * * [points]: Sampling 39 additional inputs, on iter 15 have 217 / 256
0.726 * * * * [points]: Computing exacts on every 2 of 39 points to ramp up precision
0.730 * * * * [points]: Setting MPFR precision to 64
0.731 * * * * [points]: Setting MPFR precision to 320
0.732 * * * * [points]: Computing exacts for 39 points
0.735 * * * * [points]: Setting MPFR precision to 64
0.739 * * * * [points]: Setting MPFR precision to 320
0.742 * * * * [points]: Filtering points with unrepresentable outputs
0.742 * * * * [points]: Sampling 34 additional inputs, on iter 16 have 222 / 256
0.742 * * * * [points]: Computing exacts on every 2 of 34 points to ramp up precision
0.746 * * * * [points]: Setting MPFR precision to 64
0.748 * * * * [points]: Setting MPFR precision to 320
0.749 * * * * [points]: Computing exacts for 34 points
0.753 * * * * [points]: Setting MPFR precision to 64
0.756 * * * * [points]: Setting MPFR precision to 320
0.759 * * * * [points]: Filtering points with unrepresentable outputs
0.759 * * * * [points]: Sampling 31 additional inputs, on iter 17 have 225 / 256
0.759 * * * * [points]: Computing exacts for 31 points
0.762 * * * * [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 27 additional inputs, on iter 18 have 229 / 256
0.768 * * * * [points]: Computing exacts for 27 points
0.772 * * * * [points]: Setting MPFR precision to 64
0.774 * * * * [points]: Setting MPFR precision to 320
0.777 * * * * [points]: Filtering points with unrepresentable outputs
0.777 * * * * [points]: Sampling 25 additional inputs, on iter 19 have 231 / 256
0.777 * * * * [points]: Computing exacts for 25 points
0.780 * * * * [points]: Setting MPFR precision to 64
0.782 * * * * [points]: Setting MPFR precision to 320
0.784 * * * * [points]: Filtering points with unrepresentable outputs
0.784 * * * * [points]: Sampling 20 additional inputs, on iter 20 have 236 / 256
0.784 * * * * [points]: Computing exacts for 20 points
0.788 * * * * [points]: Setting MPFR precision to 64
0.790 * * * * [points]: Setting MPFR precision to 320
0.808 * * * * [points]: Filtering points with unrepresentable outputs
0.808 * * * * [points]: Sampling 19 additional inputs, on iter 21 have 237 / 256
0.808 * * * * [points]: Computing exacts for 19 points
0.811 * * * * [points]: Setting MPFR precision to 64
0.813 * * * * [points]: Setting MPFR precision to 320
0.815 * * * * [points]: Filtering points with unrepresentable outputs
0.815 * * * * [points]: Sampling 16 additional inputs, on iter 22 have 240 / 256
0.815 * * * * [points]: Computing exacts for 16 points
0.820 * * * * [points]: Setting MPFR precision to 64
0.822 * * * * [points]: Setting MPFR precision to 320
0.823 * * * * [points]: Filtering points with unrepresentable outputs
0.823 * * * * [points]: Sampling 13 additional inputs, on iter 23 have 243 / 256
0.823 * * * * [points]: Computing exacts for 13 points
0.827 * * * * [points]: Setting MPFR precision to 64
0.828 * * * * [points]: Setting MPFR precision to 320
0.829 * * * * [points]: Filtering points with unrepresentable outputs
0.829 * * * * [points]: Sampling 10 additional inputs, on iter 24 have 246 / 256
0.829 * * * * [points]: Computing exacts for 10 points
0.833 * * * * [points]: Setting MPFR precision to 64
0.834 * * * * [points]: Setting MPFR precision to 320
0.835 * * * * [points]: Filtering points with unrepresentable outputs
0.835 * * * * [points]: Sampling 9 additional inputs, on iter 25 have 247 / 256
0.835 * * * * [points]: Computing exacts for 9 points
0.838 * * * * [points]: Setting MPFR precision to 64
0.839 * * * * [points]: Setting MPFR precision to 320
0.840 * * * * [points]: Filtering points with unrepresentable outputs
0.840 * * * * [points]: Sampling 9 additional inputs, on iter 26 have 247 / 256
0.840 * * * * [points]: Computing exacts for 9 points
0.843 * * * * [points]: Setting MPFR precision to 64
0.844 * * * * [points]: Setting MPFR precision to 320
0.845 * * * * [points]: Filtering points with unrepresentable outputs
0.845 * * * * [points]: Sampling 7 additional inputs, on iter 27 have 249 / 256
0.845 * * * * [points]: Computing exacts for 7 points
0.849 * * * * [points]: Setting MPFR precision to 64
0.849 * * * * [points]: Setting MPFR precision to 320
0.850 * * * * [points]: Filtering points with unrepresentable outputs
0.850 * * * * [points]: Sampling 6 additional inputs, on iter 28 have 250 / 256
0.850 * * * * [points]: Computing exacts for 6 points
0.854 * * * * [points]: Setting MPFR precision to 64
0.854 * * * * [points]: Setting MPFR precision to 320
0.855 * * * * [points]: Filtering points with unrepresentable outputs
0.855 * * * * [points]: Sampling 5 additional inputs, on iter 29 have 251 / 256
0.855 * * * * [points]: Computing exacts for 5 points
0.858 * * * * [points]: Setting MPFR precision to 64
0.859 * * * * [points]: Setting MPFR precision to 320
0.859 * * * * [points]: Filtering points with unrepresentable outputs
0.859 * * * * [points]: Sampling 4 additional inputs, on iter 30 have 252 / 256
0.859 * * * * [points]: Computing exacts for 4 points
0.862 * * * * [points]: Setting MPFR precision to 64
0.863 * * * * [points]: Setting MPFR precision to 320
0.863 * * * * [points]: Filtering points with unrepresentable outputs
0.863 * * * * [points]: Sampling 4 additional inputs, on iter 31 have 252 / 256
0.863 * * * * [points]: Computing exacts for 4 points
0.867 * * * * [points]: Setting MPFR precision to 64
0.867 * * * * [points]: Setting MPFR precision to 320
0.867 * * * * [points]: Filtering points with unrepresentable outputs
0.867 * * * * [points]: Sampling 4 additional inputs, on iter 32 have 253 / 256
0.868 * * * * [points]: Computing exacts for 4 points
0.871 * * * * [points]: Setting MPFR precision to 64
0.871 * * * * [points]: Setting MPFR precision to 320
0.872 * * * * [points]: Filtering points with unrepresentable outputs
0.872 * * * * [points]: Sampling 4 additional inputs, on iter 33 have 254 / 256
0.872 * * * * [points]: Computing exacts for 4 points
0.875 * * * * [points]: Setting MPFR precision to 64
0.875 * * * * [points]: Setting MPFR precision to 320
0.876 * * * * [points]: Filtering points with unrepresentable outputs
0.876 * * * * [points]: Sampling 4 additional inputs, on iter 34 have 254 / 256
0.876 * * * * [points]: Computing exacts for 4 points
0.879 * * * * [points]: Setting MPFR precision to 64
0.879 * * * * [points]: Setting MPFR precision to 320
0.880 * * * * [points]: Filtering points with unrepresentable outputs
0.880 * * * * [points]: Sampling 4 additional inputs, on iter 35 have 254 / 256
0.880 * * * * [points]: Computing exacts for 4 points
0.894 * * * * [points]: Setting MPFR precision to 64
0.894 * * * * [points]: Setting MPFR precision to 320
0.895 * * * * [points]: Filtering points with unrepresentable outputs
0.895 * * * * [points]: Sampling 4 additional inputs, on iter 36 have 254 / 256
0.895 * * * * [points]: Computing exacts for 4 points
0.899 * * * * [points]: Setting MPFR precision to 64
0.900 * * * * [points]: Setting MPFR precision to 320
0.900 * * * * [points]: Filtering points with unrepresentable outputs
0.901 * * * * [points]: Sampling 4 additional inputs, on iter 37 have 254 / 256
0.901 * * * * [points]: Computing exacts for 4 points
0.904 * * * * [points]: Setting MPFR precision to 64
0.904 * * * * [points]: Setting MPFR precision to 320
0.905 * * * * [points]: Filtering points with unrepresentable outputs
0.905 * * * * [points]: Sampled 256 points with exact outputs
0.905 * * * [progress]: [2/2] Setting up program.
0.916 * [progress]: [Phase 2 of 3] Improving.
0.916 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
0.917 * [simplify]: Simplifying (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))
0.917 * * [simplify]: iters left: 6 (15 enodes)
0.921 * * [simplify]: iters left: 5 (54 enodes)
0.931 * * [simplify]: iters left: 4 (174 enodes)
1.007 * * [simplify]: Extracting #0: cost 1 inf + 0
1.007 * * [simplify]: Extracting #1: cost 2 inf + 0
1.007 * * [simplify]: Extracting #2: cost 52 inf + 0
1.008 * * [simplify]: Extracting #3: cost 218 inf + 0
1.009 * * [simplify]: Extracting #4: cost 350 inf + 488
1.014 * * [simplify]: Extracting #5: cost 271 inf + 83278
1.029 * * [simplify]: Extracting #6: cost 99 inf + 301152
1.056 * * [simplify]: Extracting #7: cost 13 inf + 445414
1.085 * * [simplify]: Extracting #8: cost 0 inf + 471346
1.115 * [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.115 * [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.127 * * [progress]: iteration 1 / 4
1.127 * * * [progress]: picking best candidate
1.139 * * * * [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.139 * * * [progress]: localizing error
1.380 * * * [progress]: generating rewritten candidates
1.380 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 2)
1.401 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
1.427 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
1.450 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
1.479 * * * [progress]: generating series expansions
1.479 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 2)
1.479 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
1.479 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
1.479 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
1.479 * * * [progress]: simplifying candidates
1.479 * * * * [progress]: [ 1 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (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.480 * * * * [progress]: [ 2 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (/.p16 (+.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.480 * * * * [progress]: [ 3 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) 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.480 * * * * [progress]: [ 4 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 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.480 * * * * [progress]: [ 5 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
1.480 * * * * [progress]: [ 6 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (/.p16 (+.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.480 * * * * [progress]: [ 7 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (+.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (neg.p16 c)))))>
1.480 * [simplify]: Simplifying (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (neg.p16 c))
1.480 * * [simplify]: iters left: 6 (14 enodes)
1.483 * * [simplify]: iters left: 5 (47 enodes)
1.492 * * [simplify]: iters left: 4 (142 enodes)
1.544 * * [simplify]: Extracting #0: cost 1 inf + 0
1.544 * * [simplify]: Extracting #1: cost 47 inf + 0
1.545 * * [simplify]: Extracting #2: cost 138 inf + 0
1.545 * * [simplify]: Extracting #3: cost 255 inf + 167
1.548 * * [simplify]: Extracting #4: cost 197 inf + 51251
1.562 * * [simplify]: Extracting #5: cost 37 inf + 258423
1.580 * * [simplify]: Extracting #6: cost 5 inf + 309031
1.599 * * [simplify]: Extracting #7: cost 0 inf + 319571
1.617 * [simplify]: Simplified to (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (neg.p16 c))
1.617 * [simplify]: Simplified (2 1 2) to (λ (a b c) (sqrt.p16 (+.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (neg.p16 c)))))
1.617 * * * * [progress]: [ 8 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (*.p16 (neg.p16 c) (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))))))>
1.618 * [simplify]: Simplifying (*.p16 (neg.p16 c) (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)))
1.618 * * [simplify]: iters left: 6 (14 enodes)
1.621 * * [simplify]: iters left: 5 (47 enodes)
1.632 * * [simplify]: iters left: 4 (147 enodes)
1.684 * * [simplify]: Extracting #0: cost 1 inf + 0
1.684 * * [simplify]: Extracting #1: cost 41 inf + 0
1.684 * * [simplify]: Extracting #2: cost 134 inf + 0
1.685 * * [simplify]: Extracting #3: cost 242 inf + 248
1.689 * * [simplify]: Extracting #4: cost 243 inf + 24866
1.699 * * [simplify]: Extracting #5: cost 84 inf + 207409
1.721 * * [simplify]: Extracting #6: cost 1 inf + 335141
1.743 * * [simplify]: Extracting #7: cost 0 inf + 336465
1.762 * [simplify]: Simplified to (*.p16 (*.p16 (*.p16 (neg.p16 c) (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) a)) (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)))
1.762 * [simplify]: Simplified (2 1 2) to (λ (a b c) (sqrt.p16 (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (*.p16 (*.p16 (*.p16 (neg.p16 c) (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) a)) (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2))))))
1.762 * * * * [progress]: [ 9 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
1.762 * [simplify]: Simplifying (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))
1.762 * * [simplify]: iters left: 5 (10 enodes)
1.765 * * [simplify]: iters left: 4 (31 enodes)
1.771 * * [simplify]: iters left: 3 (69 enodes)
1.791 * * [simplify]: iters left: 2 (236 enodes)
1.874 * * [simplify]: Extracting #0: cost 1 inf + 0
1.874 * * [simplify]: Extracting #1: cost 28 inf + 0
1.875 * * [simplify]: Extracting #2: cost 177 inf + 0
1.876 * * [simplify]: Extracting #3: cost 284 inf + 4676
1.880 * * [simplify]: Extracting #4: cost 222 inf + 71674
1.894 * * [simplify]: Extracting #5: cost 74 inf + 271655
1.918 * * [simplify]: Extracting #6: cost 0 inf + 386774
1.943 * * [simplify]: Extracting #7: cost 0 inf + 386134
1.966 * [simplify]: Simplified to (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))
1.967 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))
1.967 * * * * [progress]: [ 10 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
1.967 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
1.967 * * [simplify]: iters left: 4 (9 enodes)
1.969 * * [simplify]: iters left: 3 (21 enodes)
1.972 * * [simplify]: iters left: 2 (27 enodes)
1.976 * * [simplify]: iters left: 1 (28 enodes)
1.979 * * [simplify]: Extracting #0: cost 1 inf + 0
1.979 * * [simplify]: Extracting #1: cost 3 inf + 0
1.979 * * [simplify]: Extracting #2: cost 4 inf + 1
1.979 * * [simplify]: Extracting #3: cost 10 inf + 1
1.979 * * [simplify]: Extracting #4: cost 5 inf + 47
1.980 * * [simplify]: Extracting #5: cost 1 inf + 738
1.980 * * [simplify]: Extracting #6: cost 0 inf + 1302
1.980 * [simplify]: Simplified to (+.p16 c (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)))
1.980 * [simplify]: Simplified (2 1 2) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c))) (+.p16 c (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))))))
1.980 * * * * [progress]: [ 11 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))))>
1.980 * [simplify]: Simplifying (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
1.980 * * [simplify]: iters left: 6 (16 enodes)
1.985 * * [simplify]: iters left: 5 (62 enodes)
1.999 * * [simplify]: iters left: 4 (229 enodes)
2.101 * * [simplify]: Extracting #0: cost 1 inf + 0
2.102 * * [simplify]: Extracting #1: cost 65 inf + 0
2.102 * * [simplify]: Extracting #2: cost 288 inf + 0
2.104 * * [simplify]: Extracting #3: cost 447 inf + 407
2.112 * * [simplify]: Extracting #4: cost 317 inf + 175419
2.143 * * [simplify]: Extracting #5: cost 63 inf + 601180
2.187 * * [simplify]: Extracting #6: cost 6 inf + 706836
2.231 * * [simplify]: Extracting #7: cost 0 inf + 722900
2.277 * [simplify]: Simplified to (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (+.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)))
2.277 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (+.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))))
2.277 * * * * [progress]: [ 12 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))>
2.278 * [simplify]: Simplifying (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
2.278 * * [simplify]: iters left: 6 (16 enodes)
2.282 * * [simplify]: iters left: 5 (62 enodes)
2.296 * * [simplify]: iters left: 4 (229 enodes)
2.391 * * [simplify]: Extracting #0: cost 1 inf + 0
2.391 * * [simplify]: Extracting #1: cost 59 inf + 0
2.392 * * [simplify]: Extracting #2: cost 276 inf + 0
2.393 * * [simplify]: Extracting #3: cost 431 inf + 809
2.406 * * [simplify]: Extracting #4: cost 315 inf + 215074
2.440 * * [simplify]: Extracting #5: cost 47 inf + 641310
2.482 * * [simplify]: Extracting #6: cost 3 inf + 707919
2.528 * * [simplify]: Extracting #7: cost 0 inf + 715051
2.572 * [simplify]: Simplified to (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)))))
2.572 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b))))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))
2.572 * * * * [progress]: [ 13 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (real->posit16 2))))>
2.572 * [simplify]: Simplifying (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
2.572 * * [simplify]: iters left: 6 (14 enodes)
2.576 * * [simplify]: iters left: 5 (51 enodes)
2.586 * * [simplify]: iters left: 4 (171 enodes)
2.669 * * [simplify]: Extracting #0: cost 1 inf + 0
2.669 * * [simplify]: Extracting #1: cost 53 inf + 0
2.670 * * [simplify]: Extracting #2: cost 257 inf + 0
2.671 * * [simplify]: Extracting #3: cost 412 inf + 938
2.680 * * [simplify]: Extracting #4: cost 235 inf + 203438
2.718 * * [simplify]: Extracting #5: cost 22 inf + 506689
2.771 * * [simplify]: Extracting #6: cost 0 inf + 540771
2.827 * [simplify]: Simplified to (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (+.p16 (+.p16 b a) c) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c))
2.827 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (+.p16 (+.p16 b a) c) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c)) (real->posit16 2))))
2.827 * * * * [progress]: [ 14 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)))))>
2.827 * * * * [progress]: [ 15 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
2.827 * [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.827 * * [simplify]: iters left: 6 (15 enodes)
2.834 * * [simplify]: iters left: 5 (54 enodes)
2.853 * * [simplify]: iters left: 4 (174 enodes)
2.985 * * [simplify]: Extracting #0: cost 1 inf + 0
2.985 * * [simplify]: Extracting #1: cost 2 inf + 0
2.985 * * [simplify]: Extracting #2: cost 52 inf + 0
2.986 * * [simplify]: Extracting #3: cost 218 inf + 0
2.988 * * [simplify]: Extracting #4: cost 350 inf + 488
2.997 * * [simplify]: Extracting #5: cost 271 inf + 83278
3.024 * * [simplify]: Extracting #6: cost 99 inf + 301152
3.079 * * [simplify]: Extracting #7: cost 13 inf + 445414
3.133 * * [simplify]: Extracting #8: cost 0 inf + 471346
3.185 * [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.185 * [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.185 * * * * [progress]: [ 16 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
3.185 * [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.185 * * [simplify]: iters left: 6 (15 enodes)
3.193 * * [simplify]: iters left: 5 (54 enodes)
3.215 * * [simplify]: iters left: 4 (174 enodes)
3.364 * * [simplify]: Extracting #0: cost 1 inf + 0
3.364 * * [simplify]: Extracting #1: cost 2 inf + 0
3.365 * * [simplify]: Extracting #2: cost 52 inf + 0
3.366 * * [simplify]: Extracting #3: cost 218 inf + 0
3.368 * * [simplify]: Extracting #4: cost 350 inf + 488
3.376 * * [simplify]: Extracting #5: cost 271 inf + 83278
3.403 * * [simplify]: Extracting #6: cost 99 inf + 301152
3.450 * * [simplify]: Extracting #7: cost 13 inf + 445414
3.506 * * [simplify]: Extracting #8: cost 0 inf + 471346
3.561 * [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.561 * [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.561 * * * * [progress]: [ 17 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
3.562 * [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.562 * * [simplify]: iters left: 6 (15 enodes)
3.569 * * [simplify]: iters left: 5 (54 enodes)
3.591 * * [simplify]: iters left: 4 (174 enodes)
3.686 * * [simplify]: Extracting #0: cost 1 inf + 0
3.686 * * [simplify]: Extracting #1: cost 2 inf + 0
3.686 * * [simplify]: Extracting #2: cost 52 inf + 0
3.686 * * [simplify]: Extracting #3: cost 218 inf + 0
3.688 * * [simplify]: Extracting #4: cost 350 inf + 488
3.693 * * [simplify]: Extracting #5: cost 271 inf + 83278
3.707 * * [simplify]: Extracting #6: cost 99 inf + 301152
3.737 * * [simplify]: Extracting #7: cost 13 inf + 445414
3.796 * * [simplify]: Extracting #8: cost 0 inf + 471346
3.838 * [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.838 * [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.838 * * * * [progress]: [ 18 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
3.839 * [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.839 * * [simplify]: iters left: 6 (15 enodes)
3.842 * * [simplify]: iters left: 5 (54 enodes)
3.853 * * [simplify]: iters left: 4 (174 enodes)
3.984 * * [simplify]: Extracting #0: cost 1 inf + 0
3.984 * * [simplify]: Extracting #1: cost 2 inf + 0
3.985 * * [simplify]: Extracting #2: cost 52 inf + 0
3.986 * * [simplify]: Extracting #3: cost 218 inf + 0
3.988 * * [simplify]: Extracting #4: cost 350 inf + 488
3.997 * * [simplify]: Extracting #5: cost 271 inf + 83278
4.025 * * [simplify]: Extracting #6: cost 99 inf + 301152
4.050 * * [simplify]: Extracting #7: cost 13 inf + 445414
4.077 * * [simplify]: Extracting #8: cost 0 inf + 471346
4.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)))
4.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))))
4.106 * * * [progress]: adding candidates to table
4.874 * * [progress]: iteration 2 / 4
4.874 * * * [progress]: picking best candidate
4.906 * * * * [pick]: Picked  #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))>
4.906 * * * [progress]: localizing error
5.246 * * * [progress]: generating rewritten candidates
5.246 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
5.361 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 2)
5.367 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
5.414 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2)
5.459 * * * [progress]: generating series expansions
5.459 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
5.459 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 2)
5.459 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
5.459 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2)
5.460 * * * [progress]: simplifying candidates
5.460 * * * * [progress]: [ 1 / 16 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
5.460 * [simplify]: Simplifying (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))
5.460 * * [simplify]: iters left: 6 (14 enodes)
5.468 * * [simplify]: iters left: 5 (51 enodes)
5.489 * * [simplify]: iters left: 4 (173 enodes)
5.577 * * [simplify]: Extracting #0: cost 1 inf + 0
5.577 * * [simplify]: Extracting #1: cost 48 inf + 0
5.578 * * [simplify]: Extracting #2: cost 196 inf + 0
5.580 * * [simplify]: Extracting #3: cost 275 inf + 1859
5.584 * * [simplify]: Extracting #4: cost 237 inf + 79873
5.600 * * [simplify]: Extracting #5: cost 41 inf + 350410
5.634 * * [simplify]: Extracting #6: cost 1 inf + 422604
5.669 * * [simplify]: Extracting #7: cost 0 inf + 425528
5.697 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)))
5.697 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b))) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))
5.697 * * * * [progress]: [ 2 / 16 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
5.697 * [simplify]: Simplifying (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)))
5.697 * * [simplify]: iters left: 6 (17 enodes)
5.701 * * [simplify]: iters left: 5 (66 enodes)
5.716 * * [simplify]: iters left: 4 (250 enodes)
5.870 * * [simplify]: Extracting #0: cost 1 inf + 0
5.870 * * [simplify]: Extracting #1: cost 70 inf + 0
5.871 * * [simplify]: Extracting #2: cost 345 inf + 0
5.873 * * [simplify]: Extracting #3: cost 507 inf + 890
5.883 * * [simplify]: Extracting #4: cost 399 inf + 227592
5.938 * * [simplify]: Extracting #5: cost 85 inf + 736749
6.027 * * [simplify]: Extracting #6: cost 1 inf + 915516
6.095 * * [simplify]: Extracting #7: cost 0 inf + 916080
6.150 * [simplify]: Simplified to (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (+.p16 c (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))))
6.151 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (+.p16 c (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))
6.151 * * * * [progress]: [ 3 / 16 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)))))>
6.151 * [simplify]: Simplifying (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
6.151 * * [simplify]: iters left: 6 (17 enodes)
6.156 * * [simplify]: iters left: 5 (66 enodes)
6.170 * * [simplify]: iters left: 4 (252 enodes)
6.339 * * [simplify]: Extracting #0: cost 1 inf + 0
6.340 * * [simplify]: Extracting #1: cost 73 inf + 0
6.341 * * [simplify]: Extracting #2: cost 347 inf + 0
6.345 * * [simplify]: Extracting #3: cost 531 inf + 1612
6.373 * * [simplify]: Extracting #4: cost 388 inf + 273369
6.453 * * [simplify]: Extracting #5: cost 84 inf + 812947
6.526 * * [simplify]: Extracting #6: cost 0 inf + 988759
6.621 * * [simplify]: Extracting #7: cost 0 inf + 987839
6.727 * [simplify]: Simplified to (*.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) c) (-.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) b)) (*.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) a) (+.p16 a (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2))))))
6.727 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) c) (-.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) b)) (*.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) a) (+.p16 a (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)))))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)))))
6.728 * * * * [progress]: [ 4 / 16 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))))))>
6.728 * [simplify]: Simplifying (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
6.729 * * [simplify]: iters left: 6 (18 enodes)
6.739 * * [simplify]: iters left: 5 (72 enodes)
6.769 * * [simplify]: iters left: 4 (269 enodes)
6.987 * * [simplify]: Extracting #0: cost 1 inf + 0
6.987 * * [simplify]: Extracting #1: cost 59 inf + 0
6.988 * * [simplify]: Extracting #2: cost 290 inf + 0
6.990 * * [simplify]: Extracting #3: cost 460 inf + 166
7.002 * * [simplify]: Extracting #4: cost 380 inf + 281442
7.072 * * [simplify]: Extracting #5: cost 63 inf + 884806
7.176 * * [simplify]: Extracting #6: cost 0 inf + 1034028
7.249 * [simplify]: Simplified to (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a)))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))))
7.249 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a)))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))))))
7.249 * * * * [progress]: [ 5 / 16 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))>
7.249 * [simplify]: Simplifying (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
7.249 * * [simplify]: iters left: 6 (16 enodes)
7.254 * * [simplify]: iters left: 5 (60 enodes)
7.268 * * [simplify]: iters left: 4 (223 enodes)
7.463 * * [simplify]: Extracting #0: cost 1 inf + 0
7.463 * * [simplify]: Extracting #1: cost 62 inf + 0
7.463 * * [simplify]: Extracting #2: cost 310 inf + 0
7.465 * * [simplify]: Extracting #3: cost 507 inf + 1699
7.476 * * [simplify]: Extracting #4: cost 370 inf + 235542
7.532 * * [simplify]: Extracting #5: cost 33 inf + 741482
7.591 * * [simplify]: Extracting #6: cost 0 inf + 796563
7.646 * * [simplify]: Extracting #7: cost 0 inf + 796003
7.717 * [simplify]: Simplified to (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (+.p16 (+.p16 b a) c)) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a))))
7.717 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (+.p16 (+.p16 b a) c)) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))
7.718 * * * * [progress]: [ 6 / 16 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))>
7.718 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
7.718 * * [simplify]: iters left: 4 (9 enodes)
7.723 * * [simplify]: iters left: 3 (21 enodes)
7.729 * * [simplify]: iters left: 2 (27 enodes)
7.736 * * [simplify]: iters left: 1 (28 enodes)
7.743 * * [simplify]: Extracting #0: cost 1 inf + 0
7.743 * * [simplify]: Extracting #1: cost 3 inf + 0
7.743 * * [simplify]: Extracting #2: cost 4 inf + 1
7.743 * * [simplify]: Extracting #3: cost 10 inf + 1
7.743 * * [simplify]: Extracting #4: cost 1 inf + 738
7.744 * * [simplify]: Extracting #5: cost 0 inf + 1302
7.744 * [simplify]: Simplified to (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))
7.744 * [simplify]: Simplified (2 1 1 1 1 2 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))
7.744 * [simplify]: Simplifying (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
7.745 * * [simplify]: iters left: 4 (9 enodes)
7.748 * * [simplify]: iters left: 3 (27 enodes)
7.757 * * [simplify]: iters left: 2 (47 enodes)
7.776 * * [simplify]: iters left: 1 (123 enodes)
7.839 * * [simplify]: Extracting #0: cost 1 inf + 0
7.839 * * [simplify]: Extracting #1: cost 15 inf + 0
7.839 * * [simplify]: Extracting #2: cost 53 inf + 1
7.839 * * [simplify]: Extracting #3: cost 87 inf + 1044
7.840 * * [simplify]: Extracting #4: cost 139 inf + 5657
7.842 * * [simplify]: Extracting #5: cost 115 inf + 19521
7.849 * * [simplify]: Extracting #6: cost 57 inf + 79064
7.861 * * [simplify]: Extracting #7: cost 8 inf + 157140
7.870 * * [simplify]: Extracting #8: cost 0 inf + 176132
7.880 * [simplify]: Simplified to (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) a)
7.880 * [simplify]: Simplified (2 1 1 1 1 2 2) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))
7.880 * * * * [progress]: [ 7 / 16 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (neg.p16 (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))>
7.880 * * * * [progress]: [ 8 / 16 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a))) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))>
7.880 * * * * [progress]: [ 9 / 16 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 c))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))>
7.880 * * * * [progress]: [ 10 / 16 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))>
7.880 * * * * [progress]: [ 11 / 16 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))>
7.880 * * * * [progress]: [ 12 / 16 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))>
7.880 * * * * [progress]: [ 13 / 16 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))>
7.881 * [simplify]: Simplifying (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
7.881 * * [simplify]: iters left: 6 (16 enodes)
7.887 * * [simplify]: iters left: 5 (62 enodes)
7.900 * * [simplify]: iters left: 4 (229 enodes)
8.021 * * [simplify]: Extracting #0: cost 1 inf + 0
8.021 * * [simplify]: Extracting #1: cost 59 inf + 0
8.022 * * [simplify]: Extracting #2: cost 276 inf + 0
8.023 * * [simplify]: Extracting #3: cost 431 inf + 809
8.032 * * [simplify]: Extracting #4: cost 315 inf + 215074
8.093 * * [simplify]: Extracting #5: cost 47 inf + 641310
8.149 * * [simplify]: Extracting #6: cost 3 inf + 707919
8.235 * * [simplify]: Extracting #7: cost 0 inf + 715051
8.292 * [simplify]: Simplified to (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)))))
8.293 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b))))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))
8.293 * * * * [progress]: [ 14 / 16 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))>
8.293 * [simplify]: Simplifying (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
8.294 * * [simplify]: iters left: 6 (16 enodes)
8.302 * * [simplify]: iters left: 5 (62 enodes)
8.330 * * [simplify]: iters left: 4 (229 enodes)
8.480 * * [simplify]: Extracting #0: cost 1 inf + 0
8.480 * * [simplify]: Extracting #1: cost 59 inf + 0
8.481 * * [simplify]: Extracting #2: cost 276 inf + 0
8.482 * * [simplify]: Extracting #3: cost 431 inf + 809
8.495 * * [simplify]: Extracting #4: cost 315 inf + 215074
8.560 * * [simplify]: Extracting #5: cost 47 inf + 641310
8.615 * * [simplify]: Extracting #6: cost 3 inf + 707919
8.698 * * [simplify]: Extracting #7: cost 0 inf + 715051
8.763 * [simplify]: Simplified to (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)))))
8.763 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b))))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))
8.763 * * * * [progress]: [ 15 / 16 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))>
8.764 * [simplify]: Simplifying (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
8.764 * * [simplify]: iters left: 6 (16 enodes)
8.773 * * [simplify]: iters left: 5 (62 enodes)
8.798 * * [simplify]: iters left: 4 (229 enodes)
8.938 * * [simplify]: Extracting #0: cost 1 inf + 0
8.939 * * [simplify]: Extracting #1: cost 59 inf + 0
8.940 * * [simplify]: Extracting #2: cost 276 inf + 0
8.943 * * [simplify]: Extracting #3: cost 431 inf + 809
8.962 * * [simplify]: Extracting #4: cost 315 inf + 215074
9.035 * * [simplify]: Extracting #5: cost 47 inf + 641310
9.118 * * [simplify]: Extracting #6: cost 3 inf + 707919
9.175 * * [simplify]: Extracting #7: cost 0 inf + 715051
9.218 * [simplify]: Simplified to (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)))))
9.218 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b))))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))
9.219 * * * * [progress]: [ 16 / 16 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))>
9.219 * [simplify]: Simplifying (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
9.219 * * [simplify]: iters left: 6 (16 enodes)
9.223 * * [simplify]: iters left: 5 (62 enodes)
9.237 * * [simplify]: iters left: 4 (229 enodes)
9.367 * * [simplify]: Extracting #0: cost 1 inf + 0
9.367 * * [simplify]: Extracting #1: cost 59 inf + 0
9.368 * * [simplify]: Extracting #2: cost 276 inf + 0
9.371 * * [simplify]: Extracting #3: cost 431 inf + 809
9.391 * * [simplify]: Extracting #4: cost 315 inf + 215074
9.457 * * [simplify]: Extracting #5: cost 47 inf + 641310
9.532 * * [simplify]: Extracting #6: cost 3 inf + 707919
9.583 * * [simplify]: Extracting #7: cost 0 inf + 715051
9.626 * [simplify]: Simplified to (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)))))
9.626 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b))))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))
9.627 * * * [progress]: adding candidates to table
10.195 * * [progress]: iteration 3 / 4
10.195 * * * [progress]: picking best candidate
10.257 * * * * [pick]: Picked  #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
10.257 * * * [progress]: localizing error
10.718 * * * [progress]: generating rewritten candidates
10.718 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
10.796 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2)
10.799 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2)
10.821 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2)
10.843 * * * [progress]: generating series expansions
10.843 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
10.843 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2)
10.843 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2)
10.843 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2)
10.843 * * * [progress]: simplifying candidates
10.843 * * * * [progress]: [ 1 / 12 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (*.p16 (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
10.843 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
10.843 * * [simplify]: iters left: 4 (9 enodes)
10.846 * * [simplify]: iters left: 3 (21 enodes)
10.849 * * [simplify]: iters left: 2 (27 enodes)
10.852 * * [simplify]: iters left: 1 (28 enodes)
10.856 * * [simplify]: Extracting #0: cost 1 inf + 0
10.856 * * [simplify]: Extracting #1: cost 3 inf + 0
10.856 * * [simplify]: Extracting #2: cost 4 inf + 1
10.856 * * [simplify]: Extracting #3: cost 10 inf + 1
10.856 * * [simplify]: Extracting #4: cost 5 inf + 47
10.856 * * [simplify]: Extracting #5: cost 1 inf + 738
10.856 * * [simplify]: Extracting #6: cost 0 inf + 1302
10.857 * [simplify]: Simplified to (+.p16 c (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)))
10.857 * [simplify]: Simplified (2 1 2 2) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (*.p16 (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c))) (+.p16 c (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)))))))
10.857 * * * * [progress]: [ 2 / 12 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
10.857 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
10.857 * * [simplify]: iters left: 4 (9 enodes)
10.859 * * [simplify]: iters left: 3 (21 enodes)
10.862 * * [simplify]: iters left: 2 (27 enodes)
10.866 * * [simplify]: iters left: 1 (28 enodes)
10.869 * * [simplify]: Extracting #0: cost 1 inf + 0
10.869 * * [simplify]: Extracting #1: cost 3 inf + 0
10.869 * * [simplify]: Extracting #2: cost 4 inf + 1
10.869 * * [simplify]: Extracting #3: cost 10 inf + 1
10.870 * * [simplify]: Extracting #4: cost 1 inf + 738
10.870 * * [simplify]: Extracting #5: cost 0 inf + 1302
10.870 * [simplify]: Simplified to (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))
10.870 * [simplify]: Simplified (2 1 1 1 2 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))
10.870 * [simplify]: Simplifying (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
10.870 * * [simplify]: iters left: 4 (9 enodes)
10.872 * * [simplify]: iters left: 3 (27 enodes)
10.877 * * [simplify]: iters left: 2 (47 enodes)
10.885 * * [simplify]: iters left: 1 (123 enodes)
10.917 * * [simplify]: Extracting #0: cost 1 inf + 0
10.918 * * [simplify]: Extracting #1: cost 15 inf + 0
10.918 * * [simplify]: Extracting #2: cost 53 inf + 1
10.918 * * [simplify]: Extracting #3: cost 87 inf + 1044
10.918 * * [simplify]: Extracting #4: cost 139 inf + 5657
10.919 * * [simplify]: Extracting #5: cost 115 inf + 19521
10.923 * * [simplify]: Extracting #6: cost 57 inf + 79064
10.931 * * [simplify]: Extracting #7: cost 8 inf + 157140
10.940 * * [simplify]: Extracting #8: cost 0 inf + 176132
10.950 * [simplify]: Simplified to (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) a)
10.950 * [simplify]: Simplified (2 1 1 1 2 2) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))
10.950 * * * * [progress]: [ 3 / 12 ] 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))) (neg.p16 (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
10.950 * * * * [progress]: [ 4 / 12 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a))) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
10.950 * * * * [progress]: [ 5 / 12 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 c))))))>
10.950 * * * * [progress]: [ 6 / 12 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))))>
10.950 * * * * [progress]: [ 7 / 12 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 b))) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
10.950 * * * * [progress]: [ 8 / 12 ] 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 (+.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)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
10.950 * * * * [progress]: [ 9 / 12 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
10.951 * [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.951 * * [simplify]: iters left: 6 (14 enodes)
10.955 * * [simplify]: iters left: 5 (51 enodes)
10.965 * * [simplify]: iters left: 4 (173 enodes)
11.026 * * [simplify]: Extracting #0: cost 1 inf + 0
11.026 * * [simplify]: Extracting #1: cost 48 inf + 0
11.026 * * [simplify]: Extracting #2: cost 196 inf + 0
11.027 * * [simplify]: Extracting #3: cost 275 inf + 1859
11.031 * * [simplify]: Extracting #4: cost 237 inf + 79873
11.050 * * [simplify]: Extracting #5: cost 41 inf + 350410
11.074 * * [simplify]: Extracting #6: cost 1 inf + 422604
11.111 * * [simplify]: Extracting #7: cost 0 inf + 425528
11.138 * [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.138 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b))) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))
11.139 * * * * [progress]: [ 10 / 12 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
11.139 * [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.139 * * [simplify]: iters left: 6 (14 enodes)
11.143 * * [simplify]: iters left: 5 (51 enodes)
11.155 * * [simplify]: iters left: 4 (173 enodes)
11.242 * * [simplify]: Extracting #0: cost 1 inf + 0
11.242 * * [simplify]: Extracting #1: cost 48 inf + 0
11.242 * * [simplify]: Extracting #2: cost 196 inf + 0
11.243 * * [simplify]: Extracting #3: cost 275 inf + 1859
11.250 * * [simplify]: Extracting #4: cost 237 inf + 79873
11.275 * * [simplify]: Extracting #5: cost 41 inf + 350410
11.315 * * [simplify]: Extracting #6: cost 1 inf + 422604
11.357 * * [simplify]: Extracting #7: cost 0 inf + 425528
11.393 * [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.393 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b))) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))
11.393 * * * * [progress]: [ 11 / 12 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
11.393 * [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.393 * * [simplify]: iters left: 6 (14 enodes)
11.397 * * [simplify]: iters left: 5 (51 enodes)
11.408 * * [simplify]: iters left: 4 (173 enodes)
11.474 * * [simplify]: Extracting #0: cost 1 inf + 0
11.474 * * [simplify]: Extracting #1: cost 48 inf + 0
11.475 * * [simplify]: Extracting #2: cost 196 inf + 0
11.476 * * [simplify]: Extracting #3: cost 275 inf + 1859
11.479 * * [simplify]: Extracting #4: cost 237 inf + 79873
11.496 * * [simplify]: Extracting #5: cost 41 inf + 350410
11.520 * * [simplify]: Extracting #6: cost 1 inf + 422604
11.558 * * [simplify]: Extracting #7: cost 0 inf + 425528
11.599 * [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.599 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b))) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))
11.599 * * * * [progress]: [ 12 / 12 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
11.599 * [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.600 * * [simplify]: iters left: 6 (14 enodes)
11.606 * * [simplify]: iters left: 5 (51 enodes)
11.626 * * [simplify]: iters left: 4 (173 enodes)
11.714 * * [simplify]: Extracting #0: cost 1 inf + 0
11.715 * * [simplify]: Extracting #1: cost 48 inf + 0
11.715 * * [simplify]: Extracting #2: cost 196 inf + 0
11.717 * * [simplify]: Extracting #3: cost 275 inf + 1859
11.723 * * [simplify]: Extracting #4: cost 237 inf + 79873
11.751 * * [simplify]: Extracting #5: cost 41 inf + 350410
11.779 * * [simplify]: Extracting #6: cost 1 inf + 422604
11.803 * * [simplify]: Extracting #7: cost 0 inf + 425528
11.830 * [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.830 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b))) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))
11.830 * * * [progress]: adding candidates to table
12.276 * * [progress]: iteration 4 / 4
12.276 * * * [progress]: picking best candidate
12.304 * * * * [pick]: Picked  #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))>
12.304 * * * [progress]: localizing error
12.749 * * * [progress]: generating rewritten candidates
12.749 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
12.764 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 2)
12.767 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
12.807 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2)
12.829 * * * [progress]: generating series expansions
12.829 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
12.829 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 2)
12.829 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
12.829 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2)
12.829 * * * [progress]: simplifying candidates
12.829 * * * * [progress]: [ 1 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (real->posit16 2))))>
12.829 * [simplify]: Simplifying (real->posit16 2)
12.829 * * [simplify]: iters left: 1 (2 enodes)
12.830 * * [simplify]: Extracting #0: cost 1 inf + 0
12.830 * * [simplify]: Extracting #1: cost 2 inf + 0
12.830 * * [simplify]: Extracting #2: cost 1 inf + 1
12.830 * * [simplify]: Extracting #3: cost 0 inf + 2
12.830 * [simplify]: Simplified to (real->posit16 2)
12.830 * [simplify]: Simplified (2 1 2) to (λ (a b c) (sqrt.p16 (/.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (real->posit16 2))))
12.830 * * * * [progress]: [ 2 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
12.830 * [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))
12.831 * * [simplify]: iters left: 6 (14 enodes)
12.834 * * [simplify]: iters left: 5 (49 enodes)
12.844 * * [simplify]: iters left: 4 (169 enodes)
12.934 * * [simplify]: Extracting #0: cost 1 inf + 0
12.935 * * [simplify]: Extracting #1: cost 58 inf + 0
12.935 * * [simplify]: Extracting #2: cost 220 inf + 0
12.936 * * [simplify]: Extracting #3: cost 337 inf + 1337
12.942 * * [simplify]: Extracting #4: cost 337 inf + 21516
12.958 * * [simplify]: Extracting #5: cost 161 inf + 244811
13.003 * * [simplify]: Extracting #6: cost 19 inf + 461933
13.044 * * [simplify]: Extracting #7: cost 0 inf + 499729
13.074 * * [simplify]: Extracting #8: cost 0 inf + 499449
13.109 * [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)))
13.109 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (+.p16 (+.p16 b a) c)) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a))) (/.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))
13.110 * * * * [progress]: [ 3 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c))) (*.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
13.110 * [simplify]: Simplifying (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)))
13.110 * * [simplify]: iters left: 6 (17 enodes)
13.114 * * [simplify]: iters left: 5 (64 enodes)
13.129 * * [simplify]: iters left: 4 (242 enodes)
13.338 * * [simplify]: Extracting #0: cost 1 inf + 0
13.338 * * [simplify]: Extracting #1: cost 73 inf + 0
13.339 * * [simplify]: Extracting #2: cost 376 inf + 0
13.341 * * [simplify]: Extracting #3: cost 565 inf + 5032
13.355 * * [simplify]: Extracting #4: cost 372 inf + 346893
13.419 * * [simplify]: Extracting #5: cost 33 inf + 912212
13.495 * * [simplify]: Extracting #6: cost 0 inf + 974901
13.554 * * [simplify]: Extracting #7: cost 0 inf + 974061
13.613 * [simplify]: Simplified to (*.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (+.p16 (+.p16 b a) c)) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (+.p16 c (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))))
13.614 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (+.p16 (+.p16 b a) c)) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (+.p16 c (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))))) (*.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))
13.614 * * * * [progress]: [ 4 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)))))>
13.614 * [simplify]: Simplifying (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
13.614 * * [simplify]: iters left: 6 (17 enodes)
13.621 * * [simplify]: iters left: 5 (64 enodes)
13.645 * * [simplify]: iters left: 4 (244 enodes)
13.798 * * [simplify]: Extracting #0: cost 1 inf + 0
13.798 * * [simplify]: Extracting #1: cost 76 inf + 0
13.799 * * [simplify]: Extracting #2: cost 392 inf + 0
13.801 * * [simplify]: Extracting #3: cost 598 inf + 3829
13.826 * * [simplify]: Extracting #4: cost 375 inf + 398622
13.898 * * [simplify]: Extracting #5: cost 47 inf + 992277
14.008 * * [simplify]: Extracting #6: cost 0 inf + 1067056
14.135 * * [simplify]: Extracting #7: cost 0 inf + 1066216
14.258 * [simplify]: Simplified to (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 b a) c) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c)) (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)))
14.258 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 b a) c) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c)) (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b))) (*.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)))))
14.259 * * * * [progress]: [ 5 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))))))>
14.259 * [simplify]: Simplifying (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
14.259 * * [simplify]: iters left: 6 (18 enodes)
14.269 * * [simplify]: iters left: 5 (70 enodes)
14.300 * * [simplify]: iters left: 4 (264 enodes)
14.541 * * [simplify]: Extracting #0: cost 1 inf + 0
14.541 * * [simplify]: Extracting #1: cost 62 inf + 0
14.542 * * [simplify]: Extracting #2: cost 323 inf + 0
14.548 * * [simplify]: Extracting #3: cost 559 inf + 3747
14.567 * * [simplify]: Extracting #4: cost 398 inf + 366962
14.659 * * [simplify]: Extracting #5: cost 61 inf + 992720
14.737 * * [simplify]: Extracting #6: cost 0 inf + 1129703
14.849 * * [simplify]: Extracting #7: cost 0 inf + 1129383
14.944 * [simplify]: Simplified to (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c)) (*.p16 (*.p16 (+.p16 (+.p16 b a) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 a a))) (+.p16 (*.p16 a a) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))))))
14.944 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c)) (*.p16 (*.p16 (+.p16 (+.p16 b a) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 a a))) (+.p16 (*.p16 a a) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))))) (*.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))))))
14.945 * * * * [progress]: [ 6 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (real->posit16 2)))))>
14.945 * [simplify]: Simplifying (/.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))
14.945 * * [simplify]: iters left: 6 (16 enodes)
14.950 * * [simplify]: iters left: 5 (53 enodes)
14.961 * * [simplify]: iters left: 4 (176 enodes)
15.064 * * [simplify]: Extracting #0: cost 1 inf + 0
15.064 * * [simplify]: Extracting #1: cost 38 inf + 0
15.065 * * [simplify]: Extracting #2: cost 221 inf + 0
15.066 * * [simplify]: Extracting #3: cost 343 inf + 1580
15.068 * * [simplify]: Extracting #4: cost 380 inf + 17508
15.078 * * [simplify]: Extracting #5: cost 195 inf + 244388
15.117 * * [simplify]: Extracting #6: cost 28 inf + 500686
15.161 * * [simplify]: Extracting #7: cost 0 inf + 558598
15.210 * [simplify]: Simplified to (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (+.p16 (+.p16 b a) c)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b))
15.210 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (+.p16 (+.p16 b a) c)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)) (/.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (real->posit16 2)))))
15.211 * [simplify]: Simplifying (/.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (real->posit16 2))
15.211 * * [simplify]: iters left: 5 (10 enodes)
15.216 * * [simplify]: iters left: 4 (28 enodes)
15.227 * * [simplify]: iters left: 3 (50 enodes)
15.249 * * [simplify]: iters left: 2 (140 enodes)
15.320 * * [simplify]: iters left: 1 (496 enodes)
15.737 * * [simplify]: Extracting #0: cost 1 inf + 0
15.737 * * [simplify]: Extracting #1: cost 80 inf + 0
15.739 * * [simplify]: Extracting #2: cost 392 inf + 0
15.743 * * [simplify]: Extracting #3: cost 557 inf + 2495
15.747 * * [simplify]: Extracting #4: cost 780 inf + 19212
15.751 * * [simplify]: Extracting #5: cost 832 inf + 46690
15.759 * * [simplify]: Extracting #6: cost 745 inf + 107718
16.083 * * [simplify]: Extracting #7: cost 293 inf + 839375
16.163 * * [simplify]: Extracting #8: cost 9 inf + 1397966
16.245 * * [simplify]: Extracting #9: cost 0 inf + 1349322
16.341 * * [simplify]: Extracting #10: cost 0 inf + 1348322
16.498 * [simplify]: Simplified to (/.p16 (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) c) (real->posit16 2))
16.498 * [simplify]: Simplified (2 1 2) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (+.p16 (+.p16 b a) c)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)) (/.p16 (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) c) (real->posit16 2)))))
16.498 * * * * [progress]: [ 7 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))>
16.499 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
16.499 * * [simplify]: iters left: 4 (9 enodes)
16.503 * * [simplify]: iters left: 3 (21 enodes)
16.511 * * [simplify]: iters left: 2 (27 enodes)
16.519 * * [simplify]: iters left: 1 (28 enodes)
16.527 * * [simplify]: Extracting #0: cost 1 inf + 0
16.527 * * [simplify]: Extracting #1: cost 3 inf + 0
16.527 * * [simplify]: Extracting #2: cost 4 inf + 1
16.527 * * [simplify]: Extracting #3: cost 10 inf + 1
16.528 * * [simplify]: Extracting #4: cost 1 inf + 738
16.528 * * [simplify]: Extracting #5: cost 0 inf + 1302
16.528 * [simplify]: Simplified to (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))
16.528 * [simplify]: Simplified (2 1 1 1 1 2 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))
16.529 * [simplify]: Simplifying (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
16.529 * * [simplify]: iters left: 4 (9 enodes)
16.533 * * [simplify]: iters left: 3 (27 enodes)
16.542 * * [simplify]: iters left: 2 (47 enodes)
16.562 * * [simplify]: iters left: 1 (123 enodes)
16.600 * * [simplify]: Extracting #0: cost 1 inf + 0
16.600 * * [simplify]: Extracting #1: cost 15 inf + 0
16.601 * * [simplify]: Extracting #2: cost 53 inf + 1
16.601 * * [simplify]: Extracting #3: cost 87 inf + 1044
16.602 * * [simplify]: Extracting #4: cost 139 inf + 5657
16.604 * * [simplify]: Extracting #5: cost 115 inf + 19521
16.611 * * [simplify]: Extracting #6: cost 57 inf + 79064
16.623 * * [simplify]: Extracting #7: cost 8 inf + 157140
16.633 * * [simplify]: Extracting #8: cost 0 inf + 176132
16.642 * [simplify]: Simplified to (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) a)
16.642 * [simplify]: Simplified (2 1 1 1 1 2 2) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))
16.643 * * * * [progress]: [ 8 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (neg.p16 (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))>
16.643 * * * * [progress]: [ 9 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a))) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))>
16.643 * * * * [progress]: [ 10 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 c))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))>
16.643 * * * * [progress]: [ 11 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))>
16.643 * * * * [progress]: [ 12 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))>
16.643 * * * * [progress]: [ 13 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))>
16.643 * * * * [progress]: [ 14 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))>
16.643 * [simplify]: Simplifying (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
16.643 * * [simplify]: iters left: 6 (16 enodes)
16.647 * * [simplify]: iters left: 5 (60 enodes)
16.660 * * [simplify]: iters left: 4 (223 enodes)
16.787 * * [simplify]: Extracting #0: cost 1 inf + 0
16.787 * * [simplify]: Extracting #1: cost 62 inf + 0
16.788 * * [simplify]: Extracting #2: cost 310 inf + 0
16.789 * * [simplify]: Extracting #3: cost 507 inf + 1699
16.800 * * [simplify]: Extracting #4: cost 370 inf + 235542
16.842 * * [simplify]: Extracting #5: cost 33 inf + 741482
16.890 * * [simplify]: Extracting #6: cost 0 inf + 796563
16.944 * * [simplify]: Extracting #7: cost 0 inf + 796003
16.998 * [simplify]: Simplified to (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (+.p16 (+.p16 b a) c)) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a))))
16.999 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (+.p16 (+.p16 b a) c)) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))
16.999 * * * * [progress]: [ 15 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))>
16.999 * [simplify]: Simplifying (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
16.999 * * [simplify]: iters left: 6 (16 enodes)
17.003 * * [simplify]: iters left: 5 (60 enodes)
17.016 * * [simplify]: iters left: 4 (223 enodes)
17.125 * * [simplify]: Extracting #0: cost 1 inf + 0
17.126 * * [simplify]: Extracting #1: cost 62 inf + 0
17.126 * * [simplify]: Extracting #2: cost 310 inf + 0
17.129 * * [simplify]: Extracting #3: cost 507 inf + 1699
17.141 * * [simplify]: Extracting #4: cost 370 inf + 235542
17.185 * * [simplify]: Extracting #5: cost 33 inf + 741482
17.233 * * [simplify]: Extracting #6: cost 0 inf + 796563
17.314 * * [simplify]: Extracting #7: cost 0 inf + 796003
17.402 * [simplify]: Simplified to (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (+.p16 (+.p16 b a) c)) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a))))
17.402 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (+.p16 (+.p16 b a) c)) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))
17.402 * * * * [progress]: [ 16 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))>
17.402 * [simplify]: Simplifying (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
17.402 * * [simplify]: iters left: 6 (16 enodes)
17.406 * * [simplify]: iters left: 5 (60 enodes)
17.419 * * [simplify]: iters left: 4 (223 enodes)
17.582 * * [simplify]: Extracting #0: cost 1 inf + 0
17.582 * * [simplify]: Extracting #1: cost 62 inf + 0
17.584 * * [simplify]: Extracting #2: cost 310 inf + 0
17.587 * * [simplify]: Extracting #3: cost 507 inf + 1699
17.606 * * [simplify]: Extracting #4: cost 370 inf + 235542
17.664 * * [simplify]: Extracting #5: cost 33 inf + 741482
17.757 * * [simplify]: Extracting #6: cost 0 inf + 796563
17.849 * * [simplify]: Extracting #7: cost 0 inf + 796003
17.918 * [simplify]: Simplified to (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (+.p16 (+.p16 b a) c)) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a))))
17.918 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (+.p16 (+.p16 b a) c)) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))
17.919 * * * * [progress]: [ 17 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))>
17.919 * [simplify]: Simplifying (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
17.919 * * [simplify]: iters left: 6 (16 enodes)
17.928 * * [simplify]: iters left: 5 (60 enodes)
17.950 * * [simplify]: iters left: 4 (223 enodes)
18.101 * * [simplify]: Extracting #0: cost 1 inf + 0
18.101 * * [simplify]: Extracting #1: cost 62 inf + 0
18.102 * * [simplify]: Extracting #2: cost 310 inf + 0
18.104 * * [simplify]: Extracting #3: cost 507 inf + 1699
18.125 * * [simplify]: Extracting #4: cost 370 inf + 235542
18.205 * * [simplify]: Extracting #5: cost 33 inf + 741482
18.274 * * [simplify]: Extracting #6: cost 0 inf + 796563
18.367 * * [simplify]: Extracting #7: cost 0 inf + 796003
18.451 * [simplify]: Simplified to (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (+.p16 (+.p16 b a) c)) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a))))
18.451 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (+.p16 (+.p16 b a) c)) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))
18.452 * * * [progress]: adding candidates to table
19.026 * [progress]: [Phase 3 of 3] Extracting.
19.026 * * [regime]: Finding splitpoints for: (#<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))))))> #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))> #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (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))))> #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>)
19.030 * * * [regime-changes]: Trying 3 branch expressions: (c b a)
19.030 * * * * [regimes]: Trying to branch on c from (#<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))))))> #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))> #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (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))))> #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>)
19.187 * * * * [regimes]: Trying to branch on b from (#<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))))))> #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))> #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (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))))> #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>)
19.314 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))))))> #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))> #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (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))))> #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>)
19.464 * * * [regime]: Found split indices: #<option (#s(si 3 256))>
19.464 * [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)))
19.464 * * [simplify]: iters left: 6 (15 enodes)
19.465 * * [simplify]: Extracting #0: cost 1 inf + 0
19.465 * * [simplify]: Extracting #1: cost 2 inf + 0
19.465 * * [simplify]: Extracting #2: cost 4 inf + 0
19.465 * * [simplify]: Extracting #3: cost 8 inf + 0
19.465 * * [simplify]: Extracting #4: cost 11 inf + 1
19.465 * * [simplify]: Extracting #5: cost 13 inf + 2
19.465 * * [simplify]: Extracting #6: cost 11 inf + 4
19.465 * * [simplify]: Extracting #7: cost 7 inf + 654
19.466 * * [simplify]: Extracting #8: cost 1 inf + 6438
19.466 * * [simplify]: Extracting #9: cost 0 inf + 8202
19.466 * [simplify]: Simplified to (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))
19.466 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
19.501 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
19.506 * * * * [points]: Setting MPFR precision to 64
19.508 * * * * [points]: Setting MPFR precision to 320
19.510 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
19.518 * * * * [points]: Setting MPFR precision to 64
19.522 * * * * [points]: Setting MPFR precision to 320
19.538 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
19.546 * * * * [points]: Setting MPFR precision to 64
19.555 * * * * [points]: Setting MPFR precision to 320
19.564 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
19.571 * * * * [points]: Setting MPFR precision to 64
19.588 * * * * [points]: Setting MPFR precision to 320
19.603 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
19.610 * * * * [points]: Setting MPFR precision to 64
19.645 * * * * [points]: Setting MPFR precision to 320
19.680 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
19.687 * * * * [points]: Setting MPFR precision to 64
19.796 * * * * [points]: Setting MPFR precision to 320
19.860 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
19.867 * * * * [points]: Setting MPFR precision to 64
20.012 * * * * [points]: Setting MPFR precision to 320
20.090 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
20.094 * * * * [points]: Setting MPFR precision to 64
20.406 * * * * [points]: Setting MPFR precision to 320
20.637 * * * * [points]: Computing exacts for 8000 points
20.641 * * * * [points]: Setting MPFR precision to 64
21.858 * * * * [points]: Setting MPFR precision to 320
23.608 * * * * [points]: Filtering points with unrepresentable outputs
23.614 * * * * [points]: Sampling 6993 additional inputs, on iter 1 have 1007 / 8000
23.706 * * * * [points]: Computing exacts on every 437 of 6993 points to ramp up precision
23.714 * * * * [points]: Setting MPFR precision to 64
23.716 * * * * [points]: Setting MPFR precision to 320
23.718 * * * * [points]: Computing exacts on every 218 of 6993 points to ramp up precision
23.726 * * * * [points]: Setting MPFR precision to 64
23.731 * * * * [points]: Setting MPFR precision to 320
23.735 * * * * [points]: Computing exacts on every 109 of 6993 points to ramp up precision
23.742 * * * * [points]: Setting MPFR precision to 64
23.751 * * * * [points]: Setting MPFR precision to 320
23.759 * * * * [points]: Computing exacts on every 54 of 6993 points to ramp up precision
23.766 * * * * [points]: Setting MPFR precision to 64
23.783 * * * * [points]: Setting MPFR precision to 320
23.800 * * * * [points]: Computing exacts on every 27 of 6993 points to ramp up precision
23.808 * * * * [points]: Setting MPFR precision to 64
23.842 * * * * [points]: Setting MPFR precision to 320
23.876 * * * * [points]: Computing exacts on every 13 of 6993 points to ramp up precision
23.912 * * * * [points]: Setting MPFR precision to 64
23.967 * * * * [points]: Setting MPFR precision to 320
24.032 * * * * [points]: Computing exacts on every 6 of 6993 points to ramp up precision
24.040 * * * * [points]: Setting MPFR precision to 64
24.221 * * * * [points]: Setting MPFR precision to 320
24.354 * * * * [points]: Computing exacts on every 3 of 6993 points to ramp up precision
24.362 * * * * [points]: Setting MPFR precision to 64
24.566 * * * * [points]: Setting MPFR precision to 320
24.810 * * * * [points]: Computing exacts for 6993 points
24.814 * * * * [points]: Setting MPFR precision to 64
25.979 * * * * [points]: Setting MPFR precision to 320
27.485 * * * * [points]: Filtering points with unrepresentable outputs
27.492 * * * * [points]: Sampling 6110 additional inputs, on iter 2 have 1890 / 8000
27.538 * * * * [points]: Computing exacts on every 381 of 6110 points to ramp up precision
27.545 * * * * [points]: Setting MPFR precision to 64
27.547 * * * * [points]: Setting MPFR precision to 320
27.549 * * * * [points]: Computing exacts on every 190 of 6110 points to ramp up precision
27.557 * * * * [points]: Setting MPFR precision to 64
27.562 * * * * [points]: Setting MPFR precision to 320
27.566 * * * * [points]: Computing exacts on every 95 of 6110 points to ramp up precision
27.573 * * * * [points]: Setting MPFR precision to 64
27.581 * * * * [points]: Setting MPFR precision to 320
27.590 * * * * [points]: Computing exacts on every 47 of 6110 points to ramp up precision
27.597 * * * * [points]: Setting MPFR precision to 64
27.645 * * * * [points]: Setting MPFR precision to 320
27.665 * * * * [points]: Computing exacts on every 23 of 6110 points to ramp up precision
27.672 * * * * [points]: Setting MPFR precision to 64
27.705 * * * * [points]: Setting MPFR precision to 320
27.739 * * * * [points]: Computing exacts on every 11 of 6110 points to ramp up precision
27.747 * * * * [points]: Setting MPFR precision to 64
27.815 * * * * [points]: Setting MPFR precision to 320
27.930 * * * * [points]: Computing exacts on every 5 of 6110 points to ramp up precision
27.937 * * * * [points]: Setting MPFR precision to 64
28.065 * * * * [points]: Setting MPFR precision to 320
28.239 * * * * [points]: Computing exacts on every 2 of 6110 points to ramp up precision
28.245 * * * * [points]: Setting MPFR precision to 64
28.526 * * * * [points]: Setting MPFR precision to 320
28.914 * * * * [points]: Computing exacts for 6110 points
28.921 * * * * [points]: Setting MPFR precision to 64
29.979 * * * * [points]: Setting MPFR precision to 320
31.388 * * * * [points]: Filtering points with unrepresentable outputs
31.393 * * * * [points]: Sampling 5337 additional inputs, on iter 3 have 2663 / 8000
31.435 * * * * [points]: Computing exacts on every 333 of 5337 points to ramp up precision
31.442 * * * * [points]: Setting MPFR precision to 64
31.444 * * * * [points]: Setting MPFR precision to 320
31.446 * * * * [points]: Computing exacts on every 166 of 5337 points to ramp up precision
31.453 * * * * [points]: Setting MPFR precision to 64
31.458 * * * * [points]: Setting MPFR precision to 320
31.462 * * * * [points]: Computing exacts on every 83 of 5337 points to ramp up precision
31.469 * * * * [points]: Setting MPFR precision to 64
31.477 * * * * [points]: Setting MPFR precision to 320
31.485 * * * * [points]: Computing exacts on every 41 of 5337 points to ramp up precision
31.492 * * * * [points]: Setting MPFR precision to 64
31.508 * * * * [points]: Setting MPFR precision to 320
31.525 * * * * [points]: Computing exacts on every 20 of 5337 points to ramp up precision
31.533 * * * * [points]: Setting MPFR precision to 64
31.567 * * * * [points]: Setting MPFR precision to 320
31.640 * * * * [points]: Computing exacts on every 10 of 5337 points to ramp up precision
31.648 * * * * [points]: Setting MPFR precision to 64
31.715 * * * * [points]: Setting MPFR precision to 320
31.782 * * * * [points]: Computing exacts on every 5 of 5337 points to ramp up precision
31.789 * * * * [points]: Setting MPFR precision to 64
31.957 * * * * [points]: Setting MPFR precision to 320
32.057 * * * * [points]: Computing exacts on every 2 of 5337 points to ramp up precision
32.061 * * * * [points]: Setting MPFR precision to 64
32.406 * * * * [points]: Setting MPFR precision to 320
32.699 * * * * [points]: Computing exacts for 5337 points
32.707 * * * * [points]: Setting MPFR precision to 64
33.505 * * * * [points]: Setting MPFR precision to 320
34.387 * * * * [points]: Filtering points with unrepresentable outputs
34.393 * * * * [points]: Sampling 4655 additional inputs, on iter 4 have 3345 / 8000
34.429 * * * * [points]: Computing exacts on every 290 of 4655 points to ramp up precision
34.436 * * * * [points]: Setting MPFR precision to 64
34.438 * * * * [points]: Setting MPFR precision to 320
34.440 * * * * [points]: Computing exacts on every 145 of 4655 points to ramp up precision
34.447 * * * * [points]: Setting MPFR precision to 64
34.451 * * * * [points]: Setting MPFR precision to 320
34.456 * * * * [points]: Computing exacts on every 72 of 4655 points to ramp up precision
34.462 * * * * [points]: Setting MPFR precision to 64
34.470 * * * * [points]: Setting MPFR precision to 320
34.478 * * * * [points]: Computing exacts on every 36 of 4655 points to ramp up precision
34.485 * * * * [points]: Setting MPFR precision to 64
34.501 * * * * [points]: Setting MPFR precision to 320
34.518 * * * * [points]: Computing exacts on every 18 of 4655 points to ramp up precision
34.525 * * * * [points]: Setting MPFR precision to 64
34.559 * * * * [points]: Setting MPFR precision to 320
34.629 * * * * [points]: Computing exacts on every 9 of 4655 points to ramp up precision
34.637 * * * * [points]: Setting MPFR precision to 64
34.700 * * * * [points]: Setting MPFR precision to 320
34.762 * * * * [points]: Computing exacts on every 4 of 4655 points to ramp up precision
34.769 * * * * [points]: Setting MPFR precision to 64
34.942 * * * * [points]: Setting MPFR precision to 320
35.044 * * * * [points]: Computing exacts on every 2 of 4655 points to ramp up precision
35.048 * * * * [points]: Setting MPFR precision to 64
35.576 * * * * [points]: Setting MPFR precision to 320
35.761 * * * * [points]: Computing exacts for 4655 points
35.765 * * * * [points]: Setting MPFR precision to 64
36.369 * * * * [points]: Setting MPFR precision to 320
36.864 * * * * [points]: Filtering points with unrepresentable outputs
36.866 * * * * [points]: Sampling 4047 additional inputs, on iter 5 have 3953 / 8000
36.884 * * * * [points]: Computing exacts on every 252 of 4047 points to ramp up precision
36.889 * * * * [points]: Setting MPFR precision to 64
36.890 * * * * [points]: Setting MPFR precision to 320
36.915 * * * * [points]: Computing exacts on every 126 of 4047 points to ramp up precision
36.919 * * * * [points]: Setting MPFR precision to 64
36.922 * * * * [points]: Setting MPFR precision to 320
36.924 * * * * [points]: Computing exacts on every 63 of 4047 points to ramp up precision
36.929 * * * * [points]: Setting MPFR precision to 64
36.934 * * * * [points]: Setting MPFR precision to 320
36.938 * * * * [points]: Computing exacts on every 31 of 4047 points to ramp up precision
36.942 * * * * [points]: Setting MPFR precision to 64
36.951 * * * * [points]: Setting MPFR precision to 320
36.960 * * * * [points]: Computing exacts on every 15 of 4047 points to ramp up precision
36.964 * * * * [points]: Setting MPFR precision to 64
36.982 * * * * [points]: Setting MPFR precision to 320
37.000 * * * * [points]: Computing exacts on every 7 of 4047 points to ramp up precision
37.005 * * * * [points]: Setting MPFR precision to 64
37.067 * * * * [points]: Setting MPFR precision to 320
37.104 * * * * [points]: Computing exacts on every 3 of 4047 points to ramp up precision
37.107 * * * * [points]: Setting MPFR precision to 64
37.211 * * * * [points]: Setting MPFR precision to 320
37.284 * * * * [points]: Computing exacts for 4047 points
37.288 * * * * [points]: Setting MPFR precision to 64
37.663 * * * * [points]: Setting MPFR precision to 320
38.274 * * * * [points]: Filtering points with unrepresentable outputs
38.276 * * * * [points]: Sampling 3546 additional inputs, on iter 6 have 4454 / 8000
38.291 * * * * [points]: Computing exacts on every 221 of 3546 points to ramp up precision
38.322 * * * * [points]: Setting MPFR precision to 64
38.323 * * * * [points]: Setting MPFR precision to 320
38.324 * * * * [points]: Computing exacts on every 110 of 3546 points to ramp up precision
38.329 * * * * [points]: Setting MPFR precision to 64
38.332 * * * * [points]: Setting MPFR precision to 320
38.335 * * * * [points]: Computing exacts on every 55 of 3546 points to ramp up precision
38.338 * * * * [points]: Setting MPFR precision to 64
38.343 * * * * [points]: Setting MPFR precision to 320
38.347 * * * * [points]: Computing exacts on every 27 of 3546 points to ramp up precision
38.351 * * * * [points]: Setting MPFR precision to 64
38.360 * * * * [points]: Setting MPFR precision to 320
38.368 * * * * [points]: Computing exacts on every 13 of 3546 points to ramp up precision
38.372 * * * * [points]: Setting MPFR precision to 64
38.389 * * * * [points]: Setting MPFR precision to 320
38.407 * * * * [points]: Computing exacts on every 6 of 3546 points to ramp up precision
38.411 * * * * [points]: Setting MPFR precision to 64
38.471 * * * * [points]: Setting MPFR precision to 320
38.507 * * * * [points]: Computing exacts on every 3 of 3546 points to ramp up precision
38.510 * * * * [points]: Setting MPFR precision to 64
38.604 * * * * [points]: Setting MPFR precision to 320
38.665 * * * * [points]: Computing exacts for 3546 points
38.669 * * * * [points]: Setting MPFR precision to 64
38.982 * * * * [points]: Setting MPFR precision to 320
39.323 * * * * [points]: Filtering points with unrepresentable outputs
39.324 * * * * [points]: Sampling 3107 additional inputs, on iter 7 have 4893 / 8000
39.337 * * * * [points]: Computing exacts on every 194 of 3107 points to ramp up precision
39.341 * * * * [points]: Setting MPFR precision to 64
39.342 * * * * [points]: Setting MPFR precision to 320
39.343 * * * * [points]: Computing exacts on every 97 of 3107 points to ramp up precision
39.346 * * * * [points]: Setting MPFR precision to 64
39.349 * * * * [points]: Setting MPFR precision to 320
39.351 * * * * [points]: Computing exacts on every 48 of 3107 points to ramp up precision
39.354 * * * * [points]: Setting MPFR precision to 64
39.359 * * * * [points]: Setting MPFR precision to 320
39.363 * * * * [points]: Computing exacts on every 24 of 3107 points to ramp up precision
39.367 * * * * [points]: Setting MPFR precision to 64
39.377 * * * * [points]: Setting MPFR precision to 320
39.385 * * * * [points]: Computing exacts on every 12 of 3107 points to ramp up precision
39.389 * * * * [points]: Setting MPFR precision to 64
39.425 * * * * [points]: Setting MPFR precision to 320
39.443 * * * * [points]: Computing exacts on every 6 of 3107 points to ramp up precision
39.447 * * * * [points]: Setting MPFR precision to 64
39.478 * * * * [points]: Setting MPFR precision to 320
39.510 * * * * [points]: Computing exacts on every 3 of 3107 points to ramp up precision
39.513 * * * * [points]: Setting MPFR precision to 64
39.596 * * * * [points]: Setting MPFR precision to 320
39.652 * * * * [points]: Computing exacts for 3107 points
39.656 * * * * [points]: Setting MPFR precision to 64
39.933 * * * * [points]: Setting MPFR precision to 320
40.214 * * * * [points]: Filtering points with unrepresentable outputs
40.215 * * * * [points]: Sampling 2704 additional inputs, on iter 8 have 5296 / 8000
40.226 * * * * [points]: Computing exacts on every 169 of 2704 points to ramp up precision
40.230 * * * * [points]: Setting MPFR precision to 64
40.231 * * * * [points]: Setting MPFR precision to 320
40.232 * * * * [points]: Computing exacts on every 84 of 2704 points to ramp up precision
40.235 * * * * [points]: Setting MPFR precision to 64
40.237 * * * * [points]: Setting MPFR precision to 320
40.240 * * * * [points]: Computing exacts on every 42 of 2704 points to ramp up precision
40.243 * * * * [points]: Setting MPFR precision to 64
40.271 * * * * [points]: Setting MPFR precision to 320
40.276 * * * * [points]: Computing exacts on every 21 of 2704 points to ramp up precision
40.280 * * * * [points]: Setting MPFR precision to 64
40.293 * * * * [points]: Setting MPFR precision to 320
40.301 * * * * [points]: Computing exacts on every 10 of 2704 points to ramp up precision
40.305 * * * * [points]: Setting MPFR precision to 64
40.321 * * * * [points]: Setting MPFR precision to 320
40.339 * * * * [points]: Computing exacts on every 5 of 2704 points to ramp up precision
40.342 * * * * [points]: Setting MPFR precision to 64
40.373 * * * * [points]: Setting MPFR precision to 320
40.712 * * * * [points]: Computing exacts on every 2 of 2704 points to ramp up precision
40.716 * * * * [points]: Setting MPFR precision to 64
40.778 * * * * [points]: Setting MPFR precision to 320
40.871 * * * * [points]: Computing exacts for 2704 points
40.874 * * * * [points]: Setting MPFR precision to 64
41.123 * * * * [points]: Setting MPFR precision to 320
41.347 * * * * [points]: Filtering points with unrepresentable outputs
41.348 * * * * [points]: Sampling 2367 additional inputs, on iter 9 have 5633 / 8000
41.358 * * * * [points]: Computing exacts on every 147 of 2367 points to ramp up precision
41.362 * * * * [points]: Setting MPFR precision to 64
41.363 * * * * [points]: Setting MPFR precision to 320
41.364 * * * * [points]: Computing exacts on every 73 of 2367 points to ramp up precision
41.391 * * * * [points]: Setting MPFR precision to 64
41.394 * * * * [points]: Setting MPFR precision to 320
41.396 * * * * [points]: Computing exacts on every 36 of 2367 points to ramp up precision
41.401 * * * * [points]: Setting MPFR precision to 64
41.406 * * * * [points]: Setting MPFR precision to 320
41.411 * * * * [points]: Computing exacts on every 18 of 2367 points to ramp up precision
41.414 * * * * [points]: Setting MPFR precision to 64
41.423 * * * * [points]: Setting MPFR precision to 320
41.431 * * * * [points]: Computing exacts on every 9 of 2367 points to ramp up precision
41.435 * * * * [points]: Setting MPFR precision to 64
41.451 * * * * [points]: Setting MPFR precision to 320
41.469 * * * * [points]: Computing exacts on every 4 of 2367 points to ramp up precision
41.473 * * * * [points]: Setting MPFR precision to 64
41.531 * * * * [points]: Setting MPFR precision to 320
41.564 * * * * [points]: Computing exacts on every 2 of 2367 points to ramp up precision
41.568 * * * * [points]: Setting MPFR precision to 64
41.623 * * * * [points]: Setting MPFR precision to 320
41.710 * * * * [points]: Computing exacts for 2367 points
41.714 * * * * [points]: Setting MPFR precision to 64
41.912 * * * * [points]: Setting MPFR precision to 320
42.142 * * * * [points]: Filtering points with unrepresentable outputs
42.143 * * * * [points]: Sampling 2078 additional inputs, on iter 10 have 5922 / 8000
42.152 * * * * [points]: Computing exacts on every 129 of 2078 points to ramp up precision
42.155 * * * * [points]: Setting MPFR precision to 64
42.157 * * * * [points]: Setting MPFR precision to 320
42.158 * * * * [points]: Computing exacts on every 64 of 2078 points to ramp up precision
42.161 * * * * [points]: Setting MPFR precision to 64
42.163 * * * * [points]: Setting MPFR precision to 320
42.166 * * * * [points]: Computing exacts on every 32 of 2078 points to ramp up precision
42.169 * * * * [points]: Setting MPFR precision to 64
42.173 * * * * [points]: Setting MPFR precision to 320
42.178 * * * * [points]: Computing exacts on every 16 of 2078 points to ramp up precision
42.181 * * * * [points]: Setting MPFR precision to 64
42.190 * * * * [points]: Setting MPFR precision to 320
42.198 * * * * [points]: Computing exacts on every 8 of 2078 points to ramp up precision
42.225 * * * * [points]: Setting MPFR precision to 64
42.243 * * * * [points]: Setting MPFR precision to 320
42.260 * * * * [points]: Computing exacts on every 4 of 2078 points to ramp up precision
42.264 * * * * [points]: Setting MPFR precision to 64
42.292 * * * * [points]: Setting MPFR precision to 320
42.321 * * * * [points]: Computing exacts on every 2 of 2078 points to ramp up precision
42.325 * * * * [points]: Setting MPFR precision to 64
42.401 * * * * [points]: Setting MPFR precision to 320
42.449 * * * * [points]: Computing exacts for 2078 points
42.452 * * * * [points]: Setting MPFR precision to 64
42.665 * * * * [points]: Setting MPFR precision to 320
42.846 * * * * [points]: Filtering points with unrepresentable outputs
42.847 * * * * [points]: Sampling 1830 additional inputs, on iter 11 have 6170 / 8000
42.854 * * * * [points]: Computing exacts on every 114 of 1830 points to ramp up precision
42.858 * * * * [points]: Setting MPFR precision to 64
42.859 * * * * [points]: Setting MPFR precision to 320
42.860 * * * * [points]: Computing exacts on every 57 of 1830 points to ramp up precision
42.864 * * * * [points]: Setting MPFR precision to 64
42.866 * * * * [points]: Setting MPFR precision to 320
42.868 * * * * [points]: Computing exacts on every 28 of 1830 points to ramp up precision
42.872 * * * * [points]: Setting MPFR precision to 64
42.876 * * * * [points]: Setting MPFR precision to 320
42.880 * * * * [points]: Computing exacts on every 14 of 1830 points to ramp up precision
42.884 * * * * [points]: Setting MPFR precision to 64
42.892 * * * * [points]: Setting MPFR precision to 320
43.192 * * * * [points]: Computing exacts on every 7 of 1830 points to ramp up precision
43.196 * * * * [points]: Setting MPFR precision to 64
43.214 * * * * [points]: Setting MPFR precision to 320
43.229 * * * * [points]: Computing exacts on every 3 of 1830 points to ramp up precision
43.233 * * * * [points]: Setting MPFR precision to 64
43.265 * * * * [points]: Setting MPFR precision to 320
43.297 * * * * [points]: Computing exacts for 1830 points
43.329 * * * * [points]: Setting MPFR precision to 64
43.492 * * * * [points]: Setting MPFR precision to 320
43.654 * * * * [points]: Filtering points with unrepresentable outputs
43.655 * * * * [points]: Sampling 1602 additional inputs, on iter 12 have 6398 / 8000
43.661 * * * * [points]: Computing exacts on every 100 of 1602 points to ramp up precision
43.665 * * * * [points]: Setting MPFR precision to 64
43.666 * * * * [points]: Setting MPFR precision to 320
43.667 * * * * [points]: Computing exacts on every 50 of 1602 points to ramp up precision
43.671 * * * * [points]: Setting MPFR precision to 64
43.673 * * * * [points]: Setting MPFR precision to 320
43.675 * * * * [points]: Computing exacts on every 25 of 1602 points to ramp up precision
43.678 * * * * [points]: Setting MPFR precision to 64
43.683 * * * * [points]: Setting MPFR precision to 320
43.687 * * * * [points]: Computing exacts on every 12 of 1602 points to ramp up precision
43.691 * * * * [points]: Setting MPFR precision to 64
43.700 * * * * [points]: Setting MPFR precision to 320
43.709 * * * * [points]: Computing exacts on every 6 of 1602 points to ramp up precision
43.713 * * * * [points]: Setting MPFR precision to 64
43.752 * * * * [points]: Setting MPFR precision to 320
43.769 * * * * [points]: Computing exacts on every 3 of 1602 points to ramp up precision
43.773 * * * * [points]: Setting MPFR precision to 64
43.800 * * * * [points]: Setting MPFR precision to 320
43.829 * * * * [points]: Computing exacts for 1602 points
43.833 * * * * [points]: Setting MPFR precision to 64
43.973 * * * * [points]: Setting MPFR precision to 320
44.118 * * * * [points]: Filtering points with unrepresentable outputs
44.119 * * * * [points]: Sampling 1414 additional inputs, on iter 13 have 6586 / 8000
44.125 * * * * [points]: Computing exacts on every 88 of 1414 points to ramp up precision
44.129 * * * * [points]: Setting MPFR precision to 64
44.130 * * * * [points]: Setting MPFR precision to 320
44.131 * * * * [points]: Computing exacts on every 44 of 1414 points to ramp up precision
44.134 * * * * [points]: Setting MPFR precision to 64
44.137 * * * * [points]: Setting MPFR precision to 320
44.139 * * * * [points]: Computing exacts on every 22 of 1414 points to ramp up precision
44.171 * * * * [points]: Setting MPFR precision to 64
44.175 * * * * [points]: Setting MPFR precision to 320
44.181 * * * * [points]: Computing exacts on every 11 of 1414 points to ramp up precision
44.185 * * * * [points]: Setting MPFR precision to 64
44.193 * * * * [points]: Setting MPFR precision to 320
44.201 * * * * [points]: Computing exacts on every 5 of 1414 points to ramp up precision
44.205 * * * * [points]: Setting MPFR precision to 64
44.221 * * * * [points]: Setting MPFR precision to 320
44.239 * * * * [points]: Computing exacts on every 2 of 1414 points to ramp up precision
44.242 * * * * [points]: Setting MPFR precision to 64
44.275 * * * * [points]: Setting MPFR precision to 320
44.334 * * * * [points]: Computing exacts for 1414 points
44.338 * * * * [points]: Setting MPFR precision to 64
44.468 * * * * [points]: Setting MPFR precision to 320
44.595 * * * * [points]: Filtering points with unrepresentable outputs
44.596 * * * * [points]: Sampling 1224 additional inputs, on iter 14 have 6776 / 8000
44.601 * * * * [points]: Computing exacts on every 76 of 1224 points to ramp up precision
44.607 * * * * [points]: Setting MPFR precision to 64
44.609 * * * * [points]: Setting MPFR precision to 320
44.610 * * * * [points]: Computing exacts on every 38 of 1224 points to ramp up precision
44.614 * * * * [points]: Setting MPFR precision to 64
44.616 * * * * [points]: Setting MPFR precision to 320
44.618 * * * * [points]: Computing exacts on every 19 of 1224 points to ramp up precision
44.622 * * * * [points]: Setting MPFR precision to 64
44.627 * * * * [points]: Setting MPFR precision to 320
44.631 * * * * [points]: Computing exacts on every 9 of 1224 points to ramp up precision
44.635 * * * * [points]: Setting MPFR precision to 64
44.644 * * * * [points]: Setting MPFR precision to 320
44.652 * * * * [points]: Computing exacts on every 4 of 1224 points to ramp up precision
44.655 * * * * [points]: Setting MPFR precision to 64
44.673 * * * * [points]: Setting MPFR precision to 320
44.690 * * * * [points]: Computing exacts on every 2 of 1224 points to ramp up precision
44.714 * * * * [points]: Setting MPFR precision to 64
44.746 * * * * [points]: Setting MPFR precision to 320
44.776 * * * * [points]: Computing exacts for 1224 points
44.779 * * * * [points]: Setting MPFR precision to 64
44.897 * * * * [points]: Setting MPFR precision to 320
45.013 * * * * [points]: Filtering points with unrepresentable outputs
45.013 * * * * [points]: Sampling 1079 additional inputs, on iter 15 have 6921 / 8000
45.019 * * * * [points]: Computing exacts on every 67 of 1079 points to ramp up precision
45.023 * * * * [points]: Setting MPFR precision to 64
45.025 * * * * [points]: Setting MPFR precision to 320
45.026 * * * * [points]: Computing exacts on every 33 of 1079 points to ramp up precision
45.030 * * * * [points]: Setting MPFR precision to 64
45.032 * * * * [points]: Setting MPFR precision to 320
45.034 * * * * [points]: Computing exacts on every 16 of 1079 points to ramp up precision
45.037 * * * * [points]: Setting MPFR precision to 64
45.042 * * * * [points]: Setting MPFR precision to 320
45.046 * * * * [points]: Computing exacts on every 8 of 1079 points to ramp up precision
45.050 * * * * [points]: Setting MPFR precision to 64
45.058 * * * * [points]: Setting MPFR precision to 320
45.067 * * * * [points]: Computing exacts on every 4 of 1079 points to ramp up precision
45.071 * * * * [points]: Setting MPFR precision to 64
45.086 * * * * [points]: Setting MPFR precision to 320
45.101 * * * * [points]: Computing exacts on every 2 of 1079 points to ramp up precision
45.126 * * * * [points]: Setting MPFR precision to 64
45.153 * * * * [points]: Setting MPFR precision to 320
45.179 * * * * [points]: Computing exacts for 1079 points
45.183 * * * * [points]: Setting MPFR precision to 64
45.291 * * * * [points]: Setting MPFR precision to 320
45.365 * * * * [points]: Filtering points with unrepresentable outputs
45.365 * * * * [points]: Sampling 941 additional inputs, on iter 16 have 7059 / 8000
45.369 * * * * [points]: Computing exacts on every 58 of 941 points to ramp up precision
45.373 * * * * [points]: Setting MPFR precision to 64
45.374 * * * * [points]: Setting MPFR precision to 320
45.375 * * * * [points]: Computing exacts on every 29 of 941 points to ramp up precision
45.378 * * * * [points]: Setting MPFR precision to 64
45.381 * * * * [points]: Setting MPFR precision to 320
45.689 * * * * [points]: Computing exacts on every 14 of 941 points to ramp up precision
45.692 * * * * [points]: Setting MPFR precision to 64
45.699 * * * * [points]: Setting MPFR precision to 320
45.703 * * * * [points]: Computing exacts on every 7 of 941 points to ramp up precision
45.706 * * * * [points]: Setting MPFR precision to 64
45.715 * * * * [points]: Setting MPFR precision to 320
45.724 * * * * [points]: Computing exacts on every 3 of 941 points to ramp up precision
45.727 * * * * [points]: Setting MPFR precision to 64
45.743 * * * * [points]: Setting MPFR precision to 320
45.760 * * * * [points]: Computing exacts for 941 points
45.763 * * * * [points]: Setting MPFR precision to 64
45.852 * * * * [points]: Setting MPFR precision to 320
45.917 * * * * [points]: Filtering points with unrepresentable outputs
45.918 * * * * [points]: Sampling 814 additional inputs, on iter 17 have 7186 / 8000
45.921 * * * * [points]: Computing exacts on every 50 of 814 points to ramp up precision
45.926 * * * * [points]: Setting MPFR precision to 64
45.955 * * * * [points]: Setting MPFR precision to 320
45.957 * * * * [points]: Computing exacts on every 25 of 814 points to ramp up precision
45.961 * * * * [points]: Setting MPFR precision to 64
45.963 * * * * [points]: Setting MPFR precision to 320
45.965 * * * * [points]: Computing exacts on every 12 of 814 points to ramp up precision
45.970 * * * * [points]: Setting MPFR precision to 64
45.974 * * * * [points]: Setting MPFR precision to 320
45.979 * * * * [points]: Computing exacts on every 6 of 814 points to ramp up precision
45.982 * * * * [points]: Setting MPFR precision to 64
45.991 * * * * [points]: Setting MPFR precision to 320
45.999 * * * * [points]: Computing exacts on every 3 of 814 points to ramp up precision
46.002 * * * * [points]: Setting MPFR precision to 64
46.016 * * * * [points]: Setting MPFR precision to 320
46.030 * * * * [points]: Computing exacts for 814 points
46.034 * * * * [points]: Setting MPFR precision to 64
46.116 * * * * [points]: Setting MPFR precision to 320
46.173 * * * * [points]: Filtering points with unrepresentable outputs
46.174 * * * * [points]: Sampling 723 additional inputs, on iter 18 have 7277 / 8000
46.177 * * * * [points]: Computing exacts on every 45 of 723 points to ramp up precision
46.181 * * * * [points]: Setting MPFR precision to 64
46.182 * * * * [points]: Setting MPFR precision to 320
46.183 * * * * [points]: Computing exacts on every 22 of 723 points to ramp up precision
46.187 * * * * [points]: Setting MPFR precision to 64
46.189 * * * * [points]: Setting MPFR precision to 320
46.218 * * * * [points]: Computing exacts on every 11 of 723 points to ramp up precision
46.222 * * * * [points]: Setting MPFR precision to 64
46.226 * * * * [points]: Setting MPFR precision to 320
46.232 * * * * [points]: Computing exacts on every 5 of 723 points to ramp up precision
46.235 * * * * [points]: Setting MPFR precision to 64
46.244 * * * * [points]: Setting MPFR precision to 320
46.252 * * * * [points]: Computing exacts on every 2 of 723 points to ramp up precision
46.256 * * * * [points]: Setting MPFR precision to 64
46.272 * * * * [points]: Setting MPFR precision to 320
46.289 * * * * [points]: Computing exacts for 723 points
46.293 * * * * [points]: Setting MPFR precision to 64
46.371 * * * * [points]: Setting MPFR precision to 320
46.421 * * * * [points]: Filtering points with unrepresentable outputs
46.422 * * * * [points]: Sampling 611 additional inputs, on iter 19 have 7389 / 8000
46.424 * * * * [points]: Computing exacts on every 38 of 611 points to ramp up precision
46.428 * * * * [points]: Setting MPFR precision to 64
46.429 * * * * [points]: Setting MPFR precision to 320
46.430 * * * * [points]: Computing exacts on every 19 of 611 points to ramp up precision
46.433 * * * * [points]: Setting MPFR precision to 64
46.435 * * * * [points]: Setting MPFR precision to 320
46.437 * * * * [points]: Computing exacts on every 9 of 611 points to ramp up precision
46.441 * * * * [points]: Setting MPFR precision to 64
46.446 * * * * [points]: Setting MPFR precision to 320
46.450 * * * * [points]: Computing exacts on every 4 of 611 points to ramp up precision
46.477 * * * * [points]: Setting MPFR precision to 64
46.487 * * * * [points]: Setting MPFR precision to 320
46.496 * * * * [points]: Computing exacts on every 2 of 611 points to ramp up precision
46.499 * * * * [points]: Setting MPFR precision to 64
46.513 * * * * [points]: Setting MPFR precision to 320
46.528 * * * * [points]: Computing exacts for 611 points
46.531 * * * * [points]: Setting MPFR precision to 64
46.573 * * * * [points]: Setting MPFR precision to 320
46.645 * * * * [points]: Filtering points with unrepresentable outputs
46.645 * * * * [points]: Sampling 546 additional inputs, on iter 20 have 7454 / 8000
46.647 * * * * [points]: Computing exacts on every 34 of 546 points to ramp up precision
46.651 * * * * [points]: Setting MPFR precision to 64
46.652 * * * * [points]: Setting MPFR precision to 320
46.653 * * * * [points]: Computing exacts on every 17 of 546 points to ramp up precision
46.656 * * * * [points]: Setting MPFR precision to 64
46.658 * * * * [points]: Setting MPFR precision to 320
46.661 * * * * [points]: Computing exacts on every 8 of 546 points to ramp up precision
46.664 * * * * [points]: Setting MPFR precision to 64
46.668 * * * * [points]: Setting MPFR precision to 320
46.672 * * * * [points]: Computing exacts on every 4 of 546 points to ramp up precision
46.676 * * * * [points]: Setting MPFR precision to 64
46.683 * * * * [points]: Setting MPFR precision to 320
46.691 * * * * [points]: Computing exacts on every 2 of 546 points to ramp up precision
46.694 * * * * [points]: Setting MPFR precision to 64
46.707 * * * * [points]: Setting MPFR precision to 320
46.746 * * * * [points]: Computing exacts for 546 points
46.750 * * * * [points]: Setting MPFR precision to 64
46.788 * * * * [points]: Setting MPFR precision to 320
46.826 * * * * [points]: Filtering points with unrepresentable outputs
46.826 * * * * [points]: Sampling 477 additional inputs, on iter 21 have 7523 / 8000
46.828 * * * * [points]: Computing exacts on every 29 of 477 points to ramp up precision
46.832 * * * * [points]: Setting MPFR precision to 64
46.833 * * * * [points]: Setting MPFR precision to 320
46.835 * * * * [points]: Computing exacts on every 14 of 477 points to ramp up precision
46.839 * * * * [points]: Setting MPFR precision to 64
46.841 * * * * [points]: Setting MPFR precision to 320
46.868 * * * * [points]: Computing exacts on every 7 of 477 points to ramp up precision
46.872 * * * * [points]: Setting MPFR precision to 64
46.876 * * * * [points]: Setting MPFR precision to 320
46.882 * * * * [points]: Computing exacts on every 3 of 477 points to ramp up precision
46.885 * * * * [points]: Setting MPFR precision to 64
46.893 * * * * [points]: Setting MPFR precision to 320
46.901 * * * * [points]: Computing exacts for 477 points
46.904 * * * * [points]: Setting MPFR precision to 64
46.936 * * * * [points]: Setting MPFR precision to 320
46.968 * * * * [points]: Filtering points with unrepresentable outputs
46.968 * * * * [points]: Sampling 404 additional inputs, on iter 22 have 7596 / 8000
46.994 * * * * [points]: Computing exacts on every 25 of 404 points to ramp up precision
46.998 * * * * [points]: Setting MPFR precision to 64
46.999 * * * * [points]: Setting MPFR precision to 320
47.000 * * * * [points]: Computing exacts on every 12 of 404 points to ramp up precision
47.005 * * * * [points]: Setting MPFR precision to 64
47.007 * * * * [points]: Setting MPFR precision to 320
47.010 * * * * [points]: Computing exacts on every 6 of 404 points to ramp up precision
47.013 * * * * [points]: Setting MPFR precision to 64
47.017 * * * * [points]: Setting MPFR precision to 320
47.020 * * * * [points]: Computing exacts on every 3 of 404 points to ramp up precision
47.024 * * * * [points]: Setting MPFR precision to 64
47.030 * * * * [points]: Setting MPFR precision to 320
47.037 * * * * [points]: Computing exacts for 404 points
47.040 * * * * [points]: Setting MPFR precision to 64
47.067 * * * * [points]: Setting MPFR precision to 320
47.114 * * * * [points]: Filtering points with unrepresentable outputs
47.115 * * * * [points]: Sampling 361 additional inputs, on iter 23 have 7639 / 8000
47.116 * * * * [points]: Computing exacts on every 22 of 361 points to ramp up precision
47.120 * * * * [points]: Setting MPFR precision to 64
47.123 * * * * [points]: Setting MPFR precision to 320
47.124 * * * * [points]: Computing exacts on every 11 of 361 points to ramp up precision
47.127 * * * * [points]: Setting MPFR precision to 64
47.129 * * * * [points]: Setting MPFR precision to 320
47.131 * * * * [points]: Computing exacts on every 5 of 361 points to ramp up precision
47.134 * * * * [points]: Setting MPFR precision to 64
47.138 * * * * [points]: Setting MPFR precision to 320
47.142 * * * * [points]: Computing exacts on every 2 of 361 points to ramp up precision
47.145 * * * * [points]: Setting MPFR precision to 64
47.153 * * * * [points]: Setting MPFR precision to 320
47.162 * * * * [points]: Computing exacts for 361 points
47.165 * * * * [points]: Setting MPFR precision to 64
47.190 * * * * [points]: Setting MPFR precision to 320
47.235 * * * * [points]: Filtering points with unrepresentable outputs
47.235 * * * * [points]: Sampling 318 additional inputs, on iter 24 have 7682 / 8000
47.238 * * * * [points]: Computing exacts on every 19 of 318 points to ramp up precision
47.242 * * * * [points]: Setting MPFR precision to 64
47.243 * * * * [points]: Setting MPFR precision to 320
47.244 * * * * [points]: Computing exacts on every 9 of 318 points to ramp up precision
47.247 * * * * [points]: Setting MPFR precision to 64
47.249 * * * * [points]: Setting MPFR precision to 320
47.251 * * * * [points]: Computing exacts on every 4 of 318 points to ramp up precision
47.255 * * * * [points]: Setting MPFR precision to 64
47.259 * * * * [points]: Setting MPFR precision to 320
47.263 * * * * [points]: Computing exacts on every 2 of 318 points to ramp up precision
47.266 * * * * [points]: Setting MPFR precision to 64
47.273 * * * * [points]: Setting MPFR precision to 320
47.281 * * * * [points]: Computing exacts for 318 points
47.284 * * * * [points]: Setting MPFR precision to 64
47.306 * * * * [points]: Setting MPFR precision to 320
47.349 * * * * [points]: Filtering points with unrepresentable outputs
47.350 * * * * [points]: Sampling 286 additional inputs, on iter 25 have 7714 / 8000
47.351 * * * * [points]: Computing exacts on every 17 of 286 points to ramp up precision
47.354 * * * * [points]: Setting MPFR precision to 64
47.357 * * * * [points]: Setting MPFR precision to 320
47.358 * * * * [points]: Computing exacts on every 8 of 286 points to ramp up precision
47.361 * * * * [points]: Setting MPFR precision to 64
47.364 * * * * [points]: Setting MPFR precision to 320
47.366 * * * * [points]: Computing exacts on every 4 of 286 points to ramp up precision
47.369 * * * * [points]: Setting MPFR precision to 64
47.373 * * * * [points]: Setting MPFR precision to 320
47.377 * * * * [points]: Computing exacts on every 2 of 286 points to ramp up precision
47.380 * * * * [points]: Setting MPFR precision to 64
47.386 * * * * [points]: Setting MPFR precision to 320
47.393 * * * * [points]: Computing exacts for 286 points
47.396 * * * * [points]: Setting MPFR precision to 64
47.416 * * * * [points]: Setting MPFR precision to 320
47.435 * * * * [points]: Filtering points with unrepresentable outputs
47.435 * * * * [points]: Sampling 251 additional inputs, on iter 26 have 7749 / 8000
47.436 * * * * [points]: Computing exacts on every 15 of 251 points to ramp up precision
47.458 * * * * [points]: Setting MPFR precision to 64
47.459 * * * * [points]: Setting MPFR precision to 320
47.461 * * * * [points]: Computing exacts on every 7 of 251 points to ramp up precision
47.464 * * * * [points]: Setting MPFR precision to 64
47.466 * * * * [points]: Setting MPFR precision to 320
47.470 * * * * [points]: Computing exacts on every 3 of 251 points to ramp up precision
47.473 * * * * [points]: Setting MPFR precision to 64
47.477 * * * * [points]: Setting MPFR precision to 320
47.481 * * * * [points]: Computing exacts for 251 points
47.484 * * * * [points]: Setting MPFR precision to 64
47.502 * * * * [points]: Setting MPFR precision to 320
47.518 * * * * [points]: Filtering points with unrepresentable outputs
47.519 * * * * [points]: Sampling 219 additional inputs, on iter 27 have 7781 / 8000
47.520 * * * * [points]: Computing exacts on every 13 of 219 points to ramp up precision
47.523 * * * * [points]: Setting MPFR precision to 64
47.524 * * * * [points]: Setting MPFR precision to 320
47.525 * * * * [points]: Computing exacts on every 6 of 219 points to ramp up precision
47.528 * * * * [points]: Setting MPFR precision to 64
47.530 * * * * [points]: Setting MPFR precision to 320
47.532 * * * * [points]: Computing exacts on every 3 of 219 points to ramp up precision
47.535 * * * * [points]: Setting MPFR precision to 64
47.539 * * * * [points]: Setting MPFR precision to 320
47.543 * * * * [points]: Computing exacts for 219 points
47.546 * * * * [points]: Setting MPFR precision to 64
47.579 * * * * [points]: Setting MPFR precision to 320
47.594 * * * * [points]: Filtering points with unrepresentable outputs
47.595 * * * * [points]: Sampling 197 additional inputs, on iter 28 have 7803 / 8000
47.595 * * * * [points]: Computing exacts on every 12 of 197 points to ramp up precision
47.599 * * * * [points]: Setting MPFR precision to 64
47.600 * * * * [points]: Setting MPFR precision to 320
47.601 * * * * [points]: Computing exacts on every 6 of 197 points to ramp up precision
47.604 * * * * [points]: Setting MPFR precision to 64
47.606 * * * * [points]: Setting MPFR precision to 320
47.609 * * * * [points]: Computing exacts on every 3 of 197 points to ramp up precision
47.612 * * * * [points]: Setting MPFR precision to 64
47.615 * * * * [points]: Setting MPFR precision to 320
47.619 * * * * [points]: Computing exacts for 197 points
47.622 * * * * [points]: Setting MPFR precision to 64
47.635 * * * * [points]: Setting MPFR precision to 320
47.648 * * * * [points]: Filtering points with unrepresentable outputs
47.649 * * * * [points]: Sampling 165 additional inputs, on iter 29 have 7835 / 8000
47.649 * * * * [points]: Computing exacts on every 10 of 165 points to ramp up precision
47.652 * * * * [points]: Setting MPFR precision to 64
47.654 * * * * [points]: Setting MPFR precision to 320
47.655 * * * * [points]: Computing exacts on every 5 of 165 points to ramp up precision
47.678 * * * * [points]: Setting MPFR precision to 64
47.681 * * * * [points]: Setting MPFR precision to 320
47.683 * * * * [points]: Computing exacts on every 2 of 165 points to ramp up precision
47.686 * * * * [points]: Setting MPFR precision to 64
47.691 * * * * [points]: Setting MPFR precision to 320
47.695 * * * * [points]: Computing exacts for 165 points
47.698 * * * * [points]: Setting MPFR precision to 64
47.709 * * * * [points]: Setting MPFR precision to 320
47.721 * * * * [points]: Filtering points with unrepresentable outputs
47.721 * * * * [points]: Sampling 146 additional inputs, on iter 30 have 7854 / 8000
47.722 * * * * [points]: Computing exacts on every 9 of 146 points to ramp up precision
47.725 * * * * [points]: Setting MPFR precision to 64
47.726 * * * * [points]: Setting MPFR precision to 320
47.727 * * * * [points]: Computing exacts on every 4 of 146 points to ramp up precision
47.730 * * * * [points]: Setting MPFR precision to 64
47.732 * * * * [points]: Setting MPFR precision to 320
47.734 * * * * [points]: Computing exacts on every 2 of 146 points to ramp up precision
47.738 * * * * [points]: Setting MPFR precision to 64
47.741 * * * * [points]: Setting MPFR precision to 320
47.744 * * * * [points]: Computing exacts for 146 points
47.747 * * * * [points]: Setting MPFR precision to 64
47.757 * * * * [points]: Setting MPFR precision to 320
47.767 * * * * [points]: Filtering points with unrepresentable outputs
47.767 * * * * [points]: Sampling 129 additional inputs, on iter 31 have 7871 / 8000
47.768 * * * * [points]: Computing exacts on every 8 of 129 points to ramp up precision
47.791 * * * * [points]: Setting MPFR precision to 64
47.792 * * * * [points]: Setting MPFR precision to 320
47.793 * * * * [points]: Computing exacts on every 4 of 129 points to ramp up precision
47.796 * * * * [points]: Setting MPFR precision to 64
47.798 * * * * [points]: Setting MPFR precision to 320
47.802 * * * * [points]: Computing exacts on every 2 of 129 points to ramp up precision
47.805 * * * * [points]: Setting MPFR precision to 64
47.808 * * * * [points]: Setting MPFR precision to 320
47.811 * * * * [points]: Computing exacts for 129 points
47.814 * * * * [points]: Setting MPFR precision to 64
47.823 * * * * [points]: Setting MPFR precision to 320
47.832 * * * * [points]: Filtering points with unrepresentable outputs
47.832 * * * * [points]: Sampling 112 additional inputs, on iter 32 have 7888 / 8000
47.833 * * * * [points]: Computing exacts on every 7 of 112 points to ramp up precision
47.836 * * * * [points]: Setting MPFR precision to 64
47.837 * * * * [points]: Setting MPFR precision to 320
47.838 * * * * [points]: Computing exacts on every 3 of 112 points to ramp up precision
47.841 * * * * [points]: Setting MPFR precision to 64
47.843 * * * * [points]: Setting MPFR precision to 320
47.845 * * * * [points]: Computing exacts for 112 points
47.848 * * * * [points]: Setting MPFR precision to 64
47.856 * * * * [points]: Setting MPFR precision to 320
47.863 * * * * [points]: Filtering points with unrepresentable outputs
47.863 * * * * [points]: Sampling 100 additional inputs, on iter 33 have 7900 / 8000
47.864 * * * * [points]: Computing exacts on every 6 of 100 points to ramp up precision
47.867 * * * * [points]: Setting MPFR precision to 64
47.868 * * * * [points]: Setting MPFR precision to 320
47.869 * * * * [points]: Computing exacts on every 3 of 100 points to ramp up precision
47.872 * * * * [points]: Setting MPFR precision to 64
47.874 * * * * [points]: Setting MPFR precision to 320
47.893 * * * * [points]: Computing exacts for 100 points
47.896 * * * * [points]: Setting MPFR precision to 64
47.905 * * * * [points]: Setting MPFR precision to 320
47.911 * * * * [points]: Filtering points with unrepresentable outputs
47.911 * * * * [points]: Sampling 88 additional inputs, on iter 34 have 7912 / 8000
47.912 * * * * [points]: Computing exacts on every 5 of 88 points to ramp up precision
47.915 * * * * [points]: Setting MPFR precision to 64
47.916 * * * * [points]: Setting MPFR precision to 320
47.917 * * * * [points]: Computing exacts on every 2 of 88 points to ramp up precision
47.920 * * * * [points]: Setting MPFR precision to 64
47.922 * * * * [points]: Setting MPFR precision to 320
47.924 * * * * [points]: Computing exacts for 88 points
47.928 * * * * [points]: Setting MPFR precision to 64
47.934 * * * * [points]: Setting MPFR precision to 320
47.940 * * * * [points]: Filtering points with unrepresentable outputs
47.940 * * * * [points]: Sampling 73 additional inputs, on iter 35 have 7927 / 8000
47.940 * * * * [points]: Computing exacts on every 4 of 73 points to ramp up precision
47.944 * * * * [points]: Setting MPFR precision to 64
47.945 * * * * [points]: Setting MPFR precision to 320
47.946 * * * * [points]: Computing exacts on every 2 of 73 points to ramp up precision
47.949 * * * * [points]: Setting MPFR precision to 64
47.950 * * * * [points]: Setting MPFR precision to 320
47.952 * * * * [points]: Computing exacts for 73 points
47.955 * * * * [points]: Setting MPFR precision to 64
47.960 * * * * [points]: Setting MPFR precision to 320
47.965 * * * * [points]: Filtering points with unrepresentable outputs
47.965 * * * * [points]: Sampling 67 additional inputs, on iter 36 have 7933 / 8000
47.966 * * * * [points]: Computing exacts on every 4 of 67 points to ramp up precision
47.969 * * * * [points]: Setting MPFR precision to 64
47.970 * * * * [points]: Setting MPFR precision to 320
47.971 * * * * [points]: Computing exacts on every 2 of 67 points to ramp up precision
47.974 * * * * [points]: Setting MPFR precision to 64
47.976 * * * * [points]: Setting MPFR precision to 320
47.977 * * * * [points]: Computing exacts for 67 points
48.250 * * * * [points]: Setting MPFR precision to 64
48.255 * * * * [points]: Setting MPFR precision to 320
48.261 * * * * [points]: Filtering points with unrepresentable outputs
48.261 * * * * [points]: Sampling 59 additional inputs, on iter 37 have 7941 / 8000
48.262 * * * * [points]: Computing exacts on every 3 of 59 points to ramp up precision
48.265 * * * * [points]: Setting MPFR precision to 64
48.266 * * * * [points]: Setting MPFR precision to 320
48.267 * * * * [points]: Computing exacts for 59 points
48.270 * * * * [points]: Setting MPFR precision to 64
48.274 * * * * [points]: Setting MPFR precision to 320
48.278 * * * * [points]: Filtering points with unrepresentable outputs
48.278 * * * * [points]: Sampling 52 additional inputs, on iter 38 have 7948 / 8000
48.279 * * * * [points]: Computing exacts on every 3 of 52 points to ramp up precision
48.282 * * * * [points]: Setting MPFR precision to 64
48.283 * * * * [points]: Setting MPFR precision to 320
48.284 * * * * [points]: Computing exacts for 52 points
48.287 * * * * [points]: Setting MPFR precision to 64
48.290 * * * * [points]: Setting MPFR precision to 320
48.294 * * * * [points]: Filtering points with unrepresentable outputs
48.294 * * * * [points]: Sampling 46 additional inputs, on iter 39 have 7954 / 8000
48.294 * * * * [points]: Computing exacts on every 2 of 46 points to ramp up precision
48.297 * * * * [points]: Setting MPFR precision to 64
48.299 * * * * [points]: Setting MPFR precision to 320
48.300 * * * * [points]: Computing exacts for 46 points
48.303 * * * * [points]: Setting MPFR precision to 64
48.306 * * * * [points]: Setting MPFR precision to 320
48.309 * * * * [points]: Filtering points with unrepresentable outputs
48.309 * * * * [points]: Sampling 41 additional inputs, on iter 40 have 7959 / 8000
48.310 * * * * [points]: Computing exacts on every 2 of 41 points to ramp up precision
48.313 * * * * [points]: Setting MPFR precision to 64
48.314 * * * * [points]: Setting MPFR precision to 320
48.315 * * * * [points]: Computing exacts for 41 points
48.318 * * * * [points]: Setting MPFR precision to 64
48.321 * * * * [points]: Setting MPFR precision to 320
48.323 * * * * [points]: Filtering points with unrepresentable outputs
48.324 * * * * [points]: Sampling 36 additional inputs, on iter 41 have 7964 / 8000
48.324 * * * * [points]: Computing exacts on every 2 of 36 points to ramp up precision
48.327 * * * * [points]: Setting MPFR precision to 64
48.328 * * * * [points]: Setting MPFR precision to 320
48.329 * * * * [points]: Computing exacts for 36 points
48.349 * * * * [points]: Setting MPFR precision to 64
48.352 * * * * [points]: Setting MPFR precision to 320
48.355 * * * * [points]: Filtering points with unrepresentable outputs
48.355 * * * * [points]: Sampling 32 additional inputs, on iter 42 have 7968 / 8000
48.355 * * * * [points]: Computing exacts on every 2 of 32 points to ramp up precision
48.358 * * * * [points]: Setting MPFR precision to 64
48.359 * * * * [points]: Setting MPFR precision to 320
48.360 * * * * [points]: Computing exacts for 32 points
48.363 * * * * [points]: Setting MPFR precision to 64
48.365 * * * * [points]: Setting MPFR precision to 320
48.367 * * * * [points]: Filtering points with unrepresentable outputs
48.368 * * * * [points]: Sampling 27 additional inputs, on iter 43 have 7973 / 8000
48.368 * * * * [points]: Computing exacts for 27 points
48.371 * * * * [points]: Setting MPFR precision to 64
48.373 * * * * [points]: Setting MPFR precision to 320
48.375 * * * * [points]: Filtering points with unrepresentable outputs
48.375 * * * * [points]: Sampling 20 additional inputs, on iter 44 have 7980 / 8000
48.375 * * * * [points]: Computing exacts for 20 points
48.378 * * * * [points]: Setting MPFR precision to 64
48.379 * * * * [points]: Setting MPFR precision to 320
48.381 * * * * [points]: Filtering points with unrepresentable outputs
48.381 * * * * [points]: Sampling 18 additional inputs, on iter 45 have 7982 / 8000
48.381 * * * * [points]: Computing exacts for 18 points
48.384 * * * * [points]: Setting MPFR precision to 64
48.385 * * * * [points]: Setting MPFR precision to 320
48.387 * * * * [points]: Filtering points with unrepresentable outputs
48.387 * * * * [points]: Sampling 16 additional inputs, on iter 46 have 7984 / 8000
48.387 * * * * [points]: Computing exacts for 16 points
48.390 * * * * [points]: Setting MPFR precision to 64
48.391 * * * * [points]: Setting MPFR precision to 320
48.392 * * * * [points]: Filtering points with unrepresentable outputs
48.392 * * * * [points]: Sampling 15 additional inputs, on iter 47 have 7985 / 8000
48.392 * * * * [points]: Computing exacts for 15 points
48.395 * * * * [points]: Setting MPFR precision to 64
48.397 * * * * [points]: Setting MPFR precision to 320
48.398 * * * * [points]: Filtering points with unrepresentable outputs
48.398 * * * * [points]: Sampling 14 additional inputs, on iter 48 have 7986 / 8000
48.398 * * * * [points]: Computing exacts for 14 points
48.401 * * * * [points]: Setting MPFR precision to 64
48.402 * * * * [points]: Setting MPFR precision to 320
48.403 * * * * [points]: Filtering points with unrepresentable outputs
48.403 * * * * [points]: Sampling 14 additional inputs, on iter 49 have 7986 / 8000
48.403 * * * * [points]: Computing exacts for 14 points
48.406 * * * * [points]: Setting MPFR precision to 64
48.407 * * * * [points]: Setting MPFR precision to 320
48.408 * * * * [points]: Filtering points with unrepresentable outputs
48.408 * * * * [points]: Sampling 12 additional inputs, on iter 50 have 7988 / 8000
48.408 * * * * [points]: Computing exacts for 12 points
48.412 * * * * [points]: Setting MPFR precision to 64
48.412 * * * * [points]: Setting MPFR precision to 320
48.413 * * * * [points]: Filtering points with unrepresentable outputs
48.413 * * * * [points]: Sampling 10 additional inputs, on iter 51 have 7990 / 8000
48.413 * * * * [points]: Computing exacts for 10 points
48.417 * * * * [points]: Setting MPFR precision to 64
48.417 * * * * [points]: Setting MPFR precision to 320
48.418 * * * * [points]: Filtering points with unrepresentable outputs
48.418 * * * * [points]: Sampling 8 additional inputs, on iter 52 have 7992 / 8000
48.418 * * * * [points]: Computing exacts for 8 points
48.434 * * * * [points]: Setting MPFR precision to 64
48.435 * * * * [points]: Setting MPFR precision to 320
48.435 * * * * [points]: Filtering points with unrepresentable outputs
48.436 * * * * [points]: Sampling 5 additional inputs, on iter 53 have 7995 / 8000
48.436 * * * * [points]: Computing exacts for 5 points
48.440 * * * * [points]: Setting MPFR precision to 64
48.441 * * * * [points]: Setting MPFR precision to 320
48.441 * * * * [points]: Filtering points with unrepresentable outputs
48.441 * * * * [points]: Sampling 4 additional inputs, on iter 54 have 7996 / 8000
48.441 * * * * [points]: Computing exacts for 4 points
48.445 * * * * [points]: Setting MPFR precision to 64
48.445 * * * * [points]: Setting MPFR precision to 320
48.445 * * * * [points]: Filtering points with unrepresentable outputs
48.445 * * * * [points]: Sampling 4 additional inputs, on iter 55 have 7996 / 8000
48.445 * * * * [points]: Computing exacts for 4 points
48.448 * * * * [points]: Setting MPFR precision to 64
48.449 * * * * [points]: Setting MPFR precision to 320
48.449 * * * * [points]: Filtering points with unrepresentable outputs
48.449 * * * * [points]: Sampling 4 additional inputs, on iter 56 have 7996 / 8000
48.449 * * * * [points]: Computing exacts for 4 points
48.452 * * * * [points]: Setting MPFR precision to 64
48.453 * * * * [points]: Setting MPFR precision to 320
48.453 * * * * [points]: Filtering points with unrepresentable outputs
48.453 * * * * [points]: Sampling 4 additional inputs, on iter 57 have 7997 / 8000
48.453 * * * * [points]: Computing exacts for 4 points
48.456 * * * * [points]: Setting MPFR precision to 64
48.457 * * * * [points]: Setting MPFR precision to 320
48.457 * * * * [points]: Filtering points with unrepresentable outputs
48.457 * * * * [points]: Sampling 4 additional inputs, on iter 58 have 7999 / 8000
48.457 * * * * [points]: Computing exacts for 4 points
48.461 * * * * [points]: Setting MPFR precision to 64
48.461 * * * * [points]: Setting MPFR precision to 320
48.462 * * * * [points]: Filtering points with unrepresentable outputs
48.462 * * * * [points]: Sampling 4 additional inputs, on iter 59 have 7999 / 8000
48.462 * * * * [points]: Computing exacts for 4 points
48.465 * * * * [points]: Setting MPFR precision to 64
48.465 * * * * [points]: Setting MPFR precision to 320
48.466 * * * * [points]: Filtering points with unrepresentable outputs
48.466 * * * * [points]: Sampled 8000 points with exact outputs
50.506 * [regime-testing]: Baseline error score: 64.0
50.509 * [regime-testing]: Oracle error score: 64.0
50.515 * [regime-testing]: End program error score: 0.15184461186688622