0.001 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.001 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.003 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.005 * * * * [points]: Setting MPFR precision to 64
0.007 * * * * [points]: Setting MPFR precision to 320
0.008 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.012 * * * * [points]: Setting MPFR precision to 64
0.014 * * * * [points]: Setting MPFR precision to 320
0.016 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.019 * * * * [points]: Setting MPFR precision to 64
0.023 * * * * [points]: Setting MPFR precision to 320
0.026 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.030 * * * * [points]: Setting MPFR precision to 64
0.037 * * * * [points]: Setting MPFR precision to 320
0.043 * * * * [points]: Computing exacts for 256 points
0.046 * * * * [points]: Setting MPFR precision to 64
0.064 * * * * [points]: Setting MPFR precision to 320
0.081 * * * * [points]: Filtering points with unrepresentable outputs
0.081 * * * * [points]: Sampling 229 additional inputs, on iter 1 have 27 / 256
0.082 * * * * [points]: Computing exacts on every 14 of 229 points to ramp up precision
0.086 * * * * [points]: Setting MPFR precision to 64
0.087 * * * * [points]: Setting MPFR precision to 320
0.088 * * * * [points]: Computing exacts on every 7 of 229 points to ramp up precision
0.091 * * * * [points]: Setting MPFR precision to 64
0.093 * * * * [points]: Setting MPFR precision to 320
0.095 * * * * [points]: Computing exacts on every 3 of 229 points to ramp up precision
0.119 * * * * [points]: Setting MPFR precision to 64
0.123 * * * * [points]: Setting MPFR precision to 320
0.129 * * * * [points]: Computing exacts for 229 points
0.132 * * * * [points]: Setting MPFR precision to 64
0.148 * * * * [points]: Setting MPFR precision to 320
0.164 * * * * [points]: Filtering points with unrepresentable outputs
0.164 * * * * [points]: Sampling 195 additional inputs, on iter 2 have 61 / 256
0.165 * * * * [points]: Computing exacts on every 12 of 195 points to ramp up precision
0.168 * * * * [points]: Setting MPFR precision to 64
0.170 * * * * [points]: Setting MPFR precision to 320
0.171 * * * * [points]: Computing exacts on every 6 of 195 points to ramp up precision
0.175 * * * * [points]: Setting MPFR precision to 64
0.176 * * * * [points]: Setting MPFR precision to 320
0.178 * * * * [points]: Computing exacts on every 3 of 195 points to ramp up precision
0.182 * * * * [points]: Setting MPFR precision to 64
0.185 * * * * [points]: Setting MPFR precision to 320
0.189 * * * * [points]: Computing exacts for 195 points
0.192 * * * * [points]: Setting MPFR precision to 64
0.205 * * * * [points]: Setting MPFR precision to 320
0.260 * * * * [points]: Filtering points with unrepresentable outputs
0.260 * * * * [points]: Sampling 177 additional inputs, on iter 3 have 79 / 256
0.261 * * * * [points]: Computing exacts on every 11 of 177 points to ramp up precision
0.271 * * * * [points]: Setting MPFR precision to 64
0.273 * * * * [points]: Setting MPFR precision to 320
0.275 * * * * [points]: Computing exacts on every 5 of 177 points to ramp up precision
0.281 * * * * [points]: Setting MPFR precision to 64
0.285 * * * * [points]: Setting MPFR precision to 320
0.289 * * * * [points]: Computing exacts on every 2 of 177 points to ramp up precision
0.296 * * * * [points]: Setting MPFR precision to 64
0.303 * * * * [points]: Setting MPFR precision to 320
0.311 * * * * [points]: Computing exacts for 177 points
0.319 * * * * [points]: Setting MPFR precision to 64
0.341 * * * * [points]: Setting MPFR precision to 320
0.363 * * * * [points]: Filtering points with unrepresentable outputs
0.363 * * * * [points]: Sampling 158 additional inputs, on iter 4 have 98 / 256
0.364 * * * * [points]: Computing exacts on every 9 of 158 points to ramp up precision
0.371 * * * * [points]: Setting MPFR precision to 64
0.373 * * * * [points]: Setting MPFR precision to 320
0.375 * * * * [points]: Computing exacts on every 4 of 158 points to ramp up precision
0.382 * * * * [points]: Setting MPFR precision to 64
0.386 * * * * [points]: Setting MPFR precision to 320
0.390 * * * * [points]: Computing exacts on every 2 of 158 points to ramp up precision
0.397 * * * * [points]: Setting MPFR precision to 64
0.404 * * * * [points]: Setting MPFR precision to 320
0.411 * * * * [points]: Computing exacts for 158 points
0.417 * * * * [points]: Setting MPFR precision to 64
0.469 * * * * [points]: Setting MPFR precision to 320
0.492 * * * * [points]: Filtering points with unrepresentable outputs
0.492 * * * * [points]: Sampling 127 additional inputs, on iter 5 have 129 / 256
0.493 * * * * [points]: Computing exacts on every 7 of 127 points to ramp up precision
0.499 * * * * [points]: Setting MPFR precision to 64
0.500 * * * * [points]: Setting MPFR precision to 320
0.501 * * * * [points]: Computing exacts on every 3 of 127 points to ramp up precision
0.504 * * * * [points]: Setting MPFR precision to 64
0.506 * * * * [points]: Setting MPFR precision to 320
0.509 * * * * [points]: Computing exacts for 127 points
0.512 * * * * [points]: Setting MPFR precision to 64
0.520 * * * * [points]: Setting MPFR precision to 320
0.533 * * * * [points]: Filtering points with unrepresentable outputs
0.533 * * * * [points]: Sampling 113 additional inputs, on iter 6 have 143 / 256
0.534 * * * * [points]: Computing exacts on every 7 of 113 points to ramp up precision
0.541 * * * * [points]: Setting MPFR precision to 64
0.542 * * * * [points]: Setting MPFR precision to 320
0.544 * * * * [points]: Computing exacts on every 3 of 113 points to ramp up precision
0.550 * * * * [points]: Setting MPFR precision to 64
0.553 * * * * [points]: Setting MPFR precision to 320
0.557 * * * * [points]: Computing exacts for 113 points
0.564 * * * * [points]: Setting MPFR precision to 64
0.579 * * * * [points]: Setting MPFR precision to 320
0.595 * * * * [points]: Filtering points with unrepresentable outputs
0.595 * * * * [points]: Sampling 100 additional inputs, on iter 7 have 156 / 256
0.596 * * * * [points]: Computing exacts on every 6 of 100 points to ramp up precision
0.602 * * * * [points]: Setting MPFR precision to 64
0.604 * * * * [points]: Setting MPFR precision to 320
0.606 * * * * [points]: Computing exacts on every 3 of 100 points to ramp up precision
0.642 * * * * [points]: Setting MPFR precision to 64
0.645 * * * * [points]: Setting MPFR precision to 320
0.647 * * * * [points]: Computing exacts for 100 points
0.652 * * * * [points]: Setting MPFR precision to 64
0.659 * * * * [points]: Setting MPFR precision to 320
0.666 * * * * [points]: Filtering points with unrepresentable outputs
0.666 * * * * [points]: Sampling 93 additional inputs, on iter 8 have 163 / 256
0.666 * * * * [points]: Computing exacts on every 5 of 93 points to ramp up precision
0.670 * * * * [points]: Setting MPFR precision to 64
0.671 * * * * [points]: Setting MPFR precision to 320
0.672 * * * * [points]: Computing exacts on every 2 of 93 points to ramp up precision
0.675 * * * * [points]: Setting MPFR precision to 64
0.677 * * * * [points]: Setting MPFR precision to 320
0.680 * * * * [points]: Computing exacts for 93 points
0.685 * * * * [points]: Setting MPFR precision to 64
0.697 * * * * [points]: Setting MPFR precision to 320
0.708 * * * * [points]: Filtering points with unrepresentable outputs
0.708 * * * * [points]: Sampling 83 additional inputs, on iter 9 have 173 / 256
0.708 * * * * [points]: Computing exacts on every 5 of 83 points to ramp up precision
0.712 * * * * [points]: Setting MPFR precision to 64
0.713 * * * * [points]: Setting MPFR precision to 320
0.714 * * * * [points]: Computing exacts on every 2 of 83 points to ramp up precision
0.717 * * * * [points]: Setting MPFR precision to 64
0.719 * * * * [points]: Setting MPFR precision to 320
0.721 * * * * [points]: Computing exacts for 83 points
0.725 * * * * [points]: Setting MPFR precision to 64
0.730 * * * * [points]: Setting MPFR precision to 320
0.737 * * * * [points]: Filtering points with unrepresentable outputs
0.737 * * * * [points]: Sampling 73 additional inputs, on iter 10 have 183 / 256
0.738 * * * * [points]: Computing exacts on every 4 of 73 points to ramp up precision
0.742 * * * * [points]: Setting MPFR precision to 64
0.743 * * * * [points]: Setting MPFR precision to 320
0.744 * * * * [points]: Computing exacts on every 2 of 73 points to ramp up precision
0.766 * * * * [points]: Setting MPFR precision to 64
0.768 * * * * [points]: Setting MPFR precision to 320
0.769 * * * * [points]: Computing exacts for 73 points
0.773 * * * * [points]: Setting MPFR precision to 64
0.779 * * * * [points]: Setting MPFR precision to 320
0.784 * * * * [points]: Filtering points with unrepresentable outputs
0.785 * * * * [points]: Sampling 69 additional inputs, on iter 11 have 187 / 256
0.785 * * * * [points]: Computing exacts on every 4 of 69 points to ramp up precision
0.788 * * * * [points]: Setting MPFR precision to 64
0.789 * * * * [points]: Setting MPFR precision to 320
0.790 * * * * [points]: Computing exacts on every 2 of 69 points to ramp up precision
0.794 * * * * [points]: Setting MPFR precision to 64
0.797 * * * * [points]: Setting MPFR precision to 320
0.800 * * * * [points]: Computing exacts for 69 points
0.807 * * * * [points]: Setting MPFR precision to 64
0.816 * * * * [points]: Setting MPFR precision to 320
0.825 * * * * [points]: Filtering points with unrepresentable outputs
0.825 * * * * [points]: Sampling 60 additional inputs, on iter 12 have 196 / 256
0.826 * * * * [points]: Computing exacts on every 3 of 60 points to ramp up precision
0.833 * * * * [points]: Setting MPFR precision to 64
0.835 * * * * [points]: Setting MPFR precision to 320
0.837 * * * * [points]: Computing exacts for 60 points
0.844 * * * * [points]: Setting MPFR precision to 64
0.852 * * * * [points]: Setting MPFR precision to 320
0.859 * * * * [points]: Filtering points with unrepresentable outputs
0.860 * * * * [points]: Sampling 54 additional inputs, on iter 13 have 202 / 256
0.860 * * * * [points]: Computing exacts on every 3 of 54 points to ramp up precision
0.867 * * * * [points]: Setting MPFR precision to 64
0.869 * * * * [points]: Setting MPFR precision to 320
0.870 * * * * [points]: Computing exacts for 54 points
0.877 * * * * [points]: Setting MPFR precision to 64
0.884 * * * * [points]: Setting MPFR precision to 320
0.891 * * * * [points]: Filtering points with unrepresentable outputs
0.891 * * * * [points]: Sampling 46 additional inputs, on iter 14 have 210 / 256
0.892 * * * * [points]: Computing exacts on every 2 of 46 points to ramp up precision
0.899 * * * * [points]: Setting MPFR precision to 64
0.902 * * * * [points]: Setting MPFR precision to 320
0.904 * * * * [points]: Computing exacts for 46 points
0.910 * * * * [points]: Setting MPFR precision to 64
0.942 * * * * [points]: Setting MPFR precision to 320
0.951 * * * * [points]: Filtering points with unrepresentable outputs
0.951 * * * * [points]: Sampling 40 additional inputs, on iter 15 have 216 / 256
0.951 * * * * [points]: Computing exacts on every 2 of 40 points to ramp up precision
0.958 * * * * [points]: Setting MPFR precision to 64
0.960 * * * * [points]: Setting MPFR precision to 320
0.962 * * * * [points]: Computing exacts for 40 points
0.969 * * * * [points]: Setting MPFR precision to 64
0.974 * * * * [points]: Setting MPFR precision to 320
0.979 * * * * [points]: Filtering points with unrepresentable outputs
0.979 * * * * [points]: Sampling 38 additional inputs, on iter 16 have 218 / 256
0.980 * * * * [points]: Computing exacts on every 2 of 38 points to ramp up precision
0.986 * * * * [points]: Setting MPFR precision to 64
0.988 * * * * [points]: Setting MPFR precision to 320
0.990 * * * * [points]: Computing exacts for 38 points
0.997 * * * * [points]: Setting MPFR precision to 64
1.002 * * * * [points]: Setting MPFR precision to 320
1.007 * * * * [points]: Filtering points with unrepresentable outputs
1.007 * * * * [points]: Sampling 33 additional inputs, on iter 17 have 223 / 256
1.008 * * * * [points]: Computing exacts on every 2 of 33 points to ramp up precision
1.014 * * * * [points]: Setting MPFR precision to 64
1.016 * * * * [points]: Setting MPFR precision to 320
1.017 * * * * [points]: Computing exacts for 33 points
1.024 * * * * [points]: Setting MPFR precision to 64
1.028 * * * * [points]: Setting MPFR precision to 320
1.033 * * * * [points]: Filtering points with unrepresentable outputs
1.033 * * * * [points]: Sampling 31 additional inputs, on iter 18 have 225 / 256
1.033 * * * * [points]: Computing exacts for 31 points
1.040 * * * * [points]: Setting MPFR precision to 64
1.043 * * * * [points]: Setting MPFR precision to 320
1.045 * * * * [points]: Filtering points with unrepresentable outputs
1.045 * * * * [points]: Sampling 25 additional inputs, on iter 19 have 231 / 256
1.045 * * * * [points]: Computing exacts for 25 points
1.049 * * * * [points]: Setting MPFR precision to 64
1.050 * * * * [points]: Setting MPFR precision to 320
1.053 * * * * [points]: Filtering points with unrepresentable outputs
1.053 * * * * [points]: Sampling 23 additional inputs, on iter 20 have 233 / 256
1.053 * * * * [points]: Computing exacts for 23 points
1.056 * * * * [points]: Setting MPFR precision to 64
1.058 * * * * [points]: Setting MPFR precision to 320
1.059 * * * * [points]: Filtering points with unrepresentable outputs
1.059 * * * * [points]: Sampling 18 additional inputs, on iter 21 have 238 / 256
1.060 * * * * [points]: Computing exacts for 18 points
1.063 * * * * [points]: Setting MPFR precision to 64
1.064 * * * * [points]: Setting MPFR precision to 320
1.066 * * * * [points]: Filtering points with unrepresentable outputs
1.066 * * * * [points]: Sampling 17 additional inputs, on iter 22 have 239 / 256
1.066 * * * * [points]: Computing exacts for 17 points
1.069 * * * * [points]: Setting MPFR precision to 64
1.070 * * * * [points]: Setting MPFR precision to 320
1.072 * * * * [points]: Filtering points with unrepresentable outputs
1.072 * * * * [points]: Sampling 13 additional inputs, on iter 23 have 243 / 256
1.072 * * * * [points]: Computing exacts for 13 points
1.093 * * * * [points]: Setting MPFR precision to 64
1.095 * * * * [points]: Setting MPFR precision to 320
1.097 * * * * [points]: Filtering points with unrepresentable outputs
1.097 * * * * [points]: Sampling 12 additional inputs, on iter 24 have 244 / 256
1.097 * * * * [points]: Computing exacts for 12 points
1.106 * * * * [points]: Setting MPFR precision to 64
1.108 * * * * [points]: Setting MPFR precision to 320
1.110 * * * * [points]: Filtering points with unrepresentable outputs
1.110 * * * * [points]: Sampling 11 additional inputs, on iter 25 have 245 / 256
1.111 * * * * [points]: Computing exacts for 11 points
1.117 * * * * [points]: Setting MPFR precision to 64
1.119 * * * * [points]: Setting MPFR precision to 320
1.120 * * * * [points]: Filtering points with unrepresentable outputs
1.120 * * * * [points]: Sampling 11 additional inputs, on iter 26 have 245 / 256
1.121 * * * * [points]: Computing exacts for 11 points
1.127 * * * * [points]: Setting MPFR precision to 64
1.129 * * * * [points]: Setting MPFR precision to 320
1.130 * * * * [points]: Filtering points with unrepresentable outputs
1.130 * * * * [points]: Sampling 7 additional inputs, on iter 27 have 249 / 256
1.131 * * * * [points]: Computing exacts for 7 points
1.135 * * * * [points]: Setting MPFR precision to 64
1.136 * * * * [points]: Setting MPFR precision to 320
1.137 * * * * [points]: Filtering points with unrepresentable outputs
1.137 * * * * [points]: Sampling 6 additional inputs, on iter 28 have 250 / 256
1.137 * * * * [points]: Computing exacts for 6 points
1.140 * * * * [points]: Setting MPFR precision to 64
1.140 * * * * [points]: Setting MPFR precision to 320
1.141 * * * * [points]: Filtering points with unrepresentable outputs
1.141 * * * * [points]: Sampling 5 additional inputs, on iter 29 have 251 / 256
1.141 * * * * [points]: Computing exacts for 5 points
1.144 * * * * [points]: Setting MPFR precision to 64
1.145 * * * * [points]: Setting MPFR precision to 320
1.145 * * * * [points]: Filtering points with unrepresentable outputs
1.145 * * * * [points]: Sampling 5 additional inputs, on iter 30 have 251 / 256
1.145 * * * * [points]: Computing exacts for 5 points
1.148 * * * * [points]: Setting MPFR precision to 64
1.149 * * * * [points]: Setting MPFR precision to 320
1.149 * * * * [points]: Filtering points with unrepresentable outputs
1.149 * * * * [points]: Sampling 4 additional inputs, on iter 31 have 252 / 256
1.149 * * * * [points]: Computing exacts for 4 points
1.153 * * * * [points]: Setting MPFR precision to 64
1.153 * * * * [points]: Setting MPFR precision to 320
1.153 * * * * [points]: Filtering points with unrepresentable outputs
1.153 * * * * [points]: Sampling 4 additional inputs, on iter 32 have 253 / 256
1.153 * * * * [points]: Computing exacts for 4 points
1.157 * * * * [points]: Setting MPFR precision to 64
1.157 * * * * [points]: Setting MPFR precision to 320
1.157 * * * * [points]: Filtering points with unrepresentable outputs
1.158 * * * * [points]: Sampling 4 additional inputs, on iter 33 have 255 / 256
1.158 * * * * [points]: Computing exacts for 4 points
1.161 * * * * [points]: Setting MPFR precision to 64
1.162 * * * * [points]: Setting MPFR precision to 320
1.163 * * * * [points]: Filtering points with unrepresentable outputs
1.163 * * * * [points]: Sampled 257 points with exact outputs
1.163 * * * [progress]: [2/2] Setting up program.
1.180 * [progress]: [Phase 2 of 3] Improving.
1.180 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
1.180 * [simplify]: Simplifying (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))
1.180 * * [simplify]: iters left: 6 (15 enodes)
1.184 * * [simplify]: iters left: 5 (54 enodes)
1.204 * * [simplify]: iters left: 4 (174 enodes)
1.310 * * [simplify]: Extracting #0: cost 1 inf + 0
1.310 * * [simplify]: Extracting #1: cost 2 inf + 0
1.310 * * [simplify]: Extracting #2: cost 52 inf + 0
1.311 * * [simplify]: Extracting #3: cost 218 inf + 0
1.312 * * [simplify]: Extracting #4: cost 350 inf + 488
1.316 * * [simplify]: Extracting #5: cost 271 inf + 83278
1.330 * * [simplify]: Extracting #6: cost 99 inf + 301152
1.377 * * [simplify]: Extracting #7: cost 13 inf + 445414
1.412 * * [simplify]: Extracting #8: cost 0 inf + 471346
1.454 * [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.454 * [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.472 * * [progress]: iteration 1 / 4
1.472 * * * [progress]: picking best candidate
1.483 * * * * [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.483 * * * [progress]: localizing error
1.746 * * * [progress]: generating rewritten candidates
1.746 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2)
1.786 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2)
1.808 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
1.838 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
1.866 * * * [progress]: generating series expansions
1.866 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2)
1.866 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2)
1.866 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
1.866 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
1.866 * * * [progress]: simplifying candidates
1.866 * * * * [progress]: [ 1 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
1.866 * * * * [progress]: [ 2 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
1.866 * * * * [progress]: [ 3 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
1.866 * * * * [progress]: [ 4 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
1.866 * * * * [progress]: [ 5 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 c)))))>
1.866 * * * * [progress]: [ 6 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
1.866 * * * * [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.866 * [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.866 * * [simplify]: iters left: 6 (14 enodes)
1.870 * * [simplify]: iters left: 5 (47 enodes)
1.879 * * [simplify]: iters left: 4 (142 enodes)
1.946 * * [simplify]: Extracting #0: cost 1 inf + 0
1.946 * * [simplify]: Extracting #1: cost 47 inf + 0
1.946 * * [simplify]: Extracting #2: cost 138 inf + 0
1.947 * * [simplify]: Extracting #3: cost 255 inf + 167
1.949 * * [simplify]: Extracting #4: cost 197 inf + 51251
1.961 * * [simplify]: Extracting #5: cost 37 inf + 258423
1.987 * * [simplify]: Extracting #6: cost 5 inf + 309031
2.005 * * [simplify]: Extracting #7: cost 0 inf + 319571
2.030 * [simplify]: Simplified to (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (neg.p16 c))
2.030 * [simplify]: Simplified (2 1 2) to (λ (a b c) (sqrt.p16 (+.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (neg.p16 c)))))
2.031 * * * * [progress]: [ 8 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (*.p16 (neg.p16 c) (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))))))>
2.031 * [simplify]: Simplifying (*.p16 (neg.p16 c) (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)))
2.031 * * [simplify]: iters left: 6 (14 enodes)
2.038 * * [simplify]: iters left: 5 (47 enodes)
2.049 * * [simplify]: iters left: 4 (147 enodes)
2.113 * * [simplify]: Extracting #0: cost 1 inf + 0
2.113 * * [simplify]: Extracting #1: cost 41 inf + 0
2.113 * * [simplify]: Extracting #2: cost 134 inf + 0
2.114 * * [simplify]: Extracting #3: cost 242 inf + 248
2.116 * * [simplify]: Extracting #4: cost 243 inf + 24866
2.125 * * [simplify]: Extracting #5: cost 84 inf + 207409
2.142 * * [simplify]: Extracting #6: cost 1 inf + 335141
2.167 * * [simplify]: Extracting #7: cost 0 inf + 336465
2.202 * [simplify]: Simplified to (*.p16 (*.p16 (*.p16 (neg.p16 c) (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) a)) (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)))
2.202 * [simplify]: Simplified (2 1 2) to (λ (a b c) (sqrt.p16 (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (*.p16 (*.p16 (*.p16 (neg.p16 c) (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) a)) (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2))))))
2.203 * * * * [progress]: [ 9 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
2.203 * [simplify]: Simplifying (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))
2.203 * * [simplify]: iters left: 5 (10 enodes)
2.207 * * [simplify]: iters left: 4 (31 enodes)
2.217 * * [simplify]: iters left: 3 (69 enodes)
2.242 * * [simplify]: iters left: 2 (236 enodes)
2.359 * * [simplify]: Extracting #0: cost 1 inf + 0
2.359 * * [simplify]: Extracting #1: cost 28 inf + 0
2.359 * * [simplify]: Extracting #2: cost 177 inf + 0
2.360 * * [simplify]: Extracting #3: cost 284 inf + 4676
2.367 * * [simplify]: Extracting #4: cost 222 inf + 71674
2.387 * * [simplify]: Extracting #5: cost 74 inf + 271655
2.410 * * [simplify]: Extracting #6: cost 0 inf + 386774
2.433 * * [simplify]: Extracting #7: cost 0 inf + 386134
2.456 * [simplify]: Simplified to (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))
2.456 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))
2.456 * * * * [progress]: [ 10 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
2.456 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
2.456 * * [simplify]: iters left: 4 (9 enodes)
2.459 * * [simplify]: iters left: 3 (21 enodes)
2.462 * * [simplify]: iters left: 2 (27 enodes)
2.467 * * [simplify]: iters left: 1 (28 enodes)
2.471 * * [simplify]: Extracting #0: cost 1 inf + 0
2.471 * * [simplify]: Extracting #1: cost 3 inf + 0
2.471 * * [simplify]: Extracting #2: cost 4 inf + 1
2.471 * * [simplify]: Extracting #3: cost 10 inf + 1
2.471 * * [simplify]: Extracting #4: cost 5 inf + 47
2.471 * * [simplify]: Extracting #5: cost 1 inf + 738
2.471 * * [simplify]: Extracting #6: cost 0 inf + 1302
2.471 * [simplify]: Simplified to (+.p16 c (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)))
2.471 * [simplify]: Simplified (2 1 2) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c))) (+.p16 c (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))))))
2.471 * * * * [progress]: [ 11 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))))>
2.471 * [simplify]: Simplifying (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
2.472 * * [simplify]: iters left: 6 (16 enodes)
2.475 * * [simplify]: iters left: 5 (62 enodes)
2.494 * * [simplify]: iters left: 4 (229 enodes)
2.599 * * [simplify]: Extracting #0: cost 1 inf + 0
2.599 * * [simplify]: Extracting #1: cost 65 inf + 0
2.600 * * [simplify]: Extracting #2: cost 288 inf + 0
2.601 * * [simplify]: Extracting #3: cost 447 inf + 407
2.614 * * [simplify]: Extracting #4: cost 317 inf + 175419
2.645 * * [simplify]: Extracting #5: cost 63 inf + 601180
2.686 * * [simplify]: Extracting #6: cost 6 inf + 706836
2.749 * * [simplify]: Extracting #7: cost 0 inf + 722900
2.799 * [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.799 * [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.800 * * * * [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.800 * [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.800 * * [simplify]: iters left: 6 (16 enodes)
2.804 * * [simplify]: iters left: 5 (62 enodes)
2.817 * * [simplify]: iters left: 4 (229 enodes)
2.929 * * [simplify]: Extracting #0: cost 1 inf + 0
2.929 * * [simplify]: Extracting #1: cost 59 inf + 0
2.929 * * [simplify]: Extracting #2: cost 276 inf + 0
2.931 * * [simplify]: Extracting #3: cost 431 inf + 809
2.941 * * [simplify]: Extracting #4: cost 315 inf + 215074
2.974 * * [simplify]: Extracting #5: cost 47 inf + 641310
3.028 * * [simplify]: Extracting #6: cost 3 inf + 707919
3.072 * * [simplify]: Extracting #7: cost 0 inf + 715051
3.117 * [simplify]: Simplified to (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)))))
3.117 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b))))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))
3.117 * * * * [progress]: [ 13 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (real->posit16 2))))>
3.118 * [simplify]: Simplifying (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
3.118 * * [simplify]: iters left: 6 (14 enodes)
3.121 * * [simplify]: iters left: 5 (51 enodes)
3.131 * * [simplify]: iters left: 4 (171 enodes)
3.218 * * [simplify]: Extracting #0: cost 1 inf + 0
3.218 * * [simplify]: Extracting #1: cost 53 inf + 0
3.219 * * [simplify]: Extracting #2: cost 257 inf + 0
3.220 * * [simplify]: Extracting #3: cost 412 inf + 938
3.229 * * [simplify]: Extracting #4: cost 235 inf + 203438
3.260 * * [simplify]: Extracting #5: cost 22 inf + 506689
3.290 * * [simplify]: Extracting #6: cost 0 inf + 540771
3.321 * [simplify]: Simplified to (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (+.p16 (+.p16 b a) c) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c))
3.321 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (+.p16 (+.p16 b a) c) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c)) (real->posit16 2))))
3.321 * * * * [progress]: [ 14 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)))))>
3.321 * * * * [progress]: [ 15 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
3.322 * [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.322 * * [simplify]: iters left: 6 (15 enodes)
3.326 * * [simplify]: iters left: 5 (54 enodes)
3.344 * * [simplify]: iters left: 4 (174 enodes)
3.435 * * [simplify]: Extracting #0: cost 1 inf + 0
3.435 * * [simplify]: Extracting #1: cost 2 inf + 0
3.436 * * [simplify]: Extracting #2: cost 52 inf + 0
3.436 * * [simplify]: Extracting #3: cost 218 inf + 0
3.437 * * [simplify]: Extracting #4: cost 350 inf + 488
3.441 * * [simplify]: Extracting #5: cost 271 inf + 83278
3.455 * * [simplify]: Extracting #6: cost 99 inf + 301152
3.484 * * [simplify]: Extracting #7: cost 13 inf + 445414
3.511 * * [simplify]: Extracting #8: cost 0 inf + 471346
3.553 * [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.553 * [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.553 * * * * [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.553 * [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.553 * * [simplify]: iters left: 6 (15 enodes)
3.557 * * [simplify]: iters left: 5 (54 enodes)
3.567 * * [simplify]: iters left: 4 (174 enodes)
3.649 * * [simplify]: Extracting #0: cost 1 inf + 0
3.649 * * [simplify]: Extracting #1: cost 2 inf + 0
3.650 * * [simplify]: Extracting #2: cost 52 inf + 0
3.650 * * [simplify]: Extracting #3: cost 218 inf + 0
3.652 * * [simplify]: Extracting #4: cost 350 inf + 488
3.660 * * [simplify]: Extracting #5: cost 271 inf + 83278
3.675 * * [simplify]: Extracting #6: cost 99 inf + 301152
3.703 * * [simplify]: Extracting #7: cost 13 inf + 445414
3.738 * * [simplify]: Extracting #8: cost 0 inf + 471346
3.765 * [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.765 * [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.765 * * * * [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.765 * [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.765 * * [simplify]: iters left: 6 (15 enodes)
3.769 * * [simplify]: iters left: 5 (54 enodes)
3.782 * * [simplify]: iters left: 4 (174 enodes)
3.921 * * [simplify]: Extracting #0: cost 1 inf + 0
3.921 * * [simplify]: Extracting #1: cost 2 inf + 0
3.921 * * [simplify]: Extracting #2: cost 52 inf + 0
3.922 * * [simplify]: Extracting #3: cost 218 inf + 0
3.925 * * [simplify]: Extracting #4: cost 350 inf + 488
3.938 * * [simplify]: Extracting #5: cost 271 inf + 83278
3.966 * * [simplify]: Extracting #6: cost 99 inf + 301152
4.012 * * [simplify]: Extracting #7: cost 13 inf + 445414
4.058 * * [simplify]: Extracting #8: cost 0 inf + 471346
4.106 * [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.106 * [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]: [ 18 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
4.106 * [simplify]: Simplifying (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))
4.107 * * [simplify]: iters left: 6 (15 enodes)
4.113 * * [simplify]: iters left: 5 (54 enodes)
4.132 * * [simplify]: iters left: 4 (174 enodes)
4.237 * * [simplify]: Extracting #0: cost 1 inf + 0
4.237 * * [simplify]: Extracting #1: cost 2 inf + 0
4.237 * * [simplify]: Extracting #2: cost 52 inf + 0
4.238 * * [simplify]: Extracting #3: cost 218 inf + 0
4.240 * * [simplify]: Extracting #4: cost 350 inf + 488
4.249 * * [simplify]: Extracting #5: cost 271 inf + 83278
4.277 * * [simplify]: Extracting #6: cost 99 inf + 301152
4.326 * * [simplify]: Extracting #7: cost 13 inf + 445414
4.383 * * [simplify]: Extracting #8: cost 0 inf + 471346
4.436 * [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.436 * [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.437 * * * [progress]: adding candidates to table
4.994 * * [progress]: iteration 2 / 4
4.994 * * * [progress]: picking best candidate
5.044 * * * * [pick]: Picked  #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))>
5.044 * * * [progress]: localizing error
5.543 * * * [progress]: generating rewritten candidates
5.543 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
5.676 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2)
5.722 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 2)
5.727 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2)
5.769 * * * [progress]: generating series expansions
5.769 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
5.769 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2)
5.769 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 2)
5.769 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2)
5.769 * * * [progress]: simplifying candidates
5.769 * * * * [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.770 * [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.770 * * [simplify]: iters left: 6 (14 enodes)
5.777 * * [simplify]: iters left: 5 (51 enodes)
5.797 * * [simplify]: iters left: 4 (173 enodes)
5.921 * * [simplify]: Extracting #0: cost 1 inf + 0
5.922 * * [simplify]: Extracting #1: cost 48 inf + 0
5.923 * * [simplify]: Extracting #2: cost 196 inf + 0
5.925 * * [simplify]: Extracting #3: cost 275 inf + 1859
5.932 * * [simplify]: Extracting #4: cost 237 inf + 79873
5.960 * * [simplify]: Extracting #5: cost 41 inf + 350410
5.984 * * [simplify]: Extracting #6: cost 1 inf + 422604
6.008 * * [simplify]: Extracting #7: cost 0 inf + 425528
6.055 * [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)))
6.055 * [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)))))
6.055 * * * * [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)))))>
6.055 * [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)))
6.056 * * [simplify]: iters left: 6 (17 enodes)
6.064 * * [simplify]: iters left: 5 (66 enodes)
6.095 * * [simplify]: iters left: 4 (250 enodes)
6.275 * * [simplify]: Extracting #0: cost 1 inf + 0
6.275 * * [simplify]: Extracting #1: cost 70 inf + 0
6.276 * * [simplify]: Extracting #2: cost 345 inf + 0
6.278 * * [simplify]: Extracting #3: cost 507 inf + 890
6.292 * * [simplify]: Extracting #4: cost 399 inf + 227592
6.332 * * [simplify]: Extracting #5: cost 85 inf + 736749
6.403 * * [simplify]: Extracting #6: cost 1 inf + 915516
6.500 * * [simplify]: Extracting #7: cost 0 inf + 916080
6.605 * [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.605 * [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.605 * * * * [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.606 * [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.606 * * [simplify]: iters left: 6 (17 enodes)
6.615 * * [simplify]: iters left: 5 (66 enodes)
6.637 * * [simplify]: iters left: 4 (252 enodes)
6.753 * * [simplify]: Extracting #0: cost 1 inf + 0
6.753 * * [simplify]: Extracting #1: cost 73 inf + 0
6.754 * * [simplify]: Extracting #2: cost 347 inf + 0
6.755 * * [simplify]: Extracting #3: cost 531 inf + 1612
6.767 * * [simplify]: Extracting #4: cost 388 inf + 273369
6.807 * * [simplify]: Extracting #5: cost 84 inf + 812947
6.863 * * [simplify]: Extracting #6: cost 0 inf + 988759
6.919 * * [simplify]: Extracting #7: cost 0 inf + 987839
6.976 * [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.977 * [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.977 * * * * [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.977 * [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.977 * * [simplify]: iters left: 6 (18 enodes)
6.982 * * [simplify]: iters left: 5 (72 enodes)
6.998 * * [simplify]: iters left: 4 (269 enodes)
7.118 * * [simplify]: Extracting #0: cost 1 inf + 0
7.118 * * [simplify]: Extracting #1: cost 59 inf + 0
7.119 * * [simplify]: Extracting #2: cost 290 inf + 0
7.120 * * [simplify]: Extracting #3: cost 460 inf + 166
7.133 * * [simplify]: Extracting #4: cost 380 inf + 281442
7.178 * * [simplify]: Extracting #5: cost 63 inf + 884806
7.240 * * [simplify]: Extracting #6: cost 0 inf + 1034028
7.302 * [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.302 * [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.302 * * * * [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.302 * [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.302 * * [simplify]: iters left: 6 (16 enodes)
7.307 * * [simplify]: iters left: 5 (60 enodes)
7.319 * * [simplify]: iters left: 4 (223 enodes)
7.425 * * [simplify]: Extracting #0: cost 1 inf + 0
7.425 * * [simplify]: Extracting #1: cost 62 inf + 0
7.426 * * [simplify]: Extracting #2: cost 310 inf + 0
7.428 * * [simplify]: Extracting #3: cost 507 inf + 1699
7.442 * * [simplify]: Extracting #4: cost 370 inf + 235542
7.480 * * [simplify]: Extracting #5: cost 33 inf + 741482
7.527 * * [simplify]: Extracting #6: cost 0 inf + 796563
7.577 * * [simplify]: Extracting #7: cost 0 inf + 796003
7.644 * [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.644 * [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.644 * * * * [progress]: [ 6 / 16 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))>
7.644 * * * * [progress]: [ 7 / 16 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))>
7.644 * * * * [progress]: [ 8 / 16 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))>
7.644 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
7.644 * * [simplify]: iters left: 4 (9 enodes)
7.647 * * [simplify]: iters left: 3 (21 enodes)
7.650 * * [simplify]: iters left: 2 (27 enodes)
7.655 * * [simplify]: iters left: 1 (28 enodes)
7.659 * * [simplify]: Extracting #0: cost 1 inf + 0
7.659 * * [simplify]: Extracting #1: cost 3 inf + 0
7.659 * * [simplify]: Extracting #2: cost 4 inf + 1
7.659 * * [simplify]: Extracting #3: cost 10 inf + 1
7.659 * * [simplify]: Extracting #4: cost 1 inf + 738
7.659 * * [simplify]: Extracting #5: cost 0 inf + 1302
7.659 * [simplify]: Simplified to (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))
7.659 * [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.660 * [simplify]: Simplifying (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
7.660 * * [simplify]: iters left: 4 (9 enodes)
7.662 * * [simplify]: iters left: 3 (27 enodes)
7.666 * * [simplify]: iters left: 2 (47 enodes)
7.675 * * [simplify]: iters left: 1 (123 enodes)
7.726 * * [simplify]: Extracting #0: cost 1 inf + 0
7.726 * * [simplify]: Extracting #1: cost 15 inf + 0
7.726 * * [simplify]: Extracting #2: cost 53 inf + 1
7.727 * * [simplify]: Extracting #3: cost 87 inf + 1044
7.728 * * [simplify]: Extracting #4: cost 139 inf + 5657
7.729 * * [simplify]: Extracting #5: cost 115 inf + 19521
7.735 * * [simplify]: Extracting #6: cost 57 inf + 79064
7.743 * * [simplify]: Extracting #7: cost 8 inf + 157140
7.753 * * [simplify]: Extracting #8: cost 0 inf + 176132
7.762 * [simplify]: Simplified to (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) a)
7.762 * [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.763 * * * * [progress]: [ 9 / 16 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (neg.p16 (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))>
7.763 * * * * [progress]: [ 10 / 16 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a))) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))>
7.763 * * * * [progress]: [ 11 / 16 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 c))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))>
7.763 * * * * [progress]: [ 12 / 16 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))>
7.763 * * * * [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.763 * [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.763 * * [simplify]: iters left: 6 (16 enodes)
7.768 * * [simplify]: iters left: 5 (62 enodes)
7.781 * * [simplify]: iters left: 4 (229 enodes)
7.892 * * [simplify]: Extracting #0: cost 1 inf + 0
7.892 * * [simplify]: Extracting #1: cost 59 inf + 0
7.894 * * [simplify]: Extracting #2: cost 276 inf + 0
7.901 * * [simplify]: Extracting #3: cost 431 inf + 809
7.917 * * [simplify]: Extracting #4: cost 315 inf + 215074
7.978 * * [simplify]: Extracting #5: cost 47 inf + 641310
8.035 * * [simplify]: Extracting #6: cost 3 inf + 707919
8.114 * * [simplify]: Extracting #7: cost 0 inf + 715051
8.167 * [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.168 * [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.168 * * * * [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.168 * [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.168 * * [simplify]: iters left: 6 (16 enodes)
8.177 * * [simplify]: iters left: 5 (62 enodes)
8.204 * * [simplify]: iters left: 4 (229 enodes)
8.381 * * [simplify]: Extracting #0: cost 1 inf + 0
8.382 * * [simplify]: Extracting #1: cost 59 inf + 0
8.382 * * [simplify]: Extracting #2: cost 276 inf + 0
8.384 * * [simplify]: Extracting #3: cost 431 inf + 809
8.393 * * [simplify]: Extracting #4: cost 315 inf + 215074
8.448 * * [simplify]: Extracting #5: cost 47 inf + 641310
8.877 * * [simplify]: Extracting #6: cost 3 inf + 707919
8.953 * * [simplify]: Extracting #7: cost 0 inf + 715051
9.020 * [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.020 * [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.020 * * * * [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))))>
9.021 * [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.021 * * [simplify]: iters left: 6 (16 enodes)
9.025 * * [simplify]: iters left: 5 (62 enodes)
9.037 * * [simplify]: iters left: 4 (229 enodes)
9.159 * * [simplify]: Extracting #0: cost 1 inf + 0
9.159 * * [simplify]: Extracting #1: cost 59 inf + 0
9.163 * * [simplify]: Extracting #2: cost 276 inf + 0
9.164 * * [simplify]: Extracting #3: cost 431 inf + 809
9.173 * * [simplify]: Extracting #4: cost 315 inf + 215074
9.219 * * [simplify]: Extracting #5: cost 47 inf + 641310
9.264 * * [simplify]: Extracting #6: cost 3 inf + 707919
9.332 * * [simplify]: Extracting #7: cost 0 inf + 715051
9.390 * [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.391 * [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.391 * * * * [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.391 * [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.391 * * [simplify]: iters left: 6 (16 enodes)
9.395 * * [simplify]: iters left: 5 (62 enodes)
9.408 * * [simplify]: iters left: 4 (229 enodes)
9.548 * * [simplify]: Extracting #0: cost 1 inf + 0
9.549 * * [simplify]: Extracting #1: cost 59 inf + 0
9.550 * * [simplify]: Extracting #2: cost 276 inf + 0
9.552 * * [simplify]: Extracting #3: cost 431 inf + 809
9.565 * * [simplify]: Extracting #4: cost 315 inf + 215074
9.609 * * [simplify]: Extracting #5: cost 47 inf + 641310
9.672 * * [simplify]: Extracting #6: cost 3 inf + 707919
9.714 * * [simplify]: Extracting #7: cost 0 inf + 715051
9.757 * [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.757 * [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.757 * * * [progress]: adding candidates to table
10.154 * * [progress]: iteration 3 / 4
10.154 * * * [progress]: picking best candidate
10.224 * * * * [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)))))>
10.224 * * * [progress]: localizing error
10.629 * * * [progress]: generating rewritten candidates
10.629 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
10.637 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2)
10.659 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 2)
10.662 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2)
10.686 * * * [progress]: generating series expansions
10.686 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
10.686 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2)
10.686 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 2)
10.686 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2)
10.686 * * * [progress]: simplifying candidates
10.686 * * * * [progress]: [ 1 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (real->posit16 2))))>
10.686 * [simplify]: Simplifying (real->posit16 2)
10.687 * * [simplify]: iters left: 1 (2 enodes)
10.688 * * [simplify]: Extracting #0: cost 1 inf + 0
10.688 * * [simplify]: Extracting #1: cost 2 inf + 0
10.688 * * [simplify]: Extracting #2: cost 1 inf + 1
10.688 * * [simplify]: Extracting #3: cost 0 inf + 2
10.688 * [simplify]: Simplified to (real->posit16 2)
10.688 * [simplify]: Simplified (2 1 2) to (λ (a b c) (sqrt.p16 (/.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (real->posit16 2))))
10.688 * * * * [progress]: [ 2 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
10.688 * [simplify]: Simplifying (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))
10.688 * * [simplify]: iters left: 6 (14 enodes)
10.691 * * [simplify]: iters left: 5 (49 enodes)
10.701 * * [simplify]: iters left: 4 (169 enodes)
10.805 * * [simplify]: Extracting #0: cost 1 inf + 0
10.805 * * [simplify]: Extracting #1: cost 58 inf + 0
10.806 * * [simplify]: Extracting #2: cost 220 inf + 0
10.808 * * [simplify]: Extracting #3: cost 337 inf + 1337
10.812 * * [simplify]: Extracting #4: cost 337 inf + 21516
10.831 * * [simplify]: Extracting #5: cost 161 inf + 244811
10.874 * * [simplify]: Extracting #6: cost 19 inf + 461933
10.930 * * [simplify]: Extracting #7: cost 0 inf + 499729
10.983 * * [simplify]: Extracting #8: cost 0 inf + 499449
11.038 * [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)))
11.038 * [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)))))
11.038 * * * * [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)))))>
11.038 * [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)))
11.039 * * [simplify]: iters left: 6 (17 enodes)
11.048 * * [simplify]: iters left: 5 (64 enodes)
11.078 * * [simplify]: iters left: 4 (242 enodes)
11.220 * * [simplify]: Extracting #0: cost 1 inf + 0
11.220 * * [simplify]: Extracting #1: cost 73 inf + 0
11.228 * * [simplify]: Extracting #2: cost 376 inf + 0
11.232 * * [simplify]: Extracting #3: cost 565 inf + 5032
11.259 * * [simplify]: Extracting #4: cost 372 inf + 346893
11.316 * * [simplify]: Extracting #5: cost 33 inf + 912212
11.411 * * [simplify]: Extracting #6: cost 0 inf + 974901
11.511 * * [simplify]: Extracting #7: cost 0 inf + 974061
11.569 * [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)))))
11.569 * [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)))))
11.569 * * * * [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)))))>
11.569 * [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))
11.570 * * [simplify]: iters left: 6 (17 enodes)
11.574 * * [simplify]: iters left: 5 (64 enodes)
11.587 * * [simplify]: iters left: 4 (244 enodes)
11.726 * * [simplify]: Extracting #0: cost 1 inf + 0
11.726 * * [simplify]: Extracting #1: cost 76 inf + 0
11.727 * * [simplify]: Extracting #2: cost 392 inf + 0
11.729 * * [simplify]: Extracting #3: cost 598 inf + 3829
11.750 * * [simplify]: Extracting #4: cost 375 inf + 398622
11.826 * * [simplify]: Extracting #5: cost 47 inf + 992277
11.904 * * [simplify]: Extracting #6: cost 0 inf + 1067056
11.969 * * [simplify]: Extracting #7: cost 0 inf + 1066216
12.033 * [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)))
12.033 * [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)))))
12.033 * * * * [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))))))>
12.033 * [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))
12.033 * * [simplify]: iters left: 6 (18 enodes)
12.038 * * [simplify]: iters left: 5 (70 enodes)
12.052 * * [simplify]: iters left: 4 (264 enodes)
12.184 * * [simplify]: Extracting #0: cost 1 inf + 0
12.184 * * [simplify]: Extracting #1: cost 62 inf + 0
12.185 * * [simplify]: Extracting #2: cost 323 inf + 0
12.187 * * [simplify]: Extracting #3: cost 559 inf + 3747
12.202 * * [simplify]: Extracting #4: cost 398 inf + 366962
12.256 * * [simplify]: Extracting #5: cost 61 inf + 992720
12.323 * * [simplify]: Extracting #6: cost 0 inf + 1129703
12.393 * * [simplify]: Extracting #7: cost 0 inf + 1129383
12.464 * [simplify]: Simplified to (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c)) (*.p16 (*.p16 (+.p16 (+.p16 b a) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 a a))) (+.p16 (*.p16 a a) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))))))
12.464 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c)) (*.p16 (*.p16 (+.p16 (+.p16 b a) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 a a))) (+.p16 (*.p16 a a) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))))) (*.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))))))
12.464 * * * * [progress]: [ 6 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (real->posit16 2)))))>
12.465 * [simplify]: Simplifying (/.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))
12.465 * * [simplify]: iters left: 6 (16 enodes)
12.469 * * [simplify]: iters left: 5 (53 enodes)
12.480 * * [simplify]: iters left: 4 (176 enodes)
12.568 * * [simplify]: Extracting #0: cost 1 inf + 0
12.568 * * [simplify]: Extracting #1: cost 38 inf + 0
12.569 * * [simplify]: Extracting #2: cost 221 inf + 0
12.570 * * [simplify]: Extracting #3: cost 343 inf + 1580
12.572 * * [simplify]: Extracting #4: cost 380 inf + 17508
12.584 * * [simplify]: Extracting #5: cost 195 inf + 244388
12.632 * * [simplify]: Extracting #6: cost 28 inf + 500686
12.693 * * [simplify]: Extracting #7: cost 0 inf + 558598
12.754 * [simplify]: Simplified to (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (+.p16 (+.p16 b a) c)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b))
12.754 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (+.p16 (+.p16 b a) c)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)) (/.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (real->posit16 2)))))
12.754 * [simplify]: Simplifying (/.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (real->posit16 2))
12.754 * * [simplify]: iters left: 5 (10 enodes)
12.759 * * [simplify]: iters left: 4 (28 enodes)
12.768 * * [simplify]: iters left: 3 (50 enodes)
12.785 * * [simplify]: iters left: 2 (140 enodes)
12.847 * * [simplify]: iters left: 1 (496 enodes)
13.205 * * [simplify]: Extracting #0: cost 1 inf + 0
13.206 * * [simplify]: Extracting #1: cost 80 inf + 0
13.208 * * [simplify]: Extracting #2: cost 392 inf + 0
13.211 * * [simplify]: Extracting #3: cost 557 inf + 2495
13.217 * * [simplify]: Extracting #4: cost 780 inf + 19212
13.225 * * [simplify]: Extracting #5: cost 832 inf + 46690
13.238 * * [simplify]: Extracting #6: cost 745 inf + 107718
13.279 * * [simplify]: Extracting #7: cost 293 inf + 839375
13.369 * * [simplify]: Extracting #8: cost 9 inf + 1397966
13.474 * * [simplify]: Extracting #9: cost 0 inf + 1349322
13.552 * * [simplify]: Extracting #10: cost 0 inf + 1348322
13.643 * [simplify]: Simplified to (/.p16 (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) c) (real->posit16 2))
13.643 * [simplify]: Simplified (2 1 2) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (+.p16 (+.p16 b a) c)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)) (/.p16 (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) c) (real->posit16 2)))))
13.643 * * * * [progress]: [ 7 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))>
13.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))) (*.p16 a a))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))>
13.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 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))>
13.644 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
13.644 * * [simplify]: iters left: 4 (9 enodes)
13.648 * * [simplify]: iters left: 3 (21 enodes)
13.654 * * [simplify]: iters left: 2 (27 enodes)
13.662 * * [simplify]: iters left: 1 (28 enodes)
13.670 * * [simplify]: Extracting #0: cost 1 inf + 0
13.671 * * [simplify]: Extracting #1: cost 3 inf + 0
13.671 * * [simplify]: Extracting #2: cost 4 inf + 1
13.671 * * [simplify]: Extracting #3: cost 10 inf + 1
13.671 * * [simplify]: Extracting #4: cost 1 inf + 738
13.671 * * [simplify]: Extracting #5: cost 0 inf + 1302
13.671 * [simplify]: Simplified to (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))
13.671 * [simplify]: Simplified (2 1 1 1 1 2 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))
13.672 * [simplify]: Simplifying (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
13.672 * * [simplify]: iters left: 4 (9 enodes)
13.676 * * [simplify]: iters left: 3 (27 enodes)
13.685 * * [simplify]: iters left: 2 (47 enodes)
13.702 * * [simplify]: iters left: 1 (123 enodes)
13.735 * * [simplify]: Extracting #0: cost 1 inf + 0
13.735 * * [simplify]: Extracting #1: cost 15 inf + 0
13.735 * * [simplify]: Extracting #2: cost 53 inf + 1
13.735 * * [simplify]: Extracting #3: cost 87 inf + 1044
13.736 * * [simplify]: Extracting #4: cost 139 inf + 5657
13.737 * * [simplify]: Extracting #5: cost 115 inf + 19521
13.740 * * [simplify]: Extracting #6: cost 57 inf + 79064
13.748 * * [simplify]: Extracting #7: cost 8 inf + 157140
13.759 * * [simplify]: Extracting #8: cost 0 inf + 176132
13.768 * [simplify]: Simplified to (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) a)
13.768 * [simplify]: Simplified (2 1 1 1 1 2 2) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))
13.768 * * * * [progress]: [ 10 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (neg.p16 (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))>
13.769 * * * * [progress]: [ 11 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a))) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))>
13.769 * * * * [progress]: [ 12 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 c))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))>
13.769 * * * * [progress]: [ 13 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))>
13.769 * * * * [progress]: [ 14 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))>
13.769 * [simplify]: Simplifying (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
13.769 * * [simplify]: iters left: 6 (16 enodes)
13.773 * * [simplify]: iters left: 5 (60 enodes)
13.786 * * [simplify]: iters left: 4 (223 enodes)
13.952 * * [simplify]: Extracting #0: cost 1 inf + 0
13.952 * * [simplify]: Extracting #1: cost 62 inf + 0
13.953 * * [simplify]: Extracting #2: cost 310 inf + 0
13.956 * * [simplify]: Extracting #3: cost 507 inf + 1699
13.977 * * [simplify]: Extracting #4: cost 370 inf + 235542
14.018 * * [simplify]: Extracting #5: cost 33 inf + 741482
14.067 * * [simplify]: Extracting #6: cost 0 inf + 796563
14.113 * * [simplify]: Extracting #7: cost 0 inf + 796003
14.161 * [simplify]: Simplified to (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (+.p16 (+.p16 b a) c)) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a))))
14.161 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (+.p16 (+.p16 b a) c)) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))
14.161 * * * * [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)))))>
14.162 * [simplify]: Simplifying (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
14.162 * * [simplify]: iters left: 6 (16 enodes)
14.166 * * [simplify]: iters left: 5 (60 enodes)
14.178 * * [simplify]: iters left: 4 (223 enodes)
14.313 * * [simplify]: Extracting #0: cost 1 inf + 0
14.313 * * [simplify]: Extracting #1: cost 62 inf + 0
14.314 * * [simplify]: Extracting #2: cost 310 inf + 0
14.317 * * [simplify]: Extracting #3: cost 507 inf + 1699
14.337 * * [simplify]: Extracting #4: cost 370 inf + 235542
14.410 * * [simplify]: Extracting #5: cost 33 inf + 741482
14.476 * * [simplify]: Extracting #6: cost 0 inf + 796563
14.536 * * [simplify]: Extracting #7: cost 0 inf + 796003
14.583 * [simplify]: Simplified to (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (+.p16 (+.p16 b a) c)) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a))))
14.583 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (+.p16 (+.p16 b a) c)) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))
14.583 * * * * [progress]: [ 16 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))>
14.583 * [simplify]: Simplifying (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
14.584 * * [simplify]: iters left: 6 (16 enodes)
14.587 * * [simplify]: iters left: 5 (60 enodes)
14.599 * * [simplify]: iters left: 4 (223 enodes)
14.703 * * [simplify]: Extracting #0: cost 1 inf + 0
14.703 * * [simplify]: Extracting #1: cost 62 inf + 0
14.704 * * [simplify]: Extracting #2: cost 310 inf + 0
14.709 * * [simplify]: Extracting #3: cost 507 inf + 1699
14.721 * * [simplify]: Extracting #4: cost 370 inf + 235542
14.759 * * [simplify]: Extracting #5: cost 33 inf + 741482
14.807 * * [simplify]: Extracting #6: cost 0 inf + 796563
14.853 * * [simplify]: Extracting #7: cost 0 inf + 796003
14.901 * [simplify]: Simplified to (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (+.p16 (+.p16 b a) c)) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a))))
14.901 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (+.p16 (+.p16 b a) c)) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))
14.901 * * * * [progress]: [ 17 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))>
14.901 * [simplify]: Simplifying (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
14.901 * * [simplify]: iters left: 6 (16 enodes)
14.906 * * [simplify]: iters left: 5 (60 enodes)
14.923 * * [simplify]: iters left: 4 (223 enodes)
15.088 * * [simplify]: Extracting #0: cost 1 inf + 0
15.088 * * [simplify]: Extracting #1: cost 62 inf + 0
15.089 * * [simplify]: Extracting #2: cost 310 inf + 0
15.091 * * [simplify]: Extracting #3: cost 507 inf + 1699
15.105 * * [simplify]: Extracting #4: cost 370 inf + 235542
15.144 * * [simplify]: Extracting #5: cost 33 inf + 741482
15.200 * * [simplify]: Extracting #6: cost 0 inf + 796563
15.266 * * [simplify]: Extracting #7: cost 0 inf + 796003
15.339 * [simplify]: Simplified to (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (+.p16 (+.p16 b a) c)) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a))))
15.340 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (+.p16 (+.p16 b a) c)) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))
15.340 * * * [progress]: adding candidates to table
15.820 * * [progress]: iteration 4 / 4
15.820 * * * [progress]: picking best candidate
15.890 * * * * [pick]: Picked  #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (real->posit16 2))))>
15.890 * * * [progress]: localizing error
16.153 * * * [progress]: generating rewritten candidates
16.154 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 2)
16.177 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 2)
16.199 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
16.222 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
16.230 * * * [progress]: generating series expansions
16.230 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 2)
16.230 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 2)
16.230 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
16.230 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
16.230 * * * [progress]: simplifying candidates
16.230 * * * * [progress]: [ 1 / 14 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (real->posit16 2))))>
16.230 * * * * [progress]: [ 2 / 14 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (real->posit16 2))))>
16.230 * * * * [progress]: [ 3 / 14 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (real->posit16 2))))>
16.230 * * * * [progress]: [ 4 / 14 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (real->posit16 2))))>
16.230 * * * * [progress]: [ 5 / 14 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 c))) (real->posit16 2))))>
16.230 * * * * [progress]: [ 6 / 14 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))) (real->posit16 2))))>
16.230 * * * * [progress]: [ 7 / 14 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (real->posit16 2) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
16.230 * [simplify]: Simplifying (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))
16.231 * * [simplify]: iters left: 6 (12 enodes)
16.234 * * [simplify]: iters left: 5 (40 enodes)
16.241 * * [simplify]: iters left: 4 (117 enodes)
16.289 * * [simplify]: Extracting #0: cost 1 inf + 0
16.290 * * [simplify]: Extracting #1: cost 45 inf + 0
16.290 * * [simplify]: Extracting #2: cost 164 inf + 0
16.291 * * [simplify]: Extracting #3: cost 241 inf + 1094
16.293 * * [simplify]: Extracting #4: cost 183 inf + 54639
16.305 * * [simplify]: Extracting #5: cost 31 inf + 243256
16.320 * * [simplify]: Extracting #6: cost 5 inf + 280996
16.339 * * [simplify]: Extracting #7: cost 0 inf + 291976
16.358 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 (+.p16 b a) c) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a))
16.358 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (+.p16 (+.p16 b a) c) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)) (/.p16 (real->posit16 2) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))
16.358 * * * * [progress]: [ 8 / 14 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c))) (*.p16 (real->posit16 2) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
16.358 * [simplify]: Simplifying (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)))
16.358 * * [simplify]: iters left: 6 (16 enodes)
16.362 * * [simplify]: iters left: 5 (60 enodes)
16.374 * * [simplify]: iters left: 4 (221 enodes)
16.526 * * [simplify]: Extracting #0: cost 1 inf + 0
16.526 * * [simplify]: Extracting #1: cost 65 inf + 0
16.527 * * [simplify]: Extracting #2: cost 339 inf + 0
16.529 * * [simplify]: Extracting #3: cost 497 inf + 1777
16.543 * * [simplify]: Extracting #4: cost 324 inf + 262964
16.580 * * [simplify]: Extracting #5: cost 32 inf + 700460
16.628 * * [simplify]: Extracting #6: cost 1 inf + 753780
16.717 * * [simplify]: Extracting #7: cost 0 inf + 755984
16.802 * [simplify]: Simplified to (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (*.p16 (*.p16 (+.p16 c (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c))) (+.p16 (+.p16 b a) c))
16.802 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (*.p16 (*.p16 (+.p16 c (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c))) (+.p16 (+.p16 b a) c)) (*.p16 (real->posit16 2) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))
16.802 * * * * [progress]: [ 9 / 14 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (real->posit16 2) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)))))>
16.803 * [simplify]: Simplifying (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
16.803 * * [simplify]: iters left: 6 (16 enodes)
16.812 * * [simplify]: iters left: 5 (60 enodes)
16.842 * * [simplify]: iters left: 4 (225 enodes)
17.004 * * [simplify]: Extracting #0: cost 1 inf + 0
17.004 * * [simplify]: Extracting #1: cost 67 inf + 0
17.005 * * [simplify]: Extracting #2: cost 343 inf + 0
17.008 * * [simplify]: Extracting #3: cost 512 inf + 893
17.030 * * [simplify]: Extracting #4: cost 331 inf + 283769
17.108 * * [simplify]: Extracting #5: cost 28 inf + 752180
17.195 * * [simplify]: Extracting #6: cost 0 inf + 808411
17.288 * * [simplify]: Extracting #7: cost 0 inf + 808171
17.378 * [simplify]: Simplified to (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (+.p16 (+.p16 b a) c) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a))) (+.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)))
17.378 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (+.p16 (+.p16 b a) c) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a))) (+.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b))) (*.p16 (real->posit16 2) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)))))
17.378 * * * * [progress]: [ 10 / 14 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (real->posit16 2) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)))))>
17.379 * [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.379 * * [simplify]: iters left: 6 (16 enodes)
17.387 * * [simplify]: iters left: 5 (60 enodes)
17.414 * * [simplify]: iters left: 4 (223 enodes)
17.595 * * [simplify]: Extracting #0: cost 1 inf + 0
17.595 * * [simplify]: Extracting #1: cost 62 inf + 0
17.597 * * [simplify]: Extracting #2: cost 310 inf + 0
17.600 * * [simplify]: Extracting #3: cost 507 inf + 1699
17.622 * * [simplify]: Extracting #4: cost 370 inf + 235542
17.698 * * [simplify]: Extracting #5: cost 33 inf + 741482
17.778 * * [simplify]: Extracting #6: cost 0 inf + 796563
17.859 * * [simplify]: Extracting #7: cost 0 inf + 796003
17.944 * [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.944 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (+.p16 (+.p16 b a) c)) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)))) (*.p16 (real->posit16 2) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)))))
17.945 * * * * [progress]: [ 11 / 14 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (real->posit16 2))))>
17.945 * [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))
17.945 * * [simplify]: iters left: 6 (14 enodes)
17.951 * * [simplify]: iters left: 5 (51 enodes)
17.969 * * [simplify]: iters left: 4 (171 enodes)
18.129 * * [simplify]: Extracting #0: cost 1 inf + 0
18.129 * * [simplify]: Extracting #1: cost 53 inf + 0
18.130 * * [simplify]: Extracting #2: cost 257 inf + 0
18.131 * * [simplify]: Extracting #3: cost 412 inf + 938
18.139 * * [simplify]: Extracting #4: cost 235 inf + 203438
18.166 * * [simplify]: Extracting #5: cost 22 inf + 506689
18.200 * * [simplify]: Extracting #6: cost 0 inf + 540771
18.231 * [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))
18.231 * [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))))
18.231 * * * * [progress]: [ 12 / 14 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (real->posit16 2))))>
18.231 * [simplify]: Simplifying (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
18.232 * * [simplify]: iters left: 6 (14 enodes)
18.235 * * [simplify]: iters left: 5 (51 enodes)
18.245 * * [simplify]: iters left: 4 (171 enodes)
18.348 * * [simplify]: Extracting #0: cost 1 inf + 0
18.348 * * [simplify]: Extracting #1: cost 53 inf + 0
18.350 * * [simplify]: Extracting #2: cost 257 inf + 0
18.353 * * [simplify]: Extracting #3: cost 412 inf + 938
18.375 * * [simplify]: Extracting #4: cost 235 inf + 203438
18.424 * * [simplify]: Extracting #5: cost 22 inf + 506689
18.485 * * [simplify]: Extracting #6: cost 0 inf + 540771
18.546 * [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))
18.546 * [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))))
18.546 * * * * [progress]: [ 13 / 14 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (real->posit16 2))))>
18.547 * [simplify]: Simplifying (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
18.547 * * [simplify]: iters left: 6 (14 enodes)
18.554 * * [simplify]: iters left: 5 (51 enodes)
18.574 * * [simplify]: iters left: 4 (171 enodes)
18.735 * * [simplify]: Extracting #0: cost 1 inf + 0
18.735 * * [simplify]: Extracting #1: cost 53 inf + 0
18.736 * * [simplify]: Extracting #2: cost 257 inf + 0
18.739 * * [simplify]: Extracting #3: cost 412 inf + 938
18.754 * * [simplify]: Extracting #4: cost 235 inf + 203438
18.803 * * [simplify]: Extracting #5: cost 22 inf + 506689
18.866 * * [simplify]: Extracting #6: cost 0 inf + 540771
18.926 * [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))
18.927 * [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))))
18.927 * * * * [progress]: [ 14 / 14 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (real->posit16 2))))>
18.927 * [simplify]: Simplifying (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
18.927 * * [simplify]: iters left: 6 (14 enodes)
18.934 * * [simplify]: iters left: 5 (51 enodes)
18.954 * * [simplify]: iters left: 4 (171 enodes)
19.122 * * [simplify]: Extracting #0: cost 1 inf + 0
19.123 * * [simplify]: Extracting #1: cost 53 inf + 0
19.124 * * [simplify]: Extracting #2: cost 257 inf + 0
19.127 * * [simplify]: Extracting #3: cost 412 inf + 938
19.143 * * [simplify]: Extracting #4: cost 235 inf + 203438
19.193 * * [simplify]: Extracting #5: cost 22 inf + 506689
19.240 * * [simplify]: Extracting #6: cost 0 inf + 540771
19.275 * [simplify]: Simplified to (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (+.p16 (+.p16 b a) c) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c))
19.275 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (+.p16 (+.p16 b a) c) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c)) (real->posit16 2))))
19.275 * * * [progress]: adding candidates to table
19.977 * [progress]: [Phase 3 of 3] Extracting.
19.977 * * [regime]: Finding splitpoints for: (#<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)))))> #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))> #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.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 a b) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (real->posit16 2) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))> #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c))) (*.p16 (real->posit16 2) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))> #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 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))))))>)
19.993 * * * [regime-changes]: Trying 3 branch expressions: (c b a)
19.993 * * * * [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 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)))))> #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))> #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.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 a b) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (real->posit16 2) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))> #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c))) (*.p16 (real->posit16 2) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))> #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))))))>)
20.234 * * * * [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 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)))))> #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))> #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.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 a b) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (real->posit16 2) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))> #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c))) (*.p16 (real->posit16 2) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))> #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))))))>)
20.478 * * * * [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 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)))))> #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))> #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.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 a b) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (real->posit16 2) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))> #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c))) (*.p16 (real->posit16 2) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))> #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))))))>)
20.719 * * * [regime]: Found split indices: #<option (#s(si 3 256))>
20.719 * [simplify]: Simplifying (sqrt.p16 (/.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (real->posit16 2) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
20.720 * * [simplify]: iters left: 6 (16 enodes)
20.721 * * [simplify]: Extracting #0: cost 1 inf + 0
20.721 * * [simplify]: Extracting #1: cost 2 inf + 0
20.721 * * [simplify]: Extracting #2: cost 4 inf + 0
20.721 * * [simplify]: Extracting #3: cost 8 inf + 0
20.722 * * [simplify]: Extracting #4: cost 14 inf + 0
20.722 * * [simplify]: Extracting #5: cost 13 inf + 3
20.722 * * [simplify]: Extracting #6: cost 11 inf + 5
20.722 * * [simplify]: Extracting #7: cost 8 inf + 654
20.722 * * [simplify]: Extracting #8: cost 2 inf + 5758
20.723 * * [simplify]: Extracting #9: cost 0 inf + 10366
20.724 * [simplify]: Simplified to (sqrt.p16 (/.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (real->posit16 2) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
20.724 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
20.784 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
20.790 * * * * [points]: Setting MPFR precision to 64
20.793 * * * * [points]: Setting MPFR precision to 320
20.795 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
20.802 * * * * [points]: Setting MPFR precision to 64
20.806 * * * * [points]: Setting MPFR precision to 320
20.810 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
20.817 * * * * [points]: Setting MPFR precision to 64
20.825 * * * * [points]: Setting MPFR precision to 320
20.850 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
20.857 * * * * [points]: Setting MPFR precision to 64
20.875 * * * * [points]: Setting MPFR precision to 320
20.891 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
20.898 * * * * [points]: Setting MPFR precision to 64
20.931 * * * * [points]: Setting MPFR precision to 320
20.964 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
20.971 * * * * [points]: Setting MPFR precision to 64
21.036 * * * * [points]: Setting MPFR precision to 320
21.146 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
21.153 * * * * [points]: Setting MPFR precision to 64
21.284 * * * * [points]: Setting MPFR precision to 320
21.467 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
21.474 * * * * [points]: Setting MPFR precision to 64
21.793 * * * * [points]: Setting MPFR precision to 320
22.156 * * * * [points]: Computing exacts for 8000 points
22.162 * * * * [points]: Setting MPFR precision to 64
23.835 * * * * [points]: Setting MPFR precision to 320
24.963 * * * * [points]: Filtering points with unrepresentable outputs
24.971 * * * * [points]: Sampling 6985 additional inputs, on iter 1 have 1015 / 8000
25.025 * * * * [points]: Computing exacts on every 436 of 6985 points to ramp up precision
25.032 * * * * [points]: Setting MPFR precision to 64
25.035 * * * * [points]: Setting MPFR precision to 320
25.037 * * * * [points]: Computing exacts on every 218 of 6985 points to ramp up precision
25.040 * * * * [points]: Setting MPFR precision to 64
25.066 * * * * [points]: Setting MPFR precision to 320
25.069 * * * * [points]: Computing exacts on every 109 of 6985 points to ramp up precision
25.072 * * * * [points]: Setting MPFR precision to 64
25.083 * * * * [points]: Setting MPFR precision to 320
25.092 * * * * [points]: Computing exacts on every 54 of 6985 points to ramp up precision
25.099 * * * * [points]: Setting MPFR precision to 64
25.116 * * * * [points]: Setting MPFR precision to 320
25.133 * * * * [points]: Computing exacts on every 27 of 6985 points to ramp up precision
25.141 * * * * [points]: Setting MPFR precision to 64
25.175 * * * * [points]: Setting MPFR precision to 320
25.208 * * * * [points]: Computing exacts on every 13 of 6985 points to ramp up precision
25.215 * * * * [points]: Setting MPFR precision to 64
25.328 * * * * [points]: Setting MPFR precision to 320
25.393 * * * * [points]: Computing exacts on every 6 of 6985 points to ramp up precision
25.400 * * * * [points]: Setting MPFR precision to 64
25.586 * * * * [points]: Setting MPFR precision to 320
25.721 * * * * [points]: Computing exacts on every 3 of 6985 points to ramp up precision
25.728 * * * * [points]: Setting MPFR precision to 64
26.012 * * * * [points]: Setting MPFR precision to 320
26.303 * * * * [points]: Computing exacts for 6985 points
26.310 * * * * [points]: Setting MPFR precision to 64
27.773 * * * * [points]: Setting MPFR precision to 320
28.966 * * * * [points]: Filtering points with unrepresentable outputs
28.972 * * * * [points]: Sampling 6052 additional inputs, on iter 2 have 1948 / 8000
29.018 * * * * [points]: Computing exacts on every 378 of 6052 points to ramp up precision
29.025 * * * * [points]: Setting MPFR precision to 64
29.026 * * * * [points]: Setting MPFR precision to 320
29.028 * * * * [points]: Computing exacts on every 189 of 6052 points to ramp up precision
29.031 * * * * [points]: Setting MPFR precision to 64
29.034 * * * * [points]: Setting MPFR precision to 320
29.036 * * * * [points]: Computing exacts on every 94 of 6052 points to ramp up precision
29.040 * * * * [points]: Setting MPFR precision to 64
29.045 * * * * [points]: Setting MPFR precision to 320
29.049 * * * * [points]: Computing exacts on every 47 of 6052 points to ramp up precision
29.053 * * * * [points]: Setting MPFR precision to 64
29.063 * * * * [points]: Setting MPFR precision to 320
29.072 * * * * [points]: Computing exacts on every 23 of 6052 points to ramp up precision
29.075 * * * * [points]: Setting MPFR precision to 64
29.133 * * * * [points]: Setting MPFR precision to 320
29.153 * * * * [points]: Computing exacts on every 11 of 6052 points to ramp up precision
29.156 * * * * [points]: Setting MPFR precision to 64
29.193 * * * * [points]: Setting MPFR precision to 320
29.229 * * * * [points]: Computing exacts on every 5 of 6052 points to ramp up precision
29.233 * * * * [points]: Setting MPFR precision to 64
29.335 * * * * [points]: Setting MPFR precision to 320
29.442 * * * * [points]: Computing exacts on every 2 of 6052 points to ramp up precision
29.445 * * * * [points]: Setting MPFR precision to 64
29.674 * * * * [points]: Setting MPFR precision to 320
29.992 * * * * [points]: Computing exacts for 6052 points
29.999 * * * * [points]: Setting MPFR precision to 64
31.033 * * * * [points]: Setting MPFR precision to 320
31.693 * * * * [points]: Filtering points with unrepresentable outputs
31.696 * * * * [points]: Sampling 5260 additional inputs, on iter 3 have 2740 / 8000
31.718 * * * * [points]: Computing exacts on every 328 of 5260 points to ramp up precision
31.724 * * * * [points]: Setting MPFR precision to 64
31.726 * * * * [points]: Setting MPFR precision to 320
31.727 * * * * [points]: Computing exacts on every 164 of 5260 points to ramp up precision
31.730 * * * * [points]: Setting MPFR precision to 64
31.733 * * * * [points]: Setting MPFR precision to 320
31.735 * * * * [points]: Computing exacts on every 82 of 5260 points to ramp up precision
31.739 * * * * [points]: Setting MPFR precision to 64
31.743 * * * * [points]: Setting MPFR precision to 320
31.748 * * * * [points]: Computing exacts on every 41 of 5260 points to ramp up precision
31.751 * * * * [points]: Setting MPFR precision to 64
31.760 * * * * [points]: Setting MPFR precision to 320
31.817 * * * * [points]: Computing exacts on every 20 of 5260 points to ramp up precision
31.824 * * * * [points]: Setting MPFR precision to 64
31.854 * * * * [points]: Setting MPFR precision to 320
31.872 * * * * [points]: Computing exacts on every 10 of 5260 points to ramp up precision
31.876 * * * * [points]: Setting MPFR precision to 64
31.910 * * * * [points]: Setting MPFR precision to 320
31.988 * * * * [points]: Computing exacts on every 5 of 5260 points to ramp up precision
31.994 * * * * [points]: Setting MPFR precision to 64
32.088 * * * * [points]: Setting MPFR precision to 320
32.263 * * * * [points]: Computing exacts on every 2 of 5260 points to ramp up precision
32.270 * * * * [points]: Setting MPFR precision to 64
32.554 * * * * [points]: Setting MPFR precision to 320
32.717 * * * * [points]: Computing exacts for 5260 points
32.720 * * * * [points]: Setting MPFR precision to 64
33.196 * * * * [points]: Setting MPFR precision to 320
34.102 * * * * [points]: Filtering points with unrepresentable outputs
34.106 * * * * [points]: Sampling 4622 additional inputs, on iter 4 have 3378 / 8000
34.125 * * * * [points]: Computing exacts on every 288 of 4622 points to ramp up precision
34.128 * * * * [points]: Setting MPFR precision to 64
34.130 * * * * [points]: Setting MPFR precision to 320
34.131 * * * * [points]: Computing exacts on every 144 of 4622 points to ramp up precision
34.134 * * * * [points]: Setting MPFR precision to 64
34.136 * * * * [points]: Setting MPFR precision to 320
34.139 * * * * [points]: Computing exacts on every 72 of 4622 points to ramp up precision
34.142 * * * * [points]: Setting MPFR precision to 64
34.146 * * * * [points]: Setting MPFR precision to 320
34.151 * * * * [points]: Computing exacts on every 36 of 4622 points to ramp up precision
34.154 * * * * [points]: Setting MPFR precision to 64
34.169 * * * * [points]: Setting MPFR precision to 320
34.179 * * * * [points]: Computing exacts on every 18 of 4622 points to ramp up precision
34.183 * * * * [points]: Setting MPFR precision to 64
34.201 * * * * [points]: Setting MPFR precision to 320
34.243 * * * * [points]: Computing exacts on every 9 of 4622 points to ramp up precision
34.247 * * * * [points]: Setting MPFR precision to 64
34.281 * * * * [points]: Setting MPFR precision to 320
34.314 * * * * [points]: Computing exacts on every 4 of 4622 points to ramp up precision
34.318 * * * * [points]: Setting MPFR precision to 64
34.414 * * * * [points]: Setting MPFR precision to 320
34.480 * * * * [points]: Computing exacts on every 2 of 4622 points to ramp up precision
34.484 * * * * [points]: Setting MPFR precision to 64
34.625 * * * * [points]: Setting MPFR precision to 320
34.771 * * * * [points]: Computing exacts for 4622 points
34.775 * * * * [points]: Setting MPFR precision to 64
35.206 * * * * [points]: Setting MPFR precision to 320
35.807 * * * * [points]: Filtering points with unrepresentable outputs
35.809 * * * * [points]: Sampling 4048 additional inputs, on iter 5 have 3952 / 8000
35.826 * * * * [points]: Computing exacts on every 253 of 4048 points to ramp up precision
35.833 * * * * [points]: Setting MPFR precision to 64
35.835 * * * * [points]: Setting MPFR precision to 320
35.837 * * * * [points]: Computing exacts on every 126 of 4048 points to ramp up precision
35.844 * * * * [points]: Setting MPFR precision to 64
35.848 * * * * [points]: Setting MPFR precision to 320
35.877 * * * * [points]: Computing exacts on every 63 of 4048 points to ramp up precision
35.883 * * * * [points]: Setting MPFR precision to 64
35.895 * * * * [points]: Setting MPFR precision to 320
35.903 * * * * [points]: Computing exacts on every 31 of 4048 points to ramp up precision
35.910 * * * * [points]: Setting MPFR precision to 64
35.924 * * * * [points]: Setting MPFR precision to 320
35.933 * * * * [points]: Computing exacts on every 15 of 4048 points to ramp up precision
35.937 * * * * [points]: Setting MPFR precision to 64
35.960 * * * * [points]: Setting MPFR precision to 320
35.991 * * * * [points]: Computing exacts on every 7 of 4048 points to ramp up precision
35.994 * * * * [points]: Setting MPFR precision to 64
36.055 * * * * [points]: Setting MPFR precision to 320
36.093 * * * * [points]: Computing exacts on every 3 of 4048 points to ramp up precision
36.097 * * * * [points]: Setting MPFR precision to 64
36.203 * * * * [points]: Setting MPFR precision to 320
36.276 * * * * [points]: Computing exacts for 4048 points
36.280 * * * * [points]: Setting MPFR precision to 64
36.970 * * * * [points]: Setting MPFR precision to 320
37.329 * * * * [points]: Filtering points with unrepresentable outputs
37.331 * * * * [points]: Sampling 3556 additional inputs, on iter 6 have 4444 / 8000
37.346 * * * * [points]: Computing exacts on every 222 of 3556 points to ramp up precision
37.350 * * * * [points]: Setting MPFR precision to 64
37.351 * * * * [points]: Setting MPFR precision to 320
37.353 * * * * [points]: Computing exacts on every 111 of 3556 points to ramp up precision
37.385 * * * * [points]: Setting MPFR precision to 64
37.388 * * * * [points]: Setting MPFR precision to 320
37.390 * * * * [points]: Computing exacts on every 55 of 3556 points to ramp up precision
37.395 * * * * [points]: Setting MPFR precision to 64
37.400 * * * * [points]: Setting MPFR precision to 320
37.404 * * * * [points]: Computing exacts on every 27 of 3556 points to ramp up precision
37.408 * * * * [points]: Setting MPFR precision to 64
37.417 * * * * [points]: Setting MPFR precision to 320
37.426 * * * * [points]: Computing exacts on every 13 of 3556 points to ramp up precision
37.429 * * * * [points]: Setting MPFR precision to 64
37.447 * * * * [points]: Setting MPFR precision to 320
37.465 * * * * [points]: Computing exacts on every 6 of 3556 points to ramp up precision
37.468 * * * * [points]: Setting MPFR precision to 64
37.533 * * * * [points]: Setting MPFR precision to 320
37.569 * * * * [points]: Computing exacts on every 3 of 3556 points to ramp up precision
37.572 * * * * [points]: Setting MPFR precision to 64
37.665 * * * * [points]: Setting MPFR precision to 320
37.730 * * * * [points]: Computing exacts for 3556 points
37.734 * * * * [points]: Setting MPFR precision to 64
38.055 * * * * [points]: Setting MPFR precision to 320
38.397 * * * * [points]: Filtering points with unrepresentable outputs
38.399 * * * * [points]: Sampling 3123 additional inputs, on iter 7 have 4877 / 8000
38.412 * * * * [points]: Computing exacts on every 195 of 3123 points to ramp up precision
38.416 * * * * [points]: Setting MPFR precision to 64
38.417 * * * * [points]: Setting MPFR precision to 320
38.418 * * * * [points]: Computing exacts on every 97 of 3123 points to ramp up precision
38.421 * * * * [points]: Setting MPFR precision to 64
38.423 * * * * [points]: Setting MPFR precision to 320
38.426 * * * * [points]: Computing exacts on every 48 of 3123 points to ramp up precision
38.429 * * * * [points]: Setting MPFR precision to 64
38.433 * * * * [points]: Setting MPFR precision to 320
38.438 * * * * [points]: Computing exacts on every 24 of 3123 points to ramp up precision
38.441 * * * * [points]: Setting MPFR precision to 64
38.450 * * * * [points]: Setting MPFR precision to 320
38.459 * * * * [points]: Computing exacts on every 12 of 3123 points to ramp up precision
38.462 * * * * [points]: Setting MPFR precision to 64
38.479 * * * * [points]: Setting MPFR precision to 320
38.521 * * * * [points]: Computing exacts on every 6 of 3123 points to ramp up precision
38.527 * * * * [points]: Setting MPFR precision to 64
38.558 * * * * [points]: Setting MPFR precision to 320
38.588 * * * * [points]: Computing exacts on every 3 of 3123 points to ramp up precision
38.592 * * * * [points]: Setting MPFR precision to 64
38.679 * * * * [points]: Setting MPFR precision to 320
38.731 * * * * [points]: Computing exacts for 3123 points
38.735 * * * * [points]: Setting MPFR precision to 64
39.266 * * * * [points]: Setting MPFR precision to 320
39.540 * * * * [points]: Filtering points with unrepresentable outputs
39.541 * * * * [points]: Sampling 2732 additional inputs, on iter 8 have 5268 / 8000
39.552 * * * * [points]: Computing exacts on every 170 of 2732 points to ramp up precision
39.556 * * * * [points]: Setting MPFR precision to 64
39.557 * * * * [points]: Setting MPFR precision to 320
39.558 * * * * [points]: Computing exacts on every 85 of 2732 points to ramp up precision
39.561 * * * * [points]: Setting MPFR precision to 64
39.563 * * * * [points]: Setting MPFR precision to 320
39.565 * * * * [points]: Computing exacts on every 42 of 2732 points to ramp up precision
39.569 * * * * [points]: Setting MPFR precision to 64
39.573 * * * * [points]: Setting MPFR precision to 320
39.578 * * * * [points]: Computing exacts on every 21 of 2732 points to ramp up precision
39.604 * * * * [points]: Setting MPFR precision to 64
39.615 * * * * [points]: Setting MPFR precision to 320
39.624 * * * * [points]: Computing exacts on every 10 of 2732 points to ramp up precision
39.628 * * * * [points]: Setting MPFR precision to 64
39.645 * * * * [points]: Setting MPFR precision to 320
39.662 * * * * [points]: Computing exacts on every 5 of 2732 points to ramp up precision
39.665 * * * * [points]: Setting MPFR precision to 64
39.696 * * * * [points]: Setting MPFR precision to 320
39.757 * * * * [points]: Computing exacts on every 2 of 2732 points to ramp up precision
39.760 * * * * [points]: Setting MPFR precision to 64
39.822 * * * * [points]: Setting MPFR precision to 320
39.917 * * * * [points]: Computing exacts for 2732 points
39.921 * * * * [points]: Setting MPFR precision to 64
40.168 * * * * [points]: Setting MPFR precision to 320
40.389 * * * * [points]: Filtering points with unrepresentable outputs
40.390 * * * * [points]: Sampling 2349 additional inputs, on iter 9 have 5651 / 8000
40.400 * * * * [points]: Computing exacts on every 146 of 2349 points to ramp up precision
40.403 * * * * [points]: Setting MPFR precision to 64
40.404 * * * * [points]: Setting MPFR precision to 320
40.406 * * * * [points]: Computing exacts on every 73 of 2349 points to ramp up precision
40.409 * * * * [points]: Setting MPFR precision to 64
40.411 * * * * [points]: Setting MPFR precision to 320
40.413 * * * * [points]: Computing exacts on every 36 of 2349 points to ramp up precision
40.440 * * * * [points]: Setting MPFR precision to 64
40.445 * * * * [points]: Setting MPFR precision to 320
40.451 * * * * [points]: Computing exacts on every 18 of 2349 points to ramp up precision
40.454 * * * * [points]: Setting MPFR precision to 64
40.463 * * * * [points]: Setting MPFR precision to 320
40.471 * * * * [points]: Computing exacts on every 9 of 2349 points to ramp up precision
40.475 * * * * [points]: Setting MPFR precision to 64
40.491 * * * * [points]: Setting MPFR precision to 320
40.508 * * * * [points]: Computing exacts on every 4 of 2349 points to ramp up precision
40.511 * * * * [points]: Setting MPFR precision to 64
40.542 * * * * [points]: Setting MPFR precision to 320
40.601 * * * * [points]: Computing exacts on every 2 of 2349 points to ramp up precision
40.605 * * * * [points]: Setting MPFR precision to 64
40.659 * * * * [points]: Setting MPFR precision to 320
40.745 * * * * [points]: Computing exacts for 2349 points
40.749 * * * * [points]: Setting MPFR precision to 64
40.940 * * * * [points]: Setting MPFR precision to 320
41.420 * * * * [points]: Filtering points with unrepresentable outputs
41.421 * * * * [points]: Sampling 2055 additional inputs, on iter 10 have 5945 / 8000
41.429 * * * * [points]: Computing exacts on every 128 of 2055 points to ramp up precision
41.433 * * * * [points]: Setting MPFR precision to 64
41.434 * * * * [points]: Setting MPFR precision to 320
41.435 * * * * [points]: Computing exacts on every 64 of 2055 points to ramp up precision
41.438 * * * * [points]: Setting MPFR precision to 64
41.440 * * * * [points]: Setting MPFR precision to 320
41.442 * * * * [points]: Computing exacts on every 32 of 2055 points to ramp up precision
41.445 * * * * [points]: Setting MPFR precision to 64
41.450 * * * * [points]: Setting MPFR precision to 320
41.454 * * * * [points]: Computing exacts on every 16 of 2055 points to ramp up precision
41.457 * * * * [points]: Setting MPFR precision to 64
41.465 * * * * [points]: Setting MPFR precision to 320
41.474 * * * * [points]: Computing exacts on every 8 of 2055 points to ramp up precision
41.477 * * * * [points]: Setting MPFR precision to 64
41.493 * * * * [points]: Setting MPFR precision to 320
41.534 * * * * [points]: Computing exacts on every 4 of 2055 points to ramp up precision
41.537 * * * * [points]: Setting MPFR precision to 64
41.565 * * * * [points]: Setting MPFR precision to 320
41.593 * * * * [points]: Computing exacts on every 2 of 2055 points to ramp up precision
41.597 * * * * [points]: Setting MPFR precision to 64
41.674 * * * * [points]: Setting MPFR precision to 320
41.722 * * * * [points]: Computing exacts for 2055 points
41.726 * * * * [points]: Setting MPFR precision to 64
41.897 * * * * [points]: Setting MPFR precision to 320
42.104 * * * * [points]: Filtering points with unrepresentable outputs
42.105 * * * * [points]: Sampling 1802 additional inputs, on iter 11 have 6198 / 8000
42.112 * * * * [points]: Computing exacts on every 112 of 1802 points to ramp up precision
42.116 * * * * [points]: Setting MPFR precision to 64
42.117 * * * * [points]: Setting MPFR precision to 320
42.118 * * * * [points]: Computing exacts on every 56 of 1802 points to ramp up precision
42.121 * * * * [points]: Setting MPFR precision to 64
42.123 * * * * [points]: Setting MPFR precision to 320
42.126 * * * * [points]: Computing exacts on every 28 of 1802 points to ramp up precision
42.129 * * * * [points]: Setting MPFR precision to 64
42.133 * * * * [points]: Setting MPFR precision to 320
42.137 * * * * [points]: Computing exacts on every 14 of 1802 points to ramp up precision
42.140 * * * * [points]: Setting MPFR precision to 64
42.149 * * * * [points]: Setting MPFR precision to 320
42.157 * * * * [points]: Computing exacts on every 7 of 1802 points to ramp up precision
42.160 * * * * [points]: Setting MPFR precision to 64
42.175 * * * * [points]: Setting MPFR precision to 320
42.216 * * * * [points]: Computing exacts on every 3 of 1802 points to ramp up precision
42.222 * * * * [points]: Setting MPFR precision to 64
42.252 * * * * [points]: Setting MPFR precision to 320
42.283 * * * * [points]: Computing exacts for 1802 points
42.286 * * * * [points]: Setting MPFR precision to 64
42.439 * * * * [points]: Setting MPFR precision to 320
42.596 * * * * [points]: Filtering points with unrepresentable outputs
42.597 * * * * [points]: Sampling 1572 additional inputs, on iter 12 have 6428 / 8000
42.603 * * * * [points]: Computing exacts on every 98 of 1572 points to ramp up precision
42.634 * * * * [points]: Setting MPFR precision to 64
42.635 * * * * [points]: Setting MPFR precision to 320
42.637 * * * * [points]: Computing exacts on every 49 of 1572 points to ramp up precision
42.640 * * * * [points]: Setting MPFR precision to 64
42.644 * * * * [points]: Setting MPFR precision to 320
42.646 * * * * [points]: Computing exacts on every 24 of 1572 points to ramp up precision
42.649 * * * * [points]: Setting MPFR precision to 64
42.654 * * * * [points]: Setting MPFR precision to 320
42.658 * * * * [points]: Computing exacts on every 12 of 1572 points to ramp up precision
42.661 * * * * [points]: Setting MPFR precision to 64
42.669 * * * * [points]: Setting MPFR precision to 320
42.678 * * * * [points]: Computing exacts on every 6 of 1572 points to ramp up precision
42.681 * * * * [points]: Setting MPFR precision to 64
42.696 * * * * [points]: Setting MPFR precision to 320
42.711 * * * * [points]: Computing exacts on every 3 of 1572 points to ramp up precision
42.715 * * * * [points]: Setting MPFR precision to 64
42.766 * * * * [points]: Setting MPFR precision to 320
42.793 * * * * [points]: Computing exacts for 1572 points
42.796 * * * * [points]: Setting MPFR precision to 64
42.932 * * * * [points]: Setting MPFR precision to 320
43.071 * * * * [points]: Filtering points with unrepresentable outputs
43.072 * * * * [points]: Sampling 1399 additional inputs, on iter 13 have 6601 / 8000
43.078 * * * * [points]: Computing exacts on every 87 of 1399 points to ramp up precision
43.081 * * * * [points]: Setting MPFR precision to 64
43.083 * * * * [points]: Setting MPFR precision to 320
43.084 * * * * [points]: Computing exacts on every 43 of 1399 points to ramp up precision
43.088 * * * * [points]: Setting MPFR precision to 64
43.090 * * * * [points]: Setting MPFR precision to 320
43.092 * * * * [points]: Computing exacts on every 21 of 1399 points to ramp up precision
43.096 * * * * [points]: Setting MPFR precision to 64
43.100 * * * * [points]: Setting MPFR precision to 320
43.105 * * * * [points]: Computing exacts on every 10 of 1399 points to ramp up precision
43.108 * * * * [points]: Setting MPFR precision to 64
43.116 * * * * [points]: Setting MPFR precision to 320
43.125 * * * * [points]: Computing exacts on every 5 of 1399 points to ramp up precision
43.128 * * * * [points]: Setting MPFR precision to 64
43.166 * * * * [points]: Setting MPFR precision to 320
43.182 * * * * [points]: Computing exacts on every 2 of 1399 points to ramp up precision
43.185 * * * * [points]: Setting MPFR precision to 64
43.219 * * * * [points]: Setting MPFR precision to 320
43.250 * * * * [points]: Computing exacts for 1399 points
43.254 * * * * [points]: Setting MPFR precision to 64
43.377 * * * * [points]: Setting MPFR precision to 320
43.505 * * * * [points]: Filtering points with unrepresentable outputs
43.506 * * * * [points]: Sampling 1210 additional inputs, on iter 14 have 6790 / 8000
43.511 * * * * [points]: Computing exacts on every 75 of 1210 points to ramp up precision
43.514 * * * * [points]: Setting MPFR precision to 64
43.515 * * * * [points]: Setting MPFR precision to 320
43.516 * * * * [points]: Computing exacts on every 37 of 1210 points to ramp up precision
43.520 * * * * [points]: Setting MPFR precision to 64
43.522 * * * * [points]: Setting MPFR precision to 320
43.524 * * * * [points]: Computing exacts on every 18 of 1210 points to ramp up precision
43.527 * * * * [points]: Setting MPFR precision to 64
43.531 * * * * [points]: Setting MPFR precision to 320
43.536 * * * * [points]: Computing exacts on every 9 of 1210 points to ramp up precision
43.836 * * * * [points]: Setting MPFR precision to 64
43.844 * * * * [points]: Setting MPFR precision to 320
43.854 * * * * [points]: Computing exacts on every 4 of 1210 points to ramp up precision
43.857 * * * * [points]: Setting MPFR precision to 64
43.873 * * * * [points]: Setting MPFR precision to 320
43.890 * * * * [points]: Computing exacts on every 2 of 1210 points to ramp up precision
43.893 * * * * [points]: Setting MPFR precision to 64
43.919 * * * * [points]: Setting MPFR precision to 320
43.969 * * * * [points]: Computing exacts for 1210 points
43.973 * * * * [points]: Setting MPFR precision to 64
44.056 * * * * [points]: Setting MPFR precision to 320
44.169 * * * * [points]: Filtering points with unrepresentable outputs
44.170 * * * * [points]: Sampling 1024 additional inputs, on iter 15 have 6976 / 8000
44.174 * * * * [points]: Computing exacts on every 64 of 1024 points to ramp up precision
44.177 * * * * [points]: Setting MPFR precision to 64
44.178 * * * * [points]: Setting MPFR precision to 320
44.179 * * * * [points]: Computing exacts on every 32 of 1024 points to ramp up precision
44.183 * * * * [points]: Setting MPFR precision to 64
44.185 * * * * [points]: Setting MPFR precision to 320
44.187 * * * * [points]: Computing exacts on every 16 of 1024 points to ramp up precision
44.190 * * * * [points]: Setting MPFR precision to 64
44.194 * * * * [points]: Setting MPFR precision to 320
44.199 * * * * [points]: Computing exacts on every 8 of 1024 points to ramp up precision
44.203 * * * * [points]: Setting MPFR precision to 64
44.233 * * * * [points]: Setting MPFR precision to 320
44.243 * * * * [points]: Computing exacts on every 4 of 1024 points to ramp up precision
44.246 * * * * [points]: Setting MPFR precision to 64
44.260 * * * * [points]: Setting MPFR precision to 320
44.274 * * * * [points]: Computing exacts on every 2 of 1024 points to ramp up precision
44.277 * * * * [points]: Setting MPFR precision to 64
44.300 * * * * [points]: Setting MPFR precision to 320
44.324 * * * * [points]: Computing exacts for 1024 points
44.327 * * * * [points]: Setting MPFR precision to 64
44.423 * * * * [points]: Setting MPFR precision to 320
44.525 * * * * [points]: Filtering points with unrepresentable outputs
44.526 * * * * [points]: Sampling 893 additional inputs, on iter 16 have 7107 / 8000
44.530 * * * * [points]: Computing exacts on every 55 of 893 points to ramp up precision
44.533 * * * * [points]: Setting MPFR precision to 64
44.534 * * * * [points]: Setting MPFR precision to 320
44.535 * * * * [points]: Computing exacts on every 27 of 893 points to ramp up precision
44.538 * * * * [points]: Setting MPFR precision to 64
44.541 * * * * [points]: Setting MPFR precision to 320
44.543 * * * * [points]: Computing exacts on every 13 of 893 points to ramp up precision
44.546 * * * * [points]: Setting MPFR precision to 64
44.550 * * * * [points]: Setting MPFR precision to 320
44.555 * * * * [points]: Computing exacts on every 6 of 893 points to ramp up precision
44.558 * * * * [points]: Setting MPFR precision to 64
44.568 * * * * [points]: Setting MPFR precision to 320
44.577 * * * * [points]: Computing exacts on every 3 of 893 points to ramp up precision
44.580 * * * * [points]: Setting MPFR precision to 64
44.595 * * * * [points]: Setting MPFR precision to 320
44.633 * * * * [points]: Computing exacts for 893 points
44.638 * * * * [points]: Setting MPFR precision to 64
44.699 * * * * [points]: Setting MPFR precision to 320
44.789 * * * * [points]: Filtering points with unrepresentable outputs
44.790 * * * * [points]: Sampling 789 additional inputs, on iter 17 have 7211 / 8000
44.793 * * * * [points]: Computing exacts on every 49 of 789 points to ramp up precision
44.796 * * * * [points]: Setting MPFR precision to 64
44.798 * * * * [points]: Setting MPFR precision to 320
44.799 * * * * [points]: Computing exacts on every 24 of 789 points to ramp up precision
44.802 * * * * [points]: Setting MPFR precision to 64
44.805 * * * * [points]: Setting MPFR precision to 320
44.807 * * * * [points]: Computing exacts on every 12 of 789 points to ramp up precision
44.811 * * * * [points]: Setting MPFR precision to 64
44.815 * * * * [points]: Setting MPFR precision to 320
44.820 * * * * [points]: Computing exacts on every 6 of 789 points to ramp up precision
44.823 * * * * [points]: Setting MPFR precision to 64
44.831 * * * * [points]: Setting MPFR precision to 320
44.838 * * * * [points]: Computing exacts on every 3 of 789 points to ramp up precision
44.841 * * * * [points]: Setting MPFR precision to 64
44.854 * * * * [points]: Setting MPFR precision to 320
44.892 * * * * [points]: Computing exacts for 789 points
44.896 * * * * [points]: Setting MPFR precision to 64
44.948 * * * * [points]: Setting MPFR precision to 320
45.028 * * * * [points]: Filtering points with unrepresentable outputs
45.028 * * * * [points]: Sampling 690 additional inputs, on iter 18 have 7310 / 8000
45.031 * * * * [points]: Computing exacts on every 43 of 690 points to ramp up precision
45.036 * * * * [points]: Setting MPFR precision to 64
45.037 * * * * [points]: Setting MPFR precision to 320
45.038 * * * * [points]: Computing exacts on every 21 of 690 points to ramp up precision
45.041 * * * * [points]: Setting MPFR precision to 64
45.043 * * * * [points]: Setting MPFR precision to 320
45.045 * * * * [points]: Computing exacts on every 10 of 690 points to ramp up precision
45.048 * * * * [points]: Setting MPFR precision to 64
45.053 * * * * [points]: Setting MPFR precision to 320
45.057 * * * * [points]: Computing exacts on every 5 of 690 points to ramp up precision
45.060 * * * * [points]: Setting MPFR precision to 64
45.067 * * * * [points]: Setting MPFR precision to 320
45.075 * * * * [points]: Computing exacts on every 2 of 690 points to ramp up precision
45.078 * * * * [points]: Setting MPFR precision to 64
45.093 * * * * [points]: Setting MPFR precision to 320
45.108 * * * * [points]: Computing exacts for 690 points
45.111 * * * * [points]: Setting MPFR precision to 64
45.178 * * * * [points]: Setting MPFR precision to 320
45.222 * * * * [points]: Filtering points with unrepresentable outputs
45.223 * * * * [points]: Sampling 611 additional inputs, on iter 19 have 7389 / 8000
45.225 * * * * [points]: Computing exacts on every 38 of 611 points to ramp up precision
45.228 * * * * [points]: Setting MPFR precision to 64
45.229 * * * * [points]: Setting MPFR precision to 320
45.230 * * * * [points]: Computing exacts on every 19 of 611 points to ramp up precision
45.234 * * * * [points]: Setting MPFR precision to 64
45.236 * * * * [points]: Setting MPFR precision to 320
45.238 * * * * [points]: Computing exacts on every 9 of 611 points to ramp up precision
45.266 * * * * [points]: Setting MPFR precision to 64
45.271 * * * * [points]: Setting MPFR precision to 320
45.276 * * * * [points]: Computing exacts on every 4 of 611 points to ramp up precision
45.279 * * * * [points]: Setting MPFR precision to 64
45.287 * * * * [points]: Setting MPFR precision to 320
45.295 * * * * [points]: Computing exacts on every 2 of 611 points to ramp up precision
45.298 * * * * [points]: Setting MPFR precision to 64
45.311 * * * * [points]: Setting MPFR precision to 320
45.325 * * * * [points]: Computing exacts for 611 points
45.328 * * * * [points]: Setting MPFR precision to 64
45.392 * * * * [points]: Setting MPFR precision to 320
45.433 * * * * [points]: Filtering points with unrepresentable outputs
45.433 * * * * [points]: Sampling 535 additional inputs, on iter 20 have 7465 / 8000
45.435 * * * * [points]: Computing exacts on every 33 of 535 points to ramp up precision
45.439 * * * * [points]: Setting MPFR precision to 64
45.440 * * * * [points]: Setting MPFR precision to 320
45.441 * * * * [points]: Computing exacts on every 16 of 535 points to ramp up precision
45.444 * * * * [points]: Setting MPFR precision to 64
45.446 * * * * [points]: Setting MPFR precision to 320
45.449 * * * * [points]: Computing exacts on every 8 of 535 points to ramp up precision
45.452 * * * * [points]: Setting MPFR precision to 64
45.455 * * * * [points]: Setting MPFR precision to 320
45.459 * * * * [points]: Computing exacts on every 4 of 535 points to ramp up precision
45.462 * * * * [points]: Setting MPFR precision to 64
45.469 * * * * [points]: Setting MPFR precision to 320
45.476 * * * * [points]: Computing exacts on every 2 of 535 points to ramp up precision
45.479 * * * * [points]: Setting MPFR precision to 64
45.513 * * * * [points]: Setting MPFR precision to 320
45.526 * * * * [points]: Computing exacts for 535 points
45.530 * * * * [points]: Setting MPFR precision to 64
45.565 * * * * [points]: Setting MPFR precision to 320
45.599 * * * * [points]: Filtering points with unrepresentable outputs
45.599 * * * * [points]: Sampling 478 additional inputs, on iter 21 have 7522 / 8000
45.601 * * * * [points]: Computing exacts on every 29 of 478 points to ramp up precision
45.605 * * * * [points]: Setting MPFR precision to 64
45.606 * * * * [points]: Setting MPFR precision to 320
45.607 * * * * [points]: Computing exacts on every 14 of 478 points to ramp up precision
45.637 * * * * [points]: Setting MPFR precision to 64
45.639 * * * * [points]: Setting MPFR precision to 320
45.641 * * * * [points]: Computing exacts on every 7 of 478 points to ramp up precision
45.646 * * * * [points]: Setting MPFR precision to 64
45.650 * * * * [points]: Setting MPFR precision to 320
45.654 * * * * [points]: Computing exacts on every 3 of 478 points to ramp up precision
45.658 * * * * [points]: Setting MPFR precision to 64
45.666 * * * * [points]: Setting MPFR precision to 320
45.673 * * * * [points]: Computing exacts for 478 points
45.677 * * * * [points]: Setting MPFR precision to 64
45.708 * * * * [points]: Setting MPFR precision to 320
45.765 * * * * [points]: Filtering points with unrepresentable outputs
45.765 * * * * [points]: Sampling 420 additional inputs, on iter 22 have 7580 / 8000
45.767 * * * * [points]: Computing exacts on every 26 of 420 points to ramp up precision
45.772 * * * * [points]: Setting MPFR precision to 64
45.773 * * * * [points]: Setting MPFR precision to 320
45.774 * * * * [points]: Computing exacts on every 13 of 420 points to ramp up precision
45.777 * * * * [points]: Setting MPFR precision to 64
45.779 * * * * [points]: Setting MPFR precision to 320
45.781 * * * * [points]: Computing exacts on every 6 of 420 points to ramp up precision
45.784 * * * * [points]: Setting MPFR precision to 64
45.788 * * * * [points]: Setting MPFR precision to 320
45.792 * * * * [points]: Computing exacts on every 3 of 420 points to ramp up precision
45.795 * * * * [points]: Setting MPFR precision to 64
45.802 * * * * [points]: Setting MPFR precision to 320
45.809 * * * * [points]: Computing exacts for 420 points
45.812 * * * * [points]: Setting MPFR precision to 64
45.839 * * * * [points]: Setting MPFR precision to 320
45.891 * * * * [points]: Filtering points with unrepresentable outputs
45.892 * * * * [points]: Sampling 358 additional inputs, on iter 23 have 7642 / 8000
45.893 * * * * [points]: Computing exacts on every 22 of 358 points to ramp up precision
45.896 * * * * [points]: Setting MPFR precision to 64
45.898 * * * * [points]: Setting MPFR precision to 320
45.899 * * * * [points]: Computing exacts on every 11 of 358 points to ramp up precision
45.902 * * * * [points]: Setting MPFR precision to 64
45.904 * * * * [points]: Setting MPFR precision to 320
45.906 * * * * [points]: Computing exacts on every 5 of 358 points to ramp up precision
45.909 * * * * [points]: Setting MPFR precision to 64
45.913 * * * * [points]: Setting MPFR precision to 320
45.916 * * * * [points]: Computing exacts on every 2 of 358 points to ramp up precision
45.919 * * * * [points]: Setting MPFR precision to 64
45.927 * * * * [points]: Setting MPFR precision to 320
45.935 * * * * [points]: Computing exacts for 358 points
45.938 * * * * [points]: Setting MPFR precision to 64
45.961 * * * * [points]: Setting MPFR precision to 320
46.251 * * * * [points]: Filtering points with unrepresentable outputs
46.251 * * * * [points]: Sampling 305 additional inputs, on iter 24 have 7695 / 8000
46.253 * * * * [points]: Computing exacts on every 19 of 305 points to ramp up precision
46.256 * * * * [points]: Setting MPFR precision to 64
46.257 * * * * [points]: Setting MPFR precision to 320
46.258 * * * * [points]: Computing exacts on every 9 of 305 points to ramp up precision
46.261 * * * * [points]: Setting MPFR precision to 64
46.263 * * * * [points]: Setting MPFR precision to 320
46.265 * * * * [points]: Computing exacts on every 4 of 305 points to ramp up precision
46.268 * * * * [points]: Setting MPFR precision to 64
46.272 * * * * [points]: Setting MPFR precision to 320
46.277 * * * * [points]: Computing exacts on every 2 of 305 points to ramp up precision
46.280 * * * * [points]: Setting MPFR precision to 64
46.287 * * * * [points]: Setting MPFR precision to 320
46.293 * * * * [points]: Computing exacts for 305 points
46.296 * * * * [points]: Setting MPFR precision to 64
46.316 * * * * [points]: Setting MPFR precision to 320
46.357 * * * * [points]: Filtering points with unrepresentable outputs
46.357 * * * * [points]: Sampling 270 additional inputs, on iter 25 have 7730 / 8000
46.358 * * * * [points]: Computing exacts on every 16 of 270 points to ramp up precision
46.362 * * * * [points]: Setting MPFR precision to 64
46.364 * * * * [points]: Setting MPFR precision to 320
46.365 * * * * [points]: Computing exacts on every 8 of 270 points to ramp up precision
46.368 * * * * [points]: Setting MPFR precision to 64
46.370 * * * * [points]: Setting MPFR precision to 320
46.372 * * * * [points]: Computing exacts on every 4 of 270 points to ramp up precision
46.375 * * * * [points]: Setting MPFR precision to 64
46.379 * * * * [points]: Setting MPFR precision to 320
46.383 * * * * [points]: Computing exacts on every 2 of 270 points to ramp up precision
46.386 * * * * [points]: Setting MPFR precision to 64
46.392 * * * * [points]: Setting MPFR precision to 320
46.398 * * * * [points]: Computing exacts for 270 points
46.401 * * * * [points]: Setting MPFR precision to 64
46.418 * * * * [points]: Setting MPFR precision to 320
46.435 * * * * [points]: Filtering points with unrepresentable outputs
46.436 * * * * [points]: Sampling 239 additional inputs, on iter 26 have 7761 / 8000
46.437 * * * * [points]: Computing exacts on every 14 of 239 points to ramp up precision
46.440 * * * * [points]: Setting MPFR precision to 64
46.441 * * * * [points]: Setting MPFR precision to 320
46.442 * * * * [points]: Computing exacts on every 7 of 239 points to ramp up precision
46.465 * * * * [points]: Setting MPFR precision to 64
46.467 * * * * [points]: Setting MPFR precision to 320
46.469 * * * * [points]: Computing exacts on every 3 of 239 points to ramp up precision
46.474 * * * * [points]: Setting MPFR precision to 64
46.478 * * * * [points]: Setting MPFR precision to 320
46.482 * * * * [points]: Computing exacts for 239 points
46.485 * * * * [points]: Setting MPFR precision to 64
46.500 * * * * [points]: Setting MPFR precision to 320
46.516 * * * * [points]: Filtering points with unrepresentable outputs
46.516 * * * * [points]: Sampling 215 additional inputs, on iter 27 have 7785 / 8000
46.517 * * * * [points]: Computing exacts on every 13 of 215 points to ramp up precision
46.520 * * * * [points]: Setting MPFR precision to 64
46.521 * * * * [points]: Setting MPFR precision to 320
46.523 * * * * [points]: Computing exacts on every 6 of 215 points to ramp up precision
46.526 * * * * [points]: Setting MPFR precision to 64
46.528 * * * * [points]: Setting MPFR precision to 320
46.530 * * * * [points]: Computing exacts on every 3 of 215 points to ramp up precision
46.533 * * * * [points]: Setting MPFR precision to 64
46.536 * * * * [points]: Setting MPFR precision to 320
46.540 * * * * [points]: Computing exacts for 215 points
46.543 * * * * [points]: Setting MPFR precision to 64
46.577 * * * * [points]: Setting MPFR precision to 320
46.593 * * * * [points]: Filtering points with unrepresentable outputs
46.593 * * * * [points]: Sampling 191 additional inputs, on iter 28 have 7809 / 8000
46.594 * * * * [points]: Computing exacts on every 11 of 191 points to ramp up precision
46.597 * * * * [points]: Setting MPFR precision to 64
46.598 * * * * [points]: Setting MPFR precision to 320
46.599 * * * * [points]: Computing exacts on every 5 of 191 points to ramp up precision
46.602 * * * * [points]: Setting MPFR precision to 64
46.604 * * * * [points]: Setting MPFR precision to 320
46.607 * * * * [points]: Computing exacts on every 2 of 191 points to ramp up precision
46.610 * * * * [points]: Setting MPFR precision to 64
46.614 * * * * [points]: Setting MPFR precision to 320
46.618 * * * * [points]: Computing exacts for 191 points
46.621 * * * * [points]: Setting MPFR precision to 64
46.633 * * * * [points]: Setting MPFR precision to 320
46.646 * * * * [points]: Filtering points with unrepresentable outputs
46.646 * * * * [points]: Sampling 169 additional inputs, on iter 29 have 7831 / 8000
46.647 * * * * [points]: Computing exacts on every 10 of 169 points to ramp up precision
46.650 * * * * [points]: Setting MPFR precision to 64
46.651 * * * * [points]: Setting MPFR precision to 320
46.652 * * * * [points]: Computing exacts on every 5 of 169 points to ramp up precision
46.655 * * * * [points]: Setting MPFR precision to 64
46.657 * * * * [points]: Setting MPFR precision to 320
46.659 * * * * [points]: Computing exacts on every 2 of 169 points to ramp up precision
46.662 * * * * [points]: Setting MPFR precision to 64
46.685 * * * * [points]: Setting MPFR precision to 320
46.689 * * * * [points]: Computing exacts for 169 points
46.694 * * * * [points]: Setting MPFR precision to 64
46.705 * * * * [points]: Setting MPFR precision to 320
46.716 * * * * [points]: Filtering points with unrepresentable outputs
46.717 * * * * [points]: Sampling 146 additional inputs, on iter 30 have 7854 / 8000
46.717 * * * * [points]: Computing exacts on every 9 of 146 points to ramp up precision
46.720 * * * * [points]: Setting MPFR precision to 64
46.721 * * * * [points]: Setting MPFR precision to 320
46.722 * * * * [points]: Computing exacts on every 4 of 146 points to ramp up precision
46.725 * * * * [points]: Setting MPFR precision to 64
46.727 * * * * [points]: Setting MPFR precision to 320
46.729 * * * * [points]: Computing exacts on every 2 of 146 points to ramp up precision
46.732 * * * * [points]: Setting MPFR precision to 64
46.735 * * * * [points]: Setting MPFR precision to 320
46.739 * * * * [points]: Computing exacts for 146 points
46.742 * * * * [points]: Setting MPFR precision to 64
46.751 * * * * [points]: Setting MPFR precision to 320
46.760 * * * * [points]: Filtering points with unrepresentable outputs
46.761 * * * * [points]: Sampling 132 additional inputs, on iter 31 have 7868 / 8000
46.761 * * * * [points]: Computing exacts on every 8 of 132 points to ramp up precision
46.764 * * * * [points]: Setting MPFR precision to 64
46.765 * * * * [points]: Setting MPFR precision to 320
46.766 * * * * [points]: Computing exacts on every 4 of 132 points to ramp up precision
46.769 * * * * [points]: Setting MPFR precision to 64
46.791 * * * * [points]: Setting MPFR precision to 320
46.793 * * * * [points]: Computing exacts on every 2 of 132 points to ramp up precision
46.796 * * * * [points]: Setting MPFR precision to 64
46.799 * * * * [points]: Setting MPFR precision to 320
46.804 * * * * [points]: Computing exacts for 132 points
46.807 * * * * [points]: Setting MPFR precision to 64
46.816 * * * * [points]: Setting MPFR precision to 320
46.825 * * * * [points]: Filtering points with unrepresentable outputs
46.825 * * * * [points]: Sampling 117 additional inputs, on iter 32 have 7883 / 8000
46.825 * * * * [points]: Computing exacts on every 7 of 117 points to ramp up precision
46.828 * * * * [points]: Setting MPFR precision to 64
46.829 * * * * [points]: Setting MPFR precision to 320
46.830 * * * * [points]: Computing exacts on every 3 of 117 points to ramp up precision
46.833 * * * * [points]: Setting MPFR precision to 64
46.835 * * * * [points]: Setting MPFR precision to 320
46.837 * * * * [points]: Computing exacts for 117 points
46.840 * * * * [points]: Setting MPFR precision to 64
46.848 * * * * [points]: Setting MPFR precision to 320
46.855 * * * * [points]: Filtering points with unrepresentable outputs
46.855 * * * * [points]: Sampling 101 additional inputs, on iter 33 have 7899 / 8000
46.856 * * * * [points]: Computing exacts on every 6 of 101 points to ramp up precision
46.859 * * * * [points]: Setting MPFR precision to 64
46.860 * * * * [points]: Setting MPFR precision to 320
46.861 * * * * [points]: Computing exacts on every 3 of 101 points to ramp up precision
46.864 * * * * [points]: Setting MPFR precision to 64
46.866 * * * * [points]: Setting MPFR precision to 320
46.867 * * * * [points]: Computing exacts for 101 points
46.870 * * * * [points]: Setting MPFR precision to 64
46.895 * * * * [points]: Setting MPFR precision to 320
46.902 * * * * [points]: Filtering points with unrepresentable outputs
46.902 * * * * [points]: Sampling 83 additional inputs, on iter 34 have 7917 / 8000
46.903 * * * * [points]: Computing exacts on every 5 of 83 points to ramp up precision
46.908 * * * * [points]: Setting MPFR precision to 64
46.909 * * * * [points]: Setting MPFR precision to 320
46.910 * * * * [points]: Computing exacts on every 2 of 83 points to ramp up precision
46.913 * * * * [points]: Setting MPFR precision to 64
46.915 * * * * [points]: Setting MPFR precision to 320
46.917 * * * * [points]: Computing exacts for 83 points
46.920 * * * * [points]: Setting MPFR precision to 64
46.925 * * * * [points]: Setting MPFR precision to 320
46.930 * * * * [points]: Filtering points with unrepresentable outputs
46.931 * * * * [points]: Sampling 68 additional inputs, on iter 35 have 7932 / 8000
46.931 * * * * [points]: Computing exacts on every 4 of 68 points to ramp up precision
46.934 * * * * [points]: Setting MPFR precision to 64
46.935 * * * * [points]: Setting MPFR precision to 320
46.936 * * * * [points]: Computing exacts on every 2 of 68 points to ramp up precision
46.939 * * * * [points]: Setting MPFR precision to 64
46.940 * * * * [points]: Setting MPFR precision to 320
46.942 * * * * [points]: Computing exacts for 68 points
46.945 * * * * [points]: Setting MPFR precision to 64
46.949 * * * * [points]: Setting MPFR precision to 320
46.954 * * * * [points]: Filtering points with unrepresentable outputs
46.954 * * * * [points]: Sampling 58 additional inputs, on iter 36 have 7942 / 8000
46.954 * * * * [points]: Computing exacts on every 3 of 58 points to ramp up precision
46.957 * * * * [points]: Setting MPFR precision to 64
46.958 * * * * [points]: Setting MPFR precision to 320
46.959 * * * * [points]: Computing exacts for 58 points
46.962 * * * * [points]: Setting MPFR precision to 64
46.966 * * * * [points]: Setting MPFR precision to 320
46.970 * * * * [points]: Filtering points with unrepresentable outputs
46.970 * * * * [points]: Sampling 54 additional inputs, on iter 37 have 7946 / 8000
46.970 * * * * [points]: Computing exacts on every 3 of 54 points to ramp up precision
46.973 * * * * [points]: Setting MPFR precision to 64
46.974 * * * * [points]: Setting MPFR precision to 320
46.975 * * * * [points]: Computing exacts for 54 points
46.978 * * * * [points]: Setting MPFR precision to 64
46.999 * * * * [points]: Setting MPFR precision to 320
47.002 * * * * [points]: Filtering points with unrepresentable outputs
47.003 * * * * [points]: Sampling 48 additional inputs, on iter 38 have 7952 / 8000
47.003 * * * * [points]: Computing exacts on every 3 of 48 points to ramp up precision
47.006 * * * * [points]: Setting MPFR precision to 64
47.007 * * * * [points]: Setting MPFR precision to 320
47.008 * * * * [points]: Computing exacts for 48 points
47.011 * * * * [points]: Setting MPFR precision to 64
47.015 * * * * [points]: Setting MPFR precision to 320
47.018 * * * * [points]: Filtering points with unrepresentable outputs
47.018 * * * * [points]: Sampling 37 additional inputs, on iter 39 have 7963 / 8000
47.018 * * * * [points]: Computing exacts on every 2 of 37 points to ramp up precision
47.021 * * * * [points]: Setting MPFR precision to 64
47.022 * * * * [points]: Setting MPFR precision to 320
47.023 * * * * [points]: Computing exacts for 37 points
47.026 * * * * [points]: Setting MPFR precision to 64
47.028 * * * * [points]: Setting MPFR precision to 320
47.031 * * * * [points]: Filtering points with unrepresentable outputs
47.031 * * * * [points]: Sampling 28 additional inputs, on iter 40 have 7972 / 8000
47.031 * * * * [points]: Computing exacts for 28 points
47.034 * * * * [points]: Setting MPFR precision to 64
47.036 * * * * [points]: Setting MPFR precision to 320
47.038 * * * * [points]: Filtering points with unrepresentable outputs
47.038 * * * * [points]: Sampling 26 additional inputs, on iter 41 have 7974 / 8000
47.038 * * * * [points]: Computing exacts for 26 points
47.041 * * * * [points]: Setting MPFR precision to 64
47.043 * * * * [points]: Setting MPFR precision to 320
47.045 * * * * [points]: Filtering points with unrepresentable outputs
47.045 * * * * [points]: Sampling 20 additional inputs, on iter 42 have 7980 / 8000
47.045 * * * * [points]: Computing exacts for 20 points
47.048 * * * * [points]: Setting MPFR precision to 64
47.049 * * * * [points]: Setting MPFR precision to 320
47.050 * * * * [points]: Filtering points with unrepresentable outputs
47.051 * * * * [points]: Sampling 15 additional inputs, on iter 43 have 7985 / 8000
47.051 * * * * [points]: Computing exacts for 15 points
47.054 * * * * [points]: Setting MPFR precision to 64
47.055 * * * * [points]: Setting MPFR precision to 320
47.056 * * * * [points]: Filtering points with unrepresentable outputs
47.056 * * * * [points]: Sampling 13 additional inputs, on iter 44 have 7987 / 8000
47.056 * * * * [points]: Computing exacts for 13 points
47.059 * * * * [points]: Setting MPFR precision to 64
47.060 * * * * [points]: Setting MPFR precision to 320
47.061 * * * * [points]: Filtering points with unrepresentable outputs
47.061 * * * * [points]: Sampling 12 additional inputs, on iter 45 have 7988 / 8000
47.061 * * * * [points]: Computing exacts for 12 points
47.064 * * * * [points]: Setting MPFR precision to 64
47.065 * * * * [points]: Setting MPFR precision to 320
47.065 * * * * [points]: Filtering points with unrepresentable outputs
47.065 * * * * [points]: Sampling 12 additional inputs, on iter 46 have 7988 / 8000
47.065 * * * * [points]: Computing exacts for 12 points
47.069 * * * * [points]: Setting MPFR precision to 64
47.070 * * * * [points]: Setting MPFR precision to 320
47.070 * * * * [points]: Filtering points with unrepresentable outputs
47.070 * * * * [points]: Sampling 10 additional inputs, on iter 47 have 7990 / 8000
47.070 * * * * [points]: Computing exacts for 10 points
47.089 * * * * [points]: Setting MPFR precision to 64
47.090 * * * * [points]: Setting MPFR precision to 320
47.091 * * * * [points]: Filtering points with unrepresentable outputs
47.091 * * * * [points]: Sampling 10 additional inputs, on iter 48 have 7990 / 8000
47.091 * * * * [points]: Computing exacts for 10 points
47.094 * * * * [points]: Setting MPFR precision to 64
47.095 * * * * [points]: Setting MPFR precision to 320
47.095 * * * * [points]: Filtering points with unrepresentable outputs
47.095 * * * * [points]: Sampling 8 additional inputs, on iter 49 have 7992 / 8000
47.096 * * * * [points]: Computing exacts for 8 points
47.099 * * * * [points]: Setting MPFR precision to 64
47.099 * * * * [points]: Setting MPFR precision to 320
47.100 * * * * [points]: Filtering points with unrepresentable outputs
47.100 * * * * [points]: Sampling 7 additional inputs, on iter 50 have 7993 / 8000
47.100 * * * * [points]: Computing exacts for 7 points
47.103 * * * * [points]: Setting MPFR precision to 64
47.103 * * * * [points]: Setting MPFR precision to 320
47.104 * * * * [points]: Filtering points with unrepresentable outputs
47.104 * * * * [points]: Sampling 6 additional inputs, on iter 51 have 7994 / 8000
47.104 * * * * [points]: Computing exacts for 6 points
47.107 * * * * [points]: Setting MPFR precision to 64
47.108 * * * * [points]: Setting MPFR precision to 320
47.108 * * * * [points]: Filtering points with unrepresentable outputs
47.108 * * * * [points]: Sampling 6 additional inputs, on iter 52 have 7994 / 8000
47.108 * * * * [points]: Computing exacts for 6 points
47.111 * * * * [points]: Setting MPFR precision to 64
47.112 * * * * [points]: Setting MPFR precision to 320
47.112 * * * * [points]: Filtering points with unrepresentable outputs
47.112 * * * * [points]: Sampling 6 additional inputs, on iter 53 have 7994 / 8000
47.112 * * * * [points]: Computing exacts for 6 points
47.116 * * * * [points]: Setting MPFR precision to 64
47.116 * * * * [points]: Setting MPFR precision to 320
47.117 * * * * [points]: Filtering points with unrepresentable outputs
47.117 * * * * [points]: Sampling 6 additional inputs, on iter 54 have 7994 / 8000
47.117 * * * * [points]: Computing exacts for 6 points
47.120 * * * * [points]: Setting MPFR precision to 64
47.120 * * * * [points]: Setting MPFR precision to 320
47.121 * * * * [points]: Filtering points with unrepresentable outputs
47.121 * * * * [points]: Sampling 6 additional inputs, on iter 55 have 7994 / 8000
47.121 * * * * [points]: Computing exacts for 6 points
47.124 * * * * [points]: Setting MPFR precision to 64
47.124 * * * * [points]: Setting MPFR precision to 320
47.125 * * * * [points]: Filtering points with unrepresentable outputs
47.125 * * * * [points]: Sampling 6 additional inputs, on iter 56 have 7994 / 8000
47.125 * * * * [points]: Computing exacts for 6 points
47.128 * * * * [points]: Setting MPFR precision to 64
47.128 * * * * [points]: Setting MPFR precision to 320
47.129 * * * * [points]: Filtering points with unrepresentable outputs
47.129 * * * * [points]: Sampling 6 additional inputs, on iter 57 have 7994 / 8000
47.129 * * * * [points]: Computing exacts for 6 points
47.132 * * * * [points]: Setting MPFR precision to 64
47.132 * * * * [points]: Setting MPFR precision to 320
47.133 * * * * [points]: Filtering points with unrepresentable outputs
47.133 * * * * [points]: Sampling 5 additional inputs, on iter 58 have 7995 / 8000
47.133 * * * * [points]: Computing exacts for 5 points
47.136 * * * * [points]: Setting MPFR precision to 64
47.136 * * * * [points]: Setting MPFR precision to 320
47.137 * * * * [points]: Filtering points with unrepresentable outputs
47.137 * * * * [points]: Sampling 4 additional inputs, on iter 59 have 7997 / 8000
47.137 * * * * [points]: Computing exacts for 4 points
47.140 * * * * [points]: Setting MPFR precision to 64
47.140 * * * * [points]: Setting MPFR precision to 320
47.140 * * * * [points]: Filtering points with unrepresentable outputs
47.140 * * * * [points]: Sampling 4 additional inputs, on iter 60 have 7997 / 8000
47.140 * * * * [points]: Computing exacts for 4 points
47.143 * * * * [points]: Setting MPFR precision to 64
47.144 * * * * [points]: Setting MPFR precision to 320
47.144 * * * * [points]: Filtering points with unrepresentable outputs
47.144 * * * * [points]: Sampling 4 additional inputs, on iter 61 have 7999 / 8000
47.144 * * * * [points]: Computing exacts for 4 points
47.147 * * * * [points]: Setting MPFR precision to 64
47.147 * * * * [points]: Setting MPFR precision to 320
47.148 * * * * [points]: Filtering points with unrepresentable outputs
47.148 * * * * [points]: Sampling 4 additional inputs, on iter 62 have 7999 / 8000
47.148 * * * * [points]: Computing exacts for 4 points
47.151 * * * * [points]: Setting MPFR precision to 64
47.151 * * * * [points]: Setting MPFR precision to 320
47.151 * * * * [points]: Filtering points with unrepresentable outputs
47.151 * * * * [points]: Sampling 4 additional inputs, on iter 63 have 7999 / 8000
47.151 * * * * [points]: Computing exacts for 4 points
47.163 * * * * [points]: Setting MPFR precision to 64
47.164 * * * * [points]: Setting MPFR precision to 320
47.164 * * * * [points]: Filtering points with unrepresentable outputs
47.164 * * * * [points]: Sampled 8000 points with exact outputs
49.439 * [regime-testing]: Baseline error score: 64.0
49.442 * [regime-testing]: Oracle error score: 64.0
49.448 * [regime-testing]: End program error score: 0.15221147432478435