0.001 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.001 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.002 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.003 * * * * [points]: Setting MPFR precision to 64
0.004 * * * * [points]: Setting MPFR precision to 320
0.005 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.007 * * * * [points]: Setting MPFR precision to 64
0.008 * * * * [points]: Setting MPFR precision to 320
0.012 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.014 * * * * [points]: Setting MPFR precision to 64
0.017 * * * * [points]: Setting MPFR precision to 320
0.019 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.021 * * * * [points]: Setting MPFR precision to 64
0.025 * * * * [points]: Setting MPFR precision to 320
0.029 * * * * [points]: Computing exacts for 256 points
0.031 * * * * [points]: Setting MPFR precision to 64
0.047 * * * * [points]: Setting MPFR precision to 320
0.069 * * * * [points]: Filtering points with unrepresentable outputs
0.070 * * * * [points]: Sampled 256 points with exact outputs
0.070 * * * [progress]: [2/2] Setting up program.
0.086 * [progress]: [Phase 2 of 3] Improving.
0.086 * * * * [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.086 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
0.087 * * [simplify]: iters left: 5 (9 enodes)
0.091 * * [simplify]: iters left: 4 (22 enodes)
0.098 * * [simplify]: iters left: 3 (42 enodes)
0.113 * * [simplify]: iters left: 2 (100 enodes)
0.155 * * [simplify]: iters left: 1 (348 enodes)
0.420 * * [simplify]: Extracting #0: cost 1 inf + 0
0.420 * * [simplify]: Extracting #1: cost 48 inf + 0
0.420 * * [simplify]: Extracting #2: cost 268 inf + 0
0.422 * * [simplify]: Extracting #3: cost 472 inf + 2
0.440 * * [simplify]: Extracting #4: cost 433 inf + 227768
0.530 * * [simplify]: Extracting #5: cost 77 inf + 950255
0.640 * * [simplify]: Extracting #6: cost 3 inf + 1162768
0.742 * * [simplify]: Extracting #7: cost 0 inf + 1151214
0.824 * * [simplify]: Extracting #8: cost 0 inf + 1149854
0.938 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
0.939 * [simplify]: Simplified (2) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))))
0.954 * * [progress]: iteration 1 / 4
0.954 * * * [progress]: picking best candidate
0.970 * * * * [pick]: Picked  #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))>
0.970 * * * [progress]: localizing error
1.140 * * * [progress]: generating rewritten candidates
1.140 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
1.143 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
1.144 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
1.145 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
1.145 * * * [progress]: generating series expansions
1.145 * * * * [progress]: [ 1 / 4 ] generating series at (2)
1.145 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
1.145 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
1.145 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
1.146 * * * [progress]: simplifying candidates
1.146 * * * * [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.146 * [simplify]: Simplifying (neg.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1.146 * * [simplify]: iters left: 5 (7 enodes)
1.148 * * [simplify]: iters left: 4 (13 enodes)
1.150 * * [simplify]: iters left: 3 (15 enodes)
1.152 * * [simplify]: Extracting #0: cost 1 inf + 0
1.152 * * [simplify]: Extracting #1: cost 2 inf + 0
1.152 * * [simplify]: Extracting #2: cost 4 inf + 0
1.153 * * [simplify]: Extracting #3: cost 6 inf + 0
1.153 * * [simplify]: Extracting #4: cost 6 inf + 1
1.153 * * [simplify]: Extracting #5: cost 0 inf + 1251
1.153 * [simplify]: Simplified to (neg.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1.153 * [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.153 * * * * [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.153 * [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.154 * * [simplify]: iters left: 6 (11 enodes)
1.159 * * [simplify]: iters left: 5 (35 enodes)
1.173 * * [simplify]: iters left: 4 (87 enodes)
1.191 * * [simplify]: iters left: 3 (261 enodes)
1.326 * * [simplify]: Extracting #0: cost 1 inf + 0
1.326 * * [simplify]: Extracting #1: cost 34 inf + 0
1.327 * * [simplify]: Extracting #2: cost 176 inf + 0
1.328 * * [simplify]: Extracting #3: cost 253 inf + 5588
1.336 * * [simplify]: Extracting #4: cost 230 inf + 217837
1.365 * * [simplify]: Extracting #5: cost 21 inf + 650533
1.397 * * [simplify]: Extracting #6: cost 0 inf + 705535
1.453 * [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.453 * [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.453 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1.453 * * [simplify]: iters left: 5 (9 enodes)
1.455 * * [simplify]: iters left: 4 (16 enodes)
1.458 * * [simplify]: iters left: 3 (18 enodes)
1.461 * * [simplify]: Extracting #0: cost 1 inf + 0
1.461 * * [simplify]: Extracting #1: cost 3 inf + 0
1.461 * * [simplify]: Extracting #2: cost 6 inf + 0
1.461 * * [simplify]: Extracting #3: cost 9 inf + 0
1.461 * * [simplify]: Extracting #4: cost 6 inf + 43
1.461 * * [simplify]: Extracting #5: cost 0 inf + 2214
1.461 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1.461 * [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.461 * * * * [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.461 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1.462 * * [simplify]: iters left: 5 (9 enodes)
1.463 * * [simplify]: iters left: 4 (22 enodes)
1.467 * * [simplify]: iters left: 3 (42 enodes)
1.477 * * [simplify]: iters left: 2 (100 enodes)
1.517 * * [simplify]: iters left: 1 (348 enodes)
1.728 * * [simplify]: Extracting #0: cost 1 inf + 0
1.728 * * [simplify]: Extracting #1: cost 48 inf + 0
1.728 * * [simplify]: Extracting #2: cost 268 inf + 0
1.730 * * [simplify]: Extracting #3: cost 472 inf + 2
1.739 * * [simplify]: Extracting #4: cost 433 inf + 227768
1.786 * * [simplify]: Extracting #5: cost 77 inf + 950255
1.869 * * [simplify]: Extracting #6: cost 3 inf + 1162768
1.934 * * [simplify]: Extracting #7: cost 0 inf + 1151214
2.022 * * [simplify]: Extracting #8: cost 0 inf + 1149854
2.089 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
2.089 * [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.089 * * * * [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.089 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
2.089 * * [simplify]: iters left: 5 (9 enodes)
2.091 * * [simplify]: iters left: 4 (22 enodes)
2.095 * * [simplify]: iters left: 3 (42 enodes)
2.102 * * [simplify]: iters left: 2 (100 enodes)
2.124 * * [simplify]: iters left: 1 (348 enodes)
2.345 * * [simplify]: Extracting #0: cost 1 inf + 0
2.345 * * [simplify]: Extracting #1: cost 48 inf + 0
2.347 * * [simplify]: Extracting #2: cost 268 inf + 0
2.349 * * [simplify]: Extracting #3: cost 472 inf + 2
2.363 * * [simplify]: Extracting #4: cost 433 inf + 227768
2.410 * * [simplify]: Extracting #5: cost 77 inf + 950255
2.477 * * [simplify]: Extracting #6: cost 3 inf + 1162768
2.541 * * [simplify]: Extracting #7: cost 0 inf + 1151214
2.658 * * [simplify]: Extracting #8: cost 0 inf + 1149854
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]: [ 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))))))>
2.760 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
2.760 * * [simplify]: iters left: 5 (9 enodes)
2.762 * * [simplify]: iters left: 4 (22 enodes)
2.766 * * [simplify]: iters left: 3 (42 enodes)
2.774 * * [simplify]: iters left: 2 (100 enodes)
2.796 * * [simplify]: iters left: 1 (348 enodes)
2.967 * * [simplify]: Extracting #0: cost 1 inf + 0
2.968 * * [simplify]: Extracting #1: cost 48 inf + 0
2.968 * * [simplify]: Extracting #2: cost 268 inf + 0
2.970 * * [simplify]: Extracting #3: cost 472 inf + 2
2.979 * * [simplify]: Extracting #4: cost 433 inf + 227768
3.072 * * [simplify]: Extracting #5: cost 77 inf + 950255
3.197 * * [simplify]: Extracting #6: cost 3 inf + 1162768
3.321 * * [simplify]: Extracting #7: cost 0 inf + 1151214
3.443 * * [simplify]: Extracting #8: cost 0 inf + 1149854
3.569 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
3.569 * [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.569 * * * * [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))))))>
3.569 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
3.569 * * [simplify]: iters left: 5 (9 enodes)
3.574 * * [simplify]: iters left: 4 (22 enodes)
3.581 * * [simplify]: iters left: 3 (42 enodes)
3.597 * * [simplify]: iters left: 2 (100 enodes)
3.640 * * [simplify]: iters left: 1 (348 enodes)
3.927 * * [simplify]: Extracting #0: cost 1 inf + 0
3.927 * * [simplify]: Extracting #1: cost 48 inf + 0
3.928 * * [simplify]: Extracting #2: cost 268 inf + 0
3.931 * * [simplify]: Extracting #3: cost 472 inf + 2
3.950 * * [simplify]: Extracting #4: cost 433 inf + 227768
4.037 * * [simplify]: Extracting #5: cost 77 inf + 950255
4.165 * * [simplify]: Extracting #6: cost 3 inf + 1162768
4.277 * * [simplify]: Extracting #7: cost 0 inf + 1151214
4.341 * * [simplify]: Extracting #8: cost 0 inf + 1149854
4.406 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
4.406 * [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.406 * * * [progress]: adding candidates to table
4.486 * * [progress]: iteration 2 / 4
4.486 * * * [progress]: picking best candidate
4.495 * * * * [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)))))))>
4.495 * * * [progress]: localizing error
4.708 * * * [progress]: generating rewritten candidates
4.708 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
4.710 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
4.712 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
4.720 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
4.721 * * * [progress]: generating series expansions
4.721 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
4.721 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
4.721 * * * * [progress]: [ 3 / 4 ] generating series at (2)
4.721 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
4.721 * * * [progress]: simplifying candidates
4.721 * * * * [progress]: [ 1 / 12 ] 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)))))))>
4.721 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
4.721 * * [simplify]: iters left: 5 (9 enodes)
4.724 * * [simplify]: iters left: 4 (16 enodes)
4.727 * * [simplify]: iters left: 3 (18 enodes)
4.729 * * [simplify]: Extracting #0: cost 1 inf + 0
4.729 * * [simplify]: Extracting #1: cost 3 inf + 0
4.729 * * [simplify]: Extracting #2: cost 6 inf + 0
4.729 * * [simplify]: Extracting #3: cost 9 inf + 0
4.729 * * [simplify]: Extracting #4: cost 6 inf + 43
4.730 * * [simplify]: Extracting #5: cost 0 inf + 2214
4.730 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
4.730 * [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)))))))
4.730 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
4.730 * * [simplify]: iters left: 5 (9 enodes)
4.732 * * [simplify]: iters left: 4 (22 enodes)
4.736 * * [simplify]: iters left: 3 (42 enodes)
4.749 * * [simplify]: iters left: 2 (100 enodes)
4.771 * * [simplify]: iters left: 1 (348 enodes)
4.919 * * [simplify]: Extracting #0: cost 1 inf + 0
4.919 * * [simplify]: Extracting #1: cost 48 inf + 0
4.920 * * [simplify]: Extracting #2: cost 268 inf + 0
4.921 * * [simplify]: Extracting #3: cost 472 inf + 2
4.931 * * [simplify]: Extracting #4: cost 433 inf + 227768
4.981 * * [simplify]: Extracting #5: cost 77 inf + 950255
5.051 * * [simplify]: Extracting #6: cost 3 inf + 1162768
5.179 * * [simplify]: Extracting #7: cost 0 inf + 1151214
5.307 * * [simplify]: Extracting #8: cost 0 inf + 1149854
5.434 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
5.434 * [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)))))))
5.434 * * * * [progress]: [ 2 / 12 ] 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)))))))>
5.435 * [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))))))
5.435 * * [simplify]: iters left: 6 (8 enodes)
5.439 * * [simplify]: iters left: 5 (18 enodes)
5.445 * * [simplify]: iters left: 4 (26 enodes)
5.452 * * [simplify]: iters left: 3 (32 enodes)
5.461 * * [simplify]: iters left: 2 (35 enodes)
5.470 * * [simplify]: Extracting #0: cost 1 inf + 0
5.470 * * [simplify]: Extracting #1: cost 2 inf + 0
5.470 * * [simplify]: Extracting #2: cost 11 inf + 0
5.470 * * [simplify]: Extracting #3: cost 13 inf + 0
5.470 * * [simplify]: Extracting #4: cost 11 inf + 2
5.470 * * [simplify]: Extracting #5: cost 7 inf + 848
5.471 * * [simplify]: Extracting #6: cost 0 inf + 4982
5.471 * [simplify]: Simplified to (neg.p16 (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (+.p16 (real->posit16 1) x)))
5.471 * [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)))))))
5.472 * * * * [progress]: [ 3 / 12 ] 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)))))))>
5.472 * [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)))))))
5.472 * * [simplify]: iters left: 6 (13 enodes)
5.475 * * [simplify]: iters left: 5 (45 enodes)
5.486 * * [simplify]: iters left: 4 (144 enodes)
5.518 * * [simplify]: iters left: 3 (446 enodes)
5.803 * * [simplify]: Extracting #0: cost 1 inf + 0
5.803 * * [simplify]: Extracting #1: cost 41 inf + 0
5.805 * * [simplify]: Extracting #2: cost 295 inf + 0
5.807 * * [simplify]: Extracting #3: cost 448 inf + 365
5.825 * * [simplify]: Extracting #4: cost 490 inf + 235543
5.891 * * [simplify]: Extracting #5: cost 86 inf + 1196194
6.021 * * [simplify]: Extracting #6: cost 2 inf + 1431922
6.155 * * [simplify]: Extracting #7: cost 0 inf + 1396286
6.262 * * [simplify]: Extracting #8: cost 0 inf + 1388526
6.348 * [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))))
6.348 * [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)))))))
6.348 * [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))))))
6.348 * * [simplify]: iters left: 6 (11 enodes)
6.351 * * [simplify]: iters left: 5 (26 enodes)
6.355 * * [simplify]: iters left: 4 (39 enodes)
6.361 * * [simplify]: iters left: 3 (51 enodes)
6.368 * * [simplify]: iters left: 2 (61 enodes)
6.377 * * [simplify]: iters left: 1 (66 enodes)
6.390 * * [simplify]: Extracting #0: cost 1 inf + 0
6.390 * * [simplify]: Extracting #1: cost 5 inf + 0
6.391 * * [simplify]: Extracting #2: cost 21 inf + 0
6.391 * * [simplify]: Extracting #3: cost 18 inf + 43
6.391 * * [simplify]: Extracting #4: cost 15 inf + 807
6.391 * * [simplify]: Extracting #5: cost 5 inf + 5667
6.392 * * [simplify]: Extracting #6: cost 0 inf + 9797
6.393 * [simplify]: Simplified to (*.p16 (real->posit16 1) (+.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))))
6.393 * [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)))))))
6.393 * * * * [progress]: [ 4 / 12 ] 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)))))))>
6.394 * [simplify]: Simplifying (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (real->posit16 1))
6.394 * * [simplify]: iters left: 5 (7 enodes)
6.395 * * [simplify]: iters left: 4 (16 enodes)
6.399 * * [simplify]: iters left: 3 (20 enodes)
6.402 * * [simplify]: Extracting #0: cost 1 inf + 0
6.402 * * [simplify]: Extracting #1: cost 6 inf + 0
6.402 * * [simplify]: Extracting #2: cost 8 inf + 0
6.402 * * [simplify]: Extracting #3: cost 8 inf + 1
6.402 * * [simplify]: Extracting #4: cost 5 inf + 324
6.402 * * [simplify]: Extracting #5: cost 0 inf + 2334
6.403 * [simplify]: Simplified to (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))) (real->posit16 1))
6.403 * [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)))))))
6.403 * * * * [progress]: [ 5 / 12 ] 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)))))))>
6.403 * [simplify]: Simplifying (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
6.403 * * [simplify]: iters left: 5 (7 enodes)
6.405 * * [simplify]: iters left: 4 (16 enodes)
6.407 * * [simplify]: iters left: 3 (20 enodes)
6.410 * * [simplify]: Extracting #0: cost 1 inf + 0
6.410 * * [simplify]: Extracting #1: cost 6 inf + 0
6.410 * * [simplify]: Extracting #2: cost 8 inf + 0
6.410 * * [simplify]: Extracting #3: cost 8 inf + 1
6.410 * * [simplify]: Extracting #4: cost 5 inf + 324
6.410 * * [simplify]: Extracting #5: cost 0 inf + 2334
6.411 * [simplify]: Simplified to (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))) (real->posit16 1))
6.411 * [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)))))))
6.411 * * * * [progress]: [ 6 / 12 ] 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)))))))>
6.411 * * * * [progress]: [ 7 / 12 ] simplifiying candidate #<alt (λ (x) (/.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 (+.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.411 * [simplify]: Simplifying (/.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))))))
6.411 * * [simplify]: iters left: 6 (11 enodes)
6.413 * * [simplify]: iters left: 5 (24 enodes)
6.417 * * [simplify]: iters left: 4 (45 enodes)
6.431 * * [simplify]: iters left: 3 (117 enodes)
6.460 * * [simplify]: iters left: 2 (426 enodes)
6.993 * * [simplify]: Extracting #0: cost 1 inf + 0
6.994 * * [simplify]: Extracting #1: cost 60 inf + 0
6.995 * * [simplify]: Extracting #2: cost 353 inf + 0
6.999 * * [simplify]: Extracting #3: cost 625 inf + 1
7.008 * * [simplify]: Extracting #4: cost 639 inf + 77043
7.074 * * [simplify]: Extracting #5: cost 354 inf + 803696
7.213 * * [simplify]: Extracting #6: cost 31 inf + 1650362
7.385 * * [simplify]: Extracting #7: cost 0 inf + 1707321
7.558 * * [simplify]: Extracting #8: cost 0 inf + 1706515
7.722 * [simplify]: Simplified to (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))) (/.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)))))
7.722 * [simplify]: Simplified (2 2) to (λ (x) (/.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 (+.p16 (real->posit16 1) x))) (/.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)))))))
7.722 * * * * [progress]: [ 8 / 12 ] 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) (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 (+.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)))))))))>
7.723 * [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) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
7.723 * * [simplify]: iters left: 6 (13 enodes)
7.729 * * [simplify]: iters left: 5 (36 enodes)
7.744 * * [simplify]: iters left: 4 (97 enodes)
7.785 * * [simplify]: iters left: 3 (268 enodes)
7.917 * * [simplify]: Extracting #0: cost 1 inf + 0
7.917 * * [simplify]: Extracting #1: cost 15 inf + 0
7.918 * * [simplify]: Extracting #2: cost 113 inf + 0
7.919 * * [simplify]: Extracting #3: cost 124 inf + 42
7.920 * * [simplify]: Extracting #4: cost 108 inf + 8029
7.931 * * [simplify]: Extracting #5: cost 18 inf + 138289
7.948 * * [simplify]: Extracting #6: cost 0 inf + 170085
7.968 * * [simplify]: Extracting #7: cost 0 inf + 169845
7.985 * [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 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))) (*.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))))))
7.985 * [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) (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 (/.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 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))) (*.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))))))))
7.986 * * * * [progress]: [ 9 / 12 ] 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)))))))>
7.986 * [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))))))
7.986 * * [simplify]: iters left: 6 (11 enodes)
7.991 * * [simplify]: iters left: 5 (35 enodes)
8.005 * * [simplify]: iters left: 4 (87 enodes)
8.039 * * [simplify]: iters left: 3 (261 enodes)
8.189 * * [simplify]: Extracting #0: cost 1 inf + 0
8.189 * * [simplify]: Extracting #1: cost 34 inf + 0
8.190 * * [simplify]: Extracting #2: cost 176 inf + 0
8.199 * * [simplify]: Extracting #3: cost 253 inf + 5588
8.213 * * [simplify]: Extracting #4: cost 230 inf + 217837
8.245 * * [simplify]: Extracting #5: cost 21 inf + 650533
8.304 * * [simplify]: Extracting #6: cost 0 inf + 705535
8.340 * [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.340 * [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.341 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
8.341 * * [simplify]: iters left: 5 (9 enodes)
8.345 * * [simplify]: iters left: 4 (16 enodes)
8.350 * * [simplify]: iters left: 3 (18 enodes)
8.356 * * [simplify]: Extracting #0: cost 1 inf + 0
8.356 * * [simplify]: Extracting #1: cost 3 inf + 0
8.356 * * [simplify]: Extracting #2: cost 6 inf + 0
8.356 * * [simplify]: Extracting #3: cost 9 inf + 0
8.356 * * [simplify]: Extracting #4: cost 6 inf + 43
8.356 * * [simplify]: Extracting #5: cost 0 inf + 2214
8.356 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
8.357 * [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.357 * * * * [progress]: [ 10 / 12 ] 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.357 * [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.358 * * [simplify]: iters left: 6 (11 enodes)
8.363 * * [simplify]: iters left: 5 (35 enodes)
8.378 * * [simplify]: iters left: 4 (87 enodes)
8.410 * * [simplify]: iters left: 3 (261 enodes)
8.587 * * [simplify]: Extracting #0: cost 1 inf + 0
8.587 * * [simplify]: Extracting #1: cost 34 inf + 0
8.588 * * [simplify]: Extracting #2: cost 176 inf + 0
8.590 * * [simplify]: Extracting #3: cost 253 inf + 5588
8.606 * * [simplify]: Extracting #4: cost 230 inf + 217837
8.658 * * [simplify]: Extracting #5: cost 21 inf + 650533
8.719 * * [simplify]: Extracting #6: cost 0 inf + 705535
8.780 * [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.781 * [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.781 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
8.781 * * [simplify]: iters left: 5 (9 enodes)
8.785 * * [simplify]: iters left: 4 (16 enodes)
8.791 * * [simplify]: iters left: 3 (18 enodes)
8.797 * * [simplify]: Extracting #0: cost 1 inf + 0
8.797 * * [simplify]: Extracting #1: cost 3 inf + 0
8.797 * * [simplify]: Extracting #2: cost 6 inf + 0
8.797 * * [simplify]: Extracting #3: cost 9 inf + 0
8.797 * * [simplify]: Extracting #4: cost 6 inf + 43
8.798 * * [simplify]: Extracting #5: cost 0 inf + 2214
8.798 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
8.798 * [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.798 * * * * [progress]: [ 11 / 12 ] 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.798 * [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.799 * * [simplify]: iters left: 6 (11 enodes)
8.806 * * [simplify]: iters left: 5 (35 enodes)
8.820 * * [simplify]: iters left: 4 (87 enodes)
8.854 * * [simplify]: iters left: 3 (261 enodes)
9.030 * * [simplify]: Extracting #0: cost 1 inf + 0
9.030 * * [simplify]: Extracting #1: cost 34 inf + 0
9.031 * * [simplify]: Extracting #2: cost 176 inf + 0
9.032 * * [simplify]: Extracting #3: cost 253 inf + 5588
9.047 * * [simplify]: Extracting #4: cost 230 inf + 217837
9.103 * * [simplify]: Extracting #5: cost 21 inf + 650533
9.165 * * [simplify]: Extracting #6: cost 0 inf + 705535
9.229 * [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.230 * [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.230 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
9.230 * * [simplify]: iters left: 5 (9 enodes)
9.234 * * [simplify]: iters left: 4 (16 enodes)
9.239 * * [simplify]: iters left: 3 (18 enodes)
9.246 * * [simplify]: Extracting #0: cost 1 inf + 0
9.246 * * [simplify]: Extracting #1: cost 3 inf + 0
9.246 * * [simplify]: Extracting #2: cost 6 inf + 0
9.246 * * [simplify]: Extracting #3: cost 9 inf + 0
9.246 * * [simplify]: Extracting #4: cost 6 inf + 43
9.246 * * [simplify]: Extracting #5: cost 0 inf + 2214
9.246 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
9.246 * [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.247 * * * * [progress]: [ 12 / 12 ] 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.247 * [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.247 * * [simplify]: iters left: 6 (11 enodes)
9.253 * * [simplify]: iters left: 5 (35 enodes)
9.265 * * [simplify]: iters left: 4 (87 enodes)
9.300 * * [simplify]: iters left: 3 (261 enodes)
9.476 * * [simplify]: Extracting #0: cost 1 inf + 0
9.476 * * [simplify]: Extracting #1: cost 34 inf + 0
9.477 * * [simplify]: Extracting #2: cost 176 inf + 0
9.479 * * [simplify]: Extracting #3: cost 253 inf + 5588
9.493 * * [simplify]: Extracting #4: cost 230 inf + 217837
9.546 * * [simplify]: Extracting #5: cost 21 inf + 650533
9.582 * * [simplify]: Extracting #6: cost 0 inf + 705535
9.613 * [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.613 * [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.613 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
9.614 * * [simplify]: iters left: 5 (9 enodes)
9.616 * * [simplify]: iters left: 4 (16 enodes)
9.618 * * [simplify]: iters left: 3 (18 enodes)
9.621 * * [simplify]: Extracting #0: cost 1 inf + 0
9.621 * * [simplify]: Extracting #1: cost 3 inf + 0
9.621 * * [simplify]: Extracting #2: cost 6 inf + 0
9.621 * * [simplify]: Extracting #3: cost 9 inf + 0
9.621 * * [simplify]: Extracting #4: cost 6 inf + 43
9.621 * * [simplify]: Extracting #5: cost 0 inf + 2214
9.622 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
9.622 * [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.622 * * * [progress]: adding candidates to table
10.014 * * [progress]: iteration 3 / 4
10.015 * * * [progress]: picking best candidate
10.110 * * * * [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)))))))>
10.110 * * * [progress]: localizing error
10.472 * * * [progress]: generating rewritten candidates
10.472 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
10.491 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
10.508 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
10.510 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2)
10.513 * * * [progress]: generating series expansions
10.513 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
10.513 * * * * [progress]: [ 2 / 4 ] generating series at (2)
10.513 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
10.513 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2)
10.513 * * * [progress]: simplifying candidates
10.513 * * * * [progress]: [ 1 / 8 ] 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)))))))>
10.513 * [simplify]: Simplifying (neg.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
10.513 * * [simplify]: iters left: 5 (7 enodes)
10.517 * * [simplify]: iters left: 4 (13 enodes)
10.521 * * [simplify]: iters left: 3 (15 enodes)
10.526 * * [simplify]: Extracting #0: cost 1 inf + 0
10.526 * * [simplify]: Extracting #1: cost 2 inf + 0
10.526 * * [simplify]: Extracting #2: cost 4 inf + 0
10.526 * * [simplify]: Extracting #3: cost 6 inf + 0
10.526 * * [simplify]: Extracting #4: cost 6 inf + 1
10.527 * * [simplify]: Extracting #5: cost 0 inf + 1251
10.527 * [simplify]: Simplified to (neg.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
10.527 * [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)))))))
10.527 * * * * [progress]: [ 2 / 8 ] 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)))))))>
10.528 * [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))))))
10.528 * * [simplify]: iters left: 6 (11 enodes)
10.533 * * [simplify]: iters left: 5 (35 enodes)
10.547 * * [simplify]: iters left: 4 (87 enodes)
10.580 * * [simplify]: iters left: 3 (261 enodes)
10.762 * * [simplify]: Extracting #0: cost 1 inf + 0
10.762 * * [simplify]: Extracting #1: cost 34 inf + 0
10.763 * * [simplify]: Extracting #2: cost 176 inf + 0
10.765 * * [simplify]: Extracting #3: cost 253 inf + 5588
10.781 * * [simplify]: Extracting #4: cost 230 inf + 217837
10.830 * * [simplify]: Extracting #5: cost 21 inf + 650533
10.893 * * [simplify]: Extracting #6: cost 0 inf + 705535
10.957 * [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)))
10.957 * [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)))))))
10.958 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
10.958 * * [simplify]: iters left: 5 (9 enodes)
10.962 * * [simplify]: iters left: 4 (16 enodes)
10.967 * * [simplify]: iters left: 3 (18 enodes)
10.973 * * [simplify]: Extracting #0: cost 1 inf + 0
10.973 * * [simplify]: Extracting #1: cost 3 inf + 0
10.973 * * [simplify]: Extracting #2: cost 6 inf + 0
10.973 * * [simplify]: Extracting #3: cost 9 inf + 0
10.973 * * [simplify]: Extracting #4: cost 6 inf + 43
10.973 * * [simplify]: Extracting #5: cost 0 inf + 2214
10.974 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
10.974 * [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)))))))
10.974 * * * * [progress]: [ 3 / 8 ] simplifiying candidate #<alt (λ (x) (/.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 (+.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.974 * [simplify]: Simplifying (/.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))))))
10.975 * * [simplify]: iters left: 6 (11 enodes)
10.980 * * [simplify]: iters left: 5 (24 enodes)
10.989 * * [simplify]: iters left: 4 (45 enodes)
11.006 * * [simplify]: iters left: 3 (117 enodes)
11.062 * * [simplify]: iters left: 2 (426 enodes)
11.586 * * [simplify]: Extracting #0: cost 1 inf + 0
11.586 * * [simplify]: Extracting #1: cost 60 inf + 0
11.587 * * [simplify]: Extracting #2: cost 353 inf + 0
11.589 * * [simplify]: Extracting #3: cost 625 inf + 1
11.594 * * [simplify]: Extracting #4: cost 639 inf + 77043
11.631 * * [simplify]: Extracting #5: cost 354 inf + 803696
11.702 * * [simplify]: Extracting #6: cost 31 inf + 1650362
11.807 * * [simplify]: Extracting #7: cost 0 inf + 1707321
11.906 * * [simplify]: Extracting #8: cost 0 inf + 1706515
11.997 * [simplify]: Simplified to (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))) (/.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)))))
11.997 * [simplify]: Simplified (2 2) to (λ (x) (/.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 (+.p16 (real->posit16 1) x))) (/.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)))))))
11.997 * * * * [progress]: [ 4 / 8 ] 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 (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 (/.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.997 * [simplify]: Simplifying (*.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))))))
11.997 * * [simplify]: iters left: 6 (10 enodes)
12.000 * * [simplify]: iters left: 5 (23 enodes)
12.005 * * [simplify]: iters left: 4 (45 enodes)
12.013 * * [simplify]: iters left: 3 (97 enodes)
12.028 * * [simplify]: iters left: 2 (135 enodes)
12.045 * * [simplify]: iters left: 1 (175 enodes)
12.089 * * [simplify]: Extracting #0: cost 1 inf + 0
12.090 * * [simplify]: Extracting #1: cost 15 inf + 0
12.090 * * [simplify]: Extracting #2: cost 59 inf + 0
12.090 * * [simplify]: Extracting #3: cost 57 inf + 44
12.093 * * [simplify]: Extracting #4: cost 31 inf + 20055
12.099 * * [simplify]: Extracting #5: cost 6 inf + 54825
12.107 * * [simplify]: Extracting #6: cost 0 inf + 66237
12.115 * [simplify]: Simplified to (*.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 (real->posit16 1) x)))))
12.115 * [simplify]: Simplified (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 (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 (/.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 (real->posit16 1) x)))))))
12.115 * * * * [progress]: [ 5 / 8 ] 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.116 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
12.116 * * [simplify]: iters left: 5 (9 enodes)
12.120 * * [simplify]: iters left: 4 (16 enodes)
12.125 * * [simplify]: iters left: 3 (18 enodes)
12.131 * * [simplify]: Extracting #0: cost 1 inf + 0
12.131 * * [simplify]: Extracting #1: cost 3 inf + 0
12.131 * * [simplify]: Extracting #2: cost 6 inf + 0
12.131 * * [simplify]: Extracting #3: cost 9 inf + 0
12.131 * * [simplify]: Extracting #4: cost 6 inf + 43
12.131 * * [simplify]: Extracting #5: cost 0 inf + 2214
12.131 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
12.131 * [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.132 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
12.132 * * [simplify]: iters left: 5 (9 enodes)
12.136 * * [simplify]: iters left: 4 (22 enodes)
12.143 * * [simplify]: iters left: 3 (42 enodes)
12.158 * * [simplify]: iters left: 2 (100 enodes)
12.207 * * [simplify]: iters left: 1 (348 enodes)
12.390 * * [simplify]: Extracting #0: cost 1 inf + 0
12.390 * * [simplify]: Extracting #1: cost 48 inf + 0
12.390 * * [simplify]: Extracting #2: cost 268 inf + 0
12.392 * * [simplify]: Extracting #3: cost 472 inf + 2
12.403 * * [simplify]: Extracting #4: cost 433 inf + 227768
12.452 * * [simplify]: Extracting #5: cost 77 inf + 950255
12.525 * * [simplify]: Extracting #6: cost 3 inf + 1162768
12.598 * * [simplify]: Extracting #7: cost 0 inf + 1151214
12.672 * * [simplify]: Extracting #8: cost 0 inf + 1149854
12.772 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
12.772 * [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.772 * * * * [progress]: [ 6 / 8 ] 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.772 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
12.772 * * [simplify]: iters left: 5 (9 enodes)
12.777 * * [simplify]: iters left: 4 (16 enodes)
12.782 * * [simplify]: iters left: 3 (18 enodes)
12.788 * * [simplify]: Extracting #0: cost 1 inf + 0
12.788 * * [simplify]: Extracting #1: cost 3 inf + 0
12.788 * * [simplify]: Extracting #2: cost 6 inf + 0
12.788 * * [simplify]: Extracting #3: cost 9 inf + 0
12.788 * * [simplify]: Extracting #4: cost 6 inf + 43
12.789 * * [simplify]: Extracting #5: cost 0 inf + 2214
12.789 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
12.789 * [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.789 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
12.789 * * [simplify]: iters left: 5 (9 enodes)
12.793 * * [simplify]: iters left: 4 (22 enodes)
12.802 * * [simplify]: iters left: 3 (42 enodes)
12.817 * * [simplify]: iters left: 2 (100 enodes)
12.861 * * [simplify]: iters left: 1 (348 enodes)
13.085 * * [simplify]: Extracting #0: cost 1 inf + 0
13.085 * * [simplify]: Extracting #1: cost 48 inf + 0
13.086 * * [simplify]: Extracting #2: cost 268 inf + 0
13.089 * * [simplify]: Extracting #3: cost 472 inf + 2
13.106 * * [simplify]: Extracting #4: cost 433 inf + 227768
13.169 * * [simplify]: Extracting #5: cost 77 inf + 950255
13.251 * * [simplify]: Extracting #6: cost 3 inf + 1162768
13.381 * * [simplify]: Extracting #7: cost 0 inf + 1151214
13.506 * * [simplify]: Extracting #8: cost 0 inf + 1149854
13.635 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
13.635 * [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.636 * * * * [progress]: [ 7 / 8 ] 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.636 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
13.636 * * [simplify]: iters left: 5 (9 enodes)
13.640 * * [simplify]: iters left: 4 (16 enodes)
13.645 * * [simplify]: iters left: 3 (18 enodes)
13.651 * * [simplify]: Extracting #0: cost 1 inf + 0
13.651 * * [simplify]: Extracting #1: cost 3 inf + 0
13.651 * * [simplify]: Extracting #2: cost 6 inf + 0
13.651 * * [simplify]: Extracting #3: cost 9 inf + 0
13.651 * * [simplify]: Extracting #4: cost 6 inf + 43
13.651 * * [simplify]: Extracting #5: cost 0 inf + 2214
13.652 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
13.652 * [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.652 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
13.652 * * [simplify]: iters left: 5 (9 enodes)
13.656 * * [simplify]: iters left: 4 (22 enodes)
13.664 * * [simplify]: iters left: 3 (42 enodes)
13.678 * * [simplify]: iters left: 2 (100 enodes)
13.719 * * [simplify]: iters left: 1 (348 enodes)
13.970 * * [simplify]: Extracting #0: cost 1 inf + 0
13.970 * * [simplify]: Extracting #1: cost 48 inf + 0
13.971 * * [simplify]: Extracting #2: cost 268 inf + 0
13.973 * * [simplify]: Extracting #3: cost 472 inf + 2
13.982 * * [simplify]: Extracting #4: cost 433 inf + 227768
14.041 * * [simplify]: Extracting #5: cost 77 inf + 950255
14.111 * * [simplify]: Extracting #6: cost 3 inf + 1162768
14.220 * * [simplify]: Extracting #7: cost 0 inf + 1151214
14.348 * * [simplify]: Extracting #8: cost 0 inf + 1149854
14.477 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
14.477 * [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.477 * * * * [progress]: [ 8 / 8 ] 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)))))))>
14.478 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
14.478 * * [simplify]: iters left: 5 (9 enodes)
14.482 * * [simplify]: iters left: 4 (16 enodes)
14.488 * * [simplify]: iters left: 3 (18 enodes)
14.494 * * [simplify]: Extracting #0: cost 1 inf + 0
14.494 * * [simplify]: Extracting #1: cost 3 inf + 0
14.494 * * [simplify]: Extracting #2: cost 6 inf + 0
14.495 * * [simplify]: Extracting #3: cost 9 inf + 0
14.495 * * [simplify]: Extracting #4: cost 6 inf + 43
14.495 * * [simplify]: Extracting #5: cost 0 inf + 2214
14.495 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
14.495 * [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)))))))
14.496 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
14.496 * * [simplify]: iters left: 5 (9 enodes)
14.500 * * [simplify]: iters left: 4 (22 enodes)
14.508 * * [simplify]: iters left: 3 (42 enodes)
14.521 * * [simplify]: iters left: 2 (100 enodes)
14.542 * * [simplify]: iters left: 1 (348 enodes)
14.770 * * [simplify]: Extracting #0: cost 1 inf + 0
14.770 * * [simplify]: Extracting #1: cost 48 inf + 0
14.771 * * [simplify]: Extracting #2: cost 268 inf + 0
14.773 * * [simplify]: Extracting #3: cost 472 inf + 2
14.783 * * [simplify]: Extracting #4: cost 433 inf + 227768
14.830 * * [simplify]: Extracting #5: cost 77 inf + 950255
14.898 * * [simplify]: Extracting #6: cost 3 inf + 1162768
14.996 * * [simplify]: Extracting #7: cost 0 inf + 1151214
15.063 * * [simplify]: Extracting #8: cost 0 inf + 1149854
15.127 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
15.127 * [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)))))))
15.128 * * * [progress]: adding candidates to table
15.303 * * [progress]: iteration 4 / 4
15.303 * * * [progress]: picking best candidate
15.353 * * * * [pick]: Picked  #<alt (λ (x) (/.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 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))))>
15.353 * * * [progress]: localizing error
15.581 * * * [progress]: generating rewritten candidates
15.581 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
15.586 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2)
15.589 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2)
15.591 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
15.593 * * * [progress]: generating series expansions
15.593 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
15.593 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2)
15.593 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2)
15.593 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
15.593 * * * [progress]: simplifying candidates
15.593 * * * * [progress]: [ 1 / 6 ] simplifiying candidate #<alt (λ (x) (/.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 (+.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)))))))))>
15.593 * [simplify]: Simplifying (neg.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
15.594 * * [simplify]: iters left: 5 (7 enodes)
15.597 * * [simplify]: iters left: 4 (13 enodes)
15.611 * * [simplify]: iters left: 3 (15 enodes)
15.614 * * [simplify]: Extracting #0: cost 1 inf + 0
15.614 * * [simplify]: Extracting #1: cost 2 inf + 0
15.614 * * [simplify]: Extracting #2: cost 4 inf + 0
15.614 * * [simplify]: Extracting #3: cost 6 inf + 0
15.614 * * [simplify]: Extracting #4: cost 6 inf + 1
15.614 * * [simplify]: Extracting #5: cost 0 inf + 1251
15.614 * [simplify]: Simplified to (neg.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
15.614 * [simplify]: Simplified (2 2 2 2) to (λ (x) (/.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 (+.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))))))))
15.614 * * * * [progress]: [ 2 / 6 ] simplifiying candidate #<alt (λ (x) (/.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 (+.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)))))))))>
15.615 * [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))))))
15.615 * * [simplify]: iters left: 6 (11 enodes)
15.617 * * [simplify]: iters left: 5 (35 enodes)
15.624 * * [simplify]: iters left: 4 (87 enodes)
15.641 * * [simplify]: iters left: 3 (261 enodes)
15.753 * * [simplify]: Extracting #0: cost 1 inf + 0
15.753 * * [simplify]: Extracting #1: cost 34 inf + 0
15.754 * * [simplify]: Extracting #2: cost 176 inf + 0
15.756 * * [simplify]: Extracting #3: cost 253 inf + 5588
15.773 * * [simplify]: Extracting #4: cost 230 inf + 217837
15.823 * * [simplify]: Extracting #5: cost 21 inf + 650533
15.869 * * [simplify]: Extracting #6: cost 0 inf + 705535
15.909 * [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)))
15.909 * [simplify]: Simplified (2 2 2 1) to (λ (x) (/.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 (+.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)))))))))
15.910 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
15.910 * * [simplify]: iters left: 5 (9 enodes)
15.914 * * [simplify]: iters left: 4 (16 enodes)
15.919 * * [simplify]: iters left: 3 (18 enodes)
15.926 * * [simplify]: Extracting #0: cost 1 inf + 0
15.926 * * [simplify]: Extracting #1: cost 3 inf + 0
15.926 * * [simplify]: Extracting #2: cost 6 inf + 0
15.926 * * [simplify]: Extracting #3: cost 9 inf + 0
15.926 * * [simplify]: Extracting #4: cost 6 inf + 43
15.926 * * [simplify]: Extracting #5: cost 0 inf + 2214
15.927 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
15.927 * [simplify]: Simplified (2 2 2 2) to (λ (x) (/.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 (+.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))))))))
15.927 * * * * [progress]: [ 3 / 6 ] simplifiying candidate #<alt (λ (x) (/.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 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))))>
15.927 * [simplify]: Simplifying (/.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))))))
15.927 * * [simplify]: iters left: 6 (11 enodes)
15.930 * * [simplify]: iters left: 5 (24 enodes)
15.936 * * [simplify]: iters left: 4 (45 enodes)
15.944 * * [simplify]: iters left: 3 (117 enodes)
15.982 * * [simplify]: iters left: 2 (426 enodes)
16.521 * * [simplify]: Extracting #0: cost 1 inf + 0
16.521 * * [simplify]: Extracting #1: cost 60 inf + 0
16.522 * * [simplify]: Extracting #2: cost 353 inf + 0
16.524 * * [simplify]: Extracting #3: cost 625 inf + 1
16.529 * * [simplify]: Extracting #4: cost 639 inf + 77043
16.567 * * [simplify]: Extracting #5: cost 354 inf + 803696
16.671 * * [simplify]: Extracting #6: cost 31 inf + 1650362
16.817 * * [simplify]: Extracting #7: cost 0 inf + 1707321
16.934 * * [simplify]: Extracting #8: cost 0 inf + 1706515
17.047 * [simplify]: Simplified to (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))) (/.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)))))
17.047 * [simplify]: Simplified (2 2) to (λ (x) (/.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 (+.p16 (real->posit16 1) x))) (/.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)))))))
17.048 * * * * [progress]: [ 4 / 6 ] simplifiying candidate #<alt (λ (x) (/.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 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))))>
17.048 * [simplify]: Simplifying (/.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))))))
17.048 * * [simplify]: iters left: 6 (11 enodes)
17.053 * * [simplify]: iters left: 5 (24 enodes)
17.062 * * [simplify]: iters left: 4 (45 enodes)
17.079 * * [simplify]: iters left: 3 (117 enodes)
17.134 * * [simplify]: iters left: 2 (426 enodes)
17.720 * * [simplify]: Extracting #0: cost 1 inf + 0
17.720 * * [simplify]: Extracting #1: cost 60 inf + 0
17.722 * * [simplify]: Extracting #2: cost 353 inf + 0
17.727 * * [simplify]: Extracting #3: cost 625 inf + 1
17.736 * * [simplify]: Extracting #4: cost 639 inf + 77043
17.804 * * [simplify]: Extracting #5: cost 354 inf + 803696
17.916 * * [simplify]: Extracting #6: cost 31 inf + 1650362
18.027 * * [simplify]: Extracting #7: cost 0 inf + 1707321
18.117 * * [simplify]: Extracting #8: cost 0 inf + 1706515
18.213 * [simplify]: Simplified to (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))) (/.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)))))
18.213 * [simplify]: Simplified (2 2) to (λ (x) (/.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 (+.p16 (real->posit16 1) x))) (/.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)))))))
18.213 * * * * [progress]: [ 5 / 6 ] simplifiying candidate #<alt (λ (x) (/.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 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))))>
18.213 * [simplify]: Simplifying (/.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))))))
18.213 * * [simplify]: iters left: 6 (11 enodes)
18.216 * * [simplify]: iters left: 5 (24 enodes)
18.224 * * [simplify]: iters left: 4 (45 enodes)
18.232 * * [simplify]: iters left: 3 (117 enodes)
18.267 * * [simplify]: iters left: 2 (426 enodes)
18.674 * * [simplify]: Extracting #0: cost 1 inf + 0
18.674 * * [simplify]: Extracting #1: cost 60 inf + 0
18.676 * * [simplify]: Extracting #2: cost 353 inf + 0
18.681 * * [simplify]: Extracting #3: cost 625 inf + 1
18.686 * * [simplify]: Extracting #4: cost 639 inf + 77043
18.721 * * [simplify]: Extracting #5: cost 354 inf + 803696
18.795 * * [simplify]: Extracting #6: cost 31 inf + 1650362
18.903 * * [simplify]: Extracting #7: cost 0 inf + 1707321
19.012 * * [simplify]: Extracting #8: cost 0 inf + 1706515
19.128 * [simplify]: Simplified to (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))) (/.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)))))
19.128 * [simplify]: Simplified (2 2) to (λ (x) (/.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 (+.p16 (real->posit16 1) x))) (/.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)))))))
19.128 * * * * [progress]: [ 6 / 6 ] simplifiying candidate #<alt (λ (x) (/.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 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))))>
19.128 * [simplify]: Simplifying (/.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))))))
19.128 * * [simplify]: iters left: 6 (11 enodes)
19.131 * * [simplify]: iters left: 5 (24 enodes)
19.135 * * [simplify]: iters left: 4 (45 enodes)
19.143 * * [simplify]: iters left: 3 (117 enodes)
19.174 * * [simplify]: iters left: 2 (426 enodes)
19.665 * * [simplify]: Extracting #0: cost 1 inf + 0
19.665 * * [simplify]: Extracting #1: cost 60 inf + 0
19.666 * * [simplify]: Extracting #2: cost 353 inf + 0
19.673 * * [simplify]: Extracting #3: cost 625 inf + 1
19.679 * * [simplify]: Extracting #4: cost 639 inf + 77043
19.723 * * [simplify]: Extracting #5: cost 354 inf + 803696
19.804 * * [simplify]: Extracting #6: cost 31 inf + 1650362
19.900 * * [simplify]: Extracting #7: cost 0 inf + 1707321
19.995 * * [simplify]: Extracting #8: cost 0 inf + 1706515
20.089 * [simplify]: Simplified to (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))) (/.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)))))
20.089 * [simplify]: Simplified (2 2) to (λ (x) (/.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 (+.p16 (real->posit16 1) x))) (/.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)))))))
20.089 * * * [progress]: adding candidates to table
20.182 * [progress]: [Phase 3 of 3] Extracting.
20.182 * * [regime]: Finding splitpoints for: (#<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) (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 (+.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)))))))))> #<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 (*.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 (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 (+.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 (/.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 (/.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 (+.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)))))))))> #<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 (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 (/.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))))))))>)
20.185 * * * [regime-changes]: Trying 1 branch expressions: (x)
20.185 * * * * [regimes]: Trying to branch on x from (#<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) (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 (+.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)))))))))> #<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 (*.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 (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 (+.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 (/.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 (/.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 (+.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)))))))))> #<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 (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 (/.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))))))))>)
20.327 * * * [regime]: Found split indices: #<option (#s(si 1 256))>
20.328 * [simplify]: Simplifying (/.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))))))
20.328 * * [simplify]: iters left: 6 (12 enodes)
20.329 * * [simplify]: iters left: 5 (14 enodes)
20.330 * * [simplify]: Extracting #0: cost 1 inf + 0
20.330 * * [simplify]: Extracting #1: cost 3 inf + 0
20.330 * * [simplify]: Extracting #2: cost 6 inf + 0
20.330 * * [simplify]: Extracting #3: cost 9 inf + 0
20.330 * * [simplify]: Extracting #4: cost 12 inf + 0
20.330 * * [simplify]: Extracting #5: cost 9 inf + 43
20.330 * * [simplify]: Extracting #6: cost 0 inf + 6620
20.330 * [simplify]: Simplified to (/.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))))))
20.330 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
20.343 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
20.347 * * * * [points]: Setting MPFR precision to 64
20.349 * * * * [points]: Setting MPFR precision to 320
20.350 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
20.353 * * * * [points]: Setting MPFR precision to 64
20.356 * * * * [points]: Setting MPFR precision to 320
20.359 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
20.362 * * * * [points]: Setting MPFR precision to 64
20.368 * * * * [points]: Setting MPFR precision to 320
20.374 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
20.378 * * * * [points]: Setting MPFR precision to 64
20.390 * * * * [points]: Setting MPFR precision to 320
20.401 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
20.405 * * * * [points]: Setting MPFR precision to 64
20.427 * * * * [points]: Setting MPFR precision to 320
20.449 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
20.452 * * * * [points]: Setting MPFR precision to 64
20.525 * * * * [points]: Setting MPFR precision to 320
20.567 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
20.570 * * * * [points]: Setting MPFR precision to 64
20.645 * * * * [points]: Setting MPFR precision to 320
20.719 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
20.767 * * * * [points]: Setting MPFR precision to 64
20.913 * * * * [points]: Setting MPFR precision to 320
21.098 * * * * [points]: Computing exacts for 8000 points
21.100 * * * * [points]: Setting MPFR precision to 64
22.280 * * * * [points]: Setting MPFR precision to 320
22.769 * * * * [points]: Filtering points with unrepresentable outputs
22.780 * * * * [points]: Sampled 8000 points with exact outputs
25.665 * [regime-testing]: Baseline error score: 64.0
25.669 * [regime-testing]: Oracle error score: 64.0
25.684 * [regime-testing]: End program error score: 0.5912056998944296