1554300756.833 * [misc]progress:  [Phase 1 of 3] Setting up.
1554300756.833 * * * [misc]progress:  [1/2] Preparing points
1554300756.833 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1554300756.835 * * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
1554300756.839 * * * * [misc]points:  Setting MPFR precision to 64
1554300756.841 * * * * [misc]points:  Setting MPFR precision to 320
1554300756.842 * * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
1554300756.846 * * * * [misc]points:  Setting MPFR precision to 64
1554300756.849 * * * * [misc]points:  Setting MPFR precision to 320
1554300756.852 * * * * [misc]points:  Setting MPFR precision to 576
1554300756.855 * * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
1554300756.860 * * * * [misc]points:  Setting MPFR precision to 320
1554300756.865 * * * * [misc]points:  Setting MPFR precision to 576
1554300756.871 * * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
1554300756.876 * * * * [misc]points:  Setting MPFR precision to 320
1554300756.885 * * * * [misc]points:  Setting MPFR precision to 576
1554300756.895 * * * * [misc]points:  Computing exacts for 256 points
1554300756.900 * * * * [misc]points:  Setting MPFR precision to 320
1554300756.928 * * * * [misc]points:  Setting MPFR precision to 576
1554300756.974 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554300756.975 * * * * [exit]points:  Sampled 256 points with exact outputs
1554300756.975 * * * [misc]progress:  [2/2] Setting up program.
1554300757.001 * [misc]progress:  [Phase 2 of 3] Improving.
1554300757.001 * * * * [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)))))>
1554300757.001 * [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))))
1554300757.001 * * [misc]simplify:  iters left: 6 (14 enodes)
1554300757.008 * * [misc]simplify:  iters left: 5 (29 enodes)
1554300757.017 * * [misc]simplify:  iters left: 4 (49 enodes)
1554300757.033 * * [misc]simplify:  iters left: 3 (120 enodes)
1554300757.089 * * [misc]simplify:  iters left: 2 (464 enodes)
1554300757.532 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300757.532 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554300757.532 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1554300757.532 * * [misc]simplify:  Extracting #3: cost 80 inf + 1
1554300757.534 * * [misc]simplify:  Extracting #4: cost 345 inf + 2
1554300757.538 * * [misc]simplify:  Extracting #5: cost 580 inf + 7991
1554300757.555 * * [misc]simplify:  Extracting #6: cost 562 inf + 201841
1554300757.628 * * [misc]simplify:  Extracting #7: cost 164 inf + 841241
1554300757.729 * * [misc]simplify:  Extracting #8: cost 7 inf + 1102755
1554300757.837 * * [misc]simplify:  Extracting #9: cost 0 inf + 1117051
1554300757.943 * [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))
1554300757.943 * [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)))
1554300757.970 * * [misc]progress:  iteration 1 / 4
1554300757.971 * * * [misc]progress:  picking best candidate
1554300757.999 * * * * [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)))))>
1554300757.999 * * * [misc]progress:  localizing error
1554300758.324 * * * [misc]progress:  generating rewritten candidates
1554300758.324 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 2 1 2)
1554300758.326 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 2 1 2 1)
1554300758.326 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 2)
1554300758.326 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 2 1 2 1 1)
1554300758.328 * * * [misc]progress:  generating series expansions
1554300758.328 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 2 1 2)
1554300758.328 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 2 1 2 1)
1554300758.328 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 2)
1554300758.328 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 2 1 2 1 1)
1554300758.328 * * * [misc]progress:  simplifying candidates
1554300758.328 * * * * [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))))))>
1554300758.328 * * * * [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))))))>
1554300758.328 * * * * [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)))))>
1554300758.328 * * * * [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)))))>
1554300758.328 * [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))))
1554300758.328 * * [misc]simplify:  iters left: 6 (14 enodes)
1554300758.332 * * [misc]simplify:  iters left: 5 (29 enodes)
1554300758.337 * * [misc]simplify:  iters left: 4 (49 enodes)
1554300758.346 * * [misc]simplify:  iters left: 3 (120 enodes)
1554300758.384 * * [misc]simplify:  iters left: 2 (464 enodes)
1554300758.811 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300758.811 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554300758.811 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1554300758.811 * * [misc]simplify:  Extracting #3: cost 80 inf + 1
1554300758.813 * * [misc]simplify:  Extracting #4: cost 345 inf + 2
1554300758.817 * * [misc]simplify:  Extracting #5: cost 580 inf + 7991
1554300758.834 * * [misc]simplify:  Extracting #6: cost 562 inf + 201841
1554300758.911 * * [misc]simplify:  Extracting #7: cost 164 inf + 841241
1554300759.011 * * [misc]simplify:  Extracting #8: cost 7 inf + 1102755
1554300759.120 * * [misc]simplify:  Extracting #9: cost 0 inf + 1117051
1554300759.224 * [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))
1554300759.224 * [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)))
1554300759.224 * * * * [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)))))>
1554300759.224 * [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))))
1554300759.225 * * [misc]simplify:  iters left: 6 (14 enodes)
1554300759.232 * * [misc]simplify:  iters left: 5 (29 enodes)
1554300759.242 * * [misc]simplify:  iters left: 4 (49 enodes)
1554300759.260 * * [misc]simplify:  iters left: 3 (120 enodes)
1554300759.324 * * [misc]simplify:  iters left: 2 (464 enodes)
1554300759.855 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300759.855 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554300759.856 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1554300759.856 * * [misc]simplify:  Extracting #3: cost 80 inf + 1
1554300759.857 * * [misc]simplify:  Extracting #4: cost 345 inf + 2
1554300759.861 * * [misc]simplify:  Extracting #5: cost 580 inf + 7991
1554300759.879 * * [misc]simplify:  Extracting #6: cost 562 inf + 201841
1554300759.945 * * [misc]simplify:  Extracting #7: cost 164 inf + 841241
1554300760.051 * * [misc]simplify:  Extracting #8: cost 7 inf + 1102755
1554300760.154 * * [misc]simplify:  Extracting #9: cost 0 inf + 1117051
1554300760.260 * [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))
1554300760.260 * [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)))
1554300760.260 * * * * [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)))))>
1554300760.260 * [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))))
1554300760.261 * * [misc]simplify:  iters left: 6 (14 enodes)
1554300760.267 * * [misc]simplify:  iters left: 5 (29 enodes)
1554300760.277 * * [misc]simplify:  iters left: 4 (49 enodes)
1554300760.295 * * [misc]simplify:  iters left: 3 (120 enodes)
1554300760.361 * * [misc]simplify:  iters left: 2 (464 enodes)
1554300760.838 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300760.838 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554300760.838 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1554300760.838 * * [misc]simplify:  Extracting #3: cost 80 inf + 1
1554300760.839 * * [misc]simplify:  Extracting #4: cost 345 inf + 2
1554300760.843 * * [misc]simplify:  Extracting #5: cost 580 inf + 7991
1554300760.864 * * [misc]simplify:  Extracting #6: cost 562 inf + 201841
1554300760.922 * * [misc]simplify:  Extracting #7: cost 164 inf + 841241
1554300761.017 * * [misc]simplify:  Extracting #8: cost 7 inf + 1102755
1554300761.121 * * [misc]simplify:  Extracting #9: cost 0 inf + 1117051
1554300761.225 * [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))
1554300761.225 * [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)))
1554300761.226 * * * * [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)))))>
1554300761.226 * [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))))
1554300761.226 * * [misc]simplify:  iters left: 6 (14 enodes)
1554300761.232 * * [misc]simplify:  iters left: 5 (29 enodes)
1554300761.241 * * [misc]simplify:  iters left: 4 (49 enodes)
1554300761.257 * * [misc]simplify:  iters left: 3 (120 enodes)
1554300761.316 * * [misc]simplify:  iters left: 2 (464 enodes)
1554300761.683 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300761.683 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554300761.683 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1554300761.683 * * [misc]simplify:  Extracting #3: cost 80 inf + 1
1554300761.684 * * [misc]simplify:  Extracting #4: cost 345 inf + 2
1554300761.686 * * [misc]simplify:  Extracting #5: cost 580 inf + 7991
1554300761.694 * * [misc]simplify:  Extracting #6: cost 562 inf + 201841
1554300761.745 * * [misc]simplify:  Extracting #7: cost 164 inf + 841241
1554300761.822 * * [misc]simplify:  Extracting #8: cost 7 inf + 1102755
1554300761.875 * * [misc]simplify:  Extracting #9: cost 0 inf + 1117051
1554300761.947 * [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))
1554300761.947 * [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)))
1554300761.947 * * * [misc]progress:  adding candidates to table
1554300762.113 * * [misc]progress:  iteration 2 / 4
1554300762.113 * * * [misc]progress:  picking best candidate
1554300762.143 * * * * [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))))))>
1554300762.143 * * * [misc]progress:  localizing error
1554300762.354 * * * [misc]progress:  generating rewritten candidates
1554300762.354 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 2 1 2 1)
1554300762.356 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 2 1 2 2)
1554300762.358 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 2 1 2)
1554300762.361 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 2 1 2 2 1)
1554300762.361 * * * [misc]progress:  generating series expansions
1554300762.361 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 2 1 2 1)
1554300762.361 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 2 1 2 2)
1554300762.361 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 2 1 2)
1554300762.362 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 2 1 2 2 1)
1554300762.362 * * * [misc]progress:  simplifying candidates
1554300762.362 * * * * [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))))))>
1554300762.362 * [enter]simplify:  Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1554300762.362 * * [misc]simplify:  iters left: 4 (7 enodes)
1554300762.363 * * [misc]simplify:  iters left: 3 (13 enodes)
1554300762.365 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300762.365 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554300762.365 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1554300762.365 * * [misc]simplify:  Extracting #3: cost 5 inf + 1
1554300762.365 * * [misc]simplify:  Extracting #4: cost 5 inf + 322
1554300762.365 * * [misc]simplify:  Extracting #5: cost 0 inf + 2810
1554300762.365 * [exit]simplify:  Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1554300762.365 * [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))))))
1554300762.365 * [enter]simplify:  Simplifying (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1554300762.365 * * [misc]simplify:  iters left: 4 (7 enodes)
1554300762.367 * * [misc]simplify:  iters left: 3 (18 enodes)
1554300762.369 * * [misc]simplify:  iters left: 2 (28 enodes)
1554300762.374 * * [misc]simplify:  iters left: 1 (86 enodes)
1554300762.396 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300762.396 * * [misc]simplify:  Extracting #1: cost 12 inf + 0
1554300762.396 * * [misc]simplify:  Extracting #2: cost 53 inf + 1
1554300762.397 * * [misc]simplify:  Extracting #3: cost 103 inf + 804
1554300762.397 * * [misc]simplify:  Extracting #4: cost 94 inf + 17486
1554300762.401 * * [misc]simplify:  Extracting #5: cost 15 inf + 109680
1554300762.406 * * [misc]simplify:  Extracting #6: cost 0 inf + 133154
1554300762.411 * [exit]simplify:  Simplified to (-.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re)
1554300762.411 * [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))))))
1554300762.411 * * * * [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))))))>
1554300762.411 * * * * [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))))))>
1554300762.411 * * * * [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)))))))))>
1554300762.411 * * * * [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)))))))>
1554300762.412 * [enter]simplify:  Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1554300762.412 * * [misc]simplify:  iters left: 4 (7 enodes)
1554300762.413 * * [misc]simplify:  iters left: 3 (13 enodes)
1554300762.417 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300762.417 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554300762.417 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1554300762.417 * * [misc]simplify:  Extracting #3: cost 5 inf + 1
1554300762.417 * * [misc]simplify:  Extracting #4: cost 5 inf + 322
1554300762.417 * * [misc]simplify:  Extracting #5: cost 0 inf + 2810
1554300762.417 * [exit]simplify:  Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1554300762.417 * [misc]simplify:  Simplified (2 2 1 2 1) to (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) (/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))))
1554300762.417 * * * * [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))))))))>
1554300762.417 * [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)))
1554300762.418 * * [misc]simplify:  iters left: 6 (10 enodes)
1554300762.420 * * [misc]simplify:  iters left: 5 (33 enodes)
1554300762.426 * * [misc]simplify:  iters left: 4 (93 enodes)
1554300762.467 * * [misc]simplify:  iters left: 3 (450 enodes)
1554300763.011 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300763.011 * * [misc]simplify:  Extracting #1: cost 60 inf + 0
1554300763.012 * * [misc]simplify:  Extracting #2: cost 374 inf + 963
1554300763.017 * * [misc]simplify:  Extracting #3: cost 459 inf + 130109
1554300763.051 * * [misc]simplify:  Extracting #4: cost 338 inf + 699471
1554300763.109 * * [misc]simplify:  Extracting #5: cost 9 inf + 1277945
1554300763.175 * * [misc]simplify:  Extracting #6: cost 0 inf + 1301041
1554300763.241 * [exit]simplify:  Simplified to (*.p16 (+.p16 (*.p16 re re) (+.p16 (*.p16 im im) (*.p16 re re))) (*.p16 im im))
1554300763.241 * [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))))))))
1554300763.241 * * * * [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))))))>
1554300763.241 * * * * [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))))))>
1554300763.242 * * * * [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))))))>
1554300763.242 * * * * [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))))))>
1554300763.242 * * * [misc]progress:  adding candidates to table
1554300763.496 * * [misc]progress:  iteration 3 / 4
1554300763.496 * * * [misc]progress:  picking best candidate
1554300763.538 * * * * [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))))))>
1554300763.538 * * * [misc]progress:  localizing error
1554300763.637 * * * [misc]progress:  generating rewritten candidates
1554300763.637 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 2 1 2 2)
1554300763.639 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 2 1 2 1 1)
1554300763.640 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 2 1 2 1 2)
1554300763.641 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 2 1 2)
1554300763.646 * * * [misc]progress:  generating series expansions
1554300763.646 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 2 1 2 2)
1554300763.646 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 2 1 2 1 1)
1554300763.646 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 2 1 2 1 2)
1554300763.646 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 2 1 2)
1554300763.646 * * * [misc]progress:  simplifying candidates
1554300763.646 * * * * [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)))))))))>
1554300763.646 * * * * [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))))))>
1554300763.646 * * * * [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))))))>
1554300763.646 * * * * [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))))))>
1554300763.646 * * * * [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)))))))>
1554300763.646 * [enter]simplify:  Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1554300763.646 * * [misc]simplify:  iters left: 4 (7 enodes)
1554300763.647 * * [misc]simplify:  iters left: 3 (13 enodes)
1554300763.649 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300763.649 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554300763.649 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1554300763.649 * * [misc]simplify:  Extracting #3: cost 5 inf + 1
1554300763.649 * * [misc]simplify:  Extracting #4: cost 5 inf + 322
1554300763.649 * * [misc]simplify:  Extracting #5: cost 0 inf + 2810
1554300763.649 * [exit]simplify:  Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1554300763.649 * [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)))))))
1554300763.650 * * * * [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)))))))>
1554300763.650 * [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)))
1554300763.650 * * [misc]simplify:  iters left: 6 (10 enodes)
1554300763.652 * * [misc]simplify:  iters left: 5 (26 enodes)
1554300763.656 * * [misc]simplify:  iters left: 4 (87 enodes)
1554300763.682 * * [misc]simplify:  iters left: 3 (403 enodes)
1554300763.937 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300763.938 * * [misc]simplify:  Extracting #1: cost 69 inf + 0
1554300763.939 * * [misc]simplify:  Extracting #2: cost 394 inf + 322
1554300763.946 * * [misc]simplify:  Extracting #3: cost 516 inf + 48772
1554300763.979 * * [misc]simplify:  Extracting #4: cost 194 inf + 561674
1554300764.057 * * [misc]simplify:  Extracting #5: cost 7 inf + 868789
1554300764.118 * * [misc]simplify:  Extracting #6: cost 0 inf + 881522
1554300764.162 * [exit]simplify:  Simplified to (*.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) (*.p16 im im))
1554300764.162 * [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)))))))
1554300764.162 * * * * [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))))))>
1554300764.162 * [enter]simplify:  Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1554300764.162 * * [misc]simplify:  iters left: 4 (7 enodes)
1554300764.164 * * [misc]simplify:  iters left: 3 (13 enodes)
1554300764.165 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300764.165 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554300764.165 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1554300764.165 * * [misc]simplify:  Extracting #3: cost 5 inf + 1
1554300764.166 * * [misc]simplify:  Extracting #4: cost 5 inf + 322
1554300764.166 * * [misc]simplify:  Extracting #5: cost 0 inf + 2810
1554300764.166 * [exit]simplify:  Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1554300764.166 * [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))))))
1554300764.166 * [enter]simplify:  Simplifying (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1554300764.166 * * [misc]simplify:  iters left: 4 (7 enodes)
1554300764.167 * * [misc]simplify:  iters left: 3 (18 enodes)
1554300764.170 * * [misc]simplify:  iters left: 2 (28 enodes)
1554300764.175 * * [misc]simplify:  iters left: 1 (86 enodes)
1554300764.206 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300764.206 * * [misc]simplify:  Extracting #1: cost 12 inf + 0
1554300764.207 * * [misc]simplify:  Extracting #2: cost 53 inf + 1
1554300764.207 * * [misc]simplify:  Extracting #3: cost 103 inf + 804
1554300764.208 * * [misc]simplify:  Extracting #4: cost 94 inf + 17486
1554300764.215 * * [misc]simplify:  Extracting #5: cost 15 inf + 109680
1554300764.224 * * [misc]simplify:  Extracting #6: cost 0 inf + 133154
1554300764.234 * [exit]simplify:  Simplified to (-.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re)
1554300764.234 * [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))))))
1554300764.235 * * * * [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))))))>
1554300764.235 * [enter]simplify:  Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1554300764.235 * * [misc]simplify:  iters left: 4 (7 enodes)
1554300764.238 * * [misc]simplify:  iters left: 3 (13 enodes)
1554300764.242 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300764.242 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554300764.242 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1554300764.242 * * [misc]simplify:  Extracting #3: cost 5 inf + 1
1554300764.242 * * [misc]simplify:  Extracting #4: cost 5 inf + 322
1554300764.242 * * [misc]simplify:  Extracting #5: cost 0 inf + 2810
1554300764.242 * [exit]simplify:  Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1554300764.242 * [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))))))
1554300764.243 * [enter]simplify:  Simplifying (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1554300764.243 * * [misc]simplify:  iters left: 4 (7 enodes)
1554300764.245 * * [misc]simplify:  iters left: 3 (18 enodes)
1554300764.251 * * [misc]simplify:  iters left: 2 (28 enodes)
1554300764.257 * * [misc]simplify:  iters left: 1 (86 enodes)
1554300764.280 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300764.280 * * [misc]simplify:  Extracting #1: cost 12 inf + 0
1554300764.281 * * [misc]simplify:  Extracting #2: cost 53 inf + 1
1554300764.281 * * [misc]simplify:  Extracting #3: cost 103 inf + 804
1554300764.282 * * [misc]simplify:  Extracting #4: cost 94 inf + 17486
1554300764.285 * * [misc]simplify:  Extracting #5: cost 15 inf + 109680
1554300764.290 * * [misc]simplify:  Extracting #6: cost 0 inf + 133154
1554300764.299 * [exit]simplify:  Simplified to (-.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re)
1554300764.299 * [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))))))
1554300764.299 * * * * [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))))))>
1554300764.299 * [enter]simplify:  Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1554300764.299 * * [misc]simplify:  iters left: 4 (7 enodes)
1554300764.302 * * [misc]simplify:  iters left: 3 (13 enodes)
1554300764.306 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300764.306 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554300764.306 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1554300764.306 * * [misc]simplify:  Extracting #3: cost 5 inf + 1
1554300764.306 * * [misc]simplify:  Extracting #4: cost 5 inf + 322
1554300764.307 * * [misc]simplify:  Extracting #5: cost 0 inf + 2810
1554300764.307 * [exit]simplify:  Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1554300764.307 * [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))))))
1554300764.307 * [enter]simplify:  Simplifying (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1554300764.307 * * [misc]simplify:  iters left: 4 (7 enodes)
1554300764.310 * * [misc]simplify:  iters left: 3 (18 enodes)
1554300764.316 * * [misc]simplify:  iters left: 2 (28 enodes)
1554300764.326 * * [misc]simplify:  iters left: 1 (86 enodes)
1554300764.368 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300764.368 * * [misc]simplify:  Extracting #1: cost 12 inf + 0
1554300764.368 * * [misc]simplify:  Extracting #2: cost 53 inf + 1
1554300764.369 * * [misc]simplify:  Extracting #3: cost 103 inf + 804
1554300764.369 * * [misc]simplify:  Extracting #4: cost 94 inf + 17486
1554300764.372 * * [misc]simplify:  Extracting #5: cost 15 inf + 109680
1554300764.381 * * [misc]simplify:  Extracting #6: cost 0 inf + 133154
1554300764.390 * [exit]simplify:  Simplified to (-.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re)
1554300764.390 * [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))))))
1554300764.390 * * * * [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))))))>
1554300764.391 * [enter]simplify:  Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1554300764.391 * * [misc]simplify:  iters left: 4 (7 enodes)
1554300764.393 * * [misc]simplify:  iters left: 3 (13 enodes)
1554300764.396 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300764.396 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554300764.396 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1554300764.396 * * [misc]simplify:  Extracting #3: cost 5 inf + 1
1554300764.396 * * [misc]simplify:  Extracting #4: cost 5 inf + 322
1554300764.397 * * [misc]simplify:  Extracting #5: cost 0 inf + 2810
1554300764.397 * [exit]simplify:  Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1554300764.397 * [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))))))
1554300764.397 * [enter]simplify:  Simplifying (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1554300764.397 * * [misc]simplify:  iters left: 4 (7 enodes)
1554300764.400 * * [misc]simplify:  iters left: 3 (18 enodes)
1554300764.405 * * [misc]simplify:  iters left: 2 (28 enodes)
1554300764.413 * * [misc]simplify:  iters left: 1 (86 enodes)
1554300764.453 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300764.453 * * [misc]simplify:  Extracting #1: cost 12 inf + 0
1554300764.453 * * [misc]simplify:  Extracting #2: cost 53 inf + 1
1554300764.454 * * [misc]simplify:  Extracting #3: cost 103 inf + 804
1554300764.455 * * [misc]simplify:  Extracting #4: cost 94 inf + 17486
1554300764.461 * * [misc]simplify:  Extracting #5: cost 15 inf + 109680
1554300764.470 * * [misc]simplify:  Extracting #6: cost 0 inf + 133154
1554300764.478 * [exit]simplify:  Simplified to (-.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re)
1554300764.478 * [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))))))
1554300764.478 * * * [misc]progress:  adding candidates to table
1554300764.723 * * [misc]progress:  iteration 4 / 4
1554300764.723 * * * [misc]progress:  picking best candidate
1554300764.765 * * * * [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)))))))>
1554300764.765 * * * [misc]progress:  localizing error
1554300764.881 * * * [misc]progress:  generating rewritten candidates
1554300764.881 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 2 1 2)
1554300764.887 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 2 1 2 2 1)
1554300764.889 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 2 1 2 1)
1554300764.892 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 2 1 2 2 2)
1554300764.894 * * * [misc]progress:  generating series expansions
1554300764.894 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 2 1 2)
1554300764.894 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 2 1 2 2 1)
1554300764.894 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 2 1 2 1)
1554300764.894 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 2 1 2 2 2)
1554300764.894 * * * [misc]progress:  simplifying candidates
1554300764.894 * * * * [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))))))>
1554300764.895 * [enter]simplify:  Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1554300764.895 * * [misc]simplify:  iters left: 4 (7 enodes)
1554300764.897 * * [misc]simplify:  iters left: 3 (13 enodes)
1554300764.900 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300764.900 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554300764.901 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1554300764.901 * * [misc]simplify:  Extracting #3: cost 5 inf + 1
1554300764.901 * * [misc]simplify:  Extracting #4: cost 5 inf + 322
1554300764.901 * * [misc]simplify:  Extracting #5: cost 0 inf + 2810
1554300764.901 * [exit]simplify:  Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1554300764.901 * [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)))))))))
1554300764.901 * * * * [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))))))>
1554300764.902 * [enter]simplify:  Simplifying (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1554300764.902 * * [misc]simplify:  iters left: 4 (7 enodes)
1554300764.904 * * [misc]simplify:  iters left: 3 (18 enodes)
1554300764.908 * * [misc]simplify:  iters left: 2 (28 enodes)
1554300764.917 * * [misc]simplify:  iters left: 1 (86 enodes)
1554300764.958 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300764.958 * * [misc]simplify:  Extracting #1: cost 12 inf + 0
1554300764.958 * * [misc]simplify:  Extracting #2: cost 53 inf + 1
1554300764.959 * * [misc]simplify:  Extracting #3: cost 103 inf + 804
1554300764.960 * * [misc]simplify:  Extracting #4: cost 94 inf + 17486
1554300764.965 * * [misc]simplify:  Extracting #5: cost 15 inf + 109680
1554300764.973 * * [misc]simplify:  Extracting #6: cost 0 inf + 133154
1554300764.982 * [exit]simplify:  Simplified to (-.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re)
1554300764.982 * [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))))))
1554300764.982 * * * * [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)))))))>
1554300764.982 * * * * [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)))))))>
1554300764.982 * * * * [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))))))))>
1554300764.982 * * * * [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))))))))>
1554300764.982 * * * * [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)))))))>
1554300764.983 * [enter]simplify:  Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1554300764.983 * * [misc]simplify:  iters left: 4 (7 enodes)
1554300764.985 * * [misc]simplify:  iters left: 3 (13 enodes)
1554300764.988 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300764.988 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554300764.988 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1554300764.988 * * [misc]simplify:  Extracting #3: cost 5 inf + 1
1554300764.988 * * [misc]simplify:  Extracting #4: cost 5 inf + 322
1554300764.988 * * [misc]simplify:  Extracting #5: cost 0 inf + 2810
1554300764.988 * [exit]simplify:  Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1554300764.988 * [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)))))))
1554300764.988 * * * * [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)))))))>
1554300764.989 * [enter]simplify:  Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1554300764.989 * * [misc]simplify:  iters left: 4 (7 enodes)
1554300764.991 * * [misc]simplify:  iters left: 3 (13 enodes)
1554300764.994 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300764.994 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554300764.994 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1554300764.994 * * [misc]simplify:  Extracting #3: cost 5 inf + 1
1554300764.994 * * [misc]simplify:  Extracting #4: cost 5 inf + 322
1554300764.994 * * [misc]simplify:  Extracting #5: cost 0 inf + 2810
1554300764.994 * [exit]simplify:  Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1554300764.994 * [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)))))))
1554300764.994 * * * * [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)))))))>
1554300764.995 * [enter]simplify:  Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1554300764.995 * * [misc]simplify:  iters left: 4 (7 enodes)
1554300764.997 * * [misc]simplify:  iters left: 3 (13 enodes)
1554300764.999 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300764.999 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554300765.000 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1554300765.000 * * [misc]simplify:  Extracting #3: cost 5 inf + 1
1554300765.000 * * [misc]simplify:  Extracting #4: cost 5 inf + 322
1554300765.000 * * [misc]simplify:  Extracting #5: cost 0 inf + 2810
1554300765.000 * [exit]simplify:  Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1554300765.000 * [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)))))))
1554300765.000 * * * * [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)))))))>
1554300765.000 * [enter]simplify:  Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1554300765.000 * * [misc]simplify:  iters left: 4 (7 enodes)
1554300765.002 * * [misc]simplify:  iters left: 3 (13 enodes)
1554300765.004 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300765.004 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554300765.004 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1554300765.004 * * [misc]simplify:  Extracting #3: cost 5 inf + 1
1554300765.004 * * [misc]simplify:  Extracting #4: cost 5 inf + 322
1554300765.004 * * [misc]simplify:  Extracting #5: cost 0 inf + 2810
1554300765.004 * [exit]simplify:  Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1554300765.004 * [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)))))))
1554300765.004 * * * [misc]progress:  adding candidates to table
1554300765.309 * [misc]progress:  [Phase 3 of 3] Extracting.
1554300765.309 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (-.p16 (*.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (*.p16 re re)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))> #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (/.p16 (+.p16 (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))))))> #<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))) 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 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)))))))>)
1554300765.313 * * * [misc]regime-changes:  Trying 2 branch expressions: (im re)
1554300765.313 * * * * [misc]regimes:  Trying to branch on im from (#<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (-.p16 (*.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (*.p16 re re)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))> #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (/.p16 (+.p16 (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))))))> #<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))) 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 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)))))))>)
1554300765.454 * * * * [misc]regimes:  Trying to branch on re from (#<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (-.p16 (*.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (*.p16 re re)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))> #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (/.p16 (+.p16 (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))))))> #<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))) 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 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)))))))>)
1554300765.627 * * * [misc]regime:  Found split indices: #<option (#s(si 4 256))>
1554300765.627 * [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))))
1554300765.627 * * [misc]simplify:  iters left: 6 (14 enodes)
1554300765.635 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300765.635 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554300765.635 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1554300765.635 * * [misc]simplify:  Extracting #3: cost 6 inf + 1
1554300765.635 * * [misc]simplify:  Extracting #4: cost 8 inf + 2
1554300765.635 * * [misc]simplify:  Extracting #5: cost 6 inf + 5
1554300765.635 * * [misc]simplify:  Extracting #6: cost 8 inf + 5
1554300765.636 * * [misc]simplify:  Extracting #7: cost 8 inf + 326
1554300765.636 * * [misc]simplify:  Extracting #8: cost 6 inf + 648
1554300765.636 * * [misc]simplify:  Extracting #9: cost 4 inf + 2052
1554300765.636 * * [misc]simplify:  Extracting #10: cost 2 inf + 3977
1554300765.636 * * [misc]simplify:  Extracting #11: cost 0 inf + 6624
1554300765.637 * [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))))
1554300765.637 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1554300765.675 * * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
1554300765.679 * * * * [misc]points:  Setting MPFR precision to 320
1554300765.681 * * * * [misc]points:  Setting MPFR precision to 576
1554300765.682 * * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
1554300765.687 * * * * [misc]points:  Setting MPFR precision to 320
1554300765.690 * * * * [misc]points:  Setting MPFR precision to 576
1554300765.693 * * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
1554300765.697 * * * * [misc]points:  Setting MPFR precision to 320
1554300765.703 * * * * [misc]points:  Setting MPFR precision to 576
1554300765.709 * * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
1554300765.714 * * * * [misc]points:  Setting MPFR precision to 320
1554300765.726 * * * * [misc]points:  Setting MPFR precision to 576
1554300765.739 * * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
1554300765.744 * * * * [misc]points:  Setting MPFR precision to 320
1554300765.770 * * * * [misc]points:  Setting MPFR precision to 576
1554300765.794 * * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
1554300765.799 * * * * [misc]points:  Setting MPFR precision to 320
1554300765.881 * * * * [misc]points:  Setting MPFR precision to 576
1554300765.933 * * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
1554300765.938 * * * * [misc]points:  Setting MPFR precision to 320
1554300766.031 * * * * [misc]points:  Setting MPFR precision to 576
1554300766.128 * * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
1554300766.131 * * * * [misc]points:  Setting MPFR precision to 320
1554300766.298 * * * * [misc]points:  Setting MPFR precision to 576
1554300766.498 * * * * [misc]points:  Computing exacts for 8000 points
1554300766.500 * * * * [misc]points:  Setting MPFR precision to 320
1554300767.262 * * * * [misc]points:  Setting MPFR precision to 576
1554300768.095 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554300768.142 * * * * [exit]points:  Sampled 8000 points with exact outputs
1554300772.820 * [misc]regime-testing:  Baseline error score: 64.0
1554300772.822 * [misc]regime-testing:  Oracle error score: 64.0
1554300772.826 * [misc]regime-testing:  End program error score: 2.059379804534521