0.003 * [progress]: [Phase 1 of 3] Setting up.
0.005 * * * [progress]: [1/2] Preparing points
0.006 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.009 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.069 * * * * [points]: Setting MPFR precision to 64
0.073 * * * * [points]: Setting MPFR precision to 320
0.075 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.080 * * * * [points]: Setting MPFR precision to 64
0.084 * * * * [points]: Setting MPFR precision to 320
0.088 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.092 * * * * [points]: Setting MPFR precision to 64
0.098 * * * * [points]: Setting MPFR precision to 320
0.105 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.109 * * * * [points]: Setting MPFR precision to 64
0.120 * * * * [points]: Setting MPFR precision to 320
0.130 * * * * [points]: Computing exacts for 256 points
0.135 * * * * [points]: Setting MPFR precision to 64
0.655 * * * * [points]: Setting MPFR precision to 320
0.688 * * * * [points]: Filtering points with unrepresentable outputs
0.690 * * * * [points]: Sampled 256 points with exact outputs
0.690 * * * [progress]: [2/2] Setting up program.
0.727 * [progress]: [Phase 2 of 3] Improving.
0.727 * * * * [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.729 * [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.731 * * [simplify]: iters left: 6 (16 enodes)
0.743 * * [simplify]: iters left: 5 (45 enodes)
0.761 * * [simplify]: iters left: 4 (91 enodes)
0.801 * * [simplify]: iters left: 3 (310 enodes)
1.025 * * [simplify]: Extracting #0: cost 1 inf + 0
1.025 * * [simplify]: Extracting #1: cost 31 inf + 0
1.026 * * [simplify]: Extracting #2: cost 123 inf + 1
1.028 * * [simplify]: Extracting #3: cost 201 inf + 1129
1.030 * * [simplify]: Extracting #4: cost 263 inf + 9871
1.036 * * [simplify]: Extracting #5: cost 270 inf + 82040
1.064 * * [simplify]: Extracting #6: cost 192 inf + 363234
1.117 * * [simplify]: Extracting #7: cost 15 inf + 679901
1.184 * * [simplify]: Extracting #8: cost 0 inf + 712557
1.244 * [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.245 * [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.276 * * [progress]: iteration 1 / 4
1.276 * * * [progress]: picking best candidate
1.312 * * * * [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)))>
1.313 * * * [progress]: localizing error
1.573 * * * [progress]: generating rewritten candidates
1.574 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
1.577 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
1.577 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
1.581 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 2)
1.585 * * * [progress]: generating series expansions
1.586 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
1.586 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
1.586 * * * * [progress]: [ 3 / 4 ] generating series at (2)
1.586 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 2)
1.586 * * * [progress]: simplifying candidates
1.586 * * * * [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)))>
1.586 * * * * [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)))>
1.586 * * * * [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))>
1.586 * * * * [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))))))))>
1.586 * [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))))))
1.586 * * [simplify]: iters left: 6 (14 enodes)
1.590 * * [simplify]: iters left: 5 (42 enodes)
1.599 * * [simplify]: iters left: 4 (117 enodes)
1.647 * * [simplify]: iters left: 3 (426 enodes)
1.942 * * [simplify]: Extracting #0: cost 1 inf + 0
1.942 * * [simplify]: Extracting #1: cost 51 inf + 0
1.943 * * [simplify]: Extracting #2: cost 242 inf + 0
1.944 * * [simplify]: Extracting #3: cost 408 inf + 4895
1.955 * * [simplify]: Extracting #4: cost 386 inf + 288425
1.999 * * [simplify]: Extracting #5: cost 133 inf + 992840
2.077 * * [simplify]: Extracting #6: cost 2 inf + 1243260
2.187 * * [simplify]: Extracting #7: cost 0 inf + 1250148
2.253 * [simplify]: Simplified to (+.p16 (*.p16 (+.p16 (neg.p16 b) b) (+.p16 (neg.p16 b) (neg.p16 b))) (*.p16 (real->posit16 4) (*.p16 a c)))
2.254 * [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))))))))
2.254 * * * * [progress]: [ 5 / 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 (real->posit16 2) a)))>
2.254 * * * * [progress]: [ 6 / 10 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 a c) (real->posit16 4))))) (*.p16 (real->posit16 2) a)))>
2.254 * * * * [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)))>
2.254 * [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.255 * * [simplify]: iters left: 6 (16 enodes)
2.262 * * [simplify]: iters left: 5 (45 enodes)
2.277 * * [simplify]: iters left: 4 (91 enodes)
2.317 * * [simplify]: iters left: 3 (310 enodes)
2.483 * * [simplify]: Extracting #0: cost 1 inf + 0
2.483 * * [simplify]: Extracting #1: cost 31 inf + 0
2.484 * * [simplify]: Extracting #2: cost 123 inf + 1
2.484 * * [simplify]: Extracting #3: cost 201 inf + 1129
2.485 * * [simplify]: Extracting #4: cost 263 inf + 9871
2.488 * * [simplify]: Extracting #5: cost 270 inf + 82040
2.513 * * [simplify]: Extracting #6: cost 192 inf + 363234
2.547 * * [simplify]: Extracting #7: cost 15 inf + 679901
2.595 * * [simplify]: Extracting #8: cost 0 inf + 712557
2.634 * [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.634 * [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.634 * * * * [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)))>
2.635 * [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.635 * * [simplify]: iters left: 6 (16 enodes)
2.642 * * [simplify]: iters left: 5 (45 enodes)
2.653 * * [simplify]: iters left: 4 (91 enodes)
2.672 * * [simplify]: iters left: 3 (310 enodes)
2.859 * * [simplify]: Extracting #0: cost 1 inf + 0
2.859 * * [simplify]: Extracting #1: cost 31 inf + 0
2.859 * * [simplify]: Extracting #2: cost 123 inf + 1
2.861 * * [simplify]: Extracting #3: cost 201 inf + 1129
2.862 * * [simplify]: Extracting #4: cost 263 inf + 9871
2.874 * * [simplify]: Extracting #5: cost 270 inf + 82040
2.902 * * [simplify]: Extracting #6: cost 192 inf + 363234
2.956 * * [simplify]: Extracting #7: cost 15 inf + 679901
2.987 * * [simplify]: Extracting #8: cost 0 inf + 712557
3.040 * [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))
3.040 * [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)))
3.040 * * * * [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)))>
3.040 * [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))
3.040 * * [simplify]: iters left: 6 (16 enodes)
3.048 * * [simplify]: iters left: 5 (45 enodes)
3.056 * * [simplify]: iters left: 4 (91 enodes)
3.075 * * [simplify]: iters left: 3 (310 enodes)
3.219 * * [simplify]: Extracting #0: cost 1 inf + 0
3.220 * * [simplify]: Extracting #1: cost 31 inf + 0
3.220 * * [simplify]: Extracting #2: cost 123 inf + 1
3.222 * * [simplify]: Extracting #3: cost 201 inf + 1129
3.224 * * [simplify]: Extracting #4: cost 263 inf + 9871
3.230 * * [simplify]: Extracting #5: cost 270 inf + 82040
3.251 * * [simplify]: Extracting #6: cost 192 inf + 363234
3.280 * * [simplify]: Extracting #7: cost 15 inf + 679901
3.313 * * [simplify]: Extracting #8: cost 0 inf + 712557
3.344 * [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))
3.344 * [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)))
3.344 * * * * [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)))>
3.344 * [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))
3.345 * * [simplify]: iters left: 6 (16 enodes)
3.349 * * [simplify]: iters left: 5 (45 enodes)
3.365 * * [simplify]: iters left: 4 (91 enodes)
3.390 * * [simplify]: iters left: 3 (310 enodes)
3.513 * * [simplify]: Extracting #0: cost 1 inf + 0
3.513 * * [simplify]: Extracting #1: cost 31 inf + 0
3.513 * * [simplify]: Extracting #2: cost 123 inf + 1
3.514 * * [simplify]: Extracting #3: cost 201 inf + 1129
3.515 * * [simplify]: Extracting #4: cost 263 inf + 9871
3.518 * * [simplify]: Extracting #5: cost 270 inf + 82040
3.533 * * [simplify]: Extracting #6: cost 192 inf + 363234
3.576 * * [simplify]: Extracting #7: cost 15 inf + 679901
3.619 * * [simplify]: Extracting #8: cost 0 inf + 712557
3.654 * [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))
3.654 * [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)))
3.654 * * * [progress]: adding candidates to table
4.181 * * [progress]: iteration 2 / 4
4.181 * * * [progress]: picking best candidate
4.293 * * * * [pick]: Picked  #<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))))))))>
4.294 * * * [progress]: localizing error
4.804 * * * [progress]: generating rewritten candidates
4.804 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
4.806 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
4.810 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2)
4.810 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 1 2)
4.814 * * * [progress]: generating series expansions
4.814 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
4.814 * * * * [progress]: [ 2 / 4 ] generating series at (2)
4.814 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2)
4.814 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2 1 2)
4.814 * * * [progress]: simplifying candidates
4.814 * * * * [progress]: [ 1 / 8 ] simplifiying candidate #<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 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))) (neg.p16 b)))))>
4.814 * * * * [progress]: [ 2 / 8 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (/.p16 (+.p16 (*.p16 (+.p16 (neg.p16 b) b) (+.p16 (neg.p16 b) (neg.p16 b))) (*.p16 (real->posit16 4) (*.p16 a c))) (*.p16 (real->posit16 2) a)) (+.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))))))>
4.815 * [simplify]: Simplifying (+.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))))
4.815 * * [simplify]: iters left: 5 (12 enodes)
4.818 * * [simplify]: iters left: 4 (31 enodes)
4.824 * * [simplify]: iters left: 3 (64 enodes)
4.841 * * [simplify]: iters left: 2 (183 enodes)
4.924 * * [simplify]: Extracting #0: cost 1 inf + 0
4.924 * * [simplify]: Extracting #1: cost 6 inf + 0
4.925 * * [simplify]: Extracting #2: cost 10 inf + 1
4.925 * * [simplify]: Extracting #3: cost 22 inf + 804
4.925 * * [simplify]: Extracting #4: cost 64 inf + 1445
4.926 * * [simplify]: Extracting #5: cost 132 inf + 3371
4.928 * * [simplify]: Extracting #6: cost 212 inf + 14038
4.936 * * [simplify]: Extracting #7: cost 133 inf + 122101
4.957 * * [simplify]: Extracting #8: cost 13 inf + 330931
4.983 * * [simplify]: Extracting #9: cost 0 inf + 360062
5.006 * [simplify]: Simplified to (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b)
5.007 * [simplify]: Simplified (2 2) to (λ (a b c) (/.p16 (/.p16 (+.p16 (*.p16 (+.p16 (neg.p16 b) b) (+.p16 (neg.p16 b) (neg.p16 b))) (*.p16 (real->posit16 4) (*.p16 a c))) (*.p16 (real->posit16 2) a)) (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b)))
5.007 * * * * [progress]: [ 3 / 8 ] simplifiying candidate #<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 (*.p16 (real->posit16 4) a) c)))))))>
5.007 * * * * [progress]: [ 4 / 8 ] simplifiying candidate #<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 (*.p16 a c) (real->posit16 4))))))))>
5.007 * * * * [progress]: [ 5 / 8 ] simplifiying candidate #<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))))))))>
5.007 * [simplify]: Simplifying (/.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)))))))
5.007 * * [simplify]: iters left: 6 (21 enodes)
5.012 * * [simplify]: iters left: 5 (61 enodes)
5.024 * * [simplify]: iters left: 4 (154 enodes)
5.058 * * [simplify]: iters left: 3 (373 enodes)
5.226 * * [simplify]: Extracting #0: cost 1 inf + 0
5.226 * * [simplify]: Extracting #1: cost 7 inf + 0
5.227 * * [simplify]: Extracting #2: cost 59 inf + 0
5.227 * * [simplify]: Extracting #3: cost 119 inf + 83
5.228 * * [simplify]: Extracting #4: cost 137 inf + 11032
5.230 * * [simplify]: Extracting #5: cost 183 inf + 27270
5.234 * * [simplify]: Extracting #6: cost 223 inf + 84764
5.247 * * [simplify]: Extracting #7: cost 60 inf + 347389
5.283 * * [simplify]: Extracting #8: cost 1 inf + 460459
5.322 * * [simplify]: Extracting #9: cost 0 inf + 461583
5.352 * [simplify]: Simplified to (/.p16 (+.p16 (*.p16 (real->posit16 4) (*.p16 c a)) (real->posit16 0.0)) (*.p16 (real->posit16 2) (*.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 c a)))) b) a)))
5.352 * [simplify]: Simplified (2) to (λ (a b c) (/.p16 (+.p16 (*.p16 (real->posit16 4) (*.p16 c a)) (real->posit16 0.0)) (*.p16 (real->posit16 2) (*.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 c a)))) b) a))))
5.352 * * * * [progress]: [ 6 / 8 ] simplifiying candidate #<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))))))))>
5.352 * [simplify]: Simplifying (/.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)))))))
5.352 * * [simplify]: iters left: 6 (21 enodes)
5.357 * * [simplify]: iters left: 5 (61 enodes)
5.370 * * [simplify]: iters left: 4 (154 enodes)
5.423 * * [simplify]: iters left: 3 (373 enodes)
5.631 * * [simplify]: Extracting #0: cost 1 inf + 0
5.631 * * [simplify]: Extracting #1: cost 7 inf + 0
5.631 * * [simplify]: Extracting #2: cost 59 inf + 0
5.632 * * [simplify]: Extracting #3: cost 119 inf + 83
5.632 * * [simplify]: Extracting #4: cost 137 inf + 11032
5.634 * * [simplify]: Extracting #5: cost 183 inf + 27270
5.638 * * [simplify]: Extracting #6: cost 223 inf + 84764
5.651 * * [simplify]: Extracting #7: cost 60 inf + 347389
5.671 * * [simplify]: Extracting #8: cost 1 inf + 460459
5.692 * * [simplify]: Extracting #9: cost 0 inf + 461583
5.723 * [simplify]: Simplified to (/.p16 (+.p16 (*.p16 (real->posit16 4) (*.p16 c a)) (real->posit16 0.0)) (*.p16 (real->posit16 2) (*.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 c a)))) b) a)))
5.723 * [simplify]: Simplified (2) to (λ (a b c) (/.p16 (+.p16 (*.p16 (real->posit16 4) (*.p16 c a)) (real->posit16 0.0)) (*.p16 (real->posit16 2) (*.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 c a)))) b) a))))
5.723 * * * * [progress]: [ 7 / 8 ] simplifiying candidate #<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))))))))>
5.723 * [simplify]: Simplifying (/.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)))))))
5.723 * * [simplify]: iters left: 6 (21 enodes)
5.732 * * [simplify]: iters left: 5 (61 enodes)
5.754 * * [simplify]: iters left: 4 (154 enodes)
5.802 * * [simplify]: iters left: 3 (373 enodes)
6.005 * * [simplify]: Extracting #0: cost 1 inf + 0
6.005 * * [simplify]: Extracting #1: cost 7 inf + 0
6.005 * * [simplify]: Extracting #2: cost 59 inf + 0
6.006 * * [simplify]: Extracting #3: cost 119 inf + 83
6.008 * * [simplify]: Extracting #4: cost 137 inf + 11032
6.011 * * [simplify]: Extracting #5: cost 183 inf + 27270
6.020 * * [simplify]: Extracting #6: cost 223 inf + 84764
6.046 * * [simplify]: Extracting #7: cost 60 inf + 347389
6.078 * * [simplify]: Extracting #8: cost 1 inf + 460459
6.100 * * [simplify]: Extracting #9: cost 0 inf + 461583
6.133 * [simplify]: Simplified to (/.p16 (+.p16 (*.p16 (real->posit16 4) (*.p16 c a)) (real->posit16 0.0)) (*.p16 (real->posit16 2) (*.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 c a)))) b) a)))
6.133 * [simplify]: Simplified (2) to (λ (a b c) (/.p16 (+.p16 (*.p16 (real->posit16 4) (*.p16 c a)) (real->posit16 0.0)) (*.p16 (real->posit16 2) (*.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 c a)))) b) a))))
6.133 * * * * [progress]: [ 8 / 8 ] simplifiying candidate #<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))))))))>
6.133 * [simplify]: Simplifying (/.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)))))))
6.133 * * [simplify]: iters left: 6 (21 enodes)
6.139 * * [simplify]: iters left: 5 (61 enodes)
6.151 * * [simplify]: iters left: 4 (154 enodes)
6.186 * * [simplify]: iters left: 3 (373 enodes)
6.390 * * [simplify]: Extracting #0: cost 1 inf + 0
6.390 * * [simplify]: Extracting #1: cost 7 inf + 0
6.390 * * [simplify]: Extracting #2: cost 59 inf + 0
6.391 * * [simplify]: Extracting #3: cost 119 inf + 83
6.392 * * [simplify]: Extracting #4: cost 137 inf + 11032
6.396 * * [simplify]: Extracting #5: cost 183 inf + 27270
6.402 * * [simplify]: Extracting #6: cost 223 inf + 84764
6.414 * * [simplify]: Extracting #7: cost 60 inf + 347389
6.434 * * [simplify]: Extracting #8: cost 1 inf + 460459
6.472 * * [simplify]: Extracting #9: cost 0 inf + 461583
6.503 * [simplify]: Simplified to (/.p16 (+.p16 (*.p16 (real->posit16 4) (*.p16 c a)) (real->posit16 0.0)) (*.p16 (real->posit16 2) (*.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 c a)))) b) a)))
6.503 * [simplify]: Simplified (2) to (λ (a b c) (/.p16 (+.p16 (*.p16 (real->posit16 4) (*.p16 c a)) (real->posit16 0.0)) (*.p16 (real->posit16 2) (*.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 c a)))) b) a))))
6.503 * * * [progress]: adding candidates to table
6.951 * * [progress]: iteration 3 / 4
6.951 * * * [progress]: picking best candidate
7.092 * * * * [pick]: Picked  #<alt (λ (a b c) (/.p16 (/.p16 (+.p16 (*.p16 (+.p16 (neg.p16 b) b) (+.p16 (neg.p16 b) (neg.p16 b))) (*.p16 (real->posit16 4) (*.p16 a c))) (*.p16 (real->posit16 2) a)) (+.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))))))>
7.092 * * * [progress]: localizing error
7.538 * * * [progress]: generating rewritten candidates
7.538 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
7.543 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
7.548 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
7.549 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
7.557 * * * [progress]: generating series expansions
7.557 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
7.557 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
7.557 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
7.557 * * * * [progress]: [ 4 / 4 ] generating series at (2)
7.557 * * * [progress]: simplifying candidates
7.557 * * * * [progress]: [ 1 / 7 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (/.p16 (+.p16 (*.p16 (+.p16 (neg.p16 b) b) (+.p16 (neg.p16 b) (neg.p16 b))) (*.p16 (real->posit16 4) (*.p16 a c))) (*.p16 (real->posit16 2) a)) (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))) (neg.p16 b))))>
7.557 * * * * [progress]: [ 2 / 7 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (/.p16 (/.p16 (+.p16 (*.p16 (+.p16 (neg.p16 b) b) (+.p16 (neg.p16 b) (neg.p16 b))) (*.p16 (real->posit16 4) (*.p16 a c))) (real->posit16 2)) a) (+.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))))))>
7.557 * * * * [progress]: [ 3 / 7 ] simplifiying candidate #<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 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c))))) (*.p16 (real->posit16 2) a))))>
7.558 * [simplify]: Simplifying (+.p16 (*.p16 (+.p16 (neg.p16 b) b) (+.p16 (neg.p16 b) (neg.p16 b))) (*.p16 (real->posit16 4) (*.p16 a c)))
7.558 * * [simplify]: iters left: 4 (12 enodes)
7.564 * * [simplify]: iters left: 3 (31 enodes)
7.577 * * [simplify]: iters left: 2 (66 enodes)
7.604 * * [simplify]: iters left: 1 (156 enodes)
7.708 * * [simplify]: Extracting #0: cost 1 inf + 0
7.708 * * [simplify]: Extracting #1: cost 26 inf + 0
7.708 * * [simplify]: Extracting #2: cost 79 inf + 0
7.709 * * [simplify]: Extracting #3: cost 80 inf + 326
7.709 * * [simplify]: Extracting #4: cost 76 inf + 1455
7.712 * * [simplify]: Extracting #5: cost 39 inf + 27807
7.717 * * [simplify]: Extracting #6: cost 7 inf + 55521
7.723 * * [simplify]: Extracting #7: cost 0 inf + 65333
7.729 * [simplify]: Simplified to (+.p16 (*.p16 (real->posit16 4) (*.p16 c a)) (real->posit16 0.0))
7.729 * [simplify]: Simplified (2 1) to (λ (a b c) (/.p16 (+.p16 (*.p16 (real->posit16 4) (*.p16 c a)) (real->posit16 0.0)) (*.p16 (+.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c))))) (*.p16 (real->posit16 2) a))))
7.729 * * * * [progress]: [ 4 / 7 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (/.p16 (+.p16 (*.p16 (+.p16 (neg.p16 b) b) (+.p16 (neg.p16 b) (neg.p16 b))) (*.p16 (real->posit16 4) (*.p16 a c))) (*.p16 (real->posit16 2) a)) (+.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))))))>
7.729 * [simplify]: Simplifying (+.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))))
7.730 * * [simplify]: iters left: 5 (12 enodes)
7.735 * * [simplify]: iters left: 4 (31 enodes)
7.746 * * [simplify]: iters left: 3 (64 enodes)
7.772 * * [simplify]: iters left: 2 (183 enodes)
7.874 * * [simplify]: Extracting #0: cost 1 inf + 0
7.874 * * [simplify]: Extracting #1: cost 6 inf + 0
7.874 * * [simplify]: Extracting #2: cost 10 inf + 1
7.874 * * [simplify]: Extracting #3: cost 22 inf + 804
7.875 * * [simplify]: Extracting #4: cost 64 inf + 1445
7.875 * * [simplify]: Extracting #5: cost 132 inf + 3371
7.876 * * [simplify]: Extracting #6: cost 212 inf + 14038
7.880 * * [simplify]: Extracting #7: cost 133 inf + 122101
7.891 * * [simplify]: Extracting #8: cost 13 inf + 330931
7.905 * * [simplify]: Extracting #9: cost 0 inf + 360062
7.920 * [simplify]: Simplified to (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b)
7.921 * [simplify]: Simplified (2 2) to (λ (a b c) (/.p16 (/.p16 (+.p16 (*.p16 (+.p16 (neg.p16 b) b) (+.p16 (neg.p16 b) (neg.p16 b))) (*.p16 (real->posit16 4) (*.p16 a c))) (*.p16 (real->posit16 2) a)) (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b)))
7.923 * * * * [progress]: [ 5 / 7 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (/.p16 (+.p16 (*.p16 (+.p16 (neg.p16 b) b) (+.p16 (neg.p16 b) (neg.p16 b))) (*.p16 (real->posit16 4) (*.p16 a c))) (*.p16 (real->posit16 2) a)) (+.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))))))>
7.923 * [simplify]: Simplifying (+.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))))
7.923 * * [simplify]: iters left: 5 (12 enodes)
7.926 * * [simplify]: iters left: 4 (31 enodes)
7.932 * * [simplify]: iters left: 3 (64 enodes)
7.945 * * [simplify]: iters left: 2 (183 enodes)
8.035 * * [simplify]: Extracting #0: cost 1 inf + 0
8.035 * * [simplify]: Extracting #1: cost 6 inf + 0
8.035 * * [simplify]: Extracting #2: cost 10 inf + 1
8.036 * * [simplify]: Extracting #3: cost 22 inf + 804
8.036 * * [simplify]: Extracting #4: cost 64 inf + 1445
8.036 * * [simplify]: Extracting #5: cost 132 inf + 3371
8.037 * * [simplify]: Extracting #6: cost 212 inf + 14038
8.042 * * [simplify]: Extracting #7: cost 133 inf + 122101
8.053 * * [simplify]: Extracting #8: cost 13 inf + 330931
8.068 * * [simplify]: Extracting #9: cost 0 inf + 360062
8.081 * [simplify]: Simplified to (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b)
8.081 * [simplify]: Simplified (2 2) to (λ (a b c) (/.p16 (/.p16 (+.p16 (*.p16 (+.p16 (neg.p16 b) b) (+.p16 (neg.p16 b) (neg.p16 b))) (*.p16 (real->posit16 4) (*.p16 a c))) (*.p16 (real->posit16 2) a)) (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b)))
8.082 * * * * [progress]: [ 6 / 7 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (/.p16 (+.p16 (*.p16 (+.p16 (neg.p16 b) b) (+.p16 (neg.p16 b) (neg.p16 b))) (*.p16 (real->posit16 4) (*.p16 a c))) (*.p16 (real->posit16 2) a)) (+.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))))))>
8.082 * [simplify]: Simplifying (+.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))))
8.082 * * [simplify]: iters left: 5 (12 enodes)
8.085 * * [simplify]: iters left: 4 (31 enodes)
8.097 * * [simplify]: iters left: 3 (64 enodes)
8.127 * * [simplify]: iters left: 2 (183 enodes)
8.215 * * [simplify]: Extracting #0: cost 1 inf + 0
8.215 * * [simplify]: Extracting #1: cost 6 inf + 0
8.215 * * [simplify]: Extracting #2: cost 10 inf + 1
8.215 * * [simplify]: Extracting #3: cost 22 inf + 804
8.215 * * [simplify]: Extracting #4: cost 64 inf + 1445
8.216 * * [simplify]: Extracting #5: cost 132 inf + 3371
8.217 * * [simplify]: Extracting #6: cost 212 inf + 14038
8.221 * * [simplify]: Extracting #7: cost 133 inf + 122101
8.236 * * [simplify]: Extracting #8: cost 13 inf + 330931
8.264 * * [simplify]: Extracting #9: cost 0 inf + 360062
8.278 * [simplify]: Simplified to (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b)
8.278 * [simplify]: Simplified (2 2) to (λ (a b c) (/.p16 (/.p16 (+.p16 (*.p16 (+.p16 (neg.p16 b) b) (+.p16 (neg.p16 b) (neg.p16 b))) (*.p16 (real->posit16 4) (*.p16 a c))) (*.p16 (real->posit16 2) a)) (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b)))
8.278 * * * * [progress]: [ 7 / 7 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (/.p16 (+.p16 (*.p16 (+.p16 (neg.p16 b) b) (+.p16 (neg.p16 b) (neg.p16 b))) (*.p16 (real->posit16 4) (*.p16 a c))) (*.p16 (real->posit16 2) a)) (+.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))))))>
8.278 * [simplify]: Simplifying (+.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))))
8.278 * * [simplify]: iters left: 5 (12 enodes)
8.281 * * [simplify]: iters left: 4 (31 enodes)
8.287 * * [simplify]: iters left: 3 (64 enodes)
8.306 * * [simplify]: iters left: 2 (183 enodes)
8.393 * * [simplify]: Extracting #0: cost 1 inf + 0
8.393 * * [simplify]: Extracting #1: cost 6 inf + 0
8.393 * * [simplify]: Extracting #2: cost 10 inf + 1
8.393 * * [simplify]: Extracting #3: cost 22 inf + 804
8.393 * * [simplify]: Extracting #4: cost 64 inf + 1445
8.394 * * [simplify]: Extracting #5: cost 132 inf + 3371
8.396 * * [simplify]: Extracting #6: cost 212 inf + 14038
8.405 * * [simplify]: Extracting #7: cost 133 inf + 122101
8.431 * * [simplify]: Extracting #8: cost 13 inf + 330931
8.456 * * [simplify]: Extracting #9: cost 0 inf + 360062
8.481 * [simplify]: Simplified to (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b)
8.481 * [simplify]: Simplified (2 2) to (λ (a b c) (/.p16 (/.p16 (+.p16 (*.p16 (+.p16 (neg.p16 b) b) (+.p16 (neg.p16 b) (neg.p16 b))) (*.p16 (real->posit16 4) (*.p16 a c))) (*.p16 (real->posit16 2) a)) (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4)))) b)))
8.481 * * * [progress]: adding candidates to table
9.006 * * [progress]: iteration 4 / 4
9.007 * * * [progress]: picking best candidate
9.169 * * * * [pick]: Picked  #<alt (λ (a b c) (/.p16 (/.p16 (/.p16 (+.p16 (*.p16 (+.p16 (neg.p16 b) b) (+.p16 (neg.p16 b) (neg.p16 b))) (*.p16 (real->posit16 4) (*.p16 a c))) (real->posit16 2)) a) (+.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))))))>
9.169 * * * [progress]: localizing error
9.540 * * * [progress]: generating rewritten candidates
9.540 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
9.548 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
9.553 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
9.553 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
9.562 * * * [progress]: generating series expansions
9.562 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
9.562 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
9.562 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
9.562 * * * * [progress]: [ 4 / 4 ] generating series at (2)
9.562 * * * [progress]: simplifying candidates
9.562 * * * * [progress]: [ 1 / 7 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (/.p16 (/.p16 (+.p16 (*.p16 (+.p16 (neg.p16 b) b) (+.p16 (neg.p16 b) (neg.p16 b))) (*.p16 (real->posit16 4) (*.p16 a c))) (real->posit16 2)) a) (+.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))) (neg.p16 b))))>
9.562 * * * * [progress]: [ 2 / 7 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (/.p16 (+.p16 (*.p16 (+.p16 (neg.p16 b) b) (+.p16 (neg.p16 b) (neg.p16 b))) (*.p16 (real->posit16 4) (*.p16 a c))) (*.p16 a (real->posit16 2))) (+.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))))))>
9.562 * [simplify]: Simplifying (+.p16 (*.p16 (+.p16 (neg.p16 b) b) (+.p16 (neg.p16 b) (neg.p16 b))) (*.p16 (real->posit16 4) (*.p16 a c)))
9.563 * * [simplify]: iters left: 4 (12 enodes)
9.568 * * [simplify]: iters left: 3 (31 enodes)
9.580 * * [simplify]: iters left: 2 (66 enodes)
9.607 * * [simplify]: iters left: 1 (156 enodes)
9.730 * * [simplify]: Extracting #0: cost 1 inf + 0
9.731 * * [simplify]: Extracting #1: cost 26 inf + 0
9.731 * * [simplify]: Extracting #2: cost 79 inf + 0
9.731 * * [simplify]: Extracting #3: cost 80 inf + 326
9.732 * * [simplify]: Extracting #4: cost 76 inf + 1455
9.733 * * [simplify]: Extracting #5: cost 39 inf + 27807
9.736 * * [simplify]: Extracting #6: cost 7 inf + 55521
9.740 * * [simplify]: Extracting #7: cost 0 inf + 65333
9.743 * [simplify]: Simplified to (+.p16 (*.p16 (real->posit16 4) (*.p16 c a)) (real->posit16 0.0))
9.743 * [simplify]: Simplified (2 1 1) to (λ (a b c) (/.p16 (/.p16 (+.p16 (*.p16 (real->posit16 4) (*.p16 c a)) (real->posit16 0.0)) (*.p16 a (real->posit16 2))) (+.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))))))
9.743 * * * * [progress]: [ 3 / 7 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (/.p16 (+.p16 (*.p16 (+.p16 (neg.p16 b) b) (+.p16 (neg.p16 b) (neg.p16 b))) (*.p16 (real->posit16 4) (*.p16 a c))) (real->posit16 2)) (*.p16 (+.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c))))) a)))>
9.743 * [simplify]: Simplifying (/.p16 (+.p16 (*.p16 (+.p16 (neg.p16 b) b) (+.p16 (neg.p16 b) (neg.p16 b))) (*.p16 (real->posit16 4) (*.p16 a c))) (real->posit16 2))
9.743 * * [simplify]: iters left: 5 (15 enodes)
9.749 * * [simplify]: iters left: 4 (35 enodes)
9.760 * * [simplify]: iters left: 3 (70 enodes)
9.789 * * [simplify]: iters left: 2 (160 enodes)
9.936 * * [simplify]: iters left: 1 (371 enodes)
11.089 * * [simplify]: Extracting #0: cost 1 inf + 0
11.089 * * [simplify]: Extracting #1: cost 3 inf + 0
11.089 * * [simplify]: Extracting #2: cost 66 inf + 0
11.090 * * [simplify]: Extracting #3: cost 232 inf + 648
11.091 * * [simplify]: Extracting #4: cost 188 inf + 21482
11.096 * * [simplify]: Extracting #5: cost 34 inf + 116176
11.103 * * [simplify]: Extracting #6: cost 1 inf + 146523
11.110 * * [simplify]: Extracting #7: cost 0 inf + 147884
11.117 * [simplify]: Simplified to (/.p16 (*.p16 (real->posit16 4) (*.p16 c a)) (real->posit16 2))
11.117 * [simplify]: Simplified (2 1) to (λ (a b c) (/.p16 (/.p16 (*.p16 (real->posit16 4) (*.p16 c a)) (real->posit16 2)) (*.p16 (+.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c))))) a)))
11.117 * * * * [progress]: [ 4 / 7 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (/.p16 (/.p16 (+.p16 (*.p16 (+.p16 (neg.p16 b) b) (+.p16 (neg.p16 b) (neg.p16 b))) (*.p16 (real->posit16 4) (*.p16 a c))) (real->posit16 2)) a) (+.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))))))>
11.117 * * * * [progress]: [ 5 / 7 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (/.p16 (/.p16 (+.p16 (*.p16 (+.p16 (neg.p16 b) b) (+.p16 (neg.p16 b) (neg.p16 b))) (*.p16 (real->posit16 4) (*.p16 a c))) (real->posit16 2)) a) (+.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))))))>
11.117 * * * * [progress]: [ 6 / 7 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (/.p16 (/.p16 (+.p16 (*.p16 (+.p16 (neg.p16 b) b) (+.p16 (neg.p16 b) (neg.p16 b))) (*.p16 (real->posit16 4) (*.p16 a c))) (real->posit16 2)) a) (+.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))))))>
11.117 * * * * [progress]: [ 7 / 7 ] simplifiying candidate #<alt (λ (a b c) (/.p16 (/.p16 (/.p16 (+.p16 (*.p16 (+.p16 (neg.p16 b) b) (+.p16 (neg.p16 b) (neg.p16 b))) (*.p16 (real->posit16 4) (*.p16 a c))) (real->posit16 2)) a) (+.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))))))>
11.117 * * * [progress]: adding candidates to table
11.425 * [progress]: [Phase 3 of 3] Extracting.
11.425 * * [regime]: Finding splitpoints for: (#<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 (*.p16 (real->posit16 4) 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 (real->posit16 2) a)))> #<alt (λ (a b c) (/.p16 (/.p16 (/.p16 (+.p16 (*.p16 (+.p16 (neg.p16 b) b) (+.p16 (neg.p16 b) (neg.p16 b))) (*.p16 (real->posit16 4) (*.p16 a c))) (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 (+.p16 (*.p16 (+.p16 (neg.p16 b) b) (+.p16 (neg.p16 b) (neg.p16 b))) (*.p16 (real->posit16 4) (*.p16 a c))) (real->posit16 2)) (*.p16 (+.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c))))) a)))> #<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))> #<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)))>)
11.430 * * * [regime-changes]: Trying 3 branch expressions: (c a b)
11.431 * * * * [regimes]: Trying to branch on c from (#<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 (*.p16 (real->posit16 4) 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 (real->posit16 2) a)))> #<alt (λ (a b c) (/.p16 (/.p16 (/.p16 (+.p16 (*.p16 (+.p16 (neg.p16 b) b) (+.p16 (neg.p16 b) (neg.p16 b))) (*.p16 (real->posit16 4) (*.p16 a c))) (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 (+.p16 (*.p16 (+.p16 (neg.p16 b) b) (+.p16 (neg.p16 b) (neg.p16 b))) (*.p16 (real->posit16 4) (*.p16 a c))) (real->posit16 2)) (*.p16 (+.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c))))) a)))> #<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))> #<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)))>)
11.757 * * * * [regimes]: Trying to branch on a from (#<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 (*.p16 (real->posit16 4) 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 (real->posit16 2) a)))> #<alt (λ (a b c) (/.p16 (/.p16 (/.p16 (+.p16 (*.p16 (+.p16 (neg.p16 b) b) (+.p16 (neg.p16 b) (neg.p16 b))) (*.p16 (real->posit16 4) (*.p16 a c))) (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 (+.p16 (*.p16 (+.p16 (neg.p16 b) b) (+.p16 (neg.p16 b) (neg.p16 b))) (*.p16 (real->posit16 4) (*.p16 a c))) (real->posit16 2)) (*.p16 (+.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c))))) a)))> #<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))> #<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)))>)
12.076 * * * * [regimes]: Trying to branch on b from (#<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 (*.p16 (real->posit16 4) 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 (real->posit16 2) a)))> #<alt (λ (a b c) (/.p16 (/.p16 (/.p16 (+.p16 (*.p16 (+.p16 (neg.p16 b) b) (+.p16 (neg.p16 b) (neg.p16 b))) (*.p16 (real->posit16 4) (*.p16 a c))) (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 (+.p16 (*.p16 (+.p16 (neg.p16 b) b) (+.p16 (neg.p16 b) (neg.p16 b))) (*.p16 (real->posit16 4) (*.p16 a c))) (real->posit16 2)) (*.p16 (+.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c))))) a)))> #<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))> #<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)))>)
12.396 * * * [regime]: Found split indices: #<option (#s(si 2 121) #s(si 1 256))>
12.398 * [binary-search]: Improving bounds with binary search for b and (#<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 (*.p16 (real->posit16 4) 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 (real->posit16 2) a)))> #<alt (λ (a b c) (/.p16 (/.p16 (/.p16 (+.p16 (*.p16 (+.p16 (neg.p16 b) b) (+.p16 (neg.p16 b) (neg.p16 b))) (*.p16 (real->posit16 4) (*.p16 a c))) (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 (+.p16 (*.p16 (+.p16 (neg.p16 b) b) (+.p16 (neg.p16 b) (neg.p16 b))) (*.p16 (real->posit16 4) (*.p16 a c))) (real->posit16 2)) (*.p16 (+.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c))))) a)))> #<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))> #<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)))>)
12.399 * [regimes]: Found splitpoints: (#s(sp 2 b #<cpointer:posit16>) #s(sp 1 b +nan.0)) , with alts (#<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 (*.p16 (real->posit16 4) 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 (real->posit16 2) a)))> #<alt (λ (a b c) (/.p16 (/.p16 (/.p16 (+.p16 (*.p16 (+.p16 (neg.p16 b) b) (+.p16 (neg.p16 b) (neg.p16 b))) (*.p16 (real->posit16 4) (*.p16 a c))) (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 (+.p16 (*.p16 (+.p16 (neg.p16 b) b) (+.p16 (neg.p16 b) (neg.p16 b))) (*.p16 (real->posit16 4) (*.p16 a c))) (real->posit16 2)) (*.p16 (+.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c))))) a)))> #<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))> #<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)))>)
12.400 * [simplify]: Simplifying (if (<=.p16 b (real->posit16 -0.0042572021484375)) (/.p16 (/.p16 (/.p16 (+.p16 (*.p16 (+.p16 (neg.p16 b) b) (+.p16 (neg.p16 b) (neg.p16 b))) (*.p16 (real->posit16 4) (*.p16 a c))) (real->posit16 2)) a) (+.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))))) (/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c)))) (*.p16 (real->posit16 2) a)))
12.400 * * [simplify]: iters left: 6 (32 enodes)
12.405 * * [simplify]: Extracting #0: cost 1 inf + 0
12.405 * * [simplify]: Extracting #1: cost 4 inf + 0
12.405 * * [simplify]: Extracting #2: cost 10 inf + 0
12.405 * * [simplify]: Extracting #3: cost 16 inf + 1
12.405 * * [simplify]: Extracting #4: cost 17 inf + 84
12.405 * * [simplify]: Extracting #5: cost 18 inf + 153
12.405 * * [simplify]: Extracting #6: cost 22 inf + 475
12.405 * * [simplify]: Extracting #7: cost 18 inf + 1362
12.406 * * [simplify]: Extracting #8: cost 14 inf + 2488
12.406 * * [simplify]: Extracting #9: cost 10 inf + 6623
12.407 * * [simplify]: Extracting #10: cost 7 inf + 10395
12.407 * * [simplify]: Extracting #11: cost 5 inf + 12643
12.408 * * [simplify]: Extracting #12: cost 2 inf + 17936
12.409 * * [simplify]: Extracting #13: cost 1 inf + 19941
12.411 * * [simplify]: Extracting #14: cost 0 inf + 24637
12.412 * [simplify]: Simplified to (if (<=.p16 b (real->posit16 -0.0042572021484375)) (/.p16 (/.p16 (/.p16 (+.p16 (*.p16 (+.p16 (neg.p16 b) b) (+.p16 (neg.p16 b) (neg.p16 b))) (*.p16 (real->posit16 4) (*.p16 a c))) (real->posit16 2)) a) (+.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))))) (/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c)))) (*.p16 (real->posit16 2) a)))
12.412 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
12.476 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
12.480 * * * * [points]: Setting MPFR precision to 64
12.482 * * * * [points]: Setting MPFR precision to 320
12.484 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
12.489 * * * * [points]: Setting MPFR precision to 64
12.493 * * * * [points]: Setting MPFR precision to 320
12.497 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
12.502 * * * * [points]: Setting MPFR precision to 64
12.509 * * * * [points]: Setting MPFR precision to 320
12.516 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
12.521 * * * * [points]: Setting MPFR precision to 64
12.536 * * * * [points]: Setting MPFR precision to 320
12.550 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
12.555 * * * * [points]: Setting MPFR precision to 64
12.614 * * * * [points]: Setting MPFR precision to 320
12.647 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
12.652 * * * * [points]: Setting MPFR precision to 64
12.713 * * * * [points]: Setting MPFR precision to 320
12.777 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
12.782 * * * * [points]: Setting MPFR precision to 64
12.953 * * * * [points]: Setting MPFR precision to 320
13.080 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
13.136 * * * * [points]: Setting MPFR precision to 64
13.441 * * * * [points]: Setting MPFR precision to 320
13.747 * * * * [points]: Computing exacts for 8000 points
13.752 * * * * [points]: Setting MPFR precision to 64
15.221 * * * * [points]: Setting MPFR precision to 320
16.113 * * * * [points]: Filtering points with unrepresentable outputs
16.133 * * * * [points]: Sampled 8000 points with exact outputs
23.140 * [regime-testing]: Baseline error score: 64.0
23.143 * [regime-testing]: Oracle error score: 64.0
23.150 * [regime-testing]: End program error score: 0.5508510538806726