1554305028.956 * [misc]progress:  [Phase 1 of 3] Setting up.
1554305028.956 * * * [misc]progress:  [1/2] Preparing points
1554305028.956 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1554305028.957 * * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
1554305028.958 * * * * [misc]points:  Setting MPFR precision to 64
1554305028.959 * * * * [misc]points:  Setting MPFR precision to 320
1554305028.960 * * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
1554305028.962 * * * * [misc]points:  Setting MPFR precision to 64
1554305028.963 * * * * [misc]points:  Setting MPFR precision to 320
1554305028.965 * * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
1554305028.967 * * * * [misc]points:  Setting MPFR precision to 64
1554305028.969 * * * * [misc]points:  Setting MPFR precision to 320
1554305028.972 * * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
1554305028.974 * * * * [misc]points:  Setting MPFR precision to 64
1554305028.978 * * * * [misc]points:  Setting MPFR precision to 320
1554305028.982 * * * * [misc]points:  Computing exacts for 256 points
1554305028.984 * * * * [misc]points:  Setting MPFR precision to 64
1554305029.004 * * * * [misc]points:  Setting MPFR precision to 320
1554305029.017 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305029.017 * * * * [exit]points:  Sampled 256 points with exact outputs
1554305029.017 * * * [misc]progress:  [2/2] Setting up program.
1554305029.027 * [misc]progress:  [Phase 2 of 3] Improving.
1554305029.027 * * * * [misc]progress:  [ 1 / 1 ] simplifiying candidate #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))>
1554305029.027 * [enter]simplify:  Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1554305029.027 * * [misc]simplify:  iters left: 5 (9 enodes)
1554305029.029 * * [misc]simplify:  iters left: 4 (22 enodes)
1554305029.033 * * [misc]simplify:  iters left: 3 (42 enodes)
1554305029.041 * * [misc]simplify:  iters left: 2 (100 enodes)
1554305029.062 * * [misc]simplify:  iters left: 1 (347 enodes)
1554305029.258 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554305029.258 * * [misc]simplify:  Extracting #1: cost 48 inf + 0
1554305029.259 * * [misc]simplify:  Extracting #2: cost 269 inf + 0
1554305029.260 * * [misc]simplify:  Extracting #3: cost 457 inf + 1
1554305029.269 * * [misc]simplify:  Extracting #4: cost 422 inf + 210469
1554305029.315 * * [misc]simplify:  Extracting #5: cost 77 inf + 915056
1554305029.415 * * [misc]simplify:  Extracting #6: cost 3 inf + 1114648
1554305029.482 * * [misc]simplify:  Extracting #7: cost 1 inf + 1091652
1554305029.601 * * [misc]simplify:  Extracting #8: cost 0 inf + 1093814
1554305029.667 * * [misc]simplify:  Extracting #9: cost 0 inf + 1093774
1554305029.785 * [exit]simplify:  Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1554305029.785 * [misc]simplify:  Simplified (2) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))))
1554305029.802 * * [misc]progress:  iteration 1 / 4
1554305029.802 * * * [misc]progress:  picking best candidate
1554305029.819 * * * * [misc]pick:  Picked  #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))>
1554305029.819 * * * [misc]progress:  localizing error
1554305030.045 * * * [misc]progress:  generating rewritten candidates
1554305030.045 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2)
1554305030.050 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 2)
1554305030.052 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1)
1554305030.054 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 2 2)
1554305030.055 * * * [misc]progress:  generating series expansions
1554305030.055 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2)
1554305030.055 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 2)
1554305030.055 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1)
1554305030.055 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 2 2)
1554305030.055 * * * [misc]progress:  simplifying candidates
1554305030.055 * * * * [misc]progress:  [ 1 / 6 ] simplifiying candidate #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (neg.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
1554305030.055 * * * * [misc]progress:  [ 2 / 6 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
1554305030.055 * * * * [misc]progress:  [ 3 / 6 ] simplifiying candidate #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))>
1554305030.055 * [enter]simplify:  Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1554305030.056 * * [misc]simplify:  iters left: 5 (9 enodes)
1554305030.060 * * [misc]simplify:  iters left: 4 (22 enodes)
1554305030.068 * * [misc]simplify:  iters left: 3 (42 enodes)
1554305030.082 * * [misc]simplify:  iters left: 2 (100 enodes)
1554305030.138 * * [misc]simplify:  iters left: 1 (347 enodes)
1554305030.413 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554305030.413 * * [misc]simplify:  Extracting #1: cost 48 inf + 0
1554305030.414 * * [misc]simplify:  Extracting #2: cost 269 inf + 0
1554305030.417 * * [misc]simplify:  Extracting #3: cost 457 inf + 1
1554305030.434 * * [misc]simplify:  Extracting #4: cost 422 inf + 210469
1554305030.526 * * [misc]simplify:  Extracting #5: cost 77 inf + 915056
1554305030.645 * * [misc]simplify:  Extracting #6: cost 3 inf + 1114648
1554305030.744 * * [misc]simplify:  Extracting #7: cost 1 inf + 1091652
1554305030.867 * * [misc]simplify:  Extracting #8: cost 0 inf + 1093814
1554305030.991 * * [misc]simplify:  Extracting #9: cost 0 inf + 1093774
1554305031.116 * [exit]simplify:  Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1554305031.116 * [misc]simplify:  Simplified (2) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))))
1554305031.116 * * * * [misc]progress:  [ 4 / 6 ] simplifiying candidate #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))>
1554305031.116 * [enter]simplify:  Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1554305031.116 * * [misc]simplify:  iters left: 5 (9 enodes)
1554305031.121 * * [misc]simplify:  iters left: 4 (22 enodes)
1554305031.129 * * [misc]simplify:  iters left: 3 (42 enodes)
1554305031.146 * * [misc]simplify:  iters left: 2 (100 enodes)
1554305031.193 * * [misc]simplify:  iters left: 1 (347 enodes)
1554305031.498 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554305031.499 * * [misc]simplify:  Extracting #1: cost 48 inf + 0
1554305031.500 * * [misc]simplify:  Extracting #2: cost 269 inf + 0
1554305031.503 * * [misc]simplify:  Extracting #3: cost 457 inf + 1
1554305031.521 * * [misc]simplify:  Extracting #4: cost 422 inf + 210469
1554305031.618 * * [misc]simplify:  Extracting #5: cost 77 inf + 915056
1554305031.715 * * [misc]simplify:  Extracting #6: cost 3 inf + 1114648
1554305031.814 * * [misc]simplify:  Extracting #7: cost 1 inf + 1091652
1554305031.934 * * [misc]simplify:  Extracting #8: cost 0 inf + 1093814
1554305032.058 * * [misc]simplify:  Extracting #9: cost 0 inf + 1093774
1554305032.179 * [exit]simplify:  Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1554305032.179 * [misc]simplify:  Simplified (2) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))))
1554305032.179 * * * * [misc]progress:  [ 5 / 6 ] simplifiying candidate #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))>
1554305032.180 * [enter]simplify:  Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1554305032.180 * * [misc]simplify:  iters left: 5 (9 enodes)
1554305032.186 * * [misc]simplify:  iters left: 4 (22 enodes)
1554305032.195 * * [misc]simplify:  iters left: 3 (42 enodes)
1554305032.210 * * [misc]simplify:  iters left: 2 (100 enodes)
1554305032.254 * * [misc]simplify:  iters left: 1 (347 enodes)
1554305032.521 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554305032.522 * * [misc]simplify:  Extracting #1: cost 48 inf + 0
1554305032.522 * * [misc]simplify:  Extracting #2: cost 269 inf + 0
1554305032.524 * * [misc]simplify:  Extracting #3: cost 457 inf + 1
1554305032.533 * * [misc]simplify:  Extracting #4: cost 422 inf + 210469
1554305032.577 * * [misc]simplify:  Extracting #5: cost 77 inf + 915056
1554305032.644 * * [misc]simplify:  Extracting #6: cost 3 inf + 1114648
1554305032.708 * * [misc]simplify:  Extracting #7: cost 1 inf + 1091652
1554305032.770 * * [misc]simplify:  Extracting #8: cost 0 inf + 1093814
1554305032.832 * * [misc]simplify:  Extracting #9: cost 0 inf + 1093774
1554305032.895 * [exit]simplify:  Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1554305032.895 * [misc]simplify:  Simplified (2) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))))
1554305032.895 * * * * [misc]progress:  [ 6 / 6 ] simplifiying candidate #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))>
1554305032.895 * [enter]simplify:  Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1554305032.895 * * [misc]simplify:  iters left: 5 (9 enodes)
1554305032.898 * * [misc]simplify:  iters left: 4 (22 enodes)
1554305032.901 * * [misc]simplify:  iters left: 3 (42 enodes)
1554305032.909 * * [misc]simplify:  iters left: 2 (100 enodes)
1554305032.931 * * [misc]simplify:  iters left: 1 (347 enodes)
1554305033.097 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554305033.098 * * [misc]simplify:  Extracting #1: cost 48 inf + 0
1554305033.099 * * [misc]simplify:  Extracting #2: cost 269 inf + 0
1554305033.102 * * [misc]simplify:  Extracting #3: cost 457 inf + 1
1554305033.121 * * [misc]simplify:  Extracting #4: cost 422 inf + 210469
1554305033.209 * * [misc]simplify:  Extracting #5: cost 77 inf + 915056
1554305033.302 * * [misc]simplify:  Extracting #6: cost 3 inf + 1114648
1554305033.426 * * [misc]simplify:  Extracting #7: cost 1 inf + 1091652
1554305033.497 * * [misc]simplify:  Extracting #8: cost 0 inf + 1093814
1554305033.606 * * [misc]simplify:  Extracting #9: cost 0 inf + 1093774
1554305033.727 * [exit]simplify:  Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1554305033.728 * [misc]simplify:  Simplified (2) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))))
1554305033.728 * * * [misc]progress:  adding candidates to table
1554305033.836 * * [misc]progress:  iteration 2 / 4
1554305033.836 * * * [misc]progress:  picking best candidate
1554305033.846 * * * * [misc]pick:  Picked  #<alt (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
1554305033.846 * * * [misc]progress:  localizing error
1554305033.954 * * * [misc]progress:  generating rewritten candidates
1554305033.954 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 2)
1554305033.956 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1)
1554305033.958 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 2 2)
1554305033.959 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 2 2)
1554305033.960 * * * [misc]progress:  generating series expansions
1554305033.961 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 2)
1554305033.961 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1)
1554305033.961 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 2 2)
1554305033.961 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 2 2)
1554305033.961 * * * [misc]progress:  simplifying candidates
1554305033.961 * * * * [misc]progress:  [ 1 / 10 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (/.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (real->posit16 1)) (sqrt.p16 (+.p16 x (real->posit16 1))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
1554305033.961 * [enter]simplify:  Simplifying (sqrt.p16 (+.p16 x (real->posit16 1)))
1554305033.961 * * [misc]simplify:  iters left: 3 (5 enodes)
1554305033.964 * * [misc]simplify:  iters left: 2 (11 enodes)
1554305033.968 * * [misc]simplify:  iters left: 1 (13 enodes)
1554305033.971 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554305033.972 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1554305033.972 * * [misc]simplify:  Extracting #2: cost 4 inf + 0
1554305033.972 * * [misc]simplify:  Extracting #3: cost 4 inf + 1
1554305033.972 * * [misc]simplify:  Extracting #4: cost 0 inf + 127
1554305033.972 * [exit]simplify:  Simplified to (sqrt.p16 (+.p16 (real->posit16 1) x))
1554305033.972 * [misc]simplify:  Simplified (2 1 2 2) to (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (/.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (real->posit16 1)) (sqrt.p16 (+.p16 (real->posit16 1) x)))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
1554305033.972 * * * * [misc]progress:  [ 2 / 10 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
1554305033.972 * [enter]simplify:  Simplifying (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1554305033.973 * * [misc]simplify:  iters left: 5 (7 enodes)
1554305033.976 * * [misc]simplify:  iters left: 4 (16 enodes)
1554305033.981 * * [misc]simplify:  iters left: 3 (20 enodes)
1554305033.988 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554305033.988 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1554305033.988 * * [misc]simplify:  Extracting #2: cost 8 inf + 0
1554305033.988 * * [misc]simplify:  Extracting #3: cost 8 inf + 1
1554305033.988 * * [misc]simplify:  Extracting #4: cost 5 inf + 324
1554305033.989 * * [misc]simplify:  Extracting #5: cost 0 inf + 2334
1554305033.989 * [exit]simplify:  Simplified to (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))) (real->posit16 1))
1554305033.989 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (/.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))) (real->posit16 1)) (sqrt.p16 (+.p16 x (real->posit16 1))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
1554305033.989 * * * * [misc]progress:  [ 3 / 10 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
1554305033.989 * * * * [misc]progress:  [ 4 / 10 ] simplifiying candidate #<alt (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
1554305033.989 * [enter]simplify:  Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1554305033.990 * * [misc]simplify:  iters left: 5 (9 enodes)
1554305033.993 * * [misc]simplify:  iters left: 4 (16 enodes)
1554305033.998 * * [misc]simplify:  iters left: 3 (18 enodes)
1554305034.004 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554305034.004 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554305034.004 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554305034.004 * * [misc]simplify:  Extracting #3: cost 9 inf + 0
1554305034.004 * * [misc]simplify:  Extracting #4: cost 6 inf + 43
1554305034.004 * * [misc]simplify:  Extracting #5: cost 0 inf + 2214
1554305034.005 * [exit]simplify:  Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1554305034.005 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
1554305034.005 * [enter]simplify:  Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1554305034.005 * * [misc]simplify:  iters left: 5 (9 enodes)
1554305034.009 * * [misc]simplify:  iters left: 4 (22 enodes)
1554305034.016 * * [misc]simplify:  iters left: 3 (42 enodes)
1554305034.030 * * [misc]simplify:  iters left: 2 (100 enodes)
1554305034.067 * * [misc]simplify:  iters left: 1 (347 enodes)
1554305034.338 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554305034.339 * * [misc]simplify:  Extracting #1: cost 48 inf + 0
1554305034.340 * * [misc]simplify:  Extracting #2: cost 269 inf + 0
1554305034.342 * * [misc]simplify:  Extracting #3: cost 457 inf + 1
1554305034.357 * * [misc]simplify:  Extracting #4: cost 422 inf + 210469
1554305034.438 * * [misc]simplify:  Extracting #5: cost 77 inf + 915056
1554305034.562 * * [misc]simplify:  Extracting #6: cost 3 inf + 1114648
1554305034.683 * * [misc]simplify:  Extracting #7: cost 1 inf + 1091652
1554305034.805 * * [misc]simplify:  Extracting #8: cost 0 inf + 1093814
1554305034.928 * * [misc]simplify:  Extracting #9: cost 0 inf + 1093774
1554305035.050 * [exit]simplify:  Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1554305035.050 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
1554305035.050 * * * * [misc]progress:  [ 5 / 10 ] simplifiying candidate #<alt (λ (x) (/.p16 (+.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (neg.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
1554305035.051 * * * * [misc]progress:  [ 6 / 10 ] simplifiying candidate #<alt (λ (x) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))) (+.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
1554305035.051 * * * * [misc]progress:  [ 7 / 10 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
1554305035.051 * * * * [misc]progress:  [ 8 / 10 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
1554305035.051 * * * * [misc]progress:  [ 9 / 10 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
1554305035.051 * * * * [misc]progress:  [ 10 / 10 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
1554305035.051 * * * [misc]progress:  adding candidates to table
1554305035.385 * * [misc]progress:  iteration 3 / 4
1554305035.385 * * * [misc]progress:  picking best candidate
1554305035.442 * * * * [misc]pick:  Picked  #<alt (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
1554305035.442 * * * [misc]progress:  localizing error
1554305035.529 * * * [misc]progress:  generating rewritten candidates
1554305035.529 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 2)
1554305035.535 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 2 2)
1554305035.537 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 2 2)
1554305035.539 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1 2)
1554305035.541 * * * [misc]progress:  generating series expansions
1554305035.541 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 2)
1554305035.541 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 2 2)
1554305035.541 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 2 2)
1554305035.541 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1 2)
1554305035.541 * * * [misc]progress:  simplifying candidates
1554305035.541 * * * * [misc]progress:  [ 1 / 6 ] simplifiying candidate #<alt (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (neg.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
1554305035.541 * * * * [misc]progress:  [ 2 / 6 ] simplifiying candidate #<alt (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
1554305035.542 * * * * [misc]progress:  [ 3 / 6 ] simplifiying candidate #<alt (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
1554305035.542 * [enter]simplify:  Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1554305035.542 * * [misc]simplify:  iters left: 5 (9 enodes)
1554305035.546 * * [misc]simplify:  iters left: 4 (16 enodes)
1554305035.559 * * [misc]simplify:  iters left: 3 (18 enodes)
1554305035.564 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554305035.564 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554305035.564 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554305035.564 * * [misc]simplify:  Extracting #3: cost 9 inf + 0
1554305035.564 * * [misc]simplify:  Extracting #4: cost 6 inf + 43
1554305035.565 * * [misc]simplify:  Extracting #5: cost 0 inf + 2214
1554305035.565 * [exit]simplify:  Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1554305035.565 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
1554305035.565 * [enter]simplify:  Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1554305035.565 * * [misc]simplify:  iters left: 5 (9 enodes)
1554305035.570 * * [misc]simplify:  iters left: 4 (22 enodes)
1554305035.577 * * [misc]simplify:  iters left: 3 (42 enodes)
1554305035.593 * * [misc]simplify:  iters left: 2 (100 enodes)
1554305035.636 * * [misc]simplify:  iters left: 1 (347 enodes)
1554305035.934 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554305035.934 * * [misc]simplify:  Extracting #1: cost 48 inf + 0
1554305035.936 * * [misc]simplify:  Extracting #2: cost 269 inf + 0
1554305035.939 * * [misc]simplify:  Extracting #3: cost 457 inf + 1
1554305035.957 * * [misc]simplify:  Extracting #4: cost 422 inf + 210469
1554305036.044 * * [misc]simplify:  Extracting #5: cost 77 inf + 915056
1554305036.170 * * [misc]simplify:  Extracting #6: cost 3 inf + 1114648
1554305036.293 * * [misc]simplify:  Extracting #7: cost 1 inf + 1091652
1554305036.418 * * [misc]simplify:  Extracting #8: cost 0 inf + 1093814
1554305036.538 * * [misc]simplify:  Extracting #9: cost 0 inf + 1093774
1554305036.659 * [exit]simplify:  Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1554305036.659 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
1554305036.660 * * * * [misc]progress:  [ 4 / 6 ] simplifiying candidate #<alt (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
1554305036.660 * [enter]simplify:  Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1554305036.660 * * [misc]simplify:  iters left: 5 (9 enodes)
1554305036.664 * * [misc]simplify:  iters left: 4 (16 enodes)
1554305036.670 * * [misc]simplify:  iters left: 3 (18 enodes)
1554305036.675 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554305036.675 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554305036.676 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554305036.676 * * [misc]simplify:  Extracting #3: cost 9 inf + 0
1554305036.676 * * [misc]simplify:  Extracting #4: cost 6 inf + 43
1554305036.676 * * [misc]simplify:  Extracting #5: cost 0 inf + 2214
1554305036.676 * [exit]simplify:  Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1554305036.676 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
1554305036.677 * [enter]simplify:  Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1554305036.677 * * [misc]simplify:  iters left: 5 (9 enodes)
1554305036.681 * * [misc]simplify:  iters left: 4 (22 enodes)
1554305036.690 * * [misc]simplify:  iters left: 3 (42 enodes)
1554305036.705 * * [misc]simplify:  iters left: 2 (100 enodes)
1554305036.749 * * [misc]simplify:  iters left: 1 (347 enodes)
1554305036.980 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554305036.980 * * [misc]simplify:  Extracting #1: cost 48 inf + 0
1554305036.981 * * [misc]simplify:  Extracting #2: cost 269 inf + 0
1554305036.984 * * [misc]simplify:  Extracting #3: cost 457 inf + 1
1554305036.998 * * [misc]simplify:  Extracting #4: cost 422 inf + 210469
1554305037.042 * * [misc]simplify:  Extracting #5: cost 77 inf + 915056
1554305037.116 * * [misc]simplify:  Extracting #6: cost 3 inf + 1114648
1554305037.177 * * [misc]simplify:  Extracting #7: cost 1 inf + 1091652
1554305037.240 * * [misc]simplify:  Extracting #8: cost 0 inf + 1093814
1554305037.305 * * [misc]simplify:  Extracting #9: cost 0 inf + 1093774
1554305037.366 * [exit]simplify:  Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1554305037.366 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
1554305037.366 * * * * [misc]progress:  [ 5 / 6 ] simplifiying candidate #<alt (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
1554305037.367 * [enter]simplify:  Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1554305037.367 * * [misc]simplify:  iters left: 5 (9 enodes)
1554305037.369 * * [misc]simplify:  iters left: 4 (16 enodes)
1554305037.372 * * [misc]simplify:  iters left: 3 (18 enodes)
1554305037.375 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554305037.375 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554305037.375 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554305037.375 * * [misc]simplify:  Extracting #3: cost 9 inf + 0
1554305037.375 * * [misc]simplify:  Extracting #4: cost 6 inf + 43
1554305037.375 * * [misc]simplify:  Extracting #5: cost 0 inf + 2214
1554305037.375 * [exit]simplify:  Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1554305037.375 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
1554305037.375 * [enter]simplify:  Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1554305037.375 * * [misc]simplify:  iters left: 5 (9 enodes)
1554305037.377 * * [misc]simplify:  iters left: 4 (22 enodes)
1554305037.381 * * [misc]simplify:  iters left: 3 (42 enodes)
1554305037.389 * * [misc]simplify:  iters left: 2 (100 enodes)
1554305037.412 * * [misc]simplify:  iters left: 1 (347 enodes)
1554305037.562 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554305037.562 * * [misc]simplify:  Extracting #1: cost 48 inf + 0
1554305037.563 * * [misc]simplify:  Extracting #2: cost 269 inf + 0
1554305037.564 * * [misc]simplify:  Extracting #3: cost 457 inf + 1
1554305037.573 * * [misc]simplify:  Extracting #4: cost 422 inf + 210469
1554305037.621 * * [misc]simplify:  Extracting #5: cost 77 inf + 915056
1554305037.684 * * [misc]simplify:  Extracting #6: cost 3 inf + 1114648
1554305037.749 * * [misc]simplify:  Extracting #7: cost 1 inf + 1091652
1554305037.810 * * [misc]simplify:  Extracting #8: cost 0 inf + 1093814
1554305037.872 * * [misc]simplify:  Extracting #9: cost 0 inf + 1093774
1554305037.934 * [exit]simplify:  Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1554305037.934 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
1554305037.934 * * * * [misc]progress:  [ 6 / 6 ] simplifiying candidate #<alt (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
1554305037.934 * [enter]simplify:  Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1554305037.935 * * [misc]simplify:  iters left: 5 (9 enodes)
1554305037.937 * * [misc]simplify:  iters left: 4 (16 enodes)
1554305037.940 * * [misc]simplify:  iters left: 3 (18 enodes)
1554305037.944 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554305037.944 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554305037.944 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554305037.944 * * [misc]simplify:  Extracting #3: cost 9 inf + 0
1554305037.944 * * [misc]simplify:  Extracting #4: cost 6 inf + 43
1554305037.944 * * [misc]simplify:  Extracting #5: cost 0 inf + 2214
1554305037.944 * [exit]simplify:  Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1554305037.944 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
1554305037.944 * [enter]simplify:  Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1554305037.944 * * [misc]simplify:  iters left: 5 (9 enodes)
1554305037.946 * * [misc]simplify:  iters left: 4 (22 enodes)
1554305037.950 * * [misc]simplify:  iters left: 3 (42 enodes)
1554305037.958 * * [misc]simplify:  iters left: 2 (100 enodes)
1554305037.980 * * [misc]simplify:  iters left: 1 (347 enodes)
1554305038.212 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554305038.212 * * [misc]simplify:  Extracting #1: cost 48 inf + 0
1554305038.213 * * [misc]simplify:  Extracting #2: cost 269 inf + 0
1554305038.216 * * [misc]simplify:  Extracting #3: cost 457 inf + 1
1554305038.225 * * [misc]simplify:  Extracting #4: cost 422 inf + 210469
1554305038.269 * * [misc]simplify:  Extracting #5: cost 77 inf + 915056
1554305038.333 * * [misc]simplify:  Extracting #6: cost 3 inf + 1114648
1554305038.395 * * [misc]simplify:  Extracting #7: cost 1 inf + 1091652
1554305038.461 * * [misc]simplify:  Extracting #8: cost 0 inf + 1093814
1554305038.522 * * [misc]simplify:  Extracting #9: cost 0 inf + 1093774
1554305038.585 * [exit]simplify:  Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1554305038.585 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
1554305038.585 * * * [misc]progress:  adding candidates to table
1554305038.676 * * [misc]progress:  iteration 4 / 4
1554305038.676 * * * [misc]progress:  picking best candidate
1554305038.696 * * * * [misc]pick:  Picked  #<alt (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (/.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (real->posit16 1)) (sqrt.p16 (+.p16 x (real->posit16 1))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
1554305038.696 * * * [misc]progress:  localizing error
1554305038.778 * * * [misc]progress:  generating rewritten candidates
1554305038.779 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1)
1554305038.782 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 2)
1554305038.784 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 2 2)
1554305038.785 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 2 1 1)
1554305038.786 * * * [misc]progress:  generating series expansions
1554305038.786 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1)
1554305038.786 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 2)
1554305038.786 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 2 2)
1554305038.786 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 2 1 1)
1554305038.786 * * * [misc]progress:  simplifying candidates
1554305038.786 * * * * [misc]progress:  [ 1 / 8 ] simplifiying candidate #<alt (λ (x) (/.p16 (+.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (neg.p16 (/.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (real->posit16 1)) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
1554305038.786 * * * * [misc]progress:  [ 2 / 8 ] simplifiying candidate #<alt (λ (x) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x)))) (*.p16 (/.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (real->posit16 1)) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (real->posit16 1)) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (/.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (real->posit16 1)) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
1554305038.786 * * * * [misc]progress:  [ 3 / 8 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (/.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (real->posit16 1)))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
1554305038.786 * [enter]simplify:  Simplifying (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))
1554305038.786 * * [misc]simplify:  iters left: 4 (6 enodes)
1554305038.788 * * [misc]simplify:  iters left: 3 (12 enodes)
1554305038.797 * * [misc]simplify:  iters left: 2 (14 enodes)
1554305038.799 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554305038.799 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554305038.799 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1554305038.800 * * [misc]simplify:  Extracting #3: cost 5 inf + 1
1554305038.800 * * [misc]simplify:  Extracting #4: cost 0 inf + 649
1554305038.800 * [exit]simplify:  Simplified to (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))
1554305038.800 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (/.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))) (/.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (real->posit16 1)))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
1554305038.800 * * * * [misc]progress:  [ 4 / 8 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
1554305038.800 * [enter]simplify:  Simplifying (*.p16 (real->posit16 1) (real->posit16 1))
1554305038.800 * * [misc]simplify:  iters left: 2 (3 enodes)
1554305038.801 * * [misc]simplify:  iters left: 1 (6 enodes)
1554305038.802 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554305038.802 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1554305038.802 * * [misc]simplify:  Extracting #2: cost 3 inf + 0
1554305038.802 * * [misc]simplify:  Extracting #3: cost 2 inf + 1
1554305038.803 * * [misc]simplify:  Extracting #4: cost 0 inf + 323
1554305038.803 * [exit]simplify:  Simplified to (*.p16 (real->posit16 1) (real->posit16 1))
1554305038.803 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
1554305038.803 * * * * [misc]progress:  [ 5 / 8 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (/.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (real->posit16 1)) (sqrt.p16 (+.p16 x (real->posit16 1))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
1554305038.803 * [enter]simplify:  Simplifying (sqrt.p16 (+.p16 x (real->posit16 1)))
1554305038.803 * * [misc]simplify:  iters left: 3 (5 enodes)
1554305038.804 * * [misc]simplify:  iters left: 2 (11 enodes)
1554305038.806 * * [misc]simplify:  iters left: 1 (13 enodes)
1554305038.808 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554305038.808 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1554305038.808 * * [misc]simplify:  Extracting #2: cost 4 inf + 0
1554305038.808 * * [misc]simplify:  Extracting #3: cost 4 inf + 1
1554305038.808 * * [misc]simplify:  Extracting #4: cost 0 inf + 127
1554305038.808 * [exit]simplify:  Simplified to (sqrt.p16 (+.p16 (real->posit16 1) x))
1554305038.808 * [misc]simplify:  Simplified (2 1 2 2) to (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (/.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (real->posit16 1)) (sqrt.p16 (+.p16 (real->posit16 1) x)))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
1554305038.808 * * * * [misc]progress:  [ 6 / 8 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (/.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (real->posit16 1)) (sqrt.p16 (+.p16 x (real->posit16 1))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
1554305038.809 * [enter]simplify:  Simplifying (sqrt.p16 (+.p16 x (real->posit16 1)))
1554305038.809 * * [misc]simplify:  iters left: 3 (5 enodes)
1554305038.810 * * [misc]simplify:  iters left: 2 (11 enodes)
1554305038.812 * * [misc]simplify:  iters left: 1 (13 enodes)
1554305038.814 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554305038.814 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1554305038.814 * * [misc]simplify:  Extracting #2: cost 4 inf + 0
1554305038.814 * * [misc]simplify:  Extracting #3: cost 4 inf + 1
1554305038.814 * * [misc]simplify:  Extracting #4: cost 0 inf + 127
1554305038.814 * [exit]simplify:  Simplified to (sqrt.p16 (+.p16 (real->posit16 1) x))
1554305038.814 * [misc]simplify:  Simplified (2 1 2 2) to (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (/.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (real->posit16 1)) (sqrt.p16 (+.p16 (real->posit16 1) x)))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
1554305038.814 * * * * [misc]progress:  [ 7 / 8 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (/.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (real->posit16 1)) (sqrt.p16 (+.p16 x (real->posit16 1))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
1554305038.815 * [enter]simplify:  Simplifying (sqrt.p16 (+.p16 x (real->posit16 1)))
1554305038.815 * * [misc]simplify:  iters left: 3 (5 enodes)
1554305038.816 * * [misc]simplify:  iters left: 2 (11 enodes)
1554305038.818 * * [misc]simplify:  iters left: 1 (13 enodes)
1554305038.820 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554305038.820 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1554305038.820 * * [misc]simplify:  Extracting #2: cost 4 inf + 0
1554305038.820 * * [misc]simplify:  Extracting #3: cost 4 inf + 1
1554305038.821 * * [misc]simplify:  Extracting #4: cost 0 inf + 127
1554305038.821 * [exit]simplify:  Simplified to (sqrt.p16 (+.p16 (real->posit16 1) x))
1554305038.821 * [misc]simplify:  Simplified (2 1 2 2) to (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (/.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (real->posit16 1)) (sqrt.p16 (+.p16 (real->posit16 1) x)))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
1554305038.821 * * * * [misc]progress:  [ 8 / 8 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (/.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (real->posit16 1)) (sqrt.p16 (+.p16 x (real->posit16 1))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
1554305038.821 * [enter]simplify:  Simplifying (sqrt.p16 (+.p16 x (real->posit16 1)))
1554305038.821 * * [misc]simplify:  iters left: 3 (5 enodes)
1554305038.822 * * [misc]simplify:  iters left: 2 (11 enodes)
1554305038.824 * * [misc]simplify:  iters left: 1 (13 enodes)
1554305038.826 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554305038.826 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1554305038.826 * * [misc]simplify:  Extracting #2: cost 4 inf + 0
1554305038.826 * * [misc]simplify:  Extracting #3: cost 4 inf + 1
1554305038.826 * * [misc]simplify:  Extracting #4: cost 0 inf + 127
1554305038.826 * [exit]simplify:  Simplified to (sqrt.p16 (+.p16 (real->posit16 1) x))
1554305038.826 * [misc]simplify:  Simplified (2 1 2 2) to (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (/.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (real->posit16 1)) (sqrt.p16 (+.p16 (real->posit16 1) x)))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
1554305038.826 * * * [misc]progress:  adding candidates to table
1554305039.157 * [misc]progress:  [Phase 3 of 3] Extracting.
1554305039.158 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (x) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x)))) (*.p16 (/.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (real->posit16 1)) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (real->posit16 1)) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (/.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (real->posit16 1)) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))> #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))> #<alt (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))> #<alt (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))> #<alt (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>)
1554305039.160 * * * [misc]regime-changes:  Trying 1 branch expressions: (x)
1554305039.160 * * * * [misc]regimes:  Trying to branch on x from (#<alt (λ (x) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x)))) (*.p16 (/.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (real->posit16 1)) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (real->posit16 1)) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (/.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (real->posit16 1)) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))> #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))> #<alt (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))> #<alt (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))> #<alt (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>)
1554305039.312 * * * [misc]regime:  Found split indices: #<option (#s(si 1 256))>
1554305039.312 * [enter]simplify:  Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1554305039.312 * * [misc]simplify:  iters left: 5 (9 enodes)
1554305039.314 * * [misc]simplify:  iters left: 4 (11 enodes)
1554305039.315 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554305039.315 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554305039.315 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554305039.315 * * [misc]simplify:  Extracting #3: cost 9 inf + 0
1554305039.315 * * [misc]simplify:  Extracting #4: cost 6 inf + 43
1554305039.315 * * [misc]simplify:  Extracting #5: cost 0 inf + 2254
1554305039.315 * [exit]simplify:  Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1554305039.316 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1554305039.336 * * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
1554305039.340 * * * * [misc]points:  Setting MPFR precision to 64
1554305039.341 * * * * [misc]points:  Setting MPFR precision to 320
1554305039.343 * * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
1554305039.353 * * * * [misc]points:  Setting MPFR precision to 64
1554305039.357 * * * * [misc]points:  Setting MPFR precision to 320
1554305039.359 * * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
1554305039.363 * * * * [misc]points:  Setting MPFR precision to 64
1554305039.369 * * * * [misc]points:  Setting MPFR precision to 320
1554305039.375 * * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
1554305039.378 * * * * [misc]points:  Setting MPFR precision to 64
1554305039.390 * * * * [misc]points:  Setting MPFR precision to 320
1554305039.402 * * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
1554305039.405 * * * * [misc]points:  Setting MPFR precision to 64
1554305039.428 * * * * [misc]points:  Setting MPFR precision to 320
1554305039.450 * * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
1554305039.454 * * * * [misc]points:  Setting MPFR precision to 64
1554305039.501 * * * * [misc]points:  Setting MPFR precision to 320
1554305039.547 * * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
1554305039.551 * * * * [misc]points:  Setting MPFR precision to 64
1554305039.641 * * * * [misc]points:  Setting MPFR precision to 320
1554305039.691 * * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
1554305039.693 * * * * [misc]points:  Setting MPFR precision to 64
1554305039.822 * * * * [misc]points:  Setting MPFR precision to 320
1554305040.219 * * * * [misc]points:  Computing exacts for 8000 points
1554305040.223 * * * * [misc]points:  Setting MPFR precision to 64
1554305040.691 * * * * [misc]points:  Setting MPFR precision to 320
1554305041.307 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305041.318 * * * * [exit]points:  Sampled 8000 points with exact outputs
1554305043.751 * [misc]regime-testing:  Baseline error score: 64.0
1554305043.754 * [misc]regime-testing:  Oracle error score: 64.0
1554305043.758 * [misc]regime-testing:  End program error score: 0.5496534512716239