0.002 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.003 * * * * [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.008 * * * * [points]: Setting MPFR precision to 320
0.009 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.012 * * * * [points]: Setting MPFR precision to 64
0.015 * * * * [points]: Setting MPFR precision to 320
0.017 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.021 * * * * [points]: Setting MPFR precision to 64
0.025 * * * * [points]: Setting MPFR precision to 320
0.030 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.033 * * * * [points]: Setting MPFR precision to 64
0.040 * * * * [points]: Setting MPFR precision to 320
0.047 * * * * [points]: Computing exacts for 256 points
0.051 * * * * [points]: Setting MPFR precision to 64
0.072 * * * * [points]: Setting MPFR precision to 320
0.095 * * * * [points]: Filtering points with unrepresentable outputs
0.095 * * * * [points]: Sampled 256 points with exact outputs
0.096 * * * [progress]: [2/2] Setting up program.
0.112 * [progress]: [Phase 2 of 3] Improving.
0.112 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))>
0.113 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
0.113 * * [simplify]: iters left: 5 (9 enodes)
0.117 * * [simplify]: iters left: 4 (22 enodes)
0.125 * * [simplify]: iters left: 3 (42 enodes)
0.140 * * [simplify]: iters left: 2 (100 enodes)
0.198 * * [simplify]: iters left: 1 (348 enodes)
0.483 * * [simplify]: Extracting #0: cost 1 inf + 0
0.483 * * [simplify]: Extracting #1: cost 48 inf + 0
0.484 * * [simplify]: Extracting #2: cost 269 inf + 0
0.487 * * [simplify]: Extracting #3: cost 473 inf + 2
0.506 * * [simplify]: Extracting #4: cost 434 inf + 227768
0.603 * * [simplify]: Extracting #5: cost 77 inf + 952697
0.731 * * [simplify]: Extracting #6: cost 3 inf + 1165210
0.860 * * [simplify]: Extracting #7: cost 0 inf + 1153656
0.987 * * [simplify]: Extracting #8: cost 0 inf + 1152296
1.088 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1.088 * [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.105 * * [progress]: iteration 1 / 4
1.105 * * * [progress]: picking best candidate
1.120 * * * * [pick]: Picked  #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))>
1.120 * * * [progress]: localizing error
1.311 * * * [progress]: generating rewritten candidates
1.311 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
1.316 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
1.317 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
1.318 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
1.318 * * * [progress]: generating series expansions
1.318 * * * * [progress]: [ 1 / 4 ] generating series at (2)
1.318 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
1.318 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
1.318 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
1.318 * * * [progress]: simplifying candidates
1.318 * * * * [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.318 * [simplify]: Simplifying (neg.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1.319 * * [simplify]: iters left: 5 (7 enodes)
1.320 * * [simplify]: iters left: 4 (13 enodes)
1.322 * * [simplify]: iters left: 3 (15 enodes)
1.325 * * [simplify]: Extracting #0: cost 1 inf + 0
1.325 * * [simplify]: Extracting #1: cost 2 inf + 0
1.325 * * [simplify]: Extracting #2: cost 4 inf + 0
1.325 * * [simplify]: Extracting #3: cost 6 inf + 0
1.325 * * [simplify]: Extracting #4: cost 6 inf + 1
1.325 * * [simplify]: Extracting #5: cost 0 inf + 1251
1.325 * [simplify]: Simplified to (neg.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1.325 * [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.325 * * * * [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.325 * [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.325 * * [simplify]: iters left: 6 (11 enodes)
1.328 * * [simplify]: iters left: 5 (35 enodes)
1.334 * * [simplify]: iters left: 4 (87 enodes)
1.366 * * [simplify]: iters left: 3 (261 enodes)
1.551 * * [simplify]: Extracting #0: cost 1 inf + 0
1.552 * * [simplify]: Extracting #1: cost 34 inf + 0
1.552 * * [simplify]: Extracting #2: cost 176 inf + 0
1.554 * * [simplify]: Extracting #3: cost 253 inf + 5588
1.570 * * [simplify]: Extracting #4: cost 230 inf + 217837
1.620 * * [simplify]: Extracting #5: cost 21 inf + 650533
1.678 * * [simplify]: Extracting #6: cost 0 inf + 705535
1.709 * [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.709 * [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.709 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1.709 * * [simplify]: iters left: 5 (9 enodes)
1.712 * * [simplify]: iters left: 4 (16 enodes)
1.714 * * [simplify]: iters left: 3 (18 enodes)
1.717 * * [simplify]: Extracting #0: cost 1 inf + 0
1.717 * * [simplify]: Extracting #1: cost 3 inf + 0
1.717 * * [simplify]: Extracting #2: cost 6 inf + 0
1.717 * * [simplify]: Extracting #3: cost 9 inf + 0
1.717 * * [simplify]: Extracting #4: cost 6 inf + 43
1.717 * * [simplify]: Extracting #5: cost 0 inf + 2214
1.717 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1.717 * [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.717 * * * * [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.718 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1.718 * * [simplify]: iters left: 5 (9 enodes)
1.719 * * [simplify]: iters left: 4 (22 enodes)
1.723 * * [simplify]: iters left: 3 (42 enodes)
1.731 * * [simplify]: iters left: 2 (100 enodes)
1.755 * * [simplify]: iters left: 1 (348 enodes)
1.968 * * [simplify]: Extracting #0: cost 1 inf + 0
1.968 * * [simplify]: Extracting #1: cost 48 inf + 0
1.969 * * [simplify]: Extracting #2: cost 269 inf + 0
1.970 * * [simplify]: Extracting #3: cost 473 inf + 2
1.980 * * [simplify]: Extracting #4: cost 434 inf + 227768
2.031 * * [simplify]: Extracting #5: cost 77 inf + 952697
2.122 * * [simplify]: Extracting #6: cost 3 inf + 1165210
2.187 * * [simplify]: Extracting #7: cost 0 inf + 1153656
2.252 * * [simplify]: Extracting #8: cost 0 inf + 1152296
2.334 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
2.334 * [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.334 * * * * [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.335 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
2.335 * * [simplify]: iters left: 5 (9 enodes)
2.337 * * [simplify]: iters left: 4 (22 enodes)
2.341 * * [simplify]: iters left: 3 (42 enodes)
2.349 * * [simplify]: iters left: 2 (100 enodes)
2.379 * * [simplify]: iters left: 1 (348 enodes)
2.687 * * [simplify]: Extracting #0: cost 1 inf + 0
2.687 * * [simplify]: Extracting #1: cost 48 inf + 0
2.688 * * [simplify]: Extracting #2: cost 269 inf + 0
2.691 * * [simplify]: Extracting #3: cost 473 inf + 2
2.700 * * [simplify]: Extracting #4: cost 434 inf + 227768
2.750 * * [simplify]: Extracting #5: cost 77 inf + 952697
2.818 * * [simplify]: Extracting #6: cost 3 inf + 1165210
2.883 * * [simplify]: Extracting #7: cost 0 inf + 1153656
2.948 * * [simplify]: Extracting #8: cost 0 inf + 1152296
3.014 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
3.014 * [simplify]: Simplified (2) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))))
3.014 * * * * [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.014 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
3.014 * * [simplify]: iters left: 5 (9 enodes)
3.017 * * [simplify]: iters left: 4 (22 enodes)
3.021 * * [simplify]: iters left: 3 (42 enodes)
3.029 * * [simplify]: iters left: 2 (100 enodes)
3.050 * * [simplify]: iters left: 1 (348 enodes)
3.236 * * [simplify]: Extracting #0: cost 1 inf + 0
3.236 * * [simplify]: Extracting #1: cost 48 inf + 0
3.237 * * [simplify]: Extracting #2: cost 269 inf + 0
3.239 * * [simplify]: Extracting #3: cost 473 inf + 2
3.249 * * [simplify]: Extracting #4: cost 434 inf + 227768
3.295 * * [simplify]: Extracting #5: cost 77 inf + 952697
3.417 * * [simplify]: Extracting #6: cost 3 inf + 1165210
3.539 * * [simplify]: Extracting #7: cost 0 inf + 1153656
3.647 * * [simplify]: Extracting #8: cost 0 inf + 1152296
3.770 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
3.770 * [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.770 * * * * [progress]: [ 6 / 6 ] simplifiying candidate #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))>
3.770 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
3.770 * * [simplify]: iters left: 5 (9 enodes)
3.774 * * [simplify]: iters left: 4 (22 enodes)
3.781 * * [simplify]: iters left: 3 (42 enodes)
3.795 * * [simplify]: iters left: 2 (100 enodes)
3.837 * * [simplify]: iters left: 1 (348 enodes)
4.084 * * [simplify]: Extracting #0: cost 1 inf + 0
4.084 * * [simplify]: Extracting #1: cost 48 inf + 0
4.085 * * [simplify]: Extracting #2: cost 269 inf + 0
4.086 * * [simplify]: Extracting #3: cost 473 inf + 2
4.103 * * [simplify]: Extracting #4: cost 434 inf + 227768
4.183 * * [simplify]: Extracting #5: cost 77 inf + 952697
4.275 * * [simplify]: Extracting #6: cost 3 inf + 1165210
4.404 * * [simplify]: Extracting #7: cost 0 inf + 1153656
4.484 * * [simplify]: Extracting #8: cost 0 inf + 1152296
4.550 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
4.550 * [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.550 * * * [progress]: adding candidates to table
4.687 * * [progress]: iteration 2 / 4
4.687 * * * [progress]: picking best candidate
4.704 * * * * [pick]: Picked  #<alt (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
4.704 * * * [progress]: localizing error
4.933 * * * [progress]: generating rewritten candidates
4.933 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
4.935 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
4.937 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
4.939 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2)
4.940 * * * [progress]: generating series expansions
4.940 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
4.940 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
4.940 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
4.940 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2)
4.940 * * * [progress]: simplifying candidates
4.940 * * * * [progress]: [ 1 / 10 ] simplifiying candidate #<alt (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
4.940 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
4.940 * * [simplify]: iters left: 5 (9 enodes)
4.942 * * [simplify]: iters left: 4 (16 enodes)
4.945 * * [simplify]: iters left: 3 (18 enodes)
4.948 * * [simplify]: Extracting #0: cost 1 inf + 0
4.948 * * [simplify]: Extracting #1: cost 3 inf + 0
4.948 * * [simplify]: Extracting #2: cost 6 inf + 0
4.948 * * [simplify]: Extracting #3: cost 9 inf + 0
4.948 * * [simplify]: Extracting #4: cost 6 inf + 43
4.948 * * [simplify]: Extracting #5: cost 0 inf + 2214
4.948 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
4.948 * [simplify]: Simplified (2 1 1) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
4.949 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
4.949 * * [simplify]: iters left: 5 (9 enodes)
4.951 * * [simplify]: iters left: 4 (22 enodes)
4.955 * * [simplify]: iters left: 3 (42 enodes)
4.963 * * [simplify]: iters left: 2 (100 enodes)
4.989 * * [simplify]: iters left: 1 (348 enodes)
5.243 * * [simplify]: Extracting #0: cost 1 inf + 0
5.243 * * [simplify]: Extracting #1: cost 48 inf + 0
5.245 * * [simplify]: Extracting #2: cost 269 inf + 0
5.248 * * [simplify]: Extracting #3: cost 473 inf + 2
5.266 * * [simplify]: Extracting #4: cost 434 inf + 227768
5.339 * * [simplify]: Extracting #5: cost 77 inf + 952697
5.407 * * [simplify]: Extracting #6: cost 3 inf + 1165210
5.473 * * [simplify]: Extracting #7: cost 0 inf + 1153656
5.538 * * [simplify]: Extracting #8: cost 0 inf + 1152296
5.665 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
5.665 * [simplify]: Simplified (2 1 2) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
5.665 * * * * [progress]: [ 2 / 10 ] simplifiying candidate #<alt (λ (x) (/.p16 (+.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (neg.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
5.665 * [simplify]: Simplifying (neg.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))
5.666 * * [simplify]: iters left: 6 (8 enodes)
5.669 * * [simplify]: iters left: 5 (18 enodes)
5.676 * * [simplify]: iters left: 4 (26 enodes)
5.683 * * [simplify]: iters left: 3 (32 enodes)
5.693 * * [simplify]: iters left: 2 (35 enodes)
5.702 * * [simplify]: Extracting #0: cost 1 inf + 0
5.702 * * [simplify]: Extracting #1: cost 2 inf + 0
5.702 * * [simplify]: Extracting #2: cost 11 inf + 0
5.702 * * [simplify]: Extracting #3: cost 13 inf + 0
5.702 * * [simplify]: Extracting #4: cost 11 inf + 2
5.702 * * [simplify]: Extracting #5: cost 7 inf + 848
5.703 * * [simplify]: Extracting #6: cost 0 inf + 4982
5.704 * [simplify]: Simplified to (neg.p16 (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (+.p16 (real->posit16 1) x)))
5.704 * [simplify]: Simplified (2 1 2) to (λ (x) (/.p16 (+.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (neg.p16 (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (+.p16 (real->posit16 1) x)))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
5.704 * * * * [progress]: [ 3 / 10 ] simplifiying candidate #<alt (λ (x) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))) (+.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
5.704 * [simplify]: Simplifying (-.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
5.704 * * [simplify]: iters left: 6 (13 enodes)
5.711 * * [simplify]: iters left: 5 (45 enodes)
5.730 * * [simplify]: iters left: 4 (144 enodes)
5.800 * * [simplify]: iters left: 3 (446 enodes)
6.179 * * [simplify]: Extracting #0: cost 1 inf + 0
6.179 * * [simplify]: Extracting #1: cost 41 inf + 0
6.180 * * [simplify]: Extracting #2: cost 295 inf + 0
6.182 * * [simplify]: Extracting #3: cost 456 inf + 44
6.198 * * [simplify]: Extracting #4: cost 508 inf + 225969
6.275 * * [simplify]: Extracting #5: cost 97 inf + 1187274
6.368 * * [simplify]: Extracting #6: cost 2 inf + 1470184
6.505 * * [simplify]: Extracting #7: cost 0 inf + 1441828
6.627 * * [simplify]: Extracting #8: cost 0 inf + 1431948
6.748 * [simplify]: Simplified to (*.p16 (*.p16 (real->posit16 1) (-.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)))) (*.p16 (real->posit16 1) (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))))
6.748 * [simplify]: Simplified (2 1 1) to (λ (x) (/.p16 (/.p16 (*.p16 (*.p16 (real->posit16 1) (-.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)))) (*.p16 (real->posit16 1) (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x)))) (+.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
6.748 * [simplify]: Simplifying (+.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))
6.748 * * [simplify]: iters left: 6 (11 enodes)
6.754 * * [simplify]: iters left: 5 (26 enodes)
6.763 * * [simplify]: iters left: 4 (39 enodes)
6.776 * * [simplify]: iters left: 3 (51 enodes)
6.793 * * [simplify]: iters left: 2 (61 enodes)
6.808 * * [simplify]: iters left: 1 (66 enodes)
6.827 * * [simplify]: Extracting #0: cost 1 inf + 0
6.827 * * [simplify]: Extracting #1: cost 5 inf + 0
6.827 * * [simplify]: Extracting #2: cost 21 inf + 0
6.828 * * [simplify]: Extracting #3: cost 18 inf + 43
6.828 * * [simplify]: Extracting #4: cost 15 inf + 807
6.828 * * [simplify]: Extracting #5: cost 5 inf + 5667
6.830 * * [simplify]: Extracting #6: cost 0 inf + 9797
6.831 * [simplify]: Simplified to (*.p16 (real->posit16 1) (+.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))))
6.831 * [simplify]: Simplified (2 1 2) to (λ (x) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))) (*.p16 (real->posit16 1) (+.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
6.831 * * * * [progress]: [ 4 / 10 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (/.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (real->posit16 1)) (sqrt.p16 (+.p16 x (real->posit16 1))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
6.831 * [simplify]: Simplifying (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (real->posit16 1))
6.831 * * [simplify]: iters left: 5 (7 enodes)
6.835 * * [simplify]: iters left: 4 (16 enodes)
6.840 * * [simplify]: iters left: 3 (20 enodes)
6.846 * * [simplify]: Extracting #0: cost 1 inf + 0
6.846 * * [simplify]: Extracting #1: cost 6 inf + 0
6.846 * * [simplify]: Extracting #2: cost 8 inf + 0
6.846 * * [simplify]: Extracting #3: cost 8 inf + 1
6.846 * * [simplify]: Extracting #4: cost 5 inf + 324
6.847 * * [simplify]: Extracting #5: cost 0 inf + 2334
6.847 * [simplify]: Simplified to (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))) (real->posit16 1))
6.847 * [simplify]: Simplified (2 1 2 1) to (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (/.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))) (real->posit16 1)) (sqrt.p16 (+.p16 x (real->posit16 1))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
6.847 * * * * [progress]: [ 5 / 10 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
6.848 * [simplify]: Simplifying (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
6.848 * * [simplify]: iters left: 5 (7 enodes)
6.851 * * [simplify]: iters left: 4 (16 enodes)
6.856 * * [simplify]: iters left: 3 (20 enodes)
6.862 * * [simplify]: Extracting #0: cost 1 inf + 0
6.862 * * [simplify]: Extracting #1: cost 6 inf + 0
6.862 * * [simplify]: Extracting #2: cost 8 inf + 0
6.862 * * [simplify]: Extracting #3: cost 8 inf + 1
6.862 * * [simplify]: Extracting #4: cost 5 inf + 324
6.862 * * [simplify]: Extracting #5: cost 0 inf + 2334
6.863 * [simplify]: Simplified to (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))) (real->posit16 1))
6.863 * [simplify]: Simplified (2 1 2 1) to (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (/.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))) (real->posit16 1)) (sqrt.p16 (+.p16 x (real->posit16 1))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
6.863 * * * * [progress]: [ 6 / 10 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
6.863 * * * * [progress]: [ 7 / 10 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
6.863 * [simplify]: Simplifying (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))
6.863 * * [simplify]: iters left: 6 (11 enodes)
6.868 * * [simplify]: iters left: 5 (35 enodes)
6.882 * * [simplify]: iters left: 4 (87 enodes)
6.915 * * [simplify]: iters left: 3 (261 enodes)
7.071 * * [simplify]: Extracting #0: cost 1 inf + 0
7.072 * * [simplify]: Extracting #1: cost 34 inf + 0
7.072 * * [simplify]: Extracting #2: cost 176 inf + 0
7.074 * * [simplify]: Extracting #3: cost 253 inf + 5588
7.088 * * [simplify]: Extracting #4: cost 230 inf + 217837
7.131 * * [simplify]: Extracting #5: cost 21 inf + 650533
7.186 * * [simplify]: Extracting #6: cost 0 inf + 705535
7.243 * [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)))
7.243 * [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)))))))
7.243 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
7.243 * * [simplify]: iters left: 5 (9 enodes)
7.247 * * [simplify]: iters left: 4 (16 enodes)
7.251 * * [simplify]: iters left: 3 (18 enodes)
7.256 * * [simplify]: Extracting #0: cost 1 inf + 0
7.256 * * [simplify]: Extracting #1: cost 3 inf + 0
7.256 * * [simplify]: Extracting #2: cost 6 inf + 0
7.256 * * [simplify]: Extracting #3: cost 9 inf + 0
7.257 * * [simplify]: Extracting #4: cost 6 inf + 43
7.257 * * [simplify]: Extracting #5: cost 0 inf + 2214
7.257 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
7.257 * [simplify]: Simplified (2 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))))))
7.257 * * * * [progress]: [ 8 / 10 ] 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.257 * [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.258 * * [simplify]: iters left: 6 (11 enodes)
7.262 * * [simplify]: iters left: 5 (35 enodes)
7.275 * * [simplify]: iters left: 4 (87 enodes)
7.304 * * [simplify]: iters left: 3 (261 enodes)
7.415 * * [simplify]: Extracting #0: cost 1 inf + 0
7.415 * * [simplify]: Extracting #1: cost 34 inf + 0
7.416 * * [simplify]: Extracting #2: cost 176 inf + 0
7.418 * * [simplify]: Extracting #3: cost 253 inf + 5588
7.430 * * [simplify]: Extracting #4: cost 230 inf + 217837
7.475 * * [simplify]: Extracting #5: cost 21 inf + 650533
7.539 * * [simplify]: Extracting #6: cost 0 inf + 705535
7.604 * [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)))
7.604 * [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)))))))
7.604 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
7.605 * * [simplify]: iters left: 5 (9 enodes)
7.609 * * [simplify]: iters left: 4 (16 enodes)
7.614 * * [simplify]: iters left: 3 (18 enodes)
7.620 * * [simplify]: Extracting #0: cost 1 inf + 0
7.620 * * [simplify]: Extracting #1: cost 3 inf + 0
7.620 * * [simplify]: Extracting #2: cost 6 inf + 0
7.620 * * [simplify]: Extracting #3: cost 9 inf + 0
7.620 * * [simplify]: Extracting #4: cost 6 inf + 43
7.621 * * [simplify]: Extracting #5: cost 0 inf + 2214
7.621 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
7.621 * [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))))))
7.621 * * * * [progress]: [ 9 / 10 ] 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.622 * [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.622 * * [simplify]: iters left: 6 (11 enodes)
7.627 * * [simplify]: iters left: 5 (35 enodes)
7.641 * * [simplify]: iters left: 4 (87 enodes)
7.677 * * [simplify]: iters left: 3 (261 enodes)
7.865 * * [simplify]: Extracting #0: cost 1 inf + 0
7.866 * * [simplify]: Extracting #1: cost 34 inf + 0
7.871 * * [simplify]: Extracting #2: cost 176 inf + 0
7.873 * * [simplify]: Extracting #3: cost 253 inf + 5588
7.889 * * [simplify]: Extracting #4: cost 230 inf + 217837
7.940 * * [simplify]: Extracting #5: cost 21 inf + 650533
8.003 * * [simplify]: Extracting #6: cost 0 inf + 705535
8.064 * [simplify]: Simplified to (-.p16 (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) x) (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (+.p16 (real->posit16 1) x)))
8.065 * [simplify]: Simplified (2 1) to (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) x) (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (+.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
8.065 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
8.065 * * [simplify]: iters left: 5 (9 enodes)
8.071 * * [simplify]: iters left: 4 (16 enodes)
8.077 * * [simplify]: iters left: 3 (18 enodes)
8.083 * * [simplify]: Extracting #0: cost 1 inf + 0
8.083 * * [simplify]: Extracting #1: cost 3 inf + 0
8.083 * * [simplify]: Extracting #2: cost 6 inf + 0
8.083 * * [simplify]: Extracting #3: cost 9 inf + 0
8.083 * * [simplify]: Extracting #4: cost 6 inf + 43
8.083 * * [simplify]: Extracting #5: cost 0 inf + 2214
8.083 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
8.084 * [simplify]: Simplified (2 2) to (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))))
8.084 * * * * [progress]: [ 10 / 10 ] 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.084 * [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.084 * * [simplify]: iters left: 6 (11 enodes)
8.090 * * [simplify]: iters left: 5 (35 enodes)
8.104 * * [simplify]: iters left: 4 (87 enodes)
8.133 * * [simplify]: iters left: 3 (261 enodes)
8.223 * * [simplify]: Extracting #0: cost 1 inf + 0
8.223 * * [simplify]: Extracting #1: cost 34 inf + 0
8.224 * * [simplify]: Extracting #2: cost 176 inf + 0
8.225 * * [simplify]: Extracting #3: cost 253 inf + 5588
8.236 * * [simplify]: Extracting #4: cost 230 inf + 217837
8.261 * * [simplify]: Extracting #5: cost 21 inf + 650533
8.296 * * [simplify]: Extracting #6: cost 0 inf + 705535
8.328 * [simplify]: Simplified to (-.p16 (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) x) (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (+.p16 (real->posit16 1) x)))
8.328 * [simplify]: Simplified (2 1) to (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) x) (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (+.p16 (real->posit16 1) x))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
8.328 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
8.329 * * [simplify]: iters left: 5 (9 enodes)
8.331 * * [simplify]: iters left: 4 (16 enodes)
8.333 * * [simplify]: iters left: 3 (18 enodes)
8.337 * * [simplify]: Extracting #0: cost 1 inf + 0
8.337 * * [simplify]: Extracting #1: cost 3 inf + 0
8.338 * * [simplify]: Extracting #2: cost 6 inf + 0
8.338 * * [simplify]: Extracting #3: cost 9 inf + 0
8.338 * * [simplify]: Extracting #4: cost 6 inf + 43
8.338 * * [simplify]: Extracting #5: cost 0 inf + 2214
8.338 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
8.338 * [simplify]: Simplified (2 2) to (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))))
8.338 * * * [progress]: adding candidates to table
8.553 * * [progress]: iteration 3 / 4
8.553 * * * [progress]: picking best candidate
8.586 * * * * [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) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
8.586 * * * [progress]: localizing error
8.810 * * * [progress]: generating rewritten candidates
8.810 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
8.827 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2)
8.829 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2)
8.830 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
8.838 * * * [progress]: generating series expansions
8.838 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
8.838 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2)
8.838 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2)
8.838 * * * * [progress]: [ 4 / 4 ] generating series at (2)
8.838 * * * [progress]: simplifying candidates
8.838 * * * * [progress]: [ 1 / 7 ] 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) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
8.839 * [simplify]: Simplifying (neg.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1)))))
8.839 * * [simplify]: iters left: 6 (9 enodes)
8.842 * * [simplify]: iters left: 5 (20 enodes)
8.846 * * [simplify]: iters left: 4 (28 enodes)
8.851 * * [simplify]: iters left: 3 (31 enodes)
8.855 * * [simplify]: Extracting #0: cost 1 inf + 0
8.855 * * [simplify]: Extracting #1: cost 2 inf + 0
8.855 * * [simplify]: Extracting #2: cost 10 inf + 0
8.855 * * [simplify]: Extracting #3: cost 12 inf + 0
8.855 * * [simplify]: Extracting #4: cost 10 inf + 2
8.855 * * [simplify]: Extracting #5: cost 5 inf + 930
8.856 * * [simplify]: Extracting #6: cost 0 inf + 4500
8.856 * [simplify]: Simplified to (neg.p16 (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (+.p16 (real->posit16 1) x)))
8.856 * [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)))))))
8.856 * * * * [progress]: [ 2 / 7 ] 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) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
8.856 * [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) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1))))))
8.856 * * [simplify]: iters left: 6 (14 enodes)
8.859 * * [simplify]: iters left: 5 (47 enodes)
8.869 * * [simplify]: iters left: 4 (146 enodes)
8.907 * * [simplify]: Extracting #0: cost 1 inf + 0
8.907 * * [simplify]: Extracting #1: cost 21 inf + 0
8.907 * * [simplify]: Extracting #2: cost 77 inf + 0
8.907 * * [simplify]: Extracting #3: cost 142 inf + 0
8.908 * * [simplify]: Extracting #4: cost 160 inf + 10747
8.913 * * [simplify]: Extracting #5: cost 72 inf + 141999
8.925 * * [simplify]: Extracting #6: cost 2 inf + 294179
8.939 * * [simplify]: Extracting #7: cost 0 inf + 300623
8.953 * [simplify]: Simplified to (-.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x)))) (*.p16 (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (+.p16 (real->posit16 1) x)) (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (+.p16 (real->posit16 1) x))))
8.953 * [simplify]: Simplified (2 1 1) 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) (real->posit16 1)) (+.p16 (real->posit16 1) x)) (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (+.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) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
8.953 * [simplify]: Simplifying (+.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)))))
8.953 * * [simplify]: iters left: 6 (12 enodes)
8.956 * * [simplify]: iters left: 5 (28 enodes)
8.961 * * [simplify]: iters left: 4 (41 enodes)
8.967 * * [simplify]: iters left: 3 (50 enodes)
8.975 * * [simplify]: iters left: 2 (53 enodes)
8.982 * * [simplify]: Extracting #0: cost 1 inf + 0
8.982 * * [simplify]: Extracting #1: cost 3 inf + 0
8.982 * * [simplify]: Extracting #2: cost 18 inf + 0
8.982 * * [simplify]: Extracting #3: cost 17 inf + 42
8.982 * * [simplify]: Extracting #4: cost 16 inf + 43
8.982 * * [simplify]: Extracting #5: cost 14 inf + 486
8.983 * * [simplify]: Extracting #6: cost 4 inf + 5225
8.983 * * [simplify]: Extracting #7: cost 0 inf + 8673
8.984 * [simplify]: Simplified to (+.p16 (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (+.p16 (real->posit16 1) x)) (*.p16 (/.p16 (real->posit16 1) x) (real->posit16 1)))
8.984 * [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) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (+.p16 (real->posit16 1) x)) (*.p16 (/.p16 (real->posit16 1) x) (real->posit16 1)))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
8.984 * * * * [progress]: [ 3 / 7 ] 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) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (+.p16 (*.p16 (/.p16 (real->posit16 1) (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))))))))>
8.984 * [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) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1))))))
8.984 * * [simplify]: iters left: 6 (14 enodes)
8.989 * * [simplify]: iters left: 5 (38 enodes)
8.997 * * [simplify]: iters left: 4 (97 enodes)
9.018 * * [simplify]: iters left: 3 (278 enodes)
9.090 * * [simplify]: Extracting #0: cost 1 inf + 0
9.090 * * [simplify]: Extracting #1: cost 18 inf + 0
9.091 * * [simplify]: Extracting #2: cost 125 inf + 0
9.091 * * [simplify]: Extracting #3: cost 131 inf + 42
9.092 * * [simplify]: Extracting #4: cost 114 inf + 11152
9.097 * * [simplify]: Extracting #5: cost 26 inf + 143327
9.107 * * [simplify]: Extracting #6: cost 0 inf + 202779
9.117 * * [simplify]: Extracting #7: cost 0 inf + 202539
9.127 * [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 (+.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)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))))
9.127 * [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) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (*.p16 (*.p16 (/.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 (+.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)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))))))
9.128 * * * * [progress]: [ 4 / 7 ] 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)))))))>
9.128 * [simplify]: Simplifying (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
9.128 * * [simplify]: iters left: 5 (7 enodes)
9.134 * * [simplify]: iters left: 4 (16 enodes)
9.137 * * [simplify]: iters left: 3 (20 enodes)
9.140 * * [simplify]: Extracting #0: cost 1 inf + 0
9.140 * * [simplify]: Extracting #1: cost 6 inf + 0
9.140 * * [simplify]: Extracting #2: cost 8 inf + 0
9.140 * * [simplify]: Extracting #3: cost 8 inf + 1
9.140 * * [simplify]: Extracting #4: cost 5 inf + 324
9.140 * * [simplify]: Extracting #5: cost 0 inf + 2334
9.141 * [simplify]: Simplified to (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))) (real->posit16 1))
9.141 * [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)))))))
9.141 * * * * [progress]: [ 5 / 7 ] 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)))))))>
9.141 * [simplify]: Simplifying (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
9.141 * * [simplify]: iters left: 5 (7 enodes)
9.143 * * [simplify]: iters left: 4 (16 enodes)
9.145 * * [simplify]: iters left: 3 (20 enodes)
9.148 * * [simplify]: Extracting #0: cost 1 inf + 0
9.148 * * [simplify]: Extracting #1: cost 6 inf + 0
9.148 * * [simplify]: Extracting #2: cost 8 inf + 0
9.148 * * [simplify]: Extracting #3: cost 8 inf + 1
9.148 * * [simplify]: Extracting #4: cost 5 inf + 324
9.148 * * [simplify]: Extracting #5: cost 0 inf + 2334
9.149 * [simplify]: Simplified to (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))) (real->posit16 1))
9.149 * [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)))))))
9.149 * * * * [progress]: [ 6 / 7 ] 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)))))))>
9.149 * [simplify]: Simplifying (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
9.149 * * [simplify]: iters left: 5 (7 enodes)
9.151 * * [simplify]: iters left: 4 (16 enodes)
9.153 * * [simplify]: iters left: 3 (20 enodes)
9.156 * * [simplify]: Extracting #0: cost 1 inf + 0
9.156 * * [simplify]: Extracting #1: cost 6 inf + 0
9.156 * * [simplify]: Extracting #2: cost 8 inf + 0
9.156 * * [simplify]: Extracting #3: cost 8 inf + 1
9.156 * * [simplify]: Extracting #4: cost 5 inf + 324
9.156 * * [simplify]: Extracting #5: cost 0 inf + 2334
9.157 * [simplify]: Simplified to (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))) (real->posit16 1))
9.157 * [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)))))))
9.157 * * * * [progress]: [ 7 / 7 ] 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)))))))>
9.157 * [simplify]: Simplifying (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
9.157 * * [simplify]: iters left: 5 (7 enodes)
9.159 * * [simplify]: iters left: 4 (16 enodes)
9.161 * * [simplify]: iters left: 3 (20 enodes)
9.164 * * [simplify]: Extracting #0: cost 1 inf + 0
9.164 * * [simplify]: Extracting #1: cost 6 inf + 0
9.164 * * [simplify]: Extracting #2: cost 8 inf + 0
9.164 * * [simplify]: Extracting #3: cost 8 inf + 1
9.164 * * [simplify]: Extracting #4: cost 5 inf + 324
9.165 * * [simplify]: Extracting #5: cost 0 inf + 2334
9.165 * [simplify]: Simplified to (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))) (real->posit16 1))
9.165 * [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)))))))
9.165 * * * [progress]: adding candidates to table
9.280 * * [progress]: iteration 4 / 4
9.280 * * * [progress]: picking best candidate
9.323 * * * * [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)))))))>
9.323 * * * [progress]: localizing error
9.518 * * * [progress]: generating rewritten candidates
9.518 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
9.521 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2)
9.523 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2)
9.524 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2)
9.525 * * * [progress]: generating series expansions
9.525 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
9.525 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2)
9.525 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2)
9.525 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2)
9.525 * * * [progress]: simplifying candidates
9.525 * * * * [progress]: [ 1 / 6 ] 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)))))))>
9.525 * [simplify]: Simplifying (neg.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
9.525 * * [simplify]: iters left: 5 (7 enodes)
9.527 * * [simplify]: iters left: 4 (13 enodes)
9.529 * * [simplify]: iters left: 3 (15 enodes)
9.532 * * [simplify]: Extracting #0: cost 1 inf + 0
9.532 * * [simplify]: Extracting #1: cost 2 inf + 0
9.532 * * [simplify]: Extracting #2: cost 4 inf + 0
9.532 * * [simplify]: Extracting #3: cost 6 inf + 0
9.532 * * [simplify]: Extracting #4: cost 6 inf + 1
9.532 * * [simplify]: Extracting #5: cost 0 inf + 1251
9.532 * [simplify]: Simplified to (neg.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
9.532 * [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)))))))
9.533 * * * * [progress]: [ 2 / 6 ] 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)))))))>
9.533 * [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.533 * * [simplify]: iters left: 6 (11 enodes)
9.536 * * [simplify]: iters left: 5 (35 enodes)
9.543 * * [simplify]: iters left: 4 (87 enodes)
9.562 * * [simplify]: iters left: 3 (261 enodes)
9.659 * * [simplify]: Extracting #0: cost 1 inf + 0
9.659 * * [simplify]: Extracting #1: cost 34 inf + 0
9.659 * * [simplify]: Extracting #2: cost 176 inf + 0
9.660 * * [simplify]: Extracting #3: cost 253 inf + 5588
9.668 * * [simplify]: Extracting #4: cost 230 inf + 217837
9.692 * * [simplify]: Extracting #5: cost 21 inf + 650533
9.724 * * [simplify]: Extracting #6: cost 0 inf + 705535
9.760 * [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.760 * [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)))))))
9.760 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
9.761 * * [simplify]: iters left: 5 (9 enodes)
9.763 * * [simplify]: iters left: 4 (16 enodes)
9.765 * * [simplify]: iters left: 3 (18 enodes)
9.768 * * [simplify]: Extracting #0: cost 1 inf + 0
9.768 * * [simplify]: Extracting #1: cost 3 inf + 0
9.768 * * [simplify]: Extracting #2: cost 6 inf + 0
9.768 * * [simplify]: Extracting #3: cost 9 inf + 0
9.768 * * [simplify]: Extracting #4: cost 6 inf + 43
9.768 * * [simplify]: Extracting #5: cost 0 inf + 2214
9.768 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
9.768 * [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)))))))
9.769 * * * * [progress]: [ 3 / 6 ] simplifiying candidate #<alt (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
9.769 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
9.769 * * [simplify]: iters left: 5 (9 enodes)
9.771 * * [simplify]: iters left: 4 (16 enodes)
9.773 * * [simplify]: iters left: 3 (18 enodes)
9.776 * * [simplify]: Extracting #0: cost 1 inf + 0
9.776 * * [simplify]: Extracting #1: cost 3 inf + 0
9.776 * * [simplify]: Extracting #2: cost 6 inf + 0
9.776 * * [simplify]: Extracting #3: cost 9 inf + 0
9.777 * * [simplify]: Extracting #4: cost 6 inf + 43
9.777 * * [simplify]: Extracting #5: cost 0 inf + 2214
9.777 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
9.777 * [simplify]: Simplified (2 1 1) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
9.777 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
9.777 * * [simplify]: iters left: 5 (9 enodes)
9.779 * * [simplify]: iters left: 4 (22 enodes)
9.784 * * [simplify]: iters left: 3 (42 enodes)
9.791 * * [simplify]: iters left: 2 (100 enodes)
9.814 * * [simplify]: iters left: 1 (348 enodes)
9.973 * * [simplify]: Extracting #0: cost 1 inf + 0
9.973 * * [simplify]: Extracting #1: cost 48 inf + 0
9.973 * * [simplify]: Extracting #2: cost 269 inf + 0
9.975 * * [simplify]: Extracting #3: cost 473 inf + 2
9.984 * * [simplify]: Extracting #4: cost 434 inf + 227768
10.039 * * [simplify]: Extracting #5: cost 77 inf + 952697
10.104 * * [simplify]: Extracting #6: cost 3 inf + 1165210
10.170 * * [simplify]: Extracting #7: cost 0 inf + 1153656
10.235 * * [simplify]: Extracting #8: cost 0 inf + 1152296
10.301 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
10.301 * [simplify]: Simplified (2 1 2) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
10.301 * * * * [progress]: [ 4 / 6 ] simplifiying candidate #<alt (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
10.301 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
10.301 * * [simplify]: iters left: 5 (9 enodes)
10.303 * * [simplify]: iters left: 4 (16 enodes)
10.306 * * [simplify]: iters left: 3 (18 enodes)
10.309 * * [simplify]: Extracting #0: cost 1 inf + 0
10.309 * * [simplify]: Extracting #1: cost 3 inf + 0
10.309 * * [simplify]: Extracting #2: cost 6 inf + 0
10.309 * * [simplify]: Extracting #3: cost 9 inf + 0
10.309 * * [simplify]: Extracting #4: cost 6 inf + 43
10.309 * * [simplify]: Extracting #5: cost 0 inf + 2214
10.309 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
10.309 * [simplify]: Simplified (2 1 1) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
10.309 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
10.310 * * [simplify]: iters left: 5 (9 enodes)
10.311 * * [simplify]: iters left: 4 (22 enodes)
10.315 * * [simplify]: iters left: 3 (42 enodes)
10.323 * * [simplify]: iters left: 2 (100 enodes)
10.345 * * [simplify]: iters left: 1 (348 enodes)
10.523 * * [simplify]: Extracting #0: cost 1 inf + 0
10.523 * * [simplify]: Extracting #1: cost 48 inf + 0
10.524 * * [simplify]: Extracting #2: cost 269 inf + 0
10.525 * * [simplify]: Extracting #3: cost 473 inf + 2
10.535 * * [simplify]: Extracting #4: cost 434 inf + 227768
10.630 * * [simplify]: Extracting #5: cost 77 inf + 952697
10.705 * * [simplify]: Extracting #6: cost 3 inf + 1165210
10.773 * * [simplify]: Extracting #7: cost 0 inf + 1153656
10.837 * * [simplify]: Extracting #8: cost 0 inf + 1152296
10.912 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
10.913 * [simplify]: Simplified (2 1 2) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
10.913 * * * * [progress]: [ 5 / 6 ] simplifiying candidate #<alt (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
10.913 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
10.913 * * [simplify]: iters left: 5 (9 enodes)
10.915 * * [simplify]: iters left: 4 (16 enodes)
10.918 * * [simplify]: iters left: 3 (18 enodes)
10.921 * * [simplify]: Extracting #0: cost 1 inf + 0
10.921 * * [simplify]: Extracting #1: cost 3 inf + 0
10.921 * * [simplify]: Extracting #2: cost 6 inf + 0
10.921 * * [simplify]: Extracting #3: cost 9 inf + 0
10.921 * * [simplify]: Extracting #4: cost 6 inf + 43
10.921 * * [simplify]: Extracting #5: cost 0 inf + 2214
10.921 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
10.921 * [simplify]: Simplified (2 1 1) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
10.921 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
10.921 * * [simplify]: iters left: 5 (9 enodes)
10.923 * * [simplify]: iters left: 4 (22 enodes)
10.927 * * [simplify]: iters left: 3 (42 enodes)
10.934 * * [simplify]: iters left: 2 (100 enodes)
10.956 * * [simplify]: iters left: 1 (348 enodes)
11.116 * * [simplify]: Extracting #0: cost 1 inf + 0
11.116 * * [simplify]: Extracting #1: cost 48 inf + 0
11.117 * * [simplify]: Extracting #2: cost 269 inf + 0
11.118 * * [simplify]: Extracting #3: cost 473 inf + 2
11.128 * * [simplify]: Extracting #4: cost 434 inf + 227768
11.179 * * [simplify]: Extracting #5: cost 77 inf + 952697
11.244 * * [simplify]: Extracting #6: cost 3 inf + 1165210
11.311 * * [simplify]: Extracting #7: cost 0 inf + 1153656
11.378 * * [simplify]: Extracting #8: cost 0 inf + 1152296
11.470 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
11.471 * [simplify]: Simplified (2 1 2) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
11.471 * * * * [progress]: [ 6 / 6 ] simplifiying candidate #<alt (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
11.471 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
11.471 * * [simplify]: iters left: 5 (9 enodes)
11.473 * * [simplify]: iters left: 4 (16 enodes)
11.476 * * [simplify]: iters left: 3 (18 enodes)
11.480 * * [simplify]: Extracting #0: cost 1 inf + 0
11.480 * * [simplify]: Extracting #1: cost 3 inf + 0
11.480 * * [simplify]: Extracting #2: cost 6 inf + 0
11.480 * * [simplify]: Extracting #3: cost 9 inf + 0
11.480 * * [simplify]: Extracting #4: cost 6 inf + 43
11.480 * * [simplify]: Extracting #5: cost 0 inf + 2214
11.480 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
11.480 * [simplify]: Simplified (2 1 1) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
11.481 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
11.481 * * [simplify]: iters left: 5 (9 enodes)
11.483 * * [simplify]: iters left: 4 (22 enodes)
11.487 * * [simplify]: iters left: 3 (42 enodes)
11.494 * * [simplify]: iters left: 2 (100 enodes)
11.518 * * [simplify]: iters left: 1 (348 enodes)
11.719 * * [simplify]: Extracting #0: cost 1 inf + 0
11.719 * * [simplify]: Extracting #1: cost 48 inf + 0
11.720 * * [simplify]: Extracting #2: cost 269 inf + 0
11.722 * * [simplify]: Extracting #3: cost 473 inf + 2
11.732 * * [simplify]: Extracting #4: cost 434 inf + 227768
11.780 * * [simplify]: Extracting #5: cost 77 inf + 952697
11.863 * * [simplify]: Extracting #6: cost 3 inf + 1165210
11.929 * * [simplify]: Extracting #7: cost 0 inf + 1153656
11.994 * * [simplify]: Extracting #8: cost 0 inf + 1152296
12.059 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
12.059 * [simplify]: Simplified (2 1 2) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
12.059 * * * [progress]: adding candidates to table
12.220 * [progress]: [Phase 3 of 3] Extracting.
12.220 * * [regime]: Finding splitpoints for: (#<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) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))> #<alt (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))> #<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 (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) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (+.p16 (*.p16 (/.p16 (real->posit16 1) (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))))))))> #<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.231 * * * [regime-changes]: Trying 1 branch expressions: (x)
12.231 * * * * [regimes]: Trying to branch on x from (#<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) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))> #<alt (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))> #<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 (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) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (+.p16 (*.p16 (/.p16 (real->posit16 1) (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))))))))> #<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.407 * * * [regime]: Found split indices: #<option (#s(si 3 256))>
12.407 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
12.408 * * [simplify]: iters left: 5 (9 enodes)
12.415 * * [simplify]: iters left: 4 (11 enodes)
12.416 * * [simplify]: Extracting #0: cost 1 inf + 0
12.416 * * [simplify]: Extracting #1: cost 3 inf + 0
12.416 * * [simplify]: Extracting #2: cost 6 inf + 0
12.416 * * [simplify]: Extracting #3: cost 9 inf + 0
12.416 * * [simplify]: Extracting #4: cost 6 inf + 43
12.416 * * [simplify]: Extracting #5: cost 0 inf + 2254
12.416 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
12.416 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
12.437 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
12.440 * * * * [points]: Setting MPFR precision to 64
12.442 * * * * [points]: Setting MPFR precision to 320
12.443 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
12.447 * * * * [points]: Setting MPFR precision to 64
12.449 * * * * [points]: Setting MPFR precision to 320
12.452 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
12.455 * * * * [points]: Setting MPFR precision to 64
12.461 * * * * [points]: Setting MPFR precision to 320
12.467 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
12.471 * * * * [points]: Setting MPFR precision to 64
12.482 * * * * [points]: Setting MPFR precision to 320
12.493 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
12.497 * * * * [points]: Setting MPFR precision to 64
12.517 * * * * [points]: Setting MPFR precision to 320
12.531 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
12.533 * * * * [points]: Setting MPFR precision to 64
12.558 * * * * [points]: Setting MPFR precision to 320
12.596 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
12.598 * * * * [points]: Setting MPFR precision to 64
12.667 * * * * [points]: Setting MPFR precision to 320
12.718 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
12.720 * * * * [points]: Setting MPFR precision to 64
12.940 * * * * [points]: Setting MPFR precision to 320
13.108 * * * * [points]: Computing exacts for 8000 points
13.110 * * * * [points]: Setting MPFR precision to 64
13.873 * * * * [points]: Setting MPFR precision to 320
14.742 * * * * [points]: Filtering points with unrepresentable outputs
14.764 * * * * [points]: Sampled 8000 points with exact outputs
18.026 * [regime-testing]: Baseline error score: 64.0
18.030 * [regime-testing]: Oracle error score: 64.0
18.036 * [regime-testing]: End program error score: 0.5627019602832526