0.002 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.002 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.002 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.005 * * * * [points]: Setting MPFR precision to 64
0.006 * * * * [points]: Setting MPFR precision to 320
0.007 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.009 * * * * [points]: Setting MPFR precision to 64
0.010 * * * * [points]: Setting MPFR precision to 320
0.012 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.014 * * * * [points]: Setting MPFR precision to 64
0.017 * * * * [points]: Setting MPFR precision to 320
0.020 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.022 * * * * [points]: Setting MPFR precision to 64
0.033 * * * * [points]: Setting MPFR precision to 320
0.038 * * * * [points]: Computing exacts for 256 points
0.040 * * * * [points]: Setting MPFR precision to 64
0.055 * * * * [points]: Setting MPFR precision to 320
0.071 * * * * [points]: Filtering points with unrepresentable outputs
0.072 * * * * [points]: Sampled 256 points with exact outputs
0.072 * * * [progress]: [2/2] Setting up program.
0.087 * [progress]: [Phase 2 of 3] Improving.
0.087 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))>
0.087 * [simplify]: Simplifying (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))
0.087 * * [simplify]: iters left: 6 (14 enodes)
0.090 * * [simplify]: iters left: 5 (29 enodes)
0.095 * * [simplify]: iters left: 4 (49 enodes)
0.105 * * [simplify]: iters left: 3 (120 enodes)
0.152 * * [simplify]: iters left: 2 (464 enodes)
0.475 * * [simplify]: Extracting #0: cost 1 inf + 0
0.475 * * [simplify]: Extracting #1: cost 3 inf + 0
0.475 * * [simplify]: Extracting #2: cost 5 inf + 0
0.476 * * [simplify]: Extracting #3: cost 80 inf + 1
0.477 * * [simplify]: Extracting #4: cost 345 inf + 2
0.482 * * [simplify]: Extracting #5: cost 580 inf + 7991
0.509 * * [simplify]: Extracting #6: cost 562 inf + 201841
0.576 * * [simplify]: Extracting #7: cost 164 inf + 841241
0.652 * * [simplify]: Extracting #8: cost 7 inf + 1102755
0.720 * * [simplify]: Extracting #9: cost 0 inf + 1117051
0.776 * [simplify]: Simplified to (*.p16 (sqrt.p16 (*.p16 (real->posit16 2.0) (-.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re))) (real->posit16 0.5))
0.776 * [simplify]: Simplified (2) to (λ (re im) (*.p16 (sqrt.p16 (*.p16 (real->posit16 2.0) (-.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re))) (real->posit16 0.5)))
0.790 * * [progress]: iteration 1 / 4
0.790 * * * [progress]: picking best candidate
0.805 * * * * [pick]: Picked  #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))>
0.805 * * * [progress]: localizing error
0.978 * * * [progress]: generating rewritten candidates
0.978 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2)
0.980 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 1)
0.980 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
0.980 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 1 1)
0.984 * * * [progress]: generating series expansions
0.984 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2)
0.984 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 1)
0.984 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
0.984 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 1 1)
0.984 * * * [progress]: simplifying candidates
0.984 * * * * [progress]: [ 1 / 7 ] simplifiying candidate #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) (neg.p16 re))))))>
0.984 * * * * [progress]: [ 2 / 7 ] simplifiying candidate #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (-.p16 (*.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (*.p16 re re)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))>
0.984 * * * * [progress]: [ 3 / 7 ] simplifiying candidate #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (-.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re)))))>
0.984 * * * * [progress]: [ 4 / 7 ] simplifiying candidate #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))>
0.985 * [simplify]: Simplifying (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))
0.985 * * [simplify]: iters left: 6 (14 enodes)
0.988 * * [simplify]: iters left: 5 (29 enodes)
0.994 * * [simplify]: iters left: 4 (49 enodes)
1.003 * * [simplify]: iters left: 3 (120 enodes)
1.076 * * [simplify]: iters left: 2 (464 enodes)
1.574 * * [simplify]: Extracting #0: cost 1 inf + 0
1.574 * * [simplify]: Extracting #1: cost 3 inf + 0
1.574 * * [simplify]: Extracting #2: cost 5 inf + 0
1.574 * * [simplify]: Extracting #3: cost 80 inf + 1
1.575 * * [simplify]: Extracting #4: cost 345 inf + 2
1.579 * * [simplify]: Extracting #5: cost 580 inf + 7991
1.593 * * [simplify]: Extracting #6: cost 562 inf + 201841
1.640 * * [simplify]: Extracting #7: cost 164 inf + 841241
1.701 * * [simplify]: Extracting #8: cost 7 inf + 1102755
1.770 * * [simplify]: Extracting #9: cost 0 inf + 1117051
1.848 * [simplify]: Simplified to (*.p16 (sqrt.p16 (*.p16 (real->posit16 2.0) (-.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re))) (real->posit16 0.5))
1.848 * [simplify]: Simplified (2) to (λ (re im) (*.p16 (sqrt.p16 (*.p16 (real->posit16 2.0) (-.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re))) (real->posit16 0.5)))
1.848 * * * * [progress]: [ 5 / 7 ] simplifiying candidate #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))>
1.848 * [simplify]: Simplifying (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))
1.848 * * [simplify]: iters left: 6 (14 enodes)
1.852 * * [simplify]: iters left: 5 (29 enodes)
1.857 * * [simplify]: iters left: 4 (49 enodes)
1.866 * * [simplify]: iters left: 3 (120 enodes)
1.901 * * [simplify]: iters left: 2 (464 enodes)
2.288 * * [simplify]: Extracting #0: cost 1 inf + 0
2.288 * * [simplify]: Extracting #1: cost 3 inf + 0
2.288 * * [simplify]: Extracting #2: cost 5 inf + 0
2.288 * * [simplify]: Extracting #3: cost 80 inf + 1
2.289 * * [simplify]: Extracting #4: cost 345 inf + 2
2.291 * * [simplify]: Extracting #5: cost 580 inf + 7991
2.301 * * [simplify]: Extracting #6: cost 562 inf + 201841
2.339 * * [simplify]: Extracting #7: cost 164 inf + 841241
2.390 * * [simplify]: Extracting #8: cost 7 inf + 1102755
2.446 * * [simplify]: Extracting #9: cost 0 inf + 1117051
2.501 * [simplify]: Simplified to (*.p16 (sqrt.p16 (*.p16 (real->posit16 2.0) (-.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re))) (real->posit16 0.5))
2.501 * [simplify]: Simplified (2) to (λ (re im) (*.p16 (sqrt.p16 (*.p16 (real->posit16 2.0) (-.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re))) (real->posit16 0.5)))
2.502 * * * * [progress]: [ 6 / 7 ] simplifiying candidate #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))>
2.502 * [simplify]: Simplifying (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))
2.502 * * [simplify]: iters left: 6 (14 enodes)
2.505 * * [simplify]: iters left: 5 (29 enodes)
2.518 * * [simplify]: iters left: 4 (49 enodes)
2.539 * * [simplify]: iters left: 3 (120 enodes)
2.575 * * [simplify]: iters left: 2 (464 enodes)
2.866 * * [simplify]: Extracting #0: cost 1 inf + 0
2.866 * * [simplify]: Extracting #1: cost 3 inf + 0
2.866 * * [simplify]: Extracting #2: cost 5 inf + 0
2.867 * * [simplify]: Extracting #3: cost 80 inf + 1
2.867 * * [simplify]: Extracting #4: cost 345 inf + 2
2.869 * * [simplify]: Extracting #5: cost 580 inf + 7991
2.879 * * [simplify]: Extracting #6: cost 562 inf + 201841
2.932 * * [simplify]: Extracting #7: cost 164 inf + 841241
3.034 * * [simplify]: Extracting #8: cost 7 inf + 1102755
3.125 * * [simplify]: Extracting #9: cost 0 inf + 1117051
3.180 * [simplify]: Simplified to (*.p16 (sqrt.p16 (*.p16 (real->posit16 2.0) (-.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re))) (real->posit16 0.5))
3.180 * [simplify]: Simplified (2) to (λ (re im) (*.p16 (sqrt.p16 (*.p16 (real->posit16 2.0) (-.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re))) (real->posit16 0.5)))
3.180 * * * * [progress]: [ 7 / 7 ] simplifiying candidate #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))>
3.181 * [simplify]: Simplifying (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))
3.181 * * [simplify]: iters left: 6 (14 enodes)
3.184 * * [simplify]: iters left: 5 (29 enodes)
3.189 * * [simplify]: iters left: 4 (49 enodes)
3.199 * * [simplify]: iters left: 3 (120 enodes)
3.246 * * [simplify]: iters left: 2 (464 enodes)
3.752 * * [simplify]: Extracting #0: cost 1 inf + 0
3.752 * * [simplify]: Extracting #1: cost 3 inf + 0
3.752 * * [simplify]: Extracting #2: cost 5 inf + 0
3.752 * * [simplify]: Extracting #3: cost 80 inf + 1
3.753 * * [simplify]: Extracting #4: cost 345 inf + 2
3.755 * * [simplify]: Extracting #5: cost 580 inf + 7991
3.768 * * [simplify]: Extracting #6: cost 562 inf + 201841
3.801 * * [simplify]: Extracting #7: cost 164 inf + 841241
3.891 * * [simplify]: Extracting #8: cost 7 inf + 1102755
3.960 * * [simplify]: Extracting #9: cost 0 inf + 1117051
4.069 * [simplify]: Simplified to (*.p16 (sqrt.p16 (*.p16 (real->posit16 2.0) (-.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re))) (real->posit16 0.5))
4.070 * [simplify]: Simplified (2) to (λ (re im) (*.p16 (sqrt.p16 (*.p16 (real->posit16 2.0) (-.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re))) (real->posit16 0.5)))
4.070 * * * [progress]: adding candidates to table
4.265 * * [progress]: iteration 2 / 4
4.265 * * * [progress]: picking best candidate
4.281 * * * * [pick]: Picked  #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (-.p16 (*.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (*.p16 re re)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))>
4.281 * * * [progress]: localizing error
4.664 * * * [progress]: generating rewritten candidates
4.664 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 1)
4.670 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2)
4.679 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 2)
4.684 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 2 1)
4.685 * * * [progress]: generating series expansions
4.685 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 1)
4.685 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2)
4.685 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 2)
4.685 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 2 1)
4.685 * * * [progress]: simplifying candidates
4.685 * * * * [progress]: [ 1 / 10 ] simplifiying candidate #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))>
4.686 * [simplify]: Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
4.686 * * [simplify]: iters left: 4 (7 enodes)
4.689 * * [simplify]: iters left: 3 (13 enodes)
4.692 * * [simplify]: Extracting #0: cost 1 inf + 0
4.692 * * [simplify]: Extracting #1: cost 3 inf + 0
4.693 * * [simplify]: Extracting #2: cost 3 inf + 1
4.693 * * [simplify]: Extracting #3: cost 5 inf + 1
4.693 * * [simplify]: Extracting #4: cost 5 inf + 322
4.693 * * [simplify]: Extracting #5: cost 0 inf + 2810
4.693 * [simplify]: Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
4.693 * [simplify]: Simplified (2 2 1 2 1 1) to (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))
4.694 * [simplify]: Simplifying (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
4.694 * * [simplify]: iters left: 4 (7 enodes)
4.697 * * [simplify]: iters left: 3 (18 enodes)
4.703 * * [simplify]: iters left: 2 (28 enodes)
4.713 * * [simplify]: iters left: 1 (86 enodes)
4.765 * * [simplify]: Extracting #0: cost 1 inf + 0
4.765 * * [simplify]: Extracting #1: cost 12 inf + 0
4.766 * * [simplify]: Extracting #2: cost 53 inf + 1
4.766 * * [simplify]: Extracting #3: cost 103 inf + 804
4.768 * * [simplify]: Extracting #4: cost 94 inf + 17486
4.774 * * [simplify]: Extracting #5: cost 15 inf + 109680
4.785 * * [simplify]: Extracting #6: cost 0 inf + 133154
4.795 * [simplify]: Simplified to (-.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re)
4.795 * [simplify]: Simplified (2 2 1 2 1 2) to (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (-.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))
4.796 * * * * [progress]: [ 2 / 10 ] simplifiying candidate #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (+.p16 (*.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (neg.p16 (*.p16 re re))) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))>
4.796 * * * * [progress]: [ 3 / 10 ] simplifiying candidate #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (*.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))))) (*.p16 (*.p16 re re) (*.p16 re re))) (+.p16 (*.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (*.p16 re re))) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))>
4.796 * * * * [progress]: [ 4 / 10 ] simplifiying candidate #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))))>
4.796 * [simplify]: Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
4.796 * * [simplify]: iters left: 4 (7 enodes)
4.799 * * [simplify]: iters left: 3 (13 enodes)
4.803 * * [simplify]: Extracting #0: cost 1 inf + 0
4.803 * * [simplify]: Extracting #1: cost 3 inf + 0
4.803 * * [simplify]: Extracting #2: cost 3 inf + 1
4.803 * * [simplify]: Extracting #3: cost 5 inf + 1
4.803 * * [simplify]: Extracting #4: cost 5 inf + 322
4.803 * * [simplify]: Extracting #5: cost 0 inf + 2810
4.804 * [simplify]: Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
4.804 * [simplify]: Simplified (2 2 1 2 1) to (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) (/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))))
4.804 * * * * [progress]: [ 5 / 10 ] simplifiying candidate #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (-.p16 (*.p16 (*.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (*.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))))) (*.p16 (*.p16 re re) (*.p16 re re))) (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (+.p16 (*.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (*.p16 re re))))))))>
4.804 * [simplify]: Simplifying (-.p16 (*.p16 (*.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (*.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))))) (*.p16 (*.p16 re re) (*.p16 re re)))
4.804 * * [simplify]: iters left: 6 (10 enodes)
4.809 * * [simplify]: iters left: 5 (33 enodes)
4.823 * * [simplify]: iters left: 4 (93 enodes)
4.884 * * [simplify]: iters left: 3 (450 enodes)
5.676 * * [simplify]: Extracting #0: cost 1 inf + 0
5.676 * * [simplify]: Extracting #1: cost 60 inf + 0
5.677 * * [simplify]: Extracting #2: cost 374 inf + 963
5.682 * * [simplify]: Extracting #3: cost 459 inf + 130109
5.712 * * [simplify]: Extracting #4: cost 338 inf + 699471
5.781 * * [simplify]: Extracting #5: cost 9 inf + 1277945
5.913 * * [simplify]: Extracting #6: cost 0 inf + 1301041
6.045 * [simplify]: Simplified to (*.p16 (+.p16 (*.p16 re re) (+.p16 (*.p16 im im) (*.p16 re re))) (*.p16 im im))
6.045 * [simplify]: Simplified (2 2 1 2 1) to (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 (+.p16 (*.p16 re re) (+.p16 (*.p16 im im) (*.p16 re re))) (*.p16 im im)) (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (+.p16 (*.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (*.p16 re re))))))))
6.045 * * * * [progress]: [ 6 / 10 ] simplifiying candidate #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (-.p16 (*.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (*.p16 re re)) (+.p16 re (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))))))))>
6.045 * * * * [progress]: [ 7 / 10 ] simplifiying candidate #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (-.p16 (*.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (*.p16 re re)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))>
6.046 * * * * [progress]: [ 8 / 10 ] simplifiying candidate #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (-.p16 (*.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (*.p16 re re)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))>
6.046 * * * * [progress]: [ 9 / 10 ] simplifiying candidate #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (-.p16 (*.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (*.p16 re re)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))>
6.046 * * * * [progress]: [ 10 / 10 ] simplifiying candidate #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (-.p16 (*.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (*.p16 re re)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))>
6.046 * * * [progress]: adding candidates to table
6.421 * * [progress]: iteration 3 / 4
6.421 * * * [progress]: picking best candidate
6.491 * * * * [pick]: Picked  #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))>
6.492 * * * [progress]: localizing error
6.961 * * * [progress]: generating rewritten candidates
6.962 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2)
6.972 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 1 2)
6.975 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 2)
6.981 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 1 1)
6.986 * * * [progress]: generating series expansions
6.986 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2)
6.987 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 1 2)
6.987 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 2)
6.987 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 1 1)
6.987 * * * [progress]: simplifying candidates
6.987 * * * * [progress]: [ 1 / 10 ] simplifiying candidate #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))))>
6.987 * [simplify]: Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
6.987 * * [simplify]: iters left: 4 (7 enodes)
6.999 * * [simplify]: iters left: 3 (13 enodes)
7.004 * * [simplify]: Extracting #0: cost 1 inf + 0
7.004 * * [simplify]: Extracting #1: cost 3 inf + 0
7.004 * * [simplify]: Extracting #2: cost 3 inf + 1
7.004 * * [simplify]: Extracting #3: cost 5 inf + 1
7.004 * * [simplify]: Extracting #4: cost 5 inf + 322
7.004 * * [simplify]: Extracting #5: cost 0 inf + 2810
7.004 * [simplify]: Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
7.004 * [simplify]: Simplified (2 2 1 2 1) to (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) (/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))))
7.005 * * * * [progress]: [ 2 / 10 ] simplifiying candidate #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (-.p16 (*.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (*.p16 re re))) (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))))>
7.005 * [simplify]: Simplifying (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (-.p16 (*.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (*.p16 re re)))
7.005 * * [simplify]: iters left: 6 (10 enodes)
7.010 * * [simplify]: iters left: 5 (26 enodes)
7.021 * * [simplify]: iters left: 4 (87 enodes)
7.075 * * [simplify]: iters left: 3 (403 enodes)
7.591 * * [simplify]: Extracting #0: cost 1 inf + 0
7.591 * * [simplify]: Extracting #1: cost 69 inf + 0
7.593 * * [simplify]: Extracting #2: cost 394 inf + 322
7.600 * * [simplify]: Extracting #3: cost 516 inf + 48772
7.643 * * [simplify]: Extracting #4: cost 194 inf + 561674
7.725 * * [simplify]: Extracting #5: cost 7 inf + 868789
7.812 * * [simplify]: Extracting #6: cost 0 inf + 881522
7.897 * [simplify]: Simplified to (*.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) (*.p16 im im))
7.897 * [simplify]: Simplified (2 2 1 2 1) to (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) (*.p16 im im)) (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))))
7.898 * * * * [progress]: [ 3 / 10 ] simplifiying candidate #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) (neg.p16 re))) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))>
7.898 * * * * [progress]: [ 4 / 10 ] simplifiying candidate #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (/.p16 (-.p16 (*.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (*.p16 re re)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))>
7.898 * * * * [progress]: [ 5 / 10 ] simplifiying candidate #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)) (+.p16 re (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))))))))>
7.898 * * * * [progress]: [ 6 / 10 ] simplifiying candidate #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))>
7.898 * * * * [progress]: [ 7 / 10 ] simplifiying candidate #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))>
7.899 * [simplify]: Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
7.899 * * [simplify]: iters left: 4 (7 enodes)
7.902 * * [simplify]: iters left: 3 (13 enodes)
7.906 * * [simplify]: Extracting #0: cost 1 inf + 0
7.906 * * [simplify]: Extracting #1: cost 3 inf + 0
7.906 * * [simplify]: Extracting #2: cost 3 inf + 1
7.906 * * [simplify]: Extracting #3: cost 5 inf + 1
7.906 * * [simplify]: Extracting #4: cost 5 inf + 322
7.906 * * [simplify]: Extracting #5: cost 0 inf + 2810
7.906 * [simplify]: Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
7.906 * [simplify]: Simplified (2 2 1 2 1 1) to (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))
7.907 * [simplify]: Simplifying (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
7.907 * * [simplify]: iters left: 4 (7 enodes)
7.910 * * [simplify]: iters left: 3 (18 enodes)
7.916 * * [simplify]: iters left: 2 (28 enodes)
7.926 * * [simplify]: iters left: 1 (86 enodes)
7.963 * * [simplify]: Extracting #0: cost 1 inf + 0
7.963 * * [simplify]: Extracting #1: cost 12 inf + 0
7.963 * * [simplify]: Extracting #2: cost 53 inf + 1
7.964 * * [simplify]: Extracting #3: cost 103 inf + 804
7.966 * * [simplify]: Extracting #4: cost 94 inf + 17486
7.973 * * [simplify]: Extracting #5: cost 15 inf + 109680
7.984 * * [simplify]: Extracting #6: cost 0 inf + 133154
7.994 * [simplify]: Simplified to (-.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re)
7.995 * [simplify]: Simplified (2 2 1 2 1 2) to (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (-.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))
7.995 * * * * [progress]: [ 8 / 10 ] simplifiying candidate #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))>
7.995 * [simplify]: Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
7.995 * * [simplify]: iters left: 4 (7 enodes)
7.998 * * [simplify]: iters left: 3 (13 enodes)
8.002 * * [simplify]: Extracting #0: cost 1 inf + 0
8.003 * * [simplify]: Extracting #1: cost 3 inf + 0
8.003 * * [simplify]: Extracting #2: cost 3 inf + 1
8.003 * * [simplify]: Extracting #3: cost 5 inf + 1
8.003 * * [simplify]: Extracting #4: cost 5 inf + 322
8.003 * * [simplify]: Extracting #5: cost 0 inf + 2810
8.003 * [simplify]: Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
8.003 * [simplify]: Simplified (2 2 1 2 1 1) to (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))
8.004 * [simplify]: Simplifying (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
8.004 * * [simplify]: iters left: 4 (7 enodes)
8.007 * * [simplify]: iters left: 3 (18 enodes)
8.013 * * [simplify]: iters left: 2 (28 enodes)
8.024 * * [simplify]: iters left: 1 (86 enodes)
8.073 * * [simplify]: Extracting #0: cost 1 inf + 0
8.073 * * [simplify]: Extracting #1: cost 12 inf + 0
8.074 * * [simplify]: Extracting #2: cost 53 inf + 1
8.074 * * [simplify]: Extracting #3: cost 103 inf + 804
8.079 * * [simplify]: Extracting #4: cost 94 inf + 17486
8.085 * * [simplify]: Extracting #5: cost 15 inf + 109680
8.096 * * [simplify]: Extracting #6: cost 0 inf + 133154
8.107 * [simplify]: Simplified to (-.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re)
8.107 * [simplify]: Simplified (2 2 1 2 1 2) to (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (-.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))
8.107 * * * * [progress]: [ 9 / 10 ] simplifiying candidate #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))>
8.107 * [simplify]: Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
8.108 * * [simplify]: iters left: 4 (7 enodes)
8.111 * * [simplify]: iters left: 3 (13 enodes)
8.114 * * [simplify]: Extracting #0: cost 1 inf + 0
8.115 * * [simplify]: Extracting #1: cost 3 inf + 0
8.115 * * [simplify]: Extracting #2: cost 3 inf + 1
8.115 * * [simplify]: Extracting #3: cost 5 inf + 1
8.115 * * [simplify]: Extracting #4: cost 5 inf + 322
8.115 * * [simplify]: Extracting #5: cost 0 inf + 2810
8.115 * [simplify]: Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
8.115 * [simplify]: Simplified (2 2 1 2 1 1) to (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))
8.116 * [simplify]: Simplifying (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
8.116 * * [simplify]: iters left: 4 (7 enodes)
8.119 * * [simplify]: iters left: 3 (18 enodes)
8.125 * * [simplify]: iters left: 2 (28 enodes)
8.136 * * [simplify]: iters left: 1 (86 enodes)
8.177 * * [simplify]: Extracting #0: cost 1 inf + 0
8.177 * * [simplify]: Extracting #1: cost 12 inf + 0
8.177 * * [simplify]: Extracting #2: cost 53 inf + 1
8.178 * * [simplify]: Extracting #3: cost 103 inf + 804
8.178 * * [simplify]: Extracting #4: cost 94 inf + 17486
8.182 * * [simplify]: Extracting #5: cost 15 inf + 109680
8.187 * * [simplify]: Extracting #6: cost 0 inf + 133154
8.192 * [simplify]: Simplified to (-.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re)
8.193 * [simplify]: Simplified (2 2 1 2 1 2) to (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (-.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))
8.193 * * * * [progress]: [ 10 / 10 ] simplifiying candidate #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))>
8.193 * [simplify]: Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
8.193 * * [simplify]: iters left: 4 (7 enodes)
8.194 * * [simplify]: iters left: 3 (13 enodes)
8.196 * * [simplify]: Extracting #0: cost 1 inf + 0
8.196 * * [simplify]: Extracting #1: cost 3 inf + 0
8.196 * * [simplify]: Extracting #2: cost 3 inf + 1
8.196 * * [simplify]: Extracting #3: cost 5 inf + 1
8.196 * * [simplify]: Extracting #4: cost 5 inf + 322
8.197 * * [simplify]: Extracting #5: cost 0 inf + 2810
8.197 * [simplify]: Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
8.197 * [simplify]: Simplified (2 2 1 2 1 1) to (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))
8.197 * [simplify]: Simplifying (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
8.197 * * [simplify]: iters left: 4 (7 enodes)
8.199 * * [simplify]: iters left: 3 (18 enodes)
8.206 * * [simplify]: iters left: 2 (28 enodes)
8.216 * * [simplify]: iters left: 1 (86 enodes)
8.262 * * [simplify]: Extracting #0: cost 1 inf + 0
8.262 * * [simplify]: Extracting #1: cost 12 inf + 0
8.262 * * [simplify]: Extracting #2: cost 53 inf + 1
8.263 * * [simplify]: Extracting #3: cost 103 inf + 804
8.264 * * [simplify]: Extracting #4: cost 94 inf + 17486
8.270 * * [simplify]: Extracting #5: cost 15 inf + 109680
8.281 * * [simplify]: Extracting #6: cost 0 inf + 133154
8.288 * [simplify]: Simplified to (-.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re)
8.288 * [simplify]: Simplified (2 2 1 2 1 2) to (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (-.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))
8.289 * * * [progress]: adding candidates to table
8.672 * * [progress]: iteration 4 / 4
8.673 * * * [progress]: picking best candidate
8.760 * * * * [pick]: Picked  #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))))>
8.760 * * * [progress]: localizing error
9.158 * * * [progress]: generating rewritten candidates
9.158 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 2 2)
9.160 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2)
9.164 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 2 1)
9.167 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 1)
9.170 * * * [progress]: generating series expansions
9.170 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 2 2)
9.170 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2)
9.170 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 2 1)
9.170 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 1)
9.170 * * * [progress]: simplifying candidates
9.170 * * * * [progress]: [ 1 / 10 ] simplifiying candidate #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) (neg.p16 re))))))))>
9.170 * * * * [progress]: [ 2 / 10 ] simplifiying candidate #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (/.p16 (-.p16 (*.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (*.p16 re re)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))))>
9.170 * * * * [progress]: [ 3 / 10 ] simplifiying candidate #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (-.p16 (*.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (*.p16 re re)))) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))>
9.170 * [simplify]: Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
9.171 * * [simplify]: iters left: 4 (7 enodes)
9.173 * * [simplify]: iters left: 3 (13 enodes)
9.176 * * [simplify]: Extracting #0: cost 1 inf + 0
9.177 * * [simplify]: Extracting #1: cost 3 inf + 0
9.177 * * [simplify]: Extracting #2: cost 3 inf + 1
9.177 * * [simplify]: Extracting #3: cost 5 inf + 1
9.177 * * [simplify]: Extracting #4: cost 5 inf + 322
9.177 * * [simplify]: Extracting #5: cost 0 inf + 2810
9.177 * [simplify]: Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
9.177 * [simplify]: Simplified (2 2 1 2 2) to (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (-.p16 (*.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (*.p16 re re)))) (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))))))))
9.177 * * * * [progress]: [ 4 / 10 ] simplifiying candidate #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (*.p16 (/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))>
9.178 * [simplify]: Simplifying (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
9.178 * * [simplify]: iters left: 4 (7 enodes)
9.180 * * [simplify]: iters left: 3 (18 enodes)
9.186 * * [simplify]: iters left: 2 (28 enodes)
9.195 * * [simplify]: iters left: 1 (86 enodes)
9.237 * * [simplify]: Extracting #0: cost 1 inf + 0
9.238 * * [simplify]: Extracting #1: cost 12 inf + 0
9.238 * * [simplify]: Extracting #2: cost 53 inf + 1
9.238 * * [simplify]: Extracting #3: cost 103 inf + 804
9.239 * * [simplify]: Extracting #4: cost 94 inf + 17486
9.245 * * [simplify]: Extracting #5: cost 15 inf + 109680
9.255 * * [simplify]: Extracting #6: cost 0 inf + 133154
9.267 * [simplify]: Simplified to (-.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re)
9.267 * [simplify]: Simplified (2 2 1 2 2) to (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (*.p16 (/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)) (-.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re))))))
9.268 * * * * [progress]: [ 5 / 10 ] simplifiying candidate #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (/.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))))>
9.269 * * * * [progress]: [ 6 / 10 ] simplifiying candidate #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))))>
9.269 * * * * [progress]: [ 7 / 10 ] simplifiying candidate #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))))>
9.269 * [simplify]: Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
9.269 * * [simplify]: iters left: 4 (7 enodes)
9.272 * * [simplify]: iters left: 3 (13 enodes)
9.275 * * [simplify]: Extracting #0: cost 1 inf + 0
9.275 * * [simplify]: Extracting #1: cost 3 inf + 0
9.275 * * [simplify]: Extracting #2: cost 3 inf + 1
9.275 * * [simplify]: Extracting #3: cost 5 inf + 1
9.275 * * [simplify]: Extracting #4: cost 5 inf + 322
9.275 * * [simplify]: Extracting #5: cost 0 inf + 2810
9.276 * [simplify]: Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
9.276 * [simplify]: Simplified (2 2 1 2 1) to (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) (/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))))
9.276 * * * * [progress]: [ 8 / 10 ] simplifiying candidate #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))))>
9.276 * [simplify]: Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
9.276 * * [simplify]: iters left: 4 (7 enodes)
9.278 * * [simplify]: iters left: 3 (13 enodes)
9.280 * * [simplify]: Extracting #0: cost 1 inf + 0
9.280 * * [simplify]: Extracting #1: cost 3 inf + 0
9.280 * * [simplify]: Extracting #2: cost 3 inf + 1
9.280 * * [simplify]: Extracting #3: cost 5 inf + 1
9.280 * * [simplify]: Extracting #4: cost 5 inf + 322
9.281 * * [simplify]: Extracting #5: cost 0 inf + 2810
9.281 * [simplify]: Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
9.281 * [simplify]: Simplified (2 2 1 2 1) to (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) (/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))))
9.281 * * * * [progress]: [ 9 / 10 ] simplifiying candidate #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))))>
9.281 * [simplify]: Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
9.281 * * [simplify]: iters left: 4 (7 enodes)
9.282 * * [simplify]: iters left: 3 (13 enodes)
9.284 * * [simplify]: Extracting #0: cost 1 inf + 0
9.284 * * [simplify]: Extracting #1: cost 3 inf + 0
9.284 * * [simplify]: Extracting #2: cost 3 inf + 1
9.284 * * [simplify]: Extracting #3: cost 5 inf + 1
9.284 * * [simplify]: Extracting #4: cost 5 inf + 322
9.284 * * [simplify]: Extracting #5: cost 0 inf + 2810
9.285 * [simplify]: Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
9.285 * [simplify]: Simplified (2 2 1 2 1) to (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) (/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))))
9.285 * * * * [progress]: [ 10 / 10 ] simplifiying candidate #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))))>
9.285 * [simplify]: Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
9.285 * * [simplify]: iters left: 4 (7 enodes)
9.286 * * [simplify]: iters left: 3 (13 enodes)
9.288 * * [simplify]: Extracting #0: cost 1 inf + 0
9.288 * * [simplify]: Extracting #1: cost 3 inf + 0
9.288 * * [simplify]: Extracting #2: cost 3 inf + 1
9.288 * * [simplify]: Extracting #3: cost 5 inf + 1
9.288 * * [simplify]: Extracting #4: cost 5 inf + 322
9.288 * * [simplify]: Extracting #5: cost 0 inf + 2810
9.289 * [simplify]: Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
9.289 * [simplify]: Simplified (2 2 1 2 1) to (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) (/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))))
9.289 * * * [progress]: adding candidates to table
9.683 * [progress]: [Phase 3 of 3] Extracting.
9.683 * * [regime]: Finding splitpoints for: (#<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (/.p16 (-.p16 (*.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (*.p16 re re)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))))> #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 (+.p16 (*.p16 re re) (+.p16 (*.p16 im im) (*.p16 re re))) (*.p16 im im)) (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (+.p16 (*.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (*.p16 re re))))))))> #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))))> #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))> #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) (*.p16 im im)) (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))))> #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (-.p16 (*.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (*.p16 re re)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))> #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))>)
9.687 * * * [regime-changes]: Trying 2 branch expressions: (im re)
9.687 * * * * [regimes]: Trying to branch on im from (#<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (/.p16 (-.p16 (*.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (*.p16 re re)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))))> #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 (+.p16 (*.p16 re re) (+.p16 (*.p16 im im) (*.p16 re re))) (*.p16 im im)) (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (+.p16 (*.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (*.p16 re re))))))))> #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))))> #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))> #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) (*.p16 im im)) (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))))> #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (-.p16 (*.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (*.p16 re re)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))> #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))>)
9.915 * * * * [regimes]: Trying to branch on re from (#<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (/.p16 (-.p16 (*.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (*.p16 re re)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))))> #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 (+.p16 (*.p16 re re) (+.p16 (*.p16 im im) (*.p16 re re))) (*.p16 im im)) (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (+.p16 (*.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (*.p16 re re))))))))> #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))))> #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))> #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) (*.p16 im im)) (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))))> #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (-.p16 (*.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (*.p16 re re)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))> #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))>)
10.158 * * * [regime]: Found split indices: #<option (#s(si 3 256))>
10.158 * [simplify]: Simplifying (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))
10.159 * * [simplify]: iters left: 6 (14 enodes)
10.161 * * [simplify]: Extracting #0: cost 1 inf + 0
10.161 * * [simplify]: Extracting #1: cost 3 inf + 0
10.161 * * [simplify]: Extracting #2: cost 5 inf + 0
10.161 * * [simplify]: Extracting #3: cost 6 inf + 1
10.161 * * [simplify]: Extracting #4: cost 8 inf + 2
10.161 * * [simplify]: Extracting #5: cost 6 inf + 5
10.161 * * [simplify]: Extracting #6: cost 8 inf + 5
10.161 * * [simplify]: Extracting #7: cost 8 inf + 326
10.161 * * [simplify]: Extracting #8: cost 6 inf + 648
10.161 * * [simplify]: Extracting #9: cost 4 inf + 2052
10.161 * * [simplify]: Extracting #10: cost 2 inf + 3977
10.162 * * [simplify]: Extracting #11: cost 0 inf + 6624
10.162 * [simplify]: Simplified to (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))
10.162 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
10.204 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
10.208 * * * * [points]: Setting MPFR precision to 64
10.210 * * * * [points]: Setting MPFR precision to 320
10.211 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
10.215 * * * * [points]: Setting MPFR precision to 64
10.218 * * * * [points]: Setting MPFR precision to 320
10.222 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
10.237 * * * * [points]: Setting MPFR precision to 64
10.245 * * * * [points]: Setting MPFR precision to 320
10.252 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
10.256 * * * * [points]: Setting MPFR precision to 64
10.269 * * * * [points]: Setting MPFR precision to 320
10.279 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
10.281 * * * * [points]: Setting MPFR precision to 64
10.297 * * * * [points]: Setting MPFR precision to 320
10.321 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
10.325 * * * * [points]: Setting MPFR precision to 64
10.380 * * * * [points]: Setting MPFR precision to 320
10.434 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
10.478 * * * * [points]: Setting MPFR precision to 64
10.581 * * * * [points]: Setting MPFR precision to 320
10.670 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
10.721 * * * * [points]: Setting MPFR precision to 64
10.914 * * * * [points]: Setting MPFR precision to 320
11.375 * * * * [points]: Computing exacts for 8000 points
11.414 * * * * [points]: Setting MPFR precision to 64
12.171 * * * * [points]: Setting MPFR precision to 320
12.881 * * * * [points]: Filtering points with unrepresentable outputs
12.913 * * * * [points]: Sampled 8000 points with exact outputs
17.920 * [regime-testing]: Baseline error score: 64.0
17.923 * [regime-testing]: Oracle error score: 64.0
17.930 * [regime-testing]: End program error score: 2.0712609290445227