1554304915.468 * [misc]progress:  [Phase 1 of 3] Setting up.
1554304915.469 * * * [misc]progress:  [1/2] Preparing points
1554304915.469 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1554304915.469 * * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
1554304915.472 * * * * [misc]points:  Setting MPFR precision to 64
1554304915.473 * * * * [misc]points:  Setting MPFR precision to 320
1554304915.474 * * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
1554304915.476 * * * * [misc]points:  Setting MPFR precision to 64
1554304915.478 * * * * [misc]points:  Setting MPFR precision to 320
1554304915.479 * * * * [misc]points:  Setting MPFR precision to 576
1554304915.481 * * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
1554304915.483 * * * * [misc]points:  Setting MPFR precision to 320
1554304915.486 * * * * [misc]points:  Setting MPFR precision to 576
1554304915.490 * * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
1554304915.492 * * * * [misc]points:  Setting MPFR precision to 320
1554304915.497 * * * * [misc]points:  Setting MPFR precision to 576
1554304915.502 * * * * [misc]points:  Computing exacts for 256 points
1554304915.505 * * * * [misc]points:  Setting MPFR precision to 320
1554304915.520 * * * * [misc]points:  Setting MPFR precision to 576
1554304915.556 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554304915.556 * * * * [exit]points:  Sampled 256 points with exact outputs
1554304915.556 * * * [misc]progress:  [2/2] Setting up program.
1554304915.571 * [misc]progress:  [Phase 2 of 3] Improving.
1554304915.571 * * * * [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)))))>
1554304915.572 * [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))))
1554304915.572 * * [misc]simplify:  iters left: 6 (14 enodes)
1554304915.575 * * [misc]simplify:  iters left: 5 (29 enodes)
1554304915.580 * * [misc]simplify:  iters left: 4 (49 enodes)
1554304915.590 * * [misc]simplify:  iters left: 3 (120 enodes)
1554304915.622 * * [misc]simplify:  iters left: 2 (464 enodes)
1554304915.893 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304915.893 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554304915.893 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1554304915.893 * * [misc]simplify:  Extracting #3: cost 80 inf + 1
1554304915.894 * * [misc]simplify:  Extracting #4: cost 345 inf + 2
1554304915.896 * * [misc]simplify:  Extracting #5: cost 580 inf + 7991
1554304915.904 * * [misc]simplify:  Extracting #6: cost 562 inf + 201841
1554304915.941 * * [misc]simplify:  Extracting #7: cost 164 inf + 841241
1554304915.991 * * [misc]simplify:  Extracting #8: cost 7 inf + 1102755
1554304916.044 * * [misc]simplify:  Extracting #9: cost 0 inf + 1117051
1554304916.098 * [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))
1554304916.098 * [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)))
1554304916.112 * * [misc]progress:  iteration 1 / 4
1554304916.112 * * * [misc]progress:  picking best candidate
1554304916.127 * * * * [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)))))>
1554304916.127 * * * [misc]progress:  localizing error
1554304916.303 * * * [misc]progress:  generating rewritten candidates
1554304916.303 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 2 1 2)
1554304916.305 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 2 1 2 1)
1554304916.305 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 2)
1554304916.305 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 2 1 2 1 1)
1554304916.307 * * * [misc]progress:  generating series expansions
1554304916.307 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 2 1 2)
1554304916.307 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 2 1 2 1)
1554304916.307 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 2)
1554304916.307 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 2 1 2 1 1)
1554304916.307 * * * [misc]progress:  simplifying candidates
1554304916.307 * * * * [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))))))>
1554304916.307 * * * * [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))))))>
1554304916.307 * * * * [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)))))>
1554304916.307 * * * * [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)))))>
1554304916.308 * [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))))
1554304916.308 * * [misc]simplify:  iters left: 6 (14 enodes)
1554304916.311 * * [misc]simplify:  iters left: 5 (29 enodes)
1554304916.317 * * [misc]simplify:  iters left: 4 (49 enodes)
1554304916.326 * * [misc]simplify:  iters left: 3 (120 enodes)
1554304916.362 * * [misc]simplify:  iters left: 2 (464 enodes)
1554304916.753 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304916.753 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554304916.754 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1554304916.754 * * [misc]simplify:  Extracting #3: cost 80 inf + 1
1554304916.756 * * [misc]simplify:  Extracting #4: cost 345 inf + 2
1554304916.760 * * [misc]simplify:  Extracting #5: cost 580 inf + 7991
1554304916.777 * * [misc]simplify:  Extracting #6: cost 562 inf + 201841
1554304916.848 * * [misc]simplify:  Extracting #7: cost 164 inf + 841241
1554304916.949 * * [misc]simplify:  Extracting #8: cost 7 inf + 1102755
1554304917.054 * * [misc]simplify:  Extracting #9: cost 0 inf + 1117051
1554304917.158 * [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))
1554304917.158 * [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)))
1554304917.158 * * * * [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)))))>
1554304917.159 * [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))))
1554304917.159 * * [misc]simplify:  iters left: 6 (14 enodes)
1554304917.166 * * [misc]simplify:  iters left: 5 (29 enodes)
1554304917.176 * * [misc]simplify:  iters left: 4 (49 enodes)
1554304917.195 * * [misc]simplify:  iters left: 3 (120 enodes)
1554304917.259 * * [misc]simplify:  iters left: 2 (464 enodes)
1554304917.579 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304917.579 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554304917.579 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1554304917.579 * * [misc]simplify:  Extracting #3: cost 80 inf + 1
1554304917.580 * * [misc]simplify:  Extracting #4: cost 345 inf + 2
1554304917.582 * * [misc]simplify:  Extracting #5: cost 580 inf + 7991
1554304917.591 * * [misc]simplify:  Extracting #6: cost 562 inf + 201841
1554304917.623 * * [misc]simplify:  Extracting #7: cost 164 inf + 841241
1554304917.676 * * [misc]simplify:  Extracting #8: cost 7 inf + 1102755
1554304917.729 * * [misc]simplify:  Extracting #9: cost 0 inf + 1117051
1554304917.782 * [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))
1554304917.782 * [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)))
1554304917.782 * * * * [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)))))>
1554304917.782 * [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))))
1554304917.783 * * [misc]simplify:  iters left: 6 (14 enodes)
1554304917.786 * * [misc]simplify:  iters left: 5 (29 enodes)
1554304917.791 * * [misc]simplify:  iters left: 4 (49 enodes)
1554304917.800 * * [misc]simplify:  iters left: 3 (120 enodes)
1554304917.834 * * [misc]simplify:  iters left: 2 (464 enodes)
1554304918.097 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304918.097 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554304918.097 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1554304918.097 * * [misc]simplify:  Extracting #3: cost 80 inf + 1
1554304918.098 * * [misc]simplify:  Extracting #4: cost 345 inf + 2
1554304918.100 * * [misc]simplify:  Extracting #5: cost 580 inf + 7991
1554304918.112 * * [misc]simplify:  Extracting #6: cost 562 inf + 201841
1554304918.145 * * [misc]simplify:  Extracting #7: cost 164 inf + 841241
1554304918.196 * * [misc]simplify:  Extracting #8: cost 7 inf + 1102755
1554304918.248 * * [misc]simplify:  Extracting #9: cost 0 inf + 1117051
1554304918.301 * [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))
1554304918.302 * [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)))
1554304918.302 * * * * [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)))))>
1554304918.302 * [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))))
1554304918.302 * * [misc]simplify:  iters left: 6 (14 enodes)
1554304918.305 * * [misc]simplify:  iters left: 5 (29 enodes)
1554304918.310 * * [misc]simplify:  iters left: 4 (49 enodes)
1554304918.320 * * [misc]simplify:  iters left: 3 (120 enodes)
1554304918.352 * * [misc]simplify:  iters left: 2 (464 enodes)
1554304918.622 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304918.622 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554304918.622 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1554304918.622 * * [misc]simplify:  Extracting #3: cost 80 inf + 1
1554304918.623 * * [misc]simplify:  Extracting #4: cost 345 inf + 2
1554304918.625 * * [misc]simplify:  Extracting #5: cost 580 inf + 7991
1554304918.633 * * [misc]simplify:  Extracting #6: cost 562 inf + 201841
1554304918.672 * * [misc]simplify:  Extracting #7: cost 164 inf + 841241
1554304918.722 * * [misc]simplify:  Extracting #8: cost 7 inf + 1102755
1554304918.775 * * [misc]simplify:  Extracting #9: cost 0 inf + 1117051
1554304918.830 * [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))
1554304918.830 * [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)))
1554304918.830 * * * [misc]progress:  adding candidates to table
1554304918.975 * * [misc]progress:  iteration 2 / 4
1554304918.975 * * * [misc]progress:  picking best candidate
1554304918.989 * * * * [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))))))>
1554304918.989 * * * [misc]progress:  localizing error
1554304919.119 * * * [misc]progress:  generating rewritten candidates
1554304919.119 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 2 1 2 1)
1554304919.121 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 2 1 2 2)
1554304919.123 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 2 1 2)
1554304919.126 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 2 1 2 2 1)
1554304919.126 * * * [misc]progress:  generating series expansions
1554304919.126 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 2 1 2 1)
1554304919.126 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 2 1 2 2)
1554304919.126 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 2 1 2)
1554304919.126 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 2 1 2 2 1)
1554304919.126 * * * [misc]progress:  simplifying candidates
1554304919.127 * * * * [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))))))>
1554304919.127 * [enter]simplify:  Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1554304919.127 * * [misc]simplify:  iters left: 4 (7 enodes)
1554304919.128 * * [misc]simplify:  iters left: 3 (13 enodes)
1554304919.130 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304919.130 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554304919.130 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1554304919.130 * * [misc]simplify:  Extracting #3: cost 5 inf + 1
1554304919.130 * * [misc]simplify:  Extracting #4: cost 5 inf + 322
1554304919.130 * * [misc]simplify:  Extracting #5: cost 0 inf + 2810
1554304919.131 * [exit]simplify:  Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1554304919.131 * [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))))))
1554304919.131 * [enter]simplify:  Simplifying (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1554304919.131 * * [misc]simplify:  iters left: 4 (7 enodes)
1554304919.132 * * [misc]simplify:  iters left: 3 (18 enodes)
1554304919.135 * * [misc]simplify:  iters left: 2 (28 enodes)
1554304919.140 * * [misc]simplify:  iters left: 1 (86 enodes)
1554304919.163 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304919.163 * * [misc]simplify:  Extracting #1: cost 12 inf + 0
1554304919.163 * * [misc]simplify:  Extracting #2: cost 53 inf + 1
1554304919.163 * * [misc]simplify:  Extracting #3: cost 103 inf + 804
1554304919.164 * * [misc]simplify:  Extracting #4: cost 94 inf + 17486
1554304919.167 * * [misc]simplify:  Extracting #5: cost 15 inf + 109680
1554304919.172 * * [misc]simplify:  Extracting #6: cost 0 inf + 133154
1554304919.180 * [exit]simplify:  Simplified to (-.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re)
1554304919.180 * [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))))))
1554304919.180 * * * * [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))))))>
1554304919.180 * * * * [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))))))>
1554304919.180 * * * * [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)))))))))>
1554304919.180 * * * * [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)))))))>
1554304919.181 * [enter]simplify:  Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1554304919.181 * * [misc]simplify:  iters left: 4 (7 enodes)
1554304919.182 * * [misc]simplify:  iters left: 3 (13 enodes)
1554304919.184 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304919.184 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554304919.184 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1554304919.184 * * [misc]simplify:  Extracting #3: cost 5 inf + 1
1554304919.184 * * [misc]simplify:  Extracting #4: cost 5 inf + 322
1554304919.184 * * [misc]simplify:  Extracting #5: cost 0 inf + 2810
1554304919.184 * [exit]simplify:  Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1554304919.184 * [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)))))))
1554304919.184 * * * * [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))))))))>
1554304919.185 * [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)))
1554304919.185 * * [misc]simplify:  iters left: 6 (10 enodes)
1554304919.187 * * [misc]simplify:  iters left: 5 (33 enodes)
1554304919.193 * * [misc]simplify:  iters left: 4 (93 enodes)
1554304919.223 * * [misc]simplify:  iters left: 3 (450 enodes)
1554304919.653 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304919.653 * * [misc]simplify:  Extracting #1: cost 60 inf + 0
1554304919.654 * * [misc]simplify:  Extracting #2: cost 374 inf + 963
1554304919.659 * * [misc]simplify:  Extracting #3: cost 459 inf + 130109
1554304919.693 * * [misc]simplify:  Extracting #4: cost 338 inf + 699471
1554304919.751 * * [misc]simplify:  Extracting #5: cost 9 inf + 1277945
1554304919.823 * * [misc]simplify:  Extracting #6: cost 0 inf + 1301041
1554304919.908 * [exit]simplify:  Simplified to (*.p16 (+.p16 (*.p16 re re) (+.p16 (*.p16 im im) (*.p16 re re))) (*.p16 im im))
1554304919.908 * [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))))))))
1554304919.908 * * * * [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))))))>
1554304919.908 * * * * [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))))))>
1554304919.908 * * * * [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))))))>
1554304919.908 * * * * [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))))))>
1554304919.908 * * * [misc]progress:  adding candidates to table
1554304920.150 * * [misc]progress:  iteration 3 / 4
1554304920.150 * * * [misc]progress:  picking best candidate
1554304920.192 * * * * [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))))))>
1554304920.193 * * * [misc]progress:  localizing error
1554304920.287 * * * [misc]progress:  generating rewritten candidates
1554304920.287 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 2 1 2 2)
1554304920.289 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 2 1 2 1 1)
1554304920.291 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 2 1 2 1 2)
1554304920.292 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 2 1 2)
1554304920.296 * * * [misc]progress:  generating series expansions
1554304920.296 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 2 1 2 2)
1554304920.296 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 2 1 2 1 1)
1554304920.296 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 2 1 2 1 2)
1554304920.297 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 2 1 2)
1554304920.297 * * * [misc]progress:  simplifying candidates
1554304920.297 * * * * [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)))))))))>
1554304920.297 * * * * [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))))))>
1554304920.297 * * * * [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))))))>
1554304920.297 * * * * [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))))))>
1554304920.297 * * * * [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)))))))>
1554304920.297 * [enter]simplify:  Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1554304920.297 * * [misc]simplify:  iters left: 4 (7 enodes)
1554304920.298 * * [misc]simplify:  iters left: 3 (13 enodes)
1554304920.300 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304920.300 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554304920.300 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1554304920.300 * * [misc]simplify:  Extracting #3: cost 5 inf + 1
1554304920.300 * * [misc]simplify:  Extracting #4: cost 5 inf + 322
1554304920.301 * * [misc]simplify:  Extracting #5: cost 0 inf + 2810
1554304920.301 * [exit]simplify:  Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1554304920.301 * [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)))))))
1554304920.301 * * * * [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)))))))>
1554304920.301 * [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)))
1554304920.301 * * [misc]simplify:  iters left: 6 (10 enodes)
1554304920.303 * * [misc]simplify:  iters left: 5 (26 enodes)
1554304920.308 * * [misc]simplify:  iters left: 4 (87 enodes)
1554304920.338 * * [misc]simplify:  iters left: 3 (403 enodes)
1554304920.590 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304920.590 * * [misc]simplify:  Extracting #1: cost 69 inf + 0
1554304920.591 * * [misc]simplify:  Extracting #2: cost 394 inf + 322
1554304920.594 * * [misc]simplify:  Extracting #3: cost 516 inf + 48772
1554304920.615 * * [misc]simplify:  Extracting #4: cost 194 inf + 561674
1554304920.660 * * [misc]simplify:  Extracting #5: cost 7 inf + 868789
1554304920.702 * * [misc]simplify:  Extracting #6: cost 0 inf + 881522
1554304920.746 * [exit]simplify:  Simplified to (*.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) (*.p16 im im))
1554304920.746 * [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)))))))
1554304920.746 * * * * [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))))))>
1554304920.746 * [enter]simplify:  Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1554304920.746 * * [misc]simplify:  iters left: 4 (7 enodes)
1554304920.748 * * [misc]simplify:  iters left: 3 (13 enodes)
1554304920.750 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304920.750 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554304920.750 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1554304920.750 * * [misc]simplify:  Extracting #3: cost 5 inf + 1
1554304920.750 * * [misc]simplify:  Extracting #4: cost 5 inf + 322
1554304920.750 * * [misc]simplify:  Extracting #5: cost 0 inf + 2810
1554304920.750 * [exit]simplify:  Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1554304920.750 * [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))))))
1554304920.750 * [enter]simplify:  Simplifying (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1554304920.750 * * [misc]simplify:  iters left: 4 (7 enodes)
1554304920.752 * * [misc]simplify:  iters left: 3 (18 enodes)
1554304920.755 * * [misc]simplify:  iters left: 2 (28 enodes)
1554304920.759 * * [misc]simplify:  iters left: 1 (86 enodes)
1554304920.782 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304920.782 * * [misc]simplify:  Extracting #1: cost 12 inf + 0
1554304920.782 * * [misc]simplify:  Extracting #2: cost 53 inf + 1
1554304920.783 * * [misc]simplify:  Extracting #3: cost 103 inf + 804
1554304920.783 * * [misc]simplify:  Extracting #4: cost 94 inf + 17486
1554304920.787 * * [misc]simplify:  Extracting #5: cost 15 inf + 109680
1554304920.792 * * [misc]simplify:  Extracting #6: cost 0 inf + 133154
1554304920.797 * [exit]simplify:  Simplified to (-.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re)
1554304920.797 * [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))))))
1554304920.797 * * * * [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))))))>
1554304920.797 * [enter]simplify:  Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1554304920.797 * * [misc]simplify:  iters left: 4 (7 enodes)
1554304920.799 * * [misc]simplify:  iters left: 3 (13 enodes)
1554304920.801 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304920.801 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554304920.801 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1554304920.801 * * [misc]simplify:  Extracting #3: cost 5 inf + 1
1554304920.801 * * [misc]simplify:  Extracting #4: cost 5 inf + 322
1554304920.801 * * [misc]simplify:  Extracting #5: cost 0 inf + 2810
1554304920.801 * [exit]simplify:  Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1554304920.801 * [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))))))
1554304920.802 * [enter]simplify:  Simplifying (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1554304920.802 * * [misc]simplify:  iters left: 4 (7 enodes)
1554304920.804 * * [misc]simplify:  iters left: 3 (18 enodes)
1554304920.806 * * [misc]simplify:  iters left: 2 (28 enodes)
1554304920.811 * * [misc]simplify:  iters left: 1 (86 enodes)
1554304920.834 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304920.834 * * [misc]simplify:  Extracting #1: cost 12 inf + 0
1554304920.834 * * [misc]simplify:  Extracting #2: cost 53 inf + 1
1554304920.834 * * [misc]simplify:  Extracting #3: cost 103 inf + 804
1554304920.835 * * [misc]simplify:  Extracting #4: cost 94 inf + 17486
1554304920.838 * * [misc]simplify:  Extracting #5: cost 15 inf + 109680
1554304920.844 * * [misc]simplify:  Extracting #6: cost 0 inf + 133154
1554304920.849 * [exit]simplify:  Simplified to (-.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re)
1554304920.849 * [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))))))
1554304920.849 * * * * [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))))))>
1554304920.850 * [enter]simplify:  Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1554304920.850 * * [misc]simplify:  iters left: 4 (7 enodes)
1554304920.851 * * [misc]simplify:  iters left: 3 (13 enodes)
1554304920.853 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304920.853 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554304920.853 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1554304920.853 * * [misc]simplify:  Extracting #3: cost 5 inf + 1
1554304920.853 * * [misc]simplify:  Extracting #4: cost 5 inf + 322
1554304920.853 * * [misc]simplify:  Extracting #5: cost 0 inf + 2810
1554304920.853 * [exit]simplify:  Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1554304920.853 * [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))))))
1554304920.853 * [enter]simplify:  Simplifying (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1554304920.853 * * [misc]simplify:  iters left: 4 (7 enodes)
1554304920.855 * * [misc]simplify:  iters left: 3 (18 enodes)
1554304920.858 * * [misc]simplify:  iters left: 2 (28 enodes)
1554304920.862 * * [misc]simplify:  iters left: 1 (86 enodes)
1554304920.886 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304920.886 * * [misc]simplify:  Extracting #1: cost 12 inf + 0
1554304920.886 * * [misc]simplify:  Extracting #2: cost 53 inf + 1
1554304920.887 * * [misc]simplify:  Extracting #3: cost 103 inf + 804
1554304920.887 * * [misc]simplify:  Extracting #4: cost 94 inf + 17486
1554304920.891 * * [misc]simplify:  Extracting #5: cost 15 inf + 109680
1554304920.896 * * [misc]simplify:  Extracting #6: cost 0 inf + 133154
1554304920.905 * [exit]simplify:  Simplified to (-.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re)
1554304920.905 * [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))))))
1554304920.906 * * * * [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))))))>
1554304920.906 * [enter]simplify:  Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1554304920.906 * * [misc]simplify:  iters left: 4 (7 enodes)
1554304920.908 * * [misc]simplify:  iters left: 3 (13 enodes)
1554304920.910 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304920.910 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554304920.910 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1554304920.910 * * [misc]simplify:  Extracting #3: cost 5 inf + 1
1554304920.910 * * [misc]simplify:  Extracting #4: cost 5 inf + 322
1554304920.911 * * [misc]simplify:  Extracting #5: cost 0 inf + 2810
1554304920.911 * [exit]simplify:  Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1554304920.911 * [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))))))
1554304920.911 * [enter]simplify:  Simplifying (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1554304920.911 * * [misc]simplify:  iters left: 4 (7 enodes)
1554304920.912 * * [misc]simplify:  iters left: 3 (18 enodes)
1554304920.915 * * [misc]simplify:  iters left: 2 (28 enodes)
1554304920.920 * * [misc]simplify:  iters left: 1 (86 enodes)
1554304920.961 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304920.961 * * [misc]simplify:  Extracting #1: cost 12 inf + 0
1554304920.961 * * [misc]simplify:  Extracting #2: cost 53 inf + 1
1554304920.961 * * [misc]simplify:  Extracting #3: cost 103 inf + 804
1554304920.962 * * [misc]simplify:  Extracting #4: cost 94 inf + 17486
1554304920.967 * * [misc]simplify:  Extracting #5: cost 15 inf + 109680
1554304920.972 * * [misc]simplify:  Extracting #6: cost 0 inf + 133154
1554304920.977 * [exit]simplify:  Simplified to (-.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re)
1554304920.977 * [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))))))
1554304920.978 * * * [misc]progress:  adding candidates to table
1554304921.270 * * [misc]progress:  iteration 4 / 4
1554304921.270 * * * [misc]progress:  picking best candidate
1554304921.311 * * * * [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)))))))>
1554304921.311 * * * [misc]progress:  localizing error
1554304921.406 * * * [misc]progress:  generating rewritten candidates
1554304921.406 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 2 1 2)
1554304921.410 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 2 1 2 2 1)
1554304921.412 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 2 1 2 1)
1554304921.414 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 2 1 2 2 2)
1554304921.415 * * * [misc]progress:  generating series expansions
1554304921.415 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 2 1 2)
1554304921.415 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 2 1 2 2 1)
1554304921.416 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 2 1 2 1)
1554304921.416 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 2 1 2 2 2)
1554304921.416 * * * [misc]progress:  simplifying candidates
1554304921.416 * * * * [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))) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (*.p16 re re)))) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))>
1554304921.416 * [enter]simplify:  Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1554304921.416 * * [misc]simplify:  iters left: 4 (7 enodes)
1554304921.417 * * [misc]simplify:  iters left: 3 (13 enodes)
1554304921.419 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304921.419 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554304921.419 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1554304921.419 * * [misc]simplify:  Extracting #3: cost 5 inf + 1
1554304921.419 * * [misc]simplify:  Extracting #4: cost 5 inf + 322
1554304921.419 * * [misc]simplify:  Extracting #5: cost 0 inf + 2810
1554304921.419 * [exit]simplify:  Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1554304921.420 * [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)))))))))
1554304921.420 * * * * [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 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))>
1554304921.420 * [enter]simplify:  Simplifying (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1554304921.420 * * [misc]simplify:  iters left: 4 (7 enodes)
1554304921.421 * * [misc]simplify:  iters left: 3 (18 enodes)
1554304921.424 * * [misc]simplify:  iters left: 2 (28 enodes)
1554304921.429 * * [misc]simplify:  iters left: 1 (86 enodes)
1554304921.457 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304921.457 * * [misc]simplify:  Extracting #1: cost 12 inf + 0
1554304921.457 * * [misc]simplify:  Extracting #2: cost 53 inf + 1
1554304921.458 * * [misc]simplify:  Extracting #3: cost 103 inf + 804
1554304921.458 * * [misc]simplify:  Extracting #4: cost 94 inf + 17486
1554304921.462 * * [misc]simplify:  Extracting #5: cost 15 inf + 109680
1554304921.467 * * [misc]simplify:  Extracting #6: cost 0 inf + 133154
1554304921.472 * [exit]simplify:  Simplified to (-.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re)
1554304921.472 * [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))))))
1554304921.472 * * * * [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)))))))>
1554304921.472 * * * * [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)))))))>
1554304921.473 * * * * [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))) (neg.p16 re))))))))>
1554304921.473 * * * * [misc]progress:  [ 6 / 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))))))))>
1554304921.473 * * * * [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)))))))>
1554304921.473 * [enter]simplify:  Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1554304921.473 * * [misc]simplify:  iters left: 4 (7 enodes)
1554304921.474 * * [misc]simplify:  iters left: 3 (13 enodes)
1554304921.476 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304921.476 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554304921.476 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1554304921.476 * * [misc]simplify:  Extracting #3: cost 5 inf + 1
1554304921.476 * * [misc]simplify:  Extracting #4: cost 5 inf + 322
1554304921.476 * * [misc]simplify:  Extracting #5: cost 0 inf + 2810
1554304921.476 * [exit]simplify:  Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1554304921.477 * [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)))))))
1554304921.477 * * * * [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)))))))>
1554304921.477 * [enter]simplify:  Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1554304921.477 * * [misc]simplify:  iters left: 4 (7 enodes)
1554304921.478 * * [misc]simplify:  iters left: 3 (13 enodes)
1554304921.480 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304921.480 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554304921.480 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1554304921.480 * * [misc]simplify:  Extracting #3: cost 5 inf + 1
1554304921.480 * * [misc]simplify:  Extracting #4: cost 5 inf + 322
1554304921.480 * * [misc]simplify:  Extracting #5: cost 0 inf + 2810
1554304921.480 * [exit]simplify:  Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1554304921.480 * [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)))))))
1554304921.481 * * * * [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)))))))>
1554304921.481 * [enter]simplify:  Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1554304921.481 * * [misc]simplify:  iters left: 4 (7 enodes)
1554304921.482 * * [misc]simplify:  iters left: 3 (13 enodes)
1554304921.484 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304921.484 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554304921.484 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1554304921.484 * * [misc]simplify:  Extracting #3: cost 5 inf + 1
1554304921.484 * * [misc]simplify:  Extracting #4: cost 5 inf + 322
1554304921.484 * * [misc]simplify:  Extracting #5: cost 0 inf + 2810
1554304921.485 * [exit]simplify:  Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1554304921.485 * [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)))))))
1554304921.485 * * * * [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)))))))>
1554304921.485 * [enter]simplify:  Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1554304921.485 * * [misc]simplify:  iters left: 4 (7 enodes)
1554304921.487 * * [misc]simplify:  iters left: 3 (13 enodes)
1554304921.488 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304921.488 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554304921.488 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1554304921.488 * * [misc]simplify:  Extracting #3: cost 5 inf + 1
1554304921.489 * * [misc]simplify:  Extracting #4: cost 5 inf + 322
1554304921.489 * * [misc]simplify:  Extracting #5: cost 0 inf + 2810
1554304921.489 * [exit]simplify:  Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1554304921.489 * [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)))))))
1554304921.489 * * * [misc]progress:  adding candidates to table
1554304921.915 * [misc]progress:  [Phase 3 of 3] Extracting.
1554304921.915 * * [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))) 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 (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 (*.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 (*.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 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))) 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))))))>)
1554304921.920 * * * [misc]regime-changes:  Trying 2 branch expressions: (im re)
1554304921.920 * * * * [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))) 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 (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 (*.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 (*.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 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))) 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))))))>)
1554304922.179 * * * * [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))) 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 (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 (*.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 (*.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 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))) 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))))))>)
1554304922.393 * * * [misc]regime:  Found split indices: #<option (#s(si 3 256))>
1554304922.393 * [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))))
1554304922.394 * * [misc]simplify:  iters left: 6 (14 enodes)
1554304922.395 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554304922.395 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554304922.395 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1554304922.395 * * [misc]simplify:  Extracting #3: cost 6 inf + 1
1554304922.395 * * [misc]simplify:  Extracting #4: cost 8 inf + 2
1554304922.395 * * [misc]simplify:  Extracting #5: cost 6 inf + 5
1554304922.395 * * [misc]simplify:  Extracting #6: cost 8 inf + 5
1554304922.395 * * [misc]simplify:  Extracting #7: cost 8 inf + 326
1554304922.395 * * [misc]simplify:  Extracting #8: cost 6 inf + 648
1554304922.395 * * [misc]simplify:  Extracting #9: cost 4 inf + 2052
1554304922.395 * * [misc]simplify:  Extracting #10: cost 2 inf + 3977
1554304922.396 * * [misc]simplify:  Extracting #11: cost 0 inf + 6624
1554304922.396 * [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))))
1554304922.396 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1554304922.418 * * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
1554304922.421 * * * * [misc]points:  Setting MPFR precision to 320
1554304922.422 * * * * [misc]points:  Setting MPFR precision to 576
1554304922.423 * * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
1554304922.425 * * * * [misc]points:  Setting MPFR precision to 320
1554304922.427 * * * * [misc]points:  Setting MPFR precision to 576
1554304922.430 * * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
1554304922.432 * * * * [misc]points:  Setting MPFR precision to 320
1554304922.436 * * * * [misc]points:  Setting MPFR precision to 576
1554304922.440 * * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
1554304922.442 * * * * [misc]points:  Setting MPFR precision to 320
1554304922.450 * * * * [misc]points:  Setting MPFR precision to 576
1554304922.457 * * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
1554304922.460 * * * * [misc]points:  Setting MPFR precision to 320
1554304922.474 * * * * [misc]points:  Setting MPFR precision to 576
1554304922.489 * * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
1554304922.507 * * * * [misc]points:  Setting MPFR precision to 320
1554304922.562 * * * * [misc]points:  Setting MPFR precision to 576
1554304922.611 * * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
1554304922.613 * * * * [misc]points:  Setting MPFR precision to 320
1554304922.695 * * * * [misc]points:  Setting MPFR precision to 576
1554304922.755 * * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
1554304922.757 * * * * [misc]points:  Setting MPFR precision to 320
1554304922.900 * * * * [misc]points:  Setting MPFR precision to 576
1554304923.061 * * * * [misc]points:  Computing exacts for 8000 points
1554304923.063 * * * * [misc]points:  Setting MPFR precision to 320
1554304924.081 * * * * [misc]points:  Setting MPFR precision to 576
1554304924.950 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554304924.966 * * * * [exit]points:  Sampled 8000 points with exact outputs
1554304929.083 * [misc]regime-testing:  Baseline error score: 64.0
1554304929.087 * [misc]regime-testing:  Oracle error score: 64.0
1554304929.094 * [misc]regime-testing:  End program error score: 2.059379804534521