0.001 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.001 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.003 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.005 * * * * [points]: Setting MPFR precision to 64
0.007 * * * * [points]: Setting MPFR precision to 320
0.008 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.011 * * * * [points]: Setting MPFR precision to 64
0.013 * * * * [points]: Setting MPFR precision to 320
0.015 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.019 * * * * [points]: Setting MPFR precision to 64
0.023 * * * * [points]: Setting MPFR precision to 320
0.026 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.030 * * * * [points]: Setting MPFR precision to 64
0.035 * * * * [points]: Setting MPFR precision to 320
0.043 * * * * [points]: Computing exacts for 256 points
0.050 * * * * [points]: Setting MPFR precision to 64
0.073 * * * * [points]: Setting MPFR precision to 320
0.091 * * * * [points]: Filtering points with unrepresentable outputs
0.091 * * * * [points]: Sampling 229 additional inputs, on iter 1 have 27 / 256
0.093 * * * * [points]: Computing exacts on every 14 of 229 points to ramp up precision
0.096 * * * * [points]: Setting MPFR precision to 64
0.097 * * * * [points]: Setting MPFR precision to 320
0.098 * * * * [points]: Computing exacts on every 7 of 229 points to ramp up precision
0.121 * * * * [points]: Setting MPFR precision to 64
0.123 * * * * [points]: Setting MPFR precision to 320
0.125 * * * * [points]: Computing exacts on every 3 of 229 points to ramp up precision
0.128 * * * * [points]: Setting MPFR precision to 64
0.134 * * * * [points]: Setting MPFR precision to 320
0.138 * * * * [points]: Computing exacts for 229 points
0.141 * * * * [points]: Setting MPFR precision to 64
0.157 * * * * [points]: Setting MPFR precision to 320
0.174 * * * * [points]: Filtering points with unrepresentable outputs
0.174 * * * * [points]: Sampling 194 additional inputs, on iter 2 have 62 / 256
0.175 * * * * [points]: Computing exacts on every 12 of 194 points to ramp up precision
0.178 * * * * [points]: Setting MPFR precision to 64
0.179 * * * * [points]: Setting MPFR precision to 320
0.180 * * * * [points]: Computing exacts on every 6 of 194 points to ramp up precision
0.184 * * * * [points]: Setting MPFR precision to 64
0.186 * * * * [points]: Setting MPFR precision to 320
0.188 * * * * [points]: Computing exacts on every 3 of 194 points to ramp up precision
0.196 * * * * [points]: Setting MPFR precision to 64
0.202 * * * * [points]: Setting MPFR precision to 320
0.209 * * * * [points]: Computing exacts for 194 points
0.215 * * * * [points]: Setting MPFR precision to 64
0.241 * * * * [points]: Setting MPFR precision to 320
0.304 * * * * [points]: Filtering points with unrepresentable outputs
0.305 * * * * [points]: Sampling 161 additional inputs, on iter 3 have 95 / 256
0.306 * * * * [points]: Computing exacts on every 10 of 161 points to ramp up precision
0.315 * * * * [points]: Setting MPFR precision to 64
0.317 * * * * [points]: Setting MPFR precision to 320
0.319 * * * * [points]: Computing exacts on every 5 of 161 points to ramp up precision
0.326 * * * * [points]: Setting MPFR precision to 64
0.330 * * * * [points]: Setting MPFR precision to 320
0.333 * * * * [points]: Computing exacts on every 2 of 161 points to ramp up precision
0.340 * * * * [points]: Setting MPFR precision to 64
0.347 * * * * [points]: Setting MPFR precision to 320
0.354 * * * * [points]: Computing exacts for 161 points
0.361 * * * * [points]: Setting MPFR precision to 64
0.382 * * * * [points]: Setting MPFR precision to 320
0.403 * * * * [points]: Filtering points with unrepresentable outputs
0.404 * * * * [points]: Sampling 142 additional inputs, on iter 4 have 114 / 256
0.405 * * * * [points]: Computing exacts on every 8 of 142 points to ramp up precision
0.412 * * * * [points]: Setting MPFR precision to 64
0.414 * * * * [points]: Setting MPFR precision to 320
0.416 * * * * [points]: Computing exacts on every 4 of 142 points to ramp up precision
0.423 * * * * [points]: Setting MPFR precision to 64
0.427 * * * * [points]: Setting MPFR precision to 320
0.431 * * * * [points]: Computing exacts on every 2 of 142 points to ramp up precision
0.438 * * * * [points]: Setting MPFR precision to 64
0.444 * * * * [points]: Setting MPFR precision to 320
0.451 * * * * [points]: Computing exacts for 142 points
0.490 * * * * [points]: Setting MPFR precision to 64
0.512 * * * * [points]: Setting MPFR precision to 320
0.530 * * * * [points]: Filtering points with unrepresentable outputs
0.530 * * * * [points]: Sampling 123 additional inputs, on iter 5 have 133 / 256
0.531 * * * * [points]: Computing exacts on every 7 of 123 points to ramp up precision
0.538 * * * * [points]: Setting MPFR precision to 64
0.541 * * * * [points]: Setting MPFR precision to 320
0.543 * * * * [points]: Computing exacts on every 3 of 123 points to ramp up precision
0.550 * * * * [points]: Setting MPFR precision to 64
0.554 * * * * [points]: Setting MPFR precision to 320
0.558 * * * * [points]: Computing exacts for 123 points
0.565 * * * * [points]: Setting MPFR precision to 64
0.581 * * * * [points]: Setting MPFR precision to 320
0.598 * * * * [points]: Filtering points with unrepresentable outputs
0.598 * * * * [points]: Sampling 112 additional inputs, on iter 6 have 144 / 256
0.599 * * * * [points]: Computing exacts on every 7 of 112 points to ramp up precision
0.607 * * * * [points]: Setting MPFR precision to 64
0.609 * * * * [points]: Setting MPFR precision to 320
0.611 * * * * [points]: Computing exacts on every 3 of 112 points to ramp up precision
0.618 * * * * [points]: Setting MPFR precision to 64
0.622 * * * * [points]: Setting MPFR precision to 320
0.626 * * * * [points]: Computing exacts for 112 points
0.633 * * * * [points]: Setting MPFR precision to 64
0.648 * * * * [points]: Setting MPFR precision to 320
0.663 * * * * [points]: Filtering points with unrepresentable outputs
0.663 * * * * [points]: Sampling 103 additional inputs, on iter 7 have 153 / 256
0.664 * * * * [points]: Computing exacts on every 6 of 103 points to ramp up precision
0.671 * * * * [points]: Setting MPFR precision to 64
0.703 * * * * [points]: Setting MPFR precision to 320
0.705 * * * * [points]: Computing exacts on every 3 of 103 points to ramp up precision
0.715 * * * * [points]: Setting MPFR precision to 64
0.719 * * * * [points]: Setting MPFR precision to 320
0.722 * * * * [points]: Computing exacts for 103 points
0.729 * * * * [points]: Setting MPFR precision to 64
0.743 * * * * [points]: Setting MPFR precision to 320
0.758 * * * * [points]: Filtering points with unrepresentable outputs
0.758 * * * * [points]: Sampling 92 additional inputs, on iter 8 have 164 / 256
0.759 * * * * [points]: Computing exacts on every 5 of 92 points to ramp up precision
0.766 * * * * [points]: Setting MPFR precision to 64
0.768 * * * * [points]: Setting MPFR precision to 320
0.770 * * * * [points]: Computing exacts on every 2 of 92 points to ramp up precision
0.777 * * * * [points]: Setting MPFR precision to 64
0.781 * * * * [points]: Setting MPFR precision to 320
0.785 * * * * [points]: Computing exacts for 92 points
0.792 * * * * [points]: Setting MPFR precision to 64
0.804 * * * * [points]: Setting MPFR precision to 320
0.817 * * * * [points]: Filtering points with unrepresentable outputs
0.817 * * * * [points]: Sampling 81 additional inputs, on iter 9 have 175 / 256
0.818 * * * * [points]: Computing exacts on every 5 of 81 points to ramp up precision
0.825 * * * * [points]: Setting MPFR precision to 64
0.827 * * * * [points]: Setting MPFR precision to 320
0.828 * * * * [points]: Computing exacts on every 2 of 81 points to ramp up precision
0.835 * * * * [points]: Setting MPFR precision to 64
0.839 * * * * [points]: Setting MPFR precision to 320
0.843 * * * * [points]: Computing exacts for 81 points
0.849 * * * * [points]: Setting MPFR precision to 64
0.860 * * * * [points]: Setting MPFR precision to 320
0.871 * * * * [points]: Filtering points with unrepresentable outputs
0.872 * * * * [points]: Sampling 71 additional inputs, on iter 10 have 185 / 256
0.872 * * * * [points]: Computing exacts on every 4 of 71 points to ramp up precision
0.913 * * * * [points]: Setting MPFR precision to 64
0.915 * * * * [points]: Setting MPFR precision to 320
0.917 * * * * [points]: Computing exacts on every 2 of 71 points to ramp up precision
0.927 * * * * [points]: Setting MPFR precision to 64
0.931 * * * * [points]: Setting MPFR precision to 320
0.934 * * * * [points]: Computing exacts for 71 points
0.941 * * * * [points]: Setting MPFR precision to 64
0.950 * * * * [points]: Setting MPFR precision to 320
0.959 * * * * [points]: Filtering points with unrepresentable outputs
0.960 * * * * [points]: Sampling 62 additional inputs, on iter 11 have 194 / 256
0.960 * * * * [points]: Computing exacts on every 3 of 62 points to ramp up precision
0.967 * * * * [points]: Setting MPFR precision to 64
0.969 * * * * [points]: Setting MPFR precision to 320
0.972 * * * * [points]: Computing exacts for 62 points
0.979 * * * * [points]: Setting MPFR precision to 64
0.987 * * * * [points]: Setting MPFR precision to 320
0.996 * * * * [points]: Filtering points with unrepresentable outputs
0.996 * * * * [points]: Sampling 53 additional inputs, on iter 12 have 203 / 256
0.996 * * * * [points]: Computing exacts on every 3 of 53 points to ramp up precision
1.003 * * * * [points]: Setting MPFR precision to 64
1.005 * * * * [points]: Setting MPFR precision to 320
1.007 * * * * [points]: Computing exacts for 53 points
1.014 * * * * [points]: Setting MPFR precision to 64
1.021 * * * * [points]: Setting MPFR precision to 320
1.028 * * * * [points]: Filtering points with unrepresentable outputs
1.028 * * * * [points]: Sampling 49 additional inputs, on iter 13 have 207 / 256
1.029 * * * * [points]: Computing exacts on every 3 of 49 points to ramp up precision
1.036 * * * * [points]: Setting MPFR precision to 64
1.038 * * * * [points]: Setting MPFR precision to 320
1.040 * * * * [points]: Computing exacts for 49 points
1.047 * * * * [points]: Setting MPFR precision to 64
1.055 * * * * [points]: Setting MPFR precision to 320
1.061 * * * * [points]: Filtering points with unrepresentable outputs
1.061 * * * * [points]: Sampling 41 additional inputs, on iter 14 have 215 / 256
1.062 * * * * [points]: Computing exacts on every 2 of 41 points to ramp up precision
1.069 * * * * [points]: Setting MPFR precision to 64
1.071 * * * * [points]: Setting MPFR precision to 320
1.073 * * * * [points]: Computing exacts for 41 points
1.106 * * * * [points]: Setting MPFR precision to 64
1.111 * * * * [points]: Setting MPFR precision to 320
1.120 * * * * [points]: Filtering points with unrepresentable outputs
1.120 * * * * [points]: Sampling 39 additional inputs, on iter 15 have 217 / 256
1.121 * * * * [points]: Computing exacts on every 2 of 39 points to ramp up precision
1.128 * * * * [points]: Setting MPFR precision to 64
1.130 * * * * [points]: Setting MPFR precision to 320
1.131 * * * * [points]: Computing exacts for 39 points
1.138 * * * * [points]: Setting MPFR precision to 64
1.143 * * * * [points]: Setting MPFR precision to 320
1.149 * * * * [points]: Filtering points with unrepresentable outputs
1.149 * * * * [points]: Sampling 34 additional inputs, on iter 16 have 222 / 256
1.149 * * * * [points]: Computing exacts on every 2 of 34 points to ramp up precision
1.157 * * * * [points]: Setting MPFR precision to 64
1.158 * * * * [points]: Setting MPFR precision to 320
1.160 * * * * [points]: Computing exacts for 34 points
1.168 * * * * [points]: Setting MPFR precision to 64
1.172 * * * * [points]: Setting MPFR precision to 320
1.178 * * * * [points]: Filtering points with unrepresentable outputs
1.178 * * * * [points]: Sampling 31 additional inputs, on iter 17 have 225 / 256
1.178 * * * * [points]: Computing exacts for 31 points
1.185 * * * * [points]: Setting MPFR precision to 64
1.189 * * * * [points]: Setting MPFR precision to 320
1.193 * * * * [points]: Filtering points with unrepresentable outputs
1.194 * * * * [points]: Sampling 27 additional inputs, on iter 18 have 229 / 256
1.194 * * * * [points]: Computing exacts for 27 points
1.201 * * * * [points]: Setting MPFR precision to 64
1.204 * * * * [points]: Setting MPFR precision to 320
1.208 * * * * [points]: Filtering points with unrepresentable outputs
1.208 * * * * [points]: Sampling 25 additional inputs, on iter 19 have 231 / 256
1.208 * * * * [points]: Computing exacts for 25 points
1.215 * * * * [points]: Setting MPFR precision to 64
1.219 * * * * [points]: Setting MPFR precision to 320
1.222 * * * * [points]: Filtering points with unrepresentable outputs
1.222 * * * * [points]: Sampling 20 additional inputs, on iter 20 have 236 / 256
1.222 * * * * [points]: Computing exacts for 20 points
1.229 * * * * [points]: Setting MPFR precision to 64
1.232 * * * * [points]: Setting MPFR precision to 320
1.233 * * * * [points]: Filtering points with unrepresentable outputs
1.233 * * * * [points]: Sampling 19 additional inputs, on iter 21 have 237 / 256
1.233 * * * * [points]: Computing exacts for 19 points
1.237 * * * * [points]: Setting MPFR precision to 64
1.238 * * * * [points]: Setting MPFR precision to 320
1.239 * * * * [points]: Filtering points with unrepresentable outputs
1.239 * * * * [points]: Sampling 16 additional inputs, on iter 22 have 240 / 256
1.239 * * * * [points]: Computing exacts for 16 points
1.243 * * * * [points]: Setting MPFR precision to 64
1.244 * * * * [points]: Setting MPFR precision to 320
1.245 * * * * [points]: Filtering points with unrepresentable outputs
1.245 * * * * [points]: Sampling 13 additional inputs, on iter 23 have 243 / 256
1.245 * * * * [points]: Computing exacts for 13 points
1.249 * * * * [points]: Setting MPFR precision to 64
1.263 * * * * [points]: Setting MPFR precision to 320
1.266 * * * * [points]: Filtering points with unrepresentable outputs
1.266 * * * * [points]: Sampling 10 additional inputs, on iter 24 have 246 / 256
1.266 * * * * [points]: Computing exacts for 10 points
1.270 * * * * [points]: Setting MPFR precision to 64
1.271 * * * * [points]: Setting MPFR precision to 320
1.271 * * * * [points]: Filtering points with unrepresentable outputs
1.271 * * * * [points]: Sampling 9 additional inputs, on iter 25 have 247 / 256
1.272 * * * * [points]: Computing exacts for 9 points
1.275 * * * * [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 9 additional inputs, on iter 26 have 247 / 256
1.277 * * * * [points]: Computing exacts for 9 points
1.280 * * * * [points]: Setting MPFR precision to 64
1.281 * * * * [points]: Setting MPFR precision to 320
1.281 * * * * [points]: Filtering points with unrepresentable outputs
1.281 * * * * [points]: Sampling 7 additional inputs, on iter 27 have 249 / 256
1.282 * * * * [points]: Computing exacts for 7 points
1.285 * * * * [points]: Setting MPFR precision to 64
1.285 * * * * [points]: Setting MPFR precision to 320
1.286 * * * * [points]: Filtering points with unrepresentable outputs
1.286 * * * * [points]: Sampling 6 additional inputs, on iter 28 have 250 / 256
1.286 * * * * [points]: Computing exacts for 6 points
1.289 * * * * [points]: Setting MPFR precision to 64
1.290 * * * * [points]: Setting MPFR precision to 320
1.290 * * * * [points]: Filtering points with unrepresentable outputs
1.290 * * * * [points]: Sampling 5 additional inputs, on iter 29 have 251 / 256
1.291 * * * * [points]: Computing exacts for 5 points
1.294 * * * * [points]: Setting MPFR precision to 64
1.294 * * * * [points]: Setting MPFR precision to 320
1.295 * * * * [points]: Filtering points with unrepresentable outputs
1.295 * * * * [points]: Sampling 4 additional inputs, on iter 30 have 252 / 256
1.295 * * * * [points]: Computing exacts for 4 points
1.298 * * * * [points]: Setting MPFR precision to 64
1.298 * * * * [points]: Setting MPFR precision to 320
1.299 * * * * [points]: Filtering points with unrepresentable outputs
1.299 * * * * [points]: Sampling 4 additional inputs, on iter 31 have 252 / 256
1.299 * * * * [points]: Computing exacts for 4 points
1.302 * * * * [points]: Setting MPFR precision to 64
1.303 * * * * [points]: Setting MPFR precision to 320
1.303 * * * * [points]: Filtering points with unrepresentable outputs
1.303 * * * * [points]: Sampling 4 additional inputs, on iter 32 have 253 / 256
1.303 * * * * [points]: Computing exacts for 4 points
1.307 * * * * [points]: Setting MPFR precision to 64
1.307 * * * * [points]: Setting MPFR precision to 320
1.308 * * * * [points]: Filtering points with unrepresentable outputs
1.308 * * * * [points]: Sampling 4 additional inputs, on iter 33 have 254 / 256
1.308 * * * * [points]: Computing exacts for 4 points
1.311 * * * * [points]: Setting MPFR precision to 64
1.312 * * * * [points]: Setting MPFR precision to 320
1.312 * * * * [points]: Filtering points with unrepresentable outputs
1.312 * * * * [points]: Sampling 4 additional inputs, on iter 34 have 254 / 256
1.312 * * * * [points]: Computing exacts for 4 points
1.316 * * * * [points]: Setting MPFR precision to 64
1.316 * * * * [points]: Setting MPFR precision to 320
1.316 * * * * [points]: Filtering points with unrepresentable outputs
1.316 * * * * [points]: Sampling 4 additional inputs, on iter 35 have 254 / 256
1.316 * * * * [points]: Computing exacts for 4 points
1.320 * * * * [points]: Setting MPFR precision to 64
1.320 * * * * [points]: Setting MPFR precision to 320
1.320 * * * * [points]: Filtering points with unrepresentable outputs
1.321 * * * * [points]: Sampling 4 additional inputs, on iter 36 have 254 / 256
1.321 * * * * [points]: Computing exacts for 4 points
1.324 * * * * [points]: Setting MPFR precision to 64
1.324 * * * * [points]: Setting MPFR precision to 320
1.325 * * * * [points]: Filtering points with unrepresentable outputs
1.325 * * * * [points]: Sampling 4 additional inputs, on iter 37 have 254 / 256
1.325 * * * * [points]: Computing exacts for 4 points
1.329 * * * * [points]: Setting MPFR precision to 64
1.330 * * * * [points]: Setting MPFR precision to 320
1.330 * * * * [points]: Filtering points with unrepresentable outputs
1.330 * * * * [points]: Sampled 256 points with exact outputs
1.330 * * * [progress]: [2/2] Setting up program.
1.363 * [progress]: [Phase 2 of 3] Improving.
1.363 * * * * [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.364 * [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.364 * * [simplify]: iters left: 6 (15 enodes)
1.372 * * [simplify]: iters left: 5 (54 enodes)
1.391 * * [simplify]: iters left: 4 (174 enodes)
1.516 * * [simplify]: Extracting #0: cost 1 inf + 0
1.516 * * [simplify]: Extracting #1: cost 2 inf + 0
1.516 * * [simplify]: Extracting #2: cost 52 inf + 0
1.517 * * [simplify]: Extracting #3: cost 218 inf + 0
1.519 * * [simplify]: Extracting #4: cost 350 inf + 488
1.527 * * [simplify]: Extracting #5: cost 271 inf + 83278
1.551 * * [simplify]: Extracting #6: cost 99 inf + 301152
1.593 * * [simplify]: Extracting #7: cost 13 inf + 445414
1.644 * * [simplify]: Extracting #8: cost 0 inf + 471346
1.674 * [simplify]: Simplified to (sqrt.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c)))
1.674 * [simplify]: Simplified (2) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c))))
1.687 * * [progress]: iteration 1 / 4
1.687 * * * [progress]: picking best candidate
1.707 * * * * [pick]: Picked  #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
1.707 * * * [progress]: localizing error
1.932 * * * [progress]: generating rewritten candidates
1.933 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 2)
1.955 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
1.979 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
2.003 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
2.030 * * * [progress]: generating series expansions
2.030 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 2)
2.030 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
2.030 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
2.030 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
2.030 * * * [progress]: simplifying candidates
2.030 * * * * [progress]: [ 1 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
2.030 * * * * [progress]: [ 2 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
2.031 * * * * [progress]: [ 3 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 c)))))>
2.031 * * * * [progress]: [ 4 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
2.031 * * * * [progress]: [ 5 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
2.031 * * * * [progress]: [ 6 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
2.031 * * * * [progress]: [ 7 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (+.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (neg.p16 c)))))>
2.031 * [simplify]: Simplifying (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (neg.p16 c))
2.031 * * [simplify]: iters left: 6 (14 enodes)
2.034 * * [simplify]: iters left: 5 (47 enodes)
2.044 * * [simplify]: iters left: 4 (142 enodes)
2.090 * * [simplify]: Extracting #0: cost 1 inf + 0
2.090 * * [simplify]: Extracting #1: cost 47 inf + 0
2.090 * * [simplify]: Extracting #2: cost 138 inf + 0
2.091 * * [simplify]: Extracting #3: cost 255 inf + 167
2.093 * * [simplify]: Extracting #4: cost 197 inf + 51251
2.108 * * [simplify]: Extracting #5: cost 37 inf + 258423
2.124 * * [simplify]: Extracting #6: cost 5 inf + 309031
2.143 * * [simplify]: Extracting #7: cost 0 inf + 319571
2.161 * [simplify]: Simplified to (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (neg.p16 c))
2.161 * [simplify]: Simplified (2 1 2) to (λ (a b c) (sqrt.p16 (+.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (neg.p16 c)))))
2.162 * * * * [progress]: [ 8 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (*.p16 (neg.p16 c) (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))))))>
2.162 * [simplify]: Simplifying (*.p16 (neg.p16 c) (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)))
2.162 * * [simplify]: iters left: 6 (14 enodes)
2.165 * * [simplify]: iters left: 5 (47 enodes)
2.174 * * [simplify]: iters left: 4 (147 enodes)
2.230 * * [simplify]: Extracting #0: cost 1 inf + 0
2.230 * * [simplify]: Extracting #1: cost 41 inf + 0
2.231 * * [simplify]: Extracting #2: cost 134 inf + 0
2.232 * * [simplify]: Extracting #3: cost 242 inf + 248
2.233 * * [simplify]: Extracting #4: cost 243 inf + 24866
2.243 * * [simplify]: Extracting #5: cost 84 inf + 207409
2.261 * * [simplify]: Extracting #6: cost 1 inf + 335141
2.295 * * [simplify]: Extracting #7: cost 0 inf + 336465
2.330 * [simplify]: Simplified to (*.p16 (*.p16 (*.p16 (neg.p16 c) (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) a)) (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)))
2.330 * [simplify]: Simplified (2 1 2) to (λ (a b c) (sqrt.p16 (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (*.p16 (*.p16 (*.p16 (neg.p16 c) (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) a)) (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2))))))
2.330 * * * * [progress]: [ 9 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
2.331 * [simplify]: Simplifying (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))
2.331 * * [simplify]: iters left: 5 (10 enodes)
2.336 * * [simplify]: iters left: 4 (31 enodes)
2.343 * * [simplify]: iters left: 3 (69 enodes)
2.358 * * [simplify]: iters left: 2 (236 enodes)
2.443 * * [simplify]: Extracting #0: cost 1 inf + 0
2.443 * * [simplify]: Extracting #1: cost 28 inf + 0
2.443 * * [simplify]: Extracting #2: cost 177 inf + 0
2.444 * * [simplify]: Extracting #3: cost 284 inf + 4676
2.448 * * [simplify]: Extracting #4: cost 222 inf + 71674
2.462 * * [simplify]: Extracting #5: cost 74 inf + 271655
2.485 * * [simplify]: Extracting #6: cost 0 inf + 386774
2.508 * * [simplify]: Extracting #7: cost 0 inf + 386134
2.532 * [simplify]: Simplified to (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))
2.533 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))
2.533 * * * * [progress]: [ 10 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
2.533 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
2.533 * * [simplify]: iters left: 4 (9 enodes)
2.535 * * [simplify]: iters left: 3 (21 enodes)
2.538 * * [simplify]: iters left: 2 (27 enodes)
2.542 * * [simplify]: iters left: 1 (28 enodes)
2.545 * * [simplify]: Extracting #0: cost 1 inf + 0
2.545 * * [simplify]: Extracting #1: cost 3 inf + 0
2.545 * * [simplify]: Extracting #2: cost 4 inf + 1
2.545 * * [simplify]: Extracting #3: cost 10 inf + 1
2.545 * * [simplify]: Extracting #4: cost 5 inf + 47
2.545 * * [simplify]: Extracting #5: cost 1 inf + 738
2.545 * * [simplify]: Extracting #6: cost 0 inf + 1302
2.546 * [simplify]: Simplified to (+.p16 c (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)))
2.546 * [simplify]: Simplified (2 1 2) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c))) (+.p16 c (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))))))
2.546 * * * * [progress]: [ 11 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))))>
2.546 * [simplify]: Simplifying (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
2.546 * * [simplify]: iters left: 6 (16 enodes)
2.550 * * [simplify]: iters left: 5 (62 enodes)
2.563 * * [simplify]: iters left: 4 (229 enodes)
2.665 * * [simplify]: Extracting #0: cost 1 inf + 0
2.665 * * [simplify]: Extracting #1: cost 65 inf + 0
2.667 * * [simplify]: Extracting #2: cost 288 inf + 0
2.670 * * [simplify]: Extracting #3: cost 447 inf + 407
2.686 * * [simplify]: Extracting #4: cost 317 inf + 175419
2.734 * * [simplify]: Extracting #5: cost 63 inf + 601180
2.775 * * [simplify]: Extracting #6: cost 6 inf + 706836
2.819 * * [simplify]: Extracting #7: cost 0 inf + 722900
2.863 * [simplify]: Simplified to (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (+.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)))
2.863 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (+.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))))
2.863 * * * * [progress]: [ 12 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))>
2.863 * [simplify]: Simplifying (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
2.863 * * [simplify]: iters left: 6 (16 enodes)
2.867 * * [simplify]: iters left: 5 (62 enodes)
2.880 * * [simplify]: iters left: 4 (229 enodes)
2.978 * * [simplify]: Extracting #0: cost 1 inf + 0
2.978 * * [simplify]: Extracting #1: cost 59 inf + 0
2.979 * * [simplify]: Extracting #2: cost 276 inf + 0
2.981 * * [simplify]: Extracting #3: cost 431 inf + 809
2.991 * * [simplify]: Extracting #4: cost 315 inf + 215074
3.026 * * [simplify]: Extracting #5: cost 47 inf + 641310
3.068 * * [simplify]: Extracting #6: cost 3 inf + 707919
3.141 * * [simplify]: Extracting #7: cost 0 inf + 715051
3.225 * [simplify]: Simplified to (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)))))
3.225 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b))))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))
3.225 * * * * [progress]: [ 13 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (real->posit16 2))))>
3.226 * [simplify]: Simplifying (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
3.226 * * [simplify]: iters left: 6 (14 enodes)
3.232 * * [simplify]: iters left: 5 (51 enodes)
3.252 * * [simplify]: iters left: 4 (171 enodes)
3.413 * * [simplify]: Extracting #0: cost 1 inf + 0
3.413 * * [simplify]: Extracting #1: cost 53 inf + 0
3.414 * * [simplify]: Extracting #2: cost 257 inf + 0
3.417 * * [simplify]: Extracting #3: cost 412 inf + 938
3.434 * * [simplify]: Extracting #4: cost 235 inf + 203438
3.490 * * [simplify]: Extracting #5: cost 22 inf + 506689
3.550 * * [simplify]: Extracting #6: cost 0 inf + 540771
3.607 * [simplify]: Simplified to (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (+.p16 (+.p16 b a) c) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c))
3.608 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (+.p16 (+.p16 b a) c) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c)) (real->posit16 2))))
3.608 * * * * [progress]: [ 14 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)))))>
3.608 * * * * [progress]: [ 15 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
3.608 * [simplify]: Simplifying (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))
3.608 * * [simplify]: iters left: 6 (15 enodes)
3.616 * * [simplify]: iters left: 5 (54 enodes)
3.639 * * [simplify]: iters left: 4 (174 enodes)
3.784 * * [simplify]: Extracting #0: cost 1 inf + 0
3.784 * * [simplify]: Extracting #1: cost 2 inf + 0
3.784 * * [simplify]: Extracting #2: cost 52 inf + 0
3.785 * * [simplify]: Extracting #3: cost 218 inf + 0
3.788 * * [simplify]: Extracting #4: cost 350 inf + 488
3.796 * * [simplify]: Extracting #5: cost 271 inf + 83278
3.825 * * [simplify]: Extracting #6: cost 99 inf + 301152
3.874 * * [simplify]: Extracting #7: cost 13 inf + 445414
4.319 * * [simplify]: Extracting #8: cost 0 inf + 471346
4.373 * [simplify]: Simplified to (sqrt.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c)))
4.373 * [simplify]: Simplified (2) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c))))
4.373 * * * * [progress]: [ 16 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
4.373 * [simplify]: Simplifying (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))
4.374 * * [simplify]: iters left: 6 (15 enodes)
4.380 * * [simplify]: iters left: 5 (54 enodes)
4.400 * * [simplify]: iters left: 4 (174 enodes)
4.537 * * [simplify]: Extracting #0: cost 1 inf + 0
4.537 * * [simplify]: Extracting #1: cost 2 inf + 0
4.537 * * [simplify]: Extracting #2: cost 52 inf + 0
4.537 * * [simplify]: Extracting #3: cost 218 inf + 0
4.538 * * [simplify]: Extracting #4: cost 350 inf + 488
4.543 * * [simplify]: Extracting #5: cost 271 inf + 83278
4.557 * * [simplify]: Extracting #6: cost 99 inf + 301152
4.584 * * [simplify]: Extracting #7: cost 13 inf + 445414
4.611 * * [simplify]: Extracting #8: cost 0 inf + 471346
4.638 * [simplify]: Simplified to (sqrt.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c)))
4.638 * [simplify]: Simplified (2) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c))))
4.639 * * * * [progress]: [ 17 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
4.639 * [simplify]: Simplifying (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))
4.639 * * [simplify]: iters left: 6 (15 enodes)
4.645 * * [simplify]: iters left: 5 (54 enodes)
4.666 * * [simplify]: iters left: 4 (174 enodes)
4.748 * * [simplify]: Extracting #0: cost 1 inf + 0
4.748 * * [simplify]: Extracting #1: cost 2 inf + 0
4.748 * * [simplify]: Extracting #2: cost 52 inf + 0
4.749 * * [simplify]: Extracting #3: cost 218 inf + 0
4.751 * * [simplify]: Extracting #4: cost 350 inf + 488
4.760 * * [simplify]: Extracting #5: cost 271 inf + 83278
4.778 * * [simplify]: Extracting #6: cost 99 inf + 301152
4.802 * * [simplify]: Extracting #7: cost 13 inf + 445414
4.829 * * [simplify]: Extracting #8: cost 0 inf + 471346
4.858 * [simplify]: Simplified to (sqrt.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c)))
4.858 * [simplify]: Simplified (2) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c))))
4.858 * * * * [progress]: [ 18 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
4.858 * [simplify]: Simplifying (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))
4.858 * * [simplify]: iters left: 6 (15 enodes)
4.862 * * [simplify]: iters left: 5 (54 enodes)
4.877 * * [simplify]: iters left: 4 (174 enodes)
5.017 * * [simplify]: Extracting #0: cost 1 inf + 0
5.017 * * [simplify]: Extracting #1: cost 2 inf + 0
5.017 * * [simplify]: Extracting #2: cost 52 inf + 0
5.018 * * [simplify]: Extracting #3: cost 218 inf + 0
5.021 * * [simplify]: Extracting #4: cost 350 inf + 488
5.029 * * [simplify]: Extracting #5: cost 271 inf + 83278
5.057 * * [simplify]: Extracting #6: cost 99 inf + 301152
5.103 * * [simplify]: Extracting #7: cost 13 inf + 445414
5.133 * * [simplify]: Extracting #8: cost 0 inf + 471346
5.161 * [simplify]: Simplified to (sqrt.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c)))
5.161 * [simplify]: Simplified (2) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c))))
5.161 * * * [progress]: adding candidates to table
5.669 * * [progress]: iteration 2 / 4
5.669 * * * [progress]: picking best candidate
5.693 * * * * [pick]: Picked  #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))>
5.693 * * * [progress]: localizing error
6.019 * * * [progress]: generating rewritten candidates
6.019 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
6.107 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 2)
6.110 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
6.131 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2)
6.174 * * * [progress]: generating series expansions
6.174 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
6.174 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 2)
6.174 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
6.174 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2)
6.174 * * * [progress]: simplifying candidates
6.174 * * * * [progress]: [ 1 / 16 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
6.174 * [simplify]: Simplifying (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))
6.175 * * [simplify]: iters left: 6 (14 enodes)
6.181 * * [simplify]: iters left: 5 (51 enodes)
6.201 * * [simplify]: iters left: 4 (173 enodes)
6.318 * * [simplify]: Extracting #0: cost 1 inf + 0
6.318 * * [simplify]: Extracting #1: cost 48 inf + 0
6.319 * * [simplify]: Extracting #2: cost 196 inf + 0
6.321 * * [simplify]: Extracting #3: cost 275 inf + 1859
6.328 * * [simplify]: Extracting #4: cost 237 inf + 79873
6.358 * * [simplify]: Extracting #5: cost 41 inf + 350410
6.403 * * [simplify]: Extracting #6: cost 1 inf + 422604
6.448 * * [simplify]: Extracting #7: cost 0 inf + 425528
6.498 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)))
6.498 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b))) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))
6.498 * * * * [progress]: [ 2 / 16 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
6.499 * [simplify]: Simplifying (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)))
6.499 * * [simplify]: iters left: 6 (17 enodes)
6.507 * * [simplify]: iters left: 5 (66 enodes)
6.534 * * [simplify]: iters left: 4 (250 enodes)
6.697 * * [simplify]: Extracting #0: cost 1 inf + 0
6.697 * * [simplify]: Extracting #1: cost 70 inf + 0
6.698 * * [simplify]: Extracting #2: cost 345 inf + 0
6.699 * * [simplify]: Extracting #3: cost 507 inf + 890
6.709 * * [simplify]: Extracting #4: cost 399 inf + 227592
6.748 * * [simplify]: Extracting #5: cost 85 inf + 736749
6.801 * * [simplify]: Extracting #6: cost 1 inf + 915516
6.873 * * [simplify]: Extracting #7: cost 0 inf + 916080
6.941 * [simplify]: Simplified to (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (+.p16 c (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))))
6.941 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (+.p16 c (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))
6.941 * * * * [progress]: [ 3 / 16 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)))))>
6.942 * [simplify]: Simplifying (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
6.942 * * [simplify]: iters left: 6 (17 enodes)
6.949 * * [simplify]: iters left: 5 (66 enodes)
6.975 * * [simplify]: iters left: 4 (252 enodes)
7.163 * * [simplify]: Extracting #0: cost 1 inf + 0
7.163 * * [simplify]: Extracting #1: cost 73 inf + 0
7.165 * * [simplify]: Extracting #2: cost 347 inf + 0
7.168 * * [simplify]: Extracting #3: cost 531 inf + 1612
7.191 * * [simplify]: Extracting #4: cost 388 inf + 273369
7.270 * * [simplify]: Extracting #5: cost 84 inf + 812947
7.343 * * [simplify]: Extracting #6: cost 0 inf + 988759
7.432 * * [simplify]: Extracting #7: cost 0 inf + 987839
7.501 * [simplify]: Simplified to (*.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) c) (-.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) b)) (*.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) a) (+.p16 a (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2))))))
7.501 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) c) (-.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) b)) (*.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) a) (+.p16 a (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)))))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)))))
7.501 * * * * [progress]: [ 4 / 16 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))))))>
7.502 * [simplify]: Simplifying (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
7.502 * * [simplify]: iters left: 6 (18 enodes)
7.510 * * [simplify]: iters left: 5 (72 enodes)
7.538 * * [simplify]: iters left: 4 (269 enodes)
7.736 * * [simplify]: Extracting #0: cost 1 inf + 0
7.736 * * [simplify]: Extracting #1: cost 59 inf + 0
7.737 * * [simplify]: Extracting #2: cost 290 inf + 0
7.741 * * [simplify]: Extracting #3: cost 460 inf + 166
7.764 * * [simplify]: Extracting #4: cost 380 inf + 281442
7.859 * * [simplify]: Extracting #5: cost 63 inf + 884806
7.932 * * [simplify]: Extracting #6: cost 0 inf + 1034028
8.006 * [simplify]: Simplified to (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a)))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))))
8.006 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a)))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))))))
8.006 * * * * [progress]: [ 5 / 16 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))>
8.007 * [simplify]: Simplifying (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
8.007 * * [simplify]: iters left: 6 (16 enodes)
8.011 * * [simplify]: iters left: 5 (60 enodes)
8.023 * * [simplify]: iters left: 4 (223 enodes)
8.163 * * [simplify]: Extracting #0: cost 1 inf + 0
8.163 * * [simplify]: Extracting #1: cost 62 inf + 0
8.163 * * [simplify]: Extracting #2: cost 310 inf + 0
8.165 * * [simplify]: Extracting #3: cost 507 inf + 1699
8.176 * * [simplify]: Extracting #4: cost 370 inf + 235542
8.213 * * [simplify]: Extracting #5: cost 33 inf + 741482
8.263 * * [simplify]: Extracting #6: cost 0 inf + 796563
8.309 * * [simplify]: Extracting #7: cost 0 inf + 796003
8.357 * [simplify]: Simplified to (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (+.p16 (+.p16 b a) c)) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a))))
8.357 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (+.p16 (+.p16 b a) c)) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))
8.357 * * * * [progress]: [ 6 / 16 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))>
8.357 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
8.357 * * [simplify]: iters left: 4 (9 enodes)
8.360 * * [simplify]: iters left: 3 (21 enodes)
8.363 * * [simplify]: iters left: 2 (27 enodes)
8.367 * * [simplify]: iters left: 1 (28 enodes)
8.371 * * [simplify]: Extracting #0: cost 1 inf + 0
8.371 * * [simplify]: Extracting #1: cost 3 inf + 0
8.371 * * [simplify]: Extracting #2: cost 4 inf + 1
8.371 * * [simplify]: Extracting #3: cost 10 inf + 1
8.371 * * [simplify]: Extracting #4: cost 1 inf + 738
8.371 * * [simplify]: Extracting #5: cost 0 inf + 1302
8.371 * [simplify]: Simplified to (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))
8.371 * [simplify]: Simplified (2 1 1 1 1 2 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))
8.372 * [simplify]: Simplifying (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
8.372 * * [simplify]: iters left: 4 (9 enodes)
8.374 * * [simplify]: iters left: 3 (27 enodes)
8.379 * * [simplify]: iters left: 2 (47 enodes)
8.389 * * [simplify]: iters left: 1 (123 enodes)
8.422 * * [simplify]: Extracting #0: cost 1 inf + 0
8.422 * * [simplify]: Extracting #1: cost 15 inf + 0
8.422 * * [simplify]: Extracting #2: cost 53 inf + 1
8.423 * * [simplify]: Extracting #3: cost 87 inf + 1044
8.423 * * [simplify]: Extracting #4: cost 139 inf + 5657
8.424 * * [simplify]: Extracting #5: cost 115 inf + 19521
8.427 * * [simplify]: Extracting #6: cost 57 inf + 79064
8.435 * * [simplify]: Extracting #7: cost 8 inf + 157140
8.444 * * [simplify]: Extracting #8: cost 0 inf + 176132
8.454 * [simplify]: Simplified to (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) a)
8.454 * [simplify]: Simplified (2 1 1 1 1 2 2) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))
8.454 * * * * [progress]: [ 7 / 16 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (neg.p16 (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))>
8.454 * * * * [progress]: [ 8 / 16 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a))) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))>
8.454 * * * * [progress]: [ 9 / 16 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 c))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))>
8.454 * * * * [progress]: [ 10 / 16 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))>
8.454 * * * * [progress]: [ 11 / 16 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))>
8.454 * * * * [progress]: [ 12 / 16 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))>
8.455 * * * * [progress]: [ 13 / 16 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))>
8.455 * [simplify]: Simplifying (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
8.455 * * [simplify]: iters left: 6 (16 enodes)
8.459 * * [simplify]: iters left: 5 (62 enodes)
8.472 * * [simplify]: iters left: 4 (229 enodes)
8.573 * * [simplify]: Extracting #0: cost 1 inf + 0
8.573 * * [simplify]: Extracting #1: cost 59 inf + 0
8.574 * * [simplify]: Extracting #2: cost 276 inf + 0
8.575 * * [simplify]: Extracting #3: cost 431 inf + 809
8.586 * * [simplify]: Extracting #4: cost 315 inf + 215074
8.651 * * [simplify]: Extracting #5: cost 47 inf + 641310
8.703 * * [simplify]: Extracting #6: cost 3 inf + 707919
8.754 * * [simplify]: Extracting #7: cost 0 inf + 715051
8.800 * [simplify]: Simplified to (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)))))
8.800 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b))))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))
8.801 * * * * [progress]: [ 14 / 16 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))>
8.801 * [simplify]: Simplifying (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
8.801 * * [simplify]: iters left: 6 (16 enodes)
8.809 * * [simplify]: iters left: 5 (62 enodes)
8.842 * * [simplify]: iters left: 4 (229 enodes)
8.968 * * [simplify]: Extracting #0: cost 1 inf + 0
8.968 * * [simplify]: Extracting #1: cost 59 inf + 0
8.969 * * [simplify]: Extracting #2: cost 276 inf + 0
8.970 * * [simplify]: Extracting #3: cost 431 inf + 809
8.979 * * [simplify]: Extracting #4: cost 315 inf + 215074
9.018 * * [simplify]: Extracting #5: cost 47 inf + 641310
9.061 * * [simplify]: Extracting #6: cost 3 inf + 707919
9.102 * * [simplify]: Extracting #7: cost 0 inf + 715051
9.146 * [simplify]: Simplified to (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)))))
9.146 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b))))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))
9.146 * * * * [progress]: [ 15 / 16 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))>
9.146 * [simplify]: Simplifying (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
9.147 * * [simplify]: iters left: 6 (16 enodes)
9.151 * * [simplify]: iters left: 5 (62 enodes)
9.167 * * [simplify]: iters left: 4 (229 enodes)
9.340 * * [simplify]: Extracting #0: cost 1 inf + 0
9.341 * * [simplify]: Extracting #1: cost 59 inf + 0
9.342 * * [simplify]: Extracting #2: cost 276 inf + 0
9.344 * * [simplify]: Extracting #3: cost 431 inf + 809
9.360 * * [simplify]: Extracting #4: cost 315 inf + 215074
9.420 * * [simplify]: Extracting #5: cost 47 inf + 641310
9.470 * * [simplify]: Extracting #6: cost 3 inf + 707919
9.512 * * [simplify]: Extracting #7: cost 0 inf + 715051
9.569 * [simplify]: Simplified to (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)))))
9.570 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b))))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))
9.570 * * * * [progress]: [ 16 / 16 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))>
9.570 * [simplify]: Simplifying (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
9.570 * * [simplify]: iters left: 6 (16 enodes)
9.577 * * [simplify]: iters left: 5 (62 enodes)
9.593 * * [simplify]: iters left: 4 (229 enodes)
9.704 * * [simplify]: Extracting #0: cost 1 inf + 0
9.705 * * [simplify]: Extracting #1: cost 59 inf + 0
9.706 * * [simplify]: Extracting #2: cost 276 inf + 0
9.707 * * [simplify]: Extracting #3: cost 431 inf + 809
9.717 * * [simplify]: Extracting #4: cost 315 inf + 215074
9.770 * * [simplify]: Extracting #5: cost 47 inf + 641310
9.836 * * [simplify]: Extracting #6: cost 3 inf + 707919
9.878 * * [simplify]: Extracting #7: cost 0 inf + 715051
9.938 * [simplify]: Simplified to (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)))))
9.938 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b))))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))
9.938 * * * [progress]: adding candidates to table
10.486 * * [progress]: iteration 3 / 4
10.486 * * * [progress]: picking best candidate
10.529 * * * * [pick]: Picked  #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
10.529 * * * [progress]: localizing error
10.858 * * * [progress]: generating rewritten candidates
10.858 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
10.946 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2)
10.949 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2)
10.971 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2)
11.002 * * * [progress]: generating series expansions
11.002 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
11.003 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2)
11.003 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2)
11.003 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2)
11.003 * * * [progress]: simplifying candidates
11.003 * * * * [progress]: [ 1 / 12 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (*.p16 (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
11.003 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
11.003 * * [simplify]: iters left: 4 (9 enodes)
11.007 * * [simplify]: iters left: 3 (21 enodes)
11.011 * * [simplify]: iters left: 2 (27 enodes)
11.018 * * [simplify]: iters left: 1 (28 enodes)
11.025 * * [simplify]: Extracting #0: cost 1 inf + 0
11.025 * * [simplify]: Extracting #1: cost 3 inf + 0
11.025 * * [simplify]: Extracting #2: cost 4 inf + 1
11.025 * * [simplify]: Extracting #3: cost 10 inf + 1
11.025 * * [simplify]: Extracting #4: cost 5 inf + 47
11.025 * * [simplify]: Extracting #5: cost 1 inf + 738
11.025 * * [simplify]: Extracting #6: cost 0 inf + 1302
11.026 * [simplify]: Simplified to (+.p16 c (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)))
11.026 * [simplify]: Simplified (2 1 2 2) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (*.p16 (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c))) (+.p16 c (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)))))))
11.026 * * * * [progress]: [ 2 / 12 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
11.026 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
11.026 * * [simplify]: iters left: 4 (9 enodes)
11.030 * * [simplify]: iters left: 3 (21 enodes)
11.037 * * [simplify]: iters left: 2 (27 enodes)
11.044 * * [simplify]: iters left: 1 (28 enodes)
11.050 * * [simplify]: Extracting #0: cost 1 inf + 0
11.050 * * [simplify]: Extracting #1: cost 3 inf + 0
11.050 * * [simplify]: Extracting #2: cost 4 inf + 1
11.050 * * [simplify]: Extracting #3: cost 10 inf + 1
11.050 * * [simplify]: Extracting #4: cost 1 inf + 738
11.050 * * [simplify]: Extracting #5: cost 0 inf + 1302
11.051 * [simplify]: Simplified to (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))
11.051 * [simplify]: Simplified (2 1 1 1 2 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))
11.051 * [simplify]: Simplifying (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
11.051 * * [simplify]: iters left: 4 (9 enodes)
11.055 * * [simplify]: iters left: 3 (27 enodes)
11.064 * * [simplify]: iters left: 2 (47 enodes)
11.074 * * [simplify]: iters left: 1 (123 enodes)
11.104 * * [simplify]: Extracting #0: cost 1 inf + 0
11.104 * * [simplify]: Extracting #1: cost 15 inf + 0
11.104 * * [simplify]: Extracting #2: cost 53 inf + 1
11.104 * * [simplify]: Extracting #3: cost 87 inf + 1044
11.105 * * [simplify]: Extracting #4: cost 139 inf + 5657
11.106 * * [simplify]: Extracting #5: cost 115 inf + 19521
11.109 * * [simplify]: Extracting #6: cost 57 inf + 79064
11.117 * * [simplify]: Extracting #7: cost 8 inf + 157140
11.126 * * [simplify]: Extracting #8: cost 0 inf + 176132
11.137 * [simplify]: Simplified to (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) a)
11.137 * [simplify]: Simplified (2 1 1 1 2 2) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))
11.137 * * * * [progress]: [ 3 / 12 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (neg.p16 (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
11.137 * * * * [progress]: [ 4 / 12 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a))) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
11.137 * * * * [progress]: [ 5 / 12 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 c))))))>
11.138 * * * * [progress]: [ 6 / 12 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))))>
11.138 * * * * [progress]: [ 7 / 12 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 b))) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
11.138 * * * * [progress]: [ 8 / 12 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
11.138 * * * * [progress]: [ 9 / 12 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
11.138 * [simplify]: Simplifying (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))
11.138 * * [simplify]: iters left: 6 (14 enodes)
11.143 * * [simplify]: iters left: 5 (51 enodes)
11.158 * * [simplify]: iters left: 4 (173 enodes)
11.220 * * [simplify]: Extracting #0: cost 1 inf + 0
11.220 * * [simplify]: Extracting #1: cost 48 inf + 0
11.221 * * [simplify]: Extracting #2: cost 196 inf + 0
11.222 * * [simplify]: Extracting #3: cost 275 inf + 1859
11.225 * * [simplify]: Extracting #4: cost 237 inf + 79873
11.241 * * [simplify]: Extracting #5: cost 41 inf + 350410
11.266 * * [simplify]: Extracting #6: cost 1 inf + 422604
11.300 * * [simplify]: Extracting #7: cost 0 inf + 425528
11.329 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)))
11.329 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b))) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))
11.329 * * * * [progress]: [ 10 / 12 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
11.329 * [simplify]: Simplifying (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))
11.329 * * [simplify]: iters left: 6 (14 enodes)
11.333 * * [simplify]: iters left: 5 (51 enodes)
11.346 * * [simplify]: iters left: 4 (173 enodes)
11.419 * * [simplify]: Extracting #0: cost 1 inf + 0
11.419 * * [simplify]: Extracting #1: cost 48 inf + 0
11.420 * * [simplify]: Extracting #2: cost 196 inf + 0
11.422 * * [simplify]: Extracting #3: cost 275 inf + 1859
11.428 * * [simplify]: Extracting #4: cost 237 inf + 79873
11.448 * * [simplify]: Extracting #5: cost 41 inf + 350410
11.472 * * [simplify]: Extracting #6: cost 1 inf + 422604
11.500 * * [simplify]: Extracting #7: cost 0 inf + 425528
11.524 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)))
11.525 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b))) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))
11.525 * * * * [progress]: [ 11 / 12 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
11.525 * [simplify]: Simplifying (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))
11.525 * * [simplify]: iters left: 6 (14 enodes)
11.529 * * [simplify]: iters left: 5 (51 enodes)
11.546 * * [simplify]: iters left: 4 (173 enodes)
11.646 * * [simplify]: Extracting #0: cost 1 inf + 0
11.646 * * [simplify]: Extracting #1: cost 48 inf + 0
11.647 * * [simplify]: Extracting #2: cost 196 inf + 0
11.648 * * [simplify]: Extracting #3: cost 275 inf + 1859
11.651 * * [simplify]: Extracting #4: cost 237 inf + 79873
11.667 * * [simplify]: Extracting #5: cost 41 inf + 350410
11.691 * * [simplify]: Extracting #6: cost 1 inf + 422604
11.728 * * [simplify]: Extracting #7: cost 0 inf + 425528
11.753 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)))
11.753 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b))) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))
11.754 * * * * [progress]: [ 12 / 12 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
11.754 * [simplify]: Simplifying (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))
11.754 * * [simplify]: iters left: 6 (14 enodes)
11.757 * * [simplify]: iters left: 5 (51 enodes)
11.775 * * [simplify]: iters left: 4 (173 enodes)
11.854 * * [simplify]: Extracting #0: cost 1 inf + 0
11.854 * * [simplify]: Extracting #1: cost 48 inf + 0
11.854 * * [simplify]: Extracting #2: cost 196 inf + 0
11.855 * * [simplify]: Extracting #3: cost 275 inf + 1859
11.859 * * [simplify]: Extracting #4: cost 237 inf + 79873
11.875 * * [simplify]: Extracting #5: cost 41 inf + 350410
11.920 * * [simplify]: Extracting #6: cost 1 inf + 422604
11.947 * * [simplify]: Extracting #7: cost 0 inf + 425528
11.971 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)))
11.971 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b))) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))
11.971 * * * [progress]: adding candidates to table
12.349 * * [progress]: iteration 4 / 4
12.349 * * * [progress]: picking best candidate
12.374 * * * * [pick]: Picked  #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))>
12.374 * * * [progress]: localizing error
12.794 * * * [progress]: generating rewritten candidates
12.795 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
12.819 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 2)
12.824 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
12.867 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2)
12.891 * * * [progress]: generating series expansions
12.891 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
12.891 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 2)
12.891 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
12.891 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2)
12.891 * * * [progress]: simplifying candidates
12.891 * * * * [progress]: [ 1 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (real->posit16 2))))>
12.891 * [simplify]: Simplifying (real->posit16 2)
12.892 * * [simplify]: iters left: 1 (2 enodes)
12.893 * * [simplify]: Extracting #0: cost 1 inf + 0
12.893 * * [simplify]: Extracting #1: cost 2 inf + 0
12.893 * * [simplify]: Extracting #2: cost 1 inf + 1
12.893 * * [simplify]: Extracting #3: cost 0 inf + 2
12.893 * [simplify]: Simplified to (real->posit16 2)
12.893 * [simplify]: Simplified (2 1 2) to (λ (a b c) (sqrt.p16 (/.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (real->posit16 2))))
12.893 * * * * [progress]: [ 2 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
12.893 * [simplify]: Simplifying (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))
12.893 * * [simplify]: iters left: 6 (14 enodes)
12.896 * * [simplify]: iters left: 5 (49 enodes)
12.908 * * [simplify]: iters left: 4 (169 enodes)
13.009 * * [simplify]: Extracting #0: cost 1 inf + 0
13.009 * * [simplify]: Extracting #1: cost 58 inf + 0
13.009 * * [simplify]: Extracting #2: cost 220 inf + 0
13.011 * * [simplify]: Extracting #3: cost 337 inf + 1337
13.014 * * [simplify]: Extracting #4: cost 337 inf + 21516
13.033 * * [simplify]: Extracting #5: cost 161 inf + 244811
13.079 * * [simplify]: Extracting #6: cost 19 inf + 461933
13.136 * * [simplify]: Extracting #7: cost 0 inf + 499729
13.196 * * [simplify]: Extracting #8: cost 0 inf + 499449
13.250 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (+.p16 (+.p16 b a) c)) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)))
13.251 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (+.p16 (+.p16 b a) c)) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a))) (/.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))
13.251 * * * * [progress]: [ 3 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c))) (*.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
13.252 * [simplify]: Simplifying (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)))
13.252 * * [simplify]: iters left: 6 (17 enodes)
13.260 * * [simplify]: iters left: 5 (64 enodes)
13.287 * * [simplify]: iters left: 4 (242 enodes)
13.493 * * [simplify]: Extracting #0: cost 1 inf + 0
13.493 * * [simplify]: Extracting #1: cost 73 inf + 0
13.495 * * [simplify]: Extracting #2: cost 376 inf + 0
13.499 * * [simplify]: Extracting #3: cost 565 inf + 5032
13.527 * * [simplify]: Extracting #4: cost 372 inf + 346893
13.622 * * [simplify]: Extracting #5: cost 33 inf + 912212
13.695 * * [simplify]: Extracting #6: cost 0 inf + 974901
13.753 * * [simplify]: Extracting #7: cost 0 inf + 974061
13.812 * [simplify]: Simplified to (*.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (+.p16 (+.p16 b a) c)) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (+.p16 c (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))))
13.812 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (+.p16 (+.p16 b a) c)) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (+.p16 c (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))))) (*.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))
13.812 * * * * [progress]: [ 4 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)))))>
13.813 * [simplify]: Simplifying (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
13.813 * * [simplify]: iters left: 6 (17 enodes)
13.819 * * [simplify]: iters left: 5 (64 enodes)
13.842 * * [simplify]: iters left: 4 (244 enodes)
13.991 * * [simplify]: Extracting #0: cost 1 inf + 0
13.992 * * [simplify]: Extracting #1: cost 76 inf + 0
13.993 * * [simplify]: Extracting #2: cost 392 inf + 0
13.995 * * [simplify]: Extracting #3: cost 598 inf + 3829
14.010 * * [simplify]: Extracting #4: cost 375 inf + 398622
14.065 * * [simplify]: Extracting #5: cost 47 inf + 992277
14.148 * * [simplify]: Extracting #6: cost 0 inf + 1067056
14.224 * * [simplify]: Extracting #7: cost 0 inf + 1066216
14.300 * [simplify]: Simplified to (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 b a) c) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c)) (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)))
14.300 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 b a) c) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c)) (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b))) (*.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)))))
14.301 * * * * [progress]: [ 5 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))))))>
14.301 * [simplify]: Simplifying (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
14.301 * * [simplify]: iters left: 6 (18 enodes)
14.306 * * [simplify]: iters left: 5 (70 enodes)
14.323 * * [simplify]: iters left: 4 (264 enodes)
14.449 * * [simplify]: Extracting #0: cost 1 inf + 0
14.450 * * [simplify]: Extracting #1: cost 62 inf + 0
14.450 * * [simplify]: Extracting #2: cost 323 inf + 0
14.452 * * [simplify]: Extracting #3: cost 559 inf + 3747
14.467 * * [simplify]: Extracting #4: cost 398 inf + 366962
14.518 * * [simplify]: Extracting #5: cost 61 inf + 992720
14.597 * * [simplify]: Extracting #6: cost 0 inf + 1129703
14.712 * * [simplify]: Extracting #7: cost 0 inf + 1129383
14.827 * [simplify]: Simplified to (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c)) (*.p16 (*.p16 (+.p16 (+.p16 b a) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 a a))) (+.p16 (*.p16 a a) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))))))
14.827 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c)) (*.p16 (*.p16 (+.p16 (+.p16 b a) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 a a))) (+.p16 (*.p16 a a) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))))) (*.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))))))
14.828 * * * * [progress]: [ 6 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (real->posit16 2)))))>
14.828 * [simplify]: Simplifying (/.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))
14.828 * * [simplify]: iters left: 6 (16 enodes)
14.835 * * [simplify]: iters left: 5 (53 enodes)
14.852 * * [simplify]: iters left: 4 (176 enodes)
14.975 * * [simplify]: Extracting #0: cost 1 inf + 0
14.976 * * [simplify]: Extracting #1: cost 38 inf + 0
14.976 * * [simplify]: Extracting #2: cost 221 inf + 0
14.978 * * [simplify]: Extracting #3: cost 343 inf + 1580
14.985 * * [simplify]: Extracting #4: cost 380 inf + 17508
14.998 * * [simplify]: Extracting #5: cost 195 inf + 244388
15.026 * * [simplify]: Extracting #6: cost 28 inf + 500686
15.077 * * [simplify]: Extracting #7: cost 0 inf + 558598
15.132 * [simplify]: Simplified to (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (+.p16 (+.p16 b a) c)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b))
15.132 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (+.p16 (+.p16 b a) c)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)) (/.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (real->posit16 2)))))
15.133 * [simplify]: Simplifying (/.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (real->posit16 2))
15.133 * * [simplify]: iters left: 5 (10 enodes)
15.137 * * [simplify]: iters left: 4 (28 enodes)
15.146 * * [simplify]: iters left: 3 (50 enodes)
15.161 * * [simplify]: iters left: 2 (140 enodes)
15.212 * * [simplify]: iters left: 1 (496 enodes)
15.444 * * [simplify]: Extracting #0: cost 1 inf + 0
15.444 * * [simplify]: Extracting #1: cost 80 inf + 0
15.445 * * [simplify]: Extracting #2: cost 392 inf + 0
15.447 * * [simplify]: Extracting #3: cost 557 inf + 2495
15.450 * * [simplify]: Extracting #4: cost 780 inf + 19212
15.459 * * [simplify]: Extracting #5: cost 832 inf + 46690
15.466 * * [simplify]: Extracting #6: cost 745 inf + 107718
15.499 * * [simplify]: Extracting #7: cost 293 inf + 839375
15.592 * * [simplify]: Extracting #8: cost 9 inf + 1397966
15.671 * * [simplify]: Extracting #9: cost 0 inf + 1349322
15.751 * * [simplify]: Extracting #10: cost 0 inf + 1348322
15.828 * [simplify]: Simplified to (/.p16 (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) c) (real->posit16 2))
15.828 * [simplify]: Simplified (2 1 2) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (+.p16 (+.p16 b a) c)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)) (/.p16 (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) c) (real->posit16 2)))))
15.828 * * * * [progress]: [ 7 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))>
15.829 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
15.829 * * [simplify]: iters left: 4 (9 enodes)
15.831 * * [simplify]: iters left: 3 (21 enodes)
15.834 * * [simplify]: iters left: 2 (27 enodes)
15.838 * * [simplify]: iters left: 1 (28 enodes)
15.841 * * [simplify]: Extracting #0: cost 1 inf + 0
15.841 * * [simplify]: Extracting #1: cost 3 inf + 0
15.841 * * [simplify]: Extracting #2: cost 4 inf + 1
15.841 * * [simplify]: Extracting #3: cost 10 inf + 1
15.842 * * [simplify]: Extracting #4: cost 1 inf + 738
15.842 * * [simplify]: Extracting #5: cost 0 inf + 1302
15.842 * [simplify]: Simplified to (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))
15.842 * [simplify]: Simplified (2 1 1 1 1 2 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))
15.842 * [simplify]: Simplifying (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
15.842 * * [simplify]: iters left: 4 (9 enodes)
15.844 * * [simplify]: iters left: 3 (27 enodes)
15.848 * * [simplify]: iters left: 2 (47 enodes)
15.856 * * [simplify]: iters left: 1 (123 enodes)
15.913 * * [simplify]: Extracting #0: cost 1 inf + 0
15.913 * * [simplify]: Extracting #1: cost 15 inf + 0
15.914 * * [simplify]: Extracting #2: cost 53 inf + 1
15.914 * * [simplify]: Extracting #3: cost 87 inf + 1044
15.915 * * [simplify]: Extracting #4: cost 139 inf + 5657
15.917 * * [simplify]: Extracting #5: cost 115 inf + 19521
15.924 * * [simplify]: Extracting #6: cost 57 inf + 79064
15.933 * * [simplify]: Extracting #7: cost 8 inf + 157140
15.943 * * [simplify]: Extracting #8: cost 0 inf + 176132
15.953 * [simplify]: Simplified to (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) a)
15.953 * [simplify]: Simplified (2 1 1 1 1 2 2) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))
15.953 * * * * [progress]: [ 8 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (neg.p16 (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))>
15.953 * * * * [progress]: [ 9 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a))) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))>
15.954 * * * * [progress]: [ 10 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 c))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))>
15.954 * * * * [progress]: [ 11 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))>
15.954 * * * * [progress]: [ 12 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))>
15.954 * * * * [progress]: [ 13 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))>
15.954 * * * * [progress]: [ 14 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))>
15.954 * [simplify]: Simplifying (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
15.954 * * [simplify]: iters left: 6 (16 enodes)
15.958 * * [simplify]: iters left: 5 (60 enodes)
15.969 * * [simplify]: iters left: 4 (223 enodes)
16.073 * * [simplify]: Extracting #0: cost 1 inf + 0
16.074 * * [simplify]: Extracting #1: cost 62 inf + 0
16.074 * * [simplify]: Extracting #2: cost 310 inf + 0
16.076 * * [simplify]: Extracting #3: cost 507 inf + 1699
16.086 * * [simplify]: Extracting #4: cost 370 inf + 235542
16.127 * * [simplify]: Extracting #5: cost 33 inf + 741482
16.172 * * [simplify]: Extracting #6: cost 0 inf + 796563
16.230 * * [simplify]: Extracting #7: cost 0 inf + 796003
16.283 * [simplify]: Simplified to (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (+.p16 (+.p16 b a) c)) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a))))
16.283 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (+.p16 (+.p16 b a) c)) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))
16.283 * * * * [progress]: [ 15 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))>
16.283 * [simplify]: Simplifying (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
16.284 * * [simplify]: iters left: 6 (16 enodes)
16.291 * * [simplify]: iters left: 5 (60 enodes)
16.316 * * [simplify]: iters left: 4 (223 enodes)
16.470 * * [simplify]: Extracting #0: cost 1 inf + 0
16.470 * * [simplify]: Extracting #1: cost 62 inf + 0
16.471 * * [simplify]: Extracting #2: cost 310 inf + 0
16.475 * * [simplify]: Extracting #3: cost 507 inf + 1699
16.496 * * [simplify]: Extracting #4: cost 370 inf + 235542
16.575 * * [simplify]: Extracting #5: cost 33 inf + 741482
16.667 * * [simplify]: Extracting #6: cost 0 inf + 796563
16.736 * * [simplify]: Extracting #7: cost 0 inf + 796003
16.784 * [simplify]: Simplified to (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (+.p16 (+.p16 b a) c)) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a))))
16.785 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (+.p16 (+.p16 b a) c)) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))
16.785 * * * * [progress]: [ 16 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))>
16.785 * [simplify]: Simplifying (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
16.785 * * [simplify]: iters left: 6 (16 enodes)
16.789 * * [simplify]: iters left: 5 (60 enodes)
16.802 * * [simplify]: iters left: 4 (223 enodes)
16.906 * * [simplify]: Extracting #0: cost 1 inf + 0
16.907 * * [simplify]: Extracting #1: cost 62 inf + 0
16.907 * * [simplify]: Extracting #2: cost 310 inf + 0
16.909 * * [simplify]: Extracting #3: cost 507 inf + 1699
16.920 * * [simplify]: Extracting #4: cost 370 inf + 235542
16.961 * * [simplify]: Extracting #5: cost 33 inf + 741482
17.008 * * [simplify]: Extracting #6: cost 0 inf + 796563
17.069 * * [simplify]: Extracting #7: cost 0 inf + 796003
17.115 * [simplify]: Simplified to (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (+.p16 (+.p16 b a) c)) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a))))
17.115 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (+.p16 (+.p16 b a) c)) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))
17.115 * * * * [progress]: [ 17 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))>
17.115 * [simplify]: Simplifying (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
17.116 * * [simplify]: iters left: 6 (16 enodes)
17.120 * * [simplify]: iters left: 5 (60 enodes)
17.132 * * [simplify]: iters left: 4 (223 enodes)
17.239 * * [simplify]: Extracting #0: cost 1 inf + 0
17.239 * * [simplify]: Extracting #1: cost 62 inf + 0
17.239 * * [simplify]: Extracting #2: cost 310 inf + 0
17.241 * * [simplify]: Extracting #3: cost 507 inf + 1699
17.252 * * [simplify]: Extracting #4: cost 370 inf + 235542
17.292 * * [simplify]: Extracting #5: cost 33 inf + 741482
17.339 * * [simplify]: Extracting #6: cost 0 inf + 796563
17.386 * * [simplify]: Extracting #7: cost 0 inf + 796003
17.434 * [simplify]: Simplified to (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (+.p16 (+.p16 b a) c)) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a))))
17.434 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (+.p16 (+.p16 b a) c)) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))
17.434 * * * [progress]: adding candidates to table
18.146 * [progress]: [Phase 3 of 3] Extracting.
18.146 * * [regime]: Finding splitpoints for: (#<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))> #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))))))> #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))> #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))>)
18.153 * * * [regime-changes]: Trying 3 branch expressions: (c b a)
18.153 * * * * [regimes]: Trying to branch on c from (#<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))> #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))))))> #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))> #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))>)
18.311 * * * * [regimes]: Trying to branch on b from (#<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))> #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))))))> #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))> #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))>)
18.491 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))> #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))))))> #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))> #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))>)
18.670 * * * [regime]: Found split indices: #<option (#s(si 1 256))>
18.670 * [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)))
18.670 * * [simplify]: iters left: 6 (15 enodes)
18.671 * * [simplify]: Extracting #0: cost 1 inf + 0
18.671 * * [simplify]: Extracting #1: cost 2 inf + 0
18.671 * * [simplify]: Extracting #2: cost 4 inf + 0
18.671 * * [simplify]: Extracting #3: cost 8 inf + 0
18.671 * * [simplify]: Extracting #4: cost 11 inf + 1
18.671 * * [simplify]: Extracting #5: cost 13 inf + 2
18.671 * * [simplify]: Extracting #6: cost 11 inf + 4
18.671 * * [simplify]: Extracting #7: cost 7 inf + 654
18.671 * * [simplify]: Extracting #8: cost 1 inf + 6438
18.672 * * [simplify]: Extracting #9: cost 0 inf + 8202
18.672 * [simplify]: Simplified to (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))
18.672 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
18.706 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
18.709 * * * * [points]: Setting MPFR precision to 64
18.711 * * * * [points]: Setting MPFR precision to 320
18.720 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
18.727 * * * * [points]: Setting MPFR precision to 64
18.731 * * * * [points]: Setting MPFR precision to 320
18.733 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
18.737 * * * * [points]: Setting MPFR precision to 64
18.742 * * * * [points]: Setting MPFR precision to 320
18.747 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
18.750 * * * * [points]: Setting MPFR precision to 64
18.760 * * * * [points]: Setting MPFR precision to 320
18.768 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
18.772 * * * * [points]: Setting MPFR precision to 64
18.790 * * * * [points]: Setting MPFR precision to 320
18.808 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
18.811 * * * * [points]: Setting MPFR precision to 64
18.875 * * * * [points]: Setting MPFR precision to 320
18.911 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
18.915 * * * * [points]: Setting MPFR precision to 64
19.016 * * * * [points]: Setting MPFR precision to 320
19.105 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
19.109 * * * * [points]: Setting MPFR precision to 64
19.375 * * * * [points]: Setting MPFR precision to 320
19.620 * * * * [points]: Computing exacts for 8000 points
19.624 * * * * [points]: Setting MPFR precision to 64
21.127 * * * * [points]: Setting MPFR precision to 320
22.146 * * * * [points]: Filtering points with unrepresentable outputs
22.152 * * * * [points]: Sampling 6993 additional inputs, on iter 1 have 1007 / 8000
22.215 * * * * [points]: Computing exacts on every 437 of 6993 points to ramp up precision
22.218 * * * * [points]: Setting MPFR precision to 64
22.220 * * * * [points]: Setting MPFR precision to 320
22.221 * * * * [points]: Computing exacts on every 218 of 6993 points to ramp up precision
22.224 * * * * [points]: Setting MPFR precision to 64
22.226 * * * * [points]: Setting MPFR precision to 320
22.228 * * * * [points]: Computing exacts on every 109 of 6993 points to ramp up precision
22.232 * * * * [points]: Setting MPFR precision to 64
22.236 * * * * [points]: Setting MPFR precision to 320
22.241 * * * * [points]: Computing exacts on every 54 of 6993 points to ramp up precision
22.244 * * * * [points]: Setting MPFR precision to 64
22.253 * * * * [points]: Setting MPFR precision to 320
22.262 * * * * [points]: Computing exacts on every 27 of 6993 points to ramp up precision
22.266 * * * * [points]: Setting MPFR precision to 64
22.283 * * * * [points]: Setting MPFR precision to 320
22.300 * * * * [points]: Computing exacts on every 13 of 6993 points to ramp up precision
22.327 * * * * [points]: Setting MPFR precision to 64
22.363 * * * * [points]: Setting MPFR precision to 320
22.407 * * * * [points]: Computing exacts on every 6 of 6993 points to ramp up precision
22.414 * * * * [points]: Setting MPFR precision to 64
22.561 * * * * [points]: Setting MPFR precision to 320
22.691 * * * * [points]: Computing exacts on every 3 of 6993 points to ramp up precision
22.698 * * * * [points]: Setting MPFR precision to 64
23.028 * * * * [points]: Setting MPFR precision to 320
23.631 * * * * [points]: Computing exacts for 6993 points
23.638 * * * * [points]: Setting MPFR precision to 64
24.702 * * * * [points]: Setting MPFR precision to 320
25.458 * * * * [points]: Filtering points with unrepresentable outputs
25.461 * * * * [points]: Sampling 6110 additional inputs, on iter 2 have 1890 / 8000
25.487 * * * * [points]: Computing exacts on every 381 of 6110 points to ramp up precision
25.491 * * * * [points]: Setting MPFR precision to 64
25.492 * * * * [points]: Setting MPFR precision to 320
25.494 * * * * [points]: Computing exacts on every 190 of 6110 points to ramp up precision
25.497 * * * * [points]: Setting MPFR precision to 64
25.499 * * * * [points]: Setting MPFR precision to 320
25.502 * * * * [points]: Computing exacts on every 95 of 6110 points to ramp up precision
25.505 * * * * [points]: Setting MPFR precision to 64
25.509 * * * * [points]: Setting MPFR precision to 320
25.514 * * * * [points]: Computing exacts on every 47 of 6110 points to ramp up precision
25.517 * * * * [points]: Setting MPFR precision to 64
25.531 * * * * [points]: Setting MPFR precision to 320
25.547 * * * * [points]: Computing exacts on every 23 of 6110 points to ramp up precision
25.551 * * * * [points]: Setting MPFR precision to 64
25.594 * * * * [points]: Setting MPFR precision to 320
25.612 * * * * [points]: Computing exacts on every 11 of 6110 points to ramp up precision
25.616 * * * * [points]: Setting MPFR precision to 64
25.669 * * * * [points]: Setting MPFR precision to 320
25.735 * * * * [points]: Computing exacts on every 5 of 6110 points to ramp up precision
25.742 * * * * [points]: Setting MPFR precision to 64
25.866 * * * * [points]: Setting MPFR precision to 320
26.010 * * * * [points]: Computing exacts on every 2 of 6110 points to ramp up precision
26.017 * * * * [points]: Setting MPFR precision to 64
26.284 * * * * [points]: Setting MPFR precision to 320
26.601 * * * * [points]: Computing exacts for 6110 points
26.608 * * * * [points]: Setting MPFR precision to 64
27.964 * * * * [points]: Setting MPFR precision to 320
28.705 * * * * [points]: Filtering points with unrepresentable outputs
28.707 * * * * [points]: Sampling 5337 additional inputs, on iter 3 have 2663 / 8000
28.730 * * * * [points]: Computing exacts on every 333 of 5337 points to ramp up precision
28.734 * * * * [points]: Setting MPFR precision to 64
28.735 * * * * [points]: Setting MPFR precision to 320
28.736 * * * * [points]: Computing exacts on every 166 of 5337 points to ramp up precision
28.740 * * * * [points]: Setting MPFR precision to 64
28.742 * * * * [points]: Setting MPFR precision to 320
28.744 * * * * [points]: Computing exacts on every 83 of 5337 points to ramp up precision
28.771 * * * * [points]: Setting MPFR precision to 64
28.777 * * * * [points]: Setting MPFR precision to 320
28.783 * * * * [points]: Computing exacts on every 41 of 5337 points to ramp up precision
28.787 * * * * [points]: Setting MPFR precision to 64
28.797 * * * * [points]: Setting MPFR precision to 320
28.806 * * * * [points]: Computing exacts on every 20 of 5337 points to ramp up precision
28.809 * * * * [points]: Setting MPFR precision to 64
28.827 * * * * [points]: Setting MPFR precision to 320
28.845 * * * * [points]: Computing exacts on every 10 of 5337 points to ramp up precision
28.848 * * * * [points]: Setting MPFR precision to 64
28.907 * * * * [points]: Setting MPFR precision to 320
28.943 * * * * [points]: Computing exacts on every 5 of 5337 points to ramp up precision
28.947 * * * * [points]: Setting MPFR precision to 64
29.011 * * * * [points]: Setting MPFR precision to 320
29.109 * * * * [points]: Computing exacts on every 2 of 5337 points to ramp up precision
29.113 * * * * [points]: Setting MPFR precision to 64
29.271 * * * * [points]: Setting MPFR precision to 320
29.432 * * * * [points]: Computing exacts for 5337 points
29.436 * * * * [points]: Setting MPFR precision to 64
30.290 * * * * [points]: Setting MPFR precision to 320
30.953 * * * * [points]: Filtering points with unrepresentable outputs
30.958 * * * * [points]: Sampling 4655 additional inputs, on iter 4 have 3345 / 8000
30.993 * * * * [points]: Computing exacts on every 290 of 4655 points to ramp up precision
31.000 * * * * [points]: Setting MPFR precision to 64
31.002 * * * * [points]: Setting MPFR precision to 320
31.004 * * * * [points]: Computing exacts on every 145 of 4655 points to ramp up precision
31.011 * * * * [points]: Setting MPFR precision to 64
31.015 * * * * [points]: Setting MPFR precision to 320
31.019 * * * * [points]: Computing exacts on every 72 of 4655 points to ramp up precision
31.026 * * * * [points]: Setting MPFR precision to 64
31.071 * * * * [points]: Setting MPFR precision to 320
31.082 * * * * [points]: Computing exacts on every 36 of 4655 points to ramp up precision
31.089 * * * * [points]: Setting MPFR precision to 64
31.105 * * * * [points]: Setting MPFR precision to 320
31.121 * * * * [points]: Computing exacts on every 18 of 4655 points to ramp up precision
31.128 * * * * [points]: Setting MPFR precision to 64
31.161 * * * * [points]: Setting MPFR precision to 320
31.195 * * * * [points]: Computing exacts on every 9 of 4655 points to ramp up precision
31.202 * * * * [points]: Setting MPFR precision to 64
31.262 * * * * [points]: Setting MPFR precision to 320
31.371 * * * * [points]: Computing exacts on every 4 of 4655 points to ramp up precision
31.378 * * * * [points]: Setting MPFR precision to 64
31.504 * * * * [points]: Setting MPFR precision to 320
31.679 * * * * [points]: Computing exacts on every 2 of 4655 points to ramp up precision
31.686 * * * * [points]: Setting MPFR precision to 64
31.930 * * * * [points]: Setting MPFR precision to 320
32.160 * * * * [points]: Computing exacts for 4655 points
32.168 * * * * [points]: Setting MPFR precision to 64
32.957 * * * * [points]: Setting MPFR precision to 320
34.065 * * * * [points]: Filtering points with unrepresentable outputs
34.070 * * * * [points]: Sampling 4047 additional inputs, on iter 5 have 3953 / 8000
34.101 * * * * [points]: Computing exacts on every 252 of 4047 points to ramp up precision
34.107 * * * * [points]: Setting MPFR precision to 64
34.110 * * * * [points]: Setting MPFR precision to 320
34.112 * * * * [points]: Computing exacts on every 126 of 4047 points to ramp up precision
34.119 * * * * [points]: Setting MPFR precision to 64
34.123 * * * * [points]: Setting MPFR precision to 320
34.127 * * * * [points]: Computing exacts on every 63 of 4047 points to ramp up precision
34.134 * * * * [points]: Setting MPFR precision to 64
34.141 * * * * [points]: Setting MPFR precision to 320
34.148 * * * * [points]: Computing exacts on every 31 of 4047 points to ramp up precision
34.155 * * * * [points]: Setting MPFR precision to 64
34.204 * * * * [points]: Setting MPFR precision to 320
34.223 * * * * [points]: Computing exacts on every 15 of 4047 points to ramp up precision
34.230 * * * * [points]: Setting MPFR precision to 64
34.263 * * * * [points]: Setting MPFR precision to 320
34.296 * * * * [points]: Computing exacts on every 7 of 4047 points to ramp up precision
34.303 * * * * [points]: Setting MPFR precision to 64
34.368 * * * * [points]: Setting MPFR precision to 320
34.449 * * * * [points]: Computing exacts on every 3 of 4047 points to ramp up precision
34.452 * * * * [points]: Setting MPFR precision to 64
34.528 * * * * [points]: Setting MPFR precision to 320
34.637 * * * * [points]: Computing exacts for 4047 points
34.641 * * * * [points]: Setting MPFR precision to 64
35.013 * * * * [points]: Setting MPFR precision to 320
35.509 * * * * [points]: Filtering points with unrepresentable outputs
35.511 * * * * [points]: Sampling 3546 additional inputs, on iter 6 have 4454 / 8000
35.526 * * * * [points]: Computing exacts on every 221 of 3546 points to ramp up precision
35.530 * * * * [points]: Setting MPFR precision to 64
35.531 * * * * [points]: Setting MPFR precision to 320
35.532 * * * * [points]: Computing exacts on every 110 of 3546 points to ramp up precision
35.535 * * * * [points]: Setting MPFR precision to 64
35.538 * * * * [points]: Setting MPFR precision to 320
35.540 * * * * [points]: Computing exacts on every 55 of 3546 points to ramp up precision
35.543 * * * * [points]: Setting MPFR precision to 64
35.551 * * * * [points]: Setting MPFR precision to 320
35.558 * * * * [points]: Computing exacts on every 27 of 3546 points to ramp up precision
35.564 * * * * [points]: Setting MPFR precision to 64
35.596 * * * * [points]: Setting MPFR precision to 320
35.606 * * * * [points]: Computing exacts on every 13 of 3546 points to ramp up precision
35.609 * * * * [points]: Setting MPFR precision to 64
35.628 * * * * [points]: Setting MPFR precision to 320
35.648 * * * * [points]: Computing exacts on every 6 of 3546 points to ramp up precision
35.651 * * * * [points]: Setting MPFR precision to 64
35.685 * * * * [points]: Setting MPFR precision to 320
35.750 * * * * [points]: Computing exacts on every 3 of 3546 points to ramp up precision
35.754 * * * * [points]: Setting MPFR precision to 64
35.815 * * * * [points]: Setting MPFR precision to 320
35.908 * * * * [points]: Computing exacts for 3546 points
35.912 * * * * [points]: Setting MPFR precision to 64
36.220 * * * * [points]: Setting MPFR precision to 320
36.527 * * * * [points]: Filtering points with unrepresentable outputs
36.528 * * * * [points]: Sampling 3107 additional inputs, on iter 7 have 4893 / 8000
36.544 * * * * [points]: Computing exacts on every 194 of 3107 points to ramp up precision
36.547 * * * * [points]: Setting MPFR precision to 64
36.549 * * * * [points]: Setting MPFR precision to 320
36.550 * * * * [points]: Computing exacts on every 97 of 3107 points to ramp up precision
36.909 * * * * [points]: Setting MPFR precision to 64
36.911 * * * * [points]: Setting MPFR precision to 320
36.913 * * * * [points]: Computing exacts on every 48 of 3107 points to ramp up precision
36.919 * * * * [points]: Setting MPFR precision to 64
36.925 * * * * [points]: Setting MPFR precision to 320
36.929 * * * * [points]: Computing exacts on every 24 of 3107 points to ramp up precision
36.933 * * * * [points]: Setting MPFR precision to 64
36.941 * * * * [points]: Setting MPFR precision to 320
36.950 * * * * [points]: Computing exacts on every 12 of 3107 points to ramp up precision
36.954 * * * * [points]: Setting MPFR precision to 64
36.978 * * * * [points]: Setting MPFR precision to 320
36.995 * * * * [points]: Computing exacts on every 6 of 3107 points to ramp up precision
36.998 * * * * [points]: Setting MPFR precision to 64
37.057 * * * * [points]: Setting MPFR precision to 320
37.091 * * * * [points]: Computing exacts on every 3 of 3107 points to ramp up precision
37.095 * * * * [points]: Setting MPFR precision to 64
37.190 * * * * [points]: Setting MPFR precision to 320
37.295 * * * * [points]: Computing exacts for 3107 points
37.299 * * * * [points]: Setting MPFR precision to 64
37.678 * * * * [points]: Setting MPFR precision to 320
38.061 * * * * [points]: Filtering points with unrepresentable outputs
38.064 * * * * [points]: Sampling 2704 additional inputs, on iter 8 have 5296 / 8000
38.085 * * * * [points]: Computing exacts on every 169 of 2704 points to ramp up precision
38.092 * * * * [points]: Setting MPFR precision to 64
38.094 * * * * [points]: Setting MPFR precision to 320
38.096 * * * * [points]: Computing exacts on every 84 of 2704 points to ramp up precision
38.103 * * * * [points]: Setting MPFR precision to 64
38.105 * * * * [points]: Setting MPFR precision to 320
38.108 * * * * [points]: Computing exacts on every 42 of 2704 points to ramp up precision
38.111 * * * * [points]: Setting MPFR precision to 64
38.115 * * * * [points]: Setting MPFR precision to 320
38.120 * * * * [points]: Computing exacts on every 21 of 2704 points to ramp up precision
38.123 * * * * [points]: Setting MPFR precision to 64
38.132 * * * * [points]: Setting MPFR precision to 320
38.148 * * * * [points]: Computing exacts on every 10 of 2704 points to ramp up precision
38.155 * * * * [points]: Setting MPFR precision to 64
38.208 * * * * [points]: Setting MPFR precision to 320
38.225 * * * * [points]: Computing exacts on every 5 of 2704 points to ramp up precision
38.229 * * * * [points]: Setting MPFR precision to 64
38.261 * * * * [points]: Setting MPFR precision to 320
38.297 * * * * [points]: Computing exacts on every 2 of 2704 points to ramp up precision
38.304 * * * * [points]: Setting MPFR precision to 64
38.440 * * * * [points]: Setting MPFR precision to 320
38.510 * * * * [points]: Computing exacts for 2704 points
38.553 * * * * [points]: Setting MPFR precision to 64
38.801 * * * * [points]: Setting MPFR precision to 320
39.081 * * * * [points]: Filtering points with unrepresentable outputs
39.083 * * * * [points]: Sampling 2367 additional inputs, on iter 9 have 5633 / 8000
39.097 * * * * [points]: Computing exacts on every 147 of 2367 points to ramp up precision
39.103 * * * * [points]: Setting MPFR precision to 64
39.105 * * * * [points]: Setting MPFR precision to 320
39.106 * * * * [points]: Computing exacts on every 73 of 2367 points to ramp up precision
39.111 * * * * [points]: Setting MPFR precision to 64
39.114 * * * * [points]: Setting MPFR precision to 320
39.118 * * * * [points]: Computing exacts on every 36 of 2367 points to ramp up precision
39.123 * * * * [points]: Setting MPFR precision to 64
39.129 * * * * [points]: Setting MPFR precision to 320
39.135 * * * * [points]: Computing exacts on every 18 of 2367 points to ramp up precision
39.140 * * * * [points]: Setting MPFR precision to 64
39.153 * * * * [points]: Setting MPFR precision to 320
39.192 * * * * [points]: Computing exacts on every 9 of 2367 points to ramp up precision
39.195 * * * * [points]: Setting MPFR precision to 64
39.213 * * * * [points]: Setting MPFR precision to 320
39.232 * * * * [points]: Computing exacts on every 4 of 2367 points to ramp up precision
39.238 * * * * [points]: Setting MPFR precision to 64
39.280 * * * * [points]: Setting MPFR precision to 320
39.312 * * * * [points]: Computing exacts on every 2 of 2367 points to ramp up precision
39.343 * * * * [points]: Setting MPFR precision to 64
39.414 * * * * [points]: Setting MPFR precision to 320
39.494 * * * * [points]: Computing exacts for 2367 points
39.498 * * * * [points]: Setting MPFR precision to 64
39.990 * * * * [points]: Setting MPFR precision to 320
40.211 * * * * [points]: Filtering points with unrepresentable outputs
40.212 * * * * [points]: Sampling 2078 additional inputs, on iter 10 have 5922 / 8000
40.223 * * * * [points]: Computing exacts on every 129 of 2078 points to ramp up precision
40.227 * * * * [points]: Setting MPFR precision to 64
40.228 * * * * [points]: Setting MPFR precision to 320
40.229 * * * * [points]: Computing exacts on every 64 of 2078 points to ramp up precision
40.233 * * * * [points]: Setting MPFR precision to 64
40.235 * * * * [points]: Setting MPFR precision to 320
40.237 * * * * [points]: Computing exacts on every 32 of 2078 points to ramp up precision
40.241 * * * * [points]: Setting MPFR precision to 64
40.245 * * * * [points]: Setting MPFR precision to 320
40.249 * * * * [points]: Computing exacts on every 16 of 2078 points to ramp up precision
40.252 * * * * [points]: Setting MPFR precision to 64
40.261 * * * * [points]: Setting MPFR precision to 320
40.269 * * * * [points]: Computing exacts on every 8 of 2078 points to ramp up precision
40.273 * * * * [points]: Setting MPFR precision to 64
40.288 * * * * [points]: Setting MPFR precision to 320
40.303 * * * * [points]: Computing exacts on every 4 of 2078 points to ramp up precision
40.306 * * * * [points]: Setting MPFR precision to 64
40.357 * * * * [points]: Setting MPFR precision to 320
40.384 * * * * [points]: Computing exacts on every 2 of 2078 points to ramp up precision
40.388 * * * * [points]: Setting MPFR precision to 64
40.433 * * * * [points]: Setting MPFR precision to 320
40.508 * * * * [points]: Computing exacts for 2078 points
40.512 * * * * [points]: Setting MPFR precision to 64
40.682 * * * * [points]: Setting MPFR precision to 320
40.881 * * * * [points]: Filtering points with unrepresentable outputs
40.882 * * * * [points]: Sampling 1830 additional inputs, on iter 11 have 6170 / 8000
40.891 * * * * [points]: Computing exacts on every 114 of 1830 points to ramp up precision
40.895 * * * * [points]: Setting MPFR precision to 64
40.896 * * * * [points]: Setting MPFR precision to 320
40.897 * * * * [points]: Computing exacts on every 57 of 1830 points to ramp up precision
40.900 * * * * [points]: Setting MPFR precision to 64
40.903 * * * * [points]: Setting MPFR precision to 320
40.905 * * * * [points]: Computing exacts on every 28 of 1830 points to ramp up precision
40.908 * * * * [points]: Setting MPFR precision to 64
40.913 * * * * [points]: Setting MPFR precision to 320
40.918 * * * * [points]: Computing exacts on every 14 of 1830 points to ramp up precision
40.921 * * * * [points]: Setting MPFR precision to 64
40.929 * * * * [points]: Setting MPFR precision to 320
40.937 * * * * [points]: Computing exacts on every 7 of 1830 points to ramp up precision
40.941 * * * * [points]: Setting MPFR precision to 64
40.956 * * * * [points]: Setting MPFR precision to 320
40.971 * * * * [points]: Computing exacts on every 3 of 1830 points to ramp up precision
40.975 * * * * [points]: Setting MPFR precision to 64
41.027 * * * * [points]: Setting MPFR precision to 320
41.059 * * * * [points]: Computing exacts for 1830 points
41.062 * * * * [points]: Setting MPFR precision to 64
41.212 * * * * [points]: Setting MPFR precision to 320
41.361 * * * * [points]: Filtering points with unrepresentable outputs
41.362 * * * * [points]: Sampling 1602 additional inputs, on iter 12 have 6398 / 8000
41.369 * * * * [points]: Computing exacts on every 100 of 1602 points to ramp up precision
41.372 * * * * [points]: Setting MPFR precision to 64
41.374 * * * * [points]: Setting MPFR precision to 320
41.375 * * * * [points]: Computing exacts on every 50 of 1602 points to ramp up precision
41.405 * * * * [points]: Setting MPFR precision to 64
41.407 * * * * [points]: Setting MPFR precision to 320
41.409 * * * * [points]: Computing exacts on every 25 of 1602 points to ramp up precision
41.413 * * * * [points]: Setting MPFR precision to 64
41.420 * * * * [points]: Setting MPFR precision to 320
41.424 * * * * [points]: Computing exacts on every 12 of 1602 points to ramp up precision
41.427 * * * * [points]: Setting MPFR precision to 64
41.435 * * * * [points]: Setting MPFR precision to 320
41.443 * * * * [points]: Computing exacts on every 6 of 1602 points to ramp up precision
41.447 * * * * [points]: Setting MPFR precision to 64
41.461 * * * * [points]: Setting MPFR precision to 320
41.476 * * * * [points]: Computing exacts on every 3 of 1602 points to ramp up precision
41.480 * * * * [points]: Setting MPFR precision to 64
41.532 * * * * [points]: Setting MPFR precision to 320
41.562 * * * * [points]: Computing exacts for 1602 points
41.566 * * * * [points]: Setting MPFR precision to 64
41.704 * * * * [points]: Setting MPFR precision to 320
41.842 * * * * [points]: Filtering points with unrepresentable outputs
41.843 * * * * [points]: Sampling 1414 additional inputs, on iter 13 have 6586 / 8000
41.849 * * * * [points]: Computing exacts on every 88 of 1414 points to ramp up precision
41.852 * * * * [points]: Setting MPFR precision to 64
41.854 * * * * [points]: Setting MPFR precision to 320
41.855 * * * * [points]: Computing exacts on every 44 of 1414 points to ramp up precision
41.858 * * * * [points]: Setting MPFR precision to 64
41.860 * * * * [points]: Setting MPFR precision to 320
41.862 * * * * [points]: Computing exacts on every 22 of 1414 points to ramp up precision
41.865 * * * * [points]: Setting MPFR precision to 64
41.869 * * * * [points]: Setting MPFR precision to 320
41.873 * * * * [points]: Computing exacts on every 11 of 1414 points to ramp up precision
41.877 * * * * [points]: Setting MPFR precision to 64
41.884 * * * * [points]: Setting MPFR precision to 320
41.892 * * * * [points]: Computing exacts on every 5 of 1414 points to ramp up precision
41.895 * * * * [points]: Setting MPFR precision to 64
41.935 * * * * [points]: Setting MPFR precision to 320
41.952 * * * * [points]: Computing exacts on every 2 of 1414 points to ramp up precision
41.956 * * * * [points]: Setting MPFR precision to 64
41.986 * * * * [points]: Setting MPFR precision to 320
42.017 * * * * [points]: Computing exacts for 1414 points
42.021 * * * * [points]: Setting MPFR precision to 64
42.395 * * * * [points]: Setting MPFR precision to 320
42.518 * * * * [points]: Filtering points with unrepresentable outputs
42.518 * * * * [points]: Sampling 1224 additional inputs, on iter 14 have 6776 / 8000
42.524 * * * * [points]: Computing exacts on every 76 of 1224 points to ramp up precision
42.527 * * * * [points]: Setting MPFR precision to 64
42.529 * * * * [points]: Setting MPFR precision to 320
42.530 * * * * [points]: Computing exacts on every 38 of 1224 points to ramp up precision
42.533 * * * * [points]: Setting MPFR precision to 64
42.536 * * * * [points]: Setting MPFR precision to 320
42.538 * * * * [points]: Computing exacts on every 19 of 1224 points to ramp up precision
42.541 * * * * [points]: Setting MPFR precision to 64
42.545 * * * * [points]: Setting MPFR precision to 320
42.550 * * * * [points]: Computing exacts on every 9 of 1224 points to ramp up precision
42.577 * * * * [points]: Setting MPFR precision to 64
42.585 * * * * [points]: Setting MPFR precision to 320
42.595 * * * * [points]: Computing exacts on every 4 of 1224 points to ramp up precision
42.599 * * * * [points]: Setting MPFR precision to 64
42.615 * * * * [points]: Setting MPFR precision to 320
42.631 * * * * [points]: Computing exacts on every 2 of 1224 points to ramp up precision
42.634 * * * * [points]: Setting MPFR precision to 64
42.662 * * * * [points]: Setting MPFR precision to 320
42.714 * * * * [points]: Computing exacts for 1224 points
42.718 * * * * [points]: Setting MPFR precision to 64
42.800 * * * * [points]: Setting MPFR precision to 320
42.912 * * * * [points]: Filtering points with unrepresentable outputs
42.913 * * * * [points]: Sampling 1079 additional inputs, on iter 15 have 6921 / 8000
42.918 * * * * [points]: Computing exacts on every 67 of 1079 points to ramp up precision
42.921 * * * * [points]: Setting MPFR precision to 64
42.922 * * * * [points]: Setting MPFR precision to 320
42.924 * * * * [points]: Computing exacts on every 33 of 1079 points to ramp up precision
42.927 * * * * [points]: Setting MPFR precision to 64
42.929 * * * * [points]: Setting MPFR precision to 320
42.931 * * * * [points]: Computing exacts on every 16 of 1079 points to ramp up precision
42.934 * * * * [points]: Setting MPFR precision to 64
42.939 * * * * [points]: Setting MPFR precision to 320
42.943 * * * * [points]: Computing exacts on every 8 of 1079 points to ramp up precision
42.973 * * * * [points]: Setting MPFR precision to 64
42.983 * * * * [points]: Setting MPFR precision to 320
42.991 * * * * [points]: Computing exacts on every 4 of 1079 points to ramp up precision
42.994 * * * * [points]: Setting MPFR precision to 64
43.008 * * * * [points]: Setting MPFR precision to 320
43.022 * * * * [points]: Computing exacts on every 2 of 1079 points to ramp up precision
43.026 * * * * [points]: Setting MPFR precision to 64
43.051 * * * * [points]: Setting MPFR precision to 320
43.075 * * * * [points]: Computing exacts for 1079 points
43.104 * * * * [points]: Setting MPFR precision to 64
43.176 * * * * [points]: Setting MPFR precision to 320
43.279 * * * * [points]: Filtering points with unrepresentable outputs
43.280 * * * * [points]: Sampling 941 additional inputs, on iter 16 have 7059 / 8000
43.283 * * * * [points]: Computing exacts on every 58 of 941 points to ramp up precision
43.287 * * * * [points]: Setting MPFR precision to 64
43.288 * * * * [points]: Setting MPFR precision to 320
43.289 * * * * [points]: Computing exacts on every 29 of 941 points to ramp up precision
43.292 * * * * [points]: Setting MPFR precision to 64
43.295 * * * * [points]: Setting MPFR precision to 320
43.297 * * * * [points]: Computing exacts on every 14 of 941 points to ramp up precision
43.301 * * * * [points]: Setting MPFR precision to 64
43.305 * * * * [points]: Setting MPFR precision to 320
43.309 * * * * [points]: Computing exacts on every 7 of 941 points to ramp up precision
43.312 * * * * [points]: Setting MPFR precision to 64
43.320 * * * * [points]: Setting MPFR precision to 320
43.328 * * * * [points]: Computing exacts on every 3 of 941 points to ramp up precision
43.331 * * * * [points]: Setting MPFR precision to 64
43.371 * * * * [points]: Setting MPFR precision to 320
43.387 * * * * [points]: Computing exacts for 941 points
43.390 * * * * [points]: Setting MPFR precision to 64
43.452 * * * * [points]: Setting MPFR precision to 320
43.542 * * * * [points]: Filtering points with unrepresentable outputs
43.543 * * * * [points]: Sampling 814 additional inputs, on iter 17 have 7186 / 8000
43.546 * * * * [points]: Computing exacts on every 50 of 814 points to ramp up precision
43.551 * * * * [points]: Setting MPFR precision to 64
43.552 * * * * [points]: Setting MPFR precision to 320
43.553 * * * * [points]: Computing exacts on every 25 of 814 points to ramp up precision
43.557 * * * * [points]: Setting MPFR precision to 64
43.559 * * * * [points]: Setting MPFR precision to 320
43.561 * * * * [points]: Computing exacts on every 12 of 814 points to ramp up precision
43.564 * * * * [points]: Setting MPFR precision to 64
43.568 * * * * [points]: Setting MPFR precision to 320
43.572 * * * * [points]: Computing exacts on every 6 of 814 points to ramp up precision
43.576 * * * * [points]: Setting MPFR precision to 64
43.583 * * * * [points]: Setting MPFR precision to 320
43.591 * * * * [points]: Computing exacts on every 3 of 814 points to ramp up precision
43.618 * * * * [points]: Setting MPFR precision to 64
43.633 * * * * [points]: Setting MPFR precision to 320
43.647 * * * * [points]: Computing exacts for 814 points
43.650 * * * * [points]: Setting MPFR precision to 64
43.704 * * * * [points]: Setting MPFR precision to 320
43.788 * * * * [points]: Filtering points with unrepresentable outputs
43.788 * * * * [points]: Sampling 723 additional inputs, on iter 18 have 7277 / 8000
43.791 * * * * [points]: Computing exacts on every 45 of 723 points to ramp up precision
43.795 * * * * [points]: Setting MPFR precision to 64
43.796 * * * * [points]: Setting MPFR precision to 320
43.798 * * * * [points]: Computing exacts on every 22 of 723 points to ramp up precision
43.802 * * * * [points]: Setting MPFR precision to 64
43.804 * * * * [points]: Setting MPFR precision to 320
43.806 * * * * [points]: Computing exacts on every 11 of 723 points to ramp up precision
43.809 * * * * [points]: Setting MPFR precision to 64
43.813 * * * * [points]: Setting MPFR precision to 320
43.817 * * * * [points]: Computing exacts on every 5 of 723 points to ramp up precision
43.821 * * * * [points]: Setting MPFR precision to 64
43.828 * * * * [points]: Setting MPFR precision to 320
43.836 * * * * [points]: Computing exacts on every 2 of 723 points to ramp up precision
43.840 * * * * [points]: Setting MPFR precision to 64
43.882 * * * * [points]: Setting MPFR precision to 320
43.898 * * * * [points]: Computing exacts for 723 points
43.901 * * * * [points]: Setting MPFR precision to 64
43.950 * * * * [points]: Setting MPFR precision to 320
44.025 * * * * [points]: Filtering points with unrepresentable outputs
44.025 * * * * [points]: Sampling 611 additional inputs, on iter 19 have 7389 / 8000
44.028 * * * * [points]: Computing exacts on every 38 of 611 points to ramp up precision
44.031 * * * * [points]: Setting MPFR precision to 64
44.033 * * * * [points]: Setting MPFR precision to 320
44.034 * * * * [points]: Computing exacts on every 19 of 611 points to ramp up precision
44.037 * * * * [points]: Setting MPFR precision to 64
44.039 * * * * [points]: Setting MPFR precision to 320
44.042 * * * * [points]: Computing exacts on every 9 of 611 points to ramp up precision
44.045 * * * * [points]: Setting MPFR precision to 64
44.050 * * * * [points]: Setting MPFR precision to 320
44.054 * * * * [points]: Computing exacts on every 4 of 611 points to ramp up precision
44.057 * * * * [points]: Setting MPFR precision to 64
44.065 * * * * [points]: Setting MPFR precision to 320
44.073 * * * * [points]: Computing exacts on every 2 of 611 points to ramp up precision
44.076 * * * * [points]: Setting MPFR precision to 64
44.089 * * * * [points]: Setting MPFR precision to 320
44.125 * * * * [points]: Computing exacts for 611 points
44.129 * * * * [points]: Setting MPFR precision to 64
44.171 * * * * [points]: Setting MPFR precision to 320
44.211 * * * * [points]: Filtering points with unrepresentable outputs
44.211 * * * * [points]: Sampling 546 additional inputs, on iter 20 have 7454 / 8000
44.214 * * * * [points]: Computing exacts on every 34 of 546 points to ramp up precision
44.218 * * * * [points]: Setting MPFR precision to 64
44.219 * * * * [points]: Setting MPFR precision to 320
44.220 * * * * [points]: Computing exacts on every 17 of 546 points to ramp up precision
44.223 * * * * [points]: Setting MPFR precision to 64
44.251 * * * * [points]: Setting MPFR precision to 320
44.253 * * * * [points]: Computing exacts on every 8 of 546 points to ramp up precision
44.257 * * * * [points]: Setting MPFR precision to 64
44.262 * * * * [points]: Setting MPFR precision to 320
44.266 * * * * [points]: Computing exacts on every 4 of 546 points to ramp up precision
44.269 * * * * [points]: Setting MPFR precision to 64
44.276 * * * * [points]: Setting MPFR precision to 320
44.284 * * * * [points]: Computing exacts on every 2 of 546 points to ramp up precision
44.287 * * * * [points]: Setting MPFR precision to 64
44.301 * * * * [points]: Setting MPFR precision to 320
44.313 * * * * [points]: Computing exacts for 546 points
44.316 * * * * [points]: Setting MPFR precision to 64
44.375 * * * * [points]: Setting MPFR precision to 320
44.412 * * * * [points]: Filtering points with unrepresentable outputs
44.412 * * * * [points]: Sampling 477 additional inputs, on iter 21 have 7523 / 8000
44.414 * * * * [points]: Computing exacts on every 29 of 477 points to ramp up precision
44.419 * * * * [points]: Setting MPFR precision to 64
44.420 * * * * [points]: Setting MPFR precision to 320
44.421 * * * * [points]: Computing exacts on every 14 of 477 points to ramp up precision
44.425 * * * * [points]: Setting MPFR precision to 64
44.427 * * * * [points]: Setting MPFR precision to 320
44.429 * * * * [points]: Computing exacts on every 7 of 477 points to ramp up precision
44.432 * * * * [points]: Setting MPFR precision to 64
44.436 * * * * [points]: Setting MPFR precision to 320
44.440 * * * * [points]: Computing exacts on every 3 of 477 points to ramp up precision
44.443 * * * * [points]: Setting MPFR precision to 64
44.451 * * * * [points]: Setting MPFR precision to 320
44.459 * * * * [points]: Computing exacts for 477 points
44.462 * * * * [points]: Setting MPFR precision to 64
44.781 * * * * [points]: Setting MPFR precision to 320
44.813 * * * * [points]: Filtering points with unrepresentable outputs
44.813 * * * * [points]: Sampling 404 additional inputs, on iter 22 have 7596 / 8000
44.815 * * * * [points]: Computing exacts on every 25 of 404 points to ramp up precision
44.819 * * * * [points]: Setting MPFR precision to 64
44.820 * * * * [points]: Setting MPFR precision to 320
44.821 * * * * [points]: Computing exacts on every 12 of 404 points to ramp up precision
44.824 * * * * [points]: Setting MPFR precision to 64
44.826 * * * * [points]: Setting MPFR precision to 320
44.828 * * * * [points]: Computing exacts on every 6 of 404 points to ramp up precision
44.831 * * * * [points]: Setting MPFR precision to 64
44.835 * * * * [points]: Setting MPFR precision to 320
44.839 * * * * [points]: Computing exacts on every 3 of 404 points to ramp up precision
44.842 * * * * [points]: Setting MPFR precision to 64
44.849 * * * * [points]: Setting MPFR precision to 320
44.878 * * * * [points]: Computing exacts for 404 points
44.881 * * * * [points]: Setting MPFR precision to 64
44.910 * * * * [points]: Setting MPFR precision to 320
44.938 * * * * [points]: Filtering points with unrepresentable outputs
44.938 * * * * [points]: Sampling 361 additional inputs, on iter 23 have 7639 / 8000
44.940 * * * * [points]: Computing exacts on every 22 of 361 points to ramp up precision
44.943 * * * * [points]: Setting MPFR precision to 64
44.944 * * * * [points]: Setting MPFR precision to 320
44.945 * * * * [points]: Computing exacts on every 11 of 361 points to ramp up precision
44.948 * * * * [points]: Setting MPFR precision to 64
44.950 * * * * [points]: Setting MPFR precision to 320
44.952 * * * * [points]: Computing exacts on every 5 of 361 points to ramp up precision
44.956 * * * * [points]: Setting MPFR precision to 64
44.960 * * * * [points]: Setting MPFR precision to 320
44.964 * * * * [points]: Computing exacts on every 2 of 361 points to ramp up precision
44.967 * * * * [points]: Setting MPFR precision to 64
44.997 * * * * [points]: Setting MPFR precision to 320
45.008 * * * * [points]: Computing exacts for 361 points
45.011 * * * * [points]: Setting MPFR precision to 64
45.035 * * * * [points]: Setting MPFR precision to 320
45.060 * * * * [points]: Filtering points with unrepresentable outputs
45.060 * * * * [points]: Sampling 318 additional inputs, on iter 24 have 7682 / 8000
45.062 * * * * [points]: Computing exacts on every 19 of 318 points to ramp up precision
45.065 * * * * [points]: Setting MPFR precision to 64
45.066 * * * * [points]: Setting MPFR precision to 320
45.067 * * * * [points]: Computing exacts on every 9 of 318 points to ramp up precision
45.070 * * * * [points]: Setting MPFR precision to 64
45.072 * * * * [points]: Setting MPFR precision to 320
45.074 * * * * [points]: Computing exacts on every 4 of 318 points to ramp up precision
45.078 * * * * [points]: Setting MPFR precision to 64
45.082 * * * * [points]: Setting MPFR precision to 320
45.086 * * * * [points]: Computing exacts on every 2 of 318 points to ramp up precision
45.089 * * * * [points]: Setting MPFR precision to 64
45.119 * * * * [points]: Setting MPFR precision to 320
45.129 * * * * [points]: Computing exacts for 318 points
45.132 * * * * [points]: Setting MPFR precision to 64
45.152 * * * * [points]: Setting MPFR precision to 320
45.175 * * * * [points]: Filtering points with unrepresentable outputs
45.175 * * * * [points]: Sampling 286 additional inputs, on iter 25 have 7714 / 8000
45.177 * * * * [points]: Computing exacts on every 17 of 286 points to ramp up precision
45.180 * * * * [points]: Setting MPFR precision to 64
45.181 * * * * [points]: Setting MPFR precision to 320
45.182 * * * * [points]: Computing exacts on every 8 of 286 points to ramp up precision
45.186 * * * * [points]: Setting MPFR precision to 64
45.188 * * * * [points]: Setting MPFR precision to 320
45.190 * * * * [points]: Computing exacts on every 4 of 286 points to ramp up precision
45.193 * * * * [points]: Setting MPFR precision to 64
45.197 * * * * [points]: Setting MPFR precision to 320
45.201 * * * * [points]: Computing exacts on every 2 of 286 points to ramp up precision
45.204 * * * * [points]: Setting MPFR precision to 64
45.233 * * * * [points]: Setting MPFR precision to 320
45.240 * * * * [points]: Computing exacts for 286 points
45.245 * * * * [points]: Setting MPFR precision to 64
45.263 * * * * [points]: Setting MPFR precision to 320
45.282 * * * * [points]: Filtering points with unrepresentable outputs
45.282 * * * * [points]: Sampling 251 additional inputs, on iter 26 have 7749 / 8000
45.283 * * * * [points]: Computing exacts on every 15 of 251 points to ramp up precision
45.287 * * * * [points]: Setting MPFR precision to 64
45.288 * * * * [points]: Setting MPFR precision to 320
45.289 * * * * [points]: Computing exacts on every 7 of 251 points to ramp up precision
45.293 * * * * [points]: Setting MPFR precision to 64
45.295 * * * * [points]: Setting MPFR precision to 320
45.297 * * * * [points]: Computing exacts on every 3 of 251 points to ramp up precision
45.302 * * * * [points]: Setting MPFR precision to 64
45.306 * * * * [points]: Setting MPFR precision to 320
45.310 * * * * [points]: Computing exacts for 251 points
45.313 * * * * [points]: Setting MPFR precision to 64
45.354 * * * * [points]: Setting MPFR precision to 320
45.372 * * * * [points]: Filtering points with unrepresentable outputs
45.372 * * * * [points]: Sampling 219 additional inputs, on iter 27 have 7781 / 8000
45.373 * * * * [points]: Computing exacts on every 13 of 219 points to ramp up precision
45.377 * * * * [points]: Setting MPFR precision to 64
45.378 * * * * [points]: Setting MPFR precision to 320
45.379 * * * * [points]: Computing exacts on every 6 of 219 points to ramp up precision
45.382 * * * * [points]: Setting MPFR precision to 64
45.384 * * * * [points]: Setting MPFR precision to 320
45.387 * * * * [points]: Computing exacts on every 3 of 219 points to ramp up precision
45.390 * * * * [points]: Setting MPFR precision to 64
45.393 * * * * [points]: Setting MPFR precision to 320
45.397 * * * * [points]: Computing exacts for 219 points
45.400 * * * * [points]: Setting MPFR precision to 64
45.414 * * * * [points]: Setting MPFR precision to 320
45.430 * * * * [points]: Filtering points with unrepresentable outputs
45.431 * * * * [points]: Sampling 197 additional inputs, on iter 28 have 7803 / 8000
45.431 * * * * [points]: Computing exacts on every 12 of 197 points to ramp up precision
45.435 * * * * [points]: Setting MPFR precision to 64
45.436 * * * * [points]: Setting MPFR precision to 320
45.437 * * * * [points]: Computing exacts on every 6 of 197 points to ramp up precision
45.440 * * * * [points]: Setting MPFR precision to 64
45.442 * * * * [points]: Setting MPFR precision to 320
45.444 * * * * [points]: Computing exacts on every 3 of 197 points to ramp up precision
45.470 * * * * [points]: Setting MPFR precision to 64
45.474 * * * * [points]: Setting MPFR precision to 320
45.477 * * * * [points]: Computing exacts for 197 points
45.482 * * * * [points]: Setting MPFR precision to 64
45.494 * * * * [points]: Setting MPFR precision to 320
45.507 * * * * [points]: Filtering points with unrepresentable outputs
45.507 * * * * [points]: Sampling 165 additional inputs, on iter 29 have 7835 / 8000
45.508 * * * * [points]: Computing exacts on every 10 of 165 points to ramp up precision
45.511 * * * * [points]: Setting MPFR precision to 64
45.513 * * * * [points]: Setting MPFR precision to 320
45.514 * * * * [points]: Computing exacts on every 5 of 165 points to ramp up precision
45.517 * * * * [points]: Setting MPFR precision to 64
45.519 * * * * [points]: Setting MPFR precision to 320
45.521 * * * * [points]: Computing exacts on every 2 of 165 points to ramp up precision
45.524 * * * * [points]: Setting MPFR precision to 64
45.527 * * * * [points]: Setting MPFR precision to 320
45.531 * * * * [points]: Computing exacts for 165 points
45.534 * * * * [points]: Setting MPFR precision to 64
45.545 * * * * [points]: Setting MPFR precision to 320
45.557 * * * * [points]: Filtering points with unrepresentable outputs
45.558 * * * * [points]: Sampling 146 additional inputs, on iter 30 have 7854 / 8000
45.558 * * * * [points]: Computing exacts on every 9 of 146 points to ramp up precision
45.585 * * * * [points]: Setting MPFR precision to 64
45.586 * * * * [points]: Setting MPFR precision to 320
45.587 * * * * [points]: Computing exacts on every 4 of 146 points to ramp up precision
45.590 * * * * [points]: Setting MPFR precision to 64
45.592 * * * * [points]: Setting MPFR precision to 320
45.596 * * * * [points]: Computing exacts on every 2 of 146 points to ramp up precision
45.599 * * * * [points]: Setting MPFR precision to 64
45.602 * * * * [points]: Setting MPFR precision to 320
45.605 * * * * [points]: Computing exacts for 146 points
45.608 * * * * [points]: Setting MPFR precision to 64
45.618 * * * * [points]: Setting MPFR precision to 320
45.627 * * * * [points]: Filtering points with unrepresentable outputs
45.627 * * * * [points]: Sampling 129 additional inputs, on iter 31 have 7871 / 8000
45.628 * * * * [points]: Computing exacts on every 8 of 129 points to ramp up precision
45.631 * * * * [points]: Setting MPFR precision to 64
45.632 * * * * [points]: Setting MPFR precision to 320
45.633 * * * * [points]: Computing exacts on every 4 of 129 points to ramp up precision
45.637 * * * * [points]: Setting MPFR precision to 64
45.638 * * * * [points]: Setting MPFR precision to 320
45.640 * * * * [points]: Computing exacts on every 2 of 129 points to ramp up precision
45.643 * * * * [points]: Setting MPFR precision to 64
45.646 * * * * [points]: Setting MPFR precision to 320
45.649 * * * * [points]: Computing exacts for 129 points
45.653 * * * * [points]: Setting MPFR precision to 64
45.661 * * * * [points]: Setting MPFR precision to 320
45.670 * * * * [points]: Filtering points with unrepresentable outputs
45.670 * * * * [points]: Sampling 112 additional inputs, on iter 32 have 7888 / 8000
45.694 * * * * [points]: Computing exacts on every 7 of 112 points to ramp up precision
45.697 * * * * [points]: Setting MPFR precision to 64
45.698 * * * * [points]: Setting MPFR precision to 320
45.699 * * * * [points]: Computing exacts on every 3 of 112 points to ramp up precision
45.702 * * * * [points]: Setting MPFR precision to 64
45.706 * * * * [points]: Setting MPFR precision to 320
45.708 * * * * [points]: Computing exacts for 112 points
45.711 * * * * [points]: Setting MPFR precision to 64
45.718 * * * * [points]: Setting MPFR precision to 320
45.726 * * * * [points]: Filtering points with unrepresentable outputs
45.726 * * * * [points]: Sampling 100 additional inputs, on iter 33 have 7900 / 8000
45.726 * * * * [points]: Computing exacts on every 6 of 100 points to ramp up precision
45.729 * * * * [points]: Setting MPFR precision to 64
45.730 * * * * [points]: Setting MPFR precision to 320
45.732 * * * * [points]: Computing exacts on every 3 of 100 points to ramp up precision
45.735 * * * * [points]: Setting MPFR precision to 64
45.736 * * * * [points]: Setting MPFR precision to 320
45.738 * * * * [points]: Computing exacts for 100 points
45.741 * * * * [points]: Setting MPFR precision to 64
45.748 * * * * [points]: Setting MPFR precision to 320
45.754 * * * * [points]: Filtering points with unrepresentable outputs
45.755 * * * * [points]: Sampling 88 additional inputs, on iter 34 have 7912 / 8000
45.755 * * * * [points]: Computing exacts on every 5 of 88 points to ramp up precision
45.758 * * * * [points]: Setting MPFR precision to 64
45.759 * * * * [points]: Setting MPFR precision to 320
45.760 * * * * [points]: Computing exacts on every 2 of 88 points to ramp up precision
45.763 * * * * [points]: Setting MPFR precision to 64
45.765 * * * * [points]: Setting MPFR precision to 320
45.767 * * * * [points]: Computing exacts for 88 points
45.770 * * * * [points]: Setting MPFR precision to 64
45.776 * * * * [points]: Setting MPFR precision to 320
45.801 * * * * [points]: Filtering points with unrepresentable outputs
45.801 * * * * [points]: Sampling 73 additional inputs, on iter 35 have 7927 / 8000
45.802 * * * * [points]: Computing exacts on every 4 of 73 points to ramp up precision
45.806 * * * * [points]: Setting MPFR precision to 64
45.809 * * * * [points]: Setting MPFR precision to 320
45.811 * * * * [points]: Computing exacts on every 2 of 73 points to ramp up precision
45.814 * * * * [points]: Setting MPFR precision to 64
45.816 * * * * [points]: Setting MPFR precision to 320
45.818 * * * * [points]: Computing exacts for 73 points
45.821 * * * * [points]: Setting MPFR precision to 64
45.826 * * * * [points]: Setting MPFR precision to 320
45.830 * * * * [points]: Filtering points with unrepresentable outputs
45.831 * * * * [points]: Sampling 67 additional inputs, on iter 36 have 7933 / 8000
45.831 * * * * [points]: Computing exacts on every 4 of 67 points to ramp up precision
45.834 * * * * [points]: Setting MPFR precision to 64
45.835 * * * * [points]: Setting MPFR precision to 320
45.836 * * * * [points]: Computing exacts on every 2 of 67 points to ramp up precision
45.839 * * * * [points]: Setting MPFR precision to 64
45.841 * * * * [points]: Setting MPFR precision to 320
45.842 * * * * [points]: Computing exacts for 67 points
45.846 * * * * [points]: Setting MPFR precision to 64
45.850 * * * * [points]: Setting MPFR precision to 320
45.854 * * * * [points]: Filtering points with unrepresentable outputs
45.854 * * * * [points]: Sampling 59 additional inputs, on iter 37 have 7941 / 8000
45.855 * * * * [points]: Computing exacts on every 3 of 59 points to ramp up precision
45.858 * * * * [points]: Setting MPFR precision to 64
45.859 * * * * [points]: Setting MPFR precision to 320
45.860 * * * * [points]: Computing exacts for 59 points
45.863 * * * * [points]: Setting MPFR precision to 64
45.867 * * * * [points]: Setting MPFR precision to 320
45.871 * * * * [points]: Filtering points with unrepresentable outputs
45.871 * * * * [points]: Sampling 52 additional inputs, on iter 38 have 7948 / 8000
45.872 * * * * [points]: Computing exacts on every 3 of 52 points to ramp up precision
45.875 * * * * [points]: Setting MPFR precision to 64
45.876 * * * * [points]: Setting MPFR precision to 320
45.877 * * * * [points]: Computing exacts for 52 points
45.880 * * * * [points]: Setting MPFR precision to 64
45.901 * * * * [points]: Setting MPFR precision to 320
45.905 * * * * [points]: Filtering points with unrepresentable outputs
45.905 * * * * [points]: Sampling 46 additional inputs, on iter 39 have 7954 / 8000
45.905 * * * * [points]: Computing exacts on every 2 of 46 points to ramp up precision
45.908 * * * * [points]: Setting MPFR precision to 64
45.910 * * * * [points]: Setting MPFR precision to 320
45.911 * * * * [points]: Computing exacts for 46 points
45.914 * * * * [points]: Setting MPFR precision to 64
45.917 * * * * [points]: Setting MPFR precision to 320
45.920 * * * * [points]: Filtering points with unrepresentable outputs
45.920 * * * * [points]: Sampling 41 additional inputs, on iter 40 have 7959 / 8000
45.921 * * * * [points]: Computing exacts on every 2 of 41 points to ramp up precision
45.925 * * * * [points]: Setting MPFR precision to 64
45.926 * * * * [points]: Setting MPFR precision to 320
45.927 * * * * [points]: Computing exacts for 41 points
45.930 * * * * [points]: Setting MPFR precision to 64
45.933 * * * * [points]: Setting MPFR precision to 320
45.937 * * * * [points]: Filtering points with unrepresentable outputs
45.937 * * * * [points]: Sampling 36 additional inputs, on iter 41 have 7964 / 8000
45.937 * * * * [points]: Computing exacts on every 2 of 36 points to ramp up precision
45.941 * * * * [points]: Setting MPFR precision to 64
45.941 * * * * [points]: Setting MPFR precision to 320
45.942 * * * * [points]: Computing exacts for 36 points
45.945 * * * * [points]: Setting MPFR precision to 64
45.948 * * * * [points]: Setting MPFR precision to 320
45.950 * * * * [points]: Filtering points with unrepresentable outputs
45.950 * * * * [points]: Sampling 32 additional inputs, on iter 42 have 7968 / 8000
45.951 * * * * [points]: Computing exacts on every 2 of 32 points to ramp up precision
45.954 * * * * [points]: Setting MPFR precision to 64
45.955 * * * * [points]: Setting MPFR precision to 320
45.955 * * * * [points]: Computing exacts for 32 points
45.958 * * * * [points]: Setting MPFR precision to 64
45.961 * * * * [points]: Setting MPFR precision to 320
45.963 * * * * [points]: Filtering points with unrepresentable outputs
45.963 * * * * [points]: Sampling 27 additional inputs, on iter 43 have 7973 / 8000
45.963 * * * * [points]: Computing exacts for 27 points
45.966 * * * * [points]: Setting MPFR precision to 64
45.968 * * * * [points]: Setting MPFR precision to 320
45.970 * * * * [points]: Filtering points with unrepresentable outputs
45.970 * * * * [points]: Sampling 20 additional inputs, on iter 44 have 7980 / 8000
45.970 * * * * [points]: Computing exacts for 20 points
45.973 * * * * [points]: Setting MPFR precision to 64
45.975 * * * * [points]: Setting MPFR precision to 320
45.976 * * * * [points]: Filtering points with unrepresentable outputs
45.976 * * * * [points]: Sampling 18 additional inputs, on iter 45 have 7982 / 8000
45.976 * * * * [points]: Computing exacts for 18 points
45.979 * * * * [points]: Setting MPFR precision to 64
45.994 * * * * [points]: Setting MPFR precision to 320
45.995 * * * * [points]: Filtering points with unrepresentable outputs
45.995 * * * * [points]: Sampling 16 additional inputs, on iter 46 have 7984 / 8000
45.995 * * * * [points]: Computing exacts for 16 points
45.998 * * * * [points]: Setting MPFR precision to 64
46.001 * * * * [points]: Setting MPFR precision to 320
46.002 * * * * [points]: Filtering points with unrepresentable outputs
46.002 * * * * [points]: Sampling 15 additional inputs, on iter 47 have 7985 / 8000
46.002 * * * * [points]: Computing exacts for 15 points
46.005 * * * * [points]: Setting MPFR precision to 64
46.007 * * * * [points]: Setting MPFR precision to 320
46.008 * * * * [points]: Filtering points with unrepresentable outputs
46.008 * * * * [points]: Sampling 14 additional inputs, on iter 48 have 7986 / 8000
46.008 * * * * [points]: Computing exacts for 14 points
46.011 * * * * [points]: Setting MPFR precision to 64
46.012 * * * * [points]: Setting MPFR precision to 320
46.013 * * * * [points]: Filtering points with unrepresentable outputs
46.013 * * * * [points]: Sampling 14 additional inputs, on iter 49 have 7986 / 8000
46.013 * * * * [points]: Computing exacts for 14 points
46.016 * * * * [points]: Setting MPFR precision to 64
46.017 * * * * [points]: Setting MPFR precision to 320
46.018 * * * * [points]: Filtering points with unrepresentable outputs
46.018 * * * * [points]: Sampling 12 additional inputs, on iter 50 have 7988 / 8000
46.018 * * * * [points]: Computing exacts for 12 points
46.022 * * * * [points]: Setting MPFR precision to 64
46.022 * * * * [points]: Setting MPFR precision to 320
46.023 * * * * [points]: Filtering points with unrepresentable outputs
46.023 * * * * [points]: Sampling 10 additional inputs, on iter 51 have 7990 / 8000
46.023 * * * * [points]: Computing exacts for 10 points
46.026 * * * * [points]: Setting MPFR precision to 64
46.027 * * * * [points]: Setting MPFR precision to 320
46.028 * * * * [points]: Filtering points with unrepresentable outputs
46.028 * * * * [points]: Sampling 8 additional inputs, on iter 52 have 7992 / 8000
46.028 * * * * [points]: Computing exacts for 8 points
46.031 * * * * [points]: Setting MPFR precision to 64
46.032 * * * * [points]: Setting MPFR precision to 320
46.032 * * * * [points]: Filtering points with unrepresentable outputs
46.032 * * * * [points]: Sampling 5 additional inputs, on iter 53 have 7995 / 8000
46.033 * * * * [points]: Computing exacts for 5 points
46.036 * * * * [points]: Setting MPFR precision to 64
46.036 * * * * [points]: Setting MPFR precision to 320
46.036 * * * * [points]: Filtering points with unrepresentable outputs
46.037 * * * * [points]: Sampling 4 additional inputs, on iter 54 have 7996 / 8000
46.037 * * * * [points]: Computing exacts for 4 points
46.040 * * * * [points]: Setting MPFR precision to 64
46.040 * * * * [points]: Setting MPFR precision to 320
46.041 * * * * [points]: Filtering points with unrepresentable outputs
46.041 * * * * [points]: Sampling 4 additional inputs, on iter 55 have 7996 / 8000
46.041 * * * * [points]: Computing exacts for 4 points
46.044 * * * * [points]: Setting MPFR precision to 64
46.045 * * * * [points]: Setting MPFR precision to 320
46.045 * * * * [points]: Filtering points with unrepresentable outputs
46.045 * * * * [points]: Sampling 4 additional inputs, on iter 56 have 7996 / 8000
46.045 * * * * [points]: Computing exacts for 4 points
46.048 * * * * [points]: Setting MPFR precision to 64
46.049 * * * * [points]: Setting MPFR precision to 320
46.049 * * * * [points]: Filtering points with unrepresentable outputs
46.049 * * * * [points]: Sampling 4 additional inputs, on iter 57 have 7997 / 8000
46.049 * * * * [points]: Computing exacts for 4 points
46.052 * * * * [points]: Setting MPFR precision to 64
46.053 * * * * [points]: Setting MPFR precision to 320
46.053 * * * * [points]: Filtering points with unrepresentable outputs
46.053 * * * * [points]: Sampling 4 additional inputs, on iter 58 have 7999 / 8000
46.053 * * * * [points]: Computing exacts for 4 points
46.057 * * * * [points]: Setting MPFR precision to 64
46.057 * * * * [points]: Setting MPFR precision to 320
46.057 * * * * [points]: Filtering points with unrepresentable outputs
46.057 * * * * [points]: Sampling 4 additional inputs, on iter 59 have 7999 / 8000
46.057 * * * * [points]: Computing exacts for 4 points
46.061 * * * * [points]: Setting MPFR precision to 64
46.062 * * * * [points]: Setting MPFR precision to 320
46.062 * * * * [points]: Filtering points with unrepresentable outputs
46.063 * * * * [points]: Sampled 8000 points with exact outputs
48.186 * [regime-testing]: Baseline error score: 64.0
48.189 * [regime-testing]: Oracle error score: 64.0
48.196 * [regime-testing]: End program error score: 0.15184461186688622