0.002 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.002 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.003 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.006 * * * * [points]: Setting MPFR precision to 64
0.007 * * * * [points]: Setting MPFR precision to 320
0.009 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.012 * * * * [points]: Setting MPFR precision to 64
0.014 * * * * [points]: Setting MPFR precision to 320
0.016 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.020 * * * * [points]: Setting MPFR precision to 64
0.024 * * * * [points]: Setting MPFR precision to 320
0.028 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.032 * * * * [points]: Setting MPFR precision to 64
0.039 * * * * [points]: Setting MPFR precision to 320
0.046 * * * * [points]: Computing exacts for 256 points
0.050 * * * * [points]: Setting MPFR precision to 64
0.071 * * * * [points]: Setting MPFR precision to 320
0.094 * * * * [points]: Filtering points with unrepresentable outputs
0.095 * * * * [points]: Sampled 256 points with exact outputs
0.095 * * * [progress]: [2/2] Setting up program.
0.112 * [progress]: [Phase 2 of 3] Improving.
0.112 * * * * [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.112 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
0.113 * * [simplify]: iters left: 5 (9 enodes)
0.117 * * [simplify]: iters left: 4 (22 enodes)
0.126 * * [simplify]: iters left: 3 (42 enodes)
0.162 * * [simplify]: iters left: 2 (100 enodes)
0.205 * * [simplify]: iters left: 1 (347 enodes)
0.470 * * [simplify]: Extracting #0: cost 1 inf + 0
0.471 * * [simplify]: Extracting #1: cost 48 inf + 0
0.472 * * [simplify]: Extracting #2: cost 269 inf + 0
0.474 * * [simplify]: Extracting #3: cost 457 inf + 1
0.491 * * [simplify]: Extracting #4: cost 422 inf + 210469
0.568 * * [simplify]: Extracting #5: cost 77 inf + 915056
0.673 * * [simplify]: Extracting #6: cost 3 inf + 1114648
0.783 * * [simplify]: Extracting #7: cost 1 inf + 1091652
0.843 * * [simplify]: Extracting #8: cost 0 inf + 1093814
0.966 * * [simplify]: Extracting #9: cost 0 inf + 1093774
1.089 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1.089 * [simplify]: Simplified (2) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))))
1.104 * * [progress]: iteration 1 / 4
1.104 * * * [progress]: picking best candidate
1.117 * * * * [pick]: Picked  #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))>
1.117 * * * [progress]: localizing error
1.350 * * * [progress]: generating rewritten candidates
1.350 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
1.357 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
1.359 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
1.361 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
1.362 * * * [progress]: generating series expansions
1.362 * * * * [progress]: [ 1 / 4 ] generating series at (2)
1.362 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
1.362 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
1.362 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
1.362 * * * [progress]: simplifying candidates
1.362 * * * * [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.362 * * * * [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.362 * * * * [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.362 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1.363 * * [simplify]: iters left: 5 (9 enodes)
1.367 * * [simplify]: iters left: 4 (22 enodes)
1.375 * * [simplify]: iters left: 3 (42 enodes)
1.391 * * [simplify]: iters left: 2 (100 enodes)
1.436 * * [simplify]: iters left: 1 (347 enodes)
1.741 * * [simplify]: Extracting #0: cost 1 inf + 0
1.741 * * [simplify]: Extracting #1: cost 48 inf + 0
1.742 * * [simplify]: Extracting #2: cost 269 inf + 0
1.745 * * [simplify]: Extracting #3: cost 457 inf + 1
1.763 * * [simplify]: Extracting #4: cost 422 inf + 210469
1.851 * * [simplify]: Extracting #5: cost 77 inf + 915056
1.968 * * [simplify]: Extracting #6: cost 3 inf + 1114648
2.059 * * [simplify]: Extracting #7: cost 1 inf + 1091652
2.178 * * [simplify]: Extracting #8: cost 0 inf + 1093814
2.269 * * [simplify]: Extracting #9: cost 0 inf + 1093774
2.392 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
2.392 * [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.393 * * * * [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.393 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
2.393 * * [simplify]: iters left: 5 (9 enodes)
2.397 * * [simplify]: iters left: 4 (22 enodes)
2.407 * * [simplify]: iters left: 3 (42 enodes)
2.422 * * [simplify]: iters left: 2 (100 enodes)
2.467 * * [simplify]: iters left: 1 (347 enodes)
2.770 * * [simplify]: Extracting #0: cost 1 inf + 0
2.770 * * [simplify]: Extracting #1: cost 48 inf + 0
2.771 * * [simplify]: Extracting #2: cost 269 inf + 0
2.774 * * [simplify]: Extracting #3: cost 457 inf + 1
2.793 * * [simplify]: Extracting #4: cost 422 inf + 210469
2.883 * * [simplify]: Extracting #5: cost 77 inf + 915056
3.011 * * [simplify]: Extracting #6: cost 3 inf + 1114648
3.136 * * [simplify]: Extracting #7: cost 1 inf + 1091652
3.257 * * [simplify]: Extracting #8: cost 0 inf + 1093814
3.328 * * [simplify]: Extracting #9: cost 0 inf + 1093774
3.430 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
3.430 * [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.431 * * * * [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.431 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
3.431 * * [simplify]: iters left: 5 (9 enodes)
3.436 * * [simplify]: iters left: 4 (22 enodes)
3.444 * * [simplify]: iters left: 3 (42 enodes)
3.461 * * [simplify]: iters left: 2 (100 enodes)
3.506 * * [simplify]: iters left: 1 (347 enodes)
3.655 * * [simplify]: Extracting #0: cost 1 inf + 0
3.655 * * [simplify]: Extracting #1: cost 48 inf + 0
3.656 * * [simplify]: Extracting #2: cost 269 inf + 0
3.657 * * [simplify]: Extracting #3: cost 457 inf + 1
3.666 * * [simplify]: Extracting #4: cost 422 inf + 210469
3.717 * * [simplify]: Extracting #5: cost 77 inf + 915056
3.840 * * [simplify]: Extracting #6: cost 3 inf + 1114648
3.962 * * [simplify]: Extracting #7: cost 1 inf + 1091652
4.081 * * [simplify]: Extracting #8: cost 0 inf + 1093814
4.152 * * [simplify]: Extracting #9: cost 0 inf + 1093774
4.215 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
4.215 * [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.216 * * * * [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.216 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
4.216 * * [simplify]: iters left: 5 (9 enodes)
4.218 * * [simplify]: iters left: 4 (22 enodes)
4.222 * * [simplify]: iters left: 3 (42 enodes)
4.231 * * [simplify]: iters left: 2 (100 enodes)
4.268 * * [simplify]: iters left: 1 (347 enodes)
4.570 * * [simplify]: Extracting #0: cost 1 inf + 0
4.570 * * [simplify]: Extracting #1: cost 48 inf + 0
4.571 * * [simplify]: Extracting #2: cost 269 inf + 0
4.574 * * [simplify]: Extracting #3: cost 457 inf + 1
4.597 * * [simplify]: Extracting #4: cost 422 inf + 210469
4.685 * * [simplify]: Extracting #5: cost 77 inf + 915056
4.807 * * [simplify]: Extracting #6: cost 3 inf + 1114648
4.927 * * [simplify]: Extracting #7: cost 1 inf + 1091652
5.047 * * [simplify]: Extracting #8: cost 0 inf + 1093814
5.168 * * [simplify]: Extracting #9: cost 0 inf + 1093774
5.241 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
5.241 * [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.241 * * * [progress]: adding candidates to table
5.340 * * [progress]: iteration 2 / 4
5.340 * * * [progress]: picking best candidate
5.350 * * * * [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.350 * * * [progress]: localizing error
5.731 * * * [progress]: generating rewritten candidates
5.731 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
5.737 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
5.741 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
5.757 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
5.761 * * * [progress]: generating series expansions
5.761 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
5.761 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
5.761 * * * * [progress]: [ 3 / 4 ] generating series at (2)
5.761 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
5.761 * * * [progress]: simplifying candidates
5.761 * * * * [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)))))))>
5.762 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
5.762 * * [simplify]: iters left: 5 (9 enodes)
5.766 * * [simplify]: iters left: 4 (16 enodes)
5.771 * * [simplify]: iters left: 3 (18 enodes)
5.777 * * [simplify]: Extracting #0: cost 1 inf + 0
5.777 * * [simplify]: Extracting #1: cost 3 inf + 0
5.777 * * [simplify]: Extracting #2: cost 6 inf + 0
5.777 * * [simplify]: Extracting #3: cost 9 inf + 0
5.777 * * [simplify]: Extracting #4: cost 6 inf + 43
5.777 * * [simplify]: Extracting #5: cost 0 inf + 2214
5.777 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
5.778 * [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.778 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
5.778 * * [simplify]: iters left: 5 (9 enodes)
5.782 * * [simplify]: iters left: 4 (22 enodes)
5.790 * * [simplify]: iters left: 3 (42 enodes)
5.807 * * [simplify]: iters left: 2 (100 enodes)
5.861 * * [simplify]: iters left: 1 (347 enodes)
6.166 * * [simplify]: Extracting #0: cost 1 inf + 0
6.167 * * [simplify]: Extracting #1: cost 48 inf + 0
6.168 * * [simplify]: Extracting #2: cost 269 inf + 0
6.171 * * [simplify]: Extracting #3: cost 457 inf + 1
6.188 * * [simplify]: Extracting #4: cost 422 inf + 210469
6.281 * * [simplify]: Extracting #5: cost 77 inf + 915056
6.408 * * [simplify]: Extracting #6: cost 3 inf + 1114648
6.529 * * [simplify]: Extracting #7: cost 1 inf + 1091652
6.652 * * [simplify]: Extracting #8: cost 0 inf + 1093814
6.734 * * [simplify]: Extracting #9: cost 0 inf + 1093774
6.796 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
6.796 * [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.796 * * * * [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)))))))>
6.796 * * * * [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)))))))>
6.796 * * * * [progress]: [ 4 / 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)))))))>
6.796 * [simplify]: Simplifying (sqrt.p16 (+.p16 x (real->posit16 1)))
6.796 * * [simplify]: iters left: 3 (5 enodes)
6.798 * * [simplify]: iters left: 2 (11 enodes)
6.800 * * [simplify]: iters left: 1 (13 enodes)
6.802 * * [simplify]: Extracting #0: cost 1 inf + 0
6.802 * * [simplify]: Extracting #1: cost 2 inf + 0
6.802 * * [simplify]: Extracting #2: cost 4 inf + 0
6.802 * * [simplify]: Extracting #3: cost 4 inf + 1
6.802 * * [simplify]: Extracting #4: cost 0 inf + 127
6.802 * [simplify]: Simplified to (sqrt.p16 (+.p16 (real->posit16 1) x))
6.802 * [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.802 * * * * [progress]: [ 5 / 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)))))))>
6.802 * [simplify]: Simplifying (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
6.802 * * [simplify]: iters left: 5 (7 enodes)
6.804 * * [simplify]: iters left: 4 (16 enodes)
6.807 * * [simplify]: iters left: 3 (20 enodes)
6.810 * * [simplify]: Extracting #0: cost 1 inf + 0
6.810 * * [simplify]: Extracting #1: cost 6 inf + 0
6.810 * * [simplify]: Extracting #2: cost 8 inf + 0
6.810 * * [simplify]: Extracting #3: cost 8 inf + 1
6.810 * * [simplify]: Extracting #4: cost 5 inf + 324
6.811 * * [simplify]: Extracting #5: cost 0 inf + 2334
6.811 * [simplify]: Simplified to (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))) (real->posit16 1))
6.811 * [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.811 * * * * [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 (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.811 * * * * [progress]: [ 7 / 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))))))))>
6.812 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
6.812 * * [simplify]: iters left: 5 (9 enodes)
6.816 * * [simplify]: iters left: 4 (16 enodes)
6.822 * * [simplify]: iters left: 3 (18 enodes)
6.829 * * [simplify]: Extracting #0: cost 1 inf + 0
6.829 * * [simplify]: Extracting #1: cost 3 inf + 0
6.829 * * [simplify]: Extracting #2: cost 6 inf + 0
6.829 * * [simplify]: Extracting #3: cost 9 inf + 0
6.829 * * [simplify]: Extracting #4: cost 6 inf + 43
6.829 * * [simplify]: Extracting #5: cost 0 inf + 2214
6.829 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
6.830 * [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.830 * * * * [progress]: [ 8 / 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)))))))))>
6.830 * [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.830 * * [simplify]: iters left: 6 (13 enodes)
6.835 * * [simplify]: iters left: 5 (45 enodes)
6.846 * * [simplify]: iters left: 4 (144 enodes)
6.889 * * [simplify]: iters left: 3 (446 enodes)
7.165 * * [simplify]: Extracting #0: cost 1 inf + 0
7.166 * * [simplify]: Extracting #1: cost 41 inf + 0
7.166 * * [simplify]: Extracting #2: cost 283 inf + 0
7.168 * * [simplify]: Extracting #3: cost 446 inf + 44
7.178 * * [simplify]: Extracting #4: cost 488 inf + 246749
7.244 * * [simplify]: Extracting #5: cost 101 inf + 1165723
7.335 * * [simplify]: Extracting #6: cost 2 inf + 1463482
7.422 * * [simplify]: Extracting #7: cost 0 inf + 1419126
7.508 * * [simplify]: Extracting #8: cost 0 inf + 1414206
7.594 * [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.594 * [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.594 * * * * [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)))))))>
7.594 * [simplify]: Simplifying (sqrt.p16 x)
7.594 * * [simplify]: iters left: 1 (2 enodes)
7.595 * * [simplify]: Extracting #0: cost 1 inf + 0
7.595 * * [simplify]: Extracting #1: cost 2 inf + 0
7.595 * * [simplify]: Extracting #2: cost 1 inf + 1
7.595 * * [simplify]: Extracting #3: cost 0 inf + 42
7.595 * [simplify]: Simplified to (sqrt.p16 x)
7.595 * [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)))))))
7.595 * * * * [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)))))))>
7.595 * [simplify]: Simplifying (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 x)))
7.595 * * [simplify]: iters left: 3 (6 enodes)
7.597 * * [simplify]: iters left: 2 (14 enodes)
7.599 * * [simplify]: iters left: 1 (18 enodes)
7.602 * * [simplify]: Extracting #0: cost 1 inf + 0
7.602 * * [simplify]: Extracting #1: cost 6 inf + 0
7.602 * * [simplify]: Extracting #2: cost 8 inf + 0
7.602 * * [simplify]: Extracting #3: cost 5 inf + 43
7.602 * * [simplify]: Extracting #4: cost 0 inf + 2131
7.603 * [simplify]: Simplified to (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (real->posit16 1))
7.603 * [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)))))))
7.603 * * * * [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)))))))>
7.603 * * * * [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)))))))>
7.603 * * * * [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)))))))>
7.603 * * * * [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)))))))>
7.603 * * * * [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)))))))>
7.603 * * * [progress]: adding candidates to table
7.936 * * [progress]: iteration 3 / 4
7.936 * * * [progress]: picking best candidate
8.015 * * * * [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.015 * * * [progress]: localizing error
8.390 * * * [progress]: generating rewritten candidates
8.390 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
8.397 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
8.414 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
8.416 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2)
8.427 * * * [progress]: generating series expansions
8.427 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
8.427 * * * * [progress]: [ 2 / 4 ] generating series at (2)
8.427 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
8.427 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2)
8.427 * * * [progress]: simplifying candidates
8.427 * * * * [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.428 * * * * [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.428 * * * * [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.428 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
8.428 * * [simplify]: iters left: 5 (9 enodes)
8.433 * * [simplify]: iters left: 4 (16 enodes)
8.439 * * [simplify]: iters left: 3 (18 enodes)
8.444 * * [simplify]: Extracting #0: cost 1 inf + 0
8.444 * * [simplify]: Extracting #1: cost 3 inf + 0
8.444 * * [simplify]: Extracting #2: cost 6 inf + 0
8.444 * * [simplify]: Extracting #3: cost 9 inf + 0
8.444 * * [simplify]: Extracting #4: cost 6 inf + 43
8.445 * * [simplify]: Extracting #5: cost 0 inf + 2214
8.445 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
8.445 * [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.445 * * * * [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.445 * [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.446 * * [simplify]: iters left: 6 (13 enodes)
8.452 * * [simplify]: iters left: 5 (38 enodes)
8.467 * * [simplify]: iters left: 4 (106 enodes)
8.516 * * [simplify]: iters left: 3 (376 enodes)
8.789 * * [simplify]: Extracting #0: cost 1 inf + 0
8.790 * * [simplify]: Extracting #1: cost 52 inf + 0
8.790 * * [simplify]: Extracting #2: cost 302 inf + 0
8.792 * * [simplify]: Extracting #3: cost 417 inf + 43
8.803 * * [simplify]: Extracting #4: cost 351 inf + 302562
8.850 * * [simplify]: Extracting #5: cost 35 inf + 1004993
8.905 * * [simplify]: Extracting #6: cost 0 inf + 1083663
8.959 * * [simplify]: Extracting #7: cost 0 inf + 1082583
9.013 * [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.013 * [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.013 * * * * [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.014 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
9.014 * * [simplify]: iters left: 5 (9 enodes)
9.016 * * [simplify]: iters left: 4 (16 enodes)
9.019 * * [simplify]: iters left: 3 (18 enodes)
9.022 * * [simplify]: Extracting #0: cost 1 inf + 0
9.022 * * [simplify]: Extracting #1: cost 3 inf + 0
9.022 * * [simplify]: Extracting #2: cost 6 inf + 0
9.022 * * [simplify]: Extracting #3: cost 9 inf + 0
9.022 * * [simplify]: Extracting #4: cost 6 inf + 43
9.022 * * [simplify]: Extracting #5: cost 0 inf + 2214
9.022 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
9.022 * [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.022 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
9.022 * * [simplify]: iters left: 5 (9 enodes)
9.025 * * [simplify]: iters left: 4 (22 enodes)
9.029 * * [simplify]: iters left: 3 (42 enodes)
9.037 * * [simplify]: iters left: 2 (100 enodes)
9.061 * * [simplify]: iters left: 1 (347 enodes)
9.260 * * [simplify]: Extracting #0: cost 1 inf + 0
9.260 * * [simplify]: Extracting #1: cost 48 inf + 0
9.261 * * [simplify]: Extracting #2: cost 269 inf + 0
9.262 * * [simplify]: Extracting #3: cost 457 inf + 1
9.271 * * [simplify]: Extracting #4: cost 422 inf + 210469
9.320 * * [simplify]: Extracting #5: cost 77 inf + 915056
9.385 * * [simplify]: Extracting #6: cost 3 inf + 1114648
9.448 * * [simplify]: Extracting #7: cost 1 inf + 1091652
9.509 * * [simplify]: Extracting #8: cost 0 inf + 1093814
9.600 * * [simplify]: Extracting #9: cost 0 inf + 1093774
9.719 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
9.719 * [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.719 * * * * [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.720 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
9.720 * * [simplify]: iters left: 5 (9 enodes)
9.724 * * [simplify]: iters left: 4 (16 enodes)
9.730 * * [simplify]: iters left: 3 (18 enodes)
9.735 * * [simplify]: Extracting #0: cost 1 inf + 0
9.736 * * [simplify]: Extracting #1: cost 3 inf + 0
9.736 * * [simplify]: Extracting #2: cost 6 inf + 0
9.736 * * [simplify]: Extracting #3: cost 9 inf + 0
9.736 * * [simplify]: Extracting #4: cost 6 inf + 43
9.736 * * [simplify]: Extracting #5: cost 0 inf + 2214
9.736 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
9.736 * [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.737 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
9.737 * * [simplify]: iters left: 5 (9 enodes)
9.741 * * [simplify]: iters left: 4 (22 enodes)
9.751 * * [simplify]: iters left: 3 (42 enodes)
9.766 * * [simplify]: iters left: 2 (100 enodes)
9.812 * * [simplify]: iters left: 1 (347 enodes)
9.996 * * [simplify]: Extracting #0: cost 1 inf + 0
9.996 * * [simplify]: Extracting #1: cost 48 inf + 0
9.997 * * [simplify]: Extracting #2: cost 269 inf + 0
9.998 * * [simplify]: Extracting #3: cost 457 inf + 1
10.011 * * [simplify]: Extracting #4: cost 422 inf + 210469
10.055 * * [simplify]: Extracting #5: cost 77 inf + 915056
10.119 * * [simplify]: Extracting #6: cost 3 inf + 1114648
10.182 * * [simplify]: Extracting #7: cost 1 inf + 1091652
10.258 * * [simplify]: Extracting #8: cost 0 inf + 1093814
10.320 * * [simplify]: Extracting #9: cost 0 inf + 1093774
10.381 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
10.382 * [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.382 * * * * [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.382 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
10.382 * * [simplify]: iters left: 5 (9 enodes)
10.384 * * [simplify]: iters left: 4 (16 enodes)
10.387 * * [simplify]: iters left: 3 (18 enodes)
10.390 * * [simplify]: Extracting #0: cost 1 inf + 0
10.390 * * [simplify]: Extracting #1: cost 3 inf + 0
10.390 * * [simplify]: Extracting #2: cost 6 inf + 0
10.390 * * [simplify]: Extracting #3: cost 9 inf + 0
10.390 * * [simplify]: Extracting #4: cost 6 inf + 43
10.390 * * [simplify]: Extracting #5: cost 0 inf + 2214
10.390 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
10.391 * [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.391 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
10.391 * * [simplify]: iters left: 5 (9 enodes)
10.393 * * [simplify]: iters left: 4 (22 enodes)
10.397 * * [simplify]: iters left: 3 (42 enodes)
10.405 * * [simplify]: iters left: 2 (100 enodes)
10.428 * * [simplify]: iters left: 1 (347 enodes)
10.584 * * [simplify]: Extracting #0: cost 1 inf + 0
10.584 * * [simplify]: Extracting #1: cost 48 inf + 0
10.585 * * [simplify]: Extracting #2: cost 269 inf + 0
10.586 * * [simplify]: Extracting #3: cost 457 inf + 1
10.595 * * [simplify]: Extracting #4: cost 422 inf + 210469
10.640 * * [simplify]: Extracting #5: cost 77 inf + 915056
10.713 * * [simplify]: Extracting #6: cost 3 inf + 1114648
10.797 * * [simplify]: Extracting #7: cost 1 inf + 1091652
10.898 * * [simplify]: Extracting #8: cost 0 inf + 1093814
11.001 * * [simplify]: Extracting #9: cost 0 inf + 1093774
11.123 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
11.124 * [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.124 * * * * [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.124 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
11.124 * * [simplify]: iters left: 5 (9 enodes)
11.128 * * [simplify]: iters left: 4 (16 enodes)
11.134 * * [simplify]: iters left: 3 (18 enodes)
11.139 * * [simplify]: Extracting #0: cost 1 inf + 0
11.139 * * [simplify]: Extracting #1: cost 3 inf + 0
11.139 * * [simplify]: Extracting #2: cost 6 inf + 0
11.139 * * [simplify]: Extracting #3: cost 9 inf + 0
11.140 * * [simplify]: Extracting #4: cost 6 inf + 43
11.140 * * [simplify]: Extracting #5: cost 0 inf + 2214
11.140 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
11.140 * [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.141 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
11.141 * * [simplify]: iters left: 5 (9 enodes)
11.145 * * [simplify]: iters left: 4 (22 enodes)
11.153 * * [simplify]: iters left: 3 (42 enodes)
11.168 * * [simplify]: iters left: 2 (100 enodes)
11.212 * * [simplify]: iters left: 1 (347 enodes)
11.523 * * [simplify]: Extracting #0: cost 1 inf + 0
11.523 * * [simplify]: Extracting #1: cost 48 inf + 0
11.524 * * [simplify]: Extracting #2: cost 269 inf + 0
11.527 * * [simplify]: Extracting #3: cost 457 inf + 1
11.545 * * [simplify]: Extracting #4: cost 422 inf + 210469
11.642 * * [simplify]: Extracting #5: cost 77 inf + 915056
11.766 * * [simplify]: Extracting #6: cost 3 inf + 1114648
11.890 * * [simplify]: Extracting #7: cost 1 inf + 1091652
11.960 * * [simplify]: Extracting #8: cost 0 inf + 1093814
12.030 * * [simplify]: Extracting #9: cost 0 inf + 1093774
12.138 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
12.139 * [simplify]: Simplified (2 1 2) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
12.139 * * * [progress]: adding candidates to table
12.332 * * [progress]: iteration 4 / 4
12.332 * * * [progress]: picking best candidate
12.428 * * * * [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)))))))>
12.428 * * * [progress]: localizing error
12.839 * * * [progress]: generating rewritten candidates
12.839 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
12.846 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
12.851 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
12.868 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
12.871 * * * [progress]: generating series expansions
12.871 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
12.871 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
12.871 * * * * [progress]: [ 3 / 4 ] generating series at (2)
12.871 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
12.871 * * * [progress]: simplifying candidates
12.871 * * * * [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)))))))>
12.871 * * * * [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)))))))>
12.871 * * * * [progress]: [ 3 / 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.872 * [simplify]: Simplifying (sqrt.p16 (+.p16 x (real->posit16 1)))
12.872 * * [simplify]: iters left: 3 (5 enodes)
12.875 * * [simplify]: iters left: 2 (11 enodes)
12.878 * * [simplify]: iters left: 1 (13 enodes)
12.882 * * [simplify]: Extracting #0: cost 1 inf + 0
12.882 * * [simplify]: Extracting #1: cost 2 inf + 0
12.882 * * [simplify]: Extracting #2: cost 4 inf + 0
12.883 * * [simplify]: Extracting #3: cost 4 inf + 1
12.883 * * [simplify]: Extracting #4: cost 0 inf + 127
12.883 * [simplify]: Simplified to (sqrt.p16 (+.p16 (real->posit16 1) x))
12.883 * [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.883 * * * * [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 (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.883 * [simplify]: Simplifying (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
12.883 * * [simplify]: iters left: 5 (7 enodes)
12.887 * * [simplify]: iters left: 4 (16 enodes)
12.892 * * [simplify]: iters left: 3 (20 enodes)
12.898 * * [simplify]: Extracting #0: cost 1 inf + 0
12.898 * * [simplify]: Extracting #1: cost 6 inf + 0
12.898 * * [simplify]: Extracting #2: cost 8 inf + 0
12.898 * * [simplify]: Extracting #3: cost 8 inf + 1
12.898 * * [simplify]: Extracting #4: cost 5 inf + 324
12.899 * * [simplify]: Extracting #5: cost 0 inf + 2334
12.899 * [simplify]: Simplified to (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))) (real->posit16 1))
12.899 * [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.899 * * * * [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) (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.899 * * * * [progress]: [ 6 / 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)))))))))>
12.900 * [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)))))))
12.900 * * [simplify]: iters left: 6 (14 enodes)
12.907 * * [simplify]: iters left: 5 (47 enodes)
12.927 * * [simplify]: iters left: 4 (140 enodes)
13.000 * * [simplify]: iters left: 3 (480 enodes)
13.392 * * [simplify]: Extracting #0: cost 1 inf + 0
13.392 * * [simplify]: Extracting #1: cost 36 inf + 0
13.393 * * [simplify]: Extracting #2: cost 250 inf + 0
13.394 * * [simplify]: Extracting #3: cost 413 inf + 725
13.401 * * [simplify]: Extracting #4: cost 550 inf + 129982
13.450 * * [simplify]: Extracting #5: cost 163 inf + 996596
13.536 * * [simplify]: Extracting #6: cost 12 inf + 1471739
13.624 * * [simplify]: Extracting #7: cost 0 inf + 1461963
13.757 * * [simplify]: Extracting #8: cost 0 inf + 1441923
13.846 * * [simplify]: Extracting #9: cost 0 inf + 1441523
13.931 * [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))))))
13.931 * [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)))))))))
13.931 * * * * [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)))))))>
13.932 * [simplify]: Simplifying (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 x)))
13.932 * * [simplify]: iters left: 3 (6 enodes)
13.934 * * [simplify]: iters left: 2 (14 enodes)
13.936 * * [simplify]: iters left: 1 (18 enodes)
13.939 * * [simplify]: Extracting #0: cost 1 inf + 0
13.939 * * [simplify]: Extracting #1: cost 6 inf + 0
13.939 * * [simplify]: Extracting #2: cost 8 inf + 0
13.939 * * [simplify]: Extracting #3: cost 5 inf + 43
13.939 * * [simplify]: Extracting #4: cost 0 inf + 2131
13.940 * [simplify]: Simplified to (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (real->posit16 1))
13.940 * [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)))))))
13.940 * * * * [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)))))))>
13.940 * [simplify]: Simplifying (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 x)))
13.940 * * [simplify]: iters left: 3 (6 enodes)
13.941 * * [simplify]: iters left: 2 (14 enodes)
13.944 * * [simplify]: iters left: 1 (18 enodes)
13.948 * * [simplify]: Extracting #0: cost 1 inf + 0
13.948 * * [simplify]: Extracting #1: cost 6 inf + 0
13.948 * * [simplify]: Extracting #2: cost 8 inf + 0
13.949 * * [simplify]: Extracting #3: cost 5 inf + 43
13.949 * * [simplify]: Extracting #4: cost 0 inf + 2131
13.949 * [simplify]: Simplified to (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (real->posit16 1))
13.949 * [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)))))))
13.949 * * * * [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)))))))>
13.949 * [simplify]: Simplifying (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 x)))
13.949 * * [simplify]: iters left: 3 (6 enodes)
13.951 * * [simplify]: iters left: 2 (14 enodes)
13.953 * * [simplify]: iters left: 1 (18 enodes)
13.956 * * [simplify]: Extracting #0: cost 1 inf + 0
13.956 * * [simplify]: Extracting #1: cost 6 inf + 0
13.956 * * [simplify]: Extracting #2: cost 8 inf + 0
13.956 * * [simplify]: Extracting #3: cost 5 inf + 43
13.956 * * [simplify]: Extracting #4: cost 0 inf + 2131
13.956 * [simplify]: Simplified to (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (real->posit16 1))
13.956 * [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)))))))
13.957 * * * * [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)))))))>
13.957 * [simplify]: Simplifying (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 x)))
13.957 * * [simplify]: iters left: 3 (6 enodes)
13.958 * * [simplify]: iters left: 2 (14 enodes)
13.961 * * [simplify]: iters left: 1 (18 enodes)
13.963 * * [simplify]: Extracting #0: cost 1 inf + 0
13.963 * * [simplify]: Extracting #1: cost 6 inf + 0
13.963 * * [simplify]: Extracting #2: cost 8 inf + 0
13.963 * * [simplify]: Extracting #3: cost 5 inf + 43
13.964 * * [simplify]: Extracting #4: cost 0 inf + 2131
13.964 * [simplify]: Simplified to (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (real->posit16 1))
13.964 * [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)))))))
13.964 * * * [progress]: adding candidates to table
14.156 * [progress]: [Phase 3 of 3] Extracting.
14.156 * * [regime]: Finding splitpoints for: (#<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)))))))> #<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 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))> #<alt (λ (x) (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (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) (/.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)))))))> #<alt (λ (x) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))))> #<alt (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (real->posit16 1) (/.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)))))))>)
14.158 * * * [regime-changes]: Trying 1 branch expressions: (x)
14.158 * * * * [regimes]: Trying to branch on x from (#<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)))))))> #<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 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))> #<alt (λ (x) (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (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) (/.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)))))))> #<alt (λ (x) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))))> #<alt (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (real->posit16 1) (/.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)))))))>)
14.263 * * * [regime]: Found split indices: #<option (#s(si 2 256))>
14.263 * [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))))))
14.263 * * [simplify]: iters left: 6 (12 enodes)
14.264 * * [simplify]: iters left: 5 (14 enodes)
14.265 * * [simplify]: Extracting #0: cost 1 inf + 0
14.265 * * [simplify]: Extracting #1: cost 3 inf + 0
14.265 * * [simplify]: Extracting #2: cost 6 inf + 0
14.265 * * [simplify]: Extracting #3: cost 9 inf + 0
14.265 * * [simplify]: Extracting #4: cost 12 inf + 0
14.265 * * [simplify]: Extracting #5: cost 9 inf + 43
14.265 * * [simplify]: Extracting #6: cost 0 inf + 6620
14.265 * [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))))))
14.265 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
14.290 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
14.294 * * * * [points]: Setting MPFR precision to 64
14.296 * * * * [points]: Setting MPFR precision to 320
14.298 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
14.301 * * * * [points]: Setting MPFR precision to 64
14.304 * * * * [points]: Setting MPFR precision to 320
14.307 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
14.310 * * * * [points]: Setting MPFR precision to 64
14.316 * * * * [points]: Setting MPFR precision to 320
14.321 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
14.324 * * * * [points]: Setting MPFR precision to 64
14.335 * * * * [points]: Setting MPFR precision to 320
14.346 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
14.349 * * * * [points]: Setting MPFR precision to 64
14.370 * * * * [points]: Setting MPFR precision to 320
14.391 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
14.395 * * * * [points]: Setting MPFR precision to 64
14.436 * * * * [points]: Setting MPFR precision to 320
14.479 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
14.482 * * * * [points]: Setting MPFR precision to 64
14.578 * * * * [points]: Setting MPFR precision to 320
14.633 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
14.637 * * * * [points]: Setting MPFR precision to 64
14.801 * * * * [points]: Setting MPFR precision to 320
14.933 * * * * [points]: Computing exacts for 8000 points
14.935 * * * * [points]: Setting MPFR precision to 64
15.419 * * * * [points]: Setting MPFR precision to 320
16.231 * * * * [points]: Filtering points with unrepresentable outputs
16.242 * * * * [points]: Sampled 8000 points with exact outputs
18.909 * [regime-testing]: Baseline error score: 64.0
18.912 * [regime-testing]: Oracle error score: 64.0
18.920 * [regime-testing]: End program error score: 0.6176074260988257