1552126502.988 * [progress]: [Phase 1 of 3] Setting up.
1552126502.988 * * * [progress]: [1/2] Preparing points
1552126502.988 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
1552126502.989 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
1552126502.993 * * * * [points]: Setting MPFR precision to 64
1552126502.995 * * * * [points]: Setting MPFR precision to 320
1552126502.998 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
1552126503.002 * * * * [points]: Setting MPFR precision to 64
1552126503.005 * * * * [points]: Setting MPFR precision to 320
1552126503.010 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
1552126503.014 * * * * [points]: Setting MPFR precision to 64
1552126503.020 * * * * [points]: Setting MPFR precision to 320
1552126503.027 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
1552126503.038 * * * * [points]: Setting MPFR precision to 64
1552126503.047 * * * * [points]: Setting MPFR precision to 320
1552126503.059 * * * * [points]: Computing exacts for 256 points
1552126503.064 * * * * [points]: Setting MPFR precision to 64
1552126503.090 * * * * [points]: Setting MPFR precision to 320
1552126503.119 * * * * [points]: Filtering points with unrepresentable outputs
1552126503.141 * * * * [points]: Sampled 256 points with exact outputs
1552126503.141 * * * [progress]: [2/2] Setting up program.
1552126503.186 * [progress]: [Phase 2 of 3] Improving.
1552126503.186 * * * * [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)))))>
1552126503.187 * [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))))
1552126503.187 * * [simplify]: iters left: 6 (14 enodes)
1552126503.194 * * [simplify]: iters left: 5 (29 enodes)
1552126503.205 * * [simplify]: iters left: 4 (49 enodes)
1552126503.222 * * [simplify]: iters left: 3 (120 enodes)
1552126503.293 * * [simplify]: iters left: 2 (464 enodes)
1552126503.675 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126503.676 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126503.676 * * [simplify]: Extracting #2: cost 5 inf + 0
1552126503.676 * * [simplify]: Extracting #3: cost 80 inf + 1
1552126503.676 * * [simplify]: Extracting #4: cost 345 inf + 2
1552126503.678 * * [simplify]: Extracting #5: cost 580 inf + 7991
1552126503.687 * * [simplify]: Extracting #6: cost 562 inf + 201841
1552126503.720 * * [simplify]: Extracting #7: cost 164 inf + 841241
1552126503.780 * * [simplify]: Extracting #8: cost 7 inf + 1102755
1552126503.842 * * [simplify]: Extracting #9: cost 0 inf + 1117051
1552126503.948 * [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))
1552126503.948 * [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)))
1552126503.985 * * [progress]: iteration 1 / 4
1552126503.985 * * * [progress]: picking best candidate
1552126504.024 * * * * [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)))))>
1552126504.024 * * * [progress]: localizing error
1552126504.532 * * * [progress]: generating rewritten candidates
1552126504.532 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2)
1552126504.535 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 1)
1552126504.535 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
1552126504.535 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 1 1)
1552126504.539 * * * [progress]: generating series expansions
1552126504.539 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2)
1552126504.539 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 1)
1552126504.539 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
1552126504.540 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 1 1)
1552126504.540 * * * [progress]: simplifying candidates
1552126504.540 * * * * [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))))))>
1552126504.540 * * * * [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))))))>
1552126504.540 * * * * [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)))))>
1552126504.540 * * * * [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)))))>
1552126504.540 * [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))))
1552126504.540 * * [simplify]: iters left: 6 (14 enodes)
1552126504.547 * * [simplify]: iters left: 5 (29 enodes)
1552126504.557 * * [simplify]: iters left: 4 (49 enodes)
1552126504.577 * * [simplify]: iters left: 3 (120 enodes)
1552126504.651 * * [simplify]: iters left: 2 (464 enodes)
1552126504.995 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126504.995 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126504.995 * * [simplify]: Extracting #2: cost 5 inf + 0
1552126504.995 * * [simplify]: Extracting #3: cost 80 inf + 1
1552126504.996 * * [simplify]: Extracting #4: cost 345 inf + 2
1552126504.998 * * [simplify]: Extracting #5: cost 580 inf + 7991
1552126505.006 * * [simplify]: Extracting #6: cost 562 inf + 201841
1552126505.040 * * [simplify]: Extracting #7: cost 164 inf + 841241
1552126505.110 * * [simplify]: Extracting #8: cost 7 inf + 1102755
1552126505.212 * * [simplify]: Extracting #9: cost 0 inf + 1117051
1552126505.317 * [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))
1552126505.317 * [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)))
1552126505.317 * * * * [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)))))>
1552126505.318 * [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))))
1552126505.318 * * [simplify]: iters left: 6 (14 enodes)
1552126505.324 * * [simplify]: iters left: 5 (29 enodes)
1552126505.335 * * [simplify]: iters left: 4 (49 enodes)
1552126505.354 * * [simplify]: iters left: 3 (120 enodes)
1552126505.419 * * [simplify]: iters left: 2 (464 enodes)
1552126505.943 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126505.944 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126505.944 * * [simplify]: Extracting #2: cost 5 inf + 0
1552126505.944 * * [simplify]: Extracting #3: cost 80 inf + 1
1552126505.945 * * [simplify]: Extracting #4: cost 345 inf + 2
1552126505.950 * * [simplify]: Extracting #5: cost 580 inf + 7991
1552126505.967 * * [simplify]: Extracting #6: cost 562 inf + 201841
1552126506.034 * * [simplify]: Extracting #7: cost 164 inf + 841241
1552126506.093 * * [simplify]: Extracting #8: cost 7 inf + 1102755
1552126506.198 * * [simplify]: Extracting #9: cost 0 inf + 1117051
1552126506.270 * [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))
1552126506.270 * [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)))
1552126506.270 * * * * [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)))))>
1552126506.270 * [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))))
1552126506.270 * * [simplify]: iters left: 6 (14 enodes)
1552126506.273 * * [simplify]: iters left: 5 (29 enodes)
1552126506.278 * * [simplify]: iters left: 4 (49 enodes)
1552126506.289 * * [simplify]: iters left: 3 (120 enodes)
1552126506.321 * * [simplify]: iters left: 2 (464 enodes)
1552126506.613 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126506.614 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126506.614 * * [simplify]: Extracting #2: cost 5 inf + 0
1552126506.614 * * [simplify]: Extracting #3: cost 80 inf + 1
1552126506.615 * * [simplify]: Extracting #4: cost 345 inf + 2
1552126506.619 * * [simplify]: Extracting #5: cost 580 inf + 7991
1552126506.636 * * [simplify]: Extracting #6: cost 562 inf + 201841
1552126506.702 * * [simplify]: Extracting #7: cost 164 inf + 841241
1552126506.802 * * [simplify]: Extracting #8: cost 7 inf + 1102755
1552126506.867 * * [simplify]: Extracting #9: cost 0 inf + 1117051
1552126506.936 * [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))
1552126506.936 * [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)))
1552126506.936 * * * * [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)))))>
1552126506.936 * [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))))
1552126506.937 * * [simplify]: iters left: 6 (14 enodes)
1552126506.944 * * [simplify]: iters left: 5 (29 enodes)
1552126506.954 * * [simplify]: iters left: 4 (49 enodes)
1552126506.973 * * [simplify]: iters left: 3 (120 enodes)
1552126507.026 * * [simplify]: iters left: 2 (464 enodes)
1552126507.460 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126507.460 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126507.460 * * [simplify]: Extracting #2: cost 5 inf + 0
1552126507.460 * * [simplify]: Extracting #3: cost 80 inf + 1
1552126507.462 * * [simplify]: Extracting #4: cost 345 inf + 2
1552126507.465 * * [simplify]: Extracting #5: cost 580 inf + 7991
1552126507.474 * * [simplify]: Extracting #6: cost 562 inf + 201841
1552126507.529 * * [simplify]: Extracting #7: cost 164 inf + 841241
1552126507.627 * * [simplify]: Extracting #8: cost 7 inf + 1102755
1552126507.732 * * [simplify]: Extracting #9: cost 0 inf + 1117051
1552126507.809 * [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))
1552126507.810 * [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)))
1552126507.810 * * * [progress]: adding candidates to table
1552126508.134 * * [progress]: iteration 2 / 4
1552126508.134 * * * [progress]: picking best candidate
1552126508.167 * * * * [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))))))>
1552126508.167 * * * [progress]: localizing error
1552126508.393 * * * [progress]: generating rewritten candidates
1552126508.393 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 1)
1552126508.395 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 2)
1552126508.396 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2)
1552126508.399 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 2 1)
1552126508.400 * * * [progress]: generating series expansions
1552126508.400 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 1)
1552126508.400 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 2)
1552126508.400 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2)
1552126508.400 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 2 1)
1552126508.400 * * * [progress]: simplifying candidates
1552126508.400 * * * * [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))))))>
1552126508.400 * [simplify]: Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1552126508.400 * * [simplify]: iters left: 4 (7 enodes)
1552126508.401 * * [simplify]: iters left: 3 (13 enodes)
1552126508.403 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126508.403 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126508.403 * * [simplify]: Extracting #2: cost 3 inf + 1
1552126508.403 * * [simplify]: Extracting #3: cost 5 inf + 1
1552126508.403 * * [simplify]: Extracting #4: cost 5 inf + 322
1552126508.403 * * [simplify]: Extracting #5: cost 0 inf + 2810
1552126508.403 * [simplify]: Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1552126508.403 * [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))))))
1552126508.404 * [simplify]: Simplifying (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1552126508.404 * * [simplify]: iters left: 4 (7 enodes)
1552126508.405 * * [simplify]: iters left: 3 (18 enodes)
1552126508.408 * * [simplify]: iters left: 2 (28 enodes)
1552126508.413 * * [simplify]: iters left: 1 (86 enodes)
1552126508.441 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126508.441 * * [simplify]: Extracting #1: cost 12 inf + 0
1552126508.442 * * [simplify]: Extracting #2: cost 53 inf + 1
1552126508.442 * * [simplify]: Extracting #3: cost 103 inf + 804
1552126508.443 * * [simplify]: Extracting #4: cost 94 inf + 17486
1552126508.446 * * [simplify]: Extracting #5: cost 15 inf + 109680
1552126508.451 * * [simplify]: Extracting #6: cost 0 inf + 133154
1552126508.456 * [simplify]: Simplified to (-.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re)
1552126508.456 * [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))))))
1552126508.457 * * * * [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))))))>
1552126508.457 * * * * [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))))))>
1552126508.457 * * * * [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)))))))))>
1552126508.457 * * * * [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)))))))>
1552126508.457 * [simplify]: Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1552126508.457 * * [simplify]: iters left: 4 (7 enodes)
1552126508.458 * * [simplify]: iters left: 3 (13 enodes)
1552126508.460 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126508.460 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126508.460 * * [simplify]: Extracting #2: cost 3 inf + 1
1552126508.460 * * [simplify]: Extracting #3: cost 5 inf + 1
1552126508.460 * * [simplify]: Extracting #4: cost 5 inf + 322
1552126508.460 * * [simplify]: Extracting #5: cost 0 inf + 2810
1552126508.460 * [simplify]: Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1552126508.460 * [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)))))))
1552126508.461 * * * * [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))))))))>
1552126508.461 * [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)))
1552126508.461 * * [simplify]: iters left: 6 (10 enodes)
1552126508.463 * * [simplify]: iters left: 5 (33 enodes)
1552126508.469 * * [simplify]: iters left: 4 (93 enodes)
1552126508.502 * * [simplify]: iters left: 3 (450 enodes)
1552126509.035 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126509.036 * * [simplify]: Extracting #1: cost 60 inf + 0
1552126509.037 * * [simplify]: Extracting #2: cost 374 inf + 963
1552126509.041 * * [simplify]: Extracting #3: cost 459 inf + 130109
1552126509.071 * * [simplify]: Extracting #4: cost 338 inf + 699471
1552126509.143 * * [simplify]: Extracting #5: cost 9 inf + 1277945
1552126509.216 * * [simplify]: Extracting #6: cost 0 inf + 1301041
1552126509.283 * [simplify]: Simplified to (*.p16 (+.p16 (*.p16 re re) (+.p16 (*.p16 im im) (*.p16 re re))) (*.p16 im im))
1552126509.283 * [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))))))))
1552126509.283 * * * * [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))))))>
1552126509.283 * * * * [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))))))>
1552126509.283 * * * * [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))))))>
1552126509.283 * * * * [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))))))>
1552126509.283 * * * [progress]: adding candidates to table
1552126509.814 * * [progress]: iteration 3 / 4
1552126509.814 * * * [progress]: picking best candidate
1552126509.970 * * * * [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))))))>
1552126509.970 * * * [progress]: localizing error
1552126510.188 * * * [progress]: generating rewritten candidates
1552126510.188 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 2)
1552126510.191 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 1 1)
1552126510.194 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1 2)
1552126510.196 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2)
1552126510.203 * * * [progress]: generating series expansions
1552126510.203 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 2)
1552126510.203 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 1 1)
1552126510.203 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1 2)
1552126510.204 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2)
1552126510.204 * * * [progress]: simplifying candidates
1552126510.204 * * * * [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)))))))))>
1552126510.204 * * * * [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))))))>
1552126510.204 * * * * [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))))))>
1552126510.204 * * * * [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))))))>
1552126510.204 * * * * [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)))))))>
1552126510.204 * [simplify]: Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1552126510.204 * * [simplify]: iters left: 4 (7 enodes)
1552126510.207 * * [simplify]: iters left: 3 (13 enodes)
1552126510.210 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126510.210 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126510.210 * * [simplify]: Extracting #2: cost 3 inf + 1
1552126510.210 * * [simplify]: Extracting #3: cost 5 inf + 1
1552126510.210 * * [simplify]: Extracting #4: cost 5 inf + 322
1552126510.210 * * [simplify]: Extracting #5: cost 0 inf + 2810
1552126510.210 * [simplify]: Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1552126510.210 * [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)))))))
1552126510.211 * * * * [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)))))))>
1552126510.211 * [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)))
1552126510.211 * * [simplify]: iters left: 6 (10 enodes)
1552126510.215 * * [simplify]: iters left: 5 (26 enodes)
1552126510.223 * * [simplify]: iters left: 4 (87 enodes)
1552126510.281 * * [simplify]: iters left: 3 (403 enodes)
1552126510.702 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126510.702 * * [simplify]: Extracting #1: cost 69 inf + 0
1552126510.703 * * [simplify]: Extracting #2: cost 394 inf + 322
1552126510.706 * * [simplify]: Extracting #3: cost 516 inf + 48772
1552126510.730 * * [simplify]: Extracting #4: cost 194 inf + 561674
1552126510.771 * * [simplify]: Extracting #5: cost 7 inf + 868789
1552126510.814 * * [simplify]: Extracting #6: cost 0 inf + 881522
1552126510.857 * [simplify]: Simplified to (*.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) (*.p16 im im))
1552126510.857 * [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)))))))
1552126510.858 * * * * [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))))))>
1552126510.858 * [simplify]: Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1552126510.858 * * [simplify]: iters left: 4 (7 enodes)
1552126510.859 * * [simplify]: iters left: 3 (13 enodes)
1552126510.861 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126510.861 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126510.861 * * [simplify]: Extracting #2: cost 3 inf + 1
1552126510.861 * * [simplify]: Extracting #3: cost 5 inf + 1
1552126510.861 * * [simplify]: Extracting #4: cost 5 inf + 322
1552126510.861 * * [simplify]: Extracting #5: cost 0 inf + 2810
1552126510.861 * [simplify]: Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1552126510.861 * [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))))))
1552126510.861 * [simplify]: Simplifying (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1552126510.861 * * [simplify]: iters left: 4 (7 enodes)
1552126510.863 * * [simplify]: iters left: 3 (18 enodes)
1552126510.866 * * [simplify]: iters left: 2 (28 enodes)
1552126510.870 * * [simplify]: iters left: 1 (86 enodes)
1552126510.893 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126510.893 * * [simplify]: Extracting #1: cost 12 inf + 0
1552126510.893 * * [simplify]: Extracting #2: cost 53 inf + 1
1552126510.894 * * [simplify]: Extracting #3: cost 103 inf + 804
1552126510.894 * * [simplify]: Extracting #4: cost 94 inf + 17486
1552126510.897 * * [simplify]: Extracting #5: cost 15 inf + 109680
1552126510.904 * * [simplify]: Extracting #6: cost 0 inf + 133154
1552126510.909 * [simplify]: Simplified to (-.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re)
1552126510.909 * [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))))))
1552126510.910 * * * * [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))))))>
1552126510.910 * [simplify]: Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1552126510.910 * * [simplify]: iters left: 4 (7 enodes)
1552126510.911 * * [simplify]: iters left: 3 (13 enodes)
1552126510.913 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126510.913 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126510.913 * * [simplify]: Extracting #2: cost 3 inf + 1
1552126510.913 * * [simplify]: Extracting #3: cost 5 inf + 1
1552126510.913 * * [simplify]: Extracting #4: cost 5 inf + 322
1552126510.913 * * [simplify]: Extracting #5: cost 0 inf + 2810
1552126510.913 * [simplify]: Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1552126510.913 * [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))))))
1552126510.913 * [simplify]: Simplifying (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1552126510.914 * * [simplify]: iters left: 4 (7 enodes)
1552126510.915 * * [simplify]: iters left: 3 (18 enodes)
1552126510.918 * * [simplify]: iters left: 2 (28 enodes)
1552126510.922 * * [simplify]: iters left: 1 (86 enodes)
1552126510.945 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126510.946 * * [simplify]: Extracting #1: cost 12 inf + 0
1552126510.946 * * [simplify]: Extracting #2: cost 53 inf + 1
1552126510.946 * * [simplify]: Extracting #3: cost 103 inf + 804
1552126510.947 * * [simplify]: Extracting #4: cost 94 inf + 17486
1552126510.950 * * [simplify]: Extracting #5: cost 15 inf + 109680
1552126510.955 * * [simplify]: Extracting #6: cost 0 inf + 133154
1552126510.960 * [simplify]: Simplified to (-.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re)
1552126510.960 * [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))))))
1552126510.961 * * * * [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))))))>
1552126510.961 * [simplify]: Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1552126510.961 * * [simplify]: iters left: 4 (7 enodes)
1552126510.962 * * [simplify]: iters left: 3 (13 enodes)
1552126510.964 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126510.964 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126510.964 * * [simplify]: Extracting #2: cost 3 inf + 1
1552126510.964 * * [simplify]: Extracting #3: cost 5 inf + 1
1552126510.964 * * [simplify]: Extracting #4: cost 5 inf + 322
1552126510.964 * * [simplify]: Extracting #5: cost 0 inf + 2810
1552126510.964 * [simplify]: Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1552126510.964 * [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))))))
1552126510.965 * [simplify]: Simplifying (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1552126510.965 * * [simplify]: iters left: 4 (7 enodes)
1552126510.966 * * [simplify]: iters left: 3 (18 enodes)
1552126510.969 * * [simplify]: iters left: 2 (28 enodes)
1552126510.974 * * [simplify]: iters left: 1 (86 enodes)
1552126510.997 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126510.997 * * [simplify]: Extracting #1: cost 12 inf + 0
1552126510.997 * * [simplify]: Extracting #2: cost 53 inf + 1
1552126510.997 * * [simplify]: Extracting #3: cost 103 inf + 804
1552126510.998 * * [simplify]: Extracting #4: cost 94 inf + 17486
1552126511.001 * * [simplify]: Extracting #5: cost 15 inf + 109680
1552126511.007 * * [simplify]: Extracting #6: cost 0 inf + 133154
1552126511.012 * [simplify]: Simplified to (-.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re)
1552126511.012 * [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))))))
1552126511.012 * * * * [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))))))>
1552126511.013 * [simplify]: Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1552126511.013 * * [simplify]: iters left: 4 (7 enodes)
1552126511.014 * * [simplify]: iters left: 3 (13 enodes)
1552126511.016 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126511.016 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126511.016 * * [simplify]: Extracting #2: cost 3 inf + 1
1552126511.016 * * [simplify]: Extracting #3: cost 5 inf + 1
1552126511.016 * * [simplify]: Extracting #4: cost 5 inf + 322
1552126511.016 * * [simplify]: Extracting #5: cost 0 inf + 2810
1552126511.016 * [simplify]: Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1552126511.016 * [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))))))
1552126511.016 * [simplify]: Simplifying (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1552126511.016 * * [simplify]: iters left: 4 (7 enodes)
1552126511.018 * * [simplify]: iters left: 3 (18 enodes)
1552126511.020 * * [simplify]: iters left: 2 (28 enodes)
1552126511.025 * * [simplify]: iters left: 1 (86 enodes)
1552126511.050 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126511.050 * * [simplify]: Extracting #1: cost 12 inf + 0
1552126511.050 * * [simplify]: Extracting #2: cost 53 inf + 1
1552126511.050 * * [simplify]: Extracting #3: cost 103 inf + 804
1552126511.051 * * [simplify]: Extracting #4: cost 94 inf + 17486
1552126511.054 * * [simplify]: Extracting #5: cost 15 inf + 109680
1552126511.059 * * [simplify]: Extracting #6: cost 0 inf + 133154
1552126511.065 * [simplify]: Simplified to (-.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re)
1552126511.065 * [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))))))
1552126511.065 * * * [progress]: adding candidates to table
1552126511.694 * * [progress]: iteration 4 / 4
1552126511.694 * * * [progress]: picking best candidate
1552126511.824 * * * * [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)))))))>
1552126511.824 * * * [progress]: localizing error
1552126512.095 * * * [progress]: generating rewritten candidates
1552126512.095 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 2 1)
1552126512.099 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 1)
1552126512.103 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 2 2)
1552126512.105 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2)
1552126512.111 * * * [progress]: generating series expansions
1552126512.111 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 2 1)
1552126512.111 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 1)
1552126512.111 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 2 2)
1552126512.111 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2)
1552126512.111 * * * [progress]: simplifying candidates
1552126512.111 * * * * [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)))))))>
1552126512.111 * * * * [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)))))))>
1552126512.111 * * * * [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))))))))>
1552126512.111 * * * * [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))))))))>
1552126512.111 * * * * [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))))))>
1552126512.112 * [simplify]: Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1552126512.112 * * [simplify]: iters left: 4 (7 enodes)
1552126512.113 * * [simplify]: iters left: 3 (13 enodes)
1552126512.115 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126512.115 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126512.115 * * [simplify]: Extracting #2: cost 3 inf + 1
1552126512.115 * * [simplify]: Extracting #3: cost 5 inf + 1
1552126512.115 * * [simplify]: Extracting #4: cost 5 inf + 322
1552126512.115 * * [simplify]: Extracting #5: cost 0 inf + 2810
1552126512.115 * [simplify]: Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1552126512.115 * [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)))))))))
1552126512.115 * * * * [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))))))>
1552126512.115 * [simplify]: Simplifying (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1552126512.115 * * [simplify]: iters left: 4 (7 enodes)
1552126512.117 * * [simplify]: iters left: 3 (18 enodes)
1552126512.120 * * [simplify]: iters left: 2 (28 enodes)
1552126512.124 * * [simplify]: iters left: 1 (86 enodes)
1552126512.433 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126512.433 * * [simplify]: Extracting #1: cost 12 inf + 0
1552126512.433 * * [simplify]: Extracting #2: cost 53 inf + 1
1552126512.434 * * [simplify]: Extracting #3: cost 103 inf + 804
1552126512.435 * * [simplify]: Extracting #4: cost 94 inf + 17486
1552126512.442 * * [simplify]: Extracting #5: cost 15 inf + 109680
1552126512.452 * * [simplify]: Extracting #6: cost 0 inf + 133154
1552126512.463 * [simplify]: Simplified to (-.p16 (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))) re)
1552126512.463 * [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))))))
1552126512.463 * * * * [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)))))))>
1552126512.463 * [simplify]: Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1552126512.463 * * [simplify]: iters left: 4 (7 enodes)
1552126512.466 * * [simplify]: iters left: 3 (13 enodes)
1552126512.470 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126512.470 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126512.470 * * [simplify]: Extracting #2: cost 3 inf + 1
1552126512.471 * * [simplify]: Extracting #3: cost 5 inf + 1
1552126512.471 * * [simplify]: Extracting #4: cost 5 inf + 322
1552126512.471 * * [simplify]: Extracting #5: cost 0 inf + 2810
1552126512.471 * [simplify]: Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1552126512.471 * [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)))))))
1552126512.471 * * * * [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)))))))>
1552126512.472 * [simplify]: Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1552126512.472 * * [simplify]: iters left: 4 (7 enodes)
1552126512.474 * * [simplify]: iters left: 3 (13 enodes)
1552126512.476 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126512.476 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126512.476 * * [simplify]: Extracting #2: cost 3 inf + 1
1552126512.476 * * [simplify]: Extracting #3: cost 5 inf + 1
1552126512.476 * * [simplify]: Extracting #4: cost 5 inf + 322
1552126512.476 * * [simplify]: Extracting #5: cost 0 inf + 2810
1552126512.476 * [simplify]: Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1552126512.476 * [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)))))))
1552126512.476 * * * * [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)))))))>
1552126512.476 * [simplify]: Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1552126512.476 * * [simplify]: iters left: 4 (7 enodes)
1552126512.478 * * [simplify]: iters left: 3 (13 enodes)
1552126512.480 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126512.480 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126512.480 * * [simplify]: Extracting #2: cost 3 inf + 1
1552126512.480 * * [simplify]: Extracting #3: cost 5 inf + 1
1552126512.480 * * [simplify]: Extracting #4: cost 5 inf + 322
1552126512.480 * * [simplify]: Extracting #5: cost 0 inf + 2810
1552126512.480 * [simplify]: Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1552126512.480 * [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)))))))
1552126512.480 * * * * [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)))))))>
1552126512.480 * [simplify]: Simplifying (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)
1552126512.480 * * [simplify]: iters left: 4 (7 enodes)
1552126512.482 * * [simplify]: iters left: 3 (13 enodes)
1552126512.484 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126512.484 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126512.484 * * [simplify]: Extracting #2: cost 3 inf + 1
1552126512.484 * * [simplify]: Extracting #3: cost 5 inf + 1
1552126512.484 * * [simplify]: Extracting #4: cost 5 inf + 322
1552126512.484 * * [simplify]: Extracting #5: cost 0 inf + 2810
1552126512.484 * [simplify]: Simplified to (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re))))
1552126512.484 * [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)))))))
1552126512.484 * * * [progress]: adding candidates to table
1552126512.885 * [progress]: [Phase 3 of 3] Extracting.
1552126512.885 * * [regime]: Finding splitpoints for: (#<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 (+.p16 (*.p16 re re) (+.p16 (*.p16 im im) (*.p16 re re))) (*.p16 im im)) (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (+.p16 (*.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (*.p16 re re))))))))> #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))> #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (/.p16 (-.p16 (*.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (*.p16 re re)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))))> #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) (*.p16 im im)) (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))))> #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (-.p16 (*.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) (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 (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)))))))>)
1552126512.889 * * * [regime-changes]: Trying 2 branch expressions: (im re)
1552126512.889 * * * * [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 (*.p16 re re) (+.p16 (*.p16 im im) (*.p16 re re))) (*.p16 im im)) (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (+.p16 (*.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (*.p16 re re))))))))> #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))> #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (/.p16 (-.p16 (*.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (*.p16 re re)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))))> #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) (*.p16 im im)) (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))))> #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (-.p16 (*.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) (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 (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)))))))>)
1552126513.209 * * * * [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 (*.p16 re re) (+.p16 (*.p16 im im) (*.p16 re re))) (*.p16 im im)) (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (+.p16 (*.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (*.p16 re re))))))))> #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (-.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))> #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (/.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (/.p16 (-.p16 (*.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im)))) (*.p16 re re)) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re))))))))> #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (*.p16 (+.p16 re (sqrt.p16 (+.p16 (*.p16 im im) (*.p16 re re)))) (*.p16 im im)) (*.p16 (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re) (+.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) re)))))))> #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (/.p16 (-.p16 (*.p16 (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))) (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 (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)))))))>)
1552126513.580 * * * [regime]: Found split indices: #<option (#s(si 6 256))>
1552126513.580 * [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))))
1552126513.580 * * [simplify]: iters left: 6 (14 enodes)
1552126513.581 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126513.581 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126513.581 * * [simplify]: Extracting #2: cost 5 inf + 0
1552126513.581 * * [simplify]: Extracting #3: cost 6 inf + 1
1552126513.581 * * [simplify]: Extracting #4: cost 8 inf + 2
1552126513.581 * * [simplify]: Extracting #5: cost 6 inf + 5
1552126513.581 * * [simplify]: Extracting #6: cost 8 inf + 5
1552126513.582 * * [simplify]: Extracting #7: cost 8 inf + 326
1552126513.582 * * [simplify]: Extracting #8: cost 6 inf + 648
1552126513.582 * * [simplify]: Extracting #9: cost 4 inf + 2052
1552126513.582 * * [simplify]: Extracting #10: cost 2 inf + 3977
1552126513.582 * * [simplify]: Extracting #11: cost 0 inf + 6624
1552126513.582 * [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))))
1552126513.582 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1552126513.604 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
1552126513.607 * * * * [points]: Setting MPFR precision to 64
1552126513.608 * * * * [points]: Setting MPFR precision to 320
1552126513.609 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
1552126513.611 * * * * [points]: Setting MPFR precision to 64
1552126513.613 * * * * [points]: Setting MPFR precision to 320
1552126513.615 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
1552126513.617 * * * * [points]: Setting MPFR precision to 64
1552126513.621 * * * * [points]: Setting MPFR precision to 320
1552126513.636 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
1552126513.638 * * * * [points]: Setting MPFR precision to 64
1552126513.647 * * * * [points]: Setting MPFR precision to 320
1552126513.656 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
1552126513.658 * * * * [points]: Setting MPFR precision to 64
1552126513.673 * * * * [points]: Setting MPFR precision to 320
1552126513.690 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
1552126513.693 * * * * [points]: Setting MPFR precision to 64
1552126513.720 * * * * [points]: Setting MPFR precision to 320
1552126513.785 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
1552126513.792 * * * * [points]: Setting MPFR precision to 64
1552126513.894 * * * * [points]: Setting MPFR precision to 320
1552126514.021 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
1552126514.024 * * * * [points]: Setting MPFR precision to 64
1552126514.187 * * * * [points]: Setting MPFR precision to 320
1552126514.368 * * * * [points]: Computing exacts for 8000 points
1552126514.371 * * * * [points]: Setting MPFR precision to 64
1552126514.970 * * * * [points]: Setting MPFR precision to 320
1552126516.300 * * * * [points]: Filtering points with unrepresentable outputs
1552126516.886 * * * * [points]: Sampled 8000 points with exact outputs
1552126523.398 * [regime-testing]: Baseline error score: 64.0
1552126523.400 * [regime-testing]: Oracle error score: 64.0
1552126523.404 * [regime-testing]: End program error score: 2.1090385377314207