0.003 * [progress]: [Phase 1 of 3] Setting up.
0.004 * * * [progress]: [1/2] Preparing points
0.005 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.008 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.097 * * * * [points]: Setting MPFR precision to 64
0.101 * * * * [points]: Setting MPFR precision to 320
0.104 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.110 * * * * [points]: Setting MPFR precision to 64
0.113 * * * * [points]: Setting MPFR precision to 320
0.117 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.122 * * * * [points]: Setting MPFR precision to 64
0.129 * * * * [points]: Setting MPFR precision to 320
0.136 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.141 * * * * [points]: Setting MPFR precision to 64
0.151 * * * * [points]: Setting MPFR precision to 320
0.161 * * * * [points]: Computing exacts for 256 points
0.167 * * * * [points]: Setting MPFR precision to 64
0.199 * * * * [points]: Setting MPFR precision to 320
0.218 * * * * [points]: Filtering points with unrepresentable outputs
0.219 * * * * [points]: Sampled 256 points with exact outputs
0.219 * * * [progress]: [2/2] Setting up program.
0.283 * [progress]: [Phase 2 of 3] Improving.
0.283 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (+.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c))))) (*.p16 (real->posit16 2) a)))>
0.284 * [simplify]: Simplifying (/.p16 (+.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c))))) (*.p16 (real->posit16 2) a))
0.285 * * [simplify]: iters left: 6 (16 enodes)
0.294 * * [simplify]: iters left: 5 (39 enodes)
0.302 * * [simplify]: iters left: 4 (72 enodes)
0.317 * * [simplify]: iters left: 3 (196 enodes)
0.496 * * [simplify]: Extracting #0: cost 1 inf + 0
0.497 * * [simplify]: Extracting #1: cost 5 inf + 0
0.498 * * [simplify]: Extracting #2: cost 11 inf + 1
0.498 * * [simplify]: Extracting #3: cost 16 inf + 2
0.499 * * [simplify]: Extracting #4: cost 26 inf + 807
0.499 * * [simplify]: Extracting #5: cost 66 inf + 1770
0.501 * * [simplify]: Extracting #6: cost 135 inf + 3695
0.507 * * [simplify]: Extracting #7: cost 208 inf + 14403
0.517 * * [simplify]: Extracting #8: cost 131 inf + 118590
0.578 * * [simplify]: Extracting #9: cost 26 inf + 311694
0.612 * * [simplify]: Extracting #10: cost 1 inf + 357657
0.639 * * [simplify]: Extracting #11: cost 0 inf + 361261
0.657 * [simplify]: Simplified to (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b) (*.p16 (real->posit16 2) a))
0.657 * [simplify]: Simplified (2) to (λ (a b c) (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b) (*.p16 (real->posit16 2) a)))
0.722 * * [progress]: iteration 1 / 4
0.722 * * * [progress]: picking best candidate
0.748 * * * * [pick]: Picked  #<alt (λ (a b c) (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b) (*.p16 (real->posit16 2) a)))>
0.748 * * * [progress]: localizing error
1.078 * * * [progress]: generating rewritten candidates
1.079 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
1.084 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
1.085 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 2)
1.092 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
1.100 * * * [progress]: generating series expansions
1.100 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
1.100 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
1.101 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 2)
1.101 * * * * [progress]: [ 4 / 4 ] generating series at (2)
1.101 * * * [progress]: simplifying candidates
1.101 * * * * [progress]: [ 1 / 10 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) (neg.p16 b)) (*.p16 (real->posit16 2) a)))>
1.101 * [simplify]: Simplifying (neg.p16 b)
1.101 * * [simplify]: iters left: 1 (2 enodes)
1.102 * * [simplify]: Extracting #0: cost 1 inf + 0
1.102 * * [simplify]: Extracting #1: cost 2 inf + 0
1.102 * * [simplify]: Extracting #2: cost 1 inf + 1
1.102 * * [simplify]: Extracting #3: cost 0 inf + 82
1.102 * [simplify]: Simplified to (neg.p16 b)
1.102 * [simplify]: Simplified (2 1 2) to (λ (a b c) (/.p16 (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) (neg.p16 b)) (*.p16 (real->posit16 2) a)))
1.102 * * * * [progress]: [ 2 / 10 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4))))) (*.p16 b b)) (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b)) (*.p16 (real->posit16 2) a)))>
1.103 * [simplify]: Simplifying (-.p16 (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4))))) (*.p16 b b))
1.103 * * [simplify]: iters left: 6 (12 enodes)
1.108 * * [simplify]: iters left: 5 (39 enodes)
1.123 * * [simplify]: iters left: 4 (111 enodes)
1.178 * * [simplify]: iters left: 3 (427 enodes)
1.481 * * [simplify]: Extracting #0: cost 1 inf + 0
1.481 * * [simplify]: Extracting #1: cost 47 inf + 0
1.482 * * [simplify]: Extracting #2: cost 231 inf + 0
1.484 * * [simplify]: Extracting #3: cost 401 inf + 2895
1.498 * * [simplify]: Extracting #4: cost 493 inf + 166270
1.578 * * [simplify]: Extracting #5: cost 156 inf + 934505
1.636 * * [simplify]: Extracting #6: cost 2 inf + 1246967
1.738 * * [simplify]: Extracting #7: cost 0 inf + 1252975
1.827 * [simplify]: Simplified to (-.p16 (real->posit16 0.0) (*.p16 (*.p16 a c) (real->posit16 4)))
1.827 * [simplify]: Simplified (2 1 1) to (λ (a b c) (/.p16 (/.p16 (-.p16 (real->posit16 0.0) (*.p16 (*.p16 a c) (real->posit16 4))) (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b)) (*.p16 (real->posit16 2) a)))
1.827 * [simplify]: Simplifying (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b)
1.827 * * [simplify]: iters left: 5 (11 enodes)
1.832 * * [simplify]: iters left: 4 (30 enodes)
1.843 * * [simplify]: iters left: 3 (62 enodes)
1.870 * * [simplify]: iters left: 2 (181 enodes)
1.977 * * [simplify]: Extracting #0: cost 1 inf + 0
1.977 * * [simplify]: Extracting #1: cost 3 inf + 0
1.977 * * [simplify]: Extracting #2: cost 3 inf + 1
1.977 * * [simplify]: Extracting #3: cost 17 inf + 1
1.977 * * [simplify]: Extracting #4: cost 59 inf + 322
1.978 * * [simplify]: Extracting #5: cost 142 inf + 1287
1.980 * * [simplify]: Extracting #6: cost 199 inf + 13674
1.986 * * [simplify]: Extracting #7: cost 150 inf + 70160
2.003 * * [simplify]: Extracting #8: cost 22 inf + 303259
2.016 * * [simplify]: Extracting #9: cost 0 inf + 350576
2.030 * [simplify]: Simplified to (+.p16 b (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 a c) (real->posit16 4)))))
2.030 * [simplify]: Simplified (2 1 2) to (λ (a b c) (/.p16 (/.p16 (-.p16 (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4))))) (*.p16 b b)) (+.p16 b (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 a c) (real->posit16 4)))))) (*.p16 (real->posit16 2) a)))
2.030 * * * * [progress]: [ 3 / 10 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b) (*.p16 (real->posit16 2) a)))>
2.030 * [simplify]: Simplifying (*.p16 a (real->posit16 4))
2.030 * * [simplify]: iters left: 2 (4 enodes)
2.033 * * [simplify]: iters left: 1 (8 enodes)
2.035 * * [simplify]: Extracting #0: cost 1 inf + 0
2.035 * * [simplify]: Extracting #1: cost 3 inf + 0
2.035 * * [simplify]: Extracting #2: cost 3 inf + 1
2.035 * * [simplify]: Extracting #3: cost 0 inf + 325
2.035 * [simplify]: Simplified to (*.p16 a (real->posit16 4))
2.035 * [simplify]: Simplified (2 1 1 1 2 2) to (λ (a b c) (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b) (*.p16 (real->posit16 2) a)))
2.036 * * * * [progress]: [ 4 / 10 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 c a)))) b) (*.p16 (real->posit16 2) a)))>
2.036 * * * * [progress]: [ 5 / 10 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b) (real->posit16 2)) a))>
2.036 * [simplify]: Simplifying (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b) (real->posit16 2))
2.036 * * [simplify]: iters left: 6 (14 enodes)
2.043 * * [simplify]: iters left: 5 (39 enodes)
2.057 * * [simplify]: iters left: 4 (82 enodes)
2.095 * * [simplify]: iters left: 3 (289 enodes)
2.276 * * [simplify]: Extracting #0: cost 1 inf + 0
2.276 * * [simplify]: Extracting #1: cost 20 inf + 0
2.276 * * [simplify]: Extracting #2: cost 93 inf + 0
2.277 * * [simplify]: Extracting #3: cost 165 inf + 1447
2.279 * * [simplify]: Extracting #4: cost 224 inf + 7305
2.284 * * [simplify]: Extracting #5: cost 248 inf + 62336
2.309 * * [simplify]: Extracting #6: cost 144 inf + 336290
2.359 * * [simplify]: Extracting #7: cost 9 inf + 591627
2.408 * * [simplify]: Extracting #8: cost 0 inf + 611378
2.459 * [simplify]: Simplified to (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 a c) (real->posit16 4)))) b) (real->posit16 2))
2.459 * [simplify]: Simplified (2 1) to (λ (a b c) (/.p16 (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 a c) (real->posit16 4)))) b) (real->posit16 2)) a))
2.459 * * * * [progress]: [ 6 / 10 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (-.p16 (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4))))) (*.p16 b b)) (*.p16 (*.p16 (real->posit16 2) a) (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b))))>
2.460 * [simplify]: Simplifying (*.p16 (*.p16 (real->posit16 2) a) (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b))
2.460 * * [simplify]: iters left: 6 (15 enodes)
2.467 * * [simplify]: iters left: 5 (45 enodes)
2.483 * * [simplify]: iters left: 4 (105 enodes)
2.527 * * [simplify]: iters left: 3 (240 enodes)
2.665 * * [simplify]: Extracting #0: cost 1 inf + 0
2.666 * * [simplify]: Extracting #1: cost 22 inf + 0
2.666 * * [simplify]: Extracting #2: cost 28 inf + 1
2.666 * * [simplify]: Extracting #3: cost 25 inf + 326
2.666 * * [simplify]: Extracting #4: cost 36 inf + 1613
2.666 * * [simplify]: Extracting #5: cost 77 inf + 1934
2.667 * * [simplify]: Extracting #6: cost 157 inf + 3859
2.668 * * [simplify]: Extracting #7: cost 227 inf + 10912
2.672 * * [simplify]: Extracting #8: cost 142 inf + 140387
2.691 * * [simplify]: Extracting #9: cost 24 inf + 361657
2.709 * * [simplify]: Extracting #10: cost 0 inf + 392588
2.735 * * [simplify]: Extracting #11: cost 0 inf + 390388
2.762 * [simplify]: Simplified to (*.p16 (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 c a)))) b) (*.p16 a (real->posit16 2)))
2.762 * [simplify]: Simplified (2 2) to (λ (a b c) (/.p16 (-.p16 (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4))))) (*.p16 b b)) (*.p16 (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 c a)))) b) (*.p16 a (real->posit16 2)))))
2.762 * * * * [progress]: [ 7 / 10 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b) (*.p16 (real->posit16 2) a)))>
2.763 * [simplify]: Simplifying (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b) (*.p16 (real->posit16 2) a))
2.763 * * [simplify]: iters left: 6 (15 enodes)
2.769 * * [simplify]: iters left: 5 (43 enodes)
2.783 * * [simplify]: iters left: 4 (88 enodes)
2.812 * * [simplify]: iters left: 3 (307 enodes)
2.965 * * [simplify]: Extracting #0: cost 1 inf + 0
2.965 * * [simplify]: Extracting #1: cost 31 inf + 0
2.966 * * [simplify]: Extracting #2: cost 125 inf + 1
2.967 * * [simplify]: Extracting #3: cost 193 inf + 2734
2.969 * * [simplify]: Extracting #4: cost 252 inf + 8914
2.974 * * [simplify]: Extracting #5: cost 286 inf + 56807
2.986 * * [simplify]: Extracting #6: cost 192 inf + 320040
3.027 * * [simplify]: Extracting #7: cost 14 inf + 651699
3.085 * * [simplify]: Extracting #8: cost 0 inf + 686273
3.128 * * [simplify]: Extracting #9: cost 0 inf + 685953
3.174 * [simplify]: Simplified to (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 a c) (real->posit16 4)))) b) (*.p16 a (real->posit16 2)))
3.174 * [simplify]: Simplified (2) to (λ (a b c) (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 a c) (real->posit16 4)))) b) (*.p16 a (real->posit16 2))))
3.174 * * * * [progress]: [ 8 / 10 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b) (*.p16 (real->posit16 2) a)))>
3.174 * [simplify]: Simplifying (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b) (*.p16 (real->posit16 2) a))
3.175 * * [simplify]: iters left: 6 (15 enodes)
3.183 * * [simplify]: iters left: 5 (43 enodes)
3.199 * * [simplify]: iters left: 4 (88 enodes)
3.233 * * [simplify]: iters left: 3 (307 enodes)
3.459 * * [simplify]: Extracting #0: cost 1 inf + 0
3.459 * * [simplify]: Extracting #1: cost 31 inf + 0
3.460 * * [simplify]: Extracting #2: cost 125 inf + 1
3.461 * * [simplify]: Extracting #3: cost 193 inf + 2734
3.463 * * [simplify]: Extracting #4: cost 252 inf + 8914
3.469 * * [simplify]: Extracting #5: cost 286 inf + 56807
3.493 * * [simplify]: Extracting #6: cost 192 inf + 320040
3.542 * * [simplify]: Extracting #7: cost 14 inf + 651699
3.604 * * [simplify]: Extracting #8: cost 0 inf + 686273
3.662 * * [simplify]: Extracting #9: cost 0 inf + 685953
3.716 * [simplify]: Simplified to (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 a c) (real->posit16 4)))) b) (*.p16 a (real->posit16 2)))
3.716 * [simplify]: Simplified (2) to (λ (a b c) (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 a c) (real->posit16 4)))) b) (*.p16 a (real->posit16 2))))
3.716 * * * * [progress]: [ 9 / 10 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b) (*.p16 (real->posit16 2) a)))>
3.717 * [simplify]: Simplifying (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b) (*.p16 (real->posit16 2) a))
3.717 * * [simplify]: iters left: 6 (15 enodes)
3.724 * * [simplify]: iters left: 5 (43 enodes)
3.741 * * [simplify]: iters left: 4 (88 enodes)
3.769 * * [simplify]: iters left: 3 (307 enodes)
3.900 * * [simplify]: Extracting #0: cost 1 inf + 0
3.900 * * [simplify]: Extracting #1: cost 31 inf + 0
3.901 * * [simplify]: Extracting #2: cost 125 inf + 1
3.902 * * [simplify]: Extracting #3: cost 193 inf + 2734
3.904 * * [simplify]: Extracting #4: cost 252 inf + 8914
3.909 * * [simplify]: Extracting #5: cost 286 inf + 56807
3.923 * * [simplify]: Extracting #6: cost 192 inf + 320040
3.957 * * [simplify]: Extracting #7: cost 14 inf + 651699
3.993 * * [simplify]: Extracting #8: cost 0 inf + 686273
4.022 * * [simplify]: Extracting #9: cost 0 inf + 685953
4.052 * [simplify]: Simplified to (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 a c) (real->posit16 4)))) b) (*.p16 a (real->posit16 2)))
4.052 * [simplify]: Simplified (2) to (λ (a b c) (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 a c) (real->posit16 4)))) b) (*.p16 a (real->posit16 2))))
4.053 * * * * [progress]: [ 10 / 10 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b) (*.p16 (real->posit16 2) a)))>
4.053 * [simplify]: Simplifying (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b) (*.p16 (real->posit16 2) a))
4.053 * * [simplify]: iters left: 6 (15 enodes)
4.057 * * [simplify]: iters left: 5 (43 enodes)
4.064 * * [simplify]: iters left: 4 (88 enodes)
4.095 * * [simplify]: iters left: 3 (307 enodes)
4.273 * * [simplify]: Extracting #0: cost 1 inf + 0
4.273 * * [simplify]: Extracting #1: cost 31 inf + 0
4.274 * * [simplify]: Extracting #2: cost 125 inf + 1
4.275 * * [simplify]: Extracting #3: cost 193 inf + 2734
4.277 * * [simplify]: Extracting #4: cost 252 inf + 8914
4.282 * * [simplify]: Extracting #5: cost 286 inf + 56807
4.311 * * [simplify]: Extracting #6: cost 192 inf + 320040
4.360 * * [simplify]: Extracting #7: cost 14 inf + 651699
4.417 * * [simplify]: Extracting #8: cost 0 inf + 686273
4.475 * * [simplify]: Extracting #9: cost 0 inf + 685953
4.531 * [simplify]: Simplified to (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 a c) (real->posit16 4)))) b) (*.p16 a (real->posit16 2)))
4.531 * [simplify]: Simplified (2) to (λ (a b c) (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 a c) (real->posit16 4)))) b) (*.p16 a (real->posit16 2))))
4.531 * * * [progress]: adding candidates to table
5.017 * * [progress]: iteration 2 / 4
5.017 * * * [progress]: picking best candidate
5.120 * * * * [pick]: Picked  #<alt (λ (a b c) (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b) (*.p16 (real->posit16 2) a)))>
5.120 * * * [progress]: localizing error
5.412 * * * [progress]: generating rewritten candidates
5.413 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
5.416 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
5.416 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
5.422 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
5.433 * * * [progress]: generating series expansions
5.433 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
5.433 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
5.433 * * * * [progress]: [ 3 / 4 ] generating series at (2)
5.433 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
5.433 * * * [progress]: simplifying candidates
5.433 * * * * [progress]: [ 1 / 10 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) (neg.p16 b)) (*.p16 (real->posit16 2) a)))>
5.433 * [simplify]: Simplifying (neg.p16 b)
5.433 * * [simplify]: iters left: 1 (2 enodes)
5.434 * * [simplify]: Extracting #0: cost 1 inf + 0
5.434 * * [simplify]: Extracting #1: cost 2 inf + 0
5.434 * * [simplify]: Extracting #2: cost 1 inf + 1
5.434 * * [simplify]: Extracting #3: cost 0 inf + 82
5.434 * [simplify]: Simplified to (neg.p16 b)
5.434 * [simplify]: Simplified (2 1 2) to (λ (a b c) (/.p16 (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) (neg.p16 b)) (*.p16 (real->posit16 2) a)))
5.434 * * * * [progress]: [ 2 / 10 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4)))))) (*.p16 b b)) (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b)) (*.p16 (real->posit16 2) a)))>
5.435 * [simplify]: Simplifying (-.p16 (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4)))))) (*.p16 b b))
5.435 * * [simplify]: iters left: 6 (12 enodes)
5.441 * * [simplify]: iters left: 5 (39 enodes)
5.456 * * [simplify]: iters left: 4 (111 enodes)
5.510 * * [simplify]: iters left: 3 (424 enodes)
5.810 * * [simplify]: Extracting #0: cost 1 inf + 0
5.811 * * [simplify]: Extracting #1: cost 47 inf + 0
5.812 * * [simplify]: Extracting #2: cost 231 inf + 0
5.814 * * [simplify]: Extracting #3: cost 401 inf + 2894
5.830 * * [simplify]: Extracting #4: cost 477 inf + 189684
5.898 * * [simplify]: Extracting #5: cost 205 inf + 818645
5.995 * * [simplify]: Extracting #6: cost 11 inf + 1218752
6.095 * * [simplify]: Extracting #7: cost 0 inf + 1243040
6.162 * [simplify]: Simplified to (-.p16 (real->posit16 0.0) (*.p16 (*.p16 (real->posit16 4) a) c))
6.162 * [simplify]: Simplified (2 1 1) to (λ (a b c) (/.p16 (/.p16 (-.p16 (real->posit16 0.0) (*.p16 (*.p16 (real->posit16 4) a) c)) (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b)) (*.p16 (real->posit16 2) a)))
6.162 * [simplify]: Simplifying (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b)
6.163 * * [simplify]: iters left: 6 (11 enodes)
6.168 * * [simplify]: iters left: 5 (30 enodes)
6.178 * * [simplify]: iters left: 4 (62 enodes)
6.194 * * [simplify]: iters left: 3 (175 enodes)
6.295 * * [simplify]: Extracting #0: cost 1 inf + 0
6.295 * * [simplify]: Extracting #1: cost 3 inf + 0
6.295 * * [simplify]: Extracting #2: cost 3 inf + 1
6.295 * * [simplify]: Extracting #3: cost 17 inf + 1
6.295 * * [simplify]: Extracting #4: cost 59 inf + 322
6.296 * * [simplify]: Extracting #5: cost 134 inf + 1287
6.298 * * [simplify]: Extracting #6: cost 200 inf + 13681
6.306 * * [simplify]: Extracting #7: cost 121 inf + 136896
6.328 * * [simplify]: Extracting #8: cost 11 inf + 328936
6.354 * * [simplify]: Extracting #9: cost 1 inf + 344412
6.379 * * [simplify]: Extracting #10: cost 0 inf + 348016
6.404 * [simplify]: Simplified to (+.p16 b (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c))))
6.404 * [simplify]: Simplified (2 1 2) to (λ (a b c) (/.p16 (/.p16 (-.p16 (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4)))))) (*.p16 b b)) (+.p16 b (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c))))) (*.p16 (real->posit16 2) a)))
6.404 * * * * [progress]: [ 3 / 10 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b) (real->posit16 2)) a))>
6.404 * [simplify]: Simplifying (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b) (real->posit16 2))
6.404 * * [simplify]: iters left: 6 (14 enodes)
6.408 * * [simplify]: iters left: 5 (39 enodes)
6.417 * * [simplify]: iters left: 4 (82 enodes)
6.436 * * [simplify]: iters left: 3 (278 enodes)
6.567 * * [simplify]: Extracting #0: cost 1 inf + 0
6.567 * * [simplify]: Extracting #1: cost 20 inf + 0
6.567 * * [simplify]: Extracting #2: cost 93 inf + 0
6.568 * * [simplify]: Extracting #3: cost 165 inf + 1447
6.568 * * [simplify]: Extracting #4: cost 225 inf + 6983
6.571 * * [simplify]: Extracting #5: cost 262 inf + 62452
6.590 * * [simplify]: Extracting #6: cost 134 inf + 391334
6.639 * * [simplify]: Extracting #7: cost 1 inf + 637568
6.689 * * [simplify]: Extracting #8: cost 0 inf + 640212
6.716 * [simplify]: Simplified to (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c))) b) (real->posit16 2))
6.716 * [simplify]: Simplified (2 1) to (λ (a b c) (/.p16 (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c))) b) (real->posit16 2)) a))
6.716 * * * * [progress]: [ 4 / 10 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (-.p16 (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4)))))) (*.p16 b b)) (*.p16 (*.p16 (real->posit16 2) a) (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b))))>
6.717 * [simplify]: Simplifying (*.p16 (*.p16 (real->posit16 2) a) (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b))
6.717 * * [simplify]: iters left: 6 (15 enodes)
6.723 * * [simplify]: iters left: 5 (45 enodes)
6.738 * * [simplify]: iters left: 4 (105 enodes)
6.757 * * [simplify]: iters left: 3 (235 enodes)
6.861 * * [simplify]: Extracting #0: cost 1 inf + 0
6.861 * * [simplify]: Extracting #1: cost 24 inf + 0
6.862 * * [simplify]: Extracting #2: cost 30 inf + 1
6.862 * * [simplify]: Extracting #3: cost 26 inf + 648
6.862 * * [simplify]: Extracting #4: cost 38 inf + 1613
6.862 * * [simplify]: Extracting #5: cost 79 inf + 1934
6.863 * * [simplify]: Extracting #6: cost 156 inf + 2576
6.864 * * [simplify]: Extracting #7: cost 244 inf + 8025
6.867 * * [simplify]: Extracting #8: cost 192 inf + 68386
6.876 * * [simplify]: Extracting #9: cost 58 inf + 290631
6.894 * * [simplify]: Extracting #10: cost 1 inf + 408340
6.918 * * [simplify]: Extracting #11: cost 0 inf + 408264
6.938 * [simplify]: Simplified to (*.p16 (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b) (*.p16 a (real->posit16 2)))
6.939 * [simplify]: Simplified (2 2) to (λ (a b c) (/.p16 (-.p16 (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4)))))) (*.p16 b b)) (*.p16 (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b) (*.p16 a (real->posit16 2)))))
6.939 * * * * [progress]: [ 5 / 10 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (-.p16 (sqrt.p16 (+.p16 (*.p16 b b) (neg.p16 (*.p16 c (*.p16 a (real->posit16 4)))))) b) (*.p16 (real->posit16 2) a)))>
6.939 * [simplify]: Simplifying (neg.p16 (*.p16 c (*.p16 a (real->posit16 4))))
6.939 * * [simplify]: iters left: 4 (7 enodes)
6.943 * * [simplify]: iters left: 3 (16 enodes)
6.947 * * [simplify]: iters left: 2 (22 enodes)
6.953 * * [simplify]: iters left: 1 (23 enodes)
6.959 * * [simplify]: Extracting #0: cost 1 inf + 0
6.959 * * [simplify]: Extracting #1: cost 2 inf + 0
6.959 * * [simplify]: Extracting #2: cost 8 inf + 0
6.959 * * [simplify]: Extracting #3: cost 7 inf + 2
6.959 * * [simplify]: Extracting #4: cost 5 inf + 325
6.959 * * [simplify]: Extracting #5: cost 1 inf + 2014
6.960 * * [simplify]: Extracting #6: cost 0 inf + 2336
6.960 * [simplify]: Simplified to (neg.p16 (*.p16 c (*.p16 a (real->posit16 4))))
6.960 * [simplify]: Simplified (2 1 1 1 2) to (λ (a b c) (/.p16 (-.p16 (sqrt.p16 (+.p16 (*.p16 b b) (neg.p16 (*.p16 c (*.p16 a (real->posit16 4)))))) b) (*.p16 (real->posit16 2) a)))
6.960 * * * * [progress]: [ 6 / 10 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (-.p16 (sqrt.p16 (/.p16 (-.p16 (*.p16 (*.p16 b b) (*.p16 b b)) (*.p16 (*.p16 c (*.p16 a (real->posit16 4))) (*.p16 c (*.p16 a (real->posit16 4))))) (+.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4)))))) b) (*.p16 (real->posit16 2) a)))>
6.960 * [simplify]: Simplifying (-.p16 (*.p16 (*.p16 b b) (*.p16 b b)) (*.p16 (*.p16 c (*.p16 a (real->posit16 4))) (*.p16 c (*.p16 a (real->posit16 4)))))
6.960 * * [simplify]: iters left: 5 (11 enodes)
6.966 * * [simplify]: iters left: 4 (40 enodes)
6.978 * * [simplify]: iters left: 3 (105 enodes)
7.006 * * [simplify]: iters left: 2 (407 enodes)
7.462 * * [simplify]: Extracting #0: cost 1 inf + 0
7.462 * * [simplify]: Extracting #1: cost 32 inf + 0
7.463 * * [simplify]: Extracting #2: cost 199 inf + 0
7.465 * * [simplify]: Extracting #3: cost 350 inf + 2571
7.477 * * [simplify]: Extracting #4: cost 491 inf + 119933
7.511 * * [simplify]: Extracting #5: cost 190 inf + 693721
7.582 * * [simplify]: Extracting #6: cost 13 inf + 1107241
7.656 * * [simplify]: Extracting #7: cost 0 inf + 1142772
7.725 * [simplify]: Simplified to (*.p16 (+.p16 (*.p16 (real->posit16 4) (*.p16 a c)) (*.p16 b b)) (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c))))
7.725 * [simplify]: Simplified (2 1 1 1 1) to (λ (a b c) (/.p16 (-.p16 (sqrt.p16 (/.p16 (*.p16 (+.p16 (*.p16 (real->posit16 4) (*.p16 a c)) (*.p16 b b)) (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))) (+.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4)))))) b) (*.p16 (real->posit16 2) a)))
7.725 * [simplify]: Simplifying (+.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))
7.725 * * [simplify]: iters left: 4 (9 enodes)
7.727 * * [simplify]: iters left: 3 (21 enodes)
7.730 * * [simplify]: iters left: 2 (27 enodes)
7.734 * * [simplify]: iters left: 1 (28 enodes)
7.738 * * [simplify]: Extracting #0: cost 1 inf + 0
7.738 * * [simplify]: Extracting #1: cost 3 inf + 0
7.738 * * [simplify]: Extracting #2: cost 10 inf + 0
7.738 * * [simplify]: Extracting #3: cost 7 inf + 325
7.738 * * [simplify]: Extracting #4: cost 1 inf + 1935
7.738 * * [simplify]: Extracting #5: cost 0 inf + 2939
7.738 * [simplify]: Simplified to (+.p16 (*.p16 (*.p16 c (real->posit16 4)) a) (*.p16 b b))
7.738 * [simplify]: Simplified (2 1 1 1 2) to (λ (a b c) (/.p16 (-.p16 (sqrt.p16 (/.p16 (-.p16 (*.p16 (*.p16 b b) (*.p16 b b)) (*.p16 (*.p16 c (*.p16 a (real->posit16 4))) (*.p16 c (*.p16 a (real->posit16 4))))) (+.p16 (*.p16 (*.p16 c (real->posit16 4)) a) (*.p16 b b)))) b) (*.p16 (real->posit16 2) a)))
7.739 * * * * [progress]: [ 7 / 10 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b) (*.p16 (real->posit16 2) a)))>
7.739 * [simplify]: Simplifying (*.p16 a (real->posit16 4))
7.739 * * [simplify]: iters left: 2 (4 enodes)
7.740 * * [simplify]: iters left: 1 (8 enodes)
7.741 * * [simplify]: Extracting #0: cost 1 inf + 0
7.741 * * [simplify]: Extracting #1: cost 3 inf + 0
7.741 * * [simplify]: Extracting #2: cost 3 inf + 1
7.741 * * [simplify]: Extracting #3: cost 0 inf + 325
7.741 * [simplify]: Simplified to (*.p16 a (real->posit16 4))
7.741 * [simplify]: Simplified (2 1 1 1 2 2) to (λ (a b c) (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b) (*.p16 (real->posit16 2) a)))
7.741 * * * * [progress]: [ 8 / 10 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b) (*.p16 (real->posit16 2) a)))>
7.741 * [simplify]: Simplifying (*.p16 a (real->posit16 4))
7.742 * * [simplify]: iters left: 2 (4 enodes)
7.743 * * [simplify]: iters left: 1 (8 enodes)
7.744 * * [simplify]: Extracting #0: cost 1 inf + 0
7.744 * * [simplify]: Extracting #1: cost 3 inf + 0
7.744 * * [simplify]: Extracting #2: cost 3 inf + 1
7.744 * * [simplify]: Extracting #3: cost 0 inf + 325
7.744 * [simplify]: Simplified to (*.p16 a (real->posit16 4))
7.744 * [simplify]: Simplified (2 1 1 1 2 2) to (λ (a b c) (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b) (*.p16 (real->posit16 2) a)))
7.744 * * * * [progress]: [ 9 / 10 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b) (*.p16 (real->posit16 2) a)))>
7.744 * [simplify]: Simplifying (*.p16 a (real->posit16 4))
7.744 * * [simplify]: iters left: 2 (4 enodes)
7.746 * * [simplify]: iters left: 1 (8 enodes)
7.747 * * [simplify]: Extracting #0: cost 1 inf + 0
7.747 * * [simplify]: Extracting #1: cost 3 inf + 0
7.747 * * [simplify]: Extracting #2: cost 3 inf + 1
7.747 * * [simplify]: Extracting #3: cost 0 inf + 325
7.747 * [simplify]: Simplified to (*.p16 a (real->posit16 4))
7.747 * [simplify]: Simplified (2 1 1 1 2 2) to (λ (a b c) (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b) (*.p16 (real->posit16 2) a)))
7.747 * * * * [progress]: [ 10 / 10 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b) (*.p16 (real->posit16 2) a)))>
7.747 * [simplify]: Simplifying (*.p16 a (real->posit16 4))
7.747 * * [simplify]: iters left: 2 (4 enodes)
7.748 * * [simplify]: iters left: 1 (8 enodes)
7.750 * * [simplify]: Extracting #0: cost 1 inf + 0
7.750 * * [simplify]: Extracting #1: cost 3 inf + 0
7.750 * * [simplify]: Extracting #2: cost 3 inf + 1
7.750 * * [simplify]: Extracting #3: cost 0 inf + 325
7.750 * [simplify]: Simplified to (*.p16 a (real->posit16 4))
7.750 * [simplify]: Simplified (2 1 1 1 2 2) to (λ (a b c) (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b) (*.p16 (real->posit16 2) a)))
7.750 * * * [progress]: adding candidates to table
8.111 * * [progress]: iteration 3 / 4
8.111 * * * [progress]: picking best candidate
8.278 * * * * [pick]: Picked  #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b) (real->posit16 2)) a))>
8.278 * * * [progress]: localizing error
8.932 * * * [progress]: generating rewritten candidates
8.932 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
8.935 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
8.935 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
8.942 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1)
8.951 * * * [progress]: generating series expansions
8.951 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
8.951 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
8.951 * * * * [progress]: [ 3 / 4 ] generating series at (2)
8.951 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1)
8.951 * * * [progress]: simplifying candidates
8.951 * * * * [progress]: [ 1 / 9 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (/.p16 (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) (neg.p16 b)) (real->posit16 2)) a))>
8.952 * [simplify]: Simplifying (neg.p16 b)
8.952 * * [simplify]: iters left: 1 (2 enodes)
8.952 * * [simplify]: Extracting #0: cost 1 inf + 0
8.953 * * [simplify]: Extracting #1: cost 2 inf + 0
8.953 * * [simplify]: Extracting #2: cost 1 inf + 1
8.953 * * [simplify]: Extracting #3: cost 0 inf + 82
8.953 * [simplify]: Simplified to (neg.p16 b)
8.953 * [simplify]: Simplified (2 1 1 2) to (λ (a b c) (/.p16 (/.p16 (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) (neg.p16 b)) (real->posit16 2)) a))
8.953 * * * * [progress]: [ 2 / 9 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (/.p16 (/.p16 (-.p16 (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4)))))) (*.p16 b b)) (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b)) (real->posit16 2)) a))>
8.953 * [simplify]: Simplifying (-.p16 (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4)))))) (*.p16 b b))
8.953 * * [simplify]: iters left: 6 (12 enodes)
8.959 * * [simplify]: iters left: 5 (39 enodes)
8.973 * * [simplify]: iters left: 4 (111 enodes)
9.003 * * [simplify]: iters left: 3 (424 enodes)
9.342 * * [simplify]: Extracting #0: cost 1 inf + 0
9.342 * * [simplify]: Extracting #1: cost 47 inf + 0
9.343 * * [simplify]: Extracting #2: cost 231 inf + 0
9.346 * * [simplify]: Extracting #3: cost 401 inf + 2894
9.361 * * [simplify]: Extracting #4: cost 477 inf + 189684
9.432 * * [simplify]: Extracting #5: cost 205 inf + 818645
9.519 * * [simplify]: Extracting #6: cost 11 inf + 1218752
9.618 * * [simplify]: Extracting #7: cost 0 inf + 1243040
9.709 * [simplify]: Simplified to (-.p16 (real->posit16 0.0) (*.p16 (*.p16 (real->posit16 4) a) c))
9.709 * [simplify]: Simplified (2 1 1 1) to (λ (a b c) (/.p16 (/.p16 (/.p16 (-.p16 (real->posit16 0.0) (*.p16 (*.p16 (real->posit16 4) a) c)) (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b)) (real->posit16 2)) a))
9.710 * [simplify]: Simplifying (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b)
9.710 * * [simplify]: iters left: 6 (11 enodes)
9.715 * * [simplify]: iters left: 5 (30 enodes)
9.722 * * [simplify]: iters left: 4 (62 enodes)
9.735 * * [simplify]: iters left: 3 (175 enodes)
9.836 * * [simplify]: Extracting #0: cost 1 inf + 0
9.836 * * [simplify]: Extracting #1: cost 3 inf + 0
9.836 * * [simplify]: Extracting #2: cost 3 inf + 1
9.836 * * [simplify]: Extracting #3: cost 17 inf + 1
9.837 * * [simplify]: Extracting #4: cost 59 inf + 322
9.837 * * [simplify]: Extracting #5: cost 134 inf + 1287
9.838 * * [simplify]: Extracting #6: cost 200 inf + 13681
9.842 * * [simplify]: Extracting #7: cost 121 inf + 136896
9.853 * * [simplify]: Extracting #8: cost 11 inf + 328936
9.867 * * [simplify]: Extracting #9: cost 1 inf + 344412
9.880 * * [simplify]: Extracting #10: cost 0 inf + 348016
9.893 * [simplify]: Simplified to (+.p16 b (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c))))
9.894 * [simplify]: Simplified (2 1 1 2) to (λ (a b c) (/.p16 (/.p16 (/.p16 (-.p16 (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4)))))) (*.p16 b b)) (+.p16 b (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c))))) (real->posit16 2)) a))
9.894 * * * * [progress]: [ 3 / 9 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b) (*.p16 a (real->posit16 2))))>
9.894 * [simplify]: Simplifying (*.p16 a (real->posit16 2))
9.894 * * [simplify]: iters left: 2 (4 enodes)
9.895 * * [simplify]: iters left: 1 (8 enodes)
9.896 * * [simplify]: Extracting #0: cost 1 inf + 0
9.897 * * [simplify]: Extracting #1: cost 3 inf + 0
9.897 * * [simplify]: Extracting #2: cost 3 inf + 1
9.897 * * [simplify]: Extracting #3: cost 0 inf + 325
9.897 * [simplify]: Simplified to (*.p16 a (real->posit16 2))
9.897 * [simplify]: Simplified (2 2) to (λ (a b c) (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b) (*.p16 a (real->posit16 2))))
9.897 * * * * [progress]: [ 4 / 9 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (sqrt.p16 (+.p16 (*.p16 b b) (neg.p16 (*.p16 c (*.p16 a (real->posit16 4)))))) b) (real->posit16 2)) a))>
9.897 * [simplify]: Simplifying (neg.p16 (*.p16 c (*.p16 a (real->posit16 4))))
9.897 * * [simplify]: iters left: 4 (7 enodes)
9.899 * * [simplify]: iters left: 3 (16 enodes)
9.903 * * [simplify]: iters left: 2 (22 enodes)
9.910 * * [simplify]: iters left: 1 (23 enodes)
9.916 * * [simplify]: Extracting #0: cost 1 inf + 0
9.916 * * [simplify]: Extracting #1: cost 2 inf + 0
9.916 * * [simplify]: Extracting #2: cost 8 inf + 0
9.916 * * [simplify]: Extracting #3: cost 7 inf + 2
9.916 * * [simplify]: Extracting #4: cost 5 inf + 325
9.917 * * [simplify]: Extracting #5: cost 1 inf + 2014
9.917 * * [simplify]: Extracting #6: cost 0 inf + 2336
9.920 * [simplify]: Simplified to (neg.p16 (*.p16 c (*.p16 a (real->posit16 4))))
9.920 * [simplify]: Simplified (2 1 1 1 1 2) to (λ (a b c) (/.p16 (/.p16 (-.p16 (sqrt.p16 (+.p16 (*.p16 b b) (neg.p16 (*.p16 c (*.p16 a (real->posit16 4)))))) b) (real->posit16 2)) a))
9.920 * * * * [progress]: [ 5 / 9 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (sqrt.p16 (/.p16 (-.p16 (*.p16 (*.p16 b b) (*.p16 b b)) (*.p16 (*.p16 c (*.p16 a (real->posit16 4))) (*.p16 c (*.p16 a (real->posit16 4))))) (+.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4)))))) b) (real->posit16 2)) a))>
9.920 * [simplify]: Simplifying (-.p16 (*.p16 (*.p16 b b) (*.p16 b b)) (*.p16 (*.p16 c (*.p16 a (real->posit16 4))) (*.p16 c (*.p16 a (real->posit16 4)))))
9.921 * * [simplify]: iters left: 5 (11 enodes)
9.927 * * [simplify]: iters left: 4 (40 enodes)
9.943 * * [simplify]: iters left: 3 (105 enodes)
9.978 * * [simplify]: iters left: 2 (407 enodes)
10.355 * * [simplify]: Extracting #0: cost 1 inf + 0
10.356 * * [simplify]: Extracting #1: cost 32 inf + 0
10.357 * * [simplify]: Extracting #2: cost 199 inf + 0
10.359 * * [simplify]: Extracting #3: cost 350 inf + 2571
10.372 * * [simplify]: Extracting #4: cost 491 inf + 119933
10.429 * * [simplify]: Extracting #5: cost 190 inf + 693721
10.517 * * [simplify]: Extracting #6: cost 13 inf + 1107241
10.586 * * [simplify]: Extracting #7: cost 0 inf + 1142772
10.671 * [simplify]: Simplified to (*.p16 (+.p16 (*.p16 (real->posit16 4) (*.p16 a c)) (*.p16 b b)) (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c))))
10.671 * [simplify]: Simplified (2 1 1 1 1 1) to (λ (a b c) (/.p16 (/.p16 (-.p16 (sqrt.p16 (/.p16 (*.p16 (+.p16 (*.p16 (real->posit16 4) (*.p16 a c)) (*.p16 b b)) (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))) (+.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4)))))) b) (real->posit16 2)) a))
10.671 * [simplify]: Simplifying (+.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))
10.671 * * [simplify]: iters left: 4 (9 enodes)
10.676 * * [simplify]: iters left: 3 (21 enodes)
10.680 * * [simplify]: iters left: 2 (27 enodes)
10.684 * * [simplify]: iters left: 1 (28 enodes)
10.688 * * [simplify]: Extracting #0: cost 1 inf + 0
10.688 * * [simplify]: Extracting #1: cost 3 inf + 0
10.688 * * [simplify]: Extracting #2: cost 10 inf + 0
10.688 * * [simplify]: Extracting #3: cost 7 inf + 325
10.688 * * [simplify]: Extracting #4: cost 1 inf + 1935
10.688 * * [simplify]: Extracting #5: cost 0 inf + 2939
10.688 * [simplify]: Simplified to (+.p16 (*.p16 (*.p16 c (real->posit16 4)) a) (*.p16 b b))
10.688 * [simplify]: Simplified (2 1 1 1 1 2) to (λ (a b c) (/.p16 (/.p16 (-.p16 (sqrt.p16 (/.p16 (-.p16 (*.p16 (*.p16 b b) (*.p16 b b)) (*.p16 (*.p16 c (*.p16 a (real->posit16 4))) (*.p16 c (*.p16 a (real->posit16 4))))) (+.p16 (*.p16 (*.p16 c (real->posit16 4)) a) (*.p16 b b)))) b) (real->posit16 2)) a))
10.688 * * * * [progress]: [ 6 / 9 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b) (real->posit16 2)) a))>
10.688 * [simplify]: Simplifying (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b) (real->posit16 2))
10.689 * * [simplify]: iters left: 6 (14 enodes)
10.692 * * [simplify]: iters left: 5 (39 enodes)
10.698 * * [simplify]: iters left: 4 (82 enodes)
10.726 * * [simplify]: iters left: 3 (278 enodes)
10.909 * * [simplify]: Extracting #0: cost 1 inf + 0
10.910 * * [simplify]: Extracting #1: cost 20 inf + 0
10.910 * * [simplify]: Extracting #2: cost 93 inf + 0
10.911 * * [simplify]: Extracting #3: cost 165 inf + 1447
10.912 * * [simplify]: Extracting #4: cost 225 inf + 6983
10.917 * * [simplify]: Extracting #5: cost 262 inf + 62452
10.945 * * [simplify]: Extracting #6: cost 134 inf + 391334
10.996 * * [simplify]: Extracting #7: cost 1 inf + 637568
11.049 * * [simplify]: Extracting #8: cost 0 inf + 640212
11.080 * [simplify]: Simplified to (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c))) b) (real->posit16 2))
11.080 * [simplify]: Simplified (2 1) to (λ (a b c) (/.p16 (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c))) b) (real->posit16 2)) a))
11.080 * * * * [progress]: [ 7 / 9 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b) (real->posit16 2)) a))>
11.081 * [simplify]: Simplifying (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b) (real->posit16 2))
11.081 * * [simplify]: iters left: 6 (14 enodes)
11.084 * * [simplify]: iters left: 5 (39 enodes)
11.096 * * [simplify]: iters left: 4 (82 enodes)
11.124 * * [simplify]: iters left: 3 (278 enodes)
11.243 * * [simplify]: Extracting #0: cost 1 inf + 0
11.243 * * [simplify]: Extracting #1: cost 20 inf + 0
11.243 * * [simplify]: Extracting #2: cost 93 inf + 0
11.244 * * [simplify]: Extracting #3: cost 165 inf + 1447
11.245 * * [simplify]: Extracting #4: cost 225 inf + 6983
11.247 * * [simplify]: Extracting #5: cost 262 inf + 62452
11.264 * * [simplify]: Extracting #6: cost 134 inf + 391334
11.317 * * [simplify]: Extracting #7: cost 1 inf + 637568
11.372 * * [simplify]: Extracting #8: cost 0 inf + 640212
11.425 * [simplify]: Simplified to (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c))) b) (real->posit16 2))
11.426 * [simplify]: Simplified (2 1) to (λ (a b c) (/.p16 (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c))) b) (real->posit16 2)) a))
11.426 * * * * [progress]: [ 8 / 9 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b) (real->posit16 2)) a))>
11.426 * [simplify]: Simplifying (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b) (real->posit16 2))
11.426 * * [simplify]: iters left: 6 (14 enodes)
11.433 * * [simplify]: iters left: 5 (39 enodes)
11.446 * * [simplify]: iters left: 4 (82 enodes)
11.482 * * [simplify]: iters left: 3 (278 enodes)
11.643 * * [simplify]: Extracting #0: cost 1 inf + 0
11.643 * * [simplify]: Extracting #1: cost 20 inf + 0
11.644 * * [simplify]: Extracting #2: cost 93 inf + 0
11.644 * * [simplify]: Extracting #3: cost 165 inf + 1447
11.646 * * [simplify]: Extracting #4: cost 225 inf + 6983
11.651 * * [simplify]: Extracting #5: cost 262 inf + 62452
11.679 * * [simplify]: Extracting #6: cost 134 inf + 391334
11.732 * * [simplify]: Extracting #7: cost 1 inf + 637568
11.786 * * [simplify]: Extracting #8: cost 0 inf + 640212
11.840 * [simplify]: Simplified to (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c))) b) (real->posit16 2))
11.840 * [simplify]: Simplified (2 1) to (λ (a b c) (/.p16 (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c))) b) (real->posit16 2)) a))
11.840 * * * * [progress]: [ 9 / 9 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b) (real->posit16 2)) a))>
11.840 * [simplify]: Simplifying (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b) (real->posit16 2))
11.840 * * [simplify]: iters left: 6 (14 enodes)
11.847 * * [simplify]: iters left: 5 (39 enodes)
11.860 * * [simplify]: iters left: 4 (82 enodes)
11.891 * * [simplify]: iters left: 3 (278 enodes)
12.012 * * [simplify]: Extracting #0: cost 1 inf + 0
12.012 * * [simplify]: Extracting #1: cost 20 inf + 0
12.012 * * [simplify]: Extracting #2: cost 93 inf + 0
12.013 * * [simplify]: Extracting #3: cost 165 inf + 1447
12.014 * * [simplify]: Extracting #4: cost 225 inf + 6983
12.016 * * [simplify]: Extracting #5: cost 262 inf + 62452
12.033 * * [simplify]: Extracting #6: cost 134 inf + 391334
12.058 * * [simplify]: Extracting #7: cost 1 inf + 637568
12.085 * * [simplify]: Extracting #8: cost 0 inf + 640212
12.128 * [simplify]: Simplified to (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c))) b) (real->posit16 2))
12.128 * [simplify]: Simplified (2 1) to (λ (a b c) (/.p16 (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c))) b) (real->posit16 2)) a))
12.128 * * * [progress]: adding candidates to table
12.333 * * [progress]: iteration 4 / 4
12.333 * * * [progress]: picking best candidate
12.436 * * * * [pick]: Picked  #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b) (real->posit16 2)) a))>
12.436 * * * [progress]: localizing error
12.742 * * * [progress]: generating rewritten candidates
12.742 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
12.746 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
12.746 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 2)
12.753 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
12.760 * * * [progress]: generating series expansions
12.761 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
12.761 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
12.761 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 2)
12.761 * * * * [progress]: [ 4 / 4 ] generating series at (2)
12.761 * * * [progress]: simplifying candidates
12.761 * * * * [progress]: [ 1 / 9 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (/.p16 (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) (neg.p16 b)) (real->posit16 2)) a))>
12.761 * [simplify]: Simplifying (neg.p16 b)
12.761 * * [simplify]: iters left: 1 (2 enodes)
12.762 * * [simplify]: Extracting #0: cost 1 inf + 0
12.762 * * [simplify]: Extracting #1: cost 2 inf + 0
12.762 * * [simplify]: Extracting #2: cost 1 inf + 1
12.762 * * [simplify]: Extracting #3: cost 0 inf + 82
12.762 * [simplify]: Simplified to (neg.p16 b)
12.762 * [simplify]: Simplified (2 1 1 2) to (λ (a b c) (/.p16 (/.p16 (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) (neg.p16 b)) (real->posit16 2)) a))
12.762 * * * * [progress]: [ 2 / 9 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (/.p16 (/.p16 (-.p16 (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4))))) (*.p16 b b)) (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b)) (real->posit16 2)) a))>
12.763 * [simplify]: Simplifying (-.p16 (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4))))) (*.p16 b b))
12.763 * * [simplify]: iters left: 6 (12 enodes)
12.769 * * [simplify]: iters left: 5 (39 enodes)
12.780 * * [simplify]: iters left: 4 (111 enodes)
12.808 * * [simplify]: iters left: 3 (427 enodes)
13.189 * * [simplify]: Extracting #0: cost 1 inf + 0
13.190 * * [simplify]: Extracting #1: cost 47 inf + 0
13.191 * * [simplify]: Extracting #2: cost 231 inf + 0
13.193 * * [simplify]: Extracting #3: cost 401 inf + 2895
13.208 * * [simplify]: Extracting #4: cost 493 inf + 166270
13.257 * * [simplify]: Extracting #5: cost 156 inf + 934505
13.326 * * [simplify]: Extracting #6: cost 2 inf + 1246967
13.441 * * [simplify]: Extracting #7: cost 0 inf + 1252975
13.530 * [simplify]: Simplified to (-.p16 (real->posit16 0.0) (*.p16 (*.p16 a c) (real->posit16 4)))
13.530 * [simplify]: Simplified (2 1 1 1) to (λ (a b c) (/.p16 (/.p16 (/.p16 (-.p16 (real->posit16 0.0) (*.p16 (*.p16 a c) (real->posit16 4))) (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b)) (real->posit16 2)) a))
13.530 * [simplify]: Simplifying (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b)
13.530 * * [simplify]: iters left: 5 (11 enodes)
13.534 * * [simplify]: iters left: 4 (30 enodes)
13.544 * * [simplify]: iters left: 3 (62 enodes)
13.571 * * [simplify]: iters left: 2 (181 enodes)
13.672 * * [simplify]: Extracting #0: cost 1 inf + 0
13.672 * * [simplify]: Extracting #1: cost 3 inf + 0
13.672 * * [simplify]: Extracting #2: cost 3 inf + 1
13.672 * * [simplify]: Extracting #3: cost 17 inf + 1
13.672 * * [simplify]: Extracting #4: cost 59 inf + 322
13.673 * * [simplify]: Extracting #5: cost 142 inf + 1287
13.675 * * [simplify]: Extracting #6: cost 199 inf + 13674
13.680 * * [simplify]: Extracting #7: cost 150 inf + 70160
13.699 * * [simplify]: Extracting #8: cost 22 inf + 303259
13.725 * * [simplify]: Extracting #9: cost 0 inf + 350576
13.746 * [simplify]: Simplified to (+.p16 b (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 a c) (real->posit16 4)))))
13.746 * [simplify]: Simplified (2 1 1 2) to (λ (a b c) (/.p16 (/.p16 (/.p16 (-.p16 (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4))))) (*.p16 b b)) (+.p16 b (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 a c) (real->posit16 4)))))) (real->posit16 2)) a))
13.746 * * * * [progress]: [ 3 / 9 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b) (real->posit16 2)) a))>
13.746 * [simplify]: Simplifying (*.p16 a (real->posit16 4))
13.746 * * [simplify]: iters left: 2 (4 enodes)
13.750 * * [simplify]: iters left: 1 (8 enodes)
13.751 * * [simplify]: Extracting #0: cost 1 inf + 0
13.751 * * [simplify]: Extracting #1: cost 3 inf + 0
13.751 * * [simplify]: Extracting #2: cost 3 inf + 1
13.751 * * [simplify]: Extracting #3: cost 0 inf + 325
13.751 * [simplify]: Simplified to (*.p16 a (real->posit16 4))
13.751 * [simplify]: Simplified (2 1 1 1 1 2 2) to (λ (a b c) (/.p16 (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b) (real->posit16 2)) a))
13.751 * * * * [progress]: [ 4 / 9 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 c a)))) b) (real->posit16 2)) a))>
13.752 * * * * [progress]: [ 5 / 9 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b) (*.p16 a (real->posit16 2))))>
13.752 * [simplify]: Simplifying (*.p16 a (real->posit16 2))
13.752 * * [simplify]: iters left: 2 (4 enodes)
13.753 * * [simplify]: iters left: 1 (8 enodes)
13.754 * * [simplify]: Extracting #0: cost 1 inf + 0
13.754 * * [simplify]: Extracting #1: cost 3 inf + 0
13.754 * * [simplify]: Extracting #2: cost 3 inf + 1
13.754 * * [simplify]: Extracting #3: cost 0 inf + 325
13.754 * [simplify]: Simplified to (*.p16 a (real->posit16 2))
13.754 * [simplify]: Simplified (2 2) to (λ (a b c) (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b) (*.p16 a (real->posit16 2))))
13.754 * * * * [progress]: [ 6 / 9 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b) (real->posit16 2)) a))>
13.754 * [simplify]: Simplifying (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b) (real->posit16 2))
13.755 * * [simplify]: iters left: 6 (14 enodes)
13.758 * * [simplify]: iters left: 5 (39 enodes)
13.764 * * [simplify]: iters left: 4 (82 enodes)
13.781 * * [simplify]: iters left: 3 (289 enodes)
13.899 * * [simplify]: Extracting #0: cost 1 inf + 0
13.899 * * [simplify]: Extracting #1: cost 20 inf + 0
13.899 * * [simplify]: Extracting #2: cost 93 inf + 0
13.900 * * [simplify]: Extracting #3: cost 165 inf + 1447
13.905 * * [simplify]: Extracting #4: cost 224 inf + 7305
13.907 * * [simplify]: Extracting #5: cost 248 inf + 62336
13.930 * * [simplify]: Extracting #6: cost 144 inf + 336290
13.964 * * [simplify]: Extracting #7: cost 9 inf + 591627
13.989 * * [simplify]: Extracting #8: cost 0 inf + 611378
14.028 * [simplify]: Simplified to (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 a c) (real->posit16 4)))) b) (real->posit16 2))
14.028 * [simplify]: Simplified (2 1) to (λ (a b c) (/.p16 (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 a c) (real->posit16 4)))) b) (real->posit16 2)) a))
14.028 * * * * [progress]: [ 7 / 9 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b) (real->posit16 2)) a))>
14.028 * [simplify]: Simplifying (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b) (real->posit16 2))
14.029 * * [simplify]: iters left: 6 (14 enodes)
14.032 * * [simplify]: iters left: 5 (39 enodes)
14.039 * * [simplify]: iters left: 4 (82 enodes)
14.056 * * [simplify]: iters left: 3 (289 enodes)
14.149 * * [simplify]: Extracting #0: cost 1 inf + 0
14.149 * * [simplify]: Extracting #1: cost 20 inf + 0
14.150 * * [simplify]: Extracting #2: cost 93 inf + 0
14.150 * * [simplify]: Extracting #3: cost 165 inf + 1447
14.151 * * [simplify]: Extracting #4: cost 224 inf + 7305
14.157 * * [simplify]: Extracting #5: cost 248 inf + 62336
14.169 * * [simplify]: Extracting #6: cost 144 inf + 336290
14.200 * * [simplify]: Extracting #7: cost 9 inf + 591627
14.230 * * [simplify]: Extracting #8: cost 0 inf + 611378
14.276 * [simplify]: Simplified to (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 a c) (real->posit16 4)))) b) (real->posit16 2))
14.276 * [simplify]: Simplified (2 1) to (λ (a b c) (/.p16 (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 a c) (real->posit16 4)))) b) (real->posit16 2)) a))
14.276 * * * * [progress]: [ 8 / 9 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b) (real->posit16 2)) a))>
14.276 * [simplify]: Simplifying (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b) (real->posit16 2))
14.276 * * [simplify]: iters left: 6 (14 enodes)
14.282 * * [simplify]: iters left: 5 (39 enodes)
14.295 * * [simplify]: iters left: 4 (82 enodes)
14.327 * * [simplify]: iters left: 3 (289 enodes)
14.486 * * [simplify]: Extracting #0: cost 1 inf + 0
14.487 * * [simplify]: Extracting #1: cost 20 inf + 0
14.487 * * [simplify]: Extracting #2: cost 93 inf + 0
14.488 * * [simplify]: Extracting #3: cost 165 inf + 1447
14.490 * * [simplify]: Extracting #4: cost 224 inf + 7305
14.501 * * [simplify]: Extracting #5: cost 248 inf + 62336
14.516 * * [simplify]: Extracting #6: cost 144 inf + 336290
14.541 * * [simplify]: Extracting #7: cost 9 inf + 591627
14.584 * * [simplify]: Extracting #8: cost 0 inf + 611378
14.621 * [simplify]: Simplified to (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 a c) (real->posit16 4)))) b) (real->posit16 2))
14.621 * [simplify]: Simplified (2 1) to (λ (a b c) (/.p16 (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 a c) (real->posit16 4)))) b) (real->posit16 2)) a))
14.621 * * * * [progress]: [ 9 / 9 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b) (real->posit16 2)) a))>
14.622 * [simplify]: Simplifying (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b) (real->posit16 2))
14.622 * * [simplify]: iters left: 6 (14 enodes)
14.629 * * [simplify]: iters left: 5 (39 enodes)
14.642 * * [simplify]: iters left: 4 (82 enodes)
14.670 * * [simplify]: iters left: 3 (289 enodes)
14.781 * * [simplify]: Extracting #0: cost 1 inf + 0
14.781 * * [simplify]: Extracting #1: cost 20 inf + 0
14.782 * * [simplify]: Extracting #2: cost 93 inf + 0
14.783 * * [simplify]: Extracting #3: cost 165 inf + 1447
14.784 * * [simplify]: Extracting #4: cost 224 inf + 7305
14.794 * * [simplify]: Extracting #5: cost 248 inf + 62336
14.817 * * [simplify]: Extracting #6: cost 144 inf + 336290
14.840 * * [simplify]: Extracting #7: cost 9 inf + 591627
14.866 * * [simplify]: Extracting #8: cost 0 inf + 611378
14.917 * [simplify]: Simplified to (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 a c) (real->posit16 4)))) b) (real->posit16 2))
14.917 * [simplify]: Simplified (2 1) to (λ (a b c) (/.p16 (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 a c) (real->posit16 4)))) b) (real->posit16 2)) a))
14.918 * * * [progress]: adding candidates to table
15.137 * [progress]: [Phase 3 of 3] Extracting.
15.137 * * [regime]: Finding splitpoints for: (#<alt (λ (a b c) (/.p16 (/.p16 (/.p16 (-.p16 (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4))))) (*.p16 b b)) (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b)) (real->posit16 2)) a))> #<alt (λ (a b c) (/.p16 (-.p16 (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4)))))) (*.p16 b b)) (*.p16 (*.p16 (real->posit16 2) a) (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b))))> #<alt (λ (a b c) (/.p16 (-.p16 (sqrt.p16 (/.p16 (-.p16 (*.p16 (*.p16 b b) (*.p16 b b)) (*.p16 (*.p16 c (*.p16 a (real->posit16 4))) (*.p16 c (*.p16 a (real->posit16 4))))) (+.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4)))))) b) (*.p16 (real->posit16 2) a)))> #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4)))))) (*.p16 b b)) (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b)) (*.p16 (real->posit16 2) a)))> #<alt (λ (a b c) (/.p16 (-.p16 (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4))))) (*.p16 b b)) (*.p16 (*.p16 (real->posit16 2) a) (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b))))> #<alt (λ (a b c) (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b) (*.p16 (real->posit16 2) a)))> #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b) (real->posit16 2)) a))>)
15.140 * * * [regime-changes]: Trying 3 branch expressions: (c a b)
15.141 * * * * [regimes]: Trying to branch on c from (#<alt (λ (a b c) (/.p16 (/.p16 (/.p16 (-.p16 (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4))))) (*.p16 b b)) (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b)) (real->posit16 2)) a))> #<alt (λ (a b c) (/.p16 (-.p16 (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4)))))) (*.p16 b b)) (*.p16 (*.p16 (real->posit16 2) a) (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b))))> #<alt (λ (a b c) (/.p16 (-.p16 (sqrt.p16 (/.p16 (-.p16 (*.p16 (*.p16 b b) (*.p16 b b)) (*.p16 (*.p16 c (*.p16 a (real->posit16 4))) (*.p16 c (*.p16 a (real->posit16 4))))) (+.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4)))))) b) (*.p16 (real->posit16 2) a)))> #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4)))))) (*.p16 b b)) (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b)) (*.p16 (real->posit16 2) a)))> #<alt (λ (a b c) (/.p16 (-.p16 (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4))))) (*.p16 b b)) (*.p16 (*.p16 (real->posit16 2) a) (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b))))> #<alt (λ (a b c) (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b) (*.p16 (real->posit16 2) a)))> #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b) (real->posit16 2)) a))>)
15.398 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a b c) (/.p16 (/.p16 (/.p16 (-.p16 (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4))))) (*.p16 b b)) (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b)) (real->posit16 2)) a))> #<alt (λ (a b c) (/.p16 (-.p16 (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4)))))) (*.p16 b b)) (*.p16 (*.p16 (real->posit16 2) a) (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b))))> #<alt (λ (a b c) (/.p16 (-.p16 (sqrt.p16 (/.p16 (-.p16 (*.p16 (*.p16 b b) (*.p16 b b)) (*.p16 (*.p16 c (*.p16 a (real->posit16 4))) (*.p16 c (*.p16 a (real->posit16 4))))) (+.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4)))))) b) (*.p16 (real->posit16 2) a)))> #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4)))))) (*.p16 b b)) (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b)) (*.p16 (real->posit16 2) a)))> #<alt (λ (a b c) (/.p16 (-.p16 (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4))))) (*.p16 b b)) (*.p16 (*.p16 (real->posit16 2) a) (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b))))> #<alt (λ (a b c) (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b) (*.p16 (real->posit16 2) a)))> #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b) (real->posit16 2)) a))>)
15.685 * * * * [regimes]: Trying to branch on b from (#<alt (λ (a b c) (/.p16 (/.p16 (/.p16 (-.p16 (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4))))) (*.p16 b b)) (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b)) (real->posit16 2)) a))> #<alt (λ (a b c) (/.p16 (-.p16 (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4)))))) (*.p16 b b)) (*.p16 (*.p16 (real->posit16 2) a) (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b))))> #<alt (λ (a b c) (/.p16 (-.p16 (sqrt.p16 (/.p16 (-.p16 (*.p16 (*.p16 b b) (*.p16 b b)) (*.p16 (*.p16 c (*.p16 a (real->posit16 4))) (*.p16 c (*.p16 a (real->posit16 4))))) (+.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4)))))) b) (*.p16 (real->posit16 2) a)))> #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4)))))) (*.p16 b b)) (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b)) (*.p16 (real->posit16 2) a)))> #<alt (λ (a b c) (/.p16 (-.p16 (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4))))) (*.p16 b b)) (*.p16 (*.p16 (real->posit16 2) a) (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b))))> #<alt (λ (a b c) (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b) (*.p16 (real->posit16 2) a)))> #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b) (real->posit16 2)) a))>)
15.971 * * * [regime]: Found split indices: #<option (#s(si 5 256))>
15.971 * [simplify]: Simplifying (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b) (*.p16 (real->posit16 2) a))
15.972 * * [simplify]: iters left: 6 (15 enodes)
15.974 * * [simplify]: Extracting #0: cost 1 inf + 0
15.974 * * [simplify]: Extracting #1: cost 3 inf + 0
15.974 * * [simplify]: Extracting #2: cost 7 inf + 0
15.974 * * [simplify]: Extracting #3: cost 7 inf + 2
15.974 * * [simplify]: Extracting #4: cost 6 inf + 326
15.974 * * [simplify]: Extracting #5: cost 7 inf + 647
15.974 * * [simplify]: Extracting #6: cost 7 inf + 648
15.974 * * [simplify]: Extracting #7: cost 8 inf + 648
15.974 * * [simplify]: Extracting #8: cost 6 inf + 650
15.975 * * [simplify]: Extracting #9: cost 4 inf + 1615
15.975 * * [simplify]: Extracting #10: cost 2 inf + 3743
15.975 * * [simplify]: Extracting #11: cost 0 inf + 6832
15.976 * [simplify]: Simplified to (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b) (*.p16 (real->posit16 2) a))
15.976 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
16.037 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
16.043 * * * * [points]: Setting MPFR precision to 64
16.045 * * * * [points]: Setting MPFR precision to 320
16.047 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
16.053 * * * * [points]: Setting MPFR precision to 64
16.057 * * * * [points]: Setting MPFR precision to 320
16.061 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
16.066 * * * * [points]: Setting MPFR precision to 64
16.074 * * * * [points]: Setting MPFR precision to 320
16.082 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
16.088 * * * * [points]: Setting MPFR precision to 64
16.104 * * * * [points]: Setting MPFR precision to 320
16.142 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
16.147 * * * * [points]: Setting MPFR precision to 64
16.182 * * * * [points]: Setting MPFR precision to 320
16.217 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
16.222 * * * * [points]: Setting MPFR precision to 64
16.286 * * * * [points]: Setting MPFR precision to 320
16.350 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
16.356 * * * * [points]: Setting MPFR precision to 64
16.535 * * * * [points]: Setting MPFR precision to 320
16.726 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
16.731 * * * * [points]: Setting MPFR precision to 64
17.044 * * * * [points]: Setting MPFR precision to 320
17.366 * * * * [points]: Computing exacts for 8000 points
17.372 * * * * [points]: Setting MPFR precision to 64
18.782 * * * * [points]: Setting MPFR precision to 320
19.715 * * * * [points]: Filtering points with unrepresentable outputs
19.792 * * * * [points]: Sampled 8000 points with exact outputs
25.842 * [regime-testing]: Baseline error score: 64.0
25.849 * [regime-testing]: Oracle error score: 64.0
25.869 * [regime-testing]: End program error score: 1.5343602820604152