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.011 * * * * [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.019 * * * * [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.031 * * * * [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.072 * * * * [points]: Setting MPFR precision to 320
0.107 * * * * [points]: Filtering points with unrepresentable outputs
0.108 * * * * [points]: Sampled 256 points with exact outputs
0.108 * * * [progress]: [2/2] Setting up program.
0.125 * [progress]: [Phase 2 of 3] Improving.
0.125 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))>
0.125 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
0.125 * * [simplify]: iters left: 5 (9 enodes)
0.130 * * [simplify]: iters left: 4 (22 enodes)
0.138 * * [simplify]: iters left: 3 (42 enodes)
0.153 * * [simplify]: iters left: 2 (100 enodes)
0.197 * * [simplify]: iters left: 1 (348 enodes)
0.500 * * [simplify]: Extracting #0: cost 1 inf + 0
0.500 * * [simplify]: Extracting #1: cost 48 inf + 0
0.502 * * [simplify]: Extracting #2: cost 268 inf + 0
0.505 * * [simplify]: Extracting #3: cost 472 inf + 2
0.524 * * [simplify]: Extracting #4: cost 433 inf + 227768
0.617 * * [simplify]: Extracting #5: cost 77 inf + 950255
0.706 * * [simplify]: Extracting #6: cost 3 inf + 1162768
0.834 * * [simplify]: Extracting #7: cost 0 inf + 1151214
0.963 * * [simplify]: Extracting #8: cost 0 inf + 1149854
1.090 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1.090 * [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.108 * * [progress]: iteration 1 / 4
1.108 * * * [progress]: picking best candidate
1.127 * * * * [pick]: Picked  #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))>
1.127 * * * [progress]: localizing error
1.371 * * * [progress]: generating rewritten candidates
1.371 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
1.385 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
1.386 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
1.387 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
1.388 * * * [progress]: generating series expansions
1.388 * * * * [progress]: [ 1 / 4 ] generating series at (2)
1.388 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
1.388 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
1.388 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
1.388 * * * [progress]: simplifying candidates
1.388 * * * * [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.388 * [simplify]: Simplifying (neg.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1.388 * * [simplify]: iters left: 5 (7 enodes)
1.390 * * [simplify]: iters left: 4 (13 enodes)
1.392 * * [simplify]: iters left: 3 (15 enodes)
1.395 * * [simplify]: Extracting #0: cost 1 inf + 0
1.395 * * [simplify]: Extracting #1: cost 2 inf + 0
1.395 * * [simplify]: Extracting #2: cost 4 inf + 0
1.395 * * [simplify]: Extracting #3: cost 6 inf + 0
1.395 * * [simplify]: Extracting #4: cost 6 inf + 1
1.395 * * [simplify]: Extracting #5: cost 0 inf + 1251
1.395 * [simplify]: Simplified to (neg.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1.395 * [simplify]: Simplified (2 2) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (neg.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))))
1.395 * * * * [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.395 * [simplify]: Simplifying (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))
1.395 * * [simplify]: iters left: 6 (11 enodes)
1.398 * * [simplify]: iters left: 5 (35 enodes)
1.405 * * [simplify]: iters left: 4 (87 enodes)
1.430 * * [simplify]: iters left: 3 (261 enodes)
1.588 * * [simplify]: Extracting #0: cost 1 inf + 0
1.588 * * [simplify]: Extracting #1: cost 34 inf + 0
1.589 * * [simplify]: Extracting #2: cost 176 inf + 0
1.591 * * [simplify]: Extracting #3: cost 253 inf + 5588
1.612 * * [simplify]: Extracting #4: cost 230 inf + 217837
1.662 * * [simplify]: Extracting #5: cost 21 inf + 650533
1.726 * * [simplify]: Extracting #6: cost 0 inf + 705535
1.763 * [simplify]: Simplified to (-.p16 (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) x) (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (+.p16 (real->posit16 1) x)))
1.763 * [simplify]: Simplified (2 1) to (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) x) (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (+.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
1.763 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1.763 * * [simplify]: iters left: 5 (9 enodes)
1.768 * * [simplify]: iters left: 4 (16 enodes)
1.775 * * [simplify]: iters left: 3 (18 enodes)
1.781 * * [simplify]: Extracting #0: cost 1 inf + 0
1.781 * * [simplify]: Extracting #1: cost 3 inf + 0
1.781 * * [simplify]: Extracting #2: cost 6 inf + 0
1.781 * * [simplify]: Extracting #3: cost 9 inf + 0
1.781 * * [simplify]: Extracting #4: cost 6 inf + 43
1.782 * * [simplify]: Extracting #5: cost 0 inf + 2214
1.782 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1.782 * [simplify]: Simplified (2 2) to (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))))
1.782 * * * * [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.782 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1.782 * * [simplify]: iters left: 5 (9 enodes)
1.786 * * [simplify]: iters left: 4 (22 enodes)
1.795 * * [simplify]: iters left: 3 (42 enodes)
1.811 * * [simplify]: iters left: 2 (100 enodes)
1.855 * * [simplify]: iters left: 1 (348 enodes)
2.133 * * [simplify]: Extracting #0: cost 1 inf + 0
2.133 * * [simplify]: Extracting #1: cost 48 inf + 0
2.135 * * [simplify]: Extracting #2: cost 268 inf + 0
2.138 * * [simplify]: Extracting #3: cost 472 inf + 2
2.158 * * [simplify]: Extracting #4: cost 433 inf + 227768
2.244 * * [simplify]: Extracting #5: cost 77 inf + 950255
2.331 * * [simplify]: Extracting #6: cost 3 inf + 1162768
2.458 * * [simplify]: Extracting #7: cost 0 inf + 1151214
2.582 * * [simplify]: Extracting #8: cost 0 inf + 1149854
2.672 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
2.672 * [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.672 * * * * [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.673 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
2.673 * * [simplify]: iters left: 5 (9 enodes)
2.675 * * [simplify]: iters left: 4 (22 enodes)
2.679 * * [simplify]: iters left: 3 (42 enodes)
2.688 * * [simplify]: iters left: 2 (100 enodes)
2.724 * * [simplify]: iters left: 1 (348 enodes)
2.939 * * [simplify]: Extracting #0: cost 1 inf + 0
2.939 * * [simplify]: Extracting #1: cost 48 inf + 0
2.939 * * [simplify]: Extracting #2: cost 268 inf + 0
2.941 * * [simplify]: Extracting #3: cost 472 inf + 2
2.951 * * [simplify]: Extracting #4: cost 433 inf + 227768
3.002 * * [simplify]: Extracting #5: cost 77 inf + 950255
3.067 * * [simplify]: Extracting #6: cost 3 inf + 1162768
3.174 * * [simplify]: Extracting #7: cost 0 inf + 1151214
3.302 * * [simplify]: Extracting #8: cost 0 inf + 1149854
3.429 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
3.429 * [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.429 * * * * [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.430 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
3.430 * * [simplify]: iters left: 5 (9 enodes)
3.434 * * [simplify]: iters left: 4 (22 enodes)
3.442 * * [simplify]: iters left: 3 (42 enodes)
3.458 * * [simplify]: iters left: 2 (100 enodes)
3.504 * * [simplify]: iters left: 1 (348 enodes)
3.796 * * [simplify]: Extracting #0: cost 1 inf + 0
3.796 * * [simplify]: Extracting #1: cost 48 inf + 0
3.797 * * [simplify]: Extracting #2: cost 268 inf + 0
3.800 * * [simplify]: Extracting #3: cost 472 inf + 2
3.819 * * [simplify]: Extracting #4: cost 433 inf + 227768
3.919 * * [simplify]: Extracting #5: cost 77 inf + 950255
4.049 * * [simplify]: Extracting #6: cost 3 inf + 1162768
4.179 * * [simplify]: Extracting #7: cost 0 inf + 1151214
4.304 * * [simplify]: Extracting #8: cost 0 inf + 1149854
4.431 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
4.431 * [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.431 * * * * [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.432 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
4.432 * * [simplify]: iters left: 5 (9 enodes)
4.436 * * [simplify]: iters left: 4 (22 enodes)
4.444 * * [simplify]: iters left: 3 (42 enodes)
4.460 * * [simplify]: iters left: 2 (100 enodes)
4.504 * * [simplify]: iters left: 1 (348 enodes)
4.671 * * [simplify]: Extracting #0: cost 1 inf + 0
4.671 * * [simplify]: Extracting #1: cost 48 inf + 0
4.671 * * [simplify]: Extracting #2: cost 268 inf + 0
4.673 * * [simplify]: Extracting #3: cost 472 inf + 2
4.682 * * [simplify]: Extracting #4: cost 433 inf + 227768
4.729 * * [simplify]: Extracting #5: cost 77 inf + 950255
4.805 * * [simplify]: Extracting #6: cost 3 inf + 1162768
4.896 * * [simplify]: Extracting #7: cost 0 inf + 1151214
4.976 * * [simplify]: Extracting #8: cost 0 inf + 1149854
5.041 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
5.041 * [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.041 * * * [progress]: adding candidates to table
5.138 * * [progress]: iteration 2 / 4
5.138 * * * [progress]: picking best candidate
5.156 * * * * [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.156 * * * [progress]: localizing error
5.480 * * * [progress]: generating rewritten candidates
5.480 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
5.483 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
5.485 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
5.493 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
5.495 * * * [progress]: generating series expansions
5.495 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
5.495 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
5.495 * * * * [progress]: [ 3 / 4 ] generating series at (2)
5.495 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
5.495 * * * [progress]: simplifying candidates
5.495 * * * * [progress]: [ 1 / 12 ] simplifiying candidate #<alt (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
5.495 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
5.495 * * [simplify]: iters left: 5 (9 enodes)
5.497 * * [simplify]: iters left: 4 (16 enodes)
5.500 * * [simplify]: iters left: 3 (18 enodes)
5.503 * * [simplify]: Extracting #0: cost 1 inf + 0
5.503 * * [simplify]: Extracting #1: cost 3 inf + 0
5.503 * * [simplify]: Extracting #2: cost 6 inf + 0
5.503 * * [simplify]: Extracting #3: cost 9 inf + 0
5.503 * * [simplify]: Extracting #4: cost 6 inf + 43
5.503 * * [simplify]: Extracting #5: cost 0 inf + 2214
5.503 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
5.503 * [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.504 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
5.504 * * [simplify]: iters left: 5 (9 enodes)
5.506 * * [simplify]: iters left: 4 (22 enodes)
5.510 * * [simplify]: iters left: 3 (42 enodes)
5.517 * * [simplify]: iters left: 2 (100 enodes)
5.544 * * [simplify]: iters left: 1 (348 enodes)
5.773 * * [simplify]: Extracting #0: cost 1 inf + 0
5.773 * * [simplify]: Extracting #1: cost 48 inf + 0
5.774 * * [simplify]: Extracting #2: cost 268 inf + 0
5.776 * * [simplify]: Extracting #3: cost 472 inf + 2
5.785 * * [simplify]: Extracting #4: cost 433 inf + 227768
5.836 * * [simplify]: Extracting #5: cost 77 inf + 950255
5.910 * * [simplify]: Extracting #6: cost 3 inf + 1162768
6.000 * * [simplify]: Extracting #7: cost 0 inf + 1151214
6.065 * * [simplify]: Extracting #8: cost 0 inf + 1149854
6.144 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
6.144 * [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.144 * * * * [progress]: [ 2 / 12 ] simplifiying candidate #<alt (λ (x) (/.p16 (+.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (neg.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
6.144 * [simplify]: Simplifying (neg.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))
6.144 * * [simplify]: iters left: 6 (8 enodes)
6.147 * * [simplify]: iters left: 5 (18 enodes)
6.150 * * [simplify]: iters left: 4 (26 enodes)
6.154 * * [simplify]: iters left: 3 (32 enodes)
6.159 * * [simplify]: iters left: 2 (35 enodes)
6.164 * * [simplify]: Extracting #0: cost 1 inf + 0
6.164 * * [simplify]: Extracting #1: cost 2 inf + 0
6.164 * * [simplify]: Extracting #2: cost 11 inf + 0
6.164 * * [simplify]: Extracting #3: cost 13 inf + 0
6.164 * * [simplify]: Extracting #4: cost 11 inf + 2
6.164 * * [simplify]: Extracting #5: cost 7 inf + 848
6.164 * * [simplify]: Extracting #6: cost 0 inf + 4982
6.165 * [simplify]: Simplified to (neg.p16 (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (+.p16 (real->posit16 1) x)))
6.165 * [simplify]: Simplified (2 1 2) to (λ (x) (/.p16 (+.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (neg.p16 (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (+.p16 (real->posit16 1) x)))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
6.165 * * * * [progress]: [ 3 / 12 ] simplifiying candidate #<alt (λ (x) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))) (+.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
6.166 * [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.166 * * [simplify]: iters left: 6 (13 enodes)
6.172 * * [simplify]: iters left: 5 (45 enodes)
6.194 * * [simplify]: iters left: 4 (144 enodes)
6.251 * * [simplify]: iters left: 3 (446 enodes)
6.559 * * [simplify]: Extracting #0: cost 1 inf + 0
6.559 * * [simplify]: Extracting #1: cost 41 inf + 0
6.560 * * [simplify]: Extracting #2: cost 295 inf + 0
6.561 * * [simplify]: Extracting #3: cost 448 inf + 365
6.572 * * [simplify]: Extracting #4: cost 490 inf + 235543
6.688 * * [simplify]: Extracting #5: cost 86 inf + 1196194
6.791 * * [simplify]: Extracting #6: cost 2 inf + 1431922
6.908 * * [simplify]: Extracting #7: cost 0 inf + 1396286
7.044 * * [simplify]: Extracting #8: cost 0 inf + 1388526
7.171 * [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.172 * [simplify]: Simplified (2 1 1) to (λ (x) (/.p16 (/.p16 (*.p16 (*.p16 (real->posit16 1) (-.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)))) (*.p16 (real->posit16 1) (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x)))) (+.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
7.172 * [simplify]: Simplifying (+.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))
7.172 * * [simplify]: iters left: 6 (11 enodes)
7.178 * * [simplify]: iters left: 5 (26 enodes)
7.187 * * [simplify]: iters left: 4 (39 enodes)
7.199 * * [simplify]: iters left: 3 (51 enodes)
7.214 * * [simplify]: iters left: 2 (61 enodes)
7.229 * * [simplify]: iters left: 1 (66 enodes)
7.238 * * [simplify]: Extracting #0: cost 1 inf + 0
7.238 * * [simplify]: Extracting #1: cost 5 inf + 0
7.238 * * [simplify]: Extracting #2: cost 21 inf + 0
7.238 * * [simplify]: Extracting #3: cost 18 inf + 43
7.238 * * [simplify]: Extracting #4: cost 15 inf + 807
7.239 * * [simplify]: Extracting #5: cost 5 inf + 5667
7.239 * * [simplify]: Extracting #6: cost 0 inf + 9797
7.240 * [simplify]: Simplified to (*.p16 (real->posit16 1) (+.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))))
7.240 * [simplify]: Simplified (2 1 2) to (λ (x) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))) (*.p16 (real->posit16 1) (+.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
7.240 * * * * [progress]: [ 4 / 12 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (/.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (real->posit16 1)) (sqrt.p16 (+.p16 x (real->posit16 1))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
7.240 * [simplify]: Simplifying (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (real->posit16 1))
7.240 * * [simplify]: iters left: 5 (7 enodes)
7.242 * * [simplify]: iters left: 4 (16 enodes)
7.245 * * [simplify]: iters left: 3 (20 enodes)
7.248 * * [simplify]: Extracting #0: cost 1 inf + 0
7.248 * * [simplify]: Extracting #1: cost 6 inf + 0
7.248 * * [simplify]: Extracting #2: cost 8 inf + 0
7.248 * * [simplify]: Extracting #3: cost 8 inf + 1
7.248 * * [simplify]: Extracting #4: cost 5 inf + 324
7.248 * * [simplify]: Extracting #5: cost 0 inf + 2334
7.249 * [simplify]: Simplified to (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))) (real->posit16 1))
7.249 * [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)))))))
7.249 * * * * [progress]: [ 5 / 12 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
7.249 * [simplify]: Simplifying (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
7.249 * * [simplify]: iters left: 5 (7 enodes)
7.252 * * [simplify]: iters left: 4 (16 enodes)
7.255 * * [simplify]: iters left: 3 (20 enodes)
7.258 * * [simplify]: Extracting #0: cost 1 inf + 0
7.258 * * [simplify]: Extracting #1: cost 6 inf + 0
7.258 * * [simplify]: Extracting #2: cost 8 inf + 0
7.258 * * [simplify]: Extracting #3: cost 8 inf + 1
7.258 * * [simplify]: Extracting #4: cost 5 inf + 324
7.258 * * [simplify]: Extracting #5: cost 0 inf + 2334
7.259 * [simplify]: Simplified to (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))) (real->posit16 1))
7.259 * [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)))))))
7.259 * * * * [progress]: [ 6 / 12 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
7.259 * * * * [progress]: [ 7 / 12 ] simplifiying candidate #<alt (λ (x) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))))>
7.259 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))
7.259 * * [simplify]: iters left: 6 (11 enodes)
7.262 * * [simplify]: iters left: 5 (24 enodes)
7.266 * * [simplify]: iters left: 4 (45 enodes)
7.282 * * [simplify]: iters left: 3 (117 enodes)
7.336 * * [simplify]: iters left: 2 (426 enodes)
7.868 * * [simplify]: Extracting #0: cost 1 inf + 0
7.868 * * [simplify]: Extracting #1: cost 60 inf + 0
7.869 * * [simplify]: Extracting #2: cost 353 inf + 0
7.871 * * [simplify]: Extracting #3: cost 625 inf + 1
7.875 * * [simplify]: Extracting #4: cost 639 inf + 77043
7.920 * * [simplify]: Extracting #5: cost 354 inf + 803696
8.015 * * [simplify]: Extracting #6: cost 31 inf + 1650362
8.179 * * [simplify]: Extracting #7: cost 0 inf + 1707321
8.296 * * [simplify]: Extracting #8: cost 0 inf + 1706515
8.438 * [simplify]: Simplified to (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))) (/.p16 (real->posit16 1) (sqrt.p16 x))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))))
8.438 * [simplify]: Simplified (2 2) to (λ (x) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))) (/.p16 (real->posit16 1) (sqrt.p16 x))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))))))
8.438 * * * * [progress]: [ 8 / 12 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))) (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (+.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))))>
8.438 * [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.439 * * [simplify]: iters left: 6 (13 enodes)
8.445 * * [simplify]: iters left: 5 (36 enodes)
8.460 * * [simplify]: iters left: 4 (97 enodes)
8.500 * * [simplify]: iters left: 3 (268 enodes)
8.596 * * [simplify]: Extracting #0: cost 1 inf + 0
8.597 * * [simplify]: Extracting #1: cost 15 inf + 0
8.597 * * [simplify]: Extracting #2: cost 113 inf + 0
8.598 * * [simplify]: Extracting #3: cost 124 inf + 42
8.599 * * [simplify]: Extracting #4: cost 108 inf + 8029
8.604 * * [simplify]: Extracting #5: cost 18 inf + 138289
8.612 * * [simplify]: Extracting #6: cost 0 inf + 170085
8.623 * * [simplify]: Extracting #7: cost 0 inf + 169845
8.632 * [simplify]: Simplified to (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))) (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))))
8.632 * [simplify]: Simplified (2 2) to (λ (x) (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))) (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))) (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))))))
8.632 * * * * [progress]: [ 9 / 12 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
8.632 * [simplify]: Simplifying (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))
8.632 * * [simplify]: iters left: 6 (11 enodes)
8.635 * * [simplify]: iters left: 5 (35 enodes)
8.645 * * [simplify]: iters left: 4 (87 enodes)
8.677 * * [simplify]: iters left: 3 (261 enodes)
8.851 * * [simplify]: Extracting #0: cost 1 inf + 0
8.851 * * [simplify]: Extracting #1: cost 34 inf + 0
8.852 * * [simplify]: Extracting #2: cost 176 inf + 0
8.854 * * [simplify]: Extracting #3: cost 253 inf + 5588
8.865 * * [simplify]: Extracting #4: cost 230 inf + 217837
8.890 * * [simplify]: Extracting #5: cost 21 inf + 650533
8.943 * * [simplify]: Extracting #6: cost 0 inf + 705535
9.001 * [simplify]: Simplified to (-.p16 (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) x) (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (+.p16 (real->posit16 1) x)))
9.002 * [simplify]: Simplified (2 1) to (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) x) (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (+.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
9.002 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
9.002 * * [simplify]: iters left: 5 (9 enodes)
9.004 * * [simplify]: iters left: 4 (16 enodes)
9.008 * * [simplify]: iters left: 3 (18 enodes)
9.011 * * [simplify]: Extracting #0: cost 1 inf + 0
9.011 * * [simplify]: Extracting #1: cost 3 inf + 0
9.011 * * [simplify]: Extracting #2: cost 6 inf + 0
9.011 * * [simplify]: Extracting #3: cost 9 inf + 0
9.011 * * [simplify]: Extracting #4: cost 6 inf + 43
9.011 * * [simplify]: Extracting #5: cost 0 inf + 2214
9.012 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
9.012 * [simplify]: Simplified (2 2) to (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))))
9.012 * * * * [progress]: [ 10 / 12 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
9.012 * [simplify]: Simplifying (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))
9.012 * * [simplify]: iters left: 6 (11 enodes)
9.015 * * [simplify]: iters left: 5 (35 enodes)
9.022 * * [simplify]: iters left: 4 (87 enodes)
9.039 * * [simplify]: iters left: 3 (261 enodes)
9.203 * * [simplify]: Extracting #0: cost 1 inf + 0
9.203 * * [simplify]: Extracting #1: cost 34 inf + 0
9.203 * * [simplify]: Extracting #2: cost 176 inf + 0
9.204 * * [simplify]: Extracting #3: cost 253 inf + 5588
9.212 * * [simplify]: Extracting #4: cost 230 inf + 217837
9.254 * * [simplify]: Extracting #5: cost 21 inf + 650533
9.308 * * [simplify]: Extracting #6: cost 0 inf + 705535
9.358 * [simplify]: Simplified to (-.p16 (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) x) (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (+.p16 (real->posit16 1) x)))
9.358 * [simplify]: Simplified (2 1) to (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) x) (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (+.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
9.359 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
9.359 * * [simplify]: iters left: 5 (9 enodes)
9.363 * * [simplify]: iters left: 4 (16 enodes)
9.368 * * [simplify]: iters left: 3 (18 enodes)
9.374 * * [simplify]: Extracting #0: cost 1 inf + 0
9.374 * * [simplify]: Extracting #1: cost 3 inf + 0
9.374 * * [simplify]: Extracting #2: cost 6 inf + 0
9.374 * * [simplify]: Extracting #3: cost 9 inf + 0
9.374 * * [simplify]: Extracting #4: cost 6 inf + 43
9.375 * * [simplify]: Extracting #5: cost 0 inf + 2214
9.375 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
9.375 * [simplify]: Simplified (2 2) to (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))))
9.375 * * * * [progress]: [ 11 / 12 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
9.376 * [simplify]: Simplifying (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))
9.376 * * [simplify]: iters left: 6 (11 enodes)
9.383 * * [simplify]: iters left: 5 (35 enodes)
9.396 * * [simplify]: iters left: 4 (87 enodes)
9.429 * * [simplify]: iters left: 3 (261 enodes)
9.571 * * [simplify]: Extracting #0: cost 1 inf + 0
9.571 * * [simplify]: Extracting #1: cost 34 inf + 0
9.572 * * [simplify]: Extracting #2: cost 176 inf + 0
9.574 * * [simplify]: Extracting #3: cost 253 inf + 5588
9.586 * * [simplify]: Extracting #4: cost 230 inf + 217837
9.620 * * [simplify]: Extracting #5: cost 21 inf + 650533
9.656 * * [simplify]: Extracting #6: cost 0 inf + 705535
9.693 * [simplify]: Simplified to (-.p16 (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) x) (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (+.p16 (real->posit16 1) x)))
9.693 * [simplify]: Simplified (2 1) to (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) x) (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (+.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
9.693 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
9.693 * * [simplify]: iters left: 5 (9 enodes)
9.697 * * [simplify]: iters left: 4 (16 enodes)
9.702 * * [simplify]: iters left: 3 (18 enodes)
9.707 * * [simplify]: Extracting #0: cost 1 inf + 0
9.708 * * [simplify]: Extracting #1: cost 3 inf + 0
9.708 * * [simplify]: Extracting #2: cost 6 inf + 0
9.708 * * [simplify]: Extracting #3: cost 9 inf + 0
9.708 * * [simplify]: Extracting #4: cost 6 inf + 43
9.708 * * [simplify]: Extracting #5: cost 0 inf + 2214
9.708 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
9.708 * [simplify]: Simplified (2 2) to (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))))
9.709 * * * * [progress]: [ 12 / 12 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
9.709 * [simplify]: Simplifying (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))
9.709 * * [simplify]: iters left: 6 (11 enodes)
9.714 * * [simplify]: iters left: 5 (35 enodes)
9.727 * * [simplify]: iters left: 4 (87 enodes)
9.745 * * [simplify]: iters left: 3 (261 enodes)
9.849 * * [simplify]: Extracting #0: cost 1 inf + 0
9.849 * * [simplify]: Extracting #1: cost 34 inf + 0
9.849 * * [simplify]: Extracting #2: cost 176 inf + 0
9.850 * * [simplify]: Extracting #3: cost 253 inf + 5588
9.865 * * [simplify]: Extracting #4: cost 230 inf + 217837
9.893 * * [simplify]: Extracting #5: cost 21 inf + 650533
9.928 * * [simplify]: Extracting #6: cost 0 inf + 705535
9.976 * [simplify]: Simplified to (-.p16 (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) x) (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (+.p16 (real->posit16 1) x)))
9.976 * [simplify]: Simplified (2 1) to (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) x) (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (+.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
9.977 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
9.977 * * [simplify]: iters left: 5 (9 enodes)
9.981 * * [simplify]: iters left: 4 (16 enodes)
9.987 * * [simplify]: iters left: 3 (18 enodes)
9.993 * * [simplify]: Extracting #0: cost 1 inf + 0
9.993 * * [simplify]: Extracting #1: cost 3 inf + 0
9.993 * * [simplify]: Extracting #2: cost 6 inf + 0
9.993 * * [simplify]: Extracting #3: cost 9 inf + 0
9.993 * * [simplify]: Extracting #4: cost 6 inf + 43
9.993 * * [simplify]: Extracting #5: cost 0 inf + 2214
9.993 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
9.994 * [simplify]: Simplified (2 2) to (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))))
9.994 * * * [progress]: adding candidates to table
10.389 * * [progress]: iteration 3 / 4
10.389 * * * [progress]: picking best candidate
10.482 * * * * [pick]: Picked  #<alt (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
10.482 * * * [progress]: localizing error
10.797 * * * [progress]: generating rewritten candidates
10.797 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
10.811 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
10.820 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
10.822 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2)
10.823 * * * [progress]: generating series expansions
10.823 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
10.823 * * * * [progress]: [ 2 / 4 ] generating series at (2)
10.823 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
10.823 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2)
10.823 * * * [progress]: simplifying candidates
10.823 * * * * [progress]: [ 1 / 8 ] simplifiying candidate #<alt (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (neg.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
10.823 * [simplify]: Simplifying (neg.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
10.823 * * [simplify]: iters left: 5 (7 enodes)
10.826 * * [simplify]: iters left: 4 (13 enodes)
10.828 * * [simplify]: iters left: 3 (15 enodes)
10.831 * * [simplify]: Extracting #0: cost 1 inf + 0
10.831 * * [simplify]: Extracting #1: cost 2 inf + 0
10.831 * * [simplify]: Extracting #2: cost 4 inf + 0
10.831 * * [simplify]: Extracting #3: cost 6 inf + 0
10.831 * * [simplify]: Extracting #4: cost 6 inf + 1
10.831 * * [simplify]: Extracting #5: cost 0 inf + 1251
10.831 * [simplify]: Simplified to (neg.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
10.831 * [simplify]: Simplified (2 1 2 2) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (neg.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
10.831 * * * * [progress]: [ 2 / 8 ] simplifiying candidate #<alt (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
10.831 * [simplify]: Simplifying (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))
10.831 * * [simplify]: iters left: 6 (11 enodes)
10.835 * * [simplify]: iters left: 5 (35 enodes)
10.842 * * [simplify]: iters left: 4 (87 enodes)
10.859 * * [simplify]: iters left: 3 (261 enodes)
10.950 * * [simplify]: Extracting #0: cost 1 inf + 0
10.950 * * [simplify]: Extracting #1: cost 34 inf + 0
10.950 * * [simplify]: Extracting #2: cost 176 inf + 0
10.951 * * [simplify]: Extracting #3: cost 253 inf + 5588
10.959 * * [simplify]: Extracting #4: cost 230 inf + 217837
10.984 * * [simplify]: Extracting #5: cost 21 inf + 650533
11.016 * * [simplify]: Extracting #6: cost 0 inf + 705535
11.050 * [simplify]: Simplified to (-.p16 (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) x) (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (+.p16 (real->posit16 1) x)))
11.050 * [simplify]: Simplified (2 1 2 1) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (/.p16 (-.p16 (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) x) (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (+.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
11.050 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
11.050 * * [simplify]: iters left: 5 (9 enodes)
11.052 * * [simplify]: iters left: 4 (16 enodes)
11.055 * * [simplify]: iters left: 3 (18 enodes)
11.058 * * [simplify]: Extracting #0: cost 1 inf + 0
11.058 * * [simplify]: Extracting #1: cost 3 inf + 0
11.058 * * [simplify]: Extracting #2: cost 6 inf + 0
11.058 * * [simplify]: Extracting #3: cost 9 inf + 0
11.058 * * [simplify]: Extracting #4: cost 6 inf + 43
11.058 * * [simplify]: Extracting #5: cost 0 inf + 2214
11.058 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
11.058 * [simplify]: Simplified (2 1 2 2) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
11.058 * * * * [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))))))))>
11.059 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))
11.059 * * [simplify]: iters left: 6 (11 enodes)
11.061 * * [simplify]: iters left: 5 (24 enodes)
11.065 * * [simplify]: iters left: 4 (45 enodes)
11.074 * * [simplify]: iters left: 3 (117 enodes)
11.103 * * [simplify]: iters left: 2 (426 enodes)
11.600 * * [simplify]: Extracting #0: cost 1 inf + 0
11.601 * * [simplify]: Extracting #1: cost 60 inf + 0
11.602 * * [simplify]: Extracting #2: cost 353 inf + 0
11.607 * * [simplify]: Extracting #3: cost 625 inf + 1
11.616 * * [simplify]: Extracting #4: cost 639 inf + 77043
11.686 * * [simplify]: Extracting #5: cost 354 inf + 803696
11.831 * * [simplify]: Extracting #6: cost 31 inf + 1650362
12.011 * * [simplify]: Extracting #7: cost 0 inf + 1707321
12.183 * * [simplify]: Extracting #8: cost 0 inf + 1706515
12.360 * [simplify]: Simplified to (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))) (/.p16 (real->posit16 1) (sqrt.p16 x))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))))
12.361 * [simplify]: Simplified (2 2) to (λ (x) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))) (/.p16 (real->posit16 1) (sqrt.p16 x))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))))))
12.361 * * * * [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))))))))>
12.361 * [simplify]: Simplifying (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))
12.361 * * [simplify]: iters left: 6 (10 enodes)
12.366 * * [simplify]: iters left: 5 (23 enodes)
12.375 * * [simplify]: iters left: 4 (45 enodes)
12.392 * * [simplify]: iters left: 3 (97 enodes)
12.418 * * [simplify]: iters left: 2 (135 enodes)
12.455 * * [simplify]: iters left: 1 (175 enodes)
12.504 * * [simplify]: Extracting #0: cost 1 inf + 0
12.504 * * [simplify]: Extracting #1: cost 15 inf + 0
12.504 * * [simplify]: Extracting #2: cost 59 inf + 0
12.505 * * [simplify]: Extracting #3: cost 57 inf + 44
12.507 * * [simplify]: Extracting #4: cost 31 inf + 20055
12.512 * * [simplify]: Extracting #5: cost 6 inf + 54825
12.519 * * [simplify]: Extracting #6: cost 0 inf + 66237
12.526 * [simplify]: Simplified to (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))))
12.526 * [simplify]: Simplified (2 2) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))) (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))))))
12.526 * * * * [progress]: [ 5 / 8 ] simplifiying candidate #<alt (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
12.526 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
12.526 * * [simplify]: iters left: 5 (9 enodes)
12.530 * * [simplify]: iters left: 4 (16 enodes)
12.535 * * [simplify]: iters left: 3 (18 enodes)
12.540 * * [simplify]: Extracting #0: cost 1 inf + 0
12.540 * * [simplify]: Extracting #1: cost 3 inf + 0
12.540 * * [simplify]: Extracting #2: cost 6 inf + 0
12.540 * * [simplify]: Extracting #3: cost 9 inf + 0
12.540 * * [simplify]: Extracting #4: cost 6 inf + 43
12.541 * * [simplify]: Extracting #5: cost 0 inf + 2214
12.541 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
12.541 * [simplify]: Simplified (2 1 1) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
12.541 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
12.541 * * [simplify]: iters left: 5 (9 enodes)
12.545 * * [simplify]: iters left: 4 (22 enodes)
12.552 * * [simplify]: iters left: 3 (42 enodes)
12.565 * * [simplify]: iters left: 2 (100 enodes)
12.605 * * [simplify]: iters left: 1 (348 enodes)
12.813 * * [simplify]: Extracting #0: cost 1 inf + 0
12.814 * * [simplify]: Extracting #1: cost 48 inf + 0
12.815 * * [simplify]: Extracting #2: cost 268 inf + 0
12.818 * * [simplify]: Extracting #3: cost 472 inf + 2
12.837 * * [simplify]: Extracting #4: cost 433 inf + 227768
12.913 * * [simplify]: Extracting #5: cost 77 inf + 950255
13.020 * * [simplify]: Extracting #6: cost 3 inf + 1162768
13.128 * * [simplify]: Extracting #7: cost 0 inf + 1151214
13.217 * * [simplify]: Extracting #8: cost 0 inf + 1149854
13.293 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
13.293 * [simplify]: Simplified (2 1 2) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
13.293 * * * * [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)))))))>
13.294 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
13.294 * * [simplify]: iters left: 5 (9 enodes)
13.297 * * [simplify]: iters left: 4 (16 enodes)
13.302 * * [simplify]: iters left: 3 (18 enodes)
13.307 * * [simplify]: Extracting #0: cost 1 inf + 0
13.307 * * [simplify]: Extracting #1: cost 3 inf + 0
13.307 * * [simplify]: Extracting #2: cost 6 inf + 0
13.307 * * [simplify]: Extracting #3: cost 9 inf + 0
13.307 * * [simplify]: Extracting #4: cost 6 inf + 43
13.307 * * [simplify]: Extracting #5: cost 0 inf + 2214
13.308 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
13.308 * [simplify]: Simplified (2 1 1) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
13.308 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
13.308 * * [simplify]: iters left: 5 (9 enodes)
13.312 * * [simplify]: iters left: 4 (22 enodes)
13.319 * * [simplify]: iters left: 3 (42 enodes)
13.331 * * [simplify]: iters left: 2 (100 enodes)
13.376 * * [simplify]: iters left: 1 (348 enodes)
13.595 * * [simplify]: Extracting #0: cost 1 inf + 0
13.595 * * [simplify]: Extracting #1: cost 48 inf + 0
13.597 * * [simplify]: Extracting #2: cost 268 inf + 0
13.600 * * [simplify]: Extracting #3: cost 472 inf + 2
13.620 * * [simplify]: Extracting #4: cost 433 inf + 227768
13.719 * * [simplify]: Extracting #5: cost 77 inf + 950255
13.830 * * [simplify]: Extracting #6: cost 3 inf + 1162768
13.934 * * [simplify]: Extracting #7: cost 0 inf + 1151214
14.022 * * [simplify]: Extracting #8: cost 0 inf + 1149854
14.119 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
14.119 * [simplify]: Simplified (2 1 2) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
14.119 * * * * [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)))))))>
14.119 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
14.119 * * [simplify]: iters left: 5 (9 enodes)
14.124 * * [simplify]: iters left: 4 (16 enodes)
14.129 * * [simplify]: iters left: 3 (18 enodes)
14.134 * * [simplify]: Extracting #0: cost 1 inf + 0
14.135 * * [simplify]: Extracting #1: cost 3 inf + 0
14.135 * * [simplify]: Extracting #2: cost 6 inf + 0
14.135 * * [simplify]: Extracting #3: cost 9 inf + 0
14.135 * * [simplify]: Extracting #4: cost 6 inf + 43
14.135 * * [simplify]: Extracting #5: cost 0 inf + 2214
14.135 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
14.135 * [simplify]: Simplified (2 1 1) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
14.136 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
14.136 * * [simplify]: iters left: 5 (9 enodes)
14.140 * * [simplify]: iters left: 4 (22 enodes)
14.147 * * [simplify]: iters left: 3 (42 enodes)
14.161 * * [simplify]: iters left: 2 (100 enodes)
14.199 * * [simplify]: iters left: 1 (348 enodes)
14.383 * * [simplify]: Extracting #0: cost 1 inf + 0
14.383 * * [simplify]: Extracting #1: cost 48 inf + 0
14.384 * * [simplify]: Extracting #2: cost 268 inf + 0
14.385 * * [simplify]: Extracting #3: cost 472 inf + 2
14.395 * * [simplify]: Extracting #4: cost 433 inf + 227768
14.446 * * [simplify]: Extracting #5: cost 77 inf + 950255
14.529 * * [simplify]: Extracting #6: cost 3 inf + 1162768
14.595 * * [simplify]: Extracting #7: cost 0 inf + 1151214
14.659 * * [simplify]: Extracting #8: cost 0 inf + 1149854
14.738 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
14.739 * [simplify]: Simplified (2 1 2) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
14.739 * * * * [progress]: [ 8 / 8 ] simplifiying candidate #<alt (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
14.739 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
14.739 * * [simplify]: iters left: 5 (9 enodes)
14.743 * * [simplify]: iters left: 4 (16 enodes)
14.749 * * [simplify]: iters left: 3 (18 enodes)
14.755 * * [simplify]: Extracting #0: cost 1 inf + 0
14.755 * * [simplify]: Extracting #1: cost 3 inf + 0
14.755 * * [simplify]: Extracting #2: cost 6 inf + 0
14.755 * * [simplify]: Extracting #3: cost 9 inf + 0
14.755 * * [simplify]: Extracting #4: cost 6 inf + 43
14.755 * * [simplify]: Extracting #5: cost 0 inf + 2214
14.755 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
14.756 * [simplify]: Simplified (2 1 1) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
14.756 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
14.756 * * [simplify]: iters left: 5 (9 enodes)
14.760 * * [simplify]: iters left: 4 (22 enodes)
14.768 * * [simplify]: iters left: 3 (42 enodes)
14.783 * * [simplify]: iters left: 2 (100 enodes)
14.825 * * [simplify]: iters left: 1 (348 enodes)
15.045 * * [simplify]: Extracting #0: cost 1 inf + 0
15.045 * * [simplify]: Extracting #1: cost 48 inf + 0
15.046 * * [simplify]: Extracting #2: cost 268 inf + 0
15.047 * * [simplify]: Extracting #3: cost 472 inf + 2
15.057 * * [simplify]: Extracting #4: cost 433 inf + 227768
15.105 * * [simplify]: Extracting #5: cost 77 inf + 950255
15.175 * * [simplify]: Extracting #6: cost 3 inf + 1162768
15.297 * * [simplify]: Extracting #7: cost 0 inf + 1151214
15.365 * * [simplify]: Extracting #8: cost 0 inf + 1149854
15.430 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
15.430 * [simplify]: Simplified (2 1 2) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
15.431 * * * [progress]: adding candidates to table
15.587 * * [progress]: iteration 4 / 4
15.587 * * * [progress]: picking best candidate
15.684 * * * * [pick]: Picked  #<alt (λ (x) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))))>
15.684 * * * [progress]: localizing error
16.062 * * * [progress]: generating rewritten candidates
16.062 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
16.065 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2)
16.067 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2)
16.068 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
16.069 * * * [progress]: generating series expansions
16.069 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
16.069 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2)
16.069 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2)
16.069 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
16.069 * * * [progress]: simplifying candidates
16.069 * * * * [progress]: [ 1 / 6 ] simplifiying candidate #<alt (λ (x) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (neg.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))))>
16.070 * [simplify]: Simplifying (neg.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
16.070 * * [simplify]: iters left: 5 (7 enodes)
16.072 * * [simplify]: iters left: 4 (13 enodes)
16.074 * * [simplify]: iters left: 3 (15 enodes)
16.077 * * [simplify]: Extracting #0: cost 1 inf + 0
16.077 * * [simplify]: Extracting #1: cost 2 inf + 0
16.077 * * [simplify]: Extracting #2: cost 4 inf + 0
16.077 * * [simplify]: Extracting #3: cost 6 inf + 0
16.077 * * [simplify]: Extracting #4: cost 6 inf + 1
16.077 * * [simplify]: Extracting #5: cost 0 inf + 1251
16.077 * [simplify]: Simplified to (neg.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
16.077 * [simplify]: Simplified (2 2 2 2) to (λ (x) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (neg.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))))))
16.077 * * * * [progress]: [ 2 / 6 ] simplifiying candidate #<alt (λ (x) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))))>
16.077 * [simplify]: Simplifying (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))
16.077 * * [simplify]: iters left: 6 (11 enodes)
16.080 * * [simplify]: iters left: 5 (35 enodes)
16.087 * * [simplify]: iters left: 4 (87 enodes)
16.117 * * [simplify]: iters left: 3 (261 enodes)
16.277 * * [simplify]: Extracting #0: cost 1 inf + 0
16.278 * * [simplify]: Extracting #1: cost 34 inf + 0
16.278 * * [simplify]: Extracting #2: cost 176 inf + 0
16.279 * * [simplify]: Extracting #3: cost 253 inf + 5588
16.287 * * [simplify]: Extracting #4: cost 230 inf + 217837
16.320 * * [simplify]: Extracting #5: cost 21 inf + 650533
16.384 * * [simplify]: Extracting #6: cost 0 inf + 705535
16.428 * [simplify]: Simplified to (-.p16 (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) x) (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (+.p16 (real->posit16 1) x)))
16.429 * [simplify]: Simplified (2 2 2 1) to (λ (x) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (/.p16 (-.p16 (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) x) (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (+.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))))
16.429 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
16.429 * * [simplify]: iters left: 5 (9 enodes)
16.432 * * [simplify]: iters left: 4 (16 enodes)
16.438 * * [simplify]: iters left: 3 (18 enodes)
16.444 * * [simplify]: Extracting #0: cost 1 inf + 0
16.444 * * [simplify]: Extracting #1: cost 3 inf + 0
16.444 * * [simplify]: Extracting #2: cost 6 inf + 0
16.444 * * [simplify]: Extracting #3: cost 9 inf + 0
16.444 * * [simplify]: Extracting #4: cost 6 inf + 43
16.444 * * [simplify]: Extracting #5: cost 0 inf + 2214
16.445 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
16.445 * [simplify]: Simplified (2 2 2 2) to (λ (x) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))))))
16.445 * * * * [progress]: [ 3 / 6 ] simplifiying candidate #<alt (λ (x) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))))>
16.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 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))
16.445 * * [simplify]: iters left: 6 (11 enodes)
16.451 * * [simplify]: iters left: 5 (24 enodes)
16.460 * * [simplify]: iters left: 4 (45 enodes)
16.477 * * [simplify]: iters left: 3 (117 enodes)
16.533 * * [simplify]: iters left: 2 (426 enodes)
17.157 * * [simplify]: Extracting #0: cost 1 inf + 0
17.157 * * [simplify]: Extracting #1: cost 60 inf + 0
17.159 * * [simplify]: Extracting #2: cost 353 inf + 0
17.163 * * [simplify]: Extracting #3: cost 625 inf + 1
17.173 * * [simplify]: Extracting #4: cost 639 inf + 77043
17.242 * * [simplify]: Extracting #5: cost 354 inf + 803696
17.385 * * [simplify]: Extracting #6: cost 31 inf + 1650362
17.562 * * [simplify]: Extracting #7: cost 0 inf + 1707321
17.740 * * [simplify]: Extracting #8: cost 0 inf + 1706515
17.918 * [simplify]: Simplified to (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))) (/.p16 (real->posit16 1) (sqrt.p16 x))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))))
17.918 * [simplify]: Simplified (2 2) to (λ (x) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))) (/.p16 (real->posit16 1) (sqrt.p16 x))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))))))
17.918 * * * * [progress]: [ 4 / 6 ] simplifiying candidate #<alt (λ (x) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))))>
17.919 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))
17.919 * * [simplify]: iters left: 6 (11 enodes)
17.924 * * [simplify]: iters left: 5 (24 enodes)
17.933 * * [simplify]: iters left: 4 (45 enodes)
17.951 * * [simplify]: iters left: 3 (117 enodes)
18.006 * * [simplify]: iters left: 2 (426 enodes)
18.480 * * [simplify]: Extracting #0: cost 1 inf + 0
18.480 * * [simplify]: Extracting #1: cost 60 inf + 0
18.481 * * [simplify]: Extracting #2: cost 353 inf + 0
18.488 * * [simplify]: Extracting #3: cost 625 inf + 1
18.493 * * [simplify]: Extracting #4: cost 639 inf + 77043
18.533 * * [simplify]: Extracting #5: cost 354 inf + 803696
18.660 * * [simplify]: Extracting #6: cost 31 inf + 1650362
18.806 * * [simplify]: Extracting #7: cost 0 inf + 1707321
18.930 * * [simplify]: Extracting #8: cost 0 inf + 1706515
19.047 * [simplify]: Simplified to (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))) (/.p16 (real->posit16 1) (sqrt.p16 x))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))))
19.047 * [simplify]: Simplified (2 2) to (λ (x) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))) (/.p16 (real->posit16 1) (sqrt.p16 x))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))))))
19.047 * * * * [progress]: [ 5 / 6 ] simplifiying candidate #<alt (λ (x) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))))>
19.047 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))
19.047 * * [simplify]: iters left: 6 (11 enodes)
19.052 * * [simplify]: iters left: 5 (24 enodes)
19.061 * * [simplify]: iters left: 4 (45 enodes)
19.078 * * [simplify]: iters left: 3 (117 enodes)
19.108 * * [simplify]: iters left: 2 (426 enodes)
19.581 * * [simplify]: Extracting #0: cost 1 inf + 0
19.581 * * [simplify]: Extracting #1: cost 60 inf + 0
19.582 * * [simplify]: Extracting #2: cost 353 inf + 0
19.584 * * [simplify]: Extracting #3: cost 625 inf + 1
19.588 * * [simplify]: Extracting #4: cost 639 inf + 77043
19.619 * * [simplify]: Extracting #5: cost 354 inf + 803696
19.694 * * [simplify]: Extracting #6: cost 31 inf + 1650362
19.845 * * [simplify]: Extracting #7: cost 0 inf + 1707321
20.022 * * [simplify]: Extracting #8: cost 0 inf + 1706515
20.138 * [simplify]: Simplified to (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))) (/.p16 (real->posit16 1) (sqrt.p16 x))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))))
20.138 * [simplify]: Simplified (2 2) to (λ (x) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))) (/.p16 (real->posit16 1) (sqrt.p16 x))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))))))
20.138 * * * * [progress]: [ 6 / 6 ] simplifiying candidate #<alt (λ (x) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))))>
20.138 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))
20.138 * * [simplify]: iters left: 6 (11 enodes)
20.141 * * [simplify]: iters left: 5 (24 enodes)
20.145 * * [simplify]: iters left: 4 (45 enodes)
20.154 * * [simplify]: iters left: 3 (117 enodes)
20.212 * * [simplify]: iters left: 2 (426 enodes)
20.676 * * [simplify]: Extracting #0: cost 1 inf + 0
20.676 * * [simplify]: Extracting #1: cost 60 inf + 0
20.677 * * [simplify]: Extracting #2: cost 353 inf + 0
20.679 * * [simplify]: Extracting #3: cost 625 inf + 1
20.684 * * [simplify]: Extracting #4: cost 639 inf + 77043
20.715 * * [simplify]: Extracting #5: cost 354 inf + 803696
20.791 * * [simplify]: Extracting #6: cost 31 inf + 1650362
20.892 * * [simplify]: Extracting #7: cost 0 inf + 1707321
21.015 * * [simplify]: Extracting #8: cost 0 inf + 1706515
21.191 * [simplify]: Simplified to (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))) (/.p16 (real->posit16 1) (sqrt.p16 x))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))))
21.191 * [simplify]: Simplified (2 2) to (λ (x) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))) (/.p16 (real->posit16 1) (sqrt.p16 x))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))))))
21.192 * * * [progress]: adding candidates to table
21.344 * [progress]: [Phase 3 of 3] Extracting.
21.344 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))))> #<alt (λ (x) (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))) (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (+.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))))> #<alt (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))) (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))))> #<alt (λ (x) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))))> #<alt (λ (x) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))) (+.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))> #<alt (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.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 (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)))))))>)
21.346 * * * [regime-changes]: Trying 1 branch expressions: (x)
21.346 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))))> #<alt (λ (x) (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))) (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (+.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))))> #<alt (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))) (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))))> #<alt (λ (x) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))))> #<alt (λ (x) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))) (+.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))> #<alt (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.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 (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)))))))>)
21.524 * * * [regime]: Found split indices: #<option (#s(si 5 256))>
21.525 * [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))))))
21.525 * * [simplify]: iters left: 6 (12 enodes)
21.526 * * [simplify]: iters left: 5 (14 enodes)
21.528 * * [simplify]: Extracting #0: cost 1 inf + 0
21.528 * * [simplify]: Extracting #1: cost 3 inf + 0
21.528 * * [simplify]: Extracting #2: cost 6 inf + 0
21.528 * * [simplify]: Extracting #3: cost 9 inf + 0
21.528 * * [simplify]: Extracting #4: cost 12 inf + 0
21.528 * * [simplify]: Extracting #5: cost 9 inf + 43
21.528 * * [simplify]: Extracting #6: cost 0 inf + 6620
21.529 * [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))))))
21.529 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
21.549 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
21.553 * * * * [points]: Setting MPFR precision to 64
21.554 * * * * [points]: Setting MPFR precision to 320
21.556 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
21.559 * * * * [points]: Setting MPFR precision to 64
21.562 * * * * [points]: Setting MPFR precision to 320
21.565 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
21.568 * * * * [points]: Setting MPFR precision to 64
21.573 * * * * [points]: Setting MPFR precision to 320
21.579 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
21.582 * * * * [points]: Setting MPFR precision to 64
21.593 * * * * [points]: Setting MPFR precision to 320
21.604 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
21.608 * * * * [points]: Setting MPFR precision to 64
21.653 * * * * [points]: Setting MPFR precision to 320
21.676 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
21.680 * * * * [points]: Setting MPFR precision to 64
21.723 * * * * [points]: Setting MPFR precision to 320
21.769 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
21.774 * * * * [points]: Setting MPFR precision to 64
21.861 * * * * [points]: Setting MPFR precision to 320
21.999 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
22.002 * * * * [points]: Setting MPFR precision to 64
22.220 * * * * [points]: Setting MPFR precision to 320
22.401 * * * * [points]: Computing exacts for 8000 points
22.404 * * * * [points]: Setting MPFR precision to 64
23.384 * * * * [points]: Setting MPFR precision to 320
24.024 * * * * [points]: Filtering points with unrepresentable outputs
24.062 * * * * [points]: Sampled 8000 points with exact outputs
26.694 * [regime-testing]: Baseline error score: 64.0
26.698 * [regime-testing]: Oracle error score: 64.0
26.704 * [regime-testing]: End program error score: 0.5912056998944296