1550699441.633 * [misc]progress:  [Phase 1 of 3] Setting up.
1550699441.633 * * * [misc]progress:  [1/2] Preparing points
1550699441.633 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1550699441.634 * * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
1550699441.643 * * * * [misc]points:  Setting MPFR precision to 64
1550699441.645 * * * * [misc]points:  Setting MPFR precision to 320
1550699441.646 * * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
1550699441.651 * * * * [misc]points:  Setting MPFR precision to 64
1550699441.654 * * * * [misc]points:  Setting MPFR precision to 320
1550699441.657 * * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
1550699441.662 * * * * [misc]points:  Setting MPFR precision to 64
1550699441.667 * * * * [misc]points:  Setting MPFR precision to 320
1550699441.673 * * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
1550699441.678 * * * * [misc]points:  Setting MPFR precision to 64
1550699441.685 * * * * [misc]points:  Setting MPFR precision to 320
1550699441.695 * * * * [misc]points:  Computing exacts for 256 points
1550699441.699 * * * * [misc]points:  Setting MPFR precision to 64
1550699441.739 * * * * [misc]points:  Setting MPFR precision to 320
1550699441.777 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699441.796 * * * * [exit]points:  Sampled 256 points with exact outputs
1550699441.796 * * * [misc]progress:  [2/2] Setting up program.
1550699441.838 * [misc]progress:  [Phase 2 of 3] Improving.
1550699441.838 * * * * [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)))))>
1550699441.838 * [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))))
1550699441.838 * * [misc]simplify:  iters left: 6 (14 enodes)
1550699441.845 * * [misc]simplify:  iters left: 5 (30 enodes)
1550699441.855 * * [misc]simplify:  iters left: 4 (32 enodes)
1550699441.865 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699441.865 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699441.865 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550699441.865 * * [misc]simplify:  Extracting #3: cost 8 inf + 1
1550699441.866 * * [misc]simplify:  Extracting #4: cost 10 inf + 2
1550699441.866 * * [misc]simplify:  Extracting #5: cost 9 inf + 4
1550699441.866 * * [misc]simplify:  Extracting #6: cost 10 inf + 5
1550699441.866 * * [misc]simplify:  Extracting #7: cost 9 inf + 648
1550699441.866 * * [misc]simplify:  Extracting #8: cost 7 inf + 970
1550699441.866 * * [misc]simplify:  Extracting #9: cost 5 inf + 2374
1550699441.867 * * [misc]simplify:  Extracting #10: cost 2 inf + 5262
1550699441.867 * * [misc]simplify:  Extracting #11: cost 0 inf + 7829
1550699441.868 * [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))
1550699441.868 * [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)))
1550699441.909 * * [misc]progress:  iteration 1 / 4
1550699441.910 * * * [misc]progress:  picking best candidate
1550699441.975 * * * * [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)))))>
1550699441.975 * * * [misc]progress:  localizing error
1550699442.451 * * * [misc]progress:  generating rewritten candidates
1550699442.451 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 2 1 2)
1550699442.455 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 2 1 2 1)
1550699442.456 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 2)
1550699442.456 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 2 1 2 1 1)
1550699442.460 * * * [misc]progress:  generating series expansions
1550699442.460 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 2 1 2)
1550699442.460 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 2 1 2 1)
1550699442.460 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 2)
1550699442.460 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 2 1 2 1 1)
1550699442.461 * * * [misc]progress:  simplifying candidates
1550699442.461 * * * * [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))))))))>
1550699442.461 * * * * [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)))))>
1550699442.461 * * * * [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)))))>
1550699442.461 * [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))))
1550699442.461 * * [misc]simplify:  iters left: 6 (14 enodes)
1550699442.468 * * [misc]simplify:  iters left: 5 (30 enodes)
1550699442.479 * * [misc]simplify:  iters left: 4 (32 enodes)
1550699442.491 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699442.491 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699442.491 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550699442.491 * * [misc]simplify:  Extracting #3: cost 8 inf + 1
1550699442.491 * * [misc]simplify:  Extracting #4: cost 10 inf + 2
1550699442.491 * * [misc]simplify:  Extracting #5: cost 9 inf + 4
1550699442.492 * * [misc]simplify:  Extracting #6: cost 10 inf + 5
1550699442.492 * * [misc]simplify:  Extracting #7: cost 9 inf + 648
1550699442.492 * * [misc]simplify:  Extracting #8: cost 7 inf + 970
1550699442.492 * * [misc]simplify:  Extracting #9: cost 5 inf + 2374
1550699442.493 * * [misc]simplify:  Extracting #10: cost 2 inf + 5262
1550699442.493 * * [misc]simplify:  Extracting #11: cost 0 inf + 7829
1550699442.494 * [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))
1550699442.494 * [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)))
1550699442.494 * * * * [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)))))>
1550699442.495 * [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))))
1550699442.495 * * [misc]simplify:  iters left: 6 (14 enodes)
1550699442.503 * * [misc]simplify:  iters left: 5 (30 enodes)
1550699442.515 * * [misc]simplify:  iters left: 4 (32 enodes)
1550699442.525 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699442.525 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699442.525 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550699442.526 * * [misc]simplify:  Extracting #3: cost 8 inf + 1
1550699442.526 * * [misc]simplify:  Extracting #4: cost 10 inf + 2
1550699442.526 * * [misc]simplify:  Extracting #5: cost 9 inf + 4
1550699442.526 * * [misc]simplify:  Extracting #6: cost 10 inf + 5
1550699442.526 * * [misc]simplify:  Extracting #7: cost 9 inf + 648
1550699442.526 * * [misc]simplify:  Extracting #8: cost 7 inf + 970
1550699442.526 * * [misc]simplify:  Extracting #9: cost 5 inf + 2374
1550699442.527 * * [misc]simplify:  Extracting #10: cost 2 inf + 5262
1550699442.528 * * [misc]simplify:  Extracting #11: cost 0 inf + 7829
1550699442.528 * [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))
1550699442.528 * [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)))
1550699442.529 * * * * [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)))))>
1550699442.529 * [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))))
1550699442.529 * * [misc]simplify:  iters left: 6 (14 enodes)
1550699442.536 * * [misc]simplify:  iters left: 5 (30 enodes)
1550699442.548 * * [misc]simplify:  iters left: 4 (32 enodes)
1550699442.558 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699442.558 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699442.558 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550699442.558 * * [misc]simplify:  Extracting #3: cost 8 inf + 1
1550699442.558 * * [misc]simplify:  Extracting #4: cost 10 inf + 2
1550699442.558 * * [misc]simplify:  Extracting #5: cost 9 inf + 4
1550699442.559 * * [misc]simplify:  Extracting #6: cost 10 inf + 5
1550699442.559 * * [misc]simplify:  Extracting #7: cost 9 inf + 648
1550699442.559 * * [misc]simplify:  Extracting #8: cost 7 inf + 970
1550699442.559 * * [misc]simplify:  Extracting #9: cost 5 inf + 2374
1550699442.560 * * [misc]simplify:  Extracting #10: cost 2 inf + 5262
1550699442.560 * * [misc]simplify:  Extracting #11: cost 0 inf + 7829
1550699442.561 * [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))
1550699442.561 * [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)))
1550699442.561 * * * * [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)))))>
1550699442.562 * [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))))
1550699442.562 * * [misc]simplify:  iters left: 6 (14 enodes)
1550699442.569 * * [misc]simplify:  iters left: 5 (30 enodes)
1550699442.581 * * [misc]simplify:  iters left: 4 (32 enodes)
1550699442.591 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699442.591 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699442.591 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550699442.591 * * [misc]simplify:  Extracting #3: cost 8 inf + 1
1550699442.591 * * [misc]simplify:  Extracting #4: cost 10 inf + 2
1550699442.591 * * [misc]simplify:  Extracting #5: cost 9 inf + 4
1550699442.592 * * [misc]simplify:  Extracting #6: cost 10 inf + 5
1550699442.592 * * [misc]simplify:  Extracting #7: cost 9 inf + 648
1550699442.592 * * [misc]simplify:  Extracting #8: cost 7 inf + 970
1550699442.592 * * [misc]simplify:  Extracting #9: cost 5 inf + 2374
1550699442.592 * * [misc]simplify:  Extracting #10: cost 2 inf + 5262
1550699442.593 * * [misc]simplify:  Extracting #11: cost 0 inf + 7829
1550699442.594 * [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))
1550699442.594 * [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)))
1550699442.594 * * * [misc]progress:  adding candidates to table
1550699442.935 * [misc]progress:  [Phase 3 of 3] Extracting.
1550699442.977 * [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))))
1550699442.977 * * [misc]simplify:  iters left: 6 (14 enodes)
1550699442.979 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699442.979 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699442.979 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550699442.979 * * [misc]simplify:  Extracting #3: cost 6 inf + 1
1550699442.979 * * [misc]simplify:  Extracting #4: cost 8 inf + 2
1550699442.979 * * [misc]simplify:  Extracting #5: cost 6 inf + 5
1550699442.980 * * [misc]simplify:  Extracting #6: cost 8 inf + 5
1550699442.980 * * [misc]simplify:  Extracting #7: cost 8 inf + 326
1550699442.980 * * [misc]simplify:  Extracting #8: cost 6 inf + 648
1550699442.980 * * [misc]simplify:  Extracting #9: cost 4 inf + 2052
1550699442.980 * * [misc]simplify:  Extracting #10: cost 2 inf + 3897
1550699442.981 * * [misc]simplify:  Extracting #11: cost 0 inf + 6464
1550699442.981 * [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))))
1550699442.981 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1550699443.021 * * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
1550699443.026 * * * * [misc]points:  Setting MPFR precision to 64
1550699443.028 * * * * [misc]points:  Setting MPFR precision to 320
1550699443.030 * * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
1550699443.034 * * * * [misc]points:  Setting MPFR precision to 64
1550699443.038 * * * * [misc]points:  Setting MPFR precision to 320
1550699443.042 * * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
1550699443.046 * * * * [misc]points:  Setting MPFR precision to 64
1550699443.053 * * * * [misc]points:  Setting MPFR precision to 320
1550699443.062 * * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
1550699443.066 * * * * [misc]points:  Setting MPFR precision to 64
1550699443.102 * * * * [misc]points:  Setting MPFR precision to 320
1550699443.120 * * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
1550699443.124 * * * * [misc]points:  Setting MPFR precision to 64
1550699443.152 * * * * [misc]points:  Setting MPFR precision to 320
1550699443.186 * * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
1550699443.190 * * * * [misc]points:  Setting MPFR precision to 64
1550699443.243 * * * * [misc]points:  Setting MPFR precision to 320
1550699443.315 * * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
1550699443.369 * * * * [misc]points:  Setting MPFR precision to 64
1550699443.478 * * * * [misc]points:  Setting MPFR precision to 320
1550699443.654 * * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
1550699443.658 * * * * [misc]points:  Setting MPFR precision to 64
1550699443.922 * * * * [misc]points:  Setting MPFR precision to 320
1550699444.265 * * * * [misc]points:  Computing exacts for 8000 points
1550699444.270 * * * * [misc]points:  Setting MPFR precision to 64
1550699445.351 * * * * [misc]points:  Setting MPFR precision to 320
1550699447.243 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699448.033 * * * * [exit]points:  Sampled 8000 points with exact outputs
1550699450.852 * [misc]regime-testing:  Baseline error score: 64.0
1550699450.857 * [misc]regime-testing:  Oracle error score: 64.0
1550699450.857 * [misc]regime-testing:  End program error score: 2.1141329960324993