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.010 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.011 * * * * [points]: Setting MPFR precision to 64
0.015 * * * * [points]: Setting MPFR precision to 320
0.022 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.025 * * * * [points]: Setting MPFR precision to 64
0.032 * * * * [points]: Setting MPFR precision to 320
0.043 * * * * [points]: Computing exacts for 256 points
0.046 * * * * [points]: Setting MPFR precision to 64
0.068 * * * * [points]: Setting MPFR precision to 320
0.099 * * * * [points]: Filtering points with unrepresentable outputs
0.112 * * * * [points]: Sampling 124 additional inputs, on iter 1 have 132 / 256
0.112 * * * * [points]: Computing exacts on every 7 of 124 points to ramp up precision
0.116 * * * * [points]: Setting MPFR precision to 64
0.117 * * * * [points]: Setting MPFR precision to 320
0.119 * * * * [points]: Computing exacts on every 3 of 124 points to ramp up precision
0.144 * * * * [points]: Setting MPFR precision to 64
0.148 * * * * [points]: Setting MPFR precision to 320
0.152 * * * * [points]: Computing exacts for 124 points
0.155 * * * * [points]: Setting MPFR precision to 64
0.167 * * * * [points]: Setting MPFR precision to 320
0.180 * * * * [points]: Filtering points with unrepresentable outputs
0.185 * * * * [points]: Sampling 54 additional inputs, on iter 2 have 202 / 256
0.185 * * * * [points]: Computing exacts on every 3 of 54 points to ramp up precision
0.188 * * * * [points]: Setting MPFR precision to 64
0.189 * * * * [points]: Setting MPFR precision to 320
0.190 * * * * [points]: Computing exacts for 54 points
0.193 * * * * [points]: Setting MPFR precision to 64
0.197 * * * * [points]: Setting MPFR precision to 320
0.203 * * * * [points]: Filtering points with unrepresentable outputs
0.206 * * * * [points]: Sampling 27 additional inputs, on iter 3 have 229 / 256
0.206 * * * * [points]: Computing exacts for 27 points
0.209 * * * * [points]: Setting MPFR precision to 64
0.212 * * * * [points]: Setting MPFR precision to 320
0.215 * * * * [points]: Filtering points with unrepresentable outputs
0.216 * * * * [points]: Sampling 14 additional inputs, on iter 4 have 242 / 256
0.216 * * * * [points]: Computing exacts for 14 points
0.219 * * * * [points]: Setting MPFR precision to 64
0.221 * * * * [points]: Setting MPFR precision to 320
0.223 * * * * [points]: Filtering points with unrepresentable outputs
0.223 * * * * [points]: Sampling 8 additional inputs, on iter 5 have 248 / 256
0.223 * * * * [points]: Computing exacts for 8 points
0.226 * * * * [points]: Setting MPFR precision to 64
0.227 * * * * [points]: Setting MPFR precision to 320
0.228 * * * * [points]: Filtering points with unrepresentable outputs
0.229 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 252 / 256
0.229 * * * * [points]: Computing exacts for 4 points
0.232 * * * * [points]: Setting MPFR precision to 64
0.232 * * * * [points]: Setting MPFR precision to 320
0.233 * * * * [points]: Filtering points with unrepresentable outputs
0.233 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 255 / 256
0.233 * * * * [points]: Computing exacts for 4 points
0.236 * * * * [points]: Setting MPFR precision to 64
0.236 * * * * [points]: Setting MPFR precision to 320
0.237 * * * * [points]: Filtering points with unrepresentable outputs
0.237 * * * * [points]: Sampled 257 points with exact outputs
0.237 * * * [progress]: [2/2] Setting up program.
0.272 * [progress]: [Phase 2 of 3] Improving.
0.272 * * * * [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.272 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
0.272 * * [simplify]: iters left: 5 (9 enodes)
0.277 * * [simplify]: iters left: 4 (22 enodes)
0.284 * * [simplify]: iters left: 3 (42 enodes)
0.300 * * [simplify]: iters left: 2 (100 enodes)
0.362 * * [simplify]: iters left: 1 (347 enodes)
0.664 * * [simplify]: Extracting #0: cost 1 inf + 0
0.664 * * [simplify]: Extracting #1: cost 48 inf + 0
0.666 * * [simplify]: Extracting #2: cost 269 inf + 0
0.669 * * [simplify]: Extracting #3: cost 457 inf + 1
0.686 * * [simplify]: Extracting #4: cost 422 inf + 210469
0.761 * * [simplify]: Extracting #5: cost 77 inf + 915056
0.867 * * [simplify]: Extracting #6: cost 3 inf + 1114648
0.932 * * [simplify]: Extracting #7: cost 1 inf + 1091652
0.994 * * [simplify]: Extracting #8: cost 0 inf + 1093814
1.089 * * [simplify]: Extracting #9: cost 0 inf + 1093774
1.196 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1.196 * [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.228 * * [progress]: iteration 1 / 4
1.228 * * * [progress]: picking best candidate
1.256 * * * * [pick]: Picked  #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))>
1.256 * * * [progress]: localizing error
1.567 * * * [progress]: generating rewritten candidates
1.567 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
1.573 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
1.575 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
1.576 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
1.577 * * * [progress]: generating series expansions
1.577 * * * * [progress]: [ 1 / 4 ] generating series at (2)
1.577 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
1.577 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
1.577 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
1.577 * * * [progress]: simplifying candidates
1.577 * * * * [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.577 * * * * [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.577 * * * * [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.577 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1.577 * * [simplify]: iters left: 5 (9 enodes)
1.579 * * [simplify]: iters left: 4 (22 enodes)
1.583 * * [simplify]: iters left: 3 (42 enodes)
1.591 * * [simplify]: iters left: 2 (100 enodes)
1.619 * * [simplify]: iters left: 1 (347 enodes)
1.849 * * [simplify]: Extracting #0: cost 1 inf + 0
1.849 * * [simplify]: Extracting #1: cost 48 inf + 0
1.850 * * [simplify]: Extracting #2: cost 269 inf + 0
1.853 * * [simplify]: Extracting #3: cost 457 inf + 1
1.871 * * [simplify]: Extracting #4: cost 422 inf + 210469
1.953 * * [simplify]: Extracting #5: cost 77 inf + 915056
2.048 * * [simplify]: Extracting #6: cost 3 inf + 1114648
2.167 * * [simplify]: Extracting #7: cost 1 inf + 1091652
2.287 * * [simplify]: Extracting #8: cost 0 inf + 1093814
2.411 * * [simplify]: Extracting #9: cost 0 inf + 1093774
2.534 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
2.534 * [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.534 * * * * [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.534 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
2.535 * * [simplify]: iters left: 5 (9 enodes)
2.539 * * [simplify]: iters left: 4 (22 enodes)
2.546 * * [simplify]: iters left: 3 (42 enodes)
2.563 * * [simplify]: iters left: 2 (100 enodes)
2.607 * * [simplify]: iters left: 1 (347 enodes)
2.875 * * [simplify]: Extracting #0: cost 1 inf + 0
2.875 * * [simplify]: Extracting #1: cost 48 inf + 0
2.876 * * [simplify]: Extracting #2: cost 269 inf + 0
2.878 * * [simplify]: Extracting #3: cost 457 inf + 1
2.893 * * [simplify]: Extracting #4: cost 422 inf + 210469
2.986 * * [simplify]: Extracting #5: cost 77 inf + 915056
3.111 * * [simplify]: Extracting #6: cost 3 inf + 1114648
3.236 * * [simplify]: Extracting #7: cost 1 inf + 1091652
3.359 * * [simplify]: Extracting #8: cost 0 inf + 1093814
3.475 * * [simplify]: Extracting #9: cost 0 inf + 1093774
3.593 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
3.593 * [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.594 * * * * [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.594 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
3.594 * * [simplify]: iters left: 5 (9 enodes)
3.598 * * [simplify]: iters left: 4 (22 enodes)
3.606 * * [simplify]: iters left: 3 (42 enodes)
3.621 * * [simplify]: iters left: 2 (100 enodes)
3.662 * * [simplify]: iters left: 1 (347 enodes)
3.959 * * [simplify]: Extracting #0: cost 1 inf + 0
3.959 * * [simplify]: Extracting #1: cost 48 inf + 0
3.960 * * [simplify]: Extracting #2: cost 269 inf + 0
3.963 * * [simplify]: Extracting #3: cost 457 inf + 1
3.980 * * [simplify]: Extracting #4: cost 422 inf + 210469
4.068 * * [simplify]: Extracting #5: cost 77 inf + 915056
4.155 * * [simplify]: Extracting #6: cost 3 inf + 1114648
4.231 * * [simplify]: Extracting #7: cost 1 inf + 1091652
4.314 * * [simplify]: Extracting #8: cost 0 inf + 1093814
4.378 * * [simplify]: Extracting #9: cost 0 inf + 1093774
4.443 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
4.443 * [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.443 * * * * [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.444 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
4.444 * * [simplify]: iters left: 5 (9 enodes)
4.448 * * [simplify]: iters left: 4 (22 enodes)
4.456 * * [simplify]: iters left: 3 (42 enodes)
4.471 * * [simplify]: iters left: 2 (100 enodes)
4.514 * * [simplify]: iters left: 1 (347 enodes)
4.726 * * [simplify]: Extracting #0: cost 1 inf + 0
4.727 * * [simplify]: Extracting #1: cost 48 inf + 0
4.727 * * [simplify]: Extracting #2: cost 269 inf + 0
4.729 * * [simplify]: Extracting #3: cost 457 inf + 1
4.738 * * [simplify]: Extracting #4: cost 422 inf + 210469
4.782 * * [simplify]: Extracting #5: cost 77 inf + 915056
4.850 * * [simplify]: Extracting #6: cost 3 inf + 1114648
4.911 * * [simplify]: Extracting #7: cost 1 inf + 1091652
4.976 * * [simplify]: Extracting #8: cost 0 inf + 1093814
5.049 * * [simplify]: Extracting #9: cost 0 inf + 1093774
5.172 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
5.172 * [simplify]: Simplified (2) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))))
5.173 * * * [progress]: adding candidates to table
5.471 * * [progress]: iteration 2 / 4
5.471 * * * [progress]: picking best candidate
5.506 * * * * [pick]: Picked  #<alt (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
5.506 * * * [progress]: localizing error
6.116 * * * [progress]: generating rewritten candidates
6.116 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
6.121 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
6.137 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
6.142 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
6.146 * * * [progress]: generating series expansions
6.147 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
6.147 * * * * [progress]: [ 2 / 4 ] generating series at (2)
6.147 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
6.147 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
6.147 * * * [progress]: simplifying candidates
6.147 * * * * [progress]: [ 1 / 15 ] simplifiying candidate #<alt (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
6.147 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
6.147 * * [simplify]: iters left: 5 (9 enodes)
6.151 * * [simplify]: iters left: 4 (16 enodes)
6.156 * * [simplify]: iters left: 3 (18 enodes)
6.162 * * [simplify]: Extracting #0: cost 1 inf + 0
6.162 * * [simplify]: Extracting #1: cost 3 inf + 0
6.162 * * [simplify]: Extracting #2: cost 6 inf + 0
6.162 * * [simplify]: Extracting #3: cost 9 inf + 0
6.162 * * [simplify]: Extracting #4: cost 6 inf + 43
6.162 * * [simplify]: Extracting #5: cost 0 inf + 2214
6.163 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
6.163 * [simplify]: Simplified (2 1 1) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
6.163 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
6.163 * * [simplify]: iters left: 5 (9 enodes)
6.167 * * [simplify]: iters left: 4 (22 enodes)
6.175 * * [simplify]: iters left: 3 (42 enodes)
6.191 * * [simplify]: iters left: 2 (100 enodes)
6.238 * * [simplify]: iters left: 1 (347 enodes)
6.531 * * [simplify]: Extracting #0: cost 1 inf + 0
6.531 * * [simplify]: Extracting #1: cost 48 inf + 0
6.532 * * [simplify]: Extracting #2: cost 269 inf + 0
6.535 * * [simplify]: Extracting #3: cost 457 inf + 1
6.553 * * [simplify]: Extracting #4: cost 422 inf + 210469
6.646 * * [simplify]: Extracting #5: cost 77 inf + 915056
6.770 * * [simplify]: Extracting #6: cost 3 inf + 1114648
6.893 * * [simplify]: Extracting #7: cost 1 inf + 1091652
7.015 * * [simplify]: Extracting #8: cost 0 inf + 1093814
7.136 * * [simplify]: Extracting #9: cost 0 inf + 1093774
7.257 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
7.257 * [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)))))))
7.257 * * * * [progress]: [ 2 / 15 ] 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)))))))>
7.257 * * * * [progress]: [ 3 / 15 ] 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)))))))>
7.257 * * * * [progress]: [ 4 / 15 ] 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))))))))>
7.258 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
7.258 * * [simplify]: iters left: 5 (9 enodes)
7.262 * * [simplify]: iters left: 4 (16 enodes)
7.268 * * [simplify]: iters left: 3 (18 enodes)
7.273 * * [simplify]: Extracting #0: cost 1 inf + 0
7.273 * * [simplify]: Extracting #1: cost 3 inf + 0
7.273 * * [simplify]: Extracting #2: cost 6 inf + 0
7.273 * * [simplify]: Extracting #3: cost 9 inf + 0
7.273 * * [simplify]: Extracting #4: cost 6 inf + 43
7.273 * * [simplify]: Extracting #5: cost 0 inf + 2214
7.274 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
7.274 * [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))))))))
7.274 * * * * [progress]: [ 5 / 15 ] 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.274 * [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)))))))
7.275 * * [simplify]: iters left: 6 (13 enodes)
7.281 * * [simplify]: iters left: 5 (45 enodes)
7.302 * * [simplify]: iters left: 4 (144 enodes)
7.370 * * [simplify]: iters left: 3 (446 enodes)
7.807 * * [simplify]: Extracting #0: cost 1 inf + 0
7.807 * * [simplify]: Extracting #1: cost 41 inf + 0
7.808 * * [simplify]: Extracting #2: cost 283 inf + 0
7.811 * * [simplify]: Extracting #3: cost 446 inf + 44
7.833 * * [simplify]: Extracting #4: cost 488 inf + 246749
7.951 * * [simplify]: Extracting #5: cost 101 inf + 1165723
8.128 * * [simplify]: Extracting #6: cost 2 inf + 1463482
8.296 * * [simplify]: Extracting #7: cost 0 inf + 1419126
8.462 * * [simplify]: Extracting #8: cost 0 inf + 1414206
8.629 * [simplify]: Simplified to (*.p16 (*.p16 (real->posit16 1) (-.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)))) (*.p16 (real->posit16 1) (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))))
8.629 * [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)))))))))
8.630 * * * * [progress]: [ 6 / 15 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (/.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (real->posit16 1)) (sqrt.p16 (+.p16 x (real->posit16 1))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
8.630 * [simplify]: Simplifying (sqrt.p16 (+.p16 x (real->posit16 1)))
8.630 * * [simplify]: iters left: 3 (5 enodes)
8.633 * * [simplify]: iters left: 2 (11 enodes)
8.636 * * [simplify]: iters left: 1 (13 enodes)
8.640 * * [simplify]: Extracting #0: cost 1 inf + 0
8.640 * * [simplify]: Extracting #1: cost 2 inf + 0
8.640 * * [simplify]: Extracting #2: cost 4 inf + 0
8.640 * * [simplify]: Extracting #3: cost 4 inf + 1
8.640 * * [simplify]: Extracting #4: cost 0 inf + 127
8.640 * [simplify]: Simplified to (sqrt.p16 (+.p16 (real->posit16 1) x))
8.640 * [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)))))))
8.641 * * * * [progress]: [ 7 / 15 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
8.641 * [simplify]: Simplifying (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
8.641 * * [simplify]: iters left: 5 (7 enodes)
8.644 * * [simplify]: iters left: 4 (16 enodes)
8.649 * * [simplify]: iters left: 3 (20 enodes)
8.655 * * [simplify]: Extracting #0: cost 1 inf + 0
8.655 * * [simplify]: Extracting #1: cost 6 inf + 0
8.655 * * [simplify]: Extracting #2: cost 8 inf + 0
8.655 * * [simplify]: Extracting #3: cost 8 inf + 1
8.655 * * [simplify]: Extracting #4: cost 5 inf + 324
8.656 * * [simplify]: Extracting #5: cost 0 inf + 2334
8.656 * [simplify]: Simplified to (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))) (real->posit16 1))
8.656 * [simplify]: Simplified (2 1 2 1) to (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (/.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))) (real->posit16 1)) (sqrt.p16 (+.p16 x (real->posit16 1))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
8.656 * * * * [progress]: [ 8 / 15 ] 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.656 * * * * [progress]: [ 9 / 15 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (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.657 * [simplify]: Simplifying (sqrt.p16 x)
8.657 * * [simplify]: iters left: 1 (2 enodes)
8.657 * * [simplify]: Extracting #0: cost 1 inf + 0
8.658 * * [simplify]: Extracting #1: cost 2 inf + 0
8.658 * * [simplify]: Extracting #2: cost 1 inf + 1
8.658 * * [simplify]: Extracting #3: cost 0 inf + 42
8.658 * [simplify]: Simplified to (sqrt.p16 x)
8.658 * [simplify]: Simplified (2 1 1 2) to (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (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.658 * * * * [progress]: [ 10 / 15 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 x))) (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.658 * [simplify]: Simplifying (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 x)))
8.658 * * [simplify]: iters left: 3 (6 enodes)
8.661 * * [simplify]: iters left: 2 (14 enodes)
8.665 * * [simplify]: iters left: 1 (18 enodes)
8.671 * * [simplify]: Extracting #0: cost 1 inf + 0
8.671 * * [simplify]: Extracting #1: cost 6 inf + 0
8.671 * * [simplify]: Extracting #2: cost 8 inf + 0
8.671 * * [simplify]: Extracting #3: cost 5 inf + 43
8.671 * * [simplify]: Extracting #4: cost 0 inf + 2131
8.672 * [simplify]: Simplified to (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (real->posit16 1))
8.672 * [simplify]: Simplified (2 1 1 1) to (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (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.672 * * * * [progress]: [ 11 / 15 ] 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.672 * * * * [progress]: [ 12 / 15 ] 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.672 * * * * [progress]: [ 13 / 15 ] 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.672 * * * * [progress]: [ 14 / 15 ] 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.672 * * * * [progress]: [ 15 / 15 ] 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.672 * * * [progress]: adding candidates to table
9.775 * * [progress]: iteration 3 / 4
9.776 * * * [progress]: picking best candidate
9.994 * * * * [pick]: Picked  #<alt (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 x))) (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.994 * * * [progress]: localizing error
10.655 * * * [progress]: generating rewritten candidates
10.655 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
10.662 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
10.686 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
10.691 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
10.693 * * * [progress]: generating series expansions
10.693 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
10.693 * * * * [progress]: [ 2 / 4 ] generating series at (2)
10.693 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
10.693 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
10.693 * * * [progress]: simplifying candidates
10.693 * * * * [progress]: [ 1 / 10 ] simplifiying candidate #<alt (λ (x) (/.p16 (+.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 x))) (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)))))))>
10.694 * * * * [progress]: [ 2 / 10 ] simplifiying candidate #<alt (λ (x) (/.p16 (/.p16 (-.p16 (*.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 x))) (sqrt.p16 x)) (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 x))) (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) (/.p16 (real->posit16 1) (sqrt.p16 x))) (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)))))))>
10.694 * * * * [progress]: [ 3 / 10 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 x))) (sqrt.p16 x)) (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 x))) (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) (/.p16 (real->posit16 1) (sqrt.p16 x))) (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.694 * [simplify]: Simplifying (-.p16 (*.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 x))) (sqrt.p16 x)) (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 x))) (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)))))))
10.694 * * [simplify]: iters left: 6 (14 enodes)
10.703 * * [simplify]: iters left: 5 (47 enodes)
10.722 * * [simplify]: iters left: 4 (140 enodes)
10.776 * * [simplify]: iters left: 3 (480 enodes)
11.293 * * [simplify]: Extracting #0: cost 1 inf + 0
11.293 * * [simplify]: Extracting #1: cost 36 inf + 0
11.294 * * [simplify]: Extracting #2: cost 250 inf + 0
11.297 * * [simplify]: Extracting #3: cost 413 inf + 725
11.312 * * [simplify]: Extracting #4: cost 550 inf + 129982
11.413 * * [simplify]: Extracting #5: cost 163 inf + 996596
11.573 * * [simplify]: Extracting #6: cost 12 inf + 1471739
11.742 * * [simplify]: Extracting #7: cost 0 inf + 1461963
11.907 * * [simplify]: Extracting #8: cost 0 inf + 1441923
12.069 * * [simplify]: Extracting #9: cost 0 inf + 1441523
12.230 * [simplify]: Simplified to (*.p16 (+.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) 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 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))))
12.230 * [simplify]: Simplified (2 1) 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 (+.p16 (real->posit16 1) 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 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) 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 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 x))) (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)))))))))
12.231 * * * * [progress]: [ 4 / 10 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 x))) (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)))))))>
12.231 * [simplify]: Simplifying (sqrt.p16 (+.p16 x (real->posit16 1)))
12.231 * * [simplify]: iters left: 3 (5 enodes)
12.234 * * [simplify]: iters left: 2 (11 enodes)
12.237 * * [simplify]: iters left: 1 (13 enodes)
12.242 * * [simplify]: Extracting #0: cost 1 inf + 0
12.242 * * [simplify]: Extracting #1: cost 2 inf + 0
12.242 * * [simplify]: Extracting #2: cost 4 inf + 0
12.242 * * [simplify]: Extracting #3: cost 4 inf + 1
12.242 * * [simplify]: Extracting #4: cost 0 inf + 127
12.242 * [simplify]: Simplified to (sqrt.p16 (+.p16 (real->posit16 1) x))
12.242 * [simplify]: Simplified (2 1 2 2) to (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 x))) (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)))))))
12.242 * * * * [progress]: [ 5 / 10 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 x))) (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)))))))>
12.243 * [simplify]: Simplifying (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
12.243 * * [simplify]: iters left: 5 (7 enodes)
12.246 * * [simplify]: iters left: 4 (16 enodes)
12.251 * * [simplify]: iters left: 3 (20 enodes)
12.257 * * [simplify]: Extracting #0: cost 1 inf + 0
12.257 * * [simplify]: Extracting #1: cost 6 inf + 0
12.257 * * [simplify]: Extracting #2: cost 8 inf + 0
12.257 * * [simplify]: Extracting #3: cost 8 inf + 1
12.257 * * [simplify]: Extracting #4: cost 5 inf + 324
12.257 * * [simplify]: Extracting #5: cost 0 inf + 2334
12.258 * [simplify]: Simplified to (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))) (real->posit16 1))
12.258 * [simplify]: Simplified (2 1 2 1) to (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 x))) (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)))))))
12.258 * * * * [progress]: [ 6 / 10 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 x))) (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.258 * * * * [progress]: [ 7 / 10 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 x))) (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.258 * [simplify]: Simplifying (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 x)))
12.258 * * [simplify]: iters left: 3 (6 enodes)
12.261 * * [simplify]: iters left: 2 (14 enodes)
12.266 * * [simplify]: iters left: 1 (18 enodes)
12.272 * * [simplify]: Extracting #0: cost 1 inf + 0
12.272 * * [simplify]: Extracting #1: cost 6 inf + 0
12.272 * * [simplify]: Extracting #2: cost 8 inf + 0
12.272 * * [simplify]: Extracting #3: cost 5 inf + 43
12.272 * * [simplify]: Extracting #4: cost 0 inf + 2131
12.272 * [simplify]: Simplified to (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (real->posit16 1))
12.273 * [simplify]: Simplified (2 1 1 1) to (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (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.273 * * * * [progress]: [ 8 / 10 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 x))) (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.273 * [simplify]: Simplifying (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 x)))
12.273 * * [simplify]: iters left: 3 (6 enodes)
12.276 * * [simplify]: iters left: 2 (14 enodes)
12.281 * * [simplify]: iters left: 1 (18 enodes)
12.287 * * [simplify]: Extracting #0: cost 1 inf + 0
12.287 * * [simplify]: Extracting #1: cost 6 inf + 0
12.287 * * [simplify]: Extracting #2: cost 8 inf + 0
12.287 * * [simplify]: Extracting #3: cost 5 inf + 43
12.287 * * [simplify]: Extracting #4: cost 0 inf + 2131
12.288 * [simplify]: Simplified to (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (real->posit16 1))
12.288 * [simplify]: Simplified (2 1 1 1) to (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (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.288 * * * * [progress]: [ 9 / 10 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 x))) (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.288 * [simplify]: Simplifying (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 x)))
12.288 * * [simplify]: iters left: 3 (6 enodes)
12.291 * * [simplify]: iters left: 2 (14 enodes)
12.295 * * [simplify]: iters left: 1 (18 enodes)
12.301 * * [simplify]: Extracting #0: cost 1 inf + 0
12.301 * * [simplify]: Extracting #1: cost 6 inf + 0
12.301 * * [simplify]: Extracting #2: cost 8 inf + 0
12.301 * * [simplify]: Extracting #3: cost 5 inf + 43
12.301 * * [simplify]: Extracting #4: cost 0 inf + 2131
12.301 * [simplify]: Simplified to (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (real->posit16 1))
12.301 * [simplify]: Simplified (2 1 1 1) to (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (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.302 * * * * [progress]: [ 10 / 10 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 x))) (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.302 * [simplify]: Simplifying (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 x)))
12.302 * * [simplify]: iters left: 3 (6 enodes)
12.305 * * [simplify]: iters left: 2 (14 enodes)
12.309 * * [simplify]: iters left: 1 (18 enodes)
12.315 * * [simplify]: Extracting #0: cost 1 inf + 0
12.315 * * [simplify]: Extracting #1: cost 6 inf + 0
12.315 * * [simplify]: Extracting #2: cost 8 inf + 0
12.315 * * [simplify]: Extracting #3: cost 5 inf + 43
12.315 * * [simplify]: Extracting #4: cost 0 inf + 2131
12.316 * [simplify]: Simplified to (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (real->posit16 1))
12.316 * [simplify]: Simplified (2 1 1 1) to (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (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.316 * * * [progress]: adding candidates to table
13.035 * * [progress]: iteration 4 / 4
13.035 * * * [progress]: picking best candidate
13.243 * * * * [pick]: Picked  #<alt (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 x))) (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)))))))>
13.243 * * * [progress]: localizing error
13.864 * * * [progress]: generating rewritten candidates
13.864 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
13.867 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
13.882 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
13.884 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 2)
13.885 * * * [progress]: generating series expansions
13.885 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
13.885 * * * * [progress]: [ 2 / 4 ] generating series at (2)
13.885 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
13.885 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 2)
13.885 * * * [progress]: simplifying candidates
13.885 * * * * [progress]: [ 1 / 7 ] simplifiying candidate #<alt (λ (x) (/.p16 (+.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 x))) (sqrt.p16 x)) (neg.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
13.885 * * * * [progress]: [ 2 / 7 ] simplifiying candidate #<alt (λ (x) (/.p16 (/.p16 (-.p16 (*.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 x))) (sqrt.p16 x)) (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 x))) (sqrt.p16 x))) (*.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 x))) (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)))))))>
13.885 * * * * [progress]: [ 3 / 7 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 x))) (sqrt.p16 x)) (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 x))) (sqrt.p16 x))) (*.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (+.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 x))) (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))))))))>
13.885 * [simplify]: Simplifying (-.p16 (*.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 x))) (sqrt.p16 x)) (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 x))) (sqrt.p16 x))) (*.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1))))))
13.885 * * [simplify]: iters left: 6 (15 enodes)
13.890 * * [simplify]: iters left: 5 (48 enodes)
13.908 * * [simplify]: iters left: 4 (147 enodes)
13.984 * * [simplify]: Extracting #0: cost 1 inf + 0
13.984 * * [simplify]: Extracting #1: cost 21 inf + 0
13.985 * * [simplify]: Extracting #2: cost 85 inf + 0
13.986 * * [simplify]: Extracting #3: cost 135 inf + 42
13.987 * * [simplify]: Extracting #4: cost 166 inf + 12792
14.000 * * [simplify]: Extracting #5: cost 86 inf + 140310
14.019 * * [simplify]: Extracting #6: cost 15 inf + 274372
14.044 * * [simplify]: Extracting #7: cost 0 inf + 313162
14.069 * * [simplify]: Extracting #8: cost 0 inf + 312242
14.095 * [simplify]: Simplified to (*.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 (*.p16 (real->posit16 1) (real->posit16 1)) (+.p16 (real->posit16 1) x)) (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) x)))
14.095 * [simplify]: Simplified (2 1) to (λ (x) (/.p16 (*.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 (*.p16 (real->posit16 1) (real->posit16 1)) (+.p16 (real->posit16 1) x)) (/.p16 (*.p16 (real->posit16 1) (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) (/.p16 (real->posit16 1) (sqrt.p16 x))) (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))))))))
14.095 * * * * [progress]: [ 4 / 7 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 x))) (sqrt.p16 x)) (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
14.095 * [simplify]: Simplifying (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
14.095 * * [simplify]: iters left: 5 (7 enodes)
14.099 * * [simplify]: iters left: 4 (16 enodes)
14.104 * * [simplify]: iters left: 3 (20 enodes)
14.111 * * [simplify]: Extracting #0: cost 1 inf + 0
14.111 * * [simplify]: Extracting #1: cost 6 inf + 0
14.111 * * [simplify]: Extracting #2: cost 8 inf + 0
14.111 * * [simplify]: Extracting #3: cost 8 inf + 1
14.111 * * [simplify]: Extracting #4: cost 5 inf + 324
14.111 * * [simplify]: Extracting #5: cost 0 inf + 2334
14.112 * [simplify]: Simplified to (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))) (real->posit16 1))
14.112 * [simplify]: Simplified (2 1 2 1) to (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 x))) (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)))))))
14.112 * * * * [progress]: [ 5 / 7 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 x))) (sqrt.p16 x)) (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
14.112 * [simplify]: Simplifying (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
14.112 * * [simplify]: iters left: 5 (7 enodes)
14.116 * * [simplify]: iters left: 4 (16 enodes)
14.122 * * [simplify]: iters left: 3 (20 enodes)
14.127 * * [simplify]: Extracting #0: cost 1 inf + 0
14.128 * * [simplify]: Extracting #1: cost 6 inf + 0
14.128 * * [simplify]: Extracting #2: cost 8 inf + 0
14.128 * * [simplify]: Extracting #3: cost 8 inf + 1
14.128 * * [simplify]: Extracting #4: cost 5 inf + 324
14.128 * * [simplify]: Extracting #5: cost 0 inf + 2334
14.128 * [simplify]: Simplified to (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))) (real->posit16 1))
14.128 * [simplify]: Simplified (2 1 2 1) to (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 x))) (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)))))))
14.129 * * * * [progress]: [ 6 / 7 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 x))) (sqrt.p16 x)) (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
14.129 * [simplify]: Simplifying (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
14.129 * * [simplify]: iters left: 5 (7 enodes)
14.132 * * [simplify]: iters left: 4 (16 enodes)
14.137 * * [simplify]: iters left: 3 (20 enodes)
14.143 * * [simplify]: Extracting #0: cost 1 inf + 0
14.143 * * [simplify]: Extracting #1: cost 6 inf + 0
14.143 * * [simplify]: Extracting #2: cost 8 inf + 0
14.143 * * [simplify]: Extracting #3: cost 8 inf + 1
14.143 * * [simplify]: Extracting #4: cost 5 inf + 324
14.144 * * [simplify]: Extracting #5: cost 0 inf + 2334
14.144 * [simplify]: Simplified to (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))) (real->posit16 1))
14.144 * [simplify]: Simplified (2 1 2 1) to (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 x))) (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)))))))
14.144 * * * * [progress]: [ 7 / 7 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 x))) (sqrt.p16 x)) (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
14.144 * [simplify]: Simplifying (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
14.145 * * [simplify]: iters left: 5 (7 enodes)
14.148 * * [simplify]: iters left: 4 (16 enodes)
14.153 * * [simplify]: iters left: 3 (20 enodes)
14.159 * * [simplify]: Extracting #0: cost 1 inf + 0
14.159 * * [simplify]: Extracting #1: cost 6 inf + 0
14.159 * * [simplify]: Extracting #2: cost 8 inf + 0
14.159 * * [simplify]: Extracting #3: cost 8 inf + 1
14.159 * * [simplify]: Extracting #4: cost 5 inf + 324
14.159 * * [simplify]: Extracting #5: cost 0 inf + 2334
14.159 * [simplify]: Simplified to (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))) (real->posit16 1))
14.159 * [simplify]: Simplified (2 1 2 1) to (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 x))) (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)))))))
14.160 * * * [progress]: adding candidates to table
14.529 * [progress]: [Phase 3 of 3] Extracting.
14.529 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))> #<alt (λ (x) (/.p16 (+.p16 (/.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 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 x))) (sqrt.p16 x)) (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 x))) (sqrt.p16 x))) (*.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 x))) (sqrt.p16 x)) (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))> #<alt (λ (x) (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (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 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 x))) (sqrt.p16 x)) (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 x))) (sqrt.p16 x))) (*.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (+.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 x))) (sqrt.p16 x)) (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1))))))))> #<alt (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 x))) (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 x))) (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>)
14.535 * * * [regime-changes]: Trying 1 branch expressions: (x)
14.535 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))> #<alt (λ (x) (/.p16 (+.p16 (/.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 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 x))) (sqrt.p16 x)) (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 x))) (sqrt.p16 x))) (*.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 x))) (sqrt.p16 x)) (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))> #<alt (λ (x) (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (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 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 x))) (sqrt.p16 x)) (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 x))) (sqrt.p16 x))) (*.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (+.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 x))) (sqrt.p16 x)) (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1))))))))> #<alt (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 x))) (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 x))) (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>)
14.923 * * * [regime]: Found split indices: #<option (#s(si 5 256))>
14.928 * [simplify]: Simplifying (/.p16 (-.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 x))) (sqrt.p16 x)) (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))
14.928 * * [simplify]: iters left: 6 (15 enodes)
14.930 * * [simplify]: iters left: 5 (17 enodes)
14.930 * * [simplify]: Extracting #0: cost 1 inf + 0
14.930 * * [simplify]: Extracting #1: cost 3 inf + 0
14.930 * * [simplify]: Extracting #2: cost 7 inf + 0
14.930 * * [simplify]: Extracting #3: cost 12 inf + 0
14.930 * * [simplify]: Extracting #4: cost 15 inf + 0
14.931 * * [simplify]: Extracting #5: cost 12 inf + 43
14.931 * * [simplify]: Extracting #6: cost 10 inf + 86
14.931 * * [simplify]: Extracting #7: cost 5 inf + 3016
14.931 * * [simplify]: Extracting #8: cost 2 inf + 6382
14.931 * * [simplify]: Extracting #9: cost 0 inf + 12066
14.932 * [simplify]: Simplified to (/.p16 (-.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 x))) (sqrt.p16 x)) (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))
14.932 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
14.943 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
14.945 * * * * [points]: Setting MPFR precision to 64
14.947 * * * * [points]: Setting MPFR precision to 320
14.948 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
14.951 * * * * [points]: Setting MPFR precision to 64
14.954 * * * * [points]: Setting MPFR precision to 320
14.958 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
14.961 * * * * [points]: Setting MPFR precision to 64
14.965 * * * * [points]: Setting MPFR precision to 320
14.969 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
14.971 * * * * [points]: Setting MPFR precision to 64
14.977 * * * * [points]: Setting MPFR precision to 320
14.985 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
14.987 * * * * [points]: Setting MPFR precision to 64
14.999 * * * * [points]: Setting MPFR precision to 320
15.016 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
15.018 * * * * [points]: Setting MPFR precision to 64
15.042 * * * * [points]: Setting MPFR precision to 320
15.101 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
15.105 * * * * [points]: Setting MPFR precision to 64
15.178 * * * * [points]: Setting MPFR precision to 320
15.257 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
15.259 * * * * [points]: Setting MPFR precision to 64
15.446 * * * * [points]: Setting MPFR precision to 320
15.731 * * * * [points]: Computing exacts for 8000 points
15.733 * * * * [points]: Setting MPFR precision to 64
16.676 * * * * [points]: Setting MPFR precision to 320
17.402 * * * * [points]: Filtering points with unrepresentable outputs
17.718 * * * * [points]: Sampling 3974 additional inputs, on iter 1 have 4026 / 8000
17.724 * * * * [points]: Computing exacts on every 248 of 3974 points to ramp up precision
17.725 * * * * [points]: Setting MPFR precision to 64
17.726 * * * * [points]: Setting MPFR precision to 320
17.727 * * * * [points]: Computing exacts on every 124 of 3974 points to ramp up precision
17.729 * * * * [points]: Setting MPFR precision to 64
17.730 * * * * [points]: Setting MPFR precision to 320
17.732 * * * * [points]: Computing exacts on every 62 of 3974 points to ramp up precision
17.734 * * * * [points]: Setting MPFR precision to 64
17.737 * * * * [points]: Setting MPFR precision to 320
17.741 * * * * [points]: Computing exacts on every 31 of 3974 points to ramp up precision
17.742 * * * * [points]: Setting MPFR precision to 64
17.748 * * * * [points]: Setting MPFR precision to 320
17.755 * * * * [points]: Computing exacts on every 15 of 3974 points to ramp up precision
17.757 * * * * [points]: Setting MPFR precision to 64
17.768 * * * * [points]: Setting MPFR precision to 320
17.804 * * * * [points]: Computing exacts on every 7 of 3974 points to ramp up precision
17.806 * * * * [points]: Setting MPFR precision to 64
17.829 * * * * [points]: Setting MPFR precision to 320
17.866 * * * * [points]: Computing exacts on every 3 of 3974 points to ramp up precision
17.868 * * * * [points]: Setting MPFR precision to 64
17.927 * * * * [points]: Setting MPFR precision to 320
18.057 * * * * [points]: Computing exacts for 3974 points
18.060 * * * * [points]: Setting MPFR precision to 64
18.339 * * * * [points]: Setting MPFR precision to 320
18.772 * * * * [points]: Filtering points with unrepresentable outputs
18.919 * * * * [points]: Sampling 2035 additional inputs, on iter 2 have 5965 / 8000
18.924 * * * * [points]: Computing exacts on every 127 of 2035 points to ramp up precision
18.926 * * * * [points]: Setting MPFR precision to 64
18.928 * * * * [points]: Setting MPFR precision to 320
18.929 * * * * [points]: Computing exacts on every 63 of 2035 points to ramp up precision
18.931 * * * * [points]: Setting MPFR precision to 64
18.933 * * * * [points]: Setting MPFR precision to 320
18.936 * * * * [points]: Computing exacts on every 31 of 2035 points to ramp up precision
18.938 * * * * [points]: Setting MPFR precision to 64
18.942 * * * * [points]: Setting MPFR precision to 320
18.947 * * * * [points]: Computing exacts on every 15 of 2035 points to ramp up precision
18.949 * * * * [points]: Setting MPFR precision to 64
18.957 * * * * [points]: Setting MPFR precision to 320
18.968 * * * * [points]: Computing exacts on every 7 of 2035 points to ramp up precision
18.971 * * * * [points]: Setting MPFR precision to 64
19.005 * * * * [points]: Setting MPFR precision to 320
19.022 * * * * [points]: Computing exacts on every 3 of 2035 points to ramp up precision
19.024 * * * * [points]: Setting MPFR precision to 64
19.055 * * * * [points]: Setting MPFR precision to 320
19.110 * * * * [points]: Computing exacts for 2035 points
19.112 * * * * [points]: Setting MPFR precision to 64
19.254 * * * * [points]: Setting MPFR precision to 320
19.448 * * * * [points]: Filtering points with unrepresentable outputs
19.492 * * * * [points]: Sampling 1008 additional inputs, on iter 3 have 6992 / 8000
19.494 * * * * [points]: Computing exacts on every 63 of 1008 points to ramp up precision
19.495 * * * * [points]: Setting MPFR precision to 64
19.496 * * * * [points]: Setting MPFR precision to 320
19.497 * * * * [points]: Computing exacts on every 31 of 1008 points to ramp up precision
19.499 * * * * [points]: Setting MPFR precision to 64
19.500 * * * * [points]: Setting MPFR precision to 320
19.502 * * * * [points]: Computing exacts on every 15 of 1008 points to ramp up precision
19.503 * * * * [points]: Setting MPFR precision to 64
19.506 * * * * [points]: Setting MPFR precision to 320
19.510 * * * * [points]: Computing exacts on every 7 of 1008 points to ramp up precision
19.512 * * * * [points]: Setting MPFR precision to 64
19.532 * * * * [points]: Setting MPFR precision to 320
19.541 * * * * [points]: Computing exacts on every 3 of 1008 points to ramp up precision
19.542 * * * * [points]: Setting MPFR precision to 64
19.559 * * * * [points]: Setting MPFR precision to 320
19.585 * * * * [points]: Computing exacts for 1008 points
19.588 * * * * [points]: Setting MPFR precision to 64
19.639 * * * * [points]: Setting MPFR precision to 320
19.767 * * * * [points]: Filtering points with unrepresentable outputs
19.800 * * * * [points]: Sampling 511 additional inputs, on iter 4 have 7489 / 8000
19.801 * * * * [points]: Computing exacts on every 31 of 511 points to ramp up precision
19.804 * * * * [points]: Setting MPFR precision to 64
19.805 * * * * [points]: Setting MPFR precision to 320
19.806 * * * * [points]: Computing exacts on every 15 of 511 points to ramp up precision
19.809 * * * * [points]: Setting MPFR precision to 64
19.811 * * * * [points]: Setting MPFR precision to 320
19.814 * * * * [points]: Computing exacts on every 7 of 511 points to ramp up precision
19.816 * * * * [points]: Setting MPFR precision to 64
19.820 * * * * [points]: Setting MPFR precision to 320
19.826 * * * * [points]: Computing exacts on every 3 of 511 points to ramp up precision
19.828 * * * * [points]: Setting MPFR precision to 64
19.836 * * * * [points]: Setting MPFR precision to 320
19.846 * * * * [points]: Computing exacts for 511 points
19.849 * * * * [points]: Setting MPFR precision to 64
19.882 * * * * [points]: Setting MPFR precision to 320
19.952 * * * * [points]: Filtering points with unrepresentable outputs
19.963 * * * * [points]: Sampling 263 additional inputs, on iter 5 have 7737 / 8000
19.964 * * * * [points]: Computing exacts on every 16 of 263 points to ramp up precision
19.965 * * * * [points]: Setting MPFR precision to 64
19.966 * * * * [points]: Setting MPFR precision to 320
19.967 * * * * [points]: Computing exacts on every 8 of 263 points to ramp up precision
19.968 * * * * [points]: Setting MPFR precision to 64
19.970 * * * * [points]: Setting MPFR precision to 320
19.972 * * * * [points]: Computing exacts on every 4 of 263 points to ramp up precision
19.973 * * * * [points]: Setting MPFR precision to 64
19.975 * * * * [points]: Setting MPFR precision to 320
19.978 * * * * [points]: Computing exacts on every 2 of 263 points to ramp up precision
19.980 * * * * [points]: Setting MPFR precision to 64
19.984 * * * * [points]: Setting MPFR precision to 320
19.989 * * * * [points]: Computing exacts for 263 points
19.990 * * * * [points]: Setting MPFR precision to 64
20.002 * * * * [points]: Setting MPFR precision to 320
20.020 * * * * [points]: Filtering points with unrepresentable outputs
20.026 * * * * [points]: Sampling 134 additional inputs, on iter 6 have 7866 / 8000
20.026 * * * * [points]: Computing exacts on every 8 of 134 points to ramp up precision
20.027 * * * * [points]: Setting MPFR precision to 64
20.028 * * * * [points]: Setting MPFR precision to 320
20.029 * * * * [points]: Computing exacts on every 4 of 134 points to ramp up precision
20.030 * * * * [points]: Setting MPFR precision to 64
20.031 * * * * [points]: Setting MPFR precision to 320
20.033 * * * * [points]: Computing exacts on every 2 of 134 points to ramp up precision
20.035 * * * * [points]: Setting MPFR precision to 64
20.037 * * * * [points]: Setting MPFR precision to 320
20.039 * * * * [points]: Computing exacts for 134 points
20.041 * * * * [points]: Setting MPFR precision to 64
20.066 * * * * [points]: Setting MPFR precision to 320
20.075 * * * * [points]: Filtering points with unrepresentable outputs
20.078 * * * * [points]: Sampling 77 additional inputs, on iter 7 have 7923 / 8000
20.078 * * * * [points]: Computing exacts on every 4 of 77 points to ramp up precision
20.080 * * * * [points]: Setting MPFR precision to 64
20.080 * * * * [points]: Setting MPFR precision to 320
20.081 * * * * [points]: Computing exacts on every 2 of 77 points to ramp up precision
20.083 * * * * [points]: Setting MPFR precision to 64
20.084 * * * * [points]: Setting MPFR precision to 320
20.085 * * * * [points]: Computing exacts for 77 points
20.087 * * * * [points]: Setting MPFR precision to 64
20.090 * * * * [points]: Setting MPFR precision to 320
20.095 * * * * [points]: Filtering points with unrepresentable outputs
20.096 * * * * [points]: Sampling 38 additional inputs, on iter 8 have 7962 / 8000
20.097 * * * * [points]: Computing exacts on every 2 of 38 points to ramp up precision
20.098 * * * * [points]: Setting MPFR precision to 64
20.099 * * * * [points]: Setting MPFR precision to 320
20.099 * * * * [points]: Computing exacts for 38 points
20.101 * * * * [points]: Setting MPFR precision to 64
20.104 * * * * [points]: Setting MPFR precision to 320
20.106 * * * * [points]: Filtering points with unrepresentable outputs
20.107 * * * * [points]: Sampling 21 additional inputs, on iter 9 have 7979 / 8000
20.107 * * * * [points]: Computing exacts for 21 points
20.109 * * * * [points]: Setting MPFR precision to 64
20.110 * * * * [points]: Setting MPFR precision to 320
20.111 * * * * [points]: Filtering points with unrepresentable outputs
20.112 * * * * [points]: Sampling 6 additional inputs, on iter 10 have 7994 / 8000
20.112 * * * * [points]: Computing exacts for 6 points
20.113 * * * * [points]: Setting MPFR precision to 64
20.113 * * * * [points]: Setting MPFR precision to 320
20.114 * * * * [points]: Filtering points with unrepresentable outputs
20.114 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7997 / 8000
20.114 * * * * [points]: Computing exacts for 4 points
20.115 * * * * [points]: Setting MPFR precision to 64
20.116 * * * * [points]: Setting MPFR precision to 320
20.116 * * * * [points]: Filtering points with unrepresentable outputs
20.116 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7998 / 8000
20.116 * * * * [points]: Computing exacts for 4 points
20.117 * * * * [points]: Setting MPFR precision to 64
20.118 * * * * [points]: Setting MPFR precision to 320
20.118 * * * * [points]: Filtering points with unrepresentable outputs
20.118 * * * * [points]: Sampled 8001 points with exact outputs
23.027 * [regime-testing]: Baseline error score: 64.0
23.030 * [regime-testing]: Oracle error score: 64.0
23.034 * [regime-testing]: End program error score: 1.2455945360097544