0.002 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [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.190 * * * * [points]: Setting MPFR precision to 64
0.194 * * * * [points]: Setting MPFR precision to 320
0.196 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.201 * * * * [points]: Setting MPFR precision to 64
0.204 * * * * [points]: Setting MPFR precision to 320
0.207 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.212 * * * * [points]: Setting MPFR precision to 64
0.216 * * * * [points]: Setting MPFR precision to 320
0.224 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.229 * * * * [points]: Setting MPFR precision to 64
0.276 * * * * [points]: Setting MPFR precision to 320
0.289 * * * * [points]: Computing exacts for 256 points
0.295 * * * * [points]: Setting MPFR precision to 64
0.328 * * * * [points]: Setting MPFR precision to 320
0.355 * * * * [points]: Filtering points with unrepresentable outputs
0.357 * * * * [points]: Sampled 256 points with exact outputs
0.358 * * * [progress]: [2/2] Setting up program.
0.460 * [progress]: [Phase 2 of 3] Improving.
0.460 * * * * [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.462 * [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.463 * * [simplify]: iters left: 6 (16 enodes)
0.477 * * [simplify]: iters left: 5 (39 enodes)
0.525 * * [simplify]: iters left: 4 (72 enodes)
0.554 * * [simplify]: iters left: 3 (196 enodes)
0.753 * * [simplify]: Extracting #0: cost 1 inf + 0
0.753 * * [simplify]: Extracting #1: cost 5 inf + 0
0.754 * * [simplify]: Extracting #2: cost 11 inf + 1
0.754 * * [simplify]: Extracting #3: cost 16 inf + 2
0.754 * * [simplify]: Extracting #4: cost 26 inf + 807
0.755 * * [simplify]: Extracting #5: cost 66 inf + 1770
0.756 * * [simplify]: Extracting #6: cost 135 inf + 3695
0.759 * * [simplify]: Extracting #7: cost 208 inf + 14403
0.768 * * [simplify]: Extracting #8: cost 131 inf + 118590
0.790 * * [simplify]: Extracting #9: cost 26 inf + 311694
0.820 * * [simplify]: Extracting #10: cost 1 inf + 357657
0.843 * * [simplify]: Extracting #11: cost 0 inf + 361261
0.858 * [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.858 * [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.892 * * [progress]: iteration 1 / 4
0.892 * * * [progress]: picking best candidate
0.906 * * * * [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.906 * * * [progress]: localizing error
1.126 * * * [progress]: generating rewritten candidates
1.126 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
1.131 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
1.132 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 2)
1.138 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
1.147 * * * [progress]: generating series expansions
1.147 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
1.147 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
1.147 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 2)
1.147 * * * * [progress]: [ 4 / 4 ] generating series at (2)
1.147 * * * [progress]: simplifying candidates
1.147 * * * * [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.148 * [simplify]: Simplifying (neg.p16 b)
1.148 * * [simplify]: iters left: 1 (2 enodes)
1.149 * * [simplify]: Extracting #0: cost 1 inf + 0
1.149 * * [simplify]: Extracting #1: cost 2 inf + 0
1.149 * * [simplify]: Extracting #2: cost 1 inf + 1
1.149 * * [simplify]: Extracting #3: cost 0 inf + 82
1.149 * [simplify]: Simplified to (neg.p16 b)
1.149 * [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.149 * * * * [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.149 * [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.149 * * [simplify]: iters left: 6 (12 enodes)
1.155 * * [simplify]: iters left: 5 (39 enodes)
1.171 * * [simplify]: iters left: 4 (111 enodes)
1.201 * * [simplify]: iters left: 3 (427 enodes)
1.446 * * [simplify]: Extracting #0: cost 1 inf + 0
1.446 * * [simplify]: Extracting #1: cost 47 inf + 0
1.447 * * [simplify]: Extracting #2: cost 231 inf + 0
1.448 * * [simplify]: Extracting #3: cost 401 inf + 2895
1.455 * * [simplify]: Extracting #4: cost 493 inf + 166270
1.499 * * [simplify]: Extracting #5: cost 156 inf + 934505
1.581 * * [simplify]: Extracting #6: cost 2 inf + 1246967
1.658 * * [simplify]: Extracting #7: cost 0 inf + 1252975
1.719 * [simplify]: Simplified to (-.p16 (real->posit16 0.0) (*.p16 (*.p16 a c) (real->posit16 4)))
1.719 * [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.720 * [simplify]: Simplifying (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b)
1.720 * * [simplify]: iters left: 5 (11 enodes)
1.723 * * [simplify]: iters left: 4 (30 enodes)
1.728 * * [simplify]: iters left: 3 (62 enodes)
1.743 * * [simplify]: iters left: 2 (181 enodes)
1.813 * * [simplify]: Extracting #0: cost 1 inf + 0
1.813 * * [simplify]: Extracting #1: cost 3 inf + 0
1.813 * * [simplify]: Extracting #2: cost 3 inf + 1
1.813 * * [simplify]: Extracting #3: cost 17 inf + 1
1.814 * * [simplify]: Extracting #4: cost 59 inf + 322
1.814 * * [simplify]: Extracting #5: cost 142 inf + 1287
1.815 * * [simplify]: Extracting #6: cost 199 inf + 13674
1.818 * * [simplify]: Extracting #7: cost 150 inf + 70160
1.827 * * [simplify]: Extracting #8: cost 22 inf + 303259
1.840 * * [simplify]: Extracting #9: cost 0 inf + 350576
1.853 * [simplify]: Simplified to (+.p16 b (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 a c) (real->posit16 4)))))
1.853 * [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)))
1.853 * * * * [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)))>
1.854 * [simplify]: Simplifying (*.p16 a (real->posit16 4))
1.854 * * [simplify]: iters left: 2 (4 enodes)
1.855 * * [simplify]: iters left: 1 (8 enodes)
1.856 * * [simplify]: Extracting #0: cost 1 inf + 0
1.856 * * [simplify]: Extracting #1: cost 3 inf + 0
1.856 * * [simplify]: Extracting #2: cost 3 inf + 1
1.856 * * [simplify]: Extracting #3: cost 0 inf + 325
1.856 * [simplify]: Simplified to (*.p16 a (real->posit16 4))
1.856 * [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)))
1.856 * * * * [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)))>
1.856 * * * * [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))>
1.857 * [simplify]: Simplifying (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b) (real->posit16 2))
1.857 * * [simplify]: iters left: 6 (14 enodes)
1.860 * * [simplify]: iters left: 5 (39 enodes)
1.871 * * [simplify]: iters left: 4 (82 enodes)
1.890 * * [simplify]: iters left: 3 (289 enodes)
2.050 * * [simplify]: Extracting #0: cost 1 inf + 0
2.050 * * [simplify]: Extracting #1: cost 20 inf + 0
2.051 * * [simplify]: Extracting #2: cost 93 inf + 0
2.051 * * [simplify]: Extracting #3: cost 165 inf + 1447
2.053 * * [simplify]: Extracting #4: cost 224 inf + 7305
2.058 * * [simplify]: Extracting #5: cost 248 inf + 62336
2.087 * * [simplify]: Extracting #6: cost 144 inf + 336290
2.133 * * [simplify]: Extracting #7: cost 9 inf + 591627
2.159 * * [simplify]: Extracting #8: cost 0 inf + 611378
2.205 * [simplify]: Simplified to (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 a c) (real->posit16 4)))) b) (real->posit16 2))
2.205 * [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.205 * * * * [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.206 * [simplify]: Simplifying (*.p16 (*.p16 (real->posit16 2) a) (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b))
2.206 * * [simplify]: iters left: 6 (15 enodes)
2.214 * * [simplify]: iters left: 5 (45 enodes)
2.234 * * [simplify]: iters left: 4 (105 enodes)
2.269 * * [simplify]: iters left: 3 (240 enodes)
2.379 * * [simplify]: Extracting #0: cost 1 inf + 0
2.379 * * [simplify]: Extracting #1: cost 22 inf + 0
2.379 * * [simplify]: Extracting #2: cost 28 inf + 1
2.380 * * [simplify]: Extracting #3: cost 25 inf + 326
2.380 * * [simplify]: Extracting #4: cost 36 inf + 1613
2.381 * * [simplify]: Extracting #5: cost 77 inf + 1934
2.382 * * [simplify]: Extracting #6: cost 157 inf + 3859
2.384 * * [simplify]: Extracting #7: cost 227 inf + 10912
2.392 * * [simplify]: Extracting #8: cost 142 inf + 140387
2.418 * * [simplify]: Extracting #9: cost 24 inf + 361657
2.454 * * [simplify]: Extracting #10: cost 0 inf + 392588
2.483 * * [simplify]: Extracting #11: cost 0 inf + 390388
2.499 * [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.499 * [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.499 * * * * [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.499 * [simplify]: Simplifying (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b) (*.p16 (real->posit16 2) a))
2.499 * * [simplify]: iters left: 6 (15 enodes)
2.506 * * [simplify]: iters left: 5 (43 enodes)
2.522 * * [simplify]: iters left: 4 (88 enodes)
2.561 * * [simplify]: iters left: 3 (307 enodes)
2.726 * * [simplify]: Extracting #0: cost 1 inf + 0
2.726 * * [simplify]: Extracting #1: cost 31 inf + 0
2.727 * * [simplify]: Extracting #2: cost 125 inf + 1
2.728 * * [simplify]: Extracting #3: cost 193 inf + 2734
2.730 * * [simplify]: Extracting #4: cost 252 inf + 8914
2.735 * * [simplify]: Extracting #5: cost 286 inf + 56807
2.765 * * [simplify]: Extracting #6: cost 192 inf + 320040
2.802 * * [simplify]: Extracting #7: cost 14 inf + 651699
2.846 * * [simplify]: Extracting #8: cost 0 inf + 686273
2.885 * * [simplify]: Extracting #9: cost 0 inf + 685953
2.923 * [simplify]: Simplified to (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 a c) (real->posit16 4)))) b) (*.p16 a (real->posit16 2)))
2.923 * [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))))
2.923 * * * * [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)))>
2.923 * [simplify]: Simplifying (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b) (*.p16 (real->posit16 2) a))
2.923 * * [simplify]: iters left: 6 (15 enodes)
2.927 * * [simplify]: iters left: 5 (43 enodes)
2.936 * * [simplify]: iters left: 4 (88 enodes)
2.964 * * [simplify]: iters left: 3 (307 enodes)
3.112 * * [simplify]: Extracting #0: cost 1 inf + 0
3.113 * * [simplify]: Extracting #1: cost 31 inf + 0
3.113 * * [simplify]: Extracting #2: cost 125 inf + 1
3.114 * * [simplify]: Extracting #3: cost 193 inf + 2734
3.116 * * [simplify]: Extracting #4: cost 252 inf + 8914
3.121 * * [simplify]: Extracting #5: cost 286 inf + 56807
3.134 * * [simplify]: Extracting #6: cost 192 inf + 320040
3.173 * * [simplify]: Extracting #7: cost 14 inf + 651699
3.231 * * [simplify]: Extracting #8: cost 0 inf + 686273
3.289 * * [simplify]: Extracting #9: cost 0 inf + 685953
3.331 * [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.331 * [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.331 * * * * [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.332 * [simplify]: Simplifying (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b) (*.p16 (real->posit16 2) a))
3.332 * * [simplify]: iters left: 6 (15 enodes)
3.336 * * [simplify]: iters left: 5 (43 enodes)
3.343 * * [simplify]: iters left: 4 (88 enodes)
3.376 * * [simplify]: iters left: 3 (307 enodes)
3.547 * * [simplify]: Extracting #0: cost 1 inf + 0
3.547 * * [simplify]: Extracting #1: cost 31 inf + 0
3.547 * * [simplify]: Extracting #2: cost 125 inf + 1
3.548 * * [simplify]: Extracting #3: cost 193 inf + 2734
3.549 * * [simplify]: Extracting #4: cost 252 inf + 8914
3.551 * * [simplify]: Extracting #5: cost 286 inf + 56807
3.575 * * [simplify]: Extracting #6: cost 192 inf + 320040
3.623 * * [simplify]: Extracting #7: cost 14 inf + 651699
3.665 * * [simplify]: Extracting #8: cost 0 inf + 686273
3.716 * * [simplify]: Extracting #9: cost 0 inf + 685953
3.748 * [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.748 * [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.748 * * * * [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)))>
3.748 * [simplify]: Simplifying (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b) (*.p16 (real->posit16 2) a))
3.748 * * [simplify]: iters left: 6 (15 enodes)
3.752 * * [simplify]: iters left: 5 (43 enodes)
3.766 * * [simplify]: iters left: 4 (88 enodes)
3.796 * * [simplify]: iters left: 3 (307 enodes)
3.967 * * [simplify]: Extracting #0: cost 1 inf + 0
3.968 * * [simplify]: Extracting #1: cost 31 inf + 0
3.968 * * [simplify]: Extracting #2: cost 125 inf + 1
3.968 * * [simplify]: Extracting #3: cost 193 inf + 2734
3.969 * * [simplify]: Extracting #4: cost 252 inf + 8914
3.972 * * [simplify]: Extracting #5: cost 286 inf + 56807
3.985 * * [simplify]: Extracting #6: cost 192 inf + 320040
4.022 * * [simplify]: Extracting #7: cost 14 inf + 651699
4.051 * * [simplify]: Extracting #8: cost 0 inf + 686273
4.105 * * [simplify]: Extracting #9: cost 0 inf + 685953
4.134 * [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.134 * [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.134 * * * [progress]: adding candidates to table
4.533 * * [progress]: iteration 2 / 4
4.533 * * * [progress]: picking best candidate
4.604 * * * * [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)))>
4.604 * * * [progress]: localizing error
4.826 * * * [progress]: generating rewritten candidates
4.827 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
4.830 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
4.830 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
4.837 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
4.847 * * * [progress]: generating series expansions
4.847 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
4.847 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
4.847 * * * * [progress]: [ 3 / 4 ] generating series at (2)
4.847 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
4.848 * * * [progress]: simplifying candidates
4.848 * * * * [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)))>
4.848 * [simplify]: Simplifying (neg.p16 b)
4.848 * * [simplify]: iters left: 1 (2 enodes)
4.849 * * [simplify]: Extracting #0: cost 1 inf + 0
4.849 * * [simplify]: Extracting #1: cost 2 inf + 0
4.849 * * [simplify]: Extracting #2: cost 1 inf + 1
4.849 * * [simplify]: Extracting #3: cost 0 inf + 82
4.849 * [simplify]: Simplified to (neg.p16 b)
4.849 * [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)))
4.849 * * * * [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)))>
4.849 * [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))
4.849 * * [simplify]: iters left: 6 (12 enodes)
4.856 * * [simplify]: iters left: 5 (39 enodes)
4.871 * * [simplify]: iters left: 4 (111 enodes)
4.932 * * [simplify]: iters left: 3 (424 enodes)
5.295 * * [simplify]: Extracting #0: cost 1 inf + 0
5.296 * * [simplify]: Extracting #1: cost 47 inf + 0
5.297 * * [simplify]: Extracting #2: cost 231 inf + 0
5.299 * * [simplify]: Extracting #3: cost 401 inf + 2894
5.314 * * [simplify]: Extracting #4: cost 477 inf + 189684
5.390 * * [simplify]: Extracting #5: cost 205 inf + 818645
5.471 * * [simplify]: Extracting #6: cost 11 inf + 1218752
5.562 * * [simplify]: Extracting #7: cost 0 inf + 1243040
5.676 * [simplify]: Simplified to (-.p16 (real->posit16 0.0) (*.p16 (*.p16 (real->posit16 4) a) c))
5.677 * [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)))
5.677 * [simplify]: Simplifying (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b)
5.677 * * [simplify]: iters left: 6 (11 enodes)
5.680 * * [simplify]: iters left: 5 (30 enodes)
5.685 * * [simplify]: iters left: 4 (62 enodes)
5.698 * * [simplify]: iters left: 3 (175 enodes)
5.787 * * [simplify]: Extracting #0: cost 1 inf + 0
5.787 * * [simplify]: Extracting #1: cost 3 inf + 0
5.787 * * [simplify]: Extracting #2: cost 3 inf + 1
5.787 * * [simplify]: Extracting #3: cost 17 inf + 1
5.788 * * [simplify]: Extracting #4: cost 59 inf + 322
5.788 * * [simplify]: Extracting #5: cost 134 inf + 1287
5.789 * * [simplify]: Extracting #6: cost 200 inf + 13681
5.793 * * [simplify]: Extracting #7: cost 121 inf + 136896
5.805 * * [simplify]: Extracting #8: cost 11 inf + 328936
5.824 * * [simplify]: Extracting #9: cost 1 inf + 344412
5.851 * * [simplify]: Extracting #10: cost 0 inf + 348016
5.881 * [simplify]: Simplified to (+.p16 b (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c))))
5.881 * [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)))
5.882 * * * * [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))>
5.882 * [simplify]: Simplifying (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b) (real->posit16 2))
5.882 * * [simplify]: iters left: 6 (14 enodes)
5.889 * * [simplify]: iters left: 5 (39 enodes)
5.903 * * [simplify]: iters left: 4 (82 enodes)
5.921 * * [simplify]: iters left: 3 (278 enodes)
6.022 * * [simplify]: Extracting #0: cost 1 inf + 0
6.022 * * [simplify]: Extracting #1: cost 20 inf + 0
6.023 * * [simplify]: Extracting #2: cost 93 inf + 0
6.023 * * [simplify]: Extracting #3: cost 165 inf + 1447
6.024 * * [simplify]: Extracting #4: cost 225 inf + 6983
6.026 * * [simplify]: Extracting #5: cost 262 inf + 62452
6.040 * * [simplify]: Extracting #6: cost 134 inf + 391334
6.066 * * [simplify]: Extracting #7: cost 1 inf + 637568
6.097 * * [simplify]: Extracting #8: cost 0 inf + 640212
6.152 * [simplify]: Simplified to (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c))) b) (real->posit16 2))
6.153 * [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.153 * * * * [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.153 * [simplify]: Simplifying (*.p16 (*.p16 (real->posit16 2) a) (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b))
6.153 * * [simplify]: iters left: 6 (15 enodes)
6.160 * * [simplify]: iters left: 5 (45 enodes)
6.172 * * [simplify]: iters left: 4 (105 enodes)
6.193 * * [simplify]: iters left: 3 (235 enodes)
6.283 * * [simplify]: Extracting #0: cost 1 inf + 0
6.283 * * [simplify]: Extracting #1: cost 24 inf + 0
6.283 * * [simplify]: Extracting #2: cost 30 inf + 1
6.283 * * [simplify]: Extracting #3: cost 26 inf + 648
6.284 * * [simplify]: Extracting #4: cost 38 inf + 1613
6.284 * * [simplify]: Extracting #5: cost 79 inf + 1934
6.284 * * [simplify]: Extracting #6: cost 156 inf + 2576
6.288 * * [simplify]: Extracting #7: cost 244 inf + 8025
6.291 * * [simplify]: Extracting #8: cost 192 inf + 68386
6.300 * * [simplify]: Extracting #9: cost 58 inf + 290631
6.318 * * [simplify]: Extracting #10: cost 1 inf + 408340
6.348 * * [simplify]: Extracting #11: cost 0 inf + 408264
6.365 * [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.365 * [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.365 * * * * [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.365 * [simplify]: Simplifying (neg.p16 (*.p16 c (*.p16 a (real->posit16 4))))
6.365 * * [simplify]: iters left: 4 (7 enodes)
6.367 * * [simplify]: iters left: 3 (16 enodes)
6.370 * * [simplify]: iters left: 2 (22 enodes)
6.373 * * [simplify]: iters left: 1 (23 enodes)
6.376 * * [simplify]: Extracting #0: cost 1 inf + 0
6.376 * * [simplify]: Extracting #1: cost 2 inf + 0
6.376 * * [simplify]: Extracting #2: cost 8 inf + 0
6.376 * * [simplify]: Extracting #3: cost 7 inf + 2
6.376 * * [simplify]: Extracting #4: cost 5 inf + 325
6.376 * * [simplify]: Extracting #5: cost 1 inf + 2014
6.376 * * [simplify]: Extracting #6: cost 0 inf + 2336
6.376 * [simplify]: Simplified to (neg.p16 (*.p16 c (*.p16 a (real->posit16 4))))
6.376 * [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.376 * * * * [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.377 * [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.377 * * [simplify]: iters left: 5 (11 enodes)
6.383 * * [simplify]: iters left: 4 (40 enodes)
6.400 * * [simplify]: iters left: 3 (105 enodes)
6.455 * * [simplify]: iters left: 2 (407 enodes)
6.889 * * [simplify]: Extracting #0: cost 1 inf + 0
6.889 * * [simplify]: Extracting #1: cost 32 inf + 0
6.890 * * [simplify]: Extracting #2: cost 199 inf + 0
6.893 * * [simplify]: Extracting #3: cost 350 inf + 2571
6.899 * * [simplify]: Extracting #4: cost 491 inf + 119933
6.935 * * [simplify]: Extracting #5: cost 190 inf + 693721
7.031 * * [simplify]: Extracting #6: cost 13 inf + 1107241
7.088 * * [simplify]: Extracting #7: cost 0 inf + 1142772
7.167 * [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.168 * [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.168 * [simplify]: Simplifying (+.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))
7.168 * * [simplify]: iters left: 4 (9 enodes)
7.170 * * [simplify]: iters left: 3 (21 enodes)
7.174 * * [simplify]: iters left: 2 (27 enodes)
7.178 * * [simplify]: iters left: 1 (28 enodes)
7.186 * * [simplify]: Extracting #0: cost 1 inf + 0
7.187 * * [simplify]: Extracting #1: cost 3 inf + 0
7.187 * * [simplify]: Extracting #2: cost 10 inf + 0
7.187 * * [simplify]: Extracting #3: cost 7 inf + 325
7.187 * * [simplify]: Extracting #4: cost 1 inf + 1935
7.187 * * [simplify]: Extracting #5: cost 0 inf + 2939
7.188 * [simplify]: Simplified to (+.p16 (*.p16 (*.p16 c (real->posit16 4)) a) (*.p16 b b))
7.188 * [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.188 * * * * [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.188 * [simplify]: Simplifying (*.p16 a (real->posit16 4))
7.188 * * [simplify]: iters left: 2 (4 enodes)
7.190 * * [simplify]: iters left: 1 (8 enodes)
7.193 * * [simplify]: Extracting #0: cost 1 inf + 0
7.193 * * [simplify]: Extracting #1: cost 3 inf + 0
7.193 * * [simplify]: Extracting #2: cost 3 inf + 1
7.193 * * [simplify]: Extracting #3: cost 0 inf + 325
7.193 * [simplify]: Simplified to (*.p16 a (real->posit16 4))
7.193 * [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.193 * * * * [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.194 * [simplify]: Simplifying (*.p16 a (real->posit16 4))
7.194 * * [simplify]: iters left: 2 (4 enodes)
7.196 * * [simplify]: iters left: 1 (8 enodes)
7.198 * * [simplify]: Extracting #0: cost 1 inf + 0
7.198 * * [simplify]: Extracting #1: cost 3 inf + 0
7.198 * * [simplify]: Extracting #2: cost 3 inf + 1
7.198 * * [simplify]: Extracting #3: cost 0 inf + 325
7.198 * [simplify]: Simplified to (*.p16 a (real->posit16 4))
7.199 * [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.199 * * * * [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.199 * [simplify]: Simplifying (*.p16 a (real->posit16 4))
7.199 * * [simplify]: iters left: 2 (4 enodes)
7.201 * * [simplify]: iters left: 1 (8 enodes)
7.203 * * [simplify]: Extracting #0: cost 1 inf + 0
7.204 * * [simplify]: Extracting #1: cost 3 inf + 0
7.204 * * [simplify]: Extracting #2: cost 3 inf + 1
7.204 * * [simplify]: Extracting #3: cost 0 inf + 325
7.204 * [simplify]: Simplified to (*.p16 a (real->posit16 4))
7.204 * [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.204 * * * * [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.204 * [simplify]: Simplifying (*.p16 a (real->posit16 4))
7.204 * * [simplify]: iters left: 2 (4 enodes)
7.206 * * [simplify]: iters left: 1 (8 enodes)
7.209 * * [simplify]: Extracting #0: cost 1 inf + 0
7.209 * * [simplify]: Extracting #1: cost 3 inf + 0
7.209 * * [simplify]: Extracting #2: cost 3 inf + 1
7.209 * * [simplify]: Extracting #3: cost 0 inf + 325
7.209 * [simplify]: Simplified to (*.p16 a (real->posit16 4))
7.209 * [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.210 * * * [progress]: adding candidates to table
8.017 * * [progress]: iteration 3 / 4
8.017 * * * [progress]: picking best candidate
8.163 * * * * [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.163 * * * [progress]: localizing error
8.440 * * * [progress]: generating rewritten candidates
8.441 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
8.444 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
8.445 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
8.452 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1)
8.462 * * * [progress]: generating series expansions
8.462 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
8.462 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
8.462 * * * * [progress]: [ 3 / 4 ] generating series at (2)
8.462 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1)
8.462 * * * [progress]: simplifying candidates
8.462 * * * * [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.462 * [simplify]: Simplifying (neg.p16 b)
8.462 * * [simplify]: iters left: 1 (2 enodes)
8.463 * * [simplify]: Extracting #0: cost 1 inf + 0
8.463 * * [simplify]: Extracting #1: cost 2 inf + 0
8.463 * * [simplify]: Extracting #2: cost 1 inf + 1
8.463 * * [simplify]: Extracting #3: cost 0 inf + 82
8.463 * [simplify]: Simplified to (neg.p16 b)
8.464 * [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.464 * * * * [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.464 * [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.464 * * [simplify]: iters left: 6 (12 enodes)
8.468 * * [simplify]: iters left: 5 (39 enodes)
8.476 * * [simplify]: iters left: 4 (111 enodes)
8.531 * * [simplify]: iters left: 3 (424 enodes)
8.887 * * [simplify]: Extracting #0: cost 1 inf + 0
8.887 * * [simplify]: Extracting #1: cost 47 inf + 0
8.888 * * [simplify]: Extracting #2: cost 231 inf + 0
8.891 * * [simplify]: Extracting #3: cost 401 inf + 2894
8.899 * * [simplify]: Extracting #4: cost 477 inf + 189684
8.959 * * [simplify]: Extracting #5: cost 205 inf + 818645
9.066 * * [simplify]: Extracting #6: cost 11 inf + 1218752
9.154 * * [simplify]: Extracting #7: cost 0 inf + 1243040
9.268 * [simplify]: Simplified to (-.p16 (real->posit16 0.0) (*.p16 (*.p16 (real->posit16 4) a) c))
9.268 * [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.268 * [simplify]: Simplifying (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b)
9.268 * * [simplify]: iters left: 6 (11 enodes)
9.274 * * [simplify]: iters left: 5 (30 enodes)
9.284 * * [simplify]: iters left: 4 (62 enodes)
9.309 * * [simplify]: iters left: 3 (175 enodes)
9.429 * * [simplify]: Extracting #0: cost 1 inf + 0
9.430 * * [simplify]: Extracting #1: cost 3 inf + 0
9.430 * * [simplify]: Extracting #2: cost 3 inf + 1
9.430 * * [simplify]: Extracting #3: cost 17 inf + 1
9.430 * * [simplify]: Extracting #4: cost 59 inf + 322
9.431 * * [simplify]: Extracting #5: cost 134 inf + 1287
9.433 * * [simplify]: Extracting #6: cost 200 inf + 13681
9.441 * * [simplify]: Extracting #7: cost 121 inf + 136896
9.463 * * [simplify]: Extracting #8: cost 11 inf + 328936
9.488 * * [simplify]: Extracting #9: cost 1 inf + 344412
9.515 * * [simplify]: Extracting #10: cost 0 inf + 348016
9.546 * [simplify]: Simplified to (+.p16 b (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c))))
9.546 * [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.546 * * * * [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.547 * [simplify]: Simplifying (*.p16 a (real->posit16 2))
9.547 * * [simplify]: iters left: 2 (4 enodes)
9.549 * * [simplify]: iters left: 1 (8 enodes)
9.551 * * [simplify]: Extracting #0: cost 1 inf + 0
9.552 * * [simplify]: Extracting #1: cost 3 inf + 0
9.552 * * [simplify]: Extracting #2: cost 3 inf + 1
9.552 * * [simplify]: Extracting #3: cost 0 inf + 325
9.552 * [simplify]: Simplified to (*.p16 a (real->posit16 2))
9.552 * [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.552 * * * * [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.552 * [simplify]: Simplifying (neg.p16 (*.p16 c (*.p16 a (real->posit16 4))))
9.552 * * [simplify]: iters left: 4 (7 enodes)
9.556 * * [simplify]: iters left: 3 (16 enodes)
9.560 * * [simplify]: iters left: 2 (22 enodes)
9.567 * * [simplify]: iters left: 1 (23 enodes)
9.571 * * [simplify]: Extracting #0: cost 1 inf + 0
9.571 * * [simplify]: Extracting #1: cost 2 inf + 0
9.572 * * [simplify]: Extracting #2: cost 8 inf + 0
9.572 * * [simplify]: Extracting #3: cost 7 inf + 2
9.572 * * [simplify]: Extracting #4: cost 5 inf + 325
9.572 * * [simplify]: Extracting #5: cost 1 inf + 2014
9.572 * * [simplify]: Extracting #6: cost 0 inf + 2336
9.572 * [simplify]: Simplified to (neg.p16 (*.p16 c (*.p16 a (real->posit16 4))))
9.572 * [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.572 * * * * [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.572 * [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.572 * * [simplify]: iters left: 5 (11 enodes)
9.575 * * [simplify]: iters left: 4 (40 enodes)
9.585 * * [simplify]: iters left: 3 (105 enodes)
9.625 * * [simplify]: iters left: 2 (407 enodes)
10.019 * * [simplify]: Extracting #0: cost 1 inf + 0
10.019 * * [simplify]: Extracting #1: cost 32 inf + 0
10.020 * * [simplify]: Extracting #2: cost 199 inf + 0
10.022 * * [simplify]: Extracting #3: cost 350 inf + 2571
10.036 * * [simplify]: Extracting #4: cost 491 inf + 119933
10.098 * * [simplify]: Extracting #5: cost 190 inf + 693721
10.195 * * [simplify]: Extracting #6: cost 13 inf + 1107241
10.301 * * [simplify]: Extracting #7: cost 0 inf + 1142772
10.360 * [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.360 * [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.360 * [simplify]: Simplifying (+.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))
10.360 * * [simplify]: iters left: 4 (9 enodes)
10.363 * * [simplify]: iters left: 3 (21 enodes)
10.367 * * [simplify]: iters left: 2 (27 enodes)
10.371 * * [simplify]: iters left: 1 (28 enodes)
10.377 * * [simplify]: Extracting #0: cost 1 inf + 0
10.377 * * [simplify]: Extracting #1: cost 3 inf + 0
10.377 * * [simplify]: Extracting #2: cost 10 inf + 0
10.377 * * [simplify]: Extracting #3: cost 7 inf + 325
10.378 * * [simplify]: Extracting #4: cost 1 inf + 1935
10.378 * * [simplify]: Extracting #5: cost 0 inf + 2939
10.378 * [simplify]: Simplified to (+.p16 (*.p16 (*.p16 c (real->posit16 4)) a) (*.p16 b b))
10.378 * [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.378 * * * * [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.378 * [simplify]: Simplifying (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b) (real->posit16 2))
10.378 * * [simplify]: iters left: 6 (14 enodes)
10.382 * * [simplify]: iters left: 5 (39 enodes)
10.395 * * [simplify]: iters left: 4 (82 enodes)
10.416 * * [simplify]: iters left: 3 (278 enodes)
10.537 * * [simplify]: Extracting #0: cost 1 inf + 0
10.537 * * [simplify]: Extracting #1: cost 20 inf + 0
10.538 * * [simplify]: Extracting #2: cost 93 inf + 0
10.538 * * [simplify]: Extracting #3: cost 165 inf + 1447
10.540 * * [simplify]: Extracting #4: cost 225 inf + 6983
10.551 * * [simplify]: Extracting #5: cost 262 inf + 62452
10.580 * * [simplify]: Extracting #6: cost 134 inf + 391334
10.628 * * [simplify]: Extracting #7: cost 1 inf + 637568
10.663 * * [simplify]: Extracting #8: cost 0 inf + 640212
10.708 * [simplify]: Simplified to (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c))) b) (real->posit16 2))
10.708 * [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))
10.709 * * * * [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))>
10.709 * [simplify]: Simplifying (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b) (real->posit16 2))
10.709 * * [simplify]: iters left: 6 (14 enodes)
10.716 * * [simplify]: iters left: 5 (39 enodes)
10.730 * * [simplify]: iters left: 4 (82 enodes)
10.765 * * [simplify]: iters left: 3 (278 enodes)
10.918 * * [simplify]: Extracting #0: cost 1 inf + 0
10.918 * * [simplify]: Extracting #1: cost 20 inf + 0
10.918 * * [simplify]: Extracting #2: cost 93 inf + 0
10.919 * * [simplify]: Extracting #3: cost 165 inf + 1447
10.920 * * [simplify]: Extracting #4: cost 225 inf + 6983
10.922 * * [simplify]: Extracting #5: cost 262 inf + 62452
10.937 * * [simplify]: Extracting #6: cost 134 inf + 391334
10.988 * * [simplify]: Extracting #7: cost 1 inf + 637568
11.041 * * [simplify]: Extracting #8: cost 0 inf + 640212
11.087 * [simplify]: Simplified to (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c))) b) (real->posit16 2))
11.087 * [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.087 * * * * [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.088 * [simplify]: Simplifying (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b) (real->posit16 2))
11.088 * * [simplify]: iters left: 6 (14 enodes)
11.091 * * [simplify]: iters left: 5 (39 enodes)
11.099 * * [simplify]: iters left: 4 (82 enodes)
11.117 * * [simplify]: iters left: 3 (278 enodes)
11.295 * * [simplify]: Extracting #0: cost 1 inf + 0
11.295 * * [simplify]: Extracting #1: cost 20 inf + 0
11.295 * * [simplify]: Extracting #2: cost 93 inf + 0
11.296 * * [simplify]: Extracting #3: cost 165 inf + 1447
11.296 * * [simplify]: Extracting #4: cost 225 inf + 6983
11.299 * * [simplify]: Extracting #5: cost 262 inf + 62452
11.313 * * [simplify]: Extracting #6: cost 134 inf + 391334
11.348 * * [simplify]: Extracting #7: cost 1 inf + 637568
11.380 * * [simplify]: Extracting #8: cost 0 inf + 640212
11.411 * [simplify]: Simplified to (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c))) b) (real->posit16 2))
11.411 * [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.411 * * * * [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.411 * [simplify]: Simplifying (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b) (real->posit16 2))
11.411 * * [simplify]: iters left: 6 (14 enodes)
11.415 * * [simplify]: iters left: 5 (39 enodes)
11.422 * * [simplify]: iters left: 4 (82 enodes)
11.453 * * [simplify]: iters left: 3 (278 enodes)
11.592 * * [simplify]: Extracting #0: cost 1 inf + 0
11.592 * * [simplify]: Extracting #1: cost 20 inf + 0
11.592 * * [simplify]: Extracting #2: cost 93 inf + 0
11.592 * * [simplify]: Extracting #3: cost 165 inf + 1447
11.593 * * [simplify]: Extracting #4: cost 225 inf + 6983
11.596 * * [simplify]: Extracting #5: cost 262 inf + 62452
11.610 * * [simplify]: Extracting #6: cost 134 inf + 391334
11.652 * * [simplify]: Extracting #7: cost 1 inf + 637568
11.709 * * [simplify]: Extracting #8: cost 0 inf + 640212
11.763 * [simplify]: Simplified to (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c))) b) (real->posit16 2))
11.763 * [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.763 * * * [progress]: adding candidates to table
12.118 * * [progress]: iteration 4 / 4
12.118 * * * [progress]: picking best candidate
12.292 * * * * [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.293 * * * [progress]: localizing error
12.482 * * * [progress]: generating rewritten candidates
12.482 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
12.484 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
12.484 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 2)
12.488 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
12.491 * * * [progress]: generating series expansions
12.491 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
12.491 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
12.491 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 2)
12.491 * * * * [progress]: [ 4 / 4 ] generating series at (2)
12.491 * * * [progress]: simplifying candidates
12.491 * * * * [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.491 * [simplify]: Simplifying (neg.p16 b)
12.491 * * [simplify]: iters left: 1 (2 enodes)
12.492 * * [simplify]: Extracting #0: cost 1 inf + 0
12.492 * * [simplify]: Extracting #1: cost 2 inf + 0
12.492 * * [simplify]: Extracting #2: cost 1 inf + 1
12.492 * * [simplify]: Extracting #3: cost 0 inf + 82
12.492 * [simplify]: Simplified to (neg.p16 b)
12.492 * [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.492 * * * * [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.492 * [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.492 * * [simplify]: iters left: 6 (12 enodes)
12.495 * * [simplify]: iters left: 5 (39 enodes)
12.503 * * [simplify]: iters left: 4 (111 enodes)
12.536 * * [simplify]: iters left: 3 (427 enodes)
12.791 * * [simplify]: Extracting #0: cost 1 inf + 0
12.791 * * [simplify]: Extracting #1: cost 47 inf + 0
12.792 * * [simplify]: Extracting #2: cost 231 inf + 0
12.793 * * [simplify]: Extracting #3: cost 401 inf + 2895
12.800 * * [simplify]: Extracting #4: cost 493 inf + 166270
12.839 * * [simplify]: Extracting #5: cost 156 inf + 934505
12.919 * * [simplify]: Extracting #6: cost 2 inf + 1246967
13.034 * * [simplify]: Extracting #7: cost 0 inf + 1252975
13.144 * [simplify]: Simplified to (-.p16 (real->posit16 0.0) (*.p16 (*.p16 a c) (real->posit16 4)))
13.144 * [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.144 * [simplify]: Simplifying (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b)
13.144 * * [simplify]: iters left: 5 (11 enodes)
13.147 * * [simplify]: iters left: 4 (30 enodes)
13.152 * * [simplify]: iters left: 3 (62 enodes)
13.167 * * [simplify]: iters left: 2 (181 enodes)
13.269 * * [simplify]: Extracting #0: cost 1 inf + 0
13.269 * * [simplify]: Extracting #1: cost 3 inf + 0
13.269 * * [simplify]: Extracting #2: cost 3 inf + 1
13.269 * * [simplify]: Extracting #3: cost 17 inf + 1
13.269 * * [simplify]: Extracting #4: cost 59 inf + 322
13.269 * * [simplify]: Extracting #5: cost 142 inf + 1287
13.270 * * [simplify]: Extracting #6: cost 199 inf + 13674
13.276 * * [simplify]: Extracting #7: cost 150 inf + 70160
13.286 * * [simplify]: Extracting #8: cost 22 inf + 303259
13.300 * * [simplify]: Extracting #9: cost 0 inf + 350576
13.314 * [simplify]: Simplified to (+.p16 b (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 a c) (real->posit16 4)))))
13.314 * [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.314 * * * * [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.315 * [simplify]: Simplifying (*.p16 a (real->posit16 4))
13.315 * * [simplify]: iters left: 2 (4 enodes)
13.316 * * [simplify]: iters left: 1 (8 enodes)
13.317 * * [simplify]: Extracting #0: cost 1 inf + 0
13.317 * * [simplify]: Extracting #1: cost 3 inf + 0
13.317 * * [simplify]: Extracting #2: cost 3 inf + 1
13.317 * * [simplify]: Extracting #3: cost 0 inf + 325
13.317 * [simplify]: Simplified to (*.p16 a (real->posit16 4))
13.317 * [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.317 * * * * [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.317 * * * * [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.318 * [simplify]: Simplifying (*.p16 a (real->posit16 2))
13.318 * * [simplify]: iters left: 2 (4 enodes)
13.319 * * [simplify]: iters left: 1 (8 enodes)
13.320 * * [simplify]: Extracting #0: cost 1 inf + 0
13.320 * * [simplify]: Extracting #1: cost 3 inf + 0
13.320 * * [simplify]: Extracting #2: cost 3 inf + 1
13.320 * * [simplify]: Extracting #3: cost 0 inf + 325
13.320 * [simplify]: Simplified to (*.p16 a (real->posit16 2))
13.320 * [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.320 * * * * [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.320 * [simplify]: Simplifying (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b) (real->posit16 2))
13.320 * * [simplify]: iters left: 6 (14 enodes)
13.324 * * [simplify]: iters left: 5 (39 enodes)
13.331 * * [simplify]: iters left: 4 (82 enodes)
13.349 * * [simplify]: iters left: 3 (289 enodes)
13.469 * * [simplify]: Extracting #0: cost 1 inf + 0
13.469 * * [simplify]: Extracting #1: cost 20 inf + 0
13.469 * * [simplify]: Extracting #2: cost 93 inf + 0
13.470 * * [simplify]: Extracting #3: cost 165 inf + 1447
13.472 * * [simplify]: Extracting #4: cost 224 inf + 7305
13.475 * * [simplify]: Extracting #5: cost 248 inf + 62336
13.489 * * [simplify]: Extracting #6: cost 144 inf + 336290
13.515 * * [simplify]: Extracting #7: cost 9 inf + 591627
13.554 * * [simplify]: Extracting #8: cost 0 inf + 611378
13.590 * [simplify]: Simplified to (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 a c) (real->posit16 4)))) b) (real->posit16 2))
13.590 * [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))
13.591 * * * * [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))>
13.591 * [simplify]: Simplifying (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b) (real->posit16 2))
13.591 * * [simplify]: iters left: 6 (14 enodes)
13.598 * * [simplify]: iters left: 5 (39 enodes)
13.607 * * [simplify]: iters left: 4 (82 enodes)
13.625 * * [simplify]: iters left: 3 (289 enodes)
13.744 * * [simplify]: Extracting #0: cost 1 inf + 0
13.744 * * [simplify]: Extracting #1: cost 20 inf + 0
13.744 * * [simplify]: Extracting #2: cost 93 inf + 0
13.744 * * [simplify]: Extracting #3: cost 165 inf + 1447
13.745 * * [simplify]: Extracting #4: cost 224 inf + 7305
13.747 * * [simplify]: Extracting #5: cost 248 inf + 62336
13.760 * * [simplify]: Extracting #6: cost 144 inf + 336290
13.801 * * [simplify]: Extracting #7: cost 9 inf + 591627
13.839 * * [simplify]: Extracting #8: cost 0 inf + 611378
13.880 * [simplify]: Simplified to (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 a c) (real->posit16 4)))) b) (real->posit16 2))
13.880 * [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))
13.881 * * * * [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))>
13.881 * [simplify]: Simplifying (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b) (real->posit16 2))
13.881 * * [simplify]: iters left: 6 (14 enodes)
13.888 * * [simplify]: iters left: 5 (39 enodes)
13.903 * * [simplify]: iters left: 4 (82 enodes)
13.932 * * [simplify]: iters left: 3 (289 enodes)
14.055 * * [simplify]: Extracting #0: cost 1 inf + 0
14.055 * * [simplify]: Extracting #1: cost 20 inf + 0
14.055 * * [simplify]: Extracting #2: cost 93 inf + 0
14.056 * * [simplify]: Extracting #3: cost 165 inf + 1447
14.058 * * [simplify]: Extracting #4: cost 224 inf + 7305
14.060 * * [simplify]: Extracting #5: cost 248 inf + 62336
14.073 * * [simplify]: Extracting #6: cost 144 inf + 336290
14.104 * * [simplify]: Extracting #7: cost 9 inf + 591627
14.133 * * [simplify]: Extracting #8: cost 0 inf + 611378
14.162 * [simplify]: Simplified to (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 a c) (real->posit16 4)))) b) (real->posit16 2))
14.162 * [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.163 * * * * [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.163 * [simplify]: Simplifying (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b) (real->posit16 2))
14.163 * * [simplify]: iters left: 6 (14 enodes)
14.170 * * [simplify]: iters left: 5 (39 enodes)
14.184 * * [simplify]: iters left: 4 (82 enodes)
14.214 * * [simplify]: iters left: 3 (289 enodes)
14.357 * * [simplify]: Extracting #0: cost 1 inf + 0
14.357 * * [simplify]: Extracting #1: cost 20 inf + 0
14.357 * * [simplify]: Extracting #2: cost 93 inf + 0
14.358 * * [simplify]: Extracting #3: cost 165 inf + 1447
14.360 * * [simplify]: Extracting #4: cost 224 inf + 7305
14.364 * * [simplify]: Extracting #5: cost 248 inf + 62336
14.390 * * [simplify]: Extracting #6: cost 144 inf + 336290
14.436 * * [simplify]: Extracting #7: cost 9 inf + 591627
14.489 * * [simplify]: Extracting #8: cost 0 inf + 611378
14.540 * [simplify]: Simplified to (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 a c) (real->posit16 4)))) b) (real->posit16 2))
14.540 * [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.540 * * * [progress]: adding candidates to table
14.787 * [progress]: [Phase 3 of 3] Extracting.
14.787 * * [regime]: Finding splitpoints for: (#<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 (/.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 (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 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b) (real->posit16 2)) a))> #<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)))) (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 (-.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)))>)
14.790 * * * [regime-changes]: Trying 3 branch expressions: (c a b)
14.790 * * * * [regimes]: Trying to branch on c from (#<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 (/.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 (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 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b) (real->posit16 2)) a))> #<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)))) (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 (-.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)))>)
14.994 * * * * [regimes]: Trying to branch on a from (#<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 (/.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 (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 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b) (real->posit16 2)) a))> #<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)))) (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 (-.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)))>)
15.231 * * * * [regimes]: Trying to branch on b from (#<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 (/.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 (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 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b) (real->posit16 2)) a))> #<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)))) (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 (-.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)))>)
15.490 * * * [regime]: Found split indices: #<option (#s(si 4 256))>
15.490 * [simplify]: Simplifying (/.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b) (*.p16 (real->posit16 2) a))
15.490 * * [simplify]: iters left: 6 (15 enodes)
15.491 * * [simplify]: Extracting #0: cost 1 inf + 0
15.491 * * [simplify]: Extracting #1: cost 3 inf + 0
15.491 * * [simplify]: Extracting #2: cost 7 inf + 0
15.491 * * [simplify]: Extracting #3: cost 7 inf + 2
15.492 * * [simplify]: Extracting #4: cost 6 inf + 326
15.492 * * [simplify]: Extracting #5: cost 7 inf + 647
15.492 * * [simplify]: Extracting #6: cost 7 inf + 648
15.492 * * [simplify]: Extracting #7: cost 8 inf + 648
15.492 * * [simplify]: Extracting #8: cost 6 inf + 650
15.492 * * [simplify]: Extracting #9: cost 4 inf + 1615
15.492 * * [simplify]: Extracting #10: cost 2 inf + 3743
15.492 * * [simplify]: Extracting #11: cost 0 inf + 6832
15.492 * [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.492 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
15.542 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
15.548 * * * * [points]: Setting MPFR precision to 64
15.550 * * * * [points]: Setting MPFR precision to 320
15.552 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
15.557 * * * * [points]: Setting MPFR precision to 64
15.562 * * * * [points]: Setting MPFR precision to 320
15.566 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
15.571 * * * * [points]: Setting MPFR precision to 64
15.579 * * * * [points]: Setting MPFR precision to 320
15.587 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
15.592 * * * * [points]: Setting MPFR precision to 64
15.608 * * * * [points]: Setting MPFR precision to 320
15.623 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
15.627 * * * * [points]: Setting MPFR precision to 64
15.659 * * * * [points]: Setting MPFR precision to 320
15.684 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
15.687 * * * * [points]: Setting MPFR precision to 64
15.765 * * * * [points]: Setting MPFR precision to 320
15.831 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
15.836 * * * * [points]: Setting MPFR precision to 64
15.990 * * * * [points]: Setting MPFR precision to 320
16.073 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
16.078 * * * * [points]: Setting MPFR precision to 64
16.314 * * * * [points]: Setting MPFR precision to 320
16.648 * * * * [points]: Computing exacts for 8000 points
16.653 * * * * [points]: Setting MPFR precision to 64
18.185 * * * * [points]: Setting MPFR precision to 320
19.343 * * * * [points]: Filtering points with unrepresentable outputs
19.363 * * * * [points]: Sampled 8000 points with exact outputs
24.982 * [regime-testing]: Baseline error score: 64.0
24.986 * [regime-testing]: Oracle error score: 64.0
24.993 * [regime-testing]: End program error score: 1.5343602820604152