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.007 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.087 * * * * [points]: Setting MPFR precision to 64
0.091 * * * * [points]: Setting MPFR precision to 320
0.094 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.099 * * * * [points]: Setting MPFR precision to 64
0.103 * * * * [points]: Setting MPFR precision to 320
0.107 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.111 * * * * [points]: Setting MPFR precision to 64
0.118 * * * * [points]: Setting MPFR precision to 320
0.124 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.129 * * * * [points]: Setting MPFR precision to 64
0.137 * * * * [points]: Setting MPFR precision to 320
0.142 * * * * [points]: Computing exacts for 256 points
0.145 * * * * [points]: Setting MPFR precision to 64
0.162 * * * * [points]: Setting MPFR precision to 320
0.182 * * * * [points]: Filtering points with unrepresentable outputs
0.184 * * * * [points]: Sampled 256 points with exact outputs
0.184 * * * [progress]: [2/2] Setting up program.
0.217 * [progress]: [Phase 2 of 3] Improving.
0.218 * * * * [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.220 * [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.221 * * [simplify]: iters left: 6 (16 enodes)
0.259 * * [simplify]: iters left: 5 (45 enodes)
0.269 * * [simplify]: iters left: 4 (91 enodes)
0.288 * * [simplify]: iters left: 3 (310 enodes)
0.396 * * [simplify]: Extracting #0: cost 1 inf + 0
0.396 * * [simplify]: Extracting #1: cost 31 inf + 0
0.397 * * [simplify]: Extracting #2: cost 123 inf + 1
0.403 * * [simplify]: Extracting #3: cost 201 inf + 1129
0.404 * * [simplify]: Extracting #4: cost 263 inf + 9871
0.407 * * [simplify]: Extracting #5: cost 270 inf + 82040
0.422 * * [simplify]: Extracting #6: cost 192 inf + 363234
0.449 * * [simplify]: Extracting #7: cost 15 inf + 679901
0.480 * * [simplify]: Extracting #8: cost 0 inf + 712557
0.511 * [simplify]: Simplified to (/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4))))) (*.p16 (real->posit16 2) a))
0.512 * [simplify]: Simplified (2) to (λ (a b c) (/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4))))) (*.p16 (real->posit16 2) a)))
0.532 * * [progress]: iteration 1 / 4
0.532 * * * [progress]: picking best candidate
0.547 * * * * [pick]: Picked  #<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.547 * * * [progress]: localizing error
0.779 * * * [progress]: generating rewritten candidates
0.780 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.783 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
0.786 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
0.787 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1)
0.792 * * * [progress]: generating series expansions
0.793 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.793 * * * * [progress]: [ 2 / 4 ] generating series at (2)
0.793 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
0.793 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1)
0.793 * * * [progress]: simplifying candidates
0.793 * * * * [progress]: [ 1 / 10 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (+.p16 (neg.p16 b) (neg.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))))) (*.p16 (real->posit16 2) a)))>
0.793 * * * * [progress]: [ 2 / 10 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (*.p16 (neg.p16 b) (neg.p16 b)) (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))))) (+.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))))) (*.p16 (real->posit16 2) a)))>
0.793 * * * * [progress]: [ 3 / 10 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c))))) (real->posit16 2)) a))>
0.793 * * * * [progress]: [ 4 / 10 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (-.p16 (*.p16 (neg.p16 b) (neg.p16 b)) (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))))) (*.p16 (*.p16 (real->posit16 2) a) (+.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c))))))))>
0.793 * [simplify]: Simplifying (-.p16 (*.p16 (neg.p16 b) (neg.p16 b)) (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c))))))
0.793 * * [simplify]: iters left: 6 (14 enodes)
0.797 * * [simplify]: iters left: 5 (42 enodes)
0.805 * * [simplify]: iters left: 4 (117 enodes)
0.833 * * [simplify]: iters left: 3 (426 enodes)
1.028 * * [simplify]: Extracting #0: cost 1 inf + 0
1.028 * * [simplify]: Extracting #1: cost 51 inf + 0
1.028 * * [simplify]: Extracting #2: cost 242 inf + 0
1.030 * * [simplify]: Extracting #3: cost 408 inf + 4895
1.046 * * [simplify]: Extracting #4: cost 386 inf + 288425
1.102 * * [simplify]: Extracting #5: cost 133 inf + 992840
1.185 * * [simplify]: Extracting #6: cost 2 inf + 1243260
1.264 * * [simplify]: Extracting #7: cost 0 inf + 1250148
1.348 * [simplify]: Simplified to (+.p16 (*.p16 (+.p16 (neg.p16 b) b) (+.p16 (neg.p16 b) (neg.p16 b))) (*.p16 (real->posit16 4) (*.p16 a c)))
1.348 * [simplify]: Simplified (2 1) to (λ (a b c) (/.p16 (+.p16 (*.p16 (+.p16 (neg.p16 b) b) (+.p16 (neg.p16 b) (neg.p16 b))) (*.p16 (real->posit16 4) (*.p16 a c))) (*.p16 (*.p16 (real->posit16 2) a) (+.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c))))))))
1.348 * * * * [progress]: [ 5 / 10 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (+.p16 (*.p16 b b) (neg.p16 (*.p16 (real->posit16 4) (*.p16 a c)))))) (*.p16 (real->posit16 2) a)))>
1.348 * * * * [progress]: [ 6 / 10 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (/.p16 (-.p16 (*.p16 (*.p16 b b) (*.p16 b b)) (*.p16 (*.p16 (real->posit16 4) (*.p16 a c)) (*.p16 (real->posit16 4) (*.p16 a c)))) (+.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))))) (*.p16 (real->posit16 2) a)))>
1.348 * * * * [progress]: [ 7 / 10 ] 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)))>
1.349 * [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))
1.349 * * [simplify]: iters left: 6 (16 enodes)
1.357 * * [simplify]: iters left: 5 (45 enodes)
1.373 * * [simplify]: iters left: 4 (91 enodes)
1.411 * * [simplify]: iters left: 3 (310 enodes)
1.532 * * [simplify]: Extracting #0: cost 1 inf + 0
1.532 * * [simplify]: Extracting #1: cost 31 inf + 0
1.533 * * [simplify]: Extracting #2: cost 123 inf + 1
1.533 * * [simplify]: Extracting #3: cost 201 inf + 1129
1.534 * * [simplify]: Extracting #4: cost 263 inf + 9871
1.537 * * [simplify]: Extracting #5: cost 270 inf + 82040
1.566 * * [simplify]: Extracting #6: cost 192 inf + 363234
1.609 * * [simplify]: Extracting #7: cost 15 inf + 679901
1.661 * * [simplify]: Extracting #8: cost 0 inf + 712557
1.693 * [simplify]: Simplified to (/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4))))) (*.p16 (real->posit16 2) a))
1.693 * [simplify]: Simplified (2) to (λ (a b c) (/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4))))) (*.p16 (real->posit16 2) a)))
1.693 * * * * [progress]: [ 8 / 10 ] 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)))>
1.693 * [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))
1.693 * * [simplify]: iters left: 6 (16 enodes)
1.697 * * [simplify]: iters left: 5 (45 enodes)
1.705 * * [simplify]: iters left: 4 (91 enodes)
1.725 * * [simplify]: iters left: 3 (310 enodes)
1.858 * * [simplify]: Extracting #0: cost 1 inf + 0
1.858 * * [simplify]: Extracting #1: cost 31 inf + 0
1.858 * * [simplify]: Extracting #2: cost 123 inf + 1
1.860 * * [simplify]: Extracting #3: cost 201 inf + 1129
1.861 * * [simplify]: Extracting #4: cost 263 inf + 9871
1.868 * * [simplify]: Extracting #5: cost 270 inf + 82040
1.895 * * [simplify]: Extracting #6: cost 192 inf + 363234
1.939 * * [simplify]: Extracting #7: cost 15 inf + 679901
1.976 * * [simplify]: Extracting #8: cost 0 inf + 712557
2.007 * [simplify]: Simplified to (/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4))))) (*.p16 (real->posit16 2) a))
2.007 * [simplify]: Simplified (2) to (λ (a b c) (/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4))))) (*.p16 (real->posit16 2) a)))
2.007 * * * * [progress]: [ 9 / 10 ] 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)))>
2.007 * [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))
2.008 * * [simplify]: iters left: 6 (16 enodes)
2.015 * * [simplify]: iters left: 5 (45 enodes)
2.032 * * [simplify]: iters left: 4 (91 enodes)
2.074 * * [simplify]: iters left: 3 (310 enodes)
2.220 * * [simplify]: Extracting #0: cost 1 inf + 0
2.220 * * [simplify]: Extracting #1: cost 31 inf + 0
2.220 * * [simplify]: Extracting #2: cost 123 inf + 1
2.221 * * [simplify]: Extracting #3: cost 201 inf + 1129
2.222 * * [simplify]: Extracting #4: cost 263 inf + 9871
2.225 * * [simplify]: Extracting #5: cost 270 inf + 82040
2.258 * * [simplify]: Extracting #6: cost 192 inf + 363234
2.309 * * [simplify]: Extracting #7: cost 15 inf + 679901
2.369 * * [simplify]: Extracting #8: cost 0 inf + 712557
2.430 * [simplify]: Simplified to (/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4))))) (*.p16 (real->posit16 2) a))
2.430 * [simplify]: Simplified (2) to (λ (a b c) (/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4))))) (*.p16 (real->posit16 2) a)))
2.430 * * * * [progress]: [ 10 / 10 ] 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)))>
2.431 * [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))
2.431 * * [simplify]: iters left: 6 (16 enodes)
2.439 * * [simplify]: iters left: 5 (45 enodes)
2.449 * * [simplify]: iters left: 4 (91 enodes)
2.470 * * [simplify]: iters left: 3 (310 enodes)
2.624 * * [simplify]: Extracting #0: cost 1 inf + 0
2.624 * * [simplify]: Extracting #1: cost 31 inf + 0
2.625 * * [simplify]: Extracting #2: cost 123 inf + 1
2.626 * * [simplify]: Extracting #3: cost 201 inf + 1129
2.628 * * [simplify]: Extracting #4: cost 263 inf + 9871
2.633 * * [simplify]: Extracting #5: cost 270 inf + 82040
2.654 * * [simplify]: Extracting #6: cost 192 inf + 363234
2.683 * * [simplify]: Extracting #7: cost 15 inf + 679901
2.721 * * [simplify]: Extracting #8: cost 0 inf + 712557
2.764 * [simplify]: Simplified to (/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4))))) (*.p16 (real->posit16 2) a))
2.764 * [simplify]: Simplified (2) to (λ (a b c) (/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4))))) (*.p16 (real->posit16 2) a)))
2.764 * * * [progress]: adding candidates to table
3.278 * * [progress]: iteration 2 / 4
3.278 * * * [progress]: picking best candidate
3.331 * * * * [pick]: Picked  #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c))))) (real->posit16 2)) a))>
3.331 * * * [progress]: localizing error
3.705 * * * [progress]: generating rewritten candidates
3.706 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
3.709 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2)
3.710 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1)
3.719 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1 2)
3.728 * * * [progress]: generating series expansions
3.728 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
3.728 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2)
3.728 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1)
3.728 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1 2)
3.728 * * * [progress]: simplifying candidates
3.728 * * * * [progress]: [ 1 / 10 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (/.p16 (+.p16 (neg.p16 b) (neg.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))))) (real->posit16 2)) a))>
3.728 * * * * [progress]: [ 2 / 10 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (/.p16 (/.p16 (-.p16 (*.p16 (neg.p16 b) (neg.p16 b)) (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))))) (+.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))))) (real->posit16 2)) a))>
3.728 * * * * [progress]: [ 3 / 10 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (+.p16 (*.p16 b b) (neg.p16 (*.p16 (real->posit16 4) (*.p16 a c)))))) (real->posit16 2)) a))>
3.728 * * * * [progress]: [ 4 / 10 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (/.p16 (-.p16 (*.p16 (*.p16 b b) (*.p16 b b)) (*.p16 (*.p16 (real->posit16 4) (*.p16 a c)) (*.p16 (real->posit16 4) (*.p16 a c)))) (+.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))))) (real->posit16 2)) a))>
3.728 * * * * [progress]: [ 5 / 10 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c)))) (real->posit16 2)) a))>
3.728 * * * * [progress]: [ 6 / 10 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 a c) (real->posit16 4))))) (real->posit16 2)) a))>
3.728 * * * * [progress]: [ 7 / 10 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c))))) (real->posit16 2)) a))>
3.728 * * * * [progress]: [ 8 / 10 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c))))) (real->posit16 2)) a))>
3.728 * * * * [progress]: [ 9 / 10 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c))))) (real->posit16 2)) a))>
3.729 * * * * [progress]: [ 10 / 10 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c))))) (real->posit16 2)) a))>
3.729 * * * [progress]: adding candidates to table
4.137 * * [progress]: iteration 3 / 4
4.137 * * * [progress]: picking best candidate
4.201 * * * * [pick]: Picked  #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c)))) (real->posit16 2)) a))>
4.201 * * * [progress]: localizing error
4.468 * * * [progress]: generating rewritten candidates
4.468 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
4.472 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2)
4.472 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1)
4.481 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
4.487 * * * [progress]: generating series expansions
4.487 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
4.487 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2)
4.487 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1)
4.487 * * * * [progress]: [ 4 / 4 ] generating series at (2)
4.488 * * * [progress]: simplifying candidates
4.488 * * * * [progress]: [ 1 / 9 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (/.p16 (+.p16 (neg.p16 b) (neg.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c))))) (real->posit16 2)) a))>
4.488 * * * * [progress]: [ 2 / 9 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (/.p16 (/.p16 (-.p16 (*.p16 (neg.p16 b) (neg.p16 b)) (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c))))) (+.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c))))) (real->posit16 2)) a))>
4.488 * * * * [progress]: [ 3 / 9 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (+.p16 (*.p16 b b) (neg.p16 (*.p16 (*.p16 (real->posit16 4) a) c))))) (real->posit16 2)) a))>
4.488 * * * * [progress]: [ 4 / 9 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (/.p16 (-.p16 (*.p16 (*.p16 b b) (*.p16 b b)) (*.p16 (*.p16 (*.p16 (real->posit16 4) a) c) (*.p16 (*.p16 (real->posit16 4) a) c))) (+.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c))))) (real->posit16 2)) a))>
4.488 * * * * [progress]: [ 5 / 9 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c)))) (*.p16 a (real->posit16 2))))>
4.488 * [simplify]: Simplifying (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c))))
4.488 * * [simplify]: iters left: 6 (12 enodes)
4.494 * * [simplify]: iters left: 5 (37 enodes)
4.505 * * [simplify]: iters left: 4 (79 enodes)
4.521 * * [simplify]: iters left: 3 (269 enodes)
4.665 * * [simplify]: Extracting #0: cost 1 inf + 0
4.665 * * [simplify]: Extracting #1: cost 17 inf + 0
4.665 * * [simplify]: Extracting #2: cost 88 inf + 1
4.665 * * [simplify]: Extracting #3: cost 168 inf + 804
4.666 * * [simplify]: Extracting #4: cost 235 inf + 2891
4.669 * * [simplify]: Extracting #5: cost 214 inf + 98858
4.687 * * [simplify]: Extracting #6: cost 124 inf + 370436
4.736 * * [simplify]: Extracting #7: cost 4 inf + 597686
4.792 * * [simplify]: Extracting #8: cost 0 inf + 607340
4.842 * [simplify]: Simplified to (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c))))
4.842 * [simplify]: Simplified (2 1) to (λ (a b c) (/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c)))) (*.p16 a (real->posit16 2))))
4.842 * * * * [progress]: [ 6 / 9 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c)))) (real->posit16 2)) a))>
4.842 * * * * [progress]: [ 7 / 9 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c)))) (real->posit16 2)) a))>
4.842 * * * * [progress]: [ 8 / 9 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c)))) (real->posit16 2)) a))>
4.842 * * * * [progress]: [ 9 / 9 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c)))) (real->posit16 2)) a))>
4.843 * * * [progress]: adding candidates to table
5.380 * * [progress]: iteration 4 / 4
5.381 * * * [progress]: picking best candidate
5.497 * * * * [pick]: Picked  #<alt (λ (a b c) (/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c)))) (*.p16 a (real->posit16 2))))>
5.497 * * * [progress]: localizing error
5.808 * * * [progress]: generating rewritten candidates
5.809 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
5.812 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
5.818 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
5.819 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1)
5.827 * * * [progress]: generating series expansions
5.827 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
5.828 * * * * [progress]: [ 2 / 4 ] generating series at (2)
5.828 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
5.828 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1)
5.828 * * * [progress]: simplifying candidates
5.828 * * * * [progress]: [ 1 / 10 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (+.p16 (neg.p16 b) (neg.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c))))) (*.p16 a (real->posit16 2))))>
5.828 * * * * [progress]: [ 2 / 10 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (*.p16 (neg.p16 b) (neg.p16 b)) (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c))))) (+.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c))))) (*.p16 a (real->posit16 2))))>
5.828 * * * * [progress]: [ 3 / 10 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c)))) a) (real->posit16 2)))>
5.828 * [simplify]: Simplifying (real->posit16 2)
5.828 * * [simplify]: iters left: 1 (2 enodes)
5.830 * * [simplify]: Extracting #0: cost 1 inf + 0
5.830 * * [simplify]: Extracting #1: cost 2 inf + 0
5.830 * * [simplify]: Extracting #2: cost 1 inf + 1
5.830 * * [simplify]: Extracting #3: cost 0 inf + 2
5.830 * [simplify]: Simplified to (real->posit16 2)
5.830 * [simplify]: Simplified (2 2) to (λ (a b c) (/.p16 (/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c)))) a) (real->posit16 2)))
5.830 * * * * [progress]: [ 4 / 10 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (-.p16 (*.p16 (neg.p16 b) (neg.p16 b)) (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c))))) (*.p16 (*.p16 a (real->posit16 2)) (+.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c)))))))>
5.831 * [simplify]: Simplifying (-.p16 (*.p16 (neg.p16 b) (neg.p16 b)) (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c)))))
5.831 * * [simplify]: iters left: 6 (14 enodes)
5.837 * * [simplify]: iters left: 5 (42 enodes)
5.864 * * [simplify]: iters left: 4 (117 enodes)
5.921 * * [simplify]: iters left: 3 (432 enodes)
6.119 * * [simplify]: Extracting #0: cost 1 inf + 0
6.120 * * [simplify]: Extracting #1: cost 51 inf + 0
6.120 * * [simplify]: Extracting #2: cost 242 inf + 0
6.121 * * [simplify]: Extracting #3: cost 412 inf + 3092
6.130 * * [simplify]: Extracting #4: cost 427 inf + 239293
6.174 * * [simplify]: Extracting #5: cost 159 inf + 940878
6.233 * * [simplify]: Extracting #6: cost 1 inf + 1259592
6.297 * * [simplify]: Extracting #7: cost 0 inf + 1262236
6.360 * [simplify]: Simplified to (+.p16 (*.p16 (+.p16 (neg.p16 b) b) (+.p16 (neg.p16 b) (neg.p16 b))) (*.p16 c (*.p16 a (real->posit16 4))))
6.361 * [simplify]: Simplified (2 1) to (λ (a b c) (/.p16 (+.p16 (*.p16 (+.p16 (neg.p16 b) b) (+.p16 (neg.p16 b) (neg.p16 b))) (*.p16 c (*.p16 a (real->posit16 4)))) (*.p16 (*.p16 a (real->posit16 2)) (+.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c)))))))
6.361 * * * * [progress]: [ 5 / 10 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (+.p16 (*.p16 b b) (neg.p16 (*.p16 (*.p16 (real->posit16 4) a) c))))) (*.p16 a (real->posit16 2))))>
6.361 * * * * [progress]: [ 6 / 10 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (/.p16 (-.p16 (*.p16 (*.p16 b b) (*.p16 b b)) (*.p16 (*.p16 (*.p16 (real->posit16 4) a) c) (*.p16 (*.p16 (real->posit16 4) a) c))) (+.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c))))) (*.p16 a (real->posit16 2))))>
6.361 * * * * [progress]: [ 7 / 10 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c)))) (*.p16 a (real->posit16 2))))>
6.361 * [simplify]: Simplifying (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c))))
6.361 * * [simplify]: iters left: 6 (12 enodes)
6.367 * * [simplify]: iters left: 5 (37 enodes)
6.382 * * [simplify]: iters left: 4 (79 enodes)
6.415 * * [simplify]: iters left: 3 (269 enodes)
6.569 * * [simplify]: Extracting #0: cost 1 inf + 0
6.569 * * [simplify]: Extracting #1: cost 17 inf + 0
6.569 * * [simplify]: Extracting #2: cost 88 inf + 1
6.569 * * [simplify]: Extracting #3: cost 168 inf + 804
6.570 * * [simplify]: Extracting #4: cost 235 inf + 2891
6.574 * * [simplify]: Extracting #5: cost 214 inf + 98858
6.600 * * [simplify]: Extracting #6: cost 124 inf + 370436
6.624 * * [simplify]: Extracting #7: cost 4 inf + 597686
6.666 * * [simplify]: Extracting #8: cost 0 inf + 607340
6.719 * [simplify]: Simplified to (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c))))
6.719 * [simplify]: Simplified (2 1) to (λ (a b c) (/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c)))) (*.p16 a (real->posit16 2))))
6.719 * * * * [progress]: [ 8 / 10 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c)))) (*.p16 a (real->posit16 2))))>
6.719 * [simplify]: Simplifying (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c))))
6.720 * * [simplify]: iters left: 6 (12 enodes)
6.725 * * [simplify]: iters left: 5 (37 enodes)
6.738 * * [simplify]: iters left: 4 (79 enodes)
6.773 * * [simplify]: iters left: 3 (269 enodes)
6.949 * * [simplify]: Extracting #0: cost 1 inf + 0
6.949 * * [simplify]: Extracting #1: cost 17 inf + 0
6.949 * * [simplify]: Extracting #2: cost 88 inf + 1
6.950 * * [simplify]: Extracting #3: cost 168 inf + 804
6.951 * * [simplify]: Extracting #4: cost 235 inf + 2891
6.958 * * [simplify]: Extracting #5: cost 214 inf + 98858
6.988 * * [simplify]: Extracting #6: cost 124 inf + 370436
7.039 * * [simplify]: Extracting #7: cost 4 inf + 597686
7.090 * * [simplify]: Extracting #8: cost 0 inf + 607340
7.127 * [simplify]: Simplified to (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c))))
7.127 * [simplify]: Simplified (2 1) to (λ (a b c) (/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c)))) (*.p16 a (real->posit16 2))))
7.128 * * * * [progress]: [ 9 / 10 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c)))) (*.p16 a (real->posit16 2))))>
7.128 * [simplify]: Simplifying (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c))))
7.128 * * [simplify]: iters left: 6 (12 enodes)
7.131 * * [simplify]: iters left: 5 (37 enodes)
7.137 * * [simplify]: iters left: 4 (79 enodes)
7.165 * * [simplify]: iters left: 3 (269 enodes)
7.279 * * [simplify]: Extracting #0: cost 1 inf + 0
7.279 * * [simplify]: Extracting #1: cost 17 inf + 0
7.279 * * [simplify]: Extracting #2: cost 88 inf + 1
7.279 * * [simplify]: Extracting #3: cost 168 inf + 804
7.280 * * [simplify]: Extracting #4: cost 235 inf + 2891
7.284 * * [simplify]: Extracting #5: cost 214 inf + 98858
7.299 * * [simplify]: Extracting #6: cost 124 inf + 370436
7.326 * * [simplify]: Extracting #7: cost 4 inf + 597686
7.371 * * [simplify]: Extracting #8: cost 0 inf + 607340
7.406 * [simplify]: Simplified to (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c))))
7.406 * [simplify]: Simplified (2 1) to (λ (a b c) (/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c)))) (*.p16 a (real->posit16 2))))
7.406 * * * * [progress]: [ 10 / 10 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c)))) (*.p16 a (real->posit16 2))))>
7.406 * [simplify]: Simplifying (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c))))
7.406 * * [simplify]: iters left: 6 (12 enodes)
7.410 * * [simplify]: iters left: 5 (37 enodes)
7.416 * * [simplify]: iters left: 4 (79 enodes)
7.443 * * [simplify]: iters left: 3 (269 enodes)
7.572 * * [simplify]: Extracting #0: cost 1 inf + 0
7.572 * * [simplify]: Extracting #1: cost 17 inf + 0
7.572 * * [simplify]: Extracting #2: cost 88 inf + 1
7.572 * * [simplify]: Extracting #3: cost 168 inf + 804
7.573 * * [simplify]: Extracting #4: cost 235 inf + 2891
7.579 * * [simplify]: Extracting #5: cost 214 inf + 98858
7.595 * * [simplify]: Extracting #6: cost 124 inf + 370436
7.633 * * [simplify]: Extracting #7: cost 4 inf + 597686
7.686 * * [simplify]: Extracting #8: cost 0 inf + 607340
7.735 * [simplify]: Simplified to (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c))))
7.735 * [simplify]: Simplified (2 1) to (λ (a b c) (/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c)))) (*.p16 a (real->posit16 2))))
7.735 * * * [progress]: adding candidates to table
8.309 * [progress]: [Phase 3 of 3] Extracting.
8.309 * * [regime]: Finding splitpoints for: (#<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c)))) a) (real->posit16 2)))> #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (*.p16 (neg.p16 b) (neg.p16 b)) (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))))) (+.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))))) (*.p16 (real->posit16 2) a)))> #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (*.p16 (neg.p16 b) (neg.p16 b)) (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c))))) (+.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c))))) (*.p16 a (real->posit16 2))))> #<alt (λ (a b c) (/.p16 (-.p16 (*.p16 (neg.p16 b) (neg.p16 b)) (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c))))) (*.p16 (*.p16 a (real->posit16 2)) (+.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c)))))))> #<alt (λ (a b c) (/.p16 (+.p16 (*.p16 (+.p16 (neg.p16 b) b) (+.p16 (neg.p16 b) (neg.p16 b))) (*.p16 (real->posit16 4) (*.p16 a c))) (*.p16 (*.p16 (real->posit16 2) a) (+.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c))))))))> #<alt (λ (a b c) (/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c)))) (*.p16 a (real->posit16 2))))> #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c))))) (real->posit16 2)) a))>)
8.314 * * * [regime-changes]: Trying 3 branch expressions: (c a b)
8.315 * * * * [regimes]: Trying to branch on c from (#<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c)))) a) (real->posit16 2)))> #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (*.p16 (neg.p16 b) (neg.p16 b)) (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))))) (+.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))))) (*.p16 (real->posit16 2) a)))> #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (*.p16 (neg.p16 b) (neg.p16 b)) (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c))))) (+.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c))))) (*.p16 a (real->posit16 2))))> #<alt (λ (a b c) (/.p16 (-.p16 (*.p16 (neg.p16 b) (neg.p16 b)) (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c))))) (*.p16 (*.p16 a (real->posit16 2)) (+.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c)))))))> #<alt (λ (a b c) (/.p16 (+.p16 (*.p16 (+.p16 (neg.p16 b) b) (+.p16 (neg.p16 b) (neg.p16 b))) (*.p16 (real->posit16 4) (*.p16 a c))) (*.p16 (*.p16 (real->posit16 2) a) (+.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c))))))))> #<alt (λ (a b c) (/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c)))) (*.p16 a (real->posit16 2))))> #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c))))) (real->posit16 2)) a))>)
8.663 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c)))) a) (real->posit16 2)))> #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (*.p16 (neg.p16 b) (neg.p16 b)) (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))))) (+.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))))) (*.p16 (real->posit16 2) a)))> #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (*.p16 (neg.p16 b) (neg.p16 b)) (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c))))) (+.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c))))) (*.p16 a (real->posit16 2))))> #<alt (λ (a b c) (/.p16 (-.p16 (*.p16 (neg.p16 b) (neg.p16 b)) (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c))))) (*.p16 (*.p16 a (real->posit16 2)) (+.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c)))))))> #<alt (λ (a b c) (/.p16 (+.p16 (*.p16 (+.p16 (neg.p16 b) b) (+.p16 (neg.p16 b) (neg.p16 b))) (*.p16 (real->posit16 4) (*.p16 a c))) (*.p16 (*.p16 (real->posit16 2) a) (+.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c))))))))> #<alt (λ (a b c) (/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c)))) (*.p16 a (real->posit16 2))))> #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c))))) (real->posit16 2)) a))>)
8.989 * * * * [regimes]: Trying to branch on b from (#<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c)))) a) (real->posit16 2)))> #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (*.p16 (neg.p16 b) (neg.p16 b)) (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))))) (+.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))))) (*.p16 (real->posit16 2) a)))> #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (*.p16 (neg.p16 b) (neg.p16 b)) (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c))))) (+.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c))))) (*.p16 a (real->posit16 2))))> #<alt (λ (a b c) (/.p16 (-.p16 (*.p16 (neg.p16 b) (neg.p16 b)) (*.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c))) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c))))) (*.p16 (*.p16 a (real->posit16 2)) (+.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c)))))))> #<alt (λ (a b c) (/.p16 (+.p16 (*.p16 (+.p16 (neg.p16 b) b) (+.p16 (neg.p16 b) (neg.p16 b))) (*.p16 (real->posit16 4) (*.p16 a c))) (*.p16 (*.p16 (real->posit16 2) a) (+.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c))))))))> #<alt (λ (a b c) (/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c)))) (*.p16 a (real->posit16 2))))> #<alt (λ (a b c) (/.p16 (/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c))))) (real->posit16 2)) a))>)
9.310 * * * [regime]: Found split indices: #<option (#s(si 5 256))>
9.310 * [simplify]: Simplifying (/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c)))) (*.p16 a (real->posit16 2)))
9.311 * * [simplify]: iters left: 6 (16 enodes)
9.313 * * [simplify]: Extracting #0: cost 1 inf + 0
9.313 * * [simplify]: Extracting #1: cost 3 inf + 0
9.313 * * [simplify]: Extracting #2: cost 7 inf + 0
9.313 * * [simplify]: Extracting #3: cost 9 inf + 1
9.313 * * [simplify]: Extracting #4: cost 7 inf + 326
9.314 * * [simplify]: Extracting #5: cost 7 inf + 728
9.314 * * [simplify]: Extracting #6: cost 7 inf + 729
9.314 * * [simplify]: Extracting #7: cost 8 inf + 729
9.314 * * [simplify]: Extracting #8: cost 7 inf + 730
9.314 * * [simplify]: Extracting #9: cost 3 inf + 2740
9.315 * * [simplify]: Extracting #10: cost 0 inf + 7073
9.315 * [simplify]: Simplified to (/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c)))) (*.p16 a (real->posit16 2)))
9.315 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
9.383 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
9.387 * * * * [points]: Setting MPFR precision to 64
9.389 * * * * [points]: Setting MPFR precision to 320
9.391 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
9.396 * * * * [points]: Setting MPFR precision to 64
9.400 * * * * [points]: Setting MPFR precision to 320
9.403 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
9.408 * * * * [points]: Setting MPFR precision to 64
9.416 * * * * [points]: Setting MPFR precision to 320
9.435 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
9.438 * * * * [points]: Setting MPFR precision to 64
9.447 * * * * [points]: Setting MPFR precision to 320
9.455 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
9.458 * * * * [points]: Setting MPFR precision to 64
9.475 * * * * [points]: Setting MPFR precision to 320
9.508 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
9.514 * * * * [points]: Setting MPFR precision to 64
9.574 * * * * [points]: Setting MPFR precision to 320
9.655 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
9.658 * * * * [points]: Setting MPFR precision to 64
9.770 * * * * [points]: Setting MPFR precision to 320
9.953 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
9.958 * * * * [points]: Setting MPFR precision to 64
10.251 * * * * [points]: Setting MPFR precision to 320
10.929 * * * * [points]: Computing exacts for 8000 points
10.932 * * * * [points]: Setting MPFR precision to 64
11.638 * * * * [points]: Setting MPFR precision to 320
12.818 * * * * [points]: Filtering points with unrepresentable outputs
12.899 * * * * [points]: Sampled 8000 points with exact outputs
19.616 * [regime-testing]: Baseline error score: 64.0
19.619 * [regime-testing]: Oracle error score: 64.0
19.626 * [regime-testing]: End program error score: 1.5149694558955276