0.002 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.003 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.004 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.009 * * * * [points]: Setting MPFR precision to 64
0.011 * * * * [points]: Setting MPFR precision to 320
0.013 * * * * [points]: Computing exacts on every 8 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 4 of 256 points to ramp up precision
0.031 * * * * [points]: Setting MPFR precision to 64
0.037 * * * * [points]: Setting MPFR precision to 320
0.041 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.045 * * * * [points]: Setting MPFR precision to 64
0.050 * * * * [points]: Setting MPFR precision to 320
0.059 * * * * [points]: Computing exacts for 256 points
0.064 * * * * [points]: Setting MPFR precision to 64
0.093 * * * * [points]: Setting MPFR precision to 320
0.122 * * * * [points]: Filtering points with unrepresentable outputs
0.122 * * * * [points]: Sampling 227 additional inputs, on iter 1 have 29 / 256
0.124 * * * * [points]: Computing exacts on every 14 of 227 points to ramp up precision
0.129 * * * * [points]: Setting MPFR precision to 64
0.131 * * * * [points]: Setting MPFR precision to 320
0.133 * * * * [points]: Computing exacts on every 7 of 227 points to ramp up precision
0.139 * * * * [points]: Setting MPFR precision to 64
0.143 * * * * [points]: Setting MPFR precision to 320
0.146 * * * * [points]: Computing exacts on every 3 of 227 points to ramp up precision
0.177 * * * * [points]: Setting MPFR precision to 64
0.185 * * * * [points]: Setting MPFR precision to 320
0.192 * * * * [points]: Computing exacts for 227 points
0.198 * * * * [points]: Setting MPFR precision to 64
0.223 * * * * [points]: Setting MPFR precision to 320
0.248 * * * * [points]: Filtering points with unrepresentable outputs
0.248 * * * * [points]: Sampling 197 additional inputs, on iter 2 have 59 / 256
0.250 * * * * [points]: Computing exacts on every 12 of 197 points to ramp up precision
0.256 * * * * [points]: Setting MPFR precision to 64
0.258 * * * * [points]: Setting MPFR precision to 320
0.260 * * * * [points]: Computing exacts on every 6 of 197 points to ramp up precision
0.265 * * * * [points]: Setting MPFR precision to 64
0.269 * * * * [points]: Setting MPFR precision to 320
0.272 * * * * [points]: Computing exacts on every 3 of 197 points to ramp up precision
0.279 * * * * [points]: Setting MPFR precision to 64
0.285 * * * * [points]: Setting MPFR precision to 320
0.290 * * * * [points]: Computing exacts for 197 points
0.298 * * * * [points]: Setting MPFR precision to 64
0.320 * * * * [points]: Setting MPFR precision to 320
0.363 * * * * [points]: Filtering points with unrepresentable outputs
0.363 * * * * [points]: Sampling 173 additional inputs, on iter 3 have 83 / 256
0.364 * * * * [points]: Computing exacts on every 10 of 173 points to ramp up precision
0.368 * * * * [points]: Setting MPFR precision to 64
0.369 * * * * [points]: Setting MPFR precision to 320
0.370 * * * * [points]: Computing exacts on every 5 of 173 points to ramp up precision
0.375 * * * * [points]: Setting MPFR precision to 64
0.377 * * * * [points]: Setting MPFR precision to 320
0.379 * * * * [points]: Computing exacts on every 2 of 173 points to ramp up precision
0.383 * * * * [points]: Setting MPFR precision to 64
0.386 * * * * [points]: Setting MPFR precision to 320
0.390 * * * * [points]: Computing exacts for 173 points
0.394 * * * * [points]: Setting MPFR precision to 64
0.409 * * * * [points]: Setting MPFR precision to 320
0.432 * * * * [points]: Filtering points with unrepresentable outputs
0.432 * * * * [points]: Sampling 148 additional inputs, on iter 4 have 108 / 256
0.433 * * * * [points]: Computing exacts on every 9 of 148 points to ramp up precision
0.440 * * * * [points]: Setting MPFR precision to 64
0.442 * * * * [points]: Setting MPFR precision to 320
0.444 * * * * [points]: Computing exacts on every 4 of 148 points to ramp up precision
0.450 * * * * [points]: Setting MPFR precision to 64
0.454 * * * * [points]: Setting MPFR precision to 320
0.458 * * * * [points]: Computing exacts on every 2 of 148 points to ramp up precision
0.465 * * * * [points]: Setting MPFR precision to 64
0.471 * * * * [points]: Setting MPFR precision to 320
0.476 * * * * [points]: Computing exacts for 148 points
0.483 * * * * [points]: Setting MPFR precision to 64
0.532 * * * * [points]: Setting MPFR precision to 320
0.547 * * * * [points]: Filtering points with unrepresentable outputs
0.547 * * * * [points]: Sampling 139 additional inputs, on iter 5 have 117 / 256
0.547 * * * * [points]: Computing exacts on every 8 of 139 points to ramp up precision
0.551 * * * * [points]: Setting MPFR precision to 64
0.552 * * * * [points]: Setting MPFR precision to 320
0.554 * * * * [points]: Computing exacts on every 4 of 139 points to ramp up precision
0.557 * * * * [points]: Setting MPFR precision to 64
0.559 * * * * [points]: Setting MPFR precision to 320
0.561 * * * * [points]: Computing exacts on every 2 of 139 points to ramp up precision
0.564 * * * * [points]: Setting MPFR precision to 64
0.568 * * * * [points]: Setting MPFR precision to 320
0.574 * * * * [points]: Computing exacts for 139 points
0.580 * * * * [points]: Setting MPFR precision to 64
0.597 * * * * [points]: Setting MPFR precision to 320
0.613 * * * * [points]: Filtering points with unrepresentable outputs
0.613 * * * * [points]: Sampling 130 additional inputs, on iter 6 have 126 / 256
0.614 * * * * [points]: Computing exacts on every 8 of 130 points to ramp up precision
0.620 * * * * [points]: Setting MPFR precision to 64
0.622 * * * * [points]: Setting MPFR precision to 320
0.624 * * * * [points]: Computing exacts on every 4 of 130 points to ramp up precision
0.629 * * * * [points]: Setting MPFR precision to 64
0.633 * * * * [points]: Setting MPFR precision to 320
0.636 * * * * [points]: Computing exacts on every 2 of 130 points to ramp up precision
0.642 * * * * [points]: Setting MPFR precision to 64
0.647 * * * * [points]: Setting MPFR precision to 320
0.652 * * * * [points]: Computing exacts for 130 points
0.659 * * * * [points]: Setting MPFR precision to 64
0.701 * * * * [points]: Setting MPFR precision to 320
0.717 * * * * [points]: Filtering points with unrepresentable outputs
0.717 * * * * [points]: Sampling 112 additional inputs, on iter 7 have 144 / 256
0.718 * * * * [points]: Computing exacts on every 7 of 112 points to ramp up precision
0.724 * * * * [points]: Setting MPFR precision to 64
0.726 * * * * [points]: Setting MPFR precision to 320
0.728 * * * * [points]: Computing exacts on every 3 of 112 points to ramp up precision
0.734 * * * * [points]: Setting MPFR precision to 64
0.737 * * * * [points]: Setting MPFR precision to 320
0.740 * * * * [points]: Computing exacts for 112 points
0.747 * * * * [points]: Setting MPFR precision to 64
0.760 * * * * [points]: Setting MPFR precision to 320
0.773 * * * * [points]: Filtering points with unrepresentable outputs
0.773 * * * * [points]: Sampling 99 additional inputs, on iter 8 have 157 / 256
0.774 * * * * [points]: Computing exacts on every 6 of 99 points to ramp up precision
0.780 * * * * [points]: Setting MPFR precision to 64
0.782 * * * * [points]: Setting MPFR precision to 320
0.783 * * * * [points]: Computing exacts on every 3 of 99 points to ramp up precision
0.789 * * * * [points]: Setting MPFR precision to 64
0.792 * * * * [points]: Setting MPFR precision to 320
0.795 * * * * [points]: Computing exacts for 99 points
0.801 * * * * [points]: Setting MPFR precision to 64
0.812 * * * * [points]: Setting MPFR precision to 320
0.824 * * * * [points]: Filtering points with unrepresentable outputs
0.824 * * * * [points]: Sampling 89 additional inputs, on iter 9 have 167 / 256
0.825 * * * * [points]: Computing exacts on every 5 of 89 points to ramp up precision
0.832 * * * * [points]: Setting MPFR precision to 64
0.834 * * * * [points]: Setting MPFR precision to 320
0.836 * * * * [points]: Computing exacts on every 2 of 89 points to ramp up precision
0.842 * * * * [points]: Setting MPFR precision to 64
0.870 * * * * [points]: Setting MPFR precision to 320
0.872 * * * * [points]: Computing exacts for 89 points
0.876 * * * * [points]: Setting MPFR precision to 64
0.884 * * * * [points]: Setting MPFR precision to 320
0.896 * * * * [points]: Filtering points with unrepresentable outputs
0.896 * * * * [points]: Sampling 83 additional inputs, on iter 10 have 173 / 256
0.897 * * * * [points]: Computing exacts on every 5 of 83 points to ramp up precision
0.903 * * * * [points]: Setting MPFR precision to 64
0.905 * * * * [points]: Setting MPFR precision to 320
0.907 * * * * [points]: Computing exacts on every 2 of 83 points to ramp up precision
0.914 * * * * [points]: Setting MPFR precision to 64
0.917 * * * * [points]: Setting MPFR precision to 320
0.921 * * * * [points]: Computing exacts for 83 points
0.927 * * * * [points]: Setting MPFR precision to 64
0.934 * * * * [points]: Setting MPFR precision to 320
0.940 * * * * [points]: Filtering points with unrepresentable outputs
0.940 * * * * [points]: Sampling 74 additional inputs, on iter 11 have 182 / 256
0.940 * * * * [points]: Computing exacts on every 4 of 74 points to ramp up precision
0.944 * * * * [points]: Setting MPFR precision to 64
0.945 * * * * [points]: Setting MPFR precision to 320
0.947 * * * * [points]: Computing exacts on every 2 of 74 points to ramp up precision
0.953 * * * * [points]: Setting MPFR precision to 64
0.955 * * * * [points]: Setting MPFR precision to 320
0.957 * * * * [points]: Computing exacts for 74 points
0.962 * * * * [points]: Setting MPFR precision to 64
0.971 * * * * [points]: Setting MPFR precision to 320
0.981 * * * * [points]: Filtering points with unrepresentable outputs
0.982 * * * * [points]: Sampling 68 additional inputs, on iter 12 have 188 / 256
0.982 * * * * [points]: Computing exacts on every 4 of 68 points to ramp up precision
0.989 * * * * [points]: Setting MPFR precision to 64
0.991 * * * * [points]: Setting MPFR precision to 320
0.992 * * * * [points]: Computing exacts on every 2 of 68 points to ramp up precision
0.997 * * * * [points]: Setting MPFR precision to 64
0.999 * * * * [points]: Setting MPFR precision to 320
1.018 * * * * [points]: Computing exacts for 68 points
1.023 * * * * [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 58 additional inputs, on iter 13 have 198 / 256
1.033 * * * * [points]: Computing exacts on every 3 of 58 points to ramp up precision
1.037 * * * * [points]: Setting MPFR precision to 64
1.038 * * * * [points]: Setting MPFR precision to 320
1.039 * * * * [points]: Computing exacts for 58 points
1.044 * * * * [points]: Setting MPFR precision to 64
1.051 * * * * [points]: Setting MPFR precision to 320
1.058 * * * * [points]: Filtering points with unrepresentable outputs
1.058 * * * * [points]: Sampling 49 additional inputs, on iter 14 have 207 / 256
1.059 * * * * [points]: Computing exacts on every 3 of 49 points to ramp up precision
1.065 * * * * [points]: Setting MPFR precision to 64
1.067 * * * * [points]: Setting MPFR precision to 320
1.069 * * * * [points]: Computing exacts for 49 points
1.075 * * * * [points]: Setting MPFR precision to 64
1.082 * * * * [points]: Setting MPFR precision to 320
1.088 * * * * [points]: Filtering points with unrepresentable outputs
1.088 * * * * [points]: Sampling 42 additional inputs, on iter 15 have 214 / 256
1.088 * * * * [points]: Computing exacts on every 2 of 42 points to ramp up precision
1.095 * * * * [points]: Setting MPFR precision to 64
1.097 * * * * [points]: Setting MPFR precision to 320
1.099 * * * * [points]: Computing exacts for 42 points
1.105 * * * * [points]: Setting MPFR precision to 64
1.111 * * * * [points]: Setting MPFR precision to 320
1.116 * * * * [points]: Filtering points with unrepresentable outputs
1.116 * * * * [points]: Sampling 36 additional inputs, on iter 16 have 220 / 256
1.117 * * * * [points]: Computing exacts on every 2 of 36 points to ramp up precision
1.123 * * * * [points]: Setting MPFR precision to 64
1.125 * * * * [points]: Setting MPFR precision to 320
1.127 * * * * [points]: Computing exacts for 36 points
1.134 * * * * [points]: Setting MPFR precision to 64
1.137 * * * * [points]: Setting MPFR precision to 320
1.139 * * * * [points]: Filtering points with unrepresentable outputs
1.140 * * * * [points]: Sampling 33 additional inputs, on iter 17 have 223 / 256
1.140 * * * * [points]: Computing exacts on every 2 of 33 points to ramp up precision
1.143 * * * * [points]: Setting MPFR precision to 64
1.144 * * * * [points]: Setting MPFR precision to 320
1.145 * * * * [points]: Computing exacts for 33 points
1.165 * * * * [points]: Setting MPFR precision to 64
1.170 * * * * [points]: Setting MPFR precision to 320
1.177 * * * * [points]: Filtering points with unrepresentable outputs
1.177 * * * * [points]: Sampling 31 additional inputs, on iter 18 have 225 / 256
1.177 * * * * [points]: Computing exacts for 31 points
1.184 * * * * [points]: Setting MPFR precision to 64
1.188 * * * * [points]: Setting MPFR precision to 320
1.192 * * * * [points]: Filtering points with unrepresentable outputs
1.192 * * * * [points]: Sampling 24 additional inputs, on iter 19 have 232 / 256
1.192 * * * * [points]: Computing exacts for 24 points
1.199 * * * * [points]: Setting MPFR precision to 64
1.202 * * * * [points]: Setting MPFR precision to 320
1.205 * * * * [points]: Filtering points with unrepresentable outputs
1.205 * * * * [points]: Sampling 20 additional inputs, on iter 20 have 236 / 256
1.205 * * * * [points]: Computing exacts for 20 points
1.212 * * * * [points]: Setting MPFR precision to 64
1.215 * * * * [points]: Setting MPFR precision to 320
1.217 * * * * [points]: Filtering points with unrepresentable outputs
1.217 * * * * [points]: Sampling 19 additional inputs, on iter 21 have 237 / 256
1.218 * * * * [points]: Computing exacts for 19 points
1.224 * * * * [points]: Setting MPFR precision to 64
1.227 * * * * [points]: Setting MPFR precision to 320
1.229 * * * * [points]: Filtering points with unrepresentable outputs
1.229 * * * * [points]: Sampling 17 additional inputs, on iter 22 have 239 / 256
1.229 * * * * [points]: Computing exacts for 17 points
1.236 * * * * [points]: Setting MPFR precision to 64
1.238 * * * * [points]: Setting MPFR precision to 320
1.240 * * * * [points]: Filtering points with unrepresentable outputs
1.240 * * * * [points]: Sampling 15 additional inputs, on iter 23 have 241 / 256
1.240 * * * * [points]: Computing exacts for 15 points
1.247 * * * * [points]: Setting MPFR precision to 64
1.250 * * * * [points]: Setting MPFR precision to 320
1.252 * * * * [points]: Filtering points with unrepresentable outputs
1.252 * * * * [points]: Sampling 14 additional inputs, on iter 24 have 242 / 256
1.252 * * * * [points]: Computing exacts for 14 points
1.259 * * * * [points]: Setting MPFR precision to 64
1.260 * * * * [points]: Setting MPFR precision to 320
1.261 * * * * [points]: Filtering points with unrepresentable outputs
1.261 * * * * [points]: Sampling 13 additional inputs, on iter 25 have 243 / 256
1.261 * * * * [points]: Computing exacts for 13 points
1.265 * * * * [points]: Setting MPFR precision to 64
1.266 * * * * [points]: Setting MPFR precision to 320
1.267 * * * * [points]: Filtering points with unrepresentable outputs
1.267 * * * * [points]: Sampling 11 additional inputs, on iter 26 have 245 / 256
1.267 * * * * [points]: Computing exacts for 11 points
1.270 * * * * [points]: Setting MPFR precision to 64
1.271 * * * * [points]: Setting MPFR precision to 320
1.272 * * * * [points]: Filtering points with unrepresentable outputs
1.272 * * * * [points]: Sampling 10 additional inputs, on iter 27 have 246 / 256
1.272 * * * * [points]: Computing exacts for 10 points
1.276 * * * * [points]: Setting MPFR precision to 64
1.276 * * * * [points]: Setting MPFR precision to 320
1.277 * * * * [points]: Filtering points with unrepresentable outputs
1.277 * * * * [points]: Sampling 7 additional inputs, on iter 28 have 249 / 256
1.277 * * * * [points]: Computing exacts for 7 points
1.281 * * * * [points]: Setting MPFR precision to 64
1.281 * * * * [points]: Setting MPFR precision to 320
1.282 * * * * [points]: Filtering points with unrepresentable outputs
1.282 * * * * [points]: Sampling 4 additional inputs, on iter 29 have 252 / 256
1.282 * * * * [points]: Computing exacts for 4 points
1.285 * * * * [points]: Setting MPFR precision to 64
1.286 * * * * [points]: Setting MPFR precision to 320
1.286 * * * * [points]: Filtering points with unrepresentable outputs
1.286 * * * * [points]: Sampling 4 additional inputs, on iter 30 have 252 / 256
1.286 * * * * [points]: Computing exacts for 4 points
1.308 * * * * [points]: Setting MPFR precision to 64
1.309 * * * * [points]: Setting MPFR precision to 320
1.309 * * * * [points]: Filtering points with unrepresentable outputs
1.309 * * * * [points]: Sampling 4 additional inputs, on iter 31 have 253 / 256
1.309 * * * * [points]: Computing exacts for 4 points
1.312 * * * * [points]: Setting MPFR precision to 64
1.313 * * * * [points]: Setting MPFR precision to 320
1.313 * * * * [points]: Filtering points with unrepresentable outputs
1.313 * * * * [points]: Sampling 4 additional inputs, on iter 32 have 253 / 256
1.313 * * * * [points]: Computing exacts for 4 points
1.316 * * * * [points]: Setting MPFR precision to 64
1.317 * * * * [points]: Setting MPFR precision to 320
1.317 * * * * [points]: Filtering points with unrepresentable outputs
1.317 * * * * [points]: Sampling 4 additional inputs, on iter 33 have 253 / 256
1.317 * * * * [points]: Computing exacts for 4 points
1.321 * * * * [points]: Setting MPFR precision to 64
1.321 * * * * [points]: Setting MPFR precision to 320
1.321 * * * * [points]: Filtering points with unrepresentable outputs
1.321 * * * * [points]: Sampling 4 additional inputs, on iter 34 have 254 / 256
1.321 * * * * [points]: Computing exacts for 4 points
1.325 * * * * [points]: Setting MPFR precision to 64
1.325 * * * * [points]: Setting MPFR precision to 320
1.325 * * * * [points]: Filtering points with unrepresentable outputs
1.325 * * * * [points]: Sampling 4 additional inputs, on iter 35 have 254 / 256
1.325 * * * * [points]: Computing exacts for 4 points
1.329 * * * * [points]: Setting MPFR precision to 64
1.329 * * * * [points]: Setting MPFR precision to 320
1.329 * * * * [points]: Filtering points with unrepresentable outputs
1.330 * * * * [points]: Sampling 4 additional inputs, on iter 36 have 254 / 256
1.330 * * * * [points]: Computing exacts for 4 points
1.335 * * * * [points]: Setting MPFR precision to 64
1.336 * * * * [points]: Setting MPFR precision to 320
1.336 * * * * [points]: Filtering points with unrepresentable outputs
1.336 * * * * [points]: Sampled 256 points with exact outputs
1.336 * * * [progress]: [2/2] Setting up program.
1.357 * [progress]: [Phase 2 of 3] Improving.
1.357 * * * * [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.357 * [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.357 * * [simplify]: iteration 1: (15 enodes)
1.363 * * [simplify]: iteration 2: (54 enodes)
1.379 * * [simplify]: iteration 3: (174 enodes)
1.465 * * [simplify]: iteration 4: (1021 enodes)
3.234 * * [simplify]: Extracting #0: cost 1 inf + 0
3.234 * * [simplify]: Extracting #1: cost 2 inf + 0
3.234 * * [simplify]: Extracting #2: cost 174 inf + 0
3.238 * * [simplify]: Extracting #3: cost 1342 inf + 0
3.263 * * [simplify]: Extracting #4: cost 2271 inf + 691
3.288 * * [simplify]: Extracting #5: cost 2231 inf + 82476
3.365 * * [simplify]: Extracting #6: cost 1375 inf + 1509565
3.634 * * [simplify]: Extracting #7: cost 86 inf + 4121745
3.967 * * [simplify]: Extracting #8: cost 0 inf + 3944289
4.437 * * [simplify]: Extracting #9: cost 0 inf + 3923289
4.804 * [simplify]: Simplified to:
  (sqrt.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) c) (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)))
4.821 * * [progress]: iteration 1 / 4
4.821 * * * [progress]: picking best candidate
4.835 * * * * [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))))>
4.835 * * * [progress]: localizing error
5.096 * * * [progress]: generating rewritten candidates
5.096 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
5.118 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2)
5.152 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
5.175 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
5.218 * * * [progress]: generating series expansions
5.218 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
5.218 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2)
5.218 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
5.218 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
5.218 * * * [progress]: simplifying candidates
5.218 * * * * [progress]: [ 1 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 c)))))>
5.218 * * * * [progress]: [ 2 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 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)))))>
5.218 * * * * [progress]: [ 3 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (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))))>
5.218 * * * * [progress]: [ 4 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (/.p16 (+.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))))>
5.218 * * * * [progress]: [ 5 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
5.218 * * * * [progress]: [ 6 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (/.p16 (+.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))))>
5.218 * * * * [progress]: [ 7 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
5.219 * * * * [progress]: [ 8 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (neg.p16 a) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
5.219 * * * * [progress]: [ 9 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
5.219 * * * * [progress]: [ 10 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
5.219 * * * * [progress]: [ 11 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
5.219 * * * * [progress]: [ 12 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
5.219 * * * * [progress]: [ 13 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
5.219 * * * * [progress]: [ 14 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
5.219 * * * * [progress]: [ 15 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
5.219 * [simplify]: Simplifying:
  (neg.p16 c)
  (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c))
  (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
  (neg.p16 a)
  (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))
  (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
  (neg.p16 b)
  (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))
  (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)
  (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))
  (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 a))
  (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))
  (*.p16 (neg.p16 a) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))
  (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)))
  (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))
  (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))
  (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))
  (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))
  (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))
5.219 * * [simplify]: iteration 1: (32 enodes)
5.227 * * [simplify]: iteration 2: (94 enodes)
5.244 * * [simplify]: iteration 3: (342 enodes)
5.392 * * [simplify]: Extracting #0: cost 14 inf + 0
5.392 * * [simplify]: Extracting #1: cost 137 inf + 0
5.394 * * [simplify]: Extracting #2: cost 399 inf + 84
5.405 * * [simplify]: Extracting #3: cost 450 inf + 144269
5.455 * * [simplify]: Extracting #4: cost 212 inf + 654916
5.558 * * [simplify]: Extracting #5: cost 2 inf + 1009966
5.665 * * [simplify]: Extracting #6: cost 0 inf + 1014334
5.762 * [simplify]: Simplified to:
  (neg.p16 c)
  (*.p16 (+.p16 c (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2))) (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) c))
  (+.p16 c (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)))
  (neg.p16 a)
  (*.p16 (+.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) a))
  (+.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) a)
  (neg.p16 b)
  (*.p16 (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) b) (+.p16 b (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2))))
  (+.p16 b (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)))
  (*.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)))
  (*.p16 (/.p16 (neg.p16 a) (real->posit16 2)) (+.p16 c (+.p16 a b)))
  (*.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)))
  (*.p16 (/.p16 (neg.p16 a) (real->posit16 2)) (+.p16 c (+.p16 a b)))
  (*.p16 (+.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) a) (*.p16 (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) a) (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2))))
  (*.p16 (+.p16 c (+.p16 a b)) (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) a))
  (sqrt.p16 (*.p16 (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) c) (*.p16 (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) a) (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2))))))
  (sqrt.p16 (*.p16 (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) c) (*.p16 (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) a) (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2))))))
  (sqrt.p16 (*.p16 (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) c) (*.p16 (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) a) (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2))))))
  (sqrt.p16 (*.p16 (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) c) (*.p16 (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) a) (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2))))))
5.763 * * * [progress]: adding candidates to table
6.150 * * [progress]: iteration 2 / 4
6.150 * * * [progress]: picking best candidate
6.189 * * * * [pick]: Picked  #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
6.189 * * * [progress]: localizing error
6.629 * * * [progress]: generating rewritten candidates
6.629 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1)
6.697 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
6.718 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 2)
6.721 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2)
6.743 * * * [progress]: generating series expansions
6.743 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1)
6.743 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
6.743 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 2)
6.743 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2)
6.743 * * * [progress]: simplifying candidates
6.743 * * * * [progress]: [ 1 / 14 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
6.743 * * * * [progress]: [ 2 / 14 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a)))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
6.743 * * * * [progress]: [ 3 / 14 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
6.744 * * * * [progress]: [ 4 / 14 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 c)))))>
6.744 * * * * [progress]: [ 5 / 14 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
6.744 * * * * [progress]: [ 6 / 14 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
6.744 * * * * [progress]: [ 7 / 14 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (neg.p16 (*.p16 a a)))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
6.744 * * * * [progress]: [ 8 / 14 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a))) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
6.744 * * * * [progress]: [ 9 / 14 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
6.744 * * * * [progress]: [ 10 / 14 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
6.744 * * * * [progress]: [ 11 / 14 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
6.744 * * * * [progress]: [ 12 / 14 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
6.744 * * * * [progress]: [ 13 / 14 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
6.744 * * * * [progress]: [ 14 / 14 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
6.744 * [simplify]: Simplifying:
  (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)))
  (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)))
  (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2))
  (neg.p16 c)
  (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c))
  (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
  (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
  (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
  (neg.p16 (*.p16 a a))
  (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a)))
  (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))
  (neg.p16 b)
  (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))
  (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)
  (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)))
  (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)))
  (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)))
  (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)))
6.745 * * [simplify]: iteration 1: (30 enodes)
6.751 * * [simplify]: iteration 2: (98 enodes)
6.769 * * [simplify]: iteration 3: (309 enodes)
6.913 * * [simplify]: iteration 4: (1376 enodes)
9.701 * * [simplify]: Extracting #0: cost 15 inf + 0
9.703 * * [simplify]: Extracting #1: cost 430 inf + 0
9.714 * * [simplify]: Extracting #2: cost 2042 inf + 3212
9.736 * * [simplify]: Extracting #3: cost 2796 inf + 18096
9.819 * * [simplify]: Extracting #4: cost 2604 inf + 627892
10.147 * * [simplify]: Extracting #5: cost 918 inf + 4573431
10.753 * * [simplify]: Extracting #6: cost 28 inf + 6329461
11.338 * * [simplify]: Extracting #7: cost 0 inf + 6003144
12.064 * * [simplify]: Extracting #8: cost 0 inf + 5965023
12.675 * * [simplify]: Extracting #9: cost 0 inf + 5964143
13.327 * [simplify]: Simplified to:
  (/.p16 (real->posit16 1.0) (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a))
  (*.p16 (+.p16 a (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))) (+.p16 (*.p16 a a) (*.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)))))
  (*.p16 (real->posit16 2) (+.p16 a (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))))
  (neg.p16 c)
  (*.p16 (+.p16 c (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))) (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) c))
  (+.p16 c (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)))
  (+.p16 a (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)))
  (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a)
  (neg.p16 (*.p16 a a))
  (*.p16 (-.p16 (*.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))) (*.p16 a a)) (+.p16 (*.p16 a a) (*.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)))))
  (+.p16 (*.p16 a a) (*.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))))
  (neg.p16 b)
  (*.p16 (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b) (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b))
  (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b)
  (*.p16 (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a) (*.p16 (+.p16 a (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))) (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))))
  (*.p16 (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a) (*.p16 (+.p16 a (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))) (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))))
  (*.p16 (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a) (*.p16 (+.p16 a (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))) (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))))
  (*.p16 (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a) (*.p16 (+.p16 a (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))) (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))))
13.332 * * * [progress]: adding candidates to table
13.920 * * [progress]: iteration 3 / 4
13.920 * * * [progress]: picking best candidate
14.005 * * * * [pick]: Picked  #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (real->posit16 1.0) (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
14.005 * * * [progress]: localizing error
14.469 * * * [progress]: generating rewritten candidates
14.469 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
14.491 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2 2)
14.507 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
14.532 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
14.545 * * * [progress]: generating series expansions
14.545 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
14.545 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2 2)
14.545 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
14.545 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
14.545 * * * [progress]: simplifying candidates
14.545 * * * * [progress]: [ 1 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (real->posit16 1.0) (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 c)))))>
14.545 * * * * [progress]: [ 2 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (real->posit16 1.0) (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
14.545 * * * * [progress]: [ 3 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (real->posit16 1.0) (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) (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))))>
14.545 * * * * [progress]: [ 4 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (real->posit16 1.0) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))) (*.p16 a a)) (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
14.545 * * * * [progress]: [ 5 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (real->posit16 1.0) (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
14.545 * * * * [progress]: [ 6 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (real->posit16 1.0) (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a))) (/.p16 (-.p16 (*.p16 (/.p16 (+.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))))>
14.546 * * * * [progress]: [ 7 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (real->posit16 1.0) (-.p16 (*.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))) (*.p16 a a)))) (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
14.546 * * * * [progress]: [ 8 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (real->posit16 1.0)) (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
14.546 * * * * [progress]: [ 9 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (*.p16 (/.p16 (real->posit16 1.0) (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a)) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
14.546 * * * * [progress]: [ 10 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (real->posit16 1.0) (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
14.546 * * * * [progress]: [ 11 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (real->posit16 1.0) (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
14.546 * * * * [progress]: [ 12 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (real->posit16 1.0) (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
14.546 * * * * [progress]: [ 13 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (real->posit16 1.0) (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
14.547 * [simplify]: Simplifying:
  (neg.p16 c)
  (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c))
  (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
  (neg.p16 a)
  (-.p16 (*.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))) (*.p16 a a))
  (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a)
  (neg.p16 b)
  (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))
  (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)
  (/.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (real->posit16 1.0) (-.p16 (*.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))) (*.p16 a a))))
  (/.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (real->posit16 1.0))
  (*.p16 (/.p16 (real->posit16 1.0) (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a)) (real->posit16 2))
  (sqrt.p16 (*.p16 (*.p16 (/.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (real->posit16 1.0) (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))
  (sqrt.p16 (*.p16 (*.p16 (/.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (real->posit16 1.0) (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))
  (sqrt.p16 (*.p16 (*.p16 (/.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (real->posit16 1.0) (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))
  (sqrt.p16 (*.p16 (*.p16 (/.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (real->posit16 1.0) (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))
14.547 * * [simplify]: iteration 1: (39 enodes)
14.557 * * [simplify]: iteration 2: (109 enodes)
14.580 * * [simplify]: iteration 3: (468 enodes)
14.965 * * [simplify]: Extracting #0: cost 13 inf + 0
14.966 * * [simplify]: Extracting #1: cost 129 inf + 0
14.968 * * [simplify]: Extracting #2: cost 402 inf + 1208
14.975 * * [simplify]: Extracting #3: cost 628 inf + 12802
14.980 * * [simplify]: Extracting #4: cost 617 inf + 108848
15.012 * * [simplify]: Extracting #5: cost 295 inf + 534261
15.116 * * [simplify]: Extracting #6: cost 35 inf + 973163
15.232 * * [simplify]: Extracting #7: cost 2 inf + 1049662
15.323 * * [simplify]: Extracting #8: cost 0 inf + 1053551
15.400 * * [simplify]: Extracting #9: cost 0 inf + 1053471
15.489 * [simplify]: Simplified to:
  (neg.p16 c)
  (*.p16 (+.p16 c (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) c))
  (+.p16 c (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)))
  (neg.p16 a)
  (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a))
  (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)
  (neg.p16 b)
  (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) b) (+.p16 b (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2))))
  (+.p16 b (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)))
  (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a))
  (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2))
  (/.p16 (real->posit16 2) (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a))
  (sqrt.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) b) (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) c))))
  (sqrt.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) b) (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) c))))
  (sqrt.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) b) (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) c))))
  (sqrt.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) b) (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) c))))
15.490 * * * [progress]: adding candidates to table
16.000 * * [progress]: iteration 4 / 4
16.000 * * * [progress]: picking best candidate
16.100 * * * * [pick]: Picked  #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
16.100 * * * [progress]: localizing error
16.560 * * * [progress]: generating rewritten candidates
16.560 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1)
16.594 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
16.619 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1 2)
16.641 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2)
16.663 * * * [progress]: generating series expansions
16.663 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1)
16.663 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
16.663 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1 2)
16.663 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2)
16.663 * * * [progress]: simplifying candidates
16.663 * * * * [progress]: [ 1 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)) (/.p16 (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a) (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
16.664 * * * * [progress]: [ 2 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2))) (*.p16 a a))) (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)) (*.p16 (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a) (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
16.664 * * * * [progress]: [ 3 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (*.p16 (+.p16 (+.p16 c b) a) (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)) (*.p16 (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
16.664 * * * * [progress]: [ 4 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 c)))))>
16.664 * * * * [progress]: [ 5 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.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)))))>
16.664 * * * * [progress]: [ 6 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) (neg.p16 a))) (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
16.664 * * * * [progress]: [ 7 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2))) (*.p16 a a)) (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a))) (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
16.664 * * * * [progress]: [ 8 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (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))))>
16.664 * * * * [progress]: [ 9 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (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))))>
16.664 * * * * [progress]: [ 10 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
16.664 * * * * [progress]: [ 11 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
16.664 * * * * [progress]: [ 12 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
16.664 * * * * [progress]: [ 13 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
16.664 * [simplify]: Simplifying:
  (/.p16 (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a) (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a))
  (*.p16 (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a) (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a))
  (*.p16 (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a) (real->posit16 2))
  (neg.p16 c)
  (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c))
  (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
  (neg.p16 a)
  (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2))) (*.p16 a a))
  (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)
  (neg.p16 b)
  (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))
  (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)
  (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))
  (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))
  (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))
  (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))
16.665 * * [simplify]: iteration 1: (40 enodes)
16.675 * * [simplify]: iteration 2: (121 enodes)
16.718 * * [simplify]: iteration 3: (533 enodes)
17.169 * * [simplify]: Extracting #0: cost 13 inf + 0
17.169 * * [simplify]: Extracting #1: cost 98 inf + 0
17.172 * * [simplify]: Extracting #2: cost 406 inf + 1127
17.176 * * [simplify]: Extracting #3: cost 702 inf + 10028
17.202 * * [simplify]: Extracting #4: cost 591 inf + 322626
17.278 * * [simplify]: Extracting #5: cost 61 inf + 1111423
17.385 * * [simplify]: Extracting #6: cost 0 inf + 1201545
17.493 * [simplify]: Simplified to:
  (/.p16 (+.p16 a (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))) (+.p16 a (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))))
  (*.p16 (+.p16 a (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))) (+.p16 a (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))))
  (*.p16 (real->posit16 2) (+.p16 a (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))))
  (neg.p16 c)
  (*.p16 (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) c) (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) c))
  (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) c)
  (neg.p16 a)
  (*.p16 (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a) (+.p16 a (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))))
  (+.p16 a (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)))
  (neg.p16 b)
  (*.p16 (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b) (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b))
  (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b)
  (sqrt.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) c) (*.p16 (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a) (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)))) (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b)))
  (sqrt.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) c) (*.p16 (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a) (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)))) (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b)))
  (sqrt.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) c) (*.p16 (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a) (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)))) (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b)))
  (sqrt.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) c) (*.p16 (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a) (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)))) (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b)))
17.497 * * * [progress]: adding candidates to table
18.041 * [progress]: [Phase 3 of 3] Extracting.
18.042 * * [regime]: Finding splitpoints for: (#<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) (/.p16 (*.p16 (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a) (+.p16 a (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)))) (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a))) (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a)))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.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))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a))) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>)
18.048 * * * [regime-changes]: Trying 3 branch expressions: (c b a)
18.048 * * * * [regimes]: Trying to branch on c from (#<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) (/.p16 (*.p16 (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a) (+.p16 a (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)))) (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a))) (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a)))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.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))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a))) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>)
18.199 * * * * [regimes]: Trying to branch on b from (#<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) (/.p16 (*.p16 (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a) (+.p16 a (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)))) (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a))) (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a)))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.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))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a))) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>)
18.423 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) (/.p16 (*.p16 (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a) (+.p16 a (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)))) (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a))) (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a)))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.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))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a))) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>)
18.603 * * * [regime]: Found split indices: #<option (#s(si 0 256))>
18.603 * [simplify]: Simplifying:
  (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) (/.p16 (*.p16 (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a) (+.p16 a (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)))) (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a))) (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))
18.603 * * [simplify]: iteration 1: (27 enodes)
18.605 * * [simplify]: Extracting #0: cost 1 inf + 0
18.605 * * [simplify]: Extracting #1: cost 2 inf + 0
18.605 * * [simplify]: Extracting #2: cost 4 inf + 0
18.605 * * [simplify]: Extracting #3: cost 8 inf + 0
18.605 * * [simplify]: Extracting #4: cost 12 inf + 1
18.605 * * [simplify]: Extracting #5: cost 17 inf + 2
18.605 * * [simplify]: Extracting #6: cost 18 inf + 4
18.605 * * [simplify]: Extracting #7: cost 18 inf + 130
18.605 * * [simplify]: Extracting #8: cost 14 inf + 1990
18.606 * * [simplify]: Extracting #9: cost 7 inf + 6378
18.606 * * [simplify]: Extracting #10: cost 4 inf + 13110
18.607 * * [simplify]: Extracting #11: cost 3 inf + 16154
18.607 * * [simplify]: Extracting #12: cost 1 inf + 24482
18.608 * * [simplify]: Extracting #13: cost 0 inf + 28886
18.609 * [simplify]: Simplified to:
  (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) (/.p16 (*.p16 (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a) (+.p16 a (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)))) (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a))) (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))
18.609 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
18.658 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
18.665 * * * * [points]: Setting MPFR precision to 64
18.667 * * * * [points]: Setting MPFR precision to 320
18.669 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
18.676 * * * * [points]: Setting MPFR precision to 64
18.680 * * * * [points]: Setting MPFR precision to 320
18.684 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
18.691 * * * * [points]: Setting MPFR precision to 64
18.695 * * * * [points]: Setting MPFR precision to 320
18.700 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
18.704 * * * * [points]: Setting MPFR precision to 64
18.728 * * * * [points]: Setting MPFR precision to 320
18.743 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
18.751 * * * * [points]: Setting MPFR precision to 64
18.782 * * * * [points]: Setting MPFR precision to 320
18.815 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
18.823 * * * * [points]: Setting MPFR precision to 64
18.881 * * * * [points]: Setting MPFR precision to 320
18.953 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
18.960 * * * * [points]: Setting MPFR precision to 64
19.067 * * * * [points]: Setting MPFR precision to 320
19.213 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
19.220 * * * * [points]: Setting MPFR precision to 64
19.495 * * * * [points]: Setting MPFR precision to 320
20.290 * * * * [points]: Computing exacts for 8000 points
20.302 * * * * [points]: Setting MPFR precision to 64
21.134 * * * * [points]: Setting MPFR precision to 320
22.321 * * * * [points]: Filtering points with unrepresentable outputs
22.329 * * * * [points]: Sampling 6996 additional inputs, on iter 1 have 1004 / 8000
22.385 * * * * [points]: Computing exacts on every 437 of 6996 points to ramp up precision
22.392 * * * * [points]: Setting MPFR precision to 64
22.394 * * * * [points]: Setting MPFR precision to 320
22.396 * * * * [points]: Computing exacts on every 218 of 6996 points to ramp up precision
22.403 * * * * [points]: Setting MPFR precision to 64
22.407 * * * * [points]: Setting MPFR precision to 320
22.411 * * * * [points]: Computing exacts on every 109 of 6996 points to ramp up precision
22.420 * * * * [points]: Setting MPFR precision to 64
22.459 * * * * [points]: Setting MPFR precision to 320
22.469 * * * * [points]: Computing exacts on every 54 of 6996 points to ramp up precision
22.477 * * * * [points]: Setting MPFR precision to 64
22.494 * * * * [points]: Setting MPFR precision to 320
22.511 * * * * [points]: Computing exacts on every 27 of 6996 points to ramp up precision
22.518 * * * * [points]: Setting MPFR precision to 64
22.551 * * * * [points]: Setting MPFR precision to 320
22.582 * * * * [points]: Computing exacts on every 13 of 6996 points to ramp up precision
22.589 * * * * [points]: Setting MPFR precision to 64
22.700 * * * * [points]: Setting MPFR precision to 320
22.765 * * * * [points]: Computing exacts on every 6 of 6996 points to ramp up precision
22.769 * * * * [points]: Setting MPFR precision to 64
22.881 * * * * [points]: Setting MPFR precision to 320
23.018 * * * * [points]: Computing exacts on every 3 of 6996 points to ramp up precision
23.026 * * * * [points]: Setting MPFR precision to 64
23.279 * * * * [points]: Setting MPFR precision to 320
23.982 * * * * [points]: Computing exacts for 6996 points
23.991 * * * * [points]: Setting MPFR precision to 64
25.126 * * * * [points]: Setting MPFR precision to 320
25.978 * * * * [points]: Filtering points with unrepresentable outputs
25.984 * * * * [points]: Sampling 6121 additional inputs, on iter 2 have 1879 / 8000
26.075 * * * * [points]: Computing exacts on every 382 of 6121 points to ramp up precision
26.083 * * * * [points]: Setting MPFR precision to 64
26.086 * * * * [points]: Setting MPFR precision to 320
26.088 * * * * [points]: Computing exacts on every 191 of 6121 points to ramp up precision
26.095 * * * * [points]: Setting MPFR precision to 64
26.099 * * * * [points]: Setting MPFR precision to 320
26.103 * * * * [points]: Computing exacts on every 95 of 6121 points to ramp up precision
26.111 * * * * [points]: Setting MPFR precision to 64
26.119 * * * * [points]: Setting MPFR precision to 320
26.126 * * * * [points]: Computing exacts on every 47 of 6121 points to ramp up precision
26.133 * * * * [points]: Setting MPFR precision to 64
26.150 * * * * [points]: Setting MPFR precision to 320
26.167 * * * * [points]: Computing exacts on every 23 of 6121 points to ramp up precision
26.174 * * * * [points]: Setting MPFR precision to 64
26.206 * * * * [points]: Setting MPFR precision to 320
26.237 * * * * [points]: Computing exacts on every 11 of 6121 points to ramp up precision
26.278 * * * * [points]: Setting MPFR precision to 64
26.346 * * * * [points]: Setting MPFR precision to 320
26.408 * * * * [points]: Computing exacts on every 5 of 6121 points to ramp up precision
26.415 * * * * [points]: Setting MPFR precision to 64
26.592 * * * * [points]: Setting MPFR precision to 320
26.717 * * * * [points]: Computing exacts on every 2 of 6121 points to ramp up precision
26.774 * * * * [points]: Setting MPFR precision to 64
27.090 * * * * [points]: Setting MPFR precision to 320
27.850 * * * * [points]: Computing exacts for 6121 points
27.858 * * * * [points]: Setting MPFR precision to 64
28.676 * * * * [points]: Setting MPFR precision to 320
29.249 * * * * [points]: Filtering points with unrepresentable outputs
29.252 * * * * [points]: Sampling 5341 additional inputs, on iter 3 have 2659 / 8000
29.277 * * * * [points]: Computing exacts on every 333 of 5341 points to ramp up precision
29.281 * * * * [points]: Setting MPFR precision to 64
29.283 * * * * [points]: Setting MPFR precision to 320
29.284 * * * * [points]: Computing exacts on every 166 of 5341 points to ramp up precision
29.288 * * * * [points]: Setting MPFR precision to 64
29.290 * * * * [points]: Setting MPFR precision to 320
29.292 * * * * [points]: Computing exacts on every 83 of 5341 points to ramp up precision
29.296 * * * * [points]: Setting MPFR precision to 64
29.300 * * * * [points]: Setting MPFR precision to 320
29.305 * * * * [points]: Computing exacts on every 41 of 5341 points to ramp up precision
29.309 * * * * [points]: Setting MPFR precision to 64
29.318 * * * * [points]: Setting MPFR precision to 320
29.352 * * * * [points]: Computing exacts on every 20 of 5341 points to ramp up precision
29.356 * * * * [points]: Setting MPFR precision to 64
29.376 * * * * [points]: Setting MPFR precision to 320
29.394 * * * * [points]: Computing exacts on every 10 of 5341 points to ramp up precision
29.399 * * * * [points]: Setting MPFR precision to 64
29.433 * * * * [points]: Setting MPFR precision to 320
29.500 * * * * [points]: Computing exacts on every 5 of 5341 points to ramp up precision
29.504 * * * * [points]: Setting MPFR precision to 64
29.568 * * * * [points]: Setting MPFR precision to 320
29.665 * * * * [points]: Computing exacts on every 2 of 5341 points to ramp up precision
29.669 * * * * [points]: Setting MPFR precision to 64
29.826 * * * * [points]: Setting MPFR precision to 320
29.988 * * * * [points]: Computing exacts for 5341 points
29.992 * * * * [points]: Setting MPFR precision to 64
30.979 * * * * [points]: Setting MPFR precision to 320
31.869 * * * * [points]: Filtering points with unrepresentable outputs
31.875 * * * * [points]: Sampling 4693 additional inputs, on iter 4 have 3307 / 8000
31.911 * * * * [points]: Computing exacts on every 293 of 4693 points to ramp up precision
31.917 * * * * [points]: Setting MPFR precision to 64
31.919 * * * * [points]: Setting MPFR precision to 320
31.920 * * * * [points]: Computing exacts on every 146 of 4693 points to ramp up precision
31.924 * * * * [points]: Setting MPFR precision to 64
31.926 * * * * [points]: Setting MPFR precision to 320
31.929 * * * * [points]: Computing exacts on every 73 of 4693 points to ramp up precision
31.933 * * * * [points]: Setting MPFR precision to 64
31.937 * * * * [points]: Setting MPFR precision to 320
31.941 * * * * [points]: Computing exacts on every 36 of 4693 points to ramp up precision
31.945 * * * * [points]: Setting MPFR precision to 64
31.955 * * * * [points]: Setting MPFR precision to 320
31.990 * * * * [points]: Computing exacts on every 18 of 4693 points to ramp up precision
31.997 * * * * [points]: Setting MPFR precision to 64
32.024 * * * * [points]: Setting MPFR precision to 320
32.043 * * * * [points]: Computing exacts on every 9 of 4693 points to ramp up precision
32.047 * * * * [points]: Setting MPFR precision to 64
32.104 * * * * [points]: Setting MPFR precision to 320
32.161 * * * * [points]: Computing exacts on every 4 of 4693 points to ramp up precision
32.211 * * * * [points]: Setting MPFR precision to 64
32.308 * * * * [points]: Setting MPFR precision to 320
32.482 * * * * [points]: Computing exacts on every 2 of 4693 points to ramp up precision
32.491 * * * * [points]: Setting MPFR precision to 64
32.751 * * * * [points]: Setting MPFR precision to 320
33.001 * * * * [points]: Computing exacts for 4693 points
33.009 * * * * [points]: Setting MPFR precision to 64
33.671 * * * * [points]: Setting MPFR precision to 320
34.845 * * * * [points]: Filtering points with unrepresentable outputs
34.850 * * * * [points]: Sampling 4081 additional inputs, on iter 5 have 3919 / 8000
34.882 * * * * [points]: Computing exacts on every 255 of 4081 points to ramp up precision
34.890 * * * * [points]: Setting MPFR precision to 64
34.893 * * * * [points]: Setting MPFR precision to 320
34.895 * * * * [points]: Computing exacts on every 127 of 4081 points to ramp up precision
34.902 * * * * [points]: Setting MPFR precision to 64
34.907 * * * * [points]: Setting MPFR precision to 320
34.911 * * * * [points]: Computing exacts on every 63 of 4081 points to ramp up precision
34.918 * * * * [points]: Setting MPFR precision to 64
34.926 * * * * [points]: Setting MPFR precision to 320
34.935 * * * * [points]: Computing exacts on every 31 of 4081 points to ramp up precision
34.944 * * * * [points]: Setting MPFR precision to 64
34.961 * * * * [points]: Setting MPFR precision to 320
34.979 * * * * [points]: Computing exacts on every 15 of 4081 points to ramp up precision
34.987 * * * * [points]: Setting MPFR precision to 64
35.060 * * * * [points]: Setting MPFR precision to 320
35.092 * * * * [points]: Computing exacts on every 7 of 4081 points to ramp up precision
35.100 * * * * [points]: Setting MPFR precision to 64
35.164 * * * * [points]: Setting MPFR precision to 320
35.216 * * * * [points]: Computing exacts on every 3 of 4081 points to ramp up precision
35.220 * * * * [points]: Setting MPFR precision to 64
35.323 * * * * [points]: Setting MPFR precision to 320
35.426 * * * * [points]: Computing exacts for 4081 points
35.430 * * * * [points]: Setting MPFR precision to 64
35.925 * * * * [points]: Setting MPFR precision to 320
36.529 * * * * [points]: Filtering points with unrepresentable outputs
36.533 * * * * [points]: Sampling 3538 additional inputs, on iter 6 have 4462 / 8000
36.560 * * * * [points]: Computing exacts on every 221 of 3538 points to ramp up precision
36.564 * * * * [points]: Setting MPFR precision to 64
36.565 * * * * [points]: Setting MPFR precision to 320
36.566 * * * * [points]: Computing exacts on every 110 of 3538 points to ramp up precision
36.570 * * * * [points]: Setting MPFR precision to 64
36.572 * * * * [points]: Setting MPFR precision to 320
36.574 * * * * [points]: Computing exacts on every 55 of 3538 points to ramp up precision
36.578 * * * * [points]: Setting MPFR precision to 64
36.582 * * * * [points]: Setting MPFR precision to 320
36.587 * * * * [points]: Computing exacts on every 27 of 3538 points to ramp up precision
36.593 * * * * [points]: Setting MPFR precision to 64
36.608 * * * * [points]: Setting MPFR precision to 320
36.657 * * * * [points]: Computing exacts on every 13 of 3538 points to ramp up precision
36.666 * * * * [points]: Setting MPFR precision to 64
36.697 * * * * [points]: Setting MPFR precision to 320
36.727 * * * * [points]: Computing exacts on every 6 of 3538 points to ramp up precision
36.733 * * * * [points]: Setting MPFR precision to 64
36.774 * * * * [points]: Setting MPFR precision to 320
36.869 * * * * [points]: Computing exacts on every 3 of 3538 points to ramp up precision
36.873 * * * * [points]: Setting MPFR precision to 64
36.964 * * * * [points]: Setting MPFR precision to 320
37.059 * * * * [points]: Computing exacts for 3538 points
37.063 * * * * [points]: Setting MPFR precision to 64
37.511 * * * * [points]: Setting MPFR precision to 320
38.366 * * * * [points]: Filtering points with unrepresentable outputs
38.368 * * * * [points]: Sampling 3105 additional inputs, on iter 7 have 4895 / 8000
38.381 * * * * [points]: Computing exacts on every 194 of 3105 points to ramp up precision
38.385 * * * * [points]: Setting MPFR precision to 64
38.386 * * * * [points]: Setting MPFR precision to 320
38.388 * * * * [points]: Computing exacts on every 97 of 3105 points to ramp up precision
38.392 * * * * [points]: Setting MPFR precision to 64
38.394 * * * * [points]: Setting MPFR precision to 320
38.396 * * * * [points]: Computing exacts on every 48 of 3105 points to ramp up precision
38.400 * * * * [points]: Setting MPFR precision to 64
38.430 * * * * [points]: Setting MPFR precision to 320
38.435 * * * * [points]: Computing exacts on every 24 of 3105 points to ramp up precision
38.440 * * * * [points]: Setting MPFR precision to 64
38.449 * * * * [points]: Setting MPFR precision to 320
38.458 * * * * [points]: Computing exacts on every 12 of 3105 points to ramp up precision
38.463 * * * * [points]: Setting MPFR precision to 64
38.479 * * * * [points]: Setting MPFR precision to 320
38.495 * * * * [points]: Computing exacts on every 6 of 3105 points to ramp up precision
38.500 * * * * [points]: Setting MPFR precision to 64
38.552 * * * * [points]: Setting MPFR precision to 320
38.636 * * * * [points]: Computing exacts on every 3 of 3105 points to ramp up precision
38.639 * * * * [points]: Setting MPFR precision to 64
38.713 * * * * [points]: Setting MPFR precision to 320
38.827 * * * * [points]: Computing exacts for 3105 points
38.831 * * * * [points]: Setting MPFR precision to 64
39.252 * * * * [points]: Setting MPFR precision to 320
39.686 * * * * [points]: Filtering points with unrepresentable outputs
39.689 * * * * [points]: Sampling 2747 additional inputs, on iter 8 have 5253 / 8000
39.710 * * * * [points]: Computing exacts on every 171 of 2747 points to ramp up precision
39.718 * * * * [points]: Setting MPFR precision to 64
39.720 * * * * [points]: Setting MPFR precision to 320
39.722 * * * * [points]: Computing exacts on every 85 of 2747 points to ramp up precision
39.730 * * * * [points]: Setting MPFR precision to 64
39.734 * * * * [points]: Setting MPFR precision to 320
39.737 * * * * [points]: Computing exacts on every 42 of 2747 points to ramp up precision
39.744 * * * * [points]: Setting MPFR precision to 64
39.752 * * * * [points]: Setting MPFR precision to 320
39.759 * * * * [points]: Computing exacts on every 21 of 2747 points to ramp up precision
39.766 * * * * [points]: Setting MPFR precision to 64
39.781 * * * * [points]: Setting MPFR precision to 320
39.797 * * * * [points]: Computing exacts on every 10 of 2747 points to ramp up precision
39.804 * * * * [points]: Setting MPFR precision to 64
39.834 * * * * [points]: Setting MPFR precision to 320
39.904 * * * * [points]: Computing exacts on every 5 of 2747 points to ramp up precision
39.912 * * * * [points]: Setting MPFR precision to 64
39.950 * * * * [points]: Setting MPFR precision to 320
39.984 * * * * [points]: Computing exacts on every 2 of 2747 points to ramp up precision
39.991 * * * * [points]: Setting MPFR precision to 64
40.124 * * * * [points]: Setting MPFR precision to 320
40.190 * * * * [points]: Computing exacts for 2747 points
40.194 * * * * [points]: Setting MPFR precision to 64
40.464 * * * * [points]: Setting MPFR precision to 320
40.734 * * * * [points]: Filtering points with unrepresentable outputs
40.736 * * * * [points]: Sampling 2417 additional inputs, on iter 9 have 5583 / 8000
40.746 * * * * [points]: Computing exacts on every 151 of 2417 points to ramp up precision
40.750 * * * * [points]: Setting MPFR precision to 64
40.751 * * * * [points]: Setting MPFR precision to 320
40.752 * * * * [points]: Computing exacts on every 75 of 2417 points to ramp up precision
40.756 * * * * [points]: Setting MPFR precision to 64
40.759 * * * * [points]: Setting MPFR precision to 320
40.761 * * * * [points]: Computing exacts on every 37 of 2417 points to ramp up precision
40.765 * * * * [points]: Setting MPFR precision to 64
40.771 * * * * [points]: Setting MPFR precision to 320
40.775 * * * * [points]: Computing exacts on every 18 of 2417 points to ramp up precision
40.779 * * * * [points]: Setting MPFR precision to 64
40.788 * * * * [points]: Setting MPFR precision to 320
40.798 * * * * [points]: Computing exacts on every 9 of 2417 points to ramp up precision
40.828 * * * * [points]: Setting MPFR precision to 64
40.850 * * * * [points]: Setting MPFR precision to 320
40.866 * * * * [points]: Computing exacts on every 4 of 2417 points to ramp up precision
40.870 * * * * [points]: Setting MPFR precision to 64
40.905 * * * * [points]: Setting MPFR precision to 320
40.940 * * * * [points]: Computing exacts on every 2 of 2417 points to ramp up precision
40.979 * * * * [points]: Setting MPFR precision to 64
41.037 * * * * [points]: Setting MPFR precision to 320
41.479 * * * * [points]: Computing exacts for 2417 points
41.483 * * * * [points]: Setting MPFR precision to 64
41.732 * * * * [points]: Setting MPFR precision to 320
42.069 * * * * [points]: Filtering points with unrepresentable outputs
42.071 * * * * [points]: Sampling 2105 additional inputs, on iter 10 have 5895 / 8000
42.088 * * * * [points]: Computing exacts on every 131 of 2105 points to ramp up precision
42.095 * * * * [points]: Setting MPFR precision to 64
42.097 * * * * [points]: Setting MPFR precision to 320
42.099 * * * * [points]: Computing exacts on every 65 of 2105 points to ramp up precision
42.106 * * * * [points]: Setting MPFR precision to 64
42.110 * * * * [points]: Setting MPFR precision to 320
42.114 * * * * [points]: Computing exacts on every 32 of 2105 points to ramp up precision
42.121 * * * * [points]: Setting MPFR precision to 64
42.129 * * * * [points]: Setting MPFR precision to 320
42.136 * * * * [points]: Computing exacts on every 16 of 2105 points to ramp up precision
42.143 * * * * [points]: Setting MPFR precision to 64
42.157 * * * * [points]: Setting MPFR precision to 320
42.175 * * * * [points]: Computing exacts on every 8 of 2105 points to ramp up precision
42.182 * * * * [points]: Setting MPFR precision to 64
42.198 * * * * [points]: Setting MPFR precision to 320
42.237 * * * * [points]: Computing exacts on every 4 of 2105 points to ramp up precision
42.241 * * * * [points]: Setting MPFR precision to 64
42.273 * * * * [points]: Setting MPFR precision to 320
42.307 * * * * [points]: Computing exacts on every 2 of 2105 points to ramp up precision
42.315 * * * * [points]: Setting MPFR precision to 64
42.415 * * * * [points]: Setting MPFR precision to 320
42.464 * * * * [points]: Computing exacts for 2105 points
42.468 * * * * [points]: Setting MPFR precision to 64
42.650 * * * * [points]: Setting MPFR precision to 320
43.003 * * * * [points]: Filtering points with unrepresentable outputs
43.005 * * * * [points]: Sampling 1846 additional inputs, on iter 11 have 6154 / 8000
43.019 * * * * [points]: Computing exacts on every 115 of 1846 points to ramp up precision
43.026 * * * * [points]: Setting MPFR precision to 64
43.029 * * * * [points]: Setting MPFR precision to 320
43.031 * * * * [points]: Computing exacts on every 57 of 1846 points to ramp up precision
43.038 * * * * [points]: Setting MPFR precision to 64
43.042 * * * * [points]: Setting MPFR precision to 320
43.046 * * * * [points]: Computing exacts on every 28 of 1846 points to ramp up precision
43.053 * * * * [points]: Setting MPFR precision to 64
43.061 * * * * [points]: Setting MPFR precision to 320
43.070 * * * * [points]: Computing exacts on every 14 of 1846 points to ramp up precision
43.077 * * * * [points]: Setting MPFR precision to 64
43.093 * * * * [points]: Setting MPFR precision to 320
43.108 * * * * [points]: Computing exacts on every 7 of 1846 points to ramp up precision
43.115 * * * * [points]: Setting MPFR precision to 64
43.144 * * * * [points]: Setting MPFR precision to 320
43.208 * * * * [points]: Computing exacts on every 3 of 1846 points to ramp up precision
43.214 * * * * [points]: Setting MPFR precision to 64
43.264 * * * * [points]: Setting MPFR precision to 320
43.314 * * * * [points]: Computing exacts for 1846 points
43.320 * * * * [points]: Setting MPFR precision to 64
43.494 * * * * [points]: Setting MPFR precision to 320
43.784 * * * * [points]: Filtering points with unrepresentable outputs
43.785 * * * * [points]: Sampling 1646 additional inputs, on iter 12 have 6354 / 8000
43.794 * * * * [points]: Computing exacts on every 102 of 1646 points to ramp up precision
43.798 * * * * [points]: Setting MPFR precision to 64
43.801 * * * * [points]: Setting MPFR precision to 320
43.802 * * * * [points]: Computing exacts on every 51 of 1646 points to ramp up precision
43.806 * * * * [points]: Setting MPFR precision to 64
43.808 * * * * [points]: Setting MPFR precision to 320
43.810 * * * * [points]: Computing exacts on every 25 of 1646 points to ramp up precision
43.814 * * * * [points]: Setting MPFR precision to 64
43.818 * * * * [points]: Setting MPFR precision to 320
43.823 * * * * [points]: Computing exacts on every 12 of 1646 points to ramp up precision
43.826 * * * * [points]: Setting MPFR precision to 64
43.835 * * * * [points]: Setting MPFR precision to 320
43.843 * * * * [points]: Computing exacts on every 6 of 1646 points to ramp up precision
43.847 * * * * [points]: Setting MPFR precision to 64
43.865 * * * * [points]: Setting MPFR precision to 320
43.893 * * * * [points]: Computing exacts on every 3 of 1646 points to ramp up precision
43.934 * * * * [points]: Setting MPFR precision to 64
43.976 * * * * [points]: Setting MPFR precision to 320
44.016 * * * * [points]: Computing exacts for 1646 points
44.023 * * * * [points]: Setting MPFR precision to 64
44.266 * * * * [points]: Setting MPFR precision to 320
44.504 * * * * [points]: Filtering points with unrepresentable outputs
44.506 * * * * [points]: Sampling 1445 additional inputs, on iter 13 have 6555 / 8000
44.518 * * * * [points]: Computing exacts on every 90 of 1445 points to ramp up precision
44.527 * * * * [points]: Setting MPFR precision to 64
44.529 * * * * [points]: Setting MPFR precision to 320
44.531 * * * * [points]: Computing exacts on every 45 of 1445 points to ramp up precision
44.539 * * * * [points]: Setting MPFR precision to 64
44.543 * * * * [points]: Setting MPFR precision to 320
44.546 * * * * [points]: Computing exacts on every 22 of 1445 points to ramp up precision
44.554 * * * * [points]: Setting MPFR precision to 64
44.562 * * * * [points]: Setting MPFR precision to 320
44.571 * * * * [points]: Computing exacts on every 11 of 1445 points to ramp up precision
44.578 * * * * [points]: Setting MPFR precision to 64
44.989 * * * * [points]: Setting MPFR precision to 320
44.998 * * * * [points]: Computing exacts on every 5 of 1445 points to ramp up precision
45.003 * * * * [points]: Setting MPFR precision to 64
45.024 * * * * [points]: Setting MPFR precision to 320
45.055 * * * * [points]: Computing exacts on every 2 of 1445 points to ramp up precision
45.063 * * * * [points]: Setting MPFR precision to 64
45.126 * * * * [points]: Setting MPFR precision to 320
45.240 * * * * [points]: Computing exacts for 1445 points
45.247 * * * * [points]: Setting MPFR precision to 64
45.456 * * * * [points]: Setting MPFR precision to 320
45.626 * * * * [points]: Filtering points with unrepresentable outputs
45.627 * * * * [points]: Sampling 1295 additional inputs, on iter 14 have 6705 / 8000
45.668 * * * * [points]: Computing exacts on every 80 of 1295 points to ramp up precision
45.674 * * * * [points]: Setting MPFR precision to 64
45.675 * * * * [points]: Setting MPFR precision to 320
45.676 * * * * [points]: Computing exacts on every 40 of 1295 points to ramp up precision
45.680 * * * * [points]: Setting MPFR precision to 64
45.682 * * * * [points]: Setting MPFR precision to 320
45.684 * * * * [points]: Computing exacts on every 20 of 1295 points to ramp up precision
45.688 * * * * [points]: Setting MPFR precision to 64
45.692 * * * * [points]: Setting MPFR precision to 320
45.696 * * * * [points]: Computing exacts on every 10 of 1295 points to ramp up precision
45.700 * * * * [points]: Setting MPFR precision to 64
45.708 * * * * [points]: Setting MPFR precision to 320
45.715 * * * * [points]: Computing exacts on every 5 of 1295 points to ramp up precision
45.719 * * * * [points]: Setting MPFR precision to 64
45.740 * * * * [points]: Setting MPFR precision to 320
45.768 * * * * [points]: Computing exacts on every 2 of 1295 points to ramp up precision
45.775 * * * * [points]: Setting MPFR precision to 64
45.871 * * * * [points]: Setting MPFR precision to 320
45.899 * * * * [points]: Computing exacts for 1295 points
45.903 * * * * [points]: Setting MPFR precision to 64
46.047 * * * * [points]: Setting MPFR precision to 320
46.209 * * * * [points]: Filtering points with unrepresentable outputs
46.209 * * * * [points]: Sampling 1103 additional inputs, on iter 15 have 6897 / 8000
46.216 * * * * [points]: Computing exacts on every 68 of 1103 points to ramp up precision
46.220 * * * * [points]: Setting MPFR precision to 64
46.221 * * * * [points]: Setting MPFR precision to 320
46.222 * * * * [points]: Computing exacts on every 34 of 1103 points to ramp up precision
46.225 * * * * [points]: Setting MPFR precision to 64
46.228 * * * * [points]: Setting MPFR precision to 320
46.230 * * * * [points]: Computing exacts on every 17 of 1103 points to ramp up precision
46.236 * * * * [points]: Setting MPFR precision to 64
46.243 * * * * [points]: Setting MPFR precision to 320
46.250 * * * * [points]: Computing exacts on every 8 of 1103 points to ramp up precision
46.257 * * * * [points]: Setting MPFR precision to 64
46.271 * * * * [points]: Setting MPFR precision to 320
46.282 * * * * [points]: Computing exacts on every 4 of 1103 points to ramp up precision
46.286 * * * * [points]: Setting MPFR precision to 64
46.301 * * * * [points]: Setting MPFR precision to 320
46.326 * * * * [points]: Computing exacts on every 2 of 1103 points to ramp up precision
46.368 * * * * [points]: Setting MPFR precision to 64
46.414 * * * * [points]: Setting MPFR precision to 320
46.461 * * * * [points]: Computing exacts for 1103 points
46.469 * * * * [points]: Setting MPFR precision to 64
46.615 * * * * [points]: Setting MPFR precision to 320
46.714 * * * * [points]: Filtering points with unrepresentable outputs
46.715 * * * * [points]: Sampling 978 additional inputs, on iter 16 have 7022 / 8000
46.719 * * * * [points]: Computing exacts on every 61 of 978 points to ramp up precision
46.723 * * * * [points]: Setting MPFR precision to 64
46.724 * * * * [points]: Setting MPFR precision to 320
46.725 * * * * [points]: Computing exacts on every 30 of 978 points to ramp up precision
46.758 * * * * [points]: Setting MPFR precision to 64
46.761 * * * * [points]: Setting MPFR precision to 320
46.764 * * * * [points]: Computing exacts on every 15 of 978 points to ramp up precision
46.771 * * * * [points]: Setting MPFR precision to 64
46.779 * * * * [points]: Setting MPFR precision to 320
46.785 * * * * [points]: Computing exacts on every 7 of 978 points to ramp up precision
46.789 * * * * [points]: Setting MPFR precision to 64
46.797 * * * * [points]: Setting MPFR precision to 320
46.805 * * * * [points]: Computing exacts on every 3 of 978 points to ramp up precision
46.809 * * * * [points]: Setting MPFR precision to 64
46.826 * * * * [points]: Setting MPFR precision to 320
46.842 * * * * [points]: Computing exacts for 978 points
46.845 * * * * [points]: Setting MPFR precision to 64
46.954 * * * * [points]: Setting MPFR precision to 320
47.052 * * * * [points]: Filtering points with unrepresentable outputs
47.053 * * * * [points]: Sampling 859 additional inputs, on iter 17 have 7141 / 8000
47.057 * * * * [points]: Computing exacts on every 53 of 859 points to ramp up precision
47.062 * * * * [points]: Setting MPFR precision to 64
47.064 * * * * [points]: Setting MPFR precision to 320
47.065 * * * * [points]: Computing exacts on every 26 of 859 points to ramp up precision
47.069 * * * * [points]: Setting MPFR precision to 64
47.071 * * * * [points]: Setting MPFR precision to 320
47.073 * * * * [points]: Computing exacts on every 13 of 859 points to ramp up precision
47.077 * * * * [points]: Setting MPFR precision to 64
47.081 * * * * [points]: Setting MPFR precision to 320
47.085 * * * * [points]: Computing exacts on every 6 of 859 points to ramp up precision
47.089 * * * * [points]: Setting MPFR precision to 64
47.099 * * * * [points]: Setting MPFR precision to 320
47.112 * * * * [points]: Computing exacts on every 3 of 859 points to ramp up precision
47.119 * * * * [points]: Setting MPFR precision to 64
47.145 * * * * [points]: Setting MPFR precision to 320
47.160 * * * * [points]: Computing exacts for 859 points
47.164 * * * * [points]: Setting MPFR precision to 64
47.243 * * * * [points]: Setting MPFR precision to 320
47.311 * * * * [points]: Filtering points with unrepresentable outputs
47.311 * * * * [points]: Sampling 754 additional inputs, on iter 18 have 7246 / 8000
47.353 * * * * [points]: Computing exacts on every 47 of 754 points to ramp up precision
47.364 * * * * [points]: Setting MPFR precision to 64
47.367 * * * * [points]: Setting MPFR precision to 320
47.369 * * * * [points]: Computing exacts on every 23 of 754 points to ramp up precision
47.376 * * * * [points]: Setting MPFR precision to 64
47.380 * * * * [points]: Setting MPFR precision to 320
47.384 * * * * [points]: Computing exacts on every 11 of 754 points to ramp up precision
47.391 * * * * [points]: Setting MPFR precision to 64
47.399 * * * * [points]: Setting MPFR precision to 320
47.407 * * * * [points]: Computing exacts on every 5 of 754 points to ramp up precision
47.414 * * * * [points]: Setting MPFR precision to 64
47.431 * * * * [points]: Setting MPFR precision to 320
47.447 * * * * [points]: Computing exacts on every 2 of 754 points to ramp up precision
47.454 * * * * [points]: Setting MPFR precision to 64
47.485 * * * * [points]: Setting MPFR precision to 320
47.513 * * * * [points]: Computing exacts for 754 points
47.520 * * * * [points]: Setting MPFR precision to 64
47.657 * * * * [points]: Setting MPFR precision to 320
47.754 * * * * [points]: Filtering points with unrepresentable outputs
47.755 * * * * [points]: Sampling 667 additional inputs, on iter 19 have 7333 / 8000
47.760 * * * * [points]: Computing exacts on every 41 of 667 points to ramp up precision
47.766 * * * * [points]: Setting MPFR precision to 64
47.768 * * * * [points]: Setting MPFR precision to 320
47.770 * * * * [points]: Computing exacts on every 20 of 667 points to ramp up precision
47.823 * * * * [points]: Setting MPFR precision to 64
47.831 * * * * [points]: Setting MPFR precision to 320
47.835 * * * * [points]: Computing exacts on every 10 of 667 points to ramp up precision
47.840 * * * * [points]: Setting MPFR precision to 64
47.844 * * * * [points]: Setting MPFR precision to 320
47.848 * * * * [points]: Computing exacts on every 5 of 667 points to ramp up precision
47.852 * * * * [points]: Setting MPFR precision to 64
47.859 * * * * [points]: Setting MPFR precision to 320
47.867 * * * * [points]: Computing exacts on every 2 of 667 points to ramp up precision
47.874 * * * * [points]: Setting MPFR precision to 64
47.902 * * * * [points]: Setting MPFR precision to 320
47.927 * * * * [points]: Computing exacts for 667 points
47.934 * * * * [points]: Setting MPFR precision to 64
48.054 * * * * [points]: Setting MPFR precision to 320
48.138 * * * * [points]: Filtering points with unrepresentable outputs
48.139 * * * * [points]: Sampling 589 additional inputs, on iter 20 have 7411 / 8000
48.144 * * * * [points]: Computing exacts on every 36 of 589 points to ramp up precision
48.150 * * * * [points]: Setting MPFR precision to 64
48.152 * * * * [points]: Setting MPFR precision to 320
48.154 * * * * [points]: Computing exacts on every 18 of 589 points to ramp up precision
48.161 * * * * [points]: Setting MPFR precision to 64
48.165 * * * * [points]: Setting MPFR precision to 320
48.169 * * * * [points]: Computing exacts on every 9 of 589 points to ramp up precision
48.177 * * * * [points]: Setting MPFR precision to 64
48.185 * * * * [points]: Setting MPFR precision to 320
48.193 * * * * [points]: Computing exacts on every 4 of 589 points to ramp up precision
48.200 * * * * [points]: Setting MPFR precision to 64
48.654 * * * * [points]: Setting MPFR precision to 320
48.664 * * * * [points]: Computing exacts on every 2 of 589 points to ramp up precision
48.668 * * * * [points]: Setting MPFR precision to 64
48.681 * * * * [points]: Setting MPFR precision to 320
48.695 * * * * [points]: Computing exacts for 589 points
48.698 * * * * [points]: Setting MPFR precision to 64
48.739 * * * * [points]: Setting MPFR precision to 320
48.804 * * * * [points]: Filtering points with unrepresentable outputs
48.804 * * * * [points]: Sampling 518 additional inputs, on iter 21 have 7482 / 8000
48.806 * * * * [points]: Computing exacts on every 32 of 518 points to ramp up precision
48.810 * * * * [points]: Setting MPFR precision to 64
48.811 * * * * [points]: Setting MPFR precision to 320
48.812 * * * * [points]: Computing exacts on every 16 of 518 points to ramp up precision
48.817 * * * * [points]: Setting MPFR precision to 64
48.819 * * * * [points]: Setting MPFR precision to 320
48.822 * * * * [points]: Computing exacts on every 8 of 518 points to ramp up precision
48.828 * * * * [points]: Setting MPFR precision to 64
48.833 * * * * [points]: Setting MPFR precision to 320
48.837 * * * * [points]: Computing exacts on every 4 of 518 points to ramp up precision
48.841 * * * * [points]: Setting MPFR precision to 64
48.849 * * * * [points]: Setting MPFR precision to 320
48.857 * * * * [points]: Computing exacts on every 2 of 518 points to ramp up precision
48.860 * * * * [points]: Setting MPFR precision to 64
48.872 * * * * [points]: Setting MPFR precision to 320
48.892 * * * * [points]: Computing exacts for 518 points
48.918 * * * * [points]: Setting MPFR precision to 64
48.974 * * * * [points]: Setting MPFR precision to 320
49.011 * * * * [points]: Filtering points with unrepresentable outputs
49.011 * * * * [points]: Sampling 452 additional inputs, on iter 22 have 7548 / 8000
49.013 * * * * [points]: Computing exacts on every 28 of 452 points to ramp up precision
49.017 * * * * [points]: Setting MPFR precision to 64
49.018 * * * * [points]: Setting MPFR precision to 320
49.020 * * * * [points]: Computing exacts on every 14 of 452 points to ramp up precision
49.023 * * * * [points]: Setting MPFR precision to 64
49.025 * * * * [points]: Setting MPFR precision to 320
49.027 * * * * [points]: Computing exacts on every 7 of 452 points to ramp up precision
49.031 * * * * [points]: Setting MPFR precision to 64
49.035 * * * * [points]: Setting MPFR precision to 320
49.039 * * * * [points]: Computing exacts on every 3 of 452 points to ramp up precision
49.071 * * * * [points]: Setting MPFR precision to 64
49.088 * * * * [points]: Setting MPFR precision to 320
49.098 * * * * [points]: Computing exacts for 452 points
49.102 * * * * [points]: Setting MPFR precision to 64
49.132 * * * * [points]: Setting MPFR precision to 320
49.185 * * * * [points]: Filtering points with unrepresentable outputs
49.186 * * * * [points]: Sampling 395 additional inputs, on iter 23 have 7605 / 8000
49.189 * * * * [points]: Computing exacts on every 24 of 395 points to ramp up precision
49.196 * * * * [points]: Setting MPFR precision to 64
49.198 * * * * [points]: Setting MPFR precision to 320
49.200 * * * * [points]: Computing exacts on every 12 of 395 points to ramp up precision
49.207 * * * * [points]: Setting MPFR precision to 64
49.209 * * * * [points]: Setting MPFR precision to 320
49.211 * * * * [points]: Computing exacts on every 6 of 395 points to ramp up precision
49.241 * * * * [points]: Setting MPFR precision to 64
49.245 * * * * [points]: Setting MPFR precision to 320
49.251 * * * * [points]: Computing exacts on every 3 of 395 points to ramp up precision
49.254 * * * * [points]: Setting MPFR precision to 64
49.261 * * * * [points]: Setting MPFR precision to 320
49.268 * * * * [points]: Computing exacts for 395 points
49.275 * * * * [points]: Setting MPFR precision to 64
49.308 * * * * [points]: Setting MPFR precision to 320
49.338 * * * * [points]: Filtering points with unrepresentable outputs
49.338 * * * * [points]: Sampling 344 additional inputs, on iter 24 have 7656 / 8000
49.340 * * * * [points]: Computing exacts on every 21 of 344 points to ramp up precision
49.343 * * * * [points]: Setting MPFR precision to 64
49.345 * * * * [points]: Setting MPFR precision to 320
49.346 * * * * [points]: Computing exacts on every 10 of 344 points to ramp up precision
49.349 * * * * [points]: Setting MPFR precision to 64
49.381 * * * * [points]: Setting MPFR precision to 320
49.386 * * * * [points]: Computing exacts on every 5 of 344 points to ramp up precision
49.390 * * * * [points]: Setting MPFR precision to 64
49.395 * * * * [points]: Setting MPFR precision to 320
49.399 * * * * [points]: Computing exacts on every 2 of 344 points to ramp up precision
49.404 * * * * [points]: Setting MPFR precision to 64
49.411 * * * * [points]: Setting MPFR precision to 320
49.419 * * * * [points]: Computing exacts for 344 points
49.426 * * * * [points]: Setting MPFR precision to 64
49.450 * * * * [points]: Setting MPFR precision to 320
49.473 * * * * [points]: Filtering points with unrepresentable outputs
49.473 * * * * [points]: Sampling 293 additional inputs, on iter 25 have 7707 / 8000
49.475 * * * * [points]: Computing exacts on every 18 of 293 points to ramp up precision
49.478 * * * * [points]: Setting MPFR precision to 64
49.479 * * * * [points]: Setting MPFR precision to 320
49.480 * * * * [points]: Computing exacts on every 9 of 293 points to ramp up precision
49.484 * * * * [points]: Setting MPFR precision to 64
49.486 * * * * [points]: Setting MPFR precision to 320
49.514 * * * * [points]: Computing exacts on every 4 of 293 points to ramp up precision
49.518 * * * * [points]: Setting MPFR precision to 64
49.522 * * * * [points]: Setting MPFR precision to 320
49.528 * * * * [points]: Computing exacts on every 2 of 293 points to ramp up precision
49.531 * * * * [points]: Setting MPFR precision to 64
49.538 * * * * [points]: Setting MPFR precision to 320
49.544 * * * * [points]: Computing exacts for 293 points
49.549 * * * * [points]: Setting MPFR precision to 64
49.569 * * * * [points]: Setting MPFR precision to 320
49.591 * * * * [points]: Filtering points with unrepresentable outputs
49.591 * * * * [points]: Sampling 256 additional inputs, on iter 26 have 7744 / 8000
49.592 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
49.596 * * * * [points]: Setting MPFR precision to 64
49.597 * * * * [points]: Setting MPFR precision to 320
49.598 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
49.602 * * * * [points]: Setting MPFR precision to 64
49.604 * * * * [points]: Setting MPFR precision to 320
49.606 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
49.610 * * * * [points]: Setting MPFR precision to 64
49.645 * * * * [points]: Setting MPFR precision to 320
49.649 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
49.655 * * * * [points]: Setting MPFR precision to 64
49.661 * * * * [points]: Setting MPFR precision to 320
49.667 * * * * [points]: Computing exacts for 256 points
49.671 * * * * [points]: Setting MPFR precision to 64
49.688 * * * * [points]: Setting MPFR precision to 320
49.705 * * * * [points]: Filtering points with unrepresentable outputs
49.705 * * * * [points]: Sampling 227 additional inputs, on iter 27 have 7773 / 8000
49.706 * * * * [points]: Computing exacts on every 14 of 227 points to ramp up precision
49.710 * * * * [points]: Setting MPFR precision to 64
49.711 * * * * [points]: Setting MPFR precision to 320
49.712 * * * * [points]: Computing exacts on every 7 of 227 points to ramp up precision
49.716 * * * * [points]: Setting MPFR precision to 64
49.718 * * * * [points]: Setting MPFR precision to 320
49.720 * * * * [points]: Computing exacts on every 3 of 227 points to ramp up precision
49.724 * * * * [points]: Setting MPFR precision to 64
49.728 * * * * [points]: Setting MPFR precision to 320
49.732 * * * * [points]: Computing exacts for 227 points
49.736 * * * * [points]: Setting MPFR precision to 64
49.773 * * * * [points]: Setting MPFR precision to 320
49.793 * * * * [points]: Filtering points with unrepresentable outputs
49.793 * * * * [points]: Sampling 196 additional inputs, on iter 28 have 7804 / 8000
49.794 * * * * [points]: Computing exacts on every 12 of 196 points to ramp up precision
49.798 * * * * [points]: Setting MPFR precision to 64
49.799 * * * * [points]: Setting MPFR precision to 320
49.800 * * * * [points]: Computing exacts on every 6 of 196 points to ramp up precision
49.804 * * * * [points]: Setting MPFR precision to 64
49.806 * * * * [points]: Setting MPFR precision to 320
49.808 * * * * [points]: Computing exacts on every 3 of 196 points to ramp up precision
49.812 * * * * [points]: Setting MPFR precision to 64
49.815 * * * * [points]: Setting MPFR precision to 320
49.819 * * * * [points]: Computing exacts for 196 points
49.822 * * * * [points]: Setting MPFR precision to 64
49.835 * * * * [points]: Setting MPFR precision to 320
49.850 * * * * [points]: Filtering points with unrepresentable outputs
49.850 * * * * [points]: Sampling 172 additional inputs, on iter 29 have 7828 / 8000
49.851 * * * * [points]: Computing exacts on every 10 of 172 points to ramp up precision
49.858 * * * * [points]: Setting MPFR precision to 64
49.860 * * * * [points]: Setting MPFR precision to 320
49.862 * * * * [points]: Computing exacts on every 5 of 172 points to ramp up precision
49.869 * * * * [points]: Setting MPFR precision to 64
49.873 * * * * [points]: Setting MPFR precision to 320
49.877 * * * * [points]: Computing exacts on every 2 of 172 points to ramp up precision
49.906 * * * * [points]: Setting MPFR precision to 64
49.910 * * * * [points]: Setting MPFR precision to 320
49.916 * * * * [points]: Computing exacts for 172 points
49.920 * * * * [points]: Setting MPFR precision to 64
49.933 * * * * [points]: Setting MPFR precision to 320
49.944 * * * * [points]: Filtering points with unrepresentable outputs
49.944 * * * * [points]: Sampling 149 additional inputs, on iter 30 have 7851 / 8000
49.945 * * * * [points]: Computing exacts on every 9 of 149 points to ramp up precision
49.949 * * * * [points]: Setting MPFR precision to 64
49.950 * * * * [points]: Setting MPFR precision to 320
49.951 * * * * [points]: Computing exacts on every 4 of 149 points to ramp up precision
49.954 * * * * [points]: Setting MPFR precision to 64
49.956 * * * * [points]: Setting MPFR precision to 320
49.958 * * * * [points]: Computing exacts on every 2 of 149 points to ramp up precision
49.962 * * * * [points]: Setting MPFR precision to 64
49.965 * * * * [points]: Setting MPFR precision to 320
49.969 * * * * [points]: Computing exacts for 149 points
49.972 * * * * [points]: Setting MPFR precision to 64
49.989 * * * * [points]: Setting MPFR precision to 320
50.006 * * * * [points]: Filtering points with unrepresentable outputs
50.006 * * * * [points]: Sampling 129 additional inputs, on iter 31 have 7871 / 8000
50.007 * * * * [points]: Computing exacts on every 8 of 129 points to ramp up precision
50.011 * * * * [points]: Setting MPFR precision to 64
50.012 * * * * [points]: Setting MPFR precision to 320
50.034 * * * * [points]: Computing exacts on every 4 of 129 points to ramp up precision
50.041 * * * * [points]: Setting MPFR precision to 64
50.045 * * * * [points]: Setting MPFR precision to 320
50.047 * * * * [points]: Computing exacts on every 2 of 129 points to ramp up precision
50.051 * * * * [points]: Setting MPFR precision to 64
50.054 * * * * [points]: Setting MPFR precision to 320
50.057 * * * * [points]: Computing exacts for 129 points
50.061 * * * * [points]: Setting MPFR precision to 64
50.070 * * * * [points]: Setting MPFR precision to 320
50.079 * * * * [points]: Filtering points with unrepresentable outputs
50.079 * * * * [points]: Sampling 116 additional inputs, on iter 32 have 7884 / 8000
50.080 * * * * [points]: Computing exacts on every 7 of 116 points to ramp up precision
50.084 * * * * [points]: Setting MPFR precision to 64
50.085 * * * * [points]: Setting MPFR precision to 320
50.086 * * * * [points]: Computing exacts on every 3 of 116 points to ramp up precision
50.089 * * * * [points]: Setting MPFR precision to 64
50.092 * * * * [points]: Setting MPFR precision to 320
50.094 * * * * [points]: Computing exacts for 116 points
50.097 * * * * [points]: Setting MPFR precision to 64
50.106 * * * * [points]: Setting MPFR precision to 320
50.115 * * * * [points]: Filtering points with unrepresentable outputs
50.115 * * * * [points]: Sampling 108 additional inputs, on iter 33 have 7892 / 8000
50.115 * * * * [points]: Computing exacts on every 6 of 108 points to ramp up precision
50.119 * * * * [points]: Setting MPFR precision to 64
50.120 * * * * [points]: Setting MPFR precision to 320
50.121 * * * * [points]: Computing exacts on every 3 of 108 points to ramp up precision
50.124 * * * * [points]: Setting MPFR precision to 64
50.126 * * * * [points]: Setting MPFR precision to 320
50.128 * * * * [points]: Computing exacts for 108 points
50.149 * * * * [points]: Setting MPFR precision to 64
50.158 * * * * [points]: Setting MPFR precision to 320
50.168 * * * * [points]: Filtering points with unrepresentable outputs
50.168 * * * * [points]: Sampling 94 additional inputs, on iter 34 have 7906 / 8000
50.168 * * * * [points]: Computing exacts on every 5 of 94 points to ramp up precision
50.172 * * * * [points]: Setting MPFR precision to 64
50.174 * * * * [points]: Setting MPFR precision to 320
50.175 * * * * [points]: Computing exacts on every 2 of 94 points to ramp up precision
50.178 * * * * [points]: Setting MPFR precision to 64
50.181 * * * * [points]: Setting MPFR precision to 320
50.183 * * * * [points]: Computing exacts for 94 points
50.186 * * * * [points]: Setting MPFR precision to 64
50.193 * * * * [points]: Setting MPFR precision to 320
50.199 * * * * [points]: Filtering points with unrepresentable outputs
50.199 * * * * [points]: Sampling 86 additional inputs, on iter 35 have 7914 / 8000
50.200 * * * * [points]: Computing exacts on every 5 of 86 points to ramp up precision
50.203 * * * * [points]: Setting MPFR precision to 64
50.204 * * * * [points]: Setting MPFR precision to 320
50.205 * * * * [points]: Computing exacts on every 2 of 86 points to ramp up precision
50.209 * * * * [points]: Setting MPFR precision to 64
50.211 * * * * [points]: Setting MPFR precision to 320
50.213 * * * * [points]: Computing exacts for 86 points
50.216 * * * * [points]: Setting MPFR precision to 64
50.222 * * * * [points]: Setting MPFR precision to 320
50.229 * * * * [points]: Filtering points with unrepresentable outputs
50.229 * * * * [points]: Sampling 72 additional inputs, on iter 36 have 7928 / 8000
50.229 * * * * [points]: Computing exacts on every 4 of 72 points to ramp up precision
50.233 * * * * [points]: Setting MPFR precision to 64
50.234 * * * * [points]: Setting MPFR precision to 320
50.235 * * * * [points]: Computing exacts on every 2 of 72 points to ramp up precision
50.238 * * * * [points]: Setting MPFR precision to 64
50.240 * * * * [points]: Setting MPFR precision to 320
50.242 * * * * [points]: Computing exacts for 72 points
50.278 * * * * [points]: Setting MPFR precision to 64
50.289 * * * * [points]: Setting MPFR precision to 320
50.298 * * * * [points]: Filtering points with unrepresentable outputs
50.298 * * * * [points]: Sampling 60 additional inputs, on iter 37 have 7940 / 8000
50.299 * * * * [points]: Computing exacts on every 3 of 60 points to ramp up precision
50.305 * * * * [points]: Setting MPFR precision to 64
50.307 * * * * [points]: Setting MPFR precision to 320
50.309 * * * * [points]: Computing exacts for 60 points
50.316 * * * * [points]: Setting MPFR precision to 64
50.323 * * * * [points]: Setting MPFR precision to 320
50.330 * * * * [points]: Filtering points with unrepresentable outputs
50.330 * * * * [points]: Sampling 53 additional inputs, on iter 38 have 7947 / 8000
50.331 * * * * [points]: Computing exacts on every 3 of 53 points to ramp up precision
50.338 * * * * [points]: Setting MPFR precision to 64
50.340 * * * * [points]: Setting MPFR precision to 320
50.342 * * * * [points]: Computing exacts for 53 points
50.350 * * * * [points]: Setting MPFR precision to 64
50.357 * * * * [points]: Setting MPFR precision to 320
50.362 * * * * [points]: Filtering points with unrepresentable outputs
50.362 * * * * [points]: Sampling 49 additional inputs, on iter 39 have 7951 / 8000
50.362 * * * * [points]: Computing exacts on every 3 of 49 points to ramp up precision
50.366 * * * * [points]: Setting MPFR precision to 64
50.367 * * * * [points]: Setting MPFR precision to 320
50.368 * * * * [points]: Computing exacts for 49 points
50.371 * * * * [points]: Setting MPFR precision to 64
50.374 * * * * [points]: Setting MPFR precision to 320
50.378 * * * * [points]: Filtering points with unrepresentable outputs
50.378 * * * * [points]: Sampling 42 additional inputs, on iter 40 have 7958 / 8000
50.378 * * * * [points]: Computing exacts on every 2 of 42 points to ramp up precision
50.382 * * * * [points]: Setting MPFR precision to 64
50.383 * * * * [points]: Setting MPFR precision to 320
50.384 * * * * [points]: Computing exacts for 42 points
50.388 * * * * [points]: Setting MPFR precision to 64
50.394 * * * * [points]: Setting MPFR precision to 320
50.400 * * * * [points]: Filtering points with unrepresentable outputs
50.400 * * * * [points]: Sampling 38 additional inputs, on iter 41 have 7962 / 8000
50.400 * * * * [points]: Computing exacts on every 2 of 38 points to ramp up precision
50.406 * * * * [points]: Setting MPFR precision to 64
50.407 * * * * [points]: Setting MPFR precision to 320
50.408 * * * * [points]: Computing exacts for 38 points
50.429 * * * * [points]: Setting MPFR precision to 64
50.433 * * * * [points]: Setting MPFR precision to 320
50.441 * * * * [points]: Filtering points with unrepresentable outputs
50.442 * * * * [points]: Sampling 31 additional inputs, on iter 42 have 7969 / 8000
50.442 * * * * [points]: Computing exacts for 31 points
50.449 * * * * [points]: Setting MPFR precision to 64
50.453 * * * * [points]: Setting MPFR precision to 320
50.458 * * * * [points]: Filtering points with unrepresentable outputs
50.458 * * * * [points]: Sampling 29 additional inputs, on iter 43 have 7971 / 8000
50.458 * * * * [points]: Computing exacts for 29 points
50.465 * * * * [points]: Setting MPFR precision to 64
50.470 * * * * [points]: Setting MPFR precision to 320
50.474 * * * * [points]: Filtering points with unrepresentable outputs
50.474 * * * * [points]: Sampling 24 additional inputs, on iter 44 have 7976 / 8000
50.474 * * * * [points]: Computing exacts for 24 points
50.480 * * * * [points]: Setting MPFR precision to 64
50.482 * * * * [points]: Setting MPFR precision to 320
50.484 * * * * [points]: Filtering points with unrepresentable outputs
50.484 * * * * [points]: Sampling 21 additional inputs, on iter 45 have 7979 / 8000
50.484 * * * * [points]: Computing exacts for 21 points
50.487 * * * * [points]: Setting MPFR precision to 64
50.489 * * * * [points]: Setting MPFR precision to 320
50.490 * * * * [points]: Filtering points with unrepresentable outputs
50.490 * * * * [points]: Sampling 17 additional inputs, on iter 46 have 7983 / 8000
50.491 * * * * [points]: Computing exacts for 17 points
50.494 * * * * [points]: Setting MPFR precision to 64
50.495 * * * * [points]: Setting MPFR precision to 320
50.497 * * * * [points]: Filtering points with unrepresentable outputs
50.497 * * * * [points]: Sampling 14 additional inputs, on iter 47 have 7986 / 8000
50.497 * * * * [points]: Computing exacts for 14 points
50.502 * * * * [points]: Setting MPFR precision to 64
50.504 * * * * [points]: Setting MPFR precision to 320
50.506 * * * * [points]: Filtering points with unrepresentable outputs
50.506 * * * * [points]: Sampling 14 additional inputs, on iter 48 have 7986 / 8000
50.506 * * * * [points]: Computing exacts for 14 points
50.513 * * * * [points]: Setting MPFR precision to 64
50.515 * * * * [points]: Setting MPFR precision to 320
50.517 * * * * [points]: Filtering points with unrepresentable outputs
50.517 * * * * [points]: Sampling 13 additional inputs, on iter 49 have 7987 / 8000
50.517 * * * * [points]: Computing exacts for 13 points
50.524 * * * * [points]: Setting MPFR precision to 64
50.525 * * * * [points]: Setting MPFR precision to 320
50.526 * * * * [points]: Filtering points with unrepresentable outputs
50.526 * * * * [points]: Sampling 11 additional inputs, on iter 50 have 7989 / 8000
50.526 * * * * [points]: Computing exacts for 11 points
50.530 * * * * [points]: Setting MPFR precision to 64
50.531 * * * * [points]: Setting MPFR precision to 320
50.533 * * * * [points]: Filtering points with unrepresentable outputs
50.533 * * * * [points]: Sampling 9 additional inputs, on iter 51 have 7991 / 8000
50.533 * * * * [points]: Computing exacts for 9 points
50.540 * * * * [points]: Setting MPFR precision to 64
50.541 * * * * [points]: Setting MPFR precision to 320
50.542 * * * * [points]: Filtering points with unrepresentable outputs
50.542 * * * * [points]: Sampling 9 additional inputs, on iter 52 have 7991 / 8000
50.543 * * * * [points]: Computing exacts for 9 points
50.549 * * * * [points]: Setting MPFR precision to 64
50.551 * * * * [points]: Setting MPFR precision to 320
50.552 * * * * [points]: Filtering points with unrepresentable outputs
50.552 * * * * [points]: Sampling 8 additional inputs, on iter 53 have 7992 / 8000
50.552 * * * * [points]: Computing exacts for 8 points
50.580 * * * * [points]: Setting MPFR precision to 64
50.581 * * * * [points]: Setting MPFR precision to 320
50.582 * * * * [points]: Filtering points with unrepresentable outputs
50.582 * * * * [points]: Sampling 6 additional inputs, on iter 54 have 7994 / 8000
50.582 * * * * [points]: Computing exacts for 6 points
50.592 * * * * [points]: Setting MPFR precision to 64
50.593 * * * * [points]: Setting MPFR precision to 320
50.594 * * * * [points]: Filtering points with unrepresentable outputs
50.594 * * * * [points]: Sampling 6 additional inputs, on iter 55 have 7994 / 8000
50.594 * * * * [points]: Computing exacts for 6 points
50.600 * * * * [points]: Setting MPFR precision to 64
50.600 * * * * [points]: Setting MPFR precision to 320
50.601 * * * * [points]: Filtering points with unrepresentable outputs
50.601 * * * * [points]: Sampling 4 additional inputs, on iter 56 have 7996 / 8000
50.601 * * * * [points]: Computing exacts for 4 points
50.604 * * * * [points]: Setting MPFR precision to 64
50.605 * * * * [points]: Setting MPFR precision to 320
50.605 * * * * [points]: Filtering points with unrepresentable outputs
50.605 * * * * [points]: Sampling 4 additional inputs, on iter 57 have 7996 / 8000
50.605 * * * * [points]: Computing exacts for 4 points
50.609 * * * * [points]: Setting MPFR precision to 64
50.610 * * * * [points]: Setting MPFR precision to 320
50.610 * * * * [points]: Filtering points with unrepresentable outputs
50.610 * * * * [points]: Sampling 4 additional inputs, on iter 58 have 7997 / 8000
50.610 * * * * [points]: Computing exacts for 4 points
50.614 * * * * [points]: Setting MPFR precision to 64
50.614 * * * * [points]: Setting MPFR precision to 320
50.614 * * * * [points]: Filtering points with unrepresentable outputs
50.614 * * * * [points]: Sampling 4 additional inputs, on iter 59 have 7998 / 8000
50.614 * * * * [points]: Computing exacts for 4 points
50.618 * * * * [points]: Setting MPFR precision to 64
50.619 * * * * [points]: Setting MPFR precision to 320
50.619 * * * * [points]: Filtering points with unrepresentable outputs
50.619 * * * * [points]: Sampling 4 additional inputs, on iter 60 have 7998 / 8000
50.619 * * * * [points]: Computing exacts for 4 points
50.623 * * * * [points]: Setting MPFR precision to 64
50.623 * * * * [points]: Setting MPFR precision to 320
50.623 * * * * [points]: Filtering points with unrepresentable outputs
50.623 * * * * [points]: Sampling 4 additional inputs, on iter 61 have 7999 / 8000
50.623 * * * * [points]: Computing exacts for 4 points
50.627 * * * * [points]: Setting MPFR precision to 64
50.627 * * * * [points]: Setting MPFR precision to 320
50.628 * * * * [points]: Filtering points with unrepresentable outputs
50.628 * * * * [points]: Sampled 8000 points with exact outputs
53.579 * [regime-testing]: Baseline error score: 64.0
53.586 * [regime-testing]: Oracle error score: 64.0
53.598 * [regime-testing]: End program error score: 0.14057647850286753