0.002 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
0.003 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.005 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.011 * * * * [points]: Setting MPFR precision to 64
0.014 * * * * [points]: Setting MPFR precision to 320
0.015 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.022 * * * * [points]: Setting MPFR precision to 64
0.025 * * * * [points]: Setting MPFR precision to 320
0.028 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.035 * * * * [points]: Setting MPFR precision to 64
0.040 * * * * [points]: Setting MPFR precision to 320
0.046 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.052 * * * * [points]: Setting MPFR precision to 64
0.062 * * * * [points]: Setting MPFR precision to 320
0.072 * * * * [points]: Computing exacts for 256 points
0.075 * * * * [points]: Setting MPFR precision to 64
0.095 * * * * [points]: Setting MPFR precision to 320
0.137 * * * * [points]: Filtering points with unrepresentable outputs
0.137 * * * * [points]: Sampling 223 additional inputs, on iter 1 have 33 / 256
0.138 * * * * [points]: Computing exacts on every 13 of 223 points to ramp up precision
0.142 * * * * [points]: Setting MPFR precision to 64
0.143 * * * * [points]: Setting MPFR precision to 320
0.145 * * * * [points]: Computing exacts on every 6 of 223 points to ramp up precision
0.148 * * * * [points]: Setting MPFR precision to 64
0.151 * * * * [points]: Setting MPFR precision to 320
0.153 * * * * [points]: Computing exacts on every 3 of 223 points to ramp up precision
0.156 * * * * [points]: Setting MPFR precision to 64
0.160 * * * * [points]: Setting MPFR precision to 320
0.164 * * * * [points]: Computing exacts for 223 points
0.167 * * * * [points]: Setting MPFR precision to 64
0.182 * * * * [points]: Setting MPFR precision to 320
0.200 * * * * [points]: Filtering points with unrepresentable outputs
0.200 * * * * [points]: Sampling 199 additional inputs, on iter 2 have 57 / 256
0.202 * * * * [points]: Computing exacts on every 12 of 199 points to ramp up precision
0.209 * * * * [points]: Setting MPFR precision to 64
0.211 * * * * [points]: Setting MPFR precision to 320
0.213 * * * * [points]: Computing exacts on every 6 of 199 points to ramp up precision
0.220 * * * * [points]: Setting MPFR precision to 64
0.224 * * * * [points]: Setting MPFR precision to 320
0.228 * * * * [points]: Computing exacts on every 3 of 199 points to ramp up precision
0.235 * * * * [points]: Setting MPFR precision to 64
0.241 * * * * [points]: Setting MPFR precision to 320
0.246 * * * * [points]: Computing exacts for 199 points
0.269 * * * * [points]: Setting MPFR precision to 64
0.288 * * * * [points]: Setting MPFR precision to 320
0.311 * * * * [points]: Filtering points with unrepresentable outputs
0.311 * * * * [points]: Sampling 177 additional inputs, on iter 3 have 79 / 256
0.313 * * * * [points]: Computing exacts on every 11 of 177 points to ramp up precision
0.319 * * * * [points]: Setting MPFR precision to 64
0.320 * * * * [points]: Setting MPFR precision to 320
0.322 * * * * [points]: Computing exacts on every 5 of 177 points to ramp up precision
0.328 * * * * [points]: Setting MPFR precision to 64
0.331 * * * * [points]: Setting MPFR precision to 320
0.335 * * * * [points]: Computing exacts on every 2 of 177 points to ramp up precision
0.341 * * * * [points]: Setting MPFR precision to 64
0.347 * * * * [points]: Setting MPFR precision to 320
0.354 * * * * [points]: Computing exacts for 177 points
0.358 * * * * [points]: Setting MPFR precision to 64
0.370 * * * * [points]: Setting MPFR precision to 320
0.381 * * * * [points]: Filtering points with unrepresentable outputs
0.382 * * * * [points]: Sampling 158 additional inputs, on iter 4 have 98 / 256
0.382 * * * * [points]: Computing exacts on every 9 of 158 points to ramp up precision
0.386 * * * * [points]: Setting MPFR precision to 64
0.387 * * * * [points]: Setting MPFR precision to 320
0.388 * * * * [points]: Computing exacts on every 4 of 158 points to ramp up precision
0.392 * * * * [points]: Setting MPFR precision to 64
0.394 * * * * [points]: Setting MPFR precision to 320
0.396 * * * * [points]: Computing exacts on every 2 of 158 points to ramp up precision
0.428 * * * * [points]: Setting MPFR precision to 64
0.432 * * * * [points]: Setting MPFR precision to 320
0.437 * * * * [points]: Computing exacts for 158 points
0.441 * * * * [points]: Setting MPFR precision to 64
0.451 * * * * [points]: Setting MPFR precision to 320
0.462 * * * * [points]: Filtering points with unrepresentable outputs
0.462 * * * * [points]: Sampling 136 additional inputs, on iter 5 have 120 / 256
0.463 * * * * [points]: Computing exacts on every 8 of 136 points to ramp up precision
0.466 * * * * [points]: Setting MPFR precision to 64
0.467 * * * * [points]: Setting MPFR precision to 320
0.468 * * * * [points]: Computing exacts on every 4 of 136 points to ramp up precision
0.472 * * * * [points]: Setting MPFR precision to 64
0.473 * * * * [points]: Setting MPFR precision to 320
0.475 * * * * [points]: Computing exacts on every 2 of 136 points to ramp up precision
0.479 * * * * [points]: Setting MPFR precision to 64
0.482 * * * * [points]: Setting MPFR precision to 320
0.485 * * * * [points]: Computing exacts for 136 points
0.488 * * * * [points]: Setting MPFR precision to 64
0.497 * * * * [points]: Setting MPFR precision to 320
0.506 * * * * [points]: Filtering points with unrepresentable outputs
0.506 * * * * [points]: Sampling 127 additional inputs, on iter 6 have 129 / 256
0.507 * * * * [points]: Computing exacts on every 7 of 127 points to ramp up precision
0.510 * * * * [points]: Setting MPFR precision to 64
0.511 * * * * [points]: Setting MPFR precision to 320
0.513 * * * * [points]: Computing exacts on every 3 of 127 points to ramp up precision
0.541 * * * * [points]: Setting MPFR precision to 64
0.544 * * * * [points]: Setting MPFR precision to 320
0.546 * * * * [points]: Computing exacts for 127 points
0.549 * * * * [points]: Setting MPFR precision to 64
0.559 * * * * [points]: Setting MPFR precision to 320
0.568 * * * * [points]: Filtering points with unrepresentable outputs
0.568 * * * * [points]: Sampling 111 additional inputs, on iter 7 have 145 / 256
0.569 * * * * [points]: Computing exacts on every 6 of 111 points to ramp up precision
0.572 * * * * [points]: Setting MPFR precision to 64
0.573 * * * * [points]: Setting MPFR precision to 320
0.574 * * * * [points]: Computing exacts on every 3 of 111 points to ramp up precision
0.578 * * * * [points]: Setting MPFR precision to 64
0.579 * * * * [points]: Setting MPFR precision to 320
0.582 * * * * [points]: Computing exacts for 111 points
0.585 * * * * [points]: Setting MPFR precision to 64
0.592 * * * * [points]: Setting MPFR precision to 320
0.600 * * * * [points]: Filtering points with unrepresentable outputs
0.600 * * * * [points]: Sampling 99 additional inputs, on iter 8 have 157 / 256
0.600 * * * * [points]: Computing exacts on every 6 of 99 points to ramp up precision
0.604 * * * * [points]: Setting MPFR precision to 64
0.605 * * * * [points]: Setting MPFR precision to 320
0.606 * * * * [points]: Computing exacts on every 3 of 99 points to ramp up precision
0.609 * * * * [points]: Setting MPFR precision to 64
0.611 * * * * [points]: Setting MPFR precision to 320
0.612 * * * * [points]: Computing exacts for 99 points
0.616 * * * * [points]: Setting MPFR precision to 64
0.622 * * * * [points]: Setting MPFR precision to 320
0.629 * * * * [points]: Filtering points with unrepresentable outputs
0.629 * * * * [points]: Sampling 88 additional inputs, on iter 9 have 168 / 256
0.629 * * * * [points]: Computing exacts on every 5 of 88 points to ramp up precision
0.652 * * * * [points]: Setting MPFR precision to 64
0.653 * * * * [points]: Setting MPFR precision to 320
0.654 * * * * [points]: Computing exacts on every 2 of 88 points to ramp up precision
0.658 * * * * [points]: Setting MPFR precision to 64
0.661 * * * * [points]: Setting MPFR precision to 320
0.663 * * * * [points]: Computing exacts for 88 points
0.667 * * * * [points]: Setting MPFR precision to 64
0.673 * * * * [points]: Setting MPFR precision to 320
0.679 * * * * [points]: Filtering points with unrepresentable outputs
0.679 * * * * [points]: Sampling 72 additional inputs, on iter 10 have 184 / 256
0.680 * * * * [points]: Computing exacts on every 4 of 72 points to ramp up precision
0.683 * * * * [points]: Setting MPFR precision to 64
0.684 * * * * [points]: Setting MPFR precision to 320
0.685 * * * * [points]: Computing exacts on every 2 of 72 points to ramp up precision
0.689 * * * * [points]: Setting MPFR precision to 64
0.690 * * * * [points]: Setting MPFR precision to 320
0.692 * * * * [points]: Computing exacts for 72 points
0.695 * * * * [points]: Setting MPFR precision to 64
0.701 * * * * [points]: Setting MPFR precision to 320
0.706 * * * * [points]: Filtering points with unrepresentable outputs
0.706 * * * * [points]: Sampling 60 additional inputs, on iter 11 have 196 / 256
0.707 * * * * [points]: Computing exacts on every 3 of 60 points to ramp up precision
0.710 * * * * [points]: Setting MPFR precision to 64
0.711 * * * * [points]: Setting MPFR precision to 320
0.712 * * * * [points]: Computing exacts for 60 points
0.716 * * * * [points]: Setting MPFR precision to 64
0.720 * * * * [points]: Setting MPFR precision to 320
0.724 * * * * [points]: Filtering points with unrepresentable outputs
0.724 * * * * [points]: Sampling 52 additional inputs, on iter 12 have 204 / 256
0.724 * * * * [points]: Computing exacts on every 3 of 52 points to ramp up precision
0.728 * * * * [points]: Setting MPFR precision to 64
0.729 * * * * [points]: Setting MPFR precision to 320
0.730 * * * * [points]: Computing exacts for 52 points
0.734 * * * * [points]: Setting MPFR precision to 64
0.740 * * * * [points]: Setting MPFR precision to 320
1.115 * * * * [points]: Filtering points with unrepresentable outputs
1.116 * * * * [points]: Sampling 44 additional inputs, on iter 13 have 212 / 256
1.116 * * * * [points]: Computing exacts on every 2 of 44 points to ramp up precision
1.119 * * * * [points]: Setting MPFR precision to 64
1.121 * * * * [points]: Setting MPFR precision to 320
1.122 * * * * [points]: Computing exacts for 44 points
1.125 * * * * [points]: Setting MPFR precision to 64
1.128 * * * * [points]: Setting MPFR precision to 320
1.131 * * * * [points]: Filtering points with unrepresentable outputs
1.131 * * * * [points]: Sampling 35 additional inputs, on iter 14 have 221 / 256
1.132 * * * * [points]: Computing exacts on every 2 of 35 points to ramp up precision
1.135 * * * * [points]: Setting MPFR precision to 64
1.136 * * * * [points]: Setting MPFR precision to 320
1.137 * * * * [points]: Computing exacts for 35 points
1.140 * * * * [points]: Setting MPFR precision to 64
1.142 * * * * [points]: Setting MPFR precision to 320
1.145 * * * * [points]: Filtering points with unrepresentable outputs
1.145 * * * * [points]: Sampling 32 additional inputs, on iter 15 have 224 / 256
1.145 * * * * [points]: Computing exacts on every 2 of 32 points to ramp up precision
1.149 * * * * [points]: Setting MPFR precision to 64
1.149 * * * * [points]: Setting MPFR precision to 320
1.150 * * * * [points]: Computing exacts for 32 points
1.153 * * * * [points]: Setting MPFR precision to 64
1.156 * * * * [points]: Setting MPFR precision to 320
1.158 * * * * [points]: Filtering points with unrepresentable outputs
1.158 * * * * [points]: Sampling 29 additional inputs, on iter 16 have 227 / 256
1.159 * * * * [points]: Computing exacts for 29 points
1.162 * * * * [points]: Setting MPFR precision to 64
1.164 * * * * [points]: Setting MPFR precision to 320
1.166 * * * * [points]: Filtering points with unrepresentable outputs
1.166 * * * * [points]: Sampling 27 additional inputs, on iter 17 have 229 / 256
1.166 * * * * [points]: Computing exacts for 27 points
1.170 * * * * [points]: Setting MPFR precision to 64
1.172 * * * * [points]: Setting MPFR precision to 320
1.173 * * * * [points]: Filtering points with unrepresentable outputs
1.174 * * * * [points]: Sampling 24 additional inputs, on iter 18 have 232 / 256
1.174 * * * * [points]: Computing exacts for 24 points
1.177 * * * * [points]: Setting MPFR precision to 64
1.179 * * * * [points]: Setting MPFR precision to 320
1.181 * * * * [points]: Filtering points with unrepresentable outputs
1.181 * * * * [points]: Sampling 23 additional inputs, on iter 19 have 233 / 256
1.181 * * * * [points]: Computing exacts for 23 points
1.184 * * * * [points]: Setting MPFR precision to 64
1.186 * * * * [points]: Setting MPFR precision to 320
1.188 * * * * [points]: Filtering points with unrepresentable outputs
1.188 * * * * [points]: Sampling 20 additional inputs, on iter 20 have 236 / 256
1.188 * * * * [points]: Computing exacts for 20 points
1.191 * * * * [points]: Setting MPFR precision to 64
1.192 * * * * [points]: Setting MPFR precision to 320
1.194 * * * * [points]: Filtering points with unrepresentable outputs
1.194 * * * * [points]: Sampling 18 additional inputs, on iter 21 have 238 / 256
1.194 * * * * [points]: Computing exacts for 18 points
1.213 * * * * [points]: Setting MPFR precision to 64
1.214 * * * * [points]: Setting MPFR precision to 320
1.216 * * * * [points]: Filtering points with unrepresentable outputs
1.216 * * * * [points]: Sampling 17 additional inputs, on iter 22 have 239 / 256
1.216 * * * * [points]: Computing exacts for 17 points
1.220 * * * * [points]: Setting MPFR precision to 64
1.221 * * * * [points]: Setting MPFR precision to 320
1.222 * * * * [points]: Filtering points with unrepresentable outputs
1.222 * * * * [points]: Sampling 10 additional inputs, on iter 23 have 246 / 256
1.222 * * * * [points]: Computing exacts for 10 points
1.226 * * * * [points]: Setting MPFR precision to 64
1.227 * * * * [points]: Setting MPFR precision to 320
1.228 * * * * [points]: Filtering points with unrepresentable outputs
1.228 * * * * [points]: Sampling 8 additional inputs, on iter 24 have 248 / 256
1.228 * * * * [points]: Computing exacts for 8 points
1.231 * * * * [points]: Setting MPFR precision to 64
1.232 * * * * [points]: Setting MPFR precision to 320
1.232 * * * * [points]: Filtering points with unrepresentable outputs
1.232 * * * * [points]: Sampling 7 additional inputs, on iter 25 have 249 / 256
1.232 * * * * [points]: Computing exacts for 7 points
1.236 * * * * [points]: Setting MPFR precision to 64
1.237 * * * * [points]: Setting MPFR precision to 320
1.238 * * * * [points]: Filtering points with unrepresentable outputs
1.238 * * * * [points]: Sampling 6 additional inputs, on iter 26 have 250 / 256
1.238 * * * * [points]: Computing exacts for 6 points
1.244 * * * * [points]: Setting MPFR precision to 64
1.245 * * * * [points]: Setting MPFR precision to 320
1.246 * * * * [points]: Filtering points with unrepresentable outputs
1.246 * * * * [points]: Sampling 4 additional inputs, on iter 27 have 252 / 256
1.246 * * * * [points]: Computing exacts for 4 points
1.252 * * * * [points]: Setting MPFR precision to 64
1.252 * * * * [points]: Setting MPFR precision to 320
1.253 * * * * [points]: Filtering points with unrepresentable outputs
1.253 * * * * [points]: Sampling 4 additional inputs, on iter 28 have 252 / 256
1.253 * * * * [points]: Computing exacts for 4 points
1.259 * * * * [points]: Setting MPFR precision to 64
1.259 * * * * [points]: Setting MPFR precision to 320
1.260 * * * * [points]: Filtering points with unrepresentable outputs
1.260 * * * * [points]: Sampling 4 additional inputs, on iter 29 have 252 / 256
1.260 * * * * [points]: Computing exacts for 4 points
1.266 * * * * [points]: Setting MPFR precision to 64
1.266 * * * * [points]: Setting MPFR precision to 320
1.267 * * * * [points]: Filtering points with unrepresentable outputs
1.267 * * * * [points]: Sampling 4 additional inputs, on iter 30 have 253 / 256
1.267 * * * * [points]: Computing exacts for 4 points
1.273 * * * * [points]: Setting MPFR precision to 64
1.274 * * * * [points]: Setting MPFR precision to 320
1.274 * * * * [points]: Filtering points with unrepresentable outputs
1.274 * * * * [points]: Sampling 4 additional inputs, on iter 31 have 253 / 256
1.274 * * * * [points]: Computing exacts for 4 points
1.281 * * * * [points]: Setting MPFR precision to 64
1.282 * * * * [points]: Setting MPFR precision to 320
1.282 * * * * [points]: Filtering points with unrepresentable outputs
1.282 * * * * [points]: Sampling 4 additional inputs, on iter 32 have 254 / 256
1.282 * * * * [points]: Computing exacts for 4 points
1.294 * * * * [points]: Setting MPFR precision to 64
1.296 * * * * [points]: Setting MPFR precision to 320
1.296 * * * * [points]: Filtering points with unrepresentable outputs
1.296 * * * * [points]: Sampling 4 additional inputs, on iter 33 have 254 / 256
1.296 * * * * [points]: Computing exacts for 4 points
1.303 * * * * [points]: Setting MPFR precision to 64
1.303 * * * * [points]: Setting MPFR precision to 320
1.304 * * * * [points]: Filtering points with unrepresentable outputs
1.304 * * * * [points]: Sampling 4 additional inputs, on iter 34 have 254 / 256
1.304 * * * * [points]: Computing exacts for 4 points
1.310 * * * * [points]: Setting MPFR precision to 64
1.311 * * * * [points]: Setting MPFR precision to 320
1.311 * * * * [points]: Filtering points with unrepresentable outputs
1.312 * * * * [points]: Sampling 4 additional inputs, on iter 35 have 255 / 256
1.312 * * * * [points]: Computing exacts for 4 points
1.318 * * * * [points]: Setting MPFR precision to 64
1.319 * * * * [points]: Setting MPFR precision to 320
1.319 * * * * [points]: Filtering points with unrepresentable outputs
1.319 * * * * [points]: Sampling 4 additional inputs, on iter 36 have 255 / 256
1.320 * * * * [points]: Computing exacts for 4 points
1.342 * * * * [points]: Setting MPFR precision to 64
1.343 * * * * [points]: Setting MPFR precision to 320
1.344 * * * * [points]: Filtering points with unrepresentable outputs
1.344 * * * * [points]: Sampled 256 points with exact outputs
1.344 * * * [progress]: [2/2] Setting up program.
1.365 * [progress]: [Phase 2 of 3] Improving.
1.366 * * * * [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.366 * [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.366 * * [simplify]: iters left: 6 (15 enodes)
1.373 * * [simplify]: iters left: 5 (54 enodes)
1.394 * * [simplify]: iters left: 4 (174 enodes)
1.535 * * [simplify]: Extracting #0: cost 1 inf + 0
1.535 * * [simplify]: Extracting #1: cost 2 inf + 0
1.535 * * [simplify]: Extracting #2: cost 52 inf + 0
1.535 * * [simplify]: Extracting #3: cost 218 inf + 0
1.537 * * [simplify]: Extracting #4: cost 350 inf + 488
1.541 * * [simplify]: Extracting #5: cost 271 inf + 83278
1.555 * * [simplify]: Extracting #6: cost 99 inf + 301152
1.581 * * [simplify]: Extracting #7: cost 13 inf + 445414
1.612 * * [simplify]: Extracting #8: cost 0 inf + 471346
1.639 * [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.639 * [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.651 * * [progress]: iteration 1 / 4
1.651 * * * [progress]: picking best candidate
1.662 * * * * [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.662 * * * [progress]: localizing error
1.889 * * * [progress]: generating rewritten candidates
1.889 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 2)
1.911 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
1.936 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
1.958 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
1.985 * * * [progress]: generating series expansions
1.985 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 2)
1.985 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
1.985 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
1.985 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
1.985 * * * [progress]: simplifying candidates
1.985 * * * * [progress]: [ 1 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
1.985 * * * * [progress]: [ 2 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
1.985 * * * * [progress]: [ 3 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 c)))))>
1.985 * * * * [progress]: [ 4 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
1.985 * * * * [progress]: [ 5 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
1.985 * * * * [progress]: [ 6 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
1.985 * * * * [progress]: [ 7 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (+.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (neg.p16 b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
1.985 * [simplify]: Simplifying (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (neg.p16 b))
1.986 * * [simplify]: iters left: 6 (12 enodes)
1.988 * * [simplify]: iters left: 5 (36 enodes)
1.995 * * [simplify]: iters left: 4 (88 enodes)
2.014 * * [simplify]: iters left: 3 (326 enodes)
2.198 * * [simplify]: Extracting #0: cost 1 inf + 0
2.198 * * [simplify]: Extracting #1: cost 40 inf + 0
2.199 * * [simplify]: Extracting #2: cost 279 inf + 0
2.204 * * [simplify]: Extracting #3: cost 410 inf + 33268
2.232 * * [simplify]: Extracting #4: cost 143 inf + 349076
2.267 * * [simplify]: Extracting #5: cost 45 inf + 540181
2.303 * * [simplify]: Extracting #6: cost 1 inf + 609412
2.343 * * [simplify]: Extracting #7: cost 0 inf + 612496
2.378 * [simplify]: Simplified to (*.p16 (neg.p16 b) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))))
2.378 * [simplify]: Simplified (2 1 1 2) to (λ (a b c) (sqrt.p16 (*.p16 (+.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (neg.p16 b) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
2.379 * * * * [progress]: [ 8 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (*.p16 (neg.p16 b) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
2.379 * [simplify]: Simplifying (*.p16 (neg.p16 b) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)))
2.379 * * [simplify]: iters left: 6 (12 enodes)
2.382 * * [simplify]: iters left: 5 (36 enodes)
2.388 * * [simplify]: iters left: 4 (94 enodes)
2.412 * * [simplify]: iters left: 3 (374 enodes)
2.610 * * [simplify]: Extracting #0: cost 1 inf + 0
2.610 * * [simplify]: Extracting #1: cost 43 inf + 0
2.615 * * [simplify]: Extracting #2: cost 305 inf + 0
2.620 * * [simplify]: Extracting #3: cost 440 inf + 32487
2.642 * * [simplify]: Extracting #4: cost 120 inf + 424278
2.705 * * [simplify]: Extracting #5: cost 24 inf + 622865
2.770 * * [simplify]: Extracting #6: cost 0 inf + 657281
2.829 * [simplify]: Simplified to (*.p16 (neg.p16 b) (*.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) a)))
2.829 * [simplify]: Simplified (2 1 1 2) to (λ (a b c) (sqrt.p16 (*.p16 (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (*.p16 (neg.p16 b) (*.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
2.829 * * * * [progress]: [ 9 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
2.829 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))
2.829 * * [simplify]: iters left: 3 (8 enodes)
2.832 * * [simplify]: iters left: 2 (19 enodes)
2.835 * * [simplify]: iters left: 1 (25 enodes)
2.841 * * [simplify]: Extracting #0: cost 1 inf + 0
2.841 * * [simplify]: Extracting #1: cost 3 inf + 0
2.841 * * [simplify]: Extracting #2: cost 10 inf + 0
2.841 * * [simplify]: Extracting #3: cost 5 inf + 46
2.841 * * [simplify]: Extracting #4: cost 0 inf + 738
2.841 * [simplify]: Simplified to (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))
2.841 * [simplify]: Simplified (2 1 1 1) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
2.841 * * * * [progress]: [ 10 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
2.842 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)
2.842 * * [simplify]: iters left: 4 (9 enodes)
2.845 * * [simplify]: iters left: 3 (21 enodes)
2.848 * * [simplify]: iters left: 2 (27 enodes)
2.851 * * [simplify]: iters left: 1 (28 enodes)
2.855 * * [simplify]: Extracting #0: cost 1 inf + 0
2.855 * * [simplify]: Extracting #1: cost 3 inf + 0
2.855 * * [simplify]: Extracting #2: cost 4 inf + 1
2.855 * * [simplify]: Extracting #3: cost 10 inf + 1
2.855 * * [simplify]: Extracting #4: cost 5 inf + 47
2.855 * * [simplify]: Extracting #5: cost 1 inf + 738
2.855 * * [simplify]: Extracting #6: cost 0 inf + 1302
2.856 * [simplify]: Simplified to (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b)
2.856 * [simplify]: Simplified (2 1 1 2) to (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
2.856 * * * * [progress]: [ 11 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
2.856 * [simplify]: Simplifying (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))
2.856 * * [simplify]: iters left: 6 (14 enodes)
2.859 * * [simplify]: iters left: 5 (51 enodes)
2.870 * * [simplify]: iters left: 4 (173 enodes)
2.926 * * [simplify]: Extracting #0: cost 1 inf + 0
2.926 * * [simplify]: Extracting #1: cost 48 inf + 0
2.926 * * [simplify]: Extracting #2: cost 196 inf + 0
2.930 * * [simplify]: Extracting #3: cost 275 inf + 1859
2.934 * * [simplify]: Extracting #4: cost 237 inf + 79873
2.955 * * [simplify]: Extracting #5: cost 41 inf + 350410
2.994 * * [simplify]: Extracting #6: cost 1 inf + 422604
3.034 * * [simplify]: Extracting #7: cost 0 inf + 425528
3.078 * [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)))
3.078 * [simplify]: Simplified (2 1 1 1) to (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
3.078 * * * * [progress]: [ 12 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
3.078 * [simplify]: Simplifying (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))
3.078 * * [simplify]: iters left: 6 (12 enodes)
3.084 * * [simplify]: iters left: 5 (40 enodes)
3.097 * * [simplify]: iters left: 4 (117 enodes)
3.169 * * [simplify]: Extracting #0: cost 1 inf + 0
3.169 * * [simplify]: Extracting #1: cost 45 inf + 0
3.169 * * [simplify]: Extracting #2: cost 164 inf + 0
3.171 * * [simplify]: Extracting #3: cost 241 inf + 1094
3.176 * * [simplify]: Extracting #4: cost 183 inf + 54639
3.201 * * [simplify]: Extracting #5: cost 31 inf + 243256
3.222 * * [simplify]: Extracting #6: cost 5 inf + 280996
3.249 * * [simplify]: Extracting #7: cost 0 inf + 291976
3.268 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 (+.p16 b a) c) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a))
3.268 * [simplify]: Simplified (2 1 1 1) to (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (+.p16 (+.p16 b a) c) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
3.268 * * * * [progress]: [ 13 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
3.268 * * * * [progress]: [ 14 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
3.269 * [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.269 * * [simplify]: iters left: 6 (15 enodes)
3.273 * * [simplify]: iters left: 5 (54 enodes)
3.285 * * [simplify]: iters left: 4 (174 enodes)
3.357 * * [simplify]: Extracting #0: cost 1 inf + 0
3.357 * * [simplify]: Extracting #1: cost 2 inf + 0
3.357 * * [simplify]: Extracting #2: cost 52 inf + 0
3.358 * * [simplify]: Extracting #3: cost 218 inf + 0
3.359 * * [simplify]: Extracting #4: cost 350 inf + 488
3.368 * * [simplify]: Extracting #5: cost 271 inf + 83278
3.386 * * [simplify]: Extracting #6: cost 99 inf + 301152
3.428 * * [simplify]: Extracting #7: cost 13 inf + 445414
3.471 * * [simplify]: Extracting #8: cost 0 inf + 471346
3.509 * [simplify]: Simplified to (sqrt.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c)))
3.509 * [simplify]: Simplified (2) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c))))
3.509 * * * * [progress]: [ 15 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
3.510 * [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.510 * * [simplify]: iters left: 6 (15 enodes)
3.513 * * [simplify]: iters left: 5 (54 enodes)
3.524 * * [simplify]: iters left: 4 (174 enodes)
3.619 * * [simplify]: Extracting #0: cost 1 inf + 0
3.619 * * [simplify]: Extracting #1: cost 2 inf + 0
3.619 * * [simplify]: Extracting #2: cost 52 inf + 0
3.620 * * [simplify]: Extracting #3: cost 218 inf + 0
3.621 * * [simplify]: Extracting #4: cost 350 inf + 488
3.625 * * [simplify]: Extracting #5: cost 271 inf + 83278
3.640 * * [simplify]: Extracting #6: cost 99 inf + 301152
3.676 * * [simplify]: Extracting #7: cost 13 inf + 445414
3.724 * * [simplify]: Extracting #8: cost 0 inf + 471346
3.756 * [simplify]: Simplified to (sqrt.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c)))
3.756 * [simplify]: Simplified (2) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c))))
3.756 * * * * [progress]: [ 16 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
3.756 * [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.757 * * [simplify]: iters left: 6 (15 enodes)
3.760 * * [simplify]: iters left: 5 (54 enodes)
3.771 * * [simplify]: iters left: 4 (174 enodes)
3.886 * * [simplify]: Extracting #0: cost 1 inf + 0
3.886 * * [simplify]: Extracting #1: cost 2 inf + 0
3.886 * * [simplify]: Extracting #2: cost 52 inf + 0
3.887 * * [simplify]: Extracting #3: cost 218 inf + 0
3.889 * * [simplify]: Extracting #4: cost 350 inf + 488
3.896 * * [simplify]: Extracting #5: cost 271 inf + 83278
3.925 * * [simplify]: Extracting #6: cost 99 inf + 301152
3.965 * * [simplify]: Extracting #7: cost 13 inf + 445414
4.009 * * [simplify]: Extracting #8: cost 0 inf + 471346
4.055 * [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.055 * [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.055 * * * * [progress]: [ 17 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
4.056 * [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.056 * * [simplify]: iters left: 6 (15 enodes)
4.061 * * [simplify]: iters left: 5 (54 enodes)
4.077 * * [simplify]: iters left: 4 (174 enodes)
4.194 * * [simplify]: Extracting #0: cost 1 inf + 0
4.194 * * [simplify]: Extracting #1: cost 2 inf + 0
4.195 * * [simplify]: Extracting #2: cost 52 inf + 0
4.195 * * [simplify]: Extracting #3: cost 218 inf + 0
4.197 * * [simplify]: Extracting #4: cost 350 inf + 488
4.204 * * [simplify]: Extracting #5: cost 271 inf + 83278
4.226 * * [simplify]: Extracting #6: cost 99 inf + 301152
4.263 * * [simplify]: Extracting #7: cost 13 inf + 445414
4.292 * * [simplify]: Extracting #8: cost 0 inf + 471346
4.324 * [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.325 * [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.325 * * * [progress]: adding candidates to table
4.866 * * [progress]: iteration 2 / 4
4.866 * * * [progress]: picking best candidate
4.923 * * * * [pick]: Picked  #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
4.923 * * * [progress]: localizing error
5.362 * * * [progress]: generating rewritten candidates
5.362 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
5.446 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 2)
5.469 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
5.506 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2)
5.510 * * * [progress]: generating series expansions
5.510 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
5.510 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 2)
5.510 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
5.510 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2)
5.510 * * * [progress]: simplifying candidates
5.510 * * * * [progress]: [ 1 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
5.510 * [simplify]: Simplifying (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))
5.510 * * [simplify]: iters left: 5 (10 enodes)
5.513 * * [simplify]: iters left: 4 (31 enodes)
5.518 * * [simplify]: iters left: 3 (69 enodes)
5.533 * * [simplify]: iters left: 2 (236 enodes)
5.630 * * [simplify]: Extracting #0: cost 1 inf + 0
5.630 * * [simplify]: Extracting #1: cost 28 inf + 0
5.631 * * [simplify]: Extracting #2: cost 177 inf + 0
5.633 * * [simplify]: Extracting #3: cost 284 inf + 4676
5.639 * * [simplify]: Extracting #4: cost 222 inf + 71674
5.653 * * [simplify]: Extracting #5: cost 74 inf + 271655
5.682 * * [simplify]: Extracting #6: cost 0 inf + 386774
5.713 * * [simplify]: Extracting #7: cost 0 inf + 386134
5.754 * [simplify]: Simplified to (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))
5.754 * [simplify]: Simplified (2 1 1 1) to (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
5.754 * * * * [progress]: [ 2 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 b b) (*.p16 b b)))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
5.755 * [simplify]: Simplifying (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 b b) (*.p16 b b))))
5.755 * * [simplify]: iters left: 6 (16 enodes)
5.759 * * [simplify]: iters left: 5 (61 enodes)
5.775 * * [simplify]: iters left: 4 (216 enodes)
5.882 * * [simplify]: Extracting #0: cost 1 inf + 0
5.882 * * [simplify]: Extracting #1: cost 48 inf + 0
5.883 * * [simplify]: Extracting #2: cost 223 inf + 0
5.888 * * [simplify]: Extracting #3: cost 263 inf + 69049
5.916 * * [simplify]: Extracting #4: cost 152 inf + 380772
5.967 * * [simplify]: Extracting #5: cost 3 inf + 629182
6.006 * * [simplify]: Extracting #6: cost 0 inf + 637514
6.059 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 b b)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 b b))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))))
6.059 * [simplify]: Simplified (2 1 1 1) to (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 b b)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 b b))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
6.059 * * * * [progress]: [ 3 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
6.060 * [simplify]: Simplifying (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)))
6.060 * * [simplify]: iters left: 6 (15 enodes)
6.064 * * [simplify]: iters left: 5 (55 enodes)
6.075 * * [simplify]: iters left: 4 (194 enodes)
6.147 * * [simplify]: Extracting #0: cost 1 inf + 0
6.147 * * [simplify]: Extracting #1: cost 59 inf + 0
6.148 * * [simplify]: Extracting #2: cost 262 inf + 0
6.150 * * [simplify]: Extracting #3: cost 306 inf + 47598
6.168 * * [simplify]: Extracting #4: cost 150 inf + 352982
6.199 * * [simplify]: Extracting #5: cost 10 inf + 577466
6.235 * * [simplify]: Extracting #6: cost 0 inf + 595542
6.281 * [simplify]: Simplified to (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))))
6.281 * [simplify]: Simplified (2 1 1 1) to (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
6.281 * * * * [progress]: [ 4 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
6.281 * [simplify]: Simplifying (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)))
6.281 * * [simplify]: iters left: 6 (14 enodes)
6.288 * * [simplify]: iters left: 5 (49 enodes)
6.305 * * [simplify]: iters left: 4 (169 enodes)
6.410 * * [simplify]: Extracting #0: cost 1 inf + 0
6.410 * * [simplify]: Extracting #1: cost 57 inf + 0
6.411 * * [simplify]: Extracting #2: cost 236 inf + 0
6.413 * * [simplify]: Extracting #3: cost 335 inf + 695
6.420 * * [simplify]: Extracting #4: cost 268 inf + 84470
6.442 * * [simplify]: Extracting #5: cost 93 inf + 311002
6.475 * * [simplify]: Extracting #6: cost 21 inf + 436169
6.502 * * [simplify]: Extracting #7: cost 1 inf + 484889
6.537 * * [simplify]: Extracting #8: cost 0 inf + 488053
6.580 * [simplify]: Simplified to (*.p16 (+.p16 (+.p16 b a) c) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a))))
6.580 * [simplify]: Simplified (2 1 1 1) to (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (+.p16 (+.p16 b a) c) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
6.580 * * * * [progress]: [ 5 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 a))) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
6.580 * * * * [progress]: [ 6 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
6.580 * * * * [progress]: [ 7 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 c)))))>
6.580 * * * * [progress]: [ 8 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
6.580 * * * * [progress]: [ 9 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
6.580 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)
6.581 * * [simplify]: iters left: 4 (9 enodes)
6.584 * * [simplify]: iters left: 3 (21 enodes)
6.590 * * [simplify]: iters left: 2 (27 enodes)
6.596 * * [simplify]: iters left: 1 (28 enodes)
6.602 * * [simplify]: Extracting #0: cost 1 inf + 0
6.602 * * [simplify]: Extracting #1: cost 3 inf + 0
6.602 * * [simplify]: Extracting #2: cost 4 inf + 1
6.602 * * [simplify]: Extracting #3: cost 10 inf + 1
6.602 * * [simplify]: Extracting #4: cost 5 inf + 47
6.602 * * [simplify]: Extracting #5: cost 1 inf + 738
6.603 * * [simplify]: Extracting #6: cost 0 inf + 1302
6.603 * [simplify]: Simplified to (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b)
6.603 * [simplify]: Simplified (2 1 1 1 2 1) to (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (*.p16 (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
6.603 * [simplify]: Simplifying (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)
6.603 * * [simplify]: iters left: 4 (9 enodes)
6.607 * * [simplify]: iters left: 3 (27 enodes)
6.614 * * [simplify]: iters left: 2 (47 enodes)
6.628 * * [simplify]: iters left: 1 (123 enodes)
6.661 * * [simplify]: Extracting #0: cost 1 inf + 0
6.661 * * [simplify]: Extracting #1: cost 15 inf + 0
6.661 * * [simplify]: Extracting #2: cost 52 inf + 82
6.661 * * [simplify]: Extracting #3: cost 87 inf + 1044
6.662 * * [simplify]: Extracting #4: cost 140 inf + 5615
6.664 * * [simplify]: Extracting #5: cost 118 inf + 19352
6.669 * * [simplify]: Extracting #6: cost 58 inf + 77580
6.680 * * [simplify]: Extracting #7: cost 8 inf + 157140
6.689 * * [simplify]: Extracting #8: cost 0 inf + 176132
6.699 * [simplify]: Simplified to (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) b)
6.699 * [simplify]: Simplified (2 1 1 1 2 2) to (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
6.699 * * * * [progress]: [ 10 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (neg.p16 (*.p16 b b)))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
6.699 * * * * [progress]: [ 11 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 b b) (*.p16 b b))) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
6.699 * * * * [progress]: [ 12 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
6.699 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)
6.699 * * [simplify]: iters left: 4 (9 enodes)
6.703 * * [simplify]: iters left: 3 (21 enodes)
6.708 * * [simplify]: iters left: 2 (27 enodes)
6.714 * * [simplify]: iters left: 1 (28 enodes)
6.720 * * [simplify]: Extracting #0: cost 1 inf + 0
6.720 * * [simplify]: Extracting #1: cost 3 inf + 0
6.720 * * [simplify]: Extracting #2: cost 4 inf + 1
6.720 * * [simplify]: Extracting #3: cost 10 inf + 1
6.720 * * [simplify]: Extracting #4: cost 5 inf + 47
6.720 * * [simplify]: Extracting #5: cost 1 inf + 738
6.721 * * [simplify]: Extracting #6: cost 0 inf + 1302
6.721 * [simplify]: Simplified to (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b)
6.721 * [simplify]: Simplified (2 1 1 2) to (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
6.721 * * * * [progress]: [ 13 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
6.722 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)
6.722 * * [simplify]: iters left: 4 (9 enodes)
6.725 * * [simplify]: iters left: 3 (21 enodes)
6.730 * * [simplify]: iters left: 2 (27 enodes)
6.737 * * [simplify]: iters left: 1 (28 enodes)
6.743 * * [simplify]: Extracting #0: cost 1 inf + 0
6.743 * * [simplify]: Extracting #1: cost 3 inf + 0
6.743 * * [simplify]: Extracting #2: cost 4 inf + 1
6.743 * * [simplify]: Extracting #3: cost 10 inf + 1
6.743 * * [simplify]: Extracting #4: cost 5 inf + 47
6.743 * * [simplify]: Extracting #5: cost 1 inf + 738
6.743 * * [simplify]: Extracting #6: cost 0 inf + 1302
6.744 * [simplify]: Simplified to (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b)
6.744 * [simplify]: Simplified (2 1 1 2) to (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
6.744 * * * * [progress]: [ 14 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
6.744 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)
6.744 * * [simplify]: iters left: 4 (9 enodes)
6.748 * * [simplify]: iters left: 3 (21 enodes)
6.753 * * [simplify]: iters left: 2 (27 enodes)
6.760 * * [simplify]: iters left: 1 (28 enodes)
6.766 * * [simplify]: Extracting #0: cost 1 inf + 0
6.766 * * [simplify]: Extracting #1: cost 3 inf + 0
6.766 * * [simplify]: Extracting #2: cost 4 inf + 1
6.766 * * [simplify]: Extracting #3: cost 10 inf + 1
6.766 * * [simplify]: Extracting #4: cost 5 inf + 47
6.766 * * [simplify]: Extracting #5: cost 1 inf + 738
6.767 * * [simplify]: Extracting #6: cost 0 inf + 1302
6.767 * [simplify]: Simplified to (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b)
6.767 * [simplify]: Simplified (2 1 1 2) to (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
6.767 * * * * [progress]: [ 15 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
6.768 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)
6.768 * * [simplify]: iters left: 4 (9 enodes)
6.773 * * [simplify]: iters left: 3 (21 enodes)
6.778 * * [simplify]: iters left: 2 (27 enodes)
6.785 * * [simplify]: iters left: 1 (28 enodes)
6.791 * * [simplify]: Extracting #0: cost 1 inf + 0
6.791 * * [simplify]: Extracting #1: cost 3 inf + 0
6.791 * * [simplify]: Extracting #2: cost 4 inf + 1
6.791 * * [simplify]: Extracting #3: cost 10 inf + 1
6.791 * * [simplify]: Extracting #4: cost 5 inf + 47
6.791 * * [simplify]: Extracting #5: cost 1 inf + 738
6.791 * * [simplify]: Extracting #6: cost 0 inf + 1302
6.791 * [simplify]: Simplified to (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b)
6.791 * [simplify]: Simplified (2 1 1 2) to (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
6.792 * * * [progress]: adding candidates to table
7.420 * * [progress]: iteration 3 / 4
7.421 * * * [progress]: picking best candidate
7.496 * * * * [pick]: Picked  #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
7.496 * * * [progress]: localizing error
7.806 * * * [progress]: generating rewritten candidates
7.807 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
7.868 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
7.890 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 2)
7.912 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 2)
7.916 * * * [progress]: generating series expansions
7.916 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
7.916 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
7.916 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 2)
7.916 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 2)
7.916 * * * [progress]: simplifying candidates
7.916 * * * * [progress]: [ 1 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
7.916 * [simplify]: Simplifying (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)))
7.916 * * [simplify]: iters left: 6 (12 enodes)
7.920 * * [simplify]: iters left: 5 (40 enodes)
7.928 * * [simplify]: iters left: 4 (121 enodes)
7.959 * * [simplify]: iters left: 3 (491 enodes)
8.308 * * [simplify]: Extracting #0: cost 1 inf + 0
8.308 * * [simplify]: Extracting #1: cost 63 inf + 0
8.309 * * [simplify]: Extracting #2: cost 418 inf + 0
8.321 * * [simplify]: Extracting #3: cost 579 inf + 186728
8.391 * * [simplify]: Extracting #4: cost 216 inf + 950133
8.469 * * [simplify]: Extracting #5: cost 69 inf + 1202225
8.585 * * [simplify]: Extracting #6: cost 0 inf + 1333843
8.704 * [simplify]: Simplified to (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)))
8.705 * [simplify]: Simplified (2 1 1 1) to (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a))) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
8.705 * * * * [progress]: [ 2 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
8.705 * [simplify]: Simplifying (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)))
8.705 * * [simplify]: iters left: 6 (15 enodes)
8.711 * * [simplify]: iters left: 5 (55 enodes)
8.729 * * [simplify]: iters left: 4 (194 enodes)
8.833 * * [simplify]: Extracting #0: cost 1 inf + 0
8.833 * * [simplify]: Extracting #1: cost 59 inf + 0
8.834 * * [simplify]: Extracting #2: cost 262 inf + 0
8.839 * * [simplify]: Extracting #3: cost 306 inf + 47598
8.865 * * [simplify]: Extracting #4: cost 150 inf + 352982
8.903 * * [simplify]: Extracting #5: cost 10 inf + 577466
8.946 * * [simplify]: Extracting #6: cost 0 inf + 595542
8.981 * [simplify]: Simplified to (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))))
8.981 * [simplify]: Simplified (2 1 1 1) to (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
8.981 * * * * [progress]: [ 3 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
8.981 * [simplify]: Simplifying (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))
8.981 * * [simplify]: iters left: 6 (16 enodes)
8.985 * * [simplify]: iters left: 5 (61 enodes)
8.998 * * [simplify]: iters left: 4 (211 enodes)
9.086 * * [simplify]: Extracting #0: cost 1 inf + 0
9.086 * * [simplify]: Extracting #1: cost 48 inf + 0
9.087 * * [simplify]: Extracting #2: cost 213 inf + 0
9.093 * * [simplify]: Extracting #3: cost 257 inf + 67986
9.119 * * [simplify]: Extracting #4: cost 144 inf + 395103
9.155 * * [simplify]: Extracting #5: cost 11 inf + 607772
9.198 * * [simplify]: Extracting #6: cost 0 inf + 631970
9.242 * [simplify]: Simplified to (*.p16 (+.p16 (*.p16 a a) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (*.p16 (*.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 a a)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)))
9.242 * [simplify]: Simplified (2 1 1 1) to (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (+.p16 (*.p16 a a) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (*.p16 (*.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 a a)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
9.243 * * * * [progress]: [ 4 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
9.243 * [simplify]: Simplifying (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))
9.243 * * [simplify]: iters left: 6 (14 enodes)
9.246 * * [simplify]: iters left: 5 (49 enodes)
9.256 * * [simplify]: iters left: 4 (169 enodes)
9.323 * * [simplify]: Extracting #0: cost 1 inf + 0
9.323 * * [simplify]: Extracting #1: cost 58 inf + 0
9.323 * * [simplify]: Extracting #2: cost 220 inf + 0
9.325 * * [simplify]: Extracting #3: cost 337 inf + 1337
9.327 * * [simplify]: Extracting #4: cost 337 inf + 21516
9.336 * * [simplify]: Extracting #5: cost 161 inf + 244811
9.363 * * [simplify]: Extracting #6: cost 19 inf + 461933
9.391 * * [simplify]: Extracting #7: cost 0 inf + 499729
9.421 * * [simplify]: Extracting #8: cost 0 inf + 499449
9.451 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (+.p16 (+.p16 b a) c)) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)))
9.451 * [simplify]: Simplified (2 1 1 1) to (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (+.p16 (+.p16 b a) c)) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
9.451 * * * * [progress]: [ 5 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 c)))))>
9.451 * * * * [progress]: [ 6 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
9.451 * * * * [progress]: [ 7 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
9.451 * * * * [progress]: [ 8 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
9.451 * * * * [progress]: [ 9 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
9.451 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
9.451 * * [simplify]: iters left: 4 (9 enodes)
9.455 * * [simplify]: iters left: 3 (21 enodes)
9.462 * * [simplify]: iters left: 2 (27 enodes)
9.469 * * [simplify]: iters left: 1 (28 enodes)
9.476 * * [simplify]: Extracting #0: cost 1 inf + 0
9.476 * * [simplify]: Extracting #1: cost 3 inf + 0
9.476 * * [simplify]: Extracting #2: cost 4 inf + 1
9.476 * * [simplify]: Extracting #3: cost 10 inf + 1
9.476 * * [simplify]: Extracting #4: cost 1 inf + 738
9.476 * * [simplify]: Extracting #5: cost 0 inf + 1302
9.476 * [simplify]: Simplified to (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))
9.477 * [simplify]: Simplified (2 1 1 1 1 2 1) to (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
9.477 * [simplify]: Simplifying (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
9.477 * * [simplify]: iters left: 4 (9 enodes)
9.481 * * [simplify]: iters left: 3 (27 enodes)
9.490 * * [simplify]: iters left: 2 (47 enodes)
9.506 * * [simplify]: iters left: 1 (123 enodes)
9.564 * * [simplify]: Extracting #0: cost 1 inf + 0
9.564 * * [simplify]: Extracting #1: cost 15 inf + 0
9.564 * * [simplify]: Extracting #2: cost 53 inf + 1
9.565 * * [simplify]: Extracting #3: cost 87 inf + 1044
9.566 * * [simplify]: Extracting #4: cost 139 inf + 5657
9.567 * * [simplify]: Extracting #5: cost 115 inf + 19521
9.574 * * [simplify]: Extracting #6: cost 57 inf + 79064
9.589 * * [simplify]: Extracting #7: cost 8 inf + 157140
9.609 * * [simplify]: Extracting #8: cost 0 inf + 176132
9.627 * [simplify]: Simplified to (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) a)
9.628 * [simplify]: Simplified (2 1 1 1 1 2 2) to (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
9.628 * * * * [progress]: [ 10 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (neg.p16 (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
9.628 * * * * [progress]: [ 11 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a))) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
9.628 * * * * [progress]: [ 12 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
9.628 * [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))
9.628 * * [simplify]: iters left: 6 (14 enodes)
9.635 * * [simplify]: iters left: 5 (51 enodes)
9.655 * * [simplify]: iters left: 4 (173 enodes)
9.729 * * [simplify]: Extracting #0: cost 1 inf + 0
9.729 * * [simplify]: Extracting #1: cost 48 inf + 0
9.730 * * [simplify]: Extracting #2: cost 196 inf + 0
9.731 * * [simplify]: Extracting #3: cost 275 inf + 1859
9.734 * * [simplify]: Extracting #4: cost 237 inf + 79873
9.751 * * [simplify]: Extracting #5: cost 41 inf + 350410
9.776 * * [simplify]: Extracting #6: cost 1 inf + 422604
9.803 * * [simplify]: Extracting #7: cost 0 inf + 425528
9.828 * [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)))
9.828 * [simplify]: Simplified (2 1 1 1) to (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
9.828 * * * * [progress]: [ 13 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
9.828 * [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))
9.828 * * [simplify]: iters left: 6 (14 enodes)
9.832 * * [simplify]: iters left: 5 (51 enodes)
9.842 * * [simplify]: iters left: 4 (173 enodes)
9.902 * * [simplify]: Extracting #0: cost 1 inf + 0
9.902 * * [simplify]: Extracting #1: cost 48 inf + 0
9.902 * * [simplify]: Extracting #2: cost 196 inf + 0
9.903 * * [simplify]: Extracting #3: cost 275 inf + 1859
9.907 * * [simplify]: Extracting #4: cost 237 inf + 79873
9.923 * * [simplify]: Extracting #5: cost 41 inf + 350410
9.948 * * [simplify]: Extracting #6: cost 1 inf + 422604
9.980 * * [simplify]: Extracting #7: cost 0 inf + 425528
10.005 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)))
10.005 * [simplify]: Simplified (2 1 1 1) to (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
10.005 * * * * [progress]: [ 14 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
10.006 * [simplify]: Simplifying (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))
10.006 * * [simplify]: iters left: 6 (14 enodes)
10.009 * * [simplify]: iters left: 5 (51 enodes)
10.019 * * [simplify]: iters left: 4 (173 enodes)
10.094 * * [simplify]: Extracting #0: cost 1 inf + 0
10.095 * * [simplify]: Extracting #1: cost 48 inf + 0
10.095 * * [simplify]: Extracting #2: cost 196 inf + 0
10.097 * * [simplify]: Extracting #3: cost 275 inf + 1859
10.105 * * [simplify]: Extracting #4: cost 237 inf + 79873
10.132 * * [simplify]: Extracting #5: cost 41 inf + 350410
10.159 * * [simplify]: Extracting #6: cost 1 inf + 422604
10.183 * * [simplify]: Extracting #7: cost 0 inf + 425528
10.208 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)))
10.208 * [simplify]: Simplified (2 1 1 1) to (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
10.208 * * * * [progress]: [ 15 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
10.208 * [simplify]: Simplifying (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))
10.208 * * [simplify]: iters left: 6 (14 enodes)
10.212 * * [simplify]: iters left: 5 (51 enodes)
10.224 * * [simplify]: iters left: 4 (173 enodes)
10.333 * * [simplify]: Extracting #0: cost 1 inf + 0
10.334 * * [simplify]: Extracting #1: cost 48 inf + 0
10.334 * * [simplify]: Extracting #2: cost 196 inf + 0
10.336 * * [simplify]: Extracting #3: cost 275 inf + 1859
10.343 * * [simplify]: Extracting #4: cost 237 inf + 79873
10.364 * * [simplify]: Extracting #5: cost 41 inf + 350410
10.391 * * [simplify]: Extracting #6: cost 1 inf + 422604
10.428 * * [simplify]: Extracting #7: cost 0 inf + 425528
10.453 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)))
10.453 * [simplify]: Simplified (2 1 1 1) to (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
10.453 * * * [progress]: adding candidates to table
10.831 * * [progress]: iteration 4 / 4
10.831 * * * [progress]: picking best candidate
10.917 * * * * [pick]: Picked  #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
10.917 * * * [progress]: localizing error
11.346 * * * [progress]: generating rewritten candidates
11.346 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
11.471 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
11.580 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 2)
11.620 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1)
11.626 * * * [progress]: generating series expansions
11.626 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
11.626 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
11.626 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 2)
11.626 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1)
11.626 * * * [progress]: simplifying candidates
11.626 * * * * [progress]: [ 1 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
11.626 * [simplify]: Simplifying (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))
11.626 * * [simplify]: iters left: 5 (10 enodes)
11.629 * * [simplify]: iters left: 4 (31 enodes)
11.634 * * [simplify]: iters left: 3 (69 enodes)
11.661 * * [simplify]: iters left: 2 (236 enodes)
11.767 * * [simplify]: Extracting #0: cost 1 inf + 0
11.767 * * [simplify]: Extracting #1: cost 28 inf + 0
11.768 * * [simplify]: Extracting #2: cost 177 inf + 0
11.769 * * [simplify]: Extracting #3: cost 284 inf + 4676
11.773 * * [simplify]: Extracting #4: cost 222 inf + 71674
11.788 * * [simplify]: Extracting #5: cost 74 inf + 271655
11.819 * * [simplify]: Extracting #6: cost 0 inf + 386774
11.842 * * [simplify]: Extracting #7: cost 0 inf + 386134
11.865 * [simplify]: Simplified to (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))
11.865 * [simplify]: Simplified (2 1 1 1) to (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))
11.866 * * * * [progress]: [ 2 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 b b) (*.p16 b b)))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
11.866 * [simplify]: Simplifying (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 b b) (*.p16 b b))))
11.866 * * [simplify]: iters left: 6 (16 enodes)
11.870 * * [simplify]: iters left: 5 (61 enodes)
11.882 * * [simplify]: iters left: 4 (216 enodes)
12.010 * * [simplify]: Extracting #0: cost 1 inf + 0
12.010 * * [simplify]: Extracting #1: cost 48 inf + 0
12.011 * * [simplify]: Extracting #2: cost 223 inf + 0
12.016 * * [simplify]: Extracting #3: cost 263 inf + 69049
12.049 * * [simplify]: Extracting #4: cost 152 inf + 380772
12.110 * * [simplify]: Extracting #5: cost 3 inf + 629182
12.179 * * [simplify]: Extracting #6: cost 0 inf + 637514
12.248 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 b b)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 b b))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))))
12.248 * [simplify]: Simplified (2 1 1 1) to (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 b b)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 b b))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))
12.248 * * * * [progress]: [ 3 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
12.249 * [simplify]: Simplifying (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)))
12.249 * * [simplify]: iters left: 6 (15 enodes)
12.257 * * [simplify]: iters left: 5 (55 enodes)
12.280 * * [simplify]: iters left: 4 (194 enodes)
12.422 * * [simplify]: Extracting #0: cost 1 inf + 0
12.423 * * [simplify]: Extracting #1: cost 59 inf + 0
12.424 * * [simplify]: Extracting #2: cost 262 inf + 0
12.429 * * [simplify]: Extracting #3: cost 306 inf + 47598
12.464 * * [simplify]: Extracting #4: cost 150 inf + 352982
12.527 * * [simplify]: Extracting #5: cost 10 inf + 577466
12.592 * * [simplify]: Extracting #6: cost 0 inf + 595542
12.658 * [simplify]: Simplified to (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))))
12.658 * [simplify]: Simplified (2 1 1 1) to (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))
12.658 * * * * [progress]: [ 4 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (real->posit16 2))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
12.659 * [simplify]: Simplifying (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)))
12.659 * * [simplify]: iters left: 6 (14 enodes)
12.666 * * [simplify]: iters left: 5 (49 enodes)
12.687 * * [simplify]: iters left: 4 (169 enodes)
12.823 * * [simplify]: Extracting #0: cost 1 inf + 0
12.823 * * [simplify]: Extracting #1: cost 57 inf + 0
12.824 * * [simplify]: Extracting #2: cost 236 inf + 0
12.827 * * [simplify]: Extracting #3: cost 335 inf + 695
12.835 * * [simplify]: Extracting #4: cost 268 inf + 84470
12.863 * * [simplify]: Extracting #5: cost 93 inf + 311002
12.906 * * [simplify]: Extracting #6: cost 21 inf + 436169
12.955 * * [simplify]: Extracting #7: cost 1 inf + 484889
13.003 * * [simplify]: Extracting #8: cost 0 inf + 488053
13.048 * [simplify]: Simplified to (*.p16 (+.p16 (+.p16 b a) c) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a))))
13.048 * [simplify]: Simplified (2 1 1 1) to (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (+.p16 (+.p16 b a) c) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (real->posit16 2))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))
13.048 * * * * [progress]: [ 5 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))))>
13.049 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
13.049 * * [simplify]: iters left: 4 (9 enodes)
13.053 * * [simplify]: iters left: 3 (21 enodes)
13.058 * * [simplify]: iters left: 2 (27 enodes)
13.063 * * [simplify]: iters left: 1 (28 enodes)
13.070 * * [simplify]: Extracting #0: cost 1 inf + 0
13.070 * * [simplify]: Extracting #1: cost 3 inf + 0
13.070 * * [simplify]: Extracting #2: cost 4 inf + 1
13.070 * * [simplify]: Extracting #3: cost 10 inf + 1
13.070 * * [simplify]: Extracting #4: cost 5 inf + 47
13.070 * * [simplify]: Extracting #5: cost 1 inf + 738
13.071 * * [simplify]: Extracting #6: cost 0 inf + 1302
13.071 * [simplify]: Simplified to (+.p16 c (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)))
13.071 * [simplify]: Simplified (2 1 2 1) to (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (+.p16 c (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))))
13.071 * * * * [progress]: [ 6 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 c c) (*.p16 c c))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)))))))>
13.072 * [simplify]: Simplifying (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 c c) (*.p16 c c)))
13.072 * * [simplify]: iters left: 6 (13 enodes)
13.078 * * [simplify]: iters left: 5 (46 enodes)
13.094 * * [simplify]: iters left: 4 (130 enodes)
13.157 * * [simplify]: Extracting #0: cost 1 inf + 0
13.157 * * [simplify]: Extracting #1: cost 25 inf + 0
13.157 * * [simplify]: Extracting #2: cost 62 inf + 0
13.158 * * [simplify]: Extracting #3: cost 154 inf + 82
13.160 * * [simplify]: Extracting #4: cost 155 inf + 19371
13.168 * * [simplify]: Extracting #5: cost 43 inf + 161234
13.179 * * [simplify]: Extracting #6: cost 2 inf + 235712
13.191 * * [simplify]: Extracting #7: cost 0 inf + 242680
13.206 * [simplify]: Simplified to (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2))) (*.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)))) (*.p16 (*.p16 c c) (*.p16 c c)))
13.206 * [simplify]: Simplified (2 1 2 1) to (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2))) (*.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)))) (*.p16 (*.p16 c c) (*.p16 c c))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)))))))
13.206 * * * * [progress]: [ 7 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 a))) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
13.207 * * * * [progress]: [ 8 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
13.207 * * * * [progress]: [ 9 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
13.207 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
13.207 * * [simplify]: iters left: 4 (9 enodes)
13.210 * * [simplify]: iters left: 3 (21 enodes)
13.216 * * [simplify]: iters left: 2 (27 enodes)
13.224 * * [simplify]: iters left: 1 (28 enodes)
13.230 * * [simplify]: Extracting #0: cost 1 inf + 0
13.230 * * [simplify]: Extracting #1: cost 3 inf + 0
13.230 * * [simplify]: Extracting #2: cost 4 inf + 1
13.230 * * [simplify]: Extracting #3: cost 10 inf + 1
13.230 * * [simplify]: Extracting #4: cost 5 inf + 47
13.231 * * [simplify]: Extracting #5: cost 1 inf + 738
13.231 * * [simplify]: Extracting #6: cost 0 inf + 1302
13.231 * [simplify]: Simplified to (+.p16 c (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)))
13.231 * [simplify]: Simplified (2 1 2 1 1) to (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (*.p16 (+.p16 c (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))
13.232 * [simplify]: Simplifying (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
13.232 * * [simplify]: iters left: 4 (9 enodes)
13.235 * * [simplify]: iters left: 3 (27 enodes)
13.244 * * [simplify]: iters left: 2 (47 enodes)
13.259 * * [simplify]: iters left: 1 (123 enodes)
13.310 * * [simplify]: Extracting #0: cost 1 inf + 0
13.310 * * [simplify]: Extracting #1: cost 15 inf + 0
13.311 * * [simplify]: Extracting #2: cost 52 inf + 82
13.311 * * [simplify]: Extracting #3: cost 87 inf + 1044
13.312 * * [simplify]: Extracting #4: cost 140 inf + 5615
13.313 * * [simplify]: Extracting #5: cost 118 inf + 19272
13.319 * * [simplify]: Extracting #6: cost 57 inf + 79064
13.331 * * [simplify]: Extracting #7: cost 8 inf + 157140
13.348 * * [simplify]: Extracting #8: cost 0 inf + 176132
13.363 * [simplify]: Simplified to (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) c)
13.363 * [simplify]: Simplified (2 1 2 1 2) to (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))
13.364 * * * * [progress]: [ 10 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (neg.p16 (*.p16 c c))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
13.364 * * * * [progress]: [ 11 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 c c) (*.p16 c c))) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
13.364 * * * * [progress]: [ 12 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
13.364 * * * * [progress]: [ 13 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
13.364 * * * * [progress]: [ 14 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
13.364 * * * * [progress]: [ 15 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
13.364 * * * [progress]: adding candidates to table
13.938 * [progress]: [Phase 3 of 3] Extracting.
13.939 * * [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 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 c c) (*.p16 c c))) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (+.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (neg.p16 b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 b b) (*.p16 b b))) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a))) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>)
13.948 * * * [regime-changes]: Trying 3 branch expressions: (c b a)
13.948 * * * * [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 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 c c) (*.p16 c c))) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (+.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (neg.p16 b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 b b) (*.p16 b b))) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a))) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>)
14.087 * * * * [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 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 c c) (*.p16 c c))) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (+.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (neg.p16 b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 b b) (*.p16 b b))) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a))) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>)
14.304 * * * * [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 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 c c) (*.p16 c c))) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (+.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (neg.p16 b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 b b) (*.p16 b b))) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a))) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>)
14.439 * * * [regime]: Found split indices: #<option (#s(si 2 256))>
14.439 * [simplify]: Simplifying (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))
14.439 * * [simplify]: iters left: 6 (19 enodes)
14.440 * * [simplify]: Extracting #0: cost 1 inf + 0
14.440 * * [simplify]: Extracting #1: cost 2 inf + 0
14.440 * * [simplify]: Extracting #2: cost 4 inf + 0
14.440 * * [simplify]: Extracting #3: cost 8 inf + 0
14.440 * * [simplify]: Extracting #4: cost 12 inf + 1
14.440 * * [simplify]: Extracting #5: cost 15 inf + 2
14.440 * * [simplify]: Extracting #6: cost 15 inf + 4
14.440 * * [simplify]: Extracting #7: cost 10 inf + 975
14.441 * * [simplify]: Extracting #8: cost 2 inf + 10807
14.441 * * [simplify]: Extracting #9: cost 0 inf + 16535
14.442 * [simplify]: Simplified to (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))
14.442 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
14.477 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
14.480 * * * * [points]: Setting MPFR precision to 64
14.482 * * * * [points]: Setting MPFR precision to 320
14.483 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
14.496 * * * * [points]: Setting MPFR precision to 64
14.499 * * * * [points]: Setting MPFR precision to 320
14.501 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
14.505 * * * * [points]: Setting MPFR precision to 64
14.509 * * * * [points]: Setting MPFR precision to 320
14.514 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
14.517 * * * * [points]: Setting MPFR precision to 64
14.526 * * * * [points]: Setting MPFR precision to 320
14.535 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
14.538 * * * * [points]: Setting MPFR precision to 64
14.556 * * * * [points]: Setting MPFR precision to 320
14.572 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
14.576 * * * * [points]: Setting MPFR precision to 64
14.637 * * * * [points]: Setting MPFR precision to 320
14.670 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
14.674 * * * * [points]: Setting MPFR precision to 64
14.790 * * * * [points]: Setting MPFR precision to 320
14.888 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
14.895 * * * * [points]: Setting MPFR precision to 64
15.134 * * * * [points]: Setting MPFR precision to 320
15.448 * * * * [points]: Computing exacts for 8000 points
15.455 * * * * [points]: Setting MPFR precision to 64
16.931 * * * * [points]: Setting MPFR precision to 320
17.700 * * * * [points]: Filtering points with unrepresentable outputs
17.704 * * * * [points]: Sampling 7004 additional inputs, on iter 1 have 996 / 8000
17.734 * * * * [points]: Computing exacts on every 437 of 7004 points to ramp up precision
17.737 * * * * [points]: Setting MPFR precision to 64
17.739 * * * * [points]: Setting MPFR precision to 320
17.740 * * * * [points]: Computing exacts on every 218 of 7004 points to ramp up precision
17.743 * * * * [points]: Setting MPFR precision to 64
17.746 * * * * [points]: Setting MPFR precision to 320
17.748 * * * * [points]: Computing exacts on every 109 of 7004 points to ramp up precision
17.774 * * * * [points]: Setting MPFR precision to 64
17.779 * * * * [points]: Setting MPFR precision to 320
17.784 * * * * [points]: Computing exacts on every 54 of 7004 points to ramp up precision
17.788 * * * * [points]: Setting MPFR precision to 64
17.797 * * * * [points]: Setting MPFR precision to 320
17.806 * * * * [points]: Computing exacts on every 27 of 7004 points to ramp up precision
17.810 * * * * [points]: Setting MPFR precision to 64
17.827 * * * * [points]: Setting MPFR precision to 320
17.845 * * * * [points]: Computing exacts on every 13 of 7004 points to ramp up precision
17.849 * * * * [points]: Setting MPFR precision to 64
17.911 * * * * [points]: Setting MPFR precision to 320
17.949 * * * * [points]: Computing exacts on every 6 of 7004 points to ramp up precision
17.952 * * * * [points]: Setting MPFR precision to 64
18.022 * * * * [points]: Setting MPFR precision to 320
18.124 * * * * [points]: Computing exacts on every 3 of 7004 points to ramp up precision
18.128 * * * * [points]: Setting MPFR precision to 64
18.283 * * * * [points]: Setting MPFR precision to 320
18.438 * * * * [points]: Computing exacts for 7004 points
18.441 * * * * [points]: Setting MPFR precision to 64
19.787 * * * * [points]: Setting MPFR precision to 320
20.929 * * * * [points]: Filtering points with unrepresentable outputs
20.935 * * * * [points]: Sampling 6136 additional inputs, on iter 2 have 1864 / 8000
20.981 * * * * [points]: Computing exacts on every 383 of 6136 points to ramp up precision
20.988 * * * * [points]: Setting MPFR precision to 64
20.990 * * * * [points]: Setting MPFR precision to 320
20.992 * * * * [points]: Computing exacts on every 191 of 6136 points to ramp up precision
20.999 * * * * [points]: Setting MPFR precision to 64
21.003 * * * * [points]: Setting MPFR precision to 320
21.007 * * * * [points]: Computing exacts on every 95 of 6136 points to ramp up precision
21.014 * * * * [points]: Setting MPFR precision to 64
21.022 * * * * [points]: Setting MPFR precision to 320
21.031 * * * * [points]: Computing exacts on every 47 of 6136 points to ramp up precision
21.039 * * * * [points]: Setting MPFR precision to 64
21.056 * * * * [points]: Setting MPFR precision to 320
21.073 * * * * [points]: Computing exacts on every 23 of 6136 points to ramp up precision
21.080 * * * * [points]: Setting MPFR precision to 64
21.112 * * * * [points]: Setting MPFR precision to 320
21.182 * * * * [points]: Computing exacts on every 11 of 6136 points to ramp up precision
21.190 * * * * [points]: Setting MPFR precision to 64
21.255 * * * * [points]: Setting MPFR precision to 320
21.322 * * * * [points]: Computing exacts on every 5 of 6136 points to ramp up precision
21.329 * * * * [points]: Setting MPFR precision to 64
21.508 * * * * [points]: Setting MPFR precision to 320
21.698 * * * * [points]: Computing exacts on every 2 of 6136 points to ramp up precision
21.705 * * * * [points]: Setting MPFR precision to 64
22.027 * * * * [points]: Setting MPFR precision to 320
22.328 * * * * [points]: Computing exacts for 6136 points
22.335 * * * * [points]: Setting MPFR precision to 64
23.773 * * * * [points]: Setting MPFR precision to 320
24.385 * * * * [points]: Filtering points with unrepresentable outputs
24.388 * * * * [points]: Sampling 5381 additional inputs, on iter 3 have 2619 / 8000
24.411 * * * * [points]: Computing exacts on every 336 of 5381 points to ramp up precision
24.414 * * * * [points]: Setting MPFR precision to 64
24.416 * * * * [points]: Setting MPFR precision to 320
24.417 * * * * [points]: Computing exacts on every 168 of 5381 points to ramp up precision
24.420 * * * * [points]: Setting MPFR precision to 64
24.422 * * * * [points]: Setting MPFR precision to 320
24.425 * * * * [points]: Computing exacts on every 84 of 5381 points to ramp up precision
24.428 * * * * [points]: Setting MPFR precision to 64
24.432 * * * * [points]: Setting MPFR precision to 320
24.460 * * * * [points]: Computing exacts on every 42 of 5381 points to ramp up precision
24.463 * * * * [points]: Setting MPFR precision to 64
24.475 * * * * [points]: Setting MPFR precision to 320
24.483 * * * * [points]: Computing exacts on every 21 of 5381 points to ramp up precision
24.487 * * * * [points]: Setting MPFR precision to 64
24.504 * * * * [points]: Setting MPFR precision to 320
24.521 * * * * [points]: Computing exacts on every 10 of 5381 points to ramp up precision
24.525 * * * * [points]: Setting MPFR precision to 64
24.568 * * * * [points]: Setting MPFR precision to 320
24.630 * * * * [points]: Computing exacts on every 5 of 5381 points to ramp up precision
24.634 * * * * [points]: Setting MPFR precision to 64
24.696 * * * * [points]: Setting MPFR precision to 320
24.794 * * * * [points]: Computing exacts on every 2 of 5381 points to ramp up precision
24.798 * * * * [points]: Setting MPFR precision to 64
24.955 * * * * [points]: Setting MPFR precision to 320
25.173 * * * * [points]: Computing exacts for 5381 points
25.177 * * * * [points]: Setting MPFR precision to 64
26.335 * * * * [points]: Setting MPFR precision to 320
26.976 * * * * [points]: Filtering points with unrepresentable outputs
26.978 * * * * [points]: Sampling 4696 additional inputs, on iter 4 have 3304 / 8000
27.013 * * * * [points]: Computing exacts on every 293 of 4696 points to ramp up precision
27.020 * * * * [points]: Setting MPFR precision to 64
27.022 * * * * [points]: Setting MPFR precision to 320
27.024 * * * * [points]: Computing exacts on every 146 of 4696 points to ramp up precision
27.030 * * * * [points]: Setting MPFR precision to 64
27.034 * * * * [points]: Setting MPFR precision to 320
27.038 * * * * [points]: Computing exacts on every 73 of 4696 points to ramp up precision
27.045 * * * * [points]: Setting MPFR precision to 64
27.053 * * * * [points]: Setting MPFR precision to 320
27.061 * * * * [points]: Computing exacts on every 36 of 4696 points to ramp up precision
27.096 * * * * [points]: Setting MPFR precision to 64
27.107 * * * * [points]: Setting MPFR precision to 320
27.116 * * * * [points]: Computing exacts on every 18 of 4696 points to ramp up precision
27.119 * * * * [points]: Setting MPFR precision to 64
27.137 * * * * [points]: Setting MPFR precision to 320
27.154 * * * * [points]: Computing exacts on every 9 of 4696 points to ramp up precision
27.157 * * * * [points]: Setting MPFR precision to 64
27.199 * * * * [points]: Setting MPFR precision to 320
27.300 * * * * [points]: Computing exacts on every 4 of 4696 points to ramp up precision
27.307 * * * * [points]: Setting MPFR precision to 64
27.422 * * * * [points]: Setting MPFR precision to 320
27.540 * * * * [points]: Computing exacts on every 2 of 4696 points to ramp up precision
27.547 * * * * [points]: Setting MPFR precision to 64
27.798 * * * * [points]: Setting MPFR precision to 320
28.045 * * * * [points]: Computing exacts for 4696 points
28.052 * * * * [points]: Setting MPFR precision to 64
28.687 * * * * [points]: Setting MPFR precision to 320
29.588 * * * * [points]: Filtering points with unrepresentable outputs
29.593 * * * * [points]: Sampling 4086 additional inputs, on iter 5 have 3914 / 8000
29.624 * * * * [points]: Computing exacts on every 255 of 4086 points to ramp up precision
29.631 * * * * [points]: Setting MPFR precision to 64
29.633 * * * * [points]: Setting MPFR precision to 320
29.635 * * * * [points]: Computing exacts on every 127 of 4086 points to ramp up precision
29.642 * * * * [points]: Setting MPFR precision to 64
29.646 * * * * [points]: Setting MPFR precision to 320
29.650 * * * * [points]: Computing exacts on every 63 of 4086 points to ramp up precision
29.657 * * * * [points]: Setting MPFR precision to 64
29.665 * * * * [points]: Setting MPFR precision to 320
29.674 * * * * [points]: Computing exacts on every 31 of 4086 points to ramp up precision
29.680 * * * * [points]: Setting MPFR precision to 64
29.697 * * * * [points]: Setting MPFR precision to 320
29.713 * * * * [points]: Computing exacts on every 15 of 4086 points to ramp up precision
29.753 * * * * [points]: Setting MPFR precision to 64
29.789 * * * * [points]: Setting MPFR precision to 320
29.823 * * * * [points]: Computing exacts on every 7 of 4086 points to ramp up precision
29.830 * * * * [points]: Setting MPFR precision to 64
29.897 * * * * [points]: Setting MPFR precision to 320
30.009 * * * * [points]: Computing exacts on every 3 of 4086 points to ramp up precision
30.016 * * * * [points]: Setting MPFR precision to 64
30.154 * * * * [points]: Setting MPFR precision to 320
30.341 * * * * [points]: Computing exacts for 4086 points
30.349 * * * * [points]: Setting MPFR precision to 64
30.987 * * * * [points]: Setting MPFR precision to 320
31.621 * * * * [points]: Filtering points with unrepresentable outputs
31.623 * * * * [points]: Sampling 3613 additional inputs, on iter 6 have 4387 / 8000
31.638 * * * * [points]: Computing exacts on every 225 of 3613 points to ramp up precision
31.642 * * * * [points]: Setting MPFR precision to 64
31.643 * * * * [points]: Setting MPFR precision to 320
31.644 * * * * [points]: Computing exacts on every 112 of 3613 points to ramp up precision
31.647 * * * * [points]: Setting MPFR precision to 64
31.649 * * * * [points]: Setting MPFR precision to 320
31.652 * * * * [points]: Computing exacts on every 56 of 3613 points to ramp up precision
31.655 * * * * [points]: Setting MPFR precision to 64
31.659 * * * * [points]: Setting MPFR precision to 320
31.663 * * * * [points]: Computing exacts on every 28 of 3613 points to ramp up precision
31.667 * * * * [points]: Setting MPFR precision to 64
31.699 * * * * [points]: Setting MPFR precision to 320
31.709 * * * * [points]: Computing exacts on every 14 of 3613 points to ramp up precision
31.713 * * * * [points]: Setting MPFR precision to 64
31.729 * * * * [points]: Setting MPFR precision to 320
31.745 * * * * [points]: Computing exacts on every 7 of 3613 points to ramp up precision
31.749 * * * * [points]: Setting MPFR precision to 64
31.778 * * * * [points]: Setting MPFR precision to 320
31.838 * * * * [points]: Computing exacts on every 3 of 3613 points to ramp up precision
31.844 * * * * [points]: Setting MPFR precision to 64
31.904 * * * * [points]: Setting MPFR precision to 320
32.071 * * * * [points]: Computing exacts for 3613 points
32.078 * * * * [points]: Setting MPFR precision to 64
32.544 * * * * [points]: Setting MPFR precision to 320
32.941 * * * * [points]: Filtering points with unrepresentable outputs
32.942 * * * * [points]: Sampling 3143 additional inputs, on iter 7 have 4857 / 8000
32.956 * * * * [points]: Computing exacts on every 196 of 3143 points to ramp up precision
32.959 * * * * [points]: Setting MPFR precision to 64
32.961 * * * * [points]: Setting MPFR precision to 320
32.962 * * * * [points]: Computing exacts on every 98 of 3143 points to ramp up precision
33.318 * * * * [points]: Setting MPFR precision to 64
33.321 * * * * [points]: Setting MPFR precision to 320
33.323 * * * * [points]: Computing exacts on every 49 of 3143 points to ramp up precision
33.328 * * * * [points]: Setting MPFR precision to 64
33.333 * * * * [points]: Setting MPFR precision to 320
33.338 * * * * [points]: Computing exacts on every 24 of 3143 points to ramp up precision
33.342 * * * * [points]: Setting MPFR precision to 64
33.350 * * * * [points]: Setting MPFR precision to 320
33.359 * * * * [points]: Computing exacts on every 12 of 3143 points to ramp up precision
33.362 * * * * [points]: Setting MPFR precision to 64
33.378 * * * * [points]: Setting MPFR precision to 320
33.395 * * * * [points]: Computing exacts on every 6 of 3143 points to ramp up precision
33.398 * * * * [points]: Setting MPFR precision to 64
33.454 * * * * [points]: Setting MPFR precision to 320
33.485 * * * * [points]: Computing exacts on every 3 of 3143 points to ramp up precision
33.489 * * * * [points]: Setting MPFR precision to 64
33.540 * * * * [points]: Setting MPFR precision to 320
33.625 * * * * [points]: Computing exacts for 3143 points
33.629 * * * * [points]: Setting MPFR precision to 64
33.904 * * * * [points]: Setting MPFR precision to 320
34.181 * * * * [points]: Filtering points with unrepresentable outputs
34.182 * * * * [points]: Sampling 2754 additional inputs, on iter 8 have 5246 / 8000
34.194 * * * * [points]: Computing exacts on every 172 of 2754 points to ramp up precision
34.197 * * * * [points]: Setting MPFR precision to 64
34.199 * * * * [points]: Setting MPFR precision to 320
34.200 * * * * [points]: Computing exacts on every 86 of 2754 points to ramp up precision
34.203 * * * * [points]: Setting MPFR precision to 64
34.206 * * * * [points]: Setting MPFR precision to 320
34.208 * * * * [points]: Computing exacts on every 43 of 2754 points to ramp up precision
34.211 * * * * [points]: Setting MPFR precision to 64
34.216 * * * * [points]: Setting MPFR precision to 320
34.220 * * * * [points]: Computing exacts on every 21 of 2754 points to ramp up precision
34.224 * * * * [points]: Setting MPFR precision to 64
34.233 * * * * [points]: Setting MPFR precision to 320
34.242 * * * * [points]: Computing exacts on every 10 of 2754 points to ramp up precision
34.246 * * * * [points]: Setting MPFR precision to 64
34.287 * * * * [points]: Setting MPFR precision to 320
34.304 * * * * [points]: Computing exacts on every 5 of 2754 points to ramp up precision
34.307 * * * * [points]: Setting MPFR precision to 64
34.339 * * * * [points]: Setting MPFR precision to 320
34.372 * * * * [points]: Computing exacts on every 2 of 2754 points to ramp up precision
34.376 * * * * [points]: Setting MPFR precision to 64
34.467 * * * * [points]: Setting MPFR precision to 320
34.561 * * * * [points]: Computing exacts for 2754 points
34.564 * * * * [points]: Setting MPFR precision to 64
34.787 * * * * [points]: Setting MPFR precision to 320
35.041 * * * * [points]: Filtering points with unrepresentable outputs
35.043 * * * * [points]: Sampling 2435 additional inputs, on iter 9 have 5565 / 8000
35.054 * * * * [points]: Computing exacts on every 152 of 2435 points to ramp up precision
35.057 * * * * [points]: Setting MPFR precision to 64
35.058 * * * * [points]: Setting MPFR precision to 320
35.059 * * * * [points]: Computing exacts on every 76 of 2435 points to ramp up precision
35.063 * * * * [points]: Setting MPFR precision to 64
35.065 * * * * [points]: Setting MPFR precision to 320
35.067 * * * * [points]: Computing exacts on every 38 of 2435 points to ramp up precision
35.071 * * * * [points]: Setting MPFR precision to 64
35.075 * * * * [points]: Setting MPFR precision to 320
35.080 * * * * [points]: Computing exacts on every 19 of 2435 points to ramp up precision
35.083 * * * * [points]: Setting MPFR precision to 64
35.116 * * * * [points]: Setting MPFR precision to 320
35.125 * * * * [points]: Computing exacts on every 9 of 2435 points to ramp up precision
35.129 * * * * [points]: Setting MPFR precision to 64
35.145 * * * * [points]: Setting MPFR precision to 320
35.162 * * * * [points]: Computing exacts on every 4 of 2435 points to ramp up precision
35.165 * * * * [points]: Setting MPFR precision to 64
35.197 * * * * [points]: Setting MPFR precision to 320
35.258 * * * * [points]: Computing exacts on every 2 of 2435 points to ramp up precision
35.264 * * * * [points]: Setting MPFR precision to 64
35.318 * * * * [points]: Setting MPFR precision to 320
35.687 * * * * [points]: Computing exacts for 2435 points
35.690 * * * * [points]: Setting MPFR precision to 64
35.877 * * * * [points]: Setting MPFR precision to 320
36.097 * * * * [points]: Filtering points with unrepresentable outputs
36.098 * * * * [points]: Sampling 2126 additional inputs, on iter 10 have 5874 / 8000
36.107 * * * * [points]: Computing exacts on every 132 of 2126 points to ramp up precision
36.110 * * * * [points]: Setting MPFR precision to 64
36.112 * * * * [points]: Setting MPFR precision to 320
36.113 * * * * [points]: Computing exacts on every 66 of 2126 points to ramp up precision
36.116 * * * * [points]: Setting MPFR precision to 64
36.118 * * * * [points]: Setting MPFR precision to 320
36.120 * * * * [points]: Computing exacts on every 33 of 2126 points to ramp up precision
36.123 * * * * [points]: Setting MPFR precision to 64
36.127 * * * * [points]: Setting MPFR precision to 320
36.131 * * * * [points]: Computing exacts on every 16 of 2126 points to ramp up precision
36.134 * * * * [points]: Setting MPFR precision to 64
36.142 * * * * [points]: Setting MPFR precision to 320
36.150 * * * * [points]: Computing exacts on every 8 of 2126 points to ramp up precision
36.154 * * * * [points]: Setting MPFR precision to 64
36.170 * * * * [points]: Setting MPFR precision to 320
36.209 * * * * [points]: Computing exacts on every 4 of 2126 points to ramp up precision
36.212 * * * * [points]: Setting MPFR precision to 64
36.240 * * * * [points]: Setting MPFR precision to 320
36.268 * * * * [points]: Computing exacts on every 2 of 2126 points to ramp up precision
36.272 * * * * [points]: Setting MPFR precision to 64
36.348 * * * * [points]: Setting MPFR precision to 320
36.393 * * * * [points]: Computing exacts for 2126 points
36.396 * * * * [points]: Setting MPFR precision to 64
36.565 * * * * [points]: Setting MPFR precision to 320
36.765 * * * * [points]: Filtering points with unrepresentable outputs
36.766 * * * * [points]: Sampling 1864 additional inputs, on iter 11 have 6136 / 8000
36.774 * * * * [points]: Computing exacts on every 116 of 1864 points to ramp up precision
36.778 * * * * [points]: Setting MPFR precision to 64
36.780 * * * * [points]: Setting MPFR precision to 320
36.781 * * * * [points]: Computing exacts on every 58 of 1864 points to ramp up precision
36.784 * * * * [points]: Setting MPFR precision to 64
36.788 * * * * [points]: Setting MPFR precision to 320
36.790 * * * * [points]: Computing exacts on every 29 of 1864 points to ramp up precision
36.793 * * * * [points]: Setting MPFR precision to 64
36.797 * * * * [points]: Setting MPFR precision to 320
36.802 * * * * [points]: Computing exacts on every 14 of 1864 points to ramp up precision
36.805 * * * * [points]: Setting MPFR precision to 64
36.813 * * * * [points]: Setting MPFR precision to 320
36.821 * * * * [points]: Computing exacts on every 7 of 1864 points to ramp up precision
36.824 * * * * [points]: Setting MPFR precision to 64
36.860 * * * * [points]: Setting MPFR precision to 320
36.877 * * * * [points]: Computing exacts on every 3 of 1864 points to ramp up precision
36.880 * * * * [points]: Setting MPFR precision to 64
36.912 * * * * [points]: Setting MPFR precision to 320
36.942 * * * * [points]: Computing exacts for 1864 points
36.946 * * * * [points]: Setting MPFR precision to 64
37.126 * * * * [points]: Setting MPFR precision to 320
37.282 * * * * [points]: Filtering points with unrepresentable outputs
37.283 * * * * [points]: Sampling 1601 additional inputs, on iter 12 have 6399 / 8000
37.290 * * * * [points]: Computing exacts on every 100 of 1601 points to ramp up precision
37.294 * * * * [points]: Setting MPFR precision to 64
37.295 * * * * [points]: Setting MPFR precision to 320
37.296 * * * * [points]: Computing exacts on every 50 of 1601 points to ramp up precision
37.299 * * * * [points]: Setting MPFR precision to 64
37.302 * * * * [points]: Setting MPFR precision to 320
37.304 * * * * [points]: Computing exacts on every 25 of 1601 points to ramp up precision
37.307 * * * * [points]: Setting MPFR precision to 64
37.310 * * * * [points]: Setting MPFR precision to 320
37.314 * * * * [points]: Computing exacts on every 12 of 1601 points to ramp up precision
37.318 * * * * [points]: Setting MPFR precision to 64
37.325 * * * * [points]: Setting MPFR precision to 320
37.333 * * * * [points]: Computing exacts on every 6 of 1601 points to ramp up precision
37.336 * * * * [points]: Setting MPFR precision to 64
37.351 * * * * [points]: Setting MPFR precision to 320
37.390 * * * * [points]: Computing exacts on every 3 of 1601 points to ramp up precision
37.393 * * * * [points]: Setting MPFR precision to 64
37.420 * * * * [points]: Setting MPFR precision to 320
37.446 * * * * [points]: Computing exacts for 1601 points
37.450 * * * * [points]: Setting MPFR precision to 64
37.582 * * * * [points]: Setting MPFR precision to 320
37.718 * * * * [points]: Filtering points with unrepresentable outputs
37.719 * * * * [points]: Sampling 1389 additional inputs, on iter 13 have 6611 / 8000
37.725 * * * * [points]: Computing exacts on every 86 of 1389 points to ramp up precision
37.728 * * * * [points]: Setting MPFR precision to 64
37.730 * * * * [points]: Setting MPFR precision to 320
37.731 * * * * [points]: Computing exacts on every 43 of 1389 points to ramp up precision
37.734 * * * * [points]: Setting MPFR precision to 64
37.736 * * * * [points]: Setting MPFR precision to 320
37.738 * * * * [points]: Computing exacts on every 21 of 1389 points to ramp up precision
37.741 * * * * [points]: Setting MPFR precision to 64
37.745 * * * * [points]: Setting MPFR precision to 320
38.051 * * * * [points]: Computing exacts on every 10 of 1389 points to ramp up precision
38.054 * * * * [points]: Setting MPFR precision to 64
38.064 * * * * [points]: Setting MPFR precision to 320
38.072 * * * * [points]: Computing exacts on every 5 of 1389 points to ramp up precision
38.076 * * * * [points]: Setting MPFR precision to 64
38.090 * * * * [points]: Setting MPFR precision to 320
38.105 * * * * [points]: Computing exacts on every 2 of 1389 points to ramp up precision
38.108 * * * * [points]: Setting MPFR precision to 64
38.138 * * * * [points]: Setting MPFR precision to 320
38.198 * * * * [points]: Computing exacts for 1389 points
38.201 * * * * [points]: Setting MPFR precision to 64
38.320 * * * * [points]: Setting MPFR precision to 320
38.410 * * * * [points]: Filtering points with unrepresentable outputs
38.411 * * * * [points]: Sampling 1222 additional inputs, on iter 14 have 6778 / 8000
38.416 * * * * [points]: Computing exacts on every 76 of 1222 points to ramp up precision
38.450 * * * * [points]: Setting MPFR precision to 64
38.451 * * * * [points]: Setting MPFR precision to 320
38.452 * * * * [points]: Computing exacts on every 38 of 1222 points to ramp up precision
38.456 * * * * [points]: Setting MPFR precision to 64
38.458 * * * * [points]: Setting MPFR precision to 320
38.462 * * * * [points]: Computing exacts on every 19 of 1222 points to ramp up precision
38.466 * * * * [points]: Setting MPFR precision to 64
38.470 * * * * [points]: Setting MPFR precision to 320
38.474 * * * * [points]: Computing exacts on every 9 of 1222 points to ramp up precision
38.478 * * * * [points]: Setting MPFR precision to 64
38.486 * * * * [points]: Setting MPFR precision to 320
38.494 * * * * [points]: Computing exacts on every 4 of 1222 points to ramp up precision
38.497 * * * * [points]: Setting MPFR precision to 64
38.513 * * * * [points]: Setting MPFR precision to 320
38.529 * * * * [points]: Computing exacts on every 2 of 1222 points to ramp up precision
38.532 * * * * [points]: Setting MPFR precision to 64
38.584 * * * * [points]: Setting MPFR precision to 320
38.611 * * * * [points]: Computing exacts for 1222 points
38.615 * * * * [points]: Setting MPFR precision to 64
38.725 * * * * [points]: Setting MPFR precision to 320
38.804 * * * * [points]: Filtering points with unrepresentable outputs
38.805 * * * * [points]: Sampling 1072 additional inputs, on iter 15 have 6928 / 8000
38.809 * * * * [points]: Computing exacts on every 67 of 1072 points to ramp up precision
38.840 * * * * [points]: Setting MPFR precision to 64
38.841 * * * * [points]: Setting MPFR precision to 320
38.842 * * * * [points]: Computing exacts on every 33 of 1072 points to ramp up precision
38.845 * * * * [points]: Setting MPFR precision to 64
38.848 * * * * [points]: Setting MPFR precision to 320
38.851 * * * * [points]: Computing exacts on every 16 of 1072 points to ramp up precision
38.855 * * * * [points]: Setting MPFR precision to 64
38.859 * * * * [points]: Setting MPFR precision to 320
38.863 * * * * [points]: Computing exacts on every 8 of 1072 points to ramp up precision
38.866 * * * * [points]: Setting MPFR precision to 64
38.874 * * * * [points]: Setting MPFR precision to 320
38.881 * * * * [points]: Computing exacts on every 4 of 1072 points to ramp up precision
38.884 * * * * [points]: Setting MPFR precision to 64
38.898 * * * * [points]: Setting MPFR precision to 320
38.913 * * * * [points]: Computing exacts on every 2 of 1072 points to ramp up precision
38.916 * * * * [points]: Setting MPFR precision to 64
38.961 * * * * [points]: Setting MPFR precision to 320
38.985 * * * * [points]: Computing exacts for 1072 points
38.989 * * * * [points]: Setting MPFR precision to 64
39.056 * * * * [points]: Setting MPFR precision to 320
39.156 * * * * [points]: Filtering points with unrepresentable outputs
39.157 * * * * [points]: Sampling 931 additional inputs, on iter 16 have 7069 / 8000
39.161 * * * * [points]: Computing exacts on every 58 of 931 points to ramp up precision
39.165 * * * * [points]: Setting MPFR precision to 64
39.166 * * * * [points]: Setting MPFR precision to 320
39.167 * * * * [points]: Computing exacts on every 29 of 931 points to ramp up precision
39.170 * * * * [points]: Setting MPFR precision to 64
39.172 * * * * [points]: Setting MPFR precision to 320
39.174 * * * * [points]: Computing exacts on every 14 of 931 points to ramp up precision
39.178 * * * * [points]: Setting MPFR precision to 64
39.182 * * * * [points]: Setting MPFR precision to 320
39.186 * * * * [points]: Computing exacts on every 7 of 931 points to ramp up precision
39.215 * * * * [points]: Setting MPFR precision to 64
39.224 * * * * [points]: Setting MPFR precision to 320
39.232 * * * * [points]: Computing exacts on every 3 of 931 points to ramp up precision
39.235 * * * * [points]: Setting MPFR precision to 64
39.250 * * * * [points]: Setting MPFR precision to 320
39.265 * * * * [points]: Computing exacts for 931 points
39.268 * * * * [points]: Setting MPFR precision to 64
39.357 * * * * [points]: Setting MPFR precision to 320
39.419 * * * * [points]: Filtering points with unrepresentable outputs
39.420 * * * * [points]: Sampling 818 additional inputs, on iter 17 have 7182 / 8000
39.423 * * * * [points]: Computing exacts on every 51 of 818 points to ramp up precision
39.427 * * * * [points]: Setting MPFR precision to 64
39.428 * * * * [points]: Setting MPFR precision to 320
39.429 * * * * [points]: Computing exacts on every 25 of 818 points to ramp up precision
39.432 * * * * [points]: Setting MPFR precision to 64
39.434 * * * * [points]: Setting MPFR precision to 320
39.436 * * * * [points]: Computing exacts on every 12 of 818 points to ramp up precision
39.439 * * * * [points]: Setting MPFR precision to 64
39.443 * * * * [points]: Setting MPFR precision to 320
39.474 * * * * [points]: Computing exacts on every 6 of 818 points to ramp up precision
39.477 * * * * [points]: Setting MPFR precision to 64
39.486 * * * * [points]: Setting MPFR precision to 320
39.494 * * * * [points]: Computing exacts on every 3 of 818 points to ramp up precision
39.498 * * * * [points]: Setting MPFR precision to 64
39.511 * * * * [points]: Setting MPFR precision to 320
39.524 * * * * [points]: Computing exacts for 818 points
39.528 * * * * [points]: Setting MPFR precision to 64
39.607 * * * * [points]: Setting MPFR precision to 320
39.663 * * * * [points]: Filtering points with unrepresentable outputs
39.664 * * * * [points]: Sampling 727 additional inputs, on iter 18 have 7273 / 8000
39.667 * * * * [points]: Computing exacts on every 45 of 727 points to ramp up precision
39.670 * * * * [points]: Setting MPFR precision to 64
39.672 * * * * [points]: Setting MPFR precision to 320
39.673 * * * * [points]: Computing exacts on every 22 of 727 points to ramp up precision
39.676 * * * * [points]: Setting MPFR precision to 64
39.678 * * * * [points]: Setting MPFR precision to 320
39.680 * * * * [points]: Computing exacts on every 11 of 727 points to ramp up precision
39.683 * * * * [points]: Setting MPFR precision to 64
39.687 * * * * [points]: Setting MPFR precision to 320
39.691 * * * * [points]: Computing exacts on every 5 of 727 points to ramp up precision
39.695 * * * * [points]: Setting MPFR precision to 64
39.727 * * * * [points]: Setting MPFR precision to 320
39.737 * * * * [points]: Computing exacts on every 2 of 727 points to ramp up precision
39.741 * * * * [points]: Setting MPFR precision to 64
39.756 * * * * [points]: Setting MPFR precision to 320
39.772 * * * * [points]: Computing exacts for 727 points
39.777 * * * * [points]: Setting MPFR precision to 64
39.822 * * * * [points]: Setting MPFR precision to 320
39.899 * * * * [points]: Filtering points with unrepresentable outputs
39.899 * * * * [points]: Sampling 651 additional inputs, on iter 19 have 7349 / 8000
39.902 * * * * [points]: Computing exacts on every 40 of 651 points to ramp up precision
39.906 * * * * [points]: Setting MPFR precision to 64
39.907 * * * * [points]: Setting MPFR precision to 320
39.908 * * * * [points]: Computing exacts on every 20 of 651 points to ramp up precision
39.911 * * * * [points]: Setting MPFR precision to 64
39.914 * * * * [points]: Setting MPFR precision to 320
39.916 * * * * [points]: Computing exacts on every 10 of 651 points to ramp up precision
39.919 * * * * [points]: Setting MPFR precision to 64
39.923 * * * * [points]: Setting MPFR precision to 320
39.926 * * * * [points]: Computing exacts on every 5 of 651 points to ramp up precision
39.930 * * * * [points]: Setting MPFR precision to 64
39.936 * * * * [points]: Setting MPFR precision to 320
39.943 * * * * [points]: Computing exacts on every 2 of 651 points to ramp up precision
39.947 * * * * [points]: Setting MPFR precision to 64
39.984 * * * * [points]: Setting MPFR precision to 320
39.998 * * * * [points]: Computing exacts for 651 points
40.001 * * * * [points]: Setting MPFR precision to 64
40.043 * * * * [points]: Setting MPFR precision to 320
40.114 * * * * [points]: Filtering points with unrepresentable outputs
40.115 * * * * [points]: Sampling 596 additional inputs, on iter 20 have 7404 / 8000
40.119 * * * * [points]: Computing exacts on every 37 of 596 points to ramp up precision
40.122 * * * * [points]: Setting MPFR precision to 64
40.123 * * * * [points]: Setting MPFR precision to 320
40.124 * * * * [points]: Computing exacts on every 18 of 596 points to ramp up precision
40.128 * * * * [points]: Setting MPFR precision to 64
40.130 * * * * [points]: Setting MPFR precision to 320
40.132 * * * * [points]: Computing exacts on every 9 of 596 points to ramp up precision
40.135 * * * * [points]: Setting MPFR precision to 64
40.139 * * * * [points]: Setting MPFR precision to 320
40.143 * * * * [points]: Computing exacts on every 4 of 596 points to ramp up precision
40.147 * * * * [points]: Setting MPFR precision to 64
40.156 * * * * [points]: Setting MPFR precision to 320
40.163 * * * * [points]: Computing exacts on every 2 of 596 points to ramp up precision
40.167 * * * * [points]: Setting MPFR precision to 64
40.179 * * * * [points]: Setting MPFR precision to 320
40.191 * * * * [points]: Computing exacts for 596 points
40.195 * * * * [points]: Setting MPFR precision to 64
40.528 * * * * [points]: Setting MPFR precision to 320
40.567 * * * * [points]: Filtering points with unrepresentable outputs
40.567 * * * * [points]: Sampling 526 additional inputs, on iter 21 have 7474 / 8000
40.570 * * * * [points]: Computing exacts on every 32 of 526 points to ramp up precision
40.573 * * * * [points]: Setting MPFR precision to 64
40.574 * * * * [points]: Setting MPFR precision to 320
40.575 * * * * [points]: Computing exacts on every 16 of 526 points to ramp up precision
40.578 * * * * [points]: Setting MPFR precision to 64
40.580 * * * * [points]: Setting MPFR precision to 320
40.582 * * * * [points]: Computing exacts on every 8 of 526 points to ramp up precision
40.586 * * * * [points]: Setting MPFR precision to 64
40.590 * * * * [points]: Setting MPFR precision to 320
40.615 * * * * [points]: Computing exacts on every 4 of 526 points to ramp up precision
40.619 * * * * [points]: Setting MPFR precision to 64
40.628 * * * * [points]: Setting MPFR precision to 320
40.635 * * * * [points]: Computing exacts on every 2 of 526 points to ramp up precision
40.638 * * * * [points]: Setting MPFR precision to 64
40.652 * * * * [points]: Setting MPFR precision to 320
40.663 * * * * [points]: Computing exacts for 526 points
40.667 * * * * [points]: Setting MPFR precision to 64
40.700 * * * * [points]: Setting MPFR precision to 320
40.760 * * * * [points]: Filtering points with unrepresentable outputs
40.760 * * * * [points]: Sampling 472 additional inputs, on iter 22 have 7528 / 8000
40.762 * * * * [points]: Computing exacts on every 29 of 472 points to ramp up precision
40.766 * * * * [points]: Setting MPFR precision to 64
40.768 * * * * [points]: Setting MPFR precision to 320
40.769 * * * * [points]: Computing exacts on every 14 of 472 points to ramp up precision
40.773 * * * * [points]: Setting MPFR precision to 64
40.776 * * * * [points]: Setting MPFR precision to 320
40.778 * * * * [points]: Computing exacts on every 7 of 472 points to ramp up precision
40.781 * * * * [points]: Setting MPFR precision to 64
40.785 * * * * [points]: Setting MPFR precision to 320
40.789 * * * * [points]: Computing exacts on every 3 of 472 points to ramp up precision
40.792 * * * * [points]: Setting MPFR precision to 64
40.800 * * * * [points]: Setting MPFR precision to 320
40.808 * * * * [points]: Computing exacts for 472 points
40.811 * * * * [points]: Setting MPFR precision to 64
40.863 * * * * [points]: Setting MPFR precision to 320
40.896 * * * * [points]: Filtering points with unrepresentable outputs
40.896 * * * * [points]: Sampling 417 additional inputs, on iter 23 have 7583 / 8000
40.898 * * * * [points]: Computing exacts on every 26 of 417 points to ramp up precision
40.903 * * * * [points]: Setting MPFR precision to 64
40.904 * * * * [points]: Setting MPFR precision to 320
40.905 * * * * [points]: Computing exacts on every 13 of 417 points to ramp up precision
40.908 * * * * [points]: Setting MPFR precision to 64
40.910 * * * * [points]: Setting MPFR precision to 320
40.912 * * * * [points]: Computing exacts on every 6 of 417 points to ramp up precision
40.915 * * * * [points]: Setting MPFR precision to 64
40.919 * * * * [points]: Setting MPFR precision to 320
40.923 * * * * [points]: Computing exacts on every 3 of 417 points to ramp up precision
40.927 * * * * [points]: Setting MPFR precision to 64
40.933 * * * * [points]: Setting MPFR precision to 320
40.940 * * * * [points]: Computing exacts for 417 points
40.943 * * * * [points]: Setting MPFR precision to 64
40.994 * * * * [points]: Setting MPFR precision to 320
41.022 * * * * [points]: Filtering points with unrepresentable outputs
41.022 * * * * [points]: Sampling 379 additional inputs, on iter 24 have 7621 / 8000
41.024 * * * * [points]: Computing exacts on every 23 of 379 points to ramp up precision
41.028 * * * * [points]: Setting MPFR precision to 64
41.029 * * * * [points]: Setting MPFR precision to 320
41.030 * * * * [points]: Computing exacts on every 11 of 379 points to ramp up precision
41.033 * * * * [points]: Setting MPFR precision to 64
41.035 * * * * [points]: Setting MPFR precision to 320
41.037 * * * * [points]: Computing exacts on every 5 of 379 points to ramp up precision
41.040 * * * * [points]: Setting MPFR precision to 64
41.044 * * * * [points]: Setting MPFR precision to 320
41.048 * * * * [points]: Computing exacts on every 2 of 379 points to ramp up precision
41.052 * * * * [points]: Setting MPFR precision to 64
41.060 * * * * [points]: Setting MPFR precision to 320
41.068 * * * * [points]: Computing exacts for 379 points
41.071 * * * * [points]: Setting MPFR precision to 64
41.119 * * * * [points]: Setting MPFR precision to 320
41.145 * * * * [points]: Filtering points with unrepresentable outputs
41.145 * * * * [points]: Sampling 332 additional inputs, on iter 25 have 7668 / 8000
41.147 * * * * [points]: Computing exacts on every 20 of 332 points to ramp up precision
41.150 * * * * [points]: Setting MPFR precision to 64
41.151 * * * * [points]: Setting MPFR precision to 320
41.152 * * * * [points]: Computing exacts on every 10 of 332 points to ramp up precision
41.155 * * * * [points]: Setting MPFR precision to 64
41.157 * * * * [points]: Setting MPFR precision to 320
41.159 * * * * [points]: Computing exacts on every 5 of 332 points to ramp up precision
41.163 * * * * [points]: Setting MPFR precision to 64
41.166 * * * * [points]: Setting MPFR precision to 320
41.170 * * * * [points]: Computing exacts on every 2 of 332 points to ramp up precision
41.173 * * * * [points]: Setting MPFR precision to 64
41.180 * * * * [points]: Setting MPFR precision to 320
41.187 * * * * [points]: Computing exacts for 332 points
41.216 * * * * [points]: Setting MPFR precision to 64
41.238 * * * * [points]: Setting MPFR precision to 320
41.259 * * * * [points]: Filtering points with unrepresentable outputs
41.259 * * * * [points]: Sampling 283 additional inputs, on iter 26 have 7717 / 8000
41.261 * * * * [points]: Computing exacts on every 17 of 283 points to ramp up precision
41.264 * * * * [points]: Setting MPFR precision to 64
41.265 * * * * [points]: Setting MPFR precision to 320
41.266 * * * * [points]: Computing exacts on every 8 of 283 points to ramp up precision
41.270 * * * * [points]: Setting MPFR precision to 64
41.272 * * * * [points]: Setting MPFR precision to 320
41.274 * * * * [points]: Computing exacts on every 4 of 283 points to ramp up precision
41.277 * * * * [points]: Setting MPFR precision to 64
41.281 * * * * [points]: Setting MPFR precision to 320
41.284 * * * * [points]: Computing exacts on every 2 of 283 points to ramp up precision
41.288 * * * * [points]: Setting MPFR precision to 64
41.294 * * * * [points]: Setting MPFR precision to 320
41.300 * * * * [points]: Computing exacts for 283 points
41.303 * * * * [points]: Setting MPFR precision to 64
41.348 * * * * [points]: Setting MPFR precision to 320
41.365 * * * * [points]: Filtering points with unrepresentable outputs
41.366 * * * * [points]: Sampling 252 additional inputs, on iter 27 have 7748 / 8000
41.367 * * * * [points]: Computing exacts on every 15 of 252 points to ramp up precision
41.370 * * * * [points]: Setting MPFR precision to 64
41.371 * * * * [points]: Setting MPFR precision to 320
41.373 * * * * [points]: Computing exacts on every 7 of 252 points to ramp up precision
41.376 * * * * [points]: Setting MPFR precision to 64
41.378 * * * * [points]: Setting MPFR precision to 320
41.380 * * * * [points]: Computing exacts on every 3 of 252 points to ramp up precision
41.383 * * * * [points]: Setting MPFR precision to 64
41.387 * * * * [points]: Setting MPFR precision to 320
41.392 * * * * [points]: Computing exacts for 252 points
41.395 * * * * [points]: Setting MPFR precision to 64
41.412 * * * * [points]: Setting MPFR precision to 320
41.428 * * * * [points]: Filtering points with unrepresentable outputs
41.428 * * * * [points]: Sampling 218 additional inputs, on iter 28 have 7782 / 8000
41.429 * * * * [points]: Computing exacts on every 13 of 218 points to ramp up precision
41.457 * * * * [points]: Setting MPFR precision to 64
41.458 * * * * [points]: Setting MPFR precision to 320
41.459 * * * * [points]: Computing exacts on every 6 of 218 points to ramp up precision
41.463 * * * * [points]: Setting MPFR precision to 64
41.466 * * * * [points]: Setting MPFR precision to 320
41.468 * * * * [points]: Computing exacts on every 3 of 218 points to ramp up precision
41.472 * * * * [points]: Setting MPFR precision to 64
41.475 * * * * [points]: Setting MPFR precision to 320
41.479 * * * * [points]: Computing exacts for 218 points
41.482 * * * * [points]: Setting MPFR precision to 64
41.496 * * * * [points]: Setting MPFR precision to 320
41.510 * * * * [points]: Filtering points with unrepresentable outputs
41.510 * * * * [points]: Sampling 189 additional inputs, on iter 29 have 7811 / 8000
41.511 * * * * [points]: Computing exacts on every 11 of 189 points to ramp up precision
41.515 * * * * [points]: Setting MPFR precision to 64
41.516 * * * * [points]: Setting MPFR precision to 320
41.517 * * * * [points]: Computing exacts on every 5 of 189 points to ramp up precision
41.520 * * * * [points]: Setting MPFR precision to 64
41.522 * * * * [points]: Setting MPFR precision to 320
41.525 * * * * [points]: Computing exacts on every 2 of 189 points to ramp up precision
41.528 * * * * [points]: Setting MPFR precision to 64
41.533 * * * * [points]: Setting MPFR precision to 320
41.537 * * * * [points]: Computing exacts for 189 points
41.540 * * * * [points]: Setting MPFR precision to 64
41.572 * * * * [points]: Setting MPFR precision to 320
41.586 * * * * [points]: Filtering points with unrepresentable outputs
41.587 * * * * [points]: Sampling 162 additional inputs, on iter 30 have 7838 / 8000
41.587 * * * * [points]: Computing exacts on every 10 of 162 points to ramp up precision
41.591 * * * * [points]: Setting MPFR precision to 64
41.592 * * * * [points]: Setting MPFR precision to 320
41.593 * * * * [points]: Computing exacts on every 5 of 162 points to ramp up precision
41.596 * * * * [points]: Setting MPFR precision to 64
41.598 * * * * [points]: Setting MPFR precision to 320
41.600 * * * * [points]: Computing exacts on every 2 of 162 points to ramp up precision
41.603 * * * * [points]: Setting MPFR precision to 64
41.606 * * * * [points]: Setting MPFR precision to 320
41.610 * * * * [points]: Computing exacts for 162 points
41.613 * * * * [points]: Setting MPFR precision to 64
41.623 * * * * [points]: Setting MPFR precision to 320
41.634 * * * * [points]: Filtering points with unrepresentable outputs
41.634 * * * * [points]: Sampling 140 additional inputs, on iter 31 have 7860 / 8000
41.635 * * * * [points]: Computing exacts on every 8 of 140 points to ramp up precision
41.638 * * * * [points]: Setting MPFR precision to 64
41.639 * * * * [points]: Setting MPFR precision to 320
41.641 * * * * [points]: Computing exacts on every 4 of 140 points to ramp up precision
41.644 * * * * [points]: Setting MPFR precision to 64
41.646 * * * * [points]: Setting MPFR precision to 320
41.648 * * * * [points]: Computing exacts on every 2 of 140 points to ramp up precision
41.652 * * * * [points]: Setting MPFR precision to 64
41.677 * * * * [points]: Setting MPFR precision to 320
41.680 * * * * [points]: Computing exacts for 140 points
41.683 * * * * [points]: Setting MPFR precision to 64
41.692 * * * * [points]: Setting MPFR precision to 320
41.701 * * * * [points]: Filtering points with unrepresentable outputs
41.701 * * * * [points]: Sampling 126 additional inputs, on iter 32 have 7874 / 8000
41.702 * * * * [points]: Computing exacts on every 7 of 126 points to ramp up precision
41.705 * * * * [points]: Setting MPFR precision to 64
41.706 * * * * [points]: Setting MPFR precision to 320
41.707 * * * * [points]: Computing exacts on every 3 of 126 points to ramp up precision
41.710 * * * * [points]: Setting MPFR precision to 64
41.712 * * * * [points]: Setting MPFR precision to 320
41.714 * * * * [points]: Computing exacts for 126 points
41.718 * * * * [points]: Setting MPFR precision to 64
41.726 * * * * [points]: Setting MPFR precision to 320
41.734 * * * * [points]: Filtering points with unrepresentable outputs
41.734 * * * * [points]: Sampling 112 additional inputs, on iter 33 have 7888 / 8000
41.735 * * * * [points]: Computing exacts on every 7 of 112 points to ramp up precision
41.738 * * * * [points]: Setting MPFR precision to 64
41.739 * * * * [points]: Setting MPFR precision to 320
41.740 * * * * [points]: Computing exacts on every 3 of 112 points to ramp up precision
41.743 * * * * [points]: Setting MPFR precision to 64
41.745 * * * * [points]: Setting MPFR precision to 320
41.747 * * * * [points]: Computing exacts for 112 points
41.750 * * * * [points]: Setting MPFR precision to 64
41.757 * * * * [points]: Setting MPFR precision to 320
41.789 * * * * [points]: Filtering points with unrepresentable outputs
41.789 * * * * [points]: Sampling 97 additional inputs, on iter 34 have 7903 / 8000
41.789 * * * * [points]: Computing exacts on every 6 of 97 points to ramp up precision
41.793 * * * * [points]: Setting MPFR precision to 64
41.794 * * * * [points]: Setting MPFR precision to 320
41.794 * * * * [points]: Computing exacts on every 3 of 97 points to ramp up precision
41.799 * * * * [points]: Setting MPFR precision to 64
41.801 * * * * [points]: Setting MPFR precision to 320
41.803 * * * * [points]: Computing exacts for 97 points
41.806 * * * * [points]: Setting MPFR precision to 64
41.812 * * * * [points]: Setting MPFR precision to 320
41.818 * * * * [points]: Filtering points with unrepresentable outputs
41.818 * * * * [points]: Sampling 81 additional inputs, on iter 35 have 7919 / 8000
41.819 * * * * [points]: Computing exacts on every 5 of 81 points to ramp up precision
41.822 * * * * [points]: Setting MPFR precision to 64
41.823 * * * * [points]: Setting MPFR precision to 320
41.824 * * * * [points]: Computing exacts on every 2 of 81 points to ramp up precision
41.827 * * * * [points]: Setting MPFR precision to 64
41.828 * * * * [points]: Setting MPFR precision to 320
41.830 * * * * [points]: Computing exacts for 81 points
41.833 * * * * [points]: Setting MPFR precision to 64
41.839 * * * * [points]: Setting MPFR precision to 320
41.844 * * * * [points]: Filtering points with unrepresentable outputs
41.844 * * * * [points]: Sampling 71 additional inputs, on iter 36 have 7929 / 8000
41.844 * * * * [points]: Computing exacts on every 4 of 71 points to ramp up precision
41.847 * * * * [points]: Setting MPFR precision to 64
41.848 * * * * [points]: Setting MPFR precision to 320
41.849 * * * * [points]: Computing exacts on every 2 of 71 points to ramp up precision
41.853 * * * * [points]: Setting MPFR precision to 64
41.854 * * * * [points]: Setting MPFR precision to 320
41.856 * * * * [points]: Computing exacts for 71 points
41.859 * * * * [points]: Setting MPFR precision to 64
41.863 * * * * [points]: Setting MPFR precision to 320
41.887 * * * * [points]: Filtering points with unrepresentable outputs
41.887 * * * * [points]: Sampling 63 additional inputs, on iter 37 have 7937 / 8000
41.887 * * * * [points]: Computing exacts on every 3 of 63 points to ramp up precision
41.890 * * * * [points]: Setting MPFR precision to 64
41.892 * * * * [points]: Setting MPFR precision to 320
41.893 * * * * [points]: Computing exacts for 63 points
41.896 * * * * [points]: Setting MPFR precision to 64
41.902 * * * * [points]: Setting MPFR precision to 320
41.907 * * * * [points]: Filtering points with unrepresentable outputs
41.907 * * * * [points]: Sampling 56 additional inputs, on iter 38 have 7944 / 8000
41.908 * * * * [points]: Computing exacts on every 3 of 56 points to ramp up precision
41.911 * * * * [points]: Setting MPFR precision to 64
41.912 * * * * [points]: Setting MPFR precision to 320
41.913 * * * * [points]: Computing exacts for 56 points
41.916 * * * * [points]: Setting MPFR precision to 64
41.919 * * * * [points]: Setting MPFR precision to 320
41.923 * * * * [points]: Filtering points with unrepresentable outputs
41.923 * * * * [points]: Sampling 50 additional inputs, on iter 39 have 7950 / 8000
41.923 * * * * [points]: Computing exacts on every 3 of 50 points to ramp up precision
41.927 * * * * [points]: Setting MPFR precision to 64
41.927 * * * * [points]: Setting MPFR precision to 320
41.928 * * * * [points]: Computing exacts for 50 points
41.931 * * * * [points]: Setting MPFR precision to 64
41.935 * * * * [points]: Setting MPFR precision to 320
41.938 * * * * [points]: Filtering points with unrepresentable outputs
41.938 * * * * [points]: Sampling 45 additional inputs, on iter 40 have 7955 / 8000
41.938 * * * * [points]: Computing exacts on every 2 of 45 points to ramp up precision
41.941 * * * * [points]: Setting MPFR precision to 64
41.942 * * * * [points]: Setting MPFR precision to 320
41.943 * * * * [points]: Computing exacts for 45 points
41.946 * * * * [points]: Setting MPFR precision to 64
41.949 * * * * [points]: Setting MPFR precision to 320
41.952 * * * * [points]: Filtering points with unrepresentable outputs
41.952 * * * * [points]: Sampling 41 additional inputs, on iter 41 have 7959 / 8000
41.953 * * * * [points]: Computing exacts on every 2 of 41 points to ramp up precision
41.956 * * * * [points]: Setting MPFR precision to 64
41.957 * * * * [points]: Setting MPFR precision to 320
41.958 * * * * [points]: Computing exacts for 41 points
41.961 * * * * [points]: Setting MPFR precision to 64
41.963 * * * * [points]: Setting MPFR precision to 320
41.966 * * * * [points]: Filtering points with unrepresentable outputs
41.966 * * * * [points]: Sampling 39 additional inputs, on iter 42 have 7961 / 8000
41.966 * * * * [points]: Computing exacts on every 2 of 39 points to ramp up precision
41.984 * * * * [points]: Setting MPFR precision to 64
41.986 * * * * [points]: Setting MPFR precision to 320
41.987 * * * * [points]: Computing exacts for 39 points
41.992 * * * * [points]: Setting MPFR precision to 64
41.995 * * * * [points]: Setting MPFR precision to 320
41.997 * * * * [points]: Filtering points with unrepresentable outputs
41.998 * * * * [points]: Sampling 32 additional inputs, on iter 43 have 7968 / 8000
41.998 * * * * [points]: Computing exacts on every 2 of 32 points to ramp up precision
42.001 * * * * [points]: Setting MPFR precision to 64
42.002 * * * * [points]: Setting MPFR precision to 320
42.002 * * * * [points]: Computing exacts for 32 points
42.005 * * * * [points]: Setting MPFR precision to 64
42.008 * * * * [points]: Setting MPFR precision to 320
42.010 * * * * [points]: Filtering points with unrepresentable outputs
42.010 * * * * [points]: Sampling 31 additional inputs, on iter 44 have 7969 / 8000
42.010 * * * * [points]: Computing exacts for 31 points
42.013 * * * * [points]: Setting MPFR precision to 64
42.015 * * * * [points]: Setting MPFR precision to 320
42.017 * * * * [points]: Filtering points with unrepresentable outputs
42.017 * * * * [points]: Sampling 26 additional inputs, on iter 45 have 7974 / 8000
42.018 * * * * [points]: Computing exacts for 26 points
42.021 * * * * [points]: Setting MPFR precision to 64
42.023 * * * * [points]: Setting MPFR precision to 320
42.025 * * * * [points]: Filtering points with unrepresentable outputs
42.025 * * * * [points]: Sampling 22 additional inputs, on iter 46 have 7978 / 8000
42.025 * * * * [points]: Computing exacts for 22 points
42.028 * * * * [points]: Setting MPFR precision to 64
42.030 * * * * [points]: Setting MPFR precision to 320
42.032 * * * * [points]: Filtering points with unrepresentable outputs
42.032 * * * * [points]: Sampling 21 additional inputs, on iter 47 have 7979 / 8000
42.032 * * * * [points]: Computing exacts for 21 points
42.036 * * * * [points]: Setting MPFR precision to 64
42.038 * * * * [points]: Setting MPFR precision to 320
42.039 * * * * [points]: Filtering points with unrepresentable outputs
42.039 * * * * [points]: Sampling 18 additional inputs, on iter 48 have 7982 / 8000
42.039 * * * * [points]: Computing exacts for 18 points
42.042 * * * * [points]: Setting MPFR precision to 64
42.044 * * * * [points]: Setting MPFR precision to 320
42.045 * * * * [points]: Filtering points with unrepresentable outputs
42.045 * * * * [points]: Sampling 15 additional inputs, on iter 49 have 7985 / 8000
42.045 * * * * [points]: Computing exacts for 15 points
42.048 * * * * [points]: Setting MPFR precision to 64
42.049 * * * * [points]: Setting MPFR precision to 320
42.050 * * * * [points]: Filtering points with unrepresentable outputs
42.050 * * * * [points]: Sampling 13 additional inputs, on iter 50 have 7987 / 8000
42.050 * * * * [points]: Computing exacts for 13 points
42.054 * * * * [points]: Setting MPFR precision to 64
42.055 * * * * [points]: Setting MPFR precision to 320
42.055 * * * * [points]: Filtering points with unrepresentable outputs
42.056 * * * * [points]: Sampling 11 additional inputs, on iter 51 have 7989 / 8000
42.056 * * * * [points]: Computing exacts for 11 points
42.059 * * * * [points]: Setting MPFR precision to 64
42.060 * * * * [points]: Setting MPFR precision to 320
42.061 * * * * [points]: Filtering points with unrepresentable outputs
42.061 * * * * [points]: Sampling 9 additional inputs, on iter 52 have 7991 / 8000
42.061 * * * * [points]: Computing exacts for 9 points
42.077 * * * * [points]: Setting MPFR precision to 64
42.079 * * * * [points]: Setting MPFR precision to 320
42.080 * * * * [points]: Filtering points with unrepresentable outputs
42.080 * * * * [points]: Sampling 8 additional inputs, on iter 53 have 7992 / 8000
42.080 * * * * [points]: Computing exacts for 8 points
42.083 * * * * [points]: Setting MPFR precision to 64
42.084 * * * * [points]: Setting MPFR precision to 320
42.085 * * * * [points]: Filtering points with unrepresentable outputs
42.085 * * * * [points]: Sampling 8 additional inputs, on iter 54 have 7992 / 8000
42.085 * * * * [points]: Computing exacts for 8 points
42.088 * * * * [points]: Setting MPFR precision to 64
42.089 * * * * [points]: Setting MPFR precision to 320
42.089 * * * * [points]: Filtering points with unrepresentable outputs
42.089 * * * * [points]: Sampling 5 additional inputs, on iter 55 have 7995 / 8000
42.089 * * * * [points]: Computing exacts for 5 points
42.092 * * * * [points]: Setting MPFR precision to 64
42.093 * * * * [points]: Setting MPFR precision to 320
42.093 * * * * [points]: Filtering points with unrepresentable outputs
42.093 * * * * [points]: Sampling 5 additional inputs, on iter 56 have 7995 / 8000
42.093 * * * * [points]: Computing exacts for 5 points
42.097 * * * * [points]: Setting MPFR precision to 64
42.097 * * * * [points]: Setting MPFR precision to 320
42.097 * * * * [points]: Filtering points with unrepresentable outputs
42.098 * * * * [points]: Sampling 4 additional inputs, on iter 57 have 7997 / 8000
42.098 * * * * [points]: Computing exacts for 4 points
42.101 * * * * [points]: Setting MPFR precision to 64
42.101 * * * * [points]: Setting MPFR precision to 320
42.102 * * * * [points]: Filtering points with unrepresentable outputs
42.102 * * * * [points]: Sampling 4 additional inputs, on iter 58 have 7999 / 8000
42.102 * * * * [points]: Computing exacts for 4 points
42.105 * * * * [points]: Setting MPFR precision to 64
42.105 * * * * [points]: Setting MPFR precision to 320
42.106 * * * * [points]: Filtering points with unrepresentable outputs
42.106 * * * * [points]: Sampling 4 additional inputs, on iter 59 have 7999 / 8000
42.106 * * * * [points]: Computing exacts for 4 points
42.109 * * * * [points]: Setting MPFR precision to 64
42.110 * * * * [points]: Setting MPFR precision to 320
42.110 * * * * [points]: Filtering points with unrepresentable outputs
42.110 * * * * [points]: Sampled 8000 points with exact outputs
44.684 * [regime-testing]: Baseline error score: 64.0
44.687 * [regime-testing]: Oracle error score: 64.0
44.694 * [regime-testing]: End program error score: 0.2093226137733465