0.002 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.003 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.003 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.006 * * * * [points]: Setting MPFR precision to 64
0.008 * * * * [points]: Setting MPFR precision to 320
0.009 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.012 * * * * [points]: Setting MPFR precision to 64
0.015 * * * * [points]: Setting MPFR precision to 320
0.017 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.025 * * * * [points]: Setting MPFR precision to 64
0.030 * * * * [points]: Setting MPFR precision to 320
0.035 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.038 * * * * [points]: Setting MPFR precision to 64
0.046 * * * * [points]: Setting MPFR precision to 320
0.054 * * * * [points]: Computing exacts for 256 points
0.057 * * * * [points]: Setting MPFR precision to 64
0.083 * * * * [points]: Setting MPFR precision to 320
0.107 * * * * [points]: Filtering points with unrepresentable outputs
0.108 * * * * [points]: Sampled 256 points with exact outputs
0.108 * * * [progress]: [2/2] Setting up program.
0.124 * [progress]: [Phase 2 of 3] Improving.
0.124 * * * * [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))))))>
0.125 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
0.125 * * [simplify]: iters left: 5 (9 enodes)
0.129 * * [simplify]: iters left: 4 (22 enodes)
0.137 * * [simplify]: iters left: 3 (42 enodes)
0.153 * * [simplify]: iters left: 2 (100 enodes)
0.193 * * [simplify]: iters left: 1 (348 enodes)
0.519 * * [simplify]: Extracting #0: cost 1 inf + 0
0.519 * * [simplify]: Extracting #1: cost 48 inf + 0
0.521 * * [simplify]: Extracting #2: cost 269 inf + 0
0.524 * * [simplify]: Extracting #3: cost 473 inf + 2
0.544 * * [simplify]: Extracting #4: cost 434 inf + 227768
0.645 * * [simplify]: Extracting #5: cost 77 inf + 952697
0.772 * * [simplify]: Extracting #6: cost 3 inf + 1165210
0.897 * * [simplify]: Extracting #7: cost 0 inf + 1153656
0.980 * * [simplify]: Extracting #8: cost 0 inf + 1152296
1.098 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1.098 * [simplify]: Simplified (2) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))))
1.116 * * [progress]: iteration 1 / 4
1.116 * * * [progress]: picking best candidate
1.132 * * * * [pick]: Picked  #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))>
1.132 * * * [progress]: localizing error
1.328 * * * [progress]: generating rewritten candidates
1.328 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
1.334 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
1.336 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
1.338 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
1.339 * * * [progress]: generating series expansions
1.339 * * * * [progress]: [ 1 / 4 ] generating series at (2)
1.339 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
1.339 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
1.339 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
1.339 * * * [progress]: simplifying candidates
1.339 * * * * [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)))))))>
1.339 * [simplify]: Simplifying (neg.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1.339 * * [simplify]: iters left: 5 (7 enodes)
1.343 * * [simplify]: iters left: 4 (13 enodes)
1.347 * * [simplify]: iters left: 3 (15 enodes)
1.351 * * [simplify]: Extracting #0: cost 1 inf + 0
1.352 * * [simplify]: Extracting #1: cost 2 inf + 0
1.352 * * [simplify]: Extracting #2: cost 4 inf + 0
1.352 * * [simplify]: Extracting #3: cost 6 inf + 0
1.352 * * [simplify]: Extracting #4: cost 6 inf + 1
1.352 * * [simplify]: Extracting #5: cost 0 inf + 1251
1.352 * [simplify]: Simplified to (neg.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1.352 * [simplify]: Simplified (2 2) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (neg.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))))
1.352 * * * * [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)))))))>
1.353 * [simplify]: Simplifying (-.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))))))
1.353 * * [simplify]: iters left: 6 (11 enodes)
1.358 * * [simplify]: iters left: 5 (35 enodes)
1.372 * * [simplify]: iters left: 4 (87 enodes)
1.406 * * [simplify]: iters left: 3 (261 enodes)
1.571 * * [simplify]: Extracting #0: cost 1 inf + 0
1.572 * * [simplify]: Extracting #1: cost 34 inf + 0
1.572 * * [simplify]: Extracting #2: cost 176 inf + 0
1.574 * * [simplify]: Extracting #3: cost 253 inf + 5588
1.585 * * [simplify]: Extracting #4: cost 230 inf + 217837
1.612 * * [simplify]: Extracting #5: cost 21 inf + 650533
1.680 * * [simplify]: Extracting #6: cost 0 inf + 705535
1.744 * [simplify]: Simplified to (-.p16 (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) x) (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (+.p16 (real->posit16 1) x)))
1.744 * [simplify]: Simplified (2 1) to (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) x) (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (+.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
1.745 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1.745 * * [simplify]: iters left: 5 (9 enodes)
1.749 * * [simplify]: iters left: 4 (16 enodes)
1.754 * * [simplify]: iters left: 3 (18 enodes)
1.760 * * [simplify]: Extracting #0: cost 1 inf + 0
1.760 * * [simplify]: Extracting #1: cost 3 inf + 0
1.760 * * [simplify]: Extracting #2: cost 6 inf + 0
1.760 * * [simplify]: Extracting #3: cost 9 inf + 0
1.760 * * [simplify]: Extracting #4: cost 6 inf + 43
1.761 * * [simplify]: Extracting #5: cost 0 inf + 2214
1.761 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1.761 * [simplify]: Simplified (2 2) 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 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 (real->posit16 1) x))))))
1.761 * * * * [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))))))>
1.761 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1.762 * * [simplify]: iters left: 5 (9 enodes)
1.766 * * [simplify]: iters left: 4 (22 enodes)
1.774 * * [simplify]: iters left: 3 (42 enodes)
1.790 * * [simplify]: iters left: 2 (100 enodes)
1.838 * * [simplify]: iters left: 1 (348 enodes)
2.124 * * [simplify]: Extracting #0: cost 1 inf + 0
2.124 * * [simplify]: Extracting #1: cost 48 inf + 0
2.126 * * [simplify]: Extracting #2: cost 269 inf + 0
2.128 * * [simplify]: Extracting #3: cost 473 inf + 2
2.146 * * [simplify]: Extracting #4: cost 434 inf + 227768
2.244 * * [simplify]: Extracting #5: cost 77 inf + 952697
2.373 * * [simplify]: Extracting #6: cost 3 inf + 1165210
2.503 * * [simplify]: Extracting #7: cost 0 inf + 1153656
2.631 * * [simplify]: Extracting #8: cost 0 inf + 1152296
2.760 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
2.760 * [simplify]: Simplified (2) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))))
2.760 * * * * [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))))))>
2.761 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
2.761 * * [simplify]: iters left: 5 (9 enodes)
2.765 * * [simplify]: iters left: 4 (22 enodes)
2.774 * * [simplify]: iters left: 3 (42 enodes)
2.790 * * [simplify]: iters left: 2 (100 enodes)
2.832 * * [simplify]: iters left: 1 (348 enodes)
3.121 * * [simplify]: Extracting #0: cost 1 inf + 0
3.122 * * [simplify]: Extracting #1: cost 48 inf + 0
3.123 * * [simplify]: Extracting #2: cost 269 inf + 0
3.126 * * [simplify]: Extracting #3: cost 473 inf + 2
3.146 * * [simplify]: Extracting #4: cost 434 inf + 227768
3.244 * * [simplify]: Extracting #5: cost 77 inf + 952697
3.373 * * [simplify]: Extracting #6: cost 3 inf + 1165210
3.503 * * [simplify]: Extracting #7: cost 0 inf + 1153656
3.631 * * [simplify]: Extracting #8: cost 0 inf + 1152296
3.748 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
3.748 * [simplify]: Simplified (2) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))))
3.748 * * * * [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))))))>
3.748 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
3.748 * * [simplify]: iters left: 5 (9 enodes)
3.753 * * [simplify]: iters left: 4 (22 enodes)
3.760 * * [simplify]: iters left: 3 (42 enodes)
3.777 * * [simplify]: iters left: 2 (100 enodes)
3.824 * * [simplify]: iters left: 1 (348 enodes)
4.139 * * [simplify]: Extracting #0: cost 1 inf + 0
4.139 * * [simplify]: Extracting #1: cost 48 inf + 0
4.141 * * [simplify]: Extracting #2: cost 269 inf + 0
4.144 * * [simplify]: Extracting #3: cost 473 inf + 2
4.163 * * [simplify]: Extracting #4: cost 434 inf + 227768
4.254 * * [simplify]: Extracting #5: cost 77 inf + 952697
4.391 * * [simplify]: Extracting #6: cost 3 inf + 1165210
4.492 * * [simplify]: Extracting #7: cost 0 inf + 1153656
4.589 * * [simplify]: Extracting #8: cost 0 inf + 1152296
4.711 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
4.711 * [simplify]: Simplified (2) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))))
4.711 * * * * [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))))))>
4.711 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
4.711 * * [simplify]: iters left: 5 (9 enodes)
4.716 * * [simplify]: iters left: 4 (22 enodes)
4.724 * * [simplify]: iters left: 3 (42 enodes)
4.740 * * [simplify]: iters left: 2 (100 enodes)
4.783 * * [simplify]: iters left: 1 (348 enodes)
5.094 * * [simplify]: Extracting #0: cost 1 inf + 0
5.094 * * [simplify]: Extracting #1: cost 48 inf + 0
5.095 * * [simplify]: Extracting #2: cost 269 inf + 0
5.098 * * [simplify]: Extracting #3: cost 473 inf + 2
5.116 * * [simplify]: Extracting #4: cost 434 inf + 227768
5.198 * * [simplify]: Extracting #5: cost 77 inf + 952697
5.288 * * [simplify]: Extracting #6: cost 3 inf + 1165210
5.416 * * [simplify]: Extracting #7: cost 0 inf + 1153656
5.545 * * [simplify]: Extracting #8: cost 0 inf + 1152296
5.664 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
5.664 * [simplify]: Simplified (2) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))))
5.664 * * * [progress]: adding candidates to table
5.768 * * [progress]: iteration 2 / 4
5.769 * * * [progress]: picking best candidate
5.778 * * * * [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)))))))>
5.778 * * * [progress]: localizing error
6.053 * * * [progress]: generating rewritten candidates
6.053 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
6.058 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
6.063 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
6.065 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2)
6.067 * * * [progress]: generating series expansions
6.067 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
6.067 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
6.067 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
6.067 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2)
6.068 * * * [progress]: simplifying candidates
6.068 * * * * [progress]: [ 1 / 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)))))))>
6.068 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
6.068 * * [simplify]: iters left: 5 (9 enodes)
6.072 * * [simplify]: iters left: 4 (16 enodes)
6.077 * * [simplify]: iters left: 3 (18 enodes)
6.082 * * [simplify]: Extracting #0: cost 1 inf + 0
6.082 * * [simplify]: Extracting #1: cost 3 inf + 0
6.082 * * [simplify]: Extracting #2: cost 6 inf + 0
6.082 * * [simplify]: Extracting #3: cost 9 inf + 0
6.083 * * [simplify]: Extracting #4: cost 6 inf + 43
6.083 * * [simplify]: Extracting #5: cost 0 inf + 2214
6.083 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
6.083 * [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)))))))
6.083 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
6.084 * * [simplify]: iters left: 5 (9 enodes)
6.087 * * [simplify]: iters left: 4 (22 enodes)
6.095 * * [simplify]: iters left: 3 (42 enodes)
6.110 * * [simplify]: iters left: 2 (100 enodes)
6.165 * * [simplify]: iters left: 1 (348 enodes)
6.394 * * [simplify]: Extracting #0: cost 1 inf + 0
6.394 * * [simplify]: Extracting #1: cost 48 inf + 0
6.395 * * [simplify]: Extracting #2: cost 269 inf + 0
6.396 * * [simplify]: Extracting #3: cost 473 inf + 2
6.415 * * [simplify]: Extracting #4: cost 434 inf + 227768
6.467 * * [simplify]: Extracting #5: cost 77 inf + 952697
6.550 * * [simplify]: Extracting #6: cost 3 inf + 1165210
6.676 * * [simplify]: Extracting #7: cost 0 inf + 1153656
6.802 * * [simplify]: Extracting #8: cost 0 inf + 1152296
6.925 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
6.925 * [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)))))))
6.926 * * * * [progress]: [ 2 / 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)))))))>
6.926 * [simplify]: Simplifying (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))))))
6.926 * * [simplify]: iters left: 6 (8 enodes)
6.930 * * [simplify]: iters left: 5 (18 enodes)
6.937 * * [simplify]: iters left: 4 (26 enodes)
6.945 * * [simplify]: iters left: 3 (32 enodes)
6.954 * * [simplify]: iters left: 2 (35 enodes)
6.963 * * [simplify]: Extracting #0: cost 1 inf + 0
6.963 * * [simplify]: Extracting #1: cost 2 inf + 0
6.963 * * [simplify]: Extracting #2: cost 11 inf + 0
6.963 * * [simplify]: Extracting #3: cost 13 inf + 0
6.963 * * [simplify]: Extracting #4: cost 11 inf + 2
6.964 * * [simplify]: Extracting #5: cost 7 inf + 848
6.964 * * [simplify]: Extracting #6: cost 0 inf + 4982
6.965 * [simplify]: Simplified to (neg.p16 (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (+.p16 (real->posit16 1) x)))
6.965 * [simplify]: Simplified (2 1 2) to (λ (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) (real->posit16 1)) (+.p16 (real->posit16 1) x)))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
6.965 * * * * [progress]: [ 3 / 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)))))))>
6.965 * [simplify]: Simplifying (-.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)))))))
6.965 * * [simplify]: iters left: 6 (13 enodes)
6.971 * * [simplify]: iters left: 5 (45 enodes)
6.991 * * [simplify]: iters left: 4 (144 enodes)
7.060 * * [simplify]: iters left: 3 (446 enodes)
7.335 * * [simplify]: Extracting #0: cost 1 inf + 0
7.336 * * [simplify]: Extracting #1: cost 41 inf + 0
7.337 * * [simplify]: Extracting #2: cost 295 inf + 0
7.340 * * [simplify]: Extracting #3: cost 456 inf + 44
7.361 * * [simplify]: Extracting #4: cost 508 inf + 225969
7.477 * * [simplify]: Extracting #5: cost 97 inf + 1187274
7.652 * * [simplify]: Extracting #6: cost 2 inf + 1470184
7.824 * * [simplify]: Extracting #7: cost 0 inf + 1441828
7.982 * * [simplify]: Extracting #8: cost 0 inf + 1431948
8.072 * [simplify]: Simplified to (*.p16 (*.p16 (real->posit16 1) (-.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)))) (*.p16 (real->posit16 1) (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))))
8.072 * [simplify]: Simplified (2 1 1) to (λ (x) (/.p16 (/.p16 (*.p16 (*.p16 (real->posit16 1) (-.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)))) (*.p16 (real->posit16 1) (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x)))) (+.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)))))))
8.072 * [simplify]: Simplifying (+.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))))))
8.072 * * [simplify]: iters left: 6 (11 enodes)
8.075 * * [simplify]: iters left: 5 (26 enodes)
8.079 * * [simplify]: iters left: 4 (39 enodes)
8.085 * * [simplify]: iters left: 3 (51 enodes)
8.092 * * [simplify]: iters left: 2 (61 enodes)
8.101 * * [simplify]: iters left: 1 (66 enodes)
8.109 * * [simplify]: Extracting #0: cost 1 inf + 0
8.109 * * [simplify]: Extracting #1: cost 5 inf + 0
8.109 * * [simplify]: Extracting #2: cost 21 inf + 0
8.109 * * [simplify]: Extracting #3: cost 18 inf + 43
8.109 * * [simplify]: Extracting #4: cost 15 inf + 807
8.109 * * [simplify]: Extracting #5: cost 5 inf + 5667
8.110 * * [simplify]: Extracting #6: cost 0 inf + 9797
8.110 * [simplify]: Simplified to (*.p16 (real->posit16 1) (+.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))))
8.110 * [simplify]: Simplified (2 1 2) to (λ (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 (real->posit16 1) (+.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
8.111 * * * * [progress]: [ 4 / 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)))))))>
8.111 * [simplify]: Simplifying (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (real->posit16 1))
8.111 * * [simplify]: iters left: 5 (7 enodes)
8.112 * * [simplify]: iters left: 4 (16 enodes)
8.115 * * [simplify]: iters left: 3 (20 enodes)
8.118 * * [simplify]: Extracting #0: cost 1 inf + 0
8.118 * * [simplify]: Extracting #1: cost 6 inf + 0
8.118 * * [simplify]: Extracting #2: cost 8 inf + 0
8.118 * * [simplify]: Extracting #3: cost 8 inf + 1
8.118 * * [simplify]: Extracting #4: cost 5 inf + 324
8.118 * * [simplify]: Extracting #5: cost 0 inf + 2334
8.118 * [simplify]: Simplified to (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))) (real->posit16 1))
8.118 * [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)))))))
8.118 * * * * [progress]: [ 5 / 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)))))))>
8.118 * [simplify]: Simplifying (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
8.119 * * [simplify]: iters left: 5 (7 enodes)
8.120 * * [simplify]: iters left: 4 (16 enodes)
8.123 * * [simplify]: iters left: 3 (20 enodes)
8.125 * * [simplify]: Extracting #0: cost 1 inf + 0
8.126 * * [simplify]: Extracting #1: cost 6 inf + 0
8.126 * * [simplify]: Extracting #2: cost 8 inf + 0
8.126 * * [simplify]: Extracting #3: cost 8 inf + 1
8.126 * * [simplify]: Extracting #4: cost 5 inf + 324
8.126 * * [simplify]: Extracting #5: cost 0 inf + 2334
8.126 * [simplify]: Simplified to (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))) (real->posit16 1))
8.126 * [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)))))))
8.126 * * * * [progress]: [ 6 / 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)))))))>
8.126 * * * * [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)))))))>
8.126 * [simplify]: Simplifying (-.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))))))
8.126 * * [simplify]: iters left: 6 (11 enodes)
8.129 * * [simplify]: iters left: 5 (35 enodes)
8.142 * * [simplify]: iters left: 4 (87 enodes)
8.177 * * [simplify]: iters left: 3 (261 enodes)
8.367 * * [simplify]: Extracting #0: cost 1 inf + 0
8.367 * * [simplify]: Extracting #1: cost 34 inf + 0
8.368 * * [simplify]: Extracting #2: cost 176 inf + 0
8.370 * * [simplify]: Extracting #3: cost 253 inf + 5588
8.386 * * [simplify]: Extracting #4: cost 230 inf + 217837
8.436 * * [simplify]: Extracting #5: cost 21 inf + 650533
8.500 * * [simplify]: Extracting #6: cost 0 inf + 705535
8.566 * [simplify]: Simplified to (-.p16 (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) x) (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (+.p16 (real->posit16 1) x)))
8.566 * [simplify]: Simplified (2 1) to (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) x) (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (+.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
8.567 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
8.567 * * [simplify]: iters left: 5 (9 enodes)
8.572 * * [simplify]: iters left: 4 (16 enodes)
8.578 * * [simplify]: iters left: 3 (18 enodes)
8.584 * * [simplify]: Extracting #0: cost 1 inf + 0
8.584 * * [simplify]: Extracting #1: cost 3 inf + 0
8.584 * * [simplify]: Extracting #2: cost 6 inf + 0
8.584 * * [simplify]: Extracting #3: cost 9 inf + 0
8.584 * * [simplify]: Extracting #4: cost 6 inf + 43
8.585 * * [simplify]: Extracting #5: cost 0 inf + 2214
8.585 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
8.585 * [simplify]: Simplified (2 2) 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 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 (real->posit16 1) x))))))
8.585 * * * * [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)))))))>
8.585 * [simplify]: Simplifying (-.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))))))
8.586 * * [simplify]: iters left: 6 (11 enodes)
8.591 * * [simplify]: iters left: 5 (35 enodes)
8.605 * * [simplify]: iters left: 4 (87 enodes)
8.638 * * [simplify]: iters left: 3 (261 enodes)
8.732 * * [simplify]: Extracting #0: cost 1 inf + 0
8.733 * * [simplify]: Extracting #1: cost 34 inf + 0
8.733 * * [simplify]: Extracting #2: cost 176 inf + 0
8.734 * * [simplify]: Extracting #3: cost 253 inf + 5588
8.742 * * [simplify]: Extracting #4: cost 230 inf + 217837
8.766 * * [simplify]: Extracting #5: cost 21 inf + 650533
8.799 * * [simplify]: Extracting #6: cost 0 inf + 705535
8.833 * [simplify]: Simplified to (-.p16 (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) x) (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (+.p16 (real->posit16 1) x)))
8.833 * [simplify]: Simplified (2 1) to (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) x) (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (+.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
8.833 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
8.833 * * [simplify]: iters left: 5 (9 enodes)
8.835 * * [simplify]: iters left: 4 (16 enodes)
8.838 * * [simplify]: iters left: 3 (18 enodes)
8.841 * * [simplify]: Extracting #0: cost 1 inf + 0
8.841 * * [simplify]: Extracting #1: cost 3 inf + 0
8.841 * * [simplify]: Extracting #2: cost 6 inf + 0
8.841 * * [simplify]: Extracting #3: cost 9 inf + 0
8.841 * * [simplify]: Extracting #4: cost 6 inf + 43
8.841 * * [simplify]: Extracting #5: cost 0 inf + 2214
8.841 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
8.841 * [simplify]: Simplified (2 2) 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 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 (real->posit16 1) x))))))
8.841 * * * * [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)))))))>
8.842 * [simplify]: Simplifying (-.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))))))
8.842 * * [simplify]: iters left: 6 (11 enodes)
8.847 * * [simplify]: iters left: 5 (35 enodes)
8.862 * * [simplify]: iters left: 4 (87 enodes)
8.894 * * [simplify]: iters left: 3 (261 enodes)
9.076 * * [simplify]: Extracting #0: cost 1 inf + 0
9.076 * * [simplify]: Extracting #1: cost 34 inf + 0
9.077 * * [simplify]: Extracting #2: cost 176 inf + 0
9.079 * * [simplify]: Extracting #3: cost 253 inf + 5588
9.094 * * [simplify]: Extracting #4: cost 230 inf + 217837
9.141 * * [simplify]: Extracting #5: cost 21 inf + 650533
9.203 * * [simplify]: Extracting #6: cost 0 inf + 705535
9.267 * [simplify]: Simplified to (-.p16 (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) x) (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (+.p16 (real->posit16 1) x)))
9.268 * [simplify]: Simplified (2 1) to (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) x) (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (+.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
9.268 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
9.268 * * [simplify]: iters left: 5 (9 enodes)
9.272 * * [simplify]: iters left: 4 (16 enodes)
9.278 * * [simplify]: iters left: 3 (18 enodes)
9.284 * * [simplify]: Extracting #0: cost 1 inf + 0
9.284 * * [simplify]: Extracting #1: cost 3 inf + 0
9.284 * * [simplify]: Extracting #2: cost 6 inf + 0
9.284 * * [simplify]: Extracting #3: cost 9 inf + 0
9.284 * * [simplify]: Extracting #4: cost 6 inf + 43
9.284 * * [simplify]: Extracting #5: cost 0 inf + 2214
9.285 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
9.285 * [simplify]: Simplified (2 2) 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 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 (real->posit16 1) x))))))
9.285 * * * * [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)))))))>
9.285 * [simplify]: Simplifying (-.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))))))
9.285 * * [simplify]: iters left: 6 (11 enodes)
9.291 * * [simplify]: iters left: 5 (35 enodes)
9.306 * * [simplify]: iters left: 4 (87 enodes)
9.338 * * [simplify]: iters left: 3 (261 enodes)
9.469 * * [simplify]: Extracting #0: cost 1 inf + 0
9.469 * * [simplify]: Extracting #1: cost 34 inf + 0
9.470 * * [simplify]: Extracting #2: cost 176 inf + 0
9.471 * * [simplify]: Extracting #3: cost 253 inf + 5588
9.479 * * [simplify]: Extracting #4: cost 230 inf + 217837
9.530 * * [simplify]: Extracting #5: cost 21 inf + 650533
9.593 * * [simplify]: Extracting #6: cost 0 inf + 705535
9.663 * [simplify]: Simplified to (-.p16 (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) x) (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (+.p16 (real->posit16 1) x)))
9.663 * [simplify]: Simplified (2 1) to (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) x) (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (+.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
9.664 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
9.664 * * [simplify]: iters left: 5 (9 enodes)
9.668 * * [simplify]: iters left: 4 (16 enodes)
9.674 * * [simplify]: iters left: 3 (18 enodes)
9.679 * * [simplify]: Extracting #0: cost 1 inf + 0
9.679 * * [simplify]: Extracting #1: cost 3 inf + 0
9.679 * * [simplify]: Extracting #2: cost 6 inf + 0
9.680 * * [simplify]: Extracting #3: cost 9 inf + 0
9.680 * * [simplify]: Extracting #4: cost 6 inf + 43
9.680 * * [simplify]: Extracting #5: cost 0 inf + 2214
9.680 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
9.680 * [simplify]: Simplified (2 2) 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 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 (real->posit16 1) x))))))
9.680 * * * [progress]: adding candidates to table
10.088 * * [progress]: iteration 3 / 4
10.088 * * * [progress]: picking best candidate
10.144 * * * * [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) (/.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)))))))>
10.145 * * * [progress]: localizing error
10.514 * * * [progress]: generating rewritten candidates
10.514 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
10.518 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2)
10.519 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2)
10.520 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
10.528 * * * [progress]: generating series expansions
10.528 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
10.528 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2)
10.528 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2)
10.528 * * * * [progress]: [ 4 / 4 ] generating series at (2)
10.529 * * * [progress]: simplifying candidates
10.529 * * * * [progress]: [ 1 / 7 ] 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) (/.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)))))))>
10.529 * [simplify]: Simplifying (neg.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1)))))
10.529 * * [simplify]: iters left: 6 (9 enodes)
10.531 * * [simplify]: iters left: 5 (20 enodes)
10.535 * * [simplify]: iters left: 4 (28 enodes)
10.540 * * [simplify]: iters left: 3 (31 enodes)
10.544 * * [simplify]: Extracting #0: cost 1 inf + 0
10.544 * * [simplify]: Extracting #1: cost 2 inf + 0
10.544 * * [simplify]: Extracting #2: cost 10 inf + 0
10.544 * * [simplify]: Extracting #3: cost 12 inf + 0
10.544 * * [simplify]: Extracting #4: cost 10 inf + 2
10.544 * * [simplify]: Extracting #5: cost 5 inf + 930
10.545 * * [simplify]: Extracting #6: cost 0 inf + 4500
10.545 * [simplify]: Simplified to (neg.p16 (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (+.p16 (real->posit16 1) x)))
10.545 * [simplify]: Simplified (2 1 2) to (λ (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) (real->posit16 1)) (+.p16 (real->posit16 1) x)))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
10.545 * * * * [progress]: [ 2 / 7 ] 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) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.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 (/.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)))))))>
10.545 * [simplify]: Simplifying (-.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) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1))))))
10.545 * * [simplify]: iters left: 6 (14 enodes)
10.548 * * [simplify]: iters left: 5 (47 enodes)
10.558 * * [simplify]: iters left: 4 (146 enodes)
10.596 * * [simplify]: Extracting #0: cost 1 inf + 0
10.596 * * [simplify]: Extracting #1: cost 21 inf + 0
10.596 * * [simplify]: Extracting #2: cost 77 inf + 0
10.597 * * [simplify]: Extracting #3: cost 142 inf + 0
10.597 * * [simplify]: Extracting #4: cost 160 inf + 10747
10.602 * * [simplify]: Extracting #5: cost 72 inf + 141999
10.615 * * [simplify]: Extracting #6: cost 2 inf + 294179
10.628 * * [simplify]: Extracting #7: cost 0 inf + 300623
10.644 * [simplify]: Simplified to (-.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) (real->posit16 1)) (+.p16 (real->posit16 1) x)) (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (+.p16 (real->posit16 1) x))))
10.644 * [simplify]: Simplified (2 1 1) to (λ (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) (real->posit16 1)) (+.p16 (real->posit16 1) x)) (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (+.p16 (real->posit16 1) x)))) (+.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)))))))
10.644 * [simplify]: Simplifying (+.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)))))
10.644 * * [simplify]: iters left: 6 (12 enodes)
10.647 * * [simplify]: iters left: 5 (28 enodes)
10.651 * * [simplify]: iters left: 4 (41 enodes)
10.658 * * [simplify]: iters left: 3 (50 enodes)
10.666 * * [simplify]: iters left: 2 (53 enodes)
10.672 * * [simplify]: Extracting #0: cost 1 inf + 0
10.673 * * [simplify]: Extracting #1: cost 3 inf + 0
10.673 * * [simplify]: Extracting #2: cost 18 inf + 0
10.673 * * [simplify]: Extracting #3: cost 17 inf + 42
10.673 * * [simplify]: Extracting #4: cost 16 inf + 43
10.673 * * [simplify]: Extracting #5: cost 14 inf + 486
10.673 * * [simplify]: Extracting #6: cost 4 inf + 5225
10.674 * * [simplify]: Extracting #7: cost 0 inf + 8673
10.674 * [simplify]: Simplified to (+.p16 (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (+.p16 (real->posit16 1) x)) (*.p16 (/.p16 (real->posit16 1) x) (real->posit16 1)))
10.674 * [simplify]: Simplified (2 1 2) to (λ (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) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.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 (*.p16 (real->posit16 1) (real->posit16 1)) (+.p16 (real->posit16 1) x)) (*.p16 (/.p16 (real->posit16 1) x) (real->posit16 1)))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
10.674 * * * * [progress]: [ 3 / 7 ] simplifiying candidate #<alt (λ (x) (/.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) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.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 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.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) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1))))))))>
10.674 * [simplify]: Simplifying (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.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) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1))))))
10.674 * * [simplify]: iters left: 6 (14 enodes)
10.677 * * [simplify]: iters left: 5 (38 enodes)
10.685 * * [simplify]: iters left: 4 (97 enodes)
10.705 * * [simplify]: iters left: 3 (278 enodes)
10.777 * * [simplify]: Extracting #0: cost 1 inf + 0
10.777 * * [simplify]: Extracting #1: cost 18 inf + 0
10.777 * * [simplify]: Extracting #2: cost 125 inf + 0
10.778 * * [simplify]: Extracting #3: cost 131 inf + 42
10.780 * * [simplify]: Extracting #4: cost 114 inf + 11152
10.792 * * [simplify]: Extracting #5: cost 26 inf + 143327
10.804 * * [simplify]: Extracting #6: cost 0 inf + 202779
10.816 * * [simplify]: Extracting #7: cost 0 inf + 202539
10.825 * [simplify]: Simplified to (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))))
10.825 * [simplify]: Simplified (2 2) to (λ (x) (/.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) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.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 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))))))
10.826 * * * * [progress]: [ 4 / 7 ] 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)))))))>
10.826 * [simplify]: Simplifying (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
10.826 * * [simplify]: iters left: 5 (7 enodes)
10.828 * * [simplify]: iters left: 4 (16 enodes)
10.830 * * [simplify]: iters left: 3 (20 enodes)
10.833 * * [simplify]: Extracting #0: cost 1 inf + 0
10.833 * * [simplify]: Extracting #1: cost 6 inf + 0
10.833 * * [simplify]: Extracting #2: cost 8 inf + 0
10.833 * * [simplify]: Extracting #3: cost 8 inf + 1
10.834 * * [simplify]: Extracting #4: cost 5 inf + 324
10.834 * * [simplify]: Extracting #5: cost 0 inf + 2334
10.834 * [simplify]: Simplified to (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))) (real->posit16 1))
10.834 * [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)))))))
10.834 * * * * [progress]: [ 5 / 7 ] 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)))))))>
10.834 * [simplify]: Simplifying (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
10.834 * * [simplify]: iters left: 5 (7 enodes)
10.836 * * [simplify]: iters left: 4 (16 enodes)
10.838 * * [simplify]: iters left: 3 (20 enodes)
10.841 * * [simplify]: Extracting #0: cost 1 inf + 0
10.841 * * [simplify]: Extracting #1: cost 6 inf + 0
10.841 * * [simplify]: Extracting #2: cost 8 inf + 0
10.841 * * [simplify]: Extracting #3: cost 8 inf + 1
10.841 * * [simplify]: Extracting #4: cost 5 inf + 324
10.842 * * [simplify]: Extracting #5: cost 0 inf + 2334
10.842 * [simplify]: Simplified to (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))) (real->posit16 1))
10.842 * [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)))))))
10.842 * * * * [progress]: [ 6 / 7 ] 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)))))))>
10.842 * [simplify]: Simplifying (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
10.842 * * [simplify]: iters left: 5 (7 enodes)
10.844 * * [simplify]: iters left: 4 (16 enodes)
10.846 * * [simplify]: iters left: 3 (20 enodes)
10.849 * * [simplify]: Extracting #0: cost 1 inf + 0
10.849 * * [simplify]: Extracting #1: cost 6 inf + 0
10.849 * * [simplify]: Extracting #2: cost 8 inf + 0
10.849 * * [simplify]: Extracting #3: cost 8 inf + 1
10.849 * * [simplify]: Extracting #4: cost 5 inf + 324
10.849 * * [simplify]: Extracting #5: cost 0 inf + 2334
10.850 * [simplify]: Simplified to (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))) (real->posit16 1))
10.850 * [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)))))))
10.850 * * * * [progress]: [ 7 / 7 ] 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)))))))>
10.850 * [simplify]: Simplifying (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
10.850 * * [simplify]: iters left: 5 (7 enodes)
10.851 * * [simplify]: iters left: 4 (16 enodes)
10.854 * * [simplify]: iters left: 3 (20 enodes)
10.857 * * [simplify]: Extracting #0: cost 1 inf + 0
10.857 * * [simplify]: Extracting #1: cost 6 inf + 0
10.857 * * [simplify]: Extracting #2: cost 8 inf + 0
10.857 * * [simplify]: Extracting #3: cost 8 inf + 1
10.857 * * [simplify]: Extracting #4: cost 5 inf + 324
10.857 * * [simplify]: Extracting #5: cost 0 inf + 2334
10.858 * [simplify]: Simplified to (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))) (real->posit16 1))
10.858 * [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)))))))
10.858 * * * [progress]: adding candidates to table
10.981 * * [progress]: iteration 4 / 4
10.981 * * * [progress]: picking best candidate
11.027 * * * * [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)))))))>
11.027 * * * [progress]: localizing error
11.224 * * * [progress]: generating rewritten candidates
11.224 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
11.227 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2)
11.228 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2)
11.229 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2)
11.230 * * * [progress]: generating series expansions
11.230 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
11.230 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2)
11.230 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2)
11.230 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2)
11.230 * * * [progress]: simplifying candidates
11.230 * * * * [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)))))))>
11.230 * [simplify]: Simplifying (neg.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
11.230 * * [simplify]: iters left: 5 (7 enodes)
11.232 * * [simplify]: iters left: 4 (13 enodes)
11.235 * * [simplify]: iters left: 3 (15 enodes)
11.237 * * [simplify]: Extracting #0: cost 1 inf + 0
11.237 * * [simplify]: Extracting #1: cost 2 inf + 0
11.237 * * [simplify]: Extracting #2: cost 4 inf + 0
11.237 * * [simplify]: Extracting #3: cost 6 inf + 0
11.237 * * [simplify]: Extracting #4: cost 6 inf + 1
11.237 * * [simplify]: Extracting #5: cost 0 inf + 1251
11.237 * [simplify]: Simplified to (neg.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
11.237 * [simplify]: Simplified (2 1 2 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)) (neg.p16 (/.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)))))))
11.238 * * * * [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)))))))>
11.238 * [simplify]: Simplifying (-.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))))))
11.238 * * [simplify]: iters left: 6 (11 enodes)
11.241 * * [simplify]: iters left: 5 (35 enodes)
11.248 * * [simplify]: iters left: 4 (87 enodes)
11.269 * * [simplify]: iters left: 3 (261 enodes)
11.364 * * [simplify]: Extracting #0: cost 1 inf + 0
11.364 * * [simplify]: Extracting #1: cost 34 inf + 0
11.364 * * [simplify]: Extracting #2: cost 176 inf + 0
11.365 * * [simplify]: Extracting #3: cost 253 inf + 5588
11.373 * * [simplify]: Extracting #4: cost 230 inf + 217837
11.397 * * [simplify]: Extracting #5: cost 21 inf + 650533
11.446 * * [simplify]: Extracting #6: cost 0 inf + 705535
11.499 * [simplify]: Simplified to (-.p16 (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) x) (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (+.p16 (real->posit16 1) x)))
11.499 * [simplify]: Simplified (2 1 2 1) 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 (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) x) (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (+.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)))))))
11.499 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
11.500 * * [simplify]: iters left: 5 (9 enodes)
11.502 * * [simplify]: iters left: 4 (16 enodes)
11.504 * * [simplify]: iters left: 3 (18 enodes)
11.507 * * [simplify]: Extracting #0: cost 1 inf + 0
11.507 * * [simplify]: Extracting #1: cost 3 inf + 0
11.507 * * [simplify]: Extracting #2: cost 6 inf + 0
11.507 * * [simplify]: Extracting #3: cost 9 inf + 0
11.507 * * [simplify]: Extracting #4: cost 6 inf + 43
11.508 * * [simplify]: Extracting #5: cost 0 inf + 2214
11.508 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
11.508 * [simplify]: Simplified (2 1 2 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 (*.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 (real->posit16 1) x)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
11.508 * * * * [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)))))))>
11.508 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
11.508 * * [simplify]: iters left: 5 (9 enodes)
11.511 * * [simplify]: iters left: 4 (16 enodes)
11.514 * * [simplify]: iters left: 3 (18 enodes)
11.517 * * [simplify]: Extracting #0: cost 1 inf + 0
11.517 * * [simplify]: Extracting #1: cost 3 inf + 0
11.517 * * [simplify]: Extracting #2: cost 6 inf + 0
11.517 * * [simplify]: Extracting #3: cost 9 inf + 0
11.517 * * [simplify]: Extracting #4: cost 6 inf + 43
11.517 * * [simplify]: Extracting #5: cost 0 inf + 2214
11.517 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
11.517 * [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)))))))
11.517 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
11.517 * * [simplify]: iters left: 5 (9 enodes)
11.519 * * [simplify]: iters left: 4 (22 enodes)
11.523 * * [simplify]: iters left: 3 (42 enodes)
11.532 * * [simplify]: iters left: 2 (100 enodes)
11.555 * * [simplify]: iters left: 1 (348 enodes)
11.760 * * [simplify]: Extracting #0: cost 1 inf + 0
11.760 * * [simplify]: Extracting #1: cost 48 inf + 0
11.760 * * [simplify]: Extracting #2: cost 269 inf + 0
11.762 * * [simplify]: Extracting #3: cost 473 inf + 2
11.771 * * [simplify]: Extracting #4: cost 434 inf + 227768
11.822 * * [simplify]: Extracting #5: cost 77 inf + 952697
11.904 * * [simplify]: Extracting #6: cost 3 inf + 1165210
11.970 * * [simplify]: Extracting #7: cost 0 inf + 1153656
12.051 * * [simplify]: Extracting #8: cost 0 inf + 1152296
12.120 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
12.120 * [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)))))))
12.121 * * * * [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)))))))>
12.121 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
12.121 * * [simplify]: iters left: 5 (9 enodes)
12.123 * * [simplify]: iters left: 4 (16 enodes)
12.125 * * [simplify]: iters left: 3 (18 enodes)
12.128 * * [simplify]: Extracting #0: cost 1 inf + 0
12.128 * * [simplify]: Extracting #1: cost 3 inf + 0
12.128 * * [simplify]: Extracting #2: cost 6 inf + 0
12.128 * * [simplify]: Extracting #3: cost 9 inf + 0
12.128 * * [simplify]: Extracting #4: cost 6 inf + 43
12.128 * * [simplify]: Extracting #5: cost 0 inf + 2214
12.129 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
12.129 * [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)))))))
12.129 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
12.129 * * [simplify]: iters left: 5 (9 enodes)
12.131 * * [simplify]: iters left: 4 (22 enodes)
12.135 * * [simplify]: iters left: 3 (42 enodes)
12.142 * * [simplify]: iters left: 2 (100 enodes)
12.165 * * [simplify]: iters left: 1 (348 enodes)
12.337 * * [simplify]: Extracting #0: cost 1 inf + 0
12.337 * * [simplify]: Extracting #1: cost 48 inf + 0
12.338 * * [simplify]: Extracting #2: cost 269 inf + 0
12.340 * * [simplify]: Extracting #3: cost 473 inf + 2
12.350 * * [simplify]: Extracting #4: cost 434 inf + 227768
12.432 * * [simplify]: Extracting #5: cost 77 inf + 952697
12.562 * * [simplify]: Extracting #6: cost 3 inf + 1165210
12.676 * * [simplify]: Extracting #7: cost 0 inf + 1153656
12.743 * * [simplify]: Extracting #8: cost 0 inf + 1152296
12.817 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
12.817 * [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)))))))
12.817 * * * * [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)))))))>
12.817 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
12.817 * * [simplify]: iters left: 5 (9 enodes)
12.819 * * [simplify]: iters left: 4 (16 enodes)
12.822 * * [simplify]: iters left: 3 (18 enodes)
12.825 * * [simplify]: Extracting #0: cost 1 inf + 0
12.825 * * [simplify]: Extracting #1: cost 3 inf + 0
12.825 * * [simplify]: Extracting #2: cost 6 inf + 0
12.825 * * [simplify]: Extracting #3: cost 9 inf + 0
12.825 * * [simplify]: Extracting #4: cost 6 inf + 43
12.825 * * [simplify]: Extracting #5: cost 0 inf + 2214
12.825 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
12.825 * [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)))))))
12.826 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
12.826 * * [simplify]: iters left: 5 (9 enodes)
12.828 * * [simplify]: iters left: 4 (22 enodes)
12.832 * * [simplify]: iters left: 3 (42 enodes)
12.840 * * [simplify]: iters left: 2 (100 enodes)
12.864 * * [simplify]: iters left: 1 (348 enodes)
13.133 * * [simplify]: Extracting #0: cost 1 inf + 0
13.134 * * [simplify]: Extracting #1: cost 48 inf + 0
13.135 * * [simplify]: Extracting #2: cost 269 inf + 0
13.138 * * [simplify]: Extracting #3: cost 473 inf + 2
13.157 * * [simplify]: Extracting #4: cost 434 inf + 227768
13.256 * * [simplify]: Extracting #5: cost 77 inf + 952697
13.359 * * [simplify]: Extracting #6: cost 3 inf + 1165210
13.451 * * [simplify]: Extracting #7: cost 0 inf + 1153656
13.546 * * [simplify]: Extracting #8: cost 0 inf + 1152296
13.633 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
13.633 * [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)))))))
13.633 * * * * [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)))))))>
13.634 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
13.634 * * [simplify]: iters left: 5 (9 enodes)
13.638 * * [simplify]: iters left: 4 (16 enodes)
13.640 * * [simplify]: iters left: 3 (18 enodes)
13.643 * * [simplify]: Extracting #0: cost 1 inf + 0
13.643 * * [simplify]: Extracting #1: cost 3 inf + 0
13.643 * * [simplify]: Extracting #2: cost 6 inf + 0
13.643 * * [simplify]: Extracting #3: cost 9 inf + 0
13.643 * * [simplify]: Extracting #4: cost 6 inf + 43
13.643 * * [simplify]: Extracting #5: cost 0 inf + 2214
13.643 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
13.643 * [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)))))))
13.643 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
13.643 * * [simplify]: iters left: 5 (9 enodes)
13.645 * * [simplify]: iters left: 4 (22 enodes)
13.649 * * [simplify]: iters left: 3 (42 enodes)
13.656 * * [simplify]: iters left: 2 (100 enodes)
13.689 * * [simplify]: iters left: 1 (348 enodes)
13.946 * * [simplify]: Extracting #0: cost 1 inf + 0
13.947 * * [simplify]: Extracting #1: cost 48 inf + 0
13.948 * * [simplify]: Extracting #2: cost 269 inf + 0
13.950 * * [simplify]: Extracting #3: cost 473 inf + 2
13.967 * * [simplify]: Extracting #4: cost 434 inf + 227768
14.043 * * [simplify]: Extracting #5: cost 77 inf + 952697
14.146 * * [simplify]: Extracting #6: cost 3 inf + 1165210
14.277 * * [simplify]: Extracting #7: cost 0 inf + 1153656
14.405 * * [simplify]: Extracting #8: cost 0 inf + 1152296
14.489 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
14.489 * [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)))))))
14.489 * * * [progress]: adding candidates to table
14.589 * [progress]: [Phase 3 of 3] Extracting.
14.589 * * [regime]: Finding splitpoints for: (#<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 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))> #<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)))))))> #<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)))))))> #<alt (λ (x) (/.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) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.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 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.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) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1))))))))> #<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) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.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 (/.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)))))))>)
14.592 * * * [regime-changes]: Trying 1 branch expressions: (x)
14.592 * * * * [regimes]: Trying to branch on x from (#<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 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))> #<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)))))))> #<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)))))))> #<alt (λ (x) (/.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) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.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 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.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) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1))))))))> #<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) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.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 (/.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)))))))>)
14.691 * * * [regime]: Found split indices: #<option (#s(si 1 256))>
14.691 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
14.692 * * [simplify]: iters left: 5 (9 enodes)
14.692 * * [simplify]: iters left: 4 (11 enodes)
14.693 * * [simplify]: Extracting #0: cost 1 inf + 0
14.693 * * [simplify]: Extracting #1: cost 3 inf + 0
14.693 * * [simplify]: Extracting #2: cost 6 inf + 0
14.693 * * [simplify]: Extracting #3: cost 9 inf + 0
14.693 * * [simplify]: Extracting #4: cost 6 inf + 43
14.693 * * [simplify]: Extracting #5: cost 0 inf + 2254
14.693 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
14.693 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
14.704 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
14.706 * * * * [points]: Setting MPFR precision to 64
14.707 * * * * [points]: Setting MPFR precision to 320
14.708 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
14.709 * * * * [points]: Setting MPFR precision to 64
14.711 * * * * [points]: Setting MPFR precision to 320
14.712 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
14.714 * * * * [points]: Setting MPFR precision to 64
14.717 * * * * [points]: Setting MPFR precision to 320
14.719 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
14.721 * * * * [points]: Setting MPFR precision to 64
14.727 * * * * [points]: Setting MPFR precision to 320
14.732 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
14.734 * * * * [points]: Setting MPFR precision to 64
14.746 * * * * [points]: Setting MPFR precision to 320
14.757 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
14.759 * * * * [points]: Setting MPFR precision to 64
15.153 * * * * [points]: Setting MPFR precision to 320
15.177 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
15.179 * * * * [points]: Setting MPFR precision to 64
15.226 * * * * [points]: Setting MPFR precision to 320
15.311 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
15.316 * * * * [points]: Setting MPFR precision to 64
15.475 * * * * [points]: Setting MPFR precision to 320
15.663 * * * * [points]: Computing exacts for 8000 points
15.666 * * * * [points]: Setting MPFR precision to 64
16.159 * * * * [points]: Setting MPFR precision to 320
16.629 * * * * [points]: Filtering points with unrepresentable outputs
16.641 * * * * [points]: Sampled 8000 points with exact outputs
18.604 * [regime-testing]: Baseline error score: 64.0
18.607 * [regime-testing]: Oracle error score: 64.0
18.615 * [regime-testing]: End program error score: 0.5627019602832526