1550619704.409 * [misc]progress:  [Phase 1 of 3] Setting up.
1550619704.409 * * * [misc]progress:  [1/2] Preparing points
1550619704.409 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1550619704.410 * * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
1550619704.413 * * * * [misc]points:  Setting MPFR precision to 64
1550619704.415 * * * * [misc]points:  Setting MPFR precision to 320
1550619704.416 * * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
1550619704.418 * * * * [misc]points:  Setting MPFR precision to 64
1550619704.421 * * * * [misc]points:  Setting MPFR precision to 320
1550619704.425 * * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
1550619704.429 * * * * [misc]points:  Setting MPFR precision to 64
1550619704.435 * * * * [misc]points:  Setting MPFR precision to 320
1550619704.443 * * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
1550619704.448 * * * * [misc]points:  Setting MPFR precision to 64
1550619704.458 * * * * [misc]points:  Setting MPFR precision to 320
1550619704.471 * * * * [misc]points:  Computing exacts for 256 points
1550619704.475 * * * * [misc]points:  Setting MPFR precision to 64
1550619704.503 * * * * [misc]points:  Setting MPFR precision to 320
1550619704.541 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619704.567 * * * * [exit]points:  Sampled 256 points with exact outputs
1550619704.567 * * * [misc]progress:  [2/2] Setting up program.
1550619704.612 * [misc]progress:  [Phase 2 of 3] Improving.
1550619704.612 * * * * [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)))))>
1550619704.612 * [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))))
1550619704.613 * * [misc]simplify:  iters left: 6 (14 enodes)
1550619704.646 * * [misc]simplify:  iters left: 5 (29 enodes)
1550619704.658 * * [misc]simplify:  iters left: 4 (49 enodes)
1550619704.673 * * [misc]simplify:  iters left: 3 (120 enodes)
1550619704.705 * * [misc]simplify:  iters left: 2 (464 enodes)
1550619705.048 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619705.048 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619705.048 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550619705.048 * * [misc]simplify:  Extracting #3: cost 80 inf + 1
1550619705.049 * * [misc]simplify:  Extracting #4: cost 345 inf + 2
1550619705.051 * * [misc]simplify:  Extracting #5: cost 580 inf + 7991
1550619705.060 * * [misc]simplify:  Extracting #6: cost 562 inf + 201841
1550619705.106 * * [misc]simplify:  Extracting #7: cost 164 inf + 841241
1550619705.188 * * [misc]simplify:  Extracting #8: cost 7 inf + 1102755
1550619705.247 * * [misc]simplify:  Extracting #9: cost 0 inf + 1117051
1550619705.337 * [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))
1550619705.337 * [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)))
1550619705.367 * * [misc]progress:  iteration 1 / 4
1550619705.367 * * * [misc]progress:  picking best candidate
1550619705.391 * * * * [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)))))>
1550619705.391 * * * [misc]progress:  localizing error
1550619705.675 * * * [misc]progress:  generating rewritten candidates
1550619705.675 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 2 1 2)
1550619705.677 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 2 1 2 1)
1550619705.677 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 2)
1550619705.677 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 2 1 2 1 1)
1550619705.679 * * * [misc]progress:  generating series expansions
1550619705.679 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 2 1 2)
1550619705.679 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 2 1 2 1)
1550619705.679 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 2)
1550619705.679 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 2 1 2 1 1)
1550619705.679 * * * [misc]progress:  simplifying candidates
1550619705.679 * * * * [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))))))>
1550619705.679 * * * * [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))))))>
1550619705.679 * * * * [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)))))>
1550619705.679 * * * * [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)))))>
1550619705.679 * [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))))
1550619705.679 * * [misc]simplify:  iters left: 6 (14 enodes)
1550619705.683 * * [misc]simplify:  iters left: 5 (29 enodes)
1550619705.696 * * [misc]simplify:  iters left: 4 (49 enodes)
1550619705.705 * * [misc]simplify:  iters left: 3 (120 enodes)
1550619705.737 * * [misc]simplify:  iters left: 2 (464 enodes)
1550619706.158 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619706.158 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619706.158 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550619706.159 * * [misc]simplify:  Extracting #3: cost 80 inf + 1
1550619706.159 * * [misc]simplify:  Extracting #4: cost 345 inf + 2
1550619706.161 * * [misc]simplify:  Extracting #5: cost 580 inf + 7991
1550619706.170 * * [misc]simplify:  Extracting #6: cost 562 inf + 201841
1550619706.217 * * [misc]simplify:  Extracting #7: cost 164 inf + 841241
1550619706.290 * * [misc]simplify:  Extracting #8: cost 7 inf + 1102755
1550619706.362 * * [misc]simplify:  Extracting #9: cost 0 inf + 1117051
1550619706.468 * [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))
1550619706.468 * [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)))
1550619706.469 * * * * [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)))))>
1550619706.469 * [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))))
1550619706.469 * * [misc]simplify:  iters left: 6 (14 enodes)
1550619706.475 * * [misc]simplify:  iters left: 5 (29 enodes)
1550619706.485 * * [misc]simplify:  iters left: 4 (49 enodes)
1550619706.503 * * [misc]simplify:  iters left: 3 (120 enodes)
1550619706.540 * * [misc]simplify:  iters left: 2 (464 enodes)
1550619706.811 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619706.811 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619706.812 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550619706.812 * * [misc]simplify:  Extracting #3: cost 80 inf + 1
1550619706.813 * * [misc]simplify:  Extracting #4: cost 345 inf + 2
1550619706.815 * * [misc]simplify:  Extracting #5: cost 580 inf + 7991
1550619706.830 * * [misc]simplify:  Extracting #6: cost 562 inf + 201841
1550619706.899 * * [misc]simplify:  Extracting #7: cost 164 inf + 841241
1550619706.963 * * [misc]simplify:  Extracting #8: cost 7 inf + 1102755
1550619707.036 * * [misc]simplify:  Extracting #9: cost 0 inf + 1117051
1550619707.111 * [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))
1550619707.111 * [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)))
1550619707.111 * * * * [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)))))>
1550619707.111 * [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))))
1550619707.112 * * [misc]simplify:  iters left: 6 (14 enodes)
1550619707.118 * * [misc]simplify:  iters left: 5 (29 enodes)
1550619707.127 * * [misc]simplify:  iters left: 4 (49 enodes)
1550619707.144 * * [misc]simplify:  iters left: 3 (120 enodes)
1550619707.200 * * [misc]simplify:  iters left: 2 (464 enodes)
1550619707.552 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619707.552 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619707.552 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550619707.552 * * [misc]simplify:  Extracting #3: cost 80 inf + 1
1550619707.553 * * [misc]simplify:  Extracting #4: cost 345 inf + 2
1550619707.555 * * [misc]simplify:  Extracting #5: cost 580 inf + 7991
1550619707.564 * * [misc]simplify:  Extracting #6: cost 562 inf + 201841
1550619707.597 * * [misc]simplify:  Extracting #7: cost 164 inf + 841241
1550619708.045 * * [misc]simplify:  Extracting #8: cost 7 inf + 1102755
1550619708.152 * * [misc]simplify:  Extracting #9: cost 0 inf + 1117051
1550619708.255 * [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))
1550619708.255 * [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)))
1550619708.255 * * * * [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)))))>
1550619708.255 * [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))))
1550619708.255 * * [misc]simplify:  iters left: 6 (14 enodes)
1550619708.261 * * [misc]simplify:  iters left: 5 (29 enodes)
1550619708.271 * * [misc]simplify:  iters left: 4 (49 enodes)
1550619708.289 * * [misc]simplify:  iters left: 3 (120 enodes)
1550619708.325 * * [misc]simplify:  iters left: 2 (464 enodes)
1550619708.736 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619708.736 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619708.736 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550619708.736 * * [misc]simplify:  Extracting #3: cost 80 inf + 1
1550619708.738 * * [misc]simplify:  Extracting #4: cost 345 inf + 2
1550619708.743 * * [misc]simplify:  Extracting #5: cost 580 inf + 7991
1550619708.767 * * [misc]simplify:  Extracting #6: cost 562 inf + 201841
1550619708.832 * * [misc]simplify:  Extracting #7: cost 164 inf + 841241
1550619708.931 * * [misc]simplify:  Extracting #8: cost 7 inf + 1102755
1550619709.037 * * [misc]simplify:  Extracting #9: cost 0 inf + 1117051
1550619709.141 * [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))
1550619709.141 * [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)))
1550619709.141 * * * [misc]progress:  adding candidates to table
1550619709.547 * * [misc]progress:  iteration 2 / 4
1550619709.547 * * * [misc]progress:  picking best candidate
1550619709.587 * * * * [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))))))>
1550619709.587 * * * [misc]progress:  localizing error
1550619709.943 * * * [misc]progress:  generating rewritten candidates
1550619709.943 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 2 1 2 1)
1550619709.946 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 2 1 2 2)
1550619709.949 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 2 1 2)
1550619709.955 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 2 1 2 2 1)
1550619709.956 * * * [misc]progress:  generating series expansions
1550619709.956 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 2 1 2 1)
1550619709.956 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 2 1 2 2)
1550619709.956 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 2 1 2)
1550619709.956 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 2 1 2 2 1)
1550619709.956 * * * [misc]progress:  simplifying candidates
1550619709.956 * * * * [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))))))>
1550619709.957 * [enter]simplify:  Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1550619709.957 * * [misc]simplify:  iters left: 4 (7 enodes)
1550619709.959 * * [misc]simplify:  iters left: 3 (13 enodes)
1550619709.963 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619709.963 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619709.963 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550619709.963 * * [misc]simplify:  Extracting #3: cost 5 inf + 1
1550619709.963 * * [misc]simplify:  Extracting #4: cost 5 inf + 322
1550619709.963 * * [misc]simplify:  Extracting #5: cost 0 inf + 2810
1550619709.964 * [exit]simplify:  Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1550619709.964 * [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))))))
1550619709.964 * [enter]simplify:  Simplifying (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1550619709.964 * * [misc]simplify:  iters left: 4 (7 enodes)
1550619709.967 * * [misc]simplify:  iters left: 3 (18 enodes)
1550619709.981 * * [misc]simplify:  iters left: 2 (28 enodes)
1550619709.991 * * [misc]simplify:  iters left: 1 (86 enodes)
1550619710.028 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619710.028 * * [misc]simplify:  Extracting #1: cost 12 inf + 0
1550619710.028 * * [misc]simplify:  Extracting #2: cost 53 inf + 1
1550619710.028 * * [misc]simplify:  Extracting #3: cost 103 inf + 804
1550619710.029 * * [misc]simplify:  Extracting #4: cost 94 inf + 17486
1550619710.032 * * [misc]simplify:  Extracting #5: cost 15 inf + 109680
1550619710.037 * * [misc]simplify:  Extracting #6: cost 0 inf + 133154
1550619710.042 * [exit]simplify:  Simplified to (-.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re)
1550619710.043 * [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))))))
1550619710.043 * * * * [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))))))>
1550619710.043 * * * * [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))))))>
1550619710.043 * * * * [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)))))))))>
1550619710.043 * * * * [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)))))))>
1550619710.043 * [enter]simplify:  Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1550619710.043 * * [misc]simplify:  iters left: 4 (7 enodes)
1550619710.044 * * [misc]simplify:  iters left: 3 (13 enodes)
1550619710.046 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619710.046 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619710.046 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550619710.046 * * [misc]simplify:  Extracting #3: cost 5 inf + 1
1550619710.046 * * [misc]simplify:  Extracting #4: cost 5 inf + 322
1550619710.046 * * [misc]simplify:  Extracting #5: cost 0 inf + 2810
1550619710.046 * [exit]simplify:  Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1550619710.046 * [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)))))))
1550619710.046 * * * * [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))))))))>
1550619710.047 * [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)))
1550619710.047 * * [misc]simplify:  iters left: 6 (10 enodes)
1550619710.049 * * [misc]simplify:  iters left: 5 (33 enodes)
1550619710.055 * * [misc]simplify:  iters left: 4 (93 enodes)
1550619710.085 * * [misc]simplify:  iters left: 3 (450 enodes)
1550619710.782 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619710.783 * * [misc]simplify:  Extracting #1: cost 60 inf + 0
1550619710.784 * * [misc]simplify:  Extracting #2: cost 374 inf + 963
1550619710.789 * * [misc]simplify:  Extracting #3: cost 459 inf + 130109
1550619710.844 * * [misc]simplify:  Extracting #4: cost 338 inf + 699471
1550619710.964 * * [misc]simplify:  Extracting #5: cost 9 inf + 1277945
1550619711.057 * * [misc]simplify:  Extracting #6: cost 0 inf + 1301041
1550619711.140 * [exit]simplify:  Simplified to (*.p16 (+.p16 (*.p16 re re) (+.p16 (*.p16 im im) (*.p16 re re))) (*.p16 im im))
1550619711.140 * [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))))))))
1550619711.141 * * * * [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))))))>
1550619711.141 * * * * [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))))))>
1550619711.141 * * * * [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))))))>
1550619711.141 * * * * [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))))))>
1550619711.141 * * * [misc]progress:  adding candidates to table
1550619711.939 * * [misc]progress:  iteration 3 / 4
1550619711.939 * * * [misc]progress:  picking best candidate
1550619712.122 * * * * [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 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))>
1550619712.123 * * * [misc]progress:  localizing error
1550619712.310 * * * [misc]progress:  generating rewritten candidates
1550619712.310 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 2 1 2 2)
1550619712.311 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 2 1 2 1 1)
1550619712.313 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 2 1 2 1 2)
1550619712.314 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 2 1 2)
1550619712.320 * * * [misc]progress:  generating series expansions
1550619712.320 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 2 1 2 2)
1550619712.320 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 2 1 2 1 1)
1550619712.320 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 2 1 2 1 2)
1550619712.320 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 2 1 2)
1550619712.320 * * * [misc]progress:  simplifying candidates
1550619712.320 * * * * [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 re (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))))))))>
1550619712.321 * * * * [misc]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))))))>
1550619712.321 * * * * [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 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) (neg.p16 re))) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))>
1550619712.321 * * * * [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 (*.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))))))>
1550619712.321 * * * * [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)))))))>
1550619712.321 * [enter]simplify:  Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1550619712.321 * * [misc]simplify:  iters left: 4 (7 enodes)
1550619712.324 * * [misc]simplify:  iters left: 3 (13 enodes)
1550619712.328 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619712.328 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619712.328 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550619712.328 * * [misc]simplify:  Extracting #3: cost 5 inf + 1
1550619712.328 * * [misc]simplify:  Extracting #4: cost 5 inf + 322
1550619712.328 * * [misc]simplify:  Extracting #5: cost 0 inf + 2810
1550619712.329 * [exit]simplify:  Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1550619712.329 * [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)))))))
1550619712.329 * * * * [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 (*.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)))))))>
1550619712.329 * [enter]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)))
1550619712.329 * * [misc]simplify:  iters left: 6 (10 enodes)
1550619712.333 * * [misc]simplify:  iters left: 5 (26 enodes)
1550619712.343 * * [misc]simplify:  iters left: 4 (87 enodes)
1550619712.404 * * [misc]simplify:  iters left: 3 (403 enodes)
1550619712.862 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619712.862 * * [misc]simplify:  Extracting #1: cost 69 inf + 0
1550619712.864 * * [misc]simplify:  Extracting #2: cost 394 inf + 322
1550619712.869 * * [misc]simplify:  Extracting #3: cost 516 inf + 48772
1550619712.911 * * [misc]simplify:  Extracting #4: cost 194 inf + 561674
1550619712.980 * * [misc]simplify:  Extracting #5: cost 7 inf + 868789
1550619713.034 * * [misc]simplify:  Extracting #6: cost 0 inf + 881522
1550619713.115 * [exit]simplify:  Simplified to (*.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) (*.p16 im im))
1550619713.115 * [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 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)))))))
1550619713.115 * * * * [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 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))>
1550619713.116 * [enter]simplify:  Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1550619713.116 * * [misc]simplify:  iters left: 4 (7 enodes)
1550619713.118 * * [misc]simplify:  iters left: 3 (13 enodes)
1550619713.121 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619713.121 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619713.121 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550619713.121 * * [misc]simplify:  Extracting #3: cost 5 inf + 1
1550619713.121 * * [misc]simplify:  Extracting #4: cost 5 inf + 322
1550619713.122 * * [misc]simplify:  Extracting #5: cost 0 inf + 2810
1550619713.122 * [exit]simplify:  Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1550619713.122 * [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))))))
1550619713.122 * [enter]simplify:  Simplifying (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1550619713.122 * * [misc]simplify:  iters left: 4 (7 enodes)
1550619713.125 * * [misc]simplify:  iters left: 3 (18 enodes)
1550619713.130 * * [misc]simplify:  iters left: 2 (28 enodes)
1550619713.140 * * [misc]simplify:  iters left: 1 (86 enodes)
1550619713.183 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619713.183 * * [misc]simplify:  Extracting #1: cost 12 inf + 0
1550619713.183 * * [misc]simplify:  Extracting #2: cost 53 inf + 1
1550619713.183 * * [misc]simplify:  Extracting #3: cost 103 inf + 804
1550619713.185 * * [misc]simplify:  Extracting #4: cost 94 inf + 17486
1550619713.193 * * [misc]simplify:  Extracting #5: cost 15 inf + 109680
1550619713.203 * * [misc]simplify:  Extracting #6: cost 0 inf + 133154
1550619713.212 * [exit]simplify:  Simplified to (-.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re)
1550619713.213 * [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))))))
1550619713.213 * * * * [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 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))>
1550619713.213 * [enter]simplify:  Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1550619713.213 * * [misc]simplify:  iters left: 4 (7 enodes)
1550619713.216 * * [misc]simplify:  iters left: 3 (13 enodes)
1550619713.219 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619713.219 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619713.219 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550619713.219 * * [misc]simplify:  Extracting #3: cost 5 inf + 1
1550619713.219 * * [misc]simplify:  Extracting #4: cost 5 inf + 322
1550619713.219 * * [misc]simplify:  Extracting #5: cost 0 inf + 2810
1550619713.220 * [exit]simplify:  Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1550619713.220 * [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))))))
1550619713.220 * [enter]simplify:  Simplifying (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1550619713.220 * * [misc]simplify:  iters left: 4 (7 enodes)
1550619713.223 * * [misc]simplify:  iters left: 3 (18 enodes)
1550619713.228 * * [misc]simplify:  iters left: 2 (28 enodes)
1550619713.237 * * [misc]simplify:  iters left: 1 (86 enodes)
1550619713.280 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619713.280 * * [misc]simplify:  Extracting #1: cost 12 inf + 0
1550619713.280 * * [misc]simplify:  Extracting #2: cost 53 inf + 1
1550619713.280 * * [misc]simplify:  Extracting #3: cost 103 inf + 804
1550619713.282 * * [misc]simplify:  Extracting #4: cost 94 inf + 17486
1550619713.289 * * [misc]simplify:  Extracting #5: cost 15 inf + 109680
1550619713.299 * * [misc]simplify:  Extracting #6: cost 0 inf + 133154
1550619713.310 * [exit]simplify:  Simplified to (-.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re)
1550619713.310 * [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))))))
1550619713.310 * * * * [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 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))>
1550619713.310 * [enter]simplify:  Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1550619713.311 * * [misc]simplify:  iters left: 4 (7 enodes)
1550619713.313 * * [misc]simplify:  iters left: 3 (13 enodes)
1550619713.317 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619713.317 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619713.317 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550619713.317 * * [misc]simplify:  Extracting #3: cost 5 inf + 1
1550619713.317 * * [misc]simplify:  Extracting #4: cost 5 inf + 322
1550619713.317 * * [misc]simplify:  Extracting #5: cost 0 inf + 2810
1550619713.317 * [exit]simplify:  Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1550619713.317 * [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))))))
1550619713.318 * [enter]simplify:  Simplifying (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1550619713.318 * * [misc]simplify:  iters left: 4 (7 enodes)
1550619713.320 * * [misc]simplify:  iters left: 3 (18 enodes)
1550619713.327 * * [misc]simplify:  iters left: 2 (28 enodes)
1550619713.336 * * [misc]simplify:  iters left: 1 (86 enodes)
1550619713.379 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619713.379 * * [misc]simplify:  Extracting #1: cost 12 inf + 0
1550619713.380 * * [misc]simplify:  Extracting #2: cost 53 inf + 1
1550619713.380 * * [misc]simplify:  Extracting #3: cost 103 inf + 804
1550619713.381 * * [misc]simplify:  Extracting #4: cost 94 inf + 17486
1550619713.387 * * [misc]simplify:  Extracting #5: cost 15 inf + 109680
1550619713.397 * * [misc]simplify:  Extracting #6: cost 0 inf + 133154
1550619713.406 * [exit]simplify:  Simplified to (-.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re)
1550619713.407 * [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))))))
1550619713.407 * * * * [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 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))>
1550619713.407 * [enter]simplify:  Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1550619713.407 * * [misc]simplify:  iters left: 4 (7 enodes)
1550619713.410 * * [misc]simplify:  iters left: 3 (13 enodes)
1550619713.413 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619713.413 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619713.413 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550619713.413 * * [misc]simplify:  Extracting #3: cost 5 inf + 1
1550619713.413 * * [misc]simplify:  Extracting #4: cost 5 inf + 322
1550619713.413 * * [misc]simplify:  Extracting #5: cost 0 inf + 2810
1550619713.413 * [exit]simplify:  Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1550619713.413 * [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))))))
1550619713.414 * [enter]simplify:  Simplifying (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1550619713.414 * * [misc]simplify:  iters left: 4 (7 enodes)
1550619713.416 * * [misc]simplify:  iters left: 3 (18 enodes)
1550619713.421 * * [misc]simplify:  iters left: 2 (28 enodes)
1550619713.430 * * [misc]simplify:  iters left: 1 (86 enodes)
1550619713.473 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619713.473 * * [misc]simplify:  Extracting #1: cost 12 inf + 0
1550619713.474 * * [misc]simplify:  Extracting #2: cost 53 inf + 1
1550619713.474 * * [misc]simplify:  Extracting #3: cost 103 inf + 804
1550619713.475 * * [misc]simplify:  Extracting #4: cost 94 inf + 17486
1550619713.481 * * [misc]simplify:  Extracting #5: cost 15 inf + 109680
1550619713.486 * * [misc]simplify:  Extracting #6: cost 0 inf + 133154
1550619713.493 * [exit]simplify:  Simplified to (-.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re)
1550619713.493 * [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))))))
1550619713.493 * * * [misc]progress:  adding candidates to table
1550619713.976 * * [misc]progress:  iteration 4 / 4
1550619713.976 * * * [misc]progress:  picking best candidate
1550619714.121 * * * * [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)))))))>
1550619714.121 * * * [misc]progress:  localizing error
1550619714.314 * * * [misc]progress:  generating rewritten candidates
1550619714.314 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 2 1 2 2 1)
1550619714.316 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 2 1 2 1)
1550619714.317 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 2 1 2 2 2)
1550619714.318 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 2 1 2)
1550619714.322 * * * [misc]progress:  generating series expansions
1550619714.322 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 2 1 2 2 1)
1550619714.322 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 2 1 2 1)
1550619714.322 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 2 1 2 2 2)
1550619714.322 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 2 1 2)
1550619714.322 * * * [misc]progress:  simplifying candidates
1550619714.322 * * * * [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 re (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))))>
1550619714.322 * * * * [misc]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)))))))>
1550619714.322 * * * * [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 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) (neg.p16 re))))))))>
1550619714.322 * * * * [misc]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))))))))>
1550619714.322 * * * * [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))))))>
1550619714.323 * [enter]simplify:  Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1550619714.323 * * [misc]simplify:  iters left: 4 (7 enodes)
1550619714.324 * * [misc]simplify:  iters left: 3 (13 enodes)
1550619714.326 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619714.326 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619714.326 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550619714.326 * * [misc]simplify:  Extracting #3: cost 5 inf + 1
1550619714.326 * * [misc]simplify:  Extracting #4: cost 5 inf + 322
1550619714.326 * * [misc]simplify:  Extracting #5: cost 0 inf + 2810
1550619714.326 * [exit]simplify:  Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1550619714.326 * [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)))))))))
1550619714.326 * * * * [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))))))>
1550619714.326 * [enter]simplify:  Simplifying (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1550619714.326 * * [misc]simplify:  iters left: 4 (7 enodes)
1550619714.328 * * [misc]simplify:  iters left: 3 (18 enodes)
1550619714.332 * * [misc]simplify:  iters left: 2 (28 enodes)
1550619714.341 * * [misc]simplify:  iters left: 1 (86 enodes)
1550619714.383 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619714.383 * * [misc]simplify:  Extracting #1: cost 12 inf + 0
1550619714.383 * * [misc]simplify:  Extracting #2: cost 53 inf + 1
1550619714.383 * * [misc]simplify:  Extracting #3: cost 103 inf + 804
1550619714.384 * * [misc]simplify:  Extracting #4: cost 94 inf + 17486
1550619714.387 * * [misc]simplify:  Extracting #5: cost 15 inf + 109680
1550619714.392 * * [misc]simplify:  Extracting #6: cost 0 inf + 133154
1550619714.397 * [exit]simplify:  Simplified to (-.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re)
1550619714.397 * [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))))))
1550619714.398 * * * * [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)))))))>
1550619714.398 * [enter]simplify:  Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1550619714.398 * * [misc]simplify:  iters left: 4 (7 enodes)
1550619714.400 * * [misc]simplify:  iters left: 3 (13 enodes)
1550619714.403 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619714.403 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619714.403 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550619714.403 * * [misc]simplify:  Extracting #3: cost 5 inf + 1
1550619714.403 * * [misc]simplify:  Extracting #4: cost 5 inf + 322
1550619714.403 * * [misc]simplify:  Extracting #5: cost 0 inf + 2810
1550619714.404 * [exit]simplify:  Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1550619714.404 * [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)))))))
1550619714.404 * * * * [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)))))))>
1550619714.404 * [enter]simplify:  Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1550619714.404 * * [misc]simplify:  iters left: 4 (7 enodes)
1550619714.406 * * [misc]simplify:  iters left: 3 (13 enodes)
1550619714.410 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619714.410 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619714.410 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550619714.410 * * [misc]simplify:  Extracting #3: cost 5 inf + 1
1550619714.410 * * [misc]simplify:  Extracting #4: cost 5 inf + 322
1550619714.410 * * [misc]simplify:  Extracting #5: cost 0 inf + 2810
1550619714.410 * [exit]simplify:  Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1550619714.410 * [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)))))))
1550619714.410 * * * * [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)))))))>
1550619714.411 * [enter]simplify:  Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1550619714.411 * * [misc]simplify:  iters left: 4 (7 enodes)
1550619714.413 * * [misc]simplify:  iters left: 3 (13 enodes)
1550619714.417 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619714.417 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619714.417 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550619714.417 * * [misc]simplify:  Extracting #3: cost 5 inf + 1
1550619714.417 * * [misc]simplify:  Extracting #4: cost 5 inf + 322
1550619714.417 * * [misc]simplify:  Extracting #5: cost 0 inf + 2810
1550619714.417 * [exit]simplify:  Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1550619714.417 * [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)))))))
1550619714.417 * * * * [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)))))))>
1550619714.418 * [enter]simplify:  Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1550619714.418 * * [misc]simplify:  iters left: 4 (7 enodes)
1550619714.420 * * [misc]simplify:  iters left: 3 (13 enodes)
1550619714.424 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619714.424 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619714.424 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550619714.424 * * [misc]simplify:  Extracting #3: cost 5 inf + 1
1550619714.424 * * [misc]simplify:  Extracting #4: cost 5 inf + 322
1550619714.424 * * [misc]simplify:  Extracting #5: cost 0 inf + 2810
1550619714.425 * [exit]simplify:  Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1550619714.425 * [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)))))))
1550619714.425 * * * [misc]progress:  adding candidates to table
1550619715.157 * [misc]progress:  [Phase 3 of 3] Extracting.
1550619715.157 * * [misc]regime:  Finding splitpoints for: (#<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 (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 (*.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))))))> #<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))))))> #<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)))))))>)
1550619715.163 * * * [misc]regime-changes:  Trying 2 branch expressions: (im re)
1550619715.163 * * * * [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 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 (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 (*.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))))))> #<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))))))> #<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)))))))>)
1550619715.745 * * * * [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 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 (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 (*.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))))))> #<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))))))> #<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)))))))>)
1550619716.237 * * * [misc]regime:  Found split indices: #<option (#s(si 2 256))>
1550619716.238 * [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))))
1550619716.238 * * [misc]simplify:  iters left: 6 (14 enodes)
1550619716.239 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619716.239 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619716.239 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550619716.239 * * [misc]simplify:  Extracting #3: cost 6 inf + 1
1550619716.239 * * [misc]simplify:  Extracting #4: cost 8 inf + 2
1550619716.239 * * [misc]simplify:  Extracting #5: cost 6 inf + 5
1550619716.239 * * [misc]simplify:  Extracting #6: cost 8 inf + 5
1550619716.239 * * [misc]simplify:  Extracting #7: cost 8 inf + 326
1550619716.239 * * [misc]simplify:  Extracting #8: cost 6 inf + 648
1550619716.239 * * [misc]simplify:  Extracting #9: cost 4 inf + 2052
1550619716.240 * * [misc]simplify:  Extracting #10: cost 2 inf + 3977
1550619716.240 * * [misc]simplify:  Extracting #11: cost 0 inf + 6624
1550619716.240 * [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))))
1550619716.240 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1550619716.262 * * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
1550619716.265 * * * * [misc]points:  Setting MPFR precision to 64
1550619716.266 * * * * [misc]points:  Setting MPFR precision to 320
1550619716.267 * * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
1550619716.269 * * * * [misc]points:  Setting MPFR precision to 64
1550619716.271 * * * * [misc]points:  Setting MPFR precision to 320
1550619716.274 * * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
1550619716.276 * * * * [misc]points:  Setting MPFR precision to 64
1550619716.280 * * * * [misc]points:  Setting MPFR precision to 320
1550619716.285 * * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
1550619716.289 * * * * [misc]points:  Setting MPFR precision to 64
1550619716.301 * * * * [misc]points:  Setting MPFR precision to 320
1550619716.314 * * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
1550619716.316 * * * * [misc]points:  Setting MPFR precision to 64
1550619716.330 * * * * [misc]points:  Setting MPFR precision to 320
1550619716.367 * * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
1550619716.369 * * * * [misc]points:  Setting MPFR precision to 64
1550619716.399 * * * * [misc]points:  Setting MPFR precision to 320
1550619716.441 * * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
1550619716.443 * * * * [misc]points:  Setting MPFR precision to 64
1550619716.541 * * * * [misc]points:  Setting MPFR precision to 320
1550619716.629 * * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
1550619716.632 * * * * [misc]points:  Setting MPFR precision to 64
1550619716.830 * * * * [misc]points:  Setting MPFR precision to 320
1550619717.214 * * * * [misc]points:  Computing exacts for 8000 points
1550619717.218 * * * * [misc]points:  Setting MPFR precision to 64
1550619718.190 * * * * [misc]points:  Setting MPFR precision to 320
1550619719.547 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619720.032 * * * * [exit]points:  Sampled 8000 points with exact outputs
1550619725.610 * [misc]regime-testing:  Baseline error score: 64.0
1550619725.612 * [misc]regime-testing:  Oracle error score: 64.0
1550619725.616 * [misc]regime-testing:  End program error score: 2.074152658614694