1550698902.142 * [misc]progress:  [Phase 1 of 3] Setting up.
1550698902.142 * * * [misc]progress:  [1/2] Preparing points
1550698902.142 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1550698902.143 * * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
1550698902.148 * * * * [misc]points:  Setting MPFR precision to 64
1550698902.150 * * * * [misc]points:  Setting MPFR precision to 320
1550698902.153 * * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
1550698902.157 * * * * [misc]points:  Setting MPFR precision to 64
1550698902.160 * * * * [misc]points:  Setting MPFR precision to 320
1550698902.164 * * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
1550698902.168 * * * * [misc]points:  Setting MPFR precision to 64
1550698902.174 * * * * [misc]points:  Setting MPFR precision to 320
1550698902.181 * * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
1550698902.185 * * * * [misc]points:  Setting MPFR precision to 64
1550698902.194 * * * * [misc]points:  Setting MPFR precision to 320
1550698902.206 * * * * [misc]points:  Computing exacts for 256 points
1550698902.211 * * * * [misc]points:  Setting MPFR precision to 64
1550698902.239 * * * * [misc]points:  Setting MPFR precision to 320
1550698902.276 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550698902.300 * * * * [exit]points:  Sampled 256 points with exact outputs
1550698902.300 * * * [misc]progress:  [2/2] Setting up program.
1550698902.340 * [misc]progress:  [Phase 2 of 3] Improving.
1550698902.340 * * * * [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)))))>
1550698902.341 * [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))))
1550698902.341 * * [misc]simplify:  iters left: 6 (14 enodes)
1550698902.379 * * [misc]simplify:  iters left: 5 (30 enodes)
1550698902.393 * * [misc]simplify:  iters left: 4 (32 enodes)
1550698902.403 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550698902.403 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550698902.403 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550698902.403 * * [misc]simplify:  Extracting #3: cost 8 inf + 1
1550698902.403 * * [misc]simplify:  Extracting #4: cost 10 inf + 2
1550698902.403 * * [misc]simplify:  Extracting #5: cost 9 inf + 4
1550698902.403 * * [misc]simplify:  Extracting #6: cost 10 inf + 5
1550698902.403 * * [misc]simplify:  Extracting #7: cost 9 inf + 648
1550698902.404 * * [misc]simplify:  Extracting #8: cost 7 inf + 970
1550698902.404 * * [misc]simplify:  Extracting #9: cost 5 inf + 2374
1550698902.404 * * [misc]simplify:  Extracting #10: cost 2 inf + 5262
1550698902.405 * * [misc]simplify:  Extracting #11: cost 0 inf + 7829
1550698902.405 * [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))
1550698902.405 * [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)))
1550698902.444 * * [misc]progress:  iteration 1 / 4
1550698902.444 * * * [misc]progress:  picking best candidate
1550698902.478 * * * * [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)))))>
1550698902.478 * * * [misc]progress:  localizing error
1550698902.969 * * * [misc]progress:  generating rewritten candidates
1550698902.969 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 2 1 2)
1550698902.973 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 2 1 2 1)
1550698902.973 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 2)
1550698902.973 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 2 1 2 1 1)
1550698902.977 * * * [misc]progress:  generating series expansions
1550698902.977 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 2 1 2)
1550698902.977 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 2 1 2 1)
1550698902.977 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 2)
1550698902.977 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 2 1 2 1 1)
1550698902.978 * * * [misc]progress:  simplifying candidates
1550698902.978 * * * * [misc]progress:  [ 1 / 6 ] simplifiying candidate #<alt (λ (re im) (*.p16 (real->posit16 0.5) (sqrt.p16 (*.p16 (real->posit16 2.0) (+.p16 re (sqrt.p16 (+.p16 (*.p16 re re) (*.p16 im im))))))))>
1550698902.978 * * * * [misc]progress:  [ 2 / 6 ] 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)))))>
1550698902.978 * * * * [misc]progress:  [ 3 / 6 ] 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)))))>
1550698902.978 * [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))))
1550698902.978 * * [misc]simplify:  iters left: 6 (14 enodes)
1550698902.984 * * [misc]simplify:  iters left: 5 (30 enodes)
1550698902.995 * * [misc]simplify:  iters left: 4 (32 enodes)
1550698903.004 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550698903.004 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550698903.004 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550698903.005 * * [misc]simplify:  Extracting #3: cost 8 inf + 1
1550698903.005 * * [misc]simplify:  Extracting #4: cost 10 inf + 2
1550698903.005 * * [misc]simplify:  Extracting #5: cost 9 inf + 4
1550698903.005 * * [misc]simplify:  Extracting #6: cost 10 inf + 5
1550698903.005 * * [misc]simplify:  Extracting #7: cost 9 inf + 648
1550698903.005 * * [misc]simplify:  Extracting #8: cost 7 inf + 970
1550698903.005 * * [misc]simplify:  Extracting #9: cost 5 inf + 2374
1550698903.006 * * [misc]simplify:  Extracting #10: cost 2 inf + 5262
1550698903.006 * * [misc]simplify:  Extracting #11: cost 0 inf + 7829
1550698903.007 * [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))
1550698903.007 * [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)))
1550698903.007 * * * * [misc]progress:  [ 4 / 6 ] 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)))))>
1550698903.007 * [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))))
1550698903.008 * * [misc]simplify:  iters left: 6 (14 enodes)
1550698903.014 * * [misc]simplify:  iters left: 5 (30 enodes)
1550698903.024 * * [misc]simplify:  iters left: 4 (32 enodes)
1550698903.033 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550698903.033 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550698903.033 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550698903.033 * * [misc]simplify:  Extracting #3: cost 8 inf + 1
1550698903.033 * * [misc]simplify:  Extracting #4: cost 10 inf + 2
1550698903.033 * * [misc]simplify:  Extracting #5: cost 9 inf + 4
1550698903.033 * * [misc]simplify:  Extracting #6: cost 10 inf + 5
1550698903.033 * * [misc]simplify:  Extracting #7: cost 9 inf + 648
1550698903.034 * * [misc]simplify:  Extracting #8: cost 7 inf + 970
1550698903.034 * * [misc]simplify:  Extracting #9: cost 5 inf + 2374
1550698903.034 * * [misc]simplify:  Extracting #10: cost 2 inf + 5262
1550698903.035 * * [misc]simplify:  Extracting #11: cost 0 inf + 7829
1550698903.036 * [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))
1550698903.036 * [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)))
1550698903.036 * * * * [misc]progress:  [ 5 / 6 ] 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)))))>
1550698903.036 * [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))))
1550698903.036 * * [misc]simplify:  iters left: 6 (14 enodes)
1550698903.050 * * [misc]simplify:  iters left: 5 (30 enodes)
1550698903.060 * * [misc]simplify:  iters left: 4 (32 enodes)
1550698903.069 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550698903.069 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550698903.069 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550698903.069 * * [misc]simplify:  Extracting #3: cost 8 inf + 1
1550698903.069 * * [misc]simplify:  Extracting #4: cost 10 inf + 2
1550698903.069 * * [misc]simplify:  Extracting #5: cost 9 inf + 4
1550698903.069 * * [misc]simplify:  Extracting #6: cost 10 inf + 5
1550698903.069 * * [misc]simplify:  Extracting #7: cost 9 inf + 648
1550698903.070 * * [misc]simplify:  Extracting #8: cost 7 inf + 970
1550698903.070 * * [misc]simplify:  Extracting #9: cost 5 inf + 2374
1550698903.070 * * [misc]simplify:  Extracting #10: cost 2 inf + 5262
1550698903.071 * * [misc]simplify:  Extracting #11: cost 0 inf + 7829
1550698903.072 * [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))
1550698903.072 * [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)))
1550698903.072 * * * * [misc]progress:  [ 6 / 6 ] 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)))))>
1550698903.072 * [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))))
1550698903.072 * * [misc]simplify:  iters left: 6 (14 enodes)
1550698903.078 * * [misc]simplify:  iters left: 5 (30 enodes)
1550698903.088 * * [misc]simplify:  iters left: 4 (32 enodes)
1550698903.098 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550698903.098 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550698903.098 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550698903.098 * * [misc]simplify:  Extracting #3: cost 8 inf + 1
1550698903.098 * * [misc]simplify:  Extracting #4: cost 10 inf + 2
1550698903.098 * * [misc]simplify:  Extracting #5: cost 9 inf + 4
1550698903.098 * * [misc]simplify:  Extracting #6: cost 10 inf + 5
1550698903.098 * * [misc]simplify:  Extracting #7: cost 9 inf + 648
1550698903.098 * * [misc]simplify:  Extracting #8: cost 7 inf + 970
1550698903.099 * * [misc]simplify:  Extracting #9: cost 5 inf + 2374
1550698903.099 * * [misc]simplify:  Extracting #10: cost 2 inf + 5262
1550698903.100 * * [misc]simplify:  Extracting #11: cost 0 inf + 7829
1550698903.101 * [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))
1550698903.101 * [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)))
1550698903.101 * * * [misc]progress:  adding candidates to table
1550698903.437 * [misc]progress:  [Phase 3 of 3] Extracting.
1550698903.488 * [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))))
1550698903.488 * * [misc]simplify:  iters left: 6 (14 enodes)
1550698903.490 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550698903.490 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550698903.490 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550698903.490 * * [misc]simplify:  Extracting #3: cost 6 inf + 1
1550698903.490 * * [misc]simplify:  Extracting #4: cost 8 inf + 2
1550698903.490 * * [misc]simplify:  Extracting #5: cost 6 inf + 5
1550698903.491 * * [misc]simplify:  Extracting #6: cost 8 inf + 5
1550698903.491 * * [misc]simplify:  Extracting #7: cost 8 inf + 326
1550698903.491 * * [misc]simplify:  Extracting #8: cost 6 inf + 648
1550698903.491 * * [misc]simplify:  Extracting #9: cost 4 inf + 2052
1550698903.491 * * [misc]simplify:  Extracting #10: cost 2 inf + 3897
1550698903.491 * * [misc]simplify:  Extracting #11: cost 0 inf + 6464
1550698903.492 * [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))))
1550698903.492 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1550698903.537 * * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
1550698903.541 * * * * [misc]points:  Setting MPFR precision to 64
1550698903.543 * * * * [misc]points:  Setting MPFR precision to 320
1550698903.545 * * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
1550698903.549 * * * * [misc]points:  Setting MPFR precision to 64
1550698903.553 * * * * [misc]points:  Setting MPFR precision to 320
1550698903.557 * * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
1550698903.561 * * * * [misc]points:  Setting MPFR precision to 64
1550698903.567 * * * * [misc]points:  Setting MPFR precision to 320
1550698903.576 * * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
1550698903.580 * * * * [misc]points:  Setting MPFR precision to 64
1550698903.593 * * * * [misc]points:  Setting MPFR precision to 320
1550698903.603 * * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
1550698903.605 * * * * [misc]points:  Setting MPFR precision to 64
1550698903.622 * * * * [misc]points:  Setting MPFR precision to 320
1550698903.641 * * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
1550698903.643 * * * * [misc]points:  Setting MPFR precision to 64
1550698903.697 * * * * [misc]points:  Setting MPFR precision to 320
1550698903.733 * * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
1550698903.735 * * * * [misc]points:  Setting MPFR precision to 64
1550698903.793 * * * * [misc]points:  Setting MPFR precision to 320
1550698903.910 * * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
1550698903.912 * * * * [misc]points:  Setting MPFR precision to 64
1550698904.082 * * * * [misc]points:  Setting MPFR precision to 320
1550698904.269 * * * * [misc]points:  Computing exacts for 8000 points
1550698904.271 * * * * [misc]points:  Setting MPFR precision to 64
1550698905.670 * * * * [misc]points:  Setting MPFR precision to 320
1550698906.994 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550698907.775 * * * * [exit]points:  Sampled 8000 points with exact outputs
1550698910.543 * [misc]regime-testing:  Baseline error score: 64.0
1550698910.546 * [misc]regime-testing:  Oracle error score: 64.0
1550698910.547 * [misc]regime-testing:  End program error score: 2.1042499636781318