1550699443.101 * [misc]progress:  [Phase 1 of 3] Setting up.
1550699443.101 * * * [misc]progress:  [1/2] Preparing points
1550699443.101 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1550699443.103 * * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
1550699443.109 * * * * [misc]points:  Setting MPFR precision to 64
1550699443.112 * * * * [misc]points:  Setting MPFR precision to 320
1550699443.114 * * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
1550699443.119 * * * * [misc]points:  Setting MPFR precision to 64
1550699443.122 * * * * [misc]points:  Setting MPFR precision to 320
1550699443.126 * * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
1550699443.130 * * * * [misc]points:  Setting MPFR precision to 64
1550699443.136 * * * * [misc]points:  Setting MPFR precision to 320
1550699443.144 * * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
1550699443.148 * * * * [misc]points:  Setting MPFR precision to 64
1550699443.158 * * * * [misc]points:  Setting MPFR precision to 320
1550699443.170 * * * * [misc]points:  Computing exacts for 256 points
1550699443.175 * * * * [misc]points:  Setting MPFR precision to 64
1550699443.203 * * * * [misc]points:  Setting MPFR precision to 320
1550699443.270 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699443.296 * * * * [exit]points:  Sampled 256 points with exact outputs
1550699443.296 * * * [misc]progress:  [2/2] Setting up program.
1550699443.340 * [misc]progress:  [Phase 2 of 3] Improving.
1550699443.340 * * * * [misc]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)))))>
1550699443.340 * [enter]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))))
1550699443.341 * * [misc]simplify:  iters left: 6 (14 enodes)
1550699443.348 * * [misc]simplify:  iters left: 5 (29 enodes)
1550699443.358 * * [misc]simplify:  iters left: 4 (49 enodes)
1550699443.377 * * [misc]simplify:  iters left: 3 (120 enodes)
1550699443.449 * * [misc]simplify:  iters left: 2 (464 enodes)
1550699443.983 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699443.983 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699443.983 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550699443.983 * * [misc]simplify:  Extracting #3: cost 80 inf + 1
1550699443.984 * * [misc]simplify:  Extracting #4: cost 345 inf + 2
1550699443.988 * * [misc]simplify:  Extracting #5: cost 580 inf + 7991
1550699444.005 * * [misc]simplify:  Extracting #6: cost 562 inf + 201841
1550699444.077 * * [misc]simplify:  Extracting #7: cost 164 inf + 841241
1550699444.180 * * [misc]simplify:  Extracting #8: cost 7 inf + 1102755
1550699444.287 * * [misc]simplify:  Extracting #9: cost 0 inf + 1117051
1550699444.389 * [exit]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))
1550699444.389 * [misc]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)))
1550699444.438 * * [misc]progress:  iteration 1 / 4
1550699444.438 * * * [misc]progress:  picking best candidate
1550699444.486 * * * * [misc]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)))))>
1550699444.486 * * * [misc]progress:  localizing error
1550699444.992 * * * [misc]progress:  generating rewritten candidates
1550699444.992 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 2 1 2)
1550699444.995 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 2 1 2 1)
1550699444.995 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 2)
1550699444.995 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 2 1 2 1 1)
1550699444.999 * * * [misc]progress:  generating series expansions
1550699444.999 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 2 1 2)
1550699444.999 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 2 1 2 1)
1550699444.999 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 2)
1550699444.999 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 2 1 2 1 1)
1550699444.999 * * * [misc]progress:  simplifying candidates
1550699444.999 * * * * [misc]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))))))>
1550699444.999 * * * * [misc]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))))))>
1550699445.000 * * * * [misc]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)))))>
1550699445.000 * * * * [misc]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)))))>
1550699445.000 * [enter]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))))
1550699445.000 * * [misc]simplify:  iters left: 6 (14 enodes)
1550699445.008 * * [misc]simplify:  iters left: 5 (29 enodes)
1550699445.019 * * [misc]simplify:  iters left: 4 (49 enodes)
1550699445.038 * * [misc]simplify:  iters left: 3 (120 enodes)
1550699445.117 * * [misc]simplify:  iters left: 2 (464 enodes)
1550699446.163 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699446.163 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699446.163 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550699446.164 * * [misc]simplify:  Extracting #3: cost 80 inf + 1
1550699446.165 * * [misc]simplify:  Extracting #4: cost 345 inf + 2
1550699446.170 * * [misc]simplify:  Extracting #5: cost 580 inf + 7991
1550699446.188 * * [misc]simplify:  Extracting #6: cost 562 inf + 201841
1550699446.264 * * [misc]simplify:  Extracting #7: cost 164 inf + 841241
1550699446.359 * * [misc]simplify:  Extracting #8: cost 7 inf + 1102755
1550699446.466 * * [misc]simplify:  Extracting #9: cost 0 inf + 1117051
1550699446.567 * [exit]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))
1550699446.567 * [misc]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)))
1550699446.567 * * * * [misc]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)))))>
1550699446.567 * [enter]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))))
1550699446.568 * * [misc]simplify:  iters left: 6 (14 enodes)
1550699446.574 * * [misc]simplify:  iters left: 5 (29 enodes)
1550699446.585 * * [misc]simplify:  iters left: 4 (49 enodes)
1550699446.607 * * [misc]simplify:  iters left: 3 (120 enodes)
1550699446.678 * * [misc]simplify:  iters left: 2 (464 enodes)
1550699447.267 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699447.267 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699447.267 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550699447.267 * * [misc]simplify:  Extracting #3: cost 80 inf + 1
1550699447.269 * * [misc]simplify:  Extracting #4: cost 345 inf + 2
1550699447.274 * * [misc]simplify:  Extracting #5: cost 580 inf + 7991
1550699447.292 * * [misc]simplify:  Extracting #6: cost 562 inf + 201841
1550699447.364 * * [misc]simplify:  Extracting #7: cost 164 inf + 841241
1550699447.468 * * [misc]simplify:  Extracting #8: cost 7 inf + 1102755
1550699447.573 * * [misc]simplify:  Extracting #9: cost 0 inf + 1117051
1550699447.676 * [exit]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))
1550699447.676 * [misc]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)))
1550699447.676 * * * * [misc]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)))))>
1550699447.677 * [enter]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))))
1550699447.677 * * [misc]simplify:  iters left: 6 (14 enodes)
1550699447.684 * * [misc]simplify:  iters left: 5 (29 enodes)
1550699447.694 * * [misc]simplify:  iters left: 4 (49 enodes)
1550699447.714 * * [misc]simplify:  iters left: 3 (120 enodes)
1550699447.787 * * [misc]simplify:  iters left: 2 (464 enodes)
1550699448.332 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699448.332 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699448.333 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550699448.333 * * [misc]simplify:  Extracting #3: cost 80 inf + 1
1550699448.334 * * [misc]simplify:  Extracting #4: cost 345 inf + 2
1550699448.338 * * [misc]simplify:  Extracting #5: cost 580 inf + 7991
1550699448.354 * * [misc]simplify:  Extracting #6: cost 562 inf + 201841
1550699448.423 * * [misc]simplify:  Extracting #7: cost 164 inf + 841241
1550699448.514 * * [misc]simplify:  Extracting #8: cost 7 inf + 1102755
1550699448.613 * * [misc]simplify:  Extracting #9: cost 0 inf + 1117051
1550699448.710 * [exit]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))
1550699448.710 * [misc]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)))
1550699448.710 * * * * [misc]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)))))>
1550699448.711 * [enter]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))))
1550699448.711 * * [misc]simplify:  iters left: 6 (14 enodes)
1550699448.719 * * [misc]simplify:  iters left: 5 (29 enodes)
1550699448.729 * * [misc]simplify:  iters left: 4 (49 enodes)
1550699448.747 * * [misc]simplify:  iters left: 3 (120 enodes)
1550699448.810 * * [misc]simplify:  iters left: 2 (464 enodes)
1550699449.318 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699449.318 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699449.318 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550699449.318 * * [misc]simplify:  Extracting #3: cost 80 inf + 1
1550699449.320 * * [misc]simplify:  Extracting #4: cost 345 inf + 2
1550699449.324 * * [misc]simplify:  Extracting #5: cost 580 inf + 7991
1550699449.340 * * [misc]simplify:  Extracting #6: cost 562 inf + 201841
1550699449.401 * * [misc]simplify:  Extracting #7: cost 164 inf + 841241
1550699449.498 * * [misc]simplify:  Extracting #8: cost 7 inf + 1102755
1550699449.593 * * [misc]simplify:  Extracting #9: cost 0 inf + 1117051
1550699449.690 * [exit]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))
1550699449.691 * [misc]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)))
1550699449.691 * * * [misc]progress:  adding candidates to table
1550699450.138 * * [misc]progress:  iteration 2 / 4
1550699450.138 * * * [misc]progress:  picking best candidate
1550699450.176 * * * * [misc]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))))))>
1550699450.176 * * * [misc]progress:  localizing error
1550699450.555 * * * [misc]progress:  generating rewritten candidates
1550699450.555 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 2 1 2 1)
1550699450.558 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 2 1 2 2)
1550699450.561 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 2 1 2)
1550699450.568 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 2 1 2 2 1)
1550699450.568 * * * [misc]progress:  generating series expansions
1550699450.568 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 2 1 2 1)
1550699450.568 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 2 1 2 2)
1550699450.569 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 2 1 2)
1550699450.569 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 2 1 2 2 1)
1550699450.569 * * * [misc]progress:  simplifying candidates
1550699450.569 * * * * [misc]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))))))>
1550699450.569 * [enter]simplify:  Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1550699450.569 * * [misc]simplify:  iters left: 4 (7 enodes)
1550699450.572 * * [misc]simplify:  iters left: 3 (13 enodes)
1550699450.576 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699450.576 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699450.577 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550699450.577 * * [misc]simplify:  Extracting #3: cost 5 inf + 1
1550699450.577 * * [misc]simplify:  Extracting #4: cost 5 inf + 322
1550699450.577 * * [misc]simplify:  Extracting #5: cost 0 inf + 2810
1550699450.577 * [exit]simplify:  Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1550699450.577 * [misc]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))))))
1550699450.578 * [enter]simplify:  Simplifying (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1550699450.578 * * [misc]simplify:  iters left: 4 (7 enodes)
1550699450.581 * * [misc]simplify:  iters left: 3 (18 enodes)
1550699450.587 * * [misc]simplify:  iters left: 2 (28 enodes)
1550699450.598 * * [misc]simplify:  iters left: 1 (86 enodes)
1550699450.644 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699450.644 * * [misc]simplify:  Extracting #1: cost 12 inf + 0
1550699450.644 * * [misc]simplify:  Extracting #2: cost 53 inf + 1
1550699450.644 * * [misc]simplify:  Extracting #3: cost 103 inf + 804
1550699450.646 * * [misc]simplify:  Extracting #4: cost 94 inf + 17486
1550699450.651 * * [misc]simplify:  Extracting #5: cost 15 inf + 109680
1550699450.661 * * [misc]simplify:  Extracting #6: cost 0 inf + 133154
1550699450.675 * [exit]simplify:  Simplified to (-.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re)
1550699450.675 * [misc]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))))))
1550699450.675 * * * * [misc]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))))))>
1550699450.675 * * * * [misc]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))))))>
1550699450.675 * * * * [misc]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)))))))))>
1550699450.675 * * * * [misc]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)))))))>
1550699450.676 * [enter]simplify:  Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1550699450.676 * * [misc]simplify:  iters left: 4 (7 enodes)
1550699450.679 * * [misc]simplify:  iters left: 3 (13 enodes)
1550699450.683 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699450.683 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699450.683 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550699450.683 * * [misc]simplify:  Extracting #3: cost 5 inf + 1
1550699450.683 * * [misc]simplify:  Extracting #4: cost 5 inf + 322
1550699450.683 * * [misc]simplify:  Extracting #5: cost 0 inf + 2810
1550699450.683 * [exit]simplify:  Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1550699450.684 * [misc]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)))))))
1550699450.684 * * * * [misc]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))))))))>
1550699450.684 * [enter]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)))
1550699450.684 * * [misc]simplify:  iters left: 6 (10 enodes)
1550699450.689 * * [misc]simplify:  iters left: 5 (33 enodes)
1550699450.703 * * [misc]simplify:  iters left: 4 (93 enodes)
1550699450.767 * * [misc]simplify:  iters left: 3 (450 enodes)
1550699451.582 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699451.582 * * [misc]simplify:  Extracting #1: cost 60 inf + 0
1550699451.584 * * [misc]simplify:  Extracting #2: cost 374 inf + 963
1550699451.595 * * [misc]simplify:  Extracting #3: cost 459 inf + 130109
1550699451.664 * * [misc]simplify:  Extracting #4: cost 338 inf + 699471
1550699451.778 * * [misc]simplify:  Extracting #5: cost 9 inf + 1277945
1550699451.908 * * [misc]simplify:  Extracting #6: cost 0 inf + 1301041
1550699452.037 * [exit]simplify:  Simplified to (*.p16 (+.p16 (*.p16 re re) (+.p16 (*.p16 im im) (*.p16 re re))) (*.p16 im im))
1550699452.037 * [misc]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))))))))
1550699452.037 * * * * [misc]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))))))>
1550699452.037 * * * * [misc]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))))))>
1550699452.038 * * * * [misc]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))))))>
1550699452.038 * * * * [misc]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))))))>
1550699452.038 * * * [misc]progress:  adding candidates to table
1550699452.846 * * [misc]progress:  iteration 3 / 4
1550699452.846 * * * [misc]progress:  picking best candidate
1550699452.942 * * * * [misc]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)))))))>
1550699452.942 * * * [misc]progress:  localizing error
1550699453.229 * * * [misc]progress:  generating rewritten candidates
1550699453.229 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 2 1 2 2 2)
1550699453.231 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 2 1 2 2 1)
1550699453.235 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 2 1 2 1)
1550699453.239 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 2 1 2)
1550699453.246 * * * [misc]progress:  generating series expansions
1550699453.246 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 2 1 2 2 2)
1550699453.246 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 2 1 2 2 1)
1550699453.246 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 2 1 2 1)
1550699453.246 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 2 1 2)
1550699453.247 * * * [misc]progress:  simplifying candidates
1550699453.247 * * * * [misc]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))))))))>
1550699453.247 * * * * [misc]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))))))))>
1550699453.247 * * * * [misc]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 re (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))))>
1550699453.247 * * * * [misc]progress:  [ 4 / 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)))))))>
1550699453.247 * * * * [misc]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))))))>
1550699453.247 * [enter]simplify:  Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1550699453.247 * * [misc]simplify:  iters left: 4 (7 enodes)
1550699453.250 * * [misc]simplify:  iters left: 3 (13 enodes)
1550699453.254 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699453.255 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699453.255 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550699453.255 * * [misc]simplify:  Extracting #3: cost 5 inf + 1
1550699453.255 * * [misc]simplify:  Extracting #4: cost 5 inf + 322
1550699453.255 * * [misc]simplify:  Extracting #5: cost 0 inf + 2810
1550699453.255 * [exit]simplify:  Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1550699453.255 * [misc]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)))))))))
1550699453.256 * * * * [misc]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))))))>
1550699453.256 * [enter]simplify:  Simplifying (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1550699453.256 * * [misc]simplify:  iters left: 4 (7 enodes)
1550699453.259 * * [misc]simplify:  iters left: 3 (18 enodes)
1550699453.265 * * [misc]simplify:  iters left: 2 (28 enodes)
1550699453.276 * * [misc]simplify:  iters left: 1 (86 enodes)
1550699453.335 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699453.335 * * [misc]simplify:  Extracting #1: cost 12 inf + 0
1550699453.336 * * [misc]simplify:  Extracting #2: cost 53 inf + 1
1550699453.336 * * [misc]simplify:  Extracting #3: cost 103 inf + 804
1550699453.338 * * [misc]simplify:  Extracting #4: cost 94 inf + 17486
1550699453.345 * * [misc]simplify:  Extracting #5: cost 15 inf + 109680
1550699453.356 * * [misc]simplify:  Extracting #6: cost 0 inf + 133154
1550699453.367 * [exit]simplify:  Simplified to (-.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re)
1550699453.367 * [misc]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))))))
1550699453.367 * * * * [misc]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)))))))>
1550699453.367 * [enter]simplify:  Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1550699453.367 * * [misc]simplify:  iters left: 4 (7 enodes)
1550699453.371 * * [misc]simplify:  iters left: 3 (13 enodes)
1550699453.375 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699453.375 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699453.375 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550699453.375 * * [misc]simplify:  Extracting #3: cost 5 inf + 1
1550699453.375 * * [misc]simplify:  Extracting #4: cost 5 inf + 322
1550699453.375 * * [misc]simplify:  Extracting #5: cost 0 inf + 2810
1550699453.376 * [exit]simplify:  Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1550699453.376 * [misc]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)))))))
1550699453.376 * * * * [misc]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)))))))>
1550699453.376 * [enter]simplify:  Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1550699453.376 * * [misc]simplify:  iters left: 4 (7 enodes)
1550699453.379 * * [misc]simplify:  iters left: 3 (13 enodes)
1550699453.384 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699453.384 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699453.384 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550699453.384 * * [misc]simplify:  Extracting #3: cost 5 inf + 1
1550699453.384 * * [misc]simplify:  Extracting #4: cost 5 inf + 322
1550699453.384 * * [misc]simplify:  Extracting #5: cost 0 inf + 2810
1550699453.384 * [exit]simplify:  Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1550699453.384 * [misc]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)))))))
1550699453.385 * * * * [misc]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)))))))>
1550699453.385 * [enter]simplify:  Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1550699453.385 * * [misc]simplify:  iters left: 4 (7 enodes)
1550699453.388 * * [misc]simplify:  iters left: 3 (13 enodes)
1550699453.392 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699453.392 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699453.392 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550699453.392 * * [misc]simplify:  Extracting #3: cost 5 inf + 1
1550699453.392 * * [misc]simplify:  Extracting #4: cost 5 inf + 322
1550699453.393 * * [misc]simplify:  Extracting #5: cost 0 inf + 2810
1550699453.393 * [exit]simplify:  Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1550699453.393 * [misc]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)))))))
1550699453.393 * * * * [misc]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)))))))>
1550699453.393 * [enter]simplify:  Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1550699453.394 * * [misc]simplify:  iters left: 4 (7 enodes)
1550699453.397 * * [misc]simplify:  iters left: 3 (13 enodes)
1550699453.401 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699453.401 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699453.401 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550699453.401 * * [misc]simplify:  Extracting #3: cost 5 inf + 1
1550699453.401 * * [misc]simplify:  Extracting #4: cost 5 inf + 322
1550699453.401 * * [misc]simplify:  Extracting #5: cost 0 inf + 2810
1550699453.402 * [exit]simplify:  Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1550699453.402 * [misc]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)))))))
1550699453.402 * * * [misc]progress:  adding candidates to table
1550699454.221 * * [misc]progress:  iteration 4 / 4
1550699454.221 * * * [misc]progress:  picking best candidate
1550699454.333 * * * * [misc]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 (+.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))))))>
1550699454.333 * * * [misc]progress:  localizing error
1550699454.701 * * * [misc]progress:  generating rewritten candidates
1550699454.701 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 2 1 2 1 2 2)
1550699454.704 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 2 1 2 2)
1550699454.707 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 2 1 2 1 2 1)
1550699454.711 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 2 1 2 1 1)
1550699454.714 * * * [misc]progress:  generating series expansions
1550699454.714 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 2 1 2 1 2 2)
1550699454.714 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 2 1 2 2)
1550699454.714 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 2 1 2 1 2 1)
1550699454.714 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 2 1 2 1 1)
1550699454.715 * * * [misc]progress:  simplifying candidates
1550699454.715 * * * * [misc]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 (+.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)))) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))>
1550699454.715 * [enter]simplify:  Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1550699454.715 * * [misc]simplify:  iters left: 4 (7 enodes)
1550699454.718 * * [misc]simplify:  iters left: 3 (13 enodes)
1550699454.722 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699454.722 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699454.723 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550699454.723 * * [misc]simplify:  Extracting #3: cost 5 inf + 1
1550699454.723 * * [misc]simplify:  Extracting #4: cost 5 inf + 322
1550699454.723 * * [misc]simplify:  Extracting #5: cost 0 inf + 2810
1550699454.723 * [exit]simplify:  Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1550699454.723 * [misc]simplify:  Simplified (2 2 1 2 1 2 2 1) 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 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))))))
1550699454.724 * [enter]simplify:  Simplifying (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1550699454.724 * * [misc]simplify:  iters left: 4 (7 enodes)
1550699454.727 * * [misc]simplify:  iters left: 3 (18 enodes)
1550699454.733 * * [misc]simplify:  iters left: 2 (28 enodes)
1550699454.753 * * [misc]simplify:  iters left: 1 (86 enodes)
1550699454.801 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699454.801 * * [misc]simplify:  Extracting #1: cost 12 inf + 0
1550699454.802 * * [misc]simplify:  Extracting #2: cost 53 inf + 1
1550699454.802 * * [misc]simplify:  Extracting #3: cost 103 inf + 804
1550699454.804 * * [misc]simplify:  Extracting #4: cost 94 inf + 17486
1550699454.811 * * [misc]simplify:  Extracting #5: cost 15 inf + 109680
1550699454.821 * * [misc]simplify:  Extracting #6: cost 0 inf + 133154
1550699454.833 * [exit]simplify:  Simplified to (-.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re)
1550699454.833 * [misc]simplify:  Simplified (2 2 1 2 1 2 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))) re) (-.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re)))) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))
1550699454.833 * * * * [misc]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))) re) (+.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))))))>
1550699454.833 * * * * [misc]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 (*.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))))))>
1550699454.833 * * * * [misc]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 (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 re re) (*.p16 im im)))))))))>
1550699454.833 * * * * [misc]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 re (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (-.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))))))>
1550699454.833 * * * * [misc]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 (+.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))))))>
1550699454.833 * * * * [misc]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 (+.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))))))>
1550699454.834 * [enter]simplify:  Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1550699454.834 * * [misc]simplify:  iters left: 4 (7 enodes)
1550699454.837 * * [misc]simplify:  iters left: 3 (13 enodes)
1550699454.841 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699454.841 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699454.841 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550699454.841 * * [misc]simplify:  Extracting #3: cost 5 inf + 1
1550699454.841 * * [misc]simplify:  Extracting #4: cost 5 inf + 322
1550699454.842 * * [misc]simplify:  Extracting #5: cost 0 inf + 2810
1550699454.842 * [exit]simplify:  Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1550699454.842 * [misc]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)))))))))
1550699454.842 * * * * [misc]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 (+.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))))))>
1550699454.842 * [enter]simplify:  Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1550699454.843 * * [misc]simplify:  iters left: 4 (7 enodes)
1550699454.846 * * [misc]simplify:  iters left: 3 (13 enodes)
1550699454.850 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699454.850 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699454.850 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550699454.850 * * [misc]simplify:  Extracting #3: cost 5 inf + 1
1550699454.850 * * [misc]simplify:  Extracting #4: cost 5 inf + 322
1550699454.850 * * [misc]simplify:  Extracting #5: cost 0 inf + 2810
1550699454.850 * [exit]simplify:  Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1550699454.850 * [misc]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)))))))))
1550699454.851 * * * * [misc]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 (+.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))))))>
1550699454.851 * [enter]simplify:  Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1550699454.851 * * [misc]simplify:  iters left: 4 (7 enodes)
1550699454.854 * * [misc]simplify:  iters left: 3 (13 enodes)
1550699454.858 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699454.858 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699454.858 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550699454.858 * * [misc]simplify:  Extracting #3: cost 5 inf + 1
1550699454.858 * * [misc]simplify:  Extracting #4: cost 5 inf + 322
1550699454.859 * * [misc]simplify:  Extracting #5: cost 0 inf + 2810
1550699454.859 * [exit]simplify:  Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1550699454.859 * [misc]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)))))))))
1550699454.859 * * * * [misc]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 (+.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))))))>
1550699454.859 * [enter]simplify:  Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1550699454.860 * * [misc]simplify:  iters left: 4 (7 enodes)
1550699454.863 * * [misc]simplify:  iters left: 3 (13 enodes)
1550699454.867 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699454.867 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699454.867 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550699454.867 * * [misc]simplify:  Extracting #3: cost 5 inf + 1
1550699454.867 * * [misc]simplify:  Extracting #4: cost 5 inf + 322
1550699454.867 * * [misc]simplify:  Extracting #5: cost 0 inf + 2810
1550699454.867 * [exit]simplify:  Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1550699454.867 * [misc]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)))))))))
1550699454.868 * * * [misc]progress:  adding candidates to table
1550699455.718 * [misc]progress:  [Phase 3 of 3] Extracting.
1550699455.718 * * [misc]regime:  Finding splitpoints for: (#<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 (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 (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 (+.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))))))>)
1550699455.722 * * * [misc]regime-changes:  Trying 2 branch expressions: (im re)
1550699455.722 * * * * [misc]regimes:  Trying to branch on im from (#<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 (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 (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 (+.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))))))>)
1550699456.260 * * * * [misc]regimes:  Trying to branch on re from (#<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 (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 (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 (+.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))))))>)
1550699456.784 * * * [misc]regime:  Found split indices: #<option (#s(si 2 256))>
1550699456.784 * [enter]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))))
1550699456.784 * * [misc]simplify:  iters left: 6 (14 enodes)
1550699456.786 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699456.786 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699456.786 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550699456.786 * * [misc]simplify:  Extracting #3: cost 6 inf + 1
1550699456.786 * * [misc]simplify:  Extracting #4: cost 8 inf + 2
1550699456.786 * * [misc]simplify:  Extracting #5: cost 6 inf + 5
1550699456.787 * * [misc]simplify:  Extracting #6: cost 8 inf + 5
1550699456.787 * * [misc]simplify:  Extracting #7: cost 8 inf + 326
1550699456.787 * * [misc]simplify:  Extracting #8: cost 6 inf + 648
1550699456.787 * * [misc]simplify:  Extracting #9: cost 4 inf + 2052
1550699456.787 * * [misc]simplify:  Extracting #10: cost 2 inf + 3977
1550699456.787 * * [misc]simplify:  Extracting #11: cost 0 inf + 6624
1550699456.788 * [exit]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))))
1550699456.788 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1550699456.827 * * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
1550699456.831 * * * * [misc]points:  Setting MPFR precision to 64
1550699456.833 * * * * [misc]points:  Setting MPFR precision to 320
1550699456.835 * * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
1550699456.839 * * * * [misc]points:  Setting MPFR precision to 64
1550699456.843 * * * * [misc]points:  Setting MPFR precision to 320
1550699456.847 * * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
1550699456.851 * * * * [misc]points:  Setting MPFR precision to 64
1550699456.857 * * * * [misc]points:  Setting MPFR precision to 320
1550699456.881 * * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
1550699456.886 * * * * [misc]points:  Setting MPFR precision to 64
1550699456.901 * * * * [misc]points:  Setting MPFR precision to 320
1550699456.919 * * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
1550699456.923 * * * * [misc]points:  Setting MPFR precision to 64
1550699456.950 * * * * [misc]points:  Setting MPFR precision to 320
1550699456.985 * * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
1550699456.990 * * * * [misc]points:  Setting MPFR precision to 64
1550699457.044 * * * * [misc]points:  Setting MPFR precision to 320
1550699457.146 * * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
1550699457.150 * * * * [misc]points:  Setting MPFR precision to 64
1550699457.256 * * * * [misc]points:  Setting MPFR precision to 320
1550699457.435 * * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
1550699457.440 * * * * [misc]points:  Setting MPFR precision to 64
1550699457.711 * * * * [misc]points:  Setting MPFR precision to 320
1550699458.070 * * * * [misc]points:  Computing exacts for 8000 points
1550699458.075 * * * * [misc]points:  Setting MPFR precision to 64
1550699459.210 * * * * [misc]points:  Setting MPFR precision to 320
1550699461.103 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699461.810 * * * * [exit]points:  Sampled 8000 points with exact outputs
1550699467.610 * [misc]regime-testing:  Baseline error score: 64.0
1550699467.614 * [misc]regime-testing:  Oracle error score: 64.0
1550699467.631 * [misc]regime-testing:  End program error score: 2.120311406720837