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.009 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.011 * * * * [points]: Setting MPFR precision to 64
0.018 * * * * [points]: Setting MPFR precision to 320
0.023 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.027 * * * * [points]: Setting MPFR precision to 64
0.034 * * * * [points]: Setting MPFR precision to 320
0.042 * * * * [points]: Computing exacts for 256 points
0.046 * * * * [points]: Setting MPFR precision to 64
0.067 * * * * [points]: Setting MPFR precision to 320
0.090 * * * * [points]: Filtering points with unrepresentable outputs
0.091 * * * * [points]: Sampled 256 points with exact outputs
0.091 * * * [progress]: [2/2] Setting up program.
0.108 * [progress]: [Phase 2 of 3] Improving.
0.108 * * * * [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.109 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
0.109 * * [simplify]: iters left: 5 (9 enodes)
0.113 * * [simplify]: iters left: 4 (22 enodes)
0.121 * * [simplify]: iters left: 3 (42 enodes)
0.137 * * [simplify]: iters left: 2 (100 enodes)
0.181 * * [simplify]: iters left: 1 (347 enodes)
0.443 * * [simplify]: Extracting #0: cost 1 inf + 0
0.443 * * [simplify]: Extracting #1: cost 48 inf + 0
0.444 * * [simplify]: Extracting #2: cost 269 inf + 0
0.446 * * [simplify]: Extracting #3: cost 457 inf + 1
0.455 * * [simplify]: Extracting #4: cost 422 inf + 210469
0.506 * * [simplify]: Extracting #5: cost 77 inf + 915056
0.607 * * [simplify]: Extracting #6: cost 3 inf + 1114648
0.732 * * [simplify]: Extracting #7: cost 1 inf + 1091652
0.858 * * [simplify]: Extracting #8: cost 0 inf + 1093814
0.983 * * [simplify]: Extracting #9: cost 0 inf + 1093774
1.099 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1.099 * [simplify]: Simplified (2) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))))
1.107 * * [progress]: iteration 1 / 4
1.108 * * * [progress]: picking best candidate
1.116 * * * * [pick]: Picked  #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))>
1.116 * * * [progress]: localizing error
1.325 * * * [progress]: generating rewritten candidates
1.325 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
1.331 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
1.333 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
1.335 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
1.336 * * * [progress]: generating series expansions
1.336 * * * * [progress]: [ 1 / 4 ] generating series at (2)
1.336 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
1.336 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
1.336 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
1.336 * * * [progress]: simplifying candidates
1.336 * * * * [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.336 * * * * [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.336 * * * * [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.336 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1.337 * * [simplify]: iters left: 5 (9 enodes)
1.341 * * [simplify]: iters left: 4 (22 enodes)
1.349 * * [simplify]: iters left: 3 (42 enodes)
1.364 * * [simplify]: iters left: 2 (100 enodes)
1.418 * * [simplify]: iters left: 1 (347 enodes)
1.691 * * [simplify]: Extracting #0: cost 1 inf + 0
1.691 * * [simplify]: Extracting #1: cost 48 inf + 0
1.692 * * [simplify]: Extracting #2: cost 269 inf + 0
1.695 * * [simplify]: Extracting #3: cost 457 inf + 1
1.713 * * [simplify]: Extracting #4: cost 422 inf + 210469
1.781 * * [simplify]: Extracting #5: cost 77 inf + 915056
1.880 * * [simplify]: Extracting #6: cost 3 inf + 1114648
2.007 * * [simplify]: Extracting #7: cost 1 inf + 1091652
2.129 * * [simplify]: Extracting #8: cost 0 inf + 1093814
2.209 * * [simplify]: Extracting #9: cost 0 inf + 1093774
2.317 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
2.317 * [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.317 * * * * [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.317 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
2.317 * * [simplify]: iters left: 5 (9 enodes)
2.320 * * [simplify]: iters left: 4 (22 enodes)
2.325 * * [simplify]: iters left: 3 (42 enodes)
2.336 * * [simplify]: iters left: 2 (100 enodes)
2.373 * * [simplify]: iters left: 1 (347 enodes)
2.540 * * [simplify]: Extracting #0: cost 1 inf + 0
2.540 * * [simplify]: Extracting #1: cost 48 inf + 0
2.541 * * [simplify]: Extracting #2: cost 269 inf + 0
2.544 * * [simplify]: Extracting #3: cost 457 inf + 1
2.566 * * [simplify]: Extracting #4: cost 422 inf + 210469
2.625 * * [simplify]: Extracting #5: cost 77 inf + 915056
2.690 * * [simplify]: Extracting #6: cost 3 inf + 1114648
2.751 * * [simplify]: Extracting #7: cost 1 inf + 1091652
2.814 * * [simplify]: Extracting #8: cost 0 inf + 1093814
2.892 * * [simplify]: Extracting #9: cost 0 inf + 1093774
3.014 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
3.014 * [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.015 * * * * [progress]: [ 5 / 6 ] simplifiying candidate #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))>
3.015 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
3.015 * * [simplify]: iters left: 5 (9 enodes)
3.020 * * [simplify]: iters left: 4 (22 enodes)
3.028 * * [simplify]: iters left: 3 (42 enodes)
3.044 * * [simplify]: iters left: 2 (100 enodes)
3.089 * * [simplify]: iters left: 1 (347 enodes)
3.395 * * [simplify]: Extracting #0: cost 1 inf + 0
3.396 * * [simplify]: Extracting #1: cost 48 inf + 0
3.397 * * [simplify]: Extracting #2: cost 269 inf + 0
3.398 * * [simplify]: Extracting #3: cost 457 inf + 1
3.407 * * [simplify]: Extracting #4: cost 422 inf + 210469
3.453 * * [simplify]: Extracting #5: cost 77 inf + 915056
3.575 * * [simplify]: Extracting #6: cost 3 inf + 1114648
3.698 * * [simplify]: Extracting #7: cost 1 inf + 1091652
3.821 * * [simplify]: Extracting #8: cost 0 inf + 1093814
3.945 * * [simplify]: Extracting #9: cost 0 inf + 1093774
4.068 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
4.069 * [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.069 * * * * [progress]: [ 6 / 6 ] simplifiying candidate #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))>
4.069 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
4.069 * * [simplify]: iters left: 5 (9 enodes)
4.074 * * [simplify]: iters left: 4 (22 enodes)
4.082 * * [simplify]: iters left: 3 (42 enodes)
4.097 * * [simplify]: iters left: 2 (100 enodes)
4.143 * * [simplify]: iters left: 1 (347 enodes)
4.382 * * [simplify]: Extracting #0: cost 1 inf + 0
4.383 * * [simplify]: Extracting #1: cost 48 inf + 0
4.384 * * [simplify]: Extracting #2: cost 269 inf + 0
4.387 * * [simplify]: Extracting #3: cost 457 inf + 1
4.403 * * [simplify]: Extracting #4: cost 422 inf + 210469
4.454 * * [simplify]: Extracting #5: cost 77 inf + 915056
4.549 * * [simplify]: Extracting #6: cost 3 inf + 1114648
4.616 * * [simplify]: Extracting #7: cost 1 inf + 1091652
4.702 * * [simplify]: Extracting #8: cost 0 inf + 1093814
4.803 * * [simplify]: Extracting #9: cost 0 inf + 1093774
4.873 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
4.873 * [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.873 * * * [progress]: adding candidates to table
4.954 * * [progress]: iteration 2 / 4
4.954 * * * [progress]: picking best candidate
4.964 * * * * [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.964 * * * [progress]: localizing error
5.167 * * * [progress]: generating rewritten candidates
5.167 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
5.170 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
5.180 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
5.187 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
5.189 * * * [progress]: generating series expansions
5.189 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
5.189 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
5.189 * * * * [progress]: [ 3 / 4 ] generating series at (2)
5.189 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
5.189 * * * [progress]: simplifying candidates
5.189 * * * * [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)))))))>
5.189 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
5.189 * * [simplify]: iters left: 5 (9 enodes)
5.192 * * [simplify]: iters left: 4 (16 enodes)
5.195 * * [simplify]: iters left: 3 (18 enodes)
5.198 * * [simplify]: Extracting #0: cost 1 inf + 0
5.198 * * [simplify]: Extracting #1: cost 3 inf + 0
5.198 * * [simplify]: Extracting #2: cost 6 inf + 0
5.198 * * [simplify]: Extracting #3: cost 9 inf + 0
5.198 * * [simplify]: Extracting #4: cost 6 inf + 43
5.198 * * [simplify]: Extracting #5: cost 0 inf + 2214
5.198 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
5.198 * [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)))))))
5.199 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
5.199 * * [simplify]: iters left: 5 (9 enodes)
5.201 * * [simplify]: iters left: 4 (22 enodes)
5.205 * * [simplify]: iters left: 3 (42 enodes)
5.213 * * [simplify]: iters left: 2 (100 enodes)
5.236 * * [simplify]: iters left: 1 (347 enodes)
5.497 * * [simplify]: Extracting #0: cost 1 inf + 0
5.497 * * [simplify]: Extracting #1: cost 48 inf + 0
5.499 * * [simplify]: Extracting #2: cost 269 inf + 0
5.501 * * [simplify]: Extracting #3: cost 457 inf + 1
5.511 * * [simplify]: Extracting #4: cost 422 inf + 210469
5.580 * * [simplify]: Extracting #5: cost 77 inf + 915056
5.697 * * [simplify]: Extracting #6: cost 3 inf + 1114648
5.770 * * [simplify]: Extracting #7: cost 1 inf + 1091652
5.890 * * [simplify]: Extracting #8: cost 0 inf + 1093814
6.009 * * [simplify]: Extracting #9: cost 0 inf + 1093774
6.130 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
6.130 * [simplify]: Simplified (2 1 2) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
6.130 * * * * [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)))))))>
6.130 * * * * [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)))))))>
6.131 * * * * [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.131 * [simplify]: Simplifying (sqrt.p16 (+.p16 x (real->posit16 1)))
6.131 * * [simplify]: iters left: 3 (5 enodes)
6.134 * * [simplify]: iters left: 2 (11 enodes)
6.138 * * [simplify]: iters left: 1 (13 enodes)
6.142 * * [simplify]: Extracting #0: cost 1 inf + 0
6.142 * * [simplify]: Extracting #1: cost 2 inf + 0
6.142 * * [simplify]: Extracting #2: cost 4 inf + 0
6.142 * * [simplify]: Extracting #3: cost 4 inf + 1
6.142 * * [simplify]: Extracting #4: cost 0 inf + 127
6.143 * [simplify]: Simplified to (sqrt.p16 (+.p16 (real->posit16 1) x))
6.143 * [simplify]: Simplified (2 1 2 2) to (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (/.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (real->posit16 1)) (sqrt.p16 (+.p16 (real->posit16 1) x)))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
6.143 * * * * [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.143 * [simplify]: Simplifying (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
6.143 * * [simplify]: iters left: 5 (7 enodes)
6.146 * * [simplify]: iters left: 4 (16 enodes)
6.151 * * [simplify]: iters left: 3 (20 enodes)
6.158 * * [simplify]: Extracting #0: cost 1 inf + 0
6.158 * * [simplify]: Extracting #1: cost 6 inf + 0
6.158 * * [simplify]: Extracting #2: cost 8 inf + 0
6.158 * * [simplify]: Extracting #3: cost 8 inf + 1
6.158 * * [simplify]: Extracting #4: cost 5 inf + 324
6.159 * * [simplify]: Extracting #5: cost 0 inf + 2334
6.159 * [simplify]: Simplified to (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))) (real->posit16 1))
6.159 * [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.159 * * * * [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.159 * * * * [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.159 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
6.160 * * [simplify]: iters left: 5 (9 enodes)
6.163 * * [simplify]: iters left: 4 (16 enodes)
6.168 * * [simplify]: iters left: 3 (18 enodes)
6.174 * * [simplify]: Extracting #0: cost 1 inf + 0
6.174 * * [simplify]: Extracting #1: cost 3 inf + 0
6.174 * * [simplify]: Extracting #2: cost 6 inf + 0
6.174 * * [simplify]: Extracting #3: cost 9 inf + 0
6.174 * * [simplify]: Extracting #4: cost 6 inf + 43
6.174 * * [simplify]: Extracting #5: cost 0 inf + 2214
6.175 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
6.175 * [simplify]: Simplified (2 1) to (λ (x) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.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 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))))
6.175 * * * * [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)))))))))>
6.175 * [simplify]: Simplifying (-.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
6.175 * * [simplify]: iters left: 6 (13 enodes)
6.181 * * [simplify]: iters left: 5 (45 enodes)
6.200 * * [simplify]: iters left: 4 (144 enodes)
6.268 * * [simplify]: iters left: 3 (446 enodes)
6.703 * * [simplify]: Extracting #0: cost 1 inf + 0
6.703 * * [simplify]: Extracting #1: cost 41 inf + 0
6.704 * * [simplify]: Extracting #2: cost 283 inf + 0
6.707 * * [simplify]: Extracting #3: cost 446 inf + 44
6.728 * * [simplify]: Extracting #4: cost 488 inf + 246749
6.846 * * [simplify]: Extracting #5: cost 101 inf + 1165723
7.023 * * [simplify]: Extracting #6: cost 2 inf + 1463482
7.190 * * [simplify]: Extracting #7: cost 0 inf + 1419126
7.355 * * [simplify]: Extracting #8: cost 0 inf + 1414206
7.520 * [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))))
7.520 * [simplify]: Simplified (2 1) to (λ (x) (/.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 (+.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.520 * * * * [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.520 * * * * [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)))))))>
7.521 * * * * [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)))))))>
7.521 * * * * [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)))))))>
7.521 * * * [progress]: adding candidates to table
7.999 * * [progress]: iteration 3 / 4
7.999 * * * [progress]: picking best candidate
8.098 * * * * [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)))))))>
8.098 * * * [progress]: localizing error
8.458 * * * [progress]: generating rewritten candidates
8.458 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
8.464 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
8.480 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
8.483 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2)
8.485 * * * [progress]: generating series expansions
8.485 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
8.485 * * * * [progress]: [ 2 / 4 ] generating series at (2)
8.485 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
8.485 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2)
8.485 * * * [progress]: simplifying candidates
8.485 * * * * [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)))))))>
8.485 * * * * [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)))))))>
8.486 * * * * [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))))))))>
8.486 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
8.486 * * [simplify]: iters left: 5 (9 enodes)
8.490 * * [simplify]: iters left: 4 (16 enodes)
8.495 * * [simplify]: iters left: 3 (18 enodes)
8.501 * * [simplify]: Extracting #0: cost 1 inf + 0
8.501 * * [simplify]: Extracting #1: cost 3 inf + 0
8.501 * * [simplify]: Extracting #2: cost 6 inf + 0
8.501 * * [simplify]: Extracting #3: cost 9 inf + 0
8.501 * * [simplify]: Extracting #4: cost 6 inf + 43
8.501 * * [simplify]: Extracting #5: cost 0 inf + 2214
8.502 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
8.502 * [simplify]: Simplified (2 1) to (λ (x) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.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 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))))
8.502 * * * * [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))))))))>
8.502 * [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)))))))
8.502 * * [simplify]: iters left: 6 (13 enodes)
8.508 * * [simplify]: iters left: 5 (38 enodes)
8.524 * * [simplify]: iters left: 4 (106 enodes)
8.580 * * [simplify]: iters left: 3 (376 enodes)
8.875 * * [simplify]: Extracting #0: cost 1 inf + 0
8.875 * * [simplify]: Extracting #1: cost 52 inf + 0
8.875 * * [simplify]: Extracting #2: cost 302 inf + 0
8.877 * * [simplify]: Extracting #3: cost 417 inf + 43
8.888 * * [simplify]: Extracting #4: cost 351 inf + 302562
8.941 * * [simplify]: Extracting #5: cost 35 inf + 1004993
9.027 * * [simplify]: Extracting #6: cost 0 inf + 1083663
9.109 * * [simplify]: Extracting #7: cost 0 inf + 1082583
9.164 * [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 (/.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))))))
9.164 * [simplify]: Simplified (2 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 (/.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)))))) (*.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))))))))
9.165 * * * * [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)))))))>
9.165 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
9.165 * * [simplify]: iters left: 5 (9 enodes)
9.167 * * [simplify]: iters left: 4 (16 enodes)
9.170 * * [simplify]: iters left: 3 (18 enodes)
9.173 * * [simplify]: Extracting #0: cost 1 inf + 0
9.173 * * [simplify]: Extracting #1: cost 3 inf + 0
9.173 * * [simplify]: Extracting #2: cost 6 inf + 0
9.173 * * [simplify]: Extracting #3: cost 9 inf + 0
9.173 * * [simplify]: Extracting #4: cost 6 inf + 43
9.173 * * [simplify]: Extracting #5: cost 0 inf + 2214
9.173 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
9.173 * [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)))))))
9.174 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
9.174 * * [simplify]: iters left: 5 (9 enodes)
9.176 * * [simplify]: iters left: 4 (22 enodes)
9.180 * * [simplify]: iters left: 3 (42 enodes)
9.188 * * [simplify]: iters left: 2 (100 enodes)
9.210 * * [simplify]: iters left: 1 (347 enodes)
9.373 * * [simplify]: Extracting #0: cost 1 inf + 0
9.373 * * [simplify]: Extracting #1: cost 48 inf + 0
9.374 * * [simplify]: Extracting #2: cost 269 inf + 0
9.375 * * [simplify]: Extracting #3: cost 457 inf + 1
9.384 * * [simplify]: Extracting #4: cost 422 inf + 210469
9.430 * * [simplify]: Extracting #5: cost 77 inf + 915056
9.497 * * [simplify]: Extracting #6: cost 3 inf + 1114648
9.559 * * [simplify]: Extracting #7: cost 1 inf + 1091652
9.622 * * [simplify]: Extracting #8: cost 0 inf + 1093814
9.686 * * [simplify]: Extracting #9: cost 0 inf + 1093774
9.748 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
9.749 * [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)))))))
9.749 * * * * [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)))))))>
9.749 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
9.749 * * [simplify]: iters left: 5 (9 enodes)
9.751 * * [simplify]: iters left: 4 (16 enodes)
9.754 * * [simplify]: iters left: 3 (18 enodes)
9.757 * * [simplify]: Extracting #0: cost 1 inf + 0
9.757 * * [simplify]: Extracting #1: cost 3 inf + 0
9.757 * * [simplify]: Extracting #2: cost 6 inf + 0
9.757 * * [simplify]: Extracting #3: cost 9 inf + 0
9.757 * * [simplify]: Extracting #4: cost 6 inf + 43
9.757 * * [simplify]: Extracting #5: cost 0 inf + 2214
9.757 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
9.757 * [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)))))))
9.757 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
9.758 * * [simplify]: iters left: 5 (9 enodes)
9.760 * * [simplify]: iters left: 4 (22 enodes)
9.764 * * [simplify]: iters left: 3 (42 enodes)
9.772 * * [simplify]: iters left: 2 (100 enodes)
9.796 * * [simplify]: iters left: 1 (347 enodes)
9.953 * * [simplify]: Extracting #0: cost 1 inf + 0
9.953 * * [simplify]: Extracting #1: cost 48 inf + 0
9.954 * * [simplify]: Extracting #2: cost 269 inf + 0
9.955 * * [simplify]: Extracting #3: cost 457 inf + 1
9.966 * * [simplify]: Extracting #4: cost 422 inf + 210469
10.014 * * [simplify]: Extracting #5: cost 77 inf + 915056
10.078 * * [simplify]: Extracting #6: cost 3 inf + 1114648
10.140 * * [simplify]: Extracting #7: cost 1 inf + 1091652
10.203 * * [simplify]: Extracting #8: cost 0 inf + 1093814
10.267 * * [simplify]: Extracting #9: cost 0 inf + 1093774
10.329 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
10.329 * [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)))))))
10.329 * * * * [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)))))))>
10.329 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
10.329 * * [simplify]: iters left: 5 (9 enodes)
10.332 * * [simplify]: iters left: 4 (16 enodes)
10.334 * * [simplify]: iters left: 3 (18 enodes)
10.337 * * [simplify]: Extracting #0: cost 1 inf + 0
10.338 * * [simplify]: Extracting #1: cost 3 inf + 0
10.338 * * [simplify]: Extracting #2: cost 6 inf + 0
10.338 * * [simplify]: Extracting #3: cost 9 inf + 0
10.338 * * [simplify]: Extracting #4: cost 6 inf + 43
10.338 * * [simplify]: Extracting #5: cost 0 inf + 2214
10.338 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
10.338 * [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)))))))
10.338 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
10.338 * * [simplify]: iters left: 5 (9 enodes)
10.340 * * [simplify]: iters left: 4 (22 enodes)
10.345 * * [simplify]: iters left: 3 (42 enodes)
10.354 * * [simplify]: iters left: 2 (100 enodes)
10.377 * * [simplify]: iters left: 1 (347 enodes)
10.537 * * [simplify]: Extracting #0: cost 1 inf + 0
10.537 * * [simplify]: Extracting #1: cost 48 inf + 0
10.538 * * [simplify]: Extracting #2: cost 269 inf + 0
10.539 * * [simplify]: Extracting #3: cost 457 inf + 1
10.872 * * [simplify]: Extracting #4: cost 422 inf + 210469
10.921 * * [simplify]: Extracting #5: cost 77 inf + 915056
10.988 * * [simplify]: Extracting #6: cost 3 inf + 1114648
11.051 * * [simplify]: Extracting #7: cost 1 inf + 1091652
11.113 * * [simplify]: Extracting #8: cost 0 inf + 1093814
11.175 * * [simplify]: Extracting #9: cost 0 inf + 1093774
11.239 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
11.239 * [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)))))))
11.239 * * * * [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)))))))>
11.239 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
11.239 * * [simplify]: iters left: 5 (9 enodes)
11.243 * * [simplify]: iters left: 4 (16 enodes)
11.246 * * [simplify]: iters left: 3 (18 enodes)
11.249 * * [simplify]: Extracting #0: cost 1 inf + 0
11.249 * * [simplify]: Extracting #1: cost 3 inf + 0
11.249 * * [simplify]: Extracting #2: cost 6 inf + 0
11.249 * * [simplify]: Extracting #3: cost 9 inf + 0
11.249 * * [simplify]: Extracting #4: cost 6 inf + 43
11.249 * * [simplify]: Extracting #5: cost 0 inf + 2214
11.249 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
11.249 * [simplify]: Simplified (2 1 1) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
11.250 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
11.250 * * [simplify]: iters left: 5 (9 enodes)
11.252 * * [simplify]: iters left: 4 (22 enodes)
11.257 * * [simplify]: iters left: 3 (42 enodes)
11.265 * * [simplify]: iters left: 2 (100 enodes)
11.288 * * [simplify]: iters left: 1 (347 enodes)
11.443 * * [simplify]: Extracting #0: cost 1 inf + 0
11.444 * * [simplify]: Extracting #1: cost 48 inf + 0
11.444 * * [simplify]: Extracting #2: cost 269 inf + 0
11.446 * * [simplify]: Extracting #3: cost 457 inf + 1
11.455 * * [simplify]: Extracting #4: cost 422 inf + 210469
11.501 * * [simplify]: Extracting #5: cost 77 inf + 915056
11.567 * * [simplify]: Extracting #6: cost 3 inf + 1114648
11.631 * * [simplify]: Extracting #7: cost 1 inf + 1091652
11.695 * * [simplify]: Extracting #8: cost 0 inf + 1093814
11.756 * * [simplify]: Extracting #9: cost 0 inf + 1093774
11.820 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
11.820 * [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)))))))
11.820 * * * [progress]: adding candidates to table
11.951 * * [progress]: iteration 4 / 4
11.951 * * * [progress]: picking best candidate
12.002 * * * * [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))))))))>
12.002 * * * [progress]: localizing error
12.202 * * * [progress]: generating rewritten candidates
12.202 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
12.205 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2)
12.206 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2)
12.207 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
12.208 * * * [progress]: generating series expansions
12.208 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
12.208 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2)
12.208 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2)
12.208 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
12.208 * * * [progress]: simplifying candidates
12.208 * * * * [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)))))))))>
12.208 * * * * [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)))))))))>
12.208 * * * * [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))))))))>
12.208 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
12.208 * * [simplify]: iters left: 5 (9 enodes)
12.211 * * [simplify]: iters left: 4 (16 enodes)
12.214 * * [simplify]: iters left: 3 (18 enodes)
12.216 * * [simplify]: Extracting #0: cost 1 inf + 0
12.216 * * [simplify]: Extracting #1: cost 3 inf + 0
12.217 * * [simplify]: Extracting #2: cost 6 inf + 0
12.217 * * [simplify]: Extracting #3: cost 9 inf + 0
12.217 * * [simplify]: Extracting #4: cost 6 inf + 43
12.217 * * [simplify]: Extracting #5: cost 0 inf + 2214
12.217 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
12.217 * [simplify]: Simplified (2 1) to (λ (x) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.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 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))))
12.217 * * * * [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))))))))>
12.217 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
12.217 * * [simplify]: iters left: 5 (9 enodes)
12.219 * * [simplify]: iters left: 4 (16 enodes)
12.222 * * [simplify]: iters left: 3 (18 enodes)
12.225 * * [simplify]: Extracting #0: cost 1 inf + 0
12.225 * * [simplify]: Extracting #1: cost 3 inf + 0
12.225 * * [simplify]: Extracting #2: cost 6 inf + 0
12.225 * * [simplify]: Extracting #3: cost 9 inf + 0
12.225 * * [simplify]: Extracting #4: cost 6 inf + 43
12.225 * * [simplify]: Extracting #5: cost 0 inf + 2214
12.226 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
12.226 * [simplify]: Simplified (2 1) to (λ (x) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.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 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))))
12.226 * * * * [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))))))))>
12.226 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
12.226 * * [simplify]: iters left: 5 (9 enodes)
12.228 * * [simplify]: iters left: 4 (16 enodes)
12.231 * * [simplify]: iters left: 3 (18 enodes)
12.234 * * [simplify]: Extracting #0: cost 1 inf + 0
12.234 * * [simplify]: Extracting #1: cost 3 inf + 0
12.234 * * [simplify]: Extracting #2: cost 6 inf + 0
12.234 * * [simplify]: Extracting #3: cost 9 inf + 0
12.234 * * [simplify]: Extracting #4: cost 6 inf + 43
12.234 * * [simplify]: Extracting #5: cost 0 inf + 2214
12.234 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
12.234 * [simplify]: Simplified (2 1) to (λ (x) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.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 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))))
12.234 * * * * [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))))))))>
12.234 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
12.235 * * [simplify]: iters left: 5 (9 enodes)
12.237 * * [simplify]: iters left: 4 (16 enodes)
12.239 * * [simplify]: iters left: 3 (18 enodes)
12.242 * * [simplify]: Extracting #0: cost 1 inf + 0
12.242 * * [simplify]: Extracting #1: cost 3 inf + 0
12.242 * * [simplify]: Extracting #2: cost 6 inf + 0
12.242 * * [simplify]: Extracting #3: cost 9 inf + 0
12.242 * * [simplify]: Extracting #4: cost 6 inf + 43
12.243 * * [simplify]: Extracting #5: cost 0 inf + 2214
12.243 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
12.243 * [simplify]: Simplified (2 1) to (λ (x) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.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 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))))
12.243 * * * [progress]: adding candidates to table
12.337 * [progress]: [Phase 3 of 3] Extracting.
12.337 * * [regime]: Finding splitpoints for: (#<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 (/.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 (/.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))))))))> #<alt (λ (x) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))) (+.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))> #<alt (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))> #<alt (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (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.339 * * * [regime-changes]: Trying 1 branch expressions: (x)
12.339 * * * * [regimes]: Trying to branch on x from (#<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 (/.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 (/.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))))))))> #<alt (λ (x) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))) (+.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))> #<alt (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))> #<alt (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (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.431 * * * [regime]: Found split indices: #<option (#s(si 5 256))>
12.431 * [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))))))
12.432 * * [simplify]: iters left: 6 (12 enodes)
12.433 * * [simplify]: iters left: 5 (14 enodes)
12.433 * * [simplify]: Extracting #0: cost 1 inf + 0
12.433 * * [simplify]: Extracting #1: cost 3 inf + 0
12.433 * * [simplify]: Extracting #2: cost 6 inf + 0
12.433 * * [simplify]: Extracting #3: cost 9 inf + 0
12.433 * * [simplify]: Extracting #4: cost 12 inf + 0
12.434 * * [simplify]: Extracting #5: cost 9 inf + 43
12.434 * * [simplify]: Extracting #6: cost 0 inf + 6620
12.434 * [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))))))
12.434 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
12.445 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
12.447 * * * * [points]: Setting MPFR precision to 64
12.448 * * * * [points]: Setting MPFR precision to 320
12.449 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
12.451 * * * * [points]: Setting MPFR precision to 64
12.452 * * * * [points]: Setting MPFR precision to 320
12.454 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
12.456 * * * * [points]: Setting MPFR precision to 64
12.459 * * * * [points]: Setting MPFR precision to 320
12.462 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
12.464 * * * * [points]: Setting MPFR precision to 64
12.478 * * * * [points]: Setting MPFR precision to 320
12.484 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
12.487 * * * * [points]: Setting MPFR precision to 64
12.499 * * * * [points]: Setting MPFR precision to 320
12.512 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
12.515 * * * * [points]: Setting MPFR precision to 64
12.539 * * * * [points]: Setting MPFR precision to 320
12.564 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
12.566 * * * * [points]: Setting MPFR precision to 64
12.641 * * * * [points]: Setting MPFR precision to 320
12.691 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
12.693 * * * * [points]: Setting MPFR precision to 64
12.814 * * * * [points]: Setting MPFR precision to 320
12.910 * * * * [points]: Computing exacts for 8000 points
12.912 * * * * [points]: Setting MPFR precision to 64
13.375 * * * * [points]: Setting MPFR precision to 320
13.883 * * * * [points]: Filtering points with unrepresentable outputs
13.894 * * * * [points]: Sampled 8000 points with exact outputs
16.123 * [regime-testing]: Baseline error score: 64.0
16.126 * [regime-testing]: Oracle error score: 64.0
16.133 * [regime-testing]: End program error score: 0.6023931154294574