1554043200.691 * [progress]: [Phase 1 of 3] Setting up.
1554043200.691 * * * [progress]: [1/2] Preparing points
1554043200.691 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
1554043200.693 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
1554043200.696 * * * * [points]: Setting MPFR precision to 64
1554043200.699 * * * * [points]: Setting MPFR precision to 320
1554043200.701 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
1554043200.705 * * * * [points]: Setting MPFR precision to 64
1554043200.708 * * * * [points]: Setting MPFR precision to 320
1554043200.712 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
1554043200.716 * * * * [points]: Setting MPFR precision to 64
1554043200.721 * * * * [points]: Setting MPFR precision to 320
1554043200.729 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
1554043200.732 * * * * [points]: Setting MPFR precision to 64
1554043200.741 * * * * [points]: Setting MPFR precision to 320
1554043200.754 * * * * [points]: Computing exacts for 256 points
1554043200.758 * * * * [points]: Setting MPFR precision to 64
1554043200.786 * * * * [points]: Setting MPFR precision to 320
1554043200.844 * * * * [points]: Filtering points with unrepresentable outputs
1554043200.869 * * * * [points]: Sampled 256 points with exact outputs
1554043200.869 * * * [progress]: [2/2] Setting up program.
1554043200.915 * [progress]: [Phase 2 of 3] Improving.
1554043200.915 * * * * [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)))))>
1554043200.915 * [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))))
1554043200.916 * * [simplify]: iters left: 6 (14 enodes)
1554043200.922 * * [simplify]: iters left: 5 (29 enodes)
1554043200.932 * * [simplify]: iters left: 4 (49 enodes)
1554043200.952 * * [simplify]: iters left: 3 (120 enodes)
1554043201.023 * * [simplify]: iters left: 2 (464 enodes)
1554043201.521 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043201.521 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043201.521 * * [simplify]: Extracting #2: cost 5 inf + 0
1554043201.521 * * [simplify]: Extracting #3: cost 80 inf + 1
1554043201.523 * * [simplify]: Extracting #4: cost 345 inf + 2
1554043201.528 * * [simplify]: Extracting #5: cost 580 inf + 7991
1554043201.545 * * [simplify]: Extracting #6: cost 562 inf + 201841
1554043201.602 * * [simplify]: Extracting #7: cost 164 inf + 841241
1554043201.676 * * [simplify]: Extracting #8: cost 7 inf + 1102755
1554043201.782 * * [simplify]: Extracting #9: cost 0 inf + 1117051
1554043201.887 * [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))
1554043201.888 * [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)))
1554043201.934 * * [progress]: iteration 1 / 4
1554043201.934 * * * [progress]: picking best candidate
1554043201.977 * * * * [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)))))>
1554043201.977 * * * [progress]: localizing error
1554043202.472 * * * [progress]: generating rewritten candidates
1554043202.472 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2)
1554043202.476 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 1)
1554043202.476 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
1554043202.476 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 1 1)
1554043202.485 * * * [progress]: generating series expansions
1554043202.485 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2)
1554043202.485 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 1)
1554043202.485 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
1554043202.485 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 1 1)
1554043202.485 * * * [progress]: simplifying candidates
1554043202.485 * * * * [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))))))>
1554043202.485 * * * * [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))))))>
1554043202.485 * * * * [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)))))>
1554043202.485 * * * * [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)))))>
1554043202.486 * [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))))
1554043202.486 * * [simplify]: iters left: 6 (14 enodes)
1554043202.492 * * [simplify]: iters left: 5 (29 enodes)
1554043202.502 * * [simplify]: iters left: 4 (49 enodes)
1554043202.520 * * [simplify]: iters left: 3 (120 enodes)
1554043202.591 * * [simplify]: iters left: 2 (464 enodes)
1554043203.082 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043203.082 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043203.082 * * [simplify]: Extracting #2: cost 5 inf + 0
1554043203.082 * * [simplify]: Extracting #3: cost 80 inf + 1
1554043203.084 * * [simplify]: Extracting #4: cost 345 inf + 2
1554043203.088 * * [simplify]: Extracting #5: cost 580 inf + 7991
1554043203.106 * * [simplify]: Extracting #6: cost 562 inf + 201841
1554043203.178 * * [simplify]: Extracting #7: cost 164 inf + 841241
1554043203.279 * * [simplify]: Extracting #8: cost 7 inf + 1102755
1554043203.375 * * [simplify]: Extracting #9: cost 0 inf + 1117051
1554043203.460 * [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))
1554043203.460 * [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)))
1554043203.460 * * * * [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)))))>
1554043203.460 * [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))))
1554043203.460 * * [simplify]: iters left: 6 (14 enodes)
1554043203.467 * * [simplify]: iters left: 5 (29 enodes)
1554043203.478 * * [simplify]: iters left: 4 (49 enodes)
1554043203.497 * * [simplify]: iters left: 3 (120 enodes)
1554043203.559 * * [simplify]: iters left: 2 (464 enodes)
1554043203.938 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043203.939 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043203.939 * * [simplify]: Extracting #2: cost 5 inf + 0
1554043203.939 * * [simplify]: Extracting #3: cost 80 inf + 1
1554043203.940 * * [simplify]: Extracting #4: cost 345 inf + 2
1554043203.945 * * [simplify]: Extracting #5: cost 580 inf + 7991
1554043203.962 * * [simplify]: Extracting #6: cost 562 inf + 201841
1554043204.027 * * [simplify]: Extracting #7: cost 164 inf + 841241
1554043204.131 * * [simplify]: Extracting #8: cost 7 inf + 1102755
1554043204.233 * * [simplify]: Extracting #9: cost 0 inf + 1117051
1554043204.339 * [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))
1554043204.339 * [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)))
1554043204.339 * * * * [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)))))>
1554043204.339 * [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))))
1554043204.340 * * [simplify]: iters left: 6 (14 enodes)
1554043204.346 * * [simplify]: iters left: 5 (29 enodes)
1554043204.356 * * [simplify]: iters left: 4 (49 enodes)
1554043204.374 * * [simplify]: iters left: 3 (120 enodes)
1554043204.425 * * [simplify]: iters left: 2 (464 enodes)
1554043204.787 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043204.787 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043204.787 * * [simplify]: Extracting #2: cost 5 inf + 0
1554043204.787 * * [simplify]: Extracting #3: cost 80 inf + 1
1554043204.789 * * [simplify]: Extracting #4: cost 345 inf + 2
1554043204.794 * * [simplify]: Extracting #5: cost 580 inf + 7991
1554043204.816 * * [simplify]: Extracting #6: cost 562 inf + 201841
1554043204.870 * * [simplify]: Extracting #7: cost 164 inf + 841241
1554043204.920 * * [simplify]: Extracting #8: cost 7 inf + 1102755
1554043204.975 * * [simplify]: Extracting #9: cost 0 inf + 1117051
1554043205.044 * [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))
1554043205.045 * [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)))
1554043205.045 * * * * [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)))))>
1554043205.045 * [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))))
1554043205.045 * * [simplify]: iters left: 6 (14 enodes)
1554043205.051 * * [simplify]: iters left: 5 (29 enodes)
1554043205.061 * * [simplify]: iters left: 4 (49 enodes)
1554043205.079 * * [simplify]: iters left: 3 (120 enodes)
1554043205.143 * * [simplify]: iters left: 2 (464 enodes)
1554043205.665 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043205.665 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043205.665 * * [simplify]: Extracting #2: cost 5 inf + 0
1554043205.665 * * [simplify]: Extracting #3: cost 80 inf + 1
1554043205.667 * * [simplify]: Extracting #4: cost 345 inf + 2
1554043205.671 * * [simplify]: Extracting #5: cost 580 inf + 7991
1554043205.688 * * [simplify]: Extracting #6: cost 562 inf + 201841
1554043205.753 * * [simplify]: Extracting #7: cost 164 inf + 841241
1554043205.857 * * [simplify]: Extracting #8: cost 7 inf + 1102755
1554043205.963 * * [simplify]: Extracting #9: cost 0 inf + 1117051
1554043206.067 * [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))
1554043206.067 * [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)))
1554043206.068 * * * [progress]: adding candidates to table
1554043206.363 * * [progress]: iteration 2 / 4
1554043206.363 * * * [progress]: picking best candidate
1554043206.388 * * * * [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))))))>
1554043206.388 * * * [progress]: localizing error
1554043206.804 * * * [progress]: generating rewritten candidates
1554043206.804 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 1)
1554043206.807 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 2)
1554043206.809 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2)
1554043206.814 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 2 1)
1554043206.814 * * * [progress]: generating series expansions
1554043206.814 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 1)
1554043206.814 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 2)
1554043206.814 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2)
1554043206.814 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 2 1)
1554043206.814 * * * [progress]: simplifying candidates
1554043206.814 * * * * [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))))))>
1554043206.815 * [simplify]: Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1554043206.815 * * [simplify]: iters left: 4 (7 enodes)
1554043206.816 * * [simplify]: iters left: 3 (13 enodes)
1554043206.818 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043206.818 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043206.818 * * [simplify]: Extracting #2: cost 3 inf + 1
1554043206.818 * * [simplify]: Extracting #3: cost 5 inf + 1
1554043206.818 * * [simplify]: Extracting #4: cost 5 inf + 322
1554043206.818 * * [simplify]: Extracting #5: cost 0 inf + 2810
1554043206.818 * [simplify]: Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1554043206.818 * [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))))))
1554043206.818 * [simplify]: Simplifying (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1554043206.818 * * [simplify]: iters left: 4 (7 enodes)
1554043206.820 * * [simplify]: iters left: 3 (18 enodes)
1554043206.822 * * [simplify]: iters left: 2 (28 enodes)
1554043206.827 * * [simplify]: iters left: 1 (86 enodes)
1554043206.853 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043206.853 * * [simplify]: Extracting #1: cost 12 inf + 0
1554043206.853 * * [simplify]: Extracting #2: cost 53 inf + 1
1554043206.853 * * [simplify]: Extracting #3: cost 103 inf + 804
1554043206.854 * * [simplify]: Extracting #4: cost 94 inf + 17486
1554043206.857 * * [simplify]: Extracting #5: cost 15 inf + 109680
1554043206.863 * * [simplify]: Extracting #6: cost 0 inf + 133154
1554043206.868 * [simplify]: Simplified to (-.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re)
1554043206.868 * [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))))))
1554043206.868 * * * * [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))))))>
1554043206.868 * * * * [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))))))>
1554043206.868 * * * * [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))) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (*.p16 re re)) (+.p16 re (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))))))))>
1554043206.868 * * * * [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 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))))>
1554043206.868 * [simplify]: Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1554043206.868 * * [simplify]: iters left: 4 (7 enodes)
1554043206.870 * * [simplify]: iters left: 3 (13 enodes)
1554043206.871 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043206.871 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043206.872 * * [simplify]: Extracting #2: cost 3 inf + 1
1554043206.872 * * [simplify]: Extracting #3: cost 5 inf + 1
1554043206.872 * * [simplify]: Extracting #4: cost 5 inf + 322
1554043206.872 * * [simplify]: Extracting #5: cost 0 inf + 2810
1554043206.872 * [simplify]: Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1554043206.872 * [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)))))))
1554043206.872 * * * * [progress]: [ 6 / 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))))))))>
1554043206.872 * [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)))
1554043206.872 * * [simplify]: iters left: 6 (10 enodes)
1554043206.874 * * [simplify]: iters left: 5 (33 enodes)
1554043206.881 * * [simplify]: iters left: 4 (93 enodes)
1554043206.911 * * [simplify]: iters left: 3 (450 enodes)
1554043207.302 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043207.302 * * [simplify]: Extracting #1: cost 60 inf + 0
1554043207.303 * * [simplify]: Extracting #2: cost 374 inf + 963
1554043207.308 * * [simplify]: Extracting #3: cost 459 inf + 130109
1554043207.338 * * [simplify]: Extracting #4: cost 338 inf + 699471
1554043207.398 * * [simplify]: Extracting #5: cost 9 inf + 1277945
1554043207.465 * * [simplify]: Extracting #6: cost 0 inf + 1301041
1554043207.531 * [simplify]: Simplified to (*.p16 (+.p16 (*.p16 re re) (+.p16 (*.p16 im im) (*.p16 re re))) (*.p16 im im))
1554043207.532 * [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))))))))
1554043207.532 * * * * [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))))))>
1554043207.532 * * * * [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))))))>
1554043207.532 * * * * [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))))))>
1554043207.532 * * * * [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))))))>
1554043207.532 * * * [progress]: adding candidates to table
1554043208.134 * * [progress]: iteration 3 / 4
1554043208.134 * * * [progress]: picking best candidate
1554043208.312 * * * * [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))))))>
1554043208.312 * * * [progress]: localizing error
1554043208.981 * * * [progress]: generating rewritten candidates
1554043208.981 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 2)
1554043208.986 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 1 1)
1554043208.991 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1 2)
1554043209.004 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2)
1554043209.013 * * * [progress]: generating series expansions
1554043209.013 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 2)
1554043209.013 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 1 1)
1554043209.013 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1 2)
1554043209.014 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2)
1554043209.014 * * * [progress]: simplifying candidates
1554043209.014 * * * * [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 re (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))))))))>
1554043209.014 * * * * [progress]: [ 2 / 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))))))>
1554043209.014 * * * * [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))))))>
1554043209.014 * * * * [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))))))>
1554043209.014 * * * * [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 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))))>
1554043209.014 * [simplify]: Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1554043209.014 * * [simplify]: iters left: 4 (7 enodes)
1554043209.017 * * [simplify]: iters left: 3 (13 enodes)
1554043209.021 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043209.021 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043209.021 * * [simplify]: Extracting #2: cost 3 inf + 1
1554043209.021 * * [simplify]: Extracting #3: cost 5 inf + 1
1554043209.021 * * [simplify]: Extracting #4: cost 5 inf + 322
1554043209.021 * * [simplify]: Extracting #5: cost 0 inf + 2810
1554043209.021 * [simplify]: Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1554043209.021 * [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)))))))
1554043209.022 * * * * [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))) 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)))))))>
1554043209.022 * [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)))
1554043209.022 * * [simplify]: iters left: 6 (10 enodes)
1554043209.027 * * [simplify]: iters left: 5 (26 enodes)
1554043209.038 * * [simplify]: iters left: 4 (87 enodes)
1554043209.090 * * [simplify]: iters left: 3 (403 enodes)
1554043210.015 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043210.015 * * [simplify]: Extracting #1: cost 69 inf + 0
1554043210.017 * * [simplify]: Extracting #2: cost 394 inf + 322
1554043210.024 * * [simplify]: Extracting #3: cost 516 inf + 48772
1554043210.067 * * [simplify]: Extracting #4: cost 194 inf + 561674
1554043210.148 * * [simplify]: Extracting #5: cost 7 inf + 868789
1554043210.239 * * [simplify]: Extracting #6: cost 0 inf + 881522
1554043210.323 * [simplify]: Simplified to (*.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) (*.p16 im im))
1554043210.323 * [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)))))))
1554043210.324 * * * * [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))))))>
1554043210.324 * [simplify]: Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1554043210.324 * * [simplify]: iters left: 4 (7 enodes)
1554043210.327 * * [simplify]: iters left: 3 (13 enodes)
1554043210.331 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043210.331 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043210.331 * * [simplify]: Extracting #2: cost 3 inf + 1
1554043210.331 * * [simplify]: Extracting #3: cost 5 inf + 1
1554043210.331 * * [simplify]: Extracting #4: cost 5 inf + 322
1554043210.331 * * [simplify]: Extracting #5: cost 0 inf + 2810
1554043210.332 * [simplify]: Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1554043210.332 * [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))))))
1554043210.332 * [simplify]: Simplifying (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1554043210.332 * * [simplify]: iters left: 4 (7 enodes)
1554043210.335 * * [simplify]: iters left: 3 (18 enodes)
1554043210.341 * * [simplify]: iters left: 2 (28 enodes)
1554043210.351 * * [simplify]: iters left: 1 (86 enodes)
1554043210.398 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043210.398 * * [simplify]: Extracting #1: cost 12 inf + 0
1554043210.398 * * [simplify]: Extracting #2: cost 53 inf + 1
1554043210.399 * * [simplify]: Extracting #3: cost 103 inf + 804
1554043210.400 * * [simplify]: Extracting #4: cost 94 inf + 17486
1554043210.407 * * [simplify]: Extracting #5: cost 15 inf + 109680
1554043210.417 * * [simplify]: Extracting #6: cost 0 inf + 133154
1554043210.428 * [simplify]: Simplified to (-.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re)
1554043210.428 * [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))))))
1554043210.429 * * * * [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))))))>
1554043210.429 * [simplify]: Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1554043210.429 * * [simplify]: iters left: 4 (7 enodes)
1554043210.432 * * [simplify]: iters left: 3 (13 enodes)
1554043210.435 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043210.435 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043210.435 * * [simplify]: Extracting #2: cost 3 inf + 1
1554043210.435 * * [simplify]: Extracting #3: cost 5 inf + 1
1554043210.436 * * [simplify]: Extracting #4: cost 5 inf + 322
1554043210.436 * * [simplify]: Extracting #5: cost 0 inf + 2810
1554043210.436 * [simplify]: Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1554043210.436 * [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))))))
1554043210.436 * [simplify]: Simplifying (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1554043210.437 * * [simplify]: iters left: 4 (7 enodes)
1554043210.439 * * [simplify]: iters left: 3 (18 enodes)
1554043210.445 * * [simplify]: iters left: 2 (28 enodes)
1554043210.455 * * [simplify]: iters left: 1 (86 enodes)
1554043210.503 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043210.503 * * [simplify]: Extracting #1: cost 12 inf + 0
1554043210.504 * * [simplify]: Extracting #2: cost 53 inf + 1
1554043210.504 * * [simplify]: Extracting #3: cost 103 inf + 804
1554043210.506 * * [simplify]: Extracting #4: cost 94 inf + 17486
1554043210.512 * * [simplify]: Extracting #5: cost 15 inf + 109680
1554043210.523 * * [simplify]: Extracting #6: cost 0 inf + 133154
1554043210.534 * [simplify]: Simplified to (-.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re)
1554043210.534 * [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))))))
1554043210.534 * * * * [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))))))>
1554043210.534 * [simplify]: Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1554043210.534 * * [simplify]: iters left: 4 (7 enodes)
1554043210.537 * * [simplify]: iters left: 3 (13 enodes)
1554043210.541 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043210.541 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043210.541 * * [simplify]: Extracting #2: cost 3 inf + 1
1554043210.541 * * [simplify]: Extracting #3: cost 5 inf + 1
1554043210.541 * * [simplify]: Extracting #4: cost 5 inf + 322
1554043210.541 * * [simplify]: Extracting #5: cost 0 inf + 2810
1554043210.541 * [simplify]: Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1554043210.541 * [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))))))
1554043210.542 * [simplify]: Simplifying (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1554043210.542 * * [simplify]: iters left: 4 (7 enodes)
1554043210.545 * * [simplify]: iters left: 3 (18 enodes)
1554043210.550 * * [simplify]: iters left: 2 (28 enodes)
1554043210.560 * * [simplify]: iters left: 1 (86 enodes)
1554043210.604 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043210.604 * * [simplify]: Extracting #1: cost 12 inf + 0
1554043210.604 * * [simplify]: Extracting #2: cost 53 inf + 1
1554043210.605 * * [simplify]: Extracting #3: cost 103 inf + 804
1554043210.606 * * [simplify]: Extracting #4: cost 94 inf + 17486
1554043210.612 * * [simplify]: Extracting #5: cost 15 inf + 109680
1554043210.621 * * [simplify]: Extracting #6: cost 0 inf + 133154
1554043210.632 * [simplify]: Simplified to (-.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re)
1554043210.632 * [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))))))
1554043210.632 * * * * [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))))))>
1554043210.633 * [simplify]: Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1554043210.633 * * [simplify]: iters left: 4 (7 enodes)
1554043210.637 * * [simplify]: iters left: 3 (13 enodes)
1554043210.640 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043210.641 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043210.641 * * [simplify]: Extracting #2: cost 3 inf + 1
1554043210.641 * * [simplify]: Extracting #3: cost 5 inf + 1
1554043210.641 * * [simplify]: Extracting #4: cost 5 inf + 322
1554043210.641 * * [simplify]: Extracting #5: cost 0 inf + 2810
1554043210.641 * [simplify]: Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1554043210.641 * [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))))))
1554043210.642 * [simplify]: Simplifying (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1554043210.642 * * [simplify]: iters left: 4 (7 enodes)
1554043210.644 * * [simplify]: iters left: 3 (18 enodes)
1554043210.650 * * [simplify]: iters left: 2 (28 enodes)
1554043210.660 * * [simplify]: iters left: 1 (86 enodes)
1554043210.705 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043210.705 * * [simplify]: Extracting #1: cost 12 inf + 0
1554043210.705 * * [simplify]: Extracting #2: cost 53 inf + 1
1554043210.706 * * [simplify]: Extracting #3: cost 103 inf + 804
1554043210.707 * * [simplify]: Extracting #4: cost 94 inf + 17486
1554043210.714 * * [simplify]: Extracting #5: cost 15 inf + 109680
1554043210.724 * * [simplify]: Extracting #6: cost 0 inf + 133154
1554043210.735 * [simplify]: Simplified to (-.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re)
1554043210.735 * [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))))))
1554043210.735 * * * [progress]: adding candidates to table
1554043211.506 * * [progress]: iteration 4 / 4
1554043211.506 * * * [progress]: picking best candidate
1554043211.628 * * * * [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)))))))>
1554043211.628 * * * [progress]: localizing error
1554043212.048 * * * [progress]: generating rewritten candidates
1554043212.049 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 2 1)
1554043212.051 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 1)
1554043212.053 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 2 2)
1554043212.055 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2)
1554043212.059 * * * [progress]: generating series expansions
1554043212.059 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 2 1)
1554043212.059 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 1)
1554043212.059 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 2 2)
1554043212.060 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2)
1554043212.060 * * * [progress]: simplifying candidates
1554043212.060 * * * * [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 re (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))))>
1554043212.060 * * * * [progress]: [ 2 / 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)))))))>
1554043212.060 * * * * [progress]: [ 3 / 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))))))))>
1554043212.060 * * * * [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 (-.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))))))))>
1554043212.060 * * * * [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 (+.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))))))>
1554043212.060 * [simplify]: Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1554043212.060 * * [simplify]: iters left: 4 (7 enodes)
1554043212.061 * * [simplify]: iters left: 3 (13 enodes)
1554043212.063 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043212.063 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043212.063 * * [simplify]: Extracting #2: cost 3 inf + 1
1554043212.063 * * [simplify]: Extracting #3: cost 5 inf + 1
1554043212.063 * * [simplify]: Extracting #4: cost 5 inf + 322
1554043212.063 * * [simplify]: Extracting #5: cost 0 inf + 2810
1554043212.064 * [simplify]: Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1554043212.064 * [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)))))))))
1554043212.064 * * * * [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))) re) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))>
1554043212.064 * [simplify]: Simplifying (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1554043212.064 * * [simplify]: iters left: 4 (7 enodes)
1554043212.065 * * [simplify]: iters left: 3 (18 enodes)
1554043212.069 * * [simplify]: iters left: 2 (28 enodes)
1554043212.073 * * [simplify]: iters left: 1 (86 enodes)
1554043212.110 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043212.110 * * [simplify]: Extracting #1: cost 12 inf + 0
1554043212.110 * * [simplify]: Extracting #2: cost 53 inf + 1
1554043212.111 * * [simplify]: Extracting #3: cost 103 inf + 804
1554043212.112 * * [simplify]: Extracting #4: cost 94 inf + 17486
1554043212.123 * * [simplify]: Extracting #5: cost 15 inf + 109680
1554043212.133 * * [simplify]: Extracting #6: cost 0 inf + 133154
1554043212.139 * [simplify]: Simplified to (-.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re)
1554043212.140 * [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))))))
1554043212.140 * * * * [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)))))))>
1554043212.140 * [simplify]: Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1554043212.140 * * [simplify]: iters left: 4 (7 enodes)
1554043212.141 * * [simplify]: iters left: 3 (13 enodes)
1554043212.143 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043212.143 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043212.143 * * [simplify]: Extracting #2: cost 3 inf + 1
1554043212.143 * * [simplify]: Extracting #3: cost 5 inf + 1
1554043212.143 * * [simplify]: Extracting #4: cost 5 inf + 322
1554043212.143 * * [simplify]: Extracting #5: cost 0 inf + 2810
1554043212.143 * [simplify]: Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1554043212.143 * [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)))))))
1554043212.143 * * * * [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)))))))>
1554043212.144 * [simplify]: Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1554043212.144 * * [simplify]: iters left: 4 (7 enodes)
1554043212.145 * * [simplify]: iters left: 3 (13 enodes)
1554043212.147 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043212.147 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043212.147 * * [simplify]: Extracting #2: cost 3 inf + 1
1554043212.147 * * [simplify]: Extracting #3: cost 5 inf + 1
1554043212.147 * * [simplify]: Extracting #4: cost 5 inf + 322
1554043212.147 * * [simplify]: Extracting #5: cost 0 inf + 2810
1554043212.147 * [simplify]: Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1554043212.147 * [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)))))))
1554043212.147 * * * * [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)))))))>
1554043212.147 * [simplify]: Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1554043212.147 * * [simplify]: iters left: 4 (7 enodes)
1554043212.149 * * [simplify]: iters left: 3 (13 enodes)
1554043212.150 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043212.150 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043212.150 * * [simplify]: Extracting #2: cost 3 inf + 1
1554043212.150 * * [simplify]: Extracting #3: cost 5 inf + 1
1554043212.150 * * [simplify]: Extracting #4: cost 5 inf + 322
1554043212.151 * * [simplify]: Extracting #5: cost 0 inf + 2810
1554043212.151 * [simplify]: Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1554043212.151 * [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)))))))
1554043212.151 * * * * [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)))))))>
1554043212.151 * [simplify]: Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1554043212.151 * * [simplify]: iters left: 4 (7 enodes)
1554043212.152 * * [simplify]: iters left: 3 (13 enodes)
1554043212.154 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043212.154 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043212.154 * * [simplify]: Extracting #2: cost 3 inf + 1
1554043212.154 * * [simplify]: Extracting #3: cost 5 inf + 1
1554043212.154 * * [simplify]: Extracting #4: cost 5 inf + 322
1554043212.154 * * [simplify]: Extracting #5: cost 0 inf + 2810
1554043212.154 * [simplify]: Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1554043212.154 * [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)))))))
1554043212.155 * * * [progress]: adding candidates to table
1554043212.836 * [progress]: [Phase 3 of 3] Extracting.
1554043212.836 * * [regime]: Finding splitpoints for: (#<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 (*.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 (*.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))))))>)
1554043212.838 * * * [regime-changes]: Trying 2 branch expressions: (im re)
1554043212.838 * * * * [regimes]: Trying to branch on im from (#<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 (*.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 (*.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))))))>)
1554043213.163 * * * * [regimes]: Trying to branch on re from (#<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 (*.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 (*.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))))))>)
1554043213.578 * * * [regime]: Found split indices: #<option (#s(si 0 256))>
1554043213.578 * [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))))
1554043213.578 * * [simplify]: iters left: 6 (14 enodes)
1554043213.579 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043213.579 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043213.579 * * [simplify]: Extracting #2: cost 5 inf + 0
1554043213.579 * * [simplify]: Extracting #3: cost 6 inf + 1
1554043213.579 * * [simplify]: Extracting #4: cost 8 inf + 2
1554043213.579 * * [simplify]: Extracting #5: cost 6 inf + 5
1554043213.579 * * [simplify]: Extracting #6: cost 8 inf + 5
1554043213.579 * * [simplify]: Extracting #7: cost 8 inf + 326
1554043213.579 * * [simplify]: Extracting #8: cost 6 inf + 648
1554043213.579 * * [simplify]: Extracting #9: cost 4 inf + 2052
1554043213.580 * * [simplify]: Extracting #10: cost 2 inf + 3977
1554043213.580 * * [simplify]: Extracting #11: cost 0 inf + 6624
1554043213.580 * [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))))
1554043213.580 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1554043213.602 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
1554043213.604 * * * * [points]: Setting MPFR precision to 64
1554043213.605 * * * * [points]: Setting MPFR precision to 320
1554043213.607 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
1554043213.609 * * * * [points]: Setting MPFR precision to 64
1554043213.611 * * * * [points]: Setting MPFR precision to 320
1554043213.613 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
1554043213.615 * * * * [points]: Setting MPFR precision to 64
1554043213.619 * * * * [points]: Setting MPFR precision to 320
1554043213.624 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
1554043213.626 * * * * [points]: Setting MPFR precision to 64
1554043213.643 * * * * [points]: Setting MPFR precision to 320
1554043213.654 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
1554043213.656 * * * * [points]: Setting MPFR precision to 64
1554043213.670 * * * * [points]: Setting MPFR precision to 320
1554043213.690 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
1554043213.692 * * * * [points]: Setting MPFR precision to 64
1554043213.722 * * * * [points]: Setting MPFR precision to 320
1554043213.761 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
1554043213.763 * * * * [points]: Setting MPFR precision to 64
1554043213.848 * * * * [points]: Setting MPFR precision to 320
1554043213.953 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
1554043213.956 * * * * [points]: Setting MPFR precision to 64
1554043214.185 * * * * [points]: Setting MPFR precision to 320
1554043214.446 * * * * [points]: Computing exacts for 8000 points
1554043214.448 * * * * [points]: Setting MPFR precision to 64
1554043215.122 * * * * [points]: Setting MPFR precision to 320
1554043216.137 * * * * [points]: Filtering points with unrepresentable outputs
1554043216.773 * * * * [points]: Sampled 8000 points with exact outputs
1554043222.177 * [regime-testing]: Baseline error score: 64.0
1554043222.179 * [regime-testing]: Oracle error score: 64.0
1554043222.183 * [regime-testing]: End program error score: 2.179072137473322