1553935296.719 * [progress]: [Phase 1 of 3] Setting up.
1553935296.720 * * * [progress]: [1/2] Preparing points
1553935296.720 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
1553935296.720 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
1553935296.723 * * * * [points]: Setting MPFR precision to 64
1553935296.725 * * * * [points]: Setting MPFR precision to 320
1553935296.727 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
1553935296.731 * * * * [points]: Setting MPFR precision to 64
1553935296.734 * * * * [points]: Setting MPFR precision to 320
1553935296.737 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
1553935296.741 * * * * [points]: Setting MPFR precision to 64
1553935296.750 * * * * [points]: Setting MPFR precision to 320
1553935296.757 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
1553935296.760 * * * * [points]: Setting MPFR precision to 64
1553935296.768 * * * * [points]: Setting MPFR precision to 320
1553935296.779 * * * * [points]: Computing exacts for 256 points
1553935296.783 * * * * [points]: Setting MPFR precision to 64
1553935296.807 * * * * [points]: Setting MPFR precision to 320
1553935296.839 * * * * [points]: Filtering points with unrepresentable outputs
1553935296.852 * * * * [points]: Sampling 136 additional inputs, on iter 1 have 120 / 256
1553935296.852 * * * * [points]: Computing exacts on every 8 of 136 points to ramp up precision
1553935296.856 * * * * [points]: Setting MPFR precision to 64
1553935296.857 * * * * [points]: Setting MPFR precision to 320
1553935296.859 * * * * [points]: Computing exacts on every 4 of 136 points to ramp up precision
1553935296.862 * * * * [points]: Setting MPFR precision to 64
1553935296.865 * * * * [points]: Setting MPFR precision to 320
1553935296.868 * * * * [points]: Computing exacts on every 2 of 136 points to ramp up precision
1553935296.871 * * * * [points]: Setting MPFR precision to 64
1553935296.875 * * * * [points]: Setting MPFR precision to 320
1553935296.881 * * * * [points]: Computing exacts for 136 points
1553935296.884 * * * * [points]: Setting MPFR precision to 64
1553935296.897 * * * * [points]: Setting MPFR precision to 320
1553935296.914 * * * * [points]: Filtering points with unrepresentable outputs
1553935296.921 * * * * [points]: Sampling 69 additional inputs, on iter 2 have 187 / 256
1553935296.921 * * * * [points]: Computing exacts on every 4 of 69 points to ramp up precision
1553935296.925 * * * * [points]: Setting MPFR precision to 64
1553935296.926 * * * * [points]: Setting MPFR precision to 320
1553935296.928 * * * * [points]: Computing exacts on every 2 of 69 points to ramp up precision
1553935296.932 * * * * [points]: Setting MPFR precision to 64
1553935296.934 * * * * [points]: Setting MPFR precision to 320
1553935296.937 * * * * [points]: Computing exacts for 69 points
1553935296.941 * * * * [points]: Setting MPFR precision to 64
1553935296.947 * * * * [points]: Setting MPFR precision to 320
1553935296.955 * * * * [points]: Filtering points with unrepresentable outputs
1553935296.959 * * * * [points]: Sampling 37 additional inputs, on iter 3 have 219 / 256
1553935296.959 * * * * [points]: Computing exacts on every 2 of 37 points to ramp up precision
1553935296.963 * * * * [points]: Setting MPFR precision to 64
1553935296.964 * * * * [points]: Setting MPFR precision to 320
1553935296.965 * * * * [points]: Computing exacts for 37 points
1553935297.000 * * * * [points]: Setting MPFR precision to 64
1553935297.004 * * * * [points]: Setting MPFR precision to 320
1553935297.011 * * * * [points]: Filtering points with unrepresentable outputs
1553935297.013 * * * * [points]: Sampling 20 additional inputs, on iter 4 have 236 / 256
1553935297.013 * * * * [points]: Computing exacts for 20 points
1553935297.017 * * * * [points]: Setting MPFR precision to 64
1553935297.019 * * * * [points]: Setting MPFR precision to 320
1553935297.021 * * * * [points]: Filtering points with unrepresentable outputs
1553935297.023 * * * * [points]: Sampling 6 additional inputs, on iter 5 have 250 / 256
1553935297.023 * * * * [points]: Computing exacts for 6 points
1553935297.026 * * * * [points]: Setting MPFR precision to 64
1553935297.027 * * * * [points]: Setting MPFR precision to 320
1553935297.028 * * * * [points]: Filtering points with unrepresentable outputs
1553935297.028 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 252 / 256
1553935297.028 * * * * [points]: Computing exacts for 4 points
1553935297.032 * * * * [points]: Setting MPFR precision to 64
1553935297.032 * * * * [points]: Setting MPFR precision to 320
1553935297.033 * * * * [points]: Filtering points with unrepresentable outputs
1553935297.033 * * * * [points]: Sampled 256 points with exact outputs
1553935297.033 * * * [progress]: [2/2] Setting up program.
1553935297.068 * [progress]: [Phase 2 of 3] Improving.
1553935297.069 * * * * [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))))))>
1553935297.069 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1553935297.069 * * [simplify]: iters left: 5 (9 enodes)
1553935297.074 * * [simplify]: iters left: 4 (22 enodes)
1553935297.082 * * [simplify]: iters left: 3 (42 enodes)
1553935297.098 * * [simplify]: iters left: 2 (100 enodes)
1553935297.142 * * [simplify]: iters left: 1 (347 enodes)
1553935297.438 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935297.438 * * [simplify]: Extracting #1: cost 48 inf + 0
1553935297.439 * * [simplify]: Extracting #2: cost 269 inf + 0
1553935297.442 * * [simplify]: Extracting #3: cost 457 inf + 1
1553935297.459 * * [simplify]: Extracting #4: cost 422 inf + 210469
1553935297.546 * * [simplify]: Extracting #5: cost 77 inf + 915056
1553935297.671 * * [simplify]: Extracting #6: cost 3 inf + 1114648
1553935297.787 * * [simplify]: Extracting #7: cost 1 inf + 1091652
1553935297.887 * * [simplify]: Extracting #8: cost 0 inf + 1093814
1553935298.002 * * [simplify]: Extracting #9: cost 0 inf + 1093774
1553935298.092 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1553935298.092 * [simplify]: Simplified (2) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))))
1553935298.119 * * [progress]: iteration 1 / 4
1553935298.119 * * * [progress]: picking best candidate
1553935298.137 * * * * [pick]: Picked  #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))>
1553935298.137 * * * [progress]: localizing error
1553935298.419 * * * [progress]: generating rewritten candidates
1553935298.419 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
1553935298.425 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
1553935298.427 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
1553935298.429 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
1553935298.429 * * * [progress]: generating series expansions
1553935298.429 * * * * [progress]: [ 1 / 4 ] generating series at (2)
1553935298.430 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
1553935298.430 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
1553935298.430 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
1553935298.430 * * * [progress]: simplifying candidates
1553935298.430 * * * * [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)))))))>
1553935298.430 * * * * [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)))))))>
1553935298.430 * * * * [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))))))>
1553935298.430 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1553935298.430 * * [simplify]: iters left: 5 (9 enodes)
1553935298.435 * * [simplify]: iters left: 4 (22 enodes)
1553935298.443 * * [simplify]: iters left: 3 (42 enodes)
1553935298.458 * * [simplify]: iters left: 2 (100 enodes)
1553935298.502 * * [simplify]: iters left: 1 (347 enodes)
1553935298.755 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935298.756 * * [simplify]: Extracting #1: cost 48 inf + 0
1553935298.757 * * [simplify]: Extracting #2: cost 269 inf + 0
1553935298.760 * * [simplify]: Extracting #3: cost 457 inf + 1
1553935298.778 * * [simplify]: Extracting #4: cost 422 inf + 210469
1553935298.857 * * [simplify]: Extracting #5: cost 77 inf + 915056
1553935298.967 * * [simplify]: Extracting #6: cost 3 inf + 1114648
1553935299.088 * * [simplify]: Extracting #7: cost 1 inf + 1091652
1553935299.210 * * [simplify]: Extracting #8: cost 0 inf + 1093814
1553935299.331 * * [simplify]: Extracting #9: cost 0 inf + 1093774
1553935299.452 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1553935299.452 * [simplify]: Simplified (2) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))))
1553935299.452 * * * * [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))))))>
1553935299.453 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1553935299.453 * * [simplify]: iters left: 5 (9 enodes)
1553935299.457 * * [simplify]: iters left: 4 (22 enodes)
1553935299.466 * * [simplify]: iters left: 3 (42 enodes)
1553935299.482 * * [simplify]: iters left: 2 (100 enodes)
1553935299.527 * * [simplify]: iters left: 1 (347 enodes)
1553935299.829 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935299.829 * * [simplify]: Extracting #1: cost 48 inf + 0
1553935299.831 * * [simplify]: Extracting #2: cost 269 inf + 0
1553935299.834 * * [simplify]: Extracting #3: cost 457 inf + 1
1553935299.851 * * [simplify]: Extracting #4: cost 422 inf + 210469
1553935299.946 * * [simplify]: Extracting #5: cost 77 inf + 915056
1553935300.072 * * [simplify]: Extracting #6: cost 3 inf + 1114648
1553935300.194 * * [simplify]: Extracting #7: cost 1 inf + 1091652
1553935300.317 * * [simplify]: Extracting #8: cost 0 inf + 1093814
1553935300.438 * * [simplify]: Extracting #9: cost 0 inf + 1093774
1553935300.558 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1553935300.558 * [simplify]: Simplified (2) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))))
1553935300.558 * * * * [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))))))>
1553935300.559 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1553935300.559 * * [simplify]: iters left: 5 (9 enodes)
1553935300.563 * * [simplify]: iters left: 4 (22 enodes)
1553935300.572 * * [simplify]: iters left: 3 (42 enodes)
1553935300.588 * * [simplify]: iters left: 2 (100 enodes)
1553935300.633 * * [simplify]: iters left: 1 (347 enodes)
1553935300.938 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935300.938 * * [simplify]: Extracting #1: cost 48 inf + 0
1553935300.940 * * [simplify]: Extracting #2: cost 269 inf + 0
1553935300.943 * * [simplify]: Extracting #3: cost 457 inf + 1
1553935300.960 * * [simplify]: Extracting #4: cost 422 inf + 210469
1553935301.056 * * [simplify]: Extracting #5: cost 77 inf + 915056
1553935301.180 * * [simplify]: Extracting #6: cost 3 inf + 1114648
1553935301.303 * * [simplify]: Extracting #7: cost 1 inf + 1091652
1553935301.396 * * [simplify]: Extracting #8: cost 0 inf + 1093814
1553935301.512 * * [simplify]: Extracting #9: cost 0 inf + 1093774
1553935301.612 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1553935301.612 * [simplify]: Simplified (2) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))))
1553935301.612 * * * * [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))))))>
1553935301.612 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1553935301.612 * * [simplify]: iters left: 5 (9 enodes)
1553935301.616 * * [simplify]: iters left: 4 (22 enodes)
1553935301.625 * * [simplify]: iters left: 3 (42 enodes)
1553935301.642 * * [simplify]: iters left: 2 (100 enodes)
1553935301.687 * * [simplify]: iters left: 1 (347 enodes)
1553935301.951 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935301.951 * * [simplify]: Extracting #1: cost 48 inf + 0
1553935301.952 * * [simplify]: Extracting #2: cost 269 inf + 0
1553935301.955 * * [simplify]: Extracting #3: cost 457 inf + 1
1553935301.968 * * [simplify]: Extracting #4: cost 422 inf + 210469
1553935302.034 * * [simplify]: Extracting #5: cost 77 inf + 915056
1553935302.135 * * [simplify]: Extracting #6: cost 3 inf + 1114648
1553935302.258 * * [simplify]: Extracting #7: cost 1 inf + 1091652
1553935302.376 * * [simplify]: Extracting #8: cost 0 inf + 1093814
1553935302.459 * * [simplify]: Extracting #9: cost 0 inf + 1093774
1553935302.561 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1553935302.561 * [simplify]: Simplified (2) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))))
1553935302.562 * * * [progress]: adding candidates to table
1553935302.860 * * [progress]: iteration 2 / 4
1553935302.860 * * * [progress]: picking best candidate
1553935302.888 * * * * [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)))))))>
1553935302.888 * * * [progress]: localizing error
1553935303.415 * * * [progress]: generating rewritten candidates
1553935303.415 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
1553935303.420 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
1553935303.435 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
1553935303.438 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
1553935303.439 * * * [progress]: generating series expansions
1553935303.439 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
1553935303.439 * * * * [progress]: [ 2 / 4 ] generating series at (2)
1553935303.439 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
1553935303.439 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
1553935303.439 * * * [progress]: simplifying candidates
1553935303.439 * * * * [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)))))))>
1553935303.439 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1553935303.439 * * [simplify]: iters left: 5 (9 enodes)
1553935303.448 * * [simplify]: iters left: 4 (16 enodes)
1553935303.450 * * [simplify]: iters left: 3 (18 enodes)
1553935303.453 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935303.453 * * [simplify]: Extracting #1: cost 3 inf + 0
1553935303.453 * * [simplify]: Extracting #2: cost 6 inf + 0
1553935303.453 * * [simplify]: Extracting #3: cost 9 inf + 0
1553935303.453 * * [simplify]: Extracting #4: cost 6 inf + 43
1553935303.453 * * [simplify]: Extracting #5: cost 0 inf + 2214
1553935303.454 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1553935303.454 * [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)))))))
1553935303.454 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1553935303.454 * * [simplify]: iters left: 5 (9 enodes)
1553935303.456 * * [simplify]: iters left: 4 (22 enodes)
1553935303.460 * * [simplify]: iters left: 3 (42 enodes)
1553935303.467 * * [simplify]: iters left: 2 (100 enodes)
1553935303.489 * * [simplify]: iters left: 1 (347 enodes)
1553935303.762 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935303.762 * * [simplify]: Extracting #1: cost 48 inf + 0
1553935303.762 * * [simplify]: Extracting #2: cost 269 inf + 0
1553935303.764 * * [simplify]: Extracting #3: cost 457 inf + 1
1553935303.772 * * [simplify]: Extracting #4: cost 422 inf + 210469
1553935303.828 * * [simplify]: Extracting #5: cost 77 inf + 915056
1553935303.945 * * [simplify]: Extracting #6: cost 3 inf + 1114648
1553935304.006 * * [simplify]: Extracting #7: cost 1 inf + 1091652
1553935304.097 * * [simplify]: Extracting #8: cost 0 inf + 1093814
1553935304.169 * * [simplify]: Extracting #9: cost 0 inf + 1093774
1553935304.264 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1553935304.264 * [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)))))))
1553935304.264 * * * * [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)))))))>
1553935304.264 * * * * [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)))))))>
1553935304.264 * * * * [progress]: [ 4 / 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))))))))>
1553935304.265 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1553935304.265 * * [simplify]: iters left: 5 (9 enodes)
1553935304.269 * * [simplify]: iters left: 4 (16 enodes)
1553935304.272 * * [simplify]: iters left: 3 (18 enodes)
1553935304.275 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935304.275 * * [simplify]: Extracting #1: cost 3 inf + 0
1553935304.275 * * [simplify]: Extracting #2: cost 6 inf + 0
1553935304.275 * * [simplify]: Extracting #3: cost 9 inf + 0
1553935304.275 * * [simplify]: Extracting #4: cost 6 inf + 43
1553935304.275 * * [simplify]: Extracting #5: cost 0 inf + 2214
1553935304.275 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1553935304.275 * [simplify]: Simplified (2 1) to (λ (x) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))))
1553935304.275 * * * * [progress]: [ 5 / 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)))))))))>
1553935304.275 * [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)))))))
1553935304.275 * * [simplify]: iters left: 6 (13 enodes)
1553935304.278 * * [simplify]: iters left: 5 (45 enodes)
1553935304.288 * * [simplify]: iters left: 4 (144 enodes)
1553935304.327 * * [simplify]: iters left: 3 (446 enodes)
1553935304.639 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935304.640 * * [simplify]: Extracting #1: cost 41 inf + 0
1553935304.640 * * [simplify]: Extracting #2: cost 283 inf + 0
1553935304.642 * * [simplify]: Extracting #3: cost 446 inf + 44
1553935304.652 * * [simplify]: Extracting #4: cost 488 inf + 246749
1553935304.726 * * [simplify]: Extracting #5: cost 101 inf + 1165723
1553935304.825 * * [simplify]: Extracting #6: cost 2 inf + 1463482
1553935304.912 * * [simplify]: Extracting #7: cost 0 inf + 1419126
1553935304.998 * * [simplify]: Extracting #8: cost 0 inf + 1414206
1553935305.085 * [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))))
1553935305.085 * [simplify]: Simplified (2 1) to (λ (x) (/.p16 (*.p16 (*.p16 (real->posit16 1) (-.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)))) (*.p16 (real->posit16 1) (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x)))) (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (+.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))))
1553935305.086 * * * * [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 (/.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)))))))>
1553935305.086 * [simplify]: Simplifying (sqrt.p16 (+.p16 x (real->posit16 1)))
1553935305.086 * * [simplify]: iters left: 3 (5 enodes)
1553935305.087 * * [simplify]: iters left: 2 (11 enodes)
1553935305.089 * * [simplify]: iters left: 1 (13 enodes)
1553935305.091 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935305.091 * * [simplify]: Extracting #1: cost 2 inf + 0
1553935305.091 * * [simplify]: Extracting #2: cost 4 inf + 0
1553935305.091 * * [simplify]: Extracting #3: cost 4 inf + 1
1553935305.091 * * [simplify]: Extracting #4: cost 0 inf + 127
1553935305.091 * [simplify]: Simplified to (sqrt.p16 (+.p16 (real->posit16 1) x))
1553935305.091 * [simplify]: Simplified (2 1 2 2) to (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (/.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (real->posit16 1)) (sqrt.p16 (+.p16 (real->posit16 1) x)))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
1553935305.091 * * * * [progress]: [ 7 / 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)))))))>
1553935305.091 * [simplify]: Simplifying (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1553935305.091 * * [simplify]: iters left: 5 (7 enodes)
1553935305.094 * * [simplify]: iters left: 4 (16 enodes)
1553935305.096 * * [simplify]: iters left: 3 (20 enodes)
1553935305.099 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935305.099 * * [simplify]: Extracting #1: cost 6 inf + 0
1553935305.099 * * [simplify]: Extracting #2: cost 8 inf + 0
1553935305.099 * * [simplify]: Extracting #3: cost 8 inf + 1
1553935305.100 * * [simplify]: Extracting #4: cost 5 inf + 324
1553935305.100 * * [simplify]: Extracting #5: cost 0 inf + 2334
1553935305.100 * [simplify]: Simplified to (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))) (real->posit16 1))
1553935305.100 * [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)))))))
1553935305.100 * * * * [progress]: [ 8 / 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)))))))>
1553935305.100 * * * * [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)))))))>
1553935305.100 * * * * [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)))))))>
1553935305.100 * * * * [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)))))))>
1553935305.100 * * * * [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)))))))>
1553935305.100 * * * [progress]: adding candidates to table
1553935305.527 * * [progress]: iteration 3 / 4
1553935305.527 * * * [progress]: picking best candidate
1553935305.633 * * * * [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)))))))>
1553935305.633 * * * [progress]: localizing error
1553935305.937 * * * [progress]: generating rewritten candidates
1553935305.937 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
1553935305.940 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
1553935305.948 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
1553935305.949 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2)
1553935305.950 * * * [progress]: generating series expansions
1553935305.950 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
1553935305.950 * * * * [progress]: [ 2 / 4 ] generating series at (2)
1553935305.950 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
1553935305.951 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2)
1553935305.951 * * * [progress]: simplifying candidates
1553935305.951 * * * * [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)))))))>
1553935305.951 * * * * [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)))))))>
1553935305.951 * * * * [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))))))))>
1553935305.951 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1553935305.951 * * [simplify]: iters left: 5 (9 enodes)
1553935305.954 * * [simplify]: iters left: 4 (16 enodes)
1553935305.956 * * [simplify]: iters left: 3 (18 enodes)
1553935305.959 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935305.959 * * [simplify]: Extracting #1: cost 3 inf + 0
1553935305.959 * * [simplify]: Extracting #2: cost 6 inf + 0
1553935305.959 * * [simplify]: Extracting #3: cost 9 inf + 0
1553935305.959 * * [simplify]: Extracting #4: cost 6 inf + 43
1553935305.959 * * [simplify]: Extracting #5: cost 0 inf + 2214
1553935305.959 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1553935305.959 * [simplify]: Simplified (2 1) to (λ (x) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))))
1553935305.960 * * * * [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))))))))>
1553935305.960 * [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)))))))
1553935305.960 * * [simplify]: iters left: 6 (13 enodes)
1553935305.963 * * [simplify]: iters left: 5 (38 enodes)
1553935305.970 * * [simplify]: iters left: 4 (106 enodes)
1553935305.993 * * [simplify]: iters left: 3 (376 enodes)
1553935306.167 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935306.167 * * [simplify]: Extracting #1: cost 52 inf + 0
1553935306.168 * * [simplify]: Extracting #2: cost 302 inf + 0
1553935306.170 * * [simplify]: Extracting #3: cost 417 inf + 43
1553935306.180 * * [simplify]: Extracting #4: cost 351 inf + 302562
1553935306.229 * * [simplify]: Extracting #5: cost 35 inf + 1004993
1553935306.283 * * [simplify]: Extracting #6: cost 0 inf + 1083663
1553935306.338 * * [simplify]: Extracting #7: cost 0 inf + 1082583
1553935306.391 * [simplify]: Simplified to (*.p16 (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))) (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))))
1553935306.391 * [simplify]: Simplified (2 1) to (λ (x) (/.p16 (*.p16 (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))) (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))))) (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))))
1553935306.391 * * * * [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)))))))>
1553935306.391 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1553935306.392 * * [simplify]: iters left: 5 (9 enodes)
1553935306.394 * * [simplify]: iters left: 4 (16 enodes)
1553935306.396 * * [simplify]: iters left: 3 (18 enodes)
1553935306.399 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935306.399 * * [simplify]: Extracting #1: cost 3 inf + 0
1553935306.399 * * [simplify]: Extracting #2: cost 6 inf + 0
1553935306.399 * * [simplify]: Extracting #3: cost 9 inf + 0
1553935306.399 * * [simplify]: Extracting #4: cost 6 inf + 43
1553935306.399 * * [simplify]: Extracting #5: cost 0 inf + 2214
1553935306.399 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1553935306.399 * [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)))))))
1553935306.399 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1553935306.399 * * [simplify]: iters left: 5 (9 enodes)
1553935306.401 * * [simplify]: iters left: 4 (22 enodes)
1553935306.406 * * [simplify]: iters left: 3 (42 enodes)
1553935306.416 * * [simplify]: iters left: 2 (100 enodes)
1553935306.442 * * [simplify]: iters left: 1 (347 enodes)
1553935306.672 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935306.672 * * [simplify]: Extracting #1: cost 48 inf + 0
1553935306.673 * * [simplify]: Extracting #2: cost 269 inf + 0
1553935306.676 * * [simplify]: Extracting #3: cost 457 inf + 1
1553935306.698 * * [simplify]: Extracting #4: cost 422 inf + 210469
1553935306.787 * * [simplify]: Extracting #5: cost 77 inf + 915056
1553935306.908 * * [simplify]: Extracting #6: cost 3 inf + 1114648
1553935307.032 * * [simplify]: Extracting #7: cost 1 inf + 1091652
1553935307.155 * * [simplify]: Extracting #8: cost 0 inf + 1093814
1553935307.274 * * [simplify]: Extracting #9: cost 0 inf + 1093774
1553935307.394 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1553935307.394 * [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)))))))
1553935307.394 * * * * [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)))))))>
1553935307.394 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1553935307.394 * * [simplify]: iters left: 5 (9 enodes)
1553935307.399 * * [simplify]: iters left: 4 (16 enodes)
1553935307.404 * * [simplify]: iters left: 3 (18 enodes)
1553935307.410 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935307.410 * * [simplify]: Extracting #1: cost 3 inf + 0
1553935307.410 * * [simplify]: Extracting #2: cost 6 inf + 0
1553935307.410 * * [simplify]: Extracting #3: cost 9 inf + 0
1553935307.410 * * [simplify]: Extracting #4: cost 6 inf + 43
1553935307.410 * * [simplify]: Extracting #5: cost 0 inf + 2214
1553935307.410 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1553935307.410 * [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)))))))
1553935307.411 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1553935307.411 * * [simplify]: iters left: 5 (9 enodes)
1553935307.414 * * [simplify]: iters left: 4 (22 enodes)
1553935307.418 * * [simplify]: iters left: 3 (42 enodes)
1553935307.425 * * [simplify]: iters left: 2 (100 enodes)
1553935307.447 * * [simplify]: iters left: 1 (347 enodes)
1553935307.605 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935307.605 * * [simplify]: Extracting #1: cost 48 inf + 0
1553935307.605 * * [simplify]: Extracting #2: cost 269 inf + 0
1553935307.607 * * [simplify]: Extracting #3: cost 457 inf + 1
1553935307.615 * * [simplify]: Extracting #4: cost 422 inf + 210469
1553935307.661 * * [simplify]: Extracting #5: cost 77 inf + 915056
1553935307.728 * * [simplify]: Extracting #6: cost 3 inf + 1114648
1553935307.790 * * [simplify]: Extracting #7: cost 1 inf + 1091652
1553935307.853 * * [simplify]: Extracting #8: cost 0 inf + 1093814
1553935307.916 * * [simplify]: Extracting #9: cost 0 inf + 1093774
1553935308.019 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1553935308.019 * [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)))))))
1553935308.019 * * * * [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)))))))>
1553935308.019 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1553935308.020 * * [simplify]: iters left: 5 (9 enodes)
1553935308.022 * * [simplify]: iters left: 4 (16 enodes)
1553935308.024 * * [simplify]: iters left: 3 (18 enodes)
1553935308.027 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935308.027 * * [simplify]: Extracting #1: cost 3 inf + 0
1553935308.027 * * [simplify]: Extracting #2: cost 6 inf + 0
1553935308.027 * * [simplify]: Extracting #3: cost 9 inf + 0
1553935308.027 * * [simplify]: Extracting #4: cost 6 inf + 43
1553935308.027 * * [simplify]: Extracting #5: cost 0 inf + 2214
1553935308.027 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1553935308.027 * [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)))))))
1553935308.028 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1553935308.028 * * [simplify]: iters left: 5 (9 enodes)
1553935308.030 * * [simplify]: iters left: 4 (22 enodes)
1553935308.033 * * [simplify]: iters left: 3 (42 enodes)
1553935308.045 * * [simplify]: iters left: 2 (100 enodes)
1553935308.074 * * [simplify]: iters left: 1 (347 enodes)
1553935308.237 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935308.237 * * [simplify]: Extracting #1: cost 48 inf + 0
1553935308.238 * * [simplify]: Extracting #2: cost 269 inf + 0
1553935308.239 * * [simplify]: Extracting #3: cost 457 inf + 1
1553935308.248 * * [simplify]: Extracting #4: cost 422 inf + 210469
1553935308.296 * * [simplify]: Extracting #5: cost 77 inf + 915056
1553935308.359 * * [simplify]: Extracting #6: cost 3 inf + 1114648
1553935308.436 * * [simplify]: Extracting #7: cost 1 inf + 1091652
1553935308.511 * * [simplify]: Extracting #8: cost 0 inf + 1093814
1553935308.587 * * [simplify]: Extracting #9: cost 0 inf + 1093774
1553935308.649 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1553935308.649 * [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)))))))
1553935308.649 * * * * [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)))))))>
1553935308.649 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1553935308.649 * * [simplify]: iters left: 5 (9 enodes)
1553935308.651 * * [simplify]: iters left: 4 (16 enodes)
1553935308.654 * * [simplify]: iters left: 3 (18 enodes)
1553935308.656 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935308.656 * * [simplify]: Extracting #1: cost 3 inf + 0
1553935308.656 * * [simplify]: Extracting #2: cost 6 inf + 0
1553935308.656 * * [simplify]: Extracting #3: cost 9 inf + 0
1553935308.656 * * [simplify]: Extracting #4: cost 6 inf + 43
1553935308.657 * * [simplify]: Extracting #5: cost 0 inf + 2214
1553935308.657 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1553935308.657 * [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)))))))
1553935308.657 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1553935308.657 * * [simplify]: iters left: 5 (9 enodes)
1553935308.661 * * [simplify]: iters left: 4 (22 enodes)
1553935308.669 * * [simplify]: iters left: 3 (42 enodes)
1553935308.684 * * [simplify]: iters left: 2 (100 enodes)
1553935308.706 * * [simplify]: iters left: 1 (347 enodes)
1553935308.860 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935308.861 * * [simplify]: Extracting #1: cost 48 inf + 0
1553935308.862 * * [simplify]: Extracting #2: cost 269 inf + 0
1553935308.865 * * [simplify]: Extracting #3: cost 457 inf + 1
1553935308.883 * * [simplify]: Extracting #4: cost 422 inf + 210469
1553935308.955 * * [simplify]: Extracting #5: cost 77 inf + 915056
1553935309.020 * * [simplify]: Extracting #6: cost 3 inf + 1114648
1553935309.130 * * [simplify]: Extracting #7: cost 1 inf + 1091652
1553935309.250 * * [simplify]: Extracting #8: cost 0 inf + 1093814
1553935309.371 * * [simplify]: Extracting #9: cost 0 inf + 1093774
1553935309.493 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1553935309.493 * [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)))))))
1553935309.493 * * * [progress]: adding candidates to table
1553935309.960 * * [progress]: iteration 4 / 4
1553935309.960 * * * [progress]: picking best candidate
1553935310.562 * * * * [pick]: Picked  #<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)))))))>
1553935310.562 * * * [progress]: localizing error
1553935311.201 * * * [progress]: generating rewritten candidates
1553935311.201 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
1553935311.204 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
1553935311.212 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
1553935311.213 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1)
1553935311.214 * * * [progress]: generating series expansions
1553935311.214 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
1553935311.214 * * * * [progress]: [ 2 / 4 ] generating series at (2)
1553935311.214 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
1553935311.214 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1)
1553935311.214 * * * [progress]: simplifying candidates
1553935311.214 * * * * [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 (/.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)))))))>
1553935311.214 * * * * [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 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (real->posit16 1)) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.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 (/.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)))))))>
1553935311.214 * * * * [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 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (real->posit16 1)) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.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 (/.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 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (real->posit16 1)) (sqrt.p16 (+.p16 x (real->posit16 1))))))))>
1553935311.215 * [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 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (real->posit16 1)) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (real->posit16 1)) (sqrt.p16 (+.p16 x (real->posit16 1))))))
1553935311.215 * * [simplify]: iters left: 6 (14 enodes)
1553935311.220 * * [simplify]: iters left: 5 (47 enodes)
1553935311.240 * * [simplify]: iters left: 4 (145 enodes)
1553935311.320 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935311.320 * * [simplify]: Extracting #1: cost 21 inf + 0
1553935311.320 * * [simplify]: Extracting #2: cost 76 inf + 0
1553935311.321 * * [simplify]: Extracting #3: cost 147 inf + 0
1553935311.323 * * [simplify]: Extracting #4: cost 167 inf + 4899
1553935311.333 * * [simplify]: Extracting #5: cost 70 inf + 151289
1553935311.358 * * [simplify]: Extracting #6: cost 6 inf + 286697
1553935311.384 * * [simplify]: Extracting #7: cost 0 inf + 300389
1553935311.410 * [simplify]: Simplified to (*.p16 (+.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 x)))) (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (+.p16 (real->posit16 1) x))))
1553935311.411 * [simplify]: Simplified (2 1) to (λ (x) (/.p16 (*.p16 (+.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 x)))) (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 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 (+.p16 x (real->posit16 1))))) (+.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))))))))
1553935311.411 * * * * [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 (/.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)))))))>
1553935311.411 * [simplify]: Simplifying (sqrt.p16 (+.p16 x (real->posit16 1)))
1553935311.411 * * [simplify]: iters left: 3 (5 enodes)
1553935311.414 * * [simplify]: iters left: 2 (11 enodes)
1553935311.417 * * [simplify]: iters left: 1 (13 enodes)
1553935311.421 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935311.421 * * [simplify]: Extracting #1: cost 2 inf + 0
1553935311.421 * * [simplify]: Extracting #2: cost 4 inf + 0
1553935311.421 * * [simplify]: Extracting #3: cost 4 inf + 1
1553935311.421 * * [simplify]: Extracting #4: cost 0 inf + 127
1553935311.421 * [simplify]: Simplified to (sqrt.p16 (+.p16 (real->posit16 1) x))
1553935311.421 * [simplify]: Simplified (2 1 2 2) to (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (/.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (real->posit16 1)) (sqrt.p16 (+.p16 (real->posit16 1) x)))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
1553935311.422 * * * * [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 (/.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)))))))>
1553935311.422 * [simplify]: Simplifying (sqrt.p16 (+.p16 x (real->posit16 1)))
1553935311.422 * * [simplify]: iters left: 3 (5 enodes)
1553935311.424 * * [simplify]: iters left: 2 (11 enodes)
1553935311.428 * * [simplify]: iters left: 1 (13 enodes)
1553935311.432 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935311.432 * * [simplify]: Extracting #1: cost 2 inf + 0
1553935311.432 * * [simplify]: Extracting #2: cost 4 inf + 0
1553935311.432 * * [simplify]: Extracting #3: cost 4 inf + 1
1553935311.432 * * [simplify]: Extracting #4: cost 0 inf + 127
1553935311.432 * [simplify]: Simplified to (sqrt.p16 (+.p16 (real->posit16 1) x))
1553935311.432 * [simplify]: Simplified (2 1 2 2) to (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (/.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (real->posit16 1)) (sqrt.p16 (+.p16 (real->posit16 1) x)))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
1553935311.432 * * * * [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 (/.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)))))))>
1553935311.432 * [simplify]: Simplifying (sqrt.p16 (+.p16 x (real->posit16 1)))
1553935311.433 * * [simplify]: iters left: 3 (5 enodes)
1553935311.435 * * [simplify]: iters left: 2 (11 enodes)
1553935311.438 * * [simplify]: iters left: 1 (13 enodes)
1553935311.442 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935311.442 * * [simplify]: Extracting #1: cost 2 inf + 0
1553935311.442 * * [simplify]: Extracting #2: cost 4 inf + 0
1553935311.442 * * [simplify]: Extracting #3: cost 4 inf + 1
1553935311.442 * * [simplify]: Extracting #4: cost 0 inf + 127
1553935311.442 * [simplify]: Simplified to (sqrt.p16 (+.p16 (real->posit16 1) x))
1553935311.443 * [simplify]: Simplified (2 1 2 2) to (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (/.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (real->posit16 1)) (sqrt.p16 (+.p16 (real->posit16 1) x)))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
1553935311.443 * * * * [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 (/.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)))))))>
1553935311.443 * [simplify]: Simplifying (sqrt.p16 (+.p16 x (real->posit16 1)))
1553935311.443 * * [simplify]: iters left: 3 (5 enodes)
1553935311.446 * * [simplify]: iters left: 2 (11 enodes)
1553935311.449 * * [simplify]: iters left: 1 (13 enodes)
1553935311.453 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935311.453 * * [simplify]: Extracting #1: cost 2 inf + 0
1553935311.453 * * [simplify]: Extracting #2: cost 4 inf + 0
1553935311.453 * * [simplify]: Extracting #3: cost 4 inf + 1
1553935311.453 * * [simplify]: Extracting #4: cost 0 inf + 127
1553935311.454 * [simplify]: Simplified to (sqrt.p16 (+.p16 (real->posit16 1) x))
1553935311.454 * [simplify]: Simplified (2 1 2 2) to (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (/.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (real->posit16 1)) (sqrt.p16 (+.p16 (real->posit16 1) x)))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
1553935311.454 * * * [progress]: adding candidates to table
1553935311.808 * [progress]: [Phase 3 of 3] Extracting.
1553935311.808 * * [regime]: Finding splitpoints for: (#<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)))))))> #<alt (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))> #<alt (λ (x) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (/.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 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (real->posit16 1)) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.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 (/.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)))))))> #<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 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (real->posit16 1)) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.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 (/.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 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (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 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (real->posit16 1)) (sqrt.p16 (+.p16 x (real->posit16 1))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))> #<alt (λ (x) (/.p16 (*.p16 (+.p16 (/.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))))))))>)
1553935311.811 * * * [regime-changes]: Trying 1 branch expressions: (x)
1553935311.812 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 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 (*.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 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (real->posit16 1)) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.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 (/.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)))))))> #<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 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (real->posit16 1)) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.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 (/.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 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (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 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (real->posit16 1)) (sqrt.p16 (+.p16 x (real->posit16 1))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))> #<alt (λ (x) (/.p16 (*.p16 (+.p16 (/.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))))))))>)
1553935312.144 * * * [regime]: Found split indices: #<option (#s(si 1 256))>
1553935312.145 * [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))))))
1553935312.145 * * [simplify]: iters left: 6 (12 enodes)
1553935312.146 * * [simplify]: iters left: 5 (14 enodes)
1553935312.146 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935312.146 * * [simplify]: Extracting #1: cost 3 inf + 0
1553935312.146 * * [simplify]: Extracting #2: cost 6 inf + 0
1553935312.146 * * [simplify]: Extracting #3: cost 9 inf + 0
1553935312.146 * * [simplify]: Extracting #4: cost 12 inf + 0
1553935312.146 * * [simplify]: Extracting #5: cost 9 inf + 43
1553935312.147 * * [simplify]: Extracting #6: cost 0 inf + 6620
1553935312.147 * [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))))))
1553935312.147 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1553935312.158 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
1553935312.166 * * * * [points]: Setting MPFR precision to 64
1553935312.168 * * * * [points]: Setting MPFR precision to 320
1553935312.169 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
1553935312.170 * * * * [points]: Setting MPFR precision to 64
1553935312.172 * * * * [points]: Setting MPFR precision to 320
1553935312.175 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
1553935312.176 * * * * [points]: Setting MPFR precision to 64
1553935312.180 * * * * [points]: Setting MPFR precision to 320
1553935312.184 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
1553935312.186 * * * * [points]: Setting MPFR precision to 64
1553935312.192 * * * * [points]: Setting MPFR precision to 320
1553935312.201 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
1553935312.203 * * * * [points]: Setting MPFR precision to 64
1553935312.216 * * * * [points]: Setting MPFR precision to 320
1553935312.240 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
1553935312.242 * * * * [points]: Setting MPFR precision to 64
1553935312.267 * * * * [points]: Setting MPFR precision to 320
1553935312.308 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
1553935312.344 * * * * [points]: Setting MPFR precision to 64
1553935312.398 * * * * [points]: Setting MPFR precision to 320
1553935312.474 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
1553935312.476 * * * * [points]: Setting MPFR precision to 64
1553935312.606 * * * * [points]: Setting MPFR precision to 320
1553935312.815 * * * * [points]: Computing exacts for 8000 points
1553935312.817 * * * * [points]: Setting MPFR precision to 64
1553935313.345 * * * * [points]: Setting MPFR precision to 320
1553935314.386 * * * * [points]: Filtering points with unrepresentable outputs
1553935314.672 * * * * [points]: Sampling 3958 additional inputs, on iter 1 have 4042 / 8000
1553935314.677 * * * * [points]: Computing exacts on every 247 of 3958 points to ramp up precision
1553935314.679 * * * * [points]: Setting MPFR precision to 64
1553935314.680 * * * * [points]: Setting MPFR precision to 320
1553935314.681 * * * * [points]: Computing exacts on every 123 of 3958 points to ramp up precision
1553935314.683 * * * * [points]: Setting MPFR precision to 64
1553935314.685 * * * * [points]: Setting MPFR precision to 320
1553935314.687 * * * * [points]: Computing exacts on every 61 of 3958 points to ramp up precision
1553935314.688 * * * * [points]: Setting MPFR precision to 64
1553935314.691 * * * * [points]: Setting MPFR precision to 320
1553935314.696 * * * * [points]: Computing exacts on every 30 of 3958 points to ramp up precision
1553935314.697 * * * * [points]: Setting MPFR precision to 64
1553935314.704 * * * * [points]: Setting MPFR precision to 320
1553935314.712 * * * * [points]: Computing exacts on every 15 of 3958 points to ramp up precision
1553935314.714 * * * * [points]: Setting MPFR precision to 64
1553935314.726 * * * * [points]: Setting MPFR precision to 320
1553935314.762 * * * * [points]: Computing exacts on every 7 of 3958 points to ramp up precision
1553935314.764 * * * * [points]: Setting MPFR precision to 64
1553935314.788 * * * * [points]: Setting MPFR precision to 320
1553935314.820 * * * * [points]: Computing exacts on every 3 of 3958 points to ramp up precision
1553935314.822 * * * * [points]: Setting MPFR precision to 64
1553935314.870 * * * * [points]: Setting MPFR precision to 320
1553935314.966 * * * * [points]: Computing exacts for 3958 points
1553935314.968 * * * * [points]: Setting MPFR precision to 64
1553935315.192 * * * * [points]: Setting MPFR precision to 320
1553935315.771 * * * * [points]: Filtering points with unrepresentable outputs
1553935315.885 * * * * [points]: Sampling 2006 additional inputs, on iter 2 have 5994 / 8000
1553935315.887 * * * * [points]: Computing exacts on every 125 of 2006 points to ramp up precision
1553935315.890 * * * * [points]: Setting MPFR precision to 64
1553935315.891 * * * * [points]: Setting MPFR precision to 320
1553935315.892 * * * * [points]: Computing exacts on every 62 of 2006 points to ramp up precision
1553935315.893 * * * * [points]: Setting MPFR precision to 64
1553935315.895 * * * * [points]: Setting MPFR precision to 320
1553935315.897 * * * * [points]: Computing exacts on every 31 of 2006 points to ramp up precision
1553935315.899 * * * * [points]: Setting MPFR precision to 64
1553935315.902 * * * * [points]: Setting MPFR precision to 320
1553935315.906 * * * * [points]: Computing exacts on every 15 of 2006 points to ramp up precision
1553935315.908 * * * * [points]: Setting MPFR precision to 64
1553935315.914 * * * * [points]: Setting MPFR precision to 320
1553935315.922 * * * * [points]: Computing exacts on every 7 of 2006 points to ramp up precision
1553935315.924 * * * * [points]: Setting MPFR precision to 64
1553935315.952 * * * * [points]: Setting MPFR precision to 320
1553935315.970 * * * * [points]: Computing exacts on every 3 of 2006 points to ramp up precision
1553935315.972 * * * * [points]: Setting MPFR precision to 64
1553935315.997 * * * * [points]: Setting MPFR precision to 320
1553935316.030 * * * * [points]: Computing exacts for 2006 points
1553935316.032 * * * * [points]: Setting MPFR precision to 64
1553935316.159 * * * * [points]: Setting MPFR precision to 320
1553935316.321 * * * * [points]: Filtering points with unrepresentable outputs
1553935316.370 * * * * [points]: Sampling 987 additional inputs, on iter 3 have 7013 / 8000
1553935316.372 * * * * [points]: Computing exacts on every 61 of 987 points to ramp up precision
1553935316.374 * * * * [points]: Setting MPFR precision to 64
1553935316.375 * * * * [points]: Setting MPFR precision to 320
1553935316.376 * * * * [points]: Computing exacts on every 30 of 987 points to ramp up precision
1553935316.378 * * * * [points]: Setting MPFR precision to 64
1553935316.380 * * * * [points]: Setting MPFR precision to 320
1553935316.382 * * * * [points]: Computing exacts on every 15 of 987 points to ramp up precision
1553935316.383 * * * * [points]: Setting MPFR precision to 64
1553935316.387 * * * * [points]: Setting MPFR precision to 320
1553935316.391 * * * * [points]: Computing exacts on every 7 of 987 points to ramp up precision
1553935316.393 * * * * [points]: Setting MPFR precision to 64
1553935316.414 * * * * [points]: Setting MPFR precision to 320
1553935316.422 * * * * [points]: Computing exacts on every 3 of 987 points to ramp up precision
1553935316.424 * * * * [points]: Setting MPFR precision to 64
1553935316.436 * * * * [points]: Setting MPFR precision to 320
1553935316.452 * * * * [points]: Computing exacts for 987 points
1553935316.454 * * * * [points]: Setting MPFR precision to 64
1553935316.500 * * * * [points]: Setting MPFR precision to 320
1553935316.587 * * * * [points]: Filtering points with unrepresentable outputs
1553935316.609 * * * * [points]: Sampling 513 additional inputs, on iter 4 have 7487 / 8000
1553935316.609 * * * * [points]: Computing exacts on every 32 of 513 points to ramp up precision
1553935316.611 * * * * [points]: Setting MPFR precision to 64
1553935316.612 * * * * [points]: Setting MPFR precision to 320
1553935316.613 * * * * [points]: Computing exacts on every 16 of 513 points to ramp up precision
1553935316.615 * * * * [points]: Setting MPFR precision to 64
1553935316.616 * * * * [points]: Setting MPFR precision to 320
1553935316.618 * * * * [points]: Computing exacts on every 8 of 513 points to ramp up precision
1553935316.620 * * * * [points]: Setting MPFR precision to 64
1553935316.622 * * * * [points]: Setting MPFR precision to 320
1553935316.626 * * * * [points]: Computing exacts on every 4 of 513 points to ramp up precision
1553935316.628 * * * * [points]: Setting MPFR precision to 64
1553935316.632 * * * * [points]: Setting MPFR precision to 320
1553935316.639 * * * * [points]: Computing exacts on every 2 of 513 points to ramp up precision
1553935316.640 * * * * [points]: Setting MPFR precision to 64
1553935316.648 * * * * [points]: Setting MPFR precision to 320
1553935316.658 * * * * [points]: Computing exacts for 513 points
1553935316.661 * * * * [points]: Setting MPFR precision to 64
1553935316.705 * * * * [points]: Setting MPFR precision to 320
1553935316.737 * * * * [points]: Filtering points with unrepresentable outputs
1553935316.749 * * * * [points]: Sampling 257 additional inputs, on iter 5 have 7743 / 8000
1553935316.749 * * * * [points]: Computing exacts on every 16 of 257 points to ramp up precision
1553935316.751 * * * * [points]: Setting MPFR precision to 64
1553935316.752 * * * * [points]: Setting MPFR precision to 320
1553935316.753 * * * * [points]: Computing exacts on every 8 of 257 points to ramp up precision
1553935316.754 * * * * [points]: Setting MPFR precision to 64
1553935316.756 * * * * [points]: Setting MPFR precision to 320
1553935316.757 * * * * [points]: Computing exacts on every 4 of 257 points to ramp up precision
1553935316.759 * * * * [points]: Setting MPFR precision to 64
1553935316.761 * * * * [points]: Setting MPFR precision to 320
1553935316.764 * * * * [points]: Computing exacts on every 2 of 257 points to ramp up precision
1553935316.766 * * * * [points]: Setting MPFR precision to 64
1553935316.770 * * * * [points]: Setting MPFR precision to 320
1553935316.775 * * * * [points]: Computing exacts for 257 points
1553935316.777 * * * * [points]: Setting MPFR precision to 64
1553935316.789 * * * * [points]: Setting MPFR precision to 320
1553935316.805 * * * * [points]: Filtering points with unrepresentable outputs
1553935316.810 * * * * [points]: Sampling 129 additional inputs, on iter 6 have 7871 / 8000
1553935316.810 * * * * [points]: Computing exacts on every 8 of 129 points to ramp up precision
1553935316.812 * * * * [points]: Setting MPFR precision to 64
1553935316.813 * * * * [points]: Setting MPFR precision to 320
1553935316.835 * * * * [points]: Computing exacts on every 4 of 129 points to ramp up precision
1553935316.836 * * * * [points]: Setting MPFR precision to 64
1553935316.838 * * * * [points]: Setting MPFR precision to 320
1553935316.839 * * * * [points]: Computing exacts on every 2 of 129 points to ramp up precision
1553935316.841 * * * * [points]: Setting MPFR precision to 64
1553935316.843 * * * * [points]: Setting MPFR precision to 320
1553935316.847 * * * * [points]: Computing exacts for 129 points
1553935316.849 * * * * [points]: Setting MPFR precision to 64
1553935316.856 * * * * [points]: Setting MPFR precision to 320
1553935316.864 * * * * [points]: Filtering points with unrepresentable outputs
1553935316.866 * * * * [points]: Sampling 70 additional inputs, on iter 7 have 7930 / 8000
1553935316.867 * * * * [points]: Computing exacts on every 4 of 70 points to ramp up precision
1553935316.868 * * * * [points]: Setting MPFR precision to 64
1553935316.869 * * * * [points]: Setting MPFR precision to 320
1553935316.870 * * * * [points]: Computing exacts on every 2 of 70 points to ramp up precision
1553935316.872 * * * * [points]: Setting MPFR precision to 64
1553935316.873 * * * * [points]: Setting MPFR precision to 320
1553935316.874 * * * * [points]: Computing exacts for 70 points
1553935316.876 * * * * [points]: Setting MPFR precision to 64
1553935316.879 * * * * [points]: Setting MPFR precision to 320
1553935316.883 * * * * [points]: Filtering points with unrepresentable outputs
1553935316.885 * * * * [points]: Sampling 40 additional inputs, on iter 8 have 7960 / 8000
1553935316.885 * * * * [points]: Computing exacts on every 2 of 40 points to ramp up precision
1553935316.887 * * * * [points]: Setting MPFR precision to 64
1553935316.887 * * * * [points]: Setting MPFR precision to 320
1553935316.888 * * * * [points]: Computing exacts for 40 points
1553935316.890 * * * * [points]: Setting MPFR precision to 64
1553935316.892 * * * * [points]: Setting MPFR precision to 320
1553935316.894 * * * * [points]: Filtering points with unrepresentable outputs
1553935316.895 * * * * [points]: Sampling 20 additional inputs, on iter 9 have 7980 / 8000
1553935316.895 * * * * [points]: Computing exacts for 20 points
1553935316.897 * * * * [points]: Setting MPFR precision to 64
1553935316.898 * * * * [points]: Setting MPFR precision to 320
1553935316.899 * * * * [points]: Filtering points with unrepresentable outputs
1553935316.900 * * * * [points]: Sampling 11 additional inputs, on iter 10 have 7989 / 8000
1553935316.900 * * * * [points]: Computing exacts for 11 points
1553935316.902 * * * * [points]: Setting MPFR precision to 64
1553935316.902 * * * * [points]: Setting MPFR precision to 320
1553935316.903 * * * * [points]: Filtering points with unrepresentable outputs
1553935316.903 * * * * [points]: Sampling 8 additional inputs, on iter 11 have 7992 / 8000
1553935316.903 * * * * [points]: Computing exacts for 8 points
1553935316.905 * * * * [points]: Setting MPFR precision to 64
1553935316.905 * * * * [points]: Setting MPFR precision to 320
1553935316.906 * * * * [points]: Filtering points with unrepresentable outputs
1553935316.906 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7998 / 8000
1553935316.906 * * * * [points]: Computing exacts for 4 points
1553935316.908 * * * * [points]: Setting MPFR precision to 64
1553935316.908 * * * * [points]: Setting MPFR precision to 320
1553935316.908 * * * * [points]: Filtering points with unrepresentable outputs
1553935316.909 * * * * [points]: Sampled 8000 points with exact outputs
1553935319.328 * [regime-testing]: Baseline error score: 64.0
1553935319.330 * [regime-testing]: Oracle error score: 64.0
1553935319.333 * [regime-testing]: End program error score: 1.2222451784573725