0.002 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.003 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.005 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.011 * * * * [points]: Setting MPFR precision to 64
0.013 * * * * [points]: Setting MPFR precision to 320
0.015 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.022 * * * * [points]: Setting MPFR precision to 64
0.026 * * * * [points]: Setting MPFR precision to 320
0.029 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.036 * * * * [points]: Setting MPFR precision to 64
0.049 * * * * [points]: Setting MPFR precision to 320
0.053 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.057 * * * * [points]: Setting MPFR precision to 64
0.064 * * * * [points]: Setting MPFR precision to 320
0.071 * * * * [points]: Computing exacts for 256 points
0.078 * * * * [points]: Setting MPFR precision to 64
0.104 * * * * [points]: Setting MPFR precision to 320
0.123 * * * * [points]: Filtering points with unrepresentable outputs
0.123 * * * * [points]: Sampling 229 additional inputs, on iter 1 have 27 / 256
0.124 * * * * [points]: Computing exacts on every 14 of 229 points to ramp up precision
0.127 * * * * [points]: Setting MPFR precision to 64
0.129 * * * * [points]: Setting MPFR precision to 320
0.130 * * * * [points]: Computing exacts on every 7 of 229 points to ramp up precision
0.133 * * * * [points]: Setting MPFR precision to 64
0.135 * * * * [points]: Setting MPFR precision to 320
0.137 * * * * [points]: Computing exacts on every 3 of 229 points to ramp up precision
0.141 * * * * [points]: Setting MPFR precision to 64
0.148 * * * * [points]: Setting MPFR precision to 320
0.156 * * * * [points]: Computing exacts for 229 points
0.163 * * * * [points]: Setting MPFR precision to 64
0.210 * * * * [points]: Setting MPFR precision to 320
0.227 * * * * [points]: Filtering points with unrepresentable outputs
0.227 * * * * [points]: Sampling 194 additional inputs, on iter 2 have 62 / 256
0.228 * * * * [points]: Computing exacts on every 12 of 194 points to ramp up precision
0.231 * * * * [points]: Setting MPFR precision to 64
0.232 * * * * [points]: Setting MPFR precision to 320
0.234 * * * * [points]: Computing exacts on every 6 of 194 points to ramp up precision
0.237 * * * * [points]: Setting MPFR precision to 64
0.241 * * * * [points]: Setting MPFR precision to 320
0.244 * * * * [points]: Computing exacts on every 3 of 194 points to ramp up precision
0.251 * * * * [points]: Setting MPFR precision to 64
0.258 * * * * [points]: Setting MPFR precision to 320
0.264 * * * * [points]: Computing exacts for 194 points
0.272 * * * * [points]: Setting MPFR precision to 64
0.297 * * * * [points]: Setting MPFR precision to 320
0.322 * * * * [points]: Filtering points with unrepresentable outputs
0.322 * * * * [points]: Sampling 161 additional inputs, on iter 3 have 95 / 256
0.324 * * * * [points]: Computing exacts on every 10 of 161 points to ramp up precision
0.331 * * * * [points]: Setting MPFR precision to 64
0.333 * * * * [points]: Setting MPFR precision to 320
0.335 * * * * [points]: Computing exacts on every 5 of 161 points to ramp up precision
0.342 * * * * [points]: Setting MPFR precision to 64
0.344 * * * * [points]: Setting MPFR precision to 320
0.368 * * * * [points]: Computing exacts on every 2 of 161 points to ramp up precision
0.375 * * * * [points]: Setting MPFR precision to 64
0.385 * * * * [points]: Setting MPFR precision to 320
0.392 * * * * [points]: Computing exacts for 161 points
0.399 * * * * [points]: Setting MPFR precision to 64
0.420 * * * * [points]: Setting MPFR precision to 320
0.440 * * * * [points]: Filtering points with unrepresentable outputs
0.441 * * * * [points]: Sampling 142 additional inputs, on iter 4 have 114 / 256
0.442 * * * * [points]: Computing exacts on every 8 of 142 points to ramp up precision
0.449 * * * * [points]: Setting MPFR precision to 64
0.452 * * * * [points]: Setting MPFR precision to 320
0.454 * * * * [points]: Computing exacts on every 4 of 142 points to ramp up precision
0.461 * * * * [points]: Setting MPFR precision to 64
0.465 * * * * [points]: Setting MPFR precision to 320
0.468 * * * * [points]: Computing exacts on every 2 of 142 points to ramp up precision
0.476 * * * * [points]: Setting MPFR precision to 64
0.483 * * * * [points]: Setting MPFR precision to 320
0.489 * * * * [points]: Computing exacts for 142 points
0.496 * * * * [points]: Setting MPFR precision to 64
0.514 * * * * [points]: Setting MPFR precision to 320
0.532 * * * * [points]: Filtering points with unrepresentable outputs
0.532 * * * * [points]: Sampling 123 additional inputs, on iter 5 have 133 / 256
0.534 * * * * [points]: Computing exacts on every 7 of 123 points to ramp up precision
0.541 * * * * [points]: Setting MPFR precision to 64
0.952 * * * * [points]: Setting MPFR precision to 320
0.954 * * * * [points]: Computing exacts on every 3 of 123 points to ramp up precision
0.964 * * * * [points]: Setting MPFR precision to 64
0.969 * * * * [points]: Setting MPFR precision to 320
0.973 * * * * [points]: Computing exacts for 123 points
0.980 * * * * [points]: Setting MPFR precision to 64
0.996 * * * * [points]: Setting MPFR precision to 320
1.012 * * * * [points]: Filtering points with unrepresentable outputs
1.013 * * * * [points]: Sampling 112 additional inputs, on iter 6 have 144 / 256
1.014 * * * * [points]: Computing exacts on every 7 of 112 points to ramp up precision
1.021 * * * * [points]: Setting MPFR precision to 64
1.023 * * * * [points]: Setting MPFR precision to 320
1.025 * * * * [points]: Computing exacts on every 3 of 112 points to ramp up precision
1.032 * * * * [points]: Setting MPFR precision to 64
1.036 * * * * [points]: Setting MPFR precision to 320
1.039 * * * * [points]: Computing exacts for 112 points
1.047 * * * * [points]: Setting MPFR precision to 64
1.062 * * * * [points]: Setting MPFR precision to 320
1.077 * * * * [points]: Filtering points with unrepresentable outputs
1.077 * * * * [points]: Sampling 103 additional inputs, on iter 7 have 153 / 256
1.078 * * * * [points]: Computing exacts on every 6 of 103 points to ramp up precision
1.085 * * * * [points]: Setting MPFR precision to 64
1.088 * * * * [points]: Setting MPFR precision to 320
1.089 * * * * [points]: Computing exacts on every 3 of 103 points to ramp up precision
1.097 * * * * [points]: Setting MPFR precision to 64
1.101 * * * * [points]: Setting MPFR precision to 320
1.104 * * * * [points]: Computing exacts for 103 points
1.111 * * * * [points]: Setting MPFR precision to 64
1.125 * * * * [points]: Setting MPFR precision to 320
1.176 * * * * [points]: Filtering points with unrepresentable outputs
1.176 * * * * [points]: Sampling 92 additional inputs, on iter 8 have 164 / 256
1.177 * * * * [points]: Computing exacts on every 5 of 92 points to ramp up precision
1.184 * * * * [points]: Setting MPFR precision to 64
1.187 * * * * [points]: Setting MPFR precision to 320
1.189 * * * * [points]: Computing exacts on every 2 of 92 points to ramp up precision
1.196 * * * * [points]: Setting MPFR precision to 64
1.200 * * * * [points]: Setting MPFR precision to 320
1.204 * * * * [points]: Computing exacts for 92 points
1.212 * * * * [points]: Setting MPFR precision to 64
1.224 * * * * [points]: Setting MPFR precision to 320
1.236 * * * * [points]: Filtering points with unrepresentable outputs
1.236 * * * * [points]: Sampling 81 additional inputs, on iter 9 have 175 / 256
1.236 * * * * [points]: Computing exacts on every 5 of 81 points to ramp up precision
1.240 * * * * [points]: Setting MPFR precision to 64
1.241 * * * * [points]: Setting MPFR precision to 320
1.242 * * * * [points]: Computing exacts on every 2 of 81 points to ramp up precision
1.246 * * * * [points]: Setting MPFR precision to 64
1.248 * * * * [points]: Setting MPFR precision to 320
1.250 * * * * [points]: Computing exacts for 81 points
1.254 * * * * [points]: Setting MPFR precision to 64
1.260 * * * * [points]: Setting MPFR precision to 320
1.265 * * * * [points]: Filtering points with unrepresentable outputs
1.265 * * * * [points]: Sampling 71 additional inputs, on iter 10 have 185 / 256
1.266 * * * * [points]: Computing exacts on every 4 of 71 points to ramp up precision
1.269 * * * * [points]: Setting MPFR precision to 64
1.271 * * * * [points]: Setting MPFR precision to 320
1.272 * * * * [points]: Computing exacts on every 2 of 71 points to ramp up precision
1.276 * * * * [points]: Setting MPFR precision to 64
1.277 * * * * [points]: Setting MPFR precision to 320
1.279 * * * * [points]: Computing exacts for 71 points
1.283 * * * * [points]: Setting MPFR precision to 64
1.288 * * * * [points]: Setting MPFR precision to 320
1.322 * * * * [points]: Filtering points with unrepresentable outputs
1.322 * * * * [points]: Sampling 62 additional inputs, on iter 11 have 194 / 256
1.323 * * * * [points]: Computing exacts on every 3 of 62 points to ramp up precision
1.333 * * * * [points]: Setting MPFR precision to 64
1.336 * * * * [points]: Setting MPFR precision to 320
1.338 * * * * [points]: Computing exacts for 62 points
1.345 * * * * [points]: Setting MPFR precision to 64
1.349 * * * * [points]: Setting MPFR precision to 320
1.354 * * * * [points]: Filtering points with unrepresentable outputs
1.354 * * * * [points]: Sampling 53 additional inputs, on iter 12 have 203 / 256
1.354 * * * * [points]: Computing exacts on every 3 of 53 points to ramp up precision
1.358 * * * * [points]: Setting MPFR precision to 64
1.359 * * * * [points]: Setting MPFR precision to 320
1.360 * * * * [points]: Computing exacts for 53 points
1.364 * * * * [points]: Setting MPFR precision to 64
1.368 * * * * [points]: Setting MPFR precision to 320
1.372 * * * * [points]: Filtering points with unrepresentable outputs
1.372 * * * * [points]: Sampling 49 additional inputs, on iter 13 have 207 / 256
1.372 * * * * [points]: Computing exacts on every 3 of 49 points to ramp up precision
1.376 * * * * [points]: Setting MPFR precision to 64
1.377 * * * * [points]: Setting MPFR precision to 320
1.378 * * * * [points]: Computing exacts for 49 points
1.381 * * * * [points]: Setting MPFR precision to 64
1.385 * * * * [points]: Setting MPFR precision to 320
1.389 * * * * [points]: Filtering points with unrepresentable outputs
1.389 * * * * [points]: Sampling 41 additional inputs, on iter 14 have 215 / 256
1.389 * * * * [points]: Computing exacts on every 2 of 41 points to ramp up precision
1.393 * * * * [points]: Setting MPFR precision to 64
1.394 * * * * [points]: Setting MPFR precision to 320
1.395 * * * * [points]: Computing exacts for 41 points
1.398 * * * * [points]: Setting MPFR precision to 64
1.401 * * * * [points]: Setting MPFR precision to 320
1.404 * * * * [points]: Filtering points with unrepresentable outputs
1.404 * * * * [points]: Sampling 39 additional inputs, on iter 15 have 217 / 256
1.404 * * * * [points]: Computing exacts on every 2 of 39 points to ramp up precision
1.408 * * * * [points]: Setting MPFR precision to 64
1.409 * * * * [points]: Setting MPFR precision to 320
1.411 * * * * [points]: Computing exacts for 39 points
1.417 * * * * [points]: Setting MPFR precision to 64
1.421 * * * * [points]: Setting MPFR precision to 320
1.446 * * * * [points]: Filtering points with unrepresentable outputs
1.446 * * * * [points]: Sampling 34 additional inputs, on iter 16 have 222 / 256
1.447 * * * * [points]: Computing exacts on every 2 of 34 points to ramp up precision
1.450 * * * * [points]: Setting MPFR precision to 64
1.451 * * * * [points]: Setting MPFR precision to 320
1.452 * * * * [points]: Computing exacts for 34 points
1.456 * * * * [points]: Setting MPFR precision to 64
1.458 * * * * [points]: Setting MPFR precision to 320
1.461 * * * * [points]: Filtering points with unrepresentable outputs
1.461 * * * * [points]: Sampling 31 additional inputs, on iter 17 have 225 / 256
1.461 * * * * [points]: Computing exacts for 31 points
1.464 * * * * [points]: Setting MPFR precision to 64
1.468 * * * * [points]: Setting MPFR precision to 320
1.471 * * * * [points]: Filtering points with unrepresentable outputs
1.471 * * * * [points]: Sampling 27 additional inputs, on iter 18 have 229 / 256
1.471 * * * * [points]: Computing exacts for 27 points
1.475 * * * * [points]: Setting MPFR precision to 64
1.477 * * * * [points]: Setting MPFR precision to 320
1.479 * * * * [points]: Filtering points with unrepresentable outputs
1.479 * * * * [points]: Sampling 25 additional inputs, on iter 19 have 231 / 256
1.479 * * * * [points]: Computing exacts for 25 points
1.483 * * * * [points]: Setting MPFR precision to 64
1.485 * * * * [points]: Setting MPFR precision to 320
1.486 * * * * [points]: Filtering points with unrepresentable outputs
1.486 * * * * [points]: Sampling 20 additional inputs, on iter 20 have 236 / 256
1.487 * * * * [points]: Computing exacts for 20 points
1.490 * * * * [points]: Setting MPFR precision to 64
1.492 * * * * [points]: Setting MPFR precision to 320
1.493 * * * * [points]: Filtering points with unrepresentable outputs
1.493 * * * * [points]: Sampling 19 additional inputs, on iter 21 have 237 / 256
1.493 * * * * [points]: Computing exacts for 19 points
1.497 * * * * [points]: Setting MPFR precision to 64
1.498 * * * * [points]: Setting MPFR precision to 320
1.499 * * * * [points]: Filtering points with unrepresentable outputs
1.499 * * * * [points]: Sampling 16 additional inputs, on iter 22 have 240 / 256
1.500 * * * * [points]: Computing exacts for 16 points
1.503 * * * * [points]: Setting MPFR precision to 64
1.504 * * * * [points]: Setting MPFR precision to 320
1.506 * * * * [points]: Filtering points with unrepresentable outputs
1.506 * * * * [points]: Sampling 13 additional inputs, on iter 23 have 243 / 256
1.506 * * * * [points]: Computing exacts for 13 points
1.509 * * * * [points]: Setting MPFR precision to 64
1.510 * * * * [points]: Setting MPFR precision to 320
1.511 * * * * [points]: Filtering points with unrepresentable outputs
1.511 * * * * [points]: Sampling 10 additional inputs, on iter 24 have 246 / 256
1.511 * * * * [points]: Computing exacts for 10 points
1.515 * * * * [points]: Setting MPFR precision to 64
1.516 * * * * [points]: Setting MPFR precision to 320
1.516 * * * * [points]: Filtering points with unrepresentable outputs
1.516 * * * * [points]: Sampling 9 additional inputs, on iter 25 have 247 / 256
1.517 * * * * [points]: Computing exacts for 9 points
1.520 * * * * [points]: Setting MPFR precision to 64
1.521 * * * * [points]: Setting MPFR precision to 320
1.521 * * * * [points]: Filtering points with unrepresentable outputs
1.522 * * * * [points]: Sampling 9 additional inputs, on iter 26 have 247 / 256
1.522 * * * * [points]: Computing exacts for 9 points
1.525 * * * * [points]: Setting MPFR precision to 64
1.541 * * * * [points]: Setting MPFR precision to 320
1.542 * * * * [points]: Filtering points with unrepresentable outputs
1.542 * * * * [points]: Sampling 7 additional inputs, on iter 27 have 249 / 256
1.542 * * * * [points]: Computing exacts for 7 points
1.549 * * * * [points]: Setting MPFR precision to 64
1.550 * * * * [points]: Setting MPFR precision to 320
1.551 * * * * [points]: Filtering points with unrepresentable outputs
1.551 * * * * [points]: Sampling 6 additional inputs, on iter 28 have 250 / 256
1.551 * * * * [points]: Computing exacts for 6 points
1.555 * * * * [points]: Setting MPFR precision to 64
1.555 * * * * [points]: Setting MPFR precision to 320
1.556 * * * * [points]: Filtering points with unrepresentable outputs
1.556 * * * * [points]: Sampling 5 additional inputs, on iter 29 have 251 / 256
1.556 * * * * [points]: Computing exacts for 5 points
1.560 * * * * [points]: Setting MPFR precision to 64
1.560 * * * * [points]: Setting MPFR precision to 320
1.561 * * * * [points]: Filtering points with unrepresentable outputs
1.561 * * * * [points]: Sampling 4 additional inputs, on iter 30 have 252 / 256
1.561 * * * * [points]: Computing exacts for 4 points
1.564 * * * * [points]: Setting MPFR precision to 64
1.565 * * * * [points]: Setting MPFR precision to 320
1.565 * * * * [points]: Filtering points with unrepresentable outputs
1.565 * * * * [points]: Sampling 4 additional inputs, on iter 31 have 252 / 256
1.565 * * * * [points]: Computing exacts for 4 points
1.568 * * * * [points]: Setting MPFR precision to 64
1.569 * * * * [points]: Setting MPFR precision to 320
1.569 * * * * [points]: Filtering points with unrepresentable outputs
1.569 * * * * [points]: Sampling 4 additional inputs, on iter 32 have 253 / 256
1.569 * * * * [points]: Computing exacts for 4 points
1.573 * * * * [points]: Setting MPFR precision to 64
1.573 * * * * [points]: Setting MPFR precision to 320
1.574 * * * * [points]: Filtering points with unrepresentable outputs
1.574 * * * * [points]: Sampling 4 additional inputs, on iter 33 have 254 / 256
1.574 * * * * [points]: Computing exacts for 4 points
1.577 * * * * [points]: Setting MPFR precision to 64
1.577 * * * * [points]: Setting MPFR precision to 320
1.578 * * * * [points]: Filtering points with unrepresentable outputs
1.578 * * * * [points]: Sampling 4 additional inputs, on iter 34 have 254 / 256
1.578 * * * * [points]: Computing exacts for 4 points
1.582 * * * * [points]: Setting MPFR precision to 64
1.582 * * * * [points]: Setting MPFR precision to 320
1.583 * * * * [points]: Filtering points with unrepresentable outputs
1.583 * * * * [points]: Sampling 4 additional inputs, on iter 35 have 254 / 256
1.583 * * * * [points]: Computing exacts for 4 points
1.590 * * * * [points]: Setting MPFR precision to 64
1.591 * * * * [points]: Setting MPFR precision to 320
1.591 * * * * [points]: Filtering points with unrepresentable outputs
1.591 * * * * [points]: Sampling 4 additional inputs, on iter 36 have 254 / 256
1.591 * * * * [points]: Computing exacts for 4 points
1.598 * * * * [points]: Setting MPFR precision to 64
1.599 * * * * [points]: Setting MPFR precision to 320
1.599 * * * * [points]: Filtering points with unrepresentable outputs
1.599 * * * * [points]: Sampling 4 additional inputs, on iter 37 have 254 / 256
1.600 * * * * [points]: Computing exacts for 4 points
1.607 * * * * [points]: Setting MPFR precision to 64
1.607 * * * * [points]: Setting MPFR precision to 320
1.608 * * * * [points]: Filtering points with unrepresentable outputs
1.608 * * * * [points]: Sampled 256 points with exact outputs
1.608 * * * [progress]: [2/2] Setting up program.
1.628 * [progress]: [Phase 2 of 3] Improving.
1.628 * * * * [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.628 * [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.628 * * [simplify]: iters left: 6 (15 enodes)
1.635 * * [simplify]: iters left: 5 (54 enodes)
1.671 * * [simplify]: iters left: 4 (174 enodes)
1.797 * * [simplify]: Extracting #0: cost 1 inf + 0
1.797 * * [simplify]: Extracting #1: cost 2 inf + 0
1.797 * * [simplify]: Extracting #2: cost 52 inf + 0
1.798 * * [simplify]: Extracting #3: cost 218 inf + 0
1.799 * * [simplify]: Extracting #4: cost 350 inf + 488
1.803 * * [simplify]: Extracting #5: cost 271 inf + 83278
1.817 * * [simplify]: Extracting #6: cost 99 inf + 301152
1.842 * * [simplify]: Extracting #7: cost 13 inf + 445414
1.881 * * [simplify]: Extracting #8: cost 0 inf + 471346
1.936 * [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.936 * [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.953 * * [progress]: iteration 1 / 4
1.953 * * * [progress]: picking best candidate
1.964 * * * * [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.965 * * * [progress]: localizing error
2.191 * * * [progress]: generating rewritten candidates
2.192 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 2)
2.215 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
2.240 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
2.266 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
2.298 * * * [progress]: generating series expansions
2.298 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 2)
2.298 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
2.298 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
2.298 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
2.298 * * * [progress]: simplifying candidates
2.298 * * * * [progress]: [ 1 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
2.298 * * * * [progress]: [ 2 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
2.298 * * * * [progress]: [ 3 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 c)))))>
2.298 * * * * [progress]: [ 4 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
2.298 * * * * [progress]: [ 5 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
2.298 * * * * [progress]: [ 6 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
2.298 * * * * [progress]: [ 7 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (+.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (neg.p16 c)))))>
2.299 * [simplify]: Simplifying (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (neg.p16 c))
2.299 * * [simplify]: iters left: 6 (14 enodes)
2.303 * * [simplify]: iters left: 5 (47 enodes)
2.311 * * [simplify]: iters left: 4 (142 enodes)
2.357 * * [simplify]: Extracting #0: cost 1 inf + 0
2.357 * * [simplify]: Extracting #1: cost 47 inf + 0
2.358 * * [simplify]: Extracting #2: cost 138 inf + 0
2.358 * * [simplify]: Extracting #3: cost 255 inf + 167
2.361 * * [simplify]: Extracting #4: cost 197 inf + 51251
2.373 * * [simplify]: Extracting #5: cost 37 inf + 258423
2.406 * * [simplify]: Extracting #6: cost 5 inf + 309031
2.442 * * [simplify]: Extracting #7: cost 0 inf + 319571
2.469 * [simplify]: Simplified to (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (neg.p16 c))
2.469 * [simplify]: Simplified (2 1 2) to (λ (a b c) (sqrt.p16 (+.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (neg.p16 c)))))
2.469 * * * * [progress]: [ 8 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (*.p16 (neg.p16 c) (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))))))>
2.469 * [simplify]: Simplifying (*.p16 (neg.p16 c) (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)))
2.469 * * [simplify]: iters left: 6 (14 enodes)
2.473 * * [simplify]: iters left: 5 (47 enodes)
2.481 * * [simplify]: iters left: 4 (147 enodes)
2.553 * * [simplify]: Extracting #0: cost 1 inf + 0
2.553 * * [simplify]: Extracting #1: cost 41 inf + 0
2.553 * * [simplify]: Extracting #2: cost 134 inf + 0
2.554 * * [simplify]: Extracting #3: cost 242 inf + 248
2.556 * * [simplify]: Extracting #4: cost 243 inf + 24866
2.570 * * [simplify]: Extracting #5: cost 84 inf + 207409
2.605 * * [simplify]: Extracting #6: cost 1 inf + 335141
2.645 * * [simplify]: Extracting #7: cost 0 inf + 336465
2.681 * [simplify]: Simplified to (*.p16 (*.p16 (*.p16 (neg.p16 c) (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) a)) (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)))
2.681 * [simplify]: Simplified (2 1 2) to (λ (a b c) (sqrt.p16 (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (*.p16 (*.p16 (*.p16 (neg.p16 c) (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) a)) (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2))))))
2.681 * * * * [progress]: [ 9 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
2.682 * [simplify]: Simplifying (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))
2.682 * * [simplify]: iters left: 5 (10 enodes)
2.687 * * [simplify]: iters left: 4 (31 enodes)
2.697 * * [simplify]: iters left: 3 (69 enodes)
2.727 * * [simplify]: iters left: 2 (236 enodes)
2.863 * * [simplify]: Extracting #0: cost 1 inf + 0
2.863 * * [simplify]: Extracting #1: cost 28 inf + 0
2.864 * * [simplify]: Extracting #2: cost 177 inf + 0
2.871 * * [simplify]: Extracting #3: cost 284 inf + 4676
2.876 * * [simplify]: Extracting #4: cost 222 inf + 71674
2.890 * * [simplify]: Extracting #5: cost 74 inf + 271655
2.913 * * [simplify]: Extracting #6: cost 0 inf + 386774
2.940 * * [simplify]: Extracting #7: cost 0 inf + 386134
2.964 * [simplify]: Simplified to (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))
2.964 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))
2.964 * * * * [progress]: [ 10 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
2.965 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
2.965 * * [simplify]: iters left: 4 (9 enodes)
2.968 * * [simplify]: iters left: 3 (21 enodes)
2.973 * * [simplify]: iters left: 2 (27 enodes)
2.982 * * [simplify]: iters left: 1 (28 enodes)
2.990 * * [simplify]: Extracting #0: cost 1 inf + 0
2.990 * * [simplify]: Extracting #1: cost 3 inf + 0
2.990 * * [simplify]: Extracting #2: cost 4 inf + 1
2.990 * * [simplify]: Extracting #3: cost 10 inf + 1
2.990 * * [simplify]: Extracting #4: cost 5 inf + 47
2.990 * * [simplify]: Extracting #5: cost 1 inf + 738
2.991 * * [simplify]: Extracting #6: cost 0 inf + 1302
2.991 * [simplify]: Simplified to (+.p16 c (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)))
2.991 * [simplify]: Simplified (2 1 2) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c))) (+.p16 c (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))))))
2.991 * * * * [progress]: [ 11 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))))>
2.992 * [simplify]: Simplifying (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
2.992 * * [simplify]: iters left: 6 (16 enodes)
3.000 * * [simplify]: iters left: 5 (62 enodes)
3.026 * * [simplify]: iters left: 4 (229 enodes)
3.165 * * [simplify]: Extracting #0: cost 1 inf + 0
3.165 * * [simplify]: Extracting #1: cost 65 inf + 0
3.167 * * [simplify]: Extracting #2: cost 288 inf + 0
3.173 * * [simplify]: Extracting #3: cost 447 inf + 407
3.181 * * [simplify]: Extracting #4: cost 317 inf + 175419
3.226 * * [simplify]: Extracting #5: cost 63 inf + 601180
3.276 * * [simplify]: Extracting #6: cost 6 inf + 706836
3.334 * * [simplify]: Extracting #7: cost 0 inf + 722900
3.392 * [simplify]: Simplified to (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (+.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)))
3.392 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (+.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))))
3.393 * * * * [progress]: [ 12 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))>
3.393 * [simplify]: Simplifying (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
3.393 * * [simplify]: iters left: 6 (16 enodes)
3.397 * * [simplify]: iters left: 5 (62 enodes)
3.411 * * [simplify]: iters left: 4 (229 enodes)
3.549 * * [simplify]: Extracting #0: cost 1 inf + 0
3.549 * * [simplify]: Extracting #1: cost 59 inf + 0
3.549 * * [simplify]: Extracting #2: cost 276 inf + 0
3.551 * * [simplify]: Extracting #3: cost 431 inf + 809
3.560 * * [simplify]: Extracting #4: cost 315 inf + 215074
3.593 * * [simplify]: Extracting #5: cost 47 inf + 641310
3.646 * * [simplify]: Extracting #6: cost 3 inf + 707919
3.694 * * [simplify]: Extracting #7: cost 0 inf + 715051
3.774 * [simplify]: Simplified to (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)))))
3.774 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b))))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))
3.774 * * * * [progress]: [ 13 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (real->posit16 2))))>
3.774 * [simplify]: Simplifying (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
3.775 * * [simplify]: iters left: 6 (14 enodes)
3.779 * * [simplify]: iters left: 5 (51 enodes)
3.789 * * [simplify]: iters left: 4 (171 enodes)
3.926 * * [simplify]: Extracting #0: cost 1 inf + 0
3.927 * * [simplify]: Extracting #1: cost 53 inf + 0
3.927 * * [simplify]: Extracting #2: cost 257 inf + 0
3.929 * * [simplify]: Extracting #3: cost 412 inf + 938
3.937 * * [simplify]: Extracting #4: cost 235 inf + 203438
3.965 * * [simplify]: Extracting #5: cost 22 inf + 506689
4.020 * * [simplify]: Extracting #6: cost 0 inf + 540771
4.082 * [simplify]: Simplified to (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (+.p16 (+.p16 b a) c) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c))
4.082 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (+.p16 (+.p16 b a) c) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c)) (real->posit16 2))))
4.082 * * * * [progress]: [ 14 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)))))>
4.082 * * * * [progress]: [ 15 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
4.082 * [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.083 * * [simplify]: iters left: 6 (15 enodes)
4.090 * * [simplify]: iters left: 5 (54 enodes)
4.111 * * [simplify]: iters left: 4 (174 enodes)
4.196 * * [simplify]: Extracting #0: cost 1 inf + 0
4.196 * * [simplify]: Extracting #1: cost 2 inf + 0
4.196 * * [simplify]: Extracting #2: cost 52 inf + 0
4.197 * * [simplify]: Extracting #3: cost 218 inf + 0
4.198 * * [simplify]: Extracting #4: cost 350 inf + 488
4.204 * * [simplify]: Extracting #5: cost 271 inf + 83278
4.232 * * [simplify]: Extracting #6: cost 99 inf + 301152
4.269 * * [simplify]: Extracting #7: cost 13 inf + 445414
4.303 * * [simplify]: Extracting #8: cost 0 inf + 471346
4.335 * [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.335 * [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.335 * * * * [progress]: [ 16 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
4.335 * [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.335 * * [simplify]: iters left: 6 (15 enodes)
4.343 * * [simplify]: iters left: 5 (54 enodes)
4.356 * * [simplify]: iters left: 4 (174 enodes)
4.442 * * [simplify]: Extracting #0: cost 1 inf + 0
4.443 * * [simplify]: Extracting #1: cost 2 inf + 0
4.443 * * [simplify]: Extracting #2: cost 52 inf + 0
4.444 * * [simplify]: Extracting #3: cost 218 inf + 0
4.446 * * [simplify]: Extracting #4: cost 350 inf + 488
4.454 * * [simplify]: Extracting #5: cost 271 inf + 83278
4.482 * * [simplify]: Extracting #6: cost 99 inf + 301152
4.534 * * [simplify]: Extracting #7: cost 13 inf + 445414
4.587 * * [simplify]: Extracting #8: cost 0 inf + 471346
4.633 * [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.633 * [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.633 * * * * [progress]: [ 17 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
4.634 * [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.634 * * [simplify]: iters left: 6 (15 enodes)
4.641 * * [simplify]: iters left: 5 (54 enodes)
4.662 * * [simplify]: iters left: 4 (174 enodes)
4.747 * * [simplify]: Extracting #0: cost 1 inf + 0
4.747 * * [simplify]: Extracting #1: cost 2 inf + 0
4.747 * * [simplify]: Extracting #2: cost 52 inf + 0
4.747 * * [simplify]: Extracting #3: cost 218 inf + 0
4.748 * * [simplify]: Extracting #4: cost 350 inf + 488
4.753 * * [simplify]: Extracting #5: cost 271 inf + 83278
4.773 * * [simplify]: Extracting #6: cost 99 inf + 301152
4.810 * * [simplify]: Extracting #7: cost 13 inf + 445414
4.841 * * [simplify]: Extracting #8: cost 0 inf + 471346
4.871 * [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.871 * [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.871 * * * * [progress]: [ 18 / 18 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
4.872 * [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.872 * * [simplify]: iters left: 6 (15 enodes)
4.879 * * [simplify]: iters left: 5 (54 enodes)
4.898 * * [simplify]: iters left: 4 (174 enodes)
4.977 * * [simplify]: Extracting #0: cost 1 inf + 0
4.977 * * [simplify]: Extracting #1: cost 2 inf + 0
4.978 * * [simplify]: Extracting #2: cost 52 inf + 0
4.978 * * [simplify]: Extracting #3: cost 218 inf + 0
4.979 * * [simplify]: Extracting #4: cost 350 inf + 488
4.983 * * [simplify]: Extracting #5: cost 271 inf + 83278
4.997 * * [simplify]: Extracting #6: cost 99 inf + 301152
5.023 * * [simplify]: Extracting #7: cost 13 inf + 445414
5.053 * * [simplify]: Extracting #8: cost 0 inf + 471346
5.080 * [simplify]: Simplified to (sqrt.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c)))
5.080 * [simplify]: Simplified (2) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c))))
5.081 * * * [progress]: adding candidates to table
5.761 * * [progress]: iteration 2 / 4
5.761 * * * [progress]: picking best candidate
5.785 * * * * [pick]: Picked  #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))>
5.785 * * * [progress]: localizing error
6.190 * * * [progress]: generating rewritten candidates
6.191 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
6.259 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 2)
6.262 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
6.289 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2)
6.318 * * * [progress]: generating series expansions
6.318 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
6.318 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 2)
6.318 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
6.318 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2)
6.318 * * * [progress]: simplifying candidates
6.318 * * * * [progress]: [ 1 / 16 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
6.318 * [simplify]: Simplifying (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))
6.318 * * [simplify]: iters left: 6 (14 enodes)
6.322 * * [simplify]: iters left: 5 (51 enodes)
6.332 * * [simplify]: iters left: 4 (173 enodes)
6.392 * * [simplify]: Extracting #0: cost 1 inf + 0
6.392 * * [simplify]: Extracting #1: cost 48 inf + 0
6.392 * * [simplify]: Extracting #2: cost 196 inf + 0
6.393 * * [simplify]: Extracting #3: cost 275 inf + 1859
6.397 * * [simplify]: Extracting #4: cost 237 inf + 79873
6.413 * * [simplify]: Extracting #5: cost 41 inf + 350410
6.436 * * [simplify]: Extracting #6: cost 1 inf + 422604
6.461 * * [simplify]: Extracting #7: cost 0 inf + 425528
6.487 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)))
6.487 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b))) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))
6.487 * * * * [progress]: [ 2 / 16 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
6.487 * [simplify]: Simplifying (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)))
6.487 * * [simplify]: iters left: 6 (17 enodes)
6.491 * * [simplify]: iters left: 5 (66 enodes)
6.505 * * [simplify]: iters left: 4 (250 enodes)
6.658 * * [simplify]: Extracting #0: cost 1 inf + 0
6.659 * * [simplify]: Extracting #1: cost 70 inf + 0
6.660 * * [simplify]: Extracting #2: cost 345 inf + 0
6.663 * * [simplify]: Extracting #3: cost 507 inf + 890
6.683 * * [simplify]: Extracting #4: cost 399 inf + 227592
6.743 * * [simplify]: Extracting #5: cost 85 inf + 736749
6.831 * * [simplify]: Extracting #6: cost 1 inf + 915516
6.936 * * [simplify]: Extracting #7: cost 0 inf + 916080
6.992 * [simplify]: Simplified to (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (+.p16 c (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))))
6.992 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (+.p16 c (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))
6.992 * * * * [progress]: [ 3 / 16 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)))))>
6.992 * [simplify]: Simplifying (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
6.993 * * [simplify]: iters left: 6 (17 enodes)
6.997 * * [simplify]: iters left: 5 (66 enodes)
7.011 * * [simplify]: iters left: 4 (252 enodes)
7.141 * * [simplify]: Extracting #0: cost 1 inf + 0
7.141 * * [simplify]: Extracting #1: cost 73 inf + 0
7.142 * * [simplify]: Extracting #2: cost 347 inf + 0
7.146 * * [simplify]: Extracting #3: cost 531 inf + 1612
7.170 * * [simplify]: Extracting #4: cost 388 inf + 273369
7.247 * * [simplify]: Extracting #5: cost 84 inf + 812947
7.359 * * [simplify]: Extracting #6: cost 0 inf + 988759
7.471 * * [simplify]: Extracting #7: cost 0 inf + 987839
7.580 * [simplify]: Simplified to (*.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) c) (-.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) b)) (*.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) a) (+.p16 a (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2))))))
7.580 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) c) (-.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) b)) (*.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)) a) (+.p16 a (/.p16 (+.p16 (+.p16 a c) b) (real->posit16 2)))))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)))))
7.581 * * * * [progress]: [ 4 / 16 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))))))>
7.581 * [simplify]: Simplifying (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
7.581 * * [simplify]: iters left: 6 (18 enodes)
7.590 * * [simplify]: iters left: 5 (72 enodes)
7.621 * * [simplify]: iters left: 4 (269 enodes)
7.777 * * [simplify]: Extracting #0: cost 1 inf + 0
7.778 * * [simplify]: Extracting #1: cost 59 inf + 0
7.779 * * [simplify]: Extracting #2: cost 290 inf + 0
7.782 * * [simplify]: Extracting #3: cost 460 inf + 166
7.796 * * [simplify]: Extracting #4: cost 380 inf + 281442
7.847 * * [simplify]: Extracting #5: cost 63 inf + 884806
7.946 * * [simplify]: Extracting #6: cost 0 inf + 1034028
8.036 * [simplify]: Simplified to (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a)))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))))
8.036 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a)))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))))))
8.036 * * * * [progress]: [ 5 / 16 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))>
8.036 * [simplify]: Simplifying (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
8.036 * * [simplify]: iters left: 6 (16 enodes)
8.041 * * [simplify]: iters left: 5 (60 enodes)
8.055 * * [simplify]: iters left: 4 (223 enodes)
8.176 * * [simplify]: Extracting #0: cost 1 inf + 0
8.176 * * [simplify]: Extracting #1: cost 62 inf + 0
8.177 * * [simplify]: Extracting #2: cost 310 inf + 0
8.179 * * [simplify]: Extracting #3: cost 507 inf + 1699
8.197 * * [simplify]: Extracting #4: cost 370 inf + 235542
8.264 * * [simplify]: Extracting #5: cost 33 inf + 741482
8.318 * * [simplify]: Extracting #6: cost 0 inf + 796563
8.380 * * [simplify]: Extracting #7: cost 0 inf + 796003
8.472 * [simplify]: Simplified to (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (+.p16 (+.p16 b a) c)) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a))))
8.472 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (+.p16 (+.p16 b a) c)) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))
8.473 * * * * [progress]: [ 6 / 16 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))>
8.473 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
8.473 * * [simplify]: iters left: 4 (9 enodes)
8.477 * * [simplify]: iters left: 3 (21 enodes)
8.483 * * [simplify]: iters left: 2 (27 enodes)
8.491 * * [simplify]: iters left: 1 (28 enodes)
8.498 * * [simplify]: Extracting #0: cost 1 inf + 0
8.498 * * [simplify]: Extracting #1: cost 3 inf + 0
8.498 * * [simplify]: Extracting #2: cost 4 inf + 1
8.498 * * [simplify]: Extracting #3: cost 10 inf + 1
8.499 * * [simplify]: Extracting #4: cost 1 inf + 738
8.499 * * [simplify]: Extracting #5: cost 0 inf + 1302
8.499 * [simplify]: Simplified to (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))
8.499 * [simplify]: Simplified (2 1 1 1 1 2 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))
8.500 * [simplify]: Simplifying (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
8.500 * * [simplify]: iters left: 4 (9 enodes)
8.504 * * [simplify]: iters left: 3 (27 enodes)
8.512 * * [simplify]: iters left: 2 (47 enodes)
8.528 * * [simplify]: iters left: 1 (123 enodes)
8.570 * * [simplify]: Extracting #0: cost 1 inf + 0
8.570 * * [simplify]: Extracting #1: cost 15 inf + 0
8.571 * * [simplify]: Extracting #2: cost 53 inf + 1
8.571 * * [simplify]: Extracting #3: cost 87 inf + 1044
8.572 * * [simplify]: Extracting #4: cost 139 inf + 5657
8.574 * * [simplify]: Extracting #5: cost 115 inf + 19521
8.581 * * [simplify]: Extracting #6: cost 57 inf + 79064
8.592 * * [simplify]: Extracting #7: cost 8 inf + 157140
8.601 * * [simplify]: Extracting #8: cost 0 inf + 176132
8.611 * [simplify]: Simplified to (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) a)
8.611 * [simplify]: Simplified (2 1 1 1 1 2 2) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))
8.611 * * * * [progress]: [ 7 / 16 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (neg.p16 (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))>
8.611 * * * * [progress]: [ 8 / 16 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a))) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))>
8.611 * * * * [progress]: [ 9 / 16 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 c))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))>
8.611 * * * * [progress]: [ 10 / 16 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))>
8.611 * * * * [progress]: [ 11 / 16 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))>
8.611 * * * * [progress]: [ 12 / 16 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))>
8.611 * * * * [progress]: [ 13 / 16 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))>
8.611 * [simplify]: Simplifying (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
8.612 * * [simplify]: iters left: 6 (16 enodes)
8.616 * * [simplify]: iters left: 5 (62 enodes)
8.635 * * [simplify]: iters left: 4 (229 enodes)
8.789 * * [simplify]: Extracting #0: cost 1 inf + 0
8.789 * * [simplify]: Extracting #1: cost 59 inf + 0
8.789 * * [simplify]: Extracting #2: cost 276 inf + 0
8.791 * * [simplify]: Extracting #3: cost 431 inf + 809
8.800 * * [simplify]: Extracting #4: cost 315 inf + 215074
8.858 * * [simplify]: Extracting #5: cost 47 inf + 641310
8.941 * * [simplify]: Extracting #6: cost 3 inf + 707919
9.003 * * [simplify]: Extracting #7: cost 0 inf + 715051
9.051 * [simplify]: Simplified to (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)))))
9.051 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b))))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))
9.052 * * * * [progress]: [ 14 / 16 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))>
9.052 * [simplify]: Simplifying (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
9.052 * * [simplify]: iters left: 6 (16 enodes)
9.056 * * [simplify]: iters left: 5 (62 enodes)
9.073 * * [simplify]: iters left: 4 (229 enodes)
9.222 * * [simplify]: Extracting #0: cost 1 inf + 0
9.222 * * [simplify]: Extracting #1: cost 59 inf + 0
9.224 * * [simplify]: Extracting #2: cost 276 inf + 0
9.226 * * [simplify]: Extracting #3: cost 431 inf + 809
9.244 * * [simplify]: Extracting #4: cost 315 inf + 215074
9.318 * * [simplify]: Extracting #5: cost 47 inf + 641310
9.383 * * [simplify]: Extracting #6: cost 3 inf + 707919
9.431 * * [simplify]: Extracting #7: cost 0 inf + 715051
9.474 * [simplify]: Simplified to (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)))))
9.474 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b))))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))
9.474 * * * * [progress]: [ 15 / 16 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))>
9.474 * [simplify]: Simplifying (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
9.475 * * [simplify]: iters left: 6 (16 enodes)
9.479 * * [simplify]: iters left: 5 (62 enodes)
9.492 * * [simplify]: iters left: 4 (229 enodes)
9.600 * * [simplify]: Extracting #0: cost 1 inf + 0
9.600 * * [simplify]: Extracting #1: cost 59 inf + 0
9.601 * * [simplify]: Extracting #2: cost 276 inf + 0
9.602 * * [simplify]: Extracting #3: cost 431 inf + 809
9.614 * * [simplify]: Extracting #4: cost 315 inf + 215074
9.678 * * [simplify]: Extracting #5: cost 47 inf + 641310
9.760 * * [simplify]: Extracting #6: cost 3 inf + 707919
9.843 * * [simplify]: Extracting #7: cost 0 inf + 715051
9.929 * [simplify]: Simplified to (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)))))
9.929 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b))))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))
9.929 * * * * [progress]: [ 16 / 16 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))>
9.929 * [simplify]: Simplifying (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
9.929 * * [simplify]: iters left: 6 (16 enodes)
9.936 * * [simplify]: iters left: 5 (62 enodes)
9.962 * * [simplify]: iters left: 4 (229 enodes)
10.156 * * [simplify]: Extracting #0: cost 1 inf + 0
10.156 * * [simplify]: Extracting #1: cost 59 inf + 0
10.158 * * [simplify]: Extracting #2: cost 276 inf + 0
10.161 * * [simplify]: Extracting #3: cost 431 inf + 809
10.179 * * [simplify]: Extracting #4: cost 315 inf + 215074
10.249 * * [simplify]: Extracting #5: cost 47 inf + 641310
10.328 * * [simplify]: Extracting #6: cost 3 inf + 707919
10.372 * * [simplify]: Extracting #7: cost 0 inf + 715051
10.415 * [simplify]: Simplified to (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)))))
10.415 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b))))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))))
10.415 * * * [progress]: adding candidates to table
11.013 * * [progress]: iteration 3 / 4
11.013 * * * [progress]: picking best candidate
11.086 * * * * [pick]: Picked  #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
11.086 * * * [progress]: localizing error
11.643 * * * [progress]: generating rewritten candidates
11.643 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
11.735 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2)
11.739 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2)
11.765 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2)
11.790 * * * [progress]: generating series expansions
11.790 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
11.790 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2)
11.790 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2)
11.790 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2)
11.790 * * * [progress]: simplifying candidates
11.790 * * * * [progress]: [ 1 / 12 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (*.p16 (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
11.790 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
11.790 * * [simplify]: iters left: 4 (9 enodes)
11.792 * * [simplify]: iters left: 3 (21 enodes)
11.795 * * [simplify]: iters left: 2 (27 enodes)
11.799 * * [simplify]: iters left: 1 (28 enodes)
11.802 * * [simplify]: Extracting #0: cost 1 inf + 0
11.803 * * [simplify]: Extracting #1: cost 3 inf + 0
11.803 * * [simplify]: Extracting #2: cost 4 inf + 1
11.803 * * [simplify]: Extracting #3: cost 10 inf + 1
11.803 * * [simplify]: Extracting #4: cost 5 inf + 47
11.803 * * [simplify]: Extracting #5: cost 1 inf + 738
11.803 * * [simplify]: Extracting #6: cost 0 inf + 1302
11.804 * [simplify]: Simplified to (+.p16 c (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)))
11.804 * [simplify]: Simplified (2 1 2 2) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (*.p16 (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c))) (+.p16 c (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)))))))
11.804 * * * * [progress]: [ 2 / 12 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
11.804 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
11.804 * * [simplify]: iters left: 4 (9 enodes)
11.806 * * [simplify]: iters left: 3 (21 enodes)
11.809 * * [simplify]: iters left: 2 (27 enodes)
11.813 * * [simplify]: iters left: 1 (28 enodes)
11.816 * * [simplify]: Extracting #0: cost 1 inf + 0
11.816 * * [simplify]: Extracting #1: cost 3 inf + 0
11.816 * * [simplify]: Extracting #2: cost 4 inf + 1
11.816 * * [simplify]: Extracting #3: cost 10 inf + 1
11.817 * * [simplify]: Extracting #4: cost 1 inf + 738
11.817 * * [simplify]: Extracting #5: cost 0 inf + 1302
11.817 * [simplify]: Simplified to (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))
11.817 * [simplify]: Simplified (2 1 1 1 2 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))
11.817 * [simplify]: Simplifying (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
11.817 * * [simplify]: iters left: 4 (9 enodes)
11.819 * * [simplify]: iters left: 3 (27 enodes)
11.823 * * [simplify]: iters left: 2 (47 enodes)
11.832 * * [simplify]: iters left: 1 (123 enodes)
11.862 * * [simplify]: Extracting #0: cost 1 inf + 0
11.862 * * [simplify]: Extracting #1: cost 15 inf + 0
11.862 * * [simplify]: Extracting #2: cost 53 inf + 1
11.863 * * [simplify]: Extracting #3: cost 87 inf + 1044
11.863 * * [simplify]: Extracting #4: cost 139 inf + 5657
11.864 * * [simplify]: Extracting #5: cost 115 inf + 19521
11.867 * * [simplify]: Extracting #6: cost 57 inf + 79064
11.877 * * [simplify]: Extracting #7: cost 8 inf + 157140
11.886 * * [simplify]: Extracting #8: cost 0 inf + 176132
11.896 * [simplify]: Simplified to (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) a)
11.896 * [simplify]: Simplified (2 1 1 1 2 2) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))
11.896 * * * * [progress]: [ 3 / 12 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (neg.p16 (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
11.896 * * * * [progress]: [ 4 / 12 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a))) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
11.896 * * * * [progress]: [ 5 / 12 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 c))))))>
11.896 * * * * [progress]: [ 6 / 12 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))))>
11.896 * * * * [progress]: [ 7 / 12 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 b))) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
11.896 * * * * [progress]: [ 8 / 12 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
11.896 * * * * [progress]: [ 9 / 12 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
11.896 * [simplify]: Simplifying (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))
11.897 * * [simplify]: iters left: 6 (14 enodes)
11.900 * * [simplify]: iters left: 5 (51 enodes)
11.911 * * [simplify]: iters left: 4 (173 enodes)
11.973 * * [simplify]: Extracting #0: cost 1 inf + 0
11.973 * * [simplify]: Extracting #1: cost 48 inf + 0
11.974 * * [simplify]: Extracting #2: cost 196 inf + 0
11.975 * * [simplify]: Extracting #3: cost 275 inf + 1859
11.978 * * [simplify]: Extracting #4: cost 237 inf + 79873
11.995 * * [simplify]: Extracting #5: cost 41 inf + 350410
12.020 * * [simplify]: Extracting #6: cost 1 inf + 422604
12.068 * * [simplify]: Extracting #7: cost 0 inf + 425528
12.114 * [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)))
12.114 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b))) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))
12.114 * * * * [progress]: [ 10 / 12 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
12.114 * [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))
12.115 * * [simplify]: iters left: 6 (14 enodes)
12.118 * * [simplify]: iters left: 5 (51 enodes)
12.128 * * [simplify]: iters left: 4 (173 enodes)
12.199 * * [simplify]: Extracting #0: cost 1 inf + 0
12.199 * * [simplify]: Extracting #1: cost 48 inf + 0
12.200 * * [simplify]: Extracting #2: cost 196 inf + 0
12.201 * * [simplify]: Extracting #3: cost 275 inf + 1859
12.205 * * [simplify]: Extracting #4: cost 237 inf + 79873
12.221 * * [simplify]: Extracting #5: cost 41 inf + 350410
12.248 * * [simplify]: Extracting #6: cost 1 inf + 422604
12.273 * * [simplify]: Extracting #7: cost 0 inf + 425528
12.297 * [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)))
12.297 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b))) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))
12.297 * * * * [progress]: [ 11 / 12 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
12.297 * [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))
12.298 * * [simplify]: iters left: 6 (14 enodes)
12.301 * * [simplify]: iters left: 5 (51 enodes)
12.312 * * [simplify]: iters left: 4 (173 enodes)
12.374 * * [simplify]: Extracting #0: cost 1 inf + 0
12.374 * * [simplify]: Extracting #1: cost 48 inf + 0
12.375 * * [simplify]: Extracting #2: cost 196 inf + 0
12.376 * * [simplify]: Extracting #3: cost 275 inf + 1859
12.380 * * [simplify]: Extracting #4: cost 237 inf + 79873
12.397 * * [simplify]: Extracting #5: cost 41 inf + 350410
12.424 * * [simplify]: Extracting #6: cost 1 inf + 422604
12.449 * * [simplify]: Extracting #7: cost 0 inf + 425528
12.473 * [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)))
12.474 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b))) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))
12.474 * * * * [progress]: [ 12 / 12 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
12.474 * [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))
12.474 * * [simplify]: iters left: 6 (14 enodes)
12.478 * * [simplify]: iters left: 5 (51 enodes)
12.489 * * [simplify]: iters left: 4 (173 enodes)
12.549 * * [simplify]: Extracting #0: cost 1 inf + 0
12.549 * * [simplify]: Extracting #1: cost 48 inf + 0
12.549 * * [simplify]: Extracting #2: cost 196 inf + 0
12.550 * * [simplify]: Extracting #3: cost 275 inf + 1859
12.554 * * [simplify]: Extracting #4: cost 237 inf + 79873
12.573 * * [simplify]: Extracting #5: cost 41 inf + 350410
12.597 * * [simplify]: Extracting #6: cost 1 inf + 422604
12.638 * * [simplify]: Extracting #7: cost 0 inf + 425528
12.680 * [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)))
12.680 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b))) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))
12.681 * * * [progress]: adding candidates to table
13.142 * * [progress]: iteration 4 / 4
13.142 * * * [progress]: picking best candidate
13.189 * * * * [pick]: Picked  #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))>
13.190 * * * [progress]: localizing error
13.611 * * * [progress]: generating rewritten candidates
13.611 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
13.620 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 2)
13.623 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
13.648 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2)
13.674 * * * [progress]: generating series expansions
13.674 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
13.674 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 2)
13.674 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
13.674 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2)
13.674 * * * [progress]: simplifying candidates
13.674 * * * * [progress]: [ 1 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (real->posit16 2))))>
13.674 * [simplify]: Simplifying (real->posit16 2)
13.674 * * [simplify]: iters left: 1 (2 enodes)
13.675 * * [simplify]: Extracting #0: cost 1 inf + 0
13.675 * * [simplify]: Extracting #1: cost 2 inf + 0
13.675 * * [simplify]: Extracting #2: cost 1 inf + 1
13.675 * * [simplify]: Extracting #3: cost 0 inf + 2
13.675 * [simplify]: Simplified to (real->posit16 2)
13.675 * [simplify]: Simplified (2 1 2) to (λ (a b c) (sqrt.p16 (/.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (real->posit16 2))))
13.676 * * * * [progress]: [ 2 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
13.676 * [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))
13.676 * * [simplify]: iters left: 6 (14 enodes)
13.679 * * [simplify]: iters left: 5 (49 enodes)
13.690 * * [simplify]: iters left: 4 (169 enodes)
13.760 * * [simplify]: Extracting #0: cost 1 inf + 0
13.760 * * [simplify]: Extracting #1: cost 58 inf + 0
13.761 * * [simplify]: Extracting #2: cost 220 inf + 0
13.762 * * [simplify]: Extracting #3: cost 337 inf + 1337
13.764 * * [simplify]: Extracting #4: cost 337 inf + 21516
13.774 * * [simplify]: Extracting #5: cost 161 inf + 244811
13.797 * * [simplify]: Extracting #6: cost 19 inf + 461933
13.828 * * [simplify]: Extracting #7: cost 0 inf + 499729
13.859 * * [simplify]: Extracting #8: cost 0 inf + 499449
13.890 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (+.p16 (+.p16 b a) c)) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)))
13.890 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (+.p16 (+.p16 b a) c)) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a))) (/.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))
13.890 * * * * [progress]: [ 3 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c))) (*.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
13.890 * [simplify]: Simplifying (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)))
13.890 * * [simplify]: iters left: 6 (17 enodes)
13.895 * * [simplify]: iters left: 5 (64 enodes)
13.909 * * [simplify]: iters left: 4 (242 enodes)
14.030 * * [simplify]: Extracting #0: cost 1 inf + 0
14.030 * * [simplify]: Extracting #1: cost 73 inf + 0
14.031 * * [simplify]: Extracting #2: cost 376 inf + 0
14.033 * * [simplify]: Extracting #3: cost 565 inf + 5032
14.048 * * [simplify]: Extracting #4: cost 372 inf + 346893
14.096 * * [simplify]: Extracting #5: cost 33 inf + 912212
14.157 * * [simplify]: Extracting #6: cost 0 inf + 974901
14.215 * * [simplify]: Extracting #7: cost 0 inf + 974061
14.274 * [simplify]: Simplified to (*.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (+.p16 (+.p16 b a) c)) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (+.p16 c (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))))
14.274 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (+.p16 (+.p16 b a) c)) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (+.p16 c (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))))) (*.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))
14.274 * * * * [progress]: [ 4 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)))))>
14.274 * [simplify]: Simplifying (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
14.275 * * [simplify]: iters left: 6 (17 enodes)
14.279 * * [simplify]: iters left: 5 (64 enodes)
14.293 * * [simplify]: iters left: 4 (244 enodes)
14.423 * * [simplify]: Extracting #0: cost 1 inf + 0
14.423 * * [simplify]: Extracting #1: cost 76 inf + 0
14.424 * * [simplify]: Extracting #2: cost 392 inf + 0
14.426 * * [simplify]: Extracting #3: cost 598 inf + 3829
14.442 * * [simplify]: Extracting #4: cost 375 inf + 398622
14.497 * * [simplify]: Extracting #5: cost 47 inf + 992277
14.561 * * [simplify]: Extracting #6: cost 0 inf + 1067056
14.625 * * [simplify]: Extracting #7: cost 0 inf + 1066216
14.689 * [simplify]: Simplified to (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 b a) c) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c)) (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)))
14.689 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 b a) c) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c)) (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b))) (*.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)))))
14.690 * * * * [progress]: [ 5 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))))))>
14.690 * [simplify]: Simplifying (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
14.690 * * [simplify]: iters left: 6 (18 enodes)
14.694 * * [simplify]: iters left: 5 (70 enodes)
14.709 * * [simplify]: iters left: 4 (264 enodes)
14.862 * * [simplify]: Extracting #0: cost 1 inf + 0
14.863 * * [simplify]: Extracting #1: cost 62 inf + 0
14.863 * * [simplify]: Extracting #2: cost 323 inf + 0
14.865 * * [simplify]: Extracting #3: cost 559 inf + 3747
14.881 * * [simplify]: Extracting #4: cost 398 inf + 366962
14.935 * * [simplify]: Extracting #5: cost 61 inf + 992720
15.004 * * [simplify]: Extracting #6: cost 0 inf + 1129703
15.073 * * [simplify]: Extracting #7: cost 0 inf + 1129383
15.143 * [simplify]: Simplified to (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c)) (*.p16 (*.p16 (+.p16 (+.p16 b a) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 a a))) (+.p16 (*.p16 a a) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))))))
15.143 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c)) (*.p16 (*.p16 (+.p16 (+.p16 b a) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 a a))) (+.p16 (*.p16 a a) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))))) (*.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))))))
15.144 * * * * [progress]: [ 6 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (/.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (real->posit16 2)))))>
15.144 * [simplify]: Simplifying (/.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))
15.144 * * [simplify]: iters left: 6 (16 enodes)
15.148 * * [simplify]: iters left: 5 (53 enodes)
15.159 * * [simplify]: iters left: 4 (176 enodes)
15.232 * * [simplify]: Extracting #0: cost 1 inf + 0
15.232 * * [simplify]: Extracting #1: cost 38 inf + 0
15.232 * * [simplify]: Extracting #2: cost 221 inf + 0
15.233 * * [simplify]: Extracting #3: cost 343 inf + 1580
15.235 * * [simplify]: Extracting #4: cost 380 inf + 17508
15.245 * * [simplify]: Extracting #5: cost 195 inf + 244388
15.271 * * [simplify]: Extracting #6: cost 28 inf + 500686
15.305 * * [simplify]: Extracting #7: cost 0 inf + 558598
15.337 * [simplify]: Simplified to (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (+.p16 (+.p16 b a) c)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b))
15.337 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (+.p16 (+.p16 b a) c)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)) (/.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (real->posit16 2)))))
15.337 * [simplify]: Simplifying (/.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (real->posit16 2))
15.338 * * [simplify]: iters left: 5 (10 enodes)
15.340 * * [simplify]: iters left: 4 (28 enodes)
15.345 * * [simplify]: iters left: 3 (50 enodes)
15.354 * * [simplify]: iters left: 2 (140 enodes)
15.390 * * [simplify]: iters left: 1 (496 enodes)
15.698 * * [simplify]: Extracting #0: cost 1 inf + 0
15.698 * * [simplify]: Extracting #1: cost 80 inf + 0
15.700 * * [simplify]: Extracting #2: cost 392 inf + 0
15.704 * * [simplify]: Extracting #3: cost 557 inf + 2495
15.710 * * [simplify]: Extracting #4: cost 780 inf + 19212
15.720 * * [simplify]: Extracting #5: cost 832 inf + 46690
15.734 * * [simplify]: Extracting #6: cost 745 inf + 107718
15.801 * * [simplify]: Extracting #7: cost 293 inf + 839375
15.891 * * [simplify]: Extracting #8: cost 9 inf + 1397966
16.041 * * [simplify]: Extracting #9: cost 0 inf + 1349322
16.197 * * [simplify]: Extracting #10: cost 0 inf + 1348322
16.345 * [simplify]: Simplified to (/.p16 (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) c) (real->posit16 2))
16.346 * [simplify]: Simplified (2 1 2) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (+.p16 (+.p16 b a) c)) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)) (/.p16 (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) c) (real->posit16 2)))))
16.346 * * * * [progress]: [ 7 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))>
16.346 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
16.346 * * [simplify]: iters left: 4 (9 enodes)
16.348 * * [simplify]: iters left: 3 (21 enodes)
16.352 * * [simplify]: iters left: 2 (27 enodes)
16.357 * * [simplify]: iters left: 1 (28 enodes)
16.360 * * [simplify]: Extracting #0: cost 1 inf + 0
16.360 * * [simplify]: Extracting #1: cost 3 inf + 0
16.360 * * [simplify]: Extracting #2: cost 4 inf + 1
16.360 * * [simplify]: Extracting #3: cost 10 inf + 1
16.360 * * [simplify]: Extracting #4: cost 1 inf + 738
16.360 * * [simplify]: Extracting #5: cost 0 inf + 1302
16.361 * [simplify]: Simplified to (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))
16.361 * [simplify]: Simplified (2 1 1 1 1 2 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))
16.361 * [simplify]: Simplifying (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
16.361 * * [simplify]: iters left: 4 (9 enodes)
16.363 * * [simplify]: iters left: 3 (27 enodes)
16.367 * * [simplify]: iters left: 2 (47 enodes)
16.376 * * [simplify]: iters left: 1 (123 enodes)
16.407 * * [simplify]: Extracting #0: cost 1 inf + 0
16.407 * * [simplify]: Extracting #1: cost 15 inf + 0
16.407 * * [simplify]: Extracting #2: cost 53 inf + 1
16.408 * * [simplify]: Extracting #3: cost 87 inf + 1044
16.408 * * [simplify]: Extracting #4: cost 139 inf + 5657
16.409 * * [simplify]: Extracting #5: cost 115 inf + 19521
16.413 * * [simplify]: Extracting #6: cost 57 inf + 79064
16.421 * * [simplify]: Extracting #7: cost 8 inf + 157140
16.431 * * [simplify]: Extracting #8: cost 0 inf + 176132
16.441 * [simplify]: Simplified to (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) a)
16.442 * [simplify]: Simplified (2 1 1 1 1 2 2) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))
16.442 * * * * [progress]: [ 8 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (neg.p16 (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))>
16.442 * * * * [progress]: [ 9 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a))) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))>
16.442 * * * * [progress]: [ 10 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 c))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))>
16.442 * * * * [progress]: [ 11 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))>
16.442 * * * * [progress]: [ 12 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))>
16.442 * * * * [progress]: [ 13 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))>
16.442 * * * * [progress]: [ 14 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))>
16.442 * [simplify]: Simplifying (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
16.443 * * [simplify]: iters left: 6 (16 enodes)
16.447 * * [simplify]: iters left: 5 (60 enodes)
16.459 * * [simplify]: iters left: 4 (223 enodes)
16.599 * * [simplify]: Extracting #0: cost 1 inf + 0
16.599 * * [simplify]: Extracting #1: cost 62 inf + 0
16.600 * * [simplify]: Extracting #2: cost 310 inf + 0
16.602 * * [simplify]: Extracting #3: cost 507 inf + 1699
16.612 * * [simplify]: Extracting #4: cost 370 inf + 235542
16.651 * * [simplify]: Extracting #5: cost 33 inf + 741482
16.713 * * [simplify]: Extracting #6: cost 0 inf + 796563
16.768 * * [simplify]: Extracting #7: cost 0 inf + 796003
16.863 * [simplify]: Simplified to (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (+.p16 (+.p16 b a) c)) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a))))
16.863 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (+.p16 (+.p16 b a) c)) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))
16.863 * * * * [progress]: [ 15 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))>
16.864 * [simplify]: Simplifying (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
16.864 * * [simplify]: iters left: 6 (16 enodes)
16.868 * * [simplify]: iters left: 5 (60 enodes)
16.881 * * [simplify]: iters left: 4 (223 enodes)
17.053 * * [simplify]: Extracting #0: cost 1 inf + 0
17.053 * * [simplify]: Extracting #1: cost 62 inf + 0
17.055 * * [simplify]: Extracting #2: cost 310 inf + 0
17.058 * * [simplify]: Extracting #3: cost 507 inf + 1699
17.080 * * [simplify]: Extracting #4: cost 370 inf + 235542
17.144 * * [simplify]: Extracting #5: cost 33 inf + 741482
17.212 * * [simplify]: Extracting #6: cost 0 inf + 796563
17.261 * * [simplify]: Extracting #7: cost 0 inf + 796003
17.323 * [simplify]: Simplified to (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (+.p16 (+.p16 b a) c)) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a))))
17.323 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (+.p16 (+.p16 b a) c)) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))
17.323 * * * * [progress]: [ 16 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))>
17.323 * [simplify]: Simplifying (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
17.323 * * [simplify]: iters left: 6 (16 enodes)
17.327 * * [simplify]: iters left: 5 (60 enodes)
17.340 * * [simplify]: iters left: 4 (223 enodes)
17.481 * * [simplify]: Extracting #0: cost 1 inf + 0
17.481 * * [simplify]: Extracting #1: cost 62 inf + 0
17.485 * * [simplify]: Extracting #2: cost 310 inf + 0
17.487 * * [simplify]: Extracting #3: cost 507 inf + 1699
17.499 * * [simplify]: Extracting #4: cost 370 inf + 235542
17.537 * * [simplify]: Extracting #5: cost 33 inf + 741482
17.585 * * [simplify]: Extracting #6: cost 0 inf + 796563
17.647 * * [simplify]: Extracting #7: cost 0 inf + 796003
17.694 * [simplify]: Simplified to (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (+.p16 (+.p16 b a) c)) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a))))
17.694 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (+.p16 (+.p16 b a) c)) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))
17.694 * * * * [progress]: [ 17 / 17 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))>
17.694 * [simplify]: Simplifying (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))
17.694 * * [simplify]: iters left: 6 (16 enodes)
17.700 * * [simplify]: iters left: 5 (60 enodes)
17.712 * * [simplify]: iters left: 4 (223 enodes)
17.838 * * [simplify]: Extracting #0: cost 1 inf + 0
17.838 * * [simplify]: Extracting #1: cost 62 inf + 0
17.839 * * [simplify]: Extracting #2: cost 310 inf + 0
17.841 * * [simplify]: Extracting #3: cost 507 inf + 1699
17.855 * * [simplify]: Extracting #4: cost 370 inf + 235542
17.902 * * [simplify]: Extracting #5: cost 33 inf + 741482
17.953 * * [simplify]: Extracting #6: cost 0 inf + 796563
18.009 * * [simplify]: Extracting #7: cost 0 inf + 796003
18.085 * [simplify]: Simplified to (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (+.p16 (+.p16 b a) c)) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a))))
18.085 * [simplify]: Simplified (2 1 1) to (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (+.p16 (+.p16 b a) c)) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))
18.085 * * * [progress]: adding candidates to table
18.686 * [progress]: [Phase 3 of 3] Extracting.
18.686 * * [regime]: Finding splitpoints for: (#<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))))))> #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)))))> #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))> #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))> #<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))))>)
18.690 * * * [regime-changes]: Trying 3 branch expressions: (c b a)
18.690 * * * * [regimes]: Trying to branch on c from (#<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))))))> #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)))))> #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))> #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))> #<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))))>)
18.804 * * * * [regimes]: Trying to branch on b from (#<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))))))> #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)))))> #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))> #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))> #<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))))>)
18.917 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))))))> #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)))))> #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))> #<alt (λ (a b c) (sqrt.p16 (/.p16 (*.p16 (*.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)))))> #<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))))>)
19.034 * * * [regime]: Found split indices: #<option (#s(si 4 256))>
19.034 * [simplify]: Simplifying (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))
19.035 * * [simplify]: iters left: 6 (15 enodes)
19.036 * * [simplify]: Extracting #0: cost 1 inf + 0
19.036 * * [simplify]: Extracting #1: cost 2 inf + 0
19.036 * * [simplify]: Extracting #2: cost 4 inf + 0
19.036 * * [simplify]: Extracting #3: cost 8 inf + 0
19.036 * * [simplify]: Extracting #4: cost 11 inf + 1
19.036 * * [simplify]: Extracting #5: cost 13 inf + 2
19.036 * * [simplify]: Extracting #6: cost 11 inf + 4
19.036 * * [simplify]: Extracting #7: cost 7 inf + 654
19.036 * * [simplify]: Extracting #8: cost 1 inf + 6438
19.036 * * [simplify]: Extracting #9: cost 0 inf + 8202
19.037 * [simplify]: Simplified to (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))
19.037 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
19.070 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
19.074 * * * * [points]: Setting MPFR precision to 64
19.075 * * * * [points]: Setting MPFR precision to 320
19.076 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
19.080 * * * * [points]: Setting MPFR precision to 64
19.082 * * * * [points]: Setting MPFR precision to 320
19.084 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
19.088 * * * * [points]: Setting MPFR precision to 64
19.092 * * * * [points]: Setting MPFR precision to 320
19.097 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
19.101 * * * * [points]: Setting MPFR precision to 64
19.110 * * * * [points]: Setting MPFR precision to 320
19.119 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
19.123 * * * * [points]: Setting MPFR precision to 64
19.159 * * * * [points]: Setting MPFR precision to 320
19.178 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
19.182 * * * * [points]: Setting MPFR precision to 64
19.217 * * * * [points]: Setting MPFR precision to 320
19.254 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
19.258 * * * * [points]: Setting MPFR precision to 64
19.358 * * * * [points]: Setting MPFR precision to 320
19.725 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
19.728 * * * * [points]: Setting MPFR precision to 64
19.971 * * * * [points]: Setting MPFR precision to 320
20.150 * * * * [points]: Computing exacts for 8000 points
20.153 * * * * [points]: Setting MPFR precision to 64
20.895 * * * * [points]: Setting MPFR precision to 320
21.773 * * * * [points]: Filtering points with unrepresentable outputs
21.777 * * * * [points]: Sampling 6993 additional inputs, on iter 1 have 1007 / 8000
21.805 * * * * [points]: Computing exacts on every 437 of 6993 points to ramp up precision
21.809 * * * * [points]: Setting MPFR precision to 64
21.810 * * * * [points]: Setting MPFR precision to 320
21.812 * * * * [points]: Computing exacts on every 218 of 6993 points to ramp up precision
21.815 * * * * [points]: Setting MPFR precision to 64
21.817 * * * * [points]: Setting MPFR precision to 320
21.820 * * * * [points]: Computing exacts on every 109 of 6993 points to ramp up precision
21.823 * * * * [points]: Setting MPFR precision to 64
21.828 * * * * [points]: Setting MPFR precision to 320
21.832 * * * * [points]: Computing exacts on every 54 of 6993 points to ramp up precision
21.836 * * * * [points]: Setting MPFR precision to 64
21.845 * * * * [points]: Setting MPFR precision to 320
21.854 * * * * [points]: Computing exacts on every 27 of 6993 points to ramp up precision
21.858 * * * * [points]: Setting MPFR precision to 64
21.898 * * * * [points]: Setting MPFR precision to 320
21.923 * * * * [points]: Computing exacts on every 13 of 6993 points to ramp up precision
21.931 * * * * [points]: Setting MPFR precision to 64
21.996 * * * * [points]: Setting MPFR precision to 320
22.049 * * * * [points]: Computing exacts on every 6 of 6993 points to ramp up precision
22.469 * * * * [points]: Setting MPFR precision to 64
22.595 * * * * [points]: Setting MPFR precision to 320
22.772 * * * * [points]: Computing exacts on every 3 of 6993 points to ramp up precision
22.779 * * * * [points]: Setting MPFR precision to 64
22.961 * * * * [points]: Setting MPFR precision to 320
23.139 * * * * [points]: Computing exacts for 6993 points
23.142 * * * * [points]: Setting MPFR precision to 64
24.283 * * * * [points]: Setting MPFR precision to 320
25.373 * * * * [points]: Filtering points with unrepresentable outputs
25.380 * * * * [points]: Sampling 6110 additional inputs, on iter 2 have 1890 / 8000
25.426 * * * * [points]: Computing exacts on every 381 of 6110 points to ramp up precision
25.433 * * * * [points]: Setting MPFR precision to 64
25.436 * * * * [points]: Setting MPFR precision to 320
25.438 * * * * [points]: Computing exacts on every 190 of 6110 points to ramp up precision
25.482 * * * * [points]: Setting MPFR precision to 64
25.487 * * * * [points]: Setting MPFR precision to 320
25.493 * * * * [points]: Computing exacts on every 95 of 6110 points to ramp up precision
25.500 * * * * [points]: Setting MPFR precision to 64
25.508 * * * * [points]: Setting MPFR precision to 320
25.516 * * * * [points]: Computing exacts on every 47 of 6110 points to ramp up precision
25.523 * * * * [points]: Setting MPFR precision to 64
25.539 * * * * [points]: Setting MPFR precision to 320
25.557 * * * * [points]: Computing exacts on every 23 of 6110 points to ramp up precision
25.564 * * * * [points]: Setting MPFR precision to 64
25.597 * * * * [points]: Setting MPFR precision to 320
25.629 * * * * [points]: Computing exacts on every 11 of 6110 points to ramp up precision
25.636 * * * * [points]: Setting MPFR precision to 64
25.750 * * * * [points]: Setting MPFR precision to 320
25.814 * * * * [points]: Computing exacts on every 5 of 6110 points to ramp up precision
25.821 * * * * [points]: Setting MPFR precision to 64
26.446 * * * * [points]: Setting MPFR precision to 320
26.554 * * * * [points]: Computing exacts on every 2 of 6110 points to ramp up precision
26.558 * * * * [points]: Setting MPFR precision to 64
26.913 * * * * [points]: Setting MPFR precision to 320
27.138 * * * * [points]: Computing exacts for 6110 points
27.142 * * * * [points]: Setting MPFR precision to 64
27.946 * * * * [points]: Setting MPFR precision to 320
28.845 * * * * [points]: Filtering points with unrepresentable outputs
28.850 * * * * [points]: Sampling 5337 additional inputs, on iter 3 have 2663 / 8000
28.892 * * * * [points]: Computing exacts on every 333 of 5337 points to ramp up precision
28.899 * * * * [points]: Setting MPFR precision to 64
28.901 * * * * [points]: Setting MPFR precision to 320
28.903 * * * * [points]: Computing exacts on every 166 of 5337 points to ramp up precision
28.910 * * * * [points]: Setting MPFR precision to 64
28.914 * * * * [points]: Setting MPFR precision to 320
28.918 * * * * [points]: Computing exacts on every 83 of 5337 points to ramp up precision
28.925 * * * * [points]: Setting MPFR precision to 64
28.934 * * * * [points]: Setting MPFR precision to 320
28.942 * * * * [points]: Computing exacts on every 41 of 5337 points to ramp up precision
28.949 * * * * [points]: Setting MPFR precision to 64
28.965 * * * * [points]: Setting MPFR precision to 320
28.982 * * * * [points]: Computing exacts on every 20 of 5337 points to ramp up precision
29.017 * * * * [points]: Setting MPFR precision to 64
29.045 * * * * [points]: Setting MPFR precision to 320
29.077 * * * * [points]: Computing exacts on every 10 of 5337 points to ramp up precision
29.081 * * * * [points]: Setting MPFR precision to 64
29.115 * * * * [points]: Setting MPFR precision to 320
29.208 * * * * [points]: Computing exacts on every 5 of 5337 points to ramp up precision
29.215 * * * * [points]: Setting MPFR precision to 64
29.311 * * * * [points]: Setting MPFR precision to 320
29.457 * * * * [points]: Computing exacts on every 2 of 5337 points to ramp up precision
29.465 * * * * [points]: Setting MPFR precision to 64
30.168 * * * * [points]: Setting MPFR precision to 320
30.447 * * * * [points]: Computing exacts for 5337 points
30.451 * * * * [points]: Setting MPFR precision to 64
31.135 * * * * [points]: Setting MPFR precision to 320
31.668 * * * * [points]: Filtering points with unrepresentable outputs
31.671 * * * * [points]: Sampling 4655 additional inputs, on iter 4 have 3345 / 8000
31.690 * * * * [points]: Computing exacts on every 290 of 4655 points to ramp up precision
31.694 * * * * [points]: Setting MPFR precision to 64
31.696 * * * * [points]: Setting MPFR precision to 320
31.697 * * * * [points]: Computing exacts on every 145 of 4655 points to ramp up precision
31.703 * * * * [points]: Setting MPFR precision to 64
31.707 * * * * [points]: Setting MPFR precision to 320
31.710 * * * * [points]: Computing exacts on every 72 of 4655 points to ramp up precision
31.717 * * * * [points]: Setting MPFR precision to 64
31.725 * * * * [points]: Setting MPFR precision to 320
31.732 * * * * [points]: Computing exacts on every 36 of 4655 points to ramp up precision
31.735 * * * * [points]: Setting MPFR precision to 64
31.744 * * * * [points]: Setting MPFR precision to 320
31.754 * * * * [points]: Computing exacts on every 18 of 4655 points to ramp up precision
31.758 * * * * [points]: Setting MPFR precision to 64
31.823 * * * * [points]: Setting MPFR precision to 320
31.841 * * * * [points]: Computing exacts on every 9 of 4655 points to ramp up precision
31.845 * * * * [points]: Setting MPFR precision to 64
31.905 * * * * [points]: Setting MPFR precision to 320
31.967 * * * * [points]: Computing exacts on every 4 of 4655 points to ramp up precision
31.974 * * * * [points]: Setting MPFR precision to 64
32.147 * * * * [points]: Setting MPFR precision to 320
32.325 * * * * [points]: Computing exacts on every 2 of 4655 points to ramp up precision
32.333 * * * * [points]: Setting MPFR precision to 64
32.589 * * * * [points]: Setting MPFR precision to 320
32.780 * * * * [points]: Computing exacts for 4655 points
32.783 * * * * [points]: Setting MPFR precision to 64
33.796 * * * * [points]: Setting MPFR precision to 320
34.235 * * * * [points]: Filtering points with unrepresentable outputs
34.237 * * * * [points]: Sampling 4047 additional inputs, on iter 5 have 3953 / 8000
34.256 * * * * [points]: Computing exacts on every 252 of 4047 points to ramp up precision
34.259 * * * * [points]: Setting MPFR precision to 64
34.261 * * * * [points]: Setting MPFR precision to 320
34.262 * * * * [points]: Computing exacts on every 126 of 4047 points to ramp up precision
34.265 * * * * [points]: Setting MPFR precision to 64
34.268 * * * * [points]: Setting MPFR precision to 320
34.270 * * * * [points]: Computing exacts on every 63 of 4047 points to ramp up precision
34.274 * * * * [points]: Setting MPFR precision to 64
34.278 * * * * [points]: Setting MPFR precision to 320
34.283 * * * * [points]: Computing exacts on every 31 of 4047 points to ramp up precision
34.286 * * * * [points]: Setting MPFR precision to 64
34.295 * * * * [points]: Setting MPFR precision to 320
34.304 * * * * [points]: Computing exacts on every 15 of 4047 points to ramp up precision
34.307 * * * * [points]: Setting MPFR precision to 64
34.325 * * * * [points]: Setting MPFR precision to 320
34.366 * * * * [points]: Computing exacts on every 7 of 4047 points to ramp up precision
34.371 * * * * [points]: Setting MPFR precision to 64
34.406 * * * * [points]: Setting MPFR precision to 320
34.441 * * * * [points]: Computing exacts on every 3 of 4047 points to ramp up precision
34.444 * * * * [points]: Setting MPFR precision to 64
34.544 * * * * [points]: Setting MPFR precision to 320
34.649 * * * * [points]: Computing exacts for 4047 points
34.653 * * * * [points]: Setting MPFR precision to 64
35.007 * * * * [points]: Setting MPFR precision to 320
35.383 * * * * [points]: Filtering points with unrepresentable outputs
35.388 * * * * [points]: Sampling 3546 additional inputs, on iter 6 have 4454 / 8000
35.402 * * * * [points]: Computing exacts on every 221 of 3546 points to ramp up precision
35.406 * * * * [points]: Setting MPFR precision to 64
35.407 * * * * [points]: Setting MPFR precision to 320
35.408 * * * * [points]: Computing exacts on every 110 of 3546 points to ramp up precision
35.412 * * * * [points]: Setting MPFR precision to 64
35.414 * * * * [points]: Setting MPFR precision to 320
35.416 * * * * [points]: Computing exacts on every 55 of 3546 points to ramp up precision
35.419 * * * * [points]: Setting MPFR precision to 64
35.424 * * * * [points]: Setting MPFR precision to 320
35.428 * * * * [points]: Computing exacts on every 27 of 3546 points to ramp up precision
35.432 * * * * [points]: Setting MPFR precision to 64
35.441 * * * * [points]: Setting MPFR precision to 320
35.449 * * * * [points]: Computing exacts on every 13 of 3546 points to ramp up precision
35.453 * * * * [points]: Setting MPFR precision to 64
35.470 * * * * [points]: Setting MPFR precision to 320
35.512 * * * * [points]: Computing exacts on every 6 of 3546 points to ramp up precision
35.516 * * * * [points]: Setting MPFR precision to 64
35.551 * * * * [points]: Setting MPFR precision to 320
35.586 * * * * [points]: Computing exacts on every 3 of 3546 points to ramp up precision
35.589 * * * * [points]: Setting MPFR precision to 64
35.681 * * * * [points]: Setting MPFR precision to 320
35.741 * * * * [points]: Computing exacts for 3546 points
35.745 * * * * [points]: Setting MPFR precision to 64
36.352 * * * * [points]: Setting MPFR precision to 320
36.658 * * * * [points]: Filtering points with unrepresentable outputs
36.659 * * * * [points]: Sampling 3107 additional inputs, on iter 7 have 4893 / 8000
36.672 * * * * [points]: Computing exacts on every 194 of 3107 points to ramp up precision
36.676 * * * * [points]: Setting MPFR precision to 64
36.677 * * * * [points]: Setting MPFR precision to 320
36.678 * * * * [points]: Computing exacts on every 97 of 3107 points to ramp up precision
36.681 * * * * [points]: Setting MPFR precision to 64
36.684 * * * * [points]: Setting MPFR precision to 320
36.686 * * * * [points]: Computing exacts on every 48 of 3107 points to ramp up precision
36.690 * * * * [points]: Setting MPFR precision to 64
36.694 * * * * [points]: Setting MPFR precision to 320
36.698 * * * * [points]: Computing exacts on every 24 of 3107 points to ramp up precision
36.702 * * * * [points]: Setting MPFR precision to 64
36.710 * * * * [points]: Setting MPFR precision to 320
36.740 * * * * [points]: Computing exacts on every 12 of 3107 points to ramp up precision
36.744 * * * * [points]: Setting MPFR precision to 64
36.762 * * * * [points]: Setting MPFR precision to 320
36.778 * * * * [points]: Computing exacts on every 6 of 3107 points to ramp up precision
36.783 * * * * [points]: Setting MPFR precision to 64
36.813 * * * * [points]: Setting MPFR precision to 320
36.843 * * * * [points]: Computing exacts on every 3 of 3107 points to ramp up precision
36.873 * * * * [points]: Setting MPFR precision to 64
36.929 * * * * [points]: Setting MPFR precision to 320
36.982 * * * * [points]: Computing exacts for 3107 points
37.014 * * * * [points]: Setting MPFR precision to 64
37.262 * * * * [points]: Setting MPFR precision to 320
37.538 * * * * [points]: Filtering points with unrepresentable outputs
37.540 * * * * [points]: Sampling 2704 additional inputs, on iter 8 have 5296 / 8000
37.551 * * * * [points]: Computing exacts on every 169 of 2704 points to ramp up precision
37.580 * * * * [points]: Setting MPFR precision to 64
37.582 * * * * [points]: Setting MPFR precision to 320
37.583 * * * * [points]: Computing exacts on every 84 of 2704 points to ramp up precision
37.586 * * * * [points]: Setting MPFR precision to 64
37.588 * * * * [points]: Setting MPFR precision to 320
37.592 * * * * [points]: Computing exacts on every 42 of 2704 points to ramp up precision
37.595 * * * * [points]: Setting MPFR precision to 64
37.600 * * * * [points]: Setting MPFR precision to 320
37.604 * * * * [points]: Computing exacts on every 21 of 2704 points to ramp up precision
37.607 * * * * [points]: Setting MPFR precision to 64
37.616 * * * * [points]: Setting MPFR precision to 320
37.624 * * * * [points]: Computing exacts on every 10 of 2704 points to ramp up precision
37.628 * * * * [points]: Setting MPFR precision to 64
37.644 * * * * [points]: Setting MPFR precision to 320
37.662 * * * * [points]: Computing exacts on every 5 of 2704 points to ramp up precision
37.666 * * * * [points]: Setting MPFR precision to 64
37.722 * * * * [points]: Setting MPFR precision to 320
37.752 * * * * [points]: Computing exacts on every 2 of 2704 points to ramp up precision
37.756 * * * * [points]: Setting MPFR precision to 64
37.847 * * * * [points]: Setting MPFR precision to 320
37.910 * * * * [points]: Computing exacts for 2704 points
37.914 * * * * [points]: Setting MPFR precision to 64
38.155 * * * * [points]: Setting MPFR precision to 320
38.644 * * * * [points]: Filtering points with unrepresentable outputs
38.645 * * * * [points]: Sampling 2367 additional inputs, on iter 9 have 5633 / 8000
38.681 * * * * [points]: Computing exacts on every 147 of 2367 points to ramp up precision
38.685 * * * * [points]: Setting MPFR precision to 64
38.687 * * * * [points]: Setting MPFR precision to 320
38.688 * * * * [points]: Computing exacts on every 73 of 2367 points to ramp up precision
38.691 * * * * [points]: Setting MPFR precision to 64
38.694 * * * * [points]: Setting MPFR precision to 320
38.696 * * * * [points]: Computing exacts on every 36 of 2367 points to ramp up precision
38.699 * * * * [points]: Setting MPFR precision to 64
38.703 * * * * [points]: Setting MPFR precision to 320
38.708 * * * * [points]: Computing exacts on every 18 of 2367 points to ramp up precision
38.711 * * * * [points]: Setting MPFR precision to 64
38.719 * * * * [points]: Setting MPFR precision to 320
38.728 * * * * [points]: Computing exacts on every 9 of 2367 points to ramp up precision
38.731 * * * * [points]: Setting MPFR precision to 64
38.747 * * * * [points]: Setting MPFR precision to 320
38.764 * * * * [points]: Computing exacts on every 4 of 2367 points to ramp up precision
38.767 * * * * [points]: Setting MPFR precision to 64
38.822 * * * * [points]: Setting MPFR precision to 320
38.854 * * * * [points]: Computing exacts on every 2 of 2367 points to ramp up precision
38.858 * * * * [points]: Setting MPFR precision to 64
38.940 * * * * [points]: Setting MPFR precision to 320
38.995 * * * * [points]: Computing exacts for 2367 points
38.999 * * * * [points]: Setting MPFR precision to 64
39.223 * * * * [points]: Setting MPFR precision to 320
39.417 * * * * [points]: Filtering points with unrepresentable outputs
39.418 * * * * [points]: Sampling 2078 additional inputs, on iter 10 have 5922 / 8000
39.426 * * * * [points]: Computing exacts on every 129 of 2078 points to ramp up precision
39.430 * * * * [points]: Setting MPFR precision to 64
39.431 * * * * [points]: Setting MPFR precision to 320
39.432 * * * * [points]: Computing exacts on every 64 of 2078 points to ramp up precision
39.435 * * * * [points]: Setting MPFR precision to 64
39.438 * * * * [points]: Setting MPFR precision to 320
39.440 * * * * [points]: Computing exacts on every 32 of 2078 points to ramp up precision
39.444 * * * * [points]: Setting MPFR precision to 64
39.448 * * * * [points]: Setting MPFR precision to 320
39.453 * * * * [points]: Computing exacts on every 16 of 2078 points to ramp up precision
39.481 * * * * [points]: Setting MPFR precision to 64
39.489 * * * * [points]: Setting MPFR precision to 320
39.499 * * * * [points]: Computing exacts on every 8 of 2078 points to ramp up precision
39.504 * * * * [points]: Setting MPFR precision to 64
39.519 * * * * [points]: Setting MPFR precision to 320
39.534 * * * * [points]: Computing exacts on every 4 of 2078 points to ramp up precision
39.538 * * * * [points]: Setting MPFR precision to 64
39.566 * * * * [points]: Setting MPFR precision to 320
39.624 * * * * [points]: Computing exacts on every 2 of 2078 points to ramp up precision
39.628 * * * * [points]: Setting MPFR precision to 64
39.676 * * * * [points]: Setting MPFR precision to 320
39.724 * * * * [points]: Computing exacts for 2078 points
39.764 * * * * [points]: Setting MPFR precision to 64
39.950 * * * * [points]: Setting MPFR precision to 320
40.126 * * * * [points]: Filtering points with unrepresentable outputs
40.127 * * * * [points]: Sampling 1830 additional inputs, on iter 11 have 6170 / 8000
40.135 * * * * [points]: Computing exacts on every 114 of 1830 points to ramp up precision
40.138 * * * * [points]: Setting MPFR precision to 64
40.140 * * * * [points]: Setting MPFR precision to 320
40.141 * * * * [points]: Computing exacts on every 57 of 1830 points to ramp up precision
40.144 * * * * [points]: Setting MPFR precision to 64
40.146 * * * * [points]: Setting MPFR precision to 320
40.148 * * * * [points]: Computing exacts on every 28 of 1830 points to ramp up precision
40.152 * * * * [points]: Setting MPFR precision to 64
40.156 * * * * [points]: Setting MPFR precision to 320
40.160 * * * * [points]: Computing exacts on every 14 of 1830 points to ramp up precision
40.164 * * * * [points]: Setting MPFR precision to 64
40.196 * * * * [points]: Setting MPFR precision to 320
40.206 * * * * [points]: Computing exacts on every 7 of 1830 points to ramp up precision
40.210 * * * * [points]: Setting MPFR precision to 64
40.226 * * * * [points]: Setting MPFR precision to 320
40.242 * * * * [points]: Computing exacts on every 3 of 1830 points to ramp up precision
40.246 * * * * [points]: Setting MPFR precision to 64
40.277 * * * * [points]: Setting MPFR precision to 320
40.338 * * * * [points]: Computing exacts for 1830 points
40.342 * * * * [points]: Setting MPFR precision to 64
40.501 * * * * [points]: Setting MPFR precision to 320
40.662 * * * * [points]: Filtering points with unrepresentable outputs
40.663 * * * * [points]: Sampling 1602 additional inputs, on iter 12 have 6398 / 8000
40.669 * * * * [points]: Computing exacts on every 100 of 1602 points to ramp up precision
40.673 * * * * [points]: Setting MPFR precision to 64
40.674 * * * * [points]: Setting MPFR precision to 320
40.676 * * * * [points]: Computing exacts on every 50 of 1602 points to ramp up precision
40.679 * * * * [points]: Setting MPFR precision to 64
40.682 * * * * [points]: Setting MPFR precision to 320
40.684 * * * * [points]: Computing exacts on every 25 of 1602 points to ramp up precision
40.687 * * * * [points]: Setting MPFR precision to 64
40.691 * * * * [points]: Setting MPFR precision to 320
40.695 * * * * [points]: Computing exacts on every 12 of 1602 points to ramp up precision
40.699 * * * * [points]: Setting MPFR precision to 64
40.707 * * * * [points]: Setting MPFR precision to 320
40.716 * * * * [points]: Computing exacts on every 6 of 1602 points to ramp up precision
41.011 * * * * [points]: Setting MPFR precision to 64
41.028 * * * * [points]: Setting MPFR precision to 320
41.044 * * * * [points]: Computing exacts on every 3 of 1602 points to ramp up precision
41.048 * * * * [points]: Setting MPFR precision to 64
41.075 * * * * [points]: Setting MPFR precision to 320
41.103 * * * * [points]: Computing exacts for 1602 points
41.106 * * * * [points]: Setting MPFR precision to 64
41.234 * * * * [points]: Setting MPFR precision to 320
41.369 * * * * [points]: Filtering points with unrepresentable outputs
41.370 * * * * [points]: Sampling 1414 additional inputs, on iter 13 have 6586 / 8000
41.375 * * * * [points]: Computing exacts on every 88 of 1414 points to ramp up precision
41.379 * * * * [points]: Setting MPFR precision to 64
41.406 * * * * [points]: Setting MPFR precision to 320
41.407 * * * * [points]: Computing exacts on every 44 of 1414 points to ramp up precision
41.411 * * * * [points]: Setting MPFR precision to 64
41.413 * * * * [points]: Setting MPFR precision to 320
41.417 * * * * [points]: Computing exacts on every 22 of 1414 points to ramp up precision
41.420 * * * * [points]: Setting MPFR precision to 64
41.424 * * * * [points]: Setting MPFR precision to 320
41.428 * * * * [points]: Computing exacts on every 11 of 1414 points to ramp up precision
41.431 * * * * [points]: Setting MPFR precision to 64
41.439 * * * * [points]: Setting MPFR precision to 320
41.447 * * * * [points]: Computing exacts on every 5 of 1414 points to ramp up precision
41.450 * * * * [points]: Setting MPFR precision to 64
41.465 * * * * [points]: Setting MPFR precision to 320
41.481 * * * * [points]: Computing exacts on every 2 of 1414 points to ramp up precision
41.484 * * * * [points]: Setting MPFR precision to 64
41.538 * * * * [points]: Setting MPFR precision to 320
41.569 * * * * [points]: Computing exacts for 1414 points
41.572 * * * * [points]: Setting MPFR precision to 64
41.691 * * * * [points]: Setting MPFR precision to 320
41.814 * * * * [points]: Filtering points with unrepresentable outputs
41.815 * * * * [points]: Sampling 1224 additional inputs, on iter 14 have 6776 / 8000
41.820 * * * * [points]: Computing exacts on every 76 of 1224 points to ramp up precision
41.823 * * * * [points]: Setting MPFR precision to 64
41.825 * * * * [points]: Setting MPFR precision to 320
41.826 * * * * [points]: Computing exacts on every 38 of 1224 points to ramp up precision
41.829 * * * * [points]: Setting MPFR precision to 64
41.831 * * * * [points]: Setting MPFR precision to 320
41.833 * * * * [points]: Computing exacts on every 19 of 1224 points to ramp up precision
41.836 * * * * [points]: Setting MPFR precision to 64
41.840 * * * * [points]: Setting MPFR precision to 320
41.844 * * * * [points]: Computing exacts on every 9 of 1224 points to ramp up precision
41.847 * * * * [points]: Setting MPFR precision to 64
41.855 * * * * [points]: Setting MPFR precision to 320
41.863 * * * * [points]: Computing exacts on every 4 of 1224 points to ramp up precision
41.867 * * * * [points]: Setting MPFR precision to 64
41.904 * * * * [points]: Setting MPFR precision to 320
41.922 * * * * [points]: Computing exacts on every 2 of 1224 points to ramp up precision
41.926 * * * * [points]: Setting MPFR precision to 64
41.952 * * * * [points]: Setting MPFR precision to 320
41.979 * * * * [points]: Computing exacts for 1224 points
41.982 * * * * [points]: Setting MPFR precision to 64
42.088 * * * * [points]: Setting MPFR precision to 320
42.199 * * * * [points]: Filtering points with unrepresentable outputs
42.200 * * * * [points]: Sampling 1079 additional inputs, on iter 15 have 6921 / 8000
42.204 * * * * [points]: Computing exacts on every 67 of 1079 points to ramp up precision
42.208 * * * * [points]: Setting MPFR precision to 64
42.209 * * * * [points]: Setting MPFR precision to 320
42.210 * * * * [points]: Computing exacts on every 33 of 1079 points to ramp up precision
42.213 * * * * [points]: Setting MPFR precision to 64
42.215 * * * * [points]: Setting MPFR precision to 320
42.218 * * * * [points]: Computing exacts on every 16 of 1079 points to ramp up precision
42.221 * * * * [points]: Setting MPFR precision to 64
42.225 * * * * [points]: Setting MPFR precision to 320
42.229 * * * * [points]: Computing exacts on every 8 of 1079 points to ramp up precision
42.232 * * * * [points]: Setting MPFR precision to 64
42.240 * * * * [points]: Setting MPFR precision to 320
42.248 * * * * [points]: Computing exacts on every 4 of 1079 points to ramp up precision
42.252 * * * * [points]: Setting MPFR precision to 64
42.288 * * * * [points]: Setting MPFR precision to 320
42.303 * * * * [points]: Computing exacts on every 2 of 1079 points to ramp up precision
42.307 * * * * [points]: Setting MPFR precision to 64
42.330 * * * * [points]: Setting MPFR precision to 320
42.354 * * * * [points]: Computing exacts for 1079 points
42.358 * * * * [points]: Setting MPFR precision to 64
42.456 * * * * [points]: Setting MPFR precision to 320
42.557 * * * * [points]: Filtering points with unrepresentable outputs
42.557 * * * * [points]: Sampling 941 additional inputs, on iter 16 have 7059 / 8000
42.561 * * * * [points]: Computing exacts on every 58 of 941 points to ramp up precision
42.565 * * * * [points]: Setting MPFR precision to 64
42.568 * * * * [points]: Setting MPFR precision to 320
42.569 * * * * [points]: Computing exacts on every 29 of 941 points to ramp up precision
42.572 * * * * [points]: Setting MPFR precision to 64
42.574 * * * * [points]: Setting MPFR precision to 320
42.576 * * * * [points]: Computing exacts on every 14 of 941 points to ramp up precision
42.580 * * * * [points]: Setting MPFR precision to 64
42.584 * * * * [points]: Setting MPFR precision to 320
42.588 * * * * [points]: Computing exacts on every 7 of 941 points to ramp up precision
42.591 * * * * [points]: Setting MPFR precision to 64
42.599 * * * * [points]: Setting MPFR precision to 320
42.607 * * * * [points]: Computing exacts on every 3 of 941 points to ramp up precision
42.610 * * * * [points]: Setting MPFR precision to 64
42.625 * * * * [points]: Setting MPFR precision to 320
42.641 * * * * [points]: Computing exacts for 941 points
42.644 * * * * [points]: Setting MPFR precision to 64
42.726 * * * * [points]: Setting MPFR precision to 320
42.816 * * * * [points]: Filtering points with unrepresentable outputs
42.818 * * * * [points]: Sampling 814 additional inputs, on iter 17 have 7186 / 8000
42.822 * * * * [points]: Computing exacts on every 50 of 814 points to ramp up precision
42.825 * * * * [points]: Setting MPFR precision to 64
42.826 * * * * [points]: Setting MPFR precision to 320
42.827 * * * * [points]: Computing exacts on every 25 of 814 points to ramp up precision
42.831 * * * * [points]: Setting MPFR precision to 64
42.833 * * * * [points]: Setting MPFR precision to 320
42.835 * * * * [points]: Computing exacts on every 12 of 814 points to ramp up precision
42.838 * * * * [points]: Setting MPFR precision to 64
42.842 * * * * [points]: Setting MPFR precision to 320
42.846 * * * * [points]: Computing exacts on every 6 of 814 points to ramp up precision
42.849 * * * * [points]: Setting MPFR precision to 64
42.857 * * * * [points]: Setting MPFR precision to 320
42.864 * * * * [points]: Computing exacts on every 3 of 814 points to ramp up precision
42.868 * * * * [points]: Setting MPFR precision to 64
42.881 * * * * [points]: Setting MPFR precision to 320
42.894 * * * * [points]: Computing exacts for 814 points
42.919 * * * * [points]: Setting MPFR precision to 64
42.973 * * * * [points]: Setting MPFR precision to 320
43.301 * * * * [points]: Filtering points with unrepresentable outputs
43.301 * * * * [points]: Sampling 723 additional inputs, on iter 18 have 7277 / 8000
43.304 * * * * [points]: Computing exacts on every 45 of 723 points to ramp up precision
43.308 * * * * [points]: Setting MPFR precision to 64
43.310 * * * * [points]: Setting MPFR precision to 320
43.311 * * * * [points]: Computing exacts on every 22 of 723 points to ramp up precision
43.315 * * * * [points]: Setting MPFR precision to 64
43.317 * * * * [points]: Setting MPFR precision to 320
43.319 * * * * [points]: Computing exacts on every 11 of 723 points to ramp up precision
43.322 * * * * [points]: Setting MPFR precision to 64
43.326 * * * * [points]: Setting MPFR precision to 320
43.330 * * * * [points]: Computing exacts on every 5 of 723 points to ramp up precision
43.333 * * * * [points]: Setting MPFR precision to 64
43.341 * * * * [points]: Setting MPFR precision to 320
43.348 * * * * [points]: Computing exacts on every 2 of 723 points to ramp up precision
43.352 * * * * [points]: Setting MPFR precision to 64
43.368 * * * * [points]: Setting MPFR precision to 320
43.383 * * * * [points]: Computing exacts for 723 points
43.386 * * * * [points]: Setting MPFR precision to 64
43.450 * * * * [points]: Setting MPFR precision to 320
43.496 * * * * [points]: Filtering points with unrepresentable outputs
43.497 * * * * [points]: Sampling 611 additional inputs, on iter 19 have 7389 / 8000
43.499 * * * * [points]: Computing exacts on every 38 of 611 points to ramp up precision
43.502 * * * * [points]: Setting MPFR precision to 64
43.503 * * * * [points]: Setting MPFR precision to 320
43.504 * * * * [points]: Computing exacts on every 19 of 611 points to ramp up precision
43.533 * * * * [points]: Setting MPFR precision to 64
43.535 * * * * [points]: Setting MPFR precision to 320
43.537 * * * * [points]: Computing exacts on every 9 of 611 points to ramp up precision
43.540 * * * * [points]: Setting MPFR precision to 64
43.546 * * * * [points]: Setting MPFR precision to 320
43.550 * * * * [points]: Computing exacts on every 4 of 611 points to ramp up precision
43.553 * * * * [points]: Setting MPFR precision to 64
43.561 * * * * [points]: Setting MPFR precision to 320
43.569 * * * * [points]: Computing exacts on every 2 of 611 points to ramp up precision
43.572 * * * * [points]: Setting MPFR precision to 64
43.585 * * * * [points]: Setting MPFR precision to 320
43.598 * * * * [points]: Computing exacts for 611 points
43.601 * * * * [points]: Setting MPFR precision to 64
43.664 * * * * [points]: Setting MPFR precision to 320
43.704 * * * * [points]: Filtering points with unrepresentable outputs
43.704 * * * * [points]: Sampling 546 additional inputs, on iter 20 have 7454 / 8000
43.706 * * * * [points]: Computing exacts on every 34 of 546 points to ramp up precision
43.710 * * * * [points]: Setting MPFR precision to 64
43.711 * * * * [points]: Setting MPFR precision to 320
43.712 * * * * [points]: Computing exacts on every 17 of 546 points to ramp up precision
43.715 * * * * [points]: Setting MPFR precision to 64
43.717 * * * * [points]: Setting MPFR precision to 320
43.719 * * * * [points]: Computing exacts on every 8 of 546 points to ramp up precision
43.723 * * * * [points]: Setting MPFR precision to 64
43.727 * * * * [points]: Setting MPFR precision to 320
43.731 * * * * [points]: Computing exacts on every 4 of 546 points to ramp up precision
43.734 * * * * [points]: Setting MPFR precision to 64
43.741 * * * * [points]: Setting MPFR precision to 320
43.770 * * * * [points]: Computing exacts on every 2 of 546 points to ramp up precision
43.775 * * * * [points]: Setting MPFR precision to 64
43.788 * * * * [points]: Setting MPFR precision to 320
43.800 * * * * [points]: Computing exacts for 546 points
43.803 * * * * [points]: Setting MPFR precision to 64
43.839 * * * * [points]: Setting MPFR precision to 320
43.900 * * * * [points]: Filtering points with unrepresentable outputs
43.901 * * * * [points]: Sampling 477 additional inputs, on iter 21 have 7523 / 8000
43.903 * * * * [points]: Computing exacts on every 29 of 477 points to ramp up precision
43.908 * * * * [points]: Setting MPFR precision to 64
43.909 * * * * [points]: Setting MPFR precision to 320
43.910 * * * * [points]: Computing exacts on every 14 of 477 points to ramp up precision
43.914 * * * * [points]: Setting MPFR precision to 64
43.916 * * * * [points]: Setting MPFR precision to 320
43.918 * * * * [points]: Computing exacts on every 7 of 477 points to ramp up precision
43.921 * * * * [points]: Setting MPFR precision to 64
43.925 * * * * [points]: Setting MPFR precision to 320
43.929 * * * * [points]: Computing exacts on every 3 of 477 points to ramp up precision
43.932 * * * * [points]: Setting MPFR precision to 64
43.940 * * * * [points]: Setting MPFR precision to 320
43.948 * * * * [points]: Computing exacts for 477 points
43.951 * * * * [points]: Setting MPFR precision to 64
43.981 * * * * [points]: Setting MPFR precision to 320
44.034 * * * * [points]: Filtering points with unrepresentable outputs
44.035 * * * * [points]: Sampling 404 additional inputs, on iter 22 have 7596 / 8000
44.036 * * * * [points]: Computing exacts on every 25 of 404 points to ramp up precision
44.040 * * * * [points]: Setting MPFR precision to 64
44.041 * * * * [points]: Setting MPFR precision to 320
44.042 * * * * [points]: Computing exacts on every 12 of 404 points to ramp up precision
44.045 * * * * [points]: Setting MPFR precision to 64
44.047 * * * * [points]: Setting MPFR precision to 320
44.050 * * * * [points]: Computing exacts on every 6 of 404 points to ramp up precision
44.053 * * * * [points]: Setting MPFR precision to 64
44.056 * * * * [points]: Setting MPFR precision to 320
44.060 * * * * [points]: Computing exacts on every 3 of 404 points to ramp up precision
44.063 * * * * [points]: Setting MPFR precision to 64
44.070 * * * * [points]: Setting MPFR precision to 320
44.077 * * * * [points]: Computing exacts for 404 points
44.080 * * * * [points]: Setting MPFR precision to 64
44.128 * * * * [points]: Setting MPFR precision to 320
44.155 * * * * [points]: Filtering points with unrepresentable outputs
44.155 * * * * [points]: Sampling 361 additional inputs, on iter 23 have 7639 / 8000
44.157 * * * * [points]: Computing exacts on every 22 of 361 points to ramp up precision
44.160 * * * * [points]: Setting MPFR precision to 64
44.161 * * * * [points]: Setting MPFR precision to 320
44.162 * * * * [points]: Computing exacts on every 11 of 361 points to ramp up precision
44.165 * * * * [points]: Setting MPFR precision to 64
44.167 * * * * [points]: Setting MPFR precision to 320
44.169 * * * * [points]: Computing exacts on every 5 of 361 points to ramp up precision
44.173 * * * * [points]: Setting MPFR precision to 64
44.176 * * * * [points]: Setting MPFR precision to 320
44.180 * * * * [points]: Computing exacts on every 2 of 361 points to ramp up precision
44.184 * * * * [points]: Setting MPFR precision to 64
44.191 * * * * [points]: Setting MPFR precision to 320
44.199 * * * * [points]: Computing exacts for 361 points
44.202 * * * * [points]: Setting MPFR precision to 64
44.251 * * * * [points]: Setting MPFR precision to 320
44.275 * * * * [points]: Filtering points with unrepresentable outputs
44.275 * * * * [points]: Sampling 318 additional inputs, on iter 24 have 7682 / 8000
44.276 * * * * [points]: Computing exacts on every 19 of 318 points to ramp up precision
44.280 * * * * [points]: Setting MPFR precision to 64
44.281 * * * * [points]: Setting MPFR precision to 320
44.282 * * * * [points]: Computing exacts on every 9 of 318 points to ramp up precision
44.285 * * * * [points]: Setting MPFR precision to 64
44.287 * * * * [points]: Setting MPFR precision to 320
44.289 * * * * [points]: Computing exacts on every 4 of 318 points to ramp up precision
44.292 * * * * [points]: Setting MPFR precision to 64
44.297 * * * * [points]: Setting MPFR precision to 320
44.301 * * * * [points]: Computing exacts on every 2 of 318 points to ramp up precision
44.304 * * * * [points]: Setting MPFR precision to 64
44.311 * * * * [points]: Setting MPFR precision to 320
44.318 * * * * [points]: Computing exacts for 318 points
44.321 * * * * [points]: Setting MPFR precision to 64
44.366 * * * * [points]: Setting MPFR precision to 320
44.387 * * * * [points]: Filtering points with unrepresentable outputs
44.387 * * * * [points]: Sampling 286 additional inputs, on iter 25 have 7714 / 8000
44.388 * * * * [points]: Computing exacts on every 17 of 286 points to ramp up precision
44.392 * * * * [points]: Setting MPFR precision to 64
44.393 * * * * [points]: Setting MPFR precision to 320
44.394 * * * * [points]: Computing exacts on every 8 of 286 points to ramp up precision
44.397 * * * * [points]: Setting MPFR precision to 64
44.399 * * * * [points]: Setting MPFR precision to 320
44.401 * * * * [points]: Computing exacts on every 4 of 286 points to ramp up precision
44.404 * * * * [points]: Setting MPFR precision to 64
44.408 * * * * [points]: Setting MPFR precision to 320
44.412 * * * * [points]: Computing exacts on every 2 of 286 points to ramp up precision
44.415 * * * * [points]: Setting MPFR precision to 64
44.421 * * * * [points]: Setting MPFR precision to 320
44.428 * * * * [points]: Computing exacts for 286 points
44.431 * * * * [points]: Setting MPFR precision to 64
44.472 * * * * [points]: Setting MPFR precision to 320
44.493 * * * * [points]: Filtering points with unrepresentable outputs
44.493 * * * * [points]: Sampling 251 additional inputs, on iter 26 have 7749 / 8000
44.494 * * * * [points]: Computing exacts on every 15 of 251 points to ramp up precision
44.497 * * * * [points]: Setting MPFR precision to 64
44.498 * * * * [points]: Setting MPFR precision to 320
44.499 * * * * [points]: Computing exacts on every 7 of 251 points to ramp up precision
44.503 * * * * [points]: Setting MPFR precision to 64
44.505 * * * * [points]: Setting MPFR precision to 320
44.507 * * * * [points]: Computing exacts on every 3 of 251 points to ramp up precision
44.510 * * * * [points]: Setting MPFR precision to 64
44.514 * * * * [points]: Setting MPFR precision to 320
44.518 * * * * [points]: Computing exacts for 251 points
44.521 * * * * [points]: Setting MPFR precision to 64
44.538 * * * * [points]: Setting MPFR precision to 320
44.554 * * * * [points]: Filtering points with unrepresentable outputs
44.554 * * * * [points]: Sampling 219 additional inputs, on iter 27 have 7781 / 8000
44.555 * * * * [points]: Computing exacts on every 13 of 219 points to ramp up precision
44.559 * * * * [points]: Setting MPFR precision to 64
44.560 * * * * [points]: Setting MPFR precision to 320
44.561 * * * * [points]: Computing exacts on every 6 of 219 points to ramp up precision
44.587 * * * * [points]: Setting MPFR precision to 64
44.589 * * * * [points]: Setting MPFR precision to 320
44.591 * * * * [points]: Computing exacts on every 3 of 219 points to ramp up precision
44.596 * * * * [points]: Setting MPFR precision to 64
44.600 * * * * [points]: Setting MPFR precision to 320
44.604 * * * * [points]: Computing exacts for 219 points
44.607 * * * * [points]: Setting MPFR precision to 64
44.621 * * * * [points]: Setting MPFR precision to 320
44.635 * * * * [points]: Filtering points with unrepresentable outputs
44.635 * * * * [points]: Sampling 197 additional inputs, on iter 28 have 7803 / 8000
44.636 * * * * [points]: Computing exacts on every 12 of 197 points to ramp up precision
44.639 * * * * [points]: Setting MPFR precision to 64
44.640 * * * * [points]: Setting MPFR precision to 320
44.642 * * * * [points]: Computing exacts on every 6 of 197 points to ramp up precision
44.645 * * * * [points]: Setting MPFR precision to 64
44.647 * * * * [points]: Setting MPFR precision to 320
44.649 * * * * [points]: Computing exacts on every 3 of 197 points to ramp up precision
44.652 * * * * [points]: Setting MPFR precision to 64
44.655 * * * * [points]: Setting MPFR precision to 320
44.658 * * * * [points]: Computing exacts for 197 points
44.662 * * * * [points]: Setting MPFR precision to 64
44.696 * * * * [points]: Setting MPFR precision to 320
44.711 * * * * [points]: Filtering points with unrepresentable outputs
44.711 * * * * [points]: Sampling 165 additional inputs, on iter 29 have 7835 / 8000
44.711 * * * * [points]: Computing exacts on every 10 of 165 points to ramp up precision
44.715 * * * * [points]: Setting MPFR precision to 64
44.716 * * * * [points]: Setting MPFR precision to 320
44.717 * * * * [points]: Computing exacts on every 5 of 165 points to ramp up precision
44.720 * * * * [points]: Setting MPFR precision to 64
44.722 * * * * [points]: Setting MPFR precision to 320
44.724 * * * * [points]: Computing exacts on every 2 of 165 points to ramp up precision
44.727 * * * * [points]: Setting MPFR precision to 64
44.731 * * * * [points]: Setting MPFR precision to 320
44.735 * * * * [points]: Computing exacts for 165 points
44.738 * * * * [points]: Setting MPFR precision to 64
44.748 * * * * [points]: Setting MPFR precision to 320
44.759 * * * * [points]: Filtering points with unrepresentable outputs
44.759 * * * * [points]: Sampling 146 additional inputs, on iter 30 have 7854 / 8000
44.760 * * * * [points]: Computing exacts on every 9 of 146 points to ramp up precision
44.764 * * * * [points]: Setting MPFR precision to 64
44.765 * * * * [points]: Setting MPFR precision to 320
44.766 * * * * [points]: Computing exacts on every 4 of 146 points to ramp up precision
44.769 * * * * [points]: Setting MPFR precision to 64
44.771 * * * * [points]: Setting MPFR precision to 320
44.773 * * * * [points]: Computing exacts on every 2 of 146 points to ramp up precision
44.776 * * * * [points]: Setting MPFR precision to 64
44.779 * * * * [points]: Setting MPFR precision to 320
44.803 * * * * [points]: Computing exacts for 146 points
44.807 * * * * [points]: Setting MPFR precision to 64
44.818 * * * * [points]: Setting MPFR precision to 320
44.828 * * * * [points]: Filtering points with unrepresentable outputs
44.828 * * * * [points]: Sampling 129 additional inputs, on iter 31 have 7871 / 8000
44.828 * * * * [points]: Computing exacts on every 8 of 129 points to ramp up precision
44.832 * * * * [points]: Setting MPFR precision to 64
44.833 * * * * [points]: Setting MPFR precision to 320
44.834 * * * * [points]: Computing exacts on every 4 of 129 points to ramp up precision
44.837 * * * * [points]: Setting MPFR precision to 64
44.838 * * * * [points]: Setting MPFR precision to 320
44.840 * * * * [points]: Computing exacts on every 2 of 129 points to ramp up precision
44.843 * * * * [points]: Setting MPFR precision to 64
44.846 * * * * [points]: Setting MPFR precision to 320
44.849 * * * * [points]: Computing exacts for 129 points
44.852 * * * * [points]: Setting MPFR precision to 64
44.861 * * * * [points]: Setting MPFR precision to 320
44.869 * * * * [points]: Filtering points with unrepresentable outputs
44.869 * * * * [points]: Sampling 112 additional inputs, on iter 32 have 7888 / 8000
44.870 * * * * [points]: Computing exacts on every 7 of 112 points to ramp up precision
44.873 * * * * [points]: Setting MPFR precision to 64
44.874 * * * * [points]: Setting MPFR precision to 320
44.875 * * * * [points]: Computing exacts on every 3 of 112 points to ramp up precision
44.878 * * * * [points]: Setting MPFR precision to 64
44.880 * * * * [points]: Setting MPFR precision to 320
44.882 * * * * [points]: Computing exacts for 112 points
44.885 * * * * [points]: Setting MPFR precision to 64
44.911 * * * * [points]: Setting MPFR precision to 320
44.920 * * * * [points]: Filtering points with unrepresentable outputs
44.921 * * * * [points]: Sampling 100 additional inputs, on iter 33 have 7900 / 8000
44.921 * * * * [points]: Computing exacts on every 6 of 100 points to ramp up precision
44.925 * * * * [points]: Setting MPFR precision to 64
44.926 * * * * [points]: Setting MPFR precision to 320
44.927 * * * * [points]: Computing exacts on every 3 of 100 points to ramp up precision
44.930 * * * * [points]: Setting MPFR precision to 64
44.932 * * * * [points]: Setting MPFR precision to 320
44.933 * * * * [points]: Computing exacts for 100 points
44.936 * * * * [points]: Setting MPFR precision to 64
44.943 * * * * [points]: Setting MPFR precision to 320
44.950 * * * * [points]: Filtering points with unrepresentable outputs
44.950 * * * * [points]: Sampling 88 additional inputs, on iter 34 have 7912 / 8000
44.950 * * * * [points]: Computing exacts on every 5 of 88 points to ramp up precision
44.953 * * * * [points]: Setting MPFR precision to 64
44.954 * * * * [points]: Setting MPFR precision to 320
44.955 * * * * [points]: Computing exacts on every 2 of 88 points to ramp up precision
44.958 * * * * [points]: Setting MPFR precision to 64
44.960 * * * * [points]: Setting MPFR precision to 320
44.962 * * * * [points]: Computing exacts for 88 points
44.965 * * * * [points]: Setting MPFR precision to 64
44.971 * * * * [points]: Setting MPFR precision to 320
44.977 * * * * [points]: Filtering points with unrepresentable outputs
44.977 * * * * [points]: Sampling 73 additional inputs, on iter 35 have 7927 / 8000
44.978 * * * * [points]: Computing exacts on every 4 of 73 points to ramp up precision
44.981 * * * * [points]: Setting MPFR precision to 64
44.982 * * * * [points]: Setting MPFR precision to 320
44.983 * * * * [points]: Computing exacts on every 2 of 73 points to ramp up precision
44.986 * * * * [points]: Setting MPFR precision to 64
44.988 * * * * [points]: Setting MPFR precision to 320
45.007 * * * * [points]: Computing exacts for 73 points
45.011 * * * * [points]: Setting MPFR precision to 64
45.018 * * * * [points]: Setting MPFR precision to 320
45.023 * * * * [points]: Filtering points with unrepresentable outputs
45.023 * * * * [points]: Sampling 67 additional inputs, on iter 36 have 7933 / 8000
45.023 * * * * [points]: Computing exacts on every 4 of 67 points to ramp up precision
45.027 * * * * [points]: Setting MPFR precision to 64
45.028 * * * * [points]: Setting MPFR precision to 320
45.029 * * * * [points]: Computing exacts on every 2 of 67 points to ramp up precision
45.032 * * * * [points]: Setting MPFR precision to 64
45.033 * * * * [points]: Setting MPFR precision to 320
45.035 * * * * [points]: Computing exacts for 67 points
45.038 * * * * [points]: Setting MPFR precision to 64
45.042 * * * * [points]: Setting MPFR precision to 320
45.047 * * * * [points]: Filtering points with unrepresentable outputs
45.047 * * * * [points]: Sampling 59 additional inputs, on iter 37 have 7941 / 8000
45.047 * * * * [points]: Computing exacts on every 3 of 59 points to ramp up precision
45.051 * * * * [points]: Setting MPFR precision to 64
45.052 * * * * [points]: Setting MPFR precision to 320
45.053 * * * * [points]: Computing exacts for 59 points
45.056 * * * * [points]: Setting MPFR precision to 64
45.060 * * * * [points]: Setting MPFR precision to 320
45.063 * * * * [points]: Filtering points with unrepresentable outputs
45.064 * * * * [points]: Sampling 52 additional inputs, on iter 38 have 7948 / 8000
45.064 * * * * [points]: Computing exacts on every 3 of 52 points to ramp up precision
45.067 * * * * [points]: Setting MPFR precision to 64
45.068 * * * * [points]: Setting MPFR precision to 320
45.069 * * * * [points]: Computing exacts for 52 points
45.072 * * * * [points]: Setting MPFR precision to 64
45.075 * * * * [points]: Setting MPFR precision to 320
45.079 * * * * [points]: Filtering points with unrepresentable outputs
45.079 * * * * [points]: Sampling 46 additional inputs, on iter 39 have 7954 / 8000
45.079 * * * * [points]: Computing exacts on every 2 of 46 points to ramp up precision
45.083 * * * * [points]: Setting MPFR precision to 64
45.084 * * * * [points]: Setting MPFR precision to 320
45.085 * * * * [points]: Computing exacts for 46 points
45.104 * * * * [points]: Setting MPFR precision to 64
45.109 * * * * [points]: Setting MPFR precision to 320
45.112 * * * * [points]: Filtering points with unrepresentable outputs
45.112 * * * * [points]: Sampling 41 additional inputs, on iter 40 have 7959 / 8000
45.112 * * * * [points]: Computing exacts on every 2 of 41 points to ramp up precision
45.115 * * * * [points]: Setting MPFR precision to 64
45.116 * * * * [points]: Setting MPFR precision to 320
45.117 * * * * [points]: Computing exacts for 41 points
45.121 * * * * [points]: Setting MPFR precision to 64
45.123 * * * * [points]: Setting MPFR precision to 320
45.127 * * * * [points]: Filtering points with unrepresentable outputs
45.127 * * * * [points]: Sampling 36 additional inputs, on iter 41 have 7964 / 8000
45.127 * * * * [points]: Computing exacts on every 2 of 36 points to ramp up precision
45.130 * * * * [points]: Setting MPFR precision to 64
45.131 * * * * [points]: Setting MPFR precision to 320
45.132 * * * * [points]: Computing exacts for 36 points
45.135 * * * * [points]: Setting MPFR precision to 64
45.138 * * * * [points]: Setting MPFR precision to 320
45.140 * * * * [points]: Filtering points with unrepresentable outputs
45.140 * * * * [points]: Sampling 32 additional inputs, on iter 42 have 7968 / 8000
45.140 * * * * [points]: Computing exacts on every 2 of 32 points to ramp up precision
45.143 * * * * [points]: Setting MPFR precision to 64
45.144 * * * * [points]: Setting MPFR precision to 320
45.145 * * * * [points]: Computing exacts for 32 points
45.148 * * * * [points]: Setting MPFR precision to 64
45.150 * * * * [points]: Setting MPFR precision to 320
45.152 * * * * [points]: Filtering points with unrepresentable outputs
45.152 * * * * [points]: Sampling 27 additional inputs, on iter 43 have 7973 / 8000
45.152 * * * * [points]: Computing exacts for 27 points
45.156 * * * * [points]: Setting MPFR precision to 64
45.157 * * * * [points]: Setting MPFR precision to 320
45.159 * * * * [points]: Filtering points with unrepresentable outputs
45.159 * * * * [points]: Sampling 20 additional inputs, on iter 44 have 7980 / 8000
45.160 * * * * [points]: Computing exacts for 20 points
45.163 * * * * [points]: Setting MPFR precision to 64
45.164 * * * * [points]: Setting MPFR precision to 320
45.165 * * * * [points]: Filtering points with unrepresentable outputs
45.165 * * * * [points]: Sampling 18 additional inputs, on iter 45 have 7982 / 8000
45.166 * * * * [points]: Computing exacts for 18 points
45.169 * * * * [points]: Setting MPFR precision to 64
45.170 * * * * [points]: Setting MPFR precision to 320
45.171 * * * * [points]: Filtering points with unrepresentable outputs
45.171 * * * * [points]: Sampling 16 additional inputs, on iter 46 have 7984 / 8000
45.171 * * * * [points]: Computing exacts for 16 points
45.174 * * * * [points]: Setting MPFR precision to 64
45.176 * * * * [points]: Setting MPFR precision to 320
45.177 * * * * [points]: Filtering points with unrepresentable outputs
45.177 * * * * [points]: Sampling 15 additional inputs, on iter 47 have 7985 / 8000
45.177 * * * * [points]: Computing exacts for 15 points
45.180 * * * * [points]: Setting MPFR precision to 64
45.196 * * * * [points]: Setting MPFR precision to 320
45.197 * * * * [points]: Filtering points with unrepresentable outputs
45.198 * * * * [points]: Sampling 14 additional inputs, on iter 48 have 7986 / 8000
45.198 * * * * [points]: Computing exacts for 14 points
45.202 * * * * [points]: Setting MPFR precision to 64
45.203 * * * * [points]: Setting MPFR precision to 320
45.204 * * * * [points]: Filtering points with unrepresentable outputs
45.204 * * * * [points]: Sampling 14 additional inputs, on iter 49 have 7986 / 8000
45.204 * * * * [points]: Computing exacts for 14 points
45.207 * * * * [points]: Setting MPFR precision to 64
45.208 * * * * [points]: Setting MPFR precision to 320
45.209 * * * * [points]: Filtering points with unrepresentable outputs
45.210 * * * * [points]: Sampling 12 additional inputs, on iter 50 have 7988 / 8000
45.210 * * * * [points]: Computing exacts for 12 points
45.213 * * * * [points]: Setting MPFR precision to 64
45.214 * * * * [points]: Setting MPFR precision to 320
45.214 * * * * [points]: Filtering points with unrepresentable outputs
45.215 * * * * [points]: Sampling 10 additional inputs, on iter 51 have 7990 / 8000
45.215 * * * * [points]: Computing exacts for 10 points
45.218 * * * * [points]: Setting MPFR precision to 64
45.218 * * * * [points]: Setting MPFR precision to 320
45.219 * * * * [points]: Filtering points with unrepresentable outputs
45.219 * * * * [points]: Sampling 8 additional inputs, on iter 52 have 7992 / 8000
45.219 * * * * [points]: Computing exacts for 8 points
45.222 * * * * [points]: Setting MPFR precision to 64
45.223 * * * * [points]: Setting MPFR precision to 320
45.224 * * * * [points]: Filtering points with unrepresentable outputs
45.224 * * * * [points]: Sampling 5 additional inputs, on iter 53 have 7995 / 8000
45.224 * * * * [points]: Computing exacts for 5 points
45.227 * * * * [points]: Setting MPFR precision to 64
45.228 * * * * [points]: Setting MPFR precision to 320
45.228 * * * * [points]: Filtering points with unrepresentable outputs
45.228 * * * * [points]: Sampling 4 additional inputs, on iter 54 have 7996 / 8000
45.228 * * * * [points]: Computing exacts for 4 points
45.231 * * * * [points]: Setting MPFR precision to 64
45.232 * * * * [points]: Setting MPFR precision to 320
45.232 * * * * [points]: Filtering points with unrepresentable outputs
45.232 * * * * [points]: Sampling 4 additional inputs, on iter 55 have 7996 / 8000
45.232 * * * * [points]: Computing exacts for 4 points
45.236 * * * * [points]: Setting MPFR precision to 64
45.236 * * * * [points]: Setting MPFR precision to 320
45.236 * * * * [points]: Filtering points with unrepresentable outputs
45.236 * * * * [points]: Sampling 4 additional inputs, on iter 56 have 7996 / 8000
45.236 * * * * [points]: Computing exacts for 4 points
45.240 * * * * [points]: Setting MPFR precision to 64
45.240 * * * * [points]: Setting MPFR precision to 320
45.240 * * * * [points]: Filtering points with unrepresentable outputs
45.240 * * * * [points]: Sampling 4 additional inputs, on iter 57 have 7997 / 8000
45.240 * * * * [points]: Computing exacts for 4 points
45.243 * * * * [points]: Setting MPFR precision to 64
45.244 * * * * [points]: Setting MPFR precision to 320
45.244 * * * * [points]: Filtering points with unrepresentable outputs
45.244 * * * * [points]: Sampling 4 additional inputs, on iter 58 have 7999 / 8000
45.244 * * * * [points]: Computing exacts for 4 points
45.247 * * * * [points]: Setting MPFR precision to 64
45.248 * * * * [points]: Setting MPFR precision to 320
45.248 * * * * [points]: Filtering points with unrepresentable outputs
45.248 * * * * [points]: Sampling 4 additional inputs, on iter 59 have 7999 / 8000
45.248 * * * * [points]: Computing exacts for 4 points
45.251 * * * * [points]: Setting MPFR precision to 64
45.252 * * * * [points]: Setting MPFR precision to 320
45.252 * * * * [points]: Filtering points with unrepresentable outputs
45.252 * * * * [points]: Sampled 8000 points with exact outputs
47.590 * [regime-testing]: Baseline error score: 64.0
47.593 * [regime-testing]: Oracle error score: 64.0
47.599 * [regime-testing]: End program error score: 0.15184461186688622