1550698909.048 * [misc]progress:  [Phase 1 of 3] Setting up.
1550698909.048 * * * [misc]progress:  [1/2] Preparing points
1550698909.048 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1550698909.049 * * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
1550698909.054 * * * * [misc]points:  Setting MPFR precision to 64
1550698909.056 * * * * [misc]points:  Setting MPFR precision to 320
1550698909.058 * * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
1550698909.062 * * * * [misc]points:  Setting MPFR precision to 64
1550698909.066 * * * * [misc]points:  Setting MPFR precision to 320
1550698909.070 * * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
1550698909.074 * * * * [misc]points:  Setting MPFR precision to 64
1550698909.079 * * * * [misc]points:  Setting MPFR precision to 320
1550698909.087 * * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
1550698909.091 * * * * [misc]points:  Setting MPFR precision to 64
1550698909.100 * * * * [misc]points:  Setting MPFR precision to 320
1550698909.113 * * * * [misc]points:  Computing exacts for 256 points
1550698909.117 * * * * [misc]points:  Setting MPFR precision to 64
1550698909.142 * * * * [misc]points:  Setting MPFR precision to 320
1550698909.189 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550698909.209 * * * * [exit]points:  Sampled 256 points with exact outputs
1550698909.209 * * * [misc]progress:  [2/2] Setting up program.
1550698909.235 * [misc]progress:  [Phase 2 of 3] Improving.
1550698909.235 * * * * [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)))))>
1550698909.235 * [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))))
1550698909.235 * * [misc]simplify:  iters left: 6 (14 enodes)
1550698909.239 * * [misc]simplify:  iters left: 5 (29 enodes)
1550698909.243 * * [misc]simplify:  iters left: 4 (49 enodes)
1550698909.253 * * [misc]simplify:  iters left: 3 (120 enodes)
1550698909.328 * * [misc]simplify:  iters left: 2 (464 enodes)
1550698909.834 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550698909.835 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550698909.835 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550698909.835 * * [misc]simplify:  Extracting #3: cost 80 inf + 1
1550698909.836 * * [misc]simplify:  Extracting #4: cost 345 inf + 2
1550698909.840 * * [misc]simplify:  Extracting #5: cost 580 inf + 7991
1550698909.857 * * [misc]simplify:  Extracting #6: cost 562 inf + 201841
1550698909.929 * * [misc]simplify:  Extracting #7: cost 164 inf + 841241
1550698910.029 * * [misc]simplify:  Extracting #8: cost 7 inf + 1102755
1550698910.134 * * [misc]simplify:  Extracting #9: cost 0 inf + 1117051
1550698910.241 * [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))
1550698910.241 * [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)))
1550698910.284 * * [misc]progress:  iteration 1 / 4
1550698910.284 * * * [misc]progress:  picking best candidate
1550698910.326 * * * * [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)))))>
1550698910.326 * * * [misc]progress:  localizing error
1550698910.824 * * * [misc]progress:  generating rewritten candidates
1550698910.824 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 2 1 2)
1550698910.826 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 2 1 2 1)
1550698910.827 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 2)
1550698910.827 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 2 1 2 1 1)
1550698910.831 * * * [misc]progress:  generating series expansions
1550698910.831 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 2 1 2)
1550698910.831 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 2 1 2 1)
1550698910.831 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 2)
1550698910.831 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 2 1 2 1 1)
1550698910.831 * * * [misc]progress:  simplifying candidates
1550698910.831 * * * * [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))))))>
1550698910.831 * * * * [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))))))>
1550698910.831 * * * * [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)))))>
1550698910.831 * * * * [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)))))>
1550698910.832 * [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))))
1550698910.832 * * [misc]simplify:  iters left: 6 (14 enodes)
1550698910.838 * * [misc]simplify:  iters left: 5 (29 enodes)
1550698910.848 * * [misc]simplify:  iters left: 4 (49 enodes)
1550698910.866 * * [misc]simplify:  iters left: 3 (120 enodes)
1550698911.320 * * [misc]simplify:  iters left: 2 (464 enodes)
1550698911.833 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550698911.833 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550698911.833 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550698911.834 * * [misc]simplify:  Extracting #3: cost 80 inf + 1
1550698911.835 * * [misc]simplify:  Extracting #4: cost 345 inf + 2
1550698911.839 * * [misc]simplify:  Extracting #5: cost 580 inf + 7991
1550698911.856 * * [misc]simplify:  Extracting #6: cost 562 inf + 201841
1550698911.929 * * [misc]simplify:  Extracting #7: cost 164 inf + 841241
1550698912.027 * * [misc]simplify:  Extracting #8: cost 7 inf + 1102755
1550698912.133 * * [misc]simplify:  Extracting #9: cost 0 inf + 1117051
1550698912.237 * [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))
1550698912.237 * [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)))
1550698912.237 * * * * [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)))))>
1550698912.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))))
1550698912.238 * * [misc]simplify:  iters left: 6 (14 enodes)
1550698912.244 * * [misc]simplify:  iters left: 5 (29 enodes)
1550698912.254 * * [misc]simplify:  iters left: 4 (49 enodes)
1550698912.272 * * [misc]simplify:  iters left: 3 (120 enodes)
1550698912.336 * * [misc]simplify:  iters left: 2 (464 enodes)
1550698912.836 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550698912.836 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550698912.836 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550698912.836 * * [misc]simplify:  Extracting #3: cost 80 inf + 1
1550698912.837 * * [misc]simplify:  Extracting #4: cost 345 inf + 2
1550698912.841 * * [misc]simplify:  Extracting #5: cost 580 inf + 7991
1550698912.856 * * [misc]simplify:  Extracting #6: cost 562 inf + 201841
1550698912.915 * * [misc]simplify:  Extracting #7: cost 164 inf + 841241
1550698913.006 * * [misc]simplify:  Extracting #8: cost 7 inf + 1102755
1550698913.099 * * [misc]simplify:  Extracting #9: cost 0 inf + 1117051
1550698913.203 * [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))
1550698913.203 * [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)))
1550698913.203 * * * * [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)))))>
1550698913.204 * [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))))
1550698913.204 * * [misc]simplify:  iters left: 6 (14 enodes)
1550698913.210 * * [misc]simplify:  iters left: 5 (29 enodes)
1550698913.220 * * [misc]simplify:  iters left: 4 (49 enodes)
1550698913.239 * * [misc]simplify:  iters left: 3 (120 enodes)
1550698913.305 * * [misc]simplify:  iters left: 2 (464 enodes)
1550698913.824 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550698913.824 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550698913.824 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550698913.824 * * [misc]simplify:  Extracting #3: cost 80 inf + 1
1550698913.826 * * [misc]simplify:  Extracting #4: cost 345 inf + 2
1550698913.830 * * [misc]simplify:  Extracting #5: cost 580 inf + 7991
1550698913.853 * * [misc]simplify:  Extracting #6: cost 562 inf + 201841
1550698913.917 * * [misc]simplify:  Extracting #7: cost 164 inf + 841241
1550698914.014 * * [misc]simplify:  Extracting #8: cost 7 inf + 1102755
1550698914.114 * * [misc]simplify:  Extracting #9: cost 0 inf + 1117051
1550698914.217 * [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))
1550698914.217 * [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)))
1550698914.217 * * * * [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)))))>
1550698914.217 * [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))))
1550698914.217 * * [misc]simplify:  iters left: 6 (14 enodes)
1550698914.224 * * [misc]simplify:  iters left: 5 (29 enodes)
1550698914.235 * * [misc]simplify:  iters left: 4 (49 enodes)
1550698914.253 * * [misc]simplify:  iters left: 3 (120 enodes)
1550698914.317 * * [misc]simplify:  iters left: 2 (464 enodes)
1550698914.836 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550698914.836 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550698914.836 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550698914.836 * * [misc]simplify:  Extracting #3: cost 80 inf + 1
1550698914.838 * * [misc]simplify:  Extracting #4: cost 345 inf + 2
1550698914.842 * * [misc]simplify:  Extracting #5: cost 580 inf + 7991
1550698914.859 * * [misc]simplify:  Extracting #6: cost 562 inf + 201841
1550698914.932 * * [misc]simplify:  Extracting #7: cost 164 inf + 841241
1550698915.026 * * [misc]simplify:  Extracting #8: cost 7 inf + 1102755
1550698915.080 * * [misc]simplify:  Extracting #9: cost 0 inf + 1117051
1550698915.174 * [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))
1550698915.174 * [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)))
1550698915.174 * * * [misc]progress:  adding candidates to table
1550698915.661 * * [misc]progress:  iteration 2 / 4
1550698915.662 * * * [misc]progress:  picking best candidate
1550698915.708 * * * * [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))))))>
1550698915.708 * * * [misc]progress:  localizing error
1550698916.122 * * * [misc]progress:  generating rewritten candidates
1550698916.122 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 2 1 2 1)
1550698916.125 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 2 1 2 2)
1550698916.128 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 2 1 2)
1550698916.135 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 2 1 2 2 1)
1550698916.135 * * * [misc]progress:  generating series expansions
1550698916.135 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 2 1 2 1)
1550698916.135 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 2 1 2 2)
1550698916.135 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 2 1 2)
1550698916.135 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 2 1 2 2 1)
1550698916.135 * * * [misc]progress:  simplifying candidates
1550698916.135 * * * * [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))))))>
1550698916.136 * [enter]simplify:  Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1550698916.136 * * [misc]simplify:  iters left: 4 (7 enodes)
1550698916.139 * * [misc]simplify:  iters left: 3 (13 enodes)
1550698916.142 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550698916.142 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550698916.142 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550698916.142 * * [misc]simplify:  Extracting #3: cost 5 inf + 1
1550698916.143 * * [misc]simplify:  Extracting #4: cost 5 inf + 322
1550698916.143 * * [misc]simplify:  Extracting #5: cost 0 inf + 2810
1550698916.143 * [exit]simplify:  Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1550698916.143 * [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))))))
1550698916.143 * [enter]simplify:  Simplifying (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1550698916.144 * * [misc]simplify:  iters left: 4 (7 enodes)
1550698916.146 * * [misc]simplify:  iters left: 3 (18 enodes)
1550698916.152 * * [misc]simplify:  iters left: 2 (28 enodes)
1550698916.163 * * [misc]simplify:  iters left: 1 (86 enodes)
1550698916.215 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550698916.215 * * [misc]simplify:  Extracting #1: cost 12 inf + 0
1550698916.215 * * [misc]simplify:  Extracting #2: cost 53 inf + 1
1550698916.215 * * [misc]simplify:  Extracting #3: cost 103 inf + 804
1550698916.217 * * [misc]simplify:  Extracting #4: cost 94 inf + 17486
1550698916.223 * * [misc]simplify:  Extracting #5: cost 15 inf + 109680
1550698916.234 * * [misc]simplify:  Extracting #6: cost 0 inf + 133154
1550698916.245 * [exit]simplify:  Simplified to (-.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re)
1550698916.245 * [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))))))
1550698916.245 * * * * [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))))))>
1550698916.245 * * * * [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))))))>
1550698916.246 * * * * [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)))))))))>
1550698916.246 * * * * [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)))))))>
1550698916.246 * [enter]simplify:  Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1550698916.246 * * [misc]simplify:  iters left: 4 (7 enodes)
1550698916.249 * * [misc]simplify:  iters left: 3 (13 enodes)
1550698916.252 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550698916.253 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550698916.253 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550698916.253 * * [misc]simplify:  Extracting #3: cost 5 inf + 1
1550698916.253 * * [misc]simplify:  Extracting #4: cost 5 inf + 322
1550698916.253 * * [misc]simplify:  Extracting #5: cost 0 inf + 2810
1550698916.253 * [exit]simplify:  Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1550698916.253 * [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)))))))
1550698916.253 * * * * [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))))))))>
1550698916.254 * [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)))
1550698916.254 * * [misc]simplify:  iters left: 6 (10 enodes)
1550698916.258 * * [misc]simplify:  iters left: 5 (33 enodes)
1550698916.271 * * [misc]simplify:  iters left: 4 (93 enodes)
1550698916.331 * * [misc]simplify:  iters left: 3 (450 enodes)
1550698917.098 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550698917.098 * * [misc]simplify:  Extracting #1: cost 60 inf + 0
1550698917.107 * * [misc]simplify:  Extracting #2: cost 374 inf + 963
1550698917.117 * * [misc]simplify:  Extracting #3: cost 459 inf + 130109
1550698917.172 * * [misc]simplify:  Extracting #4: cost 338 inf + 699471
1550698917.273 * * [misc]simplify:  Extracting #5: cost 9 inf + 1277945
1550698917.388 * * [misc]simplify:  Extracting #6: cost 0 inf + 1301041
1550698917.502 * [exit]simplify:  Simplified to (*.p16 (+.p16 (*.p16 re re) (+.p16 (*.p16 im im) (*.p16 re re))) (*.p16 im im))
1550698917.502 * [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))))))))
1550698917.502 * * * * [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))))))>
1550698917.502 * * * * [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))))))>
1550698917.502 * * * * [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))))))>
1550698917.503 * * * * [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))))))>
1550698917.503 * * * [misc]progress:  adding candidates to table
1550698918.084 * * [misc]progress:  iteration 3 / 4
1550698918.084 * * * [misc]progress:  picking best candidate
1550698918.194 * * * * [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))))))>
1550698918.195 * * * [misc]progress:  localizing error
1550698918.360 * * * [misc]progress:  generating rewritten candidates
1550698918.360 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 2 1 2 2)
1550698918.362 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 2 1 2 1 1)
1550698918.364 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 2 1 2 1 2)
1550698918.365 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 2 1 2)
1550698918.369 * * * [misc]progress:  generating series expansions
1550698918.369 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 2 1 2 2)
1550698918.369 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 2 1 2 1 1)
1550698918.369 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 2 1 2 1 2)
1550698918.369 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 2 1 2)
1550698918.369 * * * [misc]progress:  simplifying candidates
1550698918.369 * * * * [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)))))))))>
1550698918.369 * * * * [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))))))>
1550698918.369 * * * * [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))))))>
1550698918.369 * * * * [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))))))>
1550698918.369 * * * * [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)))))))>
1550698918.370 * [enter]simplify:  Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1550698918.370 * * [misc]simplify:  iters left: 4 (7 enodes)
1550698918.371 * * [misc]simplify:  iters left: 3 (13 enodes)
1550698918.373 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550698918.373 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550698918.373 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550698918.373 * * [misc]simplify:  Extracting #3: cost 5 inf + 1
1550698918.373 * * [misc]simplify:  Extracting #4: cost 5 inf + 322
1550698918.373 * * [misc]simplify:  Extracting #5: cost 0 inf + 2810
1550698918.373 * [exit]simplify:  Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1550698918.373 * [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)))))))
1550698918.373 * * * * [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)))))))>
1550698918.373 * [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)))
1550698918.373 * * [misc]simplify:  iters left: 6 (10 enodes)
1550698918.375 * * [misc]simplify:  iters left: 5 (26 enodes)
1550698918.380 * * [misc]simplify:  iters left: 4 (87 enodes)
1550698918.405 * * [misc]simplify:  iters left: 3 (403 enodes)
1550698918.662 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550698918.662 * * [misc]simplify:  Extracting #1: cost 69 inf + 0
1550698918.663 * * [misc]simplify:  Extracting #2: cost 394 inf + 322
1550698918.666 * * [misc]simplify:  Extracting #3: cost 516 inf + 48772
1550698918.687 * * [misc]simplify:  Extracting #4: cost 194 inf + 561674
1550698918.733 * * [misc]simplify:  Extracting #5: cost 7 inf + 868789
1550698918.778 * * [misc]simplify:  Extracting #6: cost 0 inf + 881522
1550698918.824 * [exit]simplify:  Simplified to (*.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) (*.p16 im im))
1550698918.824 * [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)))))))
1550698918.824 * * * * [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))))))>
1550698918.825 * [enter]simplify:  Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1550698918.825 * * [misc]simplify:  iters left: 4 (7 enodes)
1550698918.828 * * [misc]simplify:  iters left: 3 (13 enodes)
1550698918.831 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550698918.831 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550698918.831 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550698918.831 * * [misc]simplify:  Extracting #3: cost 5 inf + 1
1550698918.832 * * [misc]simplify:  Extracting #4: cost 5 inf + 322
1550698918.832 * * [misc]simplify:  Extracting #5: cost 0 inf + 2810
1550698918.832 * [exit]simplify:  Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1550698918.832 * [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))))))
1550698918.832 * [enter]simplify:  Simplifying (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1550698918.833 * * [misc]simplify:  iters left: 4 (7 enodes)
1550698918.835 * * [misc]simplify:  iters left: 3 (18 enodes)
1550698918.841 * * [misc]simplify:  iters left: 2 (28 enodes)
1550698918.851 * * [misc]simplify:  iters left: 1 (86 enodes)
1550698918.890 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550698918.891 * * [misc]simplify:  Extracting #1: cost 12 inf + 0
1550698918.891 * * [misc]simplify:  Extracting #2: cost 53 inf + 1
1550698918.891 * * [misc]simplify:  Extracting #3: cost 103 inf + 804
1550698918.892 * * [misc]simplify:  Extracting #4: cost 94 inf + 17486
1550698918.899 * * [misc]simplify:  Extracting #5: cost 15 inf + 109680
1550698918.909 * * [misc]simplify:  Extracting #6: cost 0 inf + 133154
1550698918.920 * [exit]simplify:  Simplified to (-.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re)
1550698918.920 * [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))))))
1550698918.920 * * * * [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))))))>
1550698918.921 * [enter]simplify:  Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1550698918.921 * * [misc]simplify:  iters left: 4 (7 enodes)
1550698918.923 * * [misc]simplify:  iters left: 3 (13 enodes)
1550698918.927 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550698918.927 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550698918.927 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550698918.927 * * [misc]simplify:  Extracting #3: cost 5 inf + 1
1550698918.927 * * [misc]simplify:  Extracting #4: cost 5 inf + 322
1550698918.927 * * [misc]simplify:  Extracting #5: cost 0 inf + 2810
1550698918.928 * [exit]simplify:  Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1550698918.928 * [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))))))
1550698918.928 * [enter]simplify:  Simplifying (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1550698918.928 * * [misc]simplify:  iters left: 4 (7 enodes)
1550698918.931 * * [misc]simplify:  iters left: 3 (18 enodes)
1550698918.937 * * [misc]simplify:  iters left: 2 (28 enodes)
1550698918.948 * * [misc]simplify:  iters left: 1 (86 enodes)
1550698918.989 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550698918.989 * * [misc]simplify:  Extracting #1: cost 12 inf + 0
1550698918.989 * * [misc]simplify:  Extracting #2: cost 53 inf + 1
1550698918.990 * * [misc]simplify:  Extracting #3: cost 103 inf + 804
1550698918.991 * * [misc]simplify:  Extracting #4: cost 94 inf + 17486
1550698918.998 * * [misc]simplify:  Extracting #5: cost 15 inf + 109680
1550698919.008 * * [misc]simplify:  Extracting #6: cost 0 inf + 133154
1550698919.018 * [exit]simplify:  Simplified to (-.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re)
1550698919.019 * [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))))))
1550698919.019 * * * * [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))))))>
1550698919.019 * [enter]simplify:  Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1550698919.019 * * [misc]simplify:  iters left: 4 (7 enodes)
1550698919.022 * * [misc]simplify:  iters left: 3 (13 enodes)
1550698919.025 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550698919.025 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550698919.026 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550698919.026 * * [misc]simplify:  Extracting #3: cost 5 inf + 1
1550698919.026 * * [misc]simplify:  Extracting #4: cost 5 inf + 322
1550698919.026 * * [misc]simplify:  Extracting #5: cost 0 inf + 2810
1550698919.026 * [exit]simplify:  Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1550698919.026 * [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))))))
1550698919.026 * [enter]simplify:  Simplifying (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1550698919.027 * * [misc]simplify:  iters left: 4 (7 enodes)
1550698919.029 * * [misc]simplify:  iters left: 3 (18 enodes)
1550698919.035 * * [misc]simplify:  iters left: 2 (28 enodes)
1550698919.045 * * [misc]simplify:  iters left: 1 (86 enodes)
1550698919.087 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550698919.087 * * [misc]simplify:  Extracting #1: cost 12 inf + 0
1550698919.087 * * [misc]simplify:  Extracting #2: cost 53 inf + 1
1550698919.088 * * [misc]simplify:  Extracting #3: cost 103 inf + 804
1550698919.089 * * [misc]simplify:  Extracting #4: cost 94 inf + 17486
1550698919.095 * * [misc]simplify:  Extracting #5: cost 15 inf + 109680
1550698919.105 * * [misc]simplify:  Extracting #6: cost 0 inf + 133154
1550698919.115 * [exit]simplify:  Simplified to (-.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re)
1550698919.115 * [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))))))
1550698919.116 * * * * [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))))))>
1550698919.116 * [enter]simplify:  Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1550698919.116 * * [misc]simplify:  iters left: 4 (7 enodes)
1550698919.119 * * [misc]simplify:  iters left: 3 (13 enodes)
1550698919.123 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550698919.123 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550698919.123 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550698919.123 * * [misc]simplify:  Extracting #3: cost 5 inf + 1
1550698919.123 * * [misc]simplify:  Extracting #4: cost 5 inf + 322
1550698919.123 * * [misc]simplify:  Extracting #5: cost 0 inf + 2810
1550698919.123 * [exit]simplify:  Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1550698919.123 * [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))))))
1550698919.124 * [enter]simplify:  Simplifying (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1550698919.124 * * [misc]simplify:  iters left: 4 (7 enodes)
1550698919.126 * * [misc]simplify:  iters left: 3 (18 enodes)
1550698919.132 * * [misc]simplify:  iters left: 2 (28 enodes)
1550698919.142 * * [misc]simplify:  iters left: 1 (86 enodes)
1550698919.185 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550698919.185 * * [misc]simplify:  Extracting #1: cost 12 inf + 0
1550698919.185 * * [misc]simplify:  Extracting #2: cost 53 inf + 1
1550698919.186 * * [misc]simplify:  Extracting #3: cost 103 inf + 804
1550698919.187 * * [misc]simplify:  Extracting #4: cost 94 inf + 17486
1550698919.194 * * [misc]simplify:  Extracting #5: cost 15 inf + 109680
1550698919.204 * * [misc]simplify:  Extracting #6: cost 0 inf + 133154
1550698919.218 * [exit]simplify:  Simplified to (-.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re)
1550698919.218 * [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))))))
1550698919.219 * * * [misc]progress:  adding candidates to table
1550698919.928 * * [misc]progress:  iteration 4 / 4
1550698919.928 * * * [misc]progress:  picking best candidate
1550698920.105 * * * * [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)))))))>
1550698920.105 * * * [misc]progress:  localizing error
1550698920.297 * * * [misc]progress:  generating rewritten candidates
1550698920.297 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 2 1 2 2 1)
1550698920.299 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 2 1 2 1)
1550698920.301 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 2 1 2 2 2)
1550698920.302 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 2 1 2)
1550698920.306 * * * [misc]progress:  generating series expansions
1550698920.306 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 2 1 2 2 1)
1550698920.306 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 2 1 2 1)
1550698920.306 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 2 1 2 2 2)
1550698920.306 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 2 1 2)
1550698920.306 * * * [misc]progress:  simplifying candidates
1550698920.306 * * * * [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)))))))>
1550698920.306 * * * * [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)))))))>
1550698920.306 * * * * [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))))))))>
1550698920.306 * * * * [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))))))))>
1550698920.306 * * * * [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))))))>
1550698920.306 * [enter]simplify:  Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1550698920.306 * * [misc]simplify:  iters left: 4 (7 enodes)
1550698920.307 * * [misc]simplify:  iters left: 3 (13 enodes)
1550698920.309 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550698920.309 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550698920.309 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550698920.309 * * [misc]simplify:  Extracting #3: cost 5 inf + 1
1550698920.309 * * [misc]simplify:  Extracting #4: cost 5 inf + 322
1550698920.309 * * [misc]simplify:  Extracting #5: cost 0 inf + 2810
1550698920.310 * [exit]simplify:  Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1550698920.310 * [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)))))))))
1550698920.310 * * * * [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))))))>
1550698920.310 * [enter]simplify:  Simplifying (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1550698920.310 * * [misc]simplify:  iters left: 4 (7 enodes)
1550698920.311 * * [misc]simplify:  iters left: 3 (18 enodes)
1550698920.314 * * [misc]simplify:  iters left: 2 (28 enodes)
1550698920.319 * * [misc]simplify:  iters left: 1 (86 enodes)
1550698920.357 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550698920.357 * * [misc]simplify:  Extracting #1: cost 12 inf + 0
1550698920.357 * * [misc]simplify:  Extracting #2: cost 53 inf + 1
1550698920.358 * * [misc]simplify:  Extracting #3: cost 103 inf + 804
1550698920.359 * * [misc]simplify:  Extracting #4: cost 94 inf + 17486
1550698920.366 * * [misc]simplify:  Extracting #5: cost 15 inf + 109680
1550698920.377 * * [misc]simplify:  Extracting #6: cost 0 inf + 133154
1550698920.391 * [exit]simplify:  Simplified to (-.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re)
1550698920.391 * [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))))))
1550698920.392 * * * * [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)))))))>
1550698920.392 * [enter]simplify:  Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1550698920.392 * * [misc]simplify:  iters left: 4 (7 enodes)
1550698920.395 * * [misc]simplify:  iters left: 3 (13 enodes)
1550698920.398 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550698920.398 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550698920.398 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550698920.398 * * [misc]simplify:  Extracting #3: cost 5 inf + 1
1550698920.399 * * [misc]simplify:  Extracting #4: cost 5 inf + 322
1550698920.399 * * [misc]simplify:  Extracting #5: cost 0 inf + 2810
1550698920.399 * [exit]simplify:  Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1550698920.399 * [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)))))))
1550698920.399 * * * * [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)))))))>
1550698920.400 * [enter]simplify:  Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1550698920.400 * * [misc]simplify:  iters left: 4 (7 enodes)
1550698920.402 * * [misc]simplify:  iters left: 3 (13 enodes)
1550698920.406 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550698920.406 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550698920.406 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550698920.406 * * [misc]simplify:  Extracting #3: cost 5 inf + 1
1550698920.406 * * [misc]simplify:  Extracting #4: cost 5 inf + 322
1550698920.406 * * [misc]simplify:  Extracting #5: cost 0 inf + 2810
1550698920.407 * [exit]simplify:  Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1550698920.407 * [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)))))))
1550698920.407 * * * * [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)))))))>
1550698920.407 * [enter]simplify:  Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1550698920.407 * * [misc]simplify:  iters left: 4 (7 enodes)
1550698920.410 * * [misc]simplify:  iters left: 3 (13 enodes)
1550698920.414 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550698920.414 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550698920.414 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550698920.414 * * [misc]simplify:  Extracting #3: cost 5 inf + 1
1550698920.414 * * [misc]simplify:  Extracting #4: cost 5 inf + 322
1550698920.415 * * [misc]simplify:  Extracting #5: cost 0 inf + 2810
1550698920.415 * [exit]simplify:  Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1550698920.415 * [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)))))))
1550698920.415 * * * * [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)))))))>
1550698920.415 * [enter]simplify:  Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1550698920.415 * * [misc]simplify:  iters left: 4 (7 enodes)
1550698920.418 * * [misc]simplify:  iters left: 3 (13 enodes)
1550698920.422 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550698920.422 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550698920.422 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550698920.422 * * [misc]simplify:  Extracting #3: cost 5 inf + 1
1550698920.422 * * [misc]simplify:  Extracting #4: cost 5 inf + 322
1550698920.422 * * [misc]simplify:  Extracting #5: cost 0 inf + 2810
1550698920.422 * [exit]simplify:  Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1550698920.423 * [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)))))))
1550698920.423 * * * [misc]progress:  adding candidates to table
1550698921.157 * [misc]progress:  [Phase 3 of 3] Extracting.
1550698921.158 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))> #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) (*.p16 im im)) (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))))> #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))))> #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (-.p16 (*.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (*.p16 re re)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))> #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (/.p16 (-.p16 (*.p16 (*.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))))))))>)
1550698921.163 * * * [misc]regime-changes:  Trying 2 branch expressions: (im re)
1550698921.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 (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 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))))> #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (-.p16 (*.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (*.p16 re re)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))> #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (/.p16 (-.p16 (*.p16 (*.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))))))))>)
1550698921.731 * * * * [misc]regimes:  Trying to branch on re from (#<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))> #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) (*.p16 im im)) (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))))> #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))))> #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (-.p16 (*.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (*.p16 re re)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))> #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (/.p16 (-.p16 (*.p16 (*.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))))))))>)
1550698922.253 * * * [misc]regime:  Found split indices: #<option (#s(si 0 256))>
1550698922.253 * [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))))
1550698922.253 * * [misc]simplify:  iters left: 6 (14 enodes)
1550698922.256 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550698922.256 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550698922.256 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550698922.256 * * [misc]simplify:  Extracting #3: cost 6 inf + 1
1550698922.256 * * [misc]simplify:  Extracting #4: cost 8 inf + 2
1550698922.256 * * [misc]simplify:  Extracting #5: cost 6 inf + 5
1550698922.256 * * [misc]simplify:  Extracting #6: cost 8 inf + 5
1550698922.256 * * [misc]simplify:  Extracting #7: cost 8 inf + 326
1550698922.256 * * [misc]simplify:  Extracting #8: cost 6 inf + 648
1550698922.256 * * [misc]simplify:  Extracting #9: cost 4 inf + 2052
1550698922.256 * * [misc]simplify:  Extracting #10: cost 2 inf + 3977
1550698922.256 * * [misc]simplify:  Extracting #11: cost 0 inf + 6624
1550698922.257 * [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))))
1550698922.257 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1550698922.281 * * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
1550698922.283 * * * * [misc]points:  Setting MPFR precision to 64
1550698922.284 * * * * [misc]points:  Setting MPFR precision to 320
1550698922.285 * * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
1550698922.287 * * * * [misc]points:  Setting MPFR precision to 64
1550698922.289 * * * * [misc]points:  Setting MPFR precision to 320
1550698922.292 * * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
1550698922.294 * * * * [misc]points:  Setting MPFR precision to 64
1550698922.298 * * * * [misc]points:  Setting MPFR precision to 320
1550698922.303 * * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
1550698922.305 * * * * [misc]points:  Setting MPFR precision to 64
1550698922.314 * * * * [misc]points:  Setting MPFR precision to 320
1550698922.324 * * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
1550698922.327 * * * * [misc]points:  Setting MPFR precision to 64
1550698922.342 * * * * [misc]points:  Setting MPFR precision to 320
1550698922.363 * * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
1550698922.365 * * * * [misc]points:  Setting MPFR precision to 64
1550698922.439 * * * * [misc]points:  Setting MPFR precision to 320
1550698922.512 * * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
1550698922.516 * * * * [misc]points:  Setting MPFR precision to 64
1550698922.628 * * * * [misc]points:  Setting MPFR precision to 320
1550698922.821 * * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
1550698922.825 * * * * [misc]points:  Setting MPFR precision to 64
1550698923.087 * * * * [misc]points:  Setting MPFR precision to 320
1550698923.412 * * * * [misc]points:  Computing exacts for 8000 points
1550698923.416 * * * * [misc]points:  Setting MPFR precision to 64
1550698924.464 * * * * [misc]points:  Setting MPFR precision to 320
1550698925.552 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550698926.236 * * * * [exit]points:  Sampled 8000 points with exact outputs
1550698933.629 * [misc]regime-testing:  Baseline error score: 64.0
1550698933.644 * [misc]regime-testing:  Oracle error score: 64.0
1550698933.651 * [misc]regime-testing:  End program error score: 2.074152658614694