0.002 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
0.004 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.006 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.067 * * * * [points]: Setting MPFR precision to 64
0.069 * * * * [points]: Setting MPFR precision to 320
0.071 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.074 * * * * [points]: Setting MPFR precision to 64
0.076 * * * * [points]: Setting MPFR precision to 320
0.078 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.081 * * * * [points]: Setting MPFR precision to 64
0.085 * * * * [points]: Setting MPFR precision to 320
0.089 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.147 * * * * [points]: Setting MPFR precision to 64
0.159 * * * * [points]: Setting MPFR precision to 320
0.171 * * * * [points]: Computing exacts for 256 points
0.176 * * * * [points]: Setting MPFR precision to 64
0.208 * * * * [points]: Setting MPFR precision to 320
0.227 * * * * [points]: Filtering points with unrepresentable outputs
0.228 * * * * [points]: Sampled 256 points with exact outputs
0.229 * * * [progress]: [2/2] Setting up program.
0.259 * [progress]: [Phase 2 of 3] Improving.
0.260 * * * * [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.262 * [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.263 * * [simplify]: iteration 1: (16 enodes)
0.270 * * [simplify]: iteration 2: (45 enodes)
0.278 * * [simplify]: iteration 3: (91 enodes)
0.329 * * [simplify]: iteration 4: (310 enodes)
0.477 * * [simplify]: iteration 5: (1361 enodes)
2.482 * * [simplify]: Extracting #0: cost 1 inf + 0
2.483 * * [simplify]: Extracting #1: cost 109 inf + 0
2.485 * * [simplify]: Extracting #2: cost 706 inf + 1
2.488 * * [simplify]: Extracting #3: cost 1290 inf + 2251
2.495 * * [simplify]: Extracting #4: cost 1800 inf + 50605
2.506 * * [simplify]: Extracting #5: cost 2124 inf + 108239
2.550 * * [simplify]: Extracting #6: cost 2247 inf + 615589
2.779 * * [simplify]: Extracting #7: cost 604 inf + 4149249
3.185 * * [simplify]: Extracting #8: cost 6 inf + 5636236
3.683 * * [simplify]: Extracting #9: cost 0 inf + 5653221
4.082 * [simplify]: Simplified to:
  (/.p16 (-.p16 (neg.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 c a) (real->posit16 4))))) b) (*.p16 (real->posit16 2) a))
4.108 * * [progress]: iteration 1 / 4
4.109 * * * [progress]: picking best candidate
4.126 * * * * [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)))>
4.126 * * * [progress]: localizing error
4.374 * * * [progress]: generating rewritten candidates
4.374 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
4.379 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
4.380 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
4.387 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 2)
4.409 * * * [progress]: generating series expansions
4.409 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
4.409 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
4.409 * * * * [progress]: [ 3 / 4 ] generating series at (2)
4.409 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 2)
4.409 * * * [progress]: simplifying candidates
4.409 * * * * [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)))>
4.410 * * * * [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)))>
4.410 * * * * [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))>
4.410 * * * * [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))))))))>
4.410 * * * * [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)))>
4.410 * * * * [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)))>
4.410 * * * * [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)))>
4.410 * * * * [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)))>
4.410 * * * * [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)))>
4.410 * * * * [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)))>
4.410 * [simplify]: Simplifying:
  (neg.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))))
  (-.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 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c))))) (real->posit16 2))
  (*.p16 (*.p16 (real->posit16 2) a) (+.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c))))))
  (*.p16 (real->posit16 4) a)
  (/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c))))) (*.p16 (real->posit16 2) a))
  (/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c))))) (*.p16 (real->posit16 2) a))
  (/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c))))) (*.p16 (real->posit16 2) a))
  (/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c))))) (*.p16 (real->posit16 2) a))
4.410 * * [simplify]: iteration 1: (24 enodes)
4.416 * * [simplify]: iteration 2: (65 enodes)
4.428 * * [simplify]: iteration 3: (180 enodes)
4.490 * * [simplify]: iteration 4: (623 enodes)
4.949 * * [simplify]: Extracting #0: cost 7 inf + 0
4.949 * * [simplify]: Extracting #1: cost 215 inf + 0
4.951 * * [simplify]: Extracting #2: cost 514 inf + 1206
4.959 * * [simplify]: Extracting #3: cost 617 inf + 194688
5.007 * * [simplify]: Extracting #4: cost 501 inf + 851856
5.154 * * [simplify]: Extracting #5: cost 185 inf + 1681136
5.268 * * [simplify]: Extracting #6: cost 2 inf + 2083473
5.423 * * [simplify]: Extracting #7: cost 0 inf + 2087081
5.583 * [simplify]: Simplified to:
  (neg.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 a c) (real->posit16 4)))))
  (+.p16 (*.p16 (+.p16 (neg.p16 b) (neg.p16 b)) (+.p16 (neg.p16 b) b)) (*.p16 (*.p16 a c) (real->posit16 4)))
  (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 a c) (real->posit16 4)))) b)
  (/.p16 (-.p16 (neg.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 a c) (real->posit16 4))))) b) (real->posit16 2))
  (*.p16 (real->posit16 2) (*.p16 a (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 a c) (real->posit16 4)))) b)))
  (*.p16 a (real->posit16 4))
  (/.p16 (-.p16 (neg.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 a c) (real->posit16 4))))) b) (*.p16 (real->posit16 2) a))
  (/.p16 (-.p16 (neg.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 a c) (real->posit16 4))))) b) (*.p16 (real->posit16 2) a))
  (/.p16 (-.p16 (neg.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 a c) (real->posit16 4))))) b) (*.p16 (real->posit16 2) a))
  (/.p16 (-.p16 (neg.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 a c) (real->posit16 4))))) b) (*.p16 (real->posit16 2) a))
5.584 * * * [progress]: adding candidates to table
6.070 * * [progress]: iteration 2 / 4
6.070 * * * [progress]: picking best candidate
6.155 * * * * [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))>
6.155 * * * [progress]: localizing error
6.393 * * * [progress]: generating rewritten candidates
6.393 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
6.396 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2)
6.396 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1 2)
6.404 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
6.410 * * * [progress]: generating series expansions
6.410 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
6.410 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2)
6.410 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1 2)
6.410 * * * * [progress]: [ 4 / 4 ] generating series at (2)
6.411 * * * [progress]: simplifying candidates
6.411 * * * * [progress]: [ 1 / 9 ] 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))>
6.411 * * * * [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 (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))>
6.411 * * * * [progress]: [ 3 / 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))>
6.411 * * * * [progress]: [ 4 / 9 ] 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))>
6.411 * * * * [progress]: [ 5 / 9 ] 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 a (real->posit16 2))))>
6.411 * * * * [progress]: [ 6 / 9 ] 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))>
6.411 * * * * [progress]: [ 7 / 9 ] 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))>
6.411 * * * * [progress]: [ 8 / 9 ] 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))>
6.411 * * * * [progress]: [ 9 / 9 ] 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))>
6.411 * [simplify]: Simplifying:
  (neg.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c)))))
  (-.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 4) a)
  (*.p16 a (real->posit16 2))
  (/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b 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))))) (real->posit16 2))
  (/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b 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))))) (real->posit16 2))
6.412 * * [simplify]: iteration 1: (22 enodes)
6.430 * * [simplify]: iteration 2: (53 enodes)
6.449 * * [simplify]: iteration 3: (140 enodes)
6.515 * * [simplify]: iteration 4: (544 enodes)
6.839 * * [simplify]: Extracting #0: cost 6 inf + 0
6.839 * * [simplify]: Extracting #1: cost 120 inf + 0
6.840 * * [simplify]: Extracting #2: cost 381 inf + 724
6.846 * * [simplify]: Extracting #3: cost 513 inf + 137920
6.897 * * [simplify]: Extracting #4: cost 367 inf + 890858
6.999 * * [simplify]: Extracting #5: cost 188 inf + 1426435
7.126 * * [simplify]: Extracting #6: cost 9 inf + 1776574
7.280 * * [simplify]: Extracting #7: cost 0 inf + 1799609
7.404 * [simplify]: Simplified to:
  (neg.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 a c) (real->posit16 4)))))
  (+.p16 (*.p16 (*.p16 a c) (real->posit16 4)) (*.p16 (+.p16 (neg.p16 b) (neg.p16 b)) (+.p16 (neg.p16 b) b)))
  (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 a c) (real->posit16 4)))) b)
  (*.p16 a (real->posit16 4))
  (*.p16 (real->posit16 2) a)
  (/.p16 (-.p16 (neg.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 a c) (real->posit16 4))))) b) (real->posit16 2))
  (/.p16 (-.p16 (neg.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 a c) (real->posit16 4))))) b) (real->posit16 2))
  (/.p16 (-.p16 (neg.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 a c) (real->posit16 4))))) b) (real->posit16 2))
  (/.p16 (-.p16 (neg.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 a c) (real->posit16 4))))) b) (real->posit16 2))
7.405 * * * [progress]: adding candidates to table
7.870 * * [progress]: iteration 3 / 4
7.870 * * * [progress]: picking best candidate
8.049 * * * * [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 (real->posit16 2) a)))>
8.049 * * * [progress]: localizing error
8.336 * * * [progress]: generating rewritten candidates
8.336 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
8.338 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
8.339 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
8.345 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1)
8.353 * * * [progress]: generating series expansions
8.354 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
8.354 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
8.354 * * * * [progress]: [ 3 / 4 ] generating series at (2)
8.354 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1)
8.354 * * * [progress]: simplifying candidates
8.354 * * * * [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 (real->posit16 2) a)))>
8.354 * * * * [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 (real->posit16 2) a)))>
8.354 * * * * [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)))) (real->posit16 2)) a))>
8.354 * * * * [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 (real->posit16 2) a) (+.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c)))))))>
8.354 * * * * [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 (real->posit16 2) a)))>
8.354 * * * * [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 (real->posit16 2) a)))>
8.354 * * * * [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 (real->posit16 2) a)))>
8.354 * * * * [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 (real->posit16 2) a)))>
8.354 * * * * [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 (real->posit16 2) a)))>
8.354 * * * * [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 (real->posit16 2) a)))>
8.355 * [simplify]: Simplifying:
  (neg.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c))))
  (-.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 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c)))) (real->posit16 2))
  (*.p16 (*.p16 (real->posit16 2) a) (+.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c)))))
  (neg.p16 (*.p16 (*.p16 (real->posit16 4) a) c))
  (-.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 (real->posit16 4) a)
  (*.p16 (real->posit16 4) a)
  (*.p16 (real->posit16 4) a)
  (*.p16 (real->posit16 4) a)
8.355 * * [simplify]: iteration 1: (27 enodes)
8.367 * * [simplify]: iteration 2: (79 enodes)
8.383 * * [simplify]: iteration 3: (228 enodes)
8.458 * * [simplify]: iteration 4: (879 enodes)
9.736 * * [simplify]: Extracting #0: cost 9 inf + 0
9.736 * * [simplify]: Extracting #1: cost 217 inf + 0
9.746 * * [simplify]: Extracting #2: cost 832 inf + 2648
9.751 * * [simplify]: Extracting #3: cost 1352 inf + 31536
9.800 * * [simplify]: Extracting #4: cost 1380 inf + 777244
10.029 * * [simplify]: Extracting #5: cost 343 inf + 3072300
10.394 * * [simplify]: Extracting #6: cost 1 inf + 3942130
10.659 * * [simplify]: Extracting #7: cost 0 inf + 3945614
11.057 * [simplify]: Simplified to:
  (neg.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))))
  (+.p16 (*.p16 (+.p16 (neg.p16 b) b) (+.p16 (neg.p16 b) (neg.p16 b))) (*.p16 c (*.p16 a (real->posit16 4))))
  (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b)
  (/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4)))))) (real->posit16 2))
  (*.p16 (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4))))) b) (*.p16 (real->posit16 2) a))
  (neg.p16 (*.p16 c (*.p16 a (real->posit16 4))))
  (*.p16 (-.p16 (*.p16 b b) (*.p16 c (*.p16 a (real->posit16 4)))) (+.p16 (*.p16 c (*.p16 a (real->posit16 4))) (*.p16 b b)))
  (+.p16 (*.p16 c (*.p16 a (real->posit16 4))) (*.p16 b b))
  (*.p16 a (real->posit16 4))
  (*.p16 a (real->posit16 4))
  (*.p16 a (real->posit16 4))
  (*.p16 a (real->posit16 4))
11.059 * * * [progress]: adding candidates to table
11.439 * * [progress]: iteration 4 / 4
11.440 * * * [progress]: picking best candidate
11.623 * * * * [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))>
11.623 * * * [progress]: localizing error
11.964 * * * [progress]: generating rewritten candidates
11.964 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
11.966 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2)
11.966 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
11.969 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1)
11.973 * * * [progress]: generating series expansions
11.973 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
11.973 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2)
11.973 * * * * [progress]: [ 3 / 4 ] generating series at (2)
11.973 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1)
11.973 * * * [progress]: simplifying candidates
11.974 * * * * [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))>
11.974 * * * * [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))>
11.974 * * * * [progress]: [ 3 / 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))))>
11.974 * * * * [progress]: [ 4 / 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))>
11.974 * * * * [progress]: [ 5 / 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))>
11.974 * * * * [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))>
11.974 * * * * [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))>
11.974 * * * * [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))>
11.974 * * * * [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))>
11.974 * [simplify]: Simplifying:
  (neg.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c))))
  (-.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))
  (neg.p16 (*.p16 (*.p16 (real->posit16 4) a) c))
  (-.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 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c)))) (real->posit16 2))
  (/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c)))) (real->posit16 2))
  (/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c)))) (real->posit16 2))
  (/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 (real->posit16 4) a) c)))) (real->posit16 2))
11.974 * * [simplify]: iteration 1: (26 enodes)
11.980 * * [simplify]: iteration 2: (69 enodes)
11.992 * * [simplify]: iteration 3: (195 enodes)
12.046 * * [simplify]: iteration 4: (860 enodes)
12.825 * * [simplify]: Extracting #0: cost 8 inf + 0
12.826 * * [simplify]: Extracting #1: cost 200 inf + 0
12.830 * * [simplify]: Extracting #2: cost 814 inf + 1847
12.838 * * [simplify]: Extracting #3: cost 1354 inf + 17563
12.856 * * [simplify]: Extracting #4: cost 1724 inf + 125399
12.951 * * [simplify]: Extracting #5: cost 1096 inf + 1340376
13.237 * * [simplify]: Extracting #6: cost 149 inf + 3561239
13.529 * * [simplify]: Extracting #7: cost 0 inf + 3947442
13.796 * * [simplify]: Extracting #8: cost 0 inf + 3947043
14.071 * [simplify]: Simplified to:
  (neg.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 a c) (real->posit16 4)))))
  (+.p16 (*.p16 (+.p16 (neg.p16 b) b) (+.p16 (neg.p16 b) (neg.p16 b))) (*.p16 (*.p16 a c) (real->posit16 4)))
  (-.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 a c) (real->posit16 4)))) b)
  (*.p16 a (real->posit16 2))
  (neg.p16 (*.p16 (*.p16 a c) (real->posit16 4)))
  (*.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 a c) (real->posit16 4))) (+.p16 (*.p16 (*.p16 a c) (real->posit16 4)) (*.p16 b b)))
  (+.p16 (*.p16 (*.p16 a c) (real->posit16 4)) (*.p16 b b))
  (/.p16 (-.p16 (neg.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 a c) (real->posit16 4))))) b) (real->posit16 2))
  (/.p16 (-.p16 (neg.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 a c) (real->posit16 4))))) b) (real->posit16 2))
  (/.p16 (-.p16 (neg.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 a c) (real->posit16 4))))) b) (real->posit16 2))
  (/.p16 (-.p16 (neg.p16 (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (*.p16 a c) (real->posit16 4))))) b) (real->posit16 2))
14.072 * * * [progress]: adding candidates to table
14.453 * [progress]: [Phase 3 of 3] Extracting.
14.454 * * [regime]: Finding splitpoints for: (#<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))))))))> #<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 (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))> #<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))> #<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 (real->posit16 2) 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 (*.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))>)
14.463 * * * [regime-changes]: Trying 3 branch expressions: (c a b)
14.463 * * * * [regimes]: Trying to branch on c from (#<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))))))))> #<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 (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))> #<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))> #<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 (real->posit16 2) 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 (*.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))>)
14.674 * * * * [regimes]: Trying to branch on a from (#<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))))))))> #<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 (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))> #<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))> #<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 (real->posit16 2) 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 (*.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))>)
14.900 * * * * [regimes]: Trying to branch on b from (#<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))))))))> #<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 (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))> #<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))> #<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 (real->posit16 2) 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 (*.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))>)
15.190 * * * [regime]: Found split indices: #<option (#s(si 5 256))>
15.191 * [simplify]: Simplifying:
  (/.p16 (/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c))))) (real->posit16 2)) a)
15.191 * * [simplify]: iteration 1: (16 enodes)
15.193 * * [simplify]: Extracting #0: cost 1 inf + 0
15.193 * * [simplify]: Extracting #1: cost 3 inf + 0
15.193 * * [simplify]: Extracting #2: cost 4 inf + 1
15.193 * * [simplify]: Extracting #3: cost 7 inf + 1
15.194 * * [simplify]: Extracting #4: cost 7 inf + 3
15.194 * * [simplify]: Extracting #5: cost 8 inf + 4
15.194 * * [simplify]: Extracting #6: cost 8 inf + 406
15.194 * * [simplify]: Extracting #7: cost 10 inf + 406
15.194 * * [simplify]: Extracting #8: cost 7 inf + 730
15.194 * * [simplify]: Extracting #9: cost 4 inf + 2418
15.194 * * [simplify]: Extracting #10: cost 2 inf + 4746
15.195 * * [simplify]: Extracting #11: cost 0 inf + 8556
15.195 * [simplify]: Simplified to:
  (/.p16 (/.p16 (-.p16 (neg.p16 b) (sqrt.p16 (-.p16 (*.p16 b b) (*.p16 (real->posit16 4) (*.p16 a c))))) (real->posit16 2)) a)
15.195 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
15.265 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
15.270 * * * * [points]: Setting MPFR precision to 64
15.272 * * * * [points]: Setting MPFR precision to 320
15.274 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
15.279 * * * * [points]: Setting MPFR precision to 64
15.283 * * * * [points]: Setting MPFR precision to 320
15.287 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
15.292 * * * * [points]: Setting MPFR precision to 64
15.301 * * * * [points]: Setting MPFR precision to 320
15.309 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
15.314 * * * * [points]: Setting MPFR precision to 64
15.330 * * * * [points]: Setting MPFR precision to 320
15.347 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
15.353 * * * * [points]: Setting MPFR precision to 64
15.385 * * * * [points]: Setting MPFR precision to 320
15.417 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
15.422 * * * * [points]: Setting MPFR precision to 64
15.524 * * * * [points]: Setting MPFR precision to 320
15.585 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
15.590 * * * * [points]: Setting MPFR precision to 64
15.741 * * * * [points]: Setting MPFR precision to 320
15.869 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
15.874 * * * * [points]: Setting MPFR precision to 64
16.195 * * * * [points]: Setting MPFR precision to 320
16.384 * * * * [points]: Computing exacts for 8000 points
16.390 * * * * [points]: Setting MPFR precision to 64
17.701 * * * * [points]: Setting MPFR precision to 320
18.921 * * * * [points]: Filtering points with unrepresentable outputs
18.962 * * * * [points]: Sampled 8000 points with exact outputs
26.624 * [regime-testing]: Baseline error score: 1.5217652915993283
26.629 * [regime-testing]: Oracle error score: 1.143671813505514
26.638 * [regime-testing]: End program error score: 1.5217652915993283